No Arabic abstract
One may define a trilinear convolution form on the sphere involving two functions on the sphere and a monotonic function on the interval $[-1,1]$. A symmetrization inequality of Baernstein and Taylor states that this form is maximized when the two functions on the sphere are replaced with their nondecreasing symmetric rearrangements. In the case of indicator functions, we show that under natural hypotheses, the symmetric rearrangements are the only maximizers up to symmetry by establishing a sharpened inequality.
Consider the trilinear form for twisted convolution on $mathbb{R}^{2d}$: begin{equation*} mathcal{T}_t(mathbf{f}):=iint f_1(x)f_2(y)f_3(x+y)e^{itsigma(x,y)}dxdy,end{equation*} where $sigma$ is a symplectic form and $t$ is a real-valued parameter. It is known that in the case $t eq0$ the optimal constant for twisted convolution is the same as that for convolution, though no extremizers exist. Expanding about the manifold of triples of maximizers and $t=0$ we prove a sharpened inequality for twisted convolution with an arbitrary antisymmetric form in place of $sigma$.
Hadamards determinant inequality was refined and generalized by Zhang and Yang in [Acta Math. Appl. Sinica 20 (1997) 269-274]. Some special cases of the result were rediscovered recently by Rozanski, Witula and Hetmaniok in [Linear Algebra Appl. 532 (2017) 500-511]. We revisit the result in the case of positive semidefinite matrices, giving a new proof in terms of majorization and a complete description of the conditions for equality in the positive definite case. We also mention a block extension, which makes use of a result of Thompson in the 1960s.
Although convolution on Euclidean space and the Heisenberg group satisfy the same $L^p$ bounds with the same optimal constants, the former has maximizers while the latter does not. However, as work of Christ has shown, it is still possible to characterize near-maximizers. Specifically, any near-maximizing triple of the trilinear form for convolution on the Heisenberg group must be close to a particular type of triple of ordered Gaussians after adjusting by symmetry. In this paper, we use the expansion method to prove a quantitative version of this characterization.
We study the Rellich inequalities in the framework of equalities. We present equalities which imply the Rellich inequalities by dropping remainders. This provides a simple and direct understanding of the Rellich inequalities as well as the nonexistence of nontrivial extremisers.
This paper is a companion to our prior paper arXiv:0705.4619 on the `Small Ball Inequality in All Dimensions. In it, we address a more restrictive inequality, and obtain a non-trivial, explicit bound, using a single essential estimate from our prior paper. The prior bound was not explicit and much more involved.