Numerical verification for solutions to partial differential equations

DOI10.1090/SUGA/419zbMATH Open1391.35143OpenAlexW2596804582MaRDI QIDQ4568286FDOQ4568286

Authors: Mitsuhiro T. Nakao 

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

Recommendations

• A posteriori existence in numerical computations
• A posteriori estimates for partial differential equations
• Numerical verification methods and computer-assisted proofs for partial differential equations
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• An efficient approach to the numerical verification for solutions of elliptic differential equations

zbMATH Keywords

partial differential equationsnumerical solutions

Mathematics Subject Classification ID

Semilinear elliptic equations (35J61) 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)

Cites Work

• Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
• Introduction to Interval Analysis
• Title not available (Why is that?)
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Title not available (Why is that?)
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• A numerical verification of nontrivial solutions for the heat convection problem
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• Verification methods: rigorous results using floating-point arithmetic
• A numerical approach to the proof of existence of solutions for elliptic problems
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
• On inequalities of Korn, Friedrichs and Babuska-Aziz
• Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
• Validated Continuation for Equilibria of PDEs
• Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
• 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 computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
• Integration of dissipative partial differential equations: a case study
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• Title not available (Why is that?)
• On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
• 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
• A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
• Numerical verification of solutions for variational inequalities
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
• Title not available (Why is that?)
• Computer-assisted enclosure methods for elliptic differential equations
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• Determination of the Babuska-Aziz constant for the linear triangular finite element
• Numerical verifications of solutions for nonlinear elliptic equations
• Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
• On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
• Constructive a priori error estimates for a full discrete approximation of the heat equation
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• Numerical verifications for eigenvalues of second-order elliptic operators
• 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
• A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
• A numerical verification method of solutions for the Navier-Stokes equations
• Numerical verification of solutions for elasto-plastic torsion problems
• Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
• Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators

Cited In (13)

• Accuracy verification methods. Theory and algorithms
• The problem of checking and correction of numerical results for differential equations, and methods for its solution
• Numerical verification of solutions of Nekrasov's integral equation
• Title not available (Why is that?)
• Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
• Verification of a Numerical Solution to a Collocation Problem
• Numerical validation for systems of absolute value equations
• A posteriori existence in numerical computations
• Title not available (Why is that?)
• Numerical verification of solutions for variational inequalities
• Numerical verification of solutions for a simplified Signorini problem
• Numerical Verification of the Hasselmann equation
• A multilevel method for solution verification

This page was built for publication: Numerical verification for solutions to partial differential equations

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