[论文解读] Dirichlet forms and degenerate elliptic operators

Tom Ter Elst, Derek W. Robinson+2 more|arXiv (Cornell University)|Jan 14, 2006

Advanced Harmonic Analysis Research参考文献 11被引用 4

一句话总结

本论文通过正则强局部狄利克雷型式，为 R^d 上退化的椭圆型算子建立了一个统一框架，表明关联的演化半群满足基于测度集上定义的距离函数 d(A;B) 的非对角衰减估计。关键结果为：对所有 t>0，有 ||(φ_A, S_t φ_B)|| ≤ exp(–d(A;B)²/(4t)) ||φ_A||₂ ||φ_B||₂，且 S_t 保持 L²(A) 当且仅当 d(A;Aᶜ)=∞。

ABSTRACT

It is shown that the theory of real symmetric second-order elliptic operators in divergence form on $\Ri^d$ can be formulated in terms of a regular strongly local Dirichlet form irregardless of the order of degeneracy. The behaviour of the corresponding evolution semigroup $S_t$ can be described in terms of a function $(A,B) \mapsto d(A ;B)\in[0,\infty]$ over pairs of measurable subsets of $\Ri^d$. Then \[ |(ϕ_A,S_tϕ_B)|\leq e^{-d(A;B)^2(4t)^{-1}}\|ϕ_A\|_2\|ϕ_B\|_2 \] for all $t>0$ and all $ϕ_A\in L_2(A)$, $ϕ_B\in L_2(B)$. Moreover $S_tL_2(A)\subseteq L_2(A)$ for all $t>0$ if and only if $d(A ;A^c)=\infty$ where $A^c$ denotes the complement of $A$.

研究动机与目标

• 在 R^d 上为具有可测、可能退化的系数的二阶椭圆型算子（散度形式）建立一个通用框架。
• 克服标准二次型理论的局限性，该理论因缺乏闭性而对非强椭圆型（退化）算子失效。
• 通过测度集 A 与 B 之间的距离函数 d(A;B) 描述与这些算子相关的演化半群 S_t。
• 建立 S_t 对所有 t>0 保持 L²(A) 的条件，并将其与距离 d(A;Aᶜ)=∞ 联系起来。

提出的方法

• 通过二次型 h 的正则部分 h_r 定义椭圆型算子，其中 h_r 是被 h 控制的最大可闭型式，即使 h 不闭合也能保证其存在。
• 将关联的自伴算子 H₀ 定义为正则化型式 h_ε = h + εl 的强预解极限，其中 l 是拉普拉斯算子的狄利克雷型式。
• 定义距离函数 d(A;B) = inf{d(x;y) : x∈A, y∈B}，其中 d(x;y) = sup{|ψ(x)−ψ(y)| : ψ∈D(E) ∩ L∞, |||Ĩψ||| ≤ 1}，Ĩψ 为与 ψ 关联的能量测度。
• 利用狄利克雷型式的能量测度和局部正则性性质，通过距离函数推导出半群核的非对角界。
• 在单位分解条件下，建立 d(A;B) 与 d₁(A;B) 的等价性：对于紧集，若存在能量测度较小的截断函数，则 d(A;B) = d₁(A;B)。
• 利用距离函数和狄利克雷型式结构，证明 S_tL²(A) ⊆ L²(A) 对所有 t>0 成立当且仅当 d(A;Aᶜ) = ∞。

实验结果

研究问题

• RQ1 当标准二次型不闭合时，如何严格定义散度形式下的退化椭圆型算子？
• RQ2 二次型的正则部分 h_r 在构造退化系数下自伴算子时起什么作用？
• RQ3 能否通过测度集间定义的几何距离函数 d(A;B) 来有界关联的演化半群 S_t？
• RQ4 在何种条件下，半群 S_t 保持可测集 A 的子空间 L²(A)？
• RQ5 距离函数 d(A;B) 是否与通过有界函数且能量测度受控定义的简化变体 d₁(A;B) 等价？

主要发现

• 对所有 t>0 及所有 φ_A ∈ L²(A)，φ_B ∈ L²(B)，半群 S_t 满足非对角衰减估计 |(φ_A, S_t φ_B)| ≤ exp(–d(A;B)²/(4t)) ||φ_A||₂ ||φ_B||₂。
• 当且仅当 d(A;Aᶜ) = ∞ 时，S_t 对所有 t>0 保持 L²(A)，其中 Aᶜ 是 A 的补集。
• 当空间存在能量测度可任意小的截断函数时，距离函数 d(A;B) 与 d₁(A;B) 等价，从而对紧集有 d(A;B) = d₁(A;B)。
• 在 (0,1) 上带狄利克雷边界条件的拉普拉斯算子情形，当 A = (0,a)，B = (b,1) 且 a<b 时，有 d₁(A;B) = 0，而 d(A;B) ≥ b−a，表明 d₁ 可能严格小于 d。
• 当系数矩阵 C 一致正定时，距离函数 d(x;y) 与由 C 诱导的黎曼度量下的测地距离一致。
• 通过 H₀ 作为 H_ε = H + εΔ 的极限构造，即使 h 不可闭，也能保证 H₀ 的良好定义，为退化算子提供稳健的构造方法。