No Arabic abstract
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.
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)}$.
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.
The Fourier transform truncated on [-c,c] is usually analyzed when acting on L^2(-1/b,1/b) and its right-singular vectors are the prolate spheroidal wave functions. This paper considers the operator acting on the larger space L^2(exp(b|.|)) on which it remains injective. We give nonasymptotic upper and lower bounds on the singular values with similar qualitative behavior in m (the index), b, and c. The lower bounds are used to obtain rates of convergence for stable analytic continuation of possibly nonbandlimited functions whose Fourier transform belongs to L^2(exp(b|.|)). We also derive bounds on the sup-norm of the singular functions. Finally, we propose a numerical method to compute the SVD and apply it to stable analytic continuation when the function is observed with error on an interval.
We study the bilinear Hilbert transform and bilinear maximal functions associated to polynomial curves and obtain uniform $L^r$ estimates for $r>frac{d-1}{d}$ and this index is sharp up to the end point.
Consider the discrete cubic Hilbert transform defined on finitely supported functions $f$ on $mathbb{Z}$ by begin{eqnarray*} H_3f(n) = sum_{m ot = 0} frac{f(n- m^3)}{m}. end{eqnarray*} We prove that there exists $r <2$ and universal constant $C$ such that for all finitely supported $f,g$ on $mathbb{Z}$ there exists an $(r,r)$-sparse form ${Lambda}_{r,r}$ for which begin{eqnarray*} left| langle H_3f, g rangle right| leq C {Lambda}_{r,r} (f,g). end{eqnarray*} This is the first result of this type concerning discrete harmonic analytic operators. It immediately implies some weighted inequalities, which are also new in this setting.