Ken G said:
if we know the total energy E (including gravitational potential energy, so E is negative), and keep it conserved (so adiabatic contraction under gravity), the kinetic energy will always be -E whenever force balance is achieved, and the potential energy will always be 2E. That latter criterion sets the equilibrium radius.
I've been working through the math for this and have uncovered a couple of possible complications.
First, the conditions: we have a core of initial mass ##M_0## and initial radius ##R_0##. We add some more mass, which I will express as a fraction ##f M_0## of the initial mass, where ##f## is much less than ##1##; so we have a new mass ##M_1 = \left( 1 + f \right) M_0##. Then we ask what the new radius ##R_1## will be once virialization is re-established.
First, we define the useful quantity ##U_0 = G M_0^2 / R_0##. Then, in the initial state, we have the total energy ##E_0 = K_0 + W_0##, the sum of kinetic and gravitational potential energies, which gives ##E_0 = U_0 / 2 - U_0 = - U_0 / 2##.
Now comes the first possible complication. Consider the state immediately after mass has been added, but before the radius has a chance to change. What is the total energy at this point?
The gravitational potential energy now is ##W_i = - G M_1^2 / R_0 = - U_0 \left( 1 + f \right)^2 \approx - U_0 \left( 1 + 2 f \right)## (the subscript ##i## is to designate that this is an intermediate state between adding the mass and completing virialization). If we assume that the added mass has zero kinetic energy, which was what I understood to be the proposal, then we have ##K_i = K_0## and ##E_i = W_i + K_0 = - U_0 \left( 1/2 + 2 f \right)##. Note that this is
less than ##E_0## by a quantity we'll call ##\Delta = 2 f U_0##. That doesn't seem right, because we haven't included any way for energy to be lost from the core in the adding mass process.
If we instead assume that ##E_i = E_0##, i.e., that the total energy (exclusive of rest mass energy) remains the same as the mass is added, then we must have ##K_i = K_0 + \Delta##. In other words, the mass that is added must have kinetic energy ##\Delta##--presumably this is the minimum kinetic energy it must gain in the process of falling onto the core from the surrounding shell region where iron ash is being produced.
If we adopt the above as more reasonable, then we get to the second possible complication. We now have the intermediate state ##W_i = - U_0 - \Delta## and ##K_i = U_0 / 2 + \Delta##. However, this state is
not "under-virialized"; instead it is "over-virialized"--we have ##K_i > | W_i | / 2##, instead of ##K_i < | W_i | / 2##. So to recover virialization in this state, the core will need to
expand, not contract, so that it
loses kinetic energy (at least if we require the change to be adiabatic--the alternative of course would be for the core to radiate away the excess kinetic energy).
And we could, of course, adopt the intermediate assumption about how much kinetic energy the added mass contains, and give it kinetic energy ##\Delta / 2##--in which case the new state would be
exactly virialized and no change in radius would occur at all. But this would still mean the total energy ##E_i## would be less than ##E_0##, so the core would have to lose energy somehow in the course of adding the mass.
In short, in order to have a well-defined specification of what will happen to the core when mass is added, we need to make an additional assumption about how much kinetic energy the added mass has, and it's not clear to me either that the proposed "zero kinetic energy" assumption is physically reasonable, or what the most physically reasonable assumption is.