[논문 리뷰] The Takagi function: a survey

Pieter C. Allaart, Kiko Kawamura|arXiv (Cornell University)|2011. 10. 08.

Mathematical Dynamics and Fractals참고 문헌 55인용 수 6

한 줄 요약

이 종합적 서베이는 연속적이지만 곳곳에서 미분 가능하지 않은 함수인 타카기 함수를 철저히 검토한다. 이 함수는 $ T(x) = \sum_{n=0}^{\infty} \frac{1}{2^n} \phi(2^n x) $ 로 정의되며, 여기서 $ \phi(x) = \text{dist}(x, \mathbb{Z}) $ 이다. 이 서베이에서는 분석학, 수론, 볼록성 이론 분야에서의 역사, 성질, 응용을 종합적으로 다루며, $ \varepsilon $-중간볼록 함수에서의 최소 연속성 모듈러스로서의 역할을 확립하고, 페어레 수열을 통해 리만 가설과의 연결 고리를 밝혀낸다.

ABSTRACT

This paper sketches the history of the Takagi function T and surveys known properties of T, including its nowhere-differentiability, modulus of continuity, graphical properties and level sets. Several generalizations of the Takagi function, in as far as they are based on the "tent map", are also discussed. The final section reviews a number of applications of the Takagi function to various areas of mathematics, including number theory, combinatorics and classical real analysis.

연구 동기 및 목표

• 타카기 함수의 수학적 성질과 역사적 발전을 통합하고 종합적으로 검토하여 빈번한 재발견을 수정하는 것.
• 특히, 미분 가능하지 않은 함수와 특이 함수의 연구에서 타카기 함수가 표준적인 예로 자리 잡는 것을 확립하는 것.
• 수론, 조합론, 함수 부등식 등 다양한 분야에서의 응용을 탐색하는 것.
• $ \varepsilon $-중간볼록 함수에 대한 최소 연속성 모듈러스 $ \omega_p $ 를 특성화하여, $ p \in (0,1] $ 에 대해 $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $ 라는 식을 도출하는 것.
• 페어레 수열을 통한 타카기 함수와 리만 가설 사이의 깊은 연결 고리를 입증하는 것.

제안 방법

• 논문은 타카기 함수 $ T(x) = \sum_{n=0}^{\infty} \frac{1}{2^n} \phi(2^n x) $ 를 분석하기 위해 함수해석학과 급수 변환을 사용한다. 여기서 $ \phi(x) = \text{dist}(x, \mathbb{Z}) $ 이다.
• 데 라름이 밝혀낸 타카기 함수의 자기유사적 성질을 활용하여 재귀적이고 프랙탈 같은 성질을 유도한다.
• 수학적 귀납법과 이진 자릿수 분해를 활용하여 $ \omega_p $ 를 포함한 부등식을 증명하며, 특히 $ p \in (0,1] $ 에 대해 $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $ 를 유도한다.
• 리만 가설과의 연결 고리 분석을 위해, 논문은 페어레 수열 $ F_n $ 에서의 $ \sum_{r \in F_n} T(r) $ 를 평가하며, 5.1절에서 제시된 유리수 근사법을 활용한다.
• 이를 통해 $ \sum_{r \in F_n} T(r) $ 의 성장률을 $ \frac{1}{2}\Phi(n) $ 과 비교하여, 리만 가설과의 등가성을 확립한다. 여기서 $ \Phi(n) = \sum_{k \leq n} \varphi(k) $ 이다.
• 기존의 특이 함수와 동역학계 이론의 결과를 활용하여 타카기 함수를 레베그의 특이 함수와 혼돈적 맵과 연결한다.

실험 결과

연구 질문

• RQ1 타카기 함수가 $ \varepsilon $-중간볼록 함수에 대한 최소 연속성 모듈러스로서 정확히 어떤 역할을 하는가?
• RQ2 페어레 수열을 통한 합계적 행동을 통해 타카기 함수는 리만 가설과 어떻게 연결되어 있는가?
• RQ3 왜 타카기 함수는 반복적으로 재발견되었으며, 그 수학적 매력은 무엇 때문인가?
• RQ4 타카기 함수의 무한 도함수를 갖는 점들의 집합의 구조는 어떠한가?
• RQ5 타카기 클래스에 속하는 일반화된 타카기 함수들이 다양한 매개변수 조건에서 어떻게 행동하는가?

주요 결과

• 타카기 함수는 임의의 $ \varepsilon $-중간볼록 함수가 $ f(tx + (1-t)y) \leq t f(x) + (1-t)f(y) + \varepsilon \omega_1(t)\|x-y\| $ 를 만족시키는 최소 함수 $ \omega_1 $ 로서의 역할을 하며, 이때 $ \omega_1 = 2T $ 이다.
• $ p \in (0,1] $ 에 대해 최소 연속성 모듈러스 $ \omega_p $ 는 $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $ 로 주어지며, 이는 $ p = 1 $ 에서 형태의 불연속적 전이를 보인다.
• 리만 가설은 다음의 점근적 추정과 등가이다: $ \sum_{r \in F_n} T(r) = \frac{1}{2}\Phi(n) + O(n^{1/2 + \varepsilon}) $, 여기서 $ \varepsilon > 0 $ 이고 $ F_n $ 은 $ n $ 번째 페어레 수열이다.
• 타카기 함수의 그래프의 하우스도르프 차원은 1이다. 이는 $ h \to 0 $ 일 때 $ T(x+h) - T(x) = O(h \log(1/|h|)) $ 라는 날카로운 상한에 기인한다.
• 타카기 함수는 $ h \log(1/h) $ 차수의 볼록 리프시츠 함수이며, 이 상한은 최적임이 입증되었으며, 무르딘과 윌리엄스가 처음으로 밝히고 앤더슨과 피트가 보완하였다.
• $ \omega_p $ 는 $ p \in [1,2] $ 에 대해 실제로 $ (1,p) $-중간볼록임이 확인되어, $ \varepsilon $-중간볼록성의 맥락에서 그 최소성의 확인이 이루어진다.