Searcharxiv⌕ Search

arXiv subjects

Sewook Oh

Publications and source records attributed to Sewook Oh.

11 recordsLinked to original sources
arXiv2026

Maximal averages and non-transversality

We investigate the $L^p$ mapping properties of maximal functions associated with analytic hypersurfaces in $\mathbb R^d$, with a particular emphasis on the role of transversality. Around points that are not transversal, we show that the associated maximal function is bounded on $L^p(\mathbb R^d)$ for all $p>2$, regardless of the decay of the Fourier transform of surface measures. In contrast, away from non-transversal points, we prove that $L^p$ bounds for the maximal operator imply that the Fourier transform of the surface measure decays at rate $1/q$ for $q>p$. Combining these two regimes, we demonstrate that the conjecture of Stein and Iosevich-Sawyer on maximal functions could be re-formulated, in the analytic setting, by restricting attention to transversal points. Moreover, our result completely settles the refined form of the conjecture for certain cases.

math.CA↗
arXiv2025

Damping oscillatory Integrals of convex analytic functions

Let $H\subset \R^{d+1}$ be a compact, convex, analytic hypersurface of finite type with a smooth measure $\sigma $ on $H$. Let $\kappa$ denote the Gaussian curvature on $H$. We consider the oscillatory integral $(\kappa^{1/2} \sigma)^\wedge$ with the damping factor $\kappa^{1/2}$ and prove the optimal decay estimate \[ |(\kappa^{1/2} \sigma )^\wedge(\xi)|\le C|\xi|^{-d/2}\] for $d=2,3,$ and with an extra logarithmic factor for $d=4$. Our result provides an essentially complete answer, since such decay estimates generally fail for $d \ge 5$, even for convex analytic hypersurfaces, as shown by Cowling--Disney--Mauceri--M\"uller. Furthermore, we prove the same estimates for $(\kappa^{1/2+it} \sigma )^\wedge$ with $C$ growing polynomially in $|t|$. As consequences, we obtain the best possible estimates for the convolution, maximal, and adjoint restriction operators associated with $H$, incorporating the mitigating factors of optimal orders. In particular, for $d=2, 3$, we prove the $L^2$--$L^{2(d+2)/(d+4)}$ restriction estimate with respect to the affine surface measure $\kappa^{1/(d+2)} \sigma$. This work was inspired by the stationary set method due to Basu--Guo--Zhang--Zorin-Kranich.

math.CA↗
arXiv2025

Maximal estimates for averages over degenerate hypersurfaces

We study $L^p$ boundedness of the maximal average over dilations of a smooth hypersurface $S$. When the decay rate of the Fourier transform of a measure on $S$ is $1/2$, we establish the optimal maximal bound, which settles the conjecture raised by Stein. Additionally, when $S$ is not flat, we verify that the maximal average is bounded on $L^p$ for some finite $p$, which generalizes the result by Sogge and Stein.

math.CA↗
arXiv2024

Semiclassical $L^p$ quasimode restriction estimates in two dimensions

We establish the $L^p$ restriction estimates for quasimodes on a smooth curve in two dimensions. Our estimates are sharp for all smooth curves. As an application, we address $L^p$ eigenfunction restriction estimates for Laplace-Beltrami eigenfunctions on $2$-dimensional compact Riemannian manifolds without boundary and Hermite functions on $\mathbb R^2$. Our method involves a geometric analysis of the contact order between the curve and the bicharacteristic flow of the semiclassical pseudodifferential operator.

math.AP↗
arXiv2023

The elliptic maximal function

We study the elliptic maximal functions defined by averages over ellipses and rotated ellipses which are multi-parametric variants of the circular maximal function. We prove that those maximal functions are bounded on $L^p$ for some $p\neq \infty$. For this purpose, we obtain some sharp multi-parameter local smoothing estimates.

math.CA↗
arXiv2022

Remarks on dimension of unions of curves

We study an analogue of Marstrand's circle packing problem for curves in higher dimensions. We consider collections of curves which are generated by translation and dilation of a curve $\gamma$ in $\mathbb R^d$, i.e., $ x + t \gamma$, $(x,t) \in \mathbb R^d \times (0,\infty)$. For a Borel set $F \subset \mathbb R^d\times (0,\infty)$, we show the unions of curves $\bigcup_{(x,t) \in F} ( x+t\gamma )$ has Hausdorff dimension at least $\alpha+1$ whenever $F$ has Hausdorff dimension bigger than $\alpha$, $\alpha\in (0, d-1)$. We also obtain results for unions of curves generated by multi-parameter dilation of $\gamma$. One of the main ingredients is a local smoothing type estimate (for averages over curves) relative to fractal measures.

math.CA↗
arXiv2021

Sharp Sobolev regularity of restricted X-ray transforms

We study $L^p$-Sobolev regularity estimate for the restricted X-ray transforms generated by nondegenerate curves. Making use of the inductive strategy in the recent work by the authors, we establish the sharp $L^p$-regularity estimates for the restricted X-ray transforms in $\mathbb R^{d+1}$, $d\ge 3$. This extends the result due to Pramanik and Seeger in $\mathbb R^3$ to every dimension.

math.CA↗
arXiv2021

Sharp smoothing properties of averages over curves

We prove sharp smoothing properties of the averaging operator defined by convolution with a measure on a smooth nondegenerate curve $\gamma$ in $\mathbb R^d$, $d\ge 3$. Despite the simple geometric structure of such curves, the sharp smoothing estimates have remained largely unknown except for those in low dimensions. Devising a novel inductive strategy, we obtain the optimal $L^p$ Sobolev regularity estimates, which settle the conjecture raised by Beltran-Guo-Hickman-Seeger. Besides, we show the sharp local smoothing estimates for every $d$. As a result, we establish, for the first time, nontrivial $L^p$ boundedness of the maximal average over dilations of $\gamma$ for $d\ge 4$.

math.CA↗
arXiv2020

Uniform stationary phase estimate with limited smoothness

In this paper, we consider the uniform estimate for the oscillatory integral with stationary phase, which was previously studied by Alazard-Burq-Zuily. We significantly reduce the order of required regularity condition on the phase and amplitude functions for the uniform estimate. We also study estimates for the oscillatory integrals of which phase and amplitude functions depend on the oscillation parameter. The novelty of this article lies in the use of the wave packet decomposition, which transforms the decay estimate for the oscillatory integral to the disjointness property of the supports of wave packets. The latter is geometric in its nature and less sensitive to the smoothness of the phase and amplitude functions.

math.CA↗