• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2018 Fiscal Year Research-status Report

特殊関数における高可搬で高精度かつ高信頼な高速計算手法の複素変数への拡張

Research Project

Project/Area Number 16K16060
Research InstitutionMeisei University

Principal Investigator

山中 脩也  明星大学, 情報学部, 准教授 (90548877)

Project Period (FY) 2016-04-01 – 2020-03-31
Keywords数値解析 / 精度保証 / 高性能計算
Outline of Annual Research Achievements

本年度は昨年度までに考案した技術を基礎として,数値積分に特殊関数である「正弦積分」に対し 4H-Algorithm を提案した.また,複素数を用いた高精度な数値積分則である「数値積分に対する超函数法」に対して,精度保証付きで計算を行うための誤差上限を求める方法を構築した.
正弦積分の計算は,多項式の項と指数減衰の項が被積分関数に含まれる半無限区間の精度保証付き数値積分の計算に帰着させることができる.このアイデアにより,これまでに取り組んできた二重指数関数型積分公式の誤差上限に関する研究成果を直接利用することができるようになり,振動を繰り返す Sinc 関数を直接積分する際に比べて,高速かつ高精度な計算を実現することが可能となった.
また「数値積分に対する超函数法」の誤差上限を求める方法では,従来理論的により知られていた複素平面上の無限領域(実軸に平行な帯状領域)で表現された誤差上限に対して,適切な変数変換を行うというアイデアにより,帯状領域を円環領域に変換することが可能となり,その結果,比較的シンプルな誤差上限の計算法を提案することができた.
加えて本年度では,数値積分法の誤差上限の計算について,多様な分野の研究者との共同研究により新しい方向性を見出すことができた.これまでに取り組んできた数値積分法の誤差上限の計算法は,一般的な積分則の誤差上限として,高速性を狙い高階微分で表現される誤差項の「上限」を複素数を用いて計算していたが,時に過剰見積もりとなることがあった.この問題に対し,「高階微分の誤差項」を直接求める高精度高階微分計算法の研究が,対外的に発表を行うフェーズまで来ることができた.本研究課題に直結する内容のため,今後も積極的に推進していきたいと考えている.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

平成30年度の研究計画分は,申請書に記載した「ステージII」の領域に入り,「ステージI」で構築したアルゴリズムのいくつかの特殊関数への応用が目的となっているが,そのひとつとして正弦積分関数の計算法の構築が完了しているため,おおむね順調に進展していると言える.来年度以降も「ステージI」で構築したアルゴリズムの応用について,様々な特殊関数の 4H-Algorithm を構築できるよう研究を推進したい.

Strategy for Future Research Activity

平成28年度・平成29年度・平成30年度で構築してきた技術をまとめ,複素変数を入力とする特殊関数の 4H-Algorithm 構築を行なう.この分野について多くの計算技術を持つ,共同研究者らと密に連携を取り,積極的に研究計画を推進していきたいと考えている.

Causes of Carryover

平成29年度から本研究課題に関する実験データを研究員と連携して収集することで,これまで以上に多くのデータを取得することができるようになった.平成31年度以降もこれまでに実施した効率的な研究体制を構築することで,引き続き,高信頼なデータの収集を行なっていく予定である.

  • Research Products

    (12 results)

All 2019 2018

All Presentation (11 results) (of which Int'l Joint Research: 8 results) Book (1 results)

  • [Presentation] 数値積分の誤差項についての一考察 ー精度を保証したいという視点からー2019

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 那須
    • Int'l Joint Research
  • [Presentation] Verified Algorithm for High Order Differentiation Based on Hyper-dual Numbers2019

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2019 SIAM Conference on Computational Science and Engineering
    • Int'l Joint Research
  • [Presentation] Hyper Dual Numbersの行列表示を用いた微分計算手法の基礎理論整備2019

    • Author(s)
      井元 佑介
    • Organizer
      第15回 研究部会連合発表会
  • [Presentation] Verified Algorithm of Hyperfunction Method for Numerical Integration2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2018 Workshop on recent Results of Mathematical Science and Computer Assisted Proofs
    • Int'l Joint Research
  • [Presentation] Traps in numerical calculation and techniques of verified numerical computation2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      6th TWSIAM Meeting
    • Int'l Joint Research
  • [Presentation] Hyper-dual numbers を用いた数値微分の研究2018

    • Author(s)
      井元 佑介
    • Organizer
      数学と現象 in 長瀞
  • [Presentation] Verified Algorithm for the sine integral2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)
    • Int'l Joint Research
  • [Presentation] Verified Algorithm of Hyperfunction Method for Numerical Integration2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • Int'l Joint Research
  • [Presentation] Verified Algorithm for the sine integral2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • Int'l Joint Research
  • [Presentation] Hyper Dual Number の性質を用いた高階微分の精度保証付き数値計算法2018

    • Author(s)
      山中 脩也
    • Organizer
      第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)
  • [Presentation] Verified Algorithm of High Order Differential using Hyper Dual Numbers2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2018 Workshop on Recent views of Nonlinear Analysis
    • Int'l Joint Research
  • [Book] 精度保証付き数値計算の基礎2018

    • Author(s)
      大石 進一 (著, 編集), 荻田 武史 (著), 柏木 雅英 (著), 劉 雪峰 (著), 尾崎 克久 (著), 山中 脩也 (著), 高安 亮紀 (著), 関根 晃太 (著), 木村 拓馬 (著), 市原 一裕 (著), 正井 秀俊 (著), 森倉 悠介 (著), Siegfried M. Rump (著)
    • Total Pages
      311
    • Publisher
      コロナ社
    • ISBN
      4339028878

URL: 

Published: 2019-12-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi