Next Article in Journal
A Study on the Application of Large Language Models Based on LoRA Fine-Tuning and Difficult-Sample Adaptation for Online Violence Recognition
Previous Article in Journal
FedRP: Region-Specific Personalized Identification for Large-Scale IoT Systems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Geometry of Strictly Convex Surfaces Parameterized by Their Support Function and Ellipsoids in Rn+1

by
Daniel Ballesteros-Chávez
1,* and
Rodrigo Dávila-Figueroa
2
1
Institute of Mathematics, Faculty of Control, Robotics and Electrical Engineering, Poznan University of Technology, 60-965 Poznań, Poland
2
Department of Mathematics and Sciences, Ajman University, Ajman P.O. Box 346, United Arab Emirates
*
Author to whom correspondence should be addressed.
Symmetry 2025, 17(8), 1309; https://doi.org/10.3390/sym17081309
Submission received: 11 July 2025 / Revised: 26 July 2025 / Accepted: 5 August 2025 / Published: 13 August 2025
(This article belongs to the Section Mathematics)

Abstract

We investigate strictly convex hypersurfaces in Euclidean space that are parameterized by their support function. We obtain a differential equation for the support function restricted to curves on the sphere, and we give explicit parameterizations of ellipsoids in  R n + 1  as the inverse of their Gauss map, where symmetry plays an important role.

1. Introduction

The support function of a convex hypersurface measures the (signed) distance of the supporting hyperplanes of the surface to the origin. It is also possible to parameterize strictly convex hypersurfaces by means of their support function. This representation has led to major advances in convex geometry, geometric analysis, and geometric computing (see, e.g., [1,2,3,4]). More recently, generalizations of a classical theorem by Blaschke [5] have grown in interest and relevance. In [6], this problem is addressed for k-convex hypersurfaces in Hadamard manifolds, and in [7], the same authors study a discrete version of the Blaschke problem for convex polygons when the ambient space is a two-dimensional space form.
The support function has been extensively used in the development of new computational methods and algorithms for the reconstruction of shapes [8,9,10] using only a finite number of measurements of the values, allowing some error terms (noisy measurements). This has many applications, particularly within computer vision software.
In [11], Pedro R. S. Antunes and Beniamin Bogosel present a numerical framework for the optimization of geometric functionals of convex shapes. In this case, the support function is used to approximate solutions to various optimization problems. Among these, they study the famous open problem of Blaschke–Lebesgue, that is, the minimization of the volume of a strictly convex surface subject to a given constant width (see also [12] for a more geometric approach). The conjectured optimizers are the shapes called Meissner’s bodies. Related problems discussed in [11] include minimizing Dirichlet–Laplace eigenvalues under a convexity constraint and finding rotors of minimal volume.
In this work, we recall the geometry of hypersurfaces and the geometry of convex hypersurfaces in the Euclidean space  R n + 1 . Our approach is to obtain explicit formulae in local coordinates in terms of the support function and its derivatives. It is worth remarking that even though we restricted ourselves to the case of strictly convex hypersurfaces, many of these identities will still hold in the case that one requires only convexity.
Our main contributions can be found in Section 4 and Section 6. We obtain an explicit expression for a differential equation satisfied by the support function when it is restricted to a curve on the sphere, providing a more general form than the one utilized in [13,14], where the curves are geodesics on the unit sphere. In the last section, we also provide the parameterization by support functions of ellipsoids, where symmetry plays an important role and allows us to derive the recurrence relations for the angles needed for such a representation. These advances will help us understand how the geometry of curves on the sphere changes when it is mapped to a convex surface by means of its support function.

2. Geometry of Hypersurfaces in  R n + 1

In this section, we recall some formulae in the geometry of the hypersurfaces in  R n + 1  in local coordinates.
Let  M R n + 1  be a hypersurface. Then,  R n + 1 = T M T M . For any point  X M , parameterized as  X = X ( x 1 , , x n ) , we denote the usual tangent frame  X i = X x i , for  i = 1 , 2 , , n . We also write  · , ·  for the usual inner product in  R n + 1 . The induced metric in M is the restriction of  · , ·  to the tangent spaces  T M . It is referred to as the induced metric on M, is denoted by g, and is determined by the values  g i j = X i , X j . The inverse of g is denoted by upper indices:  g i j . We denote by D the usual derivative on  R n + 1  and ∇ the covariant derivative of M. Throughout this document, we use the Einstein summation convention for repeated indices.
The Christoffel symbols of M, defined by  i X j = 2 X x i x j = Γ i j r X r , can be obtained in terms of the derivatives of the metric
Γ i j k = 1 2 g k l x i g j l + x j g i l x l g i j .
The Riemann curvature in local coordinates is
R i j k = j Γ i k s i Γ j k s + Γ j l s Γ i k l Γ i l s Γ j k l X s = R i j k s X s ,
and the curvature tensor is
R i j k l = g l s R i j k s = g ( R i j k s X s , X l ) .
For every  X i , X j T M , the Gauss formula relates D to ∇ by the identity
2 X x i x j = Γ i j r X r + h i j ν ,
where h is the second fundamental form and  ν T M  is a unit vector normal to M. In coordinates, we have
h i j = 2 X x i x j , ν .
The Gauss map is defined as  n : M S n , with  n ( p ) T p M . Note that there are two possible choices for  n ( p )  in terms of  ν ; we use  n ( p ) = ν ( p ) .
The shape operator A is obtained by contracting the second fundamental form with respect to the metric
A j i = g i k h k j .
The eigenvalues of the shape operator are called the principal curvatures of M. The mean curvature is the trace of the second fundamental form in the sense that
H = g i j h i j .
The Gauss curvature is the determinant of the shape operator
K = det ( A j i ) = det ( g i k h k j ) .
The Gauss equation relates the Riemann curvature to the second fundamental form
R i j k l = h i k h j l h j k h i l .
This allows for the definition of other notions of intrinsic curvatures. The Ricci curvature arises as the contraction of the Riemann tensor with the metric as
R i k = g j l R i j k l ,
and the scalar curvature as
R = g i k R i k .
Let  u : M R  be a smooth function, and let ∇ be the covariant derivative. The gradient of u is the vector field
u : = g i j u x j X j ,
and the Hessian of u is defined by
i j u = i j u = 2 u x i x j Γ i j r u x r .
One can easily see that the Hessian is commutative:  i j u = j i u . Using the notation  i 1 i 2 i k : = i 1 i 2 i k , we have the following expressions for higher-order derivatives:
  • i j k u j i k u = r R i j k r r u .
  • i i k k u k k i i u = i ( R i k k r ) r u + 2 R i k k r i r u + k ( R i k i r ) r u + 2 R i k i r k r u .
On the other hand, the Hessian of the parameterization X is
i j X = 2 X x i x j Γ i j r X r ,
and by the Gauss formula, we get the identity
i j X = h i j ν .
After some lengthy computations, one can also show the following identities:
  • i j | X | 2 = 2 h i j X , ν + 2 X i , X j .
  • i j X , ν = r ( h i j ) X , X r h i r h r j X , ν h r j g i r .
We finish this section by writing some identities for the case of the round sphere  M = S n R n + 1 , with an induced metric  σ . In this case, we write  ξ S n . It is clear that the antipode of the position vector is the inward unit normal vector  ν = ξ , that the second fundamental form yields  h i j = σ i j , and that we still use  Γ i j k  to denote the Christoffel symbols of  S n .
The Gauss formula for the sphere then reads
2 ξ x i x j = Γ i j r ξ r σ i j ξ .
The Gauss equation is written as
R i j k l = σ i k σ j l σ j k σ i l ,
the Ricci curvature is written as
R i k = σ j l R i j k l = σ i k n σ i k = ( n 1 ) σ i k ,
and the scalar curvature of the unit sphere is written as
R = n ( n 1 ) .
In an orthonormal frame, we have
r R i k k r i r u = r δ i k δ k r i r u δ k k δ i r i r u = δ i k δ k k i k u δ k k δ i i i i u ,
r R i k i r k r u = r δ i i δ k r k r u δ k i δ i r k r u = δ i i δ k k k k u δ k i δ i i k i u ,
yielding the following identity:
i i k k u k k i i u = 2 δ k k δ i i i i u + 2 δ i i δ k k k k u .
If we sum over k, we obtain the following useful identity:
i i Δ u = Δ i i u 2 n i i u + 2 Δ u .
Remark 1.
A natural question is that of finding solutions to  Δ u = 0 . One can see that, by the maximum principle, if  u : S n R  is harmonic, then u must be a constant valued function.

3. Geometry of the Support Function

A strictly convex hypersurface  M R n + 1  is diffeomorphic to the sphere  S n  by means of the Gauss map  n : M S n . Denote by  Y = n 1 : S n M  the inverse of the Gauss map. The support function  u : S n R  is defined for every  ξ = ξ ( x 1 , x 2 , , x n ) S n  by
u ( ξ ) = ξ , Y ( ξ ) = ξ · Y ( ξ ) .
Hence, we identify  ξ S n  with the outward normal direction of M, and  ν = ξ  is referred to as the inward normal direction of M. The following proposition shows how to parameterize the strictly convex hypersurface M by means of its support function.
Proposition 1.
Let  u : S n R  be the support function of a strictly convex hypersurface  M R n + 1 . Then, the inverse of the Gauss map  Y : S n M  is given by
Y ( ξ ) = u + u ξ ,
whereis the covariant derivative of the usual round sphere  ( S n , σ ) .
Proof. 
We aim to find the coefficients in the following equality:
Y ( ξ ) = a i ξ i + b ξ .
Taking the inner product with  ξ , we get  b = u ( ξ ) . Now note that
Y ( ξ ) · ξ j = Y ( ξ ) , ξ j = a i σ i j .
Thus, we may write
Y ( ξ ) = σ i j Y ( ξ ) , ξ j ξ i + u ( ξ ) ξ .
Since we also have that for every  j = 1 , 2 , , n , it holds that  Y x j , ξ = 0 , and we see that
u ( ξ ) x j = x j Y , ξ = Y x j , ξ + Y , ξ j = Y , ξ j .
Then, the gradient of the support function is
u ( ξ ) = σ i j u ( ξ ) x j ξ i , = σ i j Y , ξ j , ξ i ,
and its norm is
| u | 2 = σ i j Y , ξ i , Y , ξ j , .
Finally, we conclude that the parameterization of the strictly convex hypersurface M is
Y ( ξ ) = u ( ξ ) + u ( ξ ) ξ .
Proposition 2.
Let M be a strictly convex hypersurface in  R n + 1  parameterized by its support function as in (21). Then, the induced metric g of M is given by
g k l = i k 2 u + u σ i k σ i j j l 2 u + u σ j l .
Proof. 
The derivative of the inverse of a matrix yields
σ i j x k = σ i r σ r s x k σ s j .
Using (16), we can also compute the following:
u x k = x k σ i j u x i ξ j = σ i j x k u x i ξ j + σ i j 2 u x k x i ξ j + σ i j u x i ξ j k = σ i r σ r s x k σ s j u x i ξ j + σ i j 2 u x k x i ξ j + σ i j u x i Γ j k r ξ r σ j k ξ = σ i r Γ r k l σ l s + Γ s k l σ l r σ s j u x i ξ j + σ i j 2 u x k x i ξ j + σ i j u x i Γ j k r ξ r σ j k ξ = σ i r Γ r k j + σ s j Γ s k i u x i ξ j + σ i j 2 u x k x i ξ j + σ i j u x i Γ j k r ξ r σ j k ξ = σ s j Γ s k i u x i ξ j + σ i j 2 u x k x i ξ j σ i j u x i σ j k ξ = σ i j k i u ξ j u x k ξ
This implies that
Y k = Y x k = x k u + u ξ = σ i j i k 2 u ξ j + u ξ k = σ i j i k 2 u + u σ i k ξ j .
Then, we can get an expression for the induced metric
g k l = σ i j i k 2 u + u σ i k σ j s σ r s r l 2 u + u σ r l = i k 2 u + u σ i k σ i j j l 2 u + u σ j l .
Proposition 3.
Let M be a strictly convex hypersurface in  R n + 1  parameterized by its support function as in (21). Then, the second fundamental form h of M is given by
h k l = k l 2 u + u σ k l .
Proof. 
In order to obtain an expression for the second fundamental form, we use the identity  h i j = Y i j , ξ , where we use the notation  Y i j = 2 Y x i x j . The sign convention here guarantees that we are measuring convexity with respect to the inward normal vector. Then, differentiating Equation (32), we only expand the terms with the normal component:
Y k l = x l σ i j i k 2 u + u σ i k ξ j = x l σ i j i k 2 u + u σ i k ξ j + σ i j i k 2 u + u σ i k Γ j l r ξ r σ j l ξ .
From this, it follows that
h k l = k l 2 u + u σ k l .
Proposition 4.
Let M be a strictly convex hypersurface in  R n + 1  parameterized by its support function as in (21). The shape operator is defined as  A = g 1 h . Then, the inverse of the shape operator  B = A 1  is given by
B = σ 1 2 u + u σ .
Proof. 
Using (29) and (33), we have
g i j = h i k σ k l h l j .
From this identity, it follows that the inverse of the shape operator is
h i k g i j = σ k l h l j = σ k l l j 2 u + u σ l j .
Denote by B the inverse of the shape operator. Then, we have proven the identity
B = σ 1 2 u + u σ ,
as we claimed. □
The eigenvalues of B are  1 / λ i , where  λ i i = 1 , 2 , , n , are the principal curvatures of the strictly convex hypersurface.
Now we are able to give an expression for the Christoffel symbols  Γ ¯ i j k  of the hypersurface M in terms of the Christoffel symbols  Γ i j k  of the sphere and the inverse of the shape operator.
Proposition 5.
Let M be a strictly convex hypersurface in  R n + 1  parameterized by its support function as in (21). Let  A = B 1  denote the shape operator of M. Then, it holds that
Γ ¯ k l r = B k s x l + B k j Γ l j s A s r .
Proof. 
By the Gauss formula and our sign convention for h, we have
Y k l = Γ ¯ k l r Y r h k l ξ .
Note that  Y k  from Equation (32) can also be written in terms of B as
Y k = B k j ξ j .
where we use  B k j = σ j l l k 2 u + u σ l k . Similarly, we can rewrite (34) as
Y k l = x l B k j ξ j = B k r x l + B k j Γ l j r ξ r B k j σ l j ξ = B k r x l + B k j Γ l j r A r s Y s h k l ξ = B k s x l + B k j Γ l j r A s r Y r h k l ξ .
Note that in the last identity, we have interchanged the indices r and s, as both are summing. Finally, Equation (39) is obtained by equating Equations (42) and (40). □

4. Curves on Convex Hypersurfaces

Let  ξ ( t )  be a smooth curve on the sphere. Recall that we write  ξ ( t ) = ( x 1 ( t ) , , x n ( t ) ) S n . We use the dot notation for differentiation with respect to t.
Theorem 1.
Let  M R n + 1  be a strictly convex hypersurface parameterized by its support function as in (21), and let  ξ ( t )  be a smooth curve on the sphere. Then, the support function satisfies the equation
u ¨ ( t ) = ξ ¨ ( t ) · Y ( ξ ( t ) ) + ξ ˙ ( t ) · Y ˙ ( ξ ( t ) ) = x ¨ r + x ˙ k x ˙ l Γ k l r ξ r · u ( ξ ( t ) ) u | ξ ˙ | 2 + B ( ξ ˙ , ξ ˙ ) ,
where B is the inverse of the shape operator (36) and  B ( ξ ˙ , ξ ˙ ) = ξ ˙ ( t ) , B ξ ˙ ( t ) .
Proof. 
The following identities hold:
ξ ˙ ( t ) = x ˙ k ξ k ,
ξ ¨ ( t ) = x ¨ r + x ˙ k x ˙ l Γ k l r ξ r ξ ˙ , ξ ˙ ξ .
From our parameterization,  Y ( ξ ( t ) )  is the corresponding curve on the convex hypersurface M. Equations (32) and (36) imply that
Y ˙ ( ξ ( t ) ) = Y k x ˙ k = x ˙ k σ i j i k 2 u + u σ i k ξ j = B j k x ˙ k ξ j .
Restricting the support function u to the curve,  u ( t ) = u ( ξ ( t ) ) , and differentiating, we have
u ˙ ( t ) = d u ( t ) d t = d ξ ( t ) d t · Y ( ξ ( t ) ) + ξ ( t ) · d Y ( ξ ( t ) ) d t = ξ ˙ ( t ) · Y ( ξ ( t ) ) ,
since clearly  ξ Y ˙ ( ξ ( t ) ) . Differentiating again, we get
u ¨ ( t ) = ξ ¨ ( t ) · Y ( ξ ( t ) ) + ξ ˙ ( t ) · Y ˙ ( ξ ( t ) ) = ξ ¨ ( t ) · Y ( ξ ( t ) ) + x ˙ k B k j σ j r x ˙ r .
On the other hand,
u ˙ ( t ) = u k x ˙ k .
Recalling that  Y = u + u ξ , we can get the general expression
u ¨ ( t ) = ξ ¨ ( t ) · Y ( ξ ( t ) ) + ξ ˙ ( t ) · Y ˙ ( ξ ( t ) ) = ξ ¨ ( t ) · u ( ξ ( t ) ) + u ξ ¨ · ξ + x ˙ k B k j σ j r x ˙ r = ξ ¨ ( t ) · u ( ξ ( t ) ) u | ξ ˙ | 2 + x ˙ k B k j σ j r x ˙ r .
Remark 2.
If  ξ ( t )  is a unit speed geodesic on  S n , then it satisfies
x ¨ r + x ˙ k x ˙ l Γ k l r ξ r = 0 ,
and in this particular case, we have  ξ ¨ ( t ) = ξ ( t ) .
Equations (44), (45), and (47) imply the following proposition.
Proposition 6
([13]). Let  ξ ( t )  be a geodesic on  S n . Then, the support function u of a closed convex hypersurface M in  R n + 1 , restricted to  ξ ( t ) , satisfies the following differential equation:
u ¨ ( t ) + u ( t ) = B ( ξ ˙ , ξ ˙ ) .
The following example gives the parameterization of a curve on the sphere called a loxodrome. From the identities described in this and the previous section, one can get explicit formulas of curves on the sphere transformed into curves on a strictly convex surface in terms of the support function u and geometric quantities on the sphere. In [15], the authors point out the importance of such curves in maritime surface navigation. Let  ξ = ( cos θ sin ϕ , sin θ sin ϕ , cos ϕ ) . For  ϕ = ϕ ( θ ) , consider the curve  ξ ( θ ) . We say that the curve  ξ ( θ )  is a loxodrome on the 2-sphere if  ξ ˙  makes an angle  α  with  ξ ϕ . Then, we have
ξ ˙ = ξ θ + ξ ϕ ϕ ,
where
ξ θ = ( sin θ sin ϕ , cos θ sin ϕ , 0 ) , ξ ϕ = ( cos θ cos ϕ , sin θ cos ϕ , sin ϕ ) ,
and
ϕ = ξ ˙ , ξ ϕ = | ξ ˙ | cos α = sin 2 ϕ + ( ϕ ) 2 cos α ,
which leads to the following equation:
d ϕ sin ϕ tan α = d θ .
Its solution is then
θ + C = tan α ln cot ϕ + csc ϕ = tan α ln sin ϕ 1 + cos ϕ = tan α ln tan ϕ 2 .
Then, the equation for a loxodrome (see Figure 1) is given by
ξ ( ϕ ) = cos tan α ln tan ϕ 2 sin ϕ , sin tan α ln tan ϕ 2 sin ϕ , cos ϕ .
An interesting matter is then to understand how the geometry of such curves changes in terms of the support function when it is mapped to an ellipsoid by means of the mappings described in Section 6.

5. The Area Element and Curvatures for Convex Surfaces

The surface area element of the surface parameterized by the support function is given by
det ( g ) = det i k 2 u + u σ i k σ i j j l 2 u + u σ j l = det ( σ ) 1 det 2 u + u σ 2 .
For the rest of this section, we restrict our analysis to the case of dimension  n = 2 . The following useful identity holds:
det ( A + B ) = det ( A ) + det ( B ) + det ( B ) trace ( B 1 A ) .
det ( g ) = det i k 2 u + u σ i k σ i j j l 2 u + u σ j l = det ( σ ) 1 det 2 u + u σ 2 = det ( σ ) det ( σ ) 2 det 2 u + det u σ + det u σ trace ( u σ ) 1 2 u 2 = det ( σ ) det σ 1 2 u + u 2 + u trace σ 1 2 u 2 = det ( σ ) D [ u ] + u 2 + u Δ σ u 2 ,
In the last identity, we put  D [ u ] = det ( σ 1 2 u ) . Then, the area element of the surface,  d μ , can be written in terms of the area element of the round unit sphere,  d σ ,
d μ = ( D [ u ] + u 2 + u Δ σ u ) d σ .
Denote by  A = g 1 h  the shape operator with eigenvalues  λ 1 , λ 2 . From the expression of the inverse of the shape operator, we have
B = σ 1 2 u + u σ .
Then, we have
trace ( B ) = Δ u + n u ,
det ( B ) = det ( h ) det ( σ ) .
Let  r i i = 1 , 2 , be the eigenvalues of B.
The trace of B is
trace ( B ) = Δ σ u + 2 u = r 1 + r 2 = 1 λ 1 + 1 λ 2 = λ 1 + λ 2 λ 1 λ 2 = H K .
The determinant of B is then
det ( B ) = D [ u ] + u 2 + u Δ σ u = r 1 r 2 = 1 λ 1 1 λ 2 = 1 K .
Note that the characteristic polynomial is
det ( B x I ) = x 2 trace ( B ) x + det ( B ) ,
so the roots are precisely
r i = trace ( B ) ± trace ( B ) 2 4 det ( B ) 2 = H ± H 2 4 K 2 K = Δ σ u + 2 u ± ( Δ σ u + 2 u ) 2 4 ( D [ u ] + u 2 + u Δ σ u ) 2 = 2 ( D [ u ] + u 2 + u Δ σ u ) Δ σ u + 2 u ± ( Δ σ u + 2 u ) 2 4 ( D [ u ] + u 2 + u Δ σ u ) .
From this, it follows that the principal curvatures of the surface are
λ i = 1 r i = H ± H 2 4 K 2 = Δ σ u + 2 u ± ( Δ σ u + 2 u ) 2 4 ( D [ u ] + u 2 + u Δ σ u ) 2 ( D [ u ] + u 2 + u Δ σ u ) .
Proposition 7
([12]). Let M be a  C 2  strictly convex surface in the three-dimensional Euclidean space  R 3 . If  u : S 2 R  is the support function of M, then the following identities hold:
  • The mean curvature is
    H = Δ σ u + 2 u D [ u ] + u 2 + u Δ σ u .
  • The Gauss curvature is
    K = 1 D [ u ] + u 2 + u Δ σ u .
As an example, if M is the sphere of radius R, then its support function is the constant  u ( ξ ) R . Then,  D [ u ] = 0  and  Δ σ u = 0 , and from (59) and (60), we get the known values  H / 2 = 1 / R  and  K = 1 / R 2 , respectively.

6. Identities for Ellipsoids in  R n + 1

In this section, we develop explicit expressions for the parameterization of ellipsoids by means of their support functions. It is worth noting that by the symmetry of the ellipsoids, it is always possible, after a translation and rotation, to assume that these are centered at the origin and use the standard polar coordinates to represent them.
Lemma 1.
Let  ξ = ( cos θ , sin θ ) S 1 . Let  Y = ( a cos t , b sin t )  be a vector in the ellipse in polar coordinates. The field ξ is normal to the ellipse at Y if it holds that
t = arctan b a tan θ ,
Proof. 
By symmetry arguments, it is enough to show the identity for  0 θ π / 2 . In polar coordinates, the tangent vector to  Y ( t )  is given by
Y t = ( a sin t , b cos t ) ,
and the normal vector is
N = ( b cos t , a sin t ) .
If  ξ  and N have the same direction, then it must hold that
tan ( θ ) = a b tan t ,
From this, (61) follows. □
As a consequence of the previous lemma, we obtain the parameterization of an ellipse in terms of its support function.
Proposition 8.
Consider the ellipse on the plane given by the equation
x 2 a 2 + y 2 b 2 = 1 .
Then, for any  ξ S 1 , with  ξ = ( cos θ , sin θ ) , the ellipse can be parameterized as
Y ( ξ ) = a cos arctan b a tan θ , b sin arctan b a tan θ ,
In this case, ξ is the outer unit normal vector to the ellipse at the point  Y ( ξ ) , and the support function of the ellipse is given by
u ( ξ ) = a cos θ cos arctan b a tan θ + b sin θ sin arctan b a tan θ .
Proof. 
The claim follows from the previous lemma, after making
x = a cos t ; y = b sin t .
Proposition 9.
Consider the ellipsoid in three-dimensional Euclidean space given by the equation
x 2 a 2 + y 2 b 2 + z 2 c 2 = 1 .
Then, for any  ξ S 2 , with  ξ = ( cos θ sin ϕ , sin θ sin ϕ , cos ϕ ) , the ellipsoid can be parameterized as
Y = ( a cos t sin s , b sin t sin s , c cos s ) ,
with
t = arctan b a tan θ ,
and
s = arctan a b c tan ϕ b 2 cos 2 arctan b a tan θ + a 2 sin 2 arctan b a tan θ .
In this case, ξ is the outer unit normal vector to the ellipsoid at the point  Y ( ξ ) , and the support function of the ellipsoid is given by
Y u ( ξ ) = a cos θ sin ϕ cos t sin s + b sin θ sin ϕ sin t sin s + c cos ϕ cos s .
Proof. 
Proceeding as in the previous proposition, let  ξ = ( cos θ sin ϕ , sin θ sin ϕ , cos ϕ ) S 2 , and let  Y = ( a cos t sin s , b sin t sin s , c cos s )  be a parameterization of the ellipsoid in polar coordinates.
The tangent vectors are
Y t = ( a sin t sin s , b cos t sin s , 0 ) ,
Y s = ( a cos t cos s , b sin t cos s , c sin s ) .
The outer normal vector is
N = ( Y t × Y s ) = ( b c cos t sin 2 s , a c sin t sin 2 s , a b cos s sin s ) .
If N and  ξ  have the same direction, we have
tan θ = a b tan t ,
which is equivalent to
t = arctan b a tan θ .
From
c a b b 2 cos 2 t + a 2 sin 2 t tan s = tan ϕ ,
we obtain
s = arctan a b c tan ϕ b 2 cos 2 arctan b a tan θ + a 2 sin 2 arctan b a tan θ .
Then, the proposition is established. □
We consider, as an example, the ellipsoid  x 2 + y 2 2 2 = z 2 3 2 = 1 , in  R 3  (see Figure 2). Using (49), (66), and (69), we show in Figure 3 the image of a loxodrome on the sphere mapped into the ellipsoid.
Continuing with this example, we give an expression for the Gauss curvature. First, note that the non-vanishing Christoffel symbols of the sphere are
Γ 11 2 = cos ( ϕ ) sin ( ϕ ) , Γ 12 1 = cos ( ϕ ) sin ( ϕ ) , Γ 21 1 = cos ( ϕ ) sin ( ϕ ) .
For any smooth function  u : S 2 R , the Hessian is given explicitly as
1 1 u = u 11 + u 2 cos ( ϕ ) sin ( ϕ ) , 1 2 u = u 12 u 1 cos ( ϕ ) sin ( ϕ ) , 2 1 u = u 12 u 1 cos ( ϕ ) sin ( ϕ ) , 2 2 u = u 22 .
Then, the Hessian matrix with respect to the round metric is
σ 1 2 u = 11 u sin 2 ϕ 12 u sin 2 ϕ 21 u 22 u .
Now we can give explicitly the identities
D [ u ] = det ( 2 u ) sin 2 ϕ = u 11 sin 2 ϕ + u 2 cot ϕ u 22 1 sin 2 ϕ u 12 u 1 cot ϕ 2 ,
and
Δ σ u = u 11 sin 2 ϕ + u 2 cot ϕ + u 22 .
Using these last two expressions together with (60), we can obtain the graph of the Gaussian curvature  K = K ( θ , ϕ )  (see Figure 4) over the parameter space.
Now we conclude this section with a general formula for the parameterization of ellipsoids over the sphere as the inverse of their Gauss map in any dimension.
Proposition 10.
Consider the ellipsoid in  R n + 1
i = 1 n + 1 z i 2 a i 2 = 1 ,
and suppose it is parameterized in polar coordinates with angles  t = ( t 1 , , t n )  by  Y = Y ( t ) . Let  ξ ( θ 1 , θ 2 , , θ n ) S n . If the  t i s satisfy the following identities:
t 1 = arctan a n a 1 tan θ 1 , t j = arctan tan θ j / a j k = 1 j 1 cos t k r = k + 1 j 1 sin t r a k 2 + r = 1 j 1 sin t r a n 2 , 2 j n 1 t n = arctan tan θ n / a n + 1 k = 1 n 1 cos t k r = k + 1 n 1 sin t r a k 2 + r = 1 n 1 sin t r a n 2 ,
the parameterization  Y ( ξ ) = Y ( t ( θ 1 , , θ n ) )  is the inverse of its Gauss map with normal ξ, and its support function is given by
u ( ξ ) = k = 1 n 1 a k cos θ k sin t k r = k + 1 n sin θ r sin t r + a n r = 1 n sin θ r sin t r + a n + 1 cos θ n cos t n .
Proof. 
Using spherical coordinates for  ξ = ξ ( θ 1 , θ 2 , , θ n ) S n R n + 1 , we have
x j = cos θ j sin θ j + 1 sin θ n 1 sin θ n , 1 j < n , x n = sin θ 1 sin θ 2 sin θ n , x n + 1 = cos θ n .
Note the following relations with the angles
tan θ 1 = x n x 1 , tan θ j = x 1 2 + + x j 1 2 + x n 2 x j , 1 < j < n tan θ n = x 1 2 + + x n 2 x n + 1 ,
Recall that for any ellipsoid given by the equation
i = 1 n + 1 z i 2 a i 2 = 1 ,
a normal vector field is given by the gradient  1 2 D Φ , where
Φ ( z 1 , , z n + 1 ) = i = 1 n + 1 z i 2 a i 2 1 .
Then,
N = 1 2 D Φ = z 1 a 1 2 , , z n + 1 a n + 1 2 .
If the ellipsoid is parameterized in polar coordinates,
z j = a j cos t j sin t j + 1 sin t n 1 sin t n , 1 j < n , z n = a n sin t 1 sin t 2 sin t n , z n + 1 = a n + 1 cos t n .
Then, we must have
tan θ 1 = a 1 a n tan t 1 , tan θ j = a j tan t j k = 1 j 1 cos t k r = k + 1 j 1 sin t r a k 2 + r = 1 j 1 sin t r a n 2 , tan θ n = a n + 1 tan t n k = 1 n 1 cos t k r = k + 1 n 1 sin t r a k 2 + r = 1 n 1 sin t r a n 2 .
The result now follows after rearranging each equation for  t i i = 1 , , n . □

7. Discussion

In this work, a detailed description of the geometry of surfaces parameterized by a support function is given. A presentation in local coordinates is rare in the literature, and our approach provides explicit formulas for ease of manipulation and computational implementation.
Theorem 1 gives a differential equation for the support function restricted to any smooth curve on the sphere. With this result, one can study how the geometry of curves on the sphere changes when it is mapped to a strictly convex hypersurface.
A method to parameterize ellipsoids using the inverse of the Gauss map is provided. These formulas work in any dimension n.
These theoretical tools provide a foundation that may prove instrumental in extending classical results such as Blaschke’s inclusion theorems. In particular, the availability of explicit and generalizable identities allows for new approaches to problems involving curvature, inclusion, and comparison of convex bodies.

Author Contributions

Conceptualization D.B.-C. and R.D.-F.; methodology, D.B.-C. and R.D.-F.; investigation, D.B.-C. and R.D.-F.; writing—review and editing, D.B.-C. and R.D.-F. All authors have read and agreed to the published version of the manuscript.

Funding

The author Daniel Ballesteros-Chávez was funded by the Poznan University of Technology under grant no. 0213/SBAD/0119.

Data Availability Statement

All data is contained within the article.

Acknowledgments

The authors would like to thank the anonymous reviewers for their insightful comments and suggestions, which helped improve the quality of the manuscript.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Bonnesen, T.; Fenchel, W. Theorie der Konvexen Körper; Ergebnisse der Mathematik und ihrer Grenzgebiete 3,1; Springer: Berlin/Heidelberg, Germany, 1934. [Google Scholar] [CrossRef]
  2. Ghosh, P.K.; Kumar, K. Support Function Representation of Convex Bodies, Its Application in Geometric Computing, and Some Related Representations. Comput. Vis. Image Underst. 1998, 72, 379–403. [Google Scholar] [CrossRef]
  3. Guan, B.; Guan, P. Convex Hypersurfaces of Prescribed Curvatures. Ann. Math. 2002, 156, 655–673. [Google Scholar] [CrossRef]
  4. Guan, P.; Lin, C.; Ma, X.N. The Existence of Convex Body with Prescribed Curvature Measures. Int. Math. Res. Not. 2009, 2009, 1947–1975. [Google Scholar] [CrossRef]
  5. Blaschke, W. Kreis und Kugel. Jahresber. Dtsch. Math.-Ver. 1915, 24, 195–207. Available online: http://eudml.org/doc/145439 (accessed on 1 May 2025).
  6. Borisenko, A.; Miquel, V. Inscribed and Circumscribed Radius of k-Convex Hypersurfaces in Hadamard Manifolds. J. Math. Phys. Anal. Geom. 2024, 20, 271–278. [Google Scholar] [CrossRef]
  7. Borisenko, A.; Miquel, V. A Discrete Blaschke Theorem for Convex Polygons in 2-Dimensional Space Forms. J. Math. Phys. Anal. Geom. 2024, 20, 195–204. [Google Scholar] [CrossRef]
  8. Poonawala, A.; Milanfar, P.; Gardner, R.J. Shape Estimation from Support and Diameter Functions. J. Math. Imaging Vis. 2006, 24, 229–244. [Google Scholar] [CrossRef]
  9. Gardner, R.j.; Kiderlen, M. A New Algorithm for 3D Reconstruction from Support Functions. IEEE Trans. Pattern Anal. Mach. Intell. 2009, 31, 556–562. [Google Scholar] [CrossRef] [PubMed]
  10. Soh, Y.S.; Chandrasekaran, V. Fitting Tractable Convex Sets to Support Function Evaluations. Discret. Comput. Geom. 2021, 66, 510–551. [Google Scholar] [CrossRef]
  11. Antunes, P.R.S.; Bogosel, B. Parametric shape optimization using the support function. Comput. Optim. Appl. 2022, 82, 107–138. [Google Scholar] [CrossRef]
  12. Anciaux, H.; Guilfoyle, B. On the three-dimensional Blaschke-Lebesgue problem. Proc. Am. Math. Soc. 2011, 139, 1831–1839. [Google Scholar] [CrossRef]
  13. Rauch, J. An inclusion theorem for ovaloids with comparable second fundamental forms. J. Differ. Geom. 1974, 9, 501–505. [Google Scholar] [CrossRef]
  14. Delgado, J.A. Blaschke’s theorem for convex hypersurfaces. J. Differ. Geom. 1979, 14, 489–496. [Google Scholar] [CrossRef]
  15. Kos, S.; Vranić, D.; Zec, D. Differential Equation of a Loxodrome on a Sphere. J. Navig. 1999, 52, 418–420. [Google Scholar] [CrossRef]
Figure 1. A loxodrome (in red) on the unit sphere with  α = π / 4 .
Figure 1. A loxodrome (in red) on the unit sphere with  α = π / 4 .
Symmetry 17 01309 g001
Figure 2. Ellipsoid with  a = 1 , b = 2 , c = 3 , parameterized by its support function,  0 θ < π / 2  and  0 ϕ < π / 2 .
Figure 2. Ellipsoid with  a = 1 , b = 2 , c = 3 , parameterized by its support function,  0 θ < π / 2  and  0 ϕ < π / 2 .
Symmetry 17 01309 g002
Figure 3. Image of a loxodrome (in red) with  α = π / 4  mapped into the ellipsoid with  a = 1 , b = 2 , c = 3 , parameterized by its support function,  0 θ < π / 2  and  0 ϕ < π / 2 .
Figure 3. Image of a loxodrome (in red) with  α = π / 4  mapped into the ellipsoid with  a = 1 , b = 2 , c = 3 , parameterized by its support function,  0 θ < π / 2  and  0 ϕ < π / 2 .
Symmetry 17 01309 g003
Figure 4. Graph of the Gauss curvature  K = K ( θ , ϕ )  of the ellipsoid with  a = 1 , b = 2 , c = 3 , parameterized by its support function,  0 θ < 2 π  and  0 ϕ < π / 2 .
Figure 4. Graph of the Gauss curvature  K = K ( θ , ϕ )  of the ellipsoid with  a = 1 , b = 2 , c = 3 , parameterized by its support function,  0 θ < 2 π  and  0 ϕ < π / 2 .
Symmetry 17 01309 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ballesteros-Chávez, D.; Dávila-Figueroa, R. On the Geometry of Strictly Convex Surfaces Parameterized by Their Support Function and Ellipsoids in Rn+1. Symmetry 2025, 17, 1309. https://doi.org/10.3390/sym17081309

AMA Style

Ballesteros-Chávez D, Dávila-Figueroa R. On the Geometry of Strictly Convex Surfaces Parameterized by Their Support Function and Ellipsoids in Rn+1. Symmetry. 2025; 17(8):1309. https://doi.org/10.3390/sym17081309

Chicago/Turabian Style

Ballesteros-Chávez, Daniel, and Rodrigo Dávila-Figueroa. 2025. "On the Geometry of Strictly Convex Surfaces Parameterized by Their Support Function and Ellipsoids in Rn+1" Symmetry 17, no. 8: 1309. https://doi.org/10.3390/sym17081309

APA Style

Ballesteros-Chávez, D., & Dávila-Figueroa, R. (2025). On the Geometry of Strictly Convex Surfaces Parameterized by Their Support Function and Ellipsoids in Rn+1. Symmetry, 17(8), 1309. https://doi.org/10.3390/sym17081309

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop