[논문 리뷰] Lipschitz invariance of walk dimension on connected self-similar sets

Hui Rao, Qingsong Gu|arXiv (Cornell University)|2016. 09. 14.

Mathematical Dynamics and Fractals참고 문헌 12인용 수 3

한 줄 요약

이 논문은 연결된 자기유사 집합에 아르플로르스 정규 측도가 부여된 경우, 베졸 공간의 임계 지수를 통해 정의된 워크 차원이 비-리프시츠 변환에 대해 불변임을 증명한다. 저자들은 임계 지수 β* 가 비-리프시츠 사상 하에서도 유지됨을 보여, 서로 다른 β* 값을 가진 일반화된 시어핀스키 원판들이 리프시츠 동치일 수 없음을 입증함으로써, 이러한 분수형을 구별하는 데 새로운 불변량을 제공한다.

ABSTRACT

Walk dimension is an important conception in analysis of fractals. In this paper we prove that the walk dimension of a connected compact set possessing an Alfors regular measure is an invariant under Lipschitz transforms. As an application, we show some generalized Sierpiński gaskets are not Lipschitz equivalent.

연구 동기 및 목표

• 베졸 공간의 임계 지수 β* 를 이용하여 연결 자기유사 분수형에 대한 새로운 리프시츠 불변량을 확립하기.
• 아르플로르스 정규 메트릭 측도 공간에서 β* 가 비-리프시츠 변환 하에서도 변화하지 않음을 증명하기.
• 이 불변량을 적용하여 서로 다른 워크 차원을 가진 일반화된 시어핀스키 원판들이 리프시츠 동치가 아님을 보여주기.
• 열핵 추정과 딜리클레 형식을 통해 임계 지수 β* 와 워크 차원 간의 관계를 연결하기.
• 비-리프시츠 동치가 아닌 연결 자기유사 집합을 구별하는 방법을 제공하기.

제안 방법

• 국소 L2 진동을 측정하는 함수형 Wσ,M(u) 를 정의하여 베졸 유사 공간 Wσ,2(M,d,μ) 를 구성하기.
• Wσ,2 가 비정상 함수를 포함하는 최대 σ 에 대해 임계 지수 β* 를 정의하기.
• 부피 두 배 조건과 파oincaré 유사 부등식의 비-리프시츠 불변성을 이용하여 β* 가 비-리프시츠 사상 하에서도 유지됨을 보여주기.
• 그리고리야, 후, 루오 (2015)의 조건을 만족하는 열핵 추정을 통해 β* 와 워크 차원 β 간의 동치성을 확립하기.
• 저항 스케일링 상수를 유도하기 위해 딜리클레 형식과 (Δ-Y)-변환을 사용하여 일반화된 시어핀스키 원판의 β* 를 계산하기.
• 열핵이 정리 3.1에서 요구하는 이중 추정을 만족함을 검증하여 β = β* 를 확인하기.

실험 결과

연구 질문

• RQ1 아르플로르스 정규 메트릭 측도 공간에서 베졸 공간의 임계 지수 β* 는 비-리프시츠 변환에 대해 불변인가?
• RQ2 β* 는 비-리프시츠 동치가 아닌 자기유사 집합을 구별하는 데 리프시츠 불변량으로 기능할 수 있는가?
• RQ3 열핵이 일정 조건을 만족할 경우 워크 차원 β 는 β* 와 일치하는가?
• RQ4 다른 β* 값을 가진 일반화된 시어핀스키 원판들은 반드시 리프시츠 동치가 아닐까?
• RQ5 자기유사 분수형에서 딜리클레 형식과 열핵 추정을 통해 워크 차원을 계산할 수 있는가?

주요 결과

• 임계 지수 β* 는 연결된 아르플로르스 정규 자기유사 집합에서 비-리프시츠 사상 하에서도 불변이다.
• 열핵이 정리 3.1의 조건을 만족할 경우, 워크 차원 β 는 β* 와 같다.
• 시어핀스키 원판 K1 에서는 β* = α + log(5/3)/log(2) ≈ α + 0.737 이다.
• 일반화된 원판 K2 에서는 β* = α + log(295/63)/log(8) ≈ α + 0.868 이다.
• IFS의 복합으로 만들어진 K3 와 K4 에서는 β* = α + log(1475/189)/log(16) ≈ α + 0.868 이며, K2 와 동일하지만 K1 과는 다름을 보인다.
• K1 은 β* 값이 다름으로 인해 K2, K3, K4 와 리프시츠 동치가 아니며, K3 와 K4 는 β* 가 동일하여 이로선 구별되지 않으며, 리프시츠 동치일 수 있다.