How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Bounded Calderon maps and signed jump identities
Statement
Assume the Axiom of Choice and Countable Choice, as in the single- and double-layer transmission theorems. For and , the operators in Calderon boundary operators and trace conventions are bounded as Their weak traces satisfy All equalities are in the stated Sobolev trace or dual spaces and use the outward normal orientation fixed on the A page.
Facts & Assumptions
Given: The Axiom of Choice, Countable Choice, the real trace spaces and orientation, the weak layer-potential conventions, and the single- and double-layer transmission theorems.
The single layer has a bounded common trace, energy bound, and conormal jump (The three-dimensional single layer is bounded and coercive).
The double layer has bounded average trace, common conormal, and jump (The double-layer potential has the stated jumps and bounds).
The averaged operators are defined by the trace and conormal averages, with equal to minus the common double-layer conormal (Calderon boundary operators and trace conventions).
Interior and exterior trace lifts are bounded from into their local spaces (The H1 trace and lifting theorem on a compact Lipschitz boundary).
Proof
The bounds for and are respectively the trace bound in [F1] and the average-trace bound in [F2]. The bound for is the common-conormal bound in [F2] and the definition in [F3]. For , harmonicity of and the weak conormal definition give, for every , and the exterior estimate is identical with an exterior local lift. Thus both conormals, and their average , lie in with the claimed bound.
The first common-trace identity and the single-layer conormal difference are [F1]. By [F3], is the arithmetic mean of those two conormals; solving the sum-and-difference equations gives the displayed formulas. The double-layer jump and average-trace definition [F2]–[F3] similarly give for the interior/exterior traces. The common double-layer conormal equals by [F3]. These algebraic identities establish every signed formula.
Remarks
The double-layer transmission theorem identifies the weak double layer with its off-surface kernel integral for every global density, including compatible facewise smooth densities reaching polyhedral edges. For those facewise smooth densities, Finite-energy transmission pairs have the double-layer kernel representation across polyhedral edges also computes the face-interior kernel realization of and the signed half-jumps. The single-layer transmission theorem identifies the weak single layer with its kernel for bounded densities, including discontinuous P0 densities. The common double-layer conormal defines the hypersingular operator weakly; no ordinary absolutely convergent hypersingular boundary integral or pointwise half-jump at edges or vertices is asserted.
Depends on
- Finite-energy transmission pairs have the double-layer kernel representation across polyhedral edges
- Calderon boundary operators and trace conventions
- The three-dimensional single layer is bounded and coercive
- The double-layer potential has the stated jumps and bounds
- The H1 trace and lifting theorem on a compact Lipschitz boundary
- The Axiom of Choice
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
Used by
Cited to discharge well-definedness by Calderon boundary operators and trace conventions.
Dependency tree · two levels
38 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Martin Costabel, Boundary Integral Operators on Lipschitz Domains: Elementary Results (1988) (standard reference, not scraped)
- Francisco-Javier Sayas, First Steps in the Boundary Element Method (2015 lecture notes) (standard reference, not scraped)