A sharp weighted Fourier extension estimate for the cone in $\mathbb{R}^3$ based on circle tangencies

Basic Information

• Paper ID: 2307.11731
• Title: A sharp weighted Fourier extension estimate for the cone in $\mathbb{R}^3$ based on circle tangencies
• Author: Alexander Ortiz
• Classification: math.CA (Classical Analysis and ODEs)
• Publication Date: July 2023, latest version October 2025
• Paper Link: https://arxiv.org/abs/2307.11731

Abstract

This paper applies the recent circle tangency estimates of Pramanik-Yang-Zahl to prove sharp weighted Fourier extension estimates for the cone in $\mathbb{R}^3$ under one-dimensional weights. The idea of using circle tangency estimates to study Fourier extension for the cone was originally proposed by Tom Wolff, who partially proved the first decoupling estimates using this method. As a corollary of the main theorem, we improve the best known Mizohata-Takeuchi type estimates for the cone in $\mathbb{R}^3$ with one-dimensional weights, whereas the previous best known bounds came from corollaries of refined decoupling estimates.

Research Background and Motivation

Problem Background

The core problem studied in this paper is weighted Fourier extension estimates, particularly for the cone in $\mathbb{R}^3$. For a compact manifold $M \subset B^n(0,1)$ with smooth surface measure $d\sigma$, the Fourier extension operator is defined as: $E_M f(x) = \int_M f(\xi) e^{2\pi i x \cdot \xi} d\sigma(\xi)$

The key question is to determine the optimal constant $S_2(M,X)$ such that: $\left(\int_X |E_M f|^2 dx\right)^{1/2} \leq S_2(M,X) \|f\|_{L^2(M,d\sigma)}$ where $X \subset B_R$ is a disjoint union of unit balls.

Research Significance

1. Theoretical significance: Weighted Fourier extension estimates are closely related to the Mizohata-Takeuchi conjecture, an important open problem in harmonic analysis
2. Applied value: Important applications in dispersive PDEs and geometric problems (such as the Falconer distance problem)
3. Methodological innovation: Combines circle tangency estimates with Fourier analysis, providing a new technical pathway

Limitations of Existing Methods

• Methods based on refined decoupling estimates yield a loss of $R^{1/3}$ in the one-dimensional weight case
• Existing theory is insufficient for manifolds with zero Gaussian curvature (such as cones)
• More refined geometric analysis tools are needed

Core Contributions

1. Main theorem: Proves sharp weighted Fourier extension estimates for the cone in $\mathbb{R}^3$ under one-dimensional weights
2. Technical innovation: Skillfully applies the Pramanik-Yang-Zahl circle tangency estimates and establishes point-circle duality theory
3. Improved results: Improves the loss in Mizohata-Takeuchi type estimates from $R^{1/3}$ to $R^{1/4}$
4. Geometric insights: Deepens understanding of lightplank geometry and circle tangency problems

Methodology Details

Problem Setup

Given the truncated cone in $\mathbb{R}^3$: $\text{Cone}_2 = \{(\bar{\xi}, \xi_3) \in \mathbb{R}^2 \times \mathbb{R} : 1 < |\bar{\xi}| < 2, \xi_3 = |\bar{\xi}|\}$

For a disjoint union of unit balls $X \subset B_R$ satisfying the one-dimensional Frostman condition: $|X \cap B(x,r)| \lesssim r, \quad x \in \mathbb{R}^3, r > 1$

Estimate the weighted Fourier extension: $\int_X |E_{\text{Cone}_2} f|^2 dx$

Core Technique: Point-Circle Duality

1. Basic Setup

Identify points $(a,r) \in \mathbb{R}^2 \times \mathbb{R}$ in $\mathbb{R}^3$ with circles in the plane having center $a$ and radius $r$: $C_{a,r} = \{z \in \mathbb{R}^2 : ||z-a| - r| = 0\}$

2. Tangency Conditions

Two points $x = (\bar{x}, x_3), x' = (\bar{x}', x'_3)$ with corresponding circles are almost internally tangent if and only if: $\Delta(x,x') = ||\bar{x} - \bar{x}'| - |x_3 - x'_3|| < \delta$

3. Lightplank Duality

For $\delta, \tau$-rectangles $\Omega^{(v)}$, their dual lightplank $P^{(v)}$ satisfies: $D_{10\delta}(\Omega^{(v)}) \approx P^{(v)}$ where $P^{(v)}$ is a $\delta \times \delta\tau^{-1} \times \delta\tau^{-2}$-lightplank.

Main Theorem

Theorem 1.1: For each $\epsilon > 0$, there exists a constant $C_\epsilon$ such that for each $R > 1$, if $X \subset B_R$ is a disjoint union of unit balls satisfying the one-dimensional Frostman condition, then: $\int_X |E_{\text{Cone}_2} f|^2 \leq C_\epsilon R^\epsilon P(X)^{1/2} \|f\|_{L^2(\text{Cone}_2)}^2$ where $P(X) = \sup\{|X \cap P| : P \text{ is a } 1 \times R^{1/2} \times R\text{-lightplank}\}$

Proof Strategy

1. Double Integral Reformulation

Using Plancherel's theorem to rewrite the cone Fourier average as a double integral: $\int |\hat{\mu}|^2 d\sigma = \int\int_{X \times X} |\widehat{d\sigma}(x-y)| dx dy$

2. Light Cone Decay Estimates

Key observation: $|\widehat{d\sigma}(x-y)|$ decays rapidly only when $x-y$ is close to the light cone $\Gamma_0$: $|\widehat{d\sigma}(x)| \lesssim \frac{1}{(1+|x|)^{1/2-\epsilon}} \cdot \frac{1}{(1+d(x,\Gamma_0))^{100\epsilon^{-1}}}$

3. Circle Tangency Counting

Transform the contributing pairs $(x,x') \in X^2$ into almost tangent circles, reducing the problem to circle tangency counting.

4. Application of Pramanik-Yang-Zahl Estimates

Using the following key estimate: $\int_{\mathbb{R}^2} \left(\sum_{x \in X} C_{\delta,x}(z)\right)^{3/2} dz \leq C_\epsilon \delta^{-\epsilon} \delta |X|$

Experimental Setup

Theoretical Verification

This is a pure mathematical theory paper, with correctness of results verified primarily through rigorous mathematical proofs.

Sharpness Examples

Theorem 3.2: For each $R > 1$ and $T \in [1,R]$, there exist a nonzero function $f \in L^2(\text{Cone}_2)$ and $X \subset B(0,R)$ satisfying the one-dimensional Frostman condition such that $P(X) \sim T$ and: $\int_X |E_{\text{Cone}_2} f|^2 \gtrsim T^{1/2} \|f\|_{L^2(d\sigma)}^2$

This demonstrates the sharpness of the main theorem.

Experimental Results

Main Results

1. Improved Mizohata-Takeuchi Estimates

Corollary 1.1: For one-dimensional disjoint unions of unit balls $X \subset B_R$: $\int_X |E_{\text{Cone}_2} f|^2 \leq C_\epsilon R^{1/4+\epsilon} T_{\text{Cone}_2}(X) \|f\|_{L^2(\text{Cone}_2)}^2$

This improves the loss from the previous $R^{1/3}$ to $R^{1/4}$.

2. Improved Cone Fourier Average Decay

Theorem 1.4: For one-dimensional measures $\mu$: $\int_{\text{Cone}_2} |\hat{\mu}(e)|^2 d\sigma(e) \leq C_\epsilon R^\epsilon P(\mu)^{1/2} \mu(B_R)$

This refines Erdoğan's result on $\gamma_3(1) = 1/2$.

Comparison with Existing Methods

Related Work

Historical Development

1. Wolff's pioneering work: First used point-circle duality to study Fourier extension for cones
2. Erdoğan's results: Determined optimal decay rates for cone Fourier averages
3. Pramanik-Yang-Zahl: Established key circle tangency estimates

Contributions of This Paper

• Combines Wolff's geometric insights with the latest circle tangency estimates
• Develops a complete rectangle-lightplank duality theory
• Surpasses the limitations of decoupling methods in the one-dimensional case

Conclusions and Discussion

Main Conclusions

1. Successfully improves the loss in Mizohata-Takeuchi estimates for the cone with one-dimensional weights from $R^{1/3}$ to $R^{1/4}$
2. Establishes a complete point-circle duality geometric theory
3. Proves the sharpness of the main results

Limitations

1. Dimensional restriction: The method primarily applies to cones in $\mathbb{R}^3$
2. Weight restriction: Only handles weights under one-dimensional Frostman conditions
3. Technical complexity: The proof involves complex geometric analysis

Future Directions

1. Generalization to higher dimensions
2. Study of other zero curvature manifolds
3. Exploration of whether further improvements to the theoretical lower bound $\log R$ are possible

In-Depth Evaluation

Strengths

1. Technical innovation: Skillfully combines geometric intuition with modern harmonic analysis techniques
2. Sharp results: Not only improves known results but also proves their sharpness
3. Theoretical depth: Develops rich geometric theory with independent value
4. Clear exposition: Complex geometric constructions are explained clearly

Weaknesses

1. Limited scope: Restricted to specific geometric settings
2. Technical threshold: Requires deep background in harmonic analysis and geometric measure theory
3. Computational complexity: Some geometric calculations are quite technical

Impact

1. Theoretical contribution: Provides a new attack angle on the Mizohata-Takeuchi conjecture
2. Methodological value: Point-circle duality techniques may apply to other problems
3. Inspirational: Demonstrates the power of geometric intuition in harmonic analysis

Applicable Scenarios

• Strichartz estimates in dispersive PDEs
• Projection problems in geometric measure theory
• Weighted estimates in restriction theory

References

Key references include:

1. Pramanik-Yang-Zahl (2022): Key estimates for circle tangencies
2. Wolff (2000): Original ideas in point-circle duality
3. Carbery-Iliopoulou-Wang: Refined decoupling Mizohata-Takeuchi estimates
4. Erdoğan (2004): Classical results on cone Fourier average decay

Overall Assessment: This is a high-quality theoretical paper in harmonic analysis that skillfully combines geometric intuition with modern techniques, achieving substantial progress on an important problem. While its scope is limited, its technical innovation and theoretical depth make it a significant contribution to the field.