MathLabs
定理已证明

波动能量守恒

命题陈述

设 u(x,t)u(x,t) 是 [0,L][0,L] 上满足固定端边界条件 u(0,t)=u(L,t)=0u(0,t)=u(L,t)=0 的波动方程 utt=c2uxxu_{tt}=c^2 u_{xx} 的解。总能量 E(t)=12∫0L(ut2+c2ux2)dxE(t) = \tfrac{1}{2}\int_0^L \left(u_t^2 + c^2 u_x^2\right)dx 是常数:对所有 t>0t>0 都有 E′(t)=0E'(t)=0。

为什么成立?

能量由两部分组成:动能 12∫ut2 dx\tfrac12\int u_t^2\,dx(质量运动)和弹性势能 12c2∫ux2 dx\tfrac12 c^2\int u_x^2\,dx(弦被拉伸)。波动方程以相同的速率将动能转化为弹性势能,又将弹性势能转化回动能,保持总量不变——就像钟摆在动能和势能之间无损地相互转换。

证明思路

对 E(t)E(t) 在积分号下求导:E′(t)=∫0L(ututt+c2uxuxt)dxE'(t) = \int_0^L \left(u_t u_{tt} + c^2 u_x u_{xt}\right)dx。

将波动方程 utt=c2uxxu_{tt}=c^2 u_{xx} 代入,得 E′(t)=∫0L(c2utuxx+c2uxuxt)dx=c2∫0L(utuxx+uxuxt)dxE'(t) = \int_0^L \left(c^2 u_t u_{xx} + c^2 u_x u_{xt}\right)dx = c^2\int_0^L \left(u_t u_{xx} + u_x u_{xt}\right)dx。注意被积函数恰好是 ∂∂x(utux)\tfrac{\partial}{\partial x}(u_t u_x),故 E′(t)=c2[utux]0LE'(t) = c^2\Big[u_t u_x\Big]_0^L。

应用固定端边界条件 u(0,t)=u(L,t)=0u(0,t)=u(L,t)=0,对边界条件关于 tt 求导得 ut(0,t)=ut(L,t)=0u_t(0,t)=u_t(L,t)=0。因此 E′(t)=c2(ut(L,t)ux(L,t)−ut(0,t)ux(0,t))=0E'(t) = c^2\big(u_t(L,t)u_x(L,t) - u_t(0,t)u_x(0,t)\big) = 0,从而对所有 t≥0t\ge 0,E(t)=E(0)E(t)=E(0) 为常数。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Lawrence C. Evans (2010). Partial Differential Equations · DOI:10.1090/gsm/019
  2. Walter A. Strauss (2008). Partial Differential Equations: An Introduction
  3. Jean le Rond d'Alembert (1747). Recherches sur la courbe que forme une corde tendue mise en vibration