SearcharxivSearch

arXiv subjects

Jan Rozendaal

Publications and source records attributed to Jan Rozendaal.

At least 19 recordsLinked to original sources

Local smoothing for rough wave equations

We prove local smoothing estimates for wave equations with $C^{r}$ coefficients, relying on bilinear restriction estimates associated with rough wave propagation. In two and three dimensions, for $C^{1,1}$ coefficients we recover the sharp $L^p$-$L^q$ local smoothing bounds previously established for smooth coefficients. These are implied by stronger $L^{p}$-$L^{q}$ decoupling inequalities with endpoint derivative loss. As a corollary, we obtain non-trivial $L^{p}$-$L^{p}$ local smoothing estimates as well.

math.AP

Spherical maximal functions and Hardy spaces for Fourier integral operators

We use the Hardy spaces for Fourier integral operators to obtain bounds for spherical maximal functions in $L^{p}(\mathbb{R}^{n})$, $n\geq2$, where the radii of the spheres are restricted to a compact interval in $(0,\infty)$. These bounds extend to general hypersurfaces with non-vanishing Gaussian curvature, to the complex spherical means, and to geodesic spheres on compact manifolds. We also obtain improved maximal function bounds and pointwise convergence statements for wave equations, both on $\mathbb{R}^{n}$ and on compact manifolds. The maximal function bounds are essentially sharp for all $p\in[1,2]\cup [\frac{2(n+1)}{n-1},\infty)$, for each such hypersurface, every complex spherical mean, and on every manifold.

math.CA

Function spaces for decoupling

We introduce new function spaces $\mathcal{L}_{W,s}^{q,p}(\mathbb{R}^{n})$ that yield a natural reformulation of the $\ell^{q}L^{p}$ decoupling inequalities for the sphere and the light cone. These spaces are invariant under the Euclidean half-wave propagators, but not under all Fourier integral operators unless $p=q$, in which case they coincide with the Hardy spaces for Fourier integral operators. We use these spaces to obtain improvements of the classical fractional integration theorem and local smoothing estimates.

math.AP

Propagation of singularities for equations with $C^{r}$ coefficients for $r>1$

We observe that, for $r>1$, $s$ in an $r$-dependent interval, $p$ a homogeneous pseudodifferential symbol of order $m$ having $C^{r}$ regularity in space, and $u\in H^{s+m-r}(\mathbb{R}^{n})$ such that $p(x,D)u\in H^{s}(\mathbb{R}^{n})$, each point in the $H^{s+m-1}$ wavefront set of $u$ lies on a maximally extended null bicharacteristic of $p$ which is contained in the $H^{s+m-1}$ wavefront set of $u$. In fact, for $r=2$ slightly less than $C^{1,1}$ regularity suffices, and here the results apply to manifolds with bounded Ricci curvature.

math.AP

The Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators for $p<1$

We introduce the Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators for $0<p<1$, thereby extending earlier constructions for $1\leq p\leq \infty$. We then establish various properties of these spaces, including their behavior under complex interpolation and duality, and their invariance under Fourier integral operators. We also obtain Sobolev embeddings, equivalent characterizations, and a molecular decomposition. These spaces are used in the companion article arXiv:2502.02511 to determine the sharp $\mathcal{H}^{1}(\mathbb{R}^{n})$ and $\mathrm{bmo}(\mathbb{R}^{n})$ regularity of wave equations with rough coefficients.

math.AP

$\mathcal{H}^{1}$ and $\mathrm{bmo}$ regularity for wave equations with rough coefficients

We consider second-order hyperbolic equations with rough time-independent coefficients. Our main result is that such equations are well posed on the Hardy spaces $\mathcal{H}^{s,1}_{FIO}(\mathbb{R}^{n})$ and $\mathcal{H}^{s,\infty}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators if the coefficients have $C^{1,1}\cap C^{r}$ regularity in space, for $r>\frac{n+1}{2}$, where $s$ ranges over an $r$-dependent interval. As a corollary, we obtain the sharp fixed-time $\mathcal{H}^{1}(\mathbb{R}^{n})$ and $\mathrm{bmo}(\mathbb{R}^{n})$ regularity for such equations, extending work by Seeger, Sogge and Stein in the case of smooth coefficients.

math.AP

Improved polynomial decay for unbounded semigroups

We obtain polynomial decay rates for $C_{0}$-semigroups, assuming that the resolvent grows polynomially at infinity in the complex right half-plane. Our results do not require the semigroup to be uniformly bounded, and for unbounded semigroups we improve upon previous results by, for example, removing a logarithmic loss on non-Hilbertian Banach spaces.

math.FA

Local smoothing and Hardy spaces for Fourier integral operators on manifolds

We introduce the Hardy spaces for Fourier integral operators on Riemannian manifolds with bounded geometry. We then use these spaces to obtain improved local smoothing estimates for Fourier integral operators satisfying the cinematic curvature condition, and for wave equations on compact manifolds. The estimates are essentially sharp, for all $2<p<\infty$ and on each compact manifold. We also apply our local smoothing estimates to nonlinear wave equations with initial data outside of $L^{2}$-based Sobolev spaces.

math.AP

Rough pseudodifferential operators on Hardy spaces for Fourier integral operators

We prove mapping properties of pseudodifferential operators with rough symbols on Hardy spaces for Fourier integral operators. The symbols $a(x,η)$ are elements of $C^{r}_{*}S^{m}_{1,δ}$ classes that have limited regularity in the $x$ variable. We show that the associated pseudodifferential operator $a(x,D)$ maps between Sobolev spaces $\mathcal{H}^{s,p}_{FIO}(\mathbb{R}^{n})$ and $\mathcal{H}^{t,p}_{FIO}(\mathbb{R}^{n})$ over the Hardy space for Fourier integral operators $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$. Our main result implies that for $m=0$, $δ=1/2$ and $r>n-1$, $a(x,D)$ acts boundedly on $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for all $p\in(1,\infty)$.

math.AP

Operator-valued $(L^{p},L^{q})$ Fourier multipliers and stability theory for evolution equations

We give an overview of some recent results on operator-valued $(L^{p},L^{q})$ Fourier multipliers and stability theory for evolution equations. The aim is to provide a relatively nontechnical introduction to the underlying ideas, emphasizing the connection between the two areas. We also indicate how operator-valued $(L^{p},L^{q})$ Fourier multipliers can be applied to functional calculus theory.

math.FA

Nonlinear wave equations with slowly decaying initial data

New local smoothing estimates in Besov spaces adapted to the half-wave group are proved via $\ell^2$-decoupling. We apply these estimates to obtain new well-posedness results for the cubic nonlinear wave equation in two dimensions. The results are compared to new well-posedness results in $L^p$-based Sobolev spaces.

math.AP

$L^{p}$ and $\mathcal{H}^{p}_{FIO}$ regularity for wave equations with rough coefficients

We consider wave equations with time-independent coefficients that have $C^{1,1}$ regularity in space. We show that, for nontrivial ranges of $p$ and $s$, the standard inhomogeneous initial value problem for the wave equation is well posed in Sobolev spaces $\mathcal{H}^{s,p}_{FIO}(\mathbb{R}^{n})$ over the Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators introduced recently by the authors and Portal, following work of Smith. In spatial dimensions $n = 2$ and $n=3$, this includes the full range $1 < p < \infty$. As a corollary, we obtain the optimal fixed-time $L^{p}$ regularity for such equations, generalizing work of Seeger, Sogge and Stein in the case of smooth coefficients.

math.AP

Rough pseudodifferential operators on Hardy spaces for Fourier integral operators II

We obtain improved bounds for pseudodifferential operators with rough symbols on Hardy spaces for Fourier integral operators. The symbols $a(x,η)$ are elements of $C^{r}_{*}S^{m}_{1,δ}$ classes that have limited regularity in the $x$ variable. We show that the associated pseudodifferential operator $a(x,D)$ maps between Sobolev spaces $\mathcal{H}^{s,p}_{FIO}(\mathbb{R}^{n})$ and $\mathcal{H}^{t,p}_{FIO}(\mathbb{R}^{n})$ over the Hardy space for Fourier integral operators $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$. Our main result is that for all $r>0$, $m=0$ and $δ=1/2$, there exists an interval of $p$ around $2$ such that $a(x,D)$ acts boundedly on $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$.

math.AP

Characterizations of the Hardy space $\mathcal{H}_{FIO}^{1}(\mathbb{R}^{n})$ for Fourier integral operators

The Hardy spaces for Fourier integral operators $\mathcal{H}_{FIO}^{p}(\mathbb{R}^{n})$, for $1\leq p\leq \infty$, were introduced by Smith in [Smith,1998] and Hassell et al. in [Hassell-Portal-Rozendaal,2020]. In this article, we give several equivalent characterizations of $\mathcal{H}_{FIO}^{1}(\mathbb{R}^{n})$, for example in terms of Littlewood--Paley $g$ functions and maximal functions. This answers a question from [Rozendaal,2021]. We also give several applications of the characterizations.

math.AP

Local smoothing and Hardy spaces for Fourier integral operators

We show that the Hardy spaces for Fourier integral operators form natural spaces of initial data when applying $\ell^{p}$-decoupling inequalities to local smoothing for the wave equation. This yields new local smoothing estimates which, in a quantified manner, improve the bounds in the local smoothing conjecture on $\mathbb{R}^{n}$ for $p\geq 2(n+1)/(n-1)$, and complement them for $2<p<2(n+1)/(n-1)$. These estimates are invariant under application of Fourier integral operators, and they are essentially sharp.

math.AP

Off-singularity bounds and Hardy spaces for Fourier integral operators

We define a scale of Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$, $p\in[1,\infty]$, that are invariant under suitable Fourier integral operators of order zero. This builds on work by Smith for $p=1$. We also introduce a notion of off-singularity decay for kernels on the cosphere bundle of $\mathbb{R}^{n}$, and we combine this with wave packet transforms and tent spaces over the cosphere bundle to develop a full Hardy space theory for oscillatory integral operators. In the process we extend the known results about $L^{p}$-boundedness of Fourier integral operators, from local boundedness to global boundedness for a larger class of symbols.

math.AP

Characterizations of Hardy spaces for Fourier integral operators

We prove several characterizations of the Hardy spaces for Fourier integral operators $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$, for $1<p<\infty$. First we characterize $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ in terms of $L^{p}(\mathbb{R}^{n})$-norms of parabolic frequency localizations. As a corollary, any characterization of $L^{p}(\mathbb{R}^{n})$ yields a corresponding version for $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$. In particular, we obtain a maximal function characterization and a characterization in terms of vertical square functions.

math.AP

Optimal rates of decay for operator semigroups on Hilbert spaces

We investigate rates of decay for $C_0$-semigroups on Hilbert spaces under assumptions on the resolvent growth of the semigroup generator. Our main results show that one obtains the best possible estimate on the rate of decay, that is to say an upper bound which is also known to be a lower bound, under a comparatively mild assumption on the growth behaviour. This extends several statements obtained by Batty, Chill and Tomilov (J. Eur. Math. Soc., vol. 18(4), pp. 853-929, 2016). In fact, for a large class of semigroups our condition is not only sufficient but also necessary for this optimal estimate to hold. Even without this assumption we obtain a new quantified asymptotic result which in many cases of interest gives a sharper estimate for the rate of decay than was previously available, and for semigroups of normal operators we are able to describe the asymptotic behaviour exactly. We illustrate the strength of our theoretical results by using them to obtain sharp estimates on the rate of energy decay for a wave equation subject to viscoelastic damping at the boundary.

math.FA