arXiv subjects

Martin Hsu

Publications and source records attributed to Martin Hsu.

5 recordsLinked to original sources

arXiv2026

On the resonant Carleson-Radon transform in all dimensions. The degree one resonant case

In this paper, we provide the resolution of the degree one resonant case in all dimensions. Our main result reads as follows: for any dimension $D\geq 1$ set $\mathbf{X}(\mathbf{t})=(\mathbf{t},|\mathbf{t}|^2),\; \mathbf{t}\in\mathbb{R}^D$, and let $K(\mathbf{t})$ be any suitable translation invariant Calder\'on--Zygmund kernel. If $\mathbb{V}\leq\mathbb{R}^{D+1}$ is any linear subspace such that $ \exists\:\:\mathbf{v}_0\in\mathbb{R}^D\times\{0\}$ nontrivial with $\mathbf{v}_0\perp\mathbb{V}$ then the following (maximal) Carleson-Radon transform $CR^\ast_{\mathbb{V}}$ is $L^p(\mathbb{R}^{D+1})-$bounded in the maximal range $1<p<\infty$, where $$CR^\ast_{\mathbb{V}} f(\mathbf{x}):= \sup_{\begin{array}{c} \scriptstyle 0<r<R<\infty \cr \scriptstyle \mathbf{a}\in\mathbb{V} \end{array}} \left| \int_{r<|\mathbf{t}|\leq R} f\left(\mathbf{x}-\mathbf{X}(\mathbf{t})\right) e\left(\mathbf{a}\cdot \mathbf{X}(\mathbf{t})\right) K(\mathbf{t}) d \mathbf{t} \right|.$$ The above choice for $\mathbb{V}$ creates a maximal linear subspace of $\mathbb{R}^{D+1}$ closed under parabolic scaling for which - $CR^\ast_{\mathbb{V}}$ is degree one resonant, and - $CR^\ast_{\mathbb{V}}$ is not degree two (or higher) resonant. The proof of the above result unravels several new manifestations and ideas meant to capture the remarkable features of the resonant Carleson-Radon behavior.

math.CA↗

arXiv2024

On a Carleson-Radon Transform (the non-resonant setting)

Given a curve $\vec{\gamma}=(t^{\alpha_1}, t^{\alpha_2}, t^{\alpha_3})$ with $\vec{\alpha}=(\alpha_1,\alpha_2,\alpha_3)\in \mathbb{R}_{+}^3$, we define the Carleson-Radon transform along $\vec{\gamma}$ by the formula $$ C_{[\vec{\alpha}]}f(x,y):=\sup_{a\in \mathbb{R}}\left|p.v.\,\int_{\mathbb{R}} f (x-t^{\alpha_1},y-t^{\alpha_2})\,e^{i\,a\,t^{\alpha_3}}\,\frac{dt}{t}\right|\,.$$ We show that in the \emph{non-resonant} case, that is, when the coordinates of $\vec{\alpha}$ are pairwise disjoint, our operator $ C_{[\vec{\alpha}]}$ is $L^p$ bounded for any $1<p<\infty$. Our proof relies on the (Rank I) LGC-methodology introduced in arXiv:1902.03807 and employs three key elements: 1) a partition of the time-frequency plane with a linearizing effect on both the argument of the input function and on the phase of the kernel; 2) a sparse-uniform dichotomy analysis of the Gabor coefficients associated with the input/output function; 3) a level set analysis of the time-frequency correlation set.

math.CA↗

arXiv2024

Smoothing inequalities for corner-type bilinear averages: geometric characterization and applications

We study Sobolev smoothing inequalities for bilinear averages associated with corner-type configurations \[ A_{\gamma,\rho}(f_1,f_2)(x_1,x_2) =\int f_1(x_1+\gamma_1(t),x_2)f_2(x_1,x_2+\gamma_2(t))\rho(t)\,dt. \] In the real-analytic setting, we obtain a complete geometric characterization of the curves $\gamma=(\gamma_{1},\gamma_{2})$ for which $A_{\gamma,\rho}(f_1,f_2)$ satisfies the smoothing inequality \[ \|A_{\gamma,\rho}(f_1,f_2)\|_{L^1} \lesssim \left\|f_1 \right\|_{H^{(-\varepsilon,0)}} \cdot \left\|f_2 \right\|_{H^{(0,-\varepsilon)}}\, \] for some $\varepsilon >0$. For general $C^4 $ embedded curves, we establish analogous quantitative statement involving purely geometric conditions that encode certain uniform complexity bounds and allows degeneracies on the various curvature conditions. For definable families of curves in an arbitrary o-minimal expansion of the real field, the relevant complexity parameters are uniformly finite, leading to smoothing inequalities that hold uniformly across the family. As applications, we obtain bounds for triangular Hilbert transforms along a large family of curves, their associated maximal operators, and corner-type lacunary spherical maximal operators. We further prove the existence of configurations of the form $(x,y)$, $(x+\gamma_{1}(t),y)$, $(x,y+\gamma_{2}(t))$ inside sets of positive measure, together with a quantitative lower bound on the gap $t$.

math.CA↗

arXiv2024

A sharp H\"{o}rmander condition for bilinear Fourier multipliers with Lipschitz singularities

This paper studies the $L^{p}$ boundedness of bilinear Fourier multipliers in the local $L^{2}$ range. We assume a H\"{o}rmander condition relative to a singular set that is a finite union of Lipschitz curves. The H\"{o}rmander condition is sharp with respect to the Sobolev exponent. Our setup generalizes the non-degenerate bilinear Hilbert transform but avoids issues of uniform bounds near degeneracy.

math.CA↗

arXiv2023

A study guide for "Trilinear smoothing inequalities and a variant of the triangular Hilbert transform"

This article is a study guide for "Trilinear smoothing inequalities and a variant of the triangular Hilbert transform" by Christ, Durcik, and Roos. We first present the standard techniques in the study of oscillatory integrals with the simpler toy model of a Hilbert transform along a parabola. These standard techniques prove to be insufficient in the study of the triangular Hilbert transform with curvature. The central and novel idea in their proof of the $L^p$-boundedness of the triangular Hilbert transform with curvature is a trilinear smoothing inequality which we also examine in this article.

math.CA↗