The existence of generalized solutions for a class of quasi-linear equations of mixed type (Q1075526)

Sei \[ L[u]=k(y)u_{xx}+u_{yy}+c_ 1(x,y)u-| u|^{\rho}u\quad (sgn k=sgn y,\quad \rho >0) \] bzw. allgemeiner \[ L[u]=k(y)u_{xx}+u_{yy}+(a(x,y,u)u)_ x+(b(x,y,u)u)_ y+c(x,y,u)u \] in einem einfach zusammenhängenden Gebiet \(G\subset {\mathbb{R}}^ 2\) berandet in \(y>0\) durch eine stückweise glatte Kurve \(\Gamma_ 0\), die A(-1,0) mit B(0,0) verbindet, und in \(y<0\) durch eine von A ausgehende stückweise glatte Kurve \(\Gamma_ 1\) mit \(k(y)n^ 2_ 1+n^ 2_ 2|_{\Gamma_ 1}\geq 0\), \(n_ 1|_{\Gamma_ 1}>0\) \(((n_ 1,n_ 2)\) innere Normale) und die von B ausgehende Charakteristik \(\Gamma_ 2\), die \(\Gamma_ 1\) in C schneidet. Gesucht sind hinreichende Bedingungen für die Existenz einer verallgemeinerten Lösung von \(L[u]=f(x,y,u)\) in G, \(u|_{\Gamma_ 0\cup \Gamma_ 1}=0\), d.h. ein \(u\in H_ 1(bd,k)\cap L_{\nu}(G)\) mit \[ B[u,v]=- \int_{G}\{k(y)u_ xv_ x+...\}dx dy=\int_{G}f(x,y,u)vdx dy \] für alle \(v\in H_ 1(bd^*,k)\cap L_{\nu '}(G)\), \(H_ 1(bd,k)\) Abschluß von \(\{u\in C^{\infty}(\bar G)| \quad u|_{\Gamma_ 0\cup \Gamma_ 1}=0\}\) in \(\| u\|_{1,k}=\int_{G}(| k| u^ 2_ x+u^ 2_ y+u^ 2)dx dy.\) Hierzu wird \(u^ r=\sum^{r}_{i=1}c_{ir} \phi^ i\) angesetzt und eine a-priori-Abschätzung der Form \(\| u^ r\|^ 2_{H_ 1(bd,k)}+\| u^ r\|^ 2_{L_ p(G)}\leq C\) für alle \(r\in {\mathbb{N}}\) hergeleitet, mit deren Hilfe auf die Existenz einer verallgemeinerten Lösung geschlossen werden kann. Es ergeben sich Forderungen an die Koeffizienten von L und an f.