[논문 리뷰] An elementary proof for the dimension of the graph of the classical Weierstrass function

Gerhard Keller|arXiv (Cornell University)|2014. 06. 13.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 9

한 줄 요약

이 논문은 고전적 위어슈트라스 함수 $ W_{\rho,b}(x) = \sum_{n=0}^{\infty} \rho^n \cos(2\pi b^n x) $의 그래프의 하우스도르프 차원이 $ \rho \in (\lambda_b, 1) $ 범위에서 $ 2 + \frac{\log \rho}{\log b} $임을 보여주는 간단한 증명을 제시한다. 이 증명은 고급의 비선형 측도 이론 대신 비탈림 증명과 반복적인 다중 척도 추정을 사용한다. 이 결과는 레드라피에르–영 차원 이론에 의존하지 않고 만델브로의 추측을 이 매개변수 범위에서 확인한다.

ABSTRACT

Let $W_{λ,b}(x)=\sum_{n=0}^\inftyλ^n g(b^n x)$ where $b\geqslant2$ is an integer and $g(u)=\cos(2πu)$ (classical Weierstrass function). Building on work by Ledrappier (1992), Baránsky, Bárány and Romanowska (2013) and Tsujii (2001), we provide an elementary proof that the Hausdorff dimension of $W_{λ,b}$ equals $2+\frac{\logλ}{\log b}$ for all $λ\in(λ_b,1)$ with a suitable $λ_b<1$. This reproduces results by Baránsky, Bárány and Romanowska without using the dimension theory for hyperbolic measures of Ledrappier and Young (1985,1988), which is replaced by a simple telescoping argument together with a recursive multi-scale estimate.

연구 동기 및 목표

• 하우스도르프 차원의 증명을 더 단순하고 접근하기 쉽게 만들며, 비선형 측도의 고급 차원 이론에 의존하지 않도록 하는 것.
• 레드라피에르–영 이론을 사용하지 않고 바라ńsk이고, 바라니, 로만옵스카의 위어슈트라스 그래프 차원 결과를 재현하는 것.
• 간단한 반복 추정과 비탈림 증명을 통해 차원 공식 $ D = 2 + \frac{\log \rho}{\log b} $ 가 $ \rho \in (\lambda_b, 1) $ 에서 성립함을 보이는 것.
• 특히 $ g(u) = \cos(2\pi u) $ 인 비선형 경우로의 전이를 직접적인 방법으로 명확히 하는 것.
• 함수 $ g(u) = \text{dist}(u, \mathbb{Z}) $ 의 경우로의 방법 확장하여, 무한한 베르누이 복합체의 절대 연속성과 위어슈트라스 그래프의 차원 문제를 연결하는 것.

제안 방법

• 비선형 측도 이론의 사용을 피하기 위해 척도 간 측도 성장의 크기를 제한하기 위해 비탈림 합 증명을 사용한다.
• 조건부 확률과 측도를 보존하는 사상에 기반하여, 그래프 사영선이 특정 구간에 있을 경우의 집합의 측도를 제어하기 위해 반복적인 다중 척도 추정을 사용한다.
• 핵심 추정은 무한한 베르누이 복합체의 조건부 밀도 $ h_x $ 와 부드러운 커널과의 컨볼루션을 사용하여 $ \Theta_z(\xi,x) \in \mathbb{L}_x $ 인 집합의 측도를 제한하는 데 있다.
• 중첩된 집합 $ G_{r,k}(z) $ 와 그 변환 $ \Theta_{z,k} $ 에 대한 원상의 측도를 추정하며, $ \gamma = 1/(b\rho) < 1 $ 인 반복적 상한을 사용한다.
• 핵심 단계는 척도 $ k $ 에서의 측도를 척도 $ k-1 $ 에서의 측도와 연결하는 부등식 $ m^2\{ \cdots \} \leq r^{-2\delta} \cdot 4R_{k,3}\gamma^{d_k} \cdot m^2\{ \cdots \} $ 의 사용이다.
• 증명은 측도의 척도 간 감쇠를 제어하기 위해 츠지우의 교차성 추정과 바라ńsk이고 등의 수치적 경계를 활용하며, 이는 차원 공식이 성립함을 보장한다.

실험 결과

연구 질문

• RQ1 비선형 측도 이론의 전체 장비를 동원하지 않고, 간단한 방법으로 위어슈트라스 함수 그래프의 하우스도르프 차원이 $ 2 + \frac{\log \rho}{\log b} $ 임을 증명할 수 있는가?
• RQ2 함수 $ g(u) = \text{dist}(u, \mathbb{Z}) $ 의 조각별 선형 케이스에서 $ g(u) = \cos(2\pi u) $ 의 비선형 케이스로의 전이를 직접적이고 개념적으로 어떻게 수행할 수 있는가?
• RQ3 무한한 베르누이 복합체의 절대 연속성이 위어슈트라스 그래프의 차원을 결정하는 데 어떤 역할을 하는가?
• RQ4 다이나믹 시스템과 불변 측도를 사용하지 않고, 반복 추정과 비탈림 증명을 통해 $ \rho \in (\lambda_b, 1) $ 에서의 차원 결과를 확립할 수 있는가?
• RQ5 츠지우의 교차성 추정과 바라ńsk이고 등의 수치적 경계가 간단한 측도 이론 기법과 어떻게 결합되어 차원 공식을 도출하는가?

주요 결과

• 모든 $ \rho \in (\lambda_b, 1) $ 에 대해 $ W_{\rho,b} $ 의 그래프의 하우스도르프 차원은 $ 2 + \frac{\log \rho}{\log b} $ 임을 간단한 방법으로 확인하였다. 여기서 $ \lambda_b $ 는 $ b $ 에 따라 달라지는 임계값이다.
• 레드라피에르–영 비선형 측도의 차원 이론을 사용하지 않고, 비탈림 증명과 반복적인 다중 척도 측도 추정으로 대체하였다.
• 특히 $ b=2 $ 인 경우, 매개변수 $ \gamma = 1/(2\rho) $ 를 가진 무한한 베르누이 복합체가 $ L^2 $ 밀도를 가진다면 결과가 성립하며, 이 조건은 $ \rho \in (1/2, 1) $ 에서 르베그 거의 모든 점에서 만족된다.
• 이 방법은 조각별 선형과 비선형 케이스 $ g(u) $ 간의 개념적 다리를 놓으며, 차원이 관련된 베르누이 복합체의 절대 연속성에 따라 달라짐을 보여준다.
• 측도 감쇠를 척도 간 제어하기 위해 핵심적인 반복 추정 $ m^2\{ \cdots \} \leq r^{-2\delta} \cdot 4R_{k,3}\gamma^{d_k} \cdot m^2\{ \cdots \} $ 이 사용된다.
• 최종 경계 $ m^2\{ (\xi,x) \in \mathbb{I}^2 \setminus E_r : \Theta_z(\xi,x) \in \mathbb{L}_x \} \leq \text{const} \cdot r^{1-2\eta} |z|^{-(1-\eta)} $ 는 필요한 조건 하에서 차원 공식이 성립함을 확인한다.