Abstract:Let $\Sigma$ be a strictly convex, compact patch of a $C^2$ hypersurface in $\mathbb{R}^n$, with non-vanishing Gaussian curvature and surface measure $d\sigma$ induced by the Lebesgue measure in $\mathbb{R}^n$. The Mizohata--Takeuchi conjecture states that \begin{equation*} \int |\widehat{gd\sigma}|^2w \leq C \|Xw\|_\infty \int |g|^2 \end{equation*} for all $g\in L^2(\Sigma)$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$, where $X$ denotes the $X$-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every $\epsilon>0$, there exists a positive constant $C_\epsilon$, which depends only on $\Sigma$ and $\epsilon$, such that for all $R \geq 1$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$ we have \begin{equation*} \int_{B_R} |\widehat{gd\sigma}|^2w \leq C_\epsilon R^\epsilon \sup_T \left(\int _T w^{\frac{n+1}{2}}\right)^{\frac{2}{n+1}}\int |g|^2, \end{equation*} where $T$ ranges over the family of all tubes in $\mathbb{R}^n$ of dimensions $R^{1/2} \times \dots \times R^{1/2} \times R$. From this we deduce the Mizohata--Takeuchi conjecture with an $R^{\frac{n-1}{n+1}}$-loss; i.e., that \begin{equation*} \int_{B_R} |\widehat{gd\sigma}|^2w \leq C_\epsilon R^{\frac{n-1}{n+1}+ \epsilon}\|Xw\|_\infty\int |g|^2 \end{equation*} for any ball $B_R$ of radius $R$ and any $\epsilon>0$. The power $(n-1)/(n+1)$ here cannot be replaced by anything smaller unless properties of $\widehat{gd\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.

A Gehring–Hayman Inequality for Strongly Pseudoconvex Domains

A Gehring-Hayman inequality for strongly pseudoconvex domains

The Gehring-Hayman type theorem on pseudoconvex domains of finite type in $\mathbb{C}^2$

Precise estimates of invariant distances on strongly pseudoconvex domains

Hermite--Hadamard inequalities for nearly-spherical domains

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

Asymptotic characterizations of strong pseudoconvexity on pseudoconvex domains of finite type in $\mathbb{C}^2$

Unbounded visibility domains: metric estimates and an application

Gromov hyperbolicity of intrinsic metrics from isoperimetric inequalities

Some sharp inequalities of Mizohata--Takeuchi-type

The Internal Polya Inequality for $\mathbb{C}$-convex Domains in $\mathbb{C}^n$

Sobolev and Hölder estimates for the $\overline \partial$ equation on pseudoconvex domains of finite type in $\mathbb C^2$

Besicovitch-type inequality for closed geodesics on 2-dimensional spheres

GEOMETRIC INEQUALITIES FOR STATIC CONVEX DOMAINS IN HYPERBOLIC SPACE

A geometric inequality on hypersurface in hyperbolic space

On the sharp Makai inequality

-Hardy identities and inequalities with respect to the distance and mean distance to the boundary

Hadamard's inequality in the mean

A priori bounds for geodesic diameter. Part III. A Sobolev-Poincaré inequality and applications to a variety of geometric variational problems

Isoperimetric Inequalities and the Gap Between the First and Second Eigenvalues of an Euclidean Domain

Kobayashi hyperbolicity in Riemannian manifolds