研究課題/領域番号 |
22K03391
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分12020:数理解析学関連
|
研究機関 | 慶應義塾大学 |
研究代表者 |
曽我 幸平 慶應義塾大学, 理工学部(矢上), 准教授 (80620559)
|
研究期間 (年度) |
2022-04-01 – 2027-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2026年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2025年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2024年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2022年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
|
キーワード | 線形輸送方程式 / Navier-Stokes方程式 / 非一様非圧縮性流体 / 弱解 / 有限差分法 / 流体力学 / 数値解析 / KAM理論 / Hamilton-Jacobi方程式 |
研究開始時の研究の概要 |
二相流体の標準的な数学解析では自由境界を固定境界に変換することで間接的に問題を解く.一方,数値解析では自由境界の時間発展を追跡することで直接的に問題を解く.本研究では,有限差分法に基づく新たな直接解法を提案して解の構成的存在証明を行う. 古典KAM理論は,Hamilton力学系の相空間の性質をHamilton-Jacobi方程式の古典解と関係付ける理論ともみなせるが,古典解は常には存在しないため,一般に相空間において除外される部分が生じる.本研究では,Hamilton-Jacobi方程式の粘性解理論とKAM逐次近似の手法を融合させることで除外される部分の解析方法を開発する.
|
研究実績の概要 |
流体力学において、Navier-Stokes方程式と線形輸送方程式の連立系は非一様非圧縮性流体(密度が定数でない非圧縮性流体)や自由境界を伴う二相流体の基礎方程式として現れる。線形輸送方程式は、方程式の構造は極めて単純であるものの、係数として現れる速度場の滑らかさが悪くなると非自明な問題になる。速度場がNavier-Stokes方程式の弱解である場合、Sobolev空間の元を係数とする線形輸送方程式を解かなくてはならない。その数学的基礎理論はDiPerna-Lions(1989年)による。当該年度の研究において、Navier-Stokes方程式と線形輸送方程式の連立系の弱解を有限差分法で構成するための基礎研究を行った。同連立系を有限要素法・有限体積法で取り扱う先行研究が知られているが、有限差分法による数学解析は知られていない。具体的には以下の成果が得られた。これらの結果は専門学術誌に投稿中である。
(1) Sobolev空間の元(非有界)を係数とする線形輸送方程式の弱解を有限差分法(古典的な陽解法および陰解法)で厳密に構成した。また係数が滑らかな場合に、陽解法の収束と誤差評価を解およびその2階導関数まで与えた。
(2)この結果を応用して、非一様非圧縮性流体の弱解を有限差分法で厳密に構成した。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
Navier-Stokes方程式と線形輸送方程式の連立系の数値解析的研究において、Sobolev空間の元(非有界)を係数とする線形輸送方程式の解析は極めて重要である。当該年度の研究では最も基本となる部分が解明され、さらにそれを非一様非圧縮性流体の問題に応用することもできた。以上より本研究課題は概ね順調に進展していると判断する。
|
今後の研究の推進方策 |
当該年度で得られた結果をNavier-Stokes方程式の二相問題に応用する。二相問題に現れる自由境界をlevel-set methodで取り扱うと、level-set関数は線形輸送方程式の解になる。この問題では、自由境界の幾何学的構造(単位法線ベクトル場、平均曲率など)が必要となる。これらの構造を弱解の範疇で取り扱う研究は知られているが、その数値解析的方法の数学解析は知られていない。今後の研究では、有限差分法によって二相問題の弱解を構成することに挑戦する。
Navier-Stokes方程式と[線形輸送方程式+粘性項]の連立系で表される流体モデル(Kazhikhov-Smagulovモデル)が知られている。このモデルについて、高次の非線型項を無視する近似あるいは粘性係数を定数にする単純化の下で、数学解析が行われている。今後の研究では、同モデルについて、このような近似・単純化をしない数学解析を完成させる。
|