[論文レビュー] On a problem by R. Salem concerning Minkowski's question mark function

Tomas Persson|arXiv (Cornell University)|Jan 5, 2015

Mathematical Dynamics and Fractals参考文献 5被引用数 5

ひとこと要約

この論文は、1943年にR. Salemが提起した、ミンコフスキーの質問符関数のフーリエ減衰に関する長年の未解決問題を解決する。ジョーダンとサハルステンによる、正のハウスドルフ次元をもつギブズ測度のフーリエ減衰に関する最近の結果を活用することで、関連するストイリツェス測度のフーリエ変換が無限大において多項式的に減衰することを示している。

ABSTRACT

Minkowski's question mark function is strictly increasing on $[0, 1]$ and hence defines a Stieltjes measure on $[0, 1]$. A problem originating from Salem in 1943, is to determine whether the Fourier series of this measure decay to zero or not. The purpose of this note is to mention that a recent result by Jordan and Sahlsten implies that the Fourier transform decays to zero with a polynomial speed.

研究の動機と目的

• ミンコフスキーの質問符関数のフーリエ級数がゼロに減衰するかどうかという、R. Salemの未解決の問いに応えること。
• 関数によって誘導されるストイリツェス測度のフーリエ変換の減衰速度を特定すること。
• 問題を測度のハウスドルフ次元に関連づけ、フラクタル調和解析からの既知の結果を適用すること。
• 測度の正のハウスドルフ次元が非自明なフーリエ減衰を意味することを示すこと。
• この問題は、以前のジョーダンとサハルステンの研究によって既に解決されていたが、この文脈では認識されていなかったことの明確化。

提案手法

• 連分数を用いたミンコフスキーの質問符関数の特徴づけと、[0,1] 上の関連する測度 μ を用いる。
• μ のハウスドルフ次元が 1/2 より大きいこと、これは μ に関する log₂(1+x) の積分から導かれる、という既知の結果を適用する。
• ジョーダンとサハルステンの定理（2013年）に依拠する。この定理は、ハウスドルフ次元 > 1/2 をもつ区間上のギブズ測度に対して、フーリエ変換が多項式的に減衰することを述べている。
• μ が G-不変なバーナウリ測度であり、区間 Iₖ = (1/(k+1), 1/k] に対して μ(Iₖ) = 2⁻ᵏ を満たすため、定理の条件を満たしていることを示す。
• フーリエ変換が |μ̂(ξ)| = O(|ξ|⁻ᵝ) （|ξ| → ∞）を満たし、ある β > 0 が存在することを結論づける。
• 測度 μ が特異連続的かつ厳密に増加的であることから、[0,1] 上の適切に定義されたボレル確率測度を定義することを用いる。

実験結果

リサーチクエスチョン

• RQ1 ミンコフスキーの質問符関数に関連するストイリツェス測度のフーリエ変換は、無限大でゼロに減衰するか？
• RQ2 この測度のフーリエ係数の減衰速度は何か？
• RQ3 減衰の性質は、ハウスドルフ次元のような測度の幾何的性質から推論可能か？
• RQ4 正のハウスドルフ次元をもつ測度に対して多項式的減衰を示す既知の定理はあるか？
• RQ5 なぜこの結果は、Salemの問題の文脈では以前に認識されていなかったのか？

主な発見

• ミンコフスキーの質問符関数に関連するストイリツェス測度 μ のフーリエ変換は、|ξ| → ∞ のときゼロに減衰する。
• 減衰は多項式的である：ジョーダンとサハルステンの定理により、|μ̂(ξ)| = O(|ξ|⁻ᵝ) （ある β > 0）が成立する。
• μ のハウスドルフ次元は 1/2 より大きい。これは多項式的減衰結果を引き起こすのに十分である。
• 測度 μ は、ガウス写像 G(x) = 1/x mod 1 から生じるギブズ測度であり、μ(Iₖ) = 2⁻ᵏ を満たす。
• この結果は、ジョーダンとサハルステンの2013年の論文に暗黙的には含まれていたが、このノートの発表まで、Salemの問題との明確な関連づけはなされていなかった。
• 著者は、この問題は自身の認識以前に解決済みであり、自身のノート（2015年1月1日）の翌日、2015年1月5日にarXivに別解が掲載されたことを確認している。