[논문 리뷰] Discrete analytic functions on non-uniform lattices without global geometric control

Brent M. Werness|arXiv (Cornell University)|2015. 11. 04.

Stochastic processes and statistical mechanics참고 문헌 29인용 수 4

한 줄 요약

이 논문은 전역적 조밀도나 정규성 조건 없이, 지역적 기하 제약 조건—특히 일관되게 유계인 각도와 변 대 대각선 비율—하에 비균일 사각형 격자에서 이산 조화 함수가 연속적 대응체로 수렴함을 확립한다. 핵심 결과는 유계이고 단순 연결인 영역에서 이산 딜레르겔 문제의 해가 연속 해로 균일 수렴함을 증명한다.

ABSTRACT

Recent advances in the study of conformally invariant discrete random processes have lead to increasing interest in the study of discrete analogues to holomorphic functions. Of particular interest are results which provide conditions under which these discrete functions can be shown to converge to continuum versions as the lattice spacing shrinks to zero. Recent work by Skopenkov has extended these results to include a wide class of non-uniform quadrilateral lattices with a pair of regularity conditions, one local and one global. Such a result is sufficient for the study of random processes on deterministic lattices, however to establish convergence results for conformally invariant random processes on random triangulations, such a global regularity condition cannot be assumed. In this paper we provide a convergence result on quadrilateral lattices upon which we enforce only a local condition on the geometry of each face.

연구 동기 및 목표

• 무작위 평면 맵에 대해 전역 기하 제약 조건이 없는 격자로까지 이산 해석 함수의 수렴 결과를 확장하는 열린 문제를 다루기 위해.
• 스코펜코프의 이전 연구에서 요구한 전역적 정규성 조건—즉, 격자 전역에서 정점 밀도와 면 기하학에 대한 균일한 제어—를 완화하기 위해.
• 통계역학 모델에서 나타나는 매우 불규칙하고 비균일한 격자에서 이산 조화 함수 및 해석 함수의 수렴을 증명하기 위한 프레임워크를 제공하기 위해.
• 무작위 삼각 격자 및 평면 맵에서 등장하는 등각 불변 무작위 과정의 엄밀한 분석을 가능하게 하기 위해 전역 제약 조건을 제거하기 위해.
• 확률론 및 등각 장 이론에의 응용에 적합한 최소한의 지역 기하 제약 조건 하에서 강력한 수렴 정리를 확립하기 위해.

제안 방법

• 모든 면에서 각도와 변 대 대각선 길이 비율이 일관되게 유계이며, 대각선이 직각으로 만나는 수직 사각형 격자를 정의한다.
• 각 인접한 사각형을 최대 면 직경 $ M(Q_n) $ 의 제곱근 비례로 변 길이를 가지는 직사각형으로 묶어 중간 직사각형 격자를 구성한다.
• 중간 격자에서 각 직사각형 내에서 연속 조화 함수 $ u $ 의 최댓값을 취해 이산 근사 $ ilde{u}_n $ 를 정의한다.
• 부드러운 시험 함수 $ v $ 를 활용해 에너지 추정과 이산 라플라스 연산자 비교를 통해 이산 및 연속 라플라스 연산자 간의 차이를 유계화한다.
• 에너지 및 면 크기 기반의 로그 모듈러스 연속성 추정을 통해 이산 조화 함수 $ u_n $ 의 등연속성(유계 연속성)을 증명함으로써 아르체라-아스콜리 정리 적용.
• 임의의 부분수열이 동일한 연속 조화 극한으로 수렴함을 보여 균일 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 격자에 전역 기하 제약 조건이 없이도 이산 조화 함수가 연속적 대응체로 수렴할 수 있는가?
• RQ2 사각형 격자에 대해 어떤 최소한의 지역 기하 조건이 이산 딜레르겔 문제의 해 수렴을 보장하는가?
• RQ3 이러한 수렴 결과는 매우 불규칙하고 비균일한 임베딩을 가진 무작위 평면 맵에 적용될 수 있는가?
• RQ4 전역 정규성의 부재가 이산 해석 함수의 수렴 속도와 안정성에 어떤 영향을 미치는가?
• RQ5 지역 기하 제약 조건이 이산 복소해석학에서 전역 밀도 및 정규성 가정을 얼마나 대체할 수 있는가?

주요 결과

• 해당 수열의 $ K $-둥근 수직 사각형 격자에서의 이산 딜레르겔 문제의 해 $ u_n $ 은 영역 $ \bar{\nabla} $ 에서 연속 딜레르겔 문제의 해 $ u $ 로 균일 수렴한다.
• 전역 정점 밀도 제어 없이도 지역 제약 조건만으로 수렴이 성립한다: 모든 면에서 각도와 변 대 대각선 길이 비율이 일관되게 유계이다.
• 에너지 기반 추정과 로그 모듈러스 연속성 추정을 통해 $ u_n $ 의 등연속성이 확보되어 연속 함수 공간 내 전콤팩트성을 보장한다.
• 이산 에너지 $ E_{Q_n}(u_n) $ 는 연속 에너지 $ E_V(g) $ 로부터 균일 유계이며, 아르체라-아스콜리 정리에 의해 수렴을 지원한다.
• 수렴 속도는 $ O(M(Q_n)^{1/2}) $ 이며, 여기서 $ M(Q_n) $ 은 격자 내 임의의 면의 최대 직경이다. 따라서 $ M(Q_n) \to 0 $ 일 때 수렴이 성립한다.
• 극한 함수 $ u $ 는 $ \Omega $ 에서 조화이며, 경계값 $ g $ 와 일치하므로 유일한 연속 조화 확장임을 확인한다.