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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 25
  • Download : 0
As one of the seven open problems in the addendum to their 1989 book Computability in Analysis and Physics, Pour-El and Richards proposed “.. the recursion theoretic study of particular nonlinear problems of classical importance. Examples are the Navier-Stokes equation, the KdV equation, and the complex of problems associated with Feigenbaum’s constant.” In this paper, we approach the question of whether the Navier-Stokes Equation admits recursive solutions in the sense of Weihrauch’s Type-2 Theory of Effectivity. A natural encoding (“representation”) is constructed for the space of divergence-free vector fields on 2-dimensional open square Ω = (−1, 1)2. This representation is shown to render first the mild solution to the Stokes Dirichlet problem and then a strong local solution to the nonlinear inhomogeneous incompressible Navier-Stokes initial value problem uniformly computable. Based on classical approaches, the proofs make use of many subtle and intricate estimates which are developed in the paper for establishing the computability results.
Publisher
Springer International Publishing
Issue Date
2019-04
Language
English
Citation

International Workshop on Complexity and Approximation, 2019, pp.80 - 112

ISSN
0302-9743
DOI
10.1007/978-3-030-41672-0_7
URI
http://hdl.handle.net/10203/280536
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0