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 systolic inequalities for invariant tight contact forms on principal S1-bundles over S2

Systolic inequalities for S1-invariant contact forms in dimension three

Sharp Reilly-type inequalities for submanifolds in space forms

Sharp Reilly-type inequalities for a class of elliptic operators on submanifolds

Systolic inequalities and the Horowitz-Myers conjecture

A Lorentz invariant sharp Sobolev inequality on the circle

A Systolic Inequality for 2-Complexes of Maximal Cup-Length and Systolic Area of Groups

Sharp new conformally invariant integral inequalities

A Sharp Higher Order Sobolev Inequality on Riemannian Manifolds

Systolic almost-rigidity modulo 2

On a Sharp Inequality of L. Fontana for Compact Riemannian Manifolds

Homological $n$-systole in $(n+1)$-manifolds and bi-Ricci curvature

A Sharp Inequality Relating Yamabe Invariants on Asymptotically Poincare-Einstein Manifolds with a Ricci Curvature Lower Bound

On Sharp Inequalities on Nilpotent Lie Groups

The sharp $σ_2$-curvature inequality on the sphere in quantitative form

Geometric and Analytic Aspects of Simon-Lojasiewicz Inequalities on Vector Bundles

Balanced metrics, Zoll deformations and isosystolic inequalities in $\mathbb{C}P^n$

Systoles of Arithmetic Hyperbolic 2- and 3-Manifolds

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

On comass and stable systolic inequalities

A sharp symmetrized free transport-entropy inequality for the semicircular law