[논문 리뷰] Explicit recurrence criteria for symmetric gradient type Dirichlet forms satisfying a Hamza type condition

Minjung Gim, Gérald Trutnau|arXiv (Cornell University)|2013. 08. 01.

Geometry and complex manifolds참고 문헌 9인용 수 4

한 줄 요약

이 논문은 약한 정규성 조건 하에서 대칭 기울기 유형 딜레클레 형식에 대해 명시적인 재귀 기준을 수립한다. 특히 1차원 및 고차원에서, 딜레클레 공간 내에서의 구성적 함수열 $(u_n)$ 을 사용한다. 주요 기여는 역중량 함수의 적분 가능성에 기반한 일반적인 재귀 조건으로, 이는 이전 결과를 더 적은 정규성 조건을 가진 계수로 확장하며, 반사 경계가 있는 경우 또는 없는 경우를 포함한다.

ABSTRACT

In this note, we present explicit conditions for symmetric gradient type Dirichlet forms to be recurrent. This type of Dirichlet form is typically strongly local and hence associated to a diffusion. We consider the one dimensional case and the multidimensional case, as well as the case with reflecting boundary conditions. Our main achievement is that the explicit results are obtained under quite weak assumptions on the closability, hence regularity of the underlying coefficients. Especially in dimension one, where a Hamza type condition is assumed, the construction of the sequence of functions $(u_n)_{n\in \N}$ in the Dirichlet space that determine recurrence works for quite general Dirichlet forms but is still explicit.

연구 동기 및 목표

• 계수에 대한 최소한의 정규성 조건 하에서 대칭 기울기 유형 딜레클레 형식의 재귀성에 대한 명시적이고 검증 가능한 조건을 도출하는 것.
• 기존의 재귀 기준을, 기본 딜레클레 형식이 반드시 기약적이거나 더 약한 정규성 조건을 만족하지는 않는 경우로 확장하는 것.
• 형식이 강한 정규성이 없더라도 딜레클레 공간 내에서 재귀 결정 함수열 $(u_n)$ 을 구성적으로 생성하는 방법을 제공하는 것.
• 닫힘성과 계수의 정규성에 대한 가정을 완화하면서도 명시성을 유지하면서 [1]과 [8]의 결과를 일반화하는 것.
• 반사 경계 조건과 비-레베그 기준 측도를 포함하여 일반 측도 공간 위의 확산 과정으로의 적용 범위를 넓히는 것.

제안 방법

• 컴 pact 지지집합을 가지며 리프시츠 조건을 만족하는 함수열 $(u_n)$ 을 구성하여, $0 \leq u_n \leq 1$, $u_n \nearrow 1$ $dx$-거의 모든 곳에서 수렴하고, $\mathcal{E}(u_n, u_n) \to 0$ as $n \to \infty$ 가 되도록 하는 것.
• 반경 함수로 정의된 $u_n(x)$ 는 원판 영역에서 1에서 0으로 변화하는 방식으로, 확산 계수와 기준 측도로부터 유도된 가중치 함수 $\psi(r)$ 의 역함수를 사용한다.
• growing annuli 에서 $\psi^{-1}$ 의 $L^1$-노름을 사용하여 정규화 상수 $a_n = \int_{a+1}^{a+1+n} \psi^{-1}(s) \, ds$ 를 정의하여 $u_n \in D(\mathcal{E})$ 가 되도록 보장한다.
• 반경 대칭성과 고차원에서의 $|x|^{2-2d}/\phi(|x|)$ 의 감쇠율을 이용하여, 고리 영역에서의 적분을 통해 딜레클레 에너지 $\mathcal{E}(u_n, u_n)$ 의 상한을 구한다.
• 행렬 노름 $\|A(x)\|$ 을 사용한 비교 추정을 적용하여, $|x|$ 가 크면 $\|A(x)\| \varphi(x) \leq \phi(|x|)$ 를 만족하도록 하여 에너지 증가를 통제한다.
• 다음 조건이 성립할 경우 재귀성을 증명한다: $\mathcal{E}(u_n, u_n) \leq C / a_n \to 0$ as $n \to \infty$, 조건은 $a_n \to \infty$ 이다.

실험 결과

연구 질문

• RQ1 계수와 기준 측도에 대해 어떤 명시적 조건이 대칭 기울기 유형 딜레클레 형식의 재귀성을 보장하는가?
• RQ2 최소한의 정규성 조건 하에서 재귀 결정 함수열 $(u_n)$ 이 명시적으로 구성 가능한가?
• RQ3 동일한 가정 하에서 1차원과 다차원 설정 간에 재귀 기준은 어떻게 다르게 작용하는가?
• RQ4 반사 경계 조건 또는 비-레베그 기준 측도가 있는 경우 결과를 어느 정도까지 확장할 수 있는가?
• RQ5 자연 스케일이 존재할 경우, 1차원에서 재귀 조건이 체적 성장 기준과 동치인가?

주요 결과

• 1차원에서는 햄자 유형 조건 하에서 재귀 기준은 충분조건이자 자연 스케일의 존재와 동치이며, 기존 결과를 일반화한다.
• 다차원 딜레클레 형식의 경우, $a_n = \int_{\overline{B_n(0)} \setminus B_\rho(0)} \frac{|y|^{2-2d}}{\phi(|y|)} \, dy \to \infty$ as $n \to \infty$ 라면 재귀가 성립한다. 여기서 $\phi$ 는 $\|A(x)\| \varphi(x)$ 를 지배한다.
• 딜레클레 에너지 $\mathcal{E}(u_n, u_n)$ 는 $C / a_n$ 이하로 상한이 주어지며, $n \to \infty$ 일 때 0으로 수렴하므로 재귀성이 증명된다.
• 구성된 함수열 $u_n(x) = \psi_n(|x|)$ 는 회전 대칭이며, 가측성 있고 딜레클레 공간 $D(\mathcal{E})$ 에 속한다.
• 이 방법은 비-레베그 기준 측도 $\mu = \varphi \, dx$ 와 부드럽지 않거나 기약적이지 않은 계수에도 적용 가능하다.
• 반사 확산 및 더 일반적인 열린 집합으로의 결과 확장은 각각 비고의 2.3, 3.3, 4.4에서 보여진다.