[논문 리뷰] On the distribution of the cardinalities of level sets of the Takagi function

Pieter C. Allaart|arXiv (Cornell University)|2011. 07. 04.

Mathematical Approximation and Integration참고 문헌 10인용 수 5

한 줄 요약

이 논문은 타카기의 미분 불가능 함수의 수준 집합의 기수 분포를 조사하며, 가장 흔한 유한 기수는 2이며, 기수 2인 수준 집합의 르베그 측도는 5/12에서 35/72 사이임을 보여준다. 함수의 자기유사성에서 유도된 집합 방정식 시스템을 통해 수준 집합을 특성화하고, T(x) = y를 푸는 반복 알고리즘을 제시하며, 모든 양의 짝수 정수가 수준 집합 기수로 나타남을 증명하고, 특정 조건 하에 이러한 집합의 양의 측도를 확립한다.

ABSTRACT

Let T be Takagi's continuous but nowhere-differentiable function. It is known that almost all level sets (with respect to Lebesgue measure on the range of T) are finite. We show that the most common cardinality of the level sets of T is two, and investigate in detail the set of ordinates y such that the level set at level y has precisely two elements. As a by-product, we obtain a simple iterative procedure for solving the equation T(x)=y. We show further that any positive even integer occurs as the cardinality of some level set, and investigate which cardinalities occur with positive probability if an ordinate y is chosen at random from the range of T. The key to the results is a system of set equations for the level sets, which are derived from the partial self-similarity of T. These set equations yield a system of linear relationships between the cardinalities of level sets at various levels, from which all the results of this paper flow.

연구 동기 및 목표

• 타카기 함수의 유한 기수 분포를 이해하는 것.
• 수준 집합 L(y)이 정확히 두 개의 원소를 갖는 순서수 y의 집합을 특성화하는 것.
• 어느 양의 짝수 정수가 타카기 함수의 수준 집합 기수로 나타나는지, 그리고 그 기수에 대한 측도는 무엇인지 결정하는 것.
• 자기유사성 구조를 이용한 T(x) = y를 풀기 위한 체계적 방법을 개발하는 것.

제안 방법

• 타카기 함수의 함수방정식과 부분적인 자기유사성에서 유도된 집합 방정식 시스템을 유도한다.
• 함수방정식 T(x) = (1/2)T(2x) + φ(2x)를 사용하여 서로 다른 척도에서의 수준 집합을 연결한다.
• y ∈ I_k 인 경우에 대해 맵핑 Ψ(y) = 4(y - t_k)를 적용하여 척도 간 수준 집합 구조를 전파한다.
• 타카기 전개를 활용하여 T(x) = y를 푸는 반복 알고리즘을 구성한다.
• 측도 이론적 추정과 간격 포함을 사용하여 S_{2n}의 르베그 측도를 근사한다.
• 재귀적 분석과 애핀 변환을 조합하여 n이 2의 거듭제곱이거나 두 개의 2의 거듭제곱의 합 또는 차일 경우 S_{2n}의 양의 측도를 증명한다.

실험 결과

연구 질문

• RQ1 타카기 함수의 수준 집합에서 가장 흔한 유한 기수는 무엇인가요?
• RQ2 L(y)의 기수가 정확히 2인 y ∈ [0, 2/3]의 집합의 르베그 측도는 얼마인가요?
• RQ3 어느 양의 짝수 정수가 타카기 함수의 수준 집합 기수로 나타나나요?
• RQ4 어느 짝수 정수 2n에 대해 집합 {y : |L(y)| = 2n}의 르베그 측도가 양인가요?
• RQ5 자기유사성 구조를 이용하여 T(x) = y를 푸는 반복 절차를 유도할 수 있나요?

주요 결과

• 타카기 함수의 수준 집합에서 가장 흔한 유한 기수는 2이며, 르베그 측도는 5/12 ≈ 0.4167에서 35/72 ≈ 0.4861 사이이다.
• 기수 |L(y)| = 2인 순서수 y의 집합 S_2는 5/8 = 0.625보다 크고 35/48 ≈ 0.729보다 작으며, 범위에 대한 균일 측도 하에서 기수 2가 가장 확률 높은 유한 기수임을 의미한다.
• 모든 양의 짝수 정수가 타카기 함수의 어떤 수준 집합의 기수로 나타나며, 각 짝수 기수에 대해 비가산 수의 수준 집합이 존재한다.
• n이 2의 거듭제곱이거나 두 개의 2의 거듭제곱의 합 또는 차일 경우 S_{2n}의 르베그 측도는 양이며, 이는 모든 n에 대해 증명된 것은 아니다.
• T(x) = y를 풀기 위한 단순한 반복 알고리즘을 가능하게 하는 타카기 전개가 도입되었으며, 라자리우스와 매덕의 국소 수준 집합과의 관련성이 있다.
• 자기유사성에서 유도된 집합 방정식 시스템은 서로 다른 수준에서의 기수 간 선형 관계를 제공하며, 본 논문의 모든 결과의 기초를 이룬다.