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.