On Computability of Navier-Stokes’ Equation
Conference paper
First Online:
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\).
Keywords
Infinitesimal Generator Analytic Semigroup Stokes Operator Rigorous Framework Recursive Analysis
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
- 1.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)MathSciNetCrossRefGoogle Scholar
- 2.Giga, Y.: Time and spatial analyticity of solutions of the Navier-Stokes equations. Comm. Partial Differ. Equ. 8, 929–948 (1983)MATHMathSciNetCrossRefGoogle Scholar
- 3.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)Google Scholar
- 4.Girault, V., Raviart, P.-A.: Finite Element Methods for Navier-Stokes Equations. Series in Computational Mathematics, vol. 5. Springer, Heidelberg (1986)MATHGoogle Scholar
- 5.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)MATHCrossRefGoogle Scholar
- 6.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)MATHMathSciNetCrossRefGoogle Scholar
- 7.Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1989)MATHCrossRefGoogle Scholar
- 8.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)MATHMathSciNetCrossRefGoogle Scholar
- 9.W.D. Smith: On the uncomputability of hydrodynamics, NEC preprint (2003)Google Scholar
- 10.Soare, R.I.: Computability and recursion. Bull. Symbolic Logic 2, 284–321 (1996)MATHMathSciNetCrossRefGoogle Scholar
- 11.Tao, T.: Finite time blowup for an averaged three-dimensional Navier-Stokes equation. arXiv:1402.0290 (submitted); http://terrytao.wordpress.com/2014/02/04/
- 12.Weihrauch, K.: Computable Analysis: An Introduction. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2000)CrossRefGoogle Scholar
- 13.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)MATHMathSciNetCrossRefGoogle Scholar
- 14.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)MATHMathSciNetCrossRefGoogle Scholar
- 15.Weihrauch, K., Zhong, N.: Computing schrödinger propagators on type-2 turing machines. J. Complex. 22(6), 918–935 (2006)MATHMathSciNetCrossRefGoogle Scholar
- 16.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)MATHMathSciNetCrossRefGoogle Scholar
- 17.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 MATHMathSciNetGoogle Scholar
- 18.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)MATHMathSciNetCrossRefGoogle Scholar
Copyright information
© Springer International Publishing Switzerland 2015