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.

L^3 estimates for an algebraic variable coefficient Wolff circular maximal function

On Maximal Functions Associated to Families of Curves in the Plane

Twisted bilinear spherical maximal functions

The elliptic maximal function

Bounds for lacunary bilinear spherical and triangle maximal functions

The circular maximal operator on Heisenberg radial functions

The sharp constants in the real anisotropic Littlewood's $\boldsymbol{4 / 3}$ inequality and applications

A Lorentz invariant sharp Sobolev inequality on the circle

$$C^{2,\alpha }$$ C 2 , Α Regularities and Estimates for Nonlinear Elliptic and Parabolic Equations in Geometry

Lp bounds for Stein's spherical maximal operators

Sharp endpoint $L^p-$estimates for Bilinear spherical maximal functions

$L^{p}$ estimates for multilinear maximal Bochner--Riesz means and square function

Boundedness for maximal operators over hypersurfaces in $\mathbb{R}^3$

Bilinear Spherical Maximal Function

Regularized Brascamp--Lieb inequalities

Lacunary maximal functions on homogeneous groups

Sharp $\mathrm{L}^\infty$ estimates for fully non-linear elliptic equations on compact complex manifolds

Bounds on bilinear forms with Kloosterman sums

Lipschitz bounds for nonuniformly elliptic integral functionals in the plane

Bilinear Maximal Functions Associated with Surfaces

$L^p$-improving bounds of maximal functions along planar curves