Effective use of multi-precision arithmetic on floating number system of digital computers aiming at numerical computations of differential equations with singulari or ill-posedness

针对奇异或不适定微分方程的数值计算，有效利用数字计算机浮点数系统的多精度运算

• 批准号: 21H00999
• 负责人: 磯 祐介
• 金额: $ 10.48万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21H00999/
• 关键词: 数値解析学; 多倍長数値計算; 逆問題・非適切問題解析; ひかりトモグラフィ; 流体・弾性体方程式の解の特異性

本課題研究では、主として現象の数理モデルとしての偏微分方程式の数値解析と数学解析を論じている。偏微分方程式の数学解析では、解の有する特異性や不安定性をどのように正則化するかが純粋数学としては重要な論点であり、このために様々な概念が提唱され、また種々の函数空間が導入される。一方で、現象の数理モデルとしての微分方程式の議論においては、特異性は単に正則化されるべき「特異」な挙動と考えることは慎重で有らねばならない。実際、解の特異性や不安定性は対象とする系・現象の重要な物理量などと関連している場合が散見され、この特異性を定量的に論じることが重要となる事例も少なくない。しかし解の「特異性」は数値計算の発散や不安定性と表裏一体であるため、特異性を定量的に論じることはきわめて困難である。既存の理論の単純適用では、特異性を定量的に数値計算によって扱うことはきわめて困難である。本課題研究ではこのような問題意識と現状認識の下で、研究代表者と分担者の過去の研究実績を踏まえて、代表者と分担者が分業によって幾つかの具体的な問題に限定的に取組、数学解析に裏付けられた数値計算法を新たに確立することによって特異性の定量的な議論を行なおうとしている。２年度は初年度に引き続き１階双曲型方程式の有限要素法解析について成果を得、先行研究を超えたシャープな収束評価を与えるに至った。逆問題解析については医用断層撮影の数値解析にかかる国際共同研究の推進を図った。さらにポテンシャル逆問題を再考し、Zidarov による bubbling アルゴリズムの再検討を行いこの手法の有効性の検証を行った。

This topic research で は, main と し て phenomenon の mathematical モ デ ル と し て の partial differential equation is の the numerical analytic mathematical theory of analytical を と じ て い る. Partial differential equation is の mathematics analytic で は, solution の す る specificity や labile を ど の よ う に regularization す る か が pure mathematical と 粋 し て は important な argument で あ り, こ の た め に others 々 な concept が mention sing さ れ, ま た kind 々 の function space が import さ れ る. Party で, phenomenon の mathematical モ デ ル と し て の differential equations の comment に お い て は, specificity は 単 に regularization さ れ る べ き "specific" な 挙 dynamic と exam え る こ と は で have carefully ら ね ば な ら な い. Be international, solution の specificity や labile は like と seaborne す る is の な important physical quantities, phenomenon な ど と masato even し て い る occasions が shi kan さ れ, こ の specificity を theory of quantitative に じ る こ と が important と な る examples も less な く な い. の し か し solution "specificity" は the numerical computing の 発 scattered や labile と list one で あ る た め, specificity を quantitative に じ る こ と は き わ め て difficult で あ る. Theory of existing の の 単 pure applicable で は, specificity を quantitative に the numerical computing に よ っ て Cha う こ と は き わ め て difficult で あ る. This topic research で は こ の よ う な problem consciousness と under present situation understanding の で representatives, research と sharers の の research be past performance を tread ま え て representatives, と sharers が differentiated に よ っ て several つ か の specific な problem に qualified に take in the group, the analytic mathematic に pay け ら れ た を new calculation method of the numerical た に establish す る こ と に よ っ て specificity の quantitative な discussion Youdaoplaceholder0 lines なおうと て て る る. 2 year early は year に lead き 続 き 1 order hyperbolic equation is の finite element analytic に つ い を て results, first study を super え た シ ャ ー プ な 収 beam review 価 を and え る に to っ た. Analysis of inverse Problems に に に て て analysis of <s:1> values of medical tomographic imaging に る る international joint research <s:1> advancement を graph った. さ ら に ポ テ ン シ ャ ル inverse problem を し test again, Zidarov に よ る bubbling ア ル ゴ リ ズ ム の line again beg を 検 い こ の gimmick の have sharper sex の 検 line card を っ た.

项目成果

Numerical regularity map for simple one-dimensional fractional differential equations with Hoelder continuous solutions

具有 Hoelder 连续解的简单一维分数阶微分方程的数值正则图

• 发表时间: 2021
• 期刊: Adv. Math. Sci. Appl.
• 作者: Mana Kato;Hiroshi Fujiwara and Hitoshi Imai
• 通讯作者: Hiroshi Fujiwara and Hitoshi Imai

特異積分方程式による部分観測でのＸ線計算機トモグラフィ

使用奇异积分方程进行部分观察的 X 射线计算机断层扫描

• 发表时间: 2022
• 作者: 藤原宏志;K.Sadiq;A.Tamasan
• 通讯作者: A.Tamasan

Web-based Visualization Framework on FreeFEM

FreeFEM 上基于 Web 的可视化框架

• 发表时间: 2021
• 期刊: 計算数理工学論文集
• 作者: LEE;Yu-Hsun;藤原宏志
• 通讯作者: 藤原宏志

Cauchy型積分による部分観測のもとでのX線計算機断層撮影法

使用柯西型积分进行部分观察的 X 射线计算机断层扫描

• 发表时间: 2022
• 期刊: 計算数理工学会レビュー
• 作者: 藤原宏志，大石直也，SADIQ Kamran;TAMASAN Alexandru
• 通讯作者: TAMASAN Alexandru

On feasibility of numerical reconstruction of the attenuation coefficient in the stationary radiative transport equation

稳态辐射输运方程中衰减系数数值重构的可行性

• 发表时间: 2022
• 作者: Aoki Dai;Honda Fuminori;Knebel Georg;Braithwaite Daniel;Nakamura Ai;Li DeXin;Homma Yoshiya;Shimizu Yusei;Sato Yoshiki J.;Brison Jean-Pascal;Flouquet Jacques;H. Fujiwara
• 通讯作者: H. Fujiwara