Microlocal Representation of Solutions to Hyperbolic Systems, Applications to Imaging, and Contribution to the Control and Inverse Problems for Parabolic Equations

Le Rousseau, Jérôme

HAL, tel-00201887 / Harvested from HAL

Résumé

Dans une première partie, nous considérons des problèmes de Cauchy pour des équations et systèmes hyperboliques du premier ordre. Nous donnons une représentation de l'opérateur solution comme produit infini d'opérateurs intégraux de Fourier à phase complexe. Nous démontrons la convergence de cette représentation dans les espaces de Sobolev, ainsi que celle du front d'onde. Pour les systèmes, nous traitons les cas symétriques et symétrisables. La représentation proposée conduit naturellement à des schémas numériques pour la résolution des problèmes de Cauchy. Nous présentons des applications de cette méthode dans le domaine de l'imagerie sismique. Dans ce cadre, grâce à des approximations microlocales nous obtenons des schémas efficaces. D'autres applications de l'analyse microlocale à la sismologie sont présentées.
Dans une seconde partie, nous étudions la contrôlabilité aux trajectoires pour des équations paraboliques linéaires et semi-linéaires. Nous nous intéressons plus particulièrement au cas d'opérateurs sous forme divergentielle où le coefficient de la partie principale est non continu. Nous prouvons tout d'abord une inégalité de Carleman, en dimension un d'espace, pour un coefficient $C^1$ par morceaux. Par un passage à la limite dans l'inégalité de Carleman, ce résultat est étendu au cas d'un coefficient $BV$. Avec ces résultats, nous prouvons la contrôlabilité de ces équations paraboliques en dimension un d'espace sans faire d'hypothèse de compatibilité entre la région de contrôle et les signes des sauts du coefficient discontinu. De plus, nous exhibons un cas en dimension supérieure pour lequel la même conclusion est obtenue. Finalement, nous utilisons une inégalité de Carleman afin d'identifier le coefficient discontinu à partir de mesures faites sur la solution.

Détail

Publié le : 2007-11-30
Classification:  microlocal analysis,  control,  imaging,  inverse problems,  hyperbolic systems,  parabolic equations,  Carleman estimates,  geophysics,  seismology,  analyse microlocale,  contrôle,  imagerie,  problèmes inverses,  systèmes hyperboliques,  équations paraboliques,  inégalités de Carleman,  géophysique,  sismologie,  [MATH]Mathematics [math]