高斯-埃尔米特求积公式在带边界层函数积分中的应用
题目描述
考虑计算积分 \(I = \int_{-\infty}^{\infty} e^{-x^2} f(x) \, dx\),其中被积函数包含指数衰减权函数 \(e^{-x^2}\) 和一个具有边界层特性的函数 \(f(x)\)。边界层函数在局部区域(如 \(x = 0\) 附近)变化剧烈,而在其他区域平滑。例如,\(f(x) = \tanh(kx)\)(\(k \gg 1\) 时在 \(x=0\) 处有陡峭变化)。目标是利用高斯-埃尔米特求积公式高效计算此类积分。
解题过程
-
高斯-埃尔米特求积公式基础
- 公式形式:\(\int_{-\infty}^{\infty} e^{-x^2} f(x) \, dx \approx \sum_{i=1}^n w_i f(x_i)\)。
- 节点 \(x_i\) 是埃尔米特多项式 \(H_n(x)\) 的根,权重 \(w_i = \frac{2^{n-1} n! \sqrt{\pi}}{n^2 [H_{n-1}(x_i)]^2}\)。
- 该公式对多项式精确到 \(2n-1\) 次,适合衰减型被积函数。
-
边界层函数的挑战
- 若直接应用公式,边界层(如 \(\tanh(kx)\) 在 \(x=0\) 的陡峭变化)可能导致节点分布不足以捕捉剧烈变化,需大量节点才能保证精度。
- 示例:设 \(k=100\),\(\tanh(100x)\) 在 \(|x| < 0.01\) 内从 -1 急剧变化到 1,而高斯-埃尔米特节点在原点附近较稀疏(尤其 \(n\) 较小时)。
-
变量替换技巧
- 引入变换 \(x = g(t)\),将边界层区域“拉伸”,使节点更密集地分布在变化剧烈处。
- 常用变换:
- 对数变换:若边界层在 \(x=a\) 处,令 \(x = a + c \cdot \text{sign}(t) \log(1 + |t|)\)(\(c\) 为尺度参数)。
- 双曲正弦变换:\(x = a + \frac{1}{k} \sinh(t)\),适用于对称边界层。
- 本例中边界层在 \(x=0\),尝试 \(x = \frac{1}{k} \sinh(t)\)。积分变为:
\[ I = \int_{-\infty}^{\infty} e^{-[\sinh(t)/k]^2} f\left( \frac{\sinh(t)}{k} \right) \cdot \frac{\cosh(t)}{k} \, dt. \]
- 新被积函数 \(e^{-[\sinh(t)/k]^2} f(\sinh(t)/k) \cdot \cosh(t)/k\) 在 \(t\)-空间更平滑,便于高斯-埃尔米特公式采样。
- 变换后的积分处理
- 变换后的积分仍为 \((-\infty, \infty)\) 区间,但权函数 \(e^{-t^2}\) 不再显式存在。需重新表述为高斯-埃尔米特标准形式:
\[ I = \int_{-\infty}^{\infty} e^{-t^2} \left[ e^{t^2 - [\sinh(t)/k]^2} f\left( \frac{\sinh(t)}{k} \right) \frac{\cosh(t)}{k} \right] dt. \]
- 方括号内为新函数 \(h(t)\),若其足够平滑,则可用公式近似:
\[ I \approx \sum_{i=1}^n w_i h(t_i) = \sum_{i=1}^n w_i e^{t_i^2 - [\sinh(t_i)/k]^2} f\left( \frac{\sinh(t_i)}{k} \right) \frac{\cosh(t_i)}{k}. \]
- 注意:指数项 \(e^{t_i^2 - [\sinh(t_i)/k]^2}\) 可能数值不稳定(\(t_i\) 大时爆炸),需限制节点数 \(n\) 或采用缩放策略。
-
数值稳定化与节点数选择
- 当 \(k\) 很大时,\(\sinh(t)/k \approx t/k\) 对小 \(t\) 有效,但大 \(t\) 时需谨慎。实际计算中:
- 优先选择适度 \(n\),使最大节点 \(|t_i|\) 满足 \(e^{t_i^2}\) 不溢出。
- 若 \(k\) 极大,可分段积分:边界层内用高密度节点,外层用标准高斯-埃尔米特。
- 当 \(k\) 很大时,\(\sinh(t)/k \approx t/k\) 对小 \(t\) 有效,但大 \(t\) 时需谨慎。实际计算中:
-
误差控制
- 监控残差:比较 \(n\) 和 \(n+1\) 节点结果的差异,若小于容忍值则停止。
- 对于变换法,还需检查雅可比行列式 \(\cosh(t)/k\) 是否在节点处引入畸变。
总结
通过变量替换将边界层区域的陡峭变化“平滑化”,再利用高斯-埃尔米特公式的指数衰减权重特性,可显著减少所需节点数。关键是根据边界层位置和强度选择合适的变换,并确保数值稳定性。