2022年2月13日日曜日

28: なぜ、ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)ODEに対してローカル解の存在がグローバルな存在を保証しないか

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

なぜ、ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)ODEに対してローカル解の存在がグローバルな存在を保証しないかの記述

話題


About: ノルム付きベクトルたちスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、なぜ、ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)常微分方程式に対してローカル解の存在がドメイン(定義域)インターバル(区間)全体に対するグローバル解の存在を保証しないか理解する。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


あるユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)常微分方程式dxdt=f(x,t)が、インターバル(区間)[t1,te]内の各ポイントt0周りで、初期条件x(t0)=x0、ここで、x0Rd内の任意の値、でもって、あるクローズド(閉)インターバル(区間)[t0ϵt0,x0,1,t0+ϵt0,x0,2]、ここで、ϵt0,x0,iはそれがt0およびx0に依存することを意味する、に対してローカルユニーク解を持つための条件たちを満たしていると仮定しよう。それは、[t1,te]全体に対するグローバル解の存在を保証しない。なぜか?t1における初期条件によるローカル解x(t):[t1ϵt1,x1,1,t1+ϵt1,x1,2]Rdを得て、次に、t2=t1+ϵt1,x1,2におけるx(t2)の値を使った初期条件による接続された次のローカル解を得て、拡張された解x(t):[t1,t2+ϵt2,x(t2),2]を得て、等々と続ける。しかし、問題は、ti+ϵti,x(ti),2がそのうちteに達するという保証がないことで、それはなぜなら、それはある値tl<teに収束し、当該解を[t1,te]全体まで拡張することに失敗するかもしれない. . . 。しかし、なぜ、私たちは、リミットポイント(限界点)tlにおけるある初期条件によるあるローカル解を得てあるインターバル(区間)[tlϵtl,xtl,1,tl+ϵtl,xtl,2]を得ないのか?... しかし、xtlとは実際に何なのか?xtlまで拡張されていないから、それはx(tl)とは選べず、当該ローカル解をそれまで拡張された解にそれまで拡張されたドメイン(定義域)上で合致させるようなあるxtlがあるという保証もない(注意として、ローカル存在はtlにおける任意の初期値が実現されることを保証するのであって、別のポイントにおける任意の値が実現されることを保証するのではない)。


2: 注


グローバル解の存在を保証する1つの十分条件は、tiにおける可能な値たちのセット(集合)とtjにおける可能な値たちのセット(集合)間のマップ(写像)x(ti)x(tj)のバイジェクティブ(全単射)性、ここで、tiおよびtj[t1,t2]内の任意のポイントたち、であり、それは、[tlϵtl,xl,1,tl+ϵtl,xl,2]ローカル解が、完全には拡張されていない解へ接続可能であることを保証する。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>