A propagation theorem for a class of microfunctions (Q752308)

This article presents a unique continuation theorem for the boundary microfunction sheaf \({\mathcal C}_{A| X}\) and its application to the propagation of micro-analyticity at the boundary for hyperfunction solutions of systems of linear differential equations. It generalizes Kataoka's former result done for the half space A. In this article \(A\subset {\mathbb{R}}^ n\) is a subset satisfying the following conditions: (1) Let \(\gamma^*_ x(A)\) denote the polar of the tangent cone C(A,\(\{\) \(x\}\)). Then (i) \(\exists\) neighborhood S of \(x_ 0\in \partial A\) such that \(\forall x\neq y\) in \(\partial A\cap S\), \((x-\gamma^*_ x(A))\cap (y-\gamma^*_ y(A))\cap S=\emptyset\). (ii) \(x\mapsto \gamma^*_ x(A)\) is upper semi-continuous. (2) \(A=\overline{int A}\) in the linear hull of A. (3) \(SS({\mathbb{Z}}_ A)\subset \gamma^*(A).\) For such A, \({\mathcal C}_{A| X}\) satisfies the unique continuation property along the complex integral manifolds of \(\{H(\phi^{{\mathbb{C}}}_ i)\}_{i=1,...,m}\), where \(\{\phi_ i\}\) is a basis for the linear subspace spanned by \(\gamma^*_{x_ 0}(A)\) in \(T^*_{x_ 0}X\). As a corollary, for a \({\mathcal D}_ X\)-module \({\mathcal M}\) and \(\Omega ={\mathbb{R}}^ n\setminus A\), it follows that \[ {\mathcal H}om_{{\mathcal D}_ X}({\mathcal M},{\mathfrak A}_{{\bar \Omega}})=\{f\in {\mathcal H}om_{{\mathcal D}_ X}({\mathcal M},\Gamma_{\Omega}({\mathcal B}))_{x_ 0};\quad SS_{\Omega}^{m,0}(f)\cap {\dot \pi}^{-1}(x_ 0)=\emptyset \}. \] Here \(SS_{\Omega}^{m,0}\) denotes the boundary wave-front set introduced by Shapira.