A comparison result related to Gauss measure

Betta, M.Francesca; Brock, Friedman; Mercaldo, Anna; Posteraro, M.Rosaria

Comptes Rendus. Mathématique, Tome 334 (2002) no. 6, pp. 451-456.

Dans cette note on démontre un résultat de comparaison pour les solutions faibles de problèmes elliptiques linéaires du type

$$-{\left({\mathrm{a}}_{\mathrm{ij}}\left(\mathrm{x}\right){\mathrm{u}}_{x_i}\right)}_{x_j}=\mathrm{f}\left(\mathrm{x}\right)\varphi \left(\mathrm{x}\right)\mathrm{dans}\Omega ,\mathrm{u}=0\mathrm{sur}\partial \Omega ,$$

où $\Omega$ est un ouvert de ${ℝ}^n$ (n⩾2), ϕ(x)=(2π)^−n/2exp(−|x|²/2), a_ij(x) sont des fonctions mesurables telles que a_ij(x)ξ_iξ_j⩾ϕ(x)|ξ|² p.p. $\mathrm{x}\in \Omega$, $\xi \in {ℝ}^n$ et f(x) est une fonction mesurable telle qu'il existe une solution u de (0.1), dans ${\mathrm{H}}_0^1(\varphi ,\Omega )$. On utilise la notion de rearrangement relatif à la mesure de Gauss pour comparer u(x) avec la solution d'un problème du même type, dont les données sont définies dans un demi plan et dépendent d'une variable seulement.

In this paper we prove a comparison result for weak solutions to linear elliptic problems of the type

$$-{\left({\mathrm{a}}_{\mathrm{ij}}\left(\mathrm{x}\right){\mathrm{u}}_{x_i}\right)}_{x_j}=\mathrm{f}\left(\mathrm{x}\right)\varphi \left(\mathrm{x}\right)\mathrm{in}\Omega ,\mathrm{u}=0\mathrm{on}\partial \Omega ,$$

where $\Omega$ is an open set of ${ℝ}^n$ (n⩾2), ϕ(x)=(2π)^−n/2exp(−|x|²/2), a_ij(x) are measurable functions such that a_ij(x)ξ_iξ_j⩾ϕ(x)|ξ|² a.e. $\mathrm{x}\in \Omega$, $\xi \in {ℝ}^n$ and f(x) is a measurable function taken in order to guarantee the existence of a solution $\mathrm{u}\in {\mathrm{H}}_0^1(\varphi ,\Omega )$ of (1.1). We use the notion of rearrangement related to Gauss measure to compare u(x) with the solution of a problem of the same type, whose data are defined in a half-space and depend only on one variable.

[1] Alvino, A.; Lions, P.-L.; Trombetti, G. Comparison results for elliptic and parabolic equations via Schwarz symmetrization, Ann. Inst. H. Poincaré Anal. Non Linéaire, Volume 7 (1990), pp. 37-65

[2] Alvino, A.; Trombetti, G. Sulle migliori costanti di maggiorazione per una classe di equazioni ellittiche degeneri, Ricerche Mat., Volume 27 (1978), pp. 413-428

[3] Betta, M.F.; Brock, F.; Mercaldo, A.; Posteraro, M.R. A weighted isoperimetric inequality and application to symmetrization, J. Inequal. Appl., Volume 4 (1999), pp. 215-240

[4] M.F. Betta, F. Brock, A. Mercaldo, M.R. Posteraro, Weighted isoperimetric inequalities and comparison results for elliptic equations, in preparation

[5] Ehrhard, A. Éléments extremaux pour les inégalités de Brunn–Minkowski gaussennes, Ann. Inst. H. Poincaré Anal. Non Linéaire, Volume 22 (1986), pp. 149-168

[6] Federer, H. Geometric Measure Theory, Grundlehren Math. Wiss., 153, Springer-Verlag, 1969

[7] Rakotoson, J.M.; Simon, B. Relative rearrangement on a measure space. Application to the regularity of weighted monotone rearrangement. Part 1–Part 2, Rev. Real Acad. Cienc. Exact. Fis. Natur Madrid, Volume 91 (1997), pp. 17-31 (33–45)

[8] Talenti, G. Linear elliptic P.D.E.'s: Level sets, rearrangements and a priori estimates of solutions, Boll. Un. Mat. Ital. B, Volume 4 (1985), pp. 917-949

[9] Talenti, G. A weighted version of a rearrangement inequality, Ann. Univ. Ferrara Sez. VII (N.S.), Volume 43 (1997), pp. 121-133

[10] Trombetti, G. Metodi di simmetrizzazione nelle equazioni a derivate parziali, Boll. Un. Mat. Ital. B, Volume 3 (2000), pp. 601-634

[11] Trudinger, N.S. Linear elliptic operators with measurable coefficients, Ann. Scuola Norm. Sup. Pisa, Volume 27 (1973), pp. 265-308