Convex symmetrization and applications
type: Item
instance of: scholarly article
title: Convex symmetrization and applications
zbMATH Open document ID: 0877.35040
DOI: 10.1016/S0294-1449(97)80147-3
author: Angelo Alvino
author: Vincenzo Ferone
author: Guido Trombetti
author: P.-L. Lions
published in: Annales de l'Institut Henri Poincaré. Analyse Non Linéaire
publication date: 1997-12-08T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/78411
review text: The paper deals with the following problem: How to replace a function \(u\in W^1_0(\mathbb{R}^n)\) with a ``symmetrized'' function \(u^*\) in order to have \[ \int(H(Du))^2dx\geq \int(H(Du^*))^2dx, \] where \(H:\mathbb{R}^n\to[0,\infty)\) is a convex function positively homogeneous of degree 1. It is well-known that, when \(H(\xi)=|\xi|\) then one can use Schwarz symmetrization to decrease the corresponding integral. For a general \(H(\xi)\), the authors consider the convex set \(K=\{x: H(x)\leq 1\}\), with \(H\) normalized so that the measure of \(K\) equals that of the unit ball in \(\mathbb{R}^n\). For a function \(u\in W^1_0(\mathbb{R}^n)\), its rearrangement with respect to \(H\) is defined as a function \(u^*\) whose level sets have the same measure of the corresponding level sets of \(u\) and are homothetic to \(K^0\), the polar set to \(K\). In this kind of ``symmetrization'', the convex set \(K^0\) plays the role of a ball in the Schwarz symmetrization. In the first part of the paper, a generalized perimeter \(P_H(E;\mathbb{R}^n)\) of a set \(E\) with respect to \(H\) is introduced. Then, the isoperimetric inequality \[ P_H(E;\mathbb{R}^n)\geq n|K^0|^{{1/n}}|E|^{1-{1/n}} \] is proved. In the second part, the Pólya-Szegö principle is obtained in the following form: for \(u\in W^{1,p}_0(\mathbb{R}^n)\), \(p\geq 1\), one has \[ \int H^p(Du)dx\geq \int H^p(Du^*)dx. \] In the last part, some applications are included. One example is the following. Let \(u\in W^1_0(\Omega)\) be a solution to the equation \(-(a_i(Du))_{x_i}= f\) in \(\Omega\), with \(a_i(\xi)\xi_i\geq (H(\xi))^2\), and let \(w\) satisfy \(-(H(Dw)H_{\xi_i}(Dw))_{x_i}= f^*\) in \(\Omega^*\), \(w=0\) on \(\partial\Omega^*\), where \(f^*\) is the rearrangement of \(f\) with respect to \(H\) and \(\Omega^*\) is the set homothetic to \(K^0\) and with the same measure as \(\Omega\). Then, the solution \(u(x)\), after symmetrization with respect to \(H\), satisfies \(u^*(x)\leq w(x)\).
Mathematics Subject Classification ID: 35J60
Mathematics Subject Classification ID: 35B45
Mathematics Subject Classification ID: 35B05
zbMATH DE Number: 1013374
zbMATH Keywords: symmetrization
zbMATH Keywords: isoperimetric inequality
zbMATH Keywords: rearrangement
reviewed by: Giovanni Porru
MaRDI profile type: Publication
cites work: Q4022480
cites work: Comparison results for elliptic and parabolic equations via Schwarz symmetrization
cites work: A notion of total variation depending on a metric with discontinuous coefficients
cites work: On symmetrizations in parabolic equations
cites work: Q4763949
cites work: Q4039749
cites work: The Isoperimetric Problem for Minkowski Area
cites work: Su una teoria generale della misura \((r-1)\)-dimensionale in uno spazio ad \(r\) dimensioni
cites work: Q4021247
cites work: An inequality concerning rearrangements of functions and Hamilton-Jacobi equations
cites work: Symmetrization in a class of first-order Hamilton- Jacobi equations
cites work: Q3334514
cites work: Q3954445
cites work: Q3961832
cites work: Q4693168
cites work: Q3797593
cites work: Q3284383
cites work: Q5638112
cites work: Best constant in Sobolev inequality
cites work: Q4108681
cites work: Nonlinear elliptic equations, rearrangements of functions and Orlicz spaces
Wikidata QID: Q127797914
description: scientific article; zbMATH DE number 1013374