2016 Fiscal Year Research-status Report
特殊関数における高可搬で高精度かつ高信頼な高速計算手法の複素変数への拡張
| Project/Area Number |
16K16060
|
|---|
| Research Institution | Meisei University |
|---|
Principal Investigator |
山中 脩也 明星大学, 情報学部, 准教授 (90548877)
|
|---|
| Project Period (FY) |
2016-04-01 – 2020-03-31
|
| Keywords | 数値解析 / 精度保証 / 高性能計算 |
|---|
| Outline of Annual Research Achievements |
複素変数を入力とするガンマ関数の 4H-Algorithm を構築した．ガンマ関数の 4H-Algorithm の構築では，実数変数を入力とするとき同様，多項式の項と指数減衰の項が被積分関数に含まれる半無限区間の精度保証付き数値積分の計算が必要になる．この半無限積分の積分値とその誤差の計算には，これまでに取り組んできた二重指数関数型積分公式の誤差上限に関する研究成果を利用した．具体的には，多項式の項での増加具合に比べ，指数減衰の項の減少具合が大きいことを利用し，ガンマ関数の計算で必要となる多項式の項の増加具合の上限を見積り，その大きさを指数減衰の項で吸収するようにして，二重指数関数型積分公式の誤差上限を求めた．ガンマ関数の計算では，実数変数を入力とするとき同様，部分積分により，考えるべき定義域を限定することが可能となるため，ここでも同様の性質を利用した．その結果，どのような入力に対しても，二重指数関数型積分公式により高精度な結果を与えることができただけでなく，それらの結果は，丸め誤差や打ち切り誤差などのすべての誤差を考慮した上で，数学的に正しい結果を与えることができるようになった．また，それらの高精度計算には無誤差変換が基礎として利用されており，計算に必要なすべての初等関数内でもそれらを利用した高速な計算法が利用されているため，内部で多倍長演算等を利用した時と比べて，高速であるだけでなく，どのような計算機環境でも動作させることができる計算手法を提案することに成功した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
平成28年度の研究計画分については，申請書に書いたガンマ関数の計算法の構築が完了しているため，滞り無く順調に進展していると言える．来年度以降も研究計画に従って研究を推進したい．
|
| Strategy for Future Research Activity |
平成28年度で構築してきた技術をまとめ，複素変数を入力とする特殊関数の 4H-Algorithm 構築を行なう．この分野について多くの計算技術を持つ，共同研究者らと密に連携を取り，積極的に研究計画を推進していきたいと考えている．
|
| Causes of Carryover |
予定していた国内外の学会出張に，学内業務等により参加することができなかったため．
|
| Expenditure Plan for Carryover Budget |
本研究課題に関連する学会や国際会議などの旅費に使用させていただく予定．
|
