Showing 1–27 of 27 results for author: Beltran, D

Optimal Young's convolutions inequality and its reverse form on the hypercube

Authors: David Beltran, Paata Ivanisvili, José Madrid, Lekha Patil

Abstract: We establish sharp forms of Young's convolution inequality and its reverse on the discrete hypercube $\{0,1\}^d$ in the diagonal case $p=q$. As applications, we derive bounds for additive energies and sumsets. We also investigate the non-diagonal regime $p\neq q$, providing necessary conditions for the inequality to hold, along with partial results in the case $r = 2$. We establish sharp forms of Young's convolution inequality and its reverse on the discrete hypercube $\{0,1\}^d$ in the diagonal case $p=q$. As applications, we derive bounds for additive energies and sumsets. We also investigate the non-diagonal regime $p\neq q$, providing necessary conditions for the inequality to hold, along with partial results in the case $r = 2$. △ Less

Submitted 8 July, 2025; originally announced July 2025.

Comments: 14 pages, 1 figure

MSC Class: 39A12; 26D15; 11B30; 11B13

A counterexample for local smoothing for averages over curves

Authors: David Beltran, Jonathan Hickman

Abstract: We provide a new necessary condition for local smoothing estimates for the averaging operator defined by convolution with a measure supported on a smooth non-degenerate curve in $\mathbb{R}^n$ for $n \geq 3$. This demonstrates a limitation in the strength of local smoothing estimates towards establishing bounds for the corresponding maximal functions when $n \geq 5$. We provide a new necessary condition for local smoothing estimates for the averaging operator defined by convolution with a measure supported on a smooth non-degenerate curve in $\mathbb{R}^n$ for $n \geq 3$. This demonstrates a limitation in the strength of local smoothing estimates towards establishing bounds for the corresponding maximal functions when $n \geq 5$. △ Less

Submitted 12 May, 2025; originally announced May 2025.

Comments: 9 pages

MSC Class: 42B20; 42B25

A fractal local smoothing problem for the wave equation

Authors: David Beltran, Joris Roos, Alex Rutar, Andreas Seeger

Abstract: For any given set $E\subset [1,2]$, we discuss a fractal frequency-localized version of the $L^p$ local smoothing estimates for the half-wave propagator with times in $E$. A conjecture is formulated in terms of a quantity involving the Assouad spectrum of $E$ and the Legendre transform. We validate the conjecture for radial functions. We also prove a similar result for fractal-time $L^2\to L^q$ an… ▽ More For any given set $E\subset [1,2]$, we discuss a fractal frequency-localized version of the $L^p$ local smoothing estimates for the half-wave propagator with times in $E$. A conjecture is formulated in terms of a quantity involving the Assouad spectrum of $E$ and the Legendre transform. We validate the conjecture for radial functions. We also prove a similar result for fractal-time $L^2\to L^q$ and square function bounds, for arbitrary $L^2$ functions and general time sets. We formulate a conjecture for $L^p\to L^q$ generalizations. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Comments: 20 pages

MSC Class: 35L05; 42B20; 28A80

Spherical maximal operators with fractal sets of dilations on radial functions

Authors: David Beltran, Joris Roos, Andreas Seeger

Abstract: For a given set of dilations $E\subset [1,2]$, Lebesgue space mapping properties of the spherical maximal operator with dilations restricted to $E$ are studied when acting on radial functions. In higher dimensions, the type set only depends on the upper Minkowski dimension of $E$, and in this case complete endpoint results are obtained. In two dimensions we determine the closure of the… ▽ More For a given set of dilations $E\subset [1,2]$, Lebesgue space mapping properties of the spherical maximal operator with dilations restricted to $E$ are studied when acting on radial functions. In higher dimensions, the type set only depends on the upper Minkowski dimension of $E$, and in this case complete endpoint results are obtained. In two dimensions we determine the closure of the $L^p\to L^q$ type set for every given set $E$ in terms of a dimensional spectrum closely related to the upper Assouad spectrum of $E$. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: 28 pages; 2 figures

MSC Class: 42B25; 28A80

On a planar Pierce--Yung operator

Authors: David Beltran, Shaoming Guo, Jonathan Hickman

Abstract: We show that the operator \begin{equation*} \mathcal{C} f(x,y) := \sup_{v\in \mathbb{R}} \Big|\mathrm{p.v.} \int_{\mathbb{R}} f(x-t, y-t^2) e^{i v t^3} \frac{\mathrm{d} t}{t} \Big| \end{equation*} is bounded on $L^p(\mathbb{R}^2)$ for every $1 < p < \infty$. This gives an affirmative answer to a question of Pierce and Yung. We show that the operator \begin{equation*} \mathcal{C} f(x,y) := \sup_{v\in \mathbb{R}} \Big|\mathrm{p.v.} \int_{\mathbb{R}} f(x-t, y-t^2) e^{i v t^3} \frac{\mathrm{d} t}{t} \Big| \end{equation*} is bounded on $L^p(\mathbb{R}^2)$ for every $1 < p < \infty$. This gives an affirmative answer to a question of Pierce and Yung. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 39 pages

MSC Class: 42B25; 42B20

Localised variants of multilinear restriction

Authors: David Beltran, Jennifer Duncan, Jonathan Hickman

Abstract: We revisit certain localised variants of the Bennett-Carbery-Tao multilinear restriction theorem, recently proved by Bejenaru. We give a new proof of Bejenaru's theorem, relating the estimates to the theory of Kakeya-Brascamp-Lieb inequalities. Moreover, the new proof allows for a substantial generalisation, exploiting the full power of the Kakeya-Brascamp-Lieb theory. We revisit certain localised variants of the Bennett-Carbery-Tao multilinear restriction theorem, recently proved by Bejenaru. We give a new proof of Bejenaru's theorem, relating the estimates to the theory of Kakeya-Brascamp-Lieb inequalities. Moreover, the new proof allows for a substantial generalisation, exploiting the full power of the Kakeya-Brascamp-Lieb theory. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Bochner-Riesz means at the critical index: Weighted and sparse bounds

Authors: David Beltran, Joris Roos, Andreas Seeger

Abstract: We consider Bochner-Riesz means on weighted $L^p$ spaces, at the critical index $λ(p)=d(\frac 1p-\frac 12)-\frac 12$. For every $A_1$-weight we obtain an extension of Vargas' weak type $(1,1)$ inequality in some range of $p>1$. To prove this result we establish new endpoint results for sparse domination. These are almost optimal in dimension $d=2$; partial results as well as conditional results ar… ▽ More We consider Bochner-Riesz means on weighted $L^p$ spaces, at the critical index $λ(p)=d(\frac 1p-\frac 12)-\frac 12$. For every $A_1$-weight we obtain an extension of Vargas' weak type $(1,1)$ inequality in some range of $p>1$. To prove this result we establish new endpoint results for sparse domination. These are almost optimal in dimension $d=2$; partial results as well as conditional results are proved in higher dimensions. For the means of index $λ_*=\frac{d-1}{2d+2}$ we prove fully optimal sparse bounds. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: 39 pages, 1 figure

MSC Class: 42B15; 42B20; 42B25

Journal ref: Math. Ann. 391, 2337-2383, 2025

Off-diagonal estimates for the helical maximal function

Authors: David Beltran, Jennifer Duncan, Jonathan Hickman

Abstract: The optimal $L^p \to L^q$ mapping properties for the (local) helical maximal function are obtained, except for endpoints. The proof relies on tools from multilinear harmonic analysis and, in particular, a localised version of the Bennett--Carbery--Tao restriction theorem. The optimal $L^p \to L^q$ mapping properties for the (local) helical maximal function are obtained, except for endpoints. The proof relies on tools from multilinear harmonic analysis and, in particular, a localised version of the Bennett--Carbery--Tao restriction theorem. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 28 pages, 1 figure

MSC Class: 42B25; 42B20

On sharp isoperimetric inequalities on the hypercube

Authors: David Beltran, Paata Ivanisvili, José Madrid

Abstract: We prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}^{\log_{2}(3/2)} \geq μ(A)^{*} (\log_{2}(1/μ(A)^{*}))^{\log_{2}(3/2)} $$ for all sets $A \subseteq \{0,1\}^n$, where $μ$ denotes the uniform probability measure, $μ(A)^{*}=\min\{μ(A), 1-μ(A)\}$, $h_A$ is supported on $A$ and to each vertex $x$ assigns the number of neighbour vertices in the complement of $A$. The inequality becomes e… ▽ More We prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}^{\log_{2}(3/2)} \geq μ(A)^{*} (\log_{2}(1/μ(A)^{*}))^{\log_{2}(3/2)} $$ for all sets $A \subseteq \{0,1\}^n$, where $μ$ denotes the uniform probability measure, $μ(A)^{*}=\min\{μ(A), 1-μ(A)\}$, $h_A$ is supported on $A$ and to each vertex $x$ assigns the number of neighbour vertices in the complement of $A$. The inequality becomes equality for any subcube. Moreover, we provide lower bounds on $\mathbb{E} h_{A}^β$ in terms of $μ(A)$ for all $β\in [1/2,1]$, improving, and in some cases tightening, previously known results. In particular, we obtain the sharp inequality $\mathbb{E}h_{A}^{0.53}\geq 2 μ(A)(1-μ(A))$ for all sets with $μ(A)\geq 1/2$, which allows us to refine a recent result of Kahn and Park on isoperimetric inequalities about partitioning the hypercube. Furthermore, we derive Talagrand's isoperimetric inequalities for functions with values in a Banach space having finite cotype: for all $f :\{-1,1\}^{n} \to X$, $\|f\|_{\infty}\leq 1$, and any $p \in [1,2]$ we have $$ \|Df\|_{p} \gtrsim \frac{1}{q^{3/2}C_{q}(X)} \|f\|_{2}^{2/p}\left(\log \frac{e\|f\|_{2}}{\|f\|_{1}}\right)^{1/q}, $$ where $\| Df\|_{p}^{p} = \mathbb{E} \| \sum_{1\leq j \leq n} x'_{j} D_{j} f(x)\|^{p}$, $x'$ is independent copy of $x$, and $C_{q}(X)$ is the cotype $q$ constant of $X$. Different proofs of the recently resolved Talagrand's conjecture will be presented. △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 17 pages

MSC Class: 46B09; 46B07; 60E15

Endpoint sparse domination for classes of multiplier transformations

Authors: David Beltran, Joris Roos, Andreas Seeger

Abstract: We prove endpoint results for sparse domination of translation invariant multiscale operators. The results are formulated in terms of dilation invariant classes of Fourier multipliers based on natural localized $M^{p\to q}$ norms which express appropriate endpoint regularity hypotheses. The applications include new and optimal sparse bounds for classical oscillatory multipliers and multi-scale ver… ▽ More We prove endpoint results for sparse domination of translation invariant multiscale operators. The results are formulated in terms of dilation invariant classes of Fourier multipliers based on natural localized $M^{p\to q}$ norms which express appropriate endpoint regularity hypotheses. The applications include new and optimal sparse bounds for classical oscillatory multipliers and multi-scale versions of radial bump multipliers. △ Less

Submitted 8 May, 2024; v1 submitted 23 December, 2022; originally announced December 2022.

Comments: Typo in Theorem 1.3 corrected (the result is proved for $1<p<2<q\le p'$ with the endpoint $q=p'$ included). 55 pages, 1 figure

MSC Class: 42B15; 42B20; 42B25

Journal ref: Math. Z. 305, no.1., Article number: 11 (2023)

$L^p-L^q$ local smoothing estimates for the wave equation via $k$-broad Fourier restriction

Authors: David Beltran, Olli Saari

Abstract: We explore the connection between $k$-broad Fourier restriction estimates and sharp regularity $L^p-L^q$ local smoothing estimates for the solutions of the wave equation in $\mathbb{R}^{n}\times \mathbb{R}$ for all $n \geq 3$ via a Bourgain--Guth broad-narrow analysis. An interesting feature is that local smoothing estimates for $e^{i t \sqrt{-Δ}}$ are not invariant under Lorentz rescaling. We explore the connection between $k$-broad Fourier restriction estimates and sharp regularity $L^p-L^q$ local smoothing estimates for the solutions of the wave equation in $\mathbb{R}^{n}\times \mathbb{R}$ for all $n \geq 3$ via a Bourgain--Guth broad-narrow analysis. An interesting feature is that local smoothing estimates for $e^{i t \sqrt{-Δ}}$ are not invariant under Lorentz rescaling. △ Less

Submitted 17 August, 2022; v1 submitted 15 March, 2022; originally announced March 2022.

Comments: Final version with referee's comments incorporated; to appear in J. Fourier Anal. Appl

Journal ref: J. Fourier Anal. Appl. 28 (2022), Paper No. 76

Continuity of the gradient of the fractional maximal operator on $W^{1,1}(\mathbb{R}^d)$

Authors: David Beltran, Cristian González-Riquelme, José Madrid, Julian Weigt

Abstract: We establish that the map $f\mapsto |\nabla \mathcal{M}_αf|$ is continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^{q}(\mathbb{R}^d)$, where $α\in (0,d)$, $q=\frac{d}{d-α}$ and $\mathcal{M}_α$ denotes either the centered or non-centered fractional Hardy--Littlewood maximal operator. In particular, we cover the cases $d >1$ and $α\in (0,1)$ in full generality, for which results were only known for radia… ▽ More We establish that the map $f\mapsto |\nabla \mathcal{M}_αf|$ is continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^{q}(\mathbb{R}^d)$, where $α\in (0,d)$, $q=\frac{d}{d-α}$ and $\mathcal{M}_α$ denotes either the centered or non-centered fractional Hardy--Littlewood maximal operator. In particular, we cover the cases $d >1$ and $α\in (0,1)$ in full generality, for which results were only known for radial functions. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: 12 pages, 1 figure

MSC Class: 42B25; 46E35

Sobolev improving for averages over curves in $\mathbf{R^4}$

Authors: David Beltran, Shaoming Guo, Jonathan Hickman, Andreas Seeger

Abstract: We study $L^p$-Sobolev improving for averaging operators $A_γ$ given by convolution with a compactly supported smooth density $μ_γ$ on a non-degenerate curve. In particular, in 4 dimensions we show that $A_γ$ maps $L^p(\mathbb{R}^4)$ the Sobolev space $L^p_{1/p}(\mathbb{R}^4)$ for all $6 < p < \infty$. This implies the complete optimal range of $L^p$-Sobolev estimates, except possibly for certain… ▽ More We study $L^p$-Sobolev improving for averaging operators $A_γ$ given by convolution with a compactly supported smooth density $μ_γ$ on a non-degenerate curve. In particular, in 4 dimensions we show that $A_γ$ maps $L^p(\mathbb{R}^4)$ the Sobolev space $L^p_{1/p}(\mathbb{R}^4)$ for all $6 < p < \infty$. This implies the complete optimal range of $L^p$-Sobolev estimates, except possibly for certain endpoint cases. The proof relies on decoupling inequalities for a family of cones which decompose the wave front set of $μ_γ$. In higher dimensions, a new non-trivial necessary condition for $L^p(\mathbb{R}^n) \to L^p_{1/p}(\mathbb{R}^n)$ boundedness is obtained, which motivates a conjectural range of estimates. △ Less

Submitted 22 October, 2021; v1 submitted 17 February, 2021; originally announced February 2021.

Comments: 60 pages, 4 figures. Revised version incorporating the referee's suggestions. To appear in Advances in Mathematics

Sharp $L^p$ bounds for the helical maximal function

Authors: David Beltran, Shaoming Guo, Jonathan Hickman, Andreas Seeger

Abstract: We establish the $L^p(\mathbb{R}^3)$ boundedness of the helical maximal function for the sharp range $p>3$. Our results improve the previous known bounds for $p>4$. The key ingredient is a new microlocal smoothing estimate for averages along dilates of the helix, which is established via a square function analysis. We establish the $L^p(\mathbb{R}^3)$ boundedness of the helical maximal function for the sharp range $p>3$. Our results improve the previous known bounds for $p>4$. The key ingredient is a new microlocal smoothing estimate for averages along dilates of the helix, which is established via a square function analysis. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Comments: 63 pages

Variation bounds for spherical averages

Authors: David Beltran, Richard Oberlin, Luz Roncal, Andreas Seeger, Betsy Stovall

Abstract: We consider $r$-variation operators for the family of spherical means, with special emphasis on $L^p\to L^q$ estimates. We consider $r$-variation operators for the family of spherical means, with special emphasis on $L^p\to L^q$ estimates. △ Less

Submitted 22 October, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 51 pages, 11 figures. Revised version incorporating referee's suggestions. To appear in Mathematische Annalen

Multi-scale sparse domination

Authors: David Beltran, Joris Roos, Andreas Seeger

Abstract: We prove a bilinear form sparse domination theorem that applies to many multi-scale operators beyond Calderón-Zygmund theory, and also establish necessary conditions. Among the applications, we cover large classes of Fourier multipliers, maximal functions, square functions and variation norm operators. We prove a bilinear form sparse domination theorem that applies to many multi-scale operators beyond Calderón-Zygmund theory, and also establish necessary conditions. Among the applications, we cover large classes of Fourier multipliers, maximal functions, square functions and variation norm operators. △ Less

Submitted 23 May, 2024; v1 submitted 1 September, 2020; originally announced September 2020.

Comments: Version to be published

MSC Class: 42B15; 42B20; 42B25

Journal ref: Memoirs of the AMS, Volume 298, Number 1491, 2024

The circular maximal operator on Heisenberg radial functions

Authors: David Beltran, Shaoming Guo, Jonathan Hickman, Andreas Seeger

Abstract: Lebesgue space estimates are obtained for the circular maximal function on the Heisenberg group $\mathbb{H}^1$ restricted to a class of Heisenberg radial functions. Under this assumption, the problem reduces to studying a maximal operator on the Euclidean plane. This operator has a number of interesting features: it is associated to a non-smooth curve distribution and, furthermore, fails both the… ▽ More Lebesgue space estimates are obtained for the circular maximal function on the Heisenberg group $\mathbb{H}^1$ restricted to a class of Heisenberg radial functions. Under this assumption, the problem reduces to studying a maximal operator on the Euclidean plane. This operator has a number of interesting features: it is associated to a non-smooth curve distribution and, furthermore, fails both the usual rotational curvature and cinematic curvature conditions. △ Less

Submitted 12 January, 2021; v1 submitted 25 December, 2019; originally announced December 2019.

Comments: 52 pages, 2 figures. Revised version incorporating referee's suggestions. To appear in Ann. Sc. Norm. Super. Pisa Cl. Sci

Regularity of the centered fractional maximal function on radial functions

Authors: David Beltran, José Madrid

Abstract: We study the regularity properties of the centered fractional maximal function $M_β$. More precisely, we prove that the map $f \mapsto |\nabla M_βf|$ is bounded and continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^q(\mathbb{R}^d)$ in the endpoint case $q=d/(d-β)$ if $f$ is radial function. For $d=1$, the radiality assumption can be removed. This corresponds to the counterparts of known results for th… ▽ More We study the regularity properties of the centered fractional maximal function $M_β$. More precisely, we prove that the map $f \mapsto |\nabla M_βf|$ is bounded and continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^q(\mathbb{R}^d)$ in the endpoint case $q=d/(d-β)$ if $f$ is radial function. For $d=1$, the radiality assumption can be removed. This corresponds to the counterparts of known results for the non-centered fractional maximal function. The main new idea consists in relating the centered and non-centered fractional maximal function at the derivative level. △ Less

Submitted 31 October, 2019; originally announced November 2019.

Comments: 22 pages, 1 figure

Bilinear identities involving the $k$-plane transform and Fourier extension operators

Authors: David Beltran, Luis Vega

Abstract: We prove certain $L^2(\mathbb{R}^n)$ bilinear estimates for Fourier extension operators associated to spheres and hyperboloids under the action of the $k$-plane transform. As the estimates are $L^2$-based, they follow from bilinear identities: in particular, these are the analogues of a known identity for paraboloids, and may be seen as higher-dimensional versions of the classical… ▽ More We prove certain $L^2(\mathbb{R}^n)$ bilinear estimates for Fourier extension operators associated to spheres and hyperboloids under the action of the $k$-plane transform. As the estimates are $L^2$-based, they follow from bilinear identities: in particular, these are the analogues of a known identity for paraboloids, and may be seen as higher-dimensional versions of the classical $L^2(\mathbb{R}^2)$-bilinear identity for Fourier extension operators associated to curves in $\mathbb{R}^2$. △ Less

Submitted 30 November, 2019; v1 submitted 26 July, 2019; originally announced July 2019.

Comments: 21 pages, 4 figures. Revised version incorporating referee suggestions. To appear in Proc. A Royal Soc. Edinburgh

Endpoint Sobolev continuity of the fractional maximal function in higher dimensions

Authors: David Beltran, José Madrid

Abstract: We establish continuity mapping properties of the non-centered fractional maximal operator $M_β$ in the endpoint input space $W^{1,1}(\mathbb{R}^d)$ for $d \geq 2$ in the cases for which its boundedness is known. More precisely, we prove that for $q=d/(d-β)$ the map $f \mapsto |\nabla M_βf|$ is continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^{q}(\mathbb{R}^d)$ for $ 0 < β< 1$ if $f$ is radial and fo… ▽ More We establish continuity mapping properties of the non-centered fractional maximal operator $M_β$ in the endpoint input space $W^{1,1}(\mathbb{R}^d)$ for $d \geq 2$ in the cases for which its boundedness is known. More precisely, we prove that for $q=d/(d-β)$ the map $f \mapsto |\nabla M_βf|$ is continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^{q}(\mathbb{R}^d)$ for $ 0 < β< 1$ if $f$ is radial and for $1 \leq β< d$ for general $f$. The results for $1\leq β< d$ extend to the centered counterpart $M_β^c$. Moreover, if $d=1$, we show that the conjectured boundedness of that map for $M_β^c$ implies its continuity. △ Less

Submitted 26 September, 2019; v1 submitted 2 June, 2019; originally announced June 2019.

Comments: 18 pages. Revised version incorporating referee suggestions. To appear in Int. Math. Res. Not. IMRN

MSC Class: 42B25; 46E35

Sharp local smoothing estimates for Fourier integral operators

Authors: David Beltran, Jonathan Hickman, Christopher D. Sogge

Abstract: The theory of Fourier integral operators is surveyed, with an emphasis on local smoothing estimates and their applications. After reviewing the classical background, we describe some recent work of the authors which established sharp local smoothing estimates for a natural class of Fourier integral operators. We also show how local smoothing estimates imply oscillatory integral estimates and obtai… ▽ More The theory of Fourier integral operators is surveyed, with an emphasis on local smoothing estimates and their applications. After reviewing the classical background, we describe some recent work of the authors which established sharp local smoothing estimates for a natural class of Fourier integral operators. We also show how local smoothing estimates imply oscillatory integral estimates and obtain a maximal variant of an oscillatory integral estimate of Stein. Together with an oscillatory integral counterexample of Bourgain, this shows that our local smoothing estimates are sharp in odd spatial dimensions. Motivated by related counterexamples, we formulate local smoothing conjectures which take into account natural geometric assumptions arising from the structure of the Fourier integrals. △ Less

Submitted 5 September, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 58 pages, 9 figures, 3 tables. Revised version incorporating referee suggestions. Survey article for the Proceedings of the conference 'Geometric Aspects of Harmonic Analysis', on the occasion of Fulvio Ricci's 70th birthday

MSC Class: 35S30; 35L05

Regularity of fractional maximal functions through Fourier multipliers

Authors: David Beltran, João Pedro Ramos, Olli Saari

Abstract: We prove endpoint bounds for derivatives of fractional maximal functions with either smooth convolution kernel or lacunary set of radii in dimensions $n \geq 2$. We also show that the spherical fractional maximal function maps $L^{p}$ into a first order Sobolev space in dimensions $n \geq 5$. We prove endpoint bounds for derivatives of fractional maximal functions with either smooth convolution kernel or lacunary set of radii in dimensions $n \geq 2$. We also show that the spherical fractional maximal function maps $L^{p}$ into a first order Sobolev space in dimensions $n \geq 5$. △ Less

Submitted 15 November, 2018; v1 submitted 7 March, 2018; originally announced March 2018.

Comments: final version, to appear in Journal of Functional Analysis

MSC Class: 42B15; 42B25; 46E35

Journal ref: J. Funct. Anal. 276 (2019), 1875-1892

Variable coefficient Wolff-type inequalities and sharp local smoothing estimates for wave equations on manifolds

Authors: David Beltran, Jonathan Hickman, Christopher D. Sogge

Abstract: The sharp Wolff-type decoupling estimates of Bourgain--Demeter are extended to the variable coefficient setting. These results are applied to obtain new sharp local smoothing estimates for wave equations on compact Riemannian manifolds, away from the endpoint regularity exponent. More generally, local smoothing estimates are established for a natural class of Fourier integral operators; at this le… ▽ More The sharp Wolff-type decoupling estimates of Bourgain--Demeter are extended to the variable coefficient setting. These results are applied to obtain new sharp local smoothing estimates for wave equations on compact Riemannian manifolds, away from the endpoint regularity exponent. More generally, local smoothing estimates are established for a natural class of Fourier integral operators; at this level of generality the results are sharp in odd dimensions, both in terms of the regularity exponent and the Lebesgue exponent. △ Less

Submitted 17 July, 2019; v1 submitted 21 January, 2018; originally announced January 2018.

Comments: 27 pages, 3 figures. Update incorporates referee suggestions. Minor correction to the proof of Lemma 2.6. To appear in APDE

MSC Class: 35S30; 35L05

Journal ref: Analysis & PDE 13 (2020) 403-433

Sparse bounds for pseudodifferential operators

Authors: David Beltran, Laura Cladek

Abstract: We prove sparse bounds for pseudodifferential operators associated to Hörmander symbol classes. Our sparse bounds are sharp up to the endpoint and rely on a single scale analysis. As a consequence, we deduce a range of weighted estimates for pseudodifferential operators. The results naturally apply to the context of oscillatory Fourier multipliers, with applications to dispersive equations and osc… ▽ More We prove sparse bounds for pseudodifferential operators associated to Hörmander symbol classes. Our sparse bounds are sharp up to the endpoint and rely on a single scale analysis. As a consequence, we deduce a range of weighted estimates for pseudodifferential operators. The results naturally apply to the context of oscillatory Fourier multipliers, with applications to dispersive equations and oscillatory convolution kernels. △ Less

Submitted 22 March, 2018; v1 submitted 7 November, 2017; originally announced November 2017.

Comments: 21 pages, 2 figures. Revised version. To appear in J. Anal. Math

Control of pseudodifferential operators by maximal functions via weighted inequalities

Authors: David Beltran

Abstract: We establish general weighted $L^2$ inequalities for pseudodifferential operators associated to the Hörmander symbol classes $S^m_{ρ,δ}$. Such inequalities allow to control these operators by fractional "non-tangential" maximal functions, and subsume the optimal range of Lebesgue space bounds for pseudodifferential operators. As a corollary, several known Muckenhoupt type bounds are recovered, and… ▽ More We establish general weighted $L^2$ inequalities for pseudodifferential operators associated to the Hörmander symbol classes $S^m_{ρ,δ}$. Such inequalities allow to control these operators by fractional "non-tangential" maximal functions, and subsume the optimal range of Lebesgue space bounds for pseudodifferential operators. As a corollary, several known Muckenhoupt type bounds are recovered, and new bounds for weights lying in the intersection of the Muckenhoupt and reverse Hölder classes are obtained. The proof relies on a subdyadic decomposition of the frequency space, together with applications of the Cotlar-Stein almost orthogonality principle and a quantitative version of the symbolic calculus. △ Less

Submitted 13 September, 2017; v1 submitted 23 August, 2016; originally announced August 2016.

Comments: Revised version. To appear in Trans. Amer. Math. Soc

Subdyadic square functions and applications to weighted harmonic analysis

Authors: David Beltran, Jonathan Bennett

Abstract: Through the study of novel variants of the classical Littlewood-Paley-Stein $g$-functions, we obtain pointwise estimates for broad classes of highly-singular Fourier multipliers on $\mathbb{R}^d$ satisfying regularity hypotheses adapted to fine (subdyadic) scales. In particular, this allows us to efficiently bound such multipliers by geometrically-defined maximal operators via general weighted… ▽ More Through the study of novel variants of the classical Littlewood-Paley-Stein $g$-functions, we obtain pointwise estimates for broad classes of highly-singular Fourier multipliers on $\mathbb{R}^d$ satisfying regularity hypotheses adapted to fine (subdyadic) scales. In particular, this allows us to efficiently bound such multipliers by geometrically-defined maximal operators via general weighted $L^2$ inequalities, in the spirit of a well-known conjecture of Stein. Our framework applies to solution operators for dispersive PDE, such as the time-dependent free Schrödinger equation, and other highly oscillatory convolution operators that fall well beyond the scope of the Calderón-Zygmund theory. △ Less

Submitted 19 December, 2016; v1 submitted 7 October, 2015; originally announced October 2015.

Comments: To appear in Advances in Mathematics

A Fefferman-Stein inequality for the Carleson operator

Authors: David Beltran

Abstract: We provide a Fefferman-Stein type weighted inequality for maximally modulated Calderón-Zygmund operators that satisfy \textit{a priori} weak type unweighted estimates. This inequality corresponds to a maximally modulated version of a result of Pérez. Applying it to the Hilbert transform we obtain the corresponding Fefferman-Stein inequality for the Carleson operator $\mathcal{C}$, that is… ▽ More We provide a Fefferman-Stein type weighted inequality for maximally modulated Calderón-Zygmund operators that satisfy \textit{a priori} weak type unweighted estimates. This inequality corresponds to a maximally modulated version of a result of Pérez. Applying it to the Hilbert transform we obtain the corresponding Fefferman-Stein inequality for the Carleson operator $\mathcal{C}$, that is $\mathcal{C}: L^p(M^{\lfloor p \rfloor +1}w) \to L^p(w)$ for any $1<p<\infty$ and any weight function $w$, with bound independent of $w$. We also provide a maximal-multiplier weighted theorem, a vector-valued extension, and more general two-weighted inequalities. Our proof builds on a recent work of Di Plinio and Lerner combined with some results on Orlicz spaces developed by Pérez. △ Less

Submitted 13 September, 2017; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: Revised version. To appear in Rev. Mat. Iber