調和解析学の手法による流体力学の基礎方程式の数理解析

使用调和分析方法对流体力学基本方程进行数学分析

• 批准号: 09J01292
• 负责人: 高田 了
• 金额: $ 1.34万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09J01292/
• 关键词: Euler方程式; Navier-Stokes方程式; Coriolis力; 分散型評価; Besov空間; 時間局所適切性; 時間大域的適切性; 非適切性; 非圧縮性Euler方程式; 非圧縮性Navier-Stokes方程式; 実解析性; 概周期性; 非粘性極限解; 散逸的弱解; Onsager予想; Keller-Segel方程式系; 後方自己相似解; Triebel-Lizorkin空間; 交換子評価

今年度は,地球物理学の基礎方程式の一つである,回転によるCoriolis力の影響を考慮したNavier-Stokes方程式に関して研究を行った.特に,同方程式の時間大域的適切性および時間局所適切性に関して考察を行った.時間大域的適切性に関しては,より広い関数空間における同方程式の初期値問題の適切性を考察した.Besov型の関数空間を新たに導入し,その関数空間に属する初期速度場がCoriolis力に関して一様に小さい場合に,同方程式に時間大域的一意解が存在することを証明した.本研究で用いた関数空間は,先行する結果において用いられた関数空間より真に広い関数空間となっている.また,時間大域的適切性に加え,同方程式の非適切性についても考察し,我々が時間大域的適切性を証明した関数空間より真に広い関数空間においては,初期値に対する解の連続依存性が一般に成立しないことを証明した.時間局所適切性に関しては,回転速度が解の存在時刻へ及ぼす影響について考察した.同方程式の線型項に対応した作用素から生成される半群に対し,Coriolis力による分散効果を表すStrichartz型評価を導出し,斉次Sobolev空間における方程式の時間局所適切性を証明した.更に,解の局所存在時刻を初期速度場のノルムと回転速度によって特徴付け,回転速度に応じて解の局所存在時刻が大きく取れることを証明した.本結果により,斉次Sobolev空間に属する任意の初期速度場と任意の時刻Tに対して,回転速度を十分大きく取れば,方程式の解が最初に与えられた時刻Tまで存在することが従う.また,本研究で得られた解の存在定理および局所存在時刻の特徴付けは,通常のNavier-Stokes方程式に対する斉次Sobolev空間における結果の拡張となっている.

Our は, geophysics の basic equation is の つ で あ る, back to the planning に よ る の Coriolis force influence を consider し た Navier - Stokes equations に masato し を line っ て research た. Therefore, に, the same as the equation for the appropriateness of the large time domain および the appropriateness of the time locality に is related to the て examination of を lines った. Aptness of time domain に masato し て は, よ り hiroo い masato number space に お け る with equations on early の numerical problem aptness の を investigation し た. の Besov type masato new space を た に import し, そ の masato number space に genus す る initial velocity field が Coriolis force に masato し て a others in small に さ に い situations, with the equation に presents a solution of time domain が exist Youdaoplaceholder0 する とを proves that た た. This research で い た masato は number space, leading す る results に お い て in い ら れ た masato number space よ り really に hiroo い masato number space と な っ て い る. ま た, aptness of time domain に え, with equation is の aptness of に つ い て も し, I 々 が aptness of time domain を prove し た masato number space よ り really に hiroo い masato number space に お い て は, early The に for する solutions, the <s:1> connection of 続 dependence が generally, に holds that <s:1> な とを とを とを とを とを とを とを とを とを and とを prove that た た. Time aptness bureau に masato し て は, back to the planning speed が existence time の へ and ぼ す influence に つ い て investigation し た. With equation is の line item に 応 seaborne し た role element か ら generated さ れ る semigroup に し seaborne, Coriolis force に よ る scattered unseen fruit を table す Strichartz type rating 価 を export し, 斉 に Sobolev space お け る equation is の time aptness bureau を prove し た. More に, existence and moment の bureau を initial velocity field の ノ ル ム と back planning speed に よ っ て 徴 pay け, back to the planning speed に 応 じ て solution の bureau moment が big き く take れ る こ と を prove し た. This result に よ り, 斉 に Sobolev space belong to す る arbitrary の arbitrary initial velocity と の time T に し seaborne て, back to the planning speed を very big き く take れ ば, equations が initially に の solution and え ら れ た time T ま exist で す る こ と が 従 う. ま た, this study で must ら れ の た solution existence theorem お よ び bureau exist moment の 徴 pay especially け は, usually The <s:1> naviers-stokes equation に for する nendth-order Sobolev space における result 拡 拡 zhang となって る る る.

项目成果

Counterexamples of commutator estimates in Besov and Triebel-Lizorkin spaces related to the Euler equations

与欧拉方程相关的 Besov 和 Triebel-Lizorkin 空间中换向器估计的反例

• 发表时间: 2010
• 作者: 高田了;高田了
• 通讯作者: 高田了

Nonexistence of backward self-similar weak solutions to the Euler equations

欧拉方程不存在后向自相似弱解

• 发表时间: 2009
• 作者: 高田了;高田了;高田了;高田了
• 通讯作者: 高田了

On the commutator estimates in the Besov and the Triebel-Lizorkin spaces related to the Euler equations

与欧拉方程相关的 Besov 和 Triebel-Lizorkin 空间中的换向器估计

• 发表时间: 2010
• 作者: Okihiro Sawada;Ryo Takada;水野将司;岩井瑛人;水野将司;Ryo Takada;Ryo Takada;水野将司;高田了;水野将司;高田了;水野将司;高田了;高田了;高田了;高田了;高田了;高田了;高田了;高田了;高田了
• 通讯作者: 高田了

Propagation of real analyticity for the solution to the Euler equations in the Besov space

Besov 空间中欧拉方程解的实解析性传播

• 发表时间: 2011
• 作者: Okihiro Sawada;Ryo Takada;水野将司;岩井瑛人;水野将司;Ryo Takada;Ryo Takada;水野将司;高田了;水野将司;高田了;水野将司;高田了;高田了;高田了
• 通讯作者: 高田了

Propagation of real analyticity for the Euler equations

欧拉方程的实解析性传播

• 发表时间: 2011
• 作者: Okihiro Sawada;Ryo Takada;水野将司;岩井瑛人;水野将司;Ryo Takada;Ryo Takada;水野将司;高田了;水野将司;高田了;水野将司;高田了;高田了;高田了;高田了;高田了;高田了
• 通讯作者: 高田了