Validated bounds on embedding constants for Sobolev space Banach algebras

66. Thomas Wanner:
    Validated bounds on embedding constants for Sobolev space Banach algebras
    Mathematical Methods in the Applied Sciences 41(18), pp. 9361-9376, 2018.

Abstract

Sobolev spaces and their embedding properties have long been of central importance in the study of partial differential equations, particularly for the classical theoretical analysis of both linear and nonlinear problems. In recent years, computer-assisted proof techniques have been developed for obtaining existence and uniqueness proofs of solutions to a variety of nonlinear partial differential equations that arise in applications, and they have led to a number of new results that currently lie beyond the reach of classical analytical approaches. The use of computer-assisted methods, however, frequently relies on the explicit knowledge of a variety of embedding constants for Sobolev spaces. In the present paper, we show that in the context of certain Sobolev space Banach algebras, these constants themselves can be bounded rigorously and precisely using validated computations based on interval arithmetic, combined with analytical error estimates.

Links

The published version of the paper can be found at https://doi.org/10.1002/mma.5294.

Bibtex

@article{wanner:18b,
   author = {Thomas Wanner},
   title = {Validated bounds on embedding constants for {S}obolev
            space {B}anach algebras},
   journal = {Mathematical Methods in the Applied Sciences},
   volume = {41},
   number = {18},
   year = {2018},
   pages = {9361--9376},
   doi = {10.1002/mma.5294}
   }