A WORKING RESEARCH PROTOTYPE
Explore a specific Navier–Stokes result through calculations you can rerun. Choose a disturbance, test 17 time blocks, and inspect the exact outcome.
Research contribution & citation / योगदान व संदर्भ →NEW · Run the real flow solver / प्रत्यक्ष प्रवाहाची गणना → W₂ / RK4 · Measured comparison / प्रत्यक्ष तुलना →Unforced 3D flow · periodic domain · viscosity 1
The main paper's stated perturbation class. This prototype checks a finite part of its certificate.
Read the preprint ↗The example disturbance is h = (a sin(ky), 0, 0). It is smooth, mean-zero and divergence-free, and its A₋₁ norm is |a|/k.
Changing k changes the disturbance's spatial frequency. This is an input family, not a simulated fluid trajectory.
An intentional stress test of the stored certificate, not a change to the physical initial data.
Calculations run in your browser. No input upload needed.
Each bar is E₃ / ρ for one time block. Entry requires a ratio below 1.
01–17 are time blocks, not equally spaced time samples. Block 17 covers [3, ∞).
Only the displayed finite inequalities, assuming the supplied analytic bounds are valid. A failed certificate does not mean the fluid blows up; a passing certificate is not a complete proof of the PDE theorem.
This browser checks 34 selected inequalities from a derived snapshot. The linked Python audit also checks three original input files, their dependency hashes and archived recurrence conditions. Those additional checks are not performed here; browser PASS is not the full PASS_DATA_ONLY result.
Open a row to inspect its exact fractions. Decimal margins are rounded for display; pass/fail uses exact integers and fractions.
| Block / interval | Invariance | Entry | E₃ / ρ | Exact values |
|---|
WHO CAN USE THIS?
For researchers and students who want to inspect a certificate, see how a perturbation changes its inequalities, or reproduce a reported calculation. It does not predict engineering flow, optimize equipment, or establish an industrial benefit.
TRACEABLE, WITH LIMITS
The browser recomputes the two sets of 17 inequalities with exact rational arithmetic. The original analytic enclosures, the full PDE proof, novelty and the paper's other claims remain separate questions. The app was prepared with AI assistance.
Read the audit scope ↗