The usual proof of Rocket propulsion goes something like this (University of Central Florida, Rocket propulsion)
$mv = (m-dm_g)(v+dv) + dm_g(v-v_{rel})$
where:
- m - initial weight of rocket
- v - initial speed of rocket
- dv - increase in speed of rocket
- $dm_g$ - mass of ejected gas
- $v_{rel}$ - relative speed of gas
Then we get to this equation (by neglecting $dm \cdot dv$)
$m \cdot dv = dm_g \cdot v_{rel}$
Then by realising that $dm_g$ = -dm
$m \cdot dv = -dm \cdot v_{rel}$
This negative sign is off course necessary for the later integration. However I don't see where it follows from. What does it mean to have a mass that is negative and what is 'dm'? I understand it in the derivation sense:
$\frac{dm}{dt} = \lim_{t_1\to t_0}\frac{m(t_1) - m(t_0)}{t_1-t_0} = \lim_{t_1\to t_0}\frac{(m_0-dm_g) - m_0}{t_1-t_0} < 0$
However this feels 'after the fact' knowledge and some manipulation of notation. Where does it follow from formally when we only defined '$dm_g$' as the mass of the ejected gas?
Correction (2023.3.11, 13:19):
Would this be a correct derivation?
$\frac{dp_R}{dt} + \frac{dp_G}{dt} + \frac{dp_{G_{prev}}}{dt} = 0$
where:
- $\frac{dp_{G_{prev}}}{dt} = 0$ change of momentum of previously released gas, without adding the mass of the current change
- $m_R + m_G + m_{G_{prev}} = m_{R0}$
$\frac{dp_R}{dt} = -\frac{dp_G}{dt}$
$\frac{dm_R}{dt} \cdot v_R + m_R \cdot \frac{dv_R}{dt} = -(\frac{dm_G}{dt} \cdot v_G + m_G \cdot \frac{dv_G}{dt})$
$\frac{m_R(t+ \Delta t) - m_R}{\Delta t} \cdot v_R + m_R \cdot \frac{v_R(t+\Delta t) - v_R}{\Delta t} = -(\frac{m_G(t+\Delta t) - m_G}{\Delta t} \cdot v_G + m_G \cdot \frac{v_G(t+\Delta t) - v_G}{\Delta t})$
where:
- $m_G$ = 0
- $\frac{dm_R}{dt} = -\frac{dm_G}{dt}$
- $v_G = v_R - v_{ex}$
Which results in:
$m_R \cdot \frac{dv_R}{dt} = \frac{dm_R}{dt} \cdot (v_G - v_R) = -\frac{dm_R}{dt} \cdot v_{ex}$
I might be saying the same thing but this way it seems more obvious that '$dm_R$' and '$dm_G$' are infinitesimal changes rather than infinitesimally small masses.