流体力学的非線形安定性問題に対する計算機援用証明
流体动力学非线性稳定性问题的计算机辅助证明
基本信息
- 批准号:15740067
- 负责人:
- 金额:$ 2.37万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2003
- 资助国家:日本
- 起止时间:2003 至 2005
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
前年度までに得られた成果をもとに高Rayleigh数に対する非線形偏微分問題である2次元Oberbeck-Boussinesq方程式の定常解の存在検証を行なった.方程式は流体の粘性を規定するパラメータであるRayleigh数が大きくなるほど非線形項が支配的となり,計算が不安定になることが知られている.この問題点を回避するため,問題を残差引き戻しの形式に変換し,解の存在検証条件を導き,数値実験を行なった.併せて3次元問題への拡張を試み,原理的な適用可能性を確認した.さらに,これらの成果を踏まえ,2次元問題に対する対称性破壊分岐点の存在検証を行った.Oberbeck-Boussinesq方程式は,Rayleigh数をパラメータとして様々な分岐を起こすことが数値的に知られている.ただし理論的に得られている知見は自明解からの分岐のみであり,非自明解からの分岐点の存在証明は得られていなかった.本研究では,分岐点における特異性を回避するためにOberbeck-Boussinesq方程式と線形化方程式によって構成される拡大方程式を与え,分岐点が存在するための条件を対称性破壊分岐理論を援用することにより導いた.さらに,拡大方程式の解の存在検証条件の定式化を行ない,検証アルゴリズムおよび検証結果を与えた.加えて,分岐曲線追跡のための数値計算スキームとともに大規模数値計算に適応したアルゴリズムの高速化・並列化を検討した.以上の研究成果によって,流体力学的非線形安定性問題,特に熱対流問題の解の大域的構造を把握するための基盤を構築することができた.
Before the annual ま で に must ら れ た results を も と に high Rayleigh number に す seaborne る nonlinear partial differential problem で あ る 2 dimensional Oberbeck - Boussinesq equation is の の stationary solution line card 検 を な っ た. Equation is の は fluid viscous を rules す る パ ラ メ ー タ で あ る が Rayleigh number big き く な る ほ ど nonlinear item が dominate と な り, calculate が unrest に な る こ と が know ら れ て い る. こ の problem point を avoid す る た め, issues を residual き 戻 し の form に variations in し, existence and 検 の を guide き license conditions, the numerical be 験 を line な っ Youdaoplaceholder0. 3 dimensional problem and せ て へ の company, zhang を み, principle of な applicable possibility を confirm し た. さ ら に, こ れ ら の results を tread ま え, 2 dimensional problem に す seaborne る said sex break 壊 seaborne exist bifurcation point の 検 line card を っ た. Oberbeck - は Boussinesq equations, Rayleigh number を パ ラ メ ー タ と し て others 々 な gaps を up こ す こ と が the numerical に know ら れ て い る. た だ し theory of に ら れ て い る knowledge は self-evident solution か ら の branching の み で あ り, not self-evident solution か ら の の bifurcation point exists to prove は ら れ て い な か っ た. This study で は, branching point に お け る specificity を avoid す る た め に Oberbeck - Boussinesq equations と linear change equations に よ っ て constitute さ れ る company, big equations を and え, branching points exist が す る た め の conditions を said sex break 壊 seaborne bifurcation theory を invoking す る こ と に よ り guide い た. さ ら に, company, big equation is の の The condition for the existence of a 検 certificate is set to a fixed を line な 検, the 検 certificate ア ゴリズムおよび検 ゴリズムおよび検 the result of the ゴリズムおよび検 certificate is えた and えた. Add え て, bifurcation curve tracing の た め の the numerical computing ス キ ー ム と と も に に large-scale the numerical computing optimal 応 し た ア ル ゴ リ ズ ム の quick running, tied for the を beg し 検 た. Research achievements above の に よ っ て, fluid mechanics of the nonlinear stability problem, especially に heat flow seaborne の の solutions are the structure of the large domain を grasp す る た め の base plate を build す る こ と が で き た.
项目成果
期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
M.T.Nakao, et al.: "Some Computer Assisted Proofs for Solutions of the Heat Convection Problems"Reliable Computing. 9・5. 359-372 (2003)
M.T.Nakao 等人:“热对流问题的一些计算机辅助证明”可靠计算 9・5。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem
热对流问题非平凡解的数值验证
- DOI:
- 发表时间:2004
- 期刊:
- 影响因子:0
- 作者:Watanabe;Y.
- 通讯作者:Y.
A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity
非线性奇异摄动问题解的数值验证方法
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:Hashimoto;K.
- 通讯作者:K.
An efficient approach to the numerical verification for solutions of elliptic differential equations
椭圆微分方程解数值验证的有效方法
- DOI:
- 发表时间:2004
- 期刊:
- 影响因子:0
- 作者:Nakao;M. T.
- 通讯作者:M. T.
Y.Watanabe, et al.: "Numerical Verification of Nontrivial Solutions for the Heat Convection Problem"Journal of Mathematical Fluid Mechanics. 6・1. 1-20 (2004)
Y. Watanabe 等:“热对流问题的非平凡解的数值验证”《数学流体力学》杂志 6・1(2004 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
渡部 善隆其他文献
Kolmogorov問題の精度保証付き数値計算に対するいくつかの考察
保证柯尔莫哥洛夫问题精度的数值计算的一些注意事项
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
平尾 将剛;奥田 隆幸;澤 正憲;渡部 善隆 - 通讯作者:
渡部 善隆
Rigorous numerics of finite-time singularity for ODEs
ODE 有限时间奇点的严格数值
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
渡部 善隆;木下 武彦;中尾 充宏;Kaname Matsue - 通讯作者:
Kaname Matsue
Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(上
奥尔-索末菲方程临界雷诺数的保证精度的数值计算(上部分)
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Kimihiko Motegi;Masakazu Teragaito;Nakahiro Yoshida;渡部 善隆 - 通讯作者:
渡部 善隆
精度保証付き数値計算による楕円型作用素の逆作用素ノルム評価
使用数值计算对椭圆算子进行逆算子范数评估并保证精度
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Shoichi Fujimori;Wayne Rossman;Masaaki Umehara;Kotaro Yamada; Seong-Deog Yang;Sumio Yamada;渡部 善隆 - 通讯作者:
渡部 善隆
渡部 善隆的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('渡部 善隆', 18)}}的其他基金
精度保証付き数値計算の前進---有限と無限をつなぐもの---
保证精度的数值计算进展---连接有限与无限---
- 批准号:
23K20812 - 财政年份:2024
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---
计算机辅助“超”同伦法——精度保证的数值计算新维度——
- 批准号:
24H00694 - 财政年份:2024
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
精度保証付き数値計算の前進---有限と無限をつなぐもの---
保证精度的数值计算进展---连接有限与无限---
- 批准号:
21H01000 - 财政年份:2021
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
精度保証付き多次元逆スペクトル解析
多维逆谱分析,保证精度
- 批准号:
13740072 - 财政年份:2001
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Navier-Stokes方程式の精度保証付き数値計算に関する研究
保精度纳维-斯托克斯方程数值计算研究
- 批准号:
11740070 - 财政年份:1999
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
非線形偏微分方程式の解の精度保証付き数値計算法に関する研究
非线性偏微分方程解精度保证的数值计算方法研究
- 批准号:
06740167 - 财政年份:1994
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
3次元領域におけるレイノルズ数の大きい流れの計算機援用証明
三维域大雷诺数流的计算机辅助证明
- 批准号:
23K20810 - 财政年份:2024
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (B)