[논문 리뷰] On a problem by R. Salem concerning Minkowski's question mark function

Tomas Persson|arXiv (Cornell University)|2015. 01. 05.

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 민코프스키의 질문 표지 함수와 관련된 스티엘티제스 측도의 푸리에 변환이 무한대에서 0으로 감쇠하는가?
• RQ2 이 측도의 푸리에 계수의 감쇠 속도는 무엇인가?
• RQ3 측도의 기하적 성질, 예를 들어 하우스도르프 차원을 통해 감쇠 행동을 유추할 수 있는가?
• RQ4 양의 하우스도르프 차원을 갖는 측도에 대해 다항식 감쇠를 암시하는 알려진 정리가 존재하는가?
• RQ5 왜 이 결과는 Salem 문제의 맥락에서 이전에 인지되지 않았는가?

주요 결과

• 민코프스키의 질문 표지 함수와 관련된 스티엘티제스 측도 μ의 푸리에 변환은 |ξ| → ∞일 때 0으로 감쇠된다.
• 감쇠는 다항식적이다: Jordan과 Sahlsten의 정리에 의해 |μ̂(ξ)| = O(|ξ|⁻ᵝ) (어느 β > 0) 라고 확립됨.
• μ의 하우스도르프 차원은 1/2보다 크며, 이는 다항식 감쇠 결과를 유도하는 데 충분하다.
• 측도 μ는 가우스 사상 G(x) = 1/x mod 1에서 유래하는 깁스 측도이며, μ(Iₖ) = 2⁻ᵏ를 만족함.
• 이 결과는 Jordan과 Sahlsten의 2013년 논문에 암묵적으로 포함되어 있었지만, 이 노트 이전까지는 Salem 문제와의 직접적 연결이 이루어지지 않았다.
• 저자는 이 문제가 자신의 인지 이전에 이미 해결되어 있었음을 확인하였으며, 자신의 노트(2015년 1월 1일) 이래로 arXiv에 2015년 1월 5일에 다른 해법이 게재된 바가 있음을 밝힘.