[논문 리뷰] Dirichlet forms and critical exponents on fractals

Qingsong Gu, Ka‐Sing Lau|arXiv (Cornell University)|2017. 03. 21.

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

한 줄 요약

이 논문은 비균일 저항 스케일링을 가지는 비균일 p.c.f. 프랙탈에서 Besov 공간의 임계 지수를 분석하기 위한 새로운 프레임워크를 제안하며, 비대칭 자기유사 집합에 대해 두 개의 서로 다른 임계 지수 σ*와 σ#를 규명한다. 이는 기존의 표준 프랙탈에서 관찰되는 σ* = σ#의 등식과는 반대되는 결과로, 구성된 비대칭 집합에서 B²,∞σ*가 C(K)에 밀도가 없음을 입증한다.

ABSTRACT

Let $B^σ_{2, \infty}$ denote the Besov space defined on a compact set $K \subset {\Bbb R}^d$ which is equipped with an $α$-regular measure $μ$. The {\it critical exponent} $σ^*$ is the supremum of the $σ$ such that $B^σ_{2, \infty} \cap C(K)$ is dense in $C(K)$. It is well-known that for many standard self-similar sets $K$, $B^{σ^*}_{2, \infty}$ are the domain of some local regular Dirichlet forms. In this paper, we explore new situations that the underlying fractal sets admit inhomogeneous resistance scalings, which yield two types of critical exponents. We will restrict our consideration on the p.c.f. sets. We first develop a technique of quotient networks to study the general theory of these critical exponents. We then construct two asymmetric p.c.f. sets, and use them to illustrate the theory and examine the function properties of the associated Besov spaces at the critical exponents; the various Dirichlet forms on these fractals will also be studied.

연구 동기 및 목표

• 비균일 저항 스케일링을 가지는 비균일 p.c.f. 프랙탈에서 B²,∞σ의 임계 지수 σ*와 σ#의 행동을 조사한다.
• 비대칭 구조를 가진 p.c.f. 프랙탈에서 에너지 형식과 저항 스케일링을 분석하기 위한 몰입 네트워크 기법을 개발한다.
• σ* < σ#가 성립하는 비대칭 p.c.f. 집합의 구체적 예를 구성하여, 기존의 표준 가정인 σ* = σ#의 성립을 도전한다.
• 임계 지수에서의 Besov 공간의 기능적 성질과 이러한 프랙탈에서 국소 정규 딜레클레 형식의 존재성을 조사한다.

제안 방법

• 하위 구조를 압축하고 경계점에서 유도된 저항을 분석하여 p.c.f. 프랙탈에서 저항 스케일링을 모델링하는 몰입 네트워크 방법을 도입한다.
• Vj에서의 이산 에너지 형식 Ej[u]를 기본 에너지로 표현하며, 2σ > α일 때 Ej[u] ∼ ρ^(−(2σ−α)j) [u]²_{B²,∞σ}이다.
• 임계 지수 σ*를 sup{σ : B²,∞σ ∩ C(K)가 C(K)에 밀도가 있다}로, σ#를 sup{σ : B²,∞σ가 비상수 함수를 포함한다}로 정의한다.
• σ* < σ#가 성립하는 두 개의 비대칭 p.c.f. 프랙탈 집합을 구성하여 저항 스케일링이 다를 경우를 시범적으로 보여준다.
• 경계점에서 에너지 형식의 추적을 분석하고, 재귀적 저항 스케일링을 통해 에너지 수열의 점근적 행동을 유도한다.
• 비강한 연결성을 가지는 그래프 지도 기반 반복기하계수 시스템을 사용하여 혼합 스케일링 행동을 가지는 프랙탈을 모델링하고, 박스 차원을 페론-프로베니우스 고유값을 통해 도출한다.

실험 결과

연구 질문

• RQ1 비균일 저항 스케일링을 가지는 p.c.f. 프랙탈에서 임계 지수 σ*와 σ#가 다를 수 있는가?
• RQ2 비대칭 p.c.f. 프랙탈에서 Besov 공간 B²,∞σ*는 어떤 기능적 성질을 가지며, 특히 C(K)에 대한 밀도성과 관련하여 어떻게 되는가?
• RQ3 몰입 네트워크 기법은 비균일 프랙탈에서 에너지 및 저항 스케일링을 어떻게 분석할 수 있는가?
• RQ4 σ > σ*일 때 B²,∞σ가 비상수 함수를 포함하는 조건은 무엇인가?
• RQ5 비강한 연결성을 가지는 그래프 지도 기반 IFS는 어떤 역할을 하여 서로 다른 하우스도르프 차원과 무한 측도를 가지는 프랙탈을 생성하는가?

주요 결과

• 구성된 비대칭 p.c.f. 프랙탈에서 σ* < σ#가 성립함을 보여, 임계 지수들이 다를 수 있음을 입증하며, 대칭 프랙탈에서 관찰되는 표준 등식과는 정반대되는 결과를 도출한다.
• B²,∞σ*가 C(K)에 밀도가 없음을 입증하기 위해, B²,∞σ*에 속하는 임의의 함수는 특정 방향(예: p₁p₃ 방향)에 따라 반드시 상수여야 하며, 이는 C(K)에 대한 밀도성을 위반함을 보여준다.
• B²,∞σ*에 속하는 u에 대해 에너지 수열 {7^n E_n[u]}가 유계임을 보여, u가 p₁p₃ 방향으로 반드시 상수여야 함을 의미하며, 이는 C(K)에 대한 밀도성과 모순된다.
• λ₁ = λ₂인 비강한 연결성을 가지는 그래프 지도 기반 시스템에서 박스 차원은 여전히 α = log λ / |log ρ|로 유지되지만, H^α(E_i) = ∞로 무한한 하우스도르프 측도를 가짐을 나타낸다.
• 접근 행렬 T의 최대 고유값 λ는 박스 차원 α = log λ / |log ρ|를 결정하며, N_i(n) ∼ λ^n이 성립한다. 여기서 i는 강한 연결 성분에 속한다.
• λ₁ ≠ λ₂일 경우, 더 큰 고유값을 가진 성분에 속하는 i에 대해 N_i(n) ∼ λ^n이며, 박스 차원은 여전히 α = log λ / |log ρ|로 유지된다. 이는 λ₁ = λ₂인 경우 측도가 무한해지는 경우에도 성립한다.