CFD Phase 2: 2D Navier–Stokes BKM Diagnostic
Abstract
We extend the CFD conjecture program with a pseudospectral 2D Navier–Stokes solver on the RTX 5090, tracking the Beale–Kato–Majda (BKM) vorticity integral
alongside enstrophy decay. 2D incompressible flow is globally regular — we do not expect blowup here. This phase builds certifying DNS infrastructure toward 3D BKM searches.
Method
- Vorticity form on :
- Streamfunction: ; velocity
- cuFFT complex-to-complex transforms, 2/3 Orszag dealiasing, RK4 time stepping
- Log CSV:
max |ω|, enstrophy, cumulative BKM integral - Certificate: exit code 2 on NaN/Inf
Results
| Run | Grid | ν | IC | Steps | Outcome |
|---|---|---|---|---|---|
| Smoke | 256² | 1e-3 | Taylor–Green | 2000 | max |ω|: 2.0 → 0.16; BKM ≈ 12.8 |
| Standard | 512² | 1e-4 | Random blob | 5000 | BKM ≈ 1.77; 532 steps/s |
Taylor–Green validates spectral accuracy (exponential enstrophy decay under viscosity). Random IC probes peak vorticity growth at lower ν.
Reproduction
git clone https://github.com/cahlen/idontknow.git
cd idontknow
./scripts/experiments/cfd-ns-bkm/run.sh 256 0.001 2000 0.01 taylor-green # smoke
./scripts/experiments/cfd-ns-bkm/run.sh 512 0.0001 5000 0.005 random # standard
Dataset: cahlen/cfd-ns-bkm — BKM CSVs and certifying logs.
Next steps
- Phase 3: 3D pseudospectral NS with full BKM blowup search
- Couple to chaotic advection maps for Lagrangian diagnostics
- Adaptive resolution near max-vorticity regions
Human–AI collaboration. Not peer-reviewed. All code open for verification.