Numerical verification for solutions to partial differential equations
From MaRDI portal
Publication:4568286
DOI10.1090/suga/419zbMath1391.35143OpenAlexW2596804582MaRDI QIDQ4568286
Publication date: 18 June 2018
Published in: Sugaku Expositions (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/suga/419
Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65M99) Numerical methods for partial differential equations, boundary value problems (65N99) Semilinear elliptic equations (35J61)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Numerical verifications of solutions for nonlinear elliptic equations
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
- Numerical verification of stationary solutions for Navier-Stokes problems
- 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 numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- On inequalities of Korn, Friedrichs and Babuska-Aziz
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Numerical verification of solutions for variational inequalities
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
- Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- A numerical verification of nontrivial solutions for the heat convection problem
- Numerical verification of solutions for elasto-plastic torsion problems
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- A numerical verification method of solutions for the Navier-Stokes equations
- Numerical verifications for eigenvalues of second-order elliptic operators
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Determination of the Babuska-Aziz constant for the linear triangular finite element
- Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation
- Verification methods: Rigorous results using floating-point arithmetic
- Integration of Dissipative Partial Differential Equations: A Case Study
- A numerical approach to the proof of existence of solutions for elliptic problems
- Validated Continuation for Equilibria of PDEs
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- Introduction to Interval Analysis
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- Computer-assisted enclosure methods for elliptic differential equations
