Special FunctionsReading edition

The coupled family and its scope

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

Coupled growth and the cost of resolution

The coupled family consists of two entire functions whose derivatives depend on contracted values of both components. Its growth exponent is the unique positive number \(\rho\) for which

\[ \operatorname{spr}\begin{pmatrix}q^\rho&r^\rho\\a^\rho&b^\rho\end{pmatrix}=1, \qquad 0<q,r,a,b<1. \]

Both functions have positive lower type and finite upper type at this order. The positive eigenvector fixes the proportions of both type vectors. The existence of an ordinary type limit remains open.

Local coefficients reveal the coupling

Two explicit parameter surfaces describe exactly when one normalized component is an amplitude and argument rescaling of the other. Outside these surfaces, the coefficients through degree seven recover all four ordered scales. This provides an exact local inverse for the labeled pair.

Three ways finite observations can miss structure

The resolution atlas compares a weak tap, a large excluded prime, and a negative sieve atom. Each example links a structural change to a concrete observation scale and a proved certificate.

ExampleObservationWhat the certificate gives
Weak feedback tapValues on a complex diskAn explicit compact error and a sufficient radius for separation
Excluded primeValues and derivativesExact disk bounds and a negative-depth visibility bracket
Negative sieve atomAll polynomial tests up to a degreePositive quadratic forms through degree four and a negative degree-seven witness

The computed figures follow in this chapter and Chapter 7. Complete derivations accompany the full monograph, and the source archive contains the alternative growth proof, exact laboratory, and review records. The six-source literature comparison identifies classical antecedents. Historical priority of the specific coupled results remains unresolved.

How to read the figures

An exact rational bound supplies a certificate. A decimal display illustrates its size. Numerical curves retain their stated truncation and precision, and the universal growth and recovery statements rest on their proofs.

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