ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)ODEに対するインターバル(区間)上のユニークなグローバル解の存在に対する十分条件たちの記述/証明
話題
About: ノルム付きベクトルたちスペース(空間)
About: 微分方程式
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、任意のユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)常微分方程式に対する、任意の初期条件に対してインターバル(区間)全体上のユニーク解があるためのいくつかの十分条件たちの記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
//
ステートメントたち:
(
)
当該常微分方程式は
//
2: 自然言語記述1
任意のユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)
3: 証明1
そのように、
4: 注1
本命題のためには、そうしたあるバイジェクティブ(全単射)マップ(写像)が存在することが必要である。各ポイントの周りにあるローカル解があるというだけでは、グローバル解の存在は保障されない、別の記事に記述されているとおり。