Numerical verification for solutions to partial differential equations (Q4568286)

scientific article; zbMATH DE number 6890470

Language	Label	Description	Also known as
English	Numerical verification for solutions to partial differential equations	scientific article; zbMATH DE number 6890470

Statements

instance of

scholarly article

0 references

title

Numerical verification for solutions to partial differential equations (English)

0 references

published in

Sugaku Expositions

0 references

publication date

18 June 2018

0 references

zbMATH Keywords

partial differential equations

0 references

numerical solutions

0 references

author

Mitsuhiro T. Nakao

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1090/suga/419

0 references

cites work

Integration of Dissipative Partial Differential Equations: A Case Study

0 references

Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.

0 references

Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation

0 references

Validated Continuation for Equilibria of PDEs

0 references

Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs

0 references

Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation

0 references

On inequalities of Korn, Friedrichs and Babuska-Aziz

0 references

Q3340032

0 references

Determination of the Babuska-Aziz constant for the linear triangular finite element

0 references

A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems

0 references

On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems

0 references

A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions

0 references

Q3323880

0 references

Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation

0 references

Introduction to Interval Analysis

0 references

A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid

0 references

Numerical verification of stationary solutions for Navier-Stokes problems

0 references

Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators

0 references

A numerical approach to the proof of existence of solutions for elliptic problems

0 references

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

0 references

Numerical verifications for eigenvalues of second-order elliptic operators

0 references

Numerical verification of solutions for elasto-plastic torsion problems

0 references

An efficient approach to the numerical verification for solutions of elliptic differential equations

0 references

A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

0 references

Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains

0 references

Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

0 references

On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems

0 references

Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation

0 references

Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems

0 references

Computer-assisted enclosure methods for elliptic differential equations

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Numerical verification of solutions for variational inequalities

0 references

Q4100478

0 references

Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

0 references

Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points

0 references

Numerical verifications of solutions for nonlinear elliptic equations

0 references

Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

0 references

A numerical verification method of solutions for the Navier-Stokes equations

0 references

A numerical verification of nontrivial solutions for the heat convection problem

0 references

A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow

0 references

A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid

0 references

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

0 references

Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains

0 references

Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element

0 references

Q3706042

0 references

Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs

0 references

Identifiers

zbMATH Open document ID

1391.35143

0 references

DOI

10.1090/suga/419

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4568286