arXiv subjects

Detlef Müller

Publications and source records attributed to Detlef Müller.

At least 19 recordsLinked to original sources

arXiv2026

$L^p$-Estimates for maximal averages along mixed homogeneous hypersurfaces in $\mathbb{R}^{3}$

In this paper, we study $L^p$-estimates for maximal averaging operators $\mathcal M$ along hypersurfaces $S$ in $\mathbb{R}^{3}$ which are the graph of a mixed homogeneous function $\Phi$ which is analytic away from the origin. The closure of such a surface will pass through the origin, so that the usual transversality condition that had been imposed in many previous works on maximal averages along hypersurfaces will not hold even when $\Phi$ is analytic at the origin. As our main result, under mild assumptions which are satisfied for instance for every mixed homogeneous polynomial $\Phi,$ we determine the critical Lebesgue exponent $p_c$ for which $\mathcal M$ is $L^p$-bounded for every $p>p_c,$ but unbounded for $p<p_c,$ in terms of multiplicities of the real roots of the Hessian determinant of $\Phi.$ It turns out that the study of the contributions by neighborhoods of a certain type of roots is closely related to recent work by Dendrinos, Ikromov and the first and third author on sharp estimates for a maximal averaging operator along a transversal hypersurface of an ``exceptional'' class, whose $L^p$-boundedness had been an open problem for a long time and which has recently been established by means of their new theory of FIO-cone multipliers.

math.CA↗

arXiv2026

Bochner-Riesz means on the Heisenberg group

We prove new $L^p$ boundedness results for Bochner-Riesz means associated with the spectral decomposition of the sub-Laplacian on the Heisenberg group $\mathbb H_n$. Our results hold for a range $1\le p\le p_n$ where $p_n\to 2$ as $n\to\infty$. As shown by the first named author in 1990 a Stein-Tomas type Fourier restriction theorem fails to hold on $\mathbb H_n$ and thus previous results based on the approach by Fefferman and Stein from the Euclidean setting only allowed to cover the cases $p=1$ and $p=\infty$. Our results on Bochner-Riesz means follow from a more general $p$-sensitive spectral multiplier theorem which is the main result of this article. This is obtained as a consequence of $L^p$ estimates for square functions associated with the Heisenberg wave operator.

math.CA↗

arXiv2025

$L^p$-estimates for FIO-cone multipliers

The classical cone multipliers are Fourier multiplier operators which localize to narrow $1/R$-neighborhoods of the truncated light cone in frequency space. By composing such convolution operators with suitable translation invariant Fourier integral operators (FIOs), we obtain what we call FIO-cone multipliers. We introduce and study classes of such FIO-cone multipliers on $\Bbb R^3$, in which the phase functions of the corresponding FIOs are adapted in a natural way to the geometry of the cone and may even admit singularities at the light cone. By building on methods developed by Guth, Wang and Zhang in their proof of the cone multiplier conjecture in $\Bbb R^3,$ we obtain $L^p$-estimates for FIO-cone multipliers in the range $4/3\le p\le 4$ which are stronger by the factor $R^{-|1/p-1/2|}$ than what a direct application of the method of Seeger, Sogge and Stein for estimating FIOs would give. An important application of our theory is to maximal averages along smooth analytic surfaces in $\Bbb R^3.$ It allows to confirm a conjecture on the the critical Lebesgue exponent for a prototypical surface from a small class of ``exceptional'' surfaces, for which this conjecture had remained open.

math.CA↗

arXiv2024

Bounds on pseudodifferential operators and Fourier restriction for Schatten classes

As main result, we show that a pseudodifferential operator in the Weyl calculus, whose symbol has compact Fourier support, lies in the Schatten class $\mathcal S^p$ if and only if its symbol lies in the Lebesgue space $L^p$ on phase space. As an immediate consequence, this gives an alternative and very lucid proof of a recent result by Luef and Samuelsen, who had discovered that for compactly supported measures $μ,$ classical Fourier restriction estimates with respect to the measure $μ$ are equivalent to quantum restriction estimates for the Fourier-Wigner transform for Schatten classes.

math.CA↗

arXiv2024

An FIO-based approach to $L^p$-bounds for the wave equation on $2$-step Carnot groups: the case of Métivier groups

Let $\mathcal{L}$ be a homogeneous left-invariant sub-Laplacian on a $2$-step Carnot group. We devise a new geometric approach to sharp fixed-time $L^p$-bounds with loss of derivatives for the wave equation driven by $\mathcal{L}$, based on microlocal analysis and highlighting the role of the underlying sub-Riemannian geodesic flow. A major challenge here stems from the fact that, differently from the Riemannian case, the conjugate locus of a point on a sub-Riemannian manifold may cluster at the point itself, thus making it indispensable to deal with caustics even when studying small-time wave propagation. Our analysis of the wave propagator on a $2$-step Carnot group allows us to reduce microlocally to two conic regions in frequency space: an anti-FIO region, which seems not amenable to FIO techniques, and an FIO region. For the latter, we construct a parametrix by means of FIOs with complex phase, by adapting a construction from the elliptic setting due to Laptev, Safarov and Vassiliev, which remains valid beyond caustics. A substantial problem arising here is that, after a natural decomposition and scalings, one must deal with the long-time behaviour and control of $L^1$-norms of the corresponding contributions to the wave propagator, a new phenomenon that is specific to sub-elliptic settings. For the class of Métivier groups, we show how our approach, in combination with a variation of the key method of Seeger, Sogge and Stein for proving $L^p$-estimates for FIOs, yields $L^p$-bounds for the wave equation, which are sharp up to the endpoint regularity. In particular, we extend previously known results for distinguished sub-Laplacians on groups of Heisenberg type, by means of a more general and robust approach. The study of the wave equation on wider classes of $2$-step Carnot groups via this approach will pose further challenges that we plan to address in subsequent works.

math.AP↗

arXiv2022

Estimates for maximal functions associated to hypersurfaces in $\Bbb R^3$ with height $h<2:$ Part II -- A geometric conjecture and its proof for generic 2-surfaces

In this article, we continue the study of $L^p$-boundedness of the maximal operator $\mathcal M_S$ associated to averages along isotropic dilates of a given, smooth hypersurface $S$ in 3-dimensional Euclidean space. We focus here on small surface-patches near a given point $x^0$ exhibiting singularities of type $\mathcal A$ in the sense of Arnol'd at this point; this is the situation which had yet been left open. Denoting by $p_c$ the minimal Lebesgue exponent such that $\mathcal M_S$ is $L^p$-bounded for $p>p_c,$ we are able to identify $p_c$ for all analytic surfaces of type $\mathcal A$ (with the exception of a small subclass), by means of quantities which can be determined from associated Newton polyhedra. Besides the well-known notion of height at $x^0,$ a new quantity, which we call the effective multiplicity, turns out to play a crucial role here. We also state a conjecture on how the critical exponent $p_c$ might be determined by means of a geometric measure theoretic condition, which measures in some way the order of contact of arbitrary ellipsoids with $S,$ even for hypersurfaces in arbitrary dimension, and show that this conjecture holds indeed true for all classes of 2-hypersurfaces $S$ for which we have gained an essentially complete understanding of $\mathcal M_S$ so far. Our results lead in particular to a proof of a conjecture by Iosevich-Sawyer-Seeger for arbitrary analytic 2-surfaces.

math.CA↗

arXiv2020

Fourier restriction for smooth hyperbolic 2-surfaces

We prove Fourier restriction estimates by means of the polynomial partitioning method for compact subsets of any sufficiently smooth hyperbolic hypersurface in threedimensional euclidean space. Our approach exploits in a crucial way the underlying hyperbolic geometry, which leads to a novel notion of strong transversality and corresponding "exceptional" sets. For the division of these exceptional sets we make crucial and perhaps surprising use of a lemma on level sets for sufficiently smooth one-variate functions from a previous article of ours.

math.CA↗

arXiv2020

A Fourier restriction theorem for a perturbed hyperbolic paraboloid: polynomial partitioning

We consider a surface with negative curvature in $\Bbb R^3$ which is a cubic perturbation of the saddle. For this surface, we prove a new restriction theorem, analogous to the theorem for paraboloids proved by L. Guth in 2016. This specific perturbation has turned out to be of fundamental importance also to the understanding of more general classes of perturbations.

math.CA↗

arXiv2020

Partitions of flat one-variate functions and a Fourier restriction theorem for related perturbations of the hyperbolic paraboloid

We continue our research on Fourier restriction for hyperbolic surfaces, by studying local perturbations of the hyperbolic paraboloid $z=xy$ which are of the form $z=xy+h(y),$ where $h(y)$ is a smooth function which is flat at the origin. The case of perturbations of finite type had already been handled before, but the flat case imposes several new obstacles. By means of a decomposition into intervals on which $|h'''|$ is of a fixed size $λ,$ we can apply methods devised in preceding papers, but since we loose control on higher order derivatives of $h$ we are forced to rework the bilinear method for wave packets that are only slowly decaying. Another problem lies in the passage from bilinear estimates to linear estimates, for which we need to require some monotonicity of $h'''.$

math.CA↗

arXiv2019

On Fourier restriction for finite-type perturbations of the hyperboloid

In this note, we continue our research on Fourier restriction for hyperbolic surfaces, by studying local perturbations of the hyperbolic paraboloid $z=xy,$ which are of the form $z=xy+h(y),$ where $h(y)$ is a smooth function of finite type. Our results build on previous joint work in which we have studied the case $h(y)=y^3/3$ by means of the bilinear method. As it turns out, the understanding of that special case becomes also crucial for the treatment of arbitrary finite type perturbation terms $h(y).$

math.CA↗

arXiv2019

A Fourier restriction theorem for a perturbed hyperbolic paraboloid

In contrast to elliptic surfaces, the Fourier restriction problem for hypersurfaces of non-vanishing Gaussian curvature which admit principal curvatures of opposite signs is still hardly understood. In fact, even for 2-surfaces, the only case of a hyperbolic surface for which Fourier restriction estimates could be established that are analogous to the ones known for elliptic surfaces is the hyperbolic paraboloid or "saddle" z = xy. The bilinear method gave here sharp results for p > 10/3 (Lee 05, Vargas 05, Stovall 17), and this result was recently improved to p > 3.25 (Cho-Lee 17, Kim 17). This paper aims to be a first step in extending those results to more general hyperbolic surfaces. We consider a specific cubic perturbation of the saddle and obtain the sharp result, up to the end-point, for p > 10/3. In the application of the bilinear method, we show that the behavior at small scale in our surface is drastically different from the saddle. Indeed, as it turns out, in some regimes the perturbation term assumes a dominant role, which necessitates the introduction of a number of new techniques that should also be useful for the study of more general hyperbolic surfaces.

math.CA↗

arXiv2019

Quaternionic spherical harmonics and a sharp multiplier theorem on quaternionic spheres

A sharp $L^p$ spectral multiplier theorem of Mihlin--Hörmander type is proved for a distinguished sub-Laplacian on quaternionic spheres. This is the first such result on compact sub-Riemannian manifolds where the horizontal space has corank greater than one. The proof hinges on the analysis of the quaternionic spherical harmonic decomposition, of which we present an elementary derivation.

math.AP↗

arXiv2019

Spectral multipliers and wave equation for sub-Laplacians: lower regularity bounds of Euclidean type

Let $\mathscr{L}$ be a smooth second-order real differential operator in divergence form on a manifold of dimension $n$. Under a bracket-generating condition, we show that the ranges of validity of spectral multiplier estimates of Mihlin--Hörmander type and wave propagator estimates of Miyachi--Peral type for $\mathscr{L}$ cannot be wider than the corresponding ranges for the Laplace operator on $\mathbb{R}^n$. The result applies to all sub-Laplacians on Carnot groups and more general sub-Riemannian manifolds, without restrictions on the step. The proof hinges on a Fourier integral representation for the wave propagator associated with $\mathscr{L}$ and nondegeneracy properties of the sub-Riemannian geodesic flow.

math.AP↗

arXiv2018

The Hausdorff-Young inequality on Lie groups

We prove several results about the best constants in the Hausdorff-Young inequality for noncommutative groups. In particular, we establish a sharp local central version for compact Lie groups, and extend known results for the Heisenberg group. In addition, we prove a universal lower bound to the best constant for general Lie groups.

math.FA↗

arXiv2016

A maximal restriction theorem and Lebesgue points of functions in F(L^p)

Fourier restriction theorems, whose study had been initiated by E.M. Stein, usually describe a family of a priori estimates of the L^q-norm of the restriction of the Fourier transform of a function f in L^p (say, on Euclidean space) to a given subvariety S, endowed with a suitabel measure. Such estimates allow to define the restriction Rf of the Fourier transform of an L^p-function to S in an operator theoretic sense. In this article, we begin to investigate the question what is the "intrinsic" pointwise relation between Rf and the Fourier transform of f, by looking at curves in the plane, for instance with non-vanishing curvature. To this end, we bound suitable maximal operators, including the Hardy-Littlewood maximal function of the Fourier transform of f restricted to S.

math.CA↗

arXiv2016

Spectral multipliers on $2$-step groups: topological versus homogeneous dimension

Let $G$ be a $2$-step stratified group of topological dimension $d$ and homogeneous dimension $Q$. Let $L$ be a homogeneous sub-Laplacian on $G$. By a theorem due to Christ and to Mauceri and Meda, an operator of the form $F(L)$ is of weak type $(1,1)$ and bounded on $L^p(G)$ for all $p \in (1,\infty)$ whenever the multiplier $F$ satisfies a scale-invariant smoothness condition of order $s > Q/2$. It is known that, for several $2$-step groups and sub-Laplacians, the threshold $Q/2$ in the smoothness condition is not sharp and in many cases it is possible to push it down to $d/2$. Here we show that, for all $2$-step groups and sub-Laplacians, the sharp threshold is strictly less than $Q/2$, but not less than $d/2$.

math.AP↗

arXiv2015

A Fourier Restriction Theorem For A Twodimensional Surface Of Finite Type

The problem of $L^p(R^3)\to L^2(S)$ Fourier restriction estimates for smooth hypersurfaces S of finite type in R^3 is by now very well understood for a large class of hypersurfaces, including all analytic ones. In this article, we take up the study of more general $L^p(R^3)\to L^q(S)$ Fourier restriction estimates, by studying a prototypical class of two-dimensional surfaces with strongly varying curvature conditions. Our approach is based on an adaptation of the so-called bilinear method. We discuss several new features arising in the study of this problem.

math.CA↗

arXiv2014

$L^p-L^2$ Fourier restriction for hypersurfaces in $\Bbb R^3$: Part I

This is the first of two articles in which we prove a sharp $L^p-L^2$ Fourier restriction theorem for a large class of smooth, finite type hypersurfaces in $\Bbb R^3$, which includes in particular all real-analytic hypersurfaces. The present file is a modified and extended version of an earlier file of the same title. Some changes and corrections had become necessary, in order to make sure that Part II is really compatible with Part I, and it is recommended to replace the earlier version of Part I by the new one.

math.CA↗