Special FunctionsReading edition

The proof architecture

Reading tools
Reading libraryInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Read and explore

Proofs and implementation

About this work

Other resources

Original TeX with line links

Skip contents and start reading

The proof architecture

The illustrated chapters develop the definitions, decisive proof steps, and worked examples. The appendices provide the complete derivations, explicit constants, computational contracts, source comparisons, and unresolved questions. Editable source files accompany the monograph.

AppendixProof chapterMain dependencies
ADilation type and continuityPositive coefficient recurrence, radius bootstrap, translated-radius comparison
BArithmetic inverse and character resolutionSummable positive atoms, squarefree counting, Euler factors, sector partial integration
CMultiple-prime geometry and detectorsExact moments, isolated-node polynomials, definite matrix pencils
DOrbit continuation and shiftsGenus-zero product, branch separation, exponential sums, two-end Mellin subtraction
EInteger sequences and polyphase lawsFactorial recurrence, ordered trees, root filtering, carry arithmetic
FCoupled entire growth and typePositive coupled recurrence, characteristic matrix, translated powers, left eigenvector
GComponent reduction and exact inverseCubic and fifth coefficients, factorization, seventh-coefficient separation
HConstant linear operator structureProjection fibers, polynomial interpolation, monomial tests
IQuantitative resolution atlasTap type bounds, removed-prime mass, exact interpolation and tail certificates
JCoupled exact laboratoryDerivative recurrence, denominator clearing, positive disk majorants

Appendix A. Dilation type and continuity Appendix B. Arithmetic inverse and characters Appendix C. Multiple-prime geometry and detectors Appendix D. Orbit continuation and shifts Appendix E. Integer sequences and polyphase laws

Source and conversion record

This HTML edition follows the retained manuscript. It adds no proof review or Lean coverage.

Source identities and equation checks

Notation in Special Functions

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index