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 Reilly-type inequalities for a class of elliptic operators on submanifolds

Improved Hardy and Rellich Inequalities on Nonreversible Finsler Manifolds

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

Reilly Type Inequality for the First Eigenvalue of Thelr;foperator

Sharp new conformally invariant integral inequalities

The Iyengar Inequality, Revisited

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

Sharp Sobolev inequalities on noncompact Riemannian manifolds with ${\sf Ric}\geq 0$ via Optimal Transport theory

A Lorentz invariant sharp Sobolev inequality on the circle

Sharp criteria for nonlocal elliptic inequalities on manifolds

A Sharp Higher Order Sobolev Inequality on Riemannian Manifolds

Sharp $\ell^p$ inequalities for discrete singular integrals on the lattice $\mathbb{Z}^d$

Sobolev improvements on sharp Rellich inequalities

A sharp geometric inequality for closed hypersurfaces in manifolds with asymptotically nonnegative curvature

Sharp Sobolev inequalities on noncompact Riemannian manifolds with via optimal transport theory

Sharp Norm-Estimations for Moore-Penrose Inverses of Stable Perturbations of Hilbert C*-Module Operators

Inequalities for Lower Order Eigenvalues of Second Order Elliptic Operators in Divergence Form on Riemannian Manifolds

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

On weak inverse mean curvature flow and Minkowski-type inequalities in hyperbolic space

On Sharp Inequalities on Nilpotent Lie Groups

Exploring new extrinsic upper bounds on the first eigenvalue of the Laplace operator for compact submanifolds in Euclidean spaces