流体問題に関連した線形化固有値問題に対する数値的検証法とその応用

流体问题线性化特征值问题的数值验证方法及其应用

基本信息

  • 批准号:
    15740066
  • 负责人:
  • 金额:
    $ 2.43万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2003
  • 资助国家:
    日本
  • 起止时间:
    2003 至 2004
  • 项目状态:
    已结题

项目摘要

昨年度に引き続き,2次元の流体問題の一種であるDriven Cavity Problemに対して精度保証付き数値計算法を適用し,定常解の検証を行った.本研究では大きなレイノルズ数の場合にも適用可能な方法として,無限次元空間におけるニュートン法(無限次元ニュートン法)による定常解の検証法を提案した.扱う問題を不動点定式化し,その不動点の検証に関して無限次元ニュートン法を適用する場合,扱う問題の線形化作用素が可逆であることの保証や,その逆作用素の定量的な評価が必要になる.本手法では,線形化作用素Lの可逆性の検証については,フレドホルムの択一定理を利用することによりLの核の一意性を示せばよいことに着目し,線形方程式Lu=0の解uの大域的一意性を精度保証付きで示すことにより行った.またその検証過程で得られる評価を用いることにより,線形化作用素の逆作用素の評価も行うことができた.これらの評価を用いて無限次元ニュートン法を適用し,レイノルズ数がある程度大きい場合でも定常解の検証が行えることを検証数値例により確認した.昨年度は,レイノルズ数が100程度までの場合について定常解の検証が行えることを確認したが,今年度はさらに高いレイノルズ数に適用できるよう改良を施し現在のところレイノルズ数が200程度まで適用できることを確認した.これらの結果は8月に中国で開催された第7回日中数値数学セミナーにおける招待講演において,および9月下旬に福岡で開催された国際シンポジウム「SCAN-2004(International Symposium on Validated Numerics 2004」)において発表した.さらに,より一般的な問題として,線形化作用素が本質的スペクトルを持つ場合についての研究にも着手したところである.
Last year's に cited き続き, 2-dimensional fluid problem の a kind of であるDriven Cavity The accuracy of the problem is guaranteed and the numerical value calculation method is applicable, and the constant solution is proved to be feasible. This research is based on possible application methods for numerous situations and infinite dimensional spaces. Infinite dimension ニュートン method によるConstant solution の検 prove method を proposal した.扱う problem When the fixed point is formalized, and the fixed point proof is closed, the infinite dimension method is applicable.扱うquestionのlinearizedactorがreversibleであることのguaranteedや,そのantiactinのquantitativeなvaluation価がIt is necessary to use this method. The proof of the reversibility of the linearized agent L is the proof of the reversibility.択一theoremをutilizes the linear equation of the linear equation Lu=0's solution u's uniformity of the large domain is guaranteed and the accuracy is guaranteed. The process is as follows:ができた.これらのreview価を用いてInfinite Dimension ニュートン法をapplicableし,レイノルズ数があるThe degree is great, the situation is stable, the solution is constant, the evidence is proved, the practice is done, the number of cases is confirmed, and the previous year is confirmed. , レイノルズが100 degree までのoccasion について Constant solution の検证が行 えることをconfirm したが, this year's はさらに高いレイノルズnumber is applicable to できるようimproving を时しNow のところレイThe number of ノルズが200 degree is applicable and the confirmation is confirmed. The results are open in August in China. The 7th episode of Japanese Mathematical Mathematics セミナーにおける reception lecture において, および late September に福Okay's open reminder "SCAN-2004(International Symposium on Validated Numerics 2004》)において発表した.さらに,よりgeneral problemとして,linear transformation Use the essential nature of the original スペクトルを holding the occasion についての research にも to start したところである.

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
不可压缩粘性流体柯尔莫哥洛夫流稳定性的计算机辅助证明
K.Nagatou, M.T.Nakao, M.Wakayama: "Verified numerical computations for eigenvalues of non-commutative harmonic oscillators"Numerical Functional Analysis and Optimization. 23(5&6). 633-650 (2002)
K.Nagatou、M.T.Nakao、M.Wakayama:“非交换简谐振子特征值的验证数值计算”数值泛函分析和优化。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
K.Nagatou: "A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid"Journal of Computational and Applied Mathematics. (to appear).
K.Nagatou:“不可压缩粘性流体柯尔莫哥洛夫流稳定性的计算机辅助证明”计算与应用数学杂志。
  • 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 }}

長藤 かおり其他文献

固有値問題に対する数値的検証法とその応用
特征值问题的数值验证方法及其应用
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Xiuxun Han;他;長藤 かおり
  • 通讯作者:
    長藤 かおり
Validated computation tool for the Perron-Frobenius eigenvalues
经过验证的 Perron-Frobenius 特征值计算工具
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    K. Nagatou;Y. Ishii;長藤 かおり;石井 豊
  • 通讯作者:
    石井 豊
1次元シュレディンガー作用素に対するスペクトル問題
一维薛定谔算子的谱问题
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    長藤 かおり;M;Plum;中尾充宏
  • 通讯作者:
    中尾充宏

長藤 かおり的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('長藤 かおり', 18)}}的其他基金

無限次元固有値問題に対する精度保証付き数値計算とその応用
无限维特征值问题的保精度数值计算及其应用
  • 批准号:
    13740077
  • 财政年份:
    2001
  • 资助金额:
    $ 2.43万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)

相似海外基金

偏微分方程式の解に対する数値的検証法の新たな高度化の研究
偏微分方程解数值验证的新方法研究
  • 批准号:
    21K03378
  • 财政年份:
    2021
  • 资助金额:
    $ 2.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
非凸領域におけるパラメータ依存方程式に対する解の数値的検証法
非凸区域参数相关方程解的数值验证方法
  • 批准号:
    15740069
  • 财政年份:
    2003
  • 资助金额:
    $ 2.43万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
滑らかでない非凸領域でのナビエ・ストークス方程式の解に対する数値的検証法の研究
非光滑非凸区域纳维-斯托克斯方程解的数值验证方法研究
  • 批准号:
    03J52911
  • 财政年份:
    2003
  • 资助金额:
    $ 2.43万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
偏微分方程式の解の数値的検証法
偏微分方程解的数值验证方法
  • 批准号:
    05740136
  • 财政年份:
    1993
  • 资助金额:
    $ 2.43万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了