28: なぜ、ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)ODEに対してローカル解の存在がグローバルな存在を保証しないか
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
なぜ、ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)ODEに対してローカル解の存在がグローバルな存在を保証しないかの記述
話題
About:
ノルム付きベクトルたちスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、なぜ、ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)常微分方程式に対してローカル解の存在がドメイン(定義域)インターバル(区間)全体に対するグローバル解の存在を保証しないか理解する。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
あるユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)常微分方程式が、インターバル(区間)内の各ポイント周りで、初期条件、ここで、は内の任意の値、でもって、あるクローズド(閉)インターバル(区間)、ここで、はそれがおよびに依存することを意味する、に対してローカルユニーク解を持つための条件たちを満たしていると仮定しよう。それは、全体に対するグローバル解の存在を保証しない。なぜか?における初期条件によるローカル解を得て、次に、におけるの値を使った初期条件による接続された次のローカル解を得て、拡張された解を得て、等々と続ける。しかし、問題は、がそのうちに達するという保証がないことで、それはなぜなら、それはある値に収束し、当該解を全体まで拡張することに失敗するかもしれない. . . 。しかし、なぜ、私たちは、リミットポイント(限界点)におけるある初期条件によるあるローカル解を得てあるインターバル(区間)を得ないのか?... しかし、とは実際に何なのか?はまで拡張されていないから、それはとは選べず、当該ローカル解をそれまで拡張された解にそれまで拡張されたドメイン(定義域)上で合致させるようなあるがあるという保証もない(注意として、ローカル存在はにおける任意の初期値が実現されることを保証するのであって、別のポイントにおける任意の値が実現されることを保証するのではない)。
2: 注
グローバル解の存在を保証する1つの十分条件は、における可能な値たちのセット(集合)とにおける可能な値たちのセット(集合)間のマップ(写像)のバイジェクティブ(全単射)性、ここで、およびは内の任意のポイントたち、であり、それは、ローカル解が、完全には拡張されていない解へ接続可能であることを保証する。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>