No label defined (Q3978628)

The Gellerstedt equation is \[ Lu:=\hbox{sgn} y| y|^ mu_{xx}+u_{yy}=f(x,y) \leqno (1) \] \(m\geq 0\). Let \(\Omega\subset R^ 2\) be a bounded domain whose boundary consists of a Lyapunov curve \(\sigma\) in \(y>0\), and of curves \(AC\) and \(BC\) in \(y<0\). Here \(AC\) and \(BC\) are characteristics of eq. (1), \[ AC:x-{2\over m+2}(-y)^{{m+2\over 2}}=0;\quad BC:x+{2\over m+2}(-y)^{{m+2\over 2}}=1. \] The Tricomi problem is formulated as to find the solution of eq.(1) subject to the boundary condition (2) \(u\mid_{AC\cup\sigma}=0\). The author investigates the conditions for the existence of a strong solution. A function \(u(x,y)\in L_ 2(\Omega)\) is called a strong solution of the Tricomi problem if there exists a sequence \(\{u_ n(x,y)\in C_ L\}\) such that \[ \lim_{n\to\infty}| u_ n-u|_{L_ 2(\Omega)}=0,\quad \lim_{n\to\infty}| Lu_ n-f|_{L_ 2(\Omega)}=0, \] and the class \(C_ L\) is defined as \[ C_ L=\{u(x,y):u(x,y)\in C^ 1(\overline\Omega)\cap C^ 2(\Omega),\quad u\mid_{AC\cup\sigma}=0,\quad Lu\in L_ 2(\Omega)\}. \] The following theorem is the main result of the paper: For any \(f(x,y)\in L_ 2(\Omega)\) there exists a unique strong solution of the Tricomi problem if and only if \(\gamma_ \delta \leq\pi/2\) holds true, where \[ \gamma_ \delta=\begin{cases}\text{arctg}(2\delta)^{-1} & \text{for }\delta\geq 0\\ {\pi\over 2}+\text{arctg}(2|\delta|)\quad & \text{for }\delta\leq 0\end{cases} . \]