Supporting proofs
The main lesson has eleven direct providers. The following complete supporting chapters supply their recursive proofs. The wave material is an expressly limited excerpt of its completed constant-coefficient and odd-wave branches.
Boundary reduction · Credits and terms
- Banach estimates, quotient spaces and compact parameter arguments
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Cauchy data from jumps and residues
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Singularities along a submanifold and smooth boundary passage
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - From local energy to global divergence equations
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Symbols, operators and Sobolev scales
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Finite defects under perturbation
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Quadratic Fourier multipliers at a moving scale
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Solving an elliptic system from compatible boundary measurements
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Fredholm boundary problems with first-order Calderón defects
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 - Detecting regularity without choosing coordinates
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Symbols, finite defects, and the index on a closed manifold
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Local inverses and distance-weighted elliptic estimates
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Spectral measures with the original operator domain retained
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Metric and topological foundations
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Localizing symbols with moving metrics
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Mixed symbols on every real two-parameter Sobolev scale
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Composition of mixed symbols with two different remainder estimates
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Inverting mixed symbols without commuting matrix factors
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Polynomial inverse expansion with ordered matrix coefficients
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Fourier transforms, finite spectra and convex separation
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Doubling a boundary problem and computing its index
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 - Stable modes and the algebra of boundary data
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Polynomial and contour interfaces for stable boundary models
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Curved weights and the directions in which support can end
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Totally characteristic operators on the half space
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 - Traces that survive passage to cohomology
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Causal kernels, initial data, and short-time geometry
Complete selected constant-coefficient and odd-wave branches, covering W1–W17 and OE3–OE23; the rest of that chapter is not included here.
CC0 1.0 Universal; independently written programme material - From Weyl symbols to operators and changes of coordinates
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Two measuring scales, one Weyl product
Complete current supporting reading, with its full theorem ranges and proofs.
CC0 1.0 Universal; independently written programme material - Calderón projections: trace phases, residues and boundary norms
Complete BC1–BC28 convention, residue, antipodal and mixed-order comparison; human source cited with its own terms.
Independently written editorial comparison; CC0 to the extent of rights held.