• Research
• Open Access

# ℝ3

Journal of Inequalities and Applications20122012:3

https://doi.org/10.1186/1029-242X-2012-3

• Received: 8 September 2011
• Accepted: 9 January 2012
• Published:

## Abstract

A special case of Mahler volume for the class of symmetric convex bodies in 3 is treated here. It is shown that a cube has the minimal Mahler volume and a cylinder has the maximal Mahler volume for all generalized cylinders. Further, the Mahler volume of bodies of revolution obtained by rotating the unit disk in 2 is presented.

2000 Mathematics Subject Classification: 52A20; 52A40.

## Keywords

• Mahler volume
• convex body
• polar body
• body of revolution

## 1 Introduction

Throughout this article a convex body K in Euclidean n-space n is a compact convex set that contains the origin in its interior. Its polar body K* is defined by
${K}^{*}=\left\{x\in {ℝ}^{n}:x\cdot y\le 1,\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in K\right\},$

where x·y denotes the standard inner product of x and y in n .

If K is an origin symmetric convex body, then the product
$V\left(K\right)V\left({K}^{*}\right)$

is called the volume product of K, where V (K) denotes n-dimensional volume of K, which is known as the Mahler volume of K, and it is invariant under linear transformation.

One of the main questions still open in convex geometric analysis is the problem of finding a sharp lower estimate for the Mahler volume of a convex body K (see the survey article ).

A sharp upper estimate of the volume product is provided by the Blaschke-Santaló inequality: For every centered convex body K in n
$V\left(K\right)V\left({K}^{*}\right)\le {\omega }_{n}^{2},$

with equality if and only if K is an ellipsoid centered at the origin, where ω n is the volume of the unit ball in n (see, e.g., ).

The Mahler conjecture for the class of origin-symmetric bodies is that:
$V\left(K\right)V\left({K}^{*}\right)\ge \frac{{4}^{n}}{n!}$
(1.1)

with equality holding for parallelepipeds and their polars. For n = 2, the inequality is proved by Mahler himself , and in 1986, Reisner  showed that parallelograms are the only minimizers. Reisner  established inequality (1.1) for a class of bodies that have a high degree of symmetry, known as zonoids, which are limits of finite Minkowski sums of line segments. Lopez and Reisner  proved the inequality (1.1) for n ≤ 8 and the minimal bodies are characterized. Recently, Nazaeov et al.  proved that the cube is a strict local minimizer for the Mahler volume in the class of origin-symmetric convex bodies endowed with the Banach-Mazur distance.

Bourgain and Milman  have proved that there exists a constant c > 0 independent of the dimension n, such that for all origin-symmetric bodies K,
$V\left(K\right)V\left({K}^{*}\right)\ge {c}^{n}{\omega }_{n}^{2},$

which is now known as the reverse Santaló inequality. Recently, Kuperberg  found a beautiful new approach to the reverse Santaló inequality. What's especially remarkable about Kuperberg's inequality is that it provides an explicit value for c. However, the Mahler conjecture is still open even in the three-dimensional case, Tao  made an excellent remark about the open question.

In the present article, we treat a special case of Mahler volume in 3. We now introduce some notations: A real-valued function f(x) is called concave, if for any x, y [a, b] and any λ [0, 1], they have
$f\left(\lambda x+\left(1-\lambda \right)y\right)\ge \lambda f\left(x\right)+\left(1-\lambda \right)f\left(y\right).$
Definition 1 In three-dimensional Cartesian coordinate system OXYZ, if Cis an origin-symmetric convex body in coordinate plane YOZ, then the set:
$C=\left\{\left(x,y,z\right)|-1\le x\le 1,\left(0,y,z\right)\in {C}^{\prime }\right\}$
(1.2)

is defined as a generalized cylinder in 3.

Definition 2 In the coordinate plane XOY, let
$D=\left\{\left(x,y\right)|-a\le x\le a,|y|\le f\left(x\right)\right\},$
(1.3)
where f(x) ([-a, a], a > 0), is a nonnegative concave and even function. Rotating D about the X-axis in 3, we can get a geometric object
$R=\left\{\left(x,y,z\right)|-a\le x\le a,{\left({y}^{2}+{z}^{2}\right)}^{\frac{1}{2}}\le f\left(x\right)\right\}.$
(1.4)

We define the geometric object R as a body of revolution generated by the function f(x) (or by the domain D), and call the function f(x) as the generated function of R and D as the generated domain of R.

If the generated domain of R is a rectangle and a diamond, R is called a cylinder and a bicone, respectively.

Let C denotes the set of all generalized cylinders. In this article, we proved that among the generalized cylinders, a cube has the minimal Mahler volume and a cylinder has the maximal Mahler volume, theorem as following:

Theorem 1 For $C\in \mathcal{C}$, we have
$V\left({C}_{0}\right)V\left({C}_{0}^{*}\right)\le V\left(C\right)V\left({C}^{*}\right)\le V\left({C}_{1}\right)V\left({C}_{1}^{*}\right),$
(1.5)

where C0 = [-1, 1] × [-1, 1] × [-1, 1] is a cube and C1 = [-1, 1] × B2 is cylinder.

Further, we get the following theorem:

Theorem 2 For a class of bodies of revolution obtained by rotating the "unit disk" in planar XOY, where the "unit disk" is the following set:
$U=\left\{\left(x,y\right)||x{|}^{p}+|y{|}^{p}\le 1\right\},p\ge 1,$
(1.6)

the Mahler volume is increasing for 1 ≤ p ≤ 2 and decreasing for 2 ≤ p ≤ +∞.

More interrelated notations, definitions, and their background materials are exhibited in the following section.

## 2 Definition and notation

The setting for this article is n-dimensional Euclidean space n . Let ${\mathcal{K}}^{n}$ denotes the set of convex bodies (compact, convex subsets with non-empty interiors), ${\mathcal{K}}_{o}^{n}$ denotes the subset of ${\mathcal{K}}^{n}$ that contains the origin in their interiors. As usual, B n denotes the unit ball centered at the origin, Sn-1the unit sphere, o the origin, and ||·|| the norm in n .

If u Sn-1is a direction, u is the (n - 1)-dimensional subspace orthogonal to u. For x, y n , x·y is the inner product of x and y, and [x, y] denotes the line segment with endpoints x and y.

If K is a set, ∂K is its boundary, int K is its interior, and conv K denotes its convex hull. V (K) denotes n-dimensional volume of K. Let K|S be the orthogonal projection of K into a subspace S.

Let $K\in {\mathcal{K}}^{n}$ and H = {x n |x·v = d} denotes a hyperplane, H+ and H- denote the two closed halfspaces bounded by H.

Associated with each convex body K in n , its support function h K : n - [0, ∞), is defined for x n , by
${h}_{K}\left(x\right)=\mathrm{max}\left\{x\cdot y:\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}y\in K\right\},$
and its radial function ρ K : n \{0} → (0, ∞), is defined for x ≠ 0, by
${\rho }_{K}\left(x\right)=\mathrm{max}\left\{\lambda \ge 0:\lambda x\in K\right\}.$
From the definitions of the support and radial functions and the definition of the polar bodies, it follows that (see )
$\begin{array}{c}{h}_{{K}^{*}}\left(u\right)=\frac{1}{{\rho }_{K}\left(u\right)}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\mathsf{\text{and}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}{\rho }_{{K}^{*}}\left(u\right)=\frac{1}{{h}_{K}\left(u\right)},\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}u\in {S}^{n-1},\\ {K}^{*}=\left\{x\in {ℝ}^{n}:{h}_{K}\left(x\right)\le 1\right\},\\ {K}^{**}=K.\end{array}$
If P is a polytope, i.e., P = conv{p1, ..., p m }, where p i (i = 1, ..., m) are vertices of polytope P. By the definition of polar body, we have
$\begin{array}{ll}\hfill {P}^{*}& =\left\{x\in {ℝ}^{n}:x\cdot {p}_{1}\le 1,\dots ,x\cdot {p}_{m}\le 1\right\}\phantom{\rule{2em}{0ex}}\\ =\bigcap _{i=1}^{m}\left\{x\in {ℝ}^{n}:x\cdot {p}_{i}\le 1\right\},\phantom{\rule{2em}{0ex}}\end{array}$

which implies that P* is the intersection of m closed halfspace with exterior normal vector p i and the distance of hyperplane {x n : x·p i = 1} from the origin is 1/||p i ||.

For $K\in {\mathcal{K}}_{o}^{n}$, if x = (x1, x2, ..., x n ) K, x′ = (ε1x1, ..., ε n x n ) K for any signs ε i = ± 1 (i = 1, ..., n), then K is a 1-unconditional convex body. In fact, K is symmetric around all coordinate hyperplanes.

To proof the inequality, we give the following definitions.

Definition 3 In Definition 2, if the function
$f\left(x\right)=kx+b,\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}x\in \left[-a,0\right],$
where k and b are real constants, and f(-a) = 0, then the body of revolution is defined as a bicone. In three-dimensional Cartesian coordinate system OXYZ, if Cis an origin-symmetric convex body in coordinate plane YOZ and points A = (-a, 0, 0) and A′ = (a, 0, 0), then the set.
$B=conv\left\{{C}^{\prime },A,{A}^{\prime }\right\}$
(2.1)

is defined as a generalized bicone in 3.

## 3 Proof of the main results

In this section, we only consider convex bodies in three-dimensional Cartesian coordinate system with origin O, and its three coordinate axes are denoted by X-, Y -, and Z-axis.

Let C be a generalized cylinder as following:
$C=\left\{\left(x,y,z\right)|-1\le x\le 1,\left(0,y,z\right)\in {C}^{\prime }\right\},$

where C′ is an origin-symmetric convex body in coordinate plane Y OZ.

We require the following lemmas to prove our main result.

Lemma 1 If $K\in {\mathcal{K}}_{o}^{3}$, for any u S2, then
${K}^{*}\cap {u}^{\perp }={\left(K|{u}^{\perp }\right)}^{*}.$
(3.1)
On the other hand, if ${K}^{\prime }\in {\mathcal{K}}_{o}^{3}$ satisfies
${K}^{\prime }\cap {u}^{\perp }={\left(K|{u}^{\perp }\right)}^{*},$
for any $u\in {S}^{2}\cap {v}_{0}^{\perp }$ (v0 is a fixed vector), then
${K}^{\prime }={K}^{*}.$
(3.2)

Proof First, we prove (3.1).

Let x u, y K and y′ = y|u, since the hyperplane u is orthogonal to the vector y - y′, then
$y\cdot x=\left({y}^{\prime }+y-{y}^{\prime }\right)\cdot x={y}^{\prime }\cdot x+\left(y-{y\prime }^{\prime }\right)\cdot x={y}^{\prime }\cdot x.$
If x K* | u, for any y K | u, there exists y K such that y′ = y|u, then x·y′ = x·y ≤ 1, and x (K|u)*. Hence,
${K}^{*}\cap {u}^{\perp }\subseteq {\left(K|{u}^{\perp }\right)}^{*}.$
If x (K|u)*, then for any y K and y′ = y|u, x·y = x·y 1, thus x K*, and since x u, thus x K* | u. Then,
${\left(K|{u}^{\perp }\right)}^{*}\subseteq {K}^{*}\cap {u}^{\perp }.$

Next, we prove (3.2).

Let ${S}^{1}={S}^{2}\cap {v}_{0}^{\perp }$. For any direction vector v S2, there always exists a u S1 satisfying v u. Since
${K}^{\prime }\cap {u}^{\perp }={\left(K|{u}^{\perp }\right)}^{*},$
and by (3.1)
${K}^{*}\cap {u}^{\perp }={\left(K|{u}^{\perp }\right)}^{*},$
thus
${K}^{\prime }\cap {u}^{\perp }={K}^{*}\cap {u}^{\perp }.$
Then, we get
${\rho }_{{K}^{\prime }}\left(v\right)={\rho }_{{K}^{*}}\left(v\right).$

By the arbitrary of direction v, we obtain the desired result.    ■

For any $C\in \mathcal{C}$ and any u B2 | v (v = (1, 0, 0)), C|u is a rectangle by the above definition. We study the polar body of a rectangle in the planar. From Figure 1, if C|u = [-1, 1]×[-a, a], its polar body in planar XOY is a diamond (vertices are (-1, 0), (1, 0), (0, -1/a), (0, 1/a)), thus we can get the following Lemma 2. Figure 1 Rectangle and its polar body in planar XOY.
Lemma 2 For any $C\in \mathcal{C}$ , if
$C=\left\{\left(x,y,z\right)|-1\le x\le 1,\left(0,y,z\right)\in {C}^{\prime }\right\},$

where Cis an origin-symmetric convex body in coordinate plane YOZ, then C* is a generalized bicone with vertices (-1, 0, 0) and (1, 0, 0) and the base (C′)*.

Proof Let v0 = (1, 0, 0), ${S}^{1}={S}^{2}\cap {v}_{0}^{\perp }$. By Lemma 1, we have
${C}^{*}\cap {u}^{\perp }={\left(C|{u}^{\perp }\right)}^{*}$

for any u S1. Because that (C|u)* is a diamond with vertices (-1, 0, 0) and (1, 0, 0), C* | u is a diamond with vertices (-1, 0, 0) and (1, 0, 0) for any u S1, which implies that C* is a bicone with vertices (-1, 0, 0) and (1, 0, 0).

In view of
${C}^{*}\cap {v}_{0}^{\perp }={\left(C|{v}_{0}^{\perp }\right)}^{*}$

and $C|{v}_{0}^{\perp }={C}^{\prime }$, then, the base of C* is (C′)*.    ■

In the following, we will restate and prove Theorem 1.

Theorem 1 For $C\in \mathcal{C}$ , we have
$V\left({C}_{0}\right)V\left({C}_{0}^{*}\right)\le V\left(C\right)V\left({C}^{*}\right)\le V\left({C}_{1}\right)V\left({C}_{1}^{*}\right),$
(3.3)

where C0 = [-1, 1] × [-1, 1] × [-1, 1] is a cube and C1 = [-1, 1] × B2 is cylinder.

Proof Let v = (1, 0, 0), and V (C) = V (C0) by linear transformation, thus V (Cv) = V (C0v).

In planar v, since the square has the minimal Mahler volume in 2, thus
$V\left({C}_{0}\cap {v}^{\perp }\right)V\left({\left({C}_{0}\cap {v}^{\perp }\right)}^{*}\right)\le V\left(C\cap {v}^{\perp }\right)V\left({\left(C\cap {v}^{\perp }\right)}^{*}\right),$
we get
$V\left({\left({C}_{0}\cap {v}^{\perp }\right)}^{*}\right)\le V\left({\left(C\cap {v}^{\perp }\right)}^{*}\right),$
then
$\begin{array}{ll}\hfill V\left({C}_{0}^{*}\right)& =\frac{1}{3}V\left({\left({C}_{0}\cap {v}^{\perp }\right)}^{*}\right)×2\phantom{\rule{2em}{0ex}}\\ \le \frac{1}{3}V\left({\left(C\cap {v}^{\perp }\right)}^{*}\right)×2\phantom{\rule{2em}{0ex}}\\ =V\left({C}^{*}\right),\phantom{\rule{2em}{0ex}}\end{array}$
where the equality holds if and only if Cv is a square. Hence,
$V\left({C}_{0}\right)V\left({C}_{0}^{*}\right)\le V\left(C\right)V\left({C}^{*}\right).$

Similarly, let V (C) = V (C1) for any $C\in \mathcal{C}$ by linear transformation, then V (Cv) = V (C1v).

Since C1v is a disk, which has the maximal Mahler volume in 2, thus
$V\left({C}_{1}\cap {v}^{\perp }\right)V\left({\left({C}_{1}\cap {v}^{\perp }\right)}^{*}\right)\ge V\left(C\cap {v}^{\perp }\right)V\left({\left(C\cap {v}^{\perp }\right)}^{*}\right),$
we get
$V\left({\left({C}_{1}\cap {v}^{\perp }\right)}^{*}\right)\ge V\left({\left(C\cap {v}^{\perp }\right)}^{*}\right).$
Hence, $V\left({C}_{1}^{*}\right)\ge V\left({C}^{*}\right)$, which implies
$V\left({C}_{1}\right)V\left({C}_{1}^{*}\right)\ge V\left(C\right)V\left({C}^{*}\right).$

■

Theorem 1 implies that among the generalized cylinders, a cube has the minimal Mahler volume and a cylinder has the maximal Mahler volume.

## 4 Mahler volume of a special class of bodies of revolution

In this section, we study a special case in the coordinate plane XOY, and define the "unit disk" in planar XOY as following set:
$U=\left\{\left(x,y\right)||x{|}^{p}+|y{|}^{p}\le 1\right\},\phantom{\rule{1em}{0ex}}p\ge 1.$
(4.1)

We need the following lemmas to prove our result.

Lemma 3 Let P is a 1-unconditional convex body and P* is its polar body in the coordinate plane XOY. Let R and Rare two bodies of revolution obtained by rotating P and P*, respectively. Then R′ = R*.

Proof Let v0 = {1, 0, 0} and ${S}^{1}={S}^{2}\cap {v}_{0}^{\perp }$, for any u S1, we have
$R|{u}^{\perp }=R\cap {u}^{\perp }.$
Since R′ ∩ u = (Ru)* for any u S1, we get
${R}^{\prime }\cap {u}^{\perp }={\left(R|{u}^{\perp }\right)}^{*},$

for any u S1. By Lemma 1, we have R′ = R*.    ■

Lemma 4 If
$\frac{1}{p}+\frac{1}{q}=1,$
then the polar body of
$U=\left\{\left(x,y\right)||x{|}^{p}+|y{|}^{p}\le 1\right\},\phantom{\rule{1em}{0ex}}p\ge 1$
is the following set:
${U}^{\prime }=\left\{\left(x,y\right)||x{|}^{q}+|y{|}^{q}\le 1\right\},\phantom{\rule{1em}{0ex}}q\ge 1.$
(4.2)
Proof For any (x, y) U and (x′, y′) U′, we have
$x{x}^{\prime }+y{y}^{\prime }\le |x{x}^{\prime }|+|y{y}^{\prime }|\le {\left(|x{|}^{p}+|y{|}^{p}\right)}^{\frac{1}{p}}{\left(|{x}^{\prime }{|}^{q}+|{y}^{\prime }{|}^{q}\right)}^{\frac{1}{q}}\le 1,$

which implies U U*.

If a point A′ = (x′, y′) U′, then
$|{x}^{\prime }{|}^{q}+|{y}^{\prime }{|}^{q}>1.$
Let ${A}_{0}^{\prime }=\left(|{x}^{\prime }|,|{y}^{\prime }|\right)$, then ${A}_{0}^{\prime }\notin {U}^{\prime }$. There exists a real r > 1 and a point A0 U′ satisfying ${A}_{0}^{\prime }=r{A}^{0}$. If A0 = (x0, y0), then x0 > 0 and y0 > 0. Let $x={x}_{0}^{\frac{q}{p}}$ and $y={y}_{0}^{\frac{q}{p}}$, then
${x}^{p}+{y}^{p}={x}_{0}^{q}+{y}_{0}^{q}=1$
and
$x{x}_{0}+y{y}_{0}={x}_{0}^{1+q/p}+{y}_{0}^{1+q/p}={x}_{0}^{q}+{y}_{0}^{q}=1,$

which implies (x, y) U and 〈(x, y), (|x′|, |y′|)〉 = r > 1, thus ${A}_{0}^{\prime }\notin {U}^{*}$. Because that U* is a 1-unconditional convex body, we have A U*. Then, U* U′.    ■

Rotating U and U′, we can get two bodies of revolution R and R′. By Lemma 3, we have R′ = R*. Let F(p) = V (R)V (R*).

In the following, we restate and prove Theorem 2.

Theorem 2 For a class of bodies of revolution obtained by rotating the "unit disk" in planar XOY, where the "unit disk" is the following set:
$U=\left\{\left(x,y\right)||x{|}^{p}+|y{|}^{p}\le 1\right\},\phantom{\rule{1em}{0ex}}p\ge 1,$
(4.3)

the Mahler volume is increasing for 1 ≤ p ≤ 2 and decreasing for 2 ≤ p ≤ +∞.

Proof By integration, we get V R (p) and VR*(q), which are volume functions of R and R* about p and q as following:
${V}_{R}\left(p\right)=2\pi \underset{0}{\overset{1}{\int }}\left(1-{x}^{p}\right)\frac{2}{p}dx,p\ge 1,$
and
${V}_{{R}^{\ast }}\left(q\right)=2\pi \underset{0}{\overset{1}{\int }}{\left(1-{x}^{q}\right)}^{\frac{2}{q}}dx,\frac{1}{p}+\frac{1}{q}=1.$
Thus, we have the Mahler volume V (R)V (R*), which is a function about p as following:
$F\left(p\right)={V}_{R}\left(p\right){V}_{{R}^{\ast }}\left(q\right)=4{\pi }^{2}\underset{0}{\overset{1}{\int }}{\left(1-{x}^{p}\right)}^{\frac{2}{p}}dx\underset{0}{\overset{1}{\int }}{\left(1-{x}^{q}\right)}^{\frac{2}{q}}dx,$
(4.4)

where p ≥ 1, and $\frac{1}{p}+\frac{1}{q}=1$.

Let 1 - x p = y, we have
$\underset{0}{\overset{1}{\int }}{\left(1-{x}^{p}\right)}^{\frac{2}{p}}dx=\frac{1}{p}\underset{0}{\overset{1}{\int }}{y}^{\frac{2}{p}}{\left(1-y\right)}^{\frac{1}{p}-1}dy=\frac{1}{p}B\left(\frac{2}{p}+1,\frac{1}{p}\right),$
where B(·, ·) is Beta function. Thus we have
$F\left(p\right)=\frac{4{\pi }^{2}}{pq}B\left(\frac{2}{p}+1,\frac{1}{p}\right)B\left(\frac{2}{q}+1,\frac{1}{q}\right),$

where p ≥ 1, and $\frac{1}{p}+\frac{1}{q}=1$.

By the relationship between Gamma function and Beta function:
$B\left(x,y\right)=\frac{\mathrm{\Gamma }\left(x\right)\mathrm{\Gamma }\left(y\right)}{\mathrm{\Gamma }\left(x+y\right)},$
we have
$F\left(p\right)=\frac{4{\pi }^{2}}{pq}\cdot \frac{\mathrm{\Gamma }\left(\frac{2}{p}+1\right)\mathrm{\Gamma }\left(\frac{1}{p}\right)}{\mathrm{\Gamma }\left(\frac{3}{p}+1\right)}\cdot \frac{\mathrm{\Gamma }\left(\frac{2}{q}+1\right)\mathrm{\Gamma }\left(\frac{1}{q}\right)}{\mathrm{\Gamma }\left(\frac{3}{p}+1\right)}.$
And by the following properties of Gamma function:
$\mathrm{\Gamma }\left(z+1\right)=z\mathrm{\Gamma }\left(z\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\mathsf{\text{and}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\mathrm{\Gamma }\left(1-z\right)\mathrm{\Gamma }\left(z\right)=\frac{\pi }{\mathrm{sin}\left(\pi z\right)},$
we have
$F\left(p\right)=\frac{16{\pi }^{3}}{9}\cdot \frac{\left(p-1\right)\left(p-2\right)}{p\left(2p-3\right)\left(p-3\right)}\cdot \frac{\mathrm{sin}\left(\frac{3\pi }{p}\right)}{\mathrm{sin}\left(\frac{2\pi }{p}\right)\mathrm{sin}\left(\frac{\pi }{p}\right)},\phantom{\rule{1em}{0ex}}p\ge 1.$
We can easily prove
$\underset{p\to 1}{\mathrm{lim}}F\left(p\right)=\underset{p\to +\infty }{\mathrm{lim}}F\left(p\right)=\frac{4{\pi }^{2}}{3},$
(4.5)
then R and R* are bicone and cylinder, or cylinder and bicone, and
$\underset{p\to 2}{\mathrm{lim}}F\left(p\right)=\frac{16{\pi }^{2}}{9},$
(4.6)

then R and R* are the same unit ball, which have the maximal Mahler volume.

In fact, F(p) = F(q) holds when $\frac{1}{p}+\frac{1}{q}=1$, so we just need to prove F (p) is increasing when 1 ≤ p ≤ 2, which can be easily proved by F′(p) ≥ 0 when 1 ≤ p ≤ 2. Based on the above conclusions, we have that a cylinder has the minimal Mahler volume and a ball has the maximal Mahler volume in this special class of bodies of revolution.    ■

We can draw the figure of the function F(p) by using MATLAB (see Figure 2). From the figure, we see that function F(p) is increasing when 1 ≤ p ≤ 2 and decreasing when 2 ≤ p ≤ +∞, so F(2) is a maximum and F(1) = F(+∞) is a minimum. Figure 2 The figure of the function F ( p ).

## Declarations

### Acknowledgements

The author express her deep gratitude to the referees for their many very valuable suggestions and comments. The research of Hu-Yan was supported by National Natural Science Foundation of China (10971128), Shanghai Leading Academic Discipline Project (S30104), and the research of Hu-Yan was partially supported by Innovation Program of Shanghai Municipal Education Commission (10yz160).

## Authors’ Affiliations

(1)
Department of Mathematics, Shanghai University of Electric Power, Shanghai, 200090, China

## References 