Validated bounds on embedding constants for Sobolev space Banach algebras

DOI10.1002/MMA.5294MaRDI QIDQ4614536zbMATH OpenOpenAlexWikidataFDO

Authors 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

Banach algebracomputer-assisted proofembedding constantembedding theoremsinterval arithmeticSobolev space

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1432037
• Computability structure of the Sobolev spaces and its applications
• Another note on the embedding of the Sobolev space for the limiting exponent
• Embedding of Sobolev spaces with limit exponent revisited
• An explicit form for extremal functions in the embedding constant problem for Sobolev spaces

Cited in

(3)

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

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

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