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 (Q2217873): Difference between revisions

Revision as of 07:04, 24 July 2024

scientific article

Language	Label	Description	Also known as
English	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	scientific article

Statements

instance of

scholarly article

0 references

title

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 (English)

0 references

0 references

0 references

0 references

Numerische Mathematik

0 references

publication date

11 January 2021

0 references

full work available at URL

https://arxiv.org/abs/1910.00759

0 references

zbMATH Keywords

Schur complement

0 references

elliptic problem

0 references

partial differential equations

0 references

existence result

0 references

nonlinear problem

0 references

0 references

0 references

An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

0 references

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

0 references

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

0 references

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

0 references

Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications

0 references

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

0 references

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

0 references

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

0 references

Some considerations of the invertibility verifications for linear elliptic operators

0 references

Numerical verification of existence and inclusion of solutions for nonlinear operator equations

0 references

Bounds for eigenvalues of second-order elliptic differential operators

0 references

Q4364444

0 references

Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance

0 references

Computer-assisted proofs for semilinear elliptic boundary value problems

0 references

Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

0 references

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

0 references

An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space

0 references

Norm bound computation for inverses of linear operators in Hilbert spaces

0 references

Numerical verifications of solutions for nonlinear elliptic equations

0 references

Identifiers

zbMATH Open document ID

1456.65035

0 references

DOI

10.1007/s00211-020-01155-7

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2217873

@@ Property / cites work @@
+Q4448960
@@ Property / cites work: Q4448960 / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems II
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
+Normal rank
@@ Property / cites work @@
+A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
+Normal rank
@@ Property / cites work @@
+Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
+Normal rank
@@ Property / cites work @@
+An efficient approach to the numerical verification for solutions of elliptic differential equations
+Normal rank
@@ Property / cites work @@
+Some considerations of the invertibility verifications for linear elliptic operators
+Normal rank
@@ Property / cites work @@
+Numerical verification of existence and inclusion of solutions for nonlinear operator equations
+Normal rank
@@ Property / cites work @@
+Bounds for eigenvalues of second-order elliptic differential operators
+Normal rank
@@ Property / cites work @@
+Q4364444
@@ Property / cites work: Q4364444 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs for semilinear elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
+Normal rank
@@ Property / cites work @@
+A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
+Normal rank
@@ Property / cites work @@
+An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
+Normal rank
@@ Property / cites work @@
+Norm bound computation for inverses of linear operators in Hilbert spaces
+Normal rank
@@ Property / cites work @@
+Numerical verifications of solutions for nonlinear elliptic equations
+Normal rank