A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

Nonlinear boundary value problems for linear elliptic equations (35J65) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20)

Related Items (76)

An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ A Hermite spectral method for the computation of homoclinic orbits and associated functionals ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness ⋮ Unnamed Item ⋮ Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach ⋮ Rigorous verification of saddle-node bifurcations in ODEs ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ Numerical verification for solutions to partial differential equations ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory ⋮ Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ A computer‐assisted method for the diblock copolymer model ⋮ A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS ⋮ Solving obstacle problems with guaranteed accuracy. ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ A certificate-based approach to formally verified approximations ⋮ Computational fixed-point theory for differential delay equations with multiple time lags ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Circumscribed ellipsoid algorithm for fixed-point problems ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ 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 ⋮ Verified numerical computations for an inverse elliptic eigenvalue problem with finite data ⋮ Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs ⋮ Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations ⋮ 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 ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems ⋮ An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator ⋮ Rigorous numerical computations for 1D advection equations with variable coefficients ⋮ Numerical verification of solutions for elasto-plastic torsion problems ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Rigorous validation of stochastic transition paths ⋮ Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators ⋮ Numerical existence and uniqueness proof for solutions of semilinear parabolic equations ⋮ Numerical verification of solutions for variational inequalities of the second kind ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem

This page was built for publication: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem