Propagation of singularities in the ramified Cauchy problem (Q2759778)

Let \(\Omega=\{(z_1,\ldots,z_n)\in{\mathbb C}^n\); \(|z_i|<r_i\), \(1\leq i\leq n\},\) and let \(P=P(z,D_z)\) be a second-order linear partial differential operator with holomorphic coefficients in \(\Omega,\) whose principal symbol \(P_2(z,(\zeta_1,\zeta'))\) satisfies the following conditions: There exist \(\lambda^i(z,\zeta'),\) \(i=1,2,\) holomorphic near \((0,\nu'=(0,\ldots,0,1)),\) such that \( P_2(z,\zeta)=a(z)(\zeta_1-\lambda^1(z,\zeta')) (\zeta_1-\lambda^2(z,\zeta'))\); \(\partial P_2/\partial\zeta_1|_{\zeta_1=\lambda^1}=0\) on \(\{z_1=0,\zeta'=\nu'\}\); \(\{\zeta_1-\lambda^1(z,\zeta'),a(z)(\zeta_1-\lambda^2(z,\zeta'))\}|_{\zeta_1=\lambda^1,(z,\zeta')=(0,\nu')}\not=0,\) where \(\{\cdot,\cdot\}\) denotes the Poisson bracket. Let moreover \(S=\{z_1=0\}\) and \(T=\{z_1=z_n=0\}.\) Let \(V\subset {\mathbb C}^n\) be open and connected, and let \(u\) be holomorphic at \(z_0\in V\), having a holomorphic extension to the universal covering space \({\mathcal R}(V).\) If \(u\) can be analytically continued up to a point \(\widehat z\) of the boundary \(\partial V\) along any path (resp. some path) issuing from \(z_0,\) entirely contained in \(V\), except for the endpoint \(\widehat z,\) the author says that \(\widehat z\) is a point of strong (resp. weak) analytic continuation of \(u\).NEWLINENEWLINENEWLINEIn the contrary case, he calls it a weak (resp. strong) singular point of \(u.\) Let \(K^1,K^2\) be the characteristic surfaces of \(P\) issuing from \(T.\) Let then \(V=\Omega\setminus(S\cup K^1\cup K^2),\) and let \(u\) be a holomorphic solution, in a neighborhood \(z_0\in V\), to \(Pu=0,\) that has a holomorphic extension to \({\mathcal R}(V).\) In this case, under a suitable so-called indicial condition, the author proves that if \(u\) has a point of strong analytic continuation \(\widehat z\in K^1\cup K^2\) and a point of weak analytic continuation \(a\in(S\setminus T) \cap\Omega,\) then it has a unique holomorphic extension to \(\Omega\). He then provides some examples of applications to the propagation of singularities, and in the end a generalization to higher-order equations.NEWLINENEWLINEFor the entire collection see [Zbl 0969.00056].