Problem of Tricomi for the many-dimensional Lavrent'ev-Bitsadze equation (Q1176890)

The author shows the unique solvability of the Tricomi-problem for the multidimensional Lavrent'ev-Bitsadze equation: \[ \Delta_ xu+\hbox{sgn} t\cdot u_{tt}=0, x=(x_ 1,\ldots,x_ m), m\geq2 \leqno (1) \] Let \(\Omega_ \varepsilon\) be a finite domain in \(E_{m+1}\) bounded by the surfaces \(T_ \varepsilon:\rho^ 2+t^ 2+\varepsilon=(1+\varepsilon)\;\rho(t>0)\); \(S_ \varepsilon:\rho=\varepsilon-t\) and \(S_ 1:\rho=1+t (0\geq t\geq(\varepsilon-1)/2)\), where \(0<\varepsilon<1\), \(m\geq2\), and \(\rho=| x|\). Let \(S^ \varepsilon=\{t=0,\varepsilon<\rho<1\}\), \(\tilde S^ \varepsilon=\{t=0\), \(\varepsilon<\rho<(\varepsilon+1)/2\}\), \(\Omega^ +_ \varepsilon=\Omega_ \varepsilon\cap\{t>0\}\), \(\Omega^ -_ \varepsilon=\Omega_ \varepsilon\cap\{t<0\}\), and \(L(\Omega_ \varepsilon)=C(\overline\Omega_ \varepsilon)\cap C^ 2(\Omega^ +_ \varepsilon\cup\Omega^ -_ \varepsilon)\). Tricomi-problem (T-Pr): Find the solution \(u\in L(\Omega_ \varepsilon)\) of the equation (1) defined in the domain \(\Omega_ \varepsilon\) satisfying the boundary conditions \(u|_{T_ \varepsilon}=\varphi(x)\), \(u|_{s_ \varepsilon}=\sigma_ \varepsilon(x)\) or \(u|_{T_ \varepsilon}=\varphi(x)\), \(u|_{s_ 1}=\sigma_ 1(x)\). He defines two classes of functions \(B_ 0^ \ell (S^ \varepsilon)(\subset W^ \ell_ 2(S^ \varepsilon))\) and \(B_ 1^ \ell (\tilde S^ \varepsilon)(\subset W^ \ell_ 2(\tilde S^ \varepsilon))\) derived from the expansion by the spherical functions \(\{Y^ k_{nm}(\theta)\}\), and the class \(L_ \alpha(\Omega_ \varepsilon)=\{u(x,t)\); \(u(x,0)=(| x|-\sqrt\varepsilon)^ \alpha u(x,0)\}\), and proves the Theorem: If \(\varphi(\rho,\theta)\in B^ \ell_ 0(S^ \varepsilon)\), and if \(\sigma_ \varepsilon(\rho,\theta)\in B^ \ell_ 1(\tilde S^ \varepsilon)\) or \(\sigma_ 1(\rho,\theta)\in B_ 1^ \ell(S^ \varepsilon\backslash\tilde S^ \varepsilon)\), then T-Pr has the unique solution in the class \(L_ \alpha(\Omega_ \varepsilon)\). Since \(u(\rho,\theta,0)=\tau(\rho,\theta)\in B_ 1^ \ell(S^ \varepsilon)\) is uniquely found, \(T-Pr\) leads to the uniquely solved Darboux-problem for the equation (1) in the domain \(\Omega^ -_ \varepsilon\) with the boundary condition \(u|_{S^ \varepsilon}=\tau(x)\), \(u|_{S_ \varepsilon}=\sigma_ \varepsilon(x)\) or \(u|_{S^ \varepsilon}=\tau(x)\), \(u|_{S_ 1}=\sigma_ 1(x)\).