xox said:
Why not M= \Sigma \gamma'_i m_i-U_i?
If that happens to be the case, we would just write ##U = \Sigma U_i##. I didn't say anything about the form of ##U##; it doesn't have to be a single number or a single function.
In the case where a well-defined potential energy as a function of position exists, the form of ##U_i## will be ##U_i = \Phi(x_i)##, where ##\Phi## is the potential energy function. So the total invariant mass of the system will be ##M_0 = \Sigma \left( \gamma'_i m_i - \Phi ( x_i ) \right)##.
But, as I noted in a previous post, you won't be able to transform this expression into an arbitrary frame, because the potential energy function won't transform correctly, since its argument is a 3-vector in a particular frame, not a 4-vector. You can define a total 4-momentum vector for the system whose norm is ##M_0##, but that's all.
To give a concrete example, consider a hydrogen-1 atom, i.e., a proton and an electron in a bound state. For concreteness, assume it's the ground state. As an approximation to the actual CoM frame, we'll work in a frame in which the proton is at rest, and we'll define the potential energy function ##\Phi## in this frame using the proton's field only, i.e., it's only nonzero for the electron. (This is a pretty good approximation because the proton's rest mass is so much higher than the electron's.) So we have ##\Phi = k e^2 / r##, where ##k## is the Coulomb constant, ##e## is the magnitude of the charge on the electron (and the proton), and ##r## is the distance between them. That gives
$$
M_0 = m_p + \gamma_e m_e - k e^2 / r
$$
If we take ##r## to be the Bohr radius and calculate ##\gamma_e## using the classical formula for the orbital velocity at radius ##r## in an inverse square field, we get ##\gamma_e \approx 1 + 2.66 \times 10^{-5}##, i.e., the kinetic energy of the electron is about ##2.66 \times 10^{-5}## times its rest mass, or 13.6 eV. For ##k e^2 / r##, with ##r## the Bohr radius, we get 27.2 eV, so the overall result is M_0 = m_p + m_e + 13.6 eV - 27.2 eV = m_p + m_e - 13.6 eV. 13.6 eV is, of course, the usually quoted binding energy of the hydrogen atom.
I'll defer discussion of how to derive all this from "first principles" to a separate post.
xox said:
I see no reason why the binding energies of the constituents can be represented by a single variable, U, as you did it above.
It's not a "single variable"; it's just a placeholder for whatever the total of the binding energies in the system turns out to be. Again, I made no assumptions whatever about the form of ##U##. Its specific form will depend on the system.
DrStupid said:
if I understand the following discussion correctly he changed that to the rest frame of the total assembly of all atoms.
My intent all along was to work in the rest frame of the *system*. If the system is a single atom, that frame is the rest frame of the atom. If the system is composed of multiple atoms, that frame is the rest frame of the total assembly of all the atoms. There's no fundamental difference between these cases, because the atom itself is composed of multiple particles in relative motion, i.e., it's a "system", not just a single particle.
DrStupid said:
In that case he is actually adding energies.
That's what it amounts to, yes. But note that, as I said above, in the case where binding energy is present, you can only add energies this way in a particular frame, the frame in which potential energy is a well-defined function of position. The potential energy function won't transform correctly into an arbitrary frame.
DrStupid said:
If the energies are related to the same frame of reference they should be additive.
Yes, that's why I was careful to specify that I was doing all this in one particular frame.