Observation et stabilisation dondes : g eom etrie et co ut du contr ole

M emoire pr esent e pour lhabilitation ` a diriger des recherches, sp ecialit e math ematiques.

Kim Dang PHUNG 17 d ecembre 2007

Table des mati` eres

1. Introduction 2. Travaux li es ` a la th` ese 2.1 Un aper cu de l etat de lart pour l equation des ondes 2.2 Stabilisation des equations dEuler 2D incompressible par la force de Lorentz 2.3 Co ut du contr ole approch e de l equation de la chaleur avec un potentiel 3. Principaux th` emes de recherche depuis la th` ese 3.1 La constante dobservabilit e sous la condition de contr ole g eom etrique de C. Bardos, G. Lebeau et J. Rauch 3.2 Lobservation vis-` a-vis de la g eom etrie equence et ses applications 4. La fonction fr 4.1 4.2 4.3 4.4 4.5 4.6 4.7 Lapproche originale de N. Garofalo et F.H. Lin Lapproche am elior ee de I. Kukavica Propri et e quantitative de continuation unique pour le laplacien 2 Propri et e quantitative de continuation unique pour lop erateur elliptique t + Propri et e quantitative de continuation unique pour la somme de vecteurs propres Application ` a l equation de la chaleur Application ` a l equation des ondes

5. Principales nouveaut es li ees ` a l equation de Schr odinger equation des ondes ` a celle de Schr odinger 5.1 De l equation de Schr odinger ` a celle des ondes 5.2 De l 6. Projet en cours sur l equation de Schr odinger 7. Travaux en collaboration 8. Publications

Introduction

Lobjectif de ce m emoire consiste ` a d ecrire mes activit es de recherche depuis lobtention de la th` ese jusqu` a mes r ecents travaux. Mes centres de recherche sont les propri et es qualitatives des equations aux d eriv ees partielles (EDP) dans le cadre de la th eorie du contr ole des EDP dans des domaines born es. Les equations qui rentrent en jeu sont celles de la physique math ematique : les equations de Schr odinger (m ecanique quantique), les equations de Maxwell ( electromagn etisme) et les equations hyperboliques, les equations dEuler (m ecanique des uides) et les equations paraboliques. Mes travaux englobent des r esultats sur la contr olabilit e exacte, le contr ole approch e et optimal, et aussi des r esultats de stabilisation (contr ole en boucle ferm ee).

Travaux directement li es ` a la th` ese

Dans cette section sont rappel ees les d enitions et les notations classiques pr esentes dans ce m emoire. Aussi, nous allons commencer par rappeler les notions de base de la th eorie du contr ole des EDP. Ensuite, nous d ecrivons deux r esultats directement li es ` a la th` ese : la stabilisation des equations dEuler 2D incompressible par la force de Lorentz g en er ee par les equations de Maxwell avec loi dOhm; le co ut du contr ole approch e de l equation de la chaleur avec potentiel.

Contr oler un syst` eme consiste ` a etre capable de modier le comportement de la solution dune EDP selon notre d esir. Dans le cadre de syst` eme gouvern e par des EDP d evolution en temps et se propageant dans un domaine en espace born e, le probl` eme mod` ele de la contr olabilit e exacte (respectivement, approch ee) revient ` a amener en un temps T > 0 x e, la solution dune EDP depuis une donn ee initiale vers une cible donn ee (respectivement, vers un voisinage de taille > 0 de la cible) en construisant un contr ole ad equat support e dans un sous-domaine ]0, T [ de ]0, T [ (dans ce paragraphe, est soit une partie de , soit un ouvert de ). Pour des syst` emes lin eaires, la contr olabilit e exacte est equivalente par dualit e` a lobtention dune in egalit e dobservabilit e qui consiste ` a majorer la donn ee initiale de la solution u (x, t) dune EDP lin eaire d enie dans un domaine born e ]0, T [ par sa restriction sur un sous-domaine ]0, T [ de ]0, T [, dans des normes ad equates: u (x, 0)|x C u (x, t)|x,t]0,T [ , (2.1)

et la constante C ne d epend que de (, , T ). C sera alors appel ee constante dobservabilit e. Par ailleurs, la constante C d etermine le co ut du contr ole. Le sous-domaine ]0, T [ correspond ` a la taille du support du contr ole. Si lon sint eresse ` a des syst` emes ayant des eets r egularisant sur la donn ee initiale, alors le choix des normes et || joue un r ole pr edominant. Si lon sint eresse ` a des syst` emes o` u les ondes (ou les singularit es) se propagent ` a vitesse nie, en agissant dans la r egion ]0, T [ ]0, T [, il faudra se donner un temps de contr olabilit e T susamment grand pour que l etat de la solution puisse etre modi e sur tout le domaine ` a linstant T . De plus, pour r ealiser la contr olabilit e exacte, le sousdomaine devra etre susamment grand ` a cause des rayons captifs. Maintenant, si la constante C devait d ependre de la fr equence li ee ` a la donn ee initiale u (x, 0), alors on ne pourrait quen d eduire un r esultat de contr olabilit e approch ee avec un co ut appropri e (ce co ut sera dautant plus elev e si la taille du voisinage est petite). Lobtention de telles in egalit es sapparente aux probl` emes dobservabilit e et quantie la propri et e de continuation unique de lEDP. Une etude approfondie des propri et es qualitatives de lEDP est donc n ecessaire pour pouvoir r esoudre de mani` ere ne les probl` emes dobservabilit e et de contr olabilit e. En parall` ele, le probl` eme de la stabilisation se rapporte ` a une etude du comportement asymptotique en temps de la solution 2

dune EDP. On sint eresse ` a des syst` emes dissipatifs o` u lamortissement nagit que dans la r egion ]0, +[ ]0, +[. On vise alors une d ecroissance exponentielle en temps de la solution du syst` eme amorti dans une norme ad equate. Par une technique de perturbation, la d ecroissance exponentielle peut etre equivalente ` a lobtention dune in egalit e dobservabilit e o` u la constante C dobservabilit e ne d epend que de (, , T ). Si la constante C devait d ependre de la fr equence li ee ` a la donn ee initiale u (x, 0), alors on ne pourrait quen d eduire un taux de d ecroissance non uniforme en la donn ee initiale du syst` eme amorti.

Notations .- La fonction carat eristique sur un ensemble X sera not ee 1X . L energie ` a linstant t enie par dune fonction f = f (x, t) C 1 R; L2 () C R; H 1 () est d E (f, t) = 1 2 |t f (x, t)| + |f (x, t)|
2 2

dx .

2.1

Un aper cu de l etat de lart pour l equation des ondes

Dans le cadre de la probl ematique de la contr olabilit e dun syst` eme lin eaire r eversible mod` ele comme l equation des ondes dans un ouvert born e de RN , N 1, ` a bord r egulier, les questions suivantes ont fait lobjet de nombreux travaux. Fixons T > 0 et une partie non vide de . Soit F lapplication de L2 ( ]0, T [) dans L2 () H 1 () d enie par la r esolution du syst` eme 2 dans ]0, T [ , t v v = 0 v = g 1]0,T [ sur ]0, T [ , (v, t v ) (, T ) = (0, 0) dans , et F (g ) = (v, t v ) (, 0) dans . Etant donn e Cad L2 ( ]0, T [) et Dad L2 () H 1 (), choisissons (v0 , v1 ) Dad . On consid` ere la fonctionnelle J(v0 ,v1 ) sur Cad d enie par J(v0 ,v1 ) (g ) = F (g ) (v0 , v1 )
2 L2 ()H 1 ()

hCad

La contr olabilit e exacte fronti` ere de l equation des ondes est equivalente ` a la surjectivit e de lapplication F . La question naturelle, compte tenu des propri et es physiques des ondes est : quelle situation g eom etrique, et notamment quelles hypoth` eses sur (, , T ) doit-on imposer pour que la surjectivit e de F soit v eri ee ? Dans la mesure o` u les hypoth` eses g eom etriques ne sont pas satisfaites pour que F soit surjective, nous allons rechercher un espace fonctionnel Dad dans lequel Im (F ) soit dense. La question de la contr olabilit e approch ee se r e ecrit ainsi : pour tout > 0, pour tout (v0 , v1 ) Dad , existe-t-il un contr ole approch e g L2 ( ]0, T [) tel que J(v0 ,v1 ) (g ) ? Au quel cas, peut-on estimer le co ut de ce contr ole approch e en fonction de ? Eventuellement (et ceci correspond ` a la notion de contr ole optimal), nous essayons de minimiser sur tous les contr oles admissibles g , la fonctionnelle J(v0 ,v1 ) (g ). Ceci se ram` ene ` a la question suivante : pour tout (v0 , v1 ) L2 () H 1 () , existe-t-il un contr ole optimal g Cad tel que J(v0 ,v1 ) (g ) = inf J(v0 ,v1 ) (h) ?

Quand le contr ole d epend de la solution v (contr ole en boucle ferm ee) et quand le syst` eme devient dissipatif (par exemple, en rempla cant le contr ole par une condition aux limites absorbante), l energie est une fonction positive et d ecroissante en temps. Aussi, nous etudions le comportement en temps long de l energie. En particulier, le choix de di erentes conditions de Cauchy et/ou dhypoth` eses g eom etriques entra ne di erentes estimations sur le taux de d ecroissance de l energie. La stabilisation forte consiste ` a etablir un taux de d ecroissance uniforme et exponentiel en temps. 3

La m ethode H.U.M. de J.-L. Lions [ Lio] caract erise le contr ole exact en r esolvant le probl` eme dual dobservabilit e. Dans notre cas mod` ele, la contr olabilit e exacte fronti` ere est equivalente ` a lexistence dune constante C > 0 telle que pour toute solution des ondes 2 dans ]0, T [ , t u u = 0 u=0 sur ]0, T [ , (2.2) 1 (u, t u) (, 0) = (u0 , u1 ) H0 () L2 () , on ait (u0 , u1 )
1 ()L2 () H0

L2 (]0,T [)

Plus g en eralement, le probl` eme dobservabilit e consiste ` a majorer la solution d enie dans dune EDP par sa restriction sur une partie du bord ou sur un ouvert de , dans des normes ad equates. Pour une large classe dEDP, de telles estimations sont fausses sans des contraintes sur les donn ees de Cauchy et/ou sans des hypoth` eses g eom etriques. Aussi, F. John [ J] a introduit les estimations de d ependance de type H older et de type logarithmique qui s enoncent, dans notre cas mod` ele de la mani` ere suivante. La d ependance de type H older correspond ` a lexistence dune constante C > 0 telle que pour toute donn ee initiale (u0 , u1 ) = 0, on ait (u0 , u1 ) C (u0 , u1 ) (u0 , u1 )
1/
1 ()L2 () H0

1 ()L2 () H0

L2 ()H 1 ()

L2 (]0,T [)

o` u > 1. La d ependance de type logarithmique correspond ` a lexistence dune constante C > 0 telle que pour toute donn ee initiale (u0 , u1 ) = 0, on ait
C
(u0 ,u1 ) (u0 ,u1 ) 1 ()L2 () H0 L2 ()H 1 ()

!1/

(u0 , u1 )

1 ()L2 () H0

L2 (]0,T [)

o` u (0, 1). Les estimations de d ependance de type H older ou logarithmique peuvent etre vues comme des in egalit es dobservabilit e` a basse fr equence o` u la quantit e (u0 , u1 ) (u0 , u1 )
1 ()L2 () H0

L2 ()H 1 ()

est une mesure naturelle de la fr equence de londe. On peut ainsi noter que de telles estimations donnent une quantication de la propri et e de continuation unique (voir [ Pay] dans le cadre des probl` emes inverses et mal-pos es). Par un argument de dualit e, de telles estimations de d ependance permettent destimer le co ut du contr ole approch e (voir aussi les travaux de J.-L. Lions dans le cadre du contr ole optimal ` a partir des techniques de minimisation). Finalement, chaque type din egalit es dobservabilit e ou de d ependance entra ne un taux de d ecroissance exponentiel, polynomial ou logarithmique pour des syst` emes dissipatifs ad equats, par exemple 2 w w = 0 dans ]0, +[ , t w=0 sur \ ]0, +[ , n w + t w = 0 sur ]0, +[ , (w, t w) (, 0) = (w0 , w1 ) H 1 () w0 |( \) = 0 L2 () .

Les travaux de C. Bardos, G. Lebeau et J. Rauch [ BLR] etablissent des conditions g eom etriques, appel ees condition de contr ole g eom etrique, presque n ecessaires et susantes pour la stabilisation forte et la contr olabilit e exacte de probl` emes hyperboliques scalaires avec les conditions au bord de Dirichlet ` partir des techniques danalyse microlocale, ils commencent par d ou de Neumann. A emontrer un r esultat reliant les normes Sobolev microlocales jusquau bord et les traces (lemme de rel` evement). Puis ils utilisent le r esultat de R. Melrose et J. Sj ostrand [ MS] sur la propagation des singularit es (en terme de propagation du front donde jusquau bord) dune equation hyperbolique scalaire avec les

conditions aux limites de Dirichlet ou de Neumann, voire la condition aux limites absorbante + t . Cela aboutit ` a lin egalit e suivante : T Tc , c, d > 0, u
H 1 (]0,T [)

c u

L2 (]0,T [)

+d u

L2 (]0,T [)

Il reste ` a faire dispara tre le terme dordre inf erieur : d contradiction et avec un argument de compacit e-unicit e.

L2 (]0,T [) ,

et cela peut se faire par

Lin egalit e ci-dessus sobtient gr ace ` a la condition de contr ole g eom etrique (CCG avec (, , Tc )) suivante : ne que pour tout C , na pas de contact dordre inni avec ses tangentes (ce qui entra point (x, t) de R, il existe une unique courbe vivant dans lespace des phases, appel ee 2 bicaract eristique g en eralis ee, qui est limite de bicaract eristiques bris ees de t nayant que des contacts hyperboliques avec le bord, et dont la projection sur les variables espace-temps passe par (x, t)) ; en eralis e (i.e., la projection sur les variables espace-temps de la bicaract eristique Tout rayon g g en eralis ee), (x () , t ()) partant avec t (0) = 0 rencontre (0, Tc ) en un point non diractif.

De mani` ere imag ee, un point diractif est un point du bord qui est ras e par le rayon en y laissant une empreinte insusante. Aussi, un contact hyperbolique avec le bord correspond ` a la loi de loptique g eom etrique angle de r eexion=angle dincidence au bord dans la m etrique euclidienne. Dans le cadre de lobservabilit e interne la condition de contr ole g eom etrique (CCG avec (, , Tc )), etant un ouvert non vide de , devient : C , na pas de contact dordre inni avec ses tangentes ; Tout rayon g en eralis e (x () , t ()) partant avec t (0) = 0 rencontre (0, Tc ). Sous cette CCG, on a lin egalit e suivante : T Tc , c, d > 0, u
H 1 (]0,T [)

c t u

L2 ( ]0,T [)

+d

L2 (]0,T [)

o` u le terme dordre inf erieur : d u L2 (]0,T [) , disparait ` a partir dun argument de compacit e-unicit e 2 (toute solution de t u u = 0 avec la condition de Dirichlet homog` ene au bord et v eriant u = 0 dans (0, T ) pour T Tc doit valoir u = 0 dans R). La CCG peut aussi se formuler en terme de g eod esique associ e au Laplacien qui est la projection sur 2 la variable espace des bicaract eristiques g en eralis ees associ ees ` a t (voir [ Mi]). Dans le cas particulier dun domaine strictement convexe (donc, il ny a que des contacts hyperboliques au bord), la construction de solutions de l equation des ondes, qui asymptotiquement quand la fr equence de londe tend vers linni, sont localis ees et se propagent le long dun rayon de loptique g eom etrique (i.e., le long darcs de g eod esique se r e echissant sur le bord selon les lois de loptique g eom etrique) est r ealis ee par J. Ralston [ Ra]. Lexistence de telles solutions ` a haute fr equence (appel ees rayons gaussiens) implique la n ecessit e de conditions g eom etriques pour la contr olabilit e exacte ou la stabilisation forte de syst` eme hyperbolique (voir [ BLR]). Le caract` ere n ecessaire et susant de la CCG a et e etabli par N. Burq et P. G erard [ BG] ` a partir des mesures de d efaut et se formule comme suit. Soit C0 ( ]0, T [), on suppose que C , na pas de contact dordre inni avec ses tangentes. Alors, la condition g eom etrique stipulant que tout rayon g en eralis e rencontre lensemble = 0 en un point non diractif, est equivalente ` a lin egalit e dobservation suivante : c > 0, (u0 , u1 )
1 ()L2 () H0

c u 5

L2 ( ]0,T [)

` partir de techniques plus simples appel A ees m ethode des multiplicateurs, J.-L. Lions [ Lio] (voir aussi [ Ko]) avait auparavant etabli une in egalit e dobservabilit e. En particulier, il obtient sous des hypoth` eses g eom etriques non optimales, une bonne connaissance de la constante dobservabilit e vis-` avis du temps de contr olabilit e. Sans des hypoth` eses g eom etriques particuli` eres, sauf connexe de classe C 3 et T > 0 assez grand, les travaux de L. Robbiano [ Ro2] sur les in egalit es de Carleman elliptiques locales permettent dobtenir une estimation de d ependance de type logarithmique avec = 1/2 pour les equations hyperboliques ` a coecients ind ependants du temps dans C 2 et un r esultat de contr olabilit e approch ee pour des 2 probl` emes hyperboliques avec une estimation de la forme ec/ du co ut du contr ole. Par ailleurs, ` a partir du calcul h-pseudodi erentiel, L. Robbiano obtient des in egalit es locales de Carleman dans un domaine born e pour des op erateurs elliptiques du second ordre ` a coecients r eguliers avec la condition au bord de Dirichlet. Le calcul h-pseudodi erentiel est utilis e via lin egalit e de Garding et permet dabsorber les termes dordre inf erieur pour h susamment petit. Ainsi, une estimation de d ependance de type H older pour les solutions de l equation elliptique suivante
2 t y + y = 0

dans M ]0, T [ ,

y=0

sur M ]0, T [ ,

est d emontr ee o` u est le laplacien sur la vari et e M riemannienne C , compacte, de dimension n et connexe ` a bord. Une transformation gaussienne est ensuite utilis ee pour se ramener ` a des r esultats de contr ole pour les equations hyperboliques. Une g en eralisation de la transformation gaussienne qui sappelle transformation de Fourier-Bros-Iagolnitzer (FBI) d enie comme suit Y
o ,

(x, t) =
R

F (

+ it ) ( ) u (x, ) d
2N

iz ( ) o` u o R, C0 e d avec 1, = 1 21 (R), F (z ) = 21 Re N et N N tel que 1 0 < + 2N < 1 , est privil egi ee par G. Lebeau et L. Robbiano [ LeR2] et permet davoir une estimation de d ependance de type logarithmique avec ]0, 1[ pour les equations hyperboliques avec condition 2 u u = 0 avec la condition de de Dirichlet au bord. On remarquera que si u est solution de t Dirichlet homog` ene au bord, alors Y o , (x, t) v erie 2 t Y o , (x, t) + Y o , (x, t) = 0 , (x, t) R , Y , (x, t) = 0 , (x, t) R , o Y o , (x, 0) = (F u (x, )) ( o ) , x ,

o` u d enote lop erateur de convolution. Sans des hypoth` eses g eom etriques particuli` eres sauf connexe de classe C , dans le cadre de la stabilisation fronti` ere avec la condition absorbante dissipative au bord: w + (x)t w = 0 avec C ( , [0, +[) et {x ; > 0} = , en utilisant la transformation FBI appliqu ee ` a u = w, G. Lebeau et L. Robbiano [ LeR2] obtiennent une estimation de d ependance de type logarithmique avec ]0, 1[ pour le syst` eme des ondes dissipatif ce qui entra ne la d ecroissance logarithmique suivante: 2 ]0, 1[, c > 0, (w0 , w1 ) H 1 () w0 L2 () et w0 + w1 | = 0 , la solution de 2 dans ]0, +[ , t w w = 0 w + t w = 0 sur ]0, +[ , (w, t w) (, 0) = (w0 , w1 ) dans , v erie E (w, t) ln
2

c (E (w, 0) + E (t w, 0)) . (2 + t)

Par ailleurs, ` a partir destimations de r esolvante (et des calculs dans le plan complexe), N. Burq [ Bu] a r eussi ` a d emontrer que lin egalit e ci-dessus est valable pour = 1 ( = 1 etant optimal). Auparavant, G. Lebeau [ Le] avait etudi e la stabilisation interne de l equation des ondes et obtenu un taux de d ecroissance logarithmique ` a partir destimations de r esolvante. 6

Enn, remarquons que la transformation ci-dessus est inop erante pour l equation des ondes avec un potentiel en espace-temps. Cependant, le travail de X. Zhang [ Z] sur les in egalit es globales de Carleman permet davoir, sous les hypoth` eses g eom etriques g en er ees par la m ethode des multiplicateurs, une 2 in egalit e dobservabilit e pour lop erateur t + q (x, t).

2.2

Stabilisation des equations dEuler 2D incompressible par la force de Lorentz

Mes deux premiers papiers, durant mes ann ees de th` ese au Centre de Math ematiques et de Leurs Applications sous la direction de C. Bardos, sont des notes CRAS ([P01] , [P02]) et annoncent la contr olabilit e exacte interne et la stabilisation fronti` ere du syst` eme de Maxwell sous les hypoth` eses de contr ole g eom etrique. Leurs preuves sont d etaill ees dans [P03] (cit e par 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 entre autres). Les r esultats de contr olabilit e exacte et de stabilisation fronti` ere d ecoulent naturellement des m ethodes eprouv ees des travaux de C. Bardos, G. Lebeau et J. Rauch, en se ramenant ` a six equations des ondes coupl ees au bord. Par contre, l etude de la stabilisation interne et plus pr ecis ement l etude du syst` eme de Maxwell avec loi dOhm a n ecessit e une approche plus pertinente car la densit e de charge y est non nulle. Di erents travaux num eriques sur le contr ole de couches limites par une force de Lorentz g en er ee par un champ electromagn etique ont attir e mon attention. Aussi, dans [P09], nous nous sommes int eress es aux comportements en temps de la vitesse et du tourbillon dun uide parfait incompressible pilot e par la force de Lorentz cr ee par un champ electromagn etique solution du syst` eme de Maxwell avec loi dOhm. L etude du comportement asymptotique dun uide soumis ` a un champ electromagn etique est un sujet tr` es motivant. En particulier, deux probl` emes sont ouverts et extr emement int eressants dun point de vue des applications physiques : la stabilisation de l energie de la vitesse du uide ; le comportement du uide concentr e dans la couche limite. Ici, on sint eressera ` a des uides incompressibles mod elis es par les equations de Navier-Stokes ou les equations dEuler. La fonction contr ole est donn ee par la force de Lorentz g en er ee par les equations de Maxwell avec Loi dOhm o` u la permittivit e, la perm eabilit e et la conductivit e sont des param` etres, voire des fonctions rapidement oscillantes.

1 Nicaise,

S. (2000) SIAM J. Control Optim. 38, 1145-1170.

2 Lagnese, J. (2001) ESAIM, Control Optim. Calc. Var. 6, 275-289. These results (i.e. those established by multiplier methods) were greatly extended by Phung, who used results on the propagation of singularities of electromagnetic elds 3 Eller, M., Master, J. (2002) Appl. Math. Optim. 45, 99-123. we mention the work by Phung. He uses the method of geometric optics to study the controllability and stabilization of Maxwells system. 4 Lagnese, 5 Ammari, 6 Nicaise,

J., Leugering, G. (2002) ESAIM, Control Optim. Calc. Var. 8, 775-799. H. (2003) J. Math. Anal. Appl. 282, 479-494.

S., Pignotti, C. (2003) ESAIM, Control Optim. Calc. Var. 9, 563-578.

7 Nicaise, S., Pignotti, C. (2005) Abstr. Appl. Anal. 7, 791-811. Our method actually combines arguments used in the stabilization of scalar wave equation ... with the use of an internal observability estimate for the standard Maxwell equations obtained for constant coecients by Phung by microlocal analysis .... 8 Nicaise, 9 Barucq,

S., Pignotti, C. (2006) Appl. Math. Optim. 54, 47-70. H., Fontes, M. (2007) J. Math. Pures Appl. 87, 253-273.

2.3

Co ut du contr ole approch e de l equation de la chaleur avec un potentiel

Le second axe de mes activit es de recherche durant mes ann ees de th` ese est li e aux probl` emes de diusion dondes monochromatiques d ecrites par l equation de Helmholtz et les equations de Maxwell r eduites ` a fr equence x ee. Une condition aux limites absorbante simule la condition de radiation ` a linni. On se ram` ene alors ` a un syst` eme elliptique dans un domaine born e. Dans le cadre electromagn etique, il convient de traiter la condition aux limites de Silver-M uller et celle des conducteurs parfaits. La probl ematique consistait ` a contr oler, avec une estimation du co ut, le champ electromagn etique lointain dius e par une cible illumin ee par une onde incidente monochromatique en agissant sur une partie de la surface de lobstacle. Nous montrons que ce probl` eme de contr olabilit e approch ee se d eduit dun r esultat dunicit e du syst` eme de Maxwell r eduit. Aussi, nous quantions le th eor` eme dHolmgren ` a partir des in egalit es de Hardy et de Carleman. Nous nous sommes inspir es des travaux de L. Robbiano sur les in egalit es de Carleman elliptiques locales obtenues ` a partir du calcul h-pseudodi erentiel et de lin egalit e de Garding dans des domaines born es. Et plus pr ecis ement, nous etablissons une d ependance logarithmique des traces par rapport ` a la solution, d enie dans tout le domaine, dun syst` eme elliptique du second ordre sans connaissance de la condition aux limites [P07] (cit e par 10 dans le cadre des probl` emes inverses). Les r esultats d esir es de contr ole approch e en terme de co ut sen d eduisent. Ici, le point cl e vient du fait que lon travaille avec des syst` emes o` u la contr olabilit e exacte est irr ealisable. Prenons le cas de l equation de la chaleur. Une in egalit e dobservabilit e peut sobtenir avec un choix ad equat des normes et || dans (2.1) sous la forme suivante. Il existe une constante C > 0 telle que pour tout T > 0, la solution de dans ]0, T [ , t u u = 0 u=0 sur ]0, T [ , (2.3) u (, 0) = uo L2 () , v erie uo
L2 ()

1 C 1+ T

1 ()) L2 (0,T ;Ho

o` u est un ouvert born e de RN , N 1, ` a fronti` ere de classe C 2 . Cela implique le r esultat de contr olabilit e exacte pour l equation de la chaleur avec un contr ole g agissant sur tout ]0, T [, g L2 0, T ; H 1 () permettant datteindre au temps T un etat arbitraire dans L2 () ` a partir dun 2 etat initial dans L (). Maintenant, si lon d esire un contr ole vivant dans L2 ( ]0, T [), alors cela n ecessite lexistence dune constante C > 0 telle que uo
L2 ()

C u

L2 ( ]0,T [)

.
uo L2 () uo H 1 () ,

Cette constante C va devoir d ependre de la donn ee initiale, et plus pr ecis ement de eets r egularisant sur la donn ee initiale de l equation de la chaleur entra ne que u
L2 ( ]0,T [)

car les

uo

H 1 ()

En conclusion, avec un contr ole vivant dans L2 ( ]0, T [), la contr olabilit e exacte pour l equation de la chaleur est irr ealisable et on se contentera dun r esultat de contr ole approch e. Notre objectif sera alors de d eterminer le co ut du contr ole approch e.

Comme il a et e noti e au paragraphe 2.1, la technique des in egalit es globales de Carleman est un outil pr ecieux pour traiter le probl` eme dobservation quand intervient un potentiel en espace-temps.
10 Bourgeois,

L. (2006) Inverse Problems 22, 413-430.

Dans le cadre des probl` emes de contr ole, les in egalit es globales de Carleman peuvent etre vues comme des in egalit es dobservation dans des espaces ` a poids exponentiel : C, ho > 0, h ]0, ho [, e(x,t)/h u (x, t)|x,t]0,T [ C e(x,t)/h u (x, t)|x,t]0,T [ ,

o` u la fonction C [0, T ] doit etre judicieusement choisie. Cette technique a et e d evelopp ee par A. Fursikov et O. Imanuvilov [ FI] pour r esoudre la contr olabilit e des equations paraboliques. Une etude compl` ete des di erents probl` emes de contr olabilit e exacte et approch ee des equations paraboliques lin eaires et semilin eaires a nalement et e r ealis ee par E. Fernandez-Cara et E. Zuazua [ FCZ] ` a partir des techniques de A. Fursikov and O. Imanuvilov, valable pour domaine (i.e., ouvert e de classe C 2 . Ils d emontrent lexistence dune constante C > 0 telle connexe de RN , N 1) born que pour tout T > 0 et tout potentiel q = q (x, t) L ( ]0, T [), la solution de t u u + qu = 0 dans ]0, T [ , u=0 sur ]0, T [ , (2.4) u (, 0) L2 () , v erie u (, T )
L2 ()

exp C 1 +

1 +T q T

+ q

2 /3

L2 ( ]0,T [)

o` u est un ouvert non vide contenu dans le domaine born e C 2. Dans [P08], janalyse le co ut du contr ole approch e de l equation de la chaleur avec un potentiel 1 q L ( ]0, T [). Ce co ut est de lordre de ec/ quand la cible vit dans H0 () avec une pr ecision 2 en norme L (). Aussi, la quantication de la propri et e de continuation unique pour la solution u de (2.4) est etablie comme suit


u (x, 0)

L2 ()

u(x,0) u(x,0)

L2 () H 1 ()

L2 ( ]0,T [)

Notre r esultat compl` ete le travail de E. Fernandez-Cara et E. Zuazua [ FCZ] sur la contr olabilit e approch ee de l equation de la chaleur avec un potentiel.

Principaux th` emes de recherche depuis la th` ese

Il est naturel de chercher ` a relier la g eom etrie du contr ole et le co ut du contr ole. Dans lin egalit e (2.1) le sous-domaine ]0, T [ correspond ` a la taille du support du contr ole. La constante C qui intervient dans cette in egalit e (2.1) d etermine le co ut du contr ole. Par cons equent, nous voulons mieux comprendre comment interagissent certains param` etres par exemple le temps et la g eom etrie dans le co ut du contr ole. Nous avons tout dabord commenc e ` a mieux conna tre la constante dobservabilit e vis-` a-vis de certains param` etres quand la condition de contr ole g eom etrique CCG est satisfaite ([P04] , [P06]). Dans une seconde partie, nous nous sommes int eress es ` a des g eom etries o` u la condition de contr ole g eom etrique CCG nest pas satisfaite, mais quand le taux de d ecroissance du syst` eme des ondes amorties est meilleur que logarithmique ([P11] , [P13]).

3.1

La constante dobservabilit e sous CCG

Dans ce paragraphe, on sint eresse ` a des syst` emes exactement contr olables sous la condition de contr ole g eom etrique CCG. Nous d eveloppons une strat egie pour obtenir la constante dobservabilit e de fa con explicite vis-` a-vis de certains param` etres. Description de la m ethode .- Tout dabord, on rappelle que lin egalit e dobservabilit e d esir ee est equivalente ` a la r esolution dun probl` eme de contr olabilit e exacte. Cette in egalit e dobservabilit e va donc pouvoir sobtenir ` a partir dun r esultat de contr olabilit e exacte. Ensuite, la CCG avec (, , Tc ) entra ne lexistence dune fonction contr ole g L2 ( ]Tc , Tc [), d ependante de la donn ee initiale 1 () de la fa con suivante v0 H0 g
L2 ( ]Tc ,Tc [)

C(,,Tc )

v0

1 () H0

avec C(,,Tc ) > 0 (ne d ependant que de (, , Tc )) et telle que la solution de 2 t v v = g 1]Tc ,Tc [ dans R , v=0 sur R , (v, t v ) (, 0) = (v0 , 0) dans , v erie v (x, t) = 0 pour tout (x, t) (R \]Tc , Tc [ ). Soient T un r eel strictement positif et P un op erateur di erentiel du premier ou du second ordre, eventuellement d ependant dun param` etre , par 2 + z (t) t o` u r C 2 (R; R) , z C 1 (R; C) tels que |t r (0) z (0)| = 0. exemple P (t, t ) = r (t) t Nous allons chercher une solution contr ol ee sous la forme int egrale suivante y (x, t) =
R

F ( , t) v (x, ) d ,

o` u F , solution dune EDP monodimensionnelle, est ` a construire de sorte que Tc P (t, t ) y (x, t) y (x, t) = T F ( , t) g (x, ) d 1 , (x, t) R , c y=0 sur R , ( y, r (0) y ) ( , 0) = ( v , 0) dans , t 0 (y, r (T ) t y ) (, T ) 0 dans . Nous apercevons en calculant R F ( , t) v (x, ) d , quun candidat possible est une solution 1D contr ol ee comme suit P (t, t ) F ( , t) 2 F ( , t) = f ( , t) 1 (R\]Tc ,Tc [ ) , ( , t) R R , F ( , 0) = ( ) , R, r (0) F ( , 0) = 0 , [Tc , Tc ] , t F ( , t) = 0 , ( , t) [Tc , Tc ] [T, +[ . o` u f est une fonction contr ole et est la fonction Dirac. Bien evidemment, l eventail des techniques pour r esoudre ce dernier probl` eme de contr ole monodimensionnel est large. Dans notre cas, puisque nous d esirons la constante dobservabilit e de fa con explicite vis-` a-vis de certain param` etre, il faudra aussi etablir une in egalit e explicite en (, T ) pour le syst` eme monodimensionnel, par exemple et si possible F L2 (]Tc ,Tc []0,T [) C (, T ) , o` u C (, T ) est une constante d ependante de (, T ) et ce de mani` ere explicite. Finalement, les deux derni` eres in egalit es et Cauchy-Schwarz entra nent une estimation du co ut du contr ole associ e` a y,
Tc

F ( , t) g (x, t) d 1
Tc L2 ( ]0,T [)

C (, T ) C(,,Tc )

v0

1 () H0

Par dualit e, sous les conditions ci-dessus, nous en d eduisons lin egalit e dobservabilit e suivante u0
H 1 ()

1 C (, T ) C(,,Tc ) |t r (0) z (0)| 10

L2 ( ]0,T [)

pour toute donn ee initiale u0 H 1 () du probl` eme suivant 2 t (r (t) u (x, t)) t (z (t) u (x, t)) u (x, t) = 0 , (x, t) R , u=0 sur R , (u, r (0) t u) (, 0) = (u0 , 0) dans . En r esum e, nous avons report e la dicult e de trouver comment se comporte la constante dobservabilit e sous CCG dun probl` eme multidimensionnel vis-` a-vis dun param` etre vers un probl` eme monodimensionnel. La description ci-dessus peut sembler na ve car nous avons peu fait attention aux espaces fonctionnels en jeu. Cependant, lapproche d ecrite ci-dessus re` ete bien la strat egie de la m ethode. Nous avons appliqu e cette m ethode pour obtenir : e pour les equations de Schr odinger explicite par rapport au temps de la constante dobservabilit contr olabilit e. On rappelle que la vitesse innie de propagation des singularit es pour l equation de Schr odinger permet dexclure toute restriction sur le temps de contr olabilit e;
2 e pour l equation des ondes amorties t + 1 la constante dobservabilit t , explicite par rapport a ]0, 1[. `

Plus pr ecis ement, nous avons publi e les deux r esultats suivants [P04] [P06]. Th eor` eme 3.1 .Sous CCG avec (, , Tc ). Alors pour tout T > 4Tc , il existe C > 0 tel que toute solution u de 2 dans ]0, T [ , t u u + 1 t u = 0 u=0 sur ]0, T [ , (u, t u) (, 0) = (u0 , u1 ) L2 () H 1 () , v erie (u0 , u1 ) Th eor` eme 3.2 .L2 ()H 1 ()

CeC/

L2 ( ]0,T [)

]0, 1[ .

Sous CCG avec (, , Tc ). Alors il existe C > 0 tel que toute solution u de dans ]0, T [ , it u + u = 0 u=0 sur ]0, T [ , u (, 0) = u0 L2 () , u0 CeC/T
2

v erie
H 1 ()

T sup
t]0,T [

u (, t)

L2 ( )

T ]0, 1[ .

Remarques .- Th eor` eme 3.1 entra ne la propri et e de contr ole exacte vers z ero de l equation de la 2 chaleur comme limite quand tend vers z ero, de celui des ondes dissipatives t + t d ependant du param` etre . Il compl` ete aussi le travail ant erieur de A. Lopez, X. Zhang et E. Zuazua [ LZZ] qui utilisent la technique des in egalit es globales de Carleman. Notre approche a et e reprise et am elior ee en profondeur par L. Miller [ Mi2] qui la nomm ee transmutation control method et appliqu ee pour les equations de Schr odinger et de la chaleur sous CCG. En particulier, L. Miller d emontre que sous CCG, lin egalit e du Th eor` eme 3.2 devient u0
L2 ()

CeC/T

L2 ( ]0,T [)

T ]0, 1[ .

De plus, L. Miller donne une expression de la constante dans lexponentielle vis-` a-vis de la g eom etrie.

11

3.2

Lobservation vis-` a-vis de la g eom etrie

Dans ce paragraphe, nous allons introduire une nouvelle in egalit e de d ependance. Jusquici, il nest apparu, pour le probl` eme des ondes amorties avec L () et 0, 2 dans ]0, +[ , t w w + t w = 0 w=0 sur ]0, +[ , (3.1) 1 (w, t w) (, 0) = (w0 , w1 ) H0 () L2 () , que la stabilisation forte (i.e., d ecroissance exponentielle et uniforme de l energie) ou une d ecroissance logarithmique de l energie pour des donn ees initiales r eguli` eres. Dun autre c ot e, la stabilisation forte est equivalente ` a lin egalit e dobservabilit e suivante : C > 0, u solution de (2.2), (u0 , u1 ) H 1 ()L2 () C t u L2 (]0,T [) ,
0

qui sobtient sous CCG avec (, , T ) et 1/ L ( ). Et une d ecroissance logarithmique de 1 1 l energie pour des donn ees initiales (w0 , w1 ) H 2 () H0 () H0 () peut d ecouler de lin egalit e de d ependance suivante : C > 0, u solution de (2.2) avec une donn ee initiale non nulle (u0 , u1 ) 1 1 (), () H0 H 2 () H0 (u0 , u1 ) e
C
(u0 ,u1 ) 1 ()H 1 () H 2 H0 0 (u0 ,u1 ) 1 ()L2 () H0

!1/

1 ()L2 () H0

t u

L2 (]0,T [)

Nous proposons lin egalit e de d ependance suivante motiv ee par la d ecroissance polynomiale de l energie pour des donn ees r eguli` eres du syst` eme des ondes amorties (voir aussi [P13]). Th eor` eme 3.3 .Les deux assertions suivantes sont equivalentes.

(i) Il existe C > 0 et > 0 tels que pour toute solution u de (2.2) avec la donn ee initiale non nulle 1 1 (u0 , u1 ) H 2 () H0 () H0 (), on ait
0
C@
(u0 ,u1 ) 2 2 1 ()H 1 () H H0 0 (u0 ,u1 ) 2 1 H0 ()L2 ()

11/ A

(u0 , u1 )

2 1 ()L2 () H0

C
0

(x) |t u (x, t)| dxdt .

1 1 (ii) Il existe C > 0 et > 0 tels que la solution w de (3.1) avec (w0 , w1 ) H 2 () H0 () H0 () v erie C 2 E (w, t) (w0 , w1 ) H 2 H 1 ()H 1 () t > 0 . 0 0 t

Preuve .- La nouveaut e dans la d emonstration du Th eor` eme 3.3 r eside dans la preuve de (i) (ii) que nous allons d etailler. Tout dabord, nous pouvons voir, par des techniques classiques de minimisation et de perturbation, que (i) implique en prenant = /3, lexistence dune constante c > 1 1 1 telle que la solution w de (3.1) avec la donn ee initiale non nulle (w0 , w1 ) H 2 () H0 () H0 () v erie  1/
c

E (w, 0) c
0

E (w,0)+E (t w,0) E (w,0)

(x) |t w (x, t)| dxdt .

Ensuite, nous obtenons les in egalit es suivantes par translation en la variable temps et gr ace ` a la formule t 2 E (w, t1 ) E (w, t0 ) + t01 (x) |t w (x, t)| dxdt = 0.
E (w,s) (E (w,0)+E (t w,0))

s+c s

(E (w,0)+E (t w,0)) E (w,s)

1/ 

(x)|t w(x,t)|2 dxdt s E (w,0)+E (t w,0) 

E (w,s) c E (w,0)+ E (t w,0)

E w,s+c

E (w,0)+E (t w,0) E (w,s)

1/

E (w,0)+E (t w,0)

12

Notons G (s) = avons

E (w,s) E (w,0)+E (t w,0) ,

ainsi en utilisant lin egalit e pr ec edente et la d ecroissance de G, nous

1/

G s+c ce qui donne

1 G (s)

G (s) c G (s) G s + c

1 G (s)

1/

G s+c Soit c1 =
1+c 1/ c 1 G (s)

1 G (s)

1/

c G (s) . 1+c
1 G ( s) 1/

1 > 0 et notons d (s) =

1/

c 1 c1 s

. Deux cas se pr esentent: soit c1 s c

soit c1 s > c Si c1 s c

.
c 1 c1 s

1 G ( s)

1/

, alors G (s)

et

G ((1 + c1 ) s) d (s) . Si c1 s > c

1 G ( s) 1/

, alors s + c

1 G ( s)

1/

< (1 + c1 ) s i.e., G ((1 + c1 ) s) G s + c c G (s) . 1+c

1 G ( s)

1/

et

G ((1 + c1 ) s)

Par cons equent, nous obtenons que s > 0, n N, n 1,

c G ((1 + c1 ) s) max d (s) , 1+ cd s (1+c1 ) s (1+c1 )n

, , ,
c 1+c n+1

c 1+c

s (1+c1 )n

Maintenant, nous remarquons quavec le choix de c1 , nous avons c d 1+c Nous en d eduisons que G ((1 + c1 ) s) max d (s) , max d (s) , et concluons que E (w, s) = G (s) d E (w, 0) + E (t w, 0) Ceci termine la preuve. s 1 + c1 = c (1 + c1 ) c1
c 1+c c 1+c n+1 n+1

s (1 + c1 )

= d (s)

s > 0 .

s (1+c1 )n

n 1

n 1 .

1 s

s > 0 .

Maintenant, nous proposons la g eom etrie associ ee ` a cette nouvelle in egalit e de d ependance d ecrite au th eor` eme pr ec edent. Bien entendu, la CCG ne doit pas etre satisfaite. Description de la g eom etrie .- Soient m1 , m2 , R > 0. Nous consid erons un ouvert connexe 3 de R born e par , , o` u 1 2 a fronti` ere 1 , 1 = [m1 , m1 ] [m2 , m2 ] {R} , ` 2 = [m1 , m1 ] [m2 , m2 ] {R} , ` a fronti` ere 2 , est une surface ` a fronti` ere = 1 2 . 13

La fronti` ere de est = 1 2 . On supposera que soit est convexe, soit C 2 avec 2 R \(]m1 , m1 [ ]m2 , m2 [) R. Nous choisissons = o` u est un voisinage de dans R3 tel que ]M1 , M1 [ ]M2 , M2 [ [R, R] = o` u M1 ]0, m1 [ et M2 ]0, m2 [. V erions que la CCG avec (, , T ) nest pas satisfaite. Le fait que ne soit que C 2 ou Lipschitzien, nest pas un souci, car la zone de contr ole est un voisinage du bord et nengendre que des points hyperboliques. La propagation de la r egularit e microlocale le long des bicaract eristiques g en eralis ees (ici bicaract eristiques bris ees) reste valable. Int eressons-nous aux bicaract eristiques bris ees. 2 On rappelle que les bicaracteristiques associ ees ` a t sans bord sont des courbes dans les variables espace-temps et leurs variables de Fourier (i.e., lespace des phases) d ecrites par x () = xo + 2 () t () = to 2 ()
2

et

() = o () = o

avec | ()| 2 () = 0 pour [0, +[, quand (xo , to , o , o ) R4 R4 \{0} . Un rayon associ e` a 2 t sans bord est la projection dune bicaracteristique sur la variable espace-temps x () xo 2o = 0 t () + 2o = 0 2 2 |o | o =0, ici, to = 0 et o = 0. Ici, un rayon g en eralis e est un rayon o` u lon tient compte de la g eom etrie en suivant les r` egles de loptique g eom etrique. Le point essentiel dans la construction de notre g eom etrie est quil existe un rayon g en eralis e qui ne rencontre pas ]0, T [ pour tout T > 0. En eet, soit o ]M1 , M1 [ ]M2 , M2 [ ]R, R[, alors toute donn ee initiale (xo , to , o , o ) o R R4 \{0} telle que o = (0, 0, 1) g en` ere un rayon captif (i.e., un rayon g en eralis e qui ne sortira pas de [M1 , M1 ] [M2 , M2 ] [R, R] ]0, T [ pour tout T > 0). Par cons equent, nous ne pouvons pas obtenir la stabilisation forte pour le syst` eme des ondes amorties avec nimporte quel L (), 0 et 1/ L ( ). Cependant, nous pouvons esp erer une d ecroissance de l energie pour des donn ees initiales r eguli` eres meilleure que celle logarithmique, car notre rayon captif se comporte de mani` ere susamment simple en se r e echissant entre 1 ]0, +[ et 2 ]0, +[ avec la m eme direction o = (0, 0, 1). Enn, nous avons publi e le r esultat suivant [P11]. Th eor` eme 3.4 .Sous la g eom etrie d ecrite ci-dessus et si 1/ L ( ), alors il existe C > 0 1 1 et > 0 tels que pour tout t > 0 et toute donn ee initiale (w0 , w1 ) H 2 () H0 () H0 (), la solution w de ( 3.1) v erie E (w, t) C (w0 , w1 ) t
2 1 ()H 1 () H 2 H0 0

Remarques .- La d ecroissance polynomiale pour l equation des ondes amorties sobtient dans les deux choix de 0 suivants : > 0 p.p. sur X o` u X est un voisinage de dans R3 ; C et > 0 sur . En eet, avec de tels choix, on a lexistence de comme dans la g eom etrie d ecrite ci-dessus. En dimension deux despace, la d ecroissance polynomiale pour les ondes amorties avait et e obtenue par Z. Liu et B. Rao [ LiR] dans un domaine carr e. Ce r esultat a et e g en eralis e r ecemment par N. Burq et M. Hitrik [ BH] pour des domaines partiellement rectangulaires ` a partir destimations de r esolvante.

14

Dans le cadre de la stabilisation fronti` ere, une description analogue peut etre etablie [P13]. Nous nous int eressons ` a lin egalit e de d ependance suivante: C > 0, u solution de (2.2) avec une donn ee 1 1 initiale non nulle (u0 , u1 ) H 2 () H0 () H0 (),
0
C@
(u0 ,u1 ) 2 2 1 ()H 1 () H H0 0 (u0 ,u1 ) 2 1 H0 ()L2 ()

11/ A

(u0 , u1 )

2 1 ()L2 () H0

C
0

| u (x, t)| dxdt .

Commentaire .- Un probl` eme ouvert qui devient ` a mon avis plus accessible est celui propos e par J.L. Lions [ Lio2] qui consiste ` a comprendre comment le contr ole et la stabilisation des ondes r eagissent e par 1, , pour une perturbation du domaine , par exemple avec un ouvert connexe de R3 born 2 = [m1 , m1 ] [m2 , m2 ] {R} , 2 , o` u est une surface ` a fronti` ere = 1, 2 , et 1, = {(x , x , R ( x + m ) (x2 + m2 )) ; ( x1 , x2 ) [ m1 , m1 ] [m2 , m2 ]} est le plan g en er e 1 2 1 1 m1 1 0 par le point m2 et les deux vecteurs 0 , 1 et limit e` a tout (x1 , x2 ) [m1 , m1 ] R [m2 , m2 ].

La fonction fr equence et ses applications

Nous avons discut e des in egalit es de Carleman, mais il existe une autre approche introduite par N. Garofalo et F.H. Lin [ GaL], utilisant la propri et e de monotonie de la fonction fr equence des solutions harmoniques. Cette propri et e permet de quantier des r esultats de continuation unique pour des op erateurs elliptiques du second ordre. La propri et e de monotonie de la fonction fr equence ou de la doubling property est encore tr` es peu utilis ee dans le cadre de la th eorie du contr ole des EDP. Cest pourquoi, ici, nous allons d etailler les d emonstrations pour la commodit e du lecteur. Lapproche semble naturelle, car on analyse la partie basse fr equence des solutions. Par ailleurs, cette m ethode exige peu de r egularit e sur le domaine et de ce point de vue permet dam eliorer les r esultats d ecrits dans [ Ro2], [ LeR] et [ LZ] ou [ JL].

4.1

Lapproche originale de N. Garofalo et F.H. Lin

Par simplicit e, nous ne reproduisons la preuve de N. Garofalo et F.H. Lin que dans le cadre du laplacien. Soit Byo ,R = y RN +1 , |y yo | < R , avec yo RN +1 et R > 0. La sph` ere unit e est d enie par S N = B0,1 . Th eor` eme 4.1 .Soit D RN +1 , N 1, un ouvert born e connexe tel que B0,1 D. Si 2 v = v (y ) H (D) est une solution de y v = 0 dans D, alors pour tout 0 < M 1/2, on a |v (y )| dy 2
B0,2M 2 N +1

exp (ln 4)

B0,1

|v (y )| dy |v (y )| d
2 B0,M

|v (y )| dy .

B0,1

15

Preuve .- Nous allons utiliser les trois formules suivantes. Soit R > 0,
R

f (y ) dy =
B0,R 0 SN

f (rs) rN drd (s) ,

(4.1)

d dR

f (y ) dy =
B0,R SN

f (Rs) RN d (s) =
B0,R

f (y ) d (y ) ,

(4.2) (4.3)

B0,R

f (y ) dy = yi

SN

f (Rs) si RN d (s) .

Lidentit e (4.1) est la formule de changement de variable en coordonn ee sph erique. (4.2) provient de (4.1) quand f est une fonction continue. Lidentit e (4.3), valable quand f est integrable, traduit la formule de Green. En eet,
f B0,R yi

(y ) dy

= =

B0,R SN

f (y ) i (y ) d (y ) f (Rs) si RN d (s) car sur B0,R , (y ) =

y R

Maintenant, on va introduire les quantit es suivantes. Soit r > 0, H (r) = D (r) = et N (r) =
B0,r B0,r

|v (y )| d (y ) ,
2

|v (y )| dy , rD (r) . H (r)

(4.4)

(4.5)

Le but est de montrer que N est une fonction croissante pour 0 < r 1. Pour cela, nous devons calculer la d eriv ee de H et celle de D. Le calcul de la d eriv ee de H (r) =
SN

|v (rs)| rN d (s) donne

2

H (r) = N rN 1 S N |v (rs)| d (s) + S N 2v (rs) (v )|rs srN d (s) 2 N =N1 r H (r ) + S N v |rs sr d (s) r 1 = N r H (r) + 0 S N div v 2 rN drd (s) 2 dy , =N1 r H (r ) + B0,r v mais v 2 = 2v v + 2 |v | . Puisque y v = 0, on obtient ainsi H (r) 1 =N +2 H (r) r Ensuite, on remarque que |v (y )| dy =
B0,r B0,r 2 B0,r 2

|v (y )| dy H (r)

(4.6)

v (y ) v (y )

y d (y ) , |y |

(4.7)

en eet,
B0,r

yi vyi vdy

= =

2 yi [vyi v ] dy B0,r vy vdy i yi [vyi v ] |y| d (y ) car y v = 0 et sur B0,R , (y ) = B0,r B0,r

y |y |

Par cons equent, (4.6) devient ` a partir de (4.7) H (r) 1 =N +2 H (r) r

B0,r

v (y ) v (y ) H (r)

y |y | d (y )

(4.8)

16

Dun autre c ot e, la d eriv ee de D (r) = D (r) = = = =

2 2

r 0

SN

(v )|s
2

N dd (s) vaut

SN 1 r 1 r 1 r

(v )|rs

rN d (s)
2

SN r 0

(v )|rs
SN

rs srN d (s)
2

div

(v )|rs
2

rs rN drd (s)

B0,r 2

div |v | y dy , y , avec divy = N + 1. Il reste ` a calculer

B0,r

mais div |v | y = |v | divy + |v | ydy , quand v = v (y ) H (D). On a

2

|v |

yi yj v yi dy 2 = 2 B0,r yj vy vy dy i i yj = 2 B0,r yj yj vyi vyi dy 2

B0,r y yj v |yj|
i yi v |y y|

B0,r

2 y vyi vyi dy 2 j 2

B0,r

yj vyi vyj yi dy

d (y ) 2 B0,r |yi v | dy = 2r B0,r y y car y v = 0 et sur B0,R , (y ) = |y | = R . Par cons equent, D (r) =
N 1 r D (r )

+2

B0,r

v (y )

y |y |

d (y ), cest ` a dire
y |y | 2

1 D (r) = (N 1) + 2 D (r) r Finalement, le calcul de la d eriv ee de N (r) = N (r) = N (r)

B0,r

v (y )

d (y )

D (r) donne ,

(4.9)

r D (r ) H(r )

1 D (r) H (r) + r D (r) H (r)

(4.10)

et on conclut ` a partir de (4.4), (4.8), (4.9) et (4.10) que 2 2 v |y dy |v | dy y| B0,r B0,r N (r) = N (r) 2 D (r) H (r)

v v B0,r

y |y | dy

Gr ace ` a lin egalit e de Cauchy-Schwarz, on d eduit que N (r) 0 i.e., N est croissante sur ]0, 1]. Donc, D (r ) 1 pour r 1, N (r) N (1) cest ` a dire H a partir de (4.6) et (4.5), on a (r ) r N (1). Ainsi, ` H (r) 1 1 N 2N (1) . H (r) r r Par cons equent, r 1, d dr ln H (r) rN 2N (1) d dr ln 1 r . (4.11)

En int egrant (4.11) entre R > 0 et 2R 1, on trouve ln ou encore 0 < R 1/2, |v (2Rs)| (2R) d (s) 2N eN (1) ln 4
SN SN 2 N

H (2R) 1 H (R) 2N

2N (1) (ln 2) ,

|v (Rs)| RN d (s) .

17

On conclut que, pour tout M 1/2,

B0,2M

|v (y )| dy

= =

2M 2 |v (rs)| rN drd (s) 0 SN M 2 N 2 0 S N |v (2Rs)| (2R) dRd (s) M 2 2N +1 eN (1) ln 4 0 S N |v (Rs)| RN dRd (s) 2 N +1 N (1) ln 4 2 e |v (y )| dy . B0,M

Commentaire .- Les calculs ci-dessus se g en eralisent aux cas des op erateurs elliptiques du second ordre (voir [ GaL], [ Ku2]).

4.2

Lapproche am elior ee de I. Kukavica

Il se r ev` ele naturel de consid erer les propri et es de croissance de la fonction fr equence d enie par
B0,r

|v (y )|
B0,r

r2 |y |
2

dy

|v (y )| dy

au lieu de

B0,r

|v (y )| dy
2

B0,r

|v (y )| d (y )

Suivant les id ees de I. Kukavica ([ Ku], [ KN], voir aussi [ AE]), on obtient les trois lemmes suivants.

4.2.1

Formule de monotonie

Nous pr esentons les lemmes suivants. Lemme A .Soit D RN +1 , N 1, un ouvert born e connexe tel que Byo ,Ro D avec yo D et Ro > 0. Si v = v (y ) H 2 (D) est une solution de y v = 0 dans D, alors (r ) = et
Byo ,r

|v (y )|

r2 |y yo | |v (y )| dy
2 2

dy

est croissante sur 0 < r < Ro ,

Byo ,r

d ln dr

|v (y )| dy =
Byo ,r

1 (N + 1 + (r)) . r

Lemme B .Soit D RN +1 , N 1, un ouvert born e connexe tel que Byo ,Ro D avec yo D et Ro > 0. Soient r1 , r2 , r3 trois r eels tels que 0 < r1 < r2 < r3 < Ro . Si v = v (y ) H 2 (D) est une solution de y v = 0 dans D, alors
1

|v (y )| dy
Byo ,r2 1 1 r ln r2
1

|v (y )| dy
Byo ,r1 Byo ,r3

|v (y )| dy

o` u =

1 r ln r2
1

1 r ln r3
2

]0, 1[.

Les deux r esultats ci-dessus restent valables quand on est proche dune partie du bord sous la condition homog` ene de Dirichlet sur . 18

Lemme C .Soit D RN +1 , N 1, un ouvert born e connexe ` a fronti` ere D. Soit une partie ouverte non vide Lipschitzienne de D. Soient ro , r1 , r2 , r3 , Ro cinq r eels tels que 0 < r1 < ro < r2 < r3 < Ro . Supposons que yo D v erie les trois conditions suivantes: i). Byo ,r D est etoil e par rapport ` a yo r ]0, Ro [ , ii). Byo ,r D r ]0, ro [ , iii). Byo ,r D r [ro , Ro [ . Si v = v (y ) H 2 (D) est une solution de y v = 0 dans D et v = 0 sur , alors
1

|v (y )| dy
Byo ,r2 D 1 Byo ,r1

|v (y )| dy
Byo ,r3 D

|v (y )| dy

o` u =

1 r ln r2
1

1 r ln r2
1

1 r ln r3
2

]0, 1[.

4.2.2

Preuve du Lemme B

Soit H (r) =
Byo ,r

|v (y )| dy .

Par application du Lemme A, nous savons que d 1 lnH (r) = (N + 1 + (r)) . dr r Ensuite, ` a partir de la croissance de , on en d eduit les deux in egalit es suivantes ln
H (r2 ) H (r1 ) r) = r12 N +1+( dr r r2 , (N + 1 + (r2 )) ln r 1 r) = r23 N +1+( dr r r3 . (N + 1 + (r2 )) ln r 2 H (r3 ) H (r2 ) 3 ln r r2 r r

ln Par cons equent, ln

H (r3 ) H (r2 )

H (r2 ) H (r1 ) 2 ln r r1

(N + 1) + (r2 )

ln

et ainsi cela aboutit ` a lin egalit e d esir ee H (r2 ) (H (r1 )) (H (r3 ))

1 1

o` u=

1 r ln r2
1

1 r ln r2

1 r ln r3
2

19

4.2.3

Preuve du Lemme A

Nous introduisons les deux fonctions H et D pour 0 < r < Ro : H (r) = D (r) =
Byo ,r Byo ,r

|v (y )| dy , |v (y )|
2

r2 |y yo |

dy .

Tout dabord, la d eriv ee de H (r) = 0 S N |v (s + yo )| N dd (s) vaut H (r) = Ensuite, rappelons la formule de Green |v | Gd (y )
Byo ,r Byo ,r 2 2

Byo ,r

|v (y )| d (y ).

|v |

Gd (y ) =
Byo ,r

|v | Gdy
Byo ,r

|v |

Gdy .

Nous lappliquons avec G (y ) = r2 |y yo | o` u G|Byo ,r = 0, G|Byo ,r = 2r, et G = 2 (N + 1). Cela donne H (r) = = =
1 r Byo ,r

(N + 1) |v | dy +
1 r 1 r Byo ,r Byo ,r

1 2r

Byo ,r

|v |
2

r2 |y yo |
2

dy

N +1 r H N +1 r H

(r) + (r) +

div (v v ) r2 |y yo | |v | + v v
2

dy
2

r |y yo |

dy .

Par cons equent, quand y v = 0, H (r) = cest ` a dire

H (r ) H (r )

N +1 1 H (r) + D (r) , r r

(A.1)

N +1 r

1 D (r ) r H (r ) ,

la seconde egalit e du Lemme A.

r 0

Maintenant, nous allons calculer la d eriv ee de D (r) = D (r) =

d dr

SN

(v )|s+yo
SN

r2 2 N dd (s):
2

r2
r 0

r 0 SN

SN

(v )|s+yo
2

N dd (s)

r2 (v )|rs+yo

rN d (s) (A.2)

= 2r = 2r

(v )|s+yo
2

N dd (s)

Byo ,r

|v | dy .

Ici, nous devons remarquer que 2r

Byo ,r

|v | dy

2 N +1 4 r D (r ) + r Byo ,r |(y yo ) v | dy 2 2 1 r Byo ,r v (y yo ) v r |y yo |

dy ,

(A.3)

en eet, (N + 1) =
Byo ,r Byo ,r

|v |
2 2

2 2

r2 |y yo |
2

dy
Byo ,r

div |v |

r |y yo |
2

(y yo ) dy
2 2 2

|v |
2

r2 |y yo |

(y yo ) dy

= = =

Byo ,r Byo ,r Byo ,r

yi |v |

r2 |y yo |

(yi yoi ) dy (yi yoi ) dy

car sur Byo ,r , r = |y yo |

Byo ,r

2vyi v r |y yo |

|v | (2 (yi yoi )) (yi yoi ) dy |v | |y yo | dy ,

2 2

2vyi v r2 |y yo |

(yi yoi ) dy + 2

Byo ,r

20

et

= + +

Byo ,r Byo ,r Byo ,r Byo ,r

2 yj vy v r2 |y yo | i yj

(yi yoi ) dy
2

yj (yi yoi ) yj vyi v r2 |y yo | yj (yi yoi ) yj vyi v r2 |y yo | (yi

2 yoi ) y vyi v j 2

dy dy

r |y yo |

dy
2

+ By ,r (yi yoi ) yj vyi vyj r2 |y yo | o = 0 car sur Byo ,r , r = |y yo | + + 2 Donc (N + 1)

Byo ,r Byo ,r Byo ,r

dy

|v |

r2 |y yo |
2

dy
2

(y yo ) v v r2 |y yo | |(y yo ) v | dy .

dy

Byo ,r

|v |

r2 |y yo |

dy

= 2r 2 +2

Byo ,r Byo ,r

|v | dy 4

Byo ,r

|(y yo ) v | dy
2

(y yo ) v v r2 |y yo |

dy ,

et cest exactement lin egalit e d esir ee (A.3). Par cons equent, ` a partir de (A.2) et (A.3), nous obtenons, quand y v = 0, la formule suivante D (r) = 4 N +1 D (r) + r r
D (r ) H (r )

|(y yo ) v | dy .
Byo ,r

(A.4)

Le calcul de la d eriv ee de (r) =

donne

(r) =

1 [D (r) H (r) D (r) H (r)] , H 2 (r)

ce qui implique en utilisant (A.1) et (A.4) que H 2 (r) (r) = =

1 r N +1 r D (r )

4 r

Byo ,r

|(y yo ) v | dy H (r)
2

N +1 r H

(r) + 1 r D (r ) D (r )

Byo ,r

|(y yo ) v | dyH (r) D2 (r) 0 ,

en eet, gr ace ` a une int egration par parties et en utilisant lin egalit e de Cauchy-Schwarz, nous avons D2 (r) =4 4 4
Byo ,r Byo ,r Byo ,r

v v (y yo ) dy |(y yo ) v | dy
2 2

Byo ,r

|v | dy

|(y yo ) v | dy H (r) .

Ainsi, nous avons d emontr e la croissance de et cela conclut la preuve du Lemme A.

4.2.4

Preuve du Lemme C

Sous lhypoth` ese Byo ,r D pour tout r [ro , Ro ), nous prolongeons v par z ero dans Byo ,Ro \D et notons par v son extension. Puisque v = 0 sur , nous avons dans Byo ,Ro , v = v 1D v=0 sur Byo ,Ro D , v = v 1D dans Byo ,Ro . 21

Maintenant, nous notons r = Byo ,r D, quand 0 < r < Ro . En particulier, on a r = Byo ,r , quand 0 < r < ro . Nous introduisons les trois fonctions suivantes : H (r) = D (r) = et (r ) =
r r

|v (y )| dy , |v (y )|
2

r2 |y yo |

dy ,

D (r) 0. H (r)

Notre but est de montrer que est une fonction croissante. En eet, nous allons d emontrer que l egalit e suivante est v eri ee d 1 d lnH (r) = (N + 1) lnr + (r) . dr dr r (C.1)

Ainsi, avec la croissance de , nous en d eduirions (de mani` ere analogue ` a la preuve du Lemme A) que ln
H (r2 ) H (r1 ) 2 ln r r1

(N + 1) + (r2 )

ln

H (r3 ) H (r2 ) 3 ln r r2

et cela aboutira ` a lin egalit e d esir ee

1

|v (y )| dy
r2 1 Byo ,r1

|v (y )| dy
r3

|v (y )| dy

o` u=

1 r ln r2
1

1 r ln r2

1 r ln r3
2

. |v (y )| dy =
2 r 0

Tout dabord, calculons la d eriv ee de H (r) = H (r) = = = = =

SN 1 r S N |v (rs 1 r Byo ,r div

Byo ,r 2

SN

|v (s + yo )| N dd (s).

|v (rs + yo )| rN d (s) 2 + yo )| rs srN d (s) |v (y )| (y yo ) dy dy

2

(C.2)

2 2 1 r Byo ,r (N + 1) |v (y )| + |v (y )| (y yo ) N +1 2 r H (r ) + r r v (y ) v (y ) (y yo ) dy .

Ensuite, quand y v = 0 dans D et v| = 0, nous remarquons que D (r) = 2

r

v (y ) v (y ) (y yo ) dy ,

(C.3)

en eet,
r

|v |

r2 |y yo |
2

dy
2

div v v r2 |y yo |
2

dy

vdiv v r2 |y yo |
2 2

dy

= r v v r |y yo | dy r v v r |y yo | car sur Byo ,r , r = |y yo | et v| = 0 = 2 r v v (y yo ) dy car y v = 0 dans D . Par cons equent, ` a partir de (C.2) et (C.3), nous obtenons H (r) = N +1 1 H (r) + D (r) , r r 22

dy

(C.4)

et cest aussi (C.1). Dun autre c ot e, la d eriv ee de D (r) =

r 0 SN r 0 r

(v )|s+yo
SN

r2 2 N dd (s) vaut
2

D (r) = 2r = 2r

(v )|s+yo
2

N dd (s)

|v (y )| dy .

(C.5)

Ici, quand y v = 0 dans D et v| = 0, nous devons remarquer que 2r

r

|v (y )| dy

2 N +1 4 r D (r ) + r Byo ,r |(y yo ) v (y )| dy 2 2 +1 r2 |y yo | (y yo ) r Byo ,r | v |

d (y ) ,

(C.6)

en eet, (N + 1) = = =
r r

|v |
2 2 2

r2 |y yo |
2 2 2

dy
r

div |v | |v |

r2 |y yo | r |y yo |
2 2

(y yo ) dy

|v |
r

r2 |y yo |
2 2

(y yo ) dy
2

Byo ,r Byo ,r

(y yo ) d (y ) (y yo ) d (y )
2

yi |v |
2

r |y yo |
2

(yi yoi ) dy

|v |

r2 |y yo |

2vyi v r |y yo | et = + + + =
r r r r r

(yi yoi ) dy + 2

|v | |y yo | dy ,
2

2 yj vy v r2 |y yo | i yj

(yi yoi ) dy
2

yj (yi yoi ) yj vyi v r2 |y yo | yj (yi yoi ) yj vyi v r2 |y yo |

2 (yi yoi ) y vyi v r2 |y yo | j 2 2 2

dy dy

dy
2

(yi yoi ) yj vyi vyj r |y yo |

2 2 2

dy
2

Byo ,r

j (yi yoi ) yj vyi v r2 |y yo |

d (y )

+ r |v | r |y yo | dy +0 car y v = 0 dans D 2 r 2 |(y yo ) v | dy . Donc, quand y v = 0 dans D, nous avons (N + 1)

r

|v |

r2 |y yo |

dy

Byo ,r

|v |

r2 |y yo |

(y yo ) d (y ) r2 |y yo | v | dy .
2 2

vj ((yi yoi ) yi v ) Byo ,r yj 2 2 +2r r |u| dy 4 r |(y yo )

d (y )

En utilisant le fait que v| = 0, on a v = (v ) sur et nous obtenons (N + 1)

r

|v |

r2 |y yo |

dy

2 | v | Byo ,r 2 +2r2 r |v | dy

r2 |y yo | 4
r

(y yo ) d (y )
2

|(y yo ) v | dy ,

cest ` a dire (C.6). Par cons equent, ` a partir de (C.5) et (C.6), quand y v = 0 dans D et v| = 0, nous avons D (r) = N +1 4 D (r)+ r r |(y yo ) v (y )| dy +
r 2

1 r

| v |
Byo ,r

r2 |y yo |

(y yo )d (y ) . (C.7)

23

Le calcul de la d eriv ee de (r) =

D (r ) H (r )

donne 1 [D (r) H (r) D (r) H (r)] , (r)

(r) =

H2

ce qui implique ` a partir de (C.4) et (C.7), que H 2 (r) (r) =

1 r

|(y yo ) v (y )| dy H (r) D2 (r) | v |

2

+1 r

Byo ,r

r2 |y yo |

(y yo ) d (y ) H (r) .

Gr ace ` a (C.3) et lin egalit e de Cauchy-Schwarz, nous avons 04

r

|(y yo ) v (y )| dy H (r) D2 (r) .

Lin egalit e 0 (y yo ) sur est v eri ee quand Byo ,r D est etoil e par rapport ` a yo pour tout r ]0, Ro [. Ainsi, nous obtenons la croissance de ce qui compl` ete la preuve du Lemme C.

4.3

Propri et e quantitative de continuation unique pour le laplacien

Soit D RN +1 , N 1, un ouvert born e connexe ` a fronti` ere D. Soit une partie ouverte non vide Lipschitzienne de D. Nous consid erons l equation elliptique du second ordre dans D, avec une condition de Dirichlet homog` ene sur : dans D , y v = 0 v=0 sur , (4.12) v = v (y ) H 2 (D) . Le but de cette section est de d ecrire des in egalit es dinterpolation associ ees aux solutions v de (4.12). Th eor` eme 4.2 .Soit un ouvert non vide inclus dans D. Alors, pour tout D1 D tel que D1 D et D1 \( D1 ) D, il existe C > 0 et ]0, 1[ tels que pour tout v solution de (4.12), on ait |v (y )| dy C
D1 2

|v (y )| dy
D

|v (y )| dy

De mani` ere equivalente, Th eor` eme 4.3 .Soit un ouvert non vide inclus dans D. Alors, pour tout D1 D tel que D1 D et D1 \( D1 ) D, il existe C > 0 et ]0, 1[ tels que pour tout v solution de (4.12), on ait |v (y )| dy C
D1 2

|v (y )| dy +
D

|v (y )| dy

> 0 .

Preuve du Th eor` eme 4.2 .- Nous d ecomposons la d emonstration en deux etapes. Etape 1 .- Nous appliquons le Lemme B, en utilisant un argument standard (voir e.g., [ Ro]) qui consiste ` a construire une suite de boules reli ees les unes aux autres le long dun chemin. Plus 24

pr ecis ement, on pr etend que pour tous K1 et K2 , deux compacts non vide inclus dans D o` u mes(K1 ) > 0, il existe ]0, 1[ tel que pour tout v = v (y ) H 2 (D), solution de y v = 0 dans D, nous avons |v (y )| dy
K2 K1 2

|v (y )| dy
D

|v (y )| dy

(4.13)

En eet, soit > 0 et qj RN pour j = 0, 1, , m, on peut construire une suite de boules Bqj , j =0,..,m , reliant K1 ` a K2 et v eriant les inclusions suivantes K1 Bq0 , K2 Bqm ,o avec o > 0 Bqj+1 , Bqj ,2 j = 0, .., m 1 Bqj ,3 D j = 0, .., m . Alors, gr ace au Lemme B, il existe , 1 , ]0, 1[, tels que
K2

|v (y )| dy

Bqm ,o Bqm ,

|v (y )| dy |v (y )| dy
2 2 Bqm ,3 D 1

|v (y )| dy
2

Bqm1 ,2 Bqm1

|v (y )| dy
2

|v (y )| dy
2

1 11 D 1

|v (y )| dy ,
2

|v (y )| dy D
2 1

|v (y )| dy

Bq0 ,

|v (y )| dy

|v (y )| dy

ce qui implique lin egalit e d esir ee (4.13). Etape 2 .- Nous appliquons le Lemme C, en choisissant yo dans un voisinage du bord tel que les conditions i, ii, iii, soient satisfaites. Ensuite, par une partition ad equate de D, on d eduit de (4.13) que pour tout D1 D tel que D1 D et D1 \( D1 ) D, il existe C > 0 et ]0, 1[ tels que pour tout v = v (y ) H 2 (D) v eriant y v = 0 dans D et v = 0 sur , on ait |v (y )| dy C
D1 2

|v (y )| dy
D

|v (y )| dy

Ceci termine la preuve. ` partir de techniques standards de minimisation, lin Remarque .- A egalit e ci-dessus implique |v (y )| dy C
D1 2 2
1

|v (y )| dy +
2 D

|v (y )| dy

> 0 .
2

En eet, on note A = D1 |v (y )| dy = 0, B = |v (y )| dy et F = C > 0 et ]0, 1[ tels que A CB F 1 . Donc, AC B

1 1 1

|v (y )| dy . On sait quil existe

F A

1 1 1 Maintenant, si F . Et, si F equent, on A , alors A C B A > , alors A F . Par cons obtient lin egalit e dinterpolation d esir ee. R eciproquement, supposons quil existe C > 0 et ]0, 1[ tels que 1 1 1 2 2 2 |v (y )| dy + |v (y )| dy > 0 , |v (y )| dy C D D1

25

alors, on choisit =

1A 2F

an dobtenir A 2CB F 1 .

Commentaire .- Les calculs de cette section se g en eralisent aux solutions du syst` eme elliptique suivant y u = f dans D , u=0 sur , 2 u = u ( y ) H ( D ) , 1 1 (y ) f H 2 H0 (D) , an den d eduire lin egalit e suivante |u (y )| dy C
D1 2

(y )

2 L2 (D )

|u (y )| dy
D

|u (y )| dy

4.4

Propri et e quantitative de continuation unique pour lop erateur ellip2 tique t +

Dans cette section, nous pr esentons le r esultat suivant (voir [ LeR]). Th eor` eme 4.4 .Soit un ouvert born e connexe et Lipschitzien dans RN , N 1. On choisit T > 0 et ]0, T /2[. Nous consid erons l equation elliptique du second ordre dans ]0, T [ avec une condition de Dirichlet sur (0, T ), 2 dans ]0, T [ , t u + u = 0 u=0 sur ]0, T [ , (4.14) u = u (x, t) H 2 ( ]0, T [) .
Alors, pour tout C0 ( (0, T )), = 0, il existe C > 0 et ]0, 1[ tels que pour tout u solution de ( 4.14), on ait T T 0 1 T 0

|u (x, t)| dxdt C

|u (x, t)| dxdt

|u (x, t)| dxdt

Preuve .- Nous appliquons le Th eor` eme 4.2 avec D = ]0, T [, = ]0, T [, ], T [ D1 , 2 + . y = (x, t), y = t

4.5

Propri et e quantitative de continuation unique pour la somme de vecteurs propres

Le but de cette section est dobtenir les deux r esultats suivants (voir [ LZ] ou [ JL]). Th eor` eme 4.5 .Soient un ouvert born e soit convexe, soit C 2 et connexe dans RN , N 1 et un ouvert non vide inclus dans . Alors, il existe C > 0 tel que pour toute suite {aj }j 1 de r eels et tout entier M > 1, on ait
2 C a2 j Ce 1j M M 1j M

aj ej (x) dx ,

26

1 o` u {j }j 1 et {ej }j 1 sont les valeurs propres et fonctions propres de dans H0 (), formant une 2 base orthonorm ee dans L ().

De fa con equivalente, Th eor` eme 4.6 .Soient un ouvert born e soit convexe, soit C 2 et connexe dans RN , N 1 et un ouvert non vide inclus dans . Alors, il existe C > 0 tel que pour toute suite {aj }j 1 de r eels et tout r eel R > 1 , on ait
2

a2 j
{j ;j R}

Ce

R {j ; R} j

aj ej (x) dx ,

1 (), formant une o` u {j }j 1 et {ej }j 1 sont les valeurs propres et fonctions propres de dans H0 2 base orthonorm ee dans L ().

Preuve du Th eor` eme 4.5 .- Nous d ecomposons la d emonstration en trois etapes. Etape 1 .- Pour tout aj R, on introduit la solution w (x, t) =
j M

aj ej (x) ch

j t (x)
j M

aj ej (x) ,

o` u C0 ( ), = 1 dans . On rappelle que cht = (et + et ) /2. Alors, w v erie 2 dans ]0, T [ , w + w = f t w=0 sur ]0, T [ , w = w = 0 sur {0} , t w = w (x, t) H 2 ( ]0, T [) ,

pour tout T > 0, o` u f =

j M

2 ero dans aj ej H0 (). On d enote par w le prolongement de w par z

]T, 0[. Alors, w v erie 2 t w + w = f 1(0,T ) w=0 w=0

dans ]0, T [ ]T, 0[ , dans ]T, 0[ , sur ]0, T [ .

` pr A esent, nous d enissons D, un ouvert connexe dans RN +1 , v eriant les six conditions suivantes: i). ], T [ D avec ]0, T /2[ ; ii). ], T [ D ; iii). D ]0, T [ ]T, 0[ ; iv). il existe un ouvert non vide o D ]To , 0[ avec To ]0, T [ ; v). D C 2 si est C 2 et connexe ; vi). D est convexe avec un choix ad equat de (, To ) si est convexe . En particulier, w H 2 (D).
1 Etape 2 .- Nous pr etendons quil existe g H 2 ( ]T, T [) H0 ( ]T, T [) H 2 (D) tel que 2 t g + g = f 1(0,T ) g=0

dans ]T, T [ , sur ( ]T, T [) = ]T, T [ {T } , g f . (4.15)

et
L2 (D ) L2 (]0,T [)

27

En eet, nous allons proc eder en six sous- etapes dans le cas o` u est C 2 et connexe (le cas o` u est convexe etant bien connu car alors ]T, T [ est convexe). On d enote h = f 1(0,T ) L2 ( ]T, T [). 1 Sous- etape 1: on rappelle que h L2 ( ]T, T [) implique lexistence de g H0 ( ]T, T [). Sous- etape 2: gr ace ` a la r egularit e int erieure des syst` emes elliptiques, pour tout D0 ]T, T [, g H 2 (D0 ). Sous- etape 3: gr ace ` a la r egularit e` a la fronti` ere des syst` emes elliptiques, mais loin des sommets {T, T }, g est aussi localement dans H 2 car est C 2 . Sous- etape 4: on etend la solution ` a t = T comme suit. Soient h (x, t) = h (x, t) pour (x, t) ]T, T [ et h (x, t) = h (x, 2T t) pour (x, t) ]T, 3T [. Ainsi h L2 ( ]T, 3T [). Soient g (x, t) = g (x, t) pour (x, t) [T, T [ et g (x, t) = g (x, 2T t) pour (x, t) [T, 3T ]. Alors, g v erie
2 t g + g = h g=0

dans ]T, 3T [ , sur ( ]T, 3T [) = ]T, 3T [ {T, 3T } .

En appliquant la r egularit e` a la fronti` ere comme au sous- etape 3, on obtient que g H 2 ( ]0, 2T [). 2 En particulier, g H ( ]0, T [). Sous- etape 5: on etend de mani` ere analogue ` a t = T pour conclure que g H 2 ( ]T, 0[). 1 2 Sous- etape 6: nalement, on multiplie t g + g = h par () g et on int` egre par parties sur ]T, T [, an davoir
T T

t g

2 H 1 ()

dt + g

2 L2 (]T,T [)

= f ce qui aboutit ` a lin egalit e d esir ee (4.15).

T 0 T 0

f (x) ()

g (x, t) dxdt

2 f (x) () () g (x, t) dxdt car f H0 () g par Cauchy-Schwarz . 2 2 L (]0,T [) L (]T,T [)

2 + , v = w g dans Etape 3 .- Finalement, nous appliquons le Th eor` eme 4.3 avec y = t D avec = ], T [ et ]/2 + T /4, 3T /4 /2[ D1 D tels que D1 D et D1 \( D1 ) D de sorte que

|w g | dy C
D1

|w g | dy +
o D

|w g | dy

> 0 ,

ce qui implique que |w| dy C

D1 2

|g | dy +
D D

|w| dy

]0, 1[ ,

` partir de (4.15), nous conluons quil existe C > 0 o` u nous avons utilis e le fait que w = 0 dans o . A et ]0, 1[ tels que
3T /4/2 /2+T /4

|w (x, t)| dxdt C

T 0

|f (x)| dxdt +
0

|w (x, t)| dxdt

> 0 .

Dun autre c ot e, nous avons les in egalit es suivantes

2 T 0

|f (x)| dxdt

=T T

(x)
j M

aj ej (x) dx
2

(x)
j M

aj ej (x) dx ,
2

T 0

|w (x, t)| dxdt

T 0

aj ej (x) ch
j M

j t (x)
j M

aj ej (x) dxdt
2

2T e

2 M T j M

a2 j

+ 2T

(x)
j M

aj ej (x) dx ,

28

2 3T /4/2 /2+T /4

aj ej (x) ch
j M

j t

dxdt

3T /4/2 /2+T /4

|w (x, t)| dxdt

2

+2T

(x)
j M

aj ej (x) dx .

Par cons equent, ` a partir des quatre derni` eres in egalit es, nous en d eduisons que pour tout > 0,
2

(T /2 )
j M

a2 j

3T /4/2 /2+T /4 1
1

aj ej (x) ch
j M

j t
2

dxdt

2C

+4 T e2 +2T Choisissons =
2 ) 1 (T / 8 T e 2 M T

(x)
j M

aj ej (x) dx
2

M T j M

a2 j +T
2

(x)
j M

aj ej (x) dx

(x)
j M

aj ej (x) dx .

, nous obtenons lexistence de C > 0 tel que

2 C a2 j Ce j M M j M

aj ej (x) dx .

4.6

Application ` a l equation de la chaleur

Dans cette section, nous proposons le r esultat suivant. Th eor` eme 4.7 .Soient un ouvert born e soit convexe, soit C 2 et connexe dans RN , N 1 et un ouvert non vide de . Alors pour tout T > 0, il existe C > 0 et ]0, 1[ tels que pour tout u solution de (2.3), et pour tout to ]0, T [, on ait |u (x, to )| dx C e to
2
C

|u (x, 0)| dx

|u (x, to )| dx

1 Remarque .- Maintenant, rappelons que pour toute solution u de (2.3) avec u (, 0) = uo H0 (), on ait (voir e.g., [P08])

|u (x, 0)| dx exp 2to

uo

2 1 () H0 2 uo L2 ()

|u (x, to )| dx .

Par cons equent, en combinant cette derni` ere in egalit e avec le Th eor` eme 4.7, il existe C > 0 tel que |u (x, 0)| dx C exp 2to
2

uo

2 1 () H0 2 uo L2 ()

e to

|u (x, 0)| dx

|u (x, to )| dx

29

ce qui aboutit ` a lin egalit e dinterpolation suivante

2 uo L2 ()

C e

C/ to

1 uo exp 2to uo

2 1 () H0 2 L2 ()

|u (x, to )| dx .

La quantication de la propri et e de continuation unique pour les equations paraboliques avec des coecients en espace-temps ` a partir de la nullit e sur {to } est plus d elicate (voir le travail de L. Escauriaza, F.J. Fernandez et S. Vessella [ EFV]). Preuve du Th eor` eme 4.7 .- Soient 1 ,2 , et e1 ,e2 , les valeurs propres et fonctions propres de 1 (), formant une base orthonorm ee dans L2 (). Pour tout uo = u (, 0) = j ej dans dans H0
j 1

u j = L2 () o`

uo ej dx, la solution u de (2.3), s ecrit u (x, t) =

j 1

j ej (x) ej t . Soit to ]0, T [.

Nous introduisons (voir [ Lin] ou [ CRV]) la solution w (x, t) =

j 1 o` u C0 ( ), = 1 dans . Alors, w v erie 2 w + w = f t w=0 w = t w = 0 w = w (x, t) H 2 ( ]0, T [) ,

j ej (x) ej to ch

j t (x)
j 1

j ej (x) ej to ,

dans ]0, T [ , sur ]0, T [ , sur {0} ,

2 o` u f = u (, to ) H0 (). Par cons equent, de fa con analogue ` a la preuve du Th eor` eme 4.5, il existe ]0, T /2[, C > 0 et ]0, 1[ tels que lon ait T

|w (x, t)| dxdt C

T 0

|f (x)| dxdt +
0

|w (x, t)| dxdt

> 0

Par ailleurs, nous avons les in egalit es suivantes.

T 0 T 0 2

|f (x)| dxdt T

| (x) u (x, to )| dx , | (x) u (x, to )| dx ,

2

|w (x, t)| dxdt 2T

j 1

2 2(j to j T ) + 2T j e 2 2(j to j T ) + j e

j 1

2 2(j to j T ) j e

= {j 1; e
2 2T to

T j t } o

{j 1;

T j > t } o

2 2(j to j T ) j e

j 1

2 j ,

T j 1

j ej (x) e

j to

ch

j t

dxdt 2

|w (x, t)| dxdt+2T

| (x) u (x, to )| dx ,

En cons equence, ` a partir des cinq derni` eres in egalit es, nous en d eduisons que pour tout > 0, 2 t 2 2j to 2 (T 2 ) j e (T 2 ) j e ( j o j )
j 1 j 1 2

j ej (x) e
j 1
1

j to

ch
2

j t

dxdt

2T C

T2

| (x) u (x, to )| dx
2 j + 2

+4T e2 to +2T

| (x) u (x, to )| dx

j 1

| (x) u (x, to )| dx . 30

Finalement, il existe C > 0 tel que pour tout to > 0,

|u (x, to )| dx =
j 1

2 2j to j e 1
1

|u (x, to )| dx + e to

|u (x, 0)| dx ]0, 1[ ,

ce qui implique lin egalit e dinterpolation du Th eor` eme 4.7, |u (x, to )| dx C e

2
C (1) to

|u (x, 0)| dx

|u (x, to )| dxdt

Commentaire .- Lin egalit e suivante peut etre obtenue gr ace au Th eor` eme 4.7 suite aux travaux de G. Lebeau et L. Robbiano [ LeR] sur le contr ole exact de la chaleur et de G. Wang [ W] sur le principe dun contr ole bang-bang. Th eor` eme 4.8 .Soient un ouvert born e soit convexe, soit C 2 et connexe dans RN , N 1 et un ouvert non vide de . Soient T > 0 et E [0, T ] tels que mes(E ) > 0. Alors, il existe C > 0 tel que pour tout u solution de (2.3), on ait |u (x, T )| dx C
E 2

|u (x, t)| dxdt .

4.7

Application ` a l equation des ondes

En reprenant lid ee de L. Robbiano qui consiste ` a utiliser une in egalit e dinterpolation de type H older 2 + et la transformation de FBI introduite par G. Lebeau et L. Robbiano, pour lop erateur elliptique t nous obtenons lestimation de d ependance de type logarithmique suivante. Th eor` eme 4.9 .Soient un ouvert born e soit convexe, soit C 2 et connexe dans RN , N 1 et un ouvert non vide de . Alors, pour tout ]0, 1[, Il existe C > 0 et T > 0 tels que pour toute 1 solution u de (2.2) avec la donn ee initiale non nulle (u0 , u1 ) H0 () L2 (), on ait (u0 , u1 ) e
C
(u0 ,u1 ) (u0 ,u1 ) 1 ()L2 () H0 L2 ()H 1 ()

!1/

1 ()L2 () H0

L2 ( ]0,T [)

Principales nouveaut es li ees ` a l equation de Schr odinger

Les ramications autour de l equation de Schr odinger sont nombreuses. En eet, ` a partir de l equation de Schr odinger lin eaire ou non lin eaire, nous avons
2 equation des plaques via la factorisation t + 2 = (it ) (it + ) ; l

l equation de la chaleur via la transformation de FBI (voir e.g., [P04]) ; les equations dEuler via la transformation de Hasimoto [ Ha] ; electromagn etisme via un scaling (voir e.g., [ Ic]) ; l la cin etique via la transformation de Husimi (voir e.g., [ LP]) .

31

5.1

De l equation des ondes ` a celle de Schr odinger

Nous avons appliqu e` a la th eorie du contr ole des EDP une transformation utilis ee par L. Boutet de Monvel [ BdM] dans le cadre de la propagation des singularit es (voir aussi le travail de L. Kapitanski et Y. Safarov [ KS] sur les propri et es r egularisantes des equations de Schr odinger) qui permet de passer de l equation des ondes ` a celle de Schr odinger. La d emarche entreprise est originale dans le cadre de la contr olabilit e et a fait lobjet dun papier publi e dans SICON [P04] (cit e par 11 , 12 , 13 , 14 , 15 , 16 , 17 entre autres). Ce travail a d ebut e pendant ma premi` ere ann ee en tant quATER ` a lUniversit e de Provence 18 (voir aussi [P05]). Nous appliquons les id ees d ecrites au paragraphe 3.1. Soit v une solution de l equation des ondes 0 control ee vers l etat d equilibre sur une partie du bord par o` u = (x, t) Cc ( ]0, Tc [ ; R), 2 1 1 cons par ee initiale (v0 , 0) o` u v0 H0 (). Nous commen H ]T, T [ ; L ( ) et avec donn construire par sym etrie une solution v C R; H 1 () C 1 R; L2 () v eriant 2 v v = 0 dans R , t v (x, t) = ( ) (x, t) 1| ]0,Tc [ ( ) (x, t) 1| ]Tc ,0[ , (x, t) R , (v, t v ) (, 0) = (v0 , 0) dans , v0 dans (], Tc ] [Tc , +[) . Par ailleurs, ` a partir de la solution fondamentale de l equation de Schr odinger monodimensionelle 2 i 4 e i 1 / 2 E ( , t) = 4t e 4t C ({t > 0} R ) C [0, +[ ; H (R ) , nous avons lexistence de F = 1 F ( , t) C [0, +[ ; H (R ) v eriant it F ( , t) + 2 F ( , t) = f ( , t) 1 (R\]Tc ,Tc [ ) , ( , t) R R , F ( , 0) = ( ) , R, F ( , t) = 0 , ( , t) [Tc , Tc ] [, +[ . Finalement, nous observons que la solution z (x, t) =
R
11 Lasiecka,

F ( , t) v (x, ) d ,

I., Triggiani, R., Zhang, X. (2003) J. Inv. Ill-Posed Problems 11, 1-63.

12 Zuazua, E. (2003) Remarks on the controllability of the Schr odinger equation, A. Bandrauk, M.C. Delfour, and C. Le Bris, Quantum Control: mathematical and numerical challenges, CRM Proc. Lect. Notes Ser., AMS Publications, Providence, R.I., 181-199. The paper by K.D. Phung [P] is also worth mentioning. In [P] the author establishes the connections between the heat, wave and Schrodinger equations through suitable integral transformations. This allows him to get, for instance, estimates on the cost of approximate controllability for the Schrodinger equation when the GCC (Geometrical Control Condition) is not satised and also on the dependence of the size of the control with respect to the control time. 13 Miller, L. (2004) Arch. Rat. Mech. Anal. 172, 429-456. Phungs paper [Phu01] drew our attention to the 1 (M ) grows at most as subjet. His Theorem 2.3 proves that, under geodesic condition, the cost of controlling data in H0 exp C/T 2 as T tends to 0. The strategy used by Phung to prove Theorem 2.3 in [Phu01], is what we have coined the transmutation control method. Phung was inspired by [BdM75,KS96] (i.e. articles of L. Boutet de Monvel (1975), L. Kapitanski & Y. Safarov (1996)) where the Schr odinger semigroup on the whole space is written as an integral over the wave group. 14 Miller, L. (2006) SIAM J. Control Optim. 45, 762-772. the Schr odinger equation, which is the control problem to which a transmutation method was rst applied by Phung ... . 15 Zuazua, E. (2006) Controllability and Observability of Partial Dierential Equations: Some results and open problems, in Handbook of Dierential Equations: Evolutionary Dierential Equations, vol. 3, C. M. Dafermos and E. Feireisl eds., Elsevier Science, pp. 527-621. Previously similar arguments and transformations have been used by K.D. Phung to analyze the cost of controllability for the Schr odinger equations. 16 Illner,

R., Lange, H., Teismann, H. (2006) ESAIM, Control Optim. Calc. Var. 12, 615-635. B., G erard, P., Lebeau, G. (2006) Mathematische Zeitschrift, 4, 729-749.

17 Dehman,

18 http://www-gm3.univ-mrs.fr/gallouet/documents/phung.pdf

32

satisfait it z z = 0 T z (x, t) = 0 c F ( , t) ( ) (x, ) d z (, 0) = v0 z (, ) 0

0 Tc

F ( , t) ( ) (x, ) d

dans ]0, [ , , (x, t) R , dans , dans .

5.2

De l equation de Schr odinger ` a celle des ondes

Une propri et e essentielle de l equation des ondes concerne la propagation des singularit es ou encore la propagation de la r egularit e microlocale (voir e.g., [ Pau]). Di erentes techniques permettent de d ecrire ce ph enom` ene comme les rayons gaussiens [ Ra], les op erateurs int egraux de Fourier [ Ho], lextension de la m ethode des multiplicateurs avec des op erateurs pseudo-di erentiels [ MS], les mesures de d efauts [ GeL]. Nous nous sommes int eress es ` a introduire des op erateurs h-Fourier int egraux et il est alors naturel de 2 travailler avec lop erateur is h t avec h > 0. Nous introduisons la fonction a = a (x, t, s) C RN +2 ; C , d ependante de h ]0, 1] d enie comme suit. |x|2 1 t2 1 1 41 h is+1 e a (x, t, s) = e 4 ihs+1 . N/2 ihs + 1 (is + 1) Cette fonction a peut etre vue comme produit de N + 1 solutions de l equation de Schr odinger monodimensionnelle is h 2 . En particulier, nous obtenons.
2 is + h t

a (x, t, s) = 0 , 1 e
41 h
|x|2 s2 +1

|a (x, t, s)| =

1 s2 + 1
N/2

(hs) + 1

1 /2

1 4

t2 (hs)2 +1

Maintenant, nous allons construire un op erateur int egral de Fourier associ e ` a a de la fa con suivante. Soit xo , m = (m1 , , mN ) ZN , 1 et ]0, 1]. On ecrira o = (2m + 1) et ( o ) = = (1 , , N ) RN ; 2mj j / 2mj + 2 . On notera = (x, t) une fonction 2 r eguli` ere v eriant (, t) C0 () et (, t) L () et . Soit f L1 RN +1 L2 RN +1 telle que la transform ee de Fourier de f , f L1 RN +1 . Nous introduisons lop erateur suivant (A (xo , o ) f ) (x, t, s) =
1 (2 )N +1 ( o ) | |<

eix+t ei(||

2 )hs

a (x xo 2hs, t + 2 hs, s) f (, ) dd .

En particulier, nous en d eduisons les deux egalit es suivantes

2 is + h t

(A (xo , o ) f ) (x, t, s) = 0 ,

(A (xo , o ) f ) (x, t, 0) = a (x xo , t, 0)

1 (2 )
N +1 ( o ) | |<

eix+t f (, ) dd

33

Cette derni` ere egalit e entra ne, ` a partir de la formule dinversion de Fourier et une sommation sur les m ZN provenant de o = (2m + 1) , lapparition de la quantit e a (x xo , t, 0) (f ) (x, t) qui localise o autour du point x . Par ailleurs, (A (xo , o ) f ) (x, t, L) =
1 (2 )N +1
2 2 eix+t ei(|| )hL f (, ) a (x x 2 hL + 2 ( o ) hL, t + 2 hL, L) dd ,

( o ) | |< o o

avec | o | pour tout ( o ), ce qui entra ne une localisation autour du point xo + 2 o hL pour susamment petit.
2 egre par Maintenant, on multiplie is + h t A (xo , o ) f = 0 par u solution de (2.2) et on int` parties sur (x, t, s) R [0, L] pour en d eduire la formule suivante.

(A (xo , o ) f ) (x, t, 0) u (x, t) dxdt = R (A (xo , o ) f ) (x, t, L) u (x, t) dxdt L +ih 0 R (A (xo , o ) f ) (x, t, s) u (x, t) d (x) dtds .
R

Cette formule etablit un lien entre une localisation autour du point xo dans la direction o et une localisation autour du point xo + 2 o hL pour susamment petit, pourvu que le segment de droite (ou autrement dit le rayon) reliant xo et xo + 2 o hL soit susamment eloign e du bord . Pour traiter le terme de bord (plus pr ecis ement, le terme 0 R de la formule ci-dessus), une strat egie consiste ` a construire un autre op erateur int egral de Fourier de mani` ere ` a rendre la trace au bord susamment petite (voir par exemple la construction des rayons gaussiens par J. Ralston). Cette etape est d elicate. Les calculs sont beaucoup plus simples quand la fronti` ere est plate (par exemple dans le cas dun rayon captif entre deux surfaces parall` eles). Ici, un probl` eme ouvert consiste ` a etablir une d ecroissance exponentielle et non uniforme de l energie de l equation des ondes amorties en pr esence dun rayon captif entre deux surfaces strictement convexes (comme le cas trait e par M. Ikawa [ Ik] par exemple). Dans le cadre de la d ecroissance polynomiale pour l equation des ondes amorties (3.1), nous xons = 1 et cest la propri et e de dispersion en la variable s de la fonction a qui va etre utilis ee pour traiter le terme (A (xo , o ) f ) (x, t, L) (voir [P11]).
L

Projet en cours sur l equation de Schr odinger

Tout au long de ce m emoire, nous avons d ej` a evoqu e de nombreux probl` emes ouverts. Ici, le point de d epart est un r esultat de C. Kenig, G. Ponce et L. Vega [ KPV] concernant la propri et e de continuation unique pour l equation de Schr odinger suivante. Soit u = u (x, t) une solution susamment r eguli` ere de it u (x, t) + u (x, t) = 0 , (x, t) RN R , et telle que u (x, 0) = u (x, 1) = 0 pour tout x RN o` u doit v erier des conditions g eom etriques. Alors, u est identiquement la solution nulle. Par cons equent, il semble naturel de se poser le probl` eme de stabilisation suivant. Soient T > 0 et un ouvert born e connexe de RN ` a fronti` ere susamment r eguli` ere. Nous consid erons l equation de Schr odinger amortie + w = 0 dans D ( R+ ) , t T it w + w + i (x) 2 + nT w=0 w (, 0) = wo
n=0

sur R+ , dans , 34

o` u C 2 (, R+ ) v erie {x ; > 0} = . Ici, t T est la masse de Dirac concentr ee ` a 2 + nT T linstant 2 + nT . Pour ne pas sencombrer avec des dicult es li ees aux espaces fonctionnels. Nous nous ramenons ` a l etude du syst` eme r egularis e suivant. Soit ]0, min (1, T /4)[ susamment petit, + w = 0 dans R+ , t T it w + w + i (x) 2 + nT w = 0 1 w (, 0) = wo H 2 () H0 () , o` u D (R) est une suite r egularisante de sorte que, quand 0, vers
+ n=0 n=0

sur R+ ,
+ n=0

T 2

+ nT

converge

T 2

+ nT

dans D (R+ ).

1 Maintenant, w C [0, +) ; H 2 () H0 () C 1 [0, +) ; L2 () et son energie E (w , t) = 2 |w (x, t)| dx est une fonction d ecroissante en temps t. Bien entendu, nous voudrions en savoir plus. Sagissant de contr ole sous forme dun pulse, il me semble quil existe encore peu de r esultats math ematiques (voir e.g., [ LS]).

Travaux en collaboration

Jai commenc e ` a travailler sur les probl` emes de contr olabilit e parabolique lors du postdoctorat ` a lUniversit e de Madrid invit e par E. Zuazua. Dans [P06], jai etudi e la propri et e de contr ole exact vers z ero de l equation de la chaleur comme limite quand > 0 tend vers z ero, de celui des ondes dissipatives d ependant du param` etre > 0. Ce r esultat r epond ` a un probl` eme ouvert pos e par A. Lopez, X. Zhang et E. Zuazua [ LZZ]. Durant cette visite ` a lUniversit e de Madrid, E. Zuazua ma donn e un manuscrit de L. Escauriaza [ E] sur la m ethode de doubling property avec la quantit e N (r) =
Br

|u (x, t)| + |t u (x, t)|

Br

2 2

r2 t2 |x|

dxdt

|u (x, t)| dxdt

comme la fonction fr equence en la variable r, o` u Br est la boule de centre 0 Rn+1 et de rayon r > 0. Lors du s ejour au Center for Optimal Control and Discrete Mathematics ` a Wuhan (Chine), jai collabor e avec G. Wang sur di erents probl` emes de contr ole optimal. En particulier, nous nous sommes pos es la question de savoir si une solution T -p eriodique en temps u (x, t) de l equation de la chaleur avec un potentiel q L ( ]0, T [), paire et T -p eriodique en temps, pouvait v erier lin egalit e suivante u (x, 0)
L2 ()

C u (x, 0)

L2 ( )

Une r eponse positive est donn ee dans [P10] pour des potentiels q associ es ` a des temps T ad equats. Cette propri et e entra ne la propri et e de continuation unique pour lapplication de Poincar e. Nous avons employ e la technique des in egalit es de Carleman de A. Fursikov and O. Imanuvilov pour le Laplacien. De plus, la stabilisation de l equation de la chaleur avec un potentiel q (x, t) non nul est etudi ee dans [P10] ` a partir dun contr ole explicitement construit et vivant dans un sous-espace de dimension nie. Dans les probl` emes pratiques ding enierie, le contr ole est souvent soumis ` a des contraintes (par exemple, |g | 1), mais avec un temps dattente eventuellement grand. Si cela est possible ` a 35

construire, alors le nombre de candidats est inni. Aussi, on ne sint eressera qu` a ceux avec le plus petit temps de contr olabilit e. Les r esultats d esir es de contr olabilit e n ecessitent alors une tr` es bonne connaissance de leur co ut. Nous recherchons ` a d emontrer lexistence de solutions en contr ole optimal vis-` a-vis du temps de contr olabilit e. Ce travail est en collaboration avec G. Wang et X. Zhang [P12]. Aussi, il sagira de caract eriser les contr oles optimaux que nous esp erons bang-bang (i.e., |g | = 1).

Plus r ecemment, en contrat ` a lUniversit e de Sichuan jusquen mai 2008, jai collabor e avec X. Zhang sur les equations de Kirchho dans le cadre du retournement temporel [P14]. Le proc ed e de retournement temporel g en` ere de r eelles applications li ees aux ph enom` enes ondulatoires. Nous avons pr esent e une strat egie pour reconstruire la donn ee initiale pour les equations des plaques de Kirchho ` a partir dune m ethode it erative de retournement temporel. Parall` element, nous etablissons la stabilit e de la convergence. Nous tenons compte de la condition de contr ole g eom etrique de C. Bardos, G. Lebeau et J. Rauch li ee aux solutions ` a haute fr equence. Mais aussi, en combinant la transformation de FBI et des in egalit es de Carleman ponctuelles pour un syst` eme elliptique dordre 4, nous traitons le cas dune g eom etrie sans condition particuli` ere sauf connexe et r eguli` ere, et pouvant g en erer des rayons captifs.

36

Publications

[P01] K.-D. Phung, Stabilisation fronti` ere du syst` eme de Maxwell avec la condition aux limites absorbante de Silver-M uller, C.R. Acad.Sci. Paris 320, I, (1995) 187-192. [P02] K.-D. Phung, Contr olabilit e exacte et stabilisation interne des equations de Maxwell, C.R. Acad.Sci. Paris 323, I, (1996) 169-174. ole et stabilisation dondes electromagn etiques, ESAIM: Control, Optimisa[P03] K.-D. Phung, Contr tion and Calculus of Variations 5 (2000) 87-137. [P04] K.-D. Phung, Observability and control for Schr odinger equations, SIAM J. Control Optim. 40, 1 (2001) 211-230. [P05] K.-D. Phung, Observability of the Schr odinger equation, Carleman estimates and applications to uniqueness and control theory (Cortona, 1999), Progr. Nonlinear Dierential Equations Appl., 46, Birkhauser Boston, (2001) pp.165-177. [P06] K.-D. Phung, Null controllability of the heat equation as singular limit of the exact controllability of dissipative wave equation under the Bardos-Lebeau-Rauch geometric control condition, Computers and Mathematics with Applications 44, 10-11 (2002) 1289-1296. [P07] K.-D. Phung, Remarques sur lobservabilit e de l equation de Laplace, ESAIM: Control, Optimisation and Calculus of Variations 9 (2003) 621-635. [P08] K.-D. Phung, Note on the cost of the approximate controllability for the heat equation with potential, Journal of Mathematical Analysis and Applications 295, 2 (2004) 527-538. [P09] K.-D. Phung, Stabilization of the incompressible 2D Euler equations in a simply connected domain utilizing the Lorentz force, Journal of Mathematical Analysis and Applications 293, 2 (2004) 389-404. [P10] K.-D. Phung, G. Wang, Quantitative uniqueness for time-periodic heat equation with potential and its applications, Dierential and Integral Equations 19, 6 (2006) 627-668. [P11] K.-D. Phung, Polynomial decay rate for the dissipative wave equation, Journal of Dierential Equations 240, (2007) 92-124. [P12] K.-D. Phung, G. Wang, X. Zhang, On the existence of time optimal controls for linear evolution equations, Discrete and Continuous Dynamical Systems-Series B 8, 4 (2007) 925-941. [P13] K.-D. Phung, 2007, Boundary stabilization for the wave equation in a bounded cylindrical domain, accept e dans Discrete and Continuous Dynamical Systems-Series A. [P14] K.-D. Phung, X. Zhang, 2007, Time reversal focusing of the initial state for Kirchho plate, soumis ` a SIAM Journal of Applied Mathematics.

37

References
[ AE] V. Adolfsson, L. Escauriaza, C 1, domains and unique continuation at the boundary, Comm. Pure Appl. Math. 50, 3 (1997) 935-969.

[ BLR] C. Bardos, G. Lebeau, J. Rauch, Sharp sucient conditions for the observation, control and stabilization of waves from the boundary, SIAM J. Control Optim. 30, 5 (1992) 1024-1065. [ BdM] L. Boutet de Monvel, Propagation des singularit es des solutions d equations analogues ` a l equation de Schr odinger, in Fourier Integral Operator and Partial Dierential Equations, Lecture Notes in Mathematics, vol. 459, Springer, Berlin, (1975) pp.1-14. [ Bu] [ BG] [ BH] N. Burq, D ecroissance de l energie locale de l equation des ondes pour le probl` eme ext erieur et absence de r esonance au voisinage du r eel, Acta Math. 1980 (1998) 1-29. N. Burq, P. G erard, Condition n ecessaire et susante pour la contr olabilit e exacte des ondes, C. R. Acad. Sci. Paris t.325, s erie 1 (1997) 749-752. N. Burq, M. Hitrik, Energy decay for damped wave equations on partially rectangular domains, Math. Res. Lett. 14 (2007) 35-47.

[ CRV] B. Canuto, E. Rosset, S. Vessella, Quantitative estimates of unique continuation for parabolic equations and inverse initial-boundary value problems with unknown boundaries, Trans. Amer. Math. Soc. 354 (2001) 491-535. [ E] L. Escauriaza, Communication to E. Zuazua.

[ EFV] L. Escauriaza, F.J. Fernandez, S. Vessella, Doubling properties of caloric functions, Appl. Anal. 85, 1-3 (2006) 205-223. [ FI] A. Fursikov, O. Imanuvilov, Controllability of evolution equations, Lecture Notes Series, 34, Seoul National University, Research Institute of Mathematics, Global Analysis Research Center, Seoul, 1996.

[ FCZ] E. Fernandez-Cara, E. Zuazua, The cost of approximate controllability for heat equations: the linear case, Adv. Dierential Equations 5, 4-6 (2000) 465-514. [ GaL] N. Garofalo, F.H. Lin, Monotonicity properties of variational integrals, Ap -weights and unique continuation, Indiana Univ. Math. J. 35, 2 (1986) 245-268. [ GeL] P. G erard, E. Leichtnam, Ergodic properties of eigenfunctions for the Dirichlet problem, Duke Math. J. 71 (1993) 559-607. [ Ha] [ Ho] [ Ic] [ Ik] [ JL] [ J] [ KS] H. Hasimoto, A soliton on a vortex lament, J. Fluid Mech. 51, 3 (1972) 477-485. L. H ormander, Fourier integral operators I, Acta Math. 127 (1971) 79-183. W. Ichinose, On the Cauchy problem for Schr odinger type equations and Fourier integral operators, J. Math. Kyoto Univ. 33, 3 (1993) 583-620. M. Ikawa, Decay of solutions of the wave equation in the exterior of two convex obstacles, Osaka J. Math. 19, 3 (1982) 459-509. D. Jerison, G. Lebeau, Nodal sets of sum of eigenfunctions, Harmonic analysis and partial dierential equations (Chicago, IL, 1996), Univ. Chicago Press, Illinois, (1999) pp.223-239. F. John, Continuous dependence on data for solutions of partial dierential equations with a prescribed bound, Comm. Pure Appl. Math. 13 (1960) 551-585. L. Kapitanski, Y. Safarov, Dispersive smoothing for Schr odinger equations, Math. Res. Lett. 3, (1996) 77-91.

38

[ KPV] C. Kenig, G. Ponce, L. Vega, On unique continuation for nonlinear Schr odinger equations, Comm. Pure Appl. Math. 54 (2002) 1247-1262. [ Ko] [ Ku] V. Komornik, Contr olabilit e exacte en un temps minimal, C. R. Acad. Sci. Paris S er. I Math. 304, 9 (1987) 223-225. I. Kukavica, Level sets for the stationary Ginzburg-Landau equation, Calc. Var. 5 (1997) 511521.

[ Ku2] I. Kukavica, Quantitative uniqueness for second order elliptic operators, Duke Math. J. 91 (1998) 225-240. [ KN] [ Le] I. Kukavica, K. Nystr om, Unique continuation on the boundary for Dini domains, Proc. of Amer. Math. Soc. 126, 2 (1998) 441-446. G. Lebeau, Equation des ondes amorties, in Algebraic and Geometric Methods in Mathematical Physics, Math. Phys. Stud. 19, Kluwer Acad. Publ., Dordrecht, (1996) pp.73-109.

[ LeR] G. Lebeau, L. Robbiano, Contr ole exact de l equation de la chaleur, Comm. Part. Di. Eq. 20 (1995) 335-356. [ LeR2] G. Lebeau, L. Robbiano, Stabilisation de l equation des ondes par le bord, Duke Math. J. 86, 3 (1997) 465-491. [ LZ] [ Lin] [ Lio] G. Lebeau, E. Zuazua, Null-controllability of a system of linear thermoelasticity, Arch. Mech. Anal. 141, 4 (1998) 297-329. F.H. Lin, A uniqueness theorem for the parabolic equations, Comm. Pure Appl. Math. 43 (1990) 127-136. J.-L. Lions, Contr olabilit e exacte, stabilisation et perturbation des syst` emes distribu es, 1, coll.RMA, Masson, Paris 1988.

[ Lio2] J.-L. Lions, Exact controllability, stabilization and perturbations for distributed systems, SIAM Rev. 30 (1988) 1-68. [ LiR] [ LP] Z. Liu, B. Rao, Characterization of polynomial decay rate for the solution of linear evolution equation, Z. Angew. Math. Phys. 56 (2005) 630-644. P.-L. Lions, T. Paul, Sur les mesures de Wigner, Revista Matematica Iberoamericana 9, 3 (1993) 553-618.

[ LZZ] A. Lopez, X. Zhang, E. Zuazua, Null controllability of the heat equation as singular limit of the exact controllability of dissipative wave equations, J. Math. Pures et Applic. 79, 8 (2000) 741-808. [ LS] [ MS] [ Mi] V. Lyashko, V. Semenov, Controllability of linear distributed systems in classes of generalized action, Cybernetic and Systems Analysis 37, 1 (2001) 13-32. R. Melrose, J. Sj ostrand, Singularities of boundary value problems I, Comm. Pure Appl. Math. 31 (1978) 593-617. L. Miller, Escape function conditions for the observation, control and stabilization of the wave equation, SIAM J. Control Optim. 41, 5 (2002) 1554-1566.

[ Mi2] L. Miller, How violent are fast controls for Schr odinger and plate vibrations?, Arch. Rational Mech. Anal. 172 (2004) 429-456. [ Pau] R. Pauen, Non-trapping conditions and local energy decay for hyperbolic problems, Pr epublication 2000, http://www.informatik.uni-konstanz.de/Schriften. [ Pay] L. Payne, Improperly posed problems in partial dierential equations, CBMS Series, SIAM 1976. 39

[ Ra] [ Ro]

J. Ralston, Gaussian beams and propagation of singularities, in Studies in Partial Dierential Equations, Littman ed., MAA studies in Mathematics, 23 (1982) pp.206-248. L. Robbiano, Th eor` eme dunicit e adapt e au contr ole des solutions des probl` emes hyperboliques, Comm. Part. Di. Eq. 16 (1991) 789-800.

[ Ro2] L. Robbiano, Fonction de co ut et contr ole des solutions des equations hyperboliques, Asymptotic Analysis 10 (1995) 95-115. [ W] [ Z] G. Wang, A bang-bang principle of time optimal internal controls of the heat equation, Pr epublication 2006, http://www.arxiv.org/abs/math.OC/0612237. X. Zhang, Explicit observability inequalities for the wave equation with lower order terms by means of Carleman inequalities, SIAM J. Control Optim. 30 (2000) 812-834.

40