
doi: 10.4115/jla.2013.5.3
handle: 10092/9136
The paper considers the existence of constructive solutions for Dirichlet's boundary value problem for open, bounded integrable sets \(\Omega\subseteq\mathbb{R}^n\) and uniformly continuous boundary conditions \(f : \partial\Omega \to \mathbb{R}\). It is shown that: in presence of Markov's Principle, the existence of a weak solution for the Dirichlet problem is equivalent to the Limited Principle of Omniscience (Theorem 4); in the absence of Markov's Principle, the existence of a strong solution for the Dirichlet problem implies the Weak Limited Principle of Omniscience (Proposition 9). It is in this sense that a proof of existence of solutions to the Dirichlet problem, and also to Navier-Stokes equations, of which the Dirichlet problem is a special case, cannot be constructive. It is left open whether the converse of Proposition 9, as well as the variant of Proposition 9 for weak existence, hold. Finally, in Section 5, conditions that ensure the constructive existence of a weak solution for the Dirichlet problem are isolated.
Brouwerian example, Markov's principle, Field of Research::01 - Mathematical Sciences::0103 - Numerical and Computational Mathematics::010399 - Numerical and Computational Mathematics not elsewhere classified, Markov’s principle, Field of Research::02 - Physical Sciences::0203 - Classical Physics::020303 - Fluid Physics, Constructive functional analysis, 518, omniscience principle, Navier-Stokes equations, constructive analysis, Constructive and recursive analysis, Dirichlet problem
Brouwerian example, Markov's principle, Field of Research::01 - Mathematical Sciences::0103 - Numerical and Computational Mathematics::010399 - Numerical and Computational Mathematics not elsewhere classified, Markov’s principle, Field of Research::02 - Physical Sciences::0203 - Classical Physics::020303 - Fluid Physics, Constructive functional analysis, 518, omniscience principle, Navier-Stokes equations, constructive analysis, Constructive and recursive analysis, Dirichlet problem
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
