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.

Courant-sharp eigenvalues of a two-dimensional torus

On the multiplicity of the eigenvalues of discrete tori

Connection Laplacian on discrete tori with converging property

Maximal multiplicity of Laplacian eigenvalues in negatively curved surfaces

On the vanishing of eigenfunctions of the Laplacian on tori

Asymptotic nodal length and log-integrability of toral eigenfunctions

Sharp Behavior of Dirichlet–Laplacian Eigenvalues for a Class of Singularly Perturbed Problems

The sharp estimate of nodal sets for Dirichlet Laplace eigenfunctions in polytopes

Uniform Upper Bounds on Courant Sharp Neumann Eigenvalues of Chain Domains

Sharp upper bounds for Steklov eigenvalues of a hypersurface of revolution with two boundary components in Euclidean space

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

A sharp lower bound on the small eigenvalues of surfaces

Sharp Fourier extension for functions with localized support on the circle

Sharp Nonexistence Results for Curvature Equations with Four Singular Sources on Rectangular Tori

A Lorentz invariant sharp Sobolev inequality on the circle

On the Laplacian eigenvalues of a graph

Sharp Spectral Projection Estimates for the Torus at $p_c=\frac{2(n+1)}{n-1}$

Extremals of determinants for Laplacians on discrete surfaces

Sharp Fourier restriction to monomial curves

A Sharp Inequality for Trace-Free Matrices with Applications to Hypersurfaces

Computing eigenvalues of the Laplacian on rough domains