泊松积分(Poisson Integral)
探索调和函数与边界值问题的核心工具
什么是泊松积分?
泊松积分(Poisson Integral)是求解拉普拉斯方程(Laplace's Equation)在单位圆盘内狄利克雷问题(Dirichlet Problem)的经典方法。
它通过边界上的已知函数,构造出圆盘内部的调和函数。
该公式由法国数学家西莫恩·德尼·泊松(Siméon Denis Poisson)提出,广泛应用于数学物理、信号处理和概率论等领域。
泊松积分公式
设 \( f(\theta) \) 是定义在单位圆周 \( \partial \mathbb{D} \) 上的连续函数,则其在单位圆盘内部的调和延拓为:
\[
u(r, \theta) = \frac{1}{2\pi} \int_{0}^{2\pi} P_r(\theta - t) f(t) \, dt
\]
其中泊松核(Poisson Kernel)为:
\[
P_r(\phi) = \frac{1 - r^2}{1 - 2r\cos\phi + r^2}, \quad 0 \le r < 1
\]
当 \( r \to 1^- \) 时,\( u(r, \theta) \to f(\theta) \),即在边界上收敛到原始函数。
核心性质
- 调和性:对每个固定的 \( f \),函数 \( u(r, \theta) \) 在单位圆盘内是调和的(满足拉普拉斯方程)。
- 边界逼近:若 \( f \) 连续,则 \( u(r, \theta) \) 在 \( r \to 1 \) 时一致收敛于 \( f(\theta) \)。
- 正定性:泊松核 \( P_r(\phi) > 0 \) 对所有 \( r \in [0,1) \) 成立。
- 归一化:\( \frac{1}{2\pi} \int_0^{2\pi} P_r(\phi)\, d\phi = 1 \)。
应用场景
- 求解二维稳态热传导问题(温度分布)
- 复分析中构造解析函数的实部
- 信号处理中的低通滤波器设计
- 概率论中布朗运动的首达时间分析
交互演示(简化版)
点击下方按钮查看一个简单的泊松核示例(固定 \( r = 0.7 \)):