関数方程式に対する自己検証的数値計算法

函数方程自验证数值计算方法

• 批准号: 02804007
• 负责人: 中尾 充宏
• 金额: $ 0.83万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1990
• 资助国家: 日本
• 起止时间: 1990 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-02804007/
• 关键词: 楕円型境界値問題; 有限要素法; 誤差評価; 精度保証付き計算法

本年度は特に偏微分方程式の解の存在、一意性および存在範囲の特定を計算機によって数値的に検証する方法として、非線形楕円型境界値問題と放物型初期値境界値問題を対象に検討した。これまでの研究成果をもとに、検証可能な方程式の範囲の拡大を図り、得られた検証法を、実際に物理学や生物数学上に登場する具体的方程式に対し適用することにより、その有効性を評価すると共に、手法の改良を行った。研究内容と成果は以下の通りである。1.非線形楕円型境界値問題の検証を行う場合、従来のL^2理論に基く方法では高々多項式オ-ダ-の非線形性にしか対応できなかったが、非線形項のTaylor展開を考えることによりこれを克服できることがわかった。例えば指数関数的な非線形性を持つ方程式の検討にもL^2理論で対応できることを明らかにし、具体的適用例として方程式:-Δu=λe^uの解の検証を行った。2.生物数学に現れる反応拡散系の定常問題を記述する非線形楕円型方程式:-Δu=λu(1ーu)(uーa)を対象として解の検証を試み、検証方式の実用性の評価を行った。その過程において従来方式の問題点が明らかにされ、その点を改良することにより効率良い検証アルゴリズムが得られ、有効性が高められた。3.非線形発展方程式に対する検証法について検討した。先ず準線形放物形方程式に対する初期値境界値問題の解をコンパクト作用素の不動点として定式化し、RoundingとRounding・errorの概念に基づく検証条件を明らかにし、具体的な近似空間を設定して検証手順と検証例とを与えた。4.非線形常微分方程式の2点境界値問題に対しても、より効率の良い検証法を開発した。

This year は の に partial differential equation is の solution, meaning a sexual お よ び exist van 囲 の specific を computer に よ っ て of the numerical に 検 card す る method と し て, nonlinear 楕 type has drifted back towards &yen; boundary numerical problem と put content on early numerical boundary numerical problem を like に seaborne beg し 検 た. こ れ ま で の research を も と に, 検 certificate may な equation is の van 囲 の company, big を 図 り, ら れ た 検 proofs を, be interstate に や biological mathematical physics に appearance す る specific equation に し seaborne applicable す る こ と に よ り, そ の have sharper sex を review 価 す る と に, total line technique improved の を っ た. Research content と results と the following is a summary of と である. Type 1. Nonlinear 楕 has drifted back towards &yen; boundary numerical problem の 検 line card を う occasions, 従 to の L ^ 2 theoretical base に く で は high 々 polynomial オ ダ - の nonlinear sex に し か 応 seaborne で き な か っ た が, nonlinear の Taylor expansion を exam え る こ と に よ り こ れ を overcome で き る こ と が わ か っ た. The number of cases え ば index masato な nonlinear sex を hold つ equation is の beg に 検 も L ^ 2 theory で 応 seaborne で き る こ と を Ming ら か に し, the case shall be applicable to the specific of the と し て equation: - Δ u = lambda e ^ u の solution の 検 line card を っ た. 2. The biomathematics に now れ る anti 応 company, dispersion is の stationary problem を account す る nonlinear 楕 has drifted back towards &yen; type equation: - Δ u = lambda u (1 ー u) (u ー a) を like と seaborne し て solution の 検 syndrome を try み, 検 way の be use sex の review 価 を line っ た. そ の process に お い て 従 の way to point が Ming ら か に さ れ, そ の point を improved す る こ と に よ り sharper rate good い 検 card ア ル ゴ リ ズ ム が have ら れ high, have a sharper が め ら れ た. 3. The nonlinear development equation に proves the する検 method に て検 て検 て検 for た. First put the shape ず quasi linear equations に す seaborne る early on numerical boundary numerical problem の solution を コ ン パ ク ト role element の fixed point と し て demean し, Rounding と, Rounding error, の concept に base づ く 検 card conditions を Ming ら か に し, concrete な approximation space を set し て 検 card hand shun と 検 card case と を and え た. 4. The two-point boundary value problem of the nonlinear ordinary differential equation に for the <s:1> て <e:1> and よ of the <s:1> efficiency <s:1> of the <s:1> good <s:1> proof method を develops た た.

项目成果

Yasuo Kawahara: "Existence of the characteristic numbers associated with cellular automata with local transition rule 90." Bull.Inform.Cybernet.(1991)

Yasuo Kawahara：“存在与局部转移规则 90 的元胞自动机相关的特征数。”

Hiroshi Ohtsuka: "Comparison of two categorical models of typed λーcalculus." Bull.Inform.Cybernet.(1991)

Hiroshi Ohtsuka：“类型化 λ 演算的两种分类模型的比较。”Bull.Inform.Cyber​​net。（1991）

中尾 充宏: "精度保証付き数値計算の現状と動向" 情報処理学会誌. 31. 1177-1190 (1990)

Mitsuhiro Nakao：“保证精度的数值计算的现状和趋势”日本信息处理学会杂志 31. 1177-1190 (1990)。