[论文解读] Dirichlet problem associated with Dunkl Laplacian on $W$-invariant open sets

Mohamed Ben Chrouda, Khalifa El Mabrouk|arXiv (Cornell University)|Feb 7, 2014

Spectral Theory in Mathematical Physics参考文献 1被引用 3

一句话总结

该论文证明了在 W-不变有界开集 D ⊂ ℝᵈ 上，Dunkl 拉普拉斯算子 Δₖ 的狄利克雷问题解的存在性与唯一性。通过使用概率工具——特别是 Dunkl 过程及其首次首出时间 τ_D——证明了解 h(x) = Eˣ[f(X_{τ_D})] 在 D̄ 上连续且在 D 内二次可微，满足 D 内 Δₖh = 0 且在 ∂D 上 h = f，前提是 D 是正则的且 f 在 ∂D 上连续。

ABSTRACT

Combining probabilistic and analytic tools from potential theory, we investigate Dirichlet problems associated with the Dunkl Laplacian $Δ_k$. We establish, under some conditions on the open set $D\subset\R^d$, the existence of a unique continuous function $h$ in the closure of $D$, twice differentiable in $D$, such that $$ Δ_kh=0 \quad extrm{in}\;D\quad extrm{and}\quad h=f\quad extrm{on}\; \partial D. $$ We also give a probabilistic formula characterizing the solution $h$. The function $f$ is assumed to be continuous on the Euclidean boundary $\partial D$ of $D$.

研究动机与目标

• 在 W-不变开集上，建立与 Dunkl 拉普拉斯算子 Δₖ 相关的狄利克雷问题解的存在性与唯一性。
• 通过 Dunkl 过程在区域外首次首出时间的公式，表征解。
• 在正则性与 W-不变性条件下，证明解在内部为 C² 且在边界上连续。
• 利用平衡化理论与 Δₖ 的拟椭圆性，证明解关于 Dunkl 过程是调和的。
• 通过潜在理论与随机过程之间的相互作用，将单位球情形的已知结果推广至一般 W-不变区域。

提出的方法

• 利用 Dunkl 过程 X，其为具有无穷小生成元 (1/2)Δₖ 的 càdlàg 马尔可夫过程，通过首出时间 τ_D 定义调和函数。
• 对 f ∈ C(∂D)，定义调和延拓 H_D f(x) = Eˣ[f(X_{τ_D})]，作为候选解。
• 建立 Δₖ-调和性与 X-调和性之间的等价关系：Δₖh = 0 在 D 内成立当且仅当对所有 U ⋐ D，有 H_U h(x) = h(x)。
• 应用 Bliedtner 与 Hansen（1980）的平衡化理论，在 D 正则的条件下证明解的唯一性。
• 利用 Δₖ 在 D 中的拟椭圆性（见 [7, 10]）证明：当 D 是 W-不变且 f 连续时，H_D f 在 D 内为 C²。
• 通过 L² 对偶性与内积 ⟨⋅,⋅⟩ₖ 及分部积分法，验证 H_D f 满足 Δₖh = 0 的弱形式。

实验结果

研究问题

• RQ1 在何种条件下，Dunkl 拉普拉斯算子的狄利克雷问题在 W-不变开集上存在唯一解？
• RQ2 狄利克雷问题的解能否通过 Dunkl 过程在区域外的首次首出分布进行概率表征？
• RQ3 当 f 在 ∂D 上连续且 D 是正则与 W-不变时，解 h = H_D f 是否在 D 内二次可微？
• RQ4 Δₖ 在 D 中的拟椭圆性是否意味着在 W-不变性条件下，概率解 H_D f 在 D 内为 C²？
• RQ5 边界 ∂D 的正则性（如锥条件）如何影响解的存在性与光滑性？

主要发现

• 对于任意有界 W-不变开集 D，若其对 Dunkl 过程是正则的，且对任意 f ∈ C(∂D)，狄利克雷问题 Δₖh = 0 在 D 内且 h = f 在 ∂D 上存在唯一解 h ∈ C(𝒟̄) ∩ C²(D)。
• 解由概率公式 h(x) = Eˣ[f(X_{τ_D})] 给出，其中 X 为 Dunkl 过程，τ_D 为从 D 首次首出的时间。
• 解 h 在 D 内是 X-调和的，即对所有 x ∈ U 和 U ⋐ D，有 H_U h(x) = h(x)，这通过马尔可夫过程表征了 Δₖ-调和性。
• Δₖ 在 D 中的拟椭圆性确保 H_D f 在 D 内无限次可微，特别地为 C²，当 D 是 W-不变时。
• D 为 W-不变的条件对拟椭圆性论证至关重要；若无此条件，H_D f 的 C²-正则性仍为开放问题。
• 该结果推广了单位球情形下的已知泊松积分公式（Maslouhi 与 Youssfi，2011），表明在单位球 B 上有 H_B(x, dy) = Pₖ(x,y) wₖ(y) σ(dy）。