# The forced Navier–Stokes blowup argument

An independent lesson series on the smooth-force, finite-time blowup construction in OpenAI’s *Finite Time Blowup for Navier–Stokes*. The theorem retains every positive viscosity, zero initial velocity, smooth compact space–time forcing, bounded kinetic energy, compact spatial support before time one, and the stated failure of global smooth continuation.

The [cumulative typeset reader](reader.html) contains the twenty-three complete lessons below. The [offline reader and editable sources](NS-BLOWUP-reader-and-source.zip) include all twenty-three lessons, their SVG figures, editable diagram generators and bibliography, and the local mathematical typesetting runtime. The complete mathematical proof notes are included as well; cited original papers remain external references. The twenty-three main lessons contain 115 fully solved exercises. Two appendix lessons on Navier–Stokes connections to vacuum gravity add ten solved exercises and are included in the offline download.

## Lessons in this edition

1. **N1 — [The forced blowup theorem and its geometry](src/the-forced-blowup-theorem-and-its-geometry.md)** ([reader](reader.html#opening)). The exact whole-space and periodic statements; the original coordinate inverse and all first derivatives; the smooth Cartesian axis and radial pressure; exact core volumes and both leading energy integrals; stress moments and oscillatory covariance; full-field energy, the growth path, every viscosity factor and periodization. Five worked exercises retain the physical domains, coefficients and supports.
2. **N2.1 — [From velocity profiles to stress and five exact moments](src/from-velocity-profiles-to-stress-and-moments.md)** ([reader](reader.html#stress)). The full material derivative and viscous stress, five cumulative moments, exact exterior preservation, parameter stability, invertible bump matrices, the complete nonlinear correction solve and stress cone. Five worked exercises include exterior tails, the exact pressure freedom, first axis coefficients, support scaling and the inverse cone map. The [figure source](assets/stress-and-moments.py) reproduces the exact cone section.
3. **N2.2 — [Constructing the outer profile and its heat exterior](src/constructing-the-outer-profile-and-heat-exterior.md)** ([reader](reader.html#outer)). The complete radial schedule and parameter order; exact moment corrections; analytic axis-pressure datum; strict stress-cone estimates; the full Gamma heat integral and exterior equation; three exact heat moments; and the backward stress, compact support and smooth limiting direction. Five solved exercises include the finite Taylor remainder, parameter order, endpoint factors, actual axis traces and exact edge coefficient. The [diagram source](assets/outer-profile-and-heat.py) reproduces the construction map.
4. **N2.3 — [Constructing the analytic axis profile](src/constructing-the-analytic-axis-profile.md)** ([reader](reader.html#axis)). The actual axis data and analytic pressure; complete coefficient space and integrated derivative estimates; exact inverse and nonlinear fixed point; smooth Cartesian axis; positive source and both endpoint regions. Five solved exercises give integral kernels, explicit derivative bounds, exact axis derivatives, inverse and iteration errors, and the nonzero axial residual of the leading field with every viscosity factor. The [diagram source](assets/analytic-axis-profile.py) reproduces the analytic domain and endpoint alternatives.
5. **N2.4 — [Joining the analytic axis to the outer field](src/joining-the-analytic-axis-to-the-outer-field.md)** ([reader](reader.html#joining)). The complete reference continuation, stress activation and limiting direction, protected parameter-analytic collar, amplitude-independent transition length, exact five-moment matching and original parameter order. Five solved exercises give all inner-edge moment coefficients, full scale factors, the exact disjoint-support correction solve and radial regularity. The [diagram source](assets/exact-inner-outer-joining.py) reproduces the joining intervals and correction blocks.
6. **N2.5 — [Realizing the admissible shear and completing the leading profile](src/realizing-the-admissible-shear.md)** ([reader](reader.html#shear)). The smooth variance family and exact loop mean, actual finite radial modulation, nonlinear restoration of all five moments, both endpoint directions and common flat weight. All six conclusions of Theorem 4.6 are proved. Five solved exercises give the exact zero-axial-stress loop, full endpoint moment coefficients, sharper correction bounds, explicit endpoint derivative powers and the phase at every viscosity. The [diagram source](assets/admissible-shear-construction.py) reproduces the maps and support order.
7. **N3.1 — [Correcting the coefficients on one fixed axis interval](src/correcting-coefficients-on-the-axis.md)** ([reader](reader.html#higher-axis)). Every original coefficient equation and all six matrix rows, the exact radial integral inverse, convergence on one fixed interval, common parameter regularity and recovery of the actual first correction. Five solved exercises prove the operator compositions, finite remainder, axis coefficients, bounded solution map and exact axial residual cancellation. The [diagram source](assets/higher-axis-construction.py) reproduces the coordinate spaces and identities.
8. **N3.2 — [Extending every coefficient and cancelling its five moments](src/extending-coefficients-and-cancelling-moments.md)** ([reader](reader.html#global-extension)). Actual cutoff and five fixed smooth bumps, full affine moment solve, compact velocity and pressure, conservative residual identities, exact stress supports and the exceptional first outer term. Five solved exercises give quantitative determinants, the correction map, exterior defects, sharp endpoint coefficients and comparison with the leading stress. The [diagram source](assets/global-coefficient-extension.py) reproduces the moments and supports.
9. **N3.3 — [Constructing the actual base field](src/constructing-the-actual-base-field.md)** ([reader](reader.html#base-field)). Complete finite residual, full cutoff curl, actual summation, every original coefficient order, weighted stress bounds, endpoint extensions, heat exterior and original viscosity. Five solved exercises give the unique radial repair, the full first residual, comparison of actual cutoff choices, exact axis cancellation and the retained first correction. The [diagram source](assets/actual-base-field.py) reproduces the operators and axis identity.
10. **N4.1 — [Separating the oscillatory supports](src/separating-the-oscillatory-supports.md)** ([reader](reader.html#oscillatory-supports)). The complete auxiliary support construction, exact covering and Haar maps, pulse coordinates, coefficient algebra and cylindrical differential operators. Five solved exercises supply directional inverses, radial counts, finite rational centers, exact pulse paths and physical covariance. The [diagram source](assets/oscillatory-supports.py) reproduces the maps.
11. **N4.2 — [Constructing the pulses and their actual velocities](src/constructing-the-pulses-and-their-velocities.md)** ([reader](reader.html#pulses)). The actual base inputs, phase, moving-plane inverse, homogeneous pulse, exact curl, pressure and complete linear residual. Five solved exercises derive frame projections, harmonic inverse bounds, covariance columns, real velocities and pulse energy. The [diagram source](assets/pulse-construction.py) records the equations.
12. **N4.3 — [Realizing the stress and controlling nonlinear interactions](src/realizing-stress-and-controlling-interactions.md)** ([reader](reader.html#stress-interactions)). The exact positive and signed covariance maps, full curls and quadratic remainders, nonlinear transport and positive production with the actual shear. Five worked exercises derive finite amplitude changes, the auxiliary projection, all covariance remainders, conservative means and divergence defects. The [diagram source](assets/stress-and-interactions.py) records the maps.
13. **N5.1 — [Radial primitives and the complete mean equations](src/radial-primitives-and-the-mean-equations.md)** ([reader](reader.html#radial-mean)). The physical radial inverse, all derivative estimates, compact pressure and solenoidal potential, conservative mean equations, weighted integrated defects and tangential stress, with all original viscosity factors. Five solved exercises and the [diagram source](assets/radial-mean-corrections.py) accompany the proofs.
14. **N5.2 — [Cancelling the nonconstant auxiliary means](src/cancelling-the-nonconstant-auxiliary-means.md)** ([reader](reader.html#temporal-mean)). The actual Fourier inverse,compact divergence-free velocity,unchanged velocity moments,retained axial remainder,full pressure and nonlinear receivers. Exact averaged changes and every original viscosity factor are included. Five solved exercises and the [diagram source](assets/auxiliary-time-correction.py) accompany the proofs.
15. **N5.3 — [Correcting the three defects with five compact profiles](src/correcting-the-three-defects-with-five-profiles.md)** ([reader](reader.html#five-profile)). The complete five-profile inverse, actual compact curl, all nonlinear defect terms, pressure and mean/wave receivers, with every original viscosity factor. Five solved exercises derive explicit coefficients, physical fields, the exact exceptional ranks, quadratic variations and averaged equations. The [diagram source](assets/five-profile-moment-correction.py) accompanies the proof.
16. **N6.1 — [Summing the correction fields without losing the equation](src/summing-the-correction-fields.md)** ([reader](reader.html#summation)). A complete proof of divergence-preserving potential summation and all-order control of the full nonlinear residual, including both mixed convection terms, the quadratic tail, original coordinate derivatives, exact quantifier order and five solved exercises. Its actual construction inputs are identified in S6.

17. **N6.2 — [Initializing and repeating the complete correction cycle](src/initializing-and-repeating-the-correction-cycle.md)** ([reader](reader.html#finite-cycle)). Support and harmonic closure, the complete initial state, all four updates and their full nonlinear receivers, simultaneous bounds and one common domain. Five solved exercises retain all original viscosity factors, bound finite harmonic growth and derive the exact ordered-update identities. The [diagram source](assets/finite-correction-cycle.py) accompanies the proofs.

18. **N6.3 — [Constructing the actual local velocity and pressure](src/constructing-the-actual-local-field.md)** ([reader](reader.html#physical-local)). Exact base-to-chart maps, physical derivative bounds, the complete potential sum and nonlinear residual, compatible terminal derivatives, the original exterior heat field and inner growth, with every viscosity factor. This completes N6. Five solved exercises and the [diagram source](assets/physical-local-field.py) accompany the proof.

19. **N7.1 — [Localizing the field and extending its smooth force](src/localizing-the-field-and-extending-the-force.md)** ([reader](reader.html#compact-force)). Complete potential localization, every cutoff residual term, uniform terminal derivative limits and an actual compact smooth extension, with all original viscosity factors. Five solved exercises give exact cutoff composition, exterior force jets, finite integer bounds, the freedom in extension and space-time flatness. The [figure source](assets/compact-force-extension.py) records the construction.

20. **N7.2 — [Energy, comparison and the final blowup conclusions](src/energy-comparison-and-the-final-blowup-conclusions.md)** ([reader](reader.html#energy-comparison)). Full energy and dissipation, the complete comparison proof and all its analytical tools, actual growth, every viscosity factor and disjoint periodization. Exact formal statement maps and five solved exercises include stability for different data and arbitrarily small integrated force. This completes N7. The [figure source](assets/energy-comparison-and-blowup.py) accompanies the proof.

21. **N8.1 — [Computation with a force that becomes stationary](src/computation-with-eventually-stationary-forcing.md)** ([reader](reader.html#stationary-computation)). The complete finite recorder and inverse, exact radix coordinates, every branch motion, the fixed detector, mean-zero spatial clock, full residual force and classical uniqueness. Periodic and projected alternatives, slow clocks and five solved exercises include a finite observation tolerance and sharp time-integrability thresholds. The [editable figure source](assets/eventually-stationary-computation.py) records the actual coordinates and force.

22. **N8.2 — [Computation with rapidly decreasing forcing](src/computation-with-rapidly-decreasing-forcing.md)** ([reader](reader.html#rapid-forcing)). Three exact memory constructions, four fluid experiments, full residual and projected forces, effective bounds, classical uniqueness and fixed-detector equivalences. Five solved exercises include the limiting volume-preserving flow and exact post-halting signal. The [figure source](assets/rapid-forcing-memories.py) displays the memory maps and incompressible lift.

23. **N8.3 — [Detecting computation in the velocity of a viscous fluid](src/detecting-computation-in-the-velocity.md)** ([reader](reader.html#velocity-detection)). The scalar receiver, torus burst estimate, expanding integer addresses, scalar existence and tails, moving-cutoff loss and the two exact velocity observations. Five solved exercises give observation margins, physical energy factors, stack coordinates, scalar stability and configuration recovery. The [figure source](assets/velocity-detection-mechanisms.py) displays both mechanisms and their diffusion estimates.

## The theorem and its prerequisites

N1–N7 construct the profiles, coefficients, base field, pulses, mean corrections, finite correction cycle, convergent field and compact terminal force. The final lesson proves the whole-space theorem and its periodic corollary, together with stability for different initial data, the full viscosity and compression maps, and small integrated force at a fixed singular time. N8.1 gives a computation theorem with an exact recorder, geometric processor, spatial clock and stationary force. N8.2 proves computation with rapidly decreasing forcing, including the limiting flow. N8.3 proves detection in the velocity itself, using torus bursts and expanding transport regions.

The fluid foundations supply the preceding analysis. The lessons give precise source and proof locators for the human smooth-forcing programme and for each supplying construction.

## Sources and rights

[SOURCES.json](SOURCES.json) gives the bibliography and mathematical source locators. The [radial phase and potential conventions](SOURCE_SCAN_CHECK.md) give the original expressions and their coordinate derivations. Diplomatic transcriptions preserve OpenAI’s text; the arguments and exercises here are separate mathematical exposition. Authored text and figures in the twenty-three main lessons are CC0. The appendix source files retain their own attribution and notices. Original sources retain their attribution and rights; MathJax retains its included software and font licenses.

## Appendix: Navier–Stokes connections to vacuum gravity

The first appendix constructs exact vacuum constraint data from a smooth compact incompressible velocity snapshot and recovers the velocity. It applies to the forced fluid construction before its singular time. The second derives a separate linear gravitational shear response with a Navier–Stokes limit and positive wave energy. These connections do not prove a gravitational singularity or a gravitational continuation through fluid blowup.

- [Appendix A: Exact vacuum constraint data from a velocity field](appendices/vacuum-gravity/velocity-fields-and-vacuum-constraints.html).
- [Appendix B: The gravitational shear response and its fluid limit](appendices/vacuum-gravity/gravitational-shear-and-the-fluid-limit.html).

[Read both appendix lessons](appendices/vacuum-gravity/reader.html) or consult their [editable sources and bibliography](appendices/vacuum-gravity/README.md). Each appendix contains five fully solved exercises and a reproducible diagram. Both appendices are included in the course offline download.