Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 3 / Issue 11

available in:   PDF (261 kB) PS (86 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-003-11-1148

 

Constructive Aspects of the Dirichlet Problem

Douglas S. Bridges (Department of Mathematics, University of Waikato, New Zealand)

Wang Yuchuan (Department of Mathematics, University of Waikato, New Zealand)

Abstract: We examine, within the framework of Bishop's constructive mathematics, various classical methods for proving the existence of weak solutions of the Dirichlet Problem, with a view to showing why those methods do not immediately translate into viable constructive ones. In particular, we discuss the equivalence of the existence of weak solutions of the Dirichlet Problem and the existence of minimizers for certain associated integral functionals. Our analysis pinpoints exactly what is needed to find weak solutions of the Dirichlet Problem: namely, the computation of either the norm of a linear functional on a certain Hilbert space or, equivalently, the infimum of an associated integral functional.


1.) Proceedings of the First Japan-New Zealand Workshop on Logic in Computer Science, special issue editors D.S. Bridges, C.S. Calude, M.J. Dinneen and B. Khoussainov.

Keywords: Bishop's constructive mathematics, Dirichlet problem, Hilbert space

Categories: G.0