Lebeau, Gilles Deuxième microlocalisation sur les sous variétés isotropes. (French) Zbl 0539.58038 Ann. Inst. Fourier 35, No. 2, 145-216 (1985). In this paper, we construct the second micro-support of a distribution on \(R^ n\), with respect to an isotropic subvariety \(\Gamma\) of \(T^*R^ n\). It is a closed set in a fiber bundle \({\tilde \Gamma}\) over \(\Gamma\), which is canonically a symplectic variety, and which contains the cotangent bundle of \(\Gamma\). We prove the Watermelon theorem and apply our result to the study of the propagation of singularities of solutions, defined on an open set \(\Omega\), of a differential operator P of real principal type, near a bicharacteristic curve of P, contained in the boundary of \(\Omega\). Cited in 2 ReviewsCited in 17 Documents MSC: 58J47 Propagation of singularities; initial value problems on manifolds Keywords:microlocalisation; differential operator of real principal type; isotropic subvariety; bicharacteristic curve × Cite Format Result Cite Review PDF Full Text: DOI Numdam EuDML References: [1] [1] , Extension du théorème de Holmgren, Séminaire Goulaouic-Schwartz, 1975-1976, exposé 17. · Zbl 0336.35003 [2] [2] , Opérateurs pseudo-différentiels analytiques, Séminaire à Grenoble, 1975-1976. · Zbl 0338.35084 [3] [3] , , Pseudo-differentiels operators and Gevrey-Classes, Ann. Inst. Fourier, 17 (1967), 295-303. · Zbl 0195.14403 [4] [4] , Fourier integrals operators I, Acta Math., 127 (1971), 70-183. · Zbl 0212.46601 [5] [5] , , Second microlocalisation and asymptotic expansions, Springer Lec. Notes in Physics, (126), 21-76. · Zbl 0458.46027 [6] [6] , Microlocal theory of boundary value problems II, and a theorem on regularity of diffractive operators. · Zbl 0459.35098 [7] [7] , Théorie de la deuxième microlocalisation dans le domaine complexe, Thèse, Orsay, 1982. · Zbl 0561.32013 [8] [8] , Une propriété d’invariance pour le spectre des traces, C.R.A.S., t. 294 (21 juin 1982), I. 723-725. · Zbl 0508.46032 [9] [9] , Conditions de positivité dans une variété symplectique complexe. Application à l’étude des microfonctions, Ann. Scient. Ec. Norm. Sup., 4e Série, 14 (1981), 121-139. · Zbl 0473.58022 [10] [10] , Propagation of analytic singularities for second order Dirichlet Problems. I et II, Comm. P.D.E., 5(1) (1980), 41-94 et Comm. P.D.E., 5(2) (1980), 187-207. · Zbl 0534.35030 [11] [11] , Singularités analytiques microlocales, Cours à Orsay, (1981). 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.