Computability structure of the Sobolev spaces and its applications

Authors
Citation
N. Zhong, Computability structure of the Sobolev spaces and its applications, THEOR COMP, 219(1-2), 1999, pp. 487-510
Citations number
34
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
219
Issue
1-2
Year of publication
1999
Pages
487 - 510
Database
ISI
SICI code
0304-3975(19990528)219:1-2<487:CSOTSS>2.0.ZU;2-H
Abstract
In this paper we present a definition of s-computability for functions in S obolev spaces HS(Rd), s is an element of R. Two applications of s-computabi lity are then discussed. One is to address several open problems regarding classical computable functions; the other is to conduct computable analysis of several important classes of partial differential equations. (C) 1999 E lsevier Science B.V. All rights reserved.