2
ODEを証明可能な正しい数字に数値的に解くにはどうすればよいですか?
の形式の初期値問題があるとします whereは正確に(つまり無制限の精度で)既知であり、を効率的に評価できますを任意の精度に。つまり、ベクトルと整数与えられると、正しいことが保証された近似値を返すブラックボックスがあります。の時間多項式の桁。の近似値を取得するための実用的な方法があるかどうか知りたいX 0 ∈ R N F :R N → R nはX ∈ R nは M 、F (X)M M X(TとF)d xDトン= f(x)x(0)= x0dxdt=f(x)x(0)=x0 \frac{\mathrm{d} \mathbf{x}}{\mathrm{d} t} = f(\mathbf{x}) \qquad \mathbf{x}(0) = \mathbf{x}_0 バツ0∈ Rんx0∈Rn\mathbf{x}_0 \in \mathbb{R}^nf:Rん→ Rんf:Rn→Rnf: \mathbb{R}^n \to \mathbb{R}^nX ∈ Rんx∈Rn\mathbf{x} \in \mathbb{R}^nMMMf(x)f(x)f(\mathbf{x})MMMMMMx( tf)x(tf)\mathbf{x}(t_f)(ここでは特定の最終時間です)は、桁に間違いなく正しいです。Ntf∈ Rtf∈Rt_f \in \mathbb{R}NNN 明らかに、これはただの関数のために行うことはできませんあるため、大幅に変更され、真の解決策はなく、中にピックアップされていないことをいくつかのクレイジーな行動を持っているかもしれません評価の妥当な数。したがって、これを行うには、のどのような良好な動作条件(たとえば、すべての偏導関数が存在し、制限されているか、小さなリプシッツ定数など)が必要であることを知りたいと思っています。 f …