Uniqueness of Extremizers and Convergence of the Euler-Lagrange Iteration for the Critical Hardy-Littlewood-Sobolev Inequality
Abstract
Let n ≥ 3, 2 ≤ α< n, and 1 < p,r < ∞ satisfy p−1+r−1=1+α/n. We prove uniqueness, up to common translations and dilations, of the normalized nonnegative extremizing pairs for the corresponding Hardy-Littlewood-Sobolev inequality. More generally, all positive finite-energy solutions of the Euler-Lagrange system belong to a single symmetry orbit. The proof compares two solutions at different relative scales. Total positivity of order two identifies the second eigenspace of an associated compact self-adjoint operator and forces each nonzero difference to change sign exactly once. The opposite orientations obtained at the two ends of the scale parameter then yield uniqueness. The same method proves radial nondegeneracy modulo dilation. We also establish strong convergence of the normalized alternating Euler-Lagrange iteration from every nonnegative, radially nonincreasing initial datum to a fixed extremizing pair, without rescaling the iterates. Square-root mass variables reduce the exclusion of several concentration profiles to a static spectral estimate and an energy-increment argument. The analysis includes sublinear exponents and the logarithmic borderline decay regimes.
Related
- On the Stability of Critical Points of the Hardy-Littlewood-Sobolev Inequality
- Convergence and acceleration of a nonlinear fixed-point iteration for computing the Fitness Centrality of general graphs
- The Effect of Quadrature on the Convergence of Policy Iteration for Hamilton-Jacobi-Bellman Equations
- Flux-Matched Poisson Iteration for Generated Jacobian Equations: Local Convergence and Spectral Galerkin Approximation
- Monte Carlo Power Iteration Algorithms: Convergence, Analysis and Application to Reactor Criticality Calculations
BibTeX
@misc{lu2026uniqueness,
title = {{Uniqueness of Extremizers and Convergence of the Euler-Lagrange Iteration for the Critical Hardy-Littlewood-Sobolev Inequality}},
author = {Hanwen Lu},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.08222},
eprint = {2611.08222},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.08222},
}
RIS
TY - UNPB
TI - Uniqueness of Extremizers and Convergence of the Euler-Lagrange Iteration for the Critical Hardy-Littlewood-Sobolev Inequality
AU - Hanwen Lu
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.08222
UR - https://arxiv.org/abs/2611.08222
AB - Let n ≥ 3, 2 ≤ α< n, and 1 < p,r < ∞ satisfy p^−1+r^−1=1+α/n. We prove uniqueness, up to common translations and dilations, of the normalized nonnegative extremizing pairs for the corresponding Hardy-Littlewood-Sobolev inequality. More generally, all positive finite-energy solutions of the Euler-Lagrange system belong to a single symmetry orbit. The proof compares two solutions at different relative scales. Total positivity of order two identifies the second eigenspace of an associated compact self-adjoint operator and forces each nonzero difference to change sign exactly once. The opposite orientations obtained at the two ends of the scale parameter then yield uniqueness. The same method proves radial nondegeneracy modulo dilation. We also establish strong convergence of the normalized alternating Euler-Lagrange iteration from every nonnegative, radially nonincreasing initial datum to a fixed extremizing pair, without rescaling the iterates. Square-root mass variables reduce the exclusion of several concentration profiles to a static spectral estimate and an energy-increment argument. The analysis includes sublinear exponents and the logarithmic borderline decay regimes.
ER -