Computer-assisted enclosure methods for elliptic differential equations

DOI10.1016/S0024-3795(00)00273-1zbMath0973.65100OpenAlexW2057055494MaRDI QIDQ5929750

Publication date: 3 December 2001

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0024-3795(00)00273-1

zbMATH Keywords

computer-assisted enclosure methods nonlinear boundary value problems

Mathematics Subject Classification ID

Nonlinear boundary value problems for linear elliptic equations (35J65) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Numerical solutions of ill-posed problems in abstract spaces; regularization (65J20)

Related Items

New solutions of the Gelfand problem, A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, A Posteriori Verification of Optimality Conditions for Control Problems with Finite-Dimensional Control Space, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach, Some remarks on the behaviour of the finite element solution in nonsmooth domains, Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents, Numerical verification for solutions to partial differential equations, Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator, A-posteriori error estimates for optimal control problems with state and control constraints, Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity, Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof, A priori error analysis of two force-based atomistic/continuum models of a periodic chain, Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof., Numerical verification of solutions for obstacle problems., Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications, Computational fixed-point theory for differential delay equations with multiple time lags, A priori and a posteriori analysis of the quasinonlocal quasicontinuum method in 1D, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, Global smooth solution curves using rigorous branch following, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, A numerical approach to the proof of existence of solutions for some generalized obstacle problems, Spontaneous periodic orbits in the Navier-Stokes flow, A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition, Analysis of a quasicontinuum method in one dimension, Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain, Numerical verification method for positive solutions of elliptic problems, Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems, Global dynamics in nonconservative nonlinear Schrödinger equations, Adaptive Local Minimax Galerkin Methods for Variational Problems, Numerical verification of positiveness for solutions to semilinear elliptic problems, An analytic approach to solve multiple solutions of a strongly nonlinear problem, Rigorous validation of stochastic transition paths, Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem

Uses Software

Cites Work