The wave equation with computable initial data whose unique solution is nowhere computable

被引：32

作者：

PourEl, MB

Zhong, N

机构：

[1] UNIV MINNESOTA,SCH MATH,MINNEAPOLIS,MN 55455

[2] UNIV HARTFORD,DEPT MATH,W HARTFORD,CT 06117

来源：

MATHEMATICAL LOGIC QUARTERLY | 1997年 / 43卷 / 04期

关键词：

computable analysis; computable continuous function; wave propagation; wave equation;

D O I：

10.1002/malq.19970430406

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We give a rough statement of the main result. Let D be a compact subset of R-3 x R. The propagation u(x, y, z, t) of a wave can be noncomputable in any neighborhood of any point of D even though the initial conditions which determine the wave propagation uniquely are computable. A precise statement of the result appears below.

引用

页码：499 / 509

页数：11