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 Hardy-Leray inequality for solenoidal fields

Solenoidal improvement of Rellich-Hardy inequalities with power weights

Improved Hardy and Rellich Inequalities on Nonreversible Finsler Manifolds

The sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three dimensional upper half-space

Weighted Hardy-Rellich type inequalities: improved best constants and symmetry breaking

Attainability of the best constant of Hardy-Sobolev inequality with full boundary singularities

A Lorentz invariant sharp Sobolev inequality on the circle

Two-weight inequality for the heat flow and solvability of Hardy-Hénon parabolic equation

A Sharp Inequality of Hardy-Littlewood Type Via Derivatives

Sharp affine weighted L 2 Sobolev inequalities on the upper half space

Hardy and Rellich identities and inequalities for Grushin operators via spherical vector fields and Bessel pairs

A relativistic Hardy-type inequality with minimisers

Sharp bound for m-linear $n$-dimensional Hardy-Littlewood-Polya operator in Morrey space on Heisenberg group

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

Sharp weighted CR trace Sobolev inequalities

A Sharp Higher Order Sobolev Inequality on Riemannian Manifolds

On sharp anisotropic Hardy inequalities

On fractional Hardy-type inequalities in general open sets

Sharp embedding results and geometric inequalities for Hörmander vector fields

Sharp Hardy-type inequalities for non-compact harmonic manifolds and Damek-Ricci spaces

On the sharp Makai inequality