existence, uniqueness, regularity one space dimension a β C ([ 0 , 1 ]) β© C 1 (] 0 , 1 ]) and a > 0 on ] 0 , 1 ] οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) u ( t , 1 ) = 0 + b.c. at x = 0 u 0 β L 2 ( 0 , 1 ) , f β L 2 ( Q T ) Campiti, Metafune, Pallara (1998) 1 / a β L 1 ( 0 , 1 ) weakly degenerate case: οΏ½ 1 οΏ½ οΏ½ οΏ½ H 1 u β L 2 ( 0 , 1 ) au 2 a ( 0 , 1 ) = x dx < β & u ( 0 ) = 0 = u ( 1 ) οΏ½ 0 β L 1 ( 0 , 1 ) strongly degenerate case: 1 / a / οΏ½ 1 οΏ½ οΏ½ οΏ½ H 1 u β L 2 ( 0 , 1 ) au 2 a ( 0 , 1 ) = x dx < β & u ( 1 ) = 0 οΏ½ 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 8 / 46
existence, uniqueness, regularity one space dimension a β C ([ 0 , 1 ]) β© C 1 (] 0 , 1 ]) and a > 0 on ] 0 , 1 ] οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) u ( t , 1 ) = 0 + b.c. at x = 0 u 0 β L 2 ( 0 , 1 ) , f β L 2 ( Q T ) Campiti, Metafune, Pallara (1998) 1 / a β L 1 ( 0 , 1 ) weakly degenerate case: οΏ½ 1 οΏ½ οΏ½ οΏ½ H 1 u β L 2 ( 0 , 1 ) au 2 a ( 0 , 1 ) = x dx < β & u ( 0 ) = 0 = u ( 1 ) οΏ½ 0 β L 1 ( 0 , 1 ) strongly degenerate case: 1 / a / οΏ½ 1 οΏ½ οΏ½ οΏ½ H 1 u β L 2 ( 0 , 1 ) au 2 a ( 0 , 1 ) = x dx < β & u ( 1 ) = 0 οΏ½ 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 8 / 46
existence, uniqueness, regularity one space dimension a β C ([ 0 , 1 ]) β© C 1 (] 0 , 1 ]) and a > 0 on ] 0 , 1 ] οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) u ( t , 1 ) = 0 + b.c. at x = 0 u 0 β L 2 ( 0 , 1 ) , f β L 2 ( Q T ) Campiti, Metafune, Pallara (1998) 1 / a β L 1 ( 0 , 1 ) weakly degenerate case: οΏ½ 1 οΏ½ οΏ½ οΏ½ H 1 u β L 2 ( 0 , 1 ) au 2 a ( 0 , 1 ) = x dx < β & u ( 0 ) = 0 = u ( 1 ) οΏ½ 0 β L 1 ( 0 , 1 ) strongly degenerate case: 1 / a / οΏ½ 1 οΏ½ οΏ½ οΏ½ H 1 u β L 2 ( 0 , 1 ) au 2 a ( 0 , 1 ) = x dx < β & u ( 1 ) = 0 οΏ½ 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 8 / 46
existence, uniqueness, regularity well-posedness οΏ½ οΏ½ οΏ½ οΏ½ οΏ½ au x β H 1 ( 0 , 1 ) u β H 1 D ( A ) = a ( 0 , 1 ) οΏ½ οΏ½ A u = au x x generates analytic semigroup in L 2 ( 0 , 1 ) u β C ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; H 1 unique solution a ( 0 , 1 )) οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) maximal regularity u 0 β H 1 u β H 1 ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; D ( A )) a ( 0 , 1 ) = β (needed to justify integration by parts) strongly degenerate case incorporates b.c. ( x β 0 ) u β D ( A ) = β au x β β 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 9 / 46
existence, uniqueness, regularity well-posedness οΏ½ οΏ½ οΏ½ οΏ½ οΏ½ au x β H 1 ( 0 , 1 ) u β H 1 D ( A ) = a ( 0 , 1 ) οΏ½ οΏ½ A u = au x x generates analytic semigroup in L 2 ( 0 , 1 ) u β C ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; H 1 unique solution a ( 0 , 1 )) οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) maximal regularity u 0 β H 1 u β H 1 ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; D ( A )) a ( 0 , 1 ) = β (needed to justify integration by parts) strongly degenerate case incorporates b.c. ( x β 0 ) u β D ( A ) = β au x β β 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 9 / 46
existence, uniqueness, regularity well-posedness οΏ½ οΏ½ οΏ½ οΏ½ οΏ½ au x β H 1 ( 0 , 1 ) u β H 1 D ( A ) = a ( 0 , 1 ) οΏ½ οΏ½ A u = au x x generates analytic semigroup in L 2 ( 0 , 1 ) u β C ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; H 1 unique solution a ( 0 , 1 )) οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) maximal regularity u 0 β H 1 u β H 1 ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; D ( A )) a ( 0 , 1 ) = β (needed to justify integration by parts) strongly degenerate case incorporates b.c. ( x β 0 ) u β D ( A ) = β au x β β 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 9 / 46
existence, uniqueness, regularity well-posedness οΏ½ οΏ½ οΏ½ οΏ½ οΏ½ au x β H 1 ( 0 , 1 ) u β H 1 D ( A ) = a ( 0 , 1 ) οΏ½ οΏ½ A u = au x x generates analytic semigroup in L 2 ( 0 , 1 ) u β C ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; H 1 unique solution a ( 0 , 1 )) οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) maximal regularity u 0 β H 1 u β H 1 ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; D ( A )) a ( 0 , 1 ) = β (needed to justify integration by parts) strongly degenerate case incorporates b.c. ( x β 0 ) u β D ( A ) = β au x β β 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 9 / 46
existence, uniqueness, regularity well-posedness οΏ½ οΏ½ οΏ½ οΏ½ οΏ½ au x β H 1 ( 0 , 1 ) u β H 1 D ( A ) = a ( 0 , 1 ) οΏ½ οΏ½ A u = au x x generates analytic semigroup in L 2 ( 0 , 1 ) u β C ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; H 1 unique solution a ( 0 , 1 )) οΏ½ οΏ½ οΏ½ u t β a ( x ) u x x = f in Q T =] 0 , 1 [ Γ ] 0 , T [ u ( x , 0 ) = u 0 ( x ) maximal regularity u 0 β H 1 u β H 1 ( 0 , T ; L 2 ( 0 , 1 )) β© L 2 ( 0 , T ; D ( A )) a ( 0 , 1 ) = β (needed to justify integration by parts) strongly degenerate case incorporates b.c. ( x β 0 ) u β D ( A ) = β au x β β 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 9 / 46
existence, uniqueness, regularity Budyko-Sellers model οΏ½ οΏ½ οΏ½ ( 1 β x 2 ) u x u t β x = f ( x ) g ( u ) β h ( u ) x β ( β 1 , 1 ) ( 1 β x 2 ) u x | x = Β± 1 = 0 β¬β© r x = sin Ξ± οΏ½ οΏ½ Ξ± β«βͺ u ( t , x ) = sea-level zonally averaged temperature f ( x ) = solar input g ( u ) = co-albedo h ( u ) = outgoing infrared radiation P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 10 / 46
existence, uniqueness, regularity Budyko-Sellers model οΏ½ οΏ½ οΏ½ ( 1 β x 2 ) u x u t β x = f ( x ) g ( u ) β h ( u ) x β ( β 1 , 1 ) ( 1 β x 2 ) u x | x = Β± 1 = 0 β¬β© r x = sin Ξ± οΏ½ οΏ½ Ξ± β«βͺ u ( t , x ) = sea-level zonally averaged temperature f ( x ) = solar input g ( u ) = co-albedo h ( u ) = outgoing infrared radiation P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 10 / 46
existence, uniqueness, regularity the simplest problem in 2d similar theory ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T  ο£² n = 2 u ( x , 0 ) = u 0 ( x ) x β ⦠ ο£³ + b. c. on Ξ Ο ( A ( x )) = { Ξ» 1 ( x ) , Ξ» 2 ( x ) } eigenvectors Ξ΅ 1 ( x ) , Ξ΅ 2 ( x ) οΏ½ Ξ» 1 ( x ) βΌ d Ξ ( x ) Ξ± , Ξ΅ 1 ( x ) βΌ β Dd Ξ ( x ) = Ξ½ Ξ (Ξ Ξ ( x )) near Ξ β¬ β© Ξ» 2 ( x ) β₯ m > 0 β x β β¦ β¦ Ξ΅ 2 ( x ) Ξ q β β q β« β βͺ x οΏ½ Ξ΅ 1 ( x ) β οΏ½ Ξ Ξ ( x ) Cβ, Rocchetti & Vancostenoble (2008) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 11 / 46
boundary degeneracy overview Outline Examples of degenerate parabolic equations 1 Existence, uniqueness, and regularity 2 Null controllability for boundary degeneracy 3 Overview of null controllability Null controllability in one space dimension Null controllability in higher space dimension Application to inverse problems Controllability for Grushin-type operators 4 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 12 / 46
boundary degeneracy overview controlled parabolic equations Ο ββ β¦ T > 0 ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T := β¦ Γ ] 0 , T [  ο£² u f β u ( x , 0 ) = u 0 ( x ) x β ⦠ ο£³ + b. c. f control Ο Ο characteristic function of Ο οΏ½ οΏ½ n A ( x ) = a ij ( x ) i , j = 1 a ij = a ji β C (β¦) β© C 1 (β¦) β¬ β© positive definite in β¦ (not in β¦ ) ββ ββ Ο β¦ β« βͺ also of interest boundary control Ξ 1 β Ξ u ( t , x ) = g ( t , x ) ( t , x ) β ( 0 , T ) Γ Ξ 1 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 13 / 46
boundary degeneracy overview controlled parabolic equations Ο ββ β¦ T > 0 ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T := β¦ Γ ] 0 , T [  ο£² u f β u ( x , 0 ) = u 0 ( x ) x β ⦠ ο£³ + b. c. f control Ο Ο characteristic function of Ο οΏ½ οΏ½ n A ( x ) = a ij ( x ) i , j = 1 a ij = a ji β C (β¦) β© C 1 (β¦) β¬ β© positive definite in β¦ (not in β¦ ) ββ ββ Ο β¦ β« βͺ also of interest boundary control Ξ 1 β Ξ u ( t , x ) = g ( t , x ) ( t , x ) β ( 0 , T ) Γ Ξ 1 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 13 / 46
boundary degeneracy overview controlled parabolic equations Ο ββ β¦ T > 0 ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T := β¦ Γ ] 0 , T [  ο£² u f β u ( x , 0 ) = u 0 ( x ) x β ⦠ ο£³ + b. c. f control Ο Ο characteristic function of Ο οΏ½ οΏ½ n A ( x ) = a ij ( x ) i , j = 1 a ij = a ji β C (β¦) β© C 1 (β¦) β¬ β© positive definite in β¦ (not in β¦ ) ββ ββ Ο β¦ β« βͺ also of interest boundary control Ξ 1 β Ξ u ( t , x ) = g ( t , x ) ( t , x ) β ( 0 , T ) Γ Ξ 1 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 13 / 46
boundary degeneracy overview the null controllability problem want to study null-controllability in time T > 0 ο£± u f ( Β· , T ) β‘ 0 ο£² β u 0 β L 2 (β¦) β f β L 2 ( Q T ) : οΏ½ Q T | f | 2 β€ C T οΏ½ β¦ | u 0 | 2 ο£³ uniformly parabolic equations: β m > 0 : A ( x ) β₯ m I n = β null-controllability β T > 0 Fattorini and Russell (1971), Russell (1978) Lebeau and Robbiano (1995) Fursikov and Emanouilov (1996) Tataru (1997) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 14 / 46
boundary degeneracy overview the null controllability problem want to study null-controllability in time T > 0 ο£± u f ( Β· , T ) β‘ 0 ο£² β u 0 β L 2 (β¦) β f β L 2 ( Q T ) : οΏ½ Q T | f | 2 β€ C T οΏ½ β¦ | u 0 | 2 ο£³ uniformly parabolic equations: β m > 0 : A ( x ) β₯ m I n = β null-controllability β T > 0 Fattorini and Russell (1971), Russell (1978) Lebeau and Robbiano (1995) Fursikov and Emanouilov (1996) Tataru (1997) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 14 / 46
boundary degeneracy overview the null controllability problem want to study null-controllability in time T > 0 ο£± u f ( Β· , T ) β‘ 0 ο£² β u 0 β L 2 (β¦) β f β L 2 ( Q T ) : οΏ½ Q T | f | 2 β€ C T οΏ½ β¦ | u 0 | 2 ο£³ uniformly parabolic equations: β m > 0 : A ( x ) β₯ m I n = β null-controllability β T > 0 Fattorini and Russell (1971), Russell (1978) Lebeau and Robbiano (1995) Fursikov and Emanouilov (1996) Tataru (1997) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 14 / 46
boundary degeneracy overview the roadmap to null controllability show equivalence with observability inequality οΏ½ adjoint v t + div ( A ( x ) β v ) = 0 in Q T problem v = 0 on Ξ Γ ] 0 , T [ οΏ½ T οΏ½ οΏ½ v 2 ( x , 0 ) dx β€ C T v 2 ( x , t ) dxdt = β β¦ 0 Ο prove observability by Carleman estimates Ο >> 1 οΏ½ T οΏ½οΏ½ οΏ½ e 2 s Ο ( x , t ) dxdt β€ C v 2 dxdt Ο 3 ΞΈ 3 ( t ) v 2 οΏ½ οΏ½οΏ½ οΏ½ Q T 0 Ο + ΟΞΈ ( t ) | Dv | 2 + Β·Β·Β· οΏ½ e r Ο ( x ) β e 2 r οΏ½ Ο οΏ½ β οΏ½ Ο ( x , t ) = ΞΈ ( t ) any D Ο ( x ) οΏ½ = 0 in β¦ \ Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 15 / 46
boundary degeneracy overview the roadmap to null controllability show equivalence with observability inequality οΏ½ adjoint v t + div ( A ( x ) β v ) = 0 in Q T problem v = 0 on Ξ Γ ] 0 , T [ οΏ½ T οΏ½ οΏ½ v 2 ( x , 0 ) dx β€ C T v 2 ( x , t ) dxdt = β β¦ 0 Ο prove observability by Carleman estimates Ο >> 1 οΏ½ T οΏ½οΏ½ οΏ½ e 2 s Ο ( x , t ) dxdt β€ C v 2 dxdt Ο 3 ΞΈ 3 ( t ) v 2 οΏ½ οΏ½οΏ½ οΏ½ Q T 0 Ο + ΟΞΈ ( t ) | Dv | 2 + Β·Β·Β· οΏ½ e r Ο ( x ) β e 2 r οΏ½ Ο οΏ½ β οΏ½ Ο ( x , t ) = ΞΈ ( t ) any D Ο ( x ) οΏ½ = 0 in β¦ \ Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 15 / 46
boundary degeneracy overview the roadmap to null controllability show equivalence with observability inequality οΏ½ adjoint v t + div ( A ( x ) β v ) = 0 in Q T problem v = 0 on Ξ Γ ] 0 , T [ οΏ½ T οΏ½ οΏ½ v 2 ( x , 0 ) dx β€ C T v 2 ( x , t ) dxdt = β β¦ 0 Ο prove observability by Carleman estimates Ο >> 1 οΏ½ T οΏ½οΏ½ οΏ½ e 2 s Ο ( x , t ) dxdt β€ C v 2 dxdt Ο 3 ΞΈ 3 ( t ) v 2 οΏ½ οΏ½οΏ½ οΏ½ Q T 0 Ο + ΟΞΈ ( t ) | Dv | 2 + Β·Β·Β· οΏ½ e r Ο ( x ) β e 2 r οΏ½ Ο οΏ½ β οΏ½ Ο ( x , t ) = ΞΈ ( t ) any D Ο ( x ) οΏ½ = 0 in β¦ \ Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 15 / 46
boundary degeneracy overview difficulties in degenerate case observability ( β null controllability) may fail (for violent degeneracies) Ο in Carleman must be adapted to degeneracy Hardyβs inequality essential οΏ½ οΏ½ w 2 dx β€ C Ξ± Ξ |β w | 2 dx d Ξ± β 2 d Ξ± ( Ξ± οΏ½ = 1 ) Ξ β¦ β¦ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 16 / 46
boundary degeneracy overview difficulties in degenerate case observability ( β null controllability) may fail (for violent degeneracies) Ο in Carleman must be adapted to degeneracy Hardyβs inequality essential οΏ½ οΏ½ w 2 dx β€ C Ξ± Ξ |β w | 2 dx d Ξ± β 2 d Ξ± ( Ξ± οΏ½ = 1 ) Ξ β¦ β¦ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 16 / 46
boundary degeneracy overview difficulties in degenerate case observability ( β null controllability) may fail (for violent degeneracies) Ο in Carleman must be adapted to degeneracy Hardyβs inequality essential οΏ½ οΏ½ w 2 dx β€ C Ξ± Ξ |β w | 2 dx d Ξ± β 2 d Ξ± ( Ξ± οΏ½ = 1 ) Ξ β¦ β¦ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 16 / 46
boundary degeneracy overview difficulties in degenerate case observability ( β null controllability) may fail (for violent degeneracies) Ο in Carleman must be adapted to degeneracy Hardyβs inequality essential οΏ½ οΏ½ w 2 dx β€ C Ξ± Ξ |β w | 2 dx d Ξ± β 2 d Ξ± ( Ξ± οΏ½ = 1 ) Ξ β¦ β¦ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 16 / 46
boundary degeneracy one space dimension Outline Examples of degenerate parabolic equations 1 Existence, uniqueness, and regularity 2 Null controllability for boundary degeneracy 3 Overview of null controllability Null controllability in one space dimension Null controllability in higher space dimension Application to inverse problems Controllability for Grushin-type operators 4 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 17 / 46
boundary degeneracy one space dimension the simplest example of degeneracy a ( x ) = x Ξ± Ο =] a , b [ ββ ( 0 , 1 ) ( Ξ± > 0 ) οΏ½ οΏ½ x Ξ± u x u t β x = Ο Ο f , u ( 0 , x ) = u 0 ( x ) Theorem (C β Martinez β Vancostenoble, 2008) ο£± false Ξ± β₯ 2 ( β regional null controllability )  ο£² οΏ½ n. c. any b.c. 0 β€ Ξ± < 1 weak true 0 β€ Ξ± < 2  ο£³ Neumann b.c. 1 β€ Ξ± < 2 strong r r r r regional T r r r 0 1 Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 18 / 46
boundary degeneracy one space dimension the simplest example of degeneracy a ( x ) = x Ξ± Ο =] a , b [ ββ ( 0 , 1 ) ( Ξ± > 0 ) οΏ½ οΏ½ x Ξ± u x u t β x = Ο Ο f , u ( 0 , x ) = u 0 ( x ) Theorem (C β Martinez β Vancostenoble, 2008) ο£± false Ξ± β₯ 2 ( β regional null controllability )  ο£² οΏ½ n. c. any b.c. 0 β€ Ξ± < 1 weak true 0 β€ Ξ± < 2  ο£³ Neumann b.c. 1 β€ Ξ± < 2 strong r r r r regional T r r r 0 1 Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 18 / 46
boundary degeneracy one space dimension Carleman estimate 0 < Ξ± < 2 οΏ½ οΏ½ x Ξ± w x w t + x = f in ( 0 , 1 ) Γ ( 0 , T ) + b. c. let Ο ( t , x ) = ΞΈ ( t ) Ο ( x ) where οΏ½ οΏ½ 4 Ο ( x ) = x 2 β Ξ± β 2 1 ΞΈ ( t ) = t ( T β t ) ( 2 β Ξ± ) 2 Theorem (C β Martinez β Vancostenoble, 2008) There exists Ο 0 , C > 0 such that β Ο β₯ Ο 0 οΏ½οΏ½ οΏ½ w 2 x + Ο 3 ΞΈ 3 x 2 β Ξ± w 2 οΏ½ e 2 ΟΟ dxdt ΟΞΈ + ΟΞΈ x Ξ± w 2 t Q T οΏ½ T οΏ½οΏ½ οΏ½ | f | 2 e 2 ΟΟ dxdt + C w 2 ( x , t ) dxdt β€ C Q T 0 Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 19 / 46
boundary degeneracy one space dimension Carleman estimate 0 < Ξ± < 2 οΏ½ οΏ½ x Ξ± w x w t + x = f in ( 0 , 1 ) Γ ( 0 , T ) + b. c. let Ο ( t , x ) = ΞΈ ( t ) Ο ( x ) where οΏ½ οΏ½ 4 Ο ( x ) = x 2 β Ξ± β 2 1 ΞΈ ( t ) = t ( T β t ) ( 2 β Ξ± ) 2 Theorem (C β Martinez β Vancostenoble, 2008) There exists Ο 0 , C > 0 such that β Ο β₯ Ο 0 οΏ½οΏ½ οΏ½ w 2 x + Ο 3 ΞΈ 3 x 2 β Ξ± w 2 οΏ½ e 2 ΟΟ dxdt ΟΞΈ + ΟΞΈ x Ξ± w 2 t Q T οΏ½ T οΏ½οΏ½ οΏ½ | f | 2 e 2 ΟΟ dxdt + C w 2 ( x , t ) dxdt β€ C Q T 0 Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 19 / 46
boundary degeneracy one space dimension Carleman estimate 0 < Ξ± < 2 οΏ½ οΏ½ x Ξ± w x w t + x = f in ( 0 , 1 ) Γ ( 0 , T ) + b. c. let Ο ( t , x ) = ΞΈ ( t ) Ο ( x ) where οΏ½ οΏ½ 4 Ο ( x ) = x 2 β Ξ± β 2 1 ΞΈ ( t ) = t ( T β t ) ( 2 β Ξ± ) 2 Theorem (C β Martinez β Vancostenoble, 2008) There exists Ο 0 , C > 0 such that β Ο β₯ Ο 0 οΏ½οΏ½ οΏ½ w 2 x + Ο 3 ΞΈ 3 x 2 β Ξ± w 2 οΏ½ e 2 ΟΟ dxdt ΟΞΈ + ΟΞΈ x Ξ± w 2 t Q T οΏ½ T οΏ½οΏ½ οΏ½ | f | 2 e 2 ΟΟ dxdt + C w 2 ( x , t ) dxdt β€ C Q T 0 Ο P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 19 / 46
boundary degeneracy one space dimension more general 1-d problems divergence form οΏ½ οΏ½ u t β a ( x ) u x x = Ο Ο f Martinez β Vancostenoble (2006) οΏ½ οΏ½ Alabau β C β Fragnelli (2006) u t β a ( x ) u x x + g ( u ) = Ο Ο f οΏ½ x ΞΈ u x οΏ½ x + x Ο b ( x , t ) u x = Ο Ο f Flores β de Teresa (2010) u t β non-divergence form C β Fragnelli β Rocchetti (2007, 2008) u t β a ( x ) u xx β b ( x ) u x = Ο Ο f degenerate/singular problems Vancostenoble β Zuazua (2008), Vancostenoble (2009) Ξ» x ΞΈ u x οΏ½ οΏ½ u t β x β x Ο u = Ο Ο f systems C β de Teresa (2009) cascade 2 Γ 2 Maniar et al. (2011) general 2 Γ 2 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 20 / 46
boundary degeneracy one space dimension more general 1-d problems divergence form οΏ½ οΏ½ u t β a ( x ) u x x = Ο Ο f Martinez β Vancostenoble (2006) οΏ½ οΏ½ Alabau β C β Fragnelli (2006) u t β a ( x ) u x x + g ( u ) = Ο Ο f οΏ½ x ΞΈ u x οΏ½ x + x Ο b ( x , t ) u x = Ο Ο f Flores β de Teresa (2010) u t β non-divergence form C β Fragnelli β Rocchetti (2007, 2008) u t β a ( x ) u xx β b ( x ) u x = Ο Ο f degenerate/singular problems Vancostenoble β Zuazua (2008), Vancostenoble (2009) Ξ» x ΞΈ u x οΏ½ οΏ½ u t β x β x Ο u = Ο Ο f systems C β de Teresa (2009) cascade 2 Γ 2 Maniar et al. (2011) general 2 Γ 2 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 20 / 46
boundary degeneracy higher space dimension Outline Examples of degenerate parabolic equations 1 Existence, uniqueness, and regularity 2 Null controllability for boundary degeneracy 3 Overview of null controllability Null controllability in one space dimension Null controllability in higher space dimension Application to inverse problems Controllability for Grushin-type operators 4 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 21 / 46
boundary degeneracy higher space dimension extension to n β₯ 2 ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T  ο£² n = 2 u ( x , 0 ) = u 0 ( x ) x β ⦠ ο£³ + b. c. on Ξ Ο ( A ( x )) = { Ξ» 1 ( x ) , Ξ» 2 ( x ) } eigenvectors Ξ΅ 1 ( x ) , Ξ΅ 2 ( x ) οΏ½ Ξ» 1 ( x ) βΌ d Ξ ( x ) Ξ± , Ξ΅ 1 ( x ) βΌ β Dd Ξ ( x ) = Ξ½ Ξ (Ξ Ξ ( x )) near Ξ Ξ» 2 ( x ) β₯ m > 0 β x β β¦ β¬ β© β¦ Ξ΅ 2 ( x ) Ξ q β β q β« β βͺ x οΏ½ Ξ΅ 1 ( x ) β οΏ½ Ξ Ξ ( x ) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 22 / 46
boundary degeneracy higher space dimension extension to n β₯ 2 ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T  ο£² n = 2 u ( x , 0 ) = u 0 ( x ) x β ⦠ ο£³ + b. c. on Ξ Ο ( A ( x )) = { Ξ» 1 ( x ) , Ξ» 2 ( x ) } eigenvectors Ξ΅ 1 ( x ) , Ξ΅ 2 ( x ) οΏ½ Ξ» 1 ( x ) βΌ d Ξ ( x ) Ξ± , Ξ΅ 1 ( x ) βΌ β Dd Ξ ( x ) = Ξ½ Ξ (Ξ Ξ ( x )) near Ξ Ξ» 2 ( x ) β₯ m > 0 β x β β¦ β¬ β© β¦ Ξ΅ 2 ( x ) Ξ q β β q β« β βͺ x οΏ½ Ξ΅ 1 ( x ) β οΏ½ Ξ Ξ ( x ) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 22 / 46
boundary degeneracy higher space dimension extension to n β₯ 2 ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T  ο£² n = 2 u ( x , 0 ) = u 0 ( x ) x β ⦠ ο£³ + b. c. on Ξ Ο ( A ( x )) = { Ξ» 1 ( x ) , Ξ» 2 ( x ) } eigenvectors Ξ΅ 1 ( x ) , Ξ΅ 2 ( x ) οΏ½ Ξ» 1 ( x ) βΌ d Ξ ( x ) Ξ± , Ξ΅ 1 ( x ) βΌ β Dd Ξ ( x ) = Ξ½ Ξ (Ξ Ξ ( x )) near Ξ Ξ» 2 ( x ) β₯ m > 0 β x β β¦ β¬ β© β¦ Ξ΅ 2 ( x ) Ξ q β β q β« β βͺ x οΏ½ Ξ΅ 1 ( x ) β οΏ½ Ξ Ξ ( x ) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 22 / 46
boundary degeneracy higher space dimension null controllability ( n = 2 ) ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T Ο ( A ( x )) = { Ξ» 1 ( x ) , Ξ» 2 ( x ) }  ο£² u ( x , 0 ) = u 0 ( x ) x β β¦ Ξ» 1 ( x ) βΌ d Ξ ( x ) Ξ±  ο£³ + b. c. on Ξ Theorem (C, Martinez, Vancostenoble β CRAS 2009) 0 β€ Ξ± < 2 null controllability holds Ξ± β₯ 2 null-controllability fails the proof uses topological lemma to construct adapted weight Carlemanβs estimate to provide observability inequality Hardyβs inequality to control degenerate terms P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 23 / 46
boundary degeneracy higher space dimension null controllability ( n = 2 ) ο£± u t β div ( A ( x ) β u ) = Ο Ο ( x ) f ( t , x ) in Q T Ο ( A ( x )) = { Ξ» 1 ( x ) , Ξ» 2 ( x ) }  ο£² u ( x , 0 ) = u 0 ( x ) x β β¦ Ξ» 1 ( x ) βΌ d Ξ ( x ) Ξ±  ο£³ + b. c. on Ξ Theorem (C, Martinez, Vancostenoble β CRAS 2009) 0 β€ Ξ± < 2 null controllability holds Ξ± β₯ 2 null-controllability fails the proof uses topological lemma to construct adapted weight Carlemanβs estimate to provide observability inequality Hardyβs inequality to control degenerate terms P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 23 / 46
boundary degeneracy inverse problems Outline Examples of degenerate parabolic equations 1 Existence, uniqueness, and regularity 2 Null controllability for boundary degeneracy 3 Overview of null controllability Null controllability in one space dimension Null controllability in higher space dimension Application to inverse problems Controllability for Grushin-type operators 4 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 24 / 46
boundary degeneracy inverse problems inverse problems in 1 d 0 β€ Ξ± < 2 ο£± u t β ( x Ξ± u x ) x = g Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  οΏ½ u ( t , 0 ) = 0 ο£² for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) want to βdetermineβ g by measurements of u stability estimates uniqueness results T u x ( Β· , 1 ) u ( T β² , Β· ) g β β 0 1 Figure: βboundary measurementsβ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 25 / 46
boundary degeneracy inverse problems inverse problems in 1 d 0 β€ Ξ± < 2 ο£± u t β ( x Ξ± u x ) x = g Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  οΏ½ u ( t , 0 ) = 0 ο£² for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) want to βdetermineβ g by measurements of u stability estimates uniqueness results T u x ( Β· , 1 ) u ( T β² , Β· ) g β β 0 1 Figure: βboundary measurementsβ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 25 / 46
boundary degeneracy inverse problems references uniformly parabolic case ( Ξ± = 0 ) Bukhgeim & Klibanov (1981), Klibanov (1992), Isakov (1998), Klibanov & Timonov (2004) (HΒ¨ older stability by local Carleman estimates) Emanouilov & Yamamoto (1998, 2001) (Lipschitz stability by global Carleman estimates) degenerate case Ξ± β [ 0 , 2 ) Cβ Tort & Yamamoto (2010) (Lipschitz stability n = 1) Cβ Martinez & Vancostenoble (Lipschitz stability n = 2) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 26 / 46
boundary degeneracy inverse problems references uniformly parabolic case ( Ξ± = 0 ) Bukhgeim & Klibanov (1981), Klibanov (1992), Isakov (1998), Klibanov & Timonov (2004) (HΒ¨ older stability by local Carleman estimates) Emanouilov & Yamamoto (1998, 2001) (Lipschitz stability by global Carleman estimates) degenerate case Ξ± β [ 0 , 2 ) Cβ Tort & Yamamoto (2010) (Lipschitz stability n = 1) Cβ Martinez & Vancostenoble (Lipschitz stability n = 2) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 26 / 46
boundary degeneracy inverse problems references uniformly parabolic case ( Ξ± = 0 ) Bukhgeim & Klibanov (1981), Klibanov (1992), Isakov (1998), Klibanov & Timonov (2004) (HΒ¨ older stability by local Carleman estimates) Emanouilov & Yamamoto (1998, 2001) (Lipschitz stability by global Carleman estimates) degenerate case Ξ± β [ 0 , 2 ) Cβ Tort & Yamamoto (2010) (Lipschitz stability n = 1) Cβ Martinez & Vancostenoble (Lipschitz stability n = 2) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 26 / 46
boundary degeneracy inverse problems Lipschitz stability: boundary measurements ο£± u t β ( x Ξ± u x ) x = g ( t , x ) Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) Theorem 0 β€ Ξ± < 2 there exists t 0 β ( 0 , T ) and k β₯ 0 such that οΏ½ οΏ½ β g T β² = T + t 0 οΏ½ οΏ½ οΏ½ οΏ½ οΏ½ g ( T β² , x ) β t ( t , x ) οΏ½ β€ k where οΏ½ οΏ½ οΏ½ 2 οΏ½ οΏ½ T οΏ½ 1 οΏ½ g οΏ½ 2 | u tx ( t , 1 ) | 2 dt + C | ( x Ξ± u x ( T β² , x )) x | 2 dx = β L 2 ( QT ) β€ C t 0 0 where C = C ( Ξ±, k , t 0 , T ) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 27 / 46
boundary degeneracy inverse problems Lipschitz stability: boundary measurements ο£± u t β ( x Ξ± u x ) x = g ( t , x ) Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) Theorem 0 β€ Ξ± < 2 there exists t 0 β ( 0 , T ) and k β₯ 0 such that οΏ½ οΏ½ β g T β² = T + t 0 οΏ½ οΏ½ οΏ½ οΏ½ οΏ½ g ( T β² , x ) β t ( t , x ) οΏ½ β€ k where οΏ½ οΏ½ οΏ½ 2 οΏ½ οΏ½ T οΏ½ 1 οΏ½ g οΏ½ 2 | u tx ( t , 1 ) | 2 dt + C | ( x Ξ± u x ( T β² , x )) x | 2 dx = β L 2 ( QT ) β€ C t 0 0 where C = C ( Ξ±, k , t 0 , T ) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 27 / 46
boundary degeneracy inverse problems uniqueness: boundary measurements ο£± u t β ( x Ξ± u x ) x = f ( x ) r ( t , x ) Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 ( IP ) t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r β C 1 ([ 0 , T ] Γ [ 0 , 1 ]) given such that at T β² = T + t 0 we have 2 β² , x ) β₯ d > 0 r ( T β x β [ 0 , 1 ] ( β ) f 1 , f 2 β L 2 ( 0 , 1 ) u 1 , u 2 β L 2 ( 0 , 1 ) solutions of ( IP ) οΏ½ T οΏ½ f 1 β f 2 οΏ½ 2 | ( u 1 β u 2 ) tx ( t , 1 ) | 2 dt = β L 2 ( 0 , 1 ) β€ C t 0 οΏ½ 1 | ( x Ξ± ( u 1 ( T β² , x ) β u 2 ( T β² , x )) x ) x | 2 dx + C 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 28 / 46
boundary degeneracy inverse problems uniqueness: boundary measurements ο£± u t β ( x Ξ± u x ) x = f ( x ) r ( t , x ) Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 ( IP ) t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r β C 1 ([ 0 , T ] Γ [ 0 , 1 ]) given such that at T β² = T + t 0 we have 2 β² , x ) β₯ d > 0 r ( T β x β [ 0 , 1 ] ( β ) f 1 , f 2 β L 2 ( 0 , 1 ) u 1 , u 2 β L 2 ( 0 , 1 ) solutions of ( IP ) οΏ½ T οΏ½ f 1 β f 2 οΏ½ 2 | ( u 1 β u 2 ) tx ( t , 1 ) | 2 dt = β L 2 ( 0 , 1 ) β€ C t 0 οΏ½ 1 | ( x Ξ± ( u 1 ( T β² , x ) β u 2 ( T β² , x )) x ) x | 2 dx + C 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 28 / 46
boundary degeneracy inverse problems uniqueness: boundary measurements ο£± u t β ( x Ξ± u x ) x = f ( x ) r ( t , x ) Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 ( IP ) t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r β C 1 ([ 0 , T ] Γ [ 0 , 1 ]) given such that at T β² = T + t 0 we have 2 β² , x ) β₯ d > 0 r ( T β x β [ 0 , 1 ] ( β ) f 1 , f 2 β L 2 ( 0 , 1 ) u 1 , u 2 β L 2 ( 0 , 1 ) solutions of ( IP ) οΏ½ T οΏ½ f 1 β f 2 οΏ½ 2 | ( u 1 β u 2 ) tx ( t , 1 ) | 2 dt = β L 2 ( 0 , 1 ) β€ C t 0 οΏ½ 1 | ( x Ξ± ( u 1 ( T β² , x ) β u 2 ( T β² , x )) x ) x | 2 dx + C 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 28 / 46
boundary degeneracy inverse problems uniqueness: boundary measurements ο£± u t β ( x Ξ± u x ) x = f ( x ) r ( t , x ) Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 ( IP ) t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r β C 1 ([ 0 , T ] Γ [ 0 , 1 ]) given such that at T β² = T + t 0 we have 2 β² , x ) β₯ d > 0 r ( T β x β [ 0 , 1 ] ( β ) f 1 , f 2 β L 2 ( 0 , 1 ) u 1 , u 2 β L 2 ( 0 , 1 ) solutions of ( IP ) οΏ½ T οΏ½ f 1 β f 2 οΏ½ 2 | ( u 1 β u 2 ) tx ( t , 1 ) | 2 dt = β L 2 ( 0 , 1 ) β€ C t 0 οΏ½ 1 | ( x Ξ± ( u 1 ( T β² , x ) β u 2 ( T β² , x )) x ) x | 2 dx + C 0 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 28 / 46
boundary degeneracy inverse problems locally distributed measurements ο£± u t β ( x Ξ± u x ) x = g Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r r r r T u t u ( T β² , Β· ) g β β r r r 0 1 Ο stability estimates uniqueness results P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 29 / 46
boundary degeneracy inverse problems locally distributed measurements ο£± u t β ( x Ξ± u x ) x = g Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r r r r T u t u ( T β² , Β· ) g β β r r r 0 1 Ο stability estimates uniqueness results P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 29 / 46
boundary degeneracy inverse problems locally distributed measurements ο£± u t β ( x Ξ± u x ) x = g Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r r r r T u t u ( T β² , Β· ) g β β r r r 0 1 Ο stability estimates uniqueness results P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 29 / 46
boundary degeneracy inverse problems locally distributed measurements ο£± u t β ( x Ξ± u x ) x = g Q T = ( 0 , T ) Γ ( 0 , 1 )    u ( t , 1 ) = 0 t β ( 0 , T )  ο£² οΏ½ u ( t , 0 ) = 0 for 0 β€ Ξ± < 1 t β ( 0 , T )  ( x Ξ± u x ) | x = 0 = 0 for 1 β€ Ξ± < 2    ο£³ u ( 0 , x ) = u 0 ( x ) x β ( 0 , 1 ) r r r r T u t u ( T β² , Β· ) g β β r r r 0 1 Ο stability estimates uniqueness results P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 29 / 46
control with interior degeneracy Grushin-type operators β¦ := ( β 1 , 1 ) Γ ( 0 , 1 ) , Ο β ( a , b ) Γ ( 0 , 1 ) with 0 < a < b < 1 1 y β₯ β¦ Ο 1 x a b β 1 0 ο£± β t u β β 2 x u β | x | 2 Ξ³ β 2 y u = Ο Ο ( x , y ) f ( t , x , y )   ο£² Ξ³ > 0 u ( t , Β± 1 , y ) = 0 , u ( t , x , 0 ) = 0 = u ( t , x , 1 ) ( G )   ο£³ u ( 0 , x , y ) = u 0 ( x , y ) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 30 / 46
control with interior degeneracy Grushin-type operators β¦ := ( β 1 , 1 ) Γ ( 0 , 1 ) , Ο β ( a , b ) Γ ( 0 , 1 ) with 0 < a < b < 1 1 y β₯ β¦ Ο 1 x a b β 1 0 ο£± β t u β β 2 x u β | x | 2 Ξ³ β 2 y u = Ο Ο ( x , y ) f ( t , x , y )   ο£² Ξ³ > 0 u ( t , Β± 1 , y ) = 0 , u ( t , x , 0 ) = 0 = u ( t , x , 1 ) ( G )   ο£³ u ( 0 , x , y ) = u 0 ( x , y ) P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 30 / 46
control with interior degeneracy existence and uniqueness of solutions οΏ½ οΏ½ οΏ½ In H = L 2 (β¦) with scalar product ( f , g ) = f x g x + | x | 2 Ξ³ f y g y dxdy β¦ V = C β 0 (β¦) a ( f , g ) = β ( f , g ) β f , g β V D ( A ) = { f β V : β c > 0 such that | a ( f , h ) | β€ c οΏ½ h οΏ½ H β h β V } and οΏ½ Af , h οΏ½ = a ( f , h ) β h β V A : D ( A ) β H β H generator of a semigroup e tA of contractions in H Theorem T > 0 , u 0 β L 2 (β¦) , f β L 2 (( 0 , T ) Γ β¦) β β ! u β C ([ 0 , T ]; L 2 (β¦)) : β t β ( 0 , T ) , Ο β C 2 ([ 0 , T ] Γ β¦) = οΏ½ t οΏ½ οΏ½ u ( β t Ο + β 2 x Ο + | x | 2 Ξ³ β 2 [ u ( t ) Ο ( t ) β u ( 0 ) Ο ( 0 )] = y Ο ) + Ο Ο f Ο β¦ 0 β¦ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 31 / 46
control with interior degeneracy existence and uniqueness of solutions οΏ½ οΏ½ οΏ½ In H = L 2 (β¦) with scalar product ( f , g ) = f x g x + | x | 2 Ξ³ f y g y dxdy β¦ V = C β 0 (β¦) a ( f , g ) = β ( f , g ) β f , g β V D ( A ) = { f β V : β c > 0 such that | a ( f , h ) | β€ c οΏ½ h οΏ½ H β h β V } and οΏ½ Af , h οΏ½ = a ( f , h ) β h β V A : D ( A ) β H β H generator of a semigroup e tA of contractions in H Theorem T > 0 , u 0 β L 2 (β¦) , f β L 2 (( 0 , T ) Γ β¦) β β ! u β C ([ 0 , T ]; L 2 (β¦)) : β t β ( 0 , T ) , Ο β C 2 ([ 0 , T ] Γ β¦) = οΏ½ t οΏ½ οΏ½ u ( β t Ο + β 2 x Ο + | x | 2 Ξ³ β 2 [ u ( t ) Ο ( t ) β u ( 0 ) Ο ( 0 )] = y Ο ) + Ο Ο f Ο β¦ 0 β¦ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 31 / 46
control with interior degeneracy existence and uniqueness of solutions οΏ½ οΏ½ οΏ½ In H = L 2 (β¦) with scalar product ( f , g ) = f x g x + | x | 2 Ξ³ f y g y dxdy β¦ V = C β 0 (β¦) a ( f , g ) = β ( f , g ) β f , g β V D ( A ) = { f β V : β c > 0 such that | a ( f , h ) | β€ c οΏ½ h οΏ½ H β h β V } and οΏ½ Af , h οΏ½ = a ( f , h ) β h β V A : D ( A ) β H β H generator of a semigroup e tA of contractions in H Theorem T > 0 , u 0 β L 2 (β¦) , f β L 2 (( 0 , T ) Γ β¦) β β ! u β C ([ 0 , T ]; L 2 (β¦)) : β t β ( 0 , T ) , Ο β C 2 ([ 0 , T ] Γ β¦) = οΏ½ t οΏ½ οΏ½ u ( β t Ο + β 2 x Ο + | x | 2 Ξ³ β 2 [ u ( t ) Ο ( t ) β u ( 0 ) Ο ( 0 )] = y Ο ) + Ο Ο f Ο β¦ 0 β¦ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 31 / 46
control with interior degeneracy approximate controllability approximate controllability β β unique continuation Garofalo (1993): unique continuation for elliptic operator A = β 2 + | x | 2 Ξ³ β 2 y for parabolic operators: Proposition (BCG 2012) Let T > 0 , Ξ³ > 0 , let Ο β ( 0 , 1 ) Γ ( 0 , 1 ) , and let g β C ([ 0 , T ]; H ) β© L 2 ( 0 , T ; V ) be a weak solution of οΏ½ β t g β β 2 x g β | x | 2 Ξ³ β 2 y g = 0 ( t , x , y ) β ( 0 , β ) Γ β¦ g ( t , x , y ) = 0 ( t , x , y ) β ( 0 , β ) Γ β β¦ If g β‘ 0 on ( 0 , T ) Γ Ο , then g β‘ 0 on ( 0 , T ) Γ β¦ . P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 32 / 46
control with interior degeneracy approximate controllability approximate controllability β β unique continuation Garofalo (1993): unique continuation for elliptic operator A = β 2 + | x | 2 Ξ³ β 2 y for parabolic operators: Proposition (BCG 2012) Let T > 0 , Ξ³ > 0 , let Ο β ( 0 , 1 ) Γ ( 0 , 1 ) , and let g β C ([ 0 , T ]; H ) β© L 2 ( 0 , T ; V ) be a weak solution of οΏ½ β t g β β 2 x g β | x | 2 Ξ³ β 2 y g = 0 ( t , x , y ) β ( 0 , β ) Γ β¦ g ( t , x , y ) = 0 ( t , x , y ) β ( 0 , β ) Γ β β¦ If g β‘ 0 on ( 0 , T ) Γ Ο , then g β‘ 0 on ( 0 , T ) Γ β¦ . P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 32 / 46
control with interior degeneracy approximate controllability approximate controllability β β unique continuation Garofalo (1993): unique continuation for elliptic operator A = β 2 + | x | 2 Ξ³ β 2 y for parabolic operators: Proposition (BCG 2012) Let T > 0 , Ξ³ > 0 , let Ο β ( 0 , 1 ) Γ ( 0 , 1 ) , and let g β C ([ 0 , T ]; H ) β© L 2 ( 0 , T ; V ) be a weak solution of οΏ½ β t g β β 2 x g β | x | 2 Ξ³ β 2 y g = 0 ( t , x , y ) β ( 0 , β ) Γ β¦ g ( t , x , y ) = 0 ( t , x , y ) β ( 0 , β ) Γ β β¦ If g β‘ 0 on ( 0 , T ) Γ Ο , then g β‘ 0 on ( 0 , T ) Γ β¦ . P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 32 / 46
control with interior degeneracy approximate controllability approximate controllability β β unique continuation Garofalo (1993): unique continuation for elliptic operator A = β 2 + | x | 2 Ξ³ β 2 y for parabolic operators: Proposition (BCG 2012) Let T > 0 , Ξ³ > 0 , let Ο β ( 0 , 1 ) Γ ( 0 , 1 ) , and let g β C ([ 0 , T ]; H ) β© L 2 ( 0 , T ; V ) be a weak solution of οΏ½ β t g β β 2 x g β | x | 2 Ξ³ β 2 y g = 0 ( t , x , y ) β ( 0 , β ) Γ β¦ g ( t , x , y ) = 0 ( t , x , y ) β ( 0 , β ) Γ β β¦ If g β‘ 0 on ( 0 , T ) Γ Ο , then g β‘ 0 on ( 0 , T ) Γ β¦ . P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 32 / 46
control with interior degeneracy null controllability ο£± β t u β β 2 x u β | x | 2 Ξ³ β 2 y u = Ο Ο ( x , y ) f ( t , x , y ) ο£² u ( t , Β± 1 , y ) = 0 , u ( t , x , 0 ) = 0 = u ( t , x , 1 ) ( G ) ο£³ u ( 0 , x , y ) = u 0 ( x , y ) 1 y β₯ β¦ Ο 1 x a b β 1 0 Theorem (BCG 2012) 0 < Ξ³ < 1 β ( G ) null controllable β T > 0 Ξ³ > 1 β ( G ) not null controllable β T β οΏ½ a 2 / 2 Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that ( G ) is null controllable β T > T β not null controllable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 33 / 46
control with interior degeneracy null controllability ο£± β t u β β 2 x u β | x | 2 Ξ³ β 2 y u = Ο Ο ( x , y ) f ( t , x , y ) ο£² u ( t , Β± 1 , y ) = 0 , u ( t , x , 0 ) = 0 = u ( t , x , 1 ) ( G ) ο£³ u ( 0 , x , y ) = u 0 ( x , y ) 1 y β₯ β¦ Ο 1 x a b β 1 0 Theorem (BCG 2012) 0 < Ξ³ < 1 β ( G ) null controllable β T > 0 Ξ³ > 1 β ( G ) not null controllable β T β οΏ½ a 2 / 2 Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that ( G ) is null controllable β T > T β not null controllable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 33 / 46
control with interior degeneracy null controllability ο£± β t u β β 2 x u β | x | 2 Ξ³ β 2 y u = Ο Ο ( x , y ) f ( t , x , y ) ο£² u ( t , Β± 1 , y ) = 0 , u ( t , x , 0 ) = 0 = u ( t , x , 1 ) ( G ) ο£³ u ( 0 , x , y ) = u 0 ( x , y ) 1 y β₯ β¦ Ο 1 x a b β 1 0 Theorem (BCG 2012) 0 < Ξ³ < 1 β ( G ) null controllable β T > 0 Ξ³ > 1 β ( G ) not null controllable β T β οΏ½ a 2 / 2 Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that ( G ) is null controllable β T > T β not null controllable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 33 / 46
control with interior degeneracy null controllability ο£± β t u β β 2 x u β | x | 2 Ξ³ β 2 y u = Ο Ο ( x , y ) f ( t , x , y ) ο£² u ( t , Β± 1 , y ) = 0 , u ( t , x , 0 ) = 0 = u ( t , x , 1 ) ( G ) ο£³ u ( 0 , x , y ) = u 0 ( x , y ) 1 y β₯ β¦ Ο 1 x a b β 1 0 Theorem (BCG 2012) 0 < Ξ³ < 1 β ( G ) null controllable β T > 0 Ξ³ > 1 β ( G ) not null controllable β T β οΏ½ a 2 / 2 Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that ( G ) is null controllable β T > T β not null controllable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 33 / 46
control with interior degeneracy null controllability ο£± β t u β β 2 x u β | x | 2 Ξ³ β 2 y u = Ο Ο ( x , y ) f ( t , x , y ) ο£² u ( t , Β± 1 , y ) = 0 , u ( t , x , 0 ) = 0 = u ( t , x , 1 ) ( G ) ο£³ u ( 0 , x , y ) = u 0 ( x , y ) 1 y β₯ β¦ Ο 1 x a b β 1 0 Theorem (BCG 2012) 0 < Ξ³ < 1 β ( G ) null controllable β T > 0 Ξ³ > 1 β ( G ) not null controllable β T β οΏ½ a 2 / 2 Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that ( G ) is null controllable β T > T β not null controllable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 33 / 46
control with interior degeneracy observability ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β C T > 0 such that β v 0 β L 2 (β¦) observable in [ 0 , T ] Γ Ο οΏ½ T οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy β€ C T | v ( t , x , y ) | 2 dxdy ( O ) β¦ 0 Ο Theorem (BCG 2012) ( G β ) 0 < Ξ³ < 1 β β T > 0 observable ( G β ) Ξ³ > 1 β not observable β T β οΏ½ a 2 / 2 ( G β ) Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that is observable β T > T β not observable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 34 / 46
control with interior degeneracy observability ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β C T > 0 such that β v 0 β L 2 (β¦) observable in [ 0 , T ] Γ Ο οΏ½ T οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy β€ C T | v ( t , x , y ) | 2 dxdy ( O ) β¦ 0 Ο Theorem (BCG 2012) ( G β ) 0 < Ξ³ < 1 β β T > 0 observable ( G β ) Ξ³ > 1 β not observable β T β οΏ½ a 2 / 2 ( G β ) Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that is observable β T > T β not observable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 34 / 46
control with interior degeneracy observability ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β C T > 0 such that β v 0 β L 2 (β¦) observable in [ 0 , T ] Γ Ο οΏ½ T οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy β€ C T | v ( t , x , y ) | 2 dxdy ( O ) β¦ 0 Ο Theorem (BCG 2012) ( G β ) 0 < Ξ³ < 1 β β T > 0 observable ( G β ) Ξ³ > 1 β not observable β T β οΏ½ a 2 / 2 ( G β ) Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that is observable β T > T β not observable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 34 / 46
control with interior degeneracy observability ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β C T > 0 such that β v 0 β L 2 (β¦) observable in [ 0 , T ] Γ Ο οΏ½ T οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy β€ C T | v ( t , x , y ) | 2 dxdy ( O ) β¦ 0 Ο Theorem (BCG 2012) ( G β ) 0 < Ξ³ < 1 β β T > 0 observable ( G β ) Ξ³ > 1 β not observable β T β οΏ½ a 2 / 2 ( G β ) Ξ³ = 1 & Ο = ( a , b ) Γ ( 0 , 1 ) = β such that is observable β T > T β not observable β T < T β P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 34 / 46
control with interior degeneracy method: Fourier decomposition ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β β οΏ½ v ( t , x , y ) = v n ( t , x ) Ο n ( y ) with Ο n ( y ) := 2 sin ( n Ο y ) n = 1 οΏ½ 1 where v n ( t , x ) := 0 v ( t , x , y ) Ο n ( y ) dy satisfies ο£± β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) ο£² ( G β v n ( t , Β± 1 ) = 0 t β ( 0 , T ) n ) ο£³ v n ( 0 , x ) = v 0 , n ( x ) x β ( β 1 , 1 ) οΏ½ 1 β οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy = | v n ( T , x ) | 2 dx β¦ β 1 n = 1 οΏ½ b οΏ½ β οΏ½ | v ( t , x , y ) | 2 dxdy = | v n ( t , x ) | 2 dx Ο =( a , b ) Γ ( 0 , 1 ) a n = 1 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 35 / 46
control with interior degeneracy method: Fourier decomposition ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β β οΏ½ v ( t , x , y ) = v n ( t , x ) Ο n ( y ) with Ο n ( y ) := 2 sin ( n Ο y ) n = 1 οΏ½ 1 where v n ( t , x ) := 0 v ( t , x , y ) Ο n ( y ) dy satisfies ο£± β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) ο£² ( G β v n ( t , Β± 1 ) = 0 t β ( 0 , T ) n ) ο£³ v n ( 0 , x ) = v 0 , n ( x ) x β ( β 1 , 1 ) οΏ½ 1 β οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy = | v n ( T , x ) | 2 dx β¦ β 1 n = 1 οΏ½ b οΏ½ β οΏ½ | v ( t , x , y ) | 2 dxdy = | v n ( t , x ) | 2 dx Ο =( a , b ) Γ ( 0 , 1 ) a n = 1 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 35 / 46
control with interior degeneracy method: Fourier decomposition ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β β οΏ½ v ( t , x , y ) = v n ( t , x ) Ο n ( y ) with Ο n ( y ) := 2 sin ( n Ο y ) n = 1 οΏ½ 1 where v n ( t , x ) := 0 v ( t , x , y ) Ο n ( y ) dy satisfies ο£± β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) ο£² ( G β v n ( t , Β± 1 ) = 0 t β ( 0 , T ) n ) ο£³ v n ( 0 , x ) = v 0 , n ( x ) x β ( β 1 , 1 ) οΏ½ 1 β οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy = | v n ( T , x ) | 2 dx β¦ β 1 n = 1 οΏ½ b οΏ½ β οΏ½ | v ( t , x , y ) | 2 dxdy = | v n ( t , x ) | 2 dx Ο =( a , b ) Γ ( 0 , 1 ) a n = 1 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 35 / 46
control with interior degeneracy method: Fourier decomposition ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) β β οΏ½ v ( t , x , y ) = v n ( t , x ) Ο n ( y ) with Ο n ( y ) := 2 sin ( n Ο y ) n = 1 οΏ½ 1 where v n ( t , x ) := 0 v ( t , x , y ) Ο n ( y ) dy satisfies ο£± β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) ο£² ( G β v n ( t , Β± 1 ) = 0 t β ( 0 , T ) n ) ο£³ v n ( 0 , x ) = v 0 , n ( x ) x β ( β 1 , 1 ) οΏ½ 1 β οΏ½ οΏ½ | v ( T , x , y ) | 2 dxdy = | v n ( T , x ) | 2 dx β¦ β 1 n = 1 οΏ½ b οΏ½ β οΏ½ | v ( t , x , y ) | 2 dxdy = | v n ( t , x ) | 2 dx Ο =( a , b ) Γ ( 0 , 1 ) a n = 1 P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 35 / 46
control with interior degeneracy uniform observability ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ( 0 , T ) Γ β¦ ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) t β ( 0 , T ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) ( x , y ) β β¦ 1 y β¦ Ο 1 x a b β 1 0 ο£± β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) ο£² ( G β v n ( t , Β± 1 ) = 0 t β ( 0 , T ) n ) ο£³ v n ( 0 , x ) = v 0 , n ( x ) x β ( β 1 , 1 ) observability for ( G β ) in Ο uniform observability for ( G β β β n ) in ( a , b ) οΏ½ 1 οΏ½ T οΏ½ b | v n ( T , x ) | 2 dx β€ C | v n ( t , x ) | 2 dxdt β n β₯ 1 β 1 0 a P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 36 / 46
control with interior degeneracy uniform observability ο£± β t v β β 2 x v β | x | 2 Ξ³ β 2 y v = 0 ( 0 , T ) Γ β¦ ο£² ( G β ) v ( t , Β± 1 , y ) = 0 , v ( t , x , 0 ) = 0 = v ( t , x , 1 ) t β ( 0 , T ) ο£³ v ( 0 , x , y ) = v 0 ( x , y ) ( x , y ) β β¦ 1 y β¦ Ο 1 x a b β 1 0 ο£± β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) ο£² ( G β v n ( t , Β± 1 ) = 0 t β ( 0 , T ) n ) ο£³ v n ( 0 , x ) = v 0 , n ( x ) x β ( β 1 , 1 ) observability for ( G β ) in Ο uniform observability for ( G β β β n ) in ( a , b ) οΏ½ 1 οΏ½ T οΏ½ b | v n ( T , x ) | 2 dx β€ C | v n ( t , x ) | 2 dxdt β n β₯ 1 β 1 0 a P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 36 / 46
control with interior degeneracy step 1: dissipation speed A n : D ( A n ) β L 2 ( β 1 , 1 ) β L 2 ( β 1 , 1 ) define by D ( A n ) := H 2 β© H 1 A n Ο := β Ο β²β² + ( n Ο ) 2 | x | 2 Ξ³ Ο 0 ( β 1 , 1 ) , Ξ» n := the first eigenvalue of A n so that οΏ½ β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) v n ( t , Β± 1 ) = 0 t β ( 0 , T ) satisfies οΏ½ 1 οΏ½ 1 | v n ( T , x ) | 2 dx β€ e β Ξ» n ( T β t ) | v n ( t , x ) | 2 dx β t β [ 0 , T ] ( D n ) β 1 β 1 Lemma (dissipation speed) β c β > 0 2 Ξ» n β€ c β n (ub) β Ξ³ > 0 such that 1 + Ξ³ 2 (lb) β Ξ³ β ( 0 , 1 ] β c β > 0 such that Ξ» n β₯ c β n 1 + Ξ³ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 37 / 46
control with interior degeneracy step 1: dissipation speed A n : D ( A n ) β L 2 ( β 1 , 1 ) β L 2 ( β 1 , 1 ) define by D ( A n ) := H 2 β© H 1 A n Ο := β Ο β²β² + ( n Ο ) 2 | x | 2 Ξ³ Ο 0 ( β 1 , 1 ) , Ξ» n := the first eigenvalue of A n so that οΏ½ β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) v n ( t , Β± 1 ) = 0 t β ( 0 , T ) satisfies οΏ½ 1 οΏ½ 1 | v n ( T , x ) | 2 dx β€ e β Ξ» n ( T β t ) | v n ( t , x ) | 2 dx β t β [ 0 , T ] ( D n ) β 1 β 1 Lemma (dissipation speed) β c β > 0 2 Ξ» n β€ c β n (ub) β Ξ³ > 0 such that 1 + Ξ³ 2 (lb) β Ξ³ β ( 0 , 1 ] β c β > 0 such that Ξ» n β₯ c β n 1 + Ξ³ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 37 / 46
control with interior degeneracy step 1: dissipation speed A n : D ( A n ) β L 2 ( β 1 , 1 ) β L 2 ( β 1 , 1 ) define by D ( A n ) := H 2 β© H 1 A n Ο := β Ο β²β² + ( n Ο ) 2 | x | 2 Ξ³ Ο 0 ( β 1 , 1 ) , Ξ» n := the first eigenvalue of A n so that οΏ½ β t v n β β 2 x v n + ( n Ο ) 2 | x | 2 Ξ³ v n = 0 ( t , x ) β ( 0 , T ) Γ ( β 1 , 1 ) v n ( t , Β± 1 ) = 0 t β ( 0 , T ) satisfies οΏ½ 1 οΏ½ 1 | v n ( T , x ) | 2 dx β€ e β Ξ» n ( T β t ) | v n ( t , x ) | 2 dx β t β [ 0 , T ] ( D n ) β 1 β 1 Lemma (dissipation speed) β c β > 0 2 Ξ» n β€ c β n (ub) β Ξ³ > 0 such that 1 + Ξ³ 2 (lb) β Ξ³ β ( 0 , 1 ] β c β > 0 such that Ξ» n β₯ c β n 1 + Ξ³ P. Cannarsa (Rome Tor Vergata) degenerate parabolic operators April 4, 2012 37 / 46
Recommend
More recommend