A remark on a compactness result in electromagnetic theory
โ Scribed by Karl J. Witsch
- Publisher
- John Wiley and Sons
- Year
- 1993
- Tongue
- English
- Weight
- 281 KB
- Volume
- 16
- Category
- Article
- ISSN
- 0170-4214
No coin nor oath required. For personal study only.
โฆ Synopsis
Abstract
Calderon's extension theorem is a crucial tool in the proof of the compactneฯs of the resolvent for the Maxwell operator, and whence this result is proved for domains with the strict cone property. However, the proof only requires an extension operator that extends W^2,2^โfunctions compactly as W^1,2^โfunctions. It is shown that this can be achieved under weaker regularity conditions on the domain: the cone may be replaced by some cusp of an appropriate order.
๐ SIMILAR VOLUMES
We show that if ฮบ is weakly compact, then ฮบ โ (stationary, ฮบ) 3 holds for treelike partitions. As an application we study model constructions.
We start by introducing some notation. We conform to the usual practice of identifying the least infinite ordinal o with the set of non-negative integers. Given a; b4o; a partition of a into b blocks is an onto function X : a ! b such that minรฐX ร1 รฐfngรรominรฐX ร1 รฐfmgรร whenever nomob: Thus, the b
The purpose of this note is to show that the independence results for sharply bounded arithmetic of Takeuti [4] and Tada and Tatsuta [3] can be obtained and, in case of the latter, improved by the model-theoretic method developed by the author in [2].