Related papers: Smoothness of Extremizers of a Convolution Inequal…

Data processing inequalities for $f$-divergences can be sharpened using constants called "contraction coefficients" to produce strong data processing inequalities. For any discrete source-channel pair, the contraction coefficients for…

We consider divergence form elliptic operators of the form $L=-\dv A(x)\nabla$, defined in $R^{n+1} = \{(x,t)\in R^n \times R \}$, $n \geq 2$, where the $L^{\infty}$ coefficient matrix $A$ is $(n+1)\times(n+1)$, uniformly elliptic, complex…

$T$ is a Ritt operator in $L^p$ if $\sup_n n\|T^n-T^{n+1}\|<\infty$. From \cite{LeMX-Vq}, if $T$ is a positive contraction and a Ritt operator in $L^p$, $1<p<\infty$, the square function $\left( \sum_n n^{2m+1} |T^n(I-T)^{m+1}f|^2…

We adapt a number-theoretic technique of Yu to prove a purely analytic theorem: if f(x) is in L^1 and L^2, is nonnegative, and is supported on an interval of length I, then the supremum of the convolution f*f is at least 0.631 \| f \|_1^2 /…

Let $f$ be an arbitrary integrable function on a finite measure space $(X,\Sigma, \nu)$. We characterise the extreme points of the set $\Omega (f)$ of all measurable functions on $(X,\Sigma, \nu)$ majorised by $f$, providing a complete…

Let $T$ be a bounded linear operator on a Hilbert space $H$ such that \[ \alpha[T^*,T]:=\sum_{n=0}^\infty \alpha_n T^{*n}T^n\ge 0. \] where $\alpha(t)=\sum_{n=0}^\infty \alpha_n t^n$ is a suitable analytic function in the unit disc…

We prove the existence of extremals for fractional Moser-Trudinger inequalities in an interval and on the whole real line. In both cases we use blow-up analysis for the corresponding Euler-Lagrange equation, which requires new sharp…

In this paper we consider the formally symmetric differential expression $M[\cdot]$ of any order (odd or even) $\geq 2$. We characterise the dimension of the quotient space $D(T_{\max})/D(T_{\min})$ associated with $M[\cdot]$ in terms of…

A remarkable theorem of Besicovitch is that an integrable function $f$ on $\mathbb{R}^2$ is strongly differentiable if and only if its associated strong maximal function $M_S f$ is finite a.e. We provide an analogue of Besicovitch's result…

The following problem originated from a question due to Paul Turan. Suppose $\Omega$ is a convex body in Euclidean space $\RR^d$ or in $\TT^d$, which is symmetric about the origin. Over all positive definite functions supported in $\Omega$,…

Recently the behavior of operator monotone functions on unbounded intervals with respect to the relation of strictly positivity has been investigated. In this paper we deeply study such behavior not only for operator monotone functions but…

We prove sharp inequalities for determinants of Toeplitz operators and twisted Laplace operators on the two-sphere, generalizing the Moser-Trudinger-Onofri inequality. In particular a sharp version of conjectures of Gillet-Soule and Fang…

We show rigidity results for the operator equations T(f.g) = Tf.Tg, T(f*g) = Tf.Tg and T(f.g) = Tf*Tg for bijective operators T acting on sufficently large spaces of smooth functions. Typically a condition like |T(f.g) - Tf.Tg| < a for all…

We study the dynamics of the renormalization operator acting on the space of pairs (v,t), where v is a diffeomorphism and t belongs to [0,1], interpreted as unimodal maps x-->v(q_t(x)), where q_t(x)=-2t|x|^a+2t-1. We prove the so called…

We study maximal averages associated with singular measures on $\rr$. Our main result is a construction of singular Cantor-type measures supported on sets of Hausdorff dimension $1 - \epsilon$, $0 \leq \epsilon < {1/3}$ for which the…

Let $E$ be an elliptic curve with good ordinary reduction at an odd prime $p$. Assuming that Greenberg's $\mu=0$ conjecture holds, we show that the $\lambda$-invariants of the Mazur--Tate elements attached to $E$ either stabilise to the…

We study fine boundary regularity properties of solutions to fully nonlinear elliptic integro-differential equations of order $2s$, with $s\in(0,1)$. We consider the class of nonlocal operators $\mathcal L_*\subset \mathcal L_0$, which…

Consider a bounded strongly pseudo-convex domain $\Omega $ with a smooth boundary in $\mathbb{C}^n$. Let $\mathcal{T}$ be the Toeplitz algebra on the Bergman space $L^2_a(\Omega )$. That is, $\mathcal{T}$ is the $C^\ast $-algebra generated…

On the space of weighted radial Sobolev space, the following generalization of Moser-Trudinger type inequality was established by Calanchi and Ruf in dimension 2 : If $\beta \in [0,1)$ and $w_0(x) = |\log |x||^\beta $ then $$ \sup_{\int_B…

We extend the classical Heisenberg uncertainty principle to a fractional $L^p$ setting by investigating a novel class of uncertainty inequalities derived from the fractional Schr\"odinger equation. In this work, we establish the existence…