Open Access
May 2007 On computability of the Galerkin procedure
Atsushi Yoshikawa
Proc. Japan Acad. Ser. A Math. Sci. 83(5): 69-72 (May 2007). DOI: 10.3792/pjaa.83.69


It is shown that the Galerkin approximation procedure is an effective representation of the solution of a computable coercive variational problem in a computable Hilbert space.


Download Citation

Atsushi Yoshikawa. "On computability of the Galerkin procedure." Proc. Japan Acad. Ser. A Math. Sci. 83 (5) 69 - 72, May 2007.


Published: May 2007
First available in Project Euclid: 5 June 2007

zbMATH: 1143.03022
MathSciNet: MR2334373
Digital Object Identifier: 10.3792/pjaa.83.69

Primary: 03D80 , 41A65 , 46C05 , 65J10

Keywords: computable Hilbert space , Galerkin approximation , Lax-Milgram theorem

Rights: Copyright © 2007 The Japan Academy

Vol.83 • No. 5 • May 2007
Back to Top