Anglais
Nous étudions la régularité conormale de solutions bornées d'équations semi-linéaires strictement hyperboliques dans des domaines à bord diffractif : $ Pu = f(x,u){\rm dans }X ,\ u\! \upharpoonright _{\partial X} = 0 , \ u \in L^\infty _{\operatorname {loc}}(X).$ Si $X_-\subset X$ et $X$ est le domaine d'influence de $X_-$, nous considérons des solutions $u$ telles que $\operatorname {\rm sing supp}(u)\cap X_- \cap \partial X = \emptyset $ ; de plus nous supposons que $u\upharpoonright _{X_-}$ est conormale par rapport à une hypersurface caractéristique lisse, le front entrant. Dans le cas de l'équation linéaire $f\cong 0,$ le support singulier de $u$ est contenu dans la réunion du front entrant et du front réfléchi obtenu par les lois de l'optique géométrique. Ces deux surfaces caractéristiques sont tangentes à l'ensemble des rayons rasants, le lieu des points où les bicaractéristiques entrantes sont tangentes au bord. Dans le cas semi-linéaire, nous démontrons que si de nouvelles singularités apparaissent alors elles apparaissent sur le demi-cône caractéristique au-dessus de l'ensemble des rayons rasants. En fait, le théorème de régularité conormale établi dans cet article est beaucoup plus précis. Pour illustrer notre propos, nous choisirons pour $P$ l'opérateur des ondes à coefficients constants et pour $X$ le produit de $\RR _t$ et de l'extérieur d'un obstacle strictement convexe. Alors $X_-= X \cap \{t< - T\}$. Comme donnée initiale, on pourra prendre une primitive locale de l'onde plane $\delta ( t - \langle x ,\omega \rangle )$ avec $T$ suffisamment grand. La géométrie de ce problème est figurée sur les schémas $1.1$ et $1.2$.