格林函数法在亥姆霍兹方程中的应用
我们先从最基础的概念开始。格林函数法是一种强大的工具,用于求解非齐次线性微分方程,其核心思想是将一个复杂的“源项”(即方程的非齐次项)所产生的影响,看作是许多点源产生影响的叠加。为了理解它如何应用于亥姆霍兹方程,我们需要一步步构建知识体系。
第一步:回顾亥姆霍兹方程及其物理背景
亥姆霍兹方程是波动方程在单频(时谐)情况下的简化形式。考虑标准的波动方程:
\[ \frac{\partial^2 u}{\partial t^2} = c^2 \nabla^2 u \]
如果我们假设解是时谐的,即 \(u(\mathbf{r}, t) = U(\mathbf{r}) e^{-i\omega t}\),将其代入波动方程,并消去公因子 \(e^{-i\omega t}\),就得到了亥姆霍兹方程:
\[ (\nabla^2 + k^2) U(\mathbf{r}) = 0 \]
其中,\(k = \omega/c\) 是波数。
然而,当存在外部源(如声源、电流源等)时,方程变为非齐次亥姆霍兹方程:
\[ (\nabla^2 + k^2) U(\mathbf{r}) = -f(\mathbf{r}) \]
这里的 \(f(\mathbf{r})\) 描述了源在空间中的分布。我们的目标就是求解这个带有源项的方程。
第二步:引入格林函数的概念——点源响应
格林函数 \(G(\mathbf{r}, \mathbf{r}')\) 是非齐次亥姆霍兹方程在一个理想化点源激励下的解。这个点源由狄拉克δ函数描述,它表示在空间点 \(\mathbf{r}'\) 处有一个单位强度的源。因此,格林函数满足的方程是:
\[ (\nabla^2 + k^2) G(\mathbf{r}, \mathbf{r}') = -\delta(\mathbf{r} - \mathbf{r}') \]
这里,\(\nabla^2\) 是对观测点坐标 \(\mathbf{r}\) 进行的拉普拉斯算符。这个方程的意义在于:格林函数 \(G(\mathbf{r}, \mathbf{r}')\) 精确地描述了位于 \(\mathbf{r}'\) 的点源在 \(\mathbf{r}\) 点产生的场。
第三步:从点源响应到任意源响应——叠加原理
线性方程的解满足叠加原理。一个分布源 \(f(\mathbf{r})\) 可以看作是空间中无数个点源的叠加。具体来说,位于 \(\mathbf{r}'\) 的点源强度为 \(f(\mathbf{r}') d^3\mathbf{r}'\)。由于方程是线性的,这个点源在 \(\mathbf{r}\) 点产生的场就是 \(f(\mathbf{r}') G(\mathbf{r}, \mathbf{r}') d^3\mathbf{r}'\)。
那么,整个分布源 \(f(\mathbf{r})\) 产生的总场,就是将所有这些点源的贡献在整个源分布区域 \(V\) 上积分起来:
\[ U(\mathbf{r}) = \int_V f(\mathbf{r}') G(\mathbf{r}, \mathbf{r}') d^3\mathbf{r}' \]
你可以直接验证,将这个表达式代入非齐次亥姆霍兹方程,利用δ函数的性质,确实能得到 \(-f(\mathbf{r})\)。这个公式给出了非齐次方程的一个特解。
第四步:考虑边界条件——格林公式与积分表示
上一步得到的特解是在自由空间(无穷大空间)中成立的。然而,大多数物理问题存在边界(如障碍物、腔体边界等),此时解必须满足特定的边界条件(如狄利克雷边界条件 \(U|_S = g\) 或诺伊曼边界条件 \(\partial U/\partial n |_S = h\))。
为了得到满足边界条件的解,我们需要运用格林第二恒等式。对于任意两个足够光滑的函数 \(U\) 和 \(G\),在体积 \(V\) 内有:
\[ \int_V (U \nabla'^2 G - G \nabla'^2 U) d^3\mathbf{r}' = \oint_S \left( U \frac{\partial G}{\partial n'} - G \frac{\partial U}{\partial n'} \right) dS' \]
这里,\(S\) 是体积 \(V\) 的边界曲面,\(\partial / \partial n'\) 是沿边界外法线方向的导数。
现在,我们令上式中的 \(U\) 是我们要求的满足 \((\nabla^2 + k^2)U = -f\) 的解,而 \(G\) 是格林函数,满足 \((\nabla^2 + k^2)G = -\delta(\mathbf{r}-\mathbf{r}')\)。将两个方程代入格林恒等式,经过化简,我们得到亥姆霍兹方程解的积分表示:
\[ U(\mathbf{r}) = \int_V f(\mathbf{r}') G(\mathbf{r}, \mathbf{r}') d^3\mathbf{r}' + \oint_S \left[ U(\mathbf{r}') \frac{\partial G(\mathbf{r}, \mathbf{r}')}{\partial n'} - G(\mathbf{r}, \mathbf{r}') \frac{\partial U(\mathbf{r}')}{\partial n'} \right] dS' \]
这个公式非常深刻!它告诉我们,区域 \(V\) 内任意一点 \(\mathbf{r}\) 的场 \(U(\mathbf{r})\) 由两部分贡献组成:
- 体积分项:来自区域内部源 \(f(\mathbf{r}')\) 的贡献,即我们第三步得到的特解。
- 面积分项:来自边界 \(S\) 上场的值 \(U(\mathbf{r}')\) 和其法向导数 \(\partial U/\partial n'\) 的贡献。这体现了边界条件对内部场的影响。
第五步:选择适当的格林函数以简化问题
上面的积分表示中同时包含了边界上的 \(U\) 和 \(\partial U / \partial n\)。但通常边界条件只给定其中之一(例如狄利克雷条件只给定 \(U|_S\),诺伊曼条件只给定 \(\partial U/\partial n|_S\))。为了消去未知的边界量,我们可以巧妙地选择格林函数 \(G\) 本身满足某些齐次边界条件。
- 狄利克雷格林函数 \(G_D\):选择 \(G_D\) 在边界 \(S\) 上满足齐次狄利克雷条件,即 \(G_D(\mathbf{r}, \mathbf{r}')|_{\mathbf{r}'\in S} = 0\)。将其代入第四步的积分表示式,面积分中含 \(U\) 的项因为 \(G_D=0\) 而消失,解变为:
\[ U(\mathbf{r}) = \int_V f(\mathbf{r}') G_D(\mathbf{r}, \mathbf{r}') d^3\mathbf{r}' - \oint_S g(\mathbf{r}') \frac{\partial G_D(\mathbf{r}, \mathbf{r}')}{\partial n'} dS' \]
这里 \(U|_S = g\) 是已知的边界条件。现在解只依赖于已知的源 \(f\) 和已知的边界值 \(g\)。
- 诺伊曼格林函数 \(G_N\):选择 \(G_N\) 在边界 \(S\) 上满足齐次诺伊曼条件,即 \(\frac{\partial G_N(\mathbf{r}, \mathbf{r}')}{\partial n'}|_{\mathbf{r}'\in S} = 0\)。代入积分表示式后,面积分中含 \(\partial U/\partial n\) 的项消失,解变为:
\[ U(\mathbf{r}) = \int_V f(\mathbf{r}') G_N(\mathbf{r}, \mathbf{r}') d^3\mathbf{r}' + \oint_S h(\mathbf{r}') G_N(\mathbf{r}, \mathbf{r}') dS' \]
这里 \(\partial U/\partial n|_S = h\) 是已知的边界条件。
通过选择具有特定边界性质的格林函数,我们将复杂的偏微分方程边值问题转化为了求解一个积分方程的问题,这通常在数学上和数值上更易处理。
总结
格林函数法在亥姆霍兹方程中的应用是一个系统性的过程:从理解点源响应(格林函数本身)出发,利用线性叠加原理得到分布源的体积分解,再通过格林公式将边界的影响以面积分的形式纳入考量,最后通过为格林函数赋予适当的边界条件来简化最终的解表达式。这种方法不仅提供了清晰的物理图像(场是所有点源和边界影响的叠加),也是解决许多波传播、散射和辐射问题的理论基础。