I have questions about the proof of Theorem $2.1$ [here](https://arxiv.org/pdf/2105.11414.pdf). The proof is on Pg. $10$. I am trying to work out the $d = 2$ case in particular.
$$\mathcal C^d = \{(x\_1, \ldots, x\_{d+1}): |(x\_1, \ldots, x\_d)| = |x\_{d+1}|\} \subset \Bbb R^{d+1}$$
is the $d$-dimensional cone. The first part of the proof of $\dim\_F \mathcal C^2 = 1$ on Pg. $10$ is to show that $\dim\_F \mathcal C^2 \ge 1$. To do this, it is enough to consider the measure $\mu$ defined by $$f\mapsto \int\_{\mathbb R} \psi(r) \int\_{S^{1}} f(rx,r)\, d\sigma(x)\, dr$$
where $f$ is any non-negative Borel function, $\sigma$ is the rotation invariant Borel probability measure on $S^1$, and $\psi$ is a bump function on $[1,2]$ with $\int \psi = 1$. The Fourier dimension of $A\subset\Bbb R^{d+1}$ is:
$$\dim\_F A = \sup\{0\le s\le d+1: \exists\mu\in \mathcal P(A) \text{ s.t. } |\hat\mu(\xi)| \lesssim |\xi|^{-s/2},\, \forall \xi\in \Bbb R^{d+1}\}$$
where $\mathcal P(A)$ is the set of Borel probability measures on $\Bbb R^{d+1}$ satisfying $\mu(A) = 1$.




---


$\mu$ is the measure associated with the linear functional $$\Lambda: f\mapsto \int\_{\mathbb R} \psi(r) \int\_{S^{1}} f(rx,r)\, d\sigma(x)\, dr$$ in the sense that $\Lambda f = \int f\, d\mu$ for any non-negative Borel function $f$.




---


**Question:** To show $\dim\_F \mathcal C^2 \ge 1$, we must compute the Fourier transform $\widehat{\mu}$ and prove that $$|\hat\mu(\xi)| \lesssim |\xi|^{-1/2},\, \forall \xi\in \mathbb R^3$$
If $z = (rx\_1,rx\_2,r)$ where $(x\_1,x\_2)\in S^1$, i.e., $x\_1^2 + x\_2^2 = 1$, then $$\widehat{\mu}(\xi) = \int e^{-2\pi i \xi\cdot z}\, d\mu(z) = \int\_{\mathbb R} \psi(r) \int\_{S^{1}} e^{-2\pi i (\xi\_1rx\_1 + \xi\_2 rx\_2 + \xi\_3r) }\, d\sigma(x)\, dr$$
\begin{align\*}
|\hat\mu(\xi)| &= \left|\int\_{1}^2 \psi(r) e^{-2\pi i\xi\_3 r} \widehat{\sigma}(r(\xi\_1,\xi\_2))\, dr\right|\\
&\approx \left|\int\_{1}^2 \psi(r) e^{-2\pi i\xi\_3 r} J\_{0}(2\pi r (\xi\_1^2 + \xi\_2^2)^{1/2})\, dr\right|
\end{align\*}
since $$\widehat{\sigma^{n-1}}(x) = c(n)|x|^{(2-n)/2} J\_{(n-2)/2}(2\pi|x|) \tag{$\ast$}$$
for all $x\in \Bbb R^n$ where $$J\_m(r) = \frac{(r/2)^m}{\Gamma(m + 1/2) \sqrt\pi} \cdot\int\_{-1}^1 e^{irt} (1-t^2)^{m-1/2} \, dt$$
for $m > -1/2$. In particular, $$J\_{0}(r) = \frac{1}{\pi}\int\_{-1}^1 e^{irt} (1-t^2)^{-1/2} \, dt$$
$(\ast)$ is Equation $(3.41)$ in Mattila's Fourier Analysis and Hausdorff Dimension.
\begin{align\*}
|\hat\mu(\xi)|&\approx \left|\int\_{1}^2 \psi(r) e^{-2\pi i\xi\_3 r} \left(\int\_{-1}^1 e^{2\pi ir (\xi\_1^2 + \xi\_2^2)^{1/2} t} (1-t^2)^{-1/2}\, dt \right)\, dr\right|
\end{align\*}
How should I proceed?


Thanks a lot!



$|\hat\mu(\xi)| \lesssim |\xi|^{-1/2}$ where $\mu$ is $f\mapsto \int_{\mathbb R} \psi(r) \int_{S^{1}} f(rx,r)\, d\sigma(x)\, dr $
When the Hessian has rank $k$ everywhere one has an estimate $|\hat{\mu}(\xi)| \leq C|\xi|^{-{k \over 2}}$ by a result of Littman (see 5.8 on p 361 of Stein's Harmonic Analysis). Here $k = 1$ since the cone portion here has exactly one nonvanishing principal curvature at every point. The proof is basically the same as the case when the Hessian has full rank; you just show the nondegenerate estimates are uniform over $k$ dimensional "slices" of the surface on which one has a nondegenerate phase in $k$ variables, and integrate the resulting estimate. The nondegenerate case is Theorem 1 on p.348 of Stein's book.


This also follows from the decay rate estimate $|\hat{\mu}(\xi)| \leq C|\xi|^{-{1 \over m}}$ that holds when the surface is of type at most $m$ everywhere (see Theorem 2 on p. 351 of Stein's Harmonic Analysis.)


