权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

計算機による解析学創設の可能性に関する基礎的研究

使用计算机创建分析的可能性的基础研究

基本信息

批准号：
13874020
负责人：
中尾充宏
金额：
$ 1.28万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Exploratory Research
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2003
项目状态：
已结题

项目摘要

本年度も前年度に引き続き、精度保証付き数値計算の応用と、数学解析の理論的考察に対する記号処理的接近の可能性について検討した。新たな計算機援用解析学構築の可能性を探るための検討を行った。即ち、偏微分方程式の解の存在に対する数値的検証において、その検証方式を従来の区間演算を用いて解く方法から、無限次元の意味でのノルム評価を用いる方式に変更して、検証の効率化を図った。また、このことによる解の存在検証における記号処理の活用方法への影響について考察し、将来の解の自動検証に向けての知見を得ることができた。具体的には、代表者(中尾)は、分担者渡部と協力して、下記の問題に関して、数値的検証(精度保証付き数値計算)の実現と数式処理技法の融合性について検討した。また、9月には中尾、渡部がドイツのミュンヘンで行われた精度保証関連の国際研究会に出席、講演し、関連研究者との討論を深めた。(1)非線形楕円型方程式の線形化逆作用素のノルム評価技法を、従来の検証方式の応用として実現し、それにもとづく検証の実例を与えその有効性を考察した。(2)1次元特異摂動問題の解に対する効率的な数値検証法を実現するとともに、その楕円型問題への拡張について検討した。(3)Navier-Stokes方程式と熱方程式に支配される熱対流問題の解の存在検証における数式処理技法の活用するとともにその実際的効用の評価を行った。また、分担者の吉川は、以下の知見を得た。(1)解析学の特徴の超限的手法の背後にあるアルゴリズム構造の例証発掘の過程の一つとして、準線形保存則の初期値問題のエントロピー解の計算可能性構造の検証を行った.また,この話題につき,内外の研究者と討議して,知見を深化させることができた.(2)数式処理ソフトMapleを用いて双曲型保存系のエントロピー解構成システムを実現した。

In the previous year of this year, the introduction of the previous year, the accuracy of calculation, mathematical analysis, and the theory of mathematical analysis are close to the theory of possibility. The new computing machine is used to explore the possibility of analysis. That is, the partial differential equation can be solved by using the numerical solution of the partial differential equation, that is, in the solution of the partial differential equation, there is a numerical solution of the partial differential equation, and the numerical solution of the partial differential equation means that the numerical solution of the partial differential equation and partial differential equation can be used to solve the differential equation. In the future, the automatic communication system will inform you that you will be informed. The specific data, the representative (middle and tail), the distributor, the next problem, and the calculation of the number (precision guaranteed to pay for the calculation) show the mathematical formula, the integration of mathematical techniques and techniques. In September, in the middle of the month, in the middle of the month, the ferry department will attend, perform, and discuss the depth of the international research conference. The main results are as follows: (1) the non-linear equation is characterized by formalization, inverse action, technique, technique, method, and so on. (2) the numerical simulation method of the failure rate of one-dimensional special operation problem solving is used to show that the failure rate of one-dimensional special problem solving problem is different. (3) the Navier-Stokes equation dominates the solution of the flow problem. There is a mathematical method to solve the problem. The share is Yoshikawa, and the following is a good idea. (1) Analytical methods to solve problems in the initial stage of linear saving method, the possibility of solving the problem in the initial stage of the problem, the possibility of calculation and calculation. In this paper, the problem is discussed, and the internal and external researchers are concerned about the problem. (2) the mathematical equation is analyzed by using the hyperbolic Maple system.