| Project/Area Number |
23K20804
|
|---|
| Project/Area Number (Other) |
21H00992 (2021-2023)
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Multi-year Fund (2024)
Single-year Grants (2021-2023) |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12020:Mathematical analysis-related
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
清水 扇丈 京都大学, 理学研究科, 教授 (50273165)
|
|---|
| Project Period (FY) |
2021-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2024)
|
| Budget Amount *help |
¥12,610,000 (Direct Cost: ¥9,700,000、Indirect Cost: ¥2,910,000)
Fiscal Year 2024: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2023: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2022: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2021: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
|
|---|
| Keywords | 函数方程式論 / 調和解析 / 最大正則性 / Navier-Stokes方程式 / 自由境界問題 / 関数方程式 / 関数解析 / Navier－Stokes方程式 / 偏微分方程式 / 微分幾何 |
|---|
| Outline of Research at the Start |
線形の放物型方程式がもつBanach空間Xにおける最大Lp正則性を用いると，準線形な非線形問題に対し縮小写像の原理を適用して適切性が容易に証明される．1<p<∞でありかつUMD (Unconditional Martingale Differences) なBanach空間Xに対しては一般理論が整備されてきている．本研究課題では, 端点であるp=1のときに，UMDではないBanach空間Xも込めて，どのような形で最大正則性が成立するのかを考察する．そして，線形化問題の時間大域的な最大L1正則性の結果をNavier-Stokes方程式の自由境界問題に応用する．
|
| Outline of Annual Research Achievements |
非圧縮性 Navier－Stokes 方程式の半空間からの摂動である自由境界問題に対して, スケール不変空間であるところの時間変数についてL^1空間, 空間変数について斉次 Besov 空間での時間大域的な解の一意存在を, 初期流速が小さい場合に示した. Lagrange 変換を行うことにより, 摂動半空間は半空間となり, 非線形項には流速の空間１階微分の時間積分の項が現れる. 非線形項に対して閉じた評価をするために時間変数についてL^1空間と相性が良い. 線形化問題は, 半空間におけるストレスフリー境界条件を伴う Stokes 方程式となり, この線形問題の端点最大L^1-正則性を解表示に対して凱旋門型 Littlewood－Palay 分解（小川－清水, JEE, 2022）を導入し概直交性を示す我々の手法で証明した. 最大L^1-正則性に基づき非線形問題の解の存在を縮小写像の原理によって証明した. さらに, 初期境界がグラフで与えられていてその高さの小ささは要求しないが傾きが小さい場合に, 非圧縮性 Navier－Stokes 方程式の自由境界問題の時間大域解の一意存在を, 初期流速が小さい場合に証明した. 以上は小川教授との共同研究である.
小薗教授との共同研究で, 3次元全空間における定常Navier--Stokes方程式の解の安定性を解析した. 定常 Navier－Stokes 方程式の解のスケール不変な関数空間でこれまででもっとも広い斉次 Besov 空間（金子－小薗－清水, Indiana U.,2019）の定常解に, 同じ Besov 空間で小さな初期擾乱に対する安定性を時間漸近レートとともに証明した．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
非圧縮性 Navier－Stokes 方程式の半空間からの摂動である自由境界問題に対して, さらにグラフ型の初期境界を持つ場合に, スケール不変空間であるところの時間変数についてL^1空間, 空間変数について斉次 Besov 空間での時間大域的な解の一意存在を, 初期流速が小さい場合に示すことが本研究の最大の目的であり, それが達成できたため.
|
| Strategy for Future Research Activity |
今後は以下の研究の実施を計画している. (1) 圧縮性 Navier－Stokes 方程式の自由境界問題に対する時間L^1-空間, 空間斉次 Besov空間での解の一意存在の証明. 非圧縮性では未知関数は流速と圧力であったが, 圧縮性では未知関数は流速と密度になる. 圧力は楕円型方程式を満たすが, 密度は双曲型方程式を満たすため, Besov空間の低周波部分の詳細な解析が必要となる. (2) 非圧縮性Navier－Stokes方程式の解が最大L_p-正則性のクラスに属するときの初期値と外力に対する整合条件の同定 (3)凖地衡流方程式のスケール不変斉次 Besov 空間における解の一意存在の証明 (4) 3次元 Euclid 空間内の滑らかなコンパクトな曲面を境界に持つ外部領域において, 調和ベクトル場の de Rham－Hodge－Kodaira 型分解定理を応用した Navier－Stokes 方程式の定常解の安定性の証明.
コロナからほぼ平時に戻り, 対面での国際共同研究の好機が訪れている. 9月9日-11日には京都大学にて国際研究集会 "Fluids and Maximal Regularity" を開催する. 最大正則性の創始の一人であるHerbert Amann教授, 本研究の国際共同研究受入代表者のMatthias Hieber教授, 共同研究者のPeer C. Kunstmann教授, Paolo Maremonti教授, Raphael Danchin教授を招聘し講演を依頼し, 共同研究および情報交換を行う.
|
