General Blaschke Bodies and the Asymmetric Negative Solutions of Shephard Problem

: In this article, based on the Blaschke combination of convex bodies, we deﬁne the general Blaschke bodies and obtain the extremal values of their volume and afﬁne surface area. Further, we study the asymmetric negative solutions of the Shephard problem for the projection bodies. software, T.L.; validation, T.L., W.W. and Y.M.; analysis, T.L. and and and Y.M.; writing–original preparation, T.L.; writing–review and T.L. and W.W.; W.W. and Y.M.; T.L., and acquisition, T.L., and

By (4), we get that g 1 (γ) + g 2 (γ) = 1, Moreover, by (2), (4) and (7), In this article, we study general Blaschke bodies and their applications. First, the extremum of the volume and affine surface area for the general Blaschke bodies were established by us. Further, as the applications of the extreme values, we give the asymmetric negative forms for the Shephard problem of projection bodies.
For the extremal values of the volume of general Blaschke bodies, we give the following result.
If γ = 0, then equality holds in the left inequality if and only if M is centrally symmetric; if γ = ±1, then equality holds in the right inequality if and only if M is also centrally symmetric. Here V(M) is the n-dimensional volume of a body M.
Meanwhile, according to the affine surface area of convex bodies (see (18)), we obtain another type of extremum for general Blaschke bodies.
If γ = 0, then equality holds in the left inequality if and only if M is centrally symmetric; if γ = ±1, then equality holds in the right inequality if and only if M is also centrally symmetric.
Here Ω(M) is the affine surface area of M ∈ K n .
The notion of projection bodies was introduced at the turn of the previous century by Minkowski. For a convex body Q, the projection body ΠQ of Q is the origin-symmetric convex body whose support function is defined by (see [1]) for all ε 1 , ε 2 ∈ S n−1 (S n−1 is the unit sphere in R n ). Here V n−1 denotes the (n − 1)-dimensional volume. The projection body is an extremely important notion in Brunn-Minkowski theory. For many results on the projection bodies, see [3][4][5][6][7][8][9][10][11][12] or books [1,2]. In particular, Petty [9] and Schneider [11] gave the following negative solutions for the Shephard problems of projection bodies, respectively. Theorem 3 ([9,11]). Let N ∈ K n . If N is not centrally symmetric, then there exists M ∈ K n os satisfying ΠM ⊂ ΠN, but V(M) > V(N).
Here K n os is the set of origin-symmetric convex bodies in R n .
Evidently, the negative solutions are origin-symmetric convex bodies in Theorems 3 and 4. Here, as the applications of Theorems 1 and 2, we give the asymmetric negative solutions for the Shephard problems of projection bodies, namely, we extend the scope of negative solutions in Theorems 3 and 4 from M ∈ K n os to M ∈ K n , respectively.
Our works are part of a new and rapidly evolving asymmetric Brunn-Minkowski theory. For the researches of asymmetric Brunn-Minkowski theory, see .
In this article, the proofs of Theorems 1 and 2 shall be completed in Section 4 and the proofs of Theorems 5 and 6 shall be given in Section 5. In Section 3, we show some properties of general Blaschke bodies.

Mixed Volume and Surface Area Measure
The support function of a convex body Q can be defined by (see [1,2]) here m · n is the standard inner product for m and n. The mixed volume of Q 1 , Q 2 , · · · , Q n ∈ K n is defined by (see [1]) here S(Q 1 , Q 2 , · · · , Q n−1 , ·) is called the mixed surface area measure of Q 1 , Q 2 , · · · , Q n−1 . Let B denote the standard unit ball in R n and its volume is written by ω n = V(B). The mixed surface area measure S(Q, · · · , Q, B, · · · , B, ·), with n − j − 1 copies of Q and j copies of B, is usually written by Lutwak (see [44]) In particular, let j = 0, then the surface area measure, S(Q, ·), of Q ∈ K n is given by (12). Then the volume V(Q 1 , Q 2 , · · · , Q n ) is written by here V(M, n − j; N, j) contains n − j copies of M and j copies of N.
From (12), (13), and (14), if j = 1, then for arbitrary ε ∈ S n−1 , In [45], Lutwak showed that the mixed volume and surface area measure have the translation property, i.e., for any m, n ∈ R n , Using the mixed volumes, the following result can be obtained

Affine Surface Area
For Q ⊆ R n is non-empty, the polar set, Q * , of Q is a convex set defined as (see [1]) The notion of classical affine surface area was proposed by Leichtweiβ (see [46]). For the set of star bodies with the origin in R n , we write

Some Properties of General Blaschke Bodies
In this section, we will establish the following properties of general Blaschke bodies.

The Extremal Values of General Blaschke Bodies
In this section, Theorems 1 and 2 will be proved by us. The proof of Theorem 1 requires the following Lemma.

Lemma 1 ([47]
). If M, N ∈ K n , n ≥ 2 and α, β ≥ 0 (not both zero), then with equality if and only if M and N are homothetic.
Evidently, (24) is an identity if γ = ±1. Moreover, if γ = ±1, then from the equality condition of (23), the equality holds in (24) if and only if M and −M are homothetic, it means M is a centrally symmetric convex body. Namely, the sufficient and necessary condition of equality holds in the right inequality of (8) is that M shall be centrally symmetric if γ = ±1. Now, we complete the proof of left inequality in (8). Combining with (1), (3), (5) and (6), we obtain that for arbitrary ε ∈ S n−1 . Thus, By (1), (2) and Theorem 9, it yields Using (25) and (23), we obtain This yields the left inequality of (8).
Evidently, (26) is an identity if γ = 0. If γ = 0, in accordance with the equality condition of (23), the equality holds in (26) if and only if ∇ γ M and −∇ γ M + m are homothetic, this means ∇ γ M and −∇ γ M are homothetic, i.e., ∇ γ M is a centrally symmetric convex body. Hence, together with Theorem 10, M is a centrally symmetric convex body. It implies that equality holds in the left inequality of (8) if and only if M is centrally symmetric if γ = 0.

Lemma 2 ([45]
). Suppose M, N ∈ K n and α, β ≥ 0 (not both zero), then with equality if and only if M and N can be homothetic.
Proof of Theorem 2. According to (7), (27) and (5), we obtain for arbitrary γ ∈ [−1, 1], Hence The right inequality of (9) is proved. From the equality condition of (27), the equality holds in (28) if and only if M and −M are homothetic if γ = ±1. That is to say, M is a centrally symmetric convex body.
Further, we prove the left inequality of (9). By (16), we have for arbitrary N ∈ S n o and m ∈ R n , Then from (18), we get Hence using (25) and (27), we obtain Therefore This is just the left inequality of (9). From the condition of equality holds in (27), the equality holds in (29) if and only if ∇ γ M and −∇ γ M + m are homothetic if γ = 0. It means ∇ γ M and −∇ γ M are homothetic, i.e., ∇ γ M is a centrally symmetric convex body. Therefore, together with Theorem 10, M is a centrally symmetric convex body. In other words, the equality holds in the left inequality of (9) if and only if M is centrally symmetric if γ = 0.

The Asymmetric Negative Solutions for Shephard Problem
In this section, we give the volume and affine surface area forms of asymmetric negative solutions for the Shephard problems of projection bodies.