I am studying the neutrino oscillation phenomenom in which the flavour of a neutrino can change when it evolves in space-time.
What I understand is that this means that the 3 neutrino flavour states can be built in a common base of states. That is, if $$ \langle\nu_\mu|\nu_e\rangle \neq 0 \xrightarrow{} |\nu_\alpha\rangle = \sum_iU_{\alpha i}|\nu_i\rangle $$
With $\alpha$, and $i$ denoting the 3 possible flavours and base states respectively.
My question is, if this interpretation is correct, how do we know that this $|\nu_i\rangle$ states are mass states?
$$\textbf{Edit:}$$ Maybe what I'm trying to ask, is: how do we mathematically come up with the energy/mass eigenstates? Where do they come from?