[논문 리뷰] Dirichlet Forms on Laakso and Barlow-Evans Fractals of Arbitrary Dimension

Benjamin Steinhurst|ArXiv.org|2008. 11. 10.

advanced mathematical theories참고 문헌 31인용 수 7

한 줄 요약

이 논문은 라크소 프랙탈에서 최소 일반화된 상한 기울기로부터 유도된 딜리클레 형식과 바르로우-에반스의 베르미큘레이티드 공간 방법에 의해 구성된 마르코프 과정 사이의 직접적 대응 관계를 확립한다. 두 구성 방식이 동일한 딜리클레 형식과 관련된 자기수반 연산자를 도출한다는 것을 보여줌으로써, 임의의 하우스도르프 차원을 가진 프랙탈에 대한 분석에서 해석학적 접근과 확률론적 접근을 통합한다.

ABSTRACT

In this paper we explore two constructions of the same family of metric measure spaces. The first construction was introduced by Laakso in 2000 where he used it as an example that Poincaré inequalities can hold on spaces of arbitrary Hausdorff dimension. This was proved using minimal generalized upper gradients. Following Cheeger's work these upper gradients can be used to define a Sobolev space. We show that this leads to a Dirichlet form. The second construction was introduced by Barlow and Evans in 2004 as a way of producing exotic spaces along with Markov processes from simpler spaces and processes. We show that for the correct base process in the Barlow Evans construction that this Markov process corresponds to the Dirichlet form derived from the minimal generalized upper gradients.

연구 동기 및 목표

• 라크소 프랙탈에서 최소 일반화된 상한 기울기로부터 유도된 분석적 딜리클레 형식과 바르로우-에반스 구성에 의한 확률론적 마르코프 과정 사이의 연결 고리를 설정하는 것.
• 라크소의 메트릭 측도 공간 구성에서 유도된 딜리클레 형식이 대칭 마르코프 과정과 대응함을 보여주는 것.
• 기본 과정으로 단위 구간에서의 표준 브라운 운동을 사용할 때, 최소 상한 기울기 딜리클레 형식과 관련된 자기수반 연산자가 바르로우-에반스 과정의 생성자와 일치함을 보여주는 것.
• 라크소 공간에서의 딜리클레 형식이 근사하는 양자 그래프에서의 딜리클레 형식들의 극한으로서 실현될 수 있음을 보여주는 것.
• 임의의 하우스도르프 차원을 가진 프랙탈에 대한 분석을 연구하는 데 있어 해석학적 및 확률론적 프레임워크를 통합하는 것.

제안 방법

• 카르탕 집합과 매개변수 수열을 사용하여 셀 기반의 재귀적 방법으로 라크소 프랙탈을 구성함으로써 임의의 하우스도르프 차원을 달성하는 것.
• 밀도가 보장된 부분집합 𝒢에서 함수에 대해 L² 노름과 에너지 적분을 사용하여 최소 일반화된 상한 기울기로 딜리클레 형식을 정의하는 것.
• 함수해석학적 연산을 적용하여 자기수반 생성자 𝒜에 대해 𝒟(𝒜) = ‖√(−𝒜)f‖²로 딜리클레 형식 𝒟(𝒜)을 정의하는 것.
• 바르로우-에반스 구성에 의해 기저 과정으로 단위 구간에서의 표준 브라운 운동을 사용하여 마르코프 과정을 생성하는 것.
• 해결자 연산자 U∞λ(𝒢)가 생성자의 정의역 내에서 밀집하는 부분집합을 형성함을 보여주어 정의역 간 비교를 가능하게 하는 것.
• 공통된 밀집 부분집합 𝒢에서의 일致성과 연속성에 의한 확장으로 두 딜리클레 형식의 등가성을 증명하는 것.

실험 결과

연구 질문

• RQ1 라크소 프랙탈에서 최소 일반화된 상한 기울기로부터 유도된 딜리클레 형식은 바르로우-에반스 구성에 의한 마르코프 과정과 연결될 수 있는가?
• RQ2 단위 구간에서의 표준 브라운 운동을 기저 과정으로 사용할 때 바르로우-에반스 구성은 라크소 딜리클레 형식과 대응하는 대칭 마르코프 과정을 생성하는가?
• RQ3 최소 상한 기울기 딜리클레 형식과 관련된 자기수반 연산자는 바르로우-에반스 과정의 생성자와 동일한가?
• RQ4 라크소 프랙탈은 양자 그래프의 프로젝티브 극한으로서 실현될 수 있으며, 이는 관련된 딜리클레 형식의 수렴을 초래하는가?
• RQ5 바르로우-에반스 구성이 상한 기울기 접근 방식에서의 딜리클레 형식과 일치하는 과정을 생성하는 조건은 무엇인가?

주요 결과

• 기본 과정으로 단위 구간에서의 표준 브라운 운동을 사용할 때, 라크소 프랙탈에서 최소 일반화된 상한 기울기로 정의된 딜리클레 형식 𝒟(𝑓,𝑓)은 바르로우-에반스 방법으로 구성된 마르코프 과정과 동일하다.
• 최소 상한 기울기 딜리클레 형식과 관련된 자기수반 연산자 𝒜는 바르로우-에반스 과정의 생성자 𝒜̃ 와 동일하며, 이는 기저 연산자의 등가성을 확인한다.
• 딜리클레 형식의 정의역은 노름 ‖𝑓‖₂ + 𝒟(𝑓,𝑓) 하에서 밀집 부분집합 𝒢의 폐쇄로 특징지어지며, 이 정의역은 Dom(√(−𝒜))와 일치한다.
• 라크소 공간에서의 딜리클레 형식은 근사 양자 그래프에서의 딜리클레 형식들의 극한으로서 유도되며, 이는 스펙트럼 근사 프레임워크를 제공한다.
• 해석학적 및 확률론적 구성 간의 등가성은 잘 정의된 셀 구조와 1차원 근사 공간의 가용성 덕분에 성립한다.
• 결과는 정규적인 셀 분해를 가진 라크소 유형 공간에 특화되어 있으며, 유사한 구조적 특성을 갖지 않는 한, 일반적인 바르로우-에반스 구성으로의 일반화는 거의 불가능하다.