A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528): Difference between revisions

Latest revision as of 20:42, 13 July 2024

scientific article; zbMATH DE number 6722945

Language	Label	Description	Also known as
English	A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory	scientific article; zbMATH DE number 6722945

Statements

instance of

scholarly article

0 references

title

A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (English)

0 references

0 references

0 references

0 references

0 references

SIAM Journal on Numerical Analysis

0 references

publication date

24 May 2017

0 references

full work available at URL

http://hdl.handle.net/2241/00146623

0 references

zbMATH Keywords

semilinear parabolic initial-boundary value problems

0 references

verified numerical computations

0 references

existence and local uniqueness

0 references

describes a project that uses

INTLAB

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

A nonlinear heat equation with singular initial data

0 references

Q4217277

0 references

Q4933729

0 references

Validated Continuation for Equilibria of PDEs

0 references

A Posteriori Error Estimates in the Maximum Norm for Parabolic Problems

0 references

Critical exponents for a semilinear parabolic equation with variable reaction

0 references

Q5547841

0 references

Q3873451

0 references

On the finite element method for parabolic equations. I: Approximation of homomorphic semi-groups

0 references

Q2730413

0 references

Q3470840

0 references

Q5788912

0 references

On the growth of solutions of quasi‐linear parabolic equations

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

Maximum Norm A Posteriori Error Estimation for Parabolic Problems Using Elliptic Reconstructions

0 references

The value of the critical exponent for reaction-diffusion equations in cones

0 references

Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape

0 references

Numerical verification for existence of a global-in-time solution to semilinear parabolic equations

0 references

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

0 references

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

0 references

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

0 references

Semigroups of linear operators and applications to partial differential equations

0 references

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

0 references

Q3438091

0 references

Q4949347

0 references

Q4360234

0 references

Abstract Parabolic Evolution Equations and their Applications

0 references

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

0 references

On the differentiability and the representation of one-parameter semi-group of linear operators

0 references

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

0 references

Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

0 references

Identifiers

zbMATH Open document ID

1362.65106

0 references

DOI

10.1137/141001664

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5347528

@@ Property / cites work @@
+A nonlinear heat equation with singular initial data
+Normal rank
@@ Property / cites work @@
+Q4217277
@@ Property / cites work: Q4217277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4933729
@@ Property / cites work: Q4933729 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+A Posteriori Error Estimates in the Maximum Norm for Parabolic Problems
+Normal rank
@@ Property / cites work @@
+Critical exponents for a semilinear parabolic equation with variable reaction
+Normal rank
@@ Property / cites work @@
+Q5547841
@@ Property / cites work: Q5547841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3873451
@@ Property / cites work: Q3873451 / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite element method for parabolic equations. I: Approximation of homomorphic semi-groups
+Normal rank
@@ Property / cites work @@
+Q2730413
@@ Property / cites work: Q2730413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3470840
@@ Property / cites work: Q3470840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5788912
@@ Property / cites work: Q5788912 / rank @@
+Normal rank
@@ Property / cites work @@
+On the growth of solutions of quasi‐linear parabolic equations
+Normal rank
@@ Property / cites work @@
+On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
+Normal rank
@@ Property / cites work @@
+Maximum Norm A Posteriori Error Estimation for Parabolic Problems Using Elliptic Reconstructions
+Normal rank
@@ Property / cites work @@
+The value of the critical exponent for reaction-diffusion equations in cones
+Normal rank
@@ Property / cites work @@
+Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
+Normal rank
@@ Property / cites work @@
+Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems
+Normal rank
@@ Property / cites work @@
+Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation
+Normal rank
@@ Property / cites work @@
+On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
+Normal rank
@@ Property / cites work @@
+Semigroups of linear operators and applications to partial differential equations
+Normal rank
@@ Property / cites work @@
+Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
+Normal rank
@@ Property / cites work @@
+Q3438091
@@ Property / cites work: Q3438091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360234
@@ Property / cites work: Q4360234 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Parabolic Evolution Equations and their Applications
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+On the differentiability and the representation of one-parameter semi-group of linear operators
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
+Normal rank