文献

J-GLOBAL ID：202002284873186679   整理番号：20A0592040

有効近似によるNavier-Stokes方程式への解の計算可能性【JST・京大機械翻訳】

Computability of the Solutions to Navier-Stokes Equations via Effective Approximation

著者 (3件)： Sun Shu-Ming (Department of Mathematics, Virginia Tech, Blacksburg, VA, USA) ,  Zhong Ning (Department of Mathematical Sciences, University of Cincinnati, Cincinnati, OH, USA) ,  Ziegler Martin (School of Computing, KAIST, Daejeon, Republic of Korea)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12000  ページ： 80-112  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 解析・物理学における1989ブックの計算可能性に関する7つのオープン問題の一つとして,Pur-ElとRichardが提案している。これらは,Navier-Stokes方程式,KdV方程式,F固有バムの定数に関連する問題の複雑さである。本論文では,Navier-Stokes方程式がWeihrauchのType-2理論の意味における再帰的解を与えるかどうかの問題に取り組んだ。自然符号化(「表現」)を,二次元開二乗[数式:原文を参照]上の発散のないベクトル場の空間に対して構築した。この表現は,最初にStokes Dirichlet問題に対する穏やかな解を与え,次に非線形不均一非圧縮性Navier-Stokes初期値問題に対する強い局所解を一様に計算できることを示した。古典的アプローチに基づいて,証明は,計算可能性結果を確立するために,本論文で開発された多くの微妙で複雑な推定を利用する。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ベクトル場 ,  Korteweg-de Vries方程式 ,  *計算可能性 ,  二次元 ,  初期値問題 ,  *近似法 ,  非圧縮性 ,  *Navier-Stokes方程式
準シソーラス用語： *Stokes方程式 ,  局所解 , 【Automatic Indexing@JST】

著者キーワード (2件)： Navier-Stokes方程式 ,  計算可能性

分類 (2件)： 分子・遺伝情報処理  (JE15040B) ,  計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 近似 ,  Navier-Stokes方程式 ,  解 ,  計算可能性