arXiv雑要約
数値解析 - 2026/05/07 公開
多様体上の同時CNN近似と境界値問題への応用 [cs.LG, cs.NA, math.NA]目的：多様体上の同時CNN近似と物理情報ニューラルネットワークの枠組み
- 高次元データに対する効率的な近似手法の確立が求められている。次元の呪いの克服は重要な課題である。
- 従来のPINNでは境界条件の扱いが不十分であり，精度や安定性に問題があった。
- 多様体上の関数を効率的に近似し，境界値問題に対するPINNの精度と安定性を向上させる。
- 本研究では，多様体上のSobolev近似に関する結果を導出し，次元の呪いを緩和することを示した。
- 境界条件の不一致問題を，Laplace-Beltrami演算子に基づくスペクトル境界損失関数を導入することで解決した。
- 数値実験により，提案手法が従来のPINNよりも高い精度，収束性，安定性を持つことが確認された。
濃度不等式による確率的浮動小数点丸め誤差解析 [cs.LO, cs.NA, cs.PL, math.NA]目的：確率的丸め誤差閾値の導出
- 科学計算や最適化など，数値計算を多用する分野において，浮動小数点丸め誤差は不可避である。
- 厳密な丸め誤差閾値は保守的になりがちで，実際には小さな確率で発生する大きな誤差を過剰に考慮してしまう。
- 確率的閾値を用いて，丸め誤差が閾値を超える確率を許容範囲内に抑えることを目指す。
- テイラー展開に濃度不等式を適用することで，新たな確率的丸め誤差解析手法を提案した。
- 絶対値演算を含む多項式表現の過近似により，期待値計算の困難さを克服し，分数的表現も多項式に変換した。
- 実験結果から，提案手法は既存手法と同程度の精度を保ちつつ，大幅に計算時間を短縮できることが示された。
代数多様体からのサンプリングのための剛性ホモトピー： Waring構造の複雑度モデル [math.NA, cs.CC, cs.NA, math.AG]目的：代数多様体からのサンプリングにおける剛性ホモトピーの複雑度
- 近年，理論と実践の両面で多項式系を解く手法が大きく進歩している。
- ホモトピー継続法における複雑度評価の改善が求められていた。
- Waring表現を用いて剛性ホモトピーの複雑度を評価し，計算実験を行う。
- 本研究では，Waring表現の長さを指定した場合の剛性ホモトピーの新しい複雑度結果を証明した。
- また，剛性ホモトピーを用いた初の計算実験を，予備的な実装を用いて行った。
構造を保持し，圧力に強い非線形PINNによる非圧縮オゼーン問題 [cs.CL, math.NA, cs.NA]目的：非圧縮オゼーン方程式に対する物理情報ニューラルネットワーク近似の新たな手法
- 流体解析は，工学における様々な現象の理解と予測に不可欠である。
- 従来のPINNは経験則に頼る部分が多く，安定性や精度に課題があった。
- 圧力の影響を受けにくい，構造的に安定なPINNを開発し，精度の高い解を得ること。
- 安定性構造に基づいたCPINNフレームワークを開発し，従来のPINNよりも改善された性能を示した。
- 圧力に強いCPINNを提案し，速度近似への勾配力の影響を排除することに成功した。
- 最適な回復理論を用いて，速度と圧力に関する定量的な回復推定と最適エラー境界を確立した。
二次元非圧縮性Navier-Stokes方程式に対するDLN法の長期的$L^2$-$H^1$安定性 [math.NA, cs.NA]目的：二次元非圧縮性Navier-Stokes方程式に対するDLN法群の長期的安定性
- 流体現象のシミュレーションは，工学や自然科学の様々な分野で不可欠である。
- 数値シミュレーションにおける安定性の確保は，計算結果の信頼性に直結する課題である。
- DLN法群の安定性を数学的に証明し，実用的なシミュレーションを可能にすること。
- 本研究では，一脚DLN法群に対し，均一時間グリッドと穏やかな時間制約下での新たな$G$-安定性恒等式を導出した。
- この恒等式と離散的な一様Grönwallの不等式補題を用いることで，数値解の一様時間安定性を証明した。
- 得られた安定性評価は，時間区間や初期条件に依存せず，連続理論と整合的である。
SO(n)とSE(n)上の確率微分方程式に対する幾何的ミルスタインスキーム [math.NA, cs.NA]目的：SO(n)とSE(n)上の確率微分方程式の幾何構造を保存する数値解法の開発
- ロボット工学や分子動力学など，多様な分野で剛体運動のシミュレーションが重要である。
- 既存の数値解法では，高次の精度を達成することが難しく，幾何構造の保存が不十分な場合がある。
- 接空間パラメータ化を利用し，高精度かつ幾何構造を保存する確率微分方程式の数値解法を確立する。
- 本研究で提案するスキームは，交換的および非交換的なノイズの下で1次の強収束性を達成することが証明された。
- 接空間パラメータ化修正ミルスタイン法(TaSP-CM)は，従来の接空間パラメータ化(TaSP)を確率的な設定に拡張するものである。
- 数値実験により，提案手法の有効性と頑健性が確認された。
回転非線形シュレーディンガー方程式の焦点外作用基底状態計算のための勾配フロー解析 [cs.RO, cs.SY, eess.SY, math.NA, cs.NA]目的：回転非線形シュレーディンガー方程式の焦点外作用基底状態の数値計算
- 非線形波動現象の理解に不可欠であり，物理学，工学の幅広い分野に応用が期待される。
- 既存の数値解法の安定性や収束性に関する理論的な保証が十分でなかった。
- 直接勾配フロー法の安定性と収束性を数学的に証明し，基底状態の効率的な計算を可能にすること。
- 直接勾配フロー法が，時間ステップサイズによらず単調に減少することを示し，安定性を保証した。
- 適切な条件の下で，作用汎関数の下位準位集合の一様有界性により，大域的な収束性と指数的な収束性を証明した。
- 位相シフト同値クラス間の新しい距離を導入することで，複素数値基底状態や量子化された渦を持つ状態に対応した。
ビデオから偏微分方程式へ：データ駆動型非線形染料プルームダイナミクスの発見 [cs.HC, cs.LG, cs.NA, math.NA, physics.comp-ph, stat.AP, stat.ML]目的：非線形染料プルームダイナミクスの発見
- 流体現象の理解と予測には，正確なモデルが不可欠である。
- ビデオデータからの連続体モデルの推論は，画像強度と物理状態の違い，ノイズによる数値微分不安定性から困難である。
- ビデオデータから直接連続体モデルを発見し，精度と解釈性を向上させる。
- ビデオデータを正規化されたスカラー場に変換し，漂流と拡散を分離する手法を開発した。
- コンパクトな勾配ベースライブラリを用いた弱形式のスパース回帰により，有効な輸送則を特定した。
- 発見，較正，不確実性の評価を段階的に行うことで，コンパクトで予測可能な連続体モデルが得られた。
ニューラルネットワークによる領域制限を用いた構造化非正規帯行列の擬似スペクトル計算の高速化 [math.NA, cs.LG, cs.NA]目的：非正規帯行列の擬似スペクトル計算の高速化
- 流体解析や制御システムなど，動的システムの安定性や過渡挙動を理解する上で重要。
- 大規模な計算では，計算コストが高く，効率的な手法が求められている。
- ニューラルネットワークを用いて，計算が必要な領域を予測し，計算量を削減する。
- ニューラルネットワークが行列の特徴から敏感領域を予測することで，擬似スペクトル計算の効率が向上した。
- 検証データによる閾値調整により，敏感領域の信頼性のある網羅が保証された。
- 非正規帯行列に対する数値実験で，従来の計算手法と比較して大幅な高速化が確認された。
不連続回転と離散曲率を用いた幾何学的厳密梁の混合有限要素法 [math.NA, cs.NA]目的：幾何学的に厳密な梁の解析のための混合有限要素法の新しい定式化
- 構造解析において，梁構造は基本的な構成要素であり，高精度な解析が不可欠である。
- 従来の梁理論では，回転の取り扱いが不適切で，特に大変形や複雑な形状において精度が低下する。
- 回転不連続を考慮した，数学的に整合性のとれた梁解析手法を開発し，精度向上を目指す。
- 提案手法は，独立な場としてモーメントベクトルを導入することで，要素局所的な不連続回転近似を可能にする。
- 離散曲率の概念を用いることで，回転不連続の一貫した取り扱いを実現し，客観性を維持する。
- 数値検証の結果，梁の細長比や近似次数に関わらず，最適な収束性と精度が確認された。
織物を通る熱と質量移動：加熱シリンダーによる織物乾燥のモデル [cs.CL, math.NA, cs.NA, math.OC]目的：織物乾燥プロセスにおける熱と質量移動のモデル化
- 繊維生産において，乾燥工程はエネルギー消費量が大きく，製品品質とプロセス効率に影響する重要な工程である。
- 従来のモデルでは，低圧条件下での加熱シリンダーを用いた織物乾燥を正確に予測することが困難であった。
- 本研究では，加熱シリンダーを用いた織物乾燥のプロセスを予測し，乾燥時間と残留水分量を把握することを目的とする。
- 提案された数学モデルは，非線形最小二乗法によってパラメータを推定している。
- 特定の織物に対して，開発されたモデルは乾燥時間と残留水分量を予測できる。
- イタリアの主要な繊維会社から提供された実データを用いてモデルの検証が行われた。
水力学のための高精度2次元ノードソルバーを用いた3次多モーメントセル中心ラグランジュスキーム [math.NA, cs.NA]目的：2次元圧縮性水力学のための，多モーメント制約有限体積法とノードリーマンソルバーを組み合わせた高精度セル中心ラグランジュスキームの開発
- 水力学は，天文学，気象学，海洋学など広範な分野において不可欠であり，高精度な数値シミュレーションが求められている。
- 従来のラグランジュスキームでは，高精度と計算安定性を両立させることが難しく，特に高次元化において課題が残る。
- 本研究では，高精度を維持しつつ，ノードリーマンソルバーの持つ保存性と安定性を活かすことで，2次元高精度ラグランジュスキームの構築を目指す。
- 本スキームは，セル頂点における点値と計算メッシュ上の体積積分平均を同時に扱い，厳密な数値保存を保証する。
- 新たに導入されたジャンプ条件とバランス条件により，セル表面圧力とノード速度の関連付けを高精度化し，速度場の安定性を向上させる。
- 開発したノードソルバーは，HLLCおよびHLLC-2Dソルバーの高精度拡張と見なすことができ，数値実験を通じてその精度とロバスト性が確認された。
非圧縮性混合の低次元最適化のためのハミルトニアン界面動力学 [math.NA, cs.NA]目的：二次元非圧縮性流れにおける混合の最適化
- 流体混合は，化学反応や物質輸送など，様々な工学的応用において重要な役割を果たす。
- 複雑な流れ場における混合の最適化は，計算コストが高く困難である。
- 界面長を最大化するハミルトニアン制御問題を通して，効率的な混合最適化を目指す。
- 最適化された時間依存ハミルトニアンは，界面のほぼ指数関数的な伸長をもたらし，定常流れと比較して$\dot{H}^{-1}$混合ノルムの減衰を大幅に加速する。
- 同じ参照輸送ソルバー上で評価した結果，界面ベースの制御は，$\dot{H}^{-1}$減衰をより迅速にし，計算コストを大幅に削減する。
- 制御基数の増加が界面長最適化を改善するものの，$\dot{H}^{-1}$混合の向上が比例しない場合があり，界面長が複雑な形状において混合の完全な指標ではないことが示された。
逐次トポロジー最適化：SIMP初期化によるレベルセット境界の洗練 [cs.CE, cs.NA, math.NA, math.OC]目的：トポロジー最適化とレベルセット法の組み合わせによる設計手法
- 構造最適設計において，軽量化と強度確保を両立する重要性は高い。
- SIMP法は境界がぼやける一方，レベルセット法は初期設計に依存しやすい。
- 両手法の弱点を補い，製造可能な形状を効率的に得ることを目指す。
- SIMP法で得られた密度分布を初期値とするレベルセット法を提案した。
- レベルセット法における初期設計への依存性を低減できることを示した。
- カンチレバーの計算例で，従来法より最大4.6倍の高速化を達成した。
FC-Gram近似アルゴリズムの変形と一般化に関する計算・解析的研究 [cs.CL, math.NA, cs.NA]目的：FC-Gram近似アルゴリズムの一般化フレームワークの構築と，その近似精度向上
- 高精度な関数近似は，科学技術計算の様々な分野で不可欠な要素である。
- 従来のFC-Gram法では，周期拡張の形状制御が限定的であり，近似精度に限界があった。
- GenFCフレームワークによって周期拡張の形状を柔軟に制御し，近似精度を向上させる。
- GenFCフレームワークは，文法多項式のブレンディング継続において，より大きな柔軟性を提供する。
- GenFCフレームワークを用いた三角補間は，元の区間上の最高ノルムにおいて，$\mathcal{O}(n^{-\min(r+\beta,\,d)})$の収束率を示す。
- 数値実験は，予測される収束率を確認し，GenFCフレームワークの柔軟性向上によって近似精度が向上することを示した。
定常ナビエ-ストークス方程式を解くための定常増分粘性分裂法 [cs.MA, math.NA, cs.NA]目的：非圧縮性定常ナビエ-ストークス方程式の解法
- 流体シミュレーションは，工学設計や気象予測など幅広い分野で不可欠である。
- 定常ナビエ-ストークス方程式の数値解法は計算コストが高く，効率的なアルゴリズムが求められている。
- 計算効率を向上させるため，増分粘性分裂法を定常方程式に適用し，新たな解法を提案する。
- 提案手法は，非線形反復ごとに速度に関する楕円型偏微分方程式と，圧力に関するSPD行列を含む連立方程式を解く。
- 圧力に関する連立方程式は，すべての非線形反復で変化しないため，計算コストを削減できる。
- 理論的な有界性と幾何学的収束性が証明され，数値実験によって提案アルゴリズムの効率性が示された。
有限要素法における平滑化による超収束 [math.NA, cs.NA]目的：有限要素法の超収束を実現するための平滑化後処理手法
- 数値シミュレーションの精度向上は，工学や科学における課題解決に不可欠である。
- 有限要素法では，計算精度と計算コストのトレードオフが常に存在する。
- 平滑化手法を用いることで，既存の有限要素解を改善し，より高精度な解を得る。
- 提案手法は，ダンピングヤコビ，ガウス・ザイデル，共役勾配法などの平滑化反復を適用する。
- 対称かつ正定値問題において，加法および乗法的平滑器下での平滑化解の超収束が証明された。
- ポアソン，マクスウェル，双調和，ヘルムホルツ方程式に対する数値実験により，提案手法の有効性が示された。
一般化重心座標に基づく適応有限要素法 [cs.AR, math.NA, cs.NA]目的：多角形有限要素法の事後誤差評価
- 数値シミュレーションの精度向上は，工学分野における重要な課題である。
- 多角形要素を用いた有限要素法では，誤差評価が困難である。
- 多角形要素における誤差評価手法を確立し，適応計算の精度を高める。
- Wachspress重心座標を用いた多角形有限要素法に対し，残差に基づく事後誤差評価が上界と下界の両方となることを証明した。
- Scott-Zhang型の補間と有理関数の同質性に関する議論を用いて解析を行った。
- 正方形およびL字型領域における数値実験で，適応アルゴリズムの有効性を確認した。
退化型楕円・放物線方程式に対するSchwarz型手法の収束解析 [cs.DC, math.NA, cs.NA]目的：退化型楕円・放物線方程式に対するSchwarz型手法の収束性
- 非線形拡散現象のモデルとして重要であり，多様な応用分野で利用されている。
- 並列計算を困難とする空間・時間領域の複雑な構造が課題となっている。
- 空間・時間領域の分解による効率的な並列計算手法の収束性を証明する。
- Schwarz型手法は，空間・時間領域を重複するサブドメインに分割し，並列実装を可能にする。
- 擬似時間成分を導入し，時間積分型分割法を用いることで，時間ステップを無限に近づけるアプローチを取る。
- モノトーン作用素の抽象理論と退化型楕円・放物線方程式の存在論に基づいて収束性を証明した。
更新量に基づく状態再分配法 (UM-SRD)：カットセル法のための重み付きSRDの遮断拡張 [math.NA, cs.NA]目的：カットセル法における状態再分配の精度向上
- カットセル法は複雑な形状の領域を扱う上で不可欠だが，数値拡散の問題がある。
- 従来のSRD法は，フラックスバランスがゼロの場合でも再分配を継続し，定常状態の厳密な保存を妨げる。
- 更新量の大きさに基づいて再分配を制御し，不要な数値拡散を抑制すること。
- UM-SRDは，更新量がゼロの場合に再分配を停止することで，定常状態を厳密に保存する。
- 1次元モデル問題において，UM-SRDは基本アップウィンドスキームと同等のCFL条件の下で全変動減少性を示す。
- 数値実験により，UM-SRDが基本スキームの不安定性を抑制し，滑らかな領域での精度を向上させることが確認された。
部分空間が与えられた正半定値行列の固有値と固有ベクトルの高精度な算出 [math.NA, cs.NA]目的：正半定値行列の主要な固有空間を近似する部分空間が与えられた場合の，高精度な固有値抽出
- 数値線形代数は，科学技術計算の基盤であり，大規模データの解析やシミュレーションに不可欠である。
- 固有値問題の効率的な解法は重要だが，大規模行列に対しては計算コストが課題となる場合がある。
- 既存のRayleigh-Ritz法を改善し，より高精度な固有値・固有ベクトルを効率的に算出すること。
- 正半定値行列に対して，Nyström法がRayleigh-Ritz法よりも常に高い精度で近似固有値を算出できることが示された。
- 特に，スペクトルが急速に減衰する行列において，その精度向上の差は顕著に現れる。
- 末尾の固有値を対象とする場合にはNyström法は性能が低下するが，その対策も提案されている。
微磁気学におけるランダウ・リフシッツ・ギルバート方程式に対するBDF2型積分法：事前誤差評価 [cs.RO, math.NA, cs.NA]目的：ランダウ・リフシッツ・ギルバート方程式の離散スキームの誤差評価
- 微磁気学は，磁気記録素子等の開発において重要な役割を担う
- LLG方程式の数値解法では，安定性と計算コストが課題となる
- 高精度で効率的な時間積分の実現が求められている
- 空間一次有限要素法と時間BDF2法を組み合わせたスキームの最適収束率が証明された。
- このスキームは，線形システムを1つだけ解けば良く，磁化の単位長制約を強制しない。
- 時間方向の二次の収束性は，弱解と強解の両方に対して検証された。
トランスフォーマーによる非線形回帰に対する文脈内学習の理解：注意機構の特徵量化 [cs.LG, cs.NA, math.NA]目的：非線形回帰における文脈内学習の理論的理解
- 機械学習において，少ないデータで汎化性能を高める技術が重要である。
- 文脈内学習の理論的基盤は未だ発展途上であり，特に非線形モデルでの理解が不足している。
- 注意機構を通じて非線形特徴を構築し，文脈内学習の汎化誤差を理論的に評価する。
- 事前学習済みトランスフォーマーが，プロンプト内の例から学習する文脈内学習のメカニズムを分析した。
- 注意機構によって非線形特徴（多項式基底，スプライン基底など）を明示的に構築するフレームワークを確立した。
- 文脈長と学習データサイズに関する有限サンプル汎化誤差の上界を導出した。
特異ポテンシャルを持つシュレーディンガー演算子に対する有限要素法による明示的な両側固有値境界 [math.NA, cs.NA]目的：シュレーディンガー演算子の固有値範囲の厳密な数値計算
- 量子力学におけるシュレーディンガー方程式は，原子や分子の挙動を記述する上で基礎となる。
- 特異ポテンシャルを持つシュレーディンガー方程式の固有値解析は，数学的・数値的に困難である。
- 有限要素法を用いて，明示的な両側固有値境界を計算し，厳密な数値解を得ることを目指す。
- 本研究では，無限ポテンシャルと無限領域において，明示的な両側固有値境界を計算する初の数値アルゴリズムを提案した。
- クーロン型特異ポテンシャルを含む，様々なポテンシャルに対して理論が適用可能であることを示した。
- 2次元および3次元の計算実験により，提案アルゴリズムの有効性と収束性を確認した。
分数確率微分方程式の学習における誤差解析：ニューラル近似への応用 [math.PR, cs.NA, math.NA]目的：分数確率微分方程式の非パラメトリックモデル適合における誤差分析
- 金融モデリング等に応用される確率微分方程式の分野は重要である。
- 離散観測データからの高精度なパラメータ推定が課題となっている。
- 時間離散化，係数近似，モデル適合誤差の相互作用を解析する。
- 時間離散化，係数近似，モデル適合誤差の主要な誤差要因を定量化した。
- 軌道の正則性を取り入れた収束レートをソボレフノルムを用いて導出した。
- 浅いニューラルネットワークを用いた係数関数推定スキームの有効性を示した。
電力系統における吸引領域境界の計算：最穏やかな上昇ダイナミクスに基づく [math.DS, cs.NA, math.NA]目的：電力系統の吸引領域境界の計算方法
- 電力需要の増加に伴い，電力系統は社会基盤として重要性が増している。
- 大規模停電の頻発から，電力系統の過渡安定性に対する懸念が高まっている。
- 同期機の同期維持能力に着目し，吸引領域境界を計算することで過渡安定性を評価する。
- 最穏やかな上昇ダイナミクス，随伴演算子法，安定多様体アルゴリズムを組み合わせた手法を提案した。
- 理論的に，吸引領域境界が指数1の臨界点の安定多様体の閉包に等しいことを証明した。
- 数値実験により，提案手法が吸引領域境界の形状を正確に捉え，過渡安定性解析に有用であることが示された。
Strichartz不等式の極値解のニューラルネットワークによる探索 [math.AP, cs.LG, cs.NA, math.NA]目的：Strichartz不等式の極値解の発見
- 分散偏微分方程式の理論において，Strichartz不等式は重要な役割を担う。
- 極値解が解析的に知られているのは限られた場合のみであり，探索が困難である。
- ニューラルネットワークを用いて極値解を探索し，未解決問題に迫る。
- Schrödinger群において，FoschiとHundertmark--Zharnitskyのガウス型極値解を10⁻³の相対誤差内で再現した。
- d=1における59組のアドミッシブルペアにおいて，一貫してガウス型解が得られ，普遍的な極値解であるという推測を支持した。
- γ=1/qにおけるAiry--Strichartz不等式では，mKdV呼吸子として解が組織化され，Frank--Sabinの下限に近づく様子が確認された。
2次元Kaup-Broer-Kuperschmidtブーシネスク系に関する数値研究 [eess.IV, cs.CL, physics.med-ph, math.AP, cs.NA, math.NA]目的：2次元Kaup-Broer-Kuperschmidtブーシネスク系のソリトン解の存在と安定性
- 非線形波動現象の理解は，物理学，工学など広範な分野で不可欠である。
- ソリトン解の安定性は，波動の伝播特性を予測する上で重要な課題である。
- 本研究は，2次元Kaup-Broer-Kuperschmidtブーシネスク系における安定な構造の存在を検証する。
- 数値シミュレーションにより，ソリトン型の解を構成し，分散と特異点形成に対する不安定性を示した。
- 線ソリトンおよび一般化された初期データに対しても安定な構造は発見されなかった。
ブロック再利用GMRES法：ソルバー性能に関する検討 [math.NA, cs.NA]目的：ソルバー性能の調査を伴うブロック再利用GMRES法の提案
- 大規模な線形方程式系の解法は，科学技術計算において不可欠である。
- 反復解法の効率は，計算コストに大きく影響する。
- 反復解法の収束性と計算効率を向上させることを目指す。
- 本研究では，GCRO-DR法のブロッククライロフ部分空間版を提案した。
- 再起動時の再利用部分空間の選択方法や，高性能計算環境下での実装上の検討を行った。
- 数値実験により，提案手法の収束性およびデータ移動とキャッシュ効率が示された。
カットセルメッシュにおける依存領域の安定化の完全離散安定性 [math.NA, cs.NA]目的：カットセルメッシュにおける依存領域の安定化の完全離散安定性に関する解析
- 複雑形状の数値解析においてカットセル法は不可欠であり，その安定性は重要な研究課題である。
- カットセル法では，微小なカットセルが安定性のボトルネックとなりやすいという課題がある。
- 本研究は，微小なカットセルに起因する安定性問題を解決することを目的とする。
- 本研究では，1次元線形移流モデル問題に対し，完全離散安定性を理論的に示した。
- 安定性は，微小なカットセルのサイズに依存しない時間ステップ制限によって達成されることが示された。
- 高次多項式における課題と，それを緩和するためのCFL条件が提案され，数値シミュレーションで検証された。
TMATDG：T行列近似を用いた多重散乱へのTDG法の適用 [math.NA, cs.NA]目的：多重散乱問題の解法
- 電磁波や音響波の散乱現象は，工学・科学における重要な課題である。
- 多重散乱問題は，計算コストが高く，効率的な解法が求められている。
- 多角形状の障害物による散乱問題を効率的に解くための基盤を提供する。
- 本研究では，Helmholtz散乱に対するTrefftz Discontinuous Galerkin法とT行列法を組み合わせたMATLABパッケージを開発した。
- TMATROMパッケージを利用し，T行列を数値的に近似することで，多重散乱問題を扱うフレームワークを構築した。
- これにより，多角形の障害物による散乱を扱うことが可能となった。
常微分方程式系および微分代数方程式系の解法におけるADER-DG法のDG予測子の局所解の改良 [math.NA, cs.NA, math.FA, physics.app-ph, physics.comp-ph]目的：常微分方程式系の初期値問題に対するADER-DG数値法の局所DG予測子を用いた局所数値解の改良
- 数値解析は，科学技術計算において不可欠であり，シミュレーションの精度と効率を左右する。
- ADER-DG法は高精度だが，局所解の精度が計算全体のボトルネックとなる場合がある。
- 局所解の精度を向上させることで，ADER-DG法の性能を引き出し，適用範囲を拡大する。
- 改良された局所数値解は，従来のADER-DG法の局所数値解よりも1次の高い収束次数を示すことが証明された。
- 改良された局所数値解は，グリッドノードで連続性を持つという特徴を備えている。
- 本研究により，ADER-DG法を微分代数方程式系に適用できる理論的根拠が確立された。
Trefftz法に基づくPINNと標準PINNの構造保存能力の比較 [math.NA, cs.NA]目的：物理情報ニューラルネットワークによる物理構造の保存能力の比較
- 複雑な物理現象の数値シミュレーションは重要であり，高精度な代替モデルの需要が高い。
- 標準的なPINNでは，誤差が小さくても物理構造が崩壊する可能性がある。
- Trefftz法に基づくPINNが構造保存において標準PINNよりも優れていることを示す。
- 標準PINNは磁場線構造において崩壊を示すことがあるが，Trefftz-PINNは構造を維持する。
- 同様の傾向は計算流体力学の問題でも確認され，流れ線構造の保存においてもTrefftz-PINNが優れている。
- 数値誤差の最小化だけでは物理的な整合性は保証されず，学習前の解空間の制約が有効である。
ゴルブ・ウェルシュアルゴリズムによる安定したエルミート変換 [math.NA, cs.NA]目的：エルミート関数を用いた展開とエルミート多項式根での補間の変換
- エルミート関数は，物理学や工学における様々な問題に応用され，数値計算において重要である。
- 従来のエルミート変換は数値的に不安定であり，高精度な計算が困難であった。
- エルミート関数のヤコビ行列の固有分解に基づく効率的で安定な変換アルゴリズムを開発する。
- 本研究で提案するアルゴリズムは，既存手法と比較して安定性と計算効率が向上することを示した。
- 提案手法は，既存の安定化手法と同等またはそれ以上の精度を達成し，実用上大幅に高速である。
- 大規模なエルミート展開を偏微分方程式計算などの下流タスクで確実に利用することが可能となる。
ヘルムホルツ演算子を用いた完全電気導体による3次元散乱の直接境界積分方程式 [math.NA, cs.NA, physics.comp-ph]目的：完全電気導体による3次元電磁波散乱問題を解くための直接境界積分方程式の導出
- 電磁波散乱問題は，レーダー，アンテナ設計，バイオエレクトロマグネティクスなど広範な分野で重要である。
- 従来の境界積分方程式は，低周波において精度が低下する課題や，数値解法の安定性の問題がある。
- ヘルムホルツ演算子に基づいた直接境界積分方程式を導出し，これらの課題を克服し，より高精度で安定した解法を提供する。
- ヘルムホルツ境界積分演算子と，電界および磁界のベクトルヘルムホルツ境界値問題の等価性を用いて，直接境界積分方程式（D-ECFOIE，D-MCFOIE）を導出した。
- 導出された方程式は全ての周波数で一意に解けることが証明され，フレドホルム第二種の積分方程式となるように正則化された（RD-ECFOIE，RD-MCFOIE）。
- 電界方程式の低周波崩壊を緩和するため，電荷保存則を考慮した修正方程式を導入し，数値精度と線形システムの条件数を改善した。
Z領域における安定な有理ニューラル演算子：離散時間ダイナミクスのための [cs.LG, cs.NA, math.NA]目的：離散時間ダイナミクスに対する安定な有理ニューラル演算子の開発
- システム同定は，物理現象の理解や制御に不可欠であり，多くの工学分野で重要である。
- 既存の演算子学習手法は連続時間問題に偏っており，離散時間システムへの適用が難しい場合がある。
- 本研究は，安定な有理離散時間ダイナミクスを効率的に学習する新たなモデルを提案し，その性能を検証する。
- ZNOは，$z$平面上で直接パラメータ化された安定な低ランク多入力多出力（MIMO）有理フィルタを用いることで，安定性を保証する。
- 制御されたシステム同定実験において，ZNOは特に安定な有理システムで有効であり，単位円に近い極を持つ場合に優位性を示す。
- 公開されている非線形システム同定ベンチマークにおいても，ZNOは競争力のある性能を示し，特に有理離散時間フィルタに合致するダイナミクスにおいて最良の結果を達成する。
- 1