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

Murat Akman, John Lewis, Olli Saari, Andrew L Vogel

Research output: Contribution to journalArticle

Abstract

In this article we study two classical problems in convex geometry associated to -harmonic PDEs, quasi-linear elliptic PDEs whose structure is modelled on the p-Laplace equation. Let p be fixed with 2 ≤ n ≤ p <. For a convex compact set E in n, we define and then prove the existence and uniqueness of the so-called -harmonic Green's function for the complement of E with pole at infinity. We then define a quantity C which can be seen as the behavior of this function near infinity. In the first part of this article, we prove that C satisfies the following Brunn-Minkowski-type inequality: [ C (λ E 1 + (1 - λ) E 2) ] 1 p - n ≥ λ [ C (E 1) ] 1 p - n + (1 - λ) [ C (E 2) ] 1 p - n when n < p < 0 ≤ λ ≤ 1, and E 1, E 2 are nonempty convex compact sets in n. While p = n {p=n} then C (λ E 1 + (1 - λ) E 2) ≥ λ C (E 1) + (1 - λ) C (E 2), where 0 ≤ λ ≤ 1 and E 1, E 2 are convex compact sets in n containing at least two points. Moreover, if equality holds in the either of the above inequalities for some E 1 and E 2, then under certain regularity and structural assumptions on we show that these two sets are homothetic. The classical Minkowski problem asks for necessary and sufficient conditions on a non-negative Borel measure on the unit sphere n - 1 to be the surface area measure of a convex compact set in n under the Gauss mapping for the boundary of this convex set. In the second part of this article we study a Minkowski-type problem for a measure associated to the -harmonic Green's function for the complement of a convex compact set E when n ≤ p <. If μ 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. Using the Brunn-Minkowski inequality result from the first part, we also show that this problem has a unique solution up to translation.

Original languageEnglish (US)
JournalAdvances in Calculus of Variations
DOIs
StatePublished - Jan 1 2019

Fingerprint

Brunn-Minkowski Inequality
Harmonic functions
Compact Convex Set
Harmonic Functions
Green's function
Laplace equation
Poles
Complement
Geometry
Infinity
P-Laplace Equation
Convex Geometry
Necessary Conditions
Elliptic PDE
Sufficient Conditions
Borel Measure
Unit Sphere
Surface area
Unique Solution
Convex Sets

Keywords

  • Brunn-Minkowski inequality
  • inequalities and extremum problems
  • Minkowski problem
  • potentials and capacities

ASJC Scopus subject areas

  • Analysis
  • Applied Mathematics

Cite this

The Brunn - Minkowski inequality and a Minkowski problem for -harmonic Green's function. / Akman, Murat; Lewis, John; Saari, Olli; Vogel, Andrew L.

In: Advances in Calculus of Variations, 01.01.2019.

Research output: Contribution to journalArticle

@article{027b11bcc7ec405ea04879fb815c1f9a,
title = "The Brunn - Minkowski inequality and a Minkowski problem for -harmonic Green's function",
abstract = "In this article we study two classical problems in convex geometry associated to -harmonic PDEs, quasi-linear elliptic PDEs whose structure is modelled on the p-Laplace equation. Let p be fixed with 2 ≤ n ≤ p <. For a convex compact set E in n, we define and then prove the existence and uniqueness of the so-called -harmonic Green's function for the complement of E with pole at infinity. We then define a quantity C which can be seen as the behavior of this function near infinity. In the first part of this article, we prove that C satisfies the following Brunn-Minkowski-type inequality: [ C (λ E 1 + (1 - λ) E 2) ] 1 p - n ≥ λ [ C (E 1) ] 1 p - n + (1 - λ) [ C (E 2) ] 1 p - n when n < p < 0 ≤ λ ≤ 1, and E 1, E 2 are nonempty convex compact sets in n. While p = n {p=n} then C (λ E 1 + (1 - λ) E 2) ≥ λ C (E 1) + (1 - λ) C (E 2), where 0 ≤ λ ≤ 1 and E 1, E 2 are convex compact sets in n containing at least two points. Moreover, if equality holds in the either of the above inequalities for some E 1 and E 2, then under certain regularity and structural assumptions on we show that these two sets are homothetic. The classical Minkowski problem asks for necessary and sufficient conditions on a non-negative Borel measure on the unit sphere n - 1 to be the surface area measure of a convex compact set in n under the Gauss mapping for the boundary of this convex set. In the second part of this article we study a Minkowski-type problem for a measure associated to the -harmonic Green's function for the complement of a convex compact set E when n ≤ p <. If μ 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. Using the Brunn-Minkowski inequality result from the first part, we also show that this problem has a unique solution up to translation.",
keywords = "Brunn-Minkowski inequality, inequalities and extremum problems, Minkowski problem, potentials and capacities",
author = "Murat Akman and John Lewis and Olli Saari and Vogel, {Andrew L}",
year = "2019",
month = "1",
day = "1",
doi = "10.1515/acv-2018-0064",
language = "English (US)",
journal = "Advances in Calculus of Variations",
issn = "1864-8258",
publisher = "Walter de Gruyter GmbH & Co. KG",

}

TY - JOUR

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

AU - Akman, Murat

AU - Lewis, John

AU - Saari, Olli

AU - Vogel, Andrew L

PY - 2019/1/1

Y1 - 2019/1/1

N2 - In this article we study two classical problems in convex geometry associated to -harmonic PDEs, quasi-linear elliptic PDEs whose structure is modelled on the p-Laplace equation. Let p be fixed with 2 ≤ n ≤ p <. For a convex compact set E in n, we define and then prove the existence and uniqueness of the so-called -harmonic Green's function for the complement of E with pole at infinity. We then define a quantity C which can be seen as the behavior of this function near infinity. In the first part of this article, we prove that C satisfies the following Brunn-Minkowski-type inequality: [ C (λ E 1 + (1 - λ) E 2) ] 1 p - n ≥ λ [ C (E 1) ] 1 p - n + (1 - λ) [ C (E 2) ] 1 p - n when n < p < 0 ≤ λ ≤ 1, and E 1, E 2 are nonempty convex compact sets in n. While p = n {p=n} then C (λ E 1 + (1 - λ) E 2) ≥ λ C (E 1) + (1 - λ) C (E 2), where 0 ≤ λ ≤ 1 and E 1, E 2 are convex compact sets in n containing at least two points. Moreover, if equality holds in the either of the above inequalities for some E 1 and E 2, then under certain regularity and structural assumptions on we show that these two sets are homothetic. The classical Minkowski problem asks for necessary and sufficient conditions on a non-negative Borel measure on the unit sphere n - 1 to be the surface area measure of a convex compact set in n under the Gauss mapping for the boundary of this convex set. In the second part of this article we study a Minkowski-type problem for a measure associated to the -harmonic Green's function for the complement of a convex compact set E when n ≤ p <. If μ 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. Using the Brunn-Minkowski inequality result from the first part, we also show that this problem has a unique solution up to translation.

AB - In this article we study two classical problems in convex geometry associated to -harmonic PDEs, quasi-linear elliptic PDEs whose structure is modelled on the p-Laplace equation. Let p be fixed with 2 ≤ n ≤ p <. For a convex compact set E in n, we define and then prove the existence and uniqueness of the so-called -harmonic Green's function for the complement of E with pole at infinity. We then define a quantity C which can be seen as the behavior of this function near infinity. In the first part of this article, we prove that C satisfies the following Brunn-Minkowski-type inequality: [ C (λ E 1 + (1 - λ) E 2) ] 1 p - n ≥ λ [ C (E 1) ] 1 p - n + (1 - λ) [ C (E 2) ] 1 p - n when n < p < 0 ≤ λ ≤ 1, and E 1, E 2 are nonempty convex compact sets in n. While p = n {p=n} then C (λ E 1 + (1 - λ) E 2) ≥ λ C (E 1) + (1 - λ) C (E 2), where 0 ≤ λ ≤ 1 and E 1, E 2 are convex compact sets in n containing at least two points. Moreover, if equality holds in the either of the above inequalities for some E 1 and E 2, then under certain regularity and structural assumptions on we show that these two sets are homothetic. The classical Minkowski problem asks for necessary and sufficient conditions on a non-negative Borel measure on the unit sphere n - 1 to be the surface area measure of a convex compact set in n under the Gauss mapping for the boundary of this convex set. In the second part of this article we study a Minkowski-type problem for a measure associated to the -harmonic Green's function for the complement of a convex compact set E when n ≤ p <. If μ 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. Using the Brunn-Minkowski inequality result from the first part, we also show that this problem has a unique solution up to translation.

KW - Brunn-Minkowski inequality

KW - inequalities and extremum problems

KW - Minkowski problem

KW - potentials and capacities

UR - http://www.scopus.com/inward/record.url?scp=85064416295&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85064416295&partnerID=8YFLogxK

U2 - 10.1515/acv-2018-0064

DO - 10.1515/acv-2018-0064

M3 - Article

AN - SCOPUS:85064416295

JO - Advances in Calculus of Variations

JF - Advances in Calculus of Variations

SN - 1864-8258

ER -