[论文解读] Solving Poisson's equation for the standard weighted Laplacian in the unit disc

Behm Gustav|arXiv (Cornell University)|Jun 10, 2013

Differential Equations and Boundary Problems参考文献 3被引用 9

一句话总结

本文在单位圆盘上为标准加权拉普拉斯算子 $ L_{\beta} = -\overline{\partial}_z (1-|z|^2)^{-\alpha} \partial_z $ 构造了格林函数，并利用它通过径向 $ L^1 $-平均的意义求解了泊松方程 $ L_{\alpha}u = \mu $，其中复Borel测度 $ \mu $ 满足 $ \int_{\mathbb{D}} (1-|w|^2)^{\alpha+1} d|\mu|(w) < \infty $。解由格林势给出，其在径向 $ L^1 $-意义下满足零边界条件，并在分布意义下满足方程。

ABSTRACT

We will find Green's function for the standard weighted Laplacian and use the corresponding Green's potential to solve Poisson's equation in the unit disc with zero boundary values, in the sense of radial $L^1$-means, for complex Borel measures $μ$ satisfying the condition $\int_\mathbb{D} (1-|w|^2)^{α+1} d|μ|(w) &lt; \infty$ for $α&gt;-1$.

研究动机与目标

• 在单位圆盘中以径向 $ L^1 $-意义下的零边界条件求解泊松方程 $ L_{\alpha}u = \mu $。
• 为标准加权拉普拉斯算子 $ L_{\alpha} $ 构造格林函数 $ G_{\alpha}(z,w) $，其定义为 $ L_{\alpha} = -\overline{\partial}_z (1-|z|^2)^{-\alpha} \partial_z $。
• 证明格林势 $ G_{\alpha}^\mu(z) = \int_{\mathbb{D}} G_{\alpha}(z,w) \, d\mu(w) $ 在分布意义下满足方程 $ L_{\alpha}G_{\alpha}^\mu = \mu $。
• 验证解的边界行为，表明当 $ r \nearrow 1 $ 时，有 $ u(re^{i\cdot}) \to 0 $ 在 $ L^1(\mathbb{T}) $ 中成立。
• 将经典泊松方程理论推广至加权情形，适用于边界附近权重非光滑的情况，且对 $ \alpha > -1 $ 成立。

提出的方法

• 通过复分析和积分表示，将格林函数 $ G_{\alpha}(z,w) $ 构造为满足零边界值的 $ L_{\alpha} $ 的基本解。
• 利用格林函数的径向 $ L^1 $-平均分析边界行为，特别是 $ I_r(w) = \int_0^{2\pi} G_{\alpha}(re^{i\theta}, w) \frac{d\theta}{2\pi} $。
• 利用对称性 $ G_{\alpha}(z,w) = \overline{G_{\alpha}(w,z)} $ 及超几何函数的性质推导积分估计。
• 应用Fubini定理和 $ L^1 $-估计，以证明 $ L_{\alpha} $ 作用于格林势 $ G_{\alpha}^\mu $ 的合理性。
• 通过验证对所有测试函数 $ \varphi \in C_0^\infty(\mathbb{D}) $，有 $ \langle L_{\alpha}G_{\alpha}^\mu, \varphi \rangle = \langle \mu, \varphi \rangle $，确认解的正确性。
• 依赖共轭算子 $ \overline{L_{\alpha}} = -\partial_z (1-|z|^2)^{-\alpha} \overline{\partial}_z $ 来关联分布作用。

实验结果

研究问题

• RQ1 对于 $ \alpha > -1 $，是否可以显式构造单位圆盘上标准加权拉普拉斯算子 $ L_{\alpha} $ 的格林函数？
• RQ2 对于满足 $ \int_{\mathbb{D}} (1-|w|^2)^{\alpha+1} d|\mu|(w) < \infty $ 的测度 $ \mu $，格林势 $ G_{\alpha}^\mu $ 是否在分布意义下满足泊松方程 $ L_{\alpha}u = \mu $？
• RQ3 解 $ u = G_{\alpha}^\mu $ 是否满足当 $ r \nearrow 1 $ 时，有 $ u(re^{i\cdot}) \to 0 $ 在 $ L^1(\mathbb{T}) $ 中成立的零边界条件？
• RQ4 径向 $ L^1 $-平均在分析加权泊松方程解的边界行为中起什么作用？
• RQ5 权重 $ (1-|z|^2)^{-\alpha} $ 在边界附近非光滑性如何影响格林函数的构造与解理论？

主要发现

• 格林函数 $ G_{\alpha}(z,w) $ 显式构造为 $ G_{\alpha}(z,w) = -\log \left| \frac{z-w}{1 - \overline{z}w} \right|^2 + \text{修正项} $，其中修正项涉及超几何型积分。
• 格林函数的径向 $ L^1 $-平均 $ I_r(w) $ 满足当 $ r \nearrow 1 $ 时 $ I_r(w) \to 0 $，从而在 $ L^1 $-意义下确认了零边界条件。
• 在条件 $ \int_{\mathbb{D}} (1-|w|^2)^{\alpha+1} d|\mu|(w) < \infty $ 下，格林势 $ G_{\alpha}^\mu(z) $ 属于 $ L^1(\mathbb{D}) $，且满足 $ \|G_{\alpha}^\mu\|_{L^1} < \infty $。
• 解 $ u = G_{\alpha}^\mu $ 满足 $ L_{\alpha}u = \mu $ 在分布意义下，通过对偶性和Fubini定理得到验证。
• 估计式 $ \int_{\mathbb{D}} |G_{\alpha}(z,w)| dA(z) \leq C_\alpha (1 - |w|^2)^{\alpha+1} $ 成立，该估计保证了可积性并支持了势的构造。
• 边界行为由估计式 $ I_r^2(w) \leq C_{r_0} (1 - |w|^2) $ 控制（当 $ r \geq r_0 > 0 $ 时），该估计支持了在 $ L^1(\mathbb{T}) $ 中趋于零的收敛性。