Comparison results for elliptic and parabolic equations via Schwarz symmetrization (Q915950)

Die Autoren präsentieren hier ausführlich die Resultate und deren Beweise, die sie in ihrer Note [C. R. Acad. Sci., Paris, Sér. I 303, 947-950 (1986; Zbl 0602.35008)] angekündigt haben. Im ersten Teil der Arbeit werden allgemeine lineare elliptische Differentialgleichungen der Form \[ (1)\quad - \sum_{i,j}(a_{ij}(x)u_{x_ i})_{x_ j}+\sum_{i}(b_ i(x)u)_{x_ i}+\sum_{i}d_ i(x)u_{x_ i}+c(x)u=f,\quad u\in H^ 1_ 0(\Omega) \] untersucht. Unter den Bedingungen \[ (2)\quad \sum_{i}| b_ i(x)+d_ i(x)|^ 2\leq {\mathbb{R}}^ 2,\quad \sum_{i}(b_ i(x))_{x_ i}+c(x)\geq c_ 0,\quad c_ 0\in L^{\infty}(\Omega) \] oder \[ (3)\quad \sum_{i}b^ 2_ i\leq B^ 2,\quad \sum_{i}d^ 2_ i\leq D^ 2,\quad c(x)\geq 0 \] werden Vergleichsresultate zwischen der Schwarz-Symmetrisierung \(u^*\) von u und einer (als existent vorausgesetzten) radialsymmetrischen Lösung v eines zugehörigen symmetrisierten Dirichletproblems bewiesen. Unter der Voraussetzung (3) bzw. (2) im Falle \(c_ 0\equiv 0\) wird \[ (4)\quad u^*(s)\leq v^*(s),\quad 0\leq s\leq | \Omega | \] gezeigt. Dem Fall \(c_ 0\not\equiv 0\) in Voraussetzung (2) widmen die Autoren besondere Aufmerksamkeit. Zwar ist dann i.a. die punktweise Abschätzung (4) durch eine Ungleichung der Art \[ (5)\quad \int^{s}_{0}\exp (-const \sigma^{1/n})u^*(\sigma)d\sigma \leq \int^{s}_{0}\exp (-const \sigma^{1/n})v^*(\sigma)d\sigma \] zu ersetzen, aufgrund des Termes 0-ter Ordnung genügt jedoch v, im Fall \(c_ 0\geq 0\), i.a. stärkeren Schranken. Im Beweis werden Methoden von \textit{G. Talenti} [Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 697-718 (1976; Zbl 0341.35031), Boll. Unione Mat. Ital., VI. Ser., B 4, 917-949 (1985; Zbl 0602.35025)] weiterentwickelt. Als Stichworte seien genannt: Integration auf Niveaumengen, Koflächenformel von Fleming und Rishel, isoperimetrische Ungleichung von de Giorgi, Hardysche Ungleichung, Gronwallsches Lemma. Herleitung einer gewöhnlichen Differentialungleichung. Im zweiten Teil der Arbeit werden unter entsprechenden Voraussetzungen parabolische Probleme mit allgemeinem zeitabhängigen elliptischen Hauptteil untersucht. Durch Verwendung einer Differenzenquotientenmethode (bzgl. t) können die Ergebnisse des ersten Teils angewendet werden, und man erhält für fast alle Zeiten ein (5) entsprechendes Vergleichsresultat. Im dritten Teil ihrer Arbeit untersuchen die Autoren das nichtlineare Dirichletproblem \[ -\sum_{i,j}(a_{ij}u_{x_ i})_{x_ j}=H(x,\nabla u),\quad u\in H^ 1_ 0(\Omega)\cap L^{\infty}(\Omega). \] Dabei ist für H maximal quadratisches Wachstum in \(\nabla u\) zugelassen. Sie zeigen ein punktweises Vergleichsresultat zwischen der Schwarz-Symmetrisierung von u und der Lösung eines symmetrisierten Dirichletproblems, sowie eine Integralrelation für die entsprechenden Gradienten. Schließlich deuten die Autoren die Verallgemeinerungen ihrer Resultate an, die sich ohne größere Mühe erreichen lassen.