[论文解读] Mean value property associated with the Dunkl Laplacian

Kods Hassine|arXiv (Cornell University)|Jan 9, 2014

Mathematical Analysis and Transform Methods参考文献 5被引用 6

一句话总结

该论文证明了：在 ℝᵈ 的一个 W-不变开集 D ⊂ ℝᵈ 上，若一个局部有界函数满足与 Dunkl 拉普拉斯算子 Δₖ 相关的概率测度 σₓ,ᵣᵏ 的平均值性质，则其当且仅当为 Δₖ-调和函数。该表征依赖于证明 Δₖ 的拟椭圆性，并利用 Δₖ-调和函数的收敛性性质，其中 D 的 W-不变性对于结论成立而言几乎是最优的。

ABSTRACT

Let $Δ_k$ be the Dunkl Laplacian on $\mathbb{R}^d$. The main goal of this paper is to characterize $Δ_k$-harmonic functions by means of a mean value property

研究动机与目标

• 通过平均值性质在 ℝᵈ 的 W-不变开子集上表征 Δₖ-调和函数。
• 建立局部有界函数的 Δₖ-调和性与平均值性质之间的等价性。
• 证明 Dunkl 拉普拉斯算子 Δₖ 的拟椭圆性，从而确保满足平均值性质的函数为无穷次可微。
• 证明域 D 的 W-不变性几乎是必要的，因为对于非 W-不变域存在反例。

提出的方法

• 将 Dunkl 拉普拉斯算子 Δₖ 定义为包含反射和多重函数 k 的二阶微分-差分算子。
• 在 ℝᵈ 上引入概率测度 σₓ,ᵣᵏ，使得 f 在球面 S(x,r) 上关于 σₓ,ᵣᵏ 的平均值等于 f(x)，当且仅当 f 满足平均值性质。
• 利用 Δₖ-调和函数的收敛性性质，证明每个在 D 上满足平均值性质的局部有界函数在 D 上无穷次可微。
• 通过证明若 f 满足平均值性质，则 f 为 C∞，从而推出 Δₖf = 0，建立 Δₖ 的拟椭圆性。
• 利用交织算子 Vₖ 和 Dunkl 核，通过积分表示将 Δₖ 与经典拉普拉斯算子联系起来。
• 在 d=1 维情况下构造非 W-不变域的反例，表明 Δₖ-调和函数可能不满足平均值性质。

实验结果

研究问题

• RQ1 在 ℝᵈ 的域 D ⊂ ℝᵈ 上，局部有界函数在何种条件下满足表征 Δₖ-调和性的平均值性质？
• RQ2 域 D 的 W-不变性是否为表征 Δₖ-调和函数的平均值性质所必需？
• RQ3 能否通过 Δₖ-调和函数的收敛性性质建立 Dunkl 拉普拉斯算子 Δₖ 的拟椭圆性？
• RQ4 关于测度 σₓ,ᵣᵏ 的平均值性质如何与经典调和函数的平均值性质相关联？
• RQ5 当域 D 不是 W-不变时，特别是在一维情况下，平均值性质会发生什么变化？

主要发现

• 在 ℝᵈ 的 W-不变开集 D ⊂ ℝᵈ 上，局部有界函数 f 是 Δₖ-调和函数，当且仅当其满足平均值性质：对所有 x ∈ D 和所有 r > 0 满足 B̅(x,r) ⊂ D，有 f(x) = ∫_{ℝᵈ} f(y) dσₓ,ᵣᵏ(y)。
• Dunkl 拉普拉斯算子 Δₖ 是拟椭圆的，即任何 Δₖf = 0 的分布解必为 C∞ 函数。
• 平均值性质蕴含 f 的无穷可微性，结合 Δₖf = 0，从而确认 f 为 Δₖ-调和函数。
• 在一维情况下，对任意非对称（非 W-不变）开集 U ⊂ ℝ，存在一个在 U 上的 Δₖ-调和函数，其不满足平均值性质。
• 测度 σₓ,ᵣᵏ 支撑于 x 的 W-轨道的凸包上，其定义确保平均值性质与 Dunkl 平移 τₓ 的积分表示一致。
• 在 d=1 的反例中，Mₓ,ₜ(Δₖh) > 0 对 t ∈ (0,r) 成立，意味着 d/dt Mₓ,ₜ(h) > 0，因此 Mₓ,ₜ(h) ≠ h(x)，从而违反平均值性质。