-
Distances in sparse sets of large Hausdorff dimension
Authors:
Malabika Pramanik,
K S Senthil Raani
Abstract:
The distance set $Δ(E)$ of a set $E$ consists of all non-negative numbers that represent distances between pairs of points in $E$. This paper studies sparse (less than full-dimensional) Borel sets in $\mathbb R^d$, $d \geq 2$ with a focus on properties of their distance sets. Our results are of four types. First, we generalize a classical result of Steinhaus (1920) to Borel sets…
▽ More
The distance set $Δ(E)$ of a set $E$ consists of all non-negative numbers that represent distances between pairs of points in $E$. This paper studies sparse (less than full-dimensional) Borel sets in $\mathbb R^d$, $d \geq 2$ with a focus on properties of their distance sets. Our results are of four types. First, we generalize a classical result of Steinhaus (1920) to Borel sets $E \subseteq [0,1]^d$ with $s$-dimensional Hausdorff content larger than $(1 - ρ)$, for small $ρ> 0$ and $s$ close to $d$. For such sets, we show that $Δ(E) \supseteq [a, b]$, where $0<a<b$ depend only on $d$ and $ρ$. This leads to our second result, a quantitative formulation of a theorem of Mattila and Sj$\ddot{\text{o}}$lin (1999). For an arbitrary Borel set $E \subseteq [0,1]^d$ of large Hausdorff dimension, we show that $Δ(E)$ contains a union of intervals whose lengths are dictated by cubes where $E$ holds high density. This structure theorem in turn yields a tool for identifying abundance of distances; this is the third contribution of this article. It allows us to formulate a size property of a set that guarantees all sufficiently large distances, generalizing earlier work of Bourgain (1986). It can also be used to construct examples of totally disconnected sparse sets with this property. Finally, we explore special features of $Δ(E)$ if $E$ is assumed to have certain structural regularity in addition to large Hausdorff dimension. The additional regularity is harnessed via $L^2$-Fourier asymptotics of measures supported on $E$. Applications of this phenomenon give new information on $Δ(E)$ when $E$ is locally uniformly $s$-dimensional and quasi-regular, in the terminology of Strichartz (1990). A number of new examples, counterexamples and open problems are discussed.
△ Less
Submitted 6 March, 2023;
originally announced March 2023.
-
Sharp weighted estimates for multi-frequency Calderón-Zygmund operators
Authors:
Saurabh Shrivastava,
K. S. Senthil Raani
Abstract:
In this paper we study weighted estimates for the multi-frequency $ω-$Calderón-Zygmund operators $T$ associated with the frequency set $Θ=\{ξ_1,ξ_2,\dots,ξ_N\}$ and modulus of continuity $ω$ satisfying the usual Dini condition. We use the modern method of domination by sparse operators and obtain bounds…
▽ More
In this paper we study weighted estimates for the multi-frequency $ω-$Calderón-Zygmund operators $T$ associated with the frequency set $Θ=\{ξ_1,ξ_2,\dots,ξ_N\}$ and modulus of continuity $ω$ satisfying the usual Dini condition. We use the modern method of domination by sparse operators and obtain bounds $\|T\|_{L^p(w)\rightarrow L^p(w)}\lesssim N^{|\frac{1}{r}-\frac{1}{2}|}[w]_{\mathbb{A}_{p/r}}^{max(1,\frac{1}{p-r})},~1\leq r<p<\infty,$ for the exponents of $N$ and $\mathbb{A}_{p/r}$ characteristic $[w]_{\mathbb{A}_{p/r}}$.
△ Less
Submitted 14 August, 2023; v1 submitted 3 October, 2016;
originally announced October 2016.
-
$L^p$ Fourier asymptotics, Hardy type inequality and fractal measures
Authors:
K. S. Senthil Raani
Abstract:
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…
▽ More
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\cap(-\infty,x_1]\times(-\infty,x_2]...(-\infty,x_n]$ for $x=(x_1,...x_n)\in\R^n$ generalizing the one dimensional results proved by Hudson and Leckband in 1992.
△ Less
Submitted 23 May, 2017; v1 submitted 16 September, 2015;
originally announced September 2015.
-
$L^p$-Asymptotics of Fourier transform of fractal measures
Authors:
K. S. Senthil Raani
Abstract:
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 th…
▽ More
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 extended to compactly supported measure on $(n-1)$-dimensional manifolds with appropriate assumptions on the curvature. Similar results are known for measures supported in lower dimensional manifolds in $\mathbb{R}^n$ under appropriate curvature conditions. However, the picture for fractal measures is far from complete. This thesis is a contribution to the study of asymptotic properties of the Fourier transform of measures supported in sets of fractal dimension $0<α<n$ for $p\leq 2n/α$.
In 2004, Agranovsky and Narayanan proved that if $μ$ is a measure supported in a $C^1$-manifold of dimension $d<n$, then $\widehat{fdμ}\notin L^p(\mathbb{R}^n)$ for $1\leq p\leq \frac{2n}{d}$. We prove that the Fourier transform of a measure $μ_E$ supported in a set $E$ of fractal dimension $α$ does not belong to $L^p(\mathbb{R}^n)$ for $p\leq 2n/α$. We also study $L^p$-asymptotics of the Fourier transform of fractal measures $μ_E$ under appropriate conditions on $E$ and give quantitative versions of the above statement by obtaining lower and upper bounds for the following:
$$\underset{L\rightarrow\infty}{\limsup} \frac{1}{L^k} \int_{|ξ|\leq L}|\widehat{fdμ_E}(ξ)|^pdξ.$$
△ Less
Submitted 14 June, 2015;
originally announced June 2015.
-
$L^p$-integrability, dimensions of supports of fourier transforms and applications
Authors:
K. S. Senthil Raani
Abstract:
It is proved that there does not exist any non zero function in $L^p(\R^n)$ with $1\leq p\leq 2n/α$ if its Fourier transform is supported by a set of finite packing $α$-measure where $0<α<n$. It is shown that the assertion fails for $p>2n/α$. The result is applied to prove $L^p$ Wiener-Tauberian theorems for $\R^n$ and M(2).
It is proved that there does not exist any non zero function in $L^p(\R^n)$ with $1\leq p\leq 2n/α$ if its Fourier transform is supported by a set of finite packing $α$-measure where $0<α<n$. It is shown that the assertion fails for $p>2n/α$. The result is applied to prove $L^p$ Wiener-Tauberian theorems for $\R^n$ and M(2).
△ Less
Submitted 14 May, 2014; v1 submitted 19 June, 2013;
originally announced June 2013.
