Minkowski Endomorphisms

Several open problems concerning Minkowski endomorphisms and Minkowski valuations are solved. More precisely, it is proved that all Minkowski endomorphisms are uniformly continuous but that there exist Minkowski endomorphisms that are not weakly-monotone. This answers questions posed repeatedly by Kiderlen (Trans Am Math Soc 358:5539–5564, 2006), Schneider (Convex bodies: the Brunn–Minkowski theory. Second expanded edition, encyclopedia of mathematics and its applications. Cambridge University Press, Cambridge, 2014) and Schuster (Trans Am Math Soc 359:5567–5591, 2007). Furthermore, a recent representation result for Minkowski valuations by Schuster and Wannerer is improved under additional homogeneity assumptions. Also a question related to the structure of Minkowski endomorphisms by the same authors is answered. Finally, it is shown that there exists no McMullen decomposition in the class of continuous, even, SO(n)-equivariant and translation invariant Minkowski valuations extending a result by Parapatits and Wannerer (Duke Math J 162:1895–1922, 2013).


Introduction
Let K n denote the space of convex bodies (nonempty, compact, convex sets) in R n endowed with the Hausdorff metric and Minkowski addition. Naturally, the investigation of structure preserving endomorphisms of K n has attracted considerable attention (see e.g. [AM10,Sch74a,Sch74b,Sch74c,Sch07,Kid06]). In particular, in 1974, Schneider initiated a systematic study of continuous Minkowski-additive endomorphisms commuting with Euclidean motions. This class of endomorphisms, called Minkowski endomorphisms, turned out to be particularly interesting. Note that, in contrast to the original definition, we consider translation invariant instead of translation equivariant maps. However, it was pointed out by Kiderlen that these definitions lead to the same class of maps up to addition of the Steiner point map (see [Kid06] for details). The main question of characterizing the (infinite dimensional) cone of Minkowski endomorphisms is a hard-yet interesting-one since it is intimately tied to the structure of K n . Schneider [Sch74b] established a complete classification in the case n = 2. Since then a number of authors contributed further results and generalizations (see [Kid06,Sch07,Sch10,SW15,SW]). In particular, Kiderlen obtained an important convolution representation. To state his result, recall that a convex body K is uniquely determined by its support function h K (u) = max{u · x : x ∈ K}.

Definition. A Minkowski endomorphism is a continuous, SO(n)-equivariant and translation invariant map
Theorem 1.1 [Kid06]. If Φ : K n → K n is a Minkowski endomorphism, then there exists a unique zonal distribution ν ∈ C −∞ o (S n−1 ) of order at most 2, called the generating distribution of Φ, such that for every K ∈ K n . Moreover, Φ is uniformly continuous if and only if ν is a signed Borel measure.
Here C −∞ o (S n−1 ) denotes the space of distributions vanishing on the restriction of linear functions to the sphere and h K * ν denotes the spherical convolution of the support function with the distribution ν (see [Gro96]). While this theorem gives an explicit description of Minkowski endomorphisms, the important question of which distributions may occur as generating distributions remains open. In particular, it is not known whether all Minkowski endomorphisms are uniformly continuous. This was conjectured by several authors (see [Sch07,Kid06] and [Sch14,Chapter 3.3]). With our first theorem, we confirm this conjecture in a slightly stronger form. For K ∈ K n , we denote the mean width of K by w(K). Theorem 1.2. For every n ≥ 2, there exists a constant C n ≥ 0 such that any Minkowski endomorphism Φ : K n → K n is Lipschitz continuous with Lipschitz constant As a consequence, we conclude that every Minkowski endomorphism is generated by a measure; providing a stronger form of Theorem 1.1.
An important class of endomorphisms that are completely characterized is that of weakly monotone Minkowski endomorphisms. We recall that the Steiner point of a convex body K ∈ K n is defined by s(K) = Interestingly, weakly monotone Minkowski endomorphisms are the only known examples of Minkowski endomorphisms so far. Also, from Schneiders characterization for n = 2 it follows that all endomorphisms are weakly monotone in that case. The natural question whether Minkowski endomorphisms are weakly monotone in general already implicitly appeared in [Kid06]. Later it was stressed by Schneider and Schuster (see [Sch07] and [Sch14, Chapter 3.3]). A positive answer would clearly yield a complete characterization of Minkowski endomorphisms by Theorem 1.3. However, in this article we prove the following: Theorem 1.4. For every n ≥ 3, there exist Minkowski endomorphisms Φ : K n → K n that are not weakly monotone.
More recently, the investigations of Minkowski endomorphisms were extended to Minkowski valuations which generalize the notion of Minkowski-additive maps.
Scalar valuations, where A = R or C, were probably first considered in Dehn's solution of Hilbert's third problem. As a natural and important generalization of the notion of measure they have since then played a central role in convex and discrete geometry (see [KR97] and [Sch14, Chapter 6]). The name Minkowski valuation for valuations with values in K n was first coined by Ludwig (see [Lud05]). She started a line of research focusing on Minkowski valuations that intertwine the linear group (see [Lud02,Lud05,Lud10,Aba12,AB11,Hab12,SW12,Wan11]). In most cases, it has been proven that the Minkowski valuations under consideration could be characterized as conic combinations of fundamental and well known valuations such as the projection or difference body operators.
On the other hand, cones of Minkowski valuations that merely intertwine rotations tend to be much more diverse. As a direct generalization of Minkowski endomorphisms, we will be focusing on the cone of continuous, translation-invariant and SO(n)-equivariant Minkowski valuations denoted by MVal SO(n) . To explain why this generalizes Minkowski endomorphisms, recall that a valuation Φ is called jhomogeneous if Φ(λK) = λ j Φ(K) for all K ∈ K n and λ ≥ 0. Let MVal SO(n) j denote the subcone of j-homogeneous valuations in MVal SO(n) . Then, by a result of Spiegel (see [Spi76]), the cone MVal is precisely the cone of Minkowski endomorphisms. , Schuster obtained a similar convolution representation for the space of (n − 1)-homogeneous valuations MVal SO(n) n−1 . Later, he was able to prove a representation result for even and smooth elements in MVal SO(n) of arbitrary degree of homogeneity. In order to state his result, recall that vol j (K|E) denotes the volume of K ∈ K n projected to E ∈ Gr j,n . (For the notions of convolution on Grassmannians and smooth valuations, see [Tak94] and Section 2.4, respectively).
Theorem 1.5 [Sch10]. Let Φ ∈ MVal SO(n) be even, smooth and homogeneous of degree j ∈ {1, . . . , n}. Then there exists a unique (O(j) × O(n − j))-invariant and even function f Φ ∈ C ∞ (S n−1 ), called the Crofton function of Φ, such that Note that, in the case j = 1, the Crofton function is equal to the generating function of Φ up to a constant. Let C : M(S n−1 ) → C(S n−1 ) denote the cosine transform (see Sect. 2.2). It can be shown that is a necessary condition for a smooth function f ∈ C ∞ (S n−1 ) to be the Crofton measure of a j-homogeneous, even and smooth Φ ∈ MVal SO(n) (see [SW15]). When (1.2) holds, L is called a generalized zonoid and f is called the generating function of the convex body L. From the result in [Sch07], it follows that condition (1.2) is also sufficient for a function f ∈ C ∞ (S n−1 ) to be the Crofton measure of an (n − 1)-homogeneous Minkowski valuation. Schuster and Wannerer posed the problem of deciding whether generating functions of smooth convex bodies are Crofton measures for every 1 ≤ j ≤ n − 1 (see [SW15]). Note that, in the case j = 1, this problem provides an inherent conjecture about the structure of the cone of smooth and even Minkowski endomorphisms. However, here we prove the following: Theorem 1.6. For n ≥ 3, there exists an origin symmetric strictly convex and smooth body of revolution L ∈ K n such that its generating function is not a generating function of an even Minkowski endomorphism.
More recently, Schuster and Wannerer were able to obtain a general Hadwiger type theorem for MVal SO(n) .
Theorem 1.7 [SW]. If Φ : K n → K n is a continuous Minkowski valuation which is translation invariant and SO(n) equivariant, then there exist uniquely determined Additionally, the authors remarked that in general the measures μ j could not have densities in L 2 (S n−1 ). They, however, left it as an open problem whether the μ j are absolutely continuous with a density in L 1 (S n−1 ). Under the additional assumption of homogeneity, we are able to give a simplified proof of Theorem 1.7 and also establish the conjectured extra regularity properties. This follows as a corollary from Theorem 1.2.
One should mention that Corollary 1.8 does not imply a stronger version of Theorem 1.7 because it is not known whether all the summands in (1.3) have to be support functions. The corresponding question, namely whether any element in MVal SO(n) is decomposable into homogeneous Minkowski valuations, was first raised by Schneider and Schuster (see [SS06], Section 5 and [Sch10]). More generally, Parapatits and Schuster asked this question for Minkowski valuations that do not necessarily intertwine rotations (cf. [PS12]). Recently, Parapatits and Wanner proved that in this general setting such a decomposition is not possible (see [PW13]). However, the original problem of whether such a decomposition exists for MVal SO(n) remained open. We will introduce a novel way to construct SO(n)-equivariant Minkowski valuations that, together with Theorem 1.6 and a result from [PW13], yields the following theorem.
Theorem 1.9. If n ≥ 3, then there exists a continuous, even, translationinvariant and SO(n)-equivariant Minkowski valuation Φ : K n → K n which cannot be decomposed into a sum of homogeneous Minkowski valuations.

Background Material
In this section we collect the necessary background and definitions from convex geometry, functional analysis and analysis on the sphere. We also prove, an auxiliary corollary of a result by Weil. Finally, we recall some definitions and results from the theory of valuations that we will require later on.

Cones in Locally Convex Spaces.
Let X be a locally convex vector space and X * its dual space equipped with the weak- * topology. Recall that the dual space of X * equipped with the weak- * topology can be identified with X (cf. [Rud91]). A cone is a set C ⊆ X such that x, y ∈ C ⇒ x + y ∈ C and x ∈ C ⇒ λx ∈ C for all λ ≥ 0. Given a set M ⊆ X the smallest closed cone containing M is denoted by For a cone C ⊆ X its dual cone is defined by The following theorem is a well-known consequence of the Hahn-Banach theorem.
For the reader's convenience, we provide a short proof.
Theorem 2.1. Let C ⊆ X be a cone. Then where the closure is taken in the topology of X.
Proof. First note that C * * is closed in the weak topology. However, since it is a convex set, by an easy argument using the Hahn-Banach theorem it is also closed in the topology of X. Hence we have C ⊆ C * * . To show equality, assume that x / ∈ C. Recall that by the Hahn Banach seperation theorem there exists an f ∈ X * such that f (x) < I = inf{f (y) : y ∈ C}. Since 0 ∈ C clearly I ≤ 0. Would there exist an 2.2 Analysis on the Sphere. All measures in this article are signed finite Borel measures. We denote the space of all measures on S n−1 by M(S n−1 ). The space of measures in M(S n−1 ) with center of mass at the origin is denoted by M o (S n−1 ). Integration over the unit sphere S n−1 in R n is to be understood with respect to the (n − 1)-dimensional Hausdorff measure. For the rest of this article let us fix a polē e ∈ S n−1 on the sphere. Often it is convenient to use cylindrical coordinates with respect to this pole.
Two important integrals that one easily calculates using cylindrical coordinates are Let μ ∈ M(S n−1 ). We will denote the Radon decomposition of μ by μ = μ + − μ − . Then μ TV = μ + (S n−1 ) + μ − (S n−1 ) is the total variation of μ. We also define The natural action of the group of rotations SO(n) on C(S n−1 ) is given by We will denote the stabilizer ofē in for some v ∈ē ⊥ . It is easy to check that this does not depend on the choice of v ∈ē ⊥ . Conversely, given g ∈ C[−1, 1] we obtain a zonal function f ∈ C(S n−1 ) by Since this operation is inverse to the construction of the associated function, we see that there is a one-one correspondence of zonal functions on the sphere and their associated functions (see [Sch07] for more information).
Having chosen the poleē, it is possible to identify the sphere with the homogeneous space SO(n)/SO(n−1). Since SO(n) is a compact group, there exists a natural convolution operation on M(SO(n)). By the above identification this induces a convolution operation between measures on the sphere. For more details on this, see [Gro96,Tak94]. Here, we will directly define convolutions between measures on the sphere. For f ∈ C(S n−1 ), the SO(n − 1)-symmetrization of f is given bȳ where dθ denotes the Haar probability measure on SO(n − 1). Clearly,f is zonal. The convolution of a measure μ ∈ M(S n−1 ) with a function g ∈ C(S n−1 ) is defined by

MINKOWSKI ENDOMORPHISMS 473
Note that μ * g ∈ C(S n−1 ) and that μ * g = μ * g. It is thus sufficient to consider only zonal functions for convolutions from the right. Since left-and right-convolutions are self adjoint operations, the convolution between measures μ, ν ∈ M(S n−1 ) can be defined by for all g ∈ C(S n−1 ). Naturally, identifying a function f ∈ L 1 (S n−1 ) with its associated absolutely continuous measure defines the convolution of integrable functions. From the definition it follows that convolutions are associative and it is straightforward to show that the convolution of zonal functions is commutative.
An important operator on measures on the sphere is the cosine transform C : From the commutativity of the convolution of zonal functions, it immediately follows that for μ ∈ M(S n−1 ) and g ∈ C(S n−1 ) zonal (2.5) It is well known (see for example [Gro96]) that the cosine transform is injective on even functions.
Since 2 n is SO(n)-equivariant it follows from standard results in harmonic analysis that for f, g ∈ C 2 (S n−1 ) with g zonal (see e.g. [Sch07]) Berg (cf. [Ber69]) showed that, for every n ≥ 2, there exists a function g n ∈ L 1 (S n−1 ) such that f = (2 n f ) * g n (2.7) for every f ∈ C 2 (S n−1 ). Indeed, equation (2.7) holds more generally for distributions on the sphere.

Convex Bodies.
In this chapter we will review fundamental facts and results from the theory of convex bodies. For a more detailed exposition confer [Sch14]. We will assume throughout that n ≥ 3. Recall that K n denotes the set of convex bodies (compact and convex sets) in R n endowed with the Hausdorff metric and Minkowski addition. Any body K ∈ K n is uniquely determined by its support function h K (u) = max{u · x : x ∈ K} for u ∈ S n−1 . Let H j denote the j-dimensional Hausdorff measure. For any Borel set ω ⊆ S n−1 , the surface area measure of a convex body K is defined by where N (K, x) denotes the normal cone of K at the boundary point x. Let B n denote the Euclidean unit ball in R n . For every r > 0, the surface area measure satisfies the Steiner type formula The measure S j (K, ·) is called the area measure of order j of K. Let us now consider more specifically convex bodies K ∈ K n with non-empty interior and support function h K ∈ C 2 (S n−1 ). For a pair of orthogonal vectors u and v of unit length, the radii of curvature of such a K at u in direction v is given by where (f ) 1 denotes the 1-homogeneous extension of a function f ∈ C(S n−1 ) to R n \{0}. The radius r K (u, v) is precisely the radius of the osculating circle to K|span{u, v} at the point u ∈ span{u, v}. We denote the class of convex bodies with support function of class C 2 and everywhere positive radii of curvature by K 2 + . A function h ∈ C 2 (S n−1 ) is the support function of a convex body K ∈ K 2 + if and only if ∂ 2 ∂v 2 (h) 1 (u) > 0 (2.8) for all pairs of orthogonal vectors u and v (cf. [Sch14, Chapter 2.5]). The eigenvalues of the Hessian ∇ 2 (h K ) 1 (u) are the radii of curvature in the principal directions, that is, the principle radii of curvature. For 1 ≤ j ≤ n−1, these are denoted by r j (u). The area measure of order 1 ≤ j ≤ n − 1 of a body K ∈ K 2 + is absolutely continuous with respect to the spherical Lebesgue measure. Its continuous density is given by the jth normalized elementary symmetric function of the principal radii of curvature: In particular s 1 (K, ·) = 2 n h K . (2.9)

MINKOWSKI ENDOMORPHISMS 475
The general Christoffel-Minkowski problem asks for necessary and sufficient conditions for a Borel measure on S n−1 to be the jth area measure of a convex body. The answer to the special case j = n − 1, known as Minkowski's existence theorem, is one of the fundamental theorems in the Brunn-Minkowski theory (see [Sch14,Chapter 8.2]). It states that a non-negative measure μ ∈ M(S n−1 ) is the surface area measure of a convex body with non empty interior if and only if μ is not concentrated on a great subsphere and has its centroid at the origin. The solution in the case j = 1 was independently discovered by Firey [Fir68] and Berg [Ber69]. Berg's solution essentially was to find the Green function of the 2 n operator [see (2.7)]. The intermediate cases are only partially resolved and seem to be much more complicated (see [Sch14,Chapter 8.4]). For the special case of bodies of revolution in K 2 + , Firey was able to give the following characterization.
Theorem 2.2 [Fir70b]. Suppose that 1 ≤ j ≤ n − 1. A zonal function s(ē · . ) on S n−1 is the density of S j (K, ·) of a body of revolution K ∈ K 2 + if and only if s satisfies the following conditions: Another result by Firey that we require, concerns a concentration property of area measures. For 0 < α < π 2 let C α denote the spherical cap given by C α = {u ∈ S n−1 : (ē · u) ≥ cos α}.
Theorem 2.3 [Fir70a]. Let K ∈ K n and 1 ≤ j ≤ n − 1. Then there exists a constant A > 0 such that Next we recall that an origin symmetric convex body K ∈ K n is called a generalized zonoid if there exists an even measure μ ∈ M(S n−1 ), called the generating measure of the convex body K, such that The next theorem, due to Weil, characterizes the cone of continuous generating functions of convex bodies.

Theorem 2.4 [Wei82]. An even function ρ ∈ C(S n−1 ) is the generating function of a smooth convex body L if and only if
for all w⊥w ∈ S n−1 . Corollary 2.5. Let ρ ∈ C(S n−1 ) be even and zonal. For 0 < α, β ≤ 1 define Then ρ is the generating function of a convex body L if and only if for all 0 < α, β < 1.

Valuations on Convex Bodies.
In this subsection we will review some results from the theory of valuations that we will require later on. For a more detailed background on classical valuation theory see [KR97,Had57]  Recall that a valuation on convex bodies is a map φ : K n → A for some abelian semi-group A satisfying whenever K, L, K ∪ L ∈ K n . The space of continuous and translation invariant valuations with values in R is denoted by Val. A valuation φ is called j-homogeneous if φ(λK) = λ j φ(K) for every λ ≥ 0. The subspace of j-homogeneous valuations in Val is denoted by Val j . The following theorem lies at the heart of the theory of valuations.

MINKOWSKI ENDOMORPHISMS 477
Theorem 2.6 (McMullen's decomposition). If φ ∈ Val, then there exist φ j ∈ Val j , 0 ≤ j ≤ n, such that It is a consequence of McMullen's decomposition that Val is a Banach space with respect to the norm of uniform convergence on bounded sets of K n .
A valuation φ is called even if φ(−K) = φ(K). An important subclass of valuations, that was introduced by Alesker, is given by the smooth valuations.
is smooth.
It follows directly from a standard fact in representation theory, that smooth valuations form a dense subspace in Val. In the remainder of this section we will consider the subspace Val + 1 of even 1-homogeneous valuations in Val. Let φ ∈ Val + 1 . Its Klain function KL φ ∈ C(S n−1 ) is the even function defined by From Hadwiger's characterization of volume (see eg. [Had57]) it follows that KL φ determines φ uniquely (see [Kla00]). The next proposition characterizes smooth 1homogeneous valuations.
Proposition 2.7 [BPSW, Appendix]. A valuation φ ∈ Val 1 is smooth if and only if it is of the form It is easy to check that for a smooth φ ∈ Val + 1 ,

Minkowski Endomorphisms
In this section we will give the proofs of our main results regarding Minkowski endomorphisms. We recall, that by Theorem 1.1, Minkowski endomorphisms are uniquely determined by a zonal generating distribution (measure or function).
The following Lemma introduces a crucial necessary condition for generating measures of Minkowski endomorphisms. for all K ∈ K 2 + . Moreover, if μ is absolutely continuous with continuous density g ∈ C(S n−1 ), then Proof. Let μ ∈ M(S n−1 ) be the generating measure of a Minkowski Endomorphism Φ and let K ∈ K 2 + . Using (2.6) and (2.9) we compute Now let μ have a continuous density g ∈ C(S n−1 ). Then for all K ∈ K 2 + . Approximating an arbitrary K ∈ K n by elements from K 2 + in the Hausdorff metric, we finally obtain S n−1 g(u) dS 1 (K, u) ≥ 0, for all K ∈ K n by the weak convergence of area measures.
Remark 3.2. It is not to hard to see that the conditions (3.1) and (3.2) are not sufficient for a measure to be the generating measure of a Minkowski endomorphism.
We will now give the proof of Theorem 1.2. Theorem 3.3. For every n ≥ 2, there exists a constant C n such that any Minkowski endomorphism Φ : K n → K n is Lipschitz continuous with Lipschitz constant By Lemma 3.1, we know that any generating measure μ Φ of a Minkowski endomorphism Φ satisfies μ φ ∈ S * . We will therefore start by examining S * ⊆ M o (S n−1 ,ē) in more detail. For −1 < α, β < 1, consider the zonal measures τ α ∈ M(S n−1 ,ē) and σ β ∈ M(S n−1 ,ē) given by GAFA MINKOWSKI ENDOMORPHISMS 479

Proof. Let
for f ∈ C (S n−1 ,ē). Let now C = cone{τ α,o , σ β,o : −1 < α, β < 1}, where τ α,o and σ β,o denote the projections of τ α and σ β onto M o (S n−1 ,ē) respectively. Using Theorem 2.2 we immediatly see that We are now going to show that For any μ that is a finite conic combination of the τ α,o and the σ β,o we then have for any > 0 (using Theorem 2.2 and the fact that the constant function is the density of the first area measure of the unit ball). Using Theorem 2.2 again, we conclude that f + 1 ∈ S for every > 0. Thus f ∈ S. Now combining (3.3), (3.4) and applying Theorem 2.1 we obtain Using this, we are now going to show that for every n ≥ 2 there exists a constant C n , such that for μ ∈ S * μ TV ≤ C n μ(S n−1 ).
(3.5) Indeed, it is not hard to show that τ α,o satisfies the above equation for every −1 < α < 1. Let β ≥ 0, then (σ β ) We see that (3.5) holds for all σ β and thus also for σ β,o . By the triangle inequality, it extends to all conic combinations of the τ α,o and σ β,o . Let (μ j ) j∈N be a sequence of such conic combinations converging weakly to an arbitrary μ ∈ C. Recall, that Thus μ TV ≤ lim sup j→∞ μ j TV ≤ C n μ(S n−1 ).

F. DORREK GAFA
Let now μ be the generating measure of a Minkowski endomorphism. Then μ satisfies (3.5) and for any f ∈ C(S n−1 ), Since any smooth Minkowski endomorphism has a (smooth) generating measure, we conclude that any smooth Φ is Lipschitz continuous with a Lipschitz constant c Φ ≤ C n w (Φ(B n )). Let now Φ be an arbitrary Minkowski endomorphism. Then there exists a sequence (Φ j ) j∈N of smooth Minkowski endomorphisms that converges to Φ uniformly on compact subsets of K n (cf. [SW,Corollary 5.4.]). Hence, for every > 0, there exists j ≥ 0 such that for any compact convex sets K, L we have We conclude that every Minkowski endomorphism Φ has a Lipschitz constant smaller or equal then C n w(Φ(B n )).
The first step in proving Theorem 3.5 is the following crucial Lemma.
Lemma 3.4. For any c, C > 0, there exists a (monotone) Minkowski endomporhism with (non-negative) generating function g ∈ C(S n−1 ) such that g(ē) ≥ C but for all orthogonal pairs u, v ∈ S n−1 and all strictly convex and smooth bodies K.
Proof. Let g ∈ C(S n−1 ) be zonal, even and non-negative and let g(ē) = C be its maximum. By Theorem 1.3, g is the generating function of a Minkowski endomorphism Φ. It remains to show that g can be chosen in such a way that we also obtain the desired bound on the radii of curvature. Therefore, note that since r Φ(θ −1 K) (u, v) = r ΦK (θu, θv) for θ ∈ SO(n) it suffices to bound r ΦK (ē,t) fort ∈ S n−1 orthogonal to the poleē and all strictly convex and smooth bodies K. For these K ∈ K n , we have r ΦK (ē,t) ≤ (n − 1) s 1 (ΦK,ē).
Let us now moreover require that the support of g in the upper hemisphere is contained in the cap C α . Then by Theorem 2.3 (remember that the maximum of g was chosen to be C) r ΦK (ē,t) ≤ (n − 1) S n−1 g(u) dS 1 (K, u) GAFA MINKOWSKI ENDOMORPHISMS 481 ≤ 2(n − 1)C S 1 (K, C α ) ≤ 2(n − 1)AC sin n−2 α cos α h K .
Choosing α small enough completes the proof.
The prove of Theorem 3.5 now easily follows.
Proof. We are going to construct the desired endomorphism as the difference of two monotone ones. Let the first endomorphism Φ 1 : K n → K n be given by Φ 1 (K) = w(K) B n . Its generating function is the constant 1 function. Observe that for all origin symmetric bodies K we have Clearly, segments satisfy the above inequality. Since a maximal subsegment I of an arbitrary origin symmetric K ∈ K n satisfies h I = h K but h I L 1 ≤ h K L 1 , we see that the inequality holds in general. This now implies that for all orthogonal pairs u, v ∈ S n−1 . For the second endomorphism Φ 2 we take any even endomorphism from Lemma 3.4 with C > 1 and c < 2ωn−1 n−1 . Let g be its generating function. For all origin symmetric, strictly convex and smooth bodies K and orthogonal pairs u, v ∈ S n−1 , we then have Hence, by (2.8), is a support function for all origin symmetric, strictly convex and smooth bodies. Note that since 1 − g is even we only need to show that origin symmetric bodies are mapped to convex bodies. Approximating an arbitrary origin symmetric L ∈ K n by strictly convex and smooth bodies, we therefore see that h ΦK := h Φ1K − h Φ2K defines a Minkowski endomorphism. Since its generating function 1 − g attains a negative value atē it is not monotone by Theorem 1.3.
We finally give the prove of Theorem 1.6. Theorem 3.6. There exists an origin symmetric strictly convex and smooth body of revolution L ∈ K n such that its generating function ρ L is not a generating function of an even Minkowski endomorphism.