[논문 리뷰] Laplacian, on the graph of the Weierstrass function

Claire David|arXiv (Cornell University)|2017. 03. 09.

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

한 줄 요약

이 논문은 카이카미와 스티처츠의 분수적 분석 프레임워크를 적응하여, Weierstrass 함수의 그래프 위에 Dirichlet 형식과 그에 해당하는 라플라스 연산자를 구성한다. 이는 이산 그래프 라플라스 연산자의 재규격화된 극한을 통해 이루어지며, 자기유사적이며 곳곳에서 미분 불가능한 이 분수적 그래프 위에서 약한 라플라스 연산자의 엄밀한 정의를 내리는 데 핵심적인 기여를 한다. 스펙트럼 감소 기법을 사용하여 그 스펙트럼을 계산한다.

ABSTRACT

The Laplacian plays a major role in the mathematical analysis of partial differential equations. Recently, the work of J. Kigami, taken up by R. S. Strichartz, allowed the construction of an operator of the same nature, defined locally, on graphs having a fractal character: the triangle of Sierpinski, the carpet of Sierpinski, the diamond fractal, the Julia sets, the fern of Barnsley. Strangely, the case of the graph of the Weierstrass function, introduced in 1872 by K. Weierstrass, which presents self similarity properties, does not seem to have been considered anywhere. It is yet an obligatory passage, in the perspective of studying diffusion phenomena in irregular structures. We have asked ourselves the following question: given a continuous function u on the graph of the Weierstrass function, under which conditions is it possible to associate to u a function Delta u which is, in the weak sense, its Laplacian ? We present, in the following, the results obtained by following the approach of J. Kigami and R. S. Strichartz. Ours is made in a completely renewed framework, as regards, the one, affine, of the Sierpinski gasket. First, we concentrate on Dirichlet forms, on the graph of the Weierstrass function, which enable us the, subject to its existence, to define the Laplacian of a continuous function on this graph. This Laplacian appears as the renormalized limit of a sequence of discrete Laplacians on a sequence of graphs which converge to the one of the Weierstrass function. The normalization constants related to each graph Laplacian are obtained thanks Dirichlet forms. The spectrum of the Laplacian thus built is obtained through spectral decimation.

연구 동기 및 목표

• 이전에 Sierpiński gasket 같은 자기유사 집합에 국한되어 있던 분수적 분석 이론을, 연속적이며 곳곳에서 미분 불가능하고 자기유사적인 곡선인 Weierstrass 함수의 그래프로 확장한다.
• Weierstrass 그래프 위에 약한 라플라스 연산자를 정의하기 위해, 근사 그래프 위의 이산 Dirichlet 형식의 재규격화된 극한으로서 Dirichlet 형식을 구성한다.
• Weierstrass 그래프의 분수 기하학적 성질과 호환되는 측도와 에너지 구조를 확립하여 잘 정의된 라플라스 연산자의 정의를 가능하게 한다.
• Sierpiński gasket에서 사용된 기법을 모방하여 스펙트럼 감소 기법을 적용하여, 결과적으로 얻어진 라플라스 연산자의 스펙트럼을 계산한다.
• 기존 자기유사 분수에 국한되지 않는 불규칙하고 분수적인 도메인 위에서의 확산 및 PDE 연구를 위한 새로운 프레임워크를 제공한다.

제안 방법

• Kigami와 Strichartz의 접근 방식을 적응하여, Weierstrass 그래프의 조각별 선형 근사의 수열을 사용해 라플라스 연산자를 정의한다.
• Weierstrass 함수를 근사하는 유한 그래프 위에 이산 Dirichlet 형식을 구성하며, 인접한 정점 간의 함수 값 차이를 에너지로 정의한다.
• 재규격화를 통해 이산 라플라스 연산자를 스케일링하여, 전체 그래프 위에서 잘 정의된 연속 연산자로 수렴하도록 한다.
• 함수의 스케일링 성질에서 유도된 특수한 자기유사 측도를 Weierstrass 그래프에 도입하여 Dirichlet 에너지를 가중치화한다.
• 스펙트럼 감소 기법을 적용하여 라플라스 연산자의 스펙트럼을 계산하며, 그래프의 자기유사성에서 유도된 재귀 관계를 해결한다.
• 고유값 매개변수를 포함하는 비선형 재귀 관계를 쌍대 맵 변환을 통해 변환하여, 반복 함수의 형태로 스펙트럼의 닫힌 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 Weierstrass 함수의 그래프 위에 라플라스 연산자를 엄밀히 정의할 수 있는가? 이는 자기유사적이며 곳곳에서 미분 불가능한 곡선이다.
• RQ2 Post-critically finite 자기유사 집합이 아닌 분수적 그래프 위에서 Dirichlet 형식과 관련 에너지를 어떻게 구성할 수 있는가?
• RQ3 이산 그래프 라플라스 연산자의 수렴을 보장하기 위해 필요한 정규화와 측도는 무엇인가?
• RQ4 Weierstrass 그래프 위의 라플라스 연산자의 스펙트럼 구조는 무엇이며, 스펙트럼 감소 기법으로 계산할 수 있는가?
• RQ5 Weierstrass 그래프의 기하학적 성질—특히 복잡한 자기유사성과 비정수 차원—은 라플라스 연산자의 구성에 어떤 영향을 미치는가?

주요 결과

• 근사 그래프 위의 이산 Dirichlet 형식의 재규격화된 극한으로서 Weierstrass 그래프 위에 Dirichlet 형식을 구성하였으며, 이는 약한 라플라스 연산자의 정의를 가능하게 한다.
• 함수의 곳곳에서 미분 불가능성에도 불구하고, 제안된 프레임워크 하에서 Weierstrass 함수의 그래프 위에서 라플라스 연산자는 잘 정의되고 연속적이다.
• 스펙트럼 감소 기법을 통해 라플라스 연산자의 스펙트럼을 계산하였으며, 무한대에 수렴하는 이산 고유값 집합을 도출하였다.
• 고유값 재귀 관계는 쌍대 맵 변환을 통해 해결되었으며, 반복 함수의 형태로 스펙트럼의 닫힌 표현식을 도출하였다.
• 이 구성은 Weierstrass 그래프의 분수 기하학적 성질을 존중하는 자기유사 측도와 특정 에너지 정규화에 의존한다.
• 이 방법은 Sierpiński gasket에서의 Strichartz의 접근을 더 넓은 범위의 분수적 그래프로 일반화하며, Weierstrass 함수의 그래프를 포함한다.