Stationary phase and critical manifolds
The 94 external elementary proof providers are verified in the earlier C10/C20 programme. The proof index gives exact public PDF destinations and editable TeX passages, alongside the English author readings. The human text retains its own terms and remains external to the CC0 export.
A complete lesson on nonstationary cancellation, quadratic and parameter stationary phase, differentiated symbol estimates, and clean critical manifolds with their normal densities. Three examples and five solved exercises accompany the full proofs.
Read the lesson · Browse the proof index · Read the notation guide
Prerequisite lessons
The lesson and local companions contain their own proofs. The proof index gives the exact dependency order and identifies the external Lebl prerequisites.
- Gaussian regularization and quadratic stationary phase
- Completing the finite-dimensional prerequisites
- A smooth quadratic reduction with parameters
- Completing the elementary inputs actually used
- Completing the algebra and differentiation inputs
- Mixed derivatives and the compact-interval integral
- Exponentials, circle coordinates and the Gaussian branch
- Rectangle integrals, tails and the interchanges used in stationary phase
- Null sets, Jordan domains and change of variables
Jiří Lebl’s author edition of Basic Analysis supplies 94 external prerequisite proofs from 29 sections. The proof index links the exact statement and proof anchors. Lebl prerequisite proofs are external dependencies linked to the author edition. They are not included in this CC0 mathematical-text export; internal programme proof closure is not claimed for this export.
Sources and rights
The lesson and local companions are independent CC0 mathematical text. See the component licence. Lebl’s text and figures remain in the external author edition under his own licences. The dependency register records exact scopes, anchors and checked page hashes.
The lesson and its local prerequisite companions are CC0. The included CSS and fonts retain KaTeX’s MIT notice. The read-only author PDFs consulted for mathematical comparison are linked from the lessons; they are not included in this edition. The machine-readable proof index contains the scopes, exact local locators and prerequisite edges.