Theory of bifurcations of the Schrödinger equation (Q2411834)

For perturbed non-homogeneous Schrödinger equation \[ \frac{d\varphi(t)}{dt}=-iH(t)\varphi(t)+ \varepsilon H_1(t)\varphi(t)+f(t) \] the authors consider a boundary value problem \[ l\varphi(\cdot)=\alpha+\varepsilon l_1\varphi(\cdot) \] in the Hilbert space \(\mathcal{H}\) assuming that \(H(t)=H_0+V(t)\) (\(t\in J=[a,b]\)), \(H_0=H^*_0\) is a (unbounded) self-adjoint operator in \(\mathcal{H}\), \(V(t)\) and \(H_1(t)\) are strongly continuous, \(l,l_1\) are bounded operators from \(\mathcal{H}\) to \(\mathcal{H}_1\) and \(\alpha\in\mathcal{H}_1\). By \(\mathcal{P}_X\) they denote an orthogonal projection on a subspace \(X\). Let \(U(t,s)\) be an evolution family generated by \(H(t)\) and let \(Q\) be defined by the operator \(Q=lU(\cdot,s):\mathcal{H}\to\mathcal{H}_1\), \(Y=\overline{R(Q)}^\bot\). It is proved that the unperturbed (\(\varepsilon=0\)) boundary value problem has a strong generalized solution iff \[ \mathcal{P}_Y\left( \alpha-\int_s^\cdot U(\cdot,\tau)f(\tau)d\tau \right)=0. \] The unperturbed problem has a generalized quasi-solution iff \[ \mathcal{P}_Y\left( \alpha-\int_s^\cdot U(\cdot,\tau)f(\tau)d\tau \right)\neq 0. \] The explicit formula for the solution is given. Let \(B_0\) be the operator \[ B_0=\mathcal{P}_Y\left( l_1U(\cdot,s)-l\int_s^\cdot U(\cdot,\tau) H_1(\tau)U(\tau,s)d\tau \right). \] Suppose that the unperturbed boundary value problem does not have strong generalized solutions. Then under the condition \[ \mathcal{P}_{N(\bar{B}^*_0)} \mathcal{P}_Y=0 \] the perturbed boundary value problem has a \(\rho\)-parameter family of strong generalized solutions in the form of power series \[ \varphi(t,s,\varepsilon,c_\rho)= \sum_{i=-1}^\infty\varepsilon^i[ \bar{\varphi}_i(t,s,\bar{c}_i)+ \bar{X}_i(t,s)\mathcal{P}_{N(B_0)} (c_\rho)]\;\forall c_\rho\in\mathcal{H} \] which is absolutely convergent for sufficiently small \(\varepsilon\).