Distributions singulières, dimension du support et symétrie de la transformation de Fourier (Q462789): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Alexander Olevskiĭ / rank | |||
Normal rank | |||
Property / review text | |||
A theorem of Frostman characterises the Hausdorff dimension, dim \(K\), of a compact subset \(K\) of the circle \(\mathbb{T}\) in terms of measures supported in \(K\). In Fourier analytic terms, the result says that \(\text{dim}K\) is the supremum of all \(\alpha\) such that there is a measure \(\mu\) supported in \(K\) with \(\Sigma_{n\in \mathbb{Z}} \frac{|\hat{\mu}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\). Beurling proved the following theorem showing that the measures in Frostman's result may be replaced by (Schwartz) distributions: For \(0<\alpha \leq 1\), if there is a distribution \(S\) with support in \(K\) such that \(\Sigma_{n\in \mathbb{Z}} \frac{|\hat{S}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\), then dim \(K \geq \alpha\). One of the main results of the current paper is the strengthening of this theorem, showing that it is sufficient to assume a one-sided estimate for \(\hat{S}\): If there is a distribution \(S\) with support in \(K\) such that \(\Sigma_{n<0} \frac{|\hat{S}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\), then \(\text{dim}K \geq \alpha\). In an earlier work, the authors have proved the following remarkable result: there is a nontrivial singular pseudo-function \(S\) such that \(\hat S\in \ell^2(\mathbb{Z}_{-})\). (Recall that \(S\) is singular means \(\hat S(n) = 0\) for \(n\geq 0\) and that \(S\) is a pseudo-function means \(\lim_{|n|\rightarrow \infty} \hat S(n) = 0\).) The second important result of the paper is on the size of the support of \(S\) in this result: there is a nontrivial singular pseudo-function \(S\) such that \(\hat S\in \ell^2(\mathbb{Z}_{-})\) supported on a compact set of finite \(t \log 1/t\)-Hausdorff measure (and this is the critical value). The final result shows the possibility of certain non-symmetry. It involves the Fourier dimension: \(\text{dim}_F(K):= \sup \alpha\), the supremum being taken over all \(\alpha\) for which there is a positive measure \(\mu\) supported in \(K\) with \(|\hat{\mu}(n)|^2 = O(1/n^{\alpha})\). Here is the result: let \(\text{dim}_F(K)=d>0\). Then for every \(p>2/d\), there is a complex measure \(\nu \in M(K)\) such that \(\hat{\nu}\in \ell^p(\mathbb{Z}_{-})\) and \(\hat{\nu}\notin \ell^p(\mathbb{Z}_{+})\). Many open questions are raised at appropriate places in the paper. | |||
Property / review text: A theorem of Frostman characterises the Hausdorff dimension, dim \(K\), of a compact subset \(K\) of the circle \(\mathbb{T}\) in terms of measures supported in \(K\). In Fourier analytic terms, the result says that \(\text{dim}K\) is the supremum of all \(\alpha\) such that there is a measure \(\mu\) supported in \(K\) with \(\Sigma_{n\in \mathbb{Z}} \frac{|\hat{\mu}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\). Beurling proved the following theorem showing that the measures in Frostman's result may be replaced by (Schwartz) distributions: For \(0<\alpha \leq 1\), if there is a distribution \(S\) with support in \(K\) such that \(\Sigma_{n\in \mathbb{Z}} \frac{|\hat{S}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\), then dim \(K \geq \alpha\). One of the main results of the current paper is the strengthening of this theorem, showing that it is sufficient to assume a one-sided estimate for \(\hat{S}\): If there is a distribution \(S\) with support in \(K\) such that \(\Sigma_{n<0} \frac{|\hat{S}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\), then \(\text{dim}K \geq \alpha\). In an earlier work, the authors have proved the following remarkable result: there is a nontrivial singular pseudo-function \(S\) such that \(\hat S\in \ell^2(\mathbb{Z}_{-})\). (Recall that \(S\) is singular means \(\hat S(n) = 0\) for \(n\geq 0\) and that \(S\) is a pseudo-function means \(\lim_{|n|\rightarrow \infty} \hat S(n) = 0\).) The second important result of the paper is on the size of the support of \(S\) in this result: there is a nontrivial singular pseudo-function \(S\) such that \(\hat S\in \ell^2(\mathbb{Z}_{-})\) supported on a compact set of finite \(t \log 1/t\)-Hausdorff measure (and this is the critical value). The final result shows the possibility of certain non-symmetry. It involves the Fourier dimension: \(\text{dim}_F(K):= \sup \alpha\), the supremum being taken over all \(\alpha\) for which there is a positive measure \(\mu\) supported in \(K\) with \(|\hat{\mu}(n)|^2 = O(1/n^{\alpha})\). Here is the result: let \(\text{dim}_F(K)=d>0\). Then for every \(p>2/d\), there is a complex measure \(\nu \in M(K)\) such that \(\hat{\nu}\in \ell^p(\mathbb{Z}_{-})\) and \(\hat{\nu}\notin \ell^p(\mathbb{Z}_{+})\). Many open questions are raised at appropriate places in the paper. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Krishnan Parthasarathy / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42A38 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42A50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42A63 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42A20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A78 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A80 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6359587 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fourier transform | |||
Property / zbMATH Keywords: Fourier transform / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Schwartz distribution | |||
Property / zbMATH Keywords: Schwartz distribution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fourier coefficients | |||
Property / zbMATH Keywords: Fourier coefficients / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hausdorff dimension | |||
Property / zbMATH Keywords: Hausdorff dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular distribution | |||
Property / zbMATH Keywords: singular distribution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pseudo-function | |||
Property / zbMATH Keywords: pseudo-function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frostman's theorem | |||
Property / zbMATH Keywords: Frostman's theorem / rank | |||
Normal rank |
Revision as of 14:13, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Distributions singulières, dimension du support et symétrie de la transformation de Fourier |
scientific article |
Statements
Distributions singulières, dimension du support et symétrie de la transformation de Fourier (English)
0 references
21 October 2014
0 references
A theorem of Frostman characterises the Hausdorff dimension, dim \(K\), of a compact subset \(K\) of the circle \(\mathbb{T}\) in terms of measures supported in \(K\). In Fourier analytic terms, the result says that \(\text{dim}K\) is the supremum of all \(\alpha\) such that there is a measure \(\mu\) supported in \(K\) with \(\Sigma_{n\in \mathbb{Z}} \frac{|\hat{\mu}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\). Beurling proved the following theorem showing that the measures in Frostman's result may be replaced by (Schwartz) distributions: For \(0<\alpha \leq 1\), if there is a distribution \(S\) with support in \(K\) such that \(\Sigma_{n\in \mathbb{Z}} \frac{|\hat{S}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\), then dim \(K \geq \alpha\). One of the main results of the current paper is the strengthening of this theorem, showing that it is sufficient to assume a one-sided estimate for \(\hat{S}\): If there is a distribution \(S\) with support in \(K\) such that \(\Sigma_{n<0} \frac{|\hat{S}(n)|^2}{(1+|n|^{1-\alpha})}<\infty\), then \(\text{dim}K \geq \alpha\). In an earlier work, the authors have proved the following remarkable result: there is a nontrivial singular pseudo-function \(S\) such that \(\hat S\in \ell^2(\mathbb{Z}_{-})\). (Recall that \(S\) is singular means \(\hat S(n) = 0\) for \(n\geq 0\) and that \(S\) is a pseudo-function means \(\lim_{|n|\rightarrow \infty} \hat S(n) = 0\).) The second important result of the paper is on the size of the support of \(S\) in this result: there is a nontrivial singular pseudo-function \(S\) such that \(\hat S\in \ell^2(\mathbb{Z}_{-})\) supported on a compact set of finite \(t \log 1/t\)-Hausdorff measure (and this is the critical value). The final result shows the possibility of certain non-symmetry. It involves the Fourier dimension: \(\text{dim}_F(K):= \sup \alpha\), the supremum being taken over all \(\alpha\) for which there is a positive measure \(\mu\) supported in \(K\) with \(|\hat{\mu}(n)|^2 = O(1/n^{\alpha})\). Here is the result: let \(\text{dim}_F(K)=d>0\). Then for every \(p>2/d\), there is a complex measure \(\nu \in M(K)\) such that \(\hat{\nu}\in \ell^p(\mathbb{Z}_{-})\) and \(\hat{\nu}\notin \ell^p(\mathbb{Z}_{+})\). Many open questions are raised at appropriate places in the paper.
0 references
Fourier transform
0 references
Schwartz distribution
0 references
Fourier coefficients
0 references
Hausdorff dimension
0 references
singular distribution
0 references
pseudo-function
0 references
Frostman's theorem
0 references