Abstract:We prove the following sharp Sobolev inequality on the circle $$\int_{\mathbb{S}^1} [4(v')^2 - v^2] \mathrm{d} \theta \geq - \frac{4\pi^2}{\int_{\mathbb{S}^1} v^{-2} \mathrm{d} \theta},$$ with the equality being achieved when $v^{-2} (\theta) = \frac{k\sqrt{1-\alpha^2}}{1+ \alpha \cos(\theta - \theta_o)}$where$k>0$, $\alpha \in (-1,1)$, $\theta_0 \in \mathbb{R}$. If $v$ vanishes somewhere on the circle, then $$4 \int_{\mathbb{S}^1} (v')^2 \mathrm{d} \theta \geq\int_{\mathbb{S}^1} v^2 \mathrm{d} \theta.$$ The basic tools to prove the inequality are the rearrangement inequality on the circle and the variational method. We investigate the variational problem of the functional $\mathcal{F}[v] = \int_{\mathbb{S}^1} [4(v')^2 - v^2] \mathrm{d} \theta$ under the constraint $\int_{\mathbb{S}^1} v^{-2} \mathrm{d} \theta = 2\pi$. An important geometric insight of the functional $\mathcal{F}$ is that it is invariant under the Lorentz group, since $\mathcal{F}[v]$ is the integral of the product of two null expansions of a spacelike curve parameterised by the function $v^{-2}$ in a lightcone in $3$-dim Minkowski spacetime. The global minimiser of $\mathcal{F}$ under the constraint is simply given by the spacelike plane section of the lightcone. We introduce a method which combines the symmetric decreasing rearrangement and the Lorentz transformation. This method isnot confined to the scope of this paper, but is applicable to other Lorentz invariant variational problems on $\mathbb{S}^{n}, n \geq 1$. As an example, we sketch a proof of the sharp Sobolev inequality on $\mathbb{S}^n, n\geq 3$ by this method.

Sharp bounds for the norm of the traceless second fundamental form of complete linear Weingarten spacelike hypersurfaces

Gap Theorems for Complete Λ-Hypersurfaces

Convex Hypersurfaces of Prescribed Weingarten Curvatures

A New Gap for Complete Hypersurfaces with Constant Mean Curvature in Space Forms

Lower bound for L<sup>n/2</sup> curvature norm and its application

Lower bound for L n/2 curvature norm and its application

The second pinching theorem for complete λ-hypersurfaces

The Third Fundamental Form Metric for Hypersurfaces in Nonflat Space Forms

A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds

Umbilicity of Complete LW Spacelike Hypersurfaces Immersed in Certain Einstein Spacetimes

A Sharp Inequality for Trace-Free Matrices with Applications to Hypersurfaces

Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds

An Extreme Limit with Nonnegative Scalar Curvature

An extreme limit with nonnegative scalar

Geometric inequalities involving three quantities in warped product manifolds

Willmore-type inequality for closed hypersurfaces in complete manifolds with Ricci curvature bounded below

Spectral Bounds on Hyperbolic 3-Manifolds: Associativity and the Trace Formula

A Lorentz invariant sharp Sobolev inequality on the circle

Curvature estimates for spacelike graphic hypersurfaces in Lorentz-Minkowski space $\mathbb{R}^{n+1}_{1}$

A sharp geometric inequality for closed hypersurfaces in manifolds with asymptotically nonnegative curvature

Sharp pinching theorems for complete submanifolds in the sphere