Towards computability of elliptic boundary value problems in variational formulation

DOI10.1016/J.JCO.2006.04.007zbMATH Open1126.03052OpenAlexW2018804289MaRDI QIDQ864435FDOQ864435

Authors Vasco Brattka, Atsushi Yoshikawa 

Publication date 8 February 2007

Published in Journal of Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jco.2006.04.007

zbMATH Keywords

functional analysisboundary value problemscomputable analysisLax-Milgram theorem[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Fr%EF%BF%BD%EF%BF%BDchet-Riesz+representation+theorem&go=Go Fr��chet-Riesz representation theorem]theorem of Schauder

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Boundary value problems for second-order elliptic equations (35J25) General theory of partial differential operators (47F05) Constructive operator theory (47S30) Constructive and recursive analysis (03F60)

Recommendations

• Variational discretization of elliptic boundary value problems.
• Publication:3497388
• Variational Methods for the Numerical Solution of Nonlinear Elliptic Problems
• On computation of solutions of elliptic systems
• scientific article; zbMATH DE number 1894642
• On computation of solutions of fully nonlinear elliptic problems
• On the Use of Elliptic Regularity Theory for the Numerical Solution of Variational Problems
• Variational study of an elliptic boundary problem
• Computer-assisted proofs for semilinear elliptic boundary value problems
• The computational complexity of elliptic partial differential equations

Cites Work

• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3676608 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 613872 (Why is no real title available?)
• scientific article; zbMATH DE number 1962830 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2247268 (Why is no real title available?)
• scientific article; zbMATH DE number 3092812 (Why is no real title available?)
• Complexity of differential and integral equations
• Computability and models. Perspectives east and west
• Computability of the spectrum of self-adjoint operators
• Computability structure of the Sobolev spaces and its applications
• Computability theory of generalized functions
• Computable sequences in the Sobolev spaces
• Computer Science Logic
• Effective representations of the space of linear bounded operators
• Equivalent Norms for Sobolev Spaces
• Interpolation functor and computability.
• L^p‐Computability
• On an ad hoc computability structure in a Hilbert space
• On the computational complexity of ordinary differential equations
• The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
• The bit-complexity of discrete solutions of partial differential equations: Compact multigrid
• Type‐2 computability on spaces of integrable functions

Cited In (19)

• On the Effective Existence of Schauder Bases
• Computable analysis and notions of continuity in \textsc{Coq}
• Computable Riesz representation for locally compact Hausdorff spaces
• On the computational complexity of the Dirichlet problem for Poisson's equation
• Signal reconstruction for the diffusion transport equation using tensorial spline Galerkin approximation
• Variational formulation of a damped Dirichlet impulsive problem
• A wavelet multi-scale method for the inverse problem of diffuse optical tomography
• Splines finite element solver for one-dimensional time-dependent Maxwell's equations via Fourier transform discretization
• On computable compact operators on Banach spaces
• A numerical method for one-dimensional diffusion problem using Fourier transform and the B-spline Galerkin method
• Computable structures and operations on the space of continuous functions
• Computability and analysis, a historical approach
• On computability of the Galerkin procedure
• Computability of Differential Equations
• High-order spline finite element method for solving time-dependent electromagnetic waves
• Quantitative continuity and Computable Analysis in Coq
• Computability of solutions of operator equations
• Weihrauch Complexity in Computable Analysis
• Are unbounded linear operators computable on the average for Gaussian measures?

This page was built for publication: Towards computability of elliptic boundary value problems in variational formulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q864435)