Ramified Cauchy problem for a class of Fuchsian operators with tangent characteristics (Q1569019)

The partial differential operator \[ a(x,D)= x_0(D_0+qx_0^{q-1}D_1)D_0+\sum^n _{j= 1}a_j(x)D_j+b(x) \] is considered. It has the characteristic hypersurfaces \(x_0= 0,x_1= 0\) and \(x_1-x_0^q= 0\) and is Fuchsian along \(x_0= 0\). The author investigates the Cauchy problem for \(a(x,D)\) with ramified left-hand side. The ramified Cauchy problem for a class of operators with tangent characteristics was investigated by \textit{C. Wagschal} [J. Math. Pures Appl., IX. Sér. 67, No. 1, 1-21 (1988; Zbl 0686.35033)] who gave an integral representation of the solution by using results of Kobayashi. The author of the paper under review developes this technique. Besides, Urabe, Ouchi and Fujiié investigated a ramified Cauchy problem for the cases where characteristic hypersurfaces are mutually transversal or tangent with a contact of order 1. The author considers the contact of higher order. For a statement of the main theorem we introduce the following notations: \[ T: x_0= x_1= 0, \qquad K_0:x_1= 0, \qquad K_1:x_1-x_0^q= 0. \] Define \(h(x)= -x_0^q/x_1\) for \(x \notin T\). If \(x_1= 0\), we set \(h(x)= \infty\) by convention. We put \[ S= \{x: h(x)= 0\}\cup T,\quad K_0= \{x: h(x)= \infty\}\cup T,\quad K_1= \{x:h(x)= -1\}\cup T. \] The following two subsets have to be introduced: \[ \begin{gathered} A_0= \{x:-1\leq h(x)\leq 0 \text{ or } h(x)= \infty\} \cup T \supset S \cup K_0 \cup K_1, \\ A_1= \{x:h(x) \geq 0 \text{ or } h(x)= \infty \text{ or } h(x)= -1] \cup T \supset S \cup K_0 \cup K_1. \end{gathered} \] The following Cauchy problem is considered: \[ a(x,D)u(x)= v(x),\quad D^j_0 u|_{x_0= 0} \equiv 0 \quad(j= 0,1). \] The author assumes that there exists an open connected neighborhood \(\Omega\) of the origin such that \(v(x)\) is holomorphic in the universal covering space of \(\Omega\setminus (K_0\cup K_1)\). In a neighborhood of \(y \in \Omega \cap(S \setminus T)\), the Cauchy problem admits a unique holomorphic solution. Theorem. There exists an open connected neighborhood \(\mathcal O\) of \(0 \in \mathbb C^{n+1} _x\) such that for \(j= 0,1\), the solution \(u(x)\) extends to the universal covering space of \(\mathcal O \setminus A_j\).