# A linear profile under dilation

The editable full proof is `linear-profile-under-dilation.md`. Its equations
A1–A26 include the independent integrated-kernel proof, direct one-dimensional
supplement, three worked examples
and six exercises with complete solutions. The positive Green kernel uses the
explicit sign convention in A9.

With Python, NumPy and Matplotlib available, run:

```shell
python make_figures124.py
```

This renders both PNG/SVG pairs. `figures/geometry.json` records the exact
functions, windows, constants and proof locators. The two atom curves use a
full horizontal slab to bound compact windows; the affine curve uses a compact
window of volume one. They are identified separately in the proof and figure.

The original exposition and mathematical figures use CC0 1.0. The DejaVu font
notice retains its own terms. The classical source is Hörmander II, Theorem
16.1.8, printed pp. 312–313, in the 1983 edition, second revised printing 1990,
reprint 2005. The representation and envelope arguments have their exact
reader proof links in the source.