Skip to content

方法Method

无界区域的有理 Chebyshev 方法

Rational Chebyshev method

以有理映射把半轴变成有限区间,显式变换导数并检查尺度、无穷远条件和解析性变化。

形式陈述 ​

半无限区间 x∈[0,∞) 怎样使用有限区间的 Chebyshev 工具?选择尺度 L>0,用

y=x−Lx+L,x=L1+y1−y

把它映到 y∈[−1,1)。定义有理 Chebyshev 基 Rn(x)=Tn((x−L)/(x+L)),则 u(x)≈∑n=0NanRn(x) 等价于对映射后的函数作Chebyshev 逼近。

由链式法则,令 a(y)=(1−y)2/(2L),有

ddx=a(y)ddy,d2dx2=(1−y)44L2d2dy2−(1−y)32L2ddy.

二阶算子包含额外一阶项,不能只把一阶尺度平方。端点 y=1 代表无穷远,应通过极限施加条件,而非实际计算一个无穷大网格坐标。

直觉

映射把靠近原点的区域展开,把远处越来越长的区间压向 y=1。尺度 L 决定节点主要照顾多大长度范围。选得太小,远场细节会挤在极窄端点附近;选得太大,原点附近的快速变化又缺少分辨率。

“无穷区间变成有限区间”解决了几何表示,收敛速度仍由映射后函数的光滑与解析性质决定。

例子与边界

取 u(x)=1/(1+x)。若 L=1,则映射后 u=(1−y)/2,只需 R0,R1 两个基函数便精确表示整个半轴。原点值为一,无穷远极限为零,二者在有限区间端点上都有明确含义。

若改取 L=2,同一函数变成 (1−y)/(3+y),在复 y 平面的极点为 −3。它仍很适合几何收敛的多项式逼近,但已不再是一次多项式。尺度选择实际改变了最近奇点的映射位置,因此也改变系数衰减。

对 u(x)=e−x,映射后为 exp⁡[−L(1+y)/(1−y)]。在实端点 y=1 可平滑延拓为零,却在复平面该点有本性奇点。不能直接套用“某个 Bernstein 椭圆内解析”的几何收敛定理;需要对应的端点正则性或更细的渐近分析。

推论与应用

求解时先选映射和尺度,变换微分算子与边界条件,再用有限区间谱离散。若使用积分,也要带上 Jacobian dx/dy=2L/(1−y)2。映射后的端点放大可能改变可积性或数值条件,原函数衰减率必须一并检查。

单元练习:验证谱精度与它的边界 ​

对周期函数 u(x)=esin⁡x,在奇数等距网格上用 Fourier 乘子计算 u′=esin⁡xcos⁡x。对边值问题 −v″=−ex、v(±1)=0,用 Chebyshev 配点求解;其精确解是 v=ex−cosh⁡1−xsinh⁡1。再计算七点网格上 cos2⁡(3x) 的混叠,说明如何去除。

可下载本单元的 Python/NumPy 复算脚本和本次实际运行结果。保存脚本后运行 python foundation-spectral-capstone.py,会重新计算两组误差、七点混叠及十点去混叠,并执行相应数值断言;脚本仅依赖 NumPy,不需要联网。

以 binary64 节点最大绝对误差核验:周期网格点数 9,17,33 时,导数误差约为 4.95×10−3,1.89×10−7,4.66×10−15。非周期问题使用次数 8,12,16 时,节点解误差约为 6.55×10−9,1.52×10−14,2.33×10−15;不同计算库最后几位可以变化。结果先迅速下降,随后到达舍入平台。

混叠部分应得到错误低频 12+12cos⁡x;补到至少十点并截取 |k|≤3 后得到正确投影 1/2。验收还须说明:端点不匹配的周期延拓会引入跳跃;不光滑数据只支持较慢收敛;时间推进误差、线性求解误差与混叠都应和空间逼近误差分开检查。

参考资料
关系图谱6 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系

使用的工具