Validated bounds on embedding constants for Sobolev space Banach algebras

DOI10.1002/mma.5294zbMath1414.46027OpenAlexW2898114151WikidataQ129011826 ScholiaQ129011826MaRDI QIDQ4614536

Thomas Wanner

Publication date: 31 January 2019

Published in: Mathematical Methods in the Applied Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/mma.5294

zbMATH Keywords

Sobolev spaceBanach algebrainterval arithmeticembedding theoremscomputer-assisted proofembedding constant

Mathematics Subject Classification ID

Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Boundary value problems for nonlinear higher-order PDEs (35G30) Interval and finite arithmetic (65G30) Banach algebras of differentiable or analytic functions, (H^p)-spaces (46J15) Algorithms with automatic result verification (65G20)

Related Items (3)

Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings

This page was built for publication: Validated bounds on embedding constants for Sobolev space Banach algebras