[논문 리뷰] Approximation of fractals by manifolds and other graph-like spaces

Olaf Post, Jan Simmer|arXiv (Cornell University)|2018. 02. 08.

Spectral Theory in Mathematical Physics참고 문헌 23인용 수 3

한 줄 요약

이 논문은 pcf 프랙탈에서의 에너지 형식을 메트릭 그래프와 그래프 유사 다각형에서의 에너지 형식 수열을 사용하여 근사하기 위해 준단위(unitary) 등가 프레임워크를 도입한다. 기하학적 및 스펙트럼적 양을 통해 이러한 에너지 형식 간의 거리를 정량화함으로써, 저자들은 해밀토니안의 리졸베인트, 스펙트럼, 고유함수의 수렴성을 증명하며, 부드러운 기하 대상으로 프랙탈 라플라스 연산자를 엄밀하게 근사할 수 있음을 보여준다.

ABSTRACT

We define a distance between energy forms on a graph-like metric measure space and on a discrete weighted graph using the concept of quasi-unitary equivalence. We apply this result to metric graphs and graph-like manifolds (e.g. a small neighbourhood of an embedded metric graph) as metric measure spaces with energy forms associated with canonical Laplacians, e.g., the Kirchhoff Laplacian on a metric graph resp. the (Neumann) Laplacian on a manifold (with boundary) and express the distance of the associated energy forms in terms of geometric quantities. We showed in arXiv:1704.00064 that the approximating sequence of energy forms on weighted graphs used in the definition of an energy form on a pcf fractal converge in the sense that the distance in the quasi-unitary equivalence tends to 0. By transitivity of quasi-unitary equivalence, we conclude that we can approximate the energy form on a pcf fractal by a sequence of energy forms on metric graphs and graph-like manifolds. In particular, we show that there is a sequence of domains converging to a pcf fractal such that the corresponding (Neumann) energy forms converge to the fractal energy form. Quasi-unitary equivalence of energy forms implies a norm estimate for the difference of the resolvents of the associated Laplace operators. As a consequence, suitable functions of the Laplacians are close resp. converge as well in operator norm, e.g. the corresponding heat operators and spectral projections. The same is true for the spectra and the eigenfunctions in all above examples.

연구 동기 및 목표

• 이산적이고 연속적인 그래프 유사 공간을 사용하여 프랙탈에서의 에너지 형식을 근사하기 위한 정량적 프레임워크를 개발하는 것.
• 준단위 등가를 통해 서로 다른 힐버트 공간에 정의된 에너지 형식 간의 거리 개념을 수립하는 것.
• pcf 프랙탈에서의 에너지 형식이 메트릭 그래프와 그래프 유사 다각형에서의 에너지 형식 수열로 근사될 수 있음을 보여주는 것.
• 이 근사에서 리졸베인트, 스펙트럼, 고유함수, 열 연산자와 같은 스펙트럼 성질의 수렴성을 보여주는 것.
• 근사 오차를 간선 길이, 체적, 스펙트럼 갭과 같은 기하학적 매개변수로 표현하는 것.

제안 방법

• 준단위 등가를 사용하여 이산 가중 그래프와 메트릭 측도 공간에서의 에너지 형식 간의 거리를 정의함으로써, 단위 등가를 일반화하는 것.
• 콤���, 연결된 지지 집합을 갖는 파artition of unity $ \psi_v $ 를 통해 $ J: \ell_2(V,\mu) \to L_2(X,\nu) $ 와 $ J': L_2(X,\nu) \to \ell_2(V,\mu) $ 를 정의하는 식별 연산자 구축.
• 에너지 척도를 그래프와 메트릭 공간 간에 일치시키기 위해 에너지 재스케일링 인자 $ \tau $ 와 등장성 재스케일링 인자 $ c $ 를 사용하는 것.
• 그래프 가중치 $ \gamma_e $, 정점 가중치 $ \mu(v) $, 측도 $ \nu(v) $ 를 사용하여 $ \|f - J'Jf\|_{\ell_2} $ 와 $ \|u - JJ'u\|_{L_2} $ 의 이탈을 유계화하는 것.
• 파인카레 유사 부등식과 스펙트럼 추정을 사용하여 그래프 유사 다각형의 두 번째 고유값 $ \lambda_2 $ 를 제어하고, 수축 매개변수 $ \varepsilon $ 와 무관한 균일한 하한을 확보하는 것.
• 스케일링 추론과 [EP05]의 수렴 결과를 활용하여 $ \ell_0, \ell_\infty, \varepsilon $ 와 기하학적 불변량을 포함한 $ \lambda_2(X_{v,\varepsilon}) $ 의 균일한 유계를 도출하는 것.

실험 결과

연구 질문

• RQ1 pcf 프랙탈에서의 에너지 형식은 메트릭 그래프와 그래프 유사 다각형에서의 에너지 형식 수열로 근사될 수 있는가?
• RQ2 이산 그래프와 연속적 메트릭 공간에서의 에너지 형식 간의 정량적 거리는 무엇인가?
• RQ3 이 근사에서 관련 라플라스 연산자의 스펙트럼과 고유함수는 어떻게 행동하는가?
• RQ4 어떤 기하학적 조건이 근사 과정에서 스펙트럼 성질의 균일한 수렴을 보장하는가?
• RQ5 준단위 등가 프레임워크를 통해 리졸베인트와 열 연산자의 수렴을 정량화할 수 있는가?

주요 결과

• pcf 프랙탈에서의 에너지 형식은 $ \delta \to 0 $ 인 근사가 정교해질수록 $ \delta $-준단위 등가의 의미에서 메트릭 그래프와 그래프 유사 다각형에서의 에너지 형식 수열로 근사된다.
• 관련 라플라스 연산자의 리졸베인트 차이는 연산자 노름으로 $ \delta $ 이내로 유계화되어 있으며, 이는 열 연산자 및 스펙트럼 투영과 같은 모든 스펙트럼 함수의 수렴을 의미한다.
• 그래프 유사 다각형 $ X_{v,\varepsilon} $ 의 두 번째 고유값 $ \lambda_2(X_{v,\varepsilon}) $ 는 $ \varepsilon \leq \varepsilon_0 = C_v^{-2} \ell_0 $ 일 때 $ \ell_0^{-2} $ 에 대해 균일하게 아래로 유계이며, $ \varepsilon $ 와 무관하다.
• 근사 오차 $ \delta $ 는 그래프 가중치 $ \gamma_e $, 정점 가중치 $ \mu(v) $, 그리고 $ \nu(v) $, $ \operatorname{vol}Y_e $, $ \lambda_2({\check{X}_v}) $ 와 같은 기하학적 양에 대해 명시적으로 의존한다.
• 준단위 등가 하에서 고유함수와 스펙트럼의 수렴이 보장되며, 스펙트럼 갭은 극한에서 균일하게 유지된다.
• 이 프레임워크는 메트릭 그래프에서의 킬레프 호프 라플라스 연산자와 경계가 있는 다각형에서의 뉴먼 라플라스 연산자에 모두 적용 가능하여 통합된 근사 이론을 가능하게 한다.