Abstract Let$$\Gamma $$ be a compact patch of a well-curved$$C^{n+1}$$ curve in$$\mathbb {R}^n$$ with induced Lebesgue measure$$\textrm{d} \lambda $$ , and let$$g \mapsto \widehat{g \,\textrm{d}\lambda }$$ be the Fourier extension operator for$$\Gamma $$ . Then we have, for arbitrary non-negative weightsw,$$\begin{aligned} \int _{B_R} |\widehat{g \,\textrm{d}\lambda }|^2w \le C_{n,a} R^{a} \sup _S \left( \int _S w\right) \int _\Gamma |g|^2 \, \textrm{d} \lambda \end{aligned}$$ for any$$a> \frac{n-3}{2} + \frac{2}{n} - \frac{2}{n^2(n+1)}$$ , where the$$\sup $$ is over all 1-neighbourhoodsSof hyperplanes whose normals are parallel to the tangent at some point of$$\Gamma $$ . This represents partial progress on the Mizohata–Takeuchi conjecture for curves in dimensions$$n \ge 3$$ , improving upon the exponent$$a=n-1$$ which can be obtained as a consequence of the Agmon–Hörmander trace inequality. Our main tool in establishing this inequality will be a weighted formulation of refined decoupling for well-curved curves. We also discuss the sharpness of the exponents we obtain in this and in auxiliary results, and further explore this in the context of axiomatic decoupling for curves.
more »
« less
Some sharp inequalities of Mizohata–Takeuchi-type
Let\Sigmabe a strictly convex, compact patch of aC^{2}hypersurface in\mathbb{R}^{n}, with non-vanishing Gaussian curvature and surface measured\sigmainduced by the Lebesgue measure in\mathbb{R}^{n}. The Mizohata–Takeuchi conjecture states that \int |\widehat{g d\sigma}|^{2} w \leq C \|Xw\|_{\infty} \int |g|^{2} for allg\in L^{2}(\Sigma)and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), whereXdenotes theX-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every\varepsilon>0, there exists a positive constantC_{\varepsilon}, which depends only on\Sigmaand\varepsilon, such that for allR \geq 1and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), we have \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\varepsilon} \sup_{T} \Big(\int_{T} w^{(n+1)/2}\Big)^{2/(n+1)}\int |g|^{2}, whereTranges over the family of tubes in\mathbb{R}^{n}of dimensionsR^{1/2}\times \cdots \times R^{1/2}\times R. From this we deduce the Mizohata–Takeuchi conjecture with anR^{(n-1)/(n+1)}-loss; i.e., that \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\frac{n-1}{n+1}+ \varepsilon}\|Xw\|_{\infty} \int |g|^{2} for any ballB_{R}of radiusRand any\varepsilon>0. The power(n-1)/(n+1)here cannot be replaced by anything smaller unless properties of\widehat{g d\sigma}beyond ‘decoupling axioms’ are exploited. We also provide estimates which improve this inequality under various conditions on the weight, and discuss some new cases where the conjecture holds.
more »
« less
- Award ID(s):
- 2424015
- PAR ID:
- 10585400
- Publisher / Repository:
- EMS Press
- Date Published:
- Journal Name:
- Revista Matemática Iberoamericana
- Volume:
- 40
- Issue:
- 4
- ISSN:
- 0213-2230
- Page Range / eLocation ID:
- 1387 to 1418
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract In this paper we prove a higher dimensional analogue of Carleson’s$$\varepsilon ^{2}$$ conjecture. Given two arbitrary disjoint Borel sets$$\Omega ^{+},\Omega ^{-}\subset \mathbb{R}^{n+1}$$ , and$$x\in \mathbb{R}^{n+1}$$ ,$$r>0$$ , we denote$$ \varepsilon _{n}(x,r) := \frac{1}{r^{n}}\, \inf _{H^{+}} \mathcal{H}^{n} \left ( ((\partial B(x,r)\cap H^{+}) \setminus \Omega ^{+}) \cup (( \partial B(x,r)\cap H^{-}) \setminus \Omega ^{-})\right ), $$ where the infimum is taken over all open affine half-spaces$$H^{+}$$ such that$$x \in \partial H^{+}$$ and we define$$H^{-}= \mathbb{R}^{n+1} \setminus \overline{H^{+}}$$ . Our first main result asserts that the set of points$$x\in \mathbb{R}^{n+1}$$ where$$ \int _{0}^{1} \varepsilon _{n}(x,r)^{2} \, \frac{dr}{r}< \infty $$ is$$n$$ -rectifiable. For our second main result we assume that$$\Omega ^{+}$$ ,$$\Omega ^{-}$$ are open and that$$\Omega ^{+}\cup \Omega ^{-}$$ satisfies the capacity density condition. For each$$x \in \partial \Omega ^{+} \cup \partial \Omega ^{-}$$ and$$r>0$$ , we denote by$$\alpha ^{\pm }(x,r)$$ the characteristic constant of the (spherical) open sets$$\Omega ^{\pm }\cap \partial B(x,r)$$ . We show that, up to a set of$$\mathcal{H}^{n}$$ measure zero,$$x$$ is a tangent point for both$$\partial \Omega ^{+}$$ and$$\partial \Omega ^{-}$$ if and only if$$ \int _{0}^{1} \min (1,\alpha ^{+}(x,r) + \alpha ^{-}(x,r) -2) \frac{dr}{r} < \infty . $$ The first result is new even in the plane and the second one improves and extends to higher dimensions the$$\varepsilon ^{2}$$ conjecture of Carleson.more » « less
-
Abstract We consider the following stochastic heat equation$$\begin{aligned} \partial _t u(t,x) = \tfrac{1}{2} \partial ^2_x u(t,x) + b(u(t,x)) + \sigma (u(t,x)) {\dot{W}}(t,x), \end{aligned}$$ defined for$$(t,x)\in (0,\infty )\times {\mathbb {R}}$$ , where$${\dot{W}}$$ denotes space-time white noise. The function$$\sigma $$ is assumed to be positive, bounded, globally Lipschitz, and bounded uniformly away from the origin, and the functionbis assumed to be positive, locally Lipschitz and nondecreasing. We prove that the Osgood condition$$\begin{aligned} \int _1^\infty \frac{\textrm{d}y}{b(y)}<\infty \end{aligned}$$ implies that the solution almost surely blows up everywhere and instantaneously, In other words, the Osgood condition ensures that$$\textrm{P}\{ u(t,x)=\infty \quad \hbox { for all } t>0 \hbox { and } x\in {\mathbb {R}}\}=1.$$ The main ingredients of the proof involve a hitting-time bound for a class of differential inequalities (Remark 3.3), and the study of the spatial growth of stochastic convolutions using techniques from the Malliavin calculus and the Poincaré inequalities that were developed in Chen et al. (Electron J Probab 26:1–37, 2021, J Funct Anal 282(2):109290, 2022).more » « less
-
Abstract We present an explicit subset$$A\subseteq \mathbb{N} = \{0,1,\ldots \}$$such that$$A + A = \mathbb{N}$$and for all$$\varepsilon \gt 0$$,\begin{equation*}\lim _{N\to \infty }\frac {\big |\big \{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in A^2\big \}\big |}{N^{\varepsilon }} = 0.\end{equation*} This answers a question of Erdős.more » « less
-
Consider the linear transport equation in 1D under an external confining potential \begin{document}$$ \Phi $$\end{document}: \begin{document}$$ \begin{equation*} {\partial}_t f + v {\partial}_x f - {\partial}_x \Phi {\partial}_v f = 0. \end{equation*} $$\end{document} For \begin{document}$$ \Phi = \frac {x^2}2 + \frac { \varepsilon x^4}2 $$\end{document} (with \begin{document}$$ \varepsilon >0 $$\end{document} small), we prove phase mixing and quantitative decay estimates for \begin{document}$$ {\partial}_t \varphi : = - \Delta^{-1} \int_{ \mathbb{R}} {\partial}_t f \, \mathrm{d} v $$\end{document}, with an inverse polynomial decay rate \begin{document}$$ O({\langle} t{\rangle}^{-2}) $$\end{document}. In the proof, we develop a commuting vector field approach, suitably adapted to this setting. We will explain why we hope this is relevant for the nonlinear stability of the zero solution for the Vlasov–Poisson system in \begin{document}$ 1 $$\end{document}D under the external potential \begin{document}$$ \Phi $$\end{document}$.more » « less
An official website of the United States government

