Solutions of the Schrödinger equation in a Hilbert space

Alexander Boichuk; Oleksander Pokutnyi

doi:10.1186/1687-2770-2014-4

Research
Open Access

Solutions of the Schrödinger equation in a Hilbert space

Alexander Boichuk¹Email author and
Oleksander Pokutnyi¹

Boundary Value Problems20142014:4

https://doi.org/10.1186/1687-2770-2014-4

Received: 1 October 2013
Accepted: 11 December 2013
Published: 6 January 2014

Abstract

Necessary and sufficient conditions for the existence of a solution of a boundary-value problem for the Schrödinger equation are obtained in the linear and nonlinear cases. Analytic solutions are represented using the generalized Green operator.

Keywords

normally resolvable operator
generalized Green operator
Schrödinger equation

Introduction

The Schrödinger equation is the subject of numerous publications, and it is impossible to analyze all of them in detail. For this reason, we only briefly describe the methods and ideas that underlie the approach proposed in this paper for the investigation of the linear and a weakly nonlinear Schrödinger equation with different boundary conditions.

In this work, we develop constructive methods of analysis of linear and weakly nonlinear boundary-value problems, which occupy a central place in the qualitative theory of differential equations. The specific feature of these problems is that the operator of the linear part of the equation does not have an inverse. This does not allow one to use the traditional methods based on the principles of contracting mappings and a fixed point. These problems include the most complicated and inadequately studied problems known as critical (or resonance) problems [1–4]. Therefore, for the investigation of periodic problems for the Schrödinger equation, we develop the technique of generalized inverse operators [5–8] for the original linear operator in Banach and Hilbert spaces.

On the other hand, we use the notion of a strong generalized solution of an operator equation developed in [9]. The origins of this approach go back to the works of Weil and Sobolev. Using the process of completion, one can introduce the concept of a strong pseudoinverse operator for an arbitrary linear bounded operator and thus relax the requirement that the range of its values be closed. In this way, one can prove the existence of solutions of different types for the linear Schrödinger equation with arbitrary inhomogeneities. Thus, one may say that, in a certain sense, the Schrödinger equation is always solvable. There are three possible types of solutions: classical generalized solutions, strong generalized solution, and strong pseudosolutions [10].

For the analysis of a weakly nonlinear Schrödinger equation, we develop the ideas of the Lyapunov-Schmidt method and efficient methods of perturbation theory, namely the Vishik-Lyusternik method [11]. The combination of different approaches allows us to take a different look at the Schrödinger equation with a constant unbounded operator in the linear part and obtain all its solutions by using the generalized Green operator of this problem constructed in this work. Possible generalizations are discussed in the final part of the paper. By an example of the abstract van der Pol equation, we illustrate the results that can be obtained by using the proposed method.

Auxiliary result (linear case)

Statement of the problem

Consider the following boundary-value problem for the Schrödinger equation in a Hilbert space

H_{T}

:

\frac{d φ (t)}{d t} = - i H_{0} φ (t) + f (t), t \in [0; w],

(1)

φ (0) - φ (w) = α \in D,

(2)

where

H_{T} = H \oplus H

, H is Hilbert space and vector-function

f (t)

is integrable; for simplicity, the unbounded operator

H_{0}

has the following form [12] for each

t \in [0; w]

:

H_{0} = i (\begin{array}{cc} 0 & T \\ - T & 0 \end{array}) = (\begin{array}{cc} T & 0 \\ 0 & T \end{array}) (\begin{array}{cc} 0 & I \\ - I & 0 \end{array}) = i (\begin{array}{cc} 0 & I \\ - I & 0 \end{array}) (\begin{array}{cc} T & 0 \\ 0 & T \end{array}) .

In a more general case, the operator

H_{0}

has the form

H_{0} = i J (\begin{array}{cc} T & 0 \\ 0 & T \end{array}) = i (\begin{array}{cc} T & 0 \\ 0 & T \end{array}) J, J = J^{*} = J^{- 1},

where T is a strongly positive self-adjoint operator in the Hilbert space H. Since the operator T is closed, the domain

D (T)

of the operator T is a Hilbert space with scalar product

(T u, T u)

. The operator

H_{0}

is self-adjoint in the domain

D = D (T) \oplus D (T)

with product

{(〈 u, v 〉, 〈 u, v 〉)}_{H^{T}} = {(T u, T u)}_{H} + {(T v, T v)}_{H},

the infinitesimal generator of a strongly continuous evolution semigroup has the form

\begin{matrix} U (t) : = U (t, 0) = (\begin{array}{cc} cos t T & sin t T \\ - sin t T & cos t T \end{array}), \\ U^{n} (t) = (\begin{array}{cc} cos n t T & sin n t T \\ - sin n t T & cos n t T \end{array}) = U (n t), \end{matrix}

∥ U^{n} (t) ∥ = 1

,

n \in N

(nonexpanding group),

φ (t) = {(φ_{1} (t), φ_{2} (t))}^{T}

,

α = {(α_{1}, α_{2})}^{T}

, and

f (t) = {(f_{1} (t), f_{2} (t))}^{T}

. The mild solutions of equation (1) can be represented in the form

φ (t) = U (t) c + \int_{0}^{t} U (t) U^{- 1} (τ) f (τ) d τ,

for any element

c \in H_{T}

. Substituting this in condition (2), we conclude that the solvability of the boundary-value problem (1), (2) is equivalent to the solvability of the following operator equation:

(I - U (w)) c = g,

(3)

where

g = α + U (w) \int_{0}^{w} U^{- 1} (τ) f (τ) d τ

. Consider the case where the set of values of

I - U (w)

is closed

R (I - U (w)) = \bar{R (I - U (w))}

. Since

∥ U^{n} (w) ∥ = ∥ U (w n) ∥ = 1

for all

n \in N

, we can conclude [13] that the operator system (3) is solvable if and only if

U_{0} (w) g = 0,

(4)

where

U_{0} (w) = lim_{n \to \infty} \frac{\sum_{k = 0}^{n} U^{k} (w)}{n} = lim_{n \to \infty} \frac{\sum_{k = 0}^{n} U (k w)}{n},

is the orthoprojector that projects the space

H_{T}

onto the subspace

1 \in σ (U (w))

. Under this condition, the solutions of (3) have the form

c = U_{0} (w) \bar{c} + (\sum_{k = 0}^{\infty} {(μ - 1)}^{k} {\sum_{l = 0}^{\infty} μ^{- l - 1} {(U (w) - U_{0} (w))}^{l}}^{k + 1} - U_{0} (w)) g,

for $0 < μ - 1 < \frac{1}{∥ R_{μ} (U (w)) ∥}$ , and any $\bar{c} \in H_{T}$ . Then we can formulate the first result as a lemma.

Lemma 1 Suppose that the operator

I - U (w)

has a closed image

R (I - U (w)) = \bar{R (I - U (w))}

.

1.

Solutions of the boundary-value problem (1), (2) exist if and only if
$U_{0} (w) (α + \int_{0}^{w} U^{- 1} (τ) f (τ) d τ) = 0 .$

(5)
2.

Under condition (5), solutions of (1), (2) have the form
$φ (t, \bar{c}) = U (t) U_{0} (w) \bar{c} + (G [f, α]) (t),$

(6)

where
$\begin{array}{rcl} (G [f, α]) (t) & = & U (t) \sum_{k = 0}^{\infty} {(μ - 1)}^{k} {\sum_{l = 0}^{\infty} μ^{- l - 1} {(U (w) - U_{0} (w))}^{l}}^{k + 1} \\ \times (α + \int_{0}^{w} U (w) U^{- 1} (τ) f (τ) d τ) \\ - U (t) U_{0} (w) (α + \int_{0}^{w} U (w) U^{- 1} (τ) f (τ) d τ) \\ + \int_{0}^{t} U (t) U^{- 1} (τ) f (τ) d τ, \end{array}$

is the generalized Green operator of the boundary-value problem (1), (2) for $0 < μ - 1 < 1 / ∥ R_{μ} (U (w)) ∥$ .

We now show that the condition

R (I - U (w)) = \bar{R (I - U (w))}

of Lemma 1 can be omitted and, in different senses, the boundary-value problem (1), (2) is always solvable.

(1)

Classical generalized solutions.

Consider the case where the set of values of

I - U (w)

is closed (

R (I - U (w)) = \bar{R (I - U (w))}

). Then [5]

g \in R (I - U (w))

if and only if

P_{N ({(I - U (w))}^{*})} g = 0

, and the set of solutions of (3) has the form [5]

c = G [g] + U_{0} (w) \bar{c}

,

\forall \bar{c} \in H_{T}

, where [5, 13]

G [g] = {(I - U (w))}^{+} g = (I - {(U (w) - U_{0} (w))}^{- 1} - U_{0} (w)) g

is the generalized Green operator (or it has the form of a convergent series).

(2)

Strong generalized solutions. Consider the case where $R (I - U (w)) \neq \bar{R (I - U (w))}$ and $g \in \bar{R (I - U (w))}$ . We show that the operator $I - U (w)$ can be extended to $\bar{I - U (w)}$ in such a way that $R (\bar{I - U (w)})$ is closed.

Since the operator

I - U (w)

is bounded, the following representation of

H_{T}

in the form of a direct sum is true:

H_{T} = N (I - U (w)) \oplus X, H_{T} = \bar{R (I - U (w))} \oplus Y,

where

X = N {(I - U (w))}^{⊥} = \bar{R (I - U (w))}

and

Y = {\bar{R (I - U (w))}}^{⊥} = N (I - U (w))

. Let

E = H_{T} / N (I - U (w))

be the quotient space of

H_{T}

and let

P_{\bar{R (I - U (w))}}

and

P_{N (I - U (w))}

be the orthoprojectors onto

\bar{R (I - U (w))}

and

N (I - U (w))

, respectively. Then the operator

I - U (w) = P_{\bar{R (I - U (w))}} (I - U (w)) j^{- 1} p : X \to R (I - U (w)) \subset \bar{R (I - U (w))}

is linear, continuous, and injective. Here,

p : X \to E = H_{T} / N (I - U (w)) and j : H_{T} \to E,

are a continuous bijection and a projection, respectively. The triple

(H_{T}, E, j)

is a locally trivial bundle with typical fiber

H_{1} = P_{N (I - U (w))} H_{T}

[14]. In this case [[9], p.26,29], we can define a strong generalized solution of the equation

(I - U (w)) x = g, x \in X .

(7)

We complete the space X with the norm

{∥ x ∥}_{\bar{X}} = {∥ (I - U (w)) x ∥}_{F}

, where

F = \bar{R (I - U (w))}

[9]. Then the extended operator

\bar{I - U (w)} : \bar{X} \to \bar{R (I - U (w))}, X \subset \bar{X}

is a homeomorphism of

\bar{X}

and

\bar{R (I - U (w))}

. By the construction of a strong generalized solution [9], the equation

(\bar{I - U (w)}) \bar{ξ} = g,

has a unique solution ${(\bar{I - U (w)})}^{- 1} g$ , which is called the generalized solution of equation (7).

Remark 1 It should be noted that there exist the following extensions of spaces and the corresponding operators:

\bar{p} : \bar{X} \to \bar{E}, \bar{j} : {\bar{H}}_{T} \to \bar{E}, {\bar{P}}_{X} = P_{\bar{X}} : {\bar{H}}_{T} \to \bar{X}, \bar{G} : \bar{R (I - U (w))} \to \bar{X},

where

\begin{matrix} {\bar{H}}_{T} = N (I - U (w)) \oplus \bar{X}; \bar{p} (x) = p (x), x \in X; \bar{j} (x) = j (x), x \in H_{T}, \\ {\bar{P}}_{X} (x) = P_{X} (x), x \in H_{T} (P_{X} = P_{X}^{2} = P_{X}^{*}); \bar{G} [g] = G [g], g \in R (I - U (w)) . \end{matrix}

Then the operator

\bar{I - U (w)} = (\bar{I - U (w)}) P_{\bar{X}} : {\bar{H}}_{T} \to H_{T}

is an extension of

I - U (w)

, and

\bar{(I - U (w))} c = (I - U (w)) c

for all

c \in H_{T}

.

(3)

Strong pseudosolutions.

Consider an element

g \notin \bar{R (I - U (w))}

. This condition is equivalent to

P_{N ({(I - U (w))}^{*})} g \neq 0

. In this case, there are elements of

{\bar{H}}_{T}

that minimize the norm

{∥ \bar{(I - U (w))} ξ - g ∥}_{H_{T}}

:

ξ = {\bar{(I - U (w))}}^{- 1} g + P_{N (I - U (w))} \bar{c}, \forall \bar{c} \in H_{T} .

These elements are called strong pseudosolutions by analogy with [5].

We now formulate the full theorem on solvability.

Theorem 1 The boundary-value problem (1), (2) is always solvable.

(1)

(a) Classical or strong generalized solutions of (1), (2) exist if and only if
$U_{0} (w) (α + \int_{0}^{w} U^{- 1} (τ) f (τ) d τ) = 0 .$

(8)

If $(α + \int_{0}^{w} U^{- 1} (τ) f (τ) d τ) \in R (I - U (w))$ , then solutions of (1), (2) are classical.
(b)

Under assumption (8), the solutions of (1), (2) have the form
$φ (t, \bar{c}) = U (t) U_{0} (w) \bar{c} + (\bar{G [f, α]}) (t),$

where $(\bar{G [f, α]}) (t)$ is an extension of the operator $(G [f, α]) (t)$ .
(2)

(a) Strong pseudosolutions exist if and only if
$U_{0} (w) (α + \int_{0}^{w} U^{- 1} (τ) f (τ) d τ) \neq 0 .$

(9)
(b)

Under assumption (9), the strong pseudosolutions of (1), (2) have the form
$φ (t, \bar{c}) = U (t) U_{0} (w) \bar{c} + (\bar{G [f, α]}) (t),$

where
$\begin{array}{rcl} (\bar{G [f, α]}) (t) & = & U (t) \bar{G} [g] + \int_{0}^{t} U (t) U^{- 1} (τ) f (τ) d τ \\ = & U (t) {\bar{(I - U (w))}}^{- 1} g + \int_{0}^{t} U (t) U^{- 1} (τ) f (τ) d τ . \end{array}$

1 Main result (nonlinear case)

1.1 Modification of the Lyapunov-Schmidt method

In the Hilbert space

H_{T}

defined above, we consider the boundary-value problem

\frac{d φ (t)}{d t} = - i H_{0} φ (t) + ε Z (φ (t), t, ε) + f (t),

(10)

φ (0, ε) - φ (w, ε) = α .

(11)

We seek a generalized solution $φ (t, ε)$ of the boundary-value problem (10), (11) that becomes one of the solutions of the generating equation (1), (2) $φ_{0} (t, \bar{c})$ in the form (6) for $ε = 0$ .

To find a necessary condition for the operator function

Z (φ, t, ε)

, we impose the joint constraints

Z (\cdot, \cdot, \cdot) \in C ([0; w], H_{T}) \times C [0, ε_{0}] \times C [∥ φ - φ_{0} ∥ \leq q],

where q is a positive constant.

The main idea of the next results was used in [15] for the investigation of bounded solutions.

Let us show that this problem can be solved with the use of the following operator equation for generating amplitudes:

F (\bar{c}) = U_{0} (w) \int_{0}^{w} U^{- 1} (τ) Z (φ_{0} (τ, \bar{c}), τ, 0) d τ = 0 .

(12)

Theorem 2 (Necessary condition)

Suppose that the nonlinear boundary-value problem (10), (11) has a generalized solution $φ (\cdot, ε)$ that becomes one of the solutions $φ_{0} (t, \bar{c})$ of the generating equation (1), (2) with constant $\bar{c} = c^{0}$ and $φ (t, 0) = φ_{0} (t, c^{0})$ for $ε = 0$ . Then this constant must satisfy the equation for generating amplitudes (12).

Proof If the boundary-value problem (10), (11) has classical generalized solutions, then, by Lemma 1, the following solvability condition must be satisfied:

U_{0} (w) (α + \int_{0}^{w} U^{- 1} (τ) {f (τ) + ε Z (φ (τ, ε), τ, ε)} d τ) = 0 .

(13)

By using condition (5), we establish that condition (13) is equivalent to the following:

U_{0} (w) \int_{0}^{w} U^{- 1} (τ) Z (φ (τ, ε), τ, ε) d τ = 0 .

Since $φ (t, ε) \to φ_{0} (t, c^{0})$ as $ε \to 0$ , we finally obtain [by using the continuity of the operator function $Z (φ, t, ε)$ ] the required assertion.

To find a sufficient condition for the existence of solutions of the boundary-value problem (10), (11), we additionally assume that the operator function $Z (φ, t, ε)$ is strongly differentiable in a neighborhood of the generating solution ( $Z (\cdot, t, ε) \in C^{1} [∥ φ - φ_{0} ∥ \leq q]$ ).

This problem can be solved with the use of the operator

B_{0} = \frac{d F (\bar{c})}{d \bar{c}} |_{\bar{c} = c_{0}} = U_{0} (w) \int_{0}^{w} U^{- 1} (t) A_{1} (t) d t : H \to H,

where $A_{1} (t) = Z^{1} (v, t, ε) |_{v = φ_{0}, ε = 0}$ (Fréchet derivative). □

Theorem 3 (Sufficient condition)

Suppose that the operator

B_{0}

satisfies the following conditions:

(1)

The operator $B_{0}$ is Moore-Penrose pseudoinvertible;
(2)

$P_{N (B_{0}^{*})} U_{0} (w) = 0$ .

Then, for an arbitrary element $c = c^{0} \in H_{T}$ satisfying the equation for generating amplitudes (12), there exists at least one solution of (10), (11).

This solution can be found by using the following iterative process:

\begin{matrix} {\bar{v}}_{k + 1} (t, ε) = ε G [Z (φ_{0} (τ, c^{0}) + v_{k}, τ, ε), α] (t), \\ c_{k} = - B_{0}^{+} U_{0} (w) \int_{0}^{w} U^{- 1} (τ) {A_{1} (τ) {\bar{v}}_{k} (τ, ε) + R (v_{k} (τ, ε), τ, ε)} d τ, \\ R (v_{k} (t, ε), t, ε) = Z (φ_{0} (t, c^{0}) + v_{k} (t, ε), t, ε) - Z (φ_{0} (t, c^{0}), t, 0) - A_{1} (t) v_{k} (t, ε), \\ R (0, t, 0) = 0, R_{x}^{1} (0, t, 0) = 0, \\ v_{k + 1} (t, ε) = U (t) U_{0} (w) c_{k} + {\bar{v}}_{k + 1} (t, ε), \\ φ_{k} (t, ε) = φ_{0} (t, c^{0}) + v_{k} (t, ε), k = 0, 1, 2, \dots, v_{0} (t, ε) = 0, φ (t, ε) = lim_{k \to \infty} φ_{k} (t, ε) . \end{matrix}

1.2 Relationship between necessary and sufficient conditions

First, we formulate the following assertion:

Corollary Suppose that a functional $F (\bar{c})$ has the Fréchet derivative $F^{(1)} (\bar{c})$ for each element $c^{0}$ of the Hilbert space H satisfying the equation for generating constants (12). If $F^{1} (\bar{c})$ has a bounded inverse, then the boundary-value problem (10), (11) has a unique solution for each $c^{0}$ .

Remark 2 If the assumptions of the corollary are satisfied, then it follows from its proof that the operators $B_{0}$ and $F^{(1)} (c^{0})$ are equal. Since the operator $F^{(1)} (\bar{c})$ is invertible, it follows that assumptions 1 and 2 of Theorem 3 are necessarily satisfied for the operator $B_{0}$ . In this case, the boundary-value problem (10), (11) has a unique bounded solution for each $c^{0} \in H_{T}$ satisfying (12). Therefore, the invertibility condition for the operator $F^{1} (\bar{c})$ expresses the relationship between the necessary and sufficient conditions. In the finite-dimensional case, the condition of invertibility of the operator $F^{(1)} (\bar{c})$ is equivalent to the condition of simplicity of the root $c^{0}$ of the equation for generating amplitudes [5].

In this way, we modify the well-known Lyapunov-Schmidt method. It should be emphasized that Theorems 2 and 3 give us a condition for the chaotic behavior of (10) and (11) [16].

1.3 Example

We now illustrate the obtained assertion. Consider the following differential equation in a separable Hilbert space H:

\ddot{y} (t) + T y (t) = ε (1 - {∥ y (t) ∥}^{2}) \dot{y} (t),

(14)

y (0) = y (w), \dot{y} (0) = \dot{y} (w),

(15)

where T is an unbounded operator with compact

T^{- 1}

. Then there exists an orthonormal basis

e_{i} \in H

such that

y (t) = \sum_{i = 1}^{\infty} c_{i} (t) e_{i}

and

T y (t) = \sum_{i = 1}^{\infty} λ_{i} c_{i} (t) e_{i}

,

λ_{i} \to \infty

. In this case, the operator system (10), (11) for the boundary-value problem (14), (15) is equivalent to the following countable system of ordinary differential equations (

c_{k} (t) = x_{k} (t)

):

\begin{matrix} {\dot{x}}_{k} (t) = \sqrt{λ_{k}} y_{k} (t), k = 1, 2, \dots, \\ {\dot{y}}_{k} (t) = - \sqrt{λ_{k}} x_{k} (t) + ε \sqrt{λ_{k}} (1 - \sum_{j = 1}^{\infty} x_{j}^{2} (t)) y_{k} (t), \end{matrix}

(16)

x_{k} (0) = x_{k} (w), y_{k} (0) = y_{k} (w) .

(17)

We find the solutions of these equations in the space

W_{2}^{1} ([0; w])

that, for

ε = 0

, turn into one of the solutions of the generating equation. Consider the critical case

λ_{i} = 4 π^{2} i^{2} / w^{2}

,

i \in N

. Let

w = 2 π

. In this case, the set of all periodic solutions of (16), (17) has the form

\begin{matrix} x_{k} (t) = cos (k t) c_{1}^{k} + sin (k t) c_{2}^{k}, \\ y_{k} (t) = - sin (k t) c_{1}^{k} + cos (k t) c_{2}^{k} \end{matrix}

for all pairs of constants

c_{1}^{k}, c_{2}^{k} \in R

,

k \in N

. The equation for generating amplitudes (12) is equivalent in this case to the following countable systems of algebraic nonlinear equations:

\begin{matrix} {(c_{1}^{k})}^{3} + 2 \sum_{j = 1, j \neq k} (c_{1}^{k} {(c_{1}^{j})}^{2} + c_{1}^{k} {(c_{2}^{j})}^{2}) + c_{1}^{k} {(c_{2}^{k})}^{2} - 4 c_{1}^{k} = 0, \\ {(c_{2}^{k})}^{3} + 2 \sum_{j = 1, j \neq k} (c_{2}^{k} {(c_{1}^{j})}^{2} + c_{2}^{k} {(c_{2}^{j})}^{2}) + {(c_{1}^{k})}^{2} c_{2}^{k} - 4 c_{2}^{k} = 0, k \in N . \end{matrix}

Then we can obtain the next result.

Theorem 4 (Necessary condition for the van der Pol equation)

Suppose that the boundary-value problem (16), (17) has a bounded solution

φ (\cdot, ε)

that becomes one of the solutions of the generating equations with pairs of constants

(c_{1}^{k}, c_{2}^{k})

,

k \in N

. Then only a finite number of these pairs are not equal to zero. Moreover, if

(c_{1}^{k_{i}}, c_{2}^{k_{i}}) \neq (0, 0)

,

i = \bar{1, N}

, then these constants lie on an N-dimensional torus in the infinite-dimensional space of constants:

{(c_{1}^{k_{i}})}^{2} + {(c_{2}^{k_{i}})}^{2} = {(\frac{2}{\sqrt{2 N - 1}})}^{2}, i = \bar{1, N} .

Remark Similarly, we can study the Schrödinger equation with a variable operator and more general boundary conditions (as noted in the introduction).

Consider the differential Schrödinger equation

\frac{d φ (t)}{d t} = - i H (t) φ (t) + f (t), t \in J

(18)

in a Hilbert space H with the boundary condition

Q φ (\cdot) = α,

(19)

where, for each

t \in J \subset R

, the unbounded operator

H (t)

has the form

H (t) = H_{0} + V (t)

,

H_{0} = H_{0}^{*}

is an unbounded self-adjoint operator with domain

D = D (H_{0}) \subset H

, and the mapping

t \to V (t)

is strongly continuous. The operator Q is linear and bounded and acts from the Hilbert space H to

H_{1}

. As in [12], we define the operator-valued function

\tilde{V} (t) = e^{i t H_{0}} V (t) e^{- i t H_{0}} .

In this case,

\tilde{V} (t)

admits the Dyson representation [[12], p.311]; denote its propagator by

\tilde{U} (t, s)

. If

U (t, s) = e^{- i t H_{0}} \tilde{U} (t, s) e^{i s H_{0}}

, then

ψ_{s} (t) = U (t, s) ψ

is a weak solution of (14) with the condition

φ_{s} (s) = ψ

in the sense that, for any

η \in D (H_{0})

, the function

(η, ψ_{s} (t))

is differentiable and

\frac{d}{d t} (η, ψ_{s} (t)) = - i (H_{0} η, ψ_{s} (t)) - i (V (t) η, ψ_{s} (t)) + (f (t), ψ_{s} (t)), t \in J .

A detailed study of the boundary-value problem (18), (19) will be given in a separate paper.

Declarations

Authors’ Affiliations

(1)

Laboratory of boundary value problems of the theory of differential equations, Institute of Mathematics of NAS of Ukraine, Tereshenkivska, 3, Kiev, 01601, Ukraine

References

Vainberg MM, Trenogin SF: The Branching Theory of Solutions of Nonlinear Equations. Nauka, Moscow; 1969.Google Scholar
Malkin IG: Some Problems of the Theory of Nonlinear Oscillations. Nauka, Moscow; 1956. (in Russian)MATHGoogle Scholar
Grebenikov EA, Ryabov YA: Constructive Methods of Analysis of Nonlinear Systems. Nauka, Moscow; 1979. (in Russian)MATHGoogle Scholar
Boichuk AA, Korostil IA, Fec̆kan M: Bifurcation conditions for a solution of an abstract wave equation. Differ. Equ. 2007, 43: 481-487.MathSciNetView ArticleGoogle Scholar
Boichuk AA, Samoilenko AM: Generalized Inverse Operators and Fredholm Boundary-Value Problems. VSP, Utrecht; 2004.MATHView ArticleGoogle Scholar
Moore EH: On the reciprocal of the general algebraic matrix (abstract). Bull. Am. Math. Soc. 1920, 26: 394-395.Google Scholar
Penrose RA: A generalized inverse for matrices. Proc. Camb. Philos. Soc. 1955, 51: 406-413. 10.1017/S0305004100030401MATHMathSciNetView ArticleGoogle Scholar
Pokutnyi AA: Linear normally-resolvable equations in Banach spaces. J. Comput. Appl. Math. 2012, 107: 146-153. (in Russian)Google Scholar
Klyushin DA, Lyashko SI, Nomirovskii DA, Semenov VV: Generalized Solutions of Operator Equations and Extreme Elements. Springer, Berlin; 2012.View ArticleGoogle Scholar
Tikhonov AN, Arsenin VY: Methods for Solving Ill-Posed Problems. Nauka, Moscow; 1979. (in Russian)Google Scholar
Vishik MI, Lyusternik LA: The solution of some perturbation problems for matrices and selfadjoint or non-selfadjoint differential equations. Russ. Math. Surv. 1960, 15: 3-80.MathSciNetGoogle Scholar
Reed M, Simon B 2. In Methods of Modern Mathematical Physics. Mir, Moscow; 1979.Google Scholar
Biletskyi BA, Boichuk AA, Pokutnyi AA: Periodic problems of difference equations and ergodic theory. Abstr. Appl. Anal. 2011., 12: Article ID 928587Google Scholar
Atiyah, MF: K-Theory. New York, Amsterdam (1967)Google Scholar
Boichuk AA, Pokutnyi AA: Bounded solutions of weakly nonlinear differential equations in a Banach space. Nonlinear Oscil. 2008, 11: 158-167. 10.1007/s11072-008-0021-9MATHMathSciNetView ArticleGoogle Scholar
Chueshov ID: Introduction to the Theory of Infinite-Dimensional Dissipative Systems. Acta, Kharkiv; 2002.MATHGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.