证明
满足微分方程
先规划验证思路。 要确认一个候选解,就把它求两次导数、代回方程,再检查左边是否恒等于零 —— 对所有 都为零,而不只是在几个抽样点上为零。
求一次导数,用链式法则。 内层函数是 ,它的导数是 ,所以每一项都带出一个因子 :
注意符号的互换: 求导得 ,而 求导得 。
再求一次导数。 每一项又带出一个因子 ,符号再互换一次:
所以求两次导数正好产生 并整体反号 —— 这是正弦、余弦的标志性特征。
提出 −k² 后认出原函数。
因为括号里的东西恰好就是 。
代回方程。
这个恒等式对所有 、所有 都成立,所以这个函数确实是解。
说明它在物理上和结构上的含义。 就是简谐运动方程,而 张成了它整个二维解空间 —— 所以 是其中两个系数都等于 的那个成员。它可以改写成振幅—相位形式 ,由此看出振幅是 、周期是 。
做数值验证。 取 ,用步长 的二阶中心差分算出的 ,在 处与 在四位有效数字上吻合 ✓;振幅—相位改写形式在每个测试点上都与原式一致 ✓。
Need to solve a different problem like this? Open the solver →