No Arabic abstract
Answering a key point left open in a recent work of Bongers, Guo, Li and Wick, we provide the following lower bound $$ |b|_{text{BMO}_{gamma}(mathbb{R}^2)}lesssim |[b,H_{gamma}]|_{L^p(mathbb{R}^2)to L^p(mathbb{R}^2)}, $$ where $H_{gamma}$ is the parabolic Hilbert transform.
Given two intervals $I, J subset mathbb{R}$, we ask whether it is possible to reconstruct a real-valued function $f in L^2(I)$ from knowing its Hilbert transform $Hf$ on $J$. When neither interval is fully contained in the other, this problem has a unique answer (the nullspace is trivial) but is severely ill-posed. We isolate the difficulty and show that by restricting $f$ to functions with controlled total variation, reconstruction becomes stable. In particular, for functions $f in H^1(I)$, we show that $$ |Hf|_{L^2(J)} geq c_1 exp{left(-c_2 frac{|f_x|_{L^2(I)}}{|f|_{L^2(I)}}right)} | f |_{L^2(I)} ,$$ for some constants $c_1, c_2 > 0$ depending only on $I, J$. This inequality is sharp, but we conjecture that $|f_x|_{L^2(I)}$ can be replaced by $|f_x|_{L^1(I)}$.
In limited data computerized tomography, the 2D or 3D problem can be reduced to a family of 1D problems using the differentiated backprojection (DBP) method. Each 1D problem consists of recovering a compactly supported function $f in L^2(mathcal F)$, where $mathcal F$ is a finite interval, from its partial Hilbert transform data. When the Hilbert transform is measured on a finite interval $mathcal G$ that only overlaps but does not cover $mathcal F$ this inversion problem is known to be severely ill-posed [1]. In this paper, we study the reconstruction of $f$ restricted to the overlap region $mathcal F cap mathcal G$. We show that with this restriction and by assuming prior knowledge on the $L^2$ norm or on the variation of $f$, better stability with Holder continuity (typical for mildly ill-posed problems) can be obtained.
The authors use steepest descent ideas to obtain a priori $L^p$ estimates for solutions of Riemann-Hilbert Problems. Such estimates play a crucial role, in particular, in analyzing the long-time behavior of solutions of the perturbed nonlinear Schrodinger equation on the line.
We prove an almost constant lower bound of the isoperimetric coefficient in the KLS conjecture. The lower bound has the dimension dependency $d^{-o_d(1)}$. When the dimension is large enough, our lower bound is tighter than the previous best bound which has the dimension dependency $d^{-1/4}$. Improving the current best lower bound of the isoperimetric coefficient in the KLS conjecture has many implications, including improvements of the current best bounds in Bourgains slicing conjecture and in the thin-shell conjecture, better concentration inequalities for Lipschitz functions of log-concave measures and better mixing time bounds for MCMC sampling algorithms on log-concave measures.
We study the $L^p$ boundedness of Riesz transform as well as the reverse inequality on Riemannian manifolds and graphs under the volume doubling property and a sub-Gaussian heat kernel upper bound. We prove that the Riesz transform is then bounded on $L^p$ for $1 textless{} p textless{} 2$, which shows that Gaussian estimates of the heat kernel are not a necessary condition for this.In the particular case of Vicsek manifolds and graphs, we show that the reverse inequality does not hold for $1 textless{} p textless{} 2$. This yields a full picture of the ranges of $pin (1,+infty)$ for which respectively the Riesz transform is $L^p$ -bounded and the reverse inequality holds on $L^p$ on such manifolds and graphs. This picture is strikingly different from the Euclidean one.