alphaFeedback

WorksMathematics

Local smoothing for the Euclidean wave equation

AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
Formal proof, 4 proof or workflow links
View

Abstract

We prove Sogge’s local smoothing conjecture for the Euclidean wave equation in every spatial dimension at least two. We deduce the Bochner–Riesz conjecture, maximal estimates for these means, and sharp bounds for Stein’s square function. We obtain Fourier restriction estimates for the sphere, the compact paraboloid, and the truncated cone throughout the interior of the conjectured range, as well as local smoothing for the Schrödinger equation. We also prove the Kakeya and Nikodym maximal conjectures. In particular, every Euclidean Kakeya set has full Hausdorff dimension.

Introduction

We prove Sogge’s local smoothing conjecture for the Euclidean wave equation in every spatial dimension n≥2n \ge2. A wave arriving from a thin spherical shell may have a much larger LpL^p norm at the instant when its rays come to a focus than it had initially. Sogge asked how many derivatives of the initial data are needed to control the norm averaged over a time interval [72 Section 4, Equation (4.5)].

Write U(T)=e−iT∣D∣U(T)=e^{-iT|D|} for the half-wave propagator, with ∣D∣=−Δ|D|=\sqrt{-\Delta}. Put I=[1,2]I=[1,2], J=(1−Δ)1/2J=(1-\Delta)^{1/2}, and

s+(p)=max⁡{0,n−12−np}.s_+(p)=\max\left\{0,\frac{n-1}{2}-\frac{n}{p}\right\}.

Theorem 1.1 (Euclidean local smoothing). For n≥2n \ge2, 2≤p<∞2 \le p < \infty and ε>0\varepsilon> 0,

∥U(T)f∥Lp(Rn×I)≤Cn,p,ε∥Js+(p)+εf∥Lp(Rn).(1)\lVert U(T)f\rVert_{L^p(\mathbb{R}^n\times I)} \le C_{n,p,\varepsilon}\lVert J^{s_+(p)+\varepsilon}f\rVert_{L^p(\mathbb{R}^n)}. \tag*{(1)}

At p=2p=2 one can take ε=0\varepsilon=0.

At a fixed nonzero time the sharp Sobolev order is (n−1)(1/2−1/p)(n-1)(1/2-1/p) [54, 65, 68]. Thus for p≥pc=2n/(n−1)p \ge p_c=2n/(n-1), averaging in time gains every amount less than 1/p1/p over the fixed-time estimate. For 2<p<pc2<p<p_c, arbitrarily small positive regularity suffices. A focusing wave shows that s+(p)s_+(p) is the smallest possible threshold (Proposition 8.1). We state the wave estimates for complex Schwartz data; density gives the indicated extensions, and conjugation gives the other sign of the half wave. Unqualified LpL^p norms of the data are spatial norms.

Consequences for Fourier analysis and geometry

Bochner–Riesz means and Stein’s square function. The Bochner–Riesz means BRα=(1−∣D∣2/R2)+αB_{R}^{\alpha} = (1-|D|^{2}/R^{2})_{+}^{\alpha} are uniformly bounded on LpL^{p} for 1≤p≤∞1 \leq p \leq\infty and every α>max⁡{0,n∣1/p−1/2∣−1/2}\alpha> \max\{0,n|1/p-1/2|-1/2\}, as conjectured. For 2≤p<∞2 \leq p < \infty the same orders give a strong LpL^{p} bound for the supremum over all radii (Theorem 10.1). Stein’s square function measures their variation with radius [73]. Keeping this variation inside a square integral gives its conjectured bounds for 2≤p<∞2 \leq p < \infty and α>1/2+s+(p)\alpha> 1/2+s_{+}(p) (Theorem 11.1). The connection with the wave is that averaging in time against an oscillatory weight selects a thin shell in frequency. Sogge used this observation to pass from local smoothing to summability of Fourier integrals [72 Equations (4.5)–(4.6)]; for the reductions at fixed and variable radii see [8 Propositions 39 and 40].

Fourier restriction and Schrödinger waves. Give an incoming spherical wave an amplitude that varies with direction. Near the focus, rescaling recovers the Fourier extension of this amplitude from the sphere. We obtain the full interior range of global Fourier extension estimates La→LbL^{a} \to L^{b}: for 1<a≤∞1 < a \leq\infty, b<∞b < \infty, it is given by

b>2nn−1,b>n+1n−1a′,1a+1a′=1.b > \frac{2n}{n-1}, \qquad b > \frac{n+1}{n-1}a', \qquad\frac{1}{a}+\frac{1}{a'}=1.

Slicing gives the same bounds for the truncated cone in Rn+1\mathbb{R}^{n+1} (Corollary 9.3). Rescaling a small cap gives the compact paraboloid estimate (12.1) and local smoothing for Schrödinger waves in n−1n-1 spatial dimensions, with the exact Sobolev order above their critical exponent (Corollary 12.1).

Kakeya and Nikodym sets. Random signs on disjoint frequency caps turn the square of the extension into a bound for overlaps of tubes. This proves the Kakeya maximal conjecture: the operator that takes ff to the largest average of ∣f∣|f| on a unit δ\delta-tube in each direction has norm Oϵ(δ−ϵ)O_{\epsilon}(\delta^{-\epsilon}) from Ln(Rn)L^{n}(\mathbb{R}^{n}) to Ln(Sn−1)L^{n}(S^{n-1}) for every ϵ>0\epsilon> 0. In particular, every subset of Rn\mathbb{R}^{n} containing a unit line segment in each direction has Hausdorff dimension nn (Corollary 9.1). A projective change of variables gives the corresponding Nikodym maximal estimate for tubes through a given point (see (9.7)).

Development of the local smoothing problem

The question grew out of Bourgain’s theorem on maximal averages over circles [12]. At high frequency the Fourier transform of a circle of radius TT has two leading terms, with phases T∣ξ∣T|\xi| and −T∣ξ∣-T|\xi|. This explains why a spacetime estimate for waves can help bound the supremum of circular averages over radii. Sogge used this connection to prove a positive smoothing gain for every p>2p > 2 in two space dimensions [72 Theorem 4.1]. Mockenhaupt, Seeger and Sogge gave a proof of the circular maximal theorem using angular square functions [55], and developed local smoothing for Fourier integral operators under a curvature condition on the associated family of cones [56].

A persistent difficulty is to put waves moving in different directions back together. Wolff decomposed a neighborhood of the cone into thin angular sectors and controlled their sum by induction on scales. This gave every gain below 1/p1/p for p>74p > 74 in the plane [80]; Łaba and Wolff extended the argument to higher dimensions [49]. Bourgain and Demeter’s decoupling theorem gives this gain for p≥2(n+1)/(n−1)p \geq2(n+1)/(n-1) in every dimension [14 Theorem 1.2]. A different argument using radial Fourier multipliers attained the exact gain 1/p1/p, with no additional Sobolev loss, for n≥4n \geq4 and p>2(n−1)/(n−3)p > 2(n-1)/(n-3) [37 Theorem 1.2]. In the plane, Guth, Wang and Zhang reached the critical exponent p=4p=4 by controlling the L4L^{4} norm of a wave by the spacetime square function of its angular pieces [35 Theorems 1.1 and 1.2]. For the canonical sectors of a truncated cone, Cushman, Demeter and Wu give the sharp power 1/41/4 of the logarithm in this square function inequality [20 Theorem 1.4]. To obtain a bound in terms of ∥f∥4\|f\|_4, one must also estimate the square function from the initial data.

In higher dimensions the distinction between a partial gain at pcp_c and a full gain above pcp_c is substantial. At n=p=3n=p=3, Gao, Liu, Miao and Xi obtained every gain below 2/92/9 by broad Fourier restriction estimates, compared with the conjectured 1/31/3 [29 Corollary 1.3]. Gan, He, Li and Wu proved the full gain up to an arbitrarily small loss for p≥10/3p\ge10/3 in R3\mathbb{R}^3 and on compact Riemannian three-manifolds [28 Theorem 1.3]; see also Wang’s study of wave packet density [78]. Interpolating the p=10/3p=10/3 estimate with the L2L^2 identity gives every gain below 1/41/4 at p=3p=3. Some three-dimensional metrics require p≥10/3p\ge10/3 for gains arbitrarily close to 1/p1/p [53], whereas the Euclidean exponent is 33.

An estimate on one frequency annulus

The proof is built around a single estimate at p=pcp=p_c. It quantifies the growth with frequency that the arbitrarily small Sobolev loss in Theorem 1.1 allows. Our Fourier convention is f^(ξ)=∫Rne−iX⋅ξf(X) dX\widehat{f}(\xi)=\int_{\mathbb{R}^n}e^{-iX\cdot\xi}f(X)\,dX, so U(T)U(T) has phase X⋅ξ−T∣ξ∣X\cdot\xi-T|\xi| and inverse Fourier factor (2π)−n(2\pi)^{-n}.

Theorem 1.2 (Critical annular estimate). Let n≥2n\ge2, p=pcp=p_c, and φ∈Cc∞(Rn∖{0})\varphi\in C^\infty_c(\mathbb{R}^n\setminus\{0\}). For N≥2N\ge2 set PN=φ(D/N)P_N=\varphi(D/N). Then

∥U(T)PNf∥Lp(Rn×I)≤Cn,φ[log⁡(2+N)]2/p∥f∥Lp(Rn).(2)\|U(T)P_Nf\|_{L^p(\mathbb{R}^n\times I)}\le C_{n,\varphi}[\log(2+N)]^{2/p}\|f\|_{L^p(\mathbb{R}^n)}. \tag*{(2)}

Interpolation and summation over annuli yield Theorem 1.1 (Section 7). For unrestricted data on a full annulus the optimal logarithmic power in (1.2) lies between 1/pc1/p_c and 2/pc2/p_c. The lower bound comes from the focusing example: every dyadic distance from the focus between one wavelength and unit distance contributes comparable mass to the pcp_c-th power of the spacetime norm (Proposition 8.1). With any positive angular regularity, the power 1/pc1/p_c suffices; Appendix B proves a sharper result with a logarithmic angular weight. For unrestricted data the lower bound persists even for the weak spacetime norm (Proposition 8.2).

A conserved current and two circles

Consider a finite sum of plane waves with ∣ξ∣≍N|\xi|\asymp N whose directions lie in one small cap. We need to take a square after summing these waves: summing the squares would discard the interference that produces a focus. An imaginary translation along a light ray filters the sum by direction. Translation by −iℓ(1,ω)-i\ell(1,\omega), with ∣ω∣=1|\omega|=1 and ℓ>0\ell>0, multiplies a mode of frequency ξ\xi by exp⁡[−ℓ∣ξ∣∣ω−ξ/∣ξ∣∣2/2]\exp[-\ell|\xi||\omega-\xi/|\xi||^2/2]. Its Gaussian width in direction is therefore of order (Nℓ)−1/2(N\ell)^{-1/2} for Nℓ>1N\ell>1. The symmetric first-order wave system provides these light rays as its quadratic fluxes. The sum of two such fluxes gives the imaginary displacement. Two flows built from the continued wave then give a positive semidefinite tensor. Each of its real columns has zero divergence, and its time component still detects the original wave on the chosen cap (Section 2).

Here is the estimate that the construction must deliver. Set h=N−1h=N^{-1}, let a=Kha=Kh for a fixed large KK, and write p=pcp=p_c. In addition to the physical time TT, the construction has two auxiliary time coordinates τ∈R2\tau\in\mathbb{R}^2. Write H(T,s)H(T,s) for the circular mean at ∣τ∣=s|\tau|=s of the nonnegative energy F(T,τ)\mathcal{F}(T,\tau) constructed below. For hh small and nonzero cap data on a fixed spatial torus normalized by ∥f∥2=1\|f\|_2=1, we prove

∫12∥U(T)f∥pp dT≲a−2∫12H(T,2a) dT\int_1^2\|U(T)f\|_p^p\,dT\lesssim a^{-2}\int_1^2H(T,2a)\,dT
≲[log⁡(2/h)]2a−2H(0,4a)≲[log⁡(2/h)]2∥f∥pp.\lesssim[\log(2/h)]^2a^{-2}H(0,4a)\lesssim[\log(2/h)]^2\|f\|_p^p.

The first and last inequalities compare the energy with the wave. The middle one uses only a scalar differential inequality.

To obtain the energy, fix (T,τ)(T,\tau) and let the remaining real and auxiliary spatial variables range over a bounded fiber with periodic real directions. Write μ>0\mu>0 for the time component of the regularized current. There is a complex scalar Φ\Phi constant along the current. With λ>0\lambda>0 large, take on each fiber the solution with positive definite spatial Hessian Hfib(λ∣Φ∣2+u)H_{\mathrm{fib}}(\lambda|\Phi|^2+u) of

det⁡Hfib(λ∣Φ∣2+u)=λμ,u∣∂=0.\det H_{\mathrm{fib} }(\lambda|\Phi|^2+u)=\lambda\mu,\qquad u|_{\partial}=0.

Here HfibH_{\mathrm{fib}} is an nn-by-nn quaternionic Hermitian Hessian; its determinant on positive matrices is the product of the eigenvalues. The background costs nothing in the conservation law: since the current is tangent to the levels of Φ\Phi, its pairing with H(∣Φ∣2)H(|\Phi|^2) vanishes. In the spatial determinant, however, it supplies one direction of curvature. The Hessian of λ∣Φ∣2\lambda|\Phi|^2 has just one nonzero eigenvalue, of size λ\lambda. Adding αI\alpha I to this background changes its determinant to (β+α)αn−1(\beta+\alpha)\alpha^{n-1}, where β≍λ\beta\asymp\lambda. Thus density μ≥m\mu\ge m on a small ball forces the depth of uu at its center to be at least a constant times the squared radius times m1/(n−1)m^{1/(n-1)}, in the range of the construction. The integral ∫(−u)μ\int(-u)\mu detects the power mn/(n−1)m^{n/(n-1)}. Since μ\mu recovers a square of the wave, the resulting exponent is 2n/(n−1)2n/(n-1).

A correction to ∫(−u)μ\int(-u)\mu makes the full determinant cancel when one differentiates the energy in (T,τ)(T,\tau), while leaving the corrected energy comparable to that integral. The correction uses the integral of the spatial determinant along the segment of potentials from λ∣Φ∣2\lambda|\Phi|^2 to λ∣Φ∣2+u\lambda|\Phi|^2+u, as in the classical Aubin–Mabuchi energy [5, 52]. The two integrations by parts use conservation of the wave current and of the Hessian cofactor (§ 3 and § 4). The cofactor contributes no boundary term: its normal–normal coefficient vanishes. Only the wave flux through the side of the fiber can give a positive contribution to the Laplacian of the energy. A comparison function made from a spatial average of the squared wave bounds F\mathcal{F} on the initial circle and the normal derivative of uu at the side of the fiber. On the part of the boundary that carries wave flux, the Gaussian decay is stronger than the cost of recovering the wave in the interior. The resulting scalar inequality is

References

  1. [1]Per Åhag, Urban Cegrell, Sławomir Kołodziej, H. H. Phạm, and Ahmed Zeriah. Partial pluricomplex energy and integrability exponents of plurisubharmonic functions. Advances in Mathematics, 222(6):2036–2058, 2009. doi: 10.1016/j.aim.2009.07.002.DOI
  2. [2]Semyon Alesker. Non-commutative linear algebra and plurisubharmonic functions of quaternionionic variables. Bulletin des Sciences Mathématiques, 127(1):1–35, 2003. doi: 10.1016/S0007-4497(02)00004-0.DOI
  3. [3]Semyon Alesker. Quaternionic Monge–Ampère equations. Journal of Geometric Analysis, 13(2):205–238, 2003. doi: 10.1007/BF02930695.DOI
  4. [4]Semyon Alesker. Solvability of the quaternionic Monge–Ampère equation on compact manifolds with a flat hyperKähler metric. Advances in Mathematics, 241:192–219, 2013. doi: 10.1016/j.aim.2013.03.021.DOI
  5. [5]Thierry Aubin. Réduction du cas positif de l’équation de Monge–Ampère sur les variétés kählériennes compactes à la démonstration d’une inégalité. Journal of Functional Analysis, 57(2):143–153, 1984. doi: 10.1016/0022-1236(84)90093-4.DOI
  6. [6]M. S. Baouendi and F. Trèves. A microlocal version of Bochner’s tube theorem. Indiana University Mathematics Journal, 31(6):885–895, 1982. doi: 10.1512/iumj.1982.31.31060.DOI
  7. [7]William Beckner, Anthony Carbery, Stephen Semmes, and Fernando Soria. A note on restriction of the Fourier transform to spheres. Bulletin of the London Mathematical Society, 21(4):394–398, 1989. doi: 10.1112/blms/21.4.394.DOI
  8. [8]David Beltran, Jonathan Hickman, and Christopher D. Sogge. Sharp local smoothing estimates for Fourier integral operators. In Paolo Ciatti and Alessio Martini, editors, Geometric Aspects of Harmonic Analysis, volume 45 of Springer INdAM Series, pages 29–105. Springer, Cham, 2021. doi: 10.1007/978-3-030-72058-2_2.
  9. [9]David Beltran, Joris Roos, Alex Rutar, and Andreas Seeger. A fractal local smoothing problem for the wave equation. Bulletin of the London Mathematical Society, 57(12):3667–3690, 2025. doi: 10.1112/blms.70214.
  10. [10]Robert J. Berman, Sébastien Boucksom, Vincent Guedj, and Ahmed Zeriah. A variational approach to complex Monge–Ampère equations. Publications Mathématiques de l’IHÉS, 117:179–245, 2013. doi: 10.1007/s10240-012-0046-6.DOI
  11. [11]Aline Bonami and Jean-Louis Clerc. Sommes de Cesàro et multiplicateurs des développements en harmoniques sphériques. Transactions of the American Mathematical Society, 183:223–263, 1973. doi: 10.1090/S0002-9947-1973-0338697-5.DOI
  12. [12]Jean Bourgain. Averages in the plane over convex curves and maximal operators. Journal d’Analyse Mathématique, 47:69–85, 1986. doi: 10.1007/BF02792533.DOI
  13. [13]Jean Bourgain. Besicovitch type maximal operators and applications to Fourier analysis. Geometric and Functional Analysis, 1(2):147–187, 1991. doi: 10.1007/BF01896376.DOI
  14. [14]Jean Bourgain and Ciprian Demeter. The proof of the ℓ² decoupling conjecture. Annals of Mathematics, 182(1):351–389, 2015. doi: 10.4007/annals.2015.182.1.9.DOI
  15. [15]Luis Caffarelli, Louis Nirenberg, and Joel Spruck. The Dirichlet problem for nonlinear second-order elliptic equations. I. Monge–Ampère equation. Communications on Pure and Applied Mathematics, 37(3):369–402, 1984. doi: 10.1002/cpa.3160370306.DOI
  16. [16]Anthony Carbery. The boundedness of the maximal Bochner–Riesz operator on L⁴(ℝ²). Duke Mathematical Journal, 50(2):409–416, 1983. doi: 10.1215/S0012-7094-83-05018-4.DOI
  17. [17]Anthony Carbery, José L. Rubio de Francia, and Luis Vega. Almost everywhere summability of Fourier integrals. Journal of the London Mathematical Society, 38(3):513–524, 1988. doi: 10.1112/jlms/s2-38.3.513.DOI
  18. [18]Leonardo Colzani, Alice Cominardi, and Krzysztof Stempak. Radial solutions to the wave equation. Annali di Matematica Pura ed Applicata, 181(1):25–54, 2002. doi: 10.1007/s102310100025.DOI
  19. [19]Antonio Córdoba. The Kakeya maximal function and the spherical summation multipliers. American Journal of Mathematics, 99(1):1–22, 1977. doi: 10.2307/2374006.DOI
  20. [20]Adam Cushman, Ciprian Demeter, and Shukun Wu. Diameter-free reverse inequalities and superorthogonality. Preprint, arXiv:2609.13105, 2026. URL https://arxiv.org/abs/2609.13105.
  21. [21]Roy O. Davies. Some remarks on the Kakeya problem. Proceedings of the Cambridge Philosophical Society, 69(3):417–421, 1971. doi: 10.1017/S0305004100046867.DOI
  22. [22]Lawrence C. Evans. Classical solutions of fully nonlinear, convex, second-order elliptic equations. Communications on Pure and Applied Mathematics, 35(3):333–363, 1982. doi: 10.1002/cpa.3160350303.DOI
  23. [23]Charles Fefferman. The multiplier problem for the ball. Annals of Mathematics, 94(2):330–336, 1971. doi: 10.2307/1970864.DOI
  24. [24]Rafael J. Fernández-Delgado and Mikael de la Salle. A construction of Kakeya sets in arbitrary dimension. Preprint, arXiv:2607.14824v3, 2026.
  25. [25]Kurt O. Friedrichs. Symmetric hyperbolic linear differential equations. Communications on Pure and Applied Mathematics, 7(2):345–392, 1954. doi: 10.1002/cpa.3160070206.DOI
  26. [26]Shengwen Gan, Yifan Jing, and Shukun Wu. New bounds for Stein’s square function in ℝ³. In Recent Developments in Harmonic Analysis and its Applications, volume 792 of Contemporary Mathematics, pages 19–65. American Mathematical Society, Providence, RI, 2024. doi: 10.1090/conm/792/15893.DOI
  27. [27]Shengwen Gan, Changkeun Oh, and Shukun Wu. New bounds for Stein’s square functions in higher dimensions. Advances in Mathematics, 475:110342, 2025. doi: 10.1016/j.aim.2025.110342.DOI
  28. [28]Shengwen Gan, Danqing He, Xiaochun Li, and Shukun Wu. On local smoothing estimates for wave equations. Preprint, arXiv:2502.05973v2, 2026. URL https://arxiv.org/abs/2502.05973v2. Revised January 4, 2026.
  29. [29]Chuanwei Gao, Bochen Liu, Changxing Miao, and Yakun Xi. Improved local smoothing estimate for the wave equation in higher dimensions. Journal of Functional Analysis, 284(9): 109879, 2023. doi: 10.1016/j.jfa.2023.109879.DOI
  30. [30]Chuanwei Gao, Diankun Liu, and Yakun Xi. Curved Kakeya sets and Nikodym problems on manifolds. Peking Mathematical Journal, 2026. doi: 10.1007/s42543-025-00114-1. Published online February 2, 2026.DOI
  31. [31]David Gilbarg and Neil S. Trudinger. Elliptic Partial Differential Equations of Second Order. Classics in Mathematics. Springer, Berlin, second edition, 2001. doi: 10.1007/978-3-642-61798-0. Reprint of the revised second edition; originally published in Grundlehren der mathematischen Wissenschaften, vol. 224.DOI
  32. [32]Loukas Grafakos. Classical Fourier Analysis, volume 249 of Graduate Texts in Mathematics. Springer, third edition, 2014. doi: 10.1007/978-1-4939-1194-3.DOI
  33. [33]Loukas Grafakos, Liguang Liu, and Dachun Yang. Vector-valued singular integrals and maximal functions on spaces of homogeneous type. Mathematica Scandinavica, 104(2):296–310, 2009. doi: 10.7146/math.scand.a-15099.DOI
  34. [34]Shaoming Guo, Joris Roos, and Po-Lam Yung. Sharp variation-norm estimates for oscillatory integrals related to Carleson’s theorem. Analysis & PDE, 13(5):1457–1500, 2020. doi: 10.2140/apde.2020.13.1457.DOI
  35. [35]Larry Guth, Hong Wang, and Ruixiang Zhang. A sharp square function estimate for the cone in ℝ³. Annals of Mathematics, 192(2):551–581, 2020. doi: 10.4007/annals.2020.192.2.6.DOI
  36. [36]Larry Guth, Hong Wang, and Joshua Zahl. A streamlined proof of the Kakeya set conjecture in ℝ³. Preprint, arXiv:2601.14411v2, 2026. Version 2, October 11, 2026.arxiv.org/abs/2601.14411
  37. [37]Yaryong Heo, Fëdor Nazarov, and Andreas Seeger. Radial Fourier multipliers in high dimensions. Acta Mathematica, 206(1):55–92, 2011. doi: 10.1007/s11511-011-0059-x.DOI
  38. [38]Lars Hörmander. Oscillatory integrals and multipliers on F Lᵖ. Arkiv för Matematik, 11:1–11, 1973. doi: 10.1007/BF02388505.DOI
  39. [39]Kōdi Husimi. Some formal properties of the density matrix. Proceedings of the Physico-Mathematical Society of Japan, Third Series, 22(4):264–314, 1940. doi: 10.11429/ppmsj1919.22.4_264.
  40. [40]Roger L. Jones, Andreas Seeger, and James Wright. Strong variational and jump inequalities in harmonic analysis. Transactions of the American Mathematical Society, 360(12):6711–6742, 2008. doi: 10.1090/S0002-9947-08-04538-8.DOI
  41. [41]Gerald Kaiser. Quantum Physics, Relativity, and Complex Spacetime: Towards a New Synthesis, volume 163 of North-Holland Mathematics Studies. North-Holland, Amsterdam, 1990. URL https://arxiv.org/abs/0910.0352.
  42. [42]Gerald Kaiser and Raymond F. Streater. Windowed Radon transforms, analytic signals, and the wave equation. In Charles K. Chui, editor, Wavelets: A Tutorial in Theory and Applications, volume 2 of Wavelet Analysis and Its Applications, pages 399–441. Academic Press, Boston, 1992. URL https://arxiv.org/abs/math-ph/0108010.
  43. [43]Tosio Kato. Perturbation Theory for Linear Operators. Classics in Mathematics. Springer, Berlin, second edition, 1995. doi: 10.1007/978-3-642-66282-9.DOI
  44. [44]Uri Keich. On L^p bounds for Kakeya maximal functions and the Minkowski dimension in ℝ². Bulletin of the London Mathematical Society, 31(2):213–221, 1999. doi: 10.1112/S0024609398005372.DOI
  45. [45]Johannes Keller, Caroline Lasser, and Tomoki Oh sawa. A new phase space density for quantum expectations. SIAM Journal on Mathematical Analysis, 48(1):513–537, 2016. doi: 10.1137/15M1028388.DOI
  46. [46]Jongchon Kim. Some remarks on Fourier restriction estimates. Preprint, arXiv:1702.01231, 2017.arxiv.org/abs/1702.01231
  47. [47]Nikolai V. Krylov. Boundedly nonhomogeneous elliptic and parabolic equations. Mathematics of the USSR-Izvestiya, 20(3):459–492, 1983. doi: 10.1070/IM1983v020n03ABEH001360. Russian original: Izv. Akad. Nauk SSSR Ser. Mat. 46 (1982), no. 3, 487–523.DOI
  48. [48]Nikolai V. Krylov. Boundedly nonhomogeneous elliptic and parabolic equations in a domain. Mathematics of the USSR-Izvestiya, 22(1):67–97, 1984. doi: 10.1070/IM1984v022n01ABEH001434. Russian original: Izv. Akad. Nauk SSSR Ser. Mat. 47 (1983), no. 1, 75–108.DOI
  49. [49]Izabella Łaba and Thomas Wolff. A local smoothing estimate in higher dimensions. Journal d’Analyse Mathématique, 88:149–171, 2002. doi: 10.1007/BF02786576.DOI
  50. [50]Sanghyuk Lee, Keith M. Rogers, and Andreas Seeger. Improved bounds for Stein’s square functions. Proceedings of the London Mathematical Society, 104(6):1198–1234, 2012. doi: 10.1112/plms/pdr067.DOI
  51. [51]Sanghyuk Lee, Keith M. Rogers, and Andreas Seeger. On space-time estimates for the Schrödinger operator. Journal de Mathématiques Pures et Appliquées, 99(1):62–85, 2013. doi: 10.1016/j.matpur.2012.06.003.DOI
  52. [52]Toshiki Mabuchi. K-energy maps integrating Futaki invariants. Tohoku Mathematical Journal, 38(4):575–593, 1986. doi: 10.2748/tmj/1178228410.DOI
  53. [53]William P. Minicozzi, II and Christopher D. Sogge. Negative results for Nikodym maximal functions and related oscillatory integrals in curved space. Mathematical Research Letters, 4(2–3):221–237, 1997. doi: 10.4310/MRL.1997.v4.n2.a5.DOI
  54. [54]Akihiko Miyachi. On some estimates for the wave equation in L^p and H^p. Journal of the Faculty of Science, University of Tokyo, Section IA, Mathematics, 27(2):331–354, 1980.
  55. [55]Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sogge. Wave front sets, local smoothing and Bourgain’s circular maximal theorem. Annals of Mathematics, 136(1):207–218, 1992. doi: 10.2307/2946549.DOI
  56. [56]Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sogge. Local smoothing of Fourier integral operators and Carleson–Sjöl​​in estimates. Journal of the American Mathematical Society, 6(1):65–130, 1993. doi: 10.1090/S0894-0347-1993-1168960-6.DOI
  57. [57]Peter Mörters and Yuval Peres. Brownian Motion, volume 30 of Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge, 2010. doi: 10.1017/CBO9780511750489.
  58. [58]Detlef Müller and Andreas Seeger. Inequalities for spherically symmetric solutions of the wave equation. Mathematische Zeitschrift, 218:417–426, 1995. doi: 10.1007/BF02571912.DOI
  59. [59]Arian Nadjimzadah. Lifting curved Kakeya sets to linear Kakeya sets. Preprint, arXiv:2609.06299v2, 2026. Revised October 20, 2026.arxiv.org/abs/2609.06299
  60. [60]F. J. Narcowich, P. Petrushev, and J. D. Ward. Localized tight frames on spheres. SIAM Journal on Mathematical Analysis, 38(2):574–594, 2006. doi: 10.1137/040614359.DOI
  61. [61]Fabio Nicola. Slicing surfaces and the Fourier restriction conjecture. Proceedings of the Edinburgh Mathematical Society, 52(2):515–527, 2009. doi: 10.1017/S0013091507000995.DOI
  62. [62]OpenAI. Every Four-Dimensional Kakeya Set Has Full Hausdorff Dimension. OpenAI Math Release preprint OAI:Every-four-dimensional-Kakeya-set-has-full-Hausdorff-dimension-September-24-2026, 2026.hub.valency.io/works/W_cpqgvbad
  63. [63]OpenAI. The Kakeya maximal conjecture in three dimensions. OpenAI Math Release preprint OAI:The-Kakeya-maximal-conjecture-in-three-dimensions-September-23-2026, 2026.hub.valency.io/works/W_dnj8w2xp
  64. [64]OpenAI. Elliptic capacity propagation and Fourier restriction to the sphere. OpenAI Math Release preprint OAI:Elliptic-capacity-propagation-and-Fourier-restriction-to-the-sphere-September-24-2026, 2026.hub.valency.io/works/W_766zhjyx
  65. [65]Juan C. Peral. Lᵖ estimates for the wave equation. Journal of Functional Analysis, 36(1):114–145, 1980. doi: 10.1016/0022-1236(80)90110-X.DOI
  66. [66]Keith M. Rogers. A local smoothing estimate for the Schrödinger equation. Advances in Mathematics, 219(6):2105–2122, 2008. doi: 10.1016/j.aim.2008.08.008.DOI
  67. [67]Andreas Seeger. Some inequalities for singular convolution operators in Lᵖ-spaces. Transactions of the American Mathematical Society, 308(1):259–272, 1988. doi: 10.1090/S0002-9947-1988-0955772-3.DOI
  68. [68]Andreas Seeger, Christopher D. Sogge, and Elias M. Stein. Regularity properties of Fourier integral operators. Annals of Mathematics, 134(2):231–251, 1991. doi: 10.2307/2944346.DOI
  69. [69]Denis Serre. Divergence-free positive symmetric tensors and fluid dynamics. Annales de l’Institut Henri Poincaré C, Analyse non linéaire, 35(5):1209–1234, 2018. doi: 10.1016/j.anihpc.2017.11.002.DOI
  70. [70]Denis Serre. Compensated integrability. Applications to the Vlasov–Poisson equation and other models in mathematical physics. Journal de Mathématiques Pures et Appliquées, 127:67–88, 2019. doi: 10.1016/j.matpur.2018.06.025.DOI
  71. [71]Denis Serre. Mixed determinants, compensated integrability, and new a priori estimates in gas dynamics. Quarterly of Applied Mathematics, 81(2):281–295, 2023. doi: 10.1090/qam/1640.DOI
  72. [72]Christopher D. Sogge. Propagation of singularities and maximal functions in the plane. Inventiones Mathematicae, 104(2):349–376, 1991. doi: 10.1007/BF01245080.DOI
  73. [73]Elias M. Stein. Localization and summability of multiple Fourier series. Acta Mathematica, 100:93–147, 1958. doi: 10.1007/BF02559603.DOI
  74. [74]Elias M. Stein. Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, volume 43 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. doi: 10.1515/9781400883929. With the assistance of Timothy S. Murphy.
  75. [75]Terence Tao. The Bochner–Riesz conjecture implies the restriction conjecture. Duke Mathematical Journal, 96(2):363–375, 1999. doi: 10.1215/S0012-7094-99-09610-2.DOI
  76. [76]Dongrui Wan. A variational approach to the quaternionic Monge–Ampère equation. Annali di Matematica Pura ed Applicata, 199(6):2125–2150, 2020. doi: 10.1007/s10231-020-00960-z.DOI
  77. [77]Hong Wang and Joshua Zahl. Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions. Preprint, arXiv:2502.17655, 2025.arxiv.org/abs/2502.17655
  78. [78]Xiangyu Wang. Wave packet density in local smoothing: refinements and limitations. Preprint, arXiv:2609.34675v4, 2026. URL https://arxiv.org/abs/2609.34675v4. Revised October 16, 2026.
  79. [79]Thomas Wolff. Recent work connected with the Kakeya problem. In Hugo Rossi, editor, Prospects in Mathematics (Princeton, NJ, 1996), pages 129–162. American Mathematical Society, Providence, RI, 1999.
  80. [80]Thomas Wolff. Local smoothing type estimates on Lp for large p. Geometric and Functional Analysis, 10(5):1237–1288, 2000. doi: 10.1007/PL00001652.DOI
  81. [81]Jingyong Zhu. Dirichlet problem of quaternionic Monge–Ampère equations. Israel Journal of Mathematics, 214(2):597–619, 2016. doi: 10.1007/s11856-016-1329-2.DOI

Paper details

vlnc:W_r5p3dy7d
v1 · latestHistory (1)

published · Fresh — published within the last 30 days

Usage

views · 38

downloads · 2

A view counts once per browser per day, a download each time the PDF is requested.

LicenseRef-OpenAI-public

Original source

  • Mathematics

unreleased internal OpenAI model · View statement →

Looking for related papers…
Contents