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 Fourier extension on the circle under arithmetic constraints

Sharp Fourier extension for functions with localized support on the circle

Sharp extension inequalities on finite fields

Sharp Fourier restriction to monomial curves

Sharp Fourier extension on fractional surfaces

Stability of sharp Fourier restriction to spheres

On sharp Fourier extension from spheres in arbitrary dimensions

A sharp weighted Fourier extension estimate for the cone in $\mathbb{R}^3$ based on circle tangencies

Restriction of Fourier transforms to curves and related oscillatory integrals

Scale invariant Fourier restriction to a hyperbolic surface

Sharp new conformally invariant integral inequalities

Sharp integral inequalities for harmonic functions

A Lorentz invariant sharp Sobolev inequality on the circle

Sharp functional calculus for the Taibleson operator on non-archimedean local fields

A Sharp Fourier Inequality and the Epanechnikov Kernel

Some inequalities for the Fourier transform and their limiting behaviour

Sharp Coefficient Bounds for a Subclass of Bounded Turning Functions with a Cardioid Domain

$L^2$ affine Fourier restriction theorems for smooth surfaces in $\mathbb{R}^3$

Uniform Fourier restriction for convex curves

Courant-sharp eigenvalues of a two-dimensional torus

Fourier Restriction Estimates on Quantum Euclidean Spaces