No label defined (Q3977166)

The main result of this note is the following theorem: Suppose the coefficients of the operator \[ {\mathcal L}u(x,y) \equiv k(y)u_{xx}- u_{yy}+a(x,y)u_ x+ b(x,y)u_ y + c(x,y)u=f(x,y), \] where \(k(y)=[\text{sgn} (y)+1]/2\), satisfy the conditions \(a,a_ x,b,b_ x\), \(c \in L_ \infty(D)\), \(\text{ess inf}_{(x,y) \in D^ -}a(x,y) \geq \mu>0\). Then there exists a unique solution of the Tricomi problem \[ {\mathcal L}u(x,y)=f(x,y),u |_{AC}=\psi(y),\;u |_{MA} = \varphi_ 1(y),\;u |_{MN}=\varphi_ 2(x), \] \[ f(x,y) \in L_ 2(D),\;\varphi(y) \in L_ 2(0,d/2), \varphi_ 1(y) \in L_ 1(-1,0),\;\varphi_ 2(x) \in L_ 2(0,d), \] for which an a priori estimate holds.