﻿ Extremal Problems Related to Dual Gauss-John Position

Journal of Applied Mathematics and Physics
Vol.06 No.12(2018), Article ID:89414,11 pages
10.4236/jamp.2018.612216

Extremal Problems Related to Dual Gauss-John Position

Tongyi Ma

College of Mathematics and Statistics, Hexi University, Zhangye, China    Received: December 4, 2018; Accepted: December 23, 2018; Published: December 26, 2018

ABSTRACT

In this paper, the extremal problem, $\mathrm{min}\left\{{\stackrel{˜}{l}}_{p}\left(\varphi K\right):o\in \varphi K\subseteq L,\varphi \in \text{GL}\left(n\right)\right\}$ , of two convex bodies K and L in ${ℝ}^{n}$ is considered. For K to be in extremal position in terms of a decomposition of the identity, give necessary conditions together with the optimization theorem of John. Besides, we also consider the weaker optimization problem: $\mathrm{min}\left\{{\left({\stackrel{˜}{l}}_{p}\left(\varphi K\right)\right)}^{p}:\varphi K\subseteq {B}_{2}^{n},\varphi K\cap {S}^{n-1}\ne \varnothing ,\varphi \in \text{GL}\left(n\right)\right\}$. As an application, we give the geometric distance between the unit ball ${B}_{2}^{n}$ and a centrally symmetric convex body K.

Keywords:

Dual Gauss-John Position, Optimization Theorem of John, Dual ${\stackrel{˜}{l}}_{p}$ -Norm, Contact Pair 1. Introduction

Let ${\gamma }_{n}$ be the classical Gaussian probability measure with density $\frac{1}{{\left(\sqrt{2\pi }\right)}^{n}}{e}^{-\frac{|x{|}^{2}}{2}}$ ,

and $||\cdot |{|}_{K}$ is the Minkowski functional of a convex body $K\subset {ℝ}^{n}$. An important quantity on local theory of Banach space is the associated l-norm:

$l\left(K\right)={\int }_{{ℝ}^{n}}||x|{|}_{K}\text{d}{\gamma }_{n}\left(x\right).$

The minimum of the functional

${\int }_{{ℝ}^{n}}{‖x‖}_{\varphi K}\text{d}{\gamma }_{n}\left(x\right)$

under the constraint $\varphi K\subseteq {B}_{2}^{n}$ is attained for $\varphi ={I}_{n}$ , then a convex body K is in the Gauss-John position, where $\varphi \in \text{GL}\left(n\right)$ , ${B}_{2}^{n}$ is the Euclidean unit ball and ${I}_{n}$ is the identity mapping from ${ℝ}^{n}$ to ${ℝ}^{n}$.

For $x\in {ℝ}^{n}\\left\{o\right\}$ , the map $x\otimes x:{ℝ}^{n}\to {ℝ}^{n}$ is the rank 1 linear operator $y↦〈x,y〉x$.

Giannopoulos et al. in  showed that if K is in the Gauss-John position, then there exist $m\le n\left(n+1\right)/2$ contact points ${x}_{1},{x}_{2},\cdots ,{x}_{m}\in \partial K\cap {S}^{n-1}$ , and constants ${c}_{1},{c}_{2},\cdots ,{c}_{m}>0$ such that $\underset{i=1}{\overset{m}{\sum }}{c}_{i}=1$ and

${\int }_{{ℝ}^{n}}\left(x\otimes x-{I}_{n}\right)||x|{|}_{K}\text{d}{\gamma }_{n}\left(x\right)={\int }_{{ℝ}^{n}}||x|{|}_{K}\text{d}{\gamma }_{n}\left(x\right)\left(\underset{i=1}{\overset{m}{\sum }}{c}_{i}{x}_{i}\otimes {x}_{i}\right).$

Note that the Gauss-John position is not equivalent to the classical John position. Giannopoulos et al.  pointed out that, when K is in the Gauss-John position, the distance between the unit ball ${B}_{2}^{n}$ and the John ellipsoid is of order $\sqrt{n/\mathrm{log}n}$.

Notice that the study of the classical John theorem went back to John . It states that each convex body K contains a unique ellipsoid of maximal volume, and when ${B}_{2}^{n}$ is the maximal ellipsoid in K, it can be characterized by points of contact between the boundary of K and that of ${B}_{2}^{n}$. John’s theorem also holds for arbitrary centrally symmetric convex bodies, which was proved by Lewis  and Milman . It was provided in  that a generalization of John’s theorem for the maximal volume position of two arbitrary smooth convex bodies. Bastero and Romance  proved another version of John’s representation removing smoothness condition but with assumptions of connectedness. For more information about the study of its extensions and applications, please see -.

Recall that a convex body $\stackrel{˜}{K}$ is a position of K if $\stackrel{˜}{K}=\varphi K+a$ , for some non-degenerate linear mapping $\varphi \in \text{GL}\left(n\right)$ and some $a\in {ℝ}^{n}$. We say that K is in a position of maximal volume in L if $K\subseteq L$ and for any position $\stackrel{˜}{K}$ of K such that $\stackrel{˜}{K}\subseteq L$ we have ${\text{vol}}_{n}\left(\stackrel{˜}{K}\right)\le {\text{vol}}_{n}\left(K\right)$ , where ${\text{vol}}_{n}\left(\cdot \right)$ denotes the volume of appropriate dimension.

Recently, Li and Leng in  generalized the Gauss-John position to a general situation. For $p\ge 1$ , denote ${l}_{p}$ -norm by

${l}_{p}\left(K\right)={\left({\int }_{{ℝ}^{n}}||x|{|}_{K}^{p}\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}}.$ (1.1)

They consider the following extremal problem:

$\mathrm{min}\left\{{l}_{p}\left(\varphi K\right):o\in \varphi K\subseteq L,\varphi \in \text{GL}\left(n\right)\right\},$ (1.2)

where L is a given convex body in ${ℝ}^{n}$ and K is a convex body containing the origin o such that $o\in K\subseteq L$.

Li and Leng  showed that let L be a given convex body in ${ℝ}^{n}$ and K be a convex body such that $o\in K\subseteq L$. If K is in extremal position of (1.2), then there exist $m\le {n}^{2}$ contact pairs ${\left({x}_{i},{y}_{i}\right)}_{1\le i\le m}$ of $\left(K,L\right)$ , and constants ${c}_{1},{c}_{2},\cdots ,\cdots ,{c}_{m}>0$ such that

${I}_{n}={\int }_{{ℝ}^{n}}\left(x\otimes x\right)\text{d}\mu \left(x\right)-p\underset{i=1}{\overset{m}{\sum }}{c}_{i}{x}_{i}\otimes {y}_{i},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\underset{i=1}{\overset{m}{\sum }}{c}_{i}=1,$

where $\text{d}\mu \left(x\right)$ is the probability measure on ${ℝ}^{n}$ with normalized density

$\text{d}\mu \left(x\right)=||x|{|}_{K}^{p}\text{d}{\gamma }_{n}\left(x\right)/{\left({l}_{p}\left(K\right)\right)}^{p}.$

In this paper, we first present a dual concept of ${l}_{p}$ -norm ${l}_{p}\left(K\right)$. The generalizations of John’s theorem and Li and Leng  play a critical role. It would be impossible to overstate our reliance on their work.

For $p\ge 1$ , we define the dual ${\stackrel{˜}{l}}_{p}$ -norm of convex body K by

${\stackrel{˜}{l}}_{p}\left(K\right)={\left({\int }_{{ℝ}^{n}}{\rho }_{K}{\left(x\right)}^{p}\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}},$ (1.3)

where ${\rho }_{K}$ is the radial function of the star body K about the origin.

Now, we consider the extremal problem:

$\mathrm{min}\left\{{\stackrel{˜}{l}}_{p}\left(\varphi K\right):o\in \varphi K\subseteq L,\varphi \in \text{GL}\left(n\right)\right\},$ (1.4)

where L is a given convex body in ${ℝ}^{n}$ and K is a convex body containing the origin o such that $o\in K\subseteq L$.

Then we prove that the necessary conditions for K to be in extremal position in terms of a decomposition of the identity.

Theorem 1.1. Let L be a given convex body in ${ℝ}^{n}$ and K be a convex body such that $o\in K\subseteq L$. If K is in extremal position of (1.4), then there exist $m\le {n}^{2}$ contact pairs ${\left({x}_{i},{y}_{i}\right)}_{1\le i\le m}$ of $\left(K,L\right)$ , and ${c}_{1},{c}_{2},\cdots ,{c}_{m}>0$ such that

${I}_{n}={\int }_{{ℝ}^{n}}\left(x\otimes x\right)\text{d}\stackrel{˜}{\mu }\left(x\right)-p\underset{i=1}{\overset{m}{\sum }}{c}_{i}{x}_{i}\otimes {y}_{i},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\underset{i=1}{\overset{m}{\sum }}{c}_{i}=1,$

where $\text{d}\stackrel{˜}{\mu }\left(x\right)$ is the probability measure on ${ℝ}^{n}$ with normalized density

$\text{d}\stackrel{˜}{\mu }\left(x\right)=||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)/{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}.$

Next the following result is obtained, which is an restriction that is weaker than the extremal problem (1.4):

$\mathrm{min}\left\{{\left({\stackrel{˜}{l}}_{p}\left(\varphi K\right)\right)}^{p}:\varphi K\subseteq {B}_{2}^{n},\varphi K\cap {S}^{n-1}\ne \varnothing ,\varphi \in \text{GL}\left(n\right)\right\}.$ (1.5)

Theoren 1.2. Let K be a given convex body in ${ℝ}^{n}$. If ${I}_{n}$ is the solution of the extremal problem (1.5), then there exist contact points $u,{u}^{\prime }$ of K and ${B}_{2}^{n}$ such that

${〈{u}^{\prime },\theta 〉}^{2}\le {\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}{\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p-1}〈\nabla {h}_{{K}^{o}}\left(x\right),\theta 〉〈x,\theta 〉d{\gamma }_{n}\left(x\right)\le {〈u,\theta 〉}^{2},$ (1.6)

for every $\theta \in {S}^{n-1}$.

The rest of this paper is organized as follows: In Section 2, some basic notation and preliminaries are provided. We prove Theorem 1.1 and Theorem 1.2 in Section 3. In particular, as an application of the extremal problem of

$\mathrm{min}\left\{{\left({\stackrel{˜}{l}}_{p}\left(\varphi K\right)\right)}^{p}:o\in \varphi K\subseteq {B}_{2}^{n},\varphi \in \text{GL}\left(n\right)\right\},$ (1.7)

Section 3 shows the geometric distance between the unit ball ${B}_{2}^{n}$ and a centrally symmetric convex body K.

2. Notation and Preliminaries

In this section, we present some basic concepts and various facts that are needed in our investigations. We shall work in ${ℝ}^{n}$ equipped with the canonical Euclidean scalar product $〈\cdot ,\cdot 〉$ and write $|\cdot |$ for the corresponding Euclidean norm. We denote the unit sphere by ${S}^{n-1}$.

Let K be a convex body (compact, convex sets with non-empty interiors) in ${ℝ}^{n}$. The support function of K is defined by

${h}_{K}\left(x\right)=\mathrm{max}\left\{〈x,y〉:y\in K\right\},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}x\in {ℝ}^{n}.$

Obviously, ${h}_{\varphi K}\left(x\right)={h}_{K}\left({\varphi }^{t}x\right)$ for $\varphi \in \text{GL}\left(n\right)$ , where ${\varphi }^{t}$ denotes the transpose of $\varphi$.

A set $K\subset {ℝ}^{n}$ is said to be a star body about the origin, if the line segment from the origin to any point $x\in K$ is contained in K and K has continuous and positive radial function ${\rho }_{K}\left(\cdot \right)$. Here, the radial function of $K,\text{\hspace{0.17em}}{\rho }_{K}:\text{\hspace{0.17em}}{S}^{n-1}\to \left[0,\infty \right)$ , is defined by

${\rho }_{K}\left(u\right)=\mathrm{max}\left\{\lambda :\lambda u\in K\right\}.$

Note that if K be a star body (about the origin) in ${ℝ}^{n}$ , then K can be uniquely determined by its radial function ${\rho }_{K}\left(\cdot \right)$ and vice verse. If $\alpha >0$ , we have

${\rho }_{K}\left(\alpha x\right)={\alpha }^{-1}{\rho }_{K}\left(x\right)$ and ${\rho }_{\alpha K}\left(x\right)=\alpha {\rho }_{K}\left(x\right).$

More generally, from the definition of the radial function it follows immediately that for $\varphi \in \text{GL}\left(n\right)$ the radial function of the image $\varphi K=\left\{\varphi y:y\in K\right\}$ of star body K is given by ${\rho }_{\varphi K}\left(x\right)={\rho }_{K}\left({\varphi }^{-1}x\right)$ , for all $x\in {ℝ}^{n}$.

If $K,L\in {\mathcal{S}}_{o}^{n}$ and $\lambda ,\mu \ge 0$ (not both zero), then for $p>0$ , the ${L}_{p}$ -radial combination, $\lambda K{\stackrel{˜}{+}}_{p}\mu L\in {\mathcal{S}}_{o}^{n}$ , is defined by (see )

$\rho {\left(\lambda K{\stackrel{˜}{+}}_{p}\mu L,\cdot \right)}^{p}=\lambda \rho {\left(K,\cdot \right)}^{p}+\mu \rho {\left(L,\cdot \right)}^{p}.$ (2.1)

If a star body K contains the origin o as its interior point, then the Minkowski functional $||\cdot |{|}_{K}$ of K is defined by

$||x|{|}_{K}=\mathrm{min}\left\{\lambda >0:x\in \lambda K\right\}.$

In this case,

$||x|{|}_{K}={\rho }_{K}^{-1}\left(x\right)={h}_{{K}^{°}}\left(x\right),$

where ${K}^{°}$ denotes the polar set of K, which is defined by

${K}^{°}=\left\{x\in {ℝ}^{n}:〈x,y〉\le 1\text{\hspace{0.17em}}\text{forall}\text{\hspace{0.17em}}y\in K\right\}.$

It is easy to verify that for $\varphi \in \text{GL}\left(n\right)$ ,

${\left(\varphi K\right)}^{°}={\varphi }^{-t}{K}^{°},$

where ${\varphi }^{-t}$ denotes the reverse of the transpose of $\varphi$. Obviously, ${\left({K}^{°}\right)}^{°}=K$ (see  for details).

Let K and L be two convex bodies in ${ℝ}^{n}$. According to , if $o\in K\subseteq L\subseteq {ℝ}^{n}$ , we call a pair $\left(x,y\right)\in {ℝ}^{n}×{ℝ}^{n}$ a contact pair for $\left(K,L\right)$ if it satisfies:

1) $x\in K\cap \partial L$ ,

2) $y\in {L}^{°}\cap \partial {K}^{°}$ ,

3) $〈x,y〉=1$.

If $x,y\in {ℝ}^{n}$ , we denote by $x\otimes y$ the rank one projection defined by $x\otimes y\left(u\right)=〈x,u〉y$ for all $u\in {ℝ}^{n}$.

The geometric distance ${\delta }_{G}\left(K,L\right)$ of the convex bodies K and L is defined by

${\delta }_{G}\left(K,L\right)=\mathrm{inf}\left\{\alpha \beta :\alpha >0,\beta >0,\left(1/\beta \right)L\subset K\subset \alpha L\right\}.$

3. Proof of Main Results

First, we prove that ${\stackrel{˜}{l}}_{p}\left(\cdot \right)$ is a norm with respect to ${L}_{p}$ -radial combination in ${\mathcal{S}}_{o}^{n}$. Apparently, ${\stackrel{˜}{l}}_{p}\left(K\right)\ge 0$ and ${\stackrel{˜}{l}}_{p}\left(K\right)=0$ if and only if $K=\left\{o\right\}$. At the same time, ${\stackrel{˜}{l}}_{p}\left(cK\right)=c{\stackrel{˜}{l}}_{p}\left(K\right)$ if real constant $c>0$. In addition, it is follows that

${\stackrel{˜}{l}}_{p}\left(K{\stackrel{˜}{+}}_{p}L\right)\le {\stackrel{˜}{l}}_{p}\left(K\right)+{\stackrel{˜}{l}}_{p}\left(L\right).$

Indeed, we have

$\begin{array}{l}{\stackrel{˜}{l}}_{p}\left(K{\stackrel{˜}{+}}_{p}L\right)={\left({\int }_{{ℝ}^{n}}{\rho }_{K{\stackrel{˜}{+}}_{p}L}^{p}\left(x\right)\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}}\\ ={\left({\int }_{{ℝ}^{n}}{\rho }_{K}^{p}\left(x\right)\text{d}{\gamma }_{n}\left(x\right)+{\int }_{{ℝ}^{n}}{\rho }_{L}^{p}\left(x\right)\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}}\\ \le {\left({\int }_{{ℝ}^{n}}{\rho }_{K}^{p}\left(x\right)\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}}+{\left({\int }_{{ℝ}^{n}}{\rho }_{L}^{p}\left(x\right)\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}}\\ ={\stackrel{˜}{l}}_{p}\left(K\right)+{\stackrel{˜}{l}}_{p}\left(L\right).\end{array}$

Therefore, ${\stackrel{˜}{l}}_{p}\left(\cdot \right)$ is a norm with respect to ${L}_{p}$ -radial combination and ${\mathcal{S}}_{o}^{n}$ is normed space for
${\stackrel{˜}{l}}_{p}\left(\cdot \right)$.

Now, we prove the optimization theorem of John  (see  also).

Lemma 3.1. Let $\mathcal{F}:{ℝ}^{N}\to ℝ$ be a ${C}^{1}$ -function. Let S be a compact metric space and $\mathcal{G}:{ℝ}^{N}×S\to ℝ$ be continuous. Suppose that for every $s\in S$ , ${\nabla }_{z}\mathcal{G}\left(z,s\right)$ exists and is continuous on ${ℝ}^{N}×S$.

Let $\mathcal{A}=\left\{z\in {ℝ}^{N}:\text{\hspace{0.17em}}\mathcal{G}\left(z,s\right)\ge 0,\text{\hspace{0.17em}}\text{forall}\text{\hspace{0.17em}}s\in S\right\}$ and ${z}_{0}\in \mathcal{A}$ satisfy

$\mathcal{F}\left({z}_{0}\right)={\mathrm{min}}_{z\in \mathcal{A}}\mathcal{F}\left(z\right).$

Then, either ${\nabla }_{z}\mathcal{F}\left({z}_{0}\right)=0$ , or, for some $1\le m\le N$ , there exist ${s}_{1},{s}_{2},\cdots ,{s}_{m}\in S$ and ${\lambda }_{1},{\lambda }_{2},\cdots ,{\lambda }_{m}\in ℝ$ such that $\mathcal{G}\left({z}_{0},{s}_{i}\right)=0,\text{\hspace{0.17em}}{\lambda }_{i}\ge 0$ for $1\le i\le m$ , and

${\nabla }_{z}\mathcal{F}\left({z}_{0}\right)=\underset{i=1}{\overset{m}{\sum }}{\lambda }_{i}{\nabla }_{z}\mathcal{G}\left({z}_{0},{s}_{i}\right).$

Using a similar argument as that in , we give the proof of Theorem 1.1.

Proof of Theorem 1.1. For $N={n}^{2}$ , we define $\mathcal{F}:{ℝ}^{N}\to ℝ$ by

$\mathcal{F}\left(\varphi \right)={\stackrel{˜}{l}}_{p}\left(\varphi K\right)={\left({\int }_{{ℝ}^{n}}||{\varphi }^{-1}x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}},$ (3.1)

where $\varphi \in {ℝ}^{N}$ is the linear mapping from ${ℝ}^{n}$ to ${ℝ}^{n}$. Clearly $\mathcal{F}$ is ${C}^{1}$. For $S=K×{L}^{°}$ , define $\mathcal{G}:{ℝ}^{N}×S\to ℝ$ by

$\mathcal{G}\left(\varphi ,\left(x,y\right)\right)=1-〈\varphi x,y〉.$

The set

$\mathcal{A}=\left\{z\in {ℝ}^{N}:\text{\hspace{0.17em}}\mathcal{G}\left(z,s\right)\ge 0,s\in S\right\}$

is just the set of elements $\varphi \in {ℝ}^{N}$ such that $\varphi K\subseteq L$. If K is in extremal position of $\mathrm{min}\left\{{\stackrel{˜}{l}}_{p}\left(\varphi K\right):o\in \varphi K\subseteq L,\varphi \in \text{GL}\left(n\right)\right\}$ , then $\mathcal{F}$ attains its minimum on $\mathcal{A}$ at ${I}_{n}$ , namely,

$\mathcal{F}\left({I}_{n}\right)={\stackrel{˜}{l}}_{p}\left(K\right)=\mathrm{min}\left\{{\stackrel{˜}{l}}_{p}\left(\varphi K\right):o\in \varphi K\subseteq L,\varphi \in \text{GL}\left(n\right)\right\}.$

Now we prove ${\nabla }_{\varphi }\mathcal{F}\left({I}_{n}\right)$. It follows from (3.1) that

$\begin{array}{l}\mathcal{F}\left(\varphi \right)={\left({\int }_{{ℝ}^{n}}||{\varphi }^{-1}x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\right)}^{\frac{1}{p}}\\ \text{ }\text{ }\text{\hspace{0.17em}}={\left({\left(2\pi \right)}^{-\frac{n}{2}}{\int }_{{ℝ}^{n}}||{\varphi }^{-1}x|{|}_{K}^{-p}{e}^{-\frac{|x{|}^{2}}{2}}\text{d}x\right)}^{\frac{1}{p}}\\ \text{ }\text{ }\text{\hspace{0.17em}}={\left({\left(2\pi \right)}^{-\frac{n}{2}}\left(\mathrm{det}\varphi \right){\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p}{e}^{-\frac{|\varphi x{|}^{2}}{2}}\text{d}x\right)}^{\frac{1}{p}}.\end{array}$

It is easy to obtain that for non-degenerate $\varphi$ , we have

${\nabla }_{\varphi }\mathcal{G}\left(\varphi ,\left(x,y\right)\right)=-{\nabla }_{\varphi }〈\varphi x,y〉={\nabla }_{\varphi }〈x\otimes y,\varphi 〉=-x\otimes y$

and

$\begin{array}{l}\text{ }{\nabla }_{\varphi }\mathcal{F}\left(\varphi \right)=\frac{1}{p}{\left({\left(2\pi \right)}^{-\frac{n}{2}}\left(\mathrm{det}\varphi \right){\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p}{e}^{-\frac{|\varphi x{|}^{2}}{x}}\text{d}x\right)}^{-\frac{1}{q}}\\ \text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}×\left[{\left(2\pi \right)}^{-\frac{n}{2}}\left(\mathrm{det}\varphi \right){\left({\varphi }^{-1}\right)}^{\ast }{\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p}{e}^{-\frac{|\varphi x{|}^{2}}{x}}\text{d}x\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}-{\left(2\pi \right)}^{-\frac{n}{2}}\left(\mathrm{det}\varphi \right){\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p}{e}^{-\frac{|\varphi x{|}^{2}}{x}}x\otimes x\text{d}x\right],\end{array}$

where $\frac{1}{p}+\frac{1}{q}=1$ , ${\left({\varphi }^{-1}\right)}^{*}$ denotes conjugate of transposed transformation of ${\varphi }^{-1}$ , and ${\varphi }^{-1}$ is inverse transform of $\varphi \in \text{GL}\left(n\right)$.

Since $\mathcal{F}$ attains its minimum on $\mathcal{A}$ at ${z}_{0}={I}_{n}$ , combining with Lemma 3.1, it follows that for some $m\le N$ , there exist ${\lambda }_{i}\ge 0$ , ${s}_{i}\in S$ , ${s}_{i}=\left({x}_{i},{y}_{i}\right)$ , $1\le i\le m$ , such that

$〈{x}_{i},{y}_{i}〉=1-\mathcal{G}\left({I}_{n},\left({x}_{i},{y}_{i}\right)\right)=1,\text{\hspace{0.17em}}\text{\hspace{0.17em}}1\le i\le m,$

and

$\begin{array}{l}{\nabla }_{\varphi }\mathcal{F}\left({I}_{n}\right)=\frac{1}{p}{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{-\frac{p}{q}}{\int }_{{ℝ}^{n}}\left({I}_{n}-x\otimes x\right)||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\\ \text{ }\text{ }\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}=\underset{i=1}{\overset{m}{\sum }}{\lambda }_{i}{\nabla }_{\varphi }\mathcal{G}\left({I}_{n},\left({x}_{i},{y}_{i}\right)\right)\\ \text{ }\text{ }\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}=-\underset{i=1}{\overset{m}{\sum }}{\lambda }_{i}{x}_{i}\otimes {y}_{i}.\end{array}$ (3.2)

From $〈{x}_{i},{y}_{i}〉=1,{x}_{i}\in K\subseteq L,{y}_{i}\in {L}^{\circ }\subseteq {K}^{\circ }$ , we yield ${x}_{i}\in \partial L$ and ${y}_{i}\in \partial {K}^{\circ }$. Taking the trace in (3.2), we have

$\begin{array}{l}\text{Tr}\left({\nabla }_{\varphi }\mathcal{F}\left({I}_{n}\right)\right)\\ \text{ }=\text{Tr}\left(\frac{1}{p}{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{-\frac{p}{q}}{\int }_{{ℝ}^{n}}\left({I}_{n}-x\otimes x\right)||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\right)\\ \text{ }=\frac{1}{p}{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{-\frac{p}{q}}\left[n{\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)-{\int }_{{ℝ}^{n}}|x{|}^{2}||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\right]\\ \text{ }=\frac{1}{p}{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{-\frac{p}{q}}\left[n{\int }_{0}^{\infty }{r}^{n-p-1}{e}^{-\frac{{r}^{2}}{2}}\text{d}r-{\int }_{0}^{\infty }{r}^{n-p+1}{e}^{-\frac{{r}^{2}}{2}}\text{d}r\right]{\int }_{{S}^{n-1}}||\theta |{|}_{K}^{-p}\text{d}S\left(\theta \right)\\ \text{ }=\frac{1}{p}{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{-\frac{p}{q}}\left(p{\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\right)={\stackrel{˜}{l}}_{p}\left(K\right).\end{array}$

Suppose ${\lambda }_{i}={c}_{i}{\stackrel{˜}{l}}_{p}\left(K\right)$. Together with (3.2), we obtain

${\int }_{{ℝ}^{n}}\left(x\otimes x-{I}_{n}\right)||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)=p{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}\left(\underset{i=1}{\overset{m}{\sum }}{c}_{i}{x}_{i}\otimes {y}_{i}\right),$

where $\underset{i=1}{\overset{m}{\sum }}{c}_{i}=1$. This completes the proof. $\square$

If $L={B}_{2}^{n}$ and $\mathcal{G}\left(\varphi ,x\right)=1-|\varphi x{|}^{2}$ , then using the same method in the proof of Theorem 1.1, we obtain

Corollary 3.2. Let K be a convex body such that $o\in K\subseteq {B}_{2}^{n}$. If K is in extremal position of (1.7), then there exist contact points ${u}_{1},{u}_{2},\cdots ,{u}_{m}\in \partial K\cap {S}^{n-1}$ with $m\le {n}^{2}$ and ${c}_{1},{c}_{2},\cdots ,{c}_{m}>0$ , such that,

${I}_{n}={\int }_{{ℝ}^{n}}\left(x\otimes x\right)\text{d}\stackrel{˜}{\mu }\left(x\right)-p\underset{i=1}{\overset{m}{\sum }}{c}_{i}{u}_{i}\otimes {u}_{i},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\underset{i=1}{\overset{m}{\sum }}{c}_{i}=1,$

where $\text{d}\stackrel{˜}{\mu }\left(x\right)$ is the probability measure on ${ℝ}^{n}$ with normalized density

$\text{d}\stackrel{˜}{\mu }\left(x\right)=||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)/{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}.$

Proof of Theorem 1.2. Suppose that $\varphi \in L\left({ℝ}^{n},{ℝ}^{n}\right)$ and $\epsilon >0$ is small enough. Then

${\varphi }_{1}:=\left({\mathrm{min}}_{u\in {S}^{n-1}}||u-\epsilon \varphi u|{|}_{K}\right){\left({I}_{n}-\epsilon \varphi \right)}^{-1}$

satisfies ${\varphi }_{1}K\subseteq {B}_{2}^{n},{\varphi }_{1}K\cap {S}^{n-1}\ne \varnothing$. Therefore

${\int }_{{ℝ}^{n}}||x-\epsilon \varphi x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\le {\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}{\left({\mathrm{min}}_{u\in {S}^{n-1}}||u-\epsilon \varphi u|{|}_{K}\right)}^{-p}.$

Let ${u}_{\epsilon }$ be a point on ${S}^{n-1}$ at which the minimum is attained. Observe that

$||x-\epsilon \varphi x|{|}_{K}^{-p}=||x|{|}_{K}^{-p}+\epsilon p||x|{|}_{K}^{-p-1}〈\nabla {h}_{{K}^{°}}\left(x\right),\varphi x〉+O\left(\epsilon 2\right)$

and

$|{u}_{\epsilon }-\epsilon \varphi {u}_{\epsilon }{|}^{-p}=1+\epsilon p〈{u}_{\epsilon },\varphi {u}_{\epsilon }〉+O\left({\epsilon }^{2}\right).$

Since ${u}_{\epsilon }\in {S}^{n-1}$ and $||\cdot |{|}_{K}\ge |\cdot |$ , we have

$\begin{array}{l}{\int }_{{ℝ}^{n}}p||x|{|}_{K}^{-p-1}〈\nabla {h}_{{K}^{\circ }}\left(x\right),\varphi x〉\text{d}{\gamma }_{n}\left(x\right)+O\left(\epsilon \right)\\ \text{ }\le {\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}\frac{{\left({\mathrm{min}}_{u\in {S}^{n-1}}||u-\epsilon \varphi u|{|}_{K}\right)}^{-p}-1}{\epsilon }\\ \text{ }\le {\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}\frac{|{u}_{\epsilon }-\epsilon \varphi {u}_{\epsilon }{|}^{-p}-1}{\epsilon }\\ \text{ }={\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}\left(p〈{u}_{\epsilon },\varphi {u}_{\epsilon }〉+O\left(\epsilon \right)\right).\end{array}$ (3.3)

If u is a contact point of K and ${B}_{2}^{n}$ , then

$1+\epsilon ||\varphi ||\ge ||u-\epsilon \varphi u|{|}_{K}\ge ||{u}_{\epsilon }-\epsilon \varphi {u}_{\epsilon }|{|}_{K}\ge ||{u}_{\epsilon }|{|}_{K}-\epsilon ||\varphi ||.$

It follows that

$1\le ||{u}_{\epsilon }|{|}_{K}\le 1+2\epsilon ||\varphi ||.$ (3.4)

In order to obtain a sequence ${\epsilon }_{k}\to 0$ and a point $u\in {S}^{n-1}$ such that ${u}_{{\epsilon }_{k}}\to u$. If $k\to \infty$ , it follows from (3.4) that $||u|{|}_{K}=\underset{k\to \infty }{\mathrm{lim}}||{u}_{{\epsilon }_{k}}||=1$. Namely, u is a contain point of K and ${B}_{2}^{n}$. By (3.3), we obtain

${\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p-1}〈\nabla {h}_{{K}^{°}}\left(x\right),\varphi x〉\text{d}{\gamma }_{n}\left(x\right)\le {\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}〈u,\varphi u〉.$

Taking $\varphi$ for $-\varphi$ , we can find another contact point ${u}^{\prime }$ of K and ${B}_{2}^{n}$ such that

${\int }_{{ℝ}^{n}}||x|{|}_{K}^{-p-1}〈\nabla {h}_{{K}^{°}}\left(x\right),\varphi x〉\text{d}{\gamma }_{n}\left(x\right)\ge {\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}〈{u}^{\prime },\varphi {u}^{\prime }〉.$

Choosing ${\varphi }_{\theta }\left(x\right)=〈x,\theta 〉\theta$ with $\theta \in {S}^{n-1}$ , we get (1.6). $\square$

4. Estimate of the Distance

Lemma 4.1. (see ) Let $x=\left({x}_{1},{x}_{2},\cdots ,{x}_{n}\right)\in {ℝ}^{n}$ and $y=\left({y}_{1},{y}_{2},\cdots ,{y}_{n}\right)\in {ℝ}^{n}$. If

$0<{m}_{1}\le {x}_{k}\le {M}_{1},\text{\hspace{0.17em}}\text{\hspace{0.17em}}0<{m}_{2}\le {y}_{k}\le {M}_{2},\text{\hspace{0.17em}}\text{\hspace{0.17em}}k=1,\cdots ,n,$

then

$\left(\underset{k=1}{\overset{n}{\sum }}{x}_{k}^{2}\right)\left(\underset{k=1}{\overset{n}{\sum }}{y}_{k}^{2}\right)\le {\left(\frac{\sqrt{\frac{{M}_{1}{M}_{2}}{{m}_{1}{m}_{2}}}+\sqrt{\frac{{m}_{1}{m}_{2}}{{M}_{1}{M}_{2}}}}{2}\right)}^{2}{\left(\underset{k=1}{\overset{n}{\sum }}{x}_{k}{y}_{k}\right)}^{2}.$

Lemma 4.1 implies that if $x,y\in {ℝ}^{n}$ , then there exist a constant $c\in \left(0,1\right)$ such that

$|〈x,y〉|\ge c|x|\text{\hspace{0.17em}}|y|.$ (4.1)

Suppose that K is a centrally symmetric convex body in ${ℝ}^{n}$ such that K is in the extremal position of (1.7). Now we estimate the geometric distance between K and ${B}_{2}^{n}$.

Theorem 4.1. Let $K\subseteq {B}_{2}^{n}$ be a centrally symmetric convex body in ${ℝ}^{n}$. If K is in the extremal position of (1.7) and $1\le p<3$ , then

${\stackrel{˜}{c}}_{n,p}{B}_{2}^{n}\subseteq K\subseteq {B}_{2}^{n},$

where

${\stackrel{˜}{c}}_{n,p}=\frac{{\stackrel{˜}{l}}_{p}\left({B}_{2}^{n}\right)}{\sqrt{n}}{\left(\frac{\sqrt{\pi }\left(cp+1\right)}{{2}^{1-\frac{p}{2}}\Gamma \left(\frac{3-p}{2}\right)}\right)}^{\frac{1}{p}},\text{\hspace{0.17em}}c\in \left(0,1\right).$

Proof. It follows from Corollary 3.2 that K satisfies

${I}_{n}={\int }_{{ℝ}^{n}}\left(x\otimes x\right)\text{d}\stackrel{˜}{\mu }\left(x\right)-p\underset{i=1}{\overset{m}{\sum }}{c}_{i}{u}_{i}\otimes {u}_{i},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\underset{i=1}{\overset{m}{\sum }}{c}_{i}=1,$

where $\text{d}\stackrel{˜}{\mu }\left(x\right)$ is the probability measure on ${ℝ}^{n}$ with normalized density

$\text{d}\stackrel{˜}{\mu }\left(x\right)=||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)/{\left({\stackrel{˜}{l}}_{p}\left(K\right)\right)}^{p}.$

For $y\in {K}^{°}$ and ${u}_{i}\in {S}^{n-1}$. By (4.1), there exists a constant $c\in \left(0,1\right)$ such that $|〈y,{u}_{i}〉|\ge c|y|$. So we obtain

${\int }_{{ℝ}^{n}}\left(|〈x,y〉{|}^{2}-|y{|}^{2}\right)\text{d}\stackrel{˜}{\mu }\left(x\right)\ge cp|y{|}^{2}\underset{i=1}{\overset{m}{\sum }}{c}_{i}=cp|y{|}^{2}.$

That is,

$\left(cp+1\right)|y{|}^{2}\le {\int }_{{ℝ}^{n}}|〈x,y〉{|}^{2}\text{d}\stackrel{˜}{\mu }\left(x\right).$

Since $||x|{|}_{K}\ge |〈x,y〉|$ , we have

$\begin{array}{l}{\int }_{{ℝ}^{n}}|〈x,y〉{|}^{2}||x|{|}_{K}^{-p}\text{d}{\gamma }_{n}\left(x\right)\le {\int }_{{ℝ}^{n}}|〈x,y〉{|}^{2-p}\text{d}{\gamma }_{n}\left(x\right)\\ \text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}={\left(}^{2}{\int }_{{S}^{n-1}}|〈\theta ,y〉{|}^{2-p}\text{d}S\left(\theta \right){\int }_{0}^{\infty }{r}^{n-p+1}{e}^{-\frac{{r}^{2}}{2}}\text{d}r\\ \text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}={2}^{1-\frac{p}{2}}{\pi }^{-\frac{1}{2}}\Gamma \left(\frac{3-p}{2}\right)|y{|}^{2-p}.\end{array}$

From John’s theorem, for every centrally symmetric convex body K in ${ℝ}^{n}$ , there is a corresponding to the ball $\lambda {B}_{2}^{n}$ such that $\lambda {B}_{2}^{n}\subseteq K\subseteq \sqrt{n}\lambda {B}_{2}^{n}\text{\hspace{0.17em}}\left(\lambda >0\right)$. Take $\lambda =1/\sqrt{n}$. We obtain $\frac{1}{\sqrt{n}}{B}_{2}^{n}\subseteq K\subseteq {B}_{2}^{n}$. Thus,

$\frac{1}{\sqrt{n}}{\stackrel{˜}{l}}_{p}\left({B}_{2}^{n}\right)\le {\stackrel{˜}{l}}_{p}\left(K\right)\le {\stackrel{˜}{l}}_{p}\left({B}_{2}^{n}\right).$

Therefore, we get

$|y|\le \frac{\sqrt{n}}{{\stackrel{˜}{l}}_{p}\left({B}_{2}^{n}\right)}{\left(\frac{{2}^{1-\frac{p}{2}}\Gamma \left(\frac{3-p}{2}\right)}{\sqrt{\pi }\left(cp+1\right)}\right)}^{\frac{1}{p}},$

and the result yields. $\square$

Giannopoulos et al. in  proved that if K is in a position of maximal volume in L, then $K\subseteq L\subseteq nK$ , which is equivalent to $\frac{1}{n}||x|{|}_{K}\le ||x|{|}_{L}\le ||x|{|}_{K}$ for all $x\in {ℝ}^{n}$. Hence it follows that

$1\le \frac{{\stackrel{˜}{l}}_{p}\left(L\right)}{{\stackrel{˜}{l}}_{p}\left(K\right)}\le n.$

Furthermore, let $\varphi \in \text{GL}\left(n\right)$. Since $\varphi K\subseteq {B}_{2}^{n}$ is in the maximal volume position of K contained in ${B}_{2}^{n}$ , we have $\frac{1}{\sqrt{n}}{B}_{2}^{n}\subseteq \varphi K\subseteq {B}_{2}^{n}$. Thus

$\frac{1}{\sqrt{n}}\le \frac{{\stackrel{˜}{l}}_{p}\left(\varphi K\right)}{{\stackrel{˜}{l}}_{p}\left({B}_{2}^{n}\right)}\le 1.$

Finally, we propose the following concept of ${l}_{0}$ -norm: Let K be a convex body in ${ℝ}^{n}$ , we define ${l}_{0}$ -norm by

${l}_{0}\left(K\right)=\mathrm{exp}\left({\int }_{{ℝ}^{n}}log||x|{|}_{K}{\gamma }_{n}\left(x\right)\right).$

We propose an open question as follows: How should we solve the extreme problem

$\mathrm{min}\left\{{l}_{0}\left(\varphi K\right):o\in \varphi K\subseteq L,\varphi \in \text{GL}\left(n\right)\right\}?$

Funding

This work is supported by the National Natural Science Foundation of China (Grant No.11561020).

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

Cite this paper

Ma, T.Y. (2018) Extremal Problems Related to Dual Gauss-John Position. Journal of Applied Mathematics and Physics, 6, 2589-2599. https://doi.org/10.4236/jamp.2018.612216

References

1. 1. Giannopoulos, A., Milman, V. and Rudelson, M. (2000) Convex Bodies with Minimal Mean Width. Geometric Aspects of Functional Analysis, Lecture Notes in Mathematics, 1745, Springer, Berlin, 81-93.

2. 2. John, F. (1948) Extremum Problems with Inequalities as Subsidiary Conditions. Studies and Essays Presented to R. Courant on His 60th Birthday, January 8, 1948, Interscience Publishers, Inc., New York, 187-204.

3. 3. Lewis, D. (1979) Ellipsoids Defined by Banach Ideal Norms. Mathematika, 26, 18-29. https://doi.org/10.1112/S0025579300009566

4. 4. Tomczak-Jaegermann, N. (1989) Banach-Mazur Distances and Finite-Dimensional Operator Ideals. Pitman Monographs and Surveys in Pure and Applied Mathematics, 38, Pitman, London.

5. 5. Giannopoulos, A., Perissinaki, I. and Tsolomitis, A. (2001) Johns Theorem for an Arbitrary Pair of Convexbodies. Geom. Dedicata, 84, 63-79. https://doi.org/10.1023/A:1010327006555

6. 6. Bastero and Romance, M. (2002) Johns Decomposition of the Identity in the Non-Convex Case. Positivity, 6, 1-16. https://doi.org/10.1023/A:1012087231191

7. 7. Ball, K. (1997) An Elementary Introduction to Modern Convex Geometry. In: Flavors of Geometry, Math. Sci.Res. Inst. Publ., 31, Cambridge University Press, Cambridge.

8. 8. Bastero, J., Bernues, J. and Romance, M. (2007) From John to Gauss-John Positions via Dual Mixed Volumes. J. Math. Anal. Appl., 328, 550-566. https://doi.org/10.1016/j.jmaa.2006.05.047

9. 9. Giannopoulos, A. and Milman, V.D. (2000) Extremal Problems and Isotropic Positions of Convex Bodies. Israel J. Math., 117, 29-60. https://doi.org/10.1007/BF02773562

10. 10. Gordon, Y., Litvak, A.E., Meyer, M., et al. (2004) Johns Decomposition in the General Case and Applications. J. Differential Geom., 68, 99-119. https://doi.org/10.4310/jdg/1102536711

11. 11. Li, A.J., Wang, G. and Leng, G. (2011) An Extended Loomis-Whitney Inequality for Positive Double John Bases. Glasg. Math. J., 53, 451-462. https://doi.org/10.1017/S0017089511000061

12. 12. Li, A.J. and Leng, G. (2011) Brascamp-Lieb Inequality for Positive Double John Basis and Its Reverse. Sci. China Math., 54, 399-410. https://doi.org/10.1007/s11425-010-4093-5

13. 13. Pisier, G. (1989) The Volume of Convex Bodies and Banach Space Geometry. Cambridge Tracts in Mathematics, 94, Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511662454

14. 14. Li, A.J. and Leng, G.S. (2012) Extremal Problems Related to Gauss-John Position. Acta Mathematica Sinica, English Series, 28, 2527-2534. https://doi.org/10.1007/s10114-012-9735-9

15. 15. Gardner, R.J. (2002) The Brunn-Minkowski Inequality. Bull. Amer. Math. Soc., 39, 355-405. https://doi.org/10.1090/S0273-0979-02-00941-2

16. 16. Pólya, G. and Szegö, G. (1925) Aufgaben und Lehrsãtzeaus der Analysis. Vol. 1, Berlin, p. 57, 213-214.