A sharp rearrangement principle in Fourier space and symmetry results for PDEs with arbitrary order

TL;DR

This paper establishes sharp inequalities for Fourier rearrangements of functions in multiple dimensions, leading to symmetry results for optimizers in various PDE inequalities involving arbitrary order derivatives.

Contribution

It introduces a general rearrangement principle in Fourier space applicable to arbitrary order pseudo-differential operators and proves symmetry of optimizers in several PDE inequalities.

Findings

Proves sharp Fourier rearrangement inequalities in multiple dimensions.

Establishes symmetry and real-valuedness of optimizers for key PDE inequalities.

Classifies equality cases in Hardy-Littlewood majorant problem for Fourier transforms.

Abstract

We prove sharp inequalities for the symmetric-decreasing rearrangement in Fourier space of functions in $\mathbb{R}^d$. Our main result can be applied to a general class of (pseudo-)differential operators in $\mathbb{R}^d$ of arbitrary order with radial Fourier multipliers. For example, we can take any positive power of the Laplacian $(-\Delta)^s$ with $s> 0$ and, in particular, any polyharmonic operator $(-\Delta)^m$ with integer $m \geq 1$. As applications, we prove radial symmetry and real-valuedness (up to trivial symmetries) of optimizers for: i) Gagliardo-Nirenberg inequalities with derivatives of arbitrary order, ii) ground states for bi- and polyharmonic NLS, and iii) Adams-Moser-Trudinger type inequalities for $H^{d/2}(\mathbb{R}^d)$ in any dimension $d \geq 1$. As a technical key result, we solve a phase retrieval problem for the Fourier transform in $\mathbb{R}^d$. To achieve this, we classify the case of equality in the corresponding Hardy-Littlewood majorant problem for the Fourier transform in $\mathbb{R}^d$.