The wave propagator is Turing computable

DOI10.1007/3-540-48523-6_66MaRDI QIDQ4938654zbMATH OpenFDO

Authors Klaus Weihrauch, Ning Zhong

Publication date 2 May 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48523-6_66

zbMATH Keywords

computabilitycomputable analysisphysical modelSobolev spacessolution operator of the Cauchy problemTuring's thesisType-2 theory of effectivitywave propagation

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60) Wave equation (35L05)

Recommendations

• Turing computability of a nonlinear Schrödinger propagator
• Computing Schrödinger propagators on type-2 Turing machines
• Computing the solution of the nonlinear Klein-Gordon equation by Turing machines
• Computing Klein-Gordon equation on Turing machine
• The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
• Is the linear Schrödinger propagator Turing computable?
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• Wave Propagation at Computational Domain Boundaries
• The Turing computability of the solution of the DGH equation
• Wave generation in a computation domain

Cited in

(13)

• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• Smooth finitely computable functions are affine, or why quantum systems cause waves
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• ZUR WELLENGLEICHUNG MIT KONSTRUKTIVEN RANDBEDINGUNGEN
• Computability theory of generalized functions
• A uniformly computable Implicit Function Theorem
• Computability and incomputability of differential equations
• The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
• Is the linear Schrödinger propagator Turing computable?
• Computability and the Implicit Function Theorem
• Computability of Differential Equations
• Computing Schrödinger propagators on type-2 Turing machines
• Quantization causes waves: smooth finitely computable functions are affine

This page was built for publication: The wave propagator is Turing computable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938654)