HPC Tier Module

Rayleigh-Benard Convection

2D Rayleigh-Benard convection with the free-slip onset Ra_c validated against its closed form.

See it run - a worked example, 100% in this browser tab

The problem

Convection studies need a quick way to see roll onset and heat transport, but the critical Rayleigh number depends on the plate boundary condition and the box - a mismatch silently misleads, and full CFD codes are heavy to stand up.

The local-first solution

This solver integrates 2D Boussinesq convection in vorticity-streamfunction form in your browser, measures the Nusselt heat-transport number over the run, and validates the onset against the exact free-slip Ra_c = 27 pi^4/4, always surfacing which Ra_c governs the run. Deterministic f64 math, nothing uploaded.

What it does

Vorticity-transport, temperature, and streamfunction equations on a periodic box
2nd-order centered finite differences with an SOR/Jacobi Poisson solve for psi
Explicit RK2 time march of the Boussinesq system
Nusselt number Nu measured over the run with the late-time steady value reported
Free-slip onset validated against the exact Ra_c = 27 pi^4/4 (~657.51)
GeoNum drift probe on the relative change of Nu to gauge whether the steady state has settled

Honest scope

EXACT: the centered operators, the Poisson solve, the RK2 march, the Nusselt integral, and the closed-form free-slip onset. Ra_c is boundary-condition and box dependent - the rigid-rigid 1707.76 figure is reported for reference but the solver imposes free-slip, and it surfaces which Ra_c it used. NOT modeled: 3D, non-Boussinesq/compressible effects, rotation/magnetic fields, no-slip plates in the nonlinear solver, or high-Ra turbulent scaling; coarse grids under-resolve boundary layers (flagged). A prototype, not a production CFD code.

Authorities cited

Measure heat transport with a validated onset

Run the convection solve in your browser with nothing uploaded, then route the Nusselt curve and onset check into a Sandbox workspace or attach them to a Worklog case.

GDBS by VaultSync Solutions Inc. - Verifiable Computation. gdbs.getvaultsync.com