The Brunn-Minkowski inequality and a Minkowski problem for A -harmonic Green's function

\(\mathcal{A}\)-harmonic Green's function \(\mathcal{A}\)-harmonic PDEs Brunn-Minkowski inequality Hadamard variational formula inequalities and extremum problems Minkowski problem potentials and capacities variational formula

Mathematics Subject Classification ID

Potentials and capacities, extremal length and related notions in higher dimensions (31B15) Variational methods for second-order elliptic equations (35J20) Nonlinear elliptic equations (35J60) Quasilinear elliptic equations with (p)-Laplacian (35J92) Functional inequalities, including subadditivity, convexity, etc. (39B62) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Inequalities and extremum problems involving convexity in convex geometry (52A40)

Abstract: In this article we study two classical problems in convex geometry associated to

m a t h c a l A

-harmonic PDEs, quasi-linear elliptic PDEs whose structure is modeled on the

p

-Laplace equation. Let

p

be fixed with

2 l e q n l e q p < i n f t y

. For a convex compact set

E

in

m a t h b b R^{n}

, we define and then prove the existence and uniqueness of the so called

m a t h c a l A

-harmonic Green's function for the complement of

E

with pole at infinity. We then define a quantity

m b o x C_{m a t h c a l A} (E)

which can be seen as the behavior of this function near infinity. In the first part of this article, we prove that

m b o x C_{m a t h c a l A} (c d o t)

satisfies the following Brunn-Minkowski type inequality [ left[mbox{C}_mathcal{A} ( lambda E_1 + (1-lambda) E_2 ) ight]^{frac{1}{p-n}} geq lambda , left[mbox{C}_mathcal{A} ( E_1 ) ight]^{frac{1}{p-n}} + (1-lambda) left[mbox{C}_mathcal{A} (E_2 ) ight]^{frac{1}{p-n}} ] when

n < p < i n f t y

,

0 l e q l a m b d a l e q 1

, and

E_{1}, E_{2}

are nonempty convex compact sets in

m a t h b b R^{n}

. We also show that

m b o x C_{m} a t h c a l A (c d o t)

satisfies a similar inequality when

p = n

. Moreover, if equality holds in the either of these inequalities for some

E_{1}

and

E_{2}

then under certain regularity and structural assumptions on

m a t h c a l A

we show that these two sets are homothetic. In the second part of this article we study a Minkowski type problem for a measure associated to the

m a t h c a l A

-harmonic Green's function for the complement of a convex compact set

E

when

n l e q p < i n f t y

. If

m u_{E}

denotes this measure, then we show that necessary and sufficient conditions for existence under this setting are exactly the same conditions as in the classical Minkowski problem. We also show that this problem has a unique solution up to translation.

Review text

In this interesting paper the authors consider two problems in convex geometry associated to \(\mathcal{A}\)-harmonic PDEs: the Brunn-Minkowski inequality, and a Minkowski problem for the \(\mathcal{A}\)-harmonic Green's function. Starting with the Brunn-Minkowski inequality, fix \(2\le n\le p<\infty\) and let \(E\subset\mathbb{R}^n\) be a convex, compact set. The authors define and prove the existence and uniqueness of the \(\mathcal{A}\)-harmonic Green's function for the complement of \(E\) with pole at infinity. The authors also define a notion of capacity -- a quantity \(C_{\mathcal{A}}(E)\), which can be seen as the behavior of this function near infinity -- and prove that \(C_{\mathcal{A}}(\cdot)\) satisfies the following Brunn-Minkowski-type inequality: \[ \left(C_{\mathcal{A}}(\lambda E_1+(1-\lambda)E_2)\right)^{\frac{1}{p-n}}\ge \lambda(C_{\mathcal{A}}(E_1))^{\frac{1}{p-n}}+(1-\lambda)(C_{\mathcal{A}}(E_2))^{\frac{1}{p-n}}, \] where \(n<p<\infty\), \(0\le\lambda\le 1\), and \(E_1,E_2\) are nonempty, convex, compact subsets in \(\mathbb{R}^n\). When \(p=n\), the authors show \[ C_{\mathcal{A}}(\lambda E_1+(1-\lambda)E_2)\ge \lambda C_{\mathcal{A}}(E_1)+(1-\lambda)C_{\mathcal{A}}(E_2),\] where \(0\le \lambda\le 1\) and \(E_1,E_2\) are convex, compact subsets in \(\mathbb{R}^n\) containing at least two points. Additionally, it is shown that if equality holds in either of the two inequalities for some \(E_1\) and \(E_2\), then under assumptions on \(\mathcal{A}\), the two sets are homothetic. In the second part of the paper the authors consider a Minkowski-type problem for a measure associated to the \(\mathcal{A}\)-harmonic Green's function for the complement of a convex, compact set \(E\), when \(n\le p<\infty\). Denoting the measure by \(\mu_{E}\), the authors prove that necessary and sufficient conditions for existence, in their setting, are actually exactly the same conditions as in the classical Minkowski problem. As a consequence of the Brunn-Minkowski inequality obtained in the first part of the paper, the authors show that this problem has a unique solution up to translation.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: The Brunn-Minkowski inequality and a Minkowski problem for \(\mathcal{A} \)-harmonic Green's function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831233)