HPC Tier Module

Krogh Cylinder Oxygen Transport

Solve radial tissue oxygenation against the exact Krogh-Erlang profile and locate the lethal corner.

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

The problem

Tissue-oxygenation teaching and model exploration need a Krogh solver that reports the lethal-corner pO2 and any anoxic radius honestly, validated against an exact profile rather than asserted.

The local-first solution

This plugin solves the cited Krogh-Erlang radial BVP by finite differences in exact f64, compares it to the closed-form pO2 profile, and reports the critical consumption and lethal radius by bisection - all in your browser with no upload or API key.

What it does

Radial finite-difference BVP with ghost-node Neumann no-flux and Thomas tridiagonal solve
Exact Krogh-Erlang closed-form pO2 profile as the validation benchmark
Reports the L-infinity error between the numeric solve and the closed form
Critical consumption M* at which pO2 reaches zero before the outer radius
Lethal radius (anoxic boundary) found by bisection when consumption exceeds M*
Optional Michaelis-Menten saturating consumption checked in its zero-order limit

Honest scope

Exact: the zero-order Krogh-Erlang closed form, the radial finite-difference BVP, the Thomas solve, the critical-consumption formula, and the bisection lethal radius; the Michaelis-Menten option has no closed form and is validated only in its zero-order limit. It assumes cylindrical symmetry, steady state, a single isolated Krogh cylinder, and constant diffusivity and solubility (all surfaced inputs), and does not model axial gradients, hemoglobin or myoglobin kinetics, inter-capillary competition, or any 2D/3D geometry. Research and education only - not for clinical, diagnostic, or treatment decisions.

Authorities cited

Solve the oxygen profile

Compute the pO2 field and lethal corner in your browser, with nothing uploaded to anyone's cloud. Save the run to Sandbox, attach it to a Worklog case, or share parameters through a Gate portal.

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