Sobolevノルムによる非線形常微分方程式の解の存在検証法
スポンサーリンク
概要
- 論文の詳細を見る
周期解を有する非線形常微分方程式の解の存在についてはこれまで多くの検討がなされている. 本報告では非線形常微分方程式にある近似解を与えたときに, その近似解の近傍に厳密解が存在するための一つの十分条件をSobolevノルム評価によって示す. また, 実際に本報告の手法によって解の存在判定に成功した例を示す.
- 社団法人電子情報通信学会の論文
- 1999-03-17
著者
-
柏木 雅英
早稲田大学
-
大石 進一
早稲田大学 理工学術院 基幹理工学部 応用数理学科
-
宮田 孝富
早稲田大学理工学部
-
堀内 和夫
早稲田大学
-
大石 進一
早稲田大 理工学術院
-
相馬 隆郎
東京都立短期大学経営情報学科
-
堀内 和夫
早稲田大
-
相馬 隆郎
早稲田大学 理工学部
-
神沢 雄智
早稲田大学 理工学部
-
神沢 雄智
芝浦工業大学
-
大石 進一
早稲田大学
関連論文
- GPUを利用した非線形方程式の並列全解探索法(実用)
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 行列式が1の3次整数行列の一生成法
- 行列式の精度保証付き数値計算法
- 数値シミュレーションの精度保証と信頼性(シミュレーションと信頼性)
- 線形計画問題の最適解の精度保証(カオスの通信への応用,局在振動,一般)
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- 精度保証付き数値計算法の最近の到達点とMATLAB上のツールボックス
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- C++による精度保証付き数値計算ライブラリ
- C++と浮動小数点数による精度保証付き数値計算ライブラリ
- 実用化されつつある高品質数値計算とその画期的な応用
- Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)
- 非線形関数方程式の精度保証付き数値計算法
- 非常に大きな条件数をもつ整数行列の一生成法
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 線形抵抗回路の動作点の数値的精度保証法
- 線形抵抗回路の動作点の数値的精度保証法
- 行列式が1の3次整数行列の一生成法
- 線形受動抵抗回路の解の精度保証について
- 同期技術と同期現象
- あるクラスのphase modelのダイナミクスについて : 同期/非同期の臨界状態
- Dynamical Theory on Mutually Connected PLL's
- 多くのパラメータをもつダイナミカルシステムの特異点解析
- 複素時間から見た非線形回路のpower spectrum
- 複素時間からみた非線形回路 : Phase-Locked Loopsの場合
- 座談会「応用数理と私」
- 線形受動抵抗回路の解の回路構造に基づいた精度保証について (回路とシステム)
- GPGPUによる非線形方程式の全解探索法
- A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
- A-2-23 アフィン演算を利用した非線形方程式の解の存在検証(A-2. 非線形問題)
- 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
- 有限ステップで停止する全解探索アルゴリズムの改良について : Newton法の修正量を利用した改良法
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-5 非線形方程式の全解探索問題におけるAffine Arithmeticを用いた非存在領域の除去法
- A-2-2 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
- 非線形方程式の解の非存在検証法の効率化
- 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
- 線形計画法を用いた非線形方程式の解の非存在検証法
- 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
- 最適化手法による非線形方程式の解の非存在性の数値的検証法
- 高分子溶液の多相平衡に関する非線形方程式の全解探索
- 有理数演算を用いたパラメータ依存非線形方程式の解の区間反復改良
- 円形複素領域を用いた非線形方程式の解の精度保証付き数値計算
- 非線形方程式の複素数解の精度保証付き数値計算
- 非線形常微分方程式の近似的特異解の精度保証付き数値計算
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- 精度保証付き数値計算法を用いた非線形方程式の解曲線の存在検証法
- 化学平衡系の非線形方程式の精度保証付き数値計算
- 非線形方程式の近似的特異解とその数値的存在検証法(科学技術における数値計算の理論と応用II)
- 非線形方程式の特異解の精度保証付数値計算について II
- 数理計画法に基づいた非線形方程式の解の非存在の数値的検証法
- 区分線形系微分方程式の周期解と分岐点の精度保証について
- ある分岐点の精度保証つき数値計算法
- 非線形方程式の特異解の精度保証付数値計算について
- 線形計画法を用いた非線形方程式の精度保証つき全解探索
- 線形計画法を用いた非線形方程式の精度保証付き全解探索
- 精度保証付数値計算法を用いた非線形方程式の解曲線の存在検証法
- 有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法(非線形問題の数値解析)
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- 複素解析を用いた高速精度保証付き自動積分法
- アフィン演算を用いた常微分方程式の初期値問題の精度保証付き解法
- アフィン演算の実装方法について(通信と非線形特集及び一般)
- アフィン演算における乗除算について
- アフィン演算における最良乗算について
- ベキ級数演算技法を用いた不定積分の精度保証付き数値計算
- A-21 Affine Arithmeticにおける最良乗算の実現(数値計算,A.アルゴリズム・基礎)
- A-2-24 倍角公式を用いた三角関数の精度保証
- A-2-22 ベキ級数演算を用いた精度保証付き不定積分
- A-2-4 アフィン演算における多項式の評価について
- A-2-3 Affine Arithmeticにおける除算の改良について
- アフィン演算を援用した多項式の値域の評価について
- アフィン演算の乗算について
- A-2-4 ベキ級数演算を用いた常微分方程式の長時間積分
- A-2-3 Affine Arithmeticの除算について
- A-2-2 Affine Arithmeticの乗算について
- アフィン演算における最良乗算の除算への応用(通信と非線形特集及び一般)
- 平均値形式とアフィン演算を用いた常微分方程式の精度保証法
- A-2-1 アフィン演算における最良乗算を使用した除算について
- A-2-23 Affine Arithmeticにおける除算の新手法について
- A-2-3 区間演算による多項式の値域の評価について
- 多項式の値域の区間評価について
- アフィン演算を用いた三角形-光線交差の精度保証
- D-12-32 パーティクルシステムを用いた紙の燃焼のシミュレーション
- D-12-62 粒子系を用いた自由形状変化を持つ水滴のモデリング
- 平均値形式とアフィン演算を用いた常微分方程式の精度保証法(理論)
- 区間解析
- 「区間解析と精度保証付き数値計算」特集にあたって
- パラメータ依存方程式の全解探索アルゴリズム
- A-2-5 平均値形式を用いた解の非存在領域の除去法
- D-11-100 分布関数によるポリゴンオブジェクト間の融合接続の一手法