Art

J-GLOBAL ID：200902125552822640   Reference number：99A0419390

A Numerical Method to Prove the Existence of Solutions for Ordinary Differential Equations Using H₁ norm.

Sobolevノルムによる非線形常微分方程式の解の存在検証法

Author (6)： MIYATA TAKATOMI (早稲田大 理工) ,  SOUMA TAKAO (早稲田大 理工) ,  KANZAWA YUUCHI (早稲田大 理工) ,  KASHIWAGI MASAHIDE (早稲田大 理工) ,  OISHI SHIN'ICHI (早稲田大 理工) ,  HORIUCHI KAZUO (早稲田大 理工)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 98  Issue： 662(NLP98 111-121)  Page： 15-21  Publication year： Mar. 17, 1999 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *ordinary differential equation ,...
Semi thesaurus term： non-linear differential equation

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0419390&from=J-GLOBAL&jstjournalNo=S0532B") }}

JST classification (1)： Numerical computation  (JE02000J)

Reference (5)：

• URABE, Minoru. Garelkin's procedure for nonlinear periodic systems. Arch. Rational Mech. Anal. 1965, 20, 120-152
• OISHI, Shin'ichi. Numerical Verification of Existence and Inclusion of Solutions for Nonlinear Operator Equations. J. Computational and Applied Math. 1995, 60
• KANZAWA, Yuchi. A Numerical Method to Prove the Existence of Solutins for Nonlinear Operator Equations. 1997 International Symposium on Nonlinear Theory and its Applications. 1997
• 大石進一. 非線形解析入門. 1997, 122-127, 173-191
• MIYATA, Takatomi. A Numerical Method to Prove the Existence of Solutions for Ordinary Differential Equations. 1998 International Synposium on Nonlinear Theory and its Applications. 1998

Terms in the title (5)： ノルム ,  非線形 ,  常微分方程式 ,  解 ,  検証