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

力学系に対する厳密な位相-計算的方法

动力系统的精确拓扑计算方法

基本信息

批准号：
06F06039
负责人：
國府寛司
金额：
$ 0.64万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2006
资助国家：
日本
起止时间：
2006 至 2007
项目状态：
已结题

项目摘要

前年度に引き続き,ユークリッド空間のコンパクト集合上で定義された連続写像の定める力学系の多重パラメータ族の解析のための計算的方法を開発し,そのアルゴリズムとそれに関するいくつかの技術的問題を研究した.力学系の相空間の離散化は,ある固定した長方形格子に分割し,各格子長方形の像の格子を考えることで,元の写像を組み合わせ多価写像による囲い込みとして得られる,このような囲い込みは区間演算を用いた精度保証付き計算によって計算機で求められる.さらにこの組み合わせ多価写像を有向グラフとして表現することで,DFS(深さ優先探索)などの高速のグラフアルゴリズムを用いて力学系のConley-Morse分解が計算できる.それぞれのMorse集合に対する力学系的性質についての情報はそれらのConley指数として得られるが,その計算において,誘導される準同型写像の計算に工夫が必要となる.これは[P.Pilarczyk,K.Stolot]によって最近,確立した.力学系のパラメータ族における以上のような構造の持続性や変化をしらべるために,C++による効率的なアルゴリズムも開発した,それを用いるとMorse分解が計算され,そのパラメータの変化による持続性が計算機によって自動的に証明され,分岐についての情報が得られる.ここではCAPDライブラリやCHomPライブラリなどの高度なプログラムが用いられている.これを年齢構造を持つ生物個体数モデルとして知られるLeslieモデルに適用し,この方法の有効性を検討した.この結果については目下,論文を準備中である,一方で,このような力学系のグラフ表現に写像の微分の情報を付加することにより,より精密な力学系の情報が得られることがある.このようなアイディアに基づいて,区間上の2次関数の定める力学系の臨界点近傍の外での一様な拡大性を,上述のような計算機援用解析により示した.この結果は現在,投稿中である.

The previous year's definition of space, the definition of space, and the definition of the space of the previous year. The method of calculation of the calculation method of the analysis of the family を开発し, そのアルゴリズムとそれに关するいくつかのTechnical problems をResearch した.Power The discretization of the phase space of the department, the division of the fixed rectangular grid, the image of each grid rectangle, the image of the elementを组み合わせ多価WRits like による囲い込みとしてget られる, このような囲い込みは interval calculation を Use いた accuracy guaranteed to pay き calculationによってcomputer でquest められる.さらにこの集团み合わせ多価WRITING を有向グラフとしてexpression することで,DFS(deep さPrioritize exploration) などのHigh-speed のグラフアルゴリズムを Use the Conley-Morse decomposition of the Mechanics Department to calculate できる.それぞれのMorse set に対するThe properties of the mechanics department についてのInformation はそれらのConley index として got られるが, そのCalculation is necessary, induction is quasi-identical writing, calculation is necessary, and time is necessary [P.Pilarczyk, K.Sto lot]によって Recently, the establishment of the Mechanics Department's のパラメータ clan における above the のような structure の続性や剉化をしらべるために,C++によるefficient なアルゴリズムも开発した,それをcalculate using いるとMorse decomposition され,そのパラメータの変化によるhold続性がcomputer によってautomatic にproveされ, divergent information がgetられる.ここではCAPDライブラリやCHomPライブラリなどの高なプログラムが用いられている.これをyear-old structureをholdつnumber of organismsモデルとして知られるLeslie モデルにApplicable し, このmethodのeffectivenessを検 Discussionした.このRESULTSについてはUnder the heading, discussion The article is being prepared, である, 一方で, このようなMechanics Department, のグラフperformance, writing image, differential information, をpayplus, することにより, よりprecision Department of Mechanics' information and information, Department of Mechanics' Department of Mechanics' Department of Mechanics The boundary point is close to the outside of the 1様な拡大性を, and the above のようなcomputer reference analysis によりshows した.このRESULTS はNow, submission is in progress.