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.

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

Sharp fractional Hardy inequalities in half-spaces

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

A geometrical approach to the sharp Hardy inequality in Sobolev-Slobodecki\uı spaces

A Sharp Higher Order Sobolev Inequality on Riemannian Manifolds

On the sharp Makai inequality

On Sobolev norms involving Hardy operators in a half-space

Sharp Hardy-Leray inequality for solenoidal fields

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

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

On sharp constants in higher order Adams-Cianchi inequalities

Sharp Hardy-Adams inequalities for bi-Laplacian on hyperbolic space of dimension four

A Sharp Moser–Trudinger Type Inequality Involving Adimurthi–Druet Term in Two Dimensional Hyperbolic Space

Sharp Hardy's Inequalities in Hilbert Spaces

Extremal function for a sharp Moser-Trudinger type inequality on the upper half space

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

Hardy-Sobolev type inequalities and their applications

A Lorentz invariant sharp Sobolev inequality on the circle

Sharp weighted fractional Hardy inequalities

On some sharp Landau--Kolmogorov--Nagy type inequalities in Sobolev spaces of multivariate functions

On fractional Hardy-type inequalities in general open sets