No Arabic abstract
Let $ v$ be a smooth vector field on the plane, that is a map from the plane to the unit circle. We study sufficient conditions for the boundedness of the Hilbert transform operatorname H_{v, epsilon}f(x) := text{p.v.}int_{-epsilon}^ epsilon f(x-yv(x)) frac{dy}y where $ epsilon $ is a suitably chosen parameter, determined by the smoothness properties of the vector field. It is a conjecture, due to E.thinspace M.thinspace Stein, that if $ v$ is Lipschitz, there is a positive $ epsilon $ for which the transform above is bounded on $ L ^{2}$. Our principal result gives a sufficient condition in terms of the boundedness of a maximal function associated to $ v$. This sufficient condition is that this new maximal function be bounded on some $ L ^{p}$, for some $ 1<p<2$. We show that the maximal function is bounded from $ L ^{2}$ to weak $ L ^{2}$ for all Lipschitz maximal function. The relationship between our results and other known sufficient conditions is explored.
We establish the sharp growth rate, in terms of cardinality, of the $L^p$ norms of the maximal Hilbert transform $H_Omega$ along finite subsets of a finite order lacunary set of directions $Omega subset mathbb R^3$, answering a question of Parcet and Rogers in dimension $n=3$. Our result is the first sharp estimate for maximal directional singular integrals in dimensions greater than 2. The proof relies on a representation of the maximal directional Hilbert transform in terms of a model maximal operator associated to compositions of two-dimensional angular multipliers, as well as on the usage of weighted norm inequalities, and their extrapolation, in the directional setting.
Designing invisible objects without the usage of extreme materials is a long-sought goal for photonic applications. Invisibility techniques demonstrated so far typically require high anisotropy, gain and losses, while also not being flexible. Here we propose an invisibility approach to suppress the scattering of waves from/to given directions and for particular frequency ranges, i.e. invisibility on demand. We derive a Born approximation-based generalized Hilbert transform for a specific invisibility arrangement relating the two quadratures of the complex permittivity of an object. The theoretical proposal is confirmed by numerical calculations, indicating that near-perfect invisibility can be attained for arbitrary objects with low-index contrast. We further demonstrate the cases where the idea can be extended to high-index objects or restricted to within practical limits by avoiding gain areas. The proposed concept opens a new route for the practical implementation of complex-shaped objects with arbitrarily suppressed scatterings determined on demand.
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)}$.
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.
Let $Dinmathbb{N}$, $qin[2,infty)$ and $(mathbb{R}^D,|cdot|,dx)$ be the Euclidean space equipped with the $D$-dimensional Lebesgue measure. In this article, via an auxiliary function space $mathrm{WE}^{1,,q}(mathbb R^D)$ defined via wavelet expansions, the authors establish the Riesz transform characterization of Triebel-Lizorkin spaces $dot{F}^0_{1,,q}(mathbb{R}^D)$. As a consequence, the authors obtain the Fefferman-Stein decomposition of Triebel-Lizorkin spaces $dot{F}^0_{infty,,q}(mathbb{R}^D)$. Finally, the authors give an explicit example to show that $dot{F}^0_{1,,q}(mathbb{R}^D)$ is strictly contained in $mathrm{WE}^{1,,q}(mathbb{R}^D)$ and, by duality, $mathrm{WE}^{infty,,q}(mathbb{R}^D)$ is strictly contained in $dot{F}^0_{infty,,q}(mathbb{R}^D)$. Although all results when $D=1$ were obtained by C.-C. Lin et al. [Michigan Math. J. 62 (2013), 691-703], as was pointed out by C.-C. Lin et al., the approach used in the case $D=1$ can not be applied to the case $Dge2$, which needs some new skills.