Let for accretion. The steady spherical continuity equation and radial Euler equations for an inviscid fluid give
For a barotropic fluid, . Dividing continuity equation by gives . Eliminating this derivative yields
At a smooth transonic critical point, the coefficient of vanishes. A finite derivative then requires the right side to vanish simultaneously:
These are the sonic and regularity conditions. Otherwise the derivative is singular and the proposed smooth transonic passage fails. The local slope must also be a real root compatible with the desired branch. For example, defining at the point and differentiating both sides gives
This explains why simultaneous vanishing is a necessary regularity condition, rather than an automatic proof that every potential admits a critical crossing.
Define the barotropic enthalpy function by . The momentum equation integrates to the Bernoulli equation
Changing the reference mass density in changes only the constant . For an isothermal closure this logarithmic function is a barotropic barotropic pressure potential; it should not be confused with the constant thermodynamic specific enthalpy of an ideal gas held at fixed temperature.
For isothermal transonic accretion in the Paczyński-Wiita potential, assume and , and define and . The critical equation is
whose two roots are . Only the plus root lies outside . Therefore
For this isothermal case , and the slope relation reduces to
The positive slope is the inward-accretion solution connecting a small inward speed at large radius to the supersonic inward branch. Thus the exterior critical point is a genuine nondegenerate transonic point.
Choose the reference mass density as , so and from the conditions at infinity. At ,
Substitution into gives
This is the rate selected by the smooth transonic accretion solution. Arbitrary static or subsonic formal solutions are not assigned this rate merely by specifying conditions at infinity. As , the result tends to the isothermal Bondi accretion rate , a useful normalization check.