Numerical verification methods and computer-assisted proofs for partial differential equations
From MaRDI portal
a priori error estimatescomputer-assisted proofseigenvalue boundsexistence of a solutionfinite element approximationspartial differential equationsverified computation of solutions
Research exposition (monographs, survey articles) pertaining to partial differential equations (35-02) Boundary value problems for second-order elliptic equations (35J25) Estimates of eigenvalues in context of PDEs (35P15) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Algorithms with automatic result verification (65G20) Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65Mxx) Numerical methods for partial differential equations, boundary value problems (65Nxx)
Recommendations
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Computer-assisted proofs for radially symmetric solutions of PDEs
- A numerical approach to the proof of existence of solutions for elliptic problems
Cited in
(79)- Computer-assisted proofs for radially symmetric solutions of PDEs
- 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 Hopf bifurcation in the planar Navier-Stokes equations
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
- Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
- A posteriori verification of the positivity of solutions to elliptic boundary value problems
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator
- A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
- A counterexample to Payne's nodal line conjecture with few holes
- Rigorous continuation of periodic solutions for impulsive delay differential equations
- Computer-assisted proofs in PDE: a survey
- Periodic orbits in Hořava-Lifshitz cosmologies
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
- Numerical verification for solutions to partial differential equations
- scientific article; zbMATH DE number 804601 (Why is no real title available?)
- scientific article; zbMATH DE number 1432037 (Why is no real title available?)
- Rigorous FEM for One-Dimensional Burgers Equation
- Microscopic patterns in the 2D phase-field-crystal model
- Validated Spectral Stability via Conjugate Points
- Practical error bounds for properties in plane-wave electronic structure calculations
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
- Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases
- Computation of tight enclosures for Laplacian eigenvalues
- Computer assisted proofs for spectral problems
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Eigenvalue Analysis of the Lax Operator for the One-Dimensional Cubic nonlinear Defocusing Schrödinger Equation
- An overview of \textit{a posteriori} error estimation and post-processing methods for nonlinear eigenvalue problems
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model
- Numerical verification method on complex ODEs for existence of global solutions within finite domains
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Smooth self-similar imploding profiles to 3D compressible Euler
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- A review note on arbitrary precision arithmetic
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- Computer-assisted proofs for some nonlinear diffusion problems
- Computer Science for Continuous Data
- Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation
- Guaranteed lower eigenvalue bounds for Steklov operators using conforming finite element methods
- Validated integration of semilinear parabolic PDEs
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Computer-assisted proofs of gap solitons in Bose-Einstein condensates
- Efficient numerical verification procedure of norm bound for infinite-dimensional differential operator with singular term
- Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
- Constructive proofs for some semilinear PDEs on \(H^2(e^{|x|^2/4}, \mathbb{R}^d)\)
- Bounding escape rates and approximating quasi-stationary distributions of Brownian dynamics
- Fully guaranteed and computable error bounds on the energy for periodic Kohn-Sham equations with convex density functionals
- Existence of analytic non-convex V-states
- Detecting random bifurcations via rigorous enclosures of large deviations rate functions
- The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns
- Branches and bifurcations of ejection-collision orbits in the planar circular restricted three body problem
- Constructive proofs of existence and stability of solitary waves in the Whitham and capillary-gravity Whitham equations
- Smooth imploding solutions for 3D compressible fluids
- Determination of stable branches of relative equilibria of the N-vortex problem on the sphere
- Quantitative lower bounds estimates for the norm of resolvent using Galerkin approximation and its applications
- Tool for analyzing ODEs with conserved quantities through verified computation
- Self-similar blowup for the cubic Schrödinger equation
- Guaranteed Lower Eigenvalue Bounds for Spectral Galerkin Methods with Application to Schrödinger Operators
- Existence and orbital stability proofs of traveling wave solutions on an infinite strip for the suspension bridge equation
- Recent advances about the rigorous integration of parabolic PDEs via fully spectral Fourier-Chebyshev expansions
- A numerical verification method for two-coupled elliptic partial differential equations
This page was built for publication: Numerical verification methods and computer-assisted proofs for partial differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5380617)
