1: \begin{proof}

2: We want to study 

3: \begin{equation}

4: \begin{alignedat}{2}

5: &\det \left( \lambda(t) \, id - (A-tB) \right) &= 0 \; \text{as } t \rightarrow \infty \\

6: \Leftrightarrow &\det \left( b(u) \, id - (B+ u A) \right) &= 0 \; \text{as } u \rightarrow 0,

7: \end{alignedat}

8: \end{equation}

9: with 

10: \begin{equation}

11: \label{def-bu}

12: u:= -\frac{1}{t} \;\; \text{and} \; \; b(u) := u\cdot \lambda\left(-\frac{1}{u}\right).

13: \end{equation}

14: 

15: That is, we are interested in the form of \(b(u)\), the slightly perturbed (isolated) eigenvalues of \(B\). Fortunately, this finds an answer in most text books on Quantum Mechanics. See for e.g. ch. 11.1 of \cite{Schwabl-02} for an intuitive approach or ch. XII of \cite{Reed-78} for a rigorous one. In any case, one finds for \(j=1,\dots,n\):

16: \begin{equation}

17: \label{equ-bu}

18: b_j(u)=b_j + u a_{jj} + \mathcal{O}(u^2) \; (u \rightarrow 0).

19: \end{equation}

20: 

21: Analyticity and uniqueness of \(b_j(u)\) near \(u=0\) is assured by Theorem XII.1 in \cite{Reed-78} and since \(B+uA\) is self adjoint \(\forall u \in \mathbb{R}\), by Rellich's Theorem (Theorem XII.3 in \cite{Reed-78}), \(b_i(u)\) is analytic and single valued in a neighborhood of \(u_0\), \( \forall u_0 \in \mathbb{R}\). Plugging definition \ref{def-bu} in equation \ref{equ-bu} we therefore have for \(j=1,\dots,n\) that

22: \begin{equation}

23: \lambda_j(t)=a_{jj}-t b_j +\mathcal{O} \left(\frac{1}{t}\right) (t \rightarrow \infty)

24: \end{equation}

25: is analytic in a neighborhood of infinity and has no branch point over \(\mathbb{R}\).

26: \end{proof}

27: