MathLabs
定理証明済み

波のエネルギー保存

内容

[0,L][0,L] 上で固定端境界条件 u(0,t)=u(L,t)=0u(0,t)=u(L,t)=0 を満たす波動方程式 utt=c2uxxu_{tt}=c^2 u_{xx} の解を u(x,t)u(x,t) とする。全エネルギー 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。

なぜ正しいのか?

エネルギーは2つの部分からなる。運動エネルギー 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