Wave propagation in dihedra. (Propagation des ondes dans les dièdres.) (French) Zbl 0845.35061

The wave equation and the problem of the propagation of analytic singularities in domains with conical and angular points is of constant interest during the last two decades. After the fundamental papers of J. Sjöstrand [Commun. Partial Differ. Equ. 5, 41-94 (1980; Zbl 0458.35026)], [Astérisque 95, 1-166 (1982; Zbl 0524.35007)], [Math. Ann. 254, 211-256 (1980; Zbl 0459.35007)] many authors used the developed sophisticated technique for the study of the mentioned problem in different special cases.
In the Memoir under review the wave equation of finite energy in a domain \(\Omega\) of \(\mathbb{R}^d\), with Dirichlet boundary value conditions, near a codimension 2 corner of the boundary (called “dièdre a faces courbées”) is considered. In fact, some generalizations of the previous joint paper of the author with P. Gerard [J. Am. Math. Soc. 6, No. 2, 341-424 (1993; Zbl 0779.35063)] are given. Let us recall that in the cited joint paper the asymptotics on the diffracting cone for the associated solution to a conormal incoming wave was developed in the case \(d= 2\). It is to remark that in the case of arbitrary dimension \(d\) the situation is more complicated. New tangent rayons appear along the edge of the angular corner, and the propagation on these rayons is to be studied. So the principal success is that the developed theory is deliberated of any restriction of the type “incoming conormal singularities” and that the treatments of the interior \(\Omega^i\) and the exterior \(\Omega^e\) of the corner are made conjointly. The realization of all this is obtained with the help of different innovations of technical character.
More precisely, the study is based on some geometric concepts (different cotangent spaces, especially the characteristic manifold \(\Sigma_b\) constructed for the considered boundary value problem) and the notion of an “analytic wave front \(SS_b(u)\) up to the boundary” for the solution \(u\in H^1_{\text{loc}}\) of the Dirichlet problem \(Pu= 0\), \(u|_{\partial M}= 0\) with \(M= R_t\times \Omega\), or \(M= \Omega^i\), or \(M= \Omega^e\) as a subset of \(\dot T^*_b M\). The proposed construction of \(SS_b(u)\) uses tangent FBI transforms and some a priori estimation obtained by the author. Developing some microlocalization and some elliptic estimations for pseudo-differential equations with values in a chain of Banach spaces, the author carefully prepares the statement and the proofs of his main results for the equation \(Pu= 0\) with \(u\in H^1_0\) and \(u|_{\partial M}= 0\). Roughly speaking these are: the independence of \(SS_b(u)\) of the choice of the coordinates (the choice of the space of normal regularity), the elliptic regularity \((SS_b(u)\subset \Sigma_b)\) and the hyperbolic reflection on the edge. The above mentioned propagation on the tangent to the edge rayons is developed using the Sjöstrand microhyperbolic deformation strategy (the above cited paper in Math. Ann.). Introducing the notion of glancing region \(\mathcal G\), the author obtains estimations near the strata \(S^2_{\mathcal G}\) of \(\mathcal G\). All previous results are applied in the last chapter for the study of the propagation of the analytic singularities:
Theorem. For a solution \(u\in H^1_0\) of \(Pu= 0\), \(SS_b(u)\) is closed in \(\Sigma_b\), and if \(\rho_0\in SS_b(u)\) there exists a maximal exiting rayon from \(\rho_0\) in \(SS_b(u)\).
Author’s results on the second microlocalization are recalled in an appendix. In general, the Memoir is written with maximal precision, difficult to be refered in short, but it is quite good as an introduction in the subject for a pedantic reader.


35L05 Wave equation
35S15 Boundary value problems for PDEs with pseudodifferential operators
Full Text: DOI Numdam EuDML


[1] CHEEGER , TAYLOR M. : Diffraction by conical singularities I, II , Comm. Pure Applied Math. 35 ( 1982 ), 275-331, 487-529. MR 84h:35091b | Zbl 0526.58049 · Zbl 0526.58049
[2] ESKIN G. : The wave equation in a wedge with general boundary conditions , C.P.D.E. 17 ( 1992 ), 99-160. MR 92m:35152 | Zbl 0790.35055 · Zbl 0790.35055
[3] GARNIR H.G. : Fonction de Green pour l’opérateur métaharmonique dans un angle ou un dièdre , Bull Soc. Roy. Sciences Liège, 1952 , 119-140, 207-231, 328-344. MR 15,130e | Zbl 0049.19305 · Zbl 0049.19305
[4] GÉRARD P. , LEBEAU G. : Diffusion d’une onde par un coin , J. A.M.S., vol. 6, ( 1993 ), 341-423. MR 93f:35130 | Zbl 0779.35063 · Zbl 0779.35063
[5] KONDRAT’EV : Boundary problems for elliptic equations in domains with conical or angular points , Trans. Moscow Math. Soc. 16 ( 1967 ), 227-313. MR 37 #1777 | Zbl 0194.13405 · Zbl 0194.13405
[6] LEBEAU G. : Deuxième microlocalisation à croissance , Séminaire Goulaouic-Meyer-Schwartz, 1982 - 1983 , exposé n^\circ 15, Ecole Polytechnique, Palaiseau. Numdam | Zbl 0518.58037 · Zbl 0518.58037
[7] LEBEAU G. : Deuxième microlocalisation sur les sous-variétés isotropes , Ann. Inst. Fourier, Grenoble, 35 ( 1985 ), 145-216. Numdam | MR 87h:58205 | Zbl 0539.58038 · Zbl 0539.58038
[8] ROULEUX M. : Diffraction analytique sur une variété à singularités coniques , C.P.D.E. 11 ( 1986 ), 947-988. MR 88g:58182 | Zbl 0698.58049 · Zbl 0698.58049
[9] SJÖSTRAND J. : Propagation of analytic singularities for second order Dirichlet problems I , Comm. Part. Diff. Eq. 5 ( 1980 ), 41-94. MR 81e:35031a | Zbl 0458.35026 · Zbl 0458.35026
[10] SJÖSTRAND J. : Singularités analytiques microlocales , Astérisque n^\circ 95, ( 1982 ), Société Mathématique de France. MR 84m:58151 | Zbl 0524.35007 · Zbl 0524.35007
[11] SJÖSTRAND J. : Analytic singularities and microhyperbolic boundary value problems , Math. Ann. 254 ( 1980 ), 211-256. MR 82c:35086 | Zbl 0459.35007 · Zbl 0459.35007
[12] UCHIDA M. : Microlocal analysis of diffraction at the corner of an obstacle , à paraître aux Ann. Sc. Ecole Normale Supérieure, et Séminaire Equations aux Dérivées Partielles 1989 - 1990 , exposé n^\circ 3, Ecole Polytechnique. Numdam | Zbl 0711.35004 · Zbl 0711.35004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.