[论文解读] Explicit recurrence criteria for symmetric gradient type Dirichlet forms satisfying a Hamza type condition

Minjung Gim, Gérald Trutnau|arXiv (Cornell University)|Aug 1, 2013

Geometry and complex manifolds参考文献 9被引用 4

一句话总结

本文在较弱的正则性假设下，针对对称梯度型Dirichlet型形式，建立了显式的递归准则，特别适用于一维及更高维情形，通过在Dirichlet空间中构造函数序列 $(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.

研究动机与目标

• 在系数正则性假设最小化的前提下，推导对称梯度型Dirichlet型形式递归性的显式、可验证条件。
• 将已知的递归准则推广至底层Dirichlet型形式未必不可约或满足更弱正则性条件的情形。
• 提供一种在Dirichlet空间中构造递归判定序列 $(u_n)$ 的构造性方法，即使该形式非强正则亦适用。
• 通过保持显式性并放松对系数闭包性和正则性的假设，推广[1]和[8]中的结果。
• 涵盖具有反射边界条件和非Lebesgue参考测度的情形，从而扩大在一般测度空间上扩散过程中的适用范围。

提出的方法

• 构造一列紧支集、Lipschitz连续的函数 $(u_n)$，满足 $0 \leq u_n \leq 1$，$u_n \nearrow 1$ $dx$-几乎处处成立，且当 $n \to \infty$ 时 $\mathcal{E}(u_n, u_n) \to 0$。
• 将 $u_n(x)$ 定义为径向函数，通过从1到0在环形区域内的过渡实现，使用由扩散系数和参考测度导出的权函数 $\psi(r)$ 的逆函数。
• 利用 $\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|)$ 的衰减速率，对Dirichlet能量 $\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$ 当 $n \to \infty$ 时成立（前提是 $a_n \to \infty$），从而证明递归性。

实验结果

研究问题

• RQ1 在系数和参考测度满足何种显式条件时，对称梯度型Dirichlet型形式是递归的？
• RQ2 能否在系数正则性假设最小化的前提下，显式构造出用于Dirichlet型形式的递归判定序列 $(u_n)$？
• RQ3 在相同假设下，递归准则在一维与多维情形下的表现有何不同？
• RQ4 在何种程度上，结果可推广至具有反射边界或非Lebesgue参考测度的情形？
• RQ5 当存在自然尺度时，一维情形下递归条件是否等价于体积增长准则？

主要发现

• 在一维情形下，在Hamza型条件下，递归准则既充分又等价于自然尺度的存在，从而推广了已知结果。
• 在多维情形下，若当 $n \to \infty$ 时 $a_n = \int_{\overline{B_n(0)} \setminus B_\rho(0)} \frac{|y|^{2-2d}}{\phi(|y|)} \, dy \to \infty$，则Dirichlet型形式是递归的，其中 $\phi$ 控制 $\|A(x)\| \varphi(x)$。
• Dirichlet能量 $\mathcal{E}(u_n, u_n)$ 的上界为 $C / a_n$，当 $n \to \infty$ 时趋于零，从而证明了递归性。
• 构造的序列 $u_n(x) = \psi_n(|x|)$ 是旋转对称的、可测的，且属于Dirichlet空间 $D(\mathcal{E})$。
• 该方法适用于非Lebesgue参考测度 $\mu = \varphi \, dx$，并允许系数非光滑、非不可约。
• 结果可推广至反射扩散过程及更一般的开集，如附注2.3、3.3和4.4所示。