typical_grb_energy
plain-language theorem explainer
This definition specializes the GRB energy formula to a mass fraction of 0.1. Astrophysicists studying gamma-ray burst energetics in Recognition Science cite it to fix the reference isotropic energy scale. The implementation is a direct one-line specialization of the general energy expression.
Claim. Let $E_{typ}$ denote the typical gamma-ray burst energy. Then $E_{typ} = 0.1$ times accretion efficiency times solar-mass rest energy.
background
The Gamma-Ray Bursts module develops energy estimates for gamma-ray bursts within Recognition Science, following the associated paper. The general energy expression multiplies accretion efficiency by a chosen mass fraction and the solar-mass rest energy. This supplies concrete reference values for comparison with observed GRB energetics.
proof idea
The definition is a one-line specialization that substitutes the mass fraction 0.1 into the general energy expression.
why it matters
It supplies the concrete energy value that witnesses the interval from 10^51 to 10^54 erg in the range theorem and satisfies the bounds in the typical energy theorem. This anchors the energetics discussion in the Recognition Science analysis of gamma-ray bursts and supports the two-class distinction between long and short bursts.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.