We discuss here a class of open systems for which the (general) Schrödinger equation may be defined. The main tool for the discussion of this Section is the commutator theorem, as formulated in Thm. X.37 in [15].12
B.1. Hamiltonians
Theorem 12. Let h0 ě 1 be a self-adjoint operator, for which the dense
subspace DĎ Dph0q is a core. Suppose that for τ P R the following holds:
(a) hpτq is a family of symmetric operators on D,
(b) the commutatorrhpτq, h0s, defined originally as a quadratic form on D,
extends to an operator on D,
(c) for ψP D the maps τ ÞÑ hpτqψ, τ ÞÑ rhpτq, h0sψ are strongly continuous
and the following bounds are satisfied:
}hpτqψ} ď c1pτq}h0ψ} , (77)
|pψ, rhpτq, h0sψq| ď c2pτqpψ, h0ψq , (78)
}rhpτq, h0sψ} ď c3pτq}h0ψ} , (79)
where cipτq are continuous functions.
12
Denote by the same symbols the closures of the operators hpτq and rhpτq, h0s.
Then the following holds:
(A) Dph0q Ď Dphpτqq, Dph0q Ď Dprhpτq, h0sq, and hpτq are essentially self-
adjoint on D and on each core of h0,
(B) operators hpτqh´10 , h´10 hpτq, rhpτq, h0sh´10 and h´10 rhpτq, h0s extend to
bounded operators, strongly continuous with respect to τ , and }hpτqh´10 } “ }h´10 hpτq} ď c1pτq ,
}rhpτq, h0sh´10 } “ }h´10 rhpτq, h0s} ď c3pτq ,
(80) (C) statement (c) remains true for all ψP Dph0q.
Proof. As D is a core for h0, the domains inclusions in (A) and the extension
of inequalities (77)–(79) to ψ P Dph0q follow immediately, if we denote the
closures of the operators hpτq and rhpτq, h0s by the same symbols. In addi-
tion, the essential self-adjointness of hpτq follows from (77) and (78) by the commutator theorem, Thm. X.37 in [15].
The bounds (80) for the operators hpτqh´1
0 andrhpτq, h0sh´10 follow now
immediately. The operators h´10 hpτq and h´10 irhpτq, h0s, initially densely de-
fined on Dph0q, extend to conjugates of hpτqh´10 and irhpτq, h0sh´10 , respec-
tively, so all the bounds (80) are satisfied.
Strong continuity in τ of the operators h´10 hpτq and h´10 rhpτq, h0s follows
immediately from the bounds (80) and the assumption (c). For the continuity of hpτqh´10 we note what follows. For ψP H the vector h´10 ψis in Dph0q, so
for each ǫą 0 there exist ϕ P D (a core for h0) such that}ψ ´ h0ϕ} ď ǫ. We
estimate
}hpτqh´10 ψ´ hpσqh´10 ψ} ď ǫrc1pτq ` c1pσqs ` }hpτqϕ ´ hpσqϕ} ,
so the strong continuity follows. The case ofrhpτq, h0sh´10 is analogous. This
completes the proof of (B), and its consequence is the statement of strong
continuity of maps in (C). ˝
B.2. Evolution
Theorem 13. Let all the assumptions of Theorem 12 be satisfied. Moreover, letpτ, σq ÞÑ upτ, σq be a strongly continuous unitary evolution system in H:
upτ, ρqupρ, σq “ upτ, σq , upτ, τq “ 1 , such that upτ, σqD “ D. Suppose that for ψ P D:
(a) the maps pτ, σq ÞÑ hpτqupτ, σqψ and pτ, σq ÞÑ h0upτ, σqψ are strongly
continuous,
(b) the map pτ, σq ÞÑ upτ, σqψ is of class C1 in the strong sense and the
following equations hold:
iBτupτ, σqψ “ hpτqupτ, σqψ , iBσupτ, σqψ “ ´upτ, σqhpσqψ , (81)
(A) the operator h0upτ, σqh´10 is bounded, with the norm }h0upτ, σqh´10 } ď exp ” const żτ σ c3pρqdρ ı , so in particular upτ, σqDph0q “ Dph0q ;
(B) the map pτ, σq ÞÑ h0upτ, σqh´10 is strongly continuous;
(C) all statements of assumptions (a) and (b) remain true for all ψP Dph0q.
Proof. To show (A) we use a standard trick.13 It is easy to see that
” h2 0 1` ǫh2 0 , hpτqı“ h0 1` ǫh2 0 “rhpτq, h0s, h´10 ‰ ` h0 1` ǫh2 0 , so using the second bound in (80) we have for ψP D
Bτ ´ upτ, σqψ, h 2 0 1` ǫh2 0 upτ, σqψ¯ď 2c3pτq ´ upτ, σqψ, h 2 0 1` ǫh2 0 upτ, σqψ¯, By Gronwall’s inequality we obtain
› › › h0 p1 ` ǫh2 0q 1 2 upτ, σqψ›› › ďe şτ σc3pρqdρ › › › h0 p1 ` ǫh2 0q 1 2 ψ›› ›.
As h0 is closed, letting ǫŒ 0 we show that upτ, σqψ P Dph0q for ψ P D, and
}h0upτ, σqψ} ď e şτ
σc3pρqdρ }h0ψ} .
But D is a core for h0, so this inequality extends to Dph0q. Setting ψ “ h´10 χ,
with arbitrary χP H, we obtain (A).
For statement (B) we note that for ψ P H and ϕ P D such that }ψ ´ h0ϕ} ď ǫ (as in the proof of Theorem 12) we have
}h0rupτ, σq ´ upτ1, σ1qsh´10 ψ}
ď }h0rupτ, σq ´ upτ1, σ1qsh´10 }ǫ ` }h0upτ, σqϕ ´ h0upτ1, σ1qϕ} ,
so the mappτ, σq ÞÑ h0upτ, σqh´10 is strongly continuous.
The extension of (a) to all ψ P Dph0q now follows from the present
statement (B), and the statement (B) of Theorem 12. For the extension of (b) we write the integral forms of equations (81) for ψP D
upτ, σqψ ´ ψ “ ´i żτ σ hpρqupρ, σqψ dρ “ ´i żτ σ upρ, σqhpρqψ dρ . But we already know that both integrands extend to continuous functions of ρ for ψ P Dph0q, so this extension followed by differentiation leads to the
extended equations (81). ˝
13