Abstract
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 suitable encoding (“representation”) is carefully constructed for the space of solenoidal vector fields in the \(L_q\) sense over the \(d\)-dimensional open unit cube with zero boundary condition. This is shown to render both the Helmholtz projection and the semigroup generated by the Stokes operator uniformly computable in the case \(q=2\).
The first author is partially supported by the National Science Foundation under grant No. DMS-1210979; the last author acknowledges support from German Research Foundation (DFG) under grant Zi 1009/4-1 and from IRTG 1529.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We use \(q\in [1,\infty ]\) to denote the norm index, \(P\) for the pressure field, \(p\) for polynomials, \(\mathcal {P}\) for sets of (tuples of) the latter, and \(\mathbb {P}\) for the Helmholtz Projection.
References
Beggs, E., Costa, J.F., Tucker, J.V.: Axiomatising physical experiments as Oracles to algorithms. Philos. Trans. R. Soc. Math. Phys. Eng. Sci. 370, 3359–3384 (2012)
Giga, Y.: Time and spatial analyticity of solutions of the Navier-Stokes equations. Comm. Partial Differ. Equ. 8, 929–948 (1983)
Giga, Y., Miyakawa, T.: Solutions in \(L^r\) of the Navier-Stokes initial value problem. Arch. Ration. Mech. Anal. 89(3) 5.VIII, 267–281 (1985)
Girault, V., Raviart, P.-A.: Finite Element Methods for Navier-Stokes Equations. Series in Computational Mathematics, vol. 5. Springer, Heidelberg (1986)
Patel, M.K., Markatos, N.C., Cross, M.: A critical evaluation of seven discretization schemes for convection-diffusion equations. Int. J. Numer. Meth. Fluids 5(3), 225–244 (1985)
Pour-El, M.B., Richards, J.I.: The wave equation with computable initial data such that its unique solution is not computable. Adv. Math. 39(4), 215–239 (1981)
Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1989)
Pour-El, M.B., Zhong, N.: The wave equation with computable initial data whose unique solution is nowhere computable. Math. Logic Q. 43(4), 499–509 (1997)
W.D. Smith: On the uncomputability of hydrodynamics, NEC preprint (2003)
Soare, R.I.: Computability and recursion. Bull. Symbolic Logic 2, 284–321 (1996)
Tao, T.: Finite time blowup for an averaged three-dimensional Navier-Stokes equation. arXiv:1402.0290 (submitted); http://terrytao.wordpress.com/2014/02/04/
Weihrauch, K.: Computable Analysis: An Introduction. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2000)
Weihrauch, K., Zhong, N.: Is wave propagation computable or can wave computers beat the turing machine? Proc. Lond. Math. Soc. 85(2), 312–332 (2002)
Weihrauch, K., Zhong, N.: Computing the solution of the Korteweg-de Vries equation with arbitrary precision on turing machines. Theor. Comput. Sci. 332, 337–366 (2005)
Weihrauch, K., Zhong, N.: Computing schrödinger propagators on type-2 turing machines. J. Complex. 22(6), 918–935 (2006)
Weihrauch, K., Zhong, N.: Computable analysis of the abstract Cauchy problem in Banach spaces and its applications I. Math. Logic Q. 53, 511–531 (2007)
Wiegner, M.: The Navier-Stokes equations - a neverending challenge? Jahresbericht der Deutschen Mathematiker Vereinigung (DMV) 101(1), 1–25 (1999). http://dml.math.uni-bielefeld.de/JB_DMV/JB_DMV_101_1.pdf
Ziegler, M.: Physically-relativized church-turing hypotheses: physical foundations of computing and complexity theory of computational physics. Appl. Math. Comput. 215(4), 1431–1447 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Sun, S.M., Zhong, N., Ziegler, M. (2015). On Computability of Navier-Stokes’ Equation. In: Beckmann, A., Mitrana, V., Soskova, M. (eds) Evolving Computability. CiE 2015. Lecture Notes in Computer Science(), vol 9136. Springer, Cham. https://doi.org/10.1007/978-3-319-20028-6_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-20028-6_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20027-9
Online ISBN: 978-3-319-20028-6
eBook Packages: Computer ScienceComputer Science (R0)