[논문 리뷰] Tangential dimensions II. Measures

Daniele Guido, Tommaso Isola|ArXiv.org|2004. 05. 10.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 5

한 줄 요약

이 논문은 체적 두배 조건 하에서 체적의 국소 차원을 갖는 탄성 측도의 국소 진동을 탐지하기 위한 도구로 $ℝ^N$ 상의 측도에 대한 탄성 차원을 도입한다. 상한 및 하한 탄성 차원은 탄성 측도의 국소 차원의 상한 및 하한으로 정의되며, 주요 기여는 이러한 차원이 다중분포 진동을 정확히 포착하고, 이는 국소 차원이 수렴하지 않을 경우에도 성립함을 보여준다. 특히 이론적 기하학적 차원과 비가환 기하학적 차원과 일치함을 입증한다.

ABSTRACT

Notions of (pointwise) tangential dimension are considered, for measures of R^n. Under regularity conditions (volume doubling), the upper resp. lower dimension at a point x of a measure can be defined as the supremum, resp. infimum, of local dimensions of the measures tangent to the given measure at x. Our main purpose is that of introducing a tool which is very sensitive to the "multifractal behaviour at a point" of a measure, namely which is able to detect the "oscillations" of the dimension at a given point, even when the local dimension exists, namely local upper and lower dimensions coincide. These definitions are tested on a class of fractals, which we call translation fractals, where they can be explicitly calculated for the canonical limit measure. In these cases the tangential dimensions of the limit measure coincide with the metric tangential dimensions of the fractal defined in math.FA/0305091, and they are constant, i.e. do not depend on the point. However, upper and lower dimensions may differ. Moreover, on these fractals, these quantities coincide with their noncommutative analogues, defined in math.OA/0202108 and math.OA/0404295, in the framework of Alain Connes' noncommutative geometry.

연구 동기 및 목표

• 측도의 프랙탈 행동에서 국소 진동에 민감한 차원 이론을 개발함. 특히 국소 차원이 수렴하지 않을 경우를 대비하여.
• 측도의 한 점에서의 상한 및 하한 탄성 차원을 탄성 측도의 국소 차원의 상한 및 하한으로 정의함.
• 측도의 탄성 차원이 기저 메트릭 공간의 차원과 비가환 기하학적 대응체와 일치하는 조건을 설정함.
• 체적 두배 조건 하에서 이론적 프랙탈의 기본 극한 측도에 대해 이러한 차원을 명시적으로 계산함. 이 경우 탄성 차원은 점에 따라 일정하며, 알려진 기하학적 및 스펙트럼 불변량과 일치함.

제안 방법

• 중첩된 구의 측도 질량에 대한 반복 로그 비율을 통해 상한 및 하한 탄성 차원을 정의함: $\underline{\delta}_{\mu}(x) = \liminf_{\lambda\to 0} \liminf_{r\to 0} \frac{\log(\mu(B(x,r))/\mu(B(x,\lambda r)))}{\log 1/\lambda}$.
• 함수 $f(t) = -\log \mu(B(x,e^{-t}))$ 를 도입하고, 차분 $g(t,h) = f(t+h) - f(t)$ 를 통해 탄성 차원을 재구성함으로써 渐近 성장률 분석이 가능하도록 함.
• 체적 두배 조건 하에서 탄성 차원이 탄성 측도의 국소 차원과 등가임을 입증함.
• 오픈 집합 조건을 만족하는 자기유사 집합인 이동 프랙탈의 프레임워크를 사용함. 이 경우 기본 극한 측도는 필요한 정규성 조건을 만족하므로 명시적 계산이 가능함.
• 비가환 기하학의 스펙트럼 트리플 불변량과 탄성 차원을 연결함. [5,6]의 결과와 완전히 일치함을 보여줌.
• 측도 질량 $P_n$ 과 수준 $n$ 에서의 척도 $\Lambda_n$ 을 나타내는 수열 $P_n$ 과 $\Lambda_n$ 에 대한 渐近 분석을 적용함. 상한 및 하한 국소 차원은 $\log P_n / \log 1/\Lambda_n$ 의 liminf/limsup 로 표현됨.

실험 결과

연구 질문

• RQ1 측도의 국소 차원이 존재하더라도 탄성 차원이 국소 진동 행동을 탐지할 수 있는가?
• RQ2 측도의 탄성 차원이 기저 메트릭 공간의 차원과 일치하는 조건은 무엇인가?
• RQ3 이동 프랙탈의 기본 극한 측도에 대해 탄성 차원이 비가환 기하학적 대응체와 일치하는가?
• RQ4 측도의 탄성 차원과 그 탄성 측도의 국소 차원 사이의 정확한 관계는 무엇인가?
• RQ5 탄성 차원은 이동 프랙탈에서 어떻게 행동하는가? 그리고 점들 사이에서 일정한가?

주요 결과

• 오픈 집합 조건을 만족하는 이동 프랙탈에서는 기본 극한 측도의 탄성 차원이 모든 점에서 일정하며, 프랙탈의 메트릭 탄성 차원과 일치함.
• 측도의 상한 및 하한 탄성 차원은 서로 다를 수 있으며, 이는 국소 차원의 진동 행동을 반영함.
• 이동 프랙탈의 경우 탄성 차원은 [5,6]에서 스펙트럼 트리플을 통해 계산된 비가환 탄성 차원과 일치함. 이는 기하학적 분석과 비가환 분석 사이의 다리를 놓음.
• 체적 두배 조건 하에서 측도의 상한 및 하한 탄성 차원은 그 탄성 측도의 국소 차원의 상한 및 하한과 등가임.
• 국소 차원 $\underline{d}_\mu(x)$ 와 $\overline{d}_\mu(x)$ 는 각각 $\liminf_{n\to\infty} \frac{\log P_n}{\log 1/\Lambda_n}$ 과 $\limsup_{n\to\infty} \frac{\log P_n}{\log 1/\Lambda_n}$ 으로 주어지며, 여기서 $P_n$ 은 척도 $\Lambda_n$ 에서의 측도 질량임.
• 하우스도르프 차원 $d_H(F)$ 는 $\liminf(\log P_n - d_H(F) \log 1/\Lambda_n)$ 이 유한할 때에만 $\underline{d}_\mu(x)$ 와 일치함. 이는 탄성 차원이 비자명한 하우스도르프 측도의 존재와 연결됨.