Towards computability of elliptic boundary value problems in variational formulation
type: Item
instance of: scholarly article
title: Towards computability of elliptic boundary value problems in variational formulation
zbMATH Open document ID: 1126.03052
author: Vasco Brattka
author: Atsushi Yoshikawa
published in: Journal of Complexity
publication date: 2007-02-08T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 34B15
Mathematics Subject Classification ID: 35J25
Mathematics Subject Classification ID: 47F05
Mathematics Subject Classification ID: 47S30
zbMATH DE Number: 5123560
zbMATH Keywords: computable analysis
zbMATH Keywords: functional analysis
zbMATH Keywords: boundary value problems
zbMATH Keywords: Fréchet-Riesz representation theorem
zbMATH Keywords: Lax-Milgram theorem
zbMATH Keywords: theorem of Schauder
MaRDI profile type: Publication
full work available at URL: j.jco.2006.04.007
OpenAlex ID: W2018804289
cites work: The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
cites work: Equivalent Norms for Sobolev Spaces
cites work: Q3803111
cites work: Q3425600
cites work: Effective representations of the space of linear bounded operators
cites work: Q4418667
cites work: Q5718580
cites work: Q5310876
cites work: Computer Science Logic
cites work: Q4300595
cites work: Q4184832
cites work: On the computational complexity of ordinary differential equations
cites work: Q4002474
cites work: Type‐2 computability on spaces of integrable functions
cites work: Q5832587
cites work: Computable sequences in the Sobolev spaces
cites work: The bit-complexity of discrete solutions of partial differential equations: Compact multigrid
cites work: Q3994907
cites work: Q3873024
cites work: Q4485693
cites work: Complexity of differential and integral equations
cites work: Interpolation functor and computability.
cites work: On an ad hoc computability structure in a Hilbert space
cites work: Computability structure of the Sobolev spaces and its applications
cites work: Computability theory of generalized functions
cites work: Lp‐Computability
DOI: 10.1016/J.JCO.2006.04.007
Recommended article: Variational discretization of elliptic boundary value problems.
Recommended article: Q3497388
Recommended article: Variational Methods for the Numerical Solution of Nonlinear Elliptic Problems
Recommended article: On computation of solutions of elliptic systems
Recommended article: Q4801716
Recommended article: On computation of solutions of fully nonlinear elliptic problems
Recommended article: On the Use of Elliptic Regularity Theory for the Numerical Solution of Variational Problems
Recommended article: Q5424557
Recommended article: Computer-assisted proofs for semilinear elliptic boundary value problems
Recommended article: The Computational Complexity of Elliptic Partial Differential Equations
description: scientific article; zbMATH DE number 5123560