I'm looking for a proof in the literature of the following fact:
Let $A\_t$ be a $C^1$-function of one argument $t \in (a,b)$ taking values in the self-adjoint $N \times N$ matrices. Suppose that for every $t$ the spectrum of $A\_t$ is simple. Denote by $\lambda\_t$ a continuous parametrization of an eigenvalue of $A\_t$. Then there exists a $C^1$ function $\psi\_t$ taking values in $\mathbb{C}^N$ such that
$$
 A\_t \psi\_t = \lambda\_t \psi\_t
$$
and $\psi\_t$ is normalized $\sum\_{j=1}^{N} |\psi\_t(n)|^2 = 1$.


It is not hard to give a proof, but it is somewhat awkward to write down, that's why I am looking for a reference of this fact, I couldn't find one in Reed--Simon 4 and Kato. Here is a short sketch of my idea how to proof it: $\psi\_t$ lives in $S^N$, whose tangent space at the point $\psi\_t$ is $T\_{\psi\_t} S^N \cong \{\psi\_t\}^{\perp}$. Next, we have that $A\_t - \lambda\_t|\_{\psi\_t ^{\perp}}$ is invertible (here the simplicity of the spectrum is used). Using this we can define $\psi\_t$ as the solution of the ODE
$$
 \dot{\psi\_t} = (A\_t - \lambda\_t|\_{\psi\_t ^{\perp}})^{-1} (\dot{A}\_t - \dot{\lambda}\_t) \psi\_t.
$$
Now, various computations show that everything is well-defined and indeed give the desired solution.



Parametrizing eigenvectors
I do not know a reference, but here is an easy argument. Consider the space $\overline{M}$ of pairs $(A,\lambda)$ where $A$ is a (self-adjoint) $N \times N$ matrix and $\lambda$ is a root of the characteristic polynomial of $A$. Over the open subset of $\overline{M}$ lying above the operators with distinct eigenvalues, the projection onto the first factor is clearly a proper smooth map, with finite fibers; in other words, the space $\overline{M}$ is a covering space over this open set. Since everything in sight is differentiable, the result that you want follows from the lifting of paths in the base. You need to choose an eigenvalue for the lifting to be unique, but you seem to know which one to choose!


Btw, you only need the eigenvalue $\lambda$ to be simple for the same argument to work. In this case you can use the Implicit Function Theorem to lift the path, since the assumption on the simplicity of the root imply that the differential at the point is surjective.


