For spherical and parabolic averages of the Fourier transform of fractal measures, we obtain new upper bounds on rates of decay by an "intermediate dimension" trick.
We construct $δ$-regular sets with $δ\ge \frac12$ for which the analog of the Bourgain--Dyatlov Fractal Uncertainty Principle fails for the Walsh--Fourier transform.
By considering a Moran-type construction of fractals on $[0,1]$, we show that for any $0\le s\le 1$, there exists some Moran fractal set, which is perfect, with Hausdorff dimension $s$ whose Fourier dimension is zero and it contains arbitrarily long arithmetic progressions.
In a recent paper [Ann. of Math. 189 (2019), 837--861], Du and Zhang proved a fractal Fourier restriction estimate and used it to establish the sharp $L^2$ estimate on the Schrödinger maximal function in $\Bbb R^n$, $n \geq 2$. In this paper, we show that the Du-Zhang estimate is the endpoint of a family of fractal restriction estimates such that each member of the family (other than the original) implies a sharp Kakeya result in $\Bbb R^n$ that is closely related to the polynomial Wolff axioms. We also prove that all the estimates of our family are true in $\Bbb R^2$.
Let $μ$ be an $α$-dimensional probability measure. We prove new upper and lower bounds on the decay rate of hyperbolic averages of the Fourier transform $\widehatμ$. More precisely, if $\mathbb{H}$ is a truncated hyperbolic paraboloid in $\mathbb{R}^d$ we study the optimal $β$ for which $$\int_{\mathbb{H}} |\hatμ(Rξ)|^2 \, d σ(ξ)\leq C(α, μ) R^{-β}$$ for all $R > 1$. Our estimates for $β$ depend on the minimum between the number of positive and negative principal curvatures of $\mathbb{H}$; if this number is as large as possible our estimates are sharp in all dimensions.
Suppose $μ$ is an $α$-dimensional fractal measure for some $0<α<n$. Inspired by the results proved by R. Strichartz in 1990, we discuss the $L^p$-asymptotics of the Fourier transform of $fdμ$ by estimating bounds of $$\underset{L\rightarrow\infty}{\liminf}\ \frac{1}{L^k} \int_{|ξ|\leq L}\ |\widehat{fdμ}(ξ)|^pdξ,$$ for $f\in L^p(dμ)$ and $2<p<2n/α$. In a different direction, we prove a Hardy type inequality, that is, $$\int\frac{|f(x)|^p}{(μ(E_x))^{2-p}}dμ(x)\leq C\ \underset{L\rightarrow\infty}{\liminf} \frac{1}{L^{n-α}} \int_{B_L(0)} |\widehat{fdμ}(ξ)|^pdξ$$ where $1\leq p\leq 2$ and $E_x=E\c…
This paper builds upon two key principles behind the Bourgain-Dyatlov quantitative uniqueness theorem for functions with Fourier transform supported in an Ahlfors regular set. We first provide a characterization of when a quantitative uniqueness theorem holds for functions with very quickly decaying Fourier transform, thereby providing an extension of the classical Paneah-Logvinenko-Sereda theorem. Secondly, we derive a transference result which converts a quantitative uniqueness theorem for functions with fast decaying Fourier transform to one for functions with Fourier transform supported on…
We use a restriction theorem for Fourier transforms of fractal measures to study projections onto families of planes in R^3 whose normal directions form nondegenerate curves.
One of the basic questions in harmonic analysis is to study the decay properties of the Fourier transform of measures or distributions supported on thin sets in $\mathbb{R}^n$. When the support is a smooth enough manifold, an almost complete picture is available. One of the early results in this direction is the following: Let $f\in C_c^{\infty}(\mathbb{R}^n)$ and $dσ$ be the surface measure on the sphere $S^{n-1}\subset\mathbb{R}^n$. Then $$|\widehat{fdσ}(ξ)|\leq\ C\ (1+|ξ|)^{-\frac{n-1}{2}}.$$ It follows that $\widehat{fdσ}\in L^p(\mathbb{R}^n)$ for all $p>\frac{2n}{n-1}$. This result can be…
We consider spherical averages of the Fourier transform of fractal measures and improve both the upper and lower bounds on the rate of decay. Maximal estimates with respect to fractal measures are deduced for the Schrödinger and wave equations. This refines the almost everywhere convergence of the solution to its initial datum as time tends to zero. A consequence is that the solution to the wave equation cannot diverge on a $(d-1)$-dimensional manifold if the data belongs to the energy space $\dot{H}^1(\mathbb{R}^d)\times L^2(\mathbb{R}^d)$.
We construct a function that lies in $L^p(\mathbb{R}^d)$ for every $p \in (1,\infty]$ and whose Fourier transform has no Lebesgue points in a Cantor set of full Hausdorff dimension. We apply Kovač's maximal restriction principle to show that the same full-dimensional set is avoided by any Borel measure satisfying a nontrivial Fourier restriction theorem. As a consequence of a near-optimal fractal restriction theorem of Łaba and Wang, we hence prove a lack of valid relations between the Hausdorff dimension of a set and the range of possible Fourier restriction exponents for measures supported i…
We prove that if ${\mathcal E} \subset {\Bbb R}^{2d}$, $d \ge 2$, is an Ahlfors-David regular product set of sufficiently large Hausdorff dimension, denoted by $dim_{\mathcal H}({\mathcal E})$, and $ϕ$ is a sufficiently regular function, then the upper Minkowski dimension of the set $$ \{w \in {\mathcal E}: ϕ_l(w)=t_l; 1 \leq l \leq m \}$$ does not exceed $dim_{\mathcal H}({\mathcal E})-m$, in line with the regular value theorem from the elementary differential geometry. Our arguments are based on the mapping properties of the underlying Fourier Integral Operators and are intimately connected …
We survey some of our recent results on the geometry of spatially independent martingales, in a more concrete setting that allows for shorter, direct proofs, yet is general enough for several applications and contains the well-known fractal percolation measure. We study self-convolutions and Fourier decay of measures in our class, and present applications of these results to the restriction problem for fractal measures, and the connection between arithmetic structure and Fourier decay.
For a hyperbolic map f on a saddle type fractal Lambda with self-intersections, the number of f- preimages of a point x in Lambda may depend on x. This makes estimates of the stable dimensions more difficult than for diffeomorphisms or for maps which are constant-to-one. We employ the thermodynamic formalism in order to derive estimates for the stable Hausdorff dimension function delta^s on Lambda, in the case when f is conformal on local stable manifolds. These estimates are in terms of a continuous function on Lambda which bounds the preimage counting function from below. As a corollary we o…
In this note, we investigate $C^2$ differential images of the homogeneous self-similar measure associated with an IFS $\mathcal{I}=\{ρx+a_j\}_{j=1}^m$ satisfying the strong separation condition and a positive probability vector $\vec{p}$. It is shown that the Fourier transforms of such image measures have power decay for any contractive ratio $ρ\in (0, 1/m)$, any translation vector $\vec{a}=(a_1, \ldots, a_m)$ and probability vector $\vec{p}$, which extends a result of Kaufman on Bernoulli convolutions. Our proof relies on a key combinatorial lemma originated from Erdős, which is important in …
The interrelations between (upper and lower) Minkowski contents and (upper and lower) surface area based contents (S-contents) as well as between their associated dimensions have recently been investigated for general sets in R^d (cf. [3]). While the upper dimensions always coincide and the upper contents are bounded by each other, the bounds obtained in [3] suggest that there is much more flexibility for the lower contents and dimensions. We show that this is indeed the case. There are sets whose lower S-dimension is strictly smaller than their lower Minkowski dimension. More precisely, given…
We study when Fourier transforms of Gibbs measures of sufficiently nonlinear expanding Markov maps decay at infinity at a polynomial rate. Assuming finite Lyapunov exponent, we reduce this to a nonlinearity assumption, which we verify for the Gauss map using Diophantine analysis. Our approach uses large deviations and additive combinatorics, which combines the earlier works on the Gibbs measures for Gauss map (Jordan-Sahlsten, 2013) and Fractal Uncertainty Principle (Bourgain-Dyatlov, 2017).