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.

Maz'ya's $Φ$-inequalities on domains

Poincare Inequalities in Punctured Domains

A $(ϕ_\frac{n}{s}, ϕ)$-Poincaré inequality in John domain

A sharp quantitative nonlinear Poincaré inequality on convex domains

Some sharp inequalities of Mizohata--Takeuchi-type

Approximate Solutions for Abstract Inequality Systems

On Bernstein- and Marcinkiewicz-type inequalities on multivariate $C^α$-domains

On some sharp Landau--Kolmogorov--Nagy type inequalities in Sobolev spaces of multivariate functions

A $(ϕ_n, ϕ)$-Poincaré inequality on John domain

$\bar\partial$ Poincaré inequality and an improved $L^2$-estimate of $\bar\partial$ on bounded strictly pseudoconvex domains

On the sharp Makai inequality

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

Strict Faber-Krahn type inequality for the mixed local-nonlocal operator under polarization

On Estimates of Biharmonic Functions on Lipschitz and Convex Domains

The lower dimensional slicing inequality for functions and related distance inequalities

On the Poincaré Inequality on Open Sets in

Hadamard's inequality in the mean

Sharp L1 Inequalities for Sup-Convolution

FA ] 2 2 Se p 20 06 A sharp Trudinger-Moser type inequality for unbounded domains in R n

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

Sharp weighted fractional Hardy inequalities