¨ t Karlsruhe (TH) Universita Fakult¨at f¨ ur Mathematik Institut f¨ ur Analysis Arbeitsgruppe Funktionalanalysis
Generalized Eigenfunction Expansions Diploma Thesis of Emin Karayel
supervised by Prof. Dr. Lutz Weis
August 2009
Erkl¨ arung Hiermit erkl¨ are ich, dass ich diese Diplomarbeit selbst¨andig verfasst habe und keine anderen als die angegebenen Quellen und Hilfsmittel verwendet habe. Emin Karayel, August 2009
Anschrift Emin Karayel Werner-Siemens-Str. 21 75173 Pforzheim Matr.-Nr.: 1061189 E-Mail:
[email protected]
Contents 1 Introduction 2 Eigenfunction expansions on Hilbert spaces 2.1 Spectral Measures . . . . . . . . . . . . . 2.2 Phillips Theorem . . . . . . . . . . . . . . 2.3 Rigged Hilbert Spaces . . . . . . . . . . . 2.4 Basic Eigenfunction Expansion . . . . . . 2.5 Extending the Operator . . . . . . . . . . 2.6 Orthogonalizing Generalized Eigenvectors 2.7 Summary . . . . . . . . . . . . . . . . . .
5
. . . . . . .
3 Hilbert-Schmidt-Riggings 3.1 Unconditional Hilbert-Schmidt Riggings . . 3.1.1 Hilbert-Schmidt-Integral Operators . 3.2 Weighted Spaces and Sobolev Spaces . . . . 3.3 Conditional Hilbert-Schmidt Riggings . . . 3.4 Eigenfunction Expansion for the Laplacian . 3.4.1 Optimality . . . . . . . . . . . . . . 3.5 Nuclear Riggings . . . . . . . . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
4 Operator Relations 4.1 Vector valued multiplication operators . . . . . 4.2 Preliminaries . . . . . . . . . . . . . . . . . . . 4.3 Interpolation spaces . . . . . . . . . . . . . . . 4.4 Eigenfunction expansion . . . . . . . . . . . . . 4.5 Semigroups . . . . . . . . . . . . . . . . . . . . 4.6 Expansion for Homogeneous Elliptic Selfadjoint ators . . . . . . . . . . . . . . . . . . . . . . . . 4.7 Conclusions . . . . . . . . . . . . . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Differential . . . . . . . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
9 9 11 12 13 15 16 21
. . . . . . .
23 23 24 25 26 27 27 28
. . . . . . . . . . . . . . . . . . . . Oper. . . . . . . .
5 Appendix 5.1 Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3 Conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31 31 33 37 38 41 42 44 47 47 47 49
3
1 Introduction Eigenvectors and eigenvalues are indispensable tools to investigate (at least compact) normal linear operators. They provide a diagonalization of the operator i.e. X Ax = λk hx, ek iek (1.1) k
from there it is possible to form the inverse, build a functional calculus, analyze the stability of the operator in numeric situations, determine whether the operator is positive or negative definite etc. They play a role even in non-linear situations like the classification of quadratic forms. In quantum mechanics they correspond to the stationary states of the system. For normal operators with a continuous spectrum there is a diagonalization using a projection valued spectral measure Eλ but the eigenvectors do not exist in the space the operator is defined in. Hence it is necessary to consider larger spaces and to replace the sum in (1.1) with an integral (since the spectrum of the operator is not discrete). Thus the generalization of the above formula would look like: Z Ax = λhx, ek (λ)iek (λ)dλ (1.2) σ(A)
where the vectors ek (λ) are defined in a generalized space X − (implying that the vectors x must be in a smaller space X + in the above formula). An idea which may already have been anticipated by Dirac in his bra and ket notation and for which a rigorous mathematical foundation has been developed in the 1950’s by Y. Berezansky, L. Garding, I. Gelfand, G. Kats, A. Kostyuchenko and K. Maurin.1 The framework in which this is possible is the Rigged Hilbert space (also called Gelfand triplet):2 X+ ⊂ H ⊂ X− where X − is the space of continuous antilinear functionals on X + . Several conditions on the rigging have been established that lead to an eigenfunction expansion (1.2), the most basic one beeing that the embedding X + into H is Hilbert-Schmidt, provided that X + itself is a Hilbert space. If X + is only a Banach space, the nuclearity of the embedding is also a sufficient condition. In [BSU96] and [PSW89] also conditional riggings3 are considered, which require for a given operator A only 1
[de 05], [BSU96], [Mau68] Usually denoted by Φ ⊂ H ⊂ Φ× . 3 In [BSU96] they are called non-nuclear riggings. 2
5
1 Introduction that f (A) : X + → H is Hilbert-Schmidt, provided that f is bounded away from zero. There is an explicit eigenfunction expansion for the Laplace operator A := −∆ on the euclidean space L2 (Rn ) which implies that for any x ∈ L2 (Rn ) there are locally integrable functions x ˆ(λ) s.t. Z ∞ f (A)x = f (λ)ˆ x(λ) dλ 0
where the generalized eigenfunctions x ˆ(λ) are in the weighted spaces L2,s (Rn ) := {f ∈ L1,loc (Rn ) | ((1 + k · ks ) f (·)) ∈ L2 (Rn )} for s > −1 2 . If the function f itself is in L2 (R) then the above is a Bochner integral. At first sight there is no reason to expect that this result4 does not fit into the general framework above. However we discovered that - this is not the case, in fact the only map n f (A) : L2,s (Rn ) → L2 (Rn ) for s < 2 which is Hilbert-Schmidt is the zero map. To close this gap (of n−1 2 ) we have investigated a different approach, based on an operator relation of the following form BA − AB = h(A) leading to an eigenfunction expansion on riggings:5 − X + ⊂ [D(B); H]1/2,1 ⊂ H ⊂ [D(B); H]× 1/2,1 ⊂ X
where X + and (its antidual) X − are reflexive Banach spaces. In the case of homogeneous self-adjoint elliptic differential operators (e.g. the Laplace operator) this leads to an eigenfunction expansion on the rigging L2,s ⊂ H ⊂ L2,−s for all s > 12 .6 The common denominator between the latter result and the classic results for (conditional) Hilbert-Schmidt and nuclear riggings is the existence of a σ− finite measure s.t. the following estimate holds kχE (A)xk2H ≤ µ(E)kxk2+ For example in the case of Hilbert-Schmidt-Riggings the measure can be defined by µ(E) = hχE (A)xk , xk i 4
It can be derived from the Plancharel formula in [Str89][p. 64]. Theorem 4.4.4 6 Theorem 4.6.3 5
6
where xk is an orthonormal system of X + . On the other in the case of the operator relation Z |h−1 (λ)||2 + h0 (λ)|dλ. µ(E) = E
The latter means that (outside of the zeros of h) the measure µ and hence the generalized eigenfunctions themselves are absolutely continuous with respect to the Lebesgue measure on σ(A).
7
2 Eigenfunction expansions on Hilbert spaces The first two sections introduce some preliminaries, namely spectral measures for normal operators and the Phillips theorem. The main object of our investigation will be rigged Hilbert spaces X + ⊂ H ⊂ X − , i.e. Hilbert spaces which have a dense linear subset of test vectors X + and a space X − of generalized functions (defined as antil-linear functionals on X + ). The triple of spaces (X + , H, X − ) is sometimes also called Gelfand triple. In general the spaces X + and X − are topological vector spaces. However we will only consider the case where X + and X − are reflexive Banach spaces. We will introduce and investigate them in section 2.3. Provided there is a spectral measure µ for a self adjoint operator A s.t. the estimate kχE (A)vk2H ≤ kvk2+ µ(E) for all v ∈ X +
(2.1)
holds we will see that there is a complete system of generalized eigenvectors. If the operator A is closable on X − then the generalized eigenvectors are in fact real eigenvectors of the closure A− . The last section contains a summary with the results to which we will refer in the next chapters.
2.1 Spectral Measures The spectral theorem for normal operators gives a measure on the spectrum of the operator, which we call spectral measure. But it is not necessarily unique (w.r.t to the operator). As mentioned before we will find spectral measures with the special condition (2.1). Thus it is reasonable to have a precise definition of them, which we will do using the spectral theorem (cf. [Wer05, p. 350, VII.3.1]): Theorem 2.1.1 (Spectral theoerem) For A self-adjoint operator on a separable complex Hilbert space H there is a Borel set Ω ⊂ C, a σ-finite measure ν on the Borel-σ-Algebra of Ω, a continuous function m : Ω → R and a unitary operator U : L2 (Ω; ν) → H s.t. the operator M on L2 (Ω; ν) defined by (M x)(ω) := m(ω)x(ω) with D(M ) := {x ∈ L2 (Ω; µ) | M x ∈ L2 (Ω; ν)} is a representation of A i.e. D(A) = U D(M ) and AU x = U M x for all x ∈ D(M ).
9
2 Eigenfunction expansions on Hilbert spaces Definition 2.1.2 A σ-finite measure µ on the Borel-σ-Algebra of σ(A) is called spectral measure for the operator A if and only if µ(E) = 0 ⇔ ν(m−1 (E)) = 0 for all Borel sets E ⊂ σ(A). There is allways such a measure. We can define one for example by using a countable disjoint decomposition Ek of Ω s.t. ν(Ek ) < ∞. The measure µ defined by X ν(m−1 (E) ∩ Ek ) µ(E) := 2k ν(Ek ) k
is an (actually finite) spectral measure for A. There is an algebra homomorphism from the bounded µ-measurable functions to the bounded operators commuting with A, which we call the functional calculus of A: Proposition 2.1.3 For a self-adjoint operator A on a separable Hilbert space, and a spectral measure µ, there is a continuous map ΦA : L∞ (σ(A); µ) → B(H) s.t. for all µ ∈ ρ(A) it is true that Φ(rλ ) = (λI − A)−1 where rλ (t) := (λ − t)−1 . Using the notation f (A) for ΦA (f ); for all f, g, fn ∈ L∞ (σ(A); µ) it is true that •
χσ(A) (A) = I,
•
(f g)(A) = f (A)g(A),
•
f (A) = (f (A))∗ and
•
kf (A)k = kf k∞ .
•
If fn → f µ-a.e. and kfn k∞ < C then fn (A)x → f (A)x for all x ∈ H.
•
For a B ∈ B(H) s.t. there is just one λ ∈ ρ(A) with Brλ (A) = rλ (A)B also Bf (A) = f (A)B for all f ∈ L∞ (σ(A); µ).
An implication of the theorem is that the spectral projections χE (A) are orthogonal projection operators on H, with the property that χE (A) = 0 if and only if µ(E) = 0 for a spectral measure µ. Actually this is a second method to define the notion of a spectral measure. In fact this is done in [PSW89]. We did not do this here since we used the spectral measure to define χE (A) in the first place. (However for a Borel set E the function χE is in L∞ (σ(A); µ) w.r.t. to any Borel-measure µ on σ(A).) In the next section we will continue our preparation with the Radon-Nikodym property for Banach spaces.
10
2.2 Phillips Theorem
2.2 Phillips Theorem The eigenfunction expansions build upon (conditional) Hilbert-Schmidt-riggings are directly or indirectly based on the Radon-Nikodym theorem for scalar-valued measures. But we will later consider eigenfunction expansions based on operator relations for which we will need a vector valued representation theorem (namely Phillips theorem). Luckily we will be able to investigate both approaches using this method. Proposition 2.2.1 Let (Ω; Σ; µ) be a measure space, X a Banach space. For p, q ∈ (1, ∞) s.t. p1 + 1q = 1 there is an isometry π : Lq (Ω; µ; X 0 ) → Lp (Ω; µ; X)0 with
Z (f, π(g)) =
(f (λ), g(λ))dµ Ω
for all f ∈ Lp (Ω; µ; X) and g ∈ Lq (Ω; µ; X 0 ). On the left hand side of the equation the notation (·, ·) denotes the Banach space duality between Lp (X) and Lq (X 0 ) while on the right hand side it is the inner product between X and X 0 . Proof.
1
Using the generalized H¨ older inequality we get that Z |(f, π(g))| ≤ |(f (λ), g(λ))| dµ ≤ kf kp kgkq Ω
which implies that the map π is bounded with norm 1. We just need to show that kπ(g)kp0 ≥ kgkq . If there is a counter example g ∈ Lq (X) with kgkq = 1 s.t. kπ(g)k < 1 − ε
(2.2) Pn
there is also a step function g˜ ∈ Lq (X) s.t. k˜ g − gkq < 2ε , where g˜ = k=1 χEk yk with disjoint measurable Ek ⊂ Ω and yk ∈ X 0 . WeP can find xk ∈ X s.t. kxk k = q−1 q ˜ kyk k and (xk , yk ) = kyk k thus we have for f := nk=1 χEk xk that (f˜, π(˜ g )) =
n X
µ(Ek )(xk , yk ) = k˜ g kqq
k=1
where2 Z Ω
kf˜kp dµ =
n X k=1
µ(Ek )kxk kp =
n X
µ(Ek )kyk kq = k˜ g kqq
k=1
which means kπ(˜ g )kp0 ≥ 1 and thus kπ(g)kp0 ≥ 1 −
ε 2
(contradicting (2.2)).
Now, we can state Phillips theorem [Phi43] simply as: Theorem 2.2.2 (Phillips) The isometry from the previous proposition is surjective if X is a reflexive Banach space. 1 2
Adapted from the scalar valued version. [Wer05, p.51] The function f˜ is called peaking element for g˜.
11
2 Eigenfunction expansions on Hilbert spaces
2.3 Rigged Hilbert Spaces Definition 2.3.1 Let X + , X − be reflexive Banach spaces, H a Hilbert space, s.t. X + ⊂ H ⊂ X − , i.e. X + is a continuously embedded dense linear subset of H and H itself is a continuously embedded dense linear subset of X − . Then we call the triple (X + , H, X − ) a rigged Hilbert space if kvk− := sup |hv, wiH | | for all w ∈ X + and kwk+ = 1 . Remark 2.3.2 The inner product h·, ·i of H can be extended by continuity to the pairs X + × X − (similarly to the pairs X − × X + ). There is an anti-linear3 surjective isometry i : X − → (X + )0 s.t. (v, i(w)) = hv, wi.
(2.3)
Proof. We can define a map ˜i : H → (X + )0 by (2.3) which is anti linear and we have by definition that k˜i(w)k(X + )0 = kwk− for all w ∈ H. Hence the map can be extended by continuity to i defined on all of X − . The norm equation implies the closedness of the image of i in X − . But the image of ˜i is already dense in X − , which means that i must be surjective. The latter also implies that the inner product extends by continuity to the pairs X + × X − . In the special case that X + = H = X − the above remark is just the Riesz representation theorem, i.e. Remark 2.3.3 Let H be a Hilbert space, then there is an antilinear surjective isometry j : H → H 0 s.t. (x, j(y)) = hx, yi (2.4) From a different point of view, the space X − is just the space of continuous anti linear functionals on X + and the embedding of H to X − is just the adjoint of the embedding of X + into H.4 With the above remarks, we can use the theorems from Banach space theory e.g. Hahn-Banach or Phillips theorem and transfer them to our case using the isometry i. For example: Remark 2.3.4 For a continuous linear functional f on X + there exists a w ∈ X − s.t. f (v) = hv, wi for all v ∈ X + and similarly if f is a continuous linear functional on X − there is a v ∈ X + s.t. f (w) = hw, vi for all w ∈ X − . 3 4
i.e. i(av + bw) = ai(v) + bi(w) This rises the question why we did not just define X − as the set of continuous antilinear functionals. The problem is that in most cases X + and X − will be Hilbert spaces in which case we intuitively identify the dual of a Hilbert space with itself. If we - as proposed here identify H with a subspace of X − , we end up with an inconsistent set of identifications. The same approach - though only for Hilbert spaces - has been chosen in [BSU96].
12
2.4 Basic Eigenfunction Expansion Proof. In the first case w is simply i−1 (f ). In the second case the map v 0 → f (i−1 (v 0 )) is a continuous functional on (X + )0 . Since X + is reflexive there is a v ∈ X + s.t. f (i−1 (w)) = (v, w) for all w ∈ (X + )0 which means f (w) = (v, i(w)) = hv, wi.
Let us see how a simple rigged Hilbert space looks like: Example 2.3.5 For s ∈ R we denote the Hilbert spaces l2,s consisting of the sequences (xn )∞ 1 ⊂ C s.t. X (1 + k)2s |xk |2 ≤ ∞. k∈N
The triples l2,s ⊂ l2,0 ⊂ l2,−s are rigged Hilbert spaces. And for s > 1/2 they are actually Hilbert-schmidt-riggings (cf. section 3).
2.4 Basic Eigenfunction Expansion Let A be a self-adjoint operator on a rigged Hilbert space H and let us assume we have established that there is a σ-finite spectral measure µ on σ(A) with the estimate kχE (A)vk2H ≤ kvk2+ µ(E) for all v ∈ X + (2.5) We can easily see that there is a unique linear continuous map Φ : L2 (σ(A); µ; X + ) → H s.t. for all Borel sets E ⊂ σ(A) with µ(E) < ∞ and for all v ∈ X + Φ(χE v) = χE (A)v. The σ-finiteness of the spectral measure µ is essential here5 , otherwise the step functions (with finite support) would not be dense in L2 (σ(A); µ; X + ). Using Phillips’ theorem 2.2.2 we know that there is a canonical isomorphism π mapping L2 (σ(A); µ; X + )0 onto L2 (σ(A); µ; (X + )0 ) with Z (f, g) = (f (λ), (πg)(λ)) dµ. σ(A)
To get our eigenfunction expansion we compose the adjoint of Φ with that isomorphism, use the isomorphism j from the Riesz representation theroem on H and the isomorphism i between (X + )0 and X − , i.e. (Fx)(λ) := i−1 (π ◦ Φ0 ◦ j)(x) (λ) 5
This is mentioned since finding a non-σ-finite measure fulfilling the above estimate is trivial.
13
2 Eigenfunction expansions on Hilbert spaces which we can visualize using a commutative diagram / L2 (σ(A); µ; X − ) O
F
H
i1 pointwise
L2 σ(A); µ; (X + )
j
0
O
π
H0
/ L (σ(A); µ; X + )0 2
Φ0
thus F maps H into L2 (σ(A); µ; X − ) and we can derive for a Borel set E ⊂ σ(A) with µ(E) < ∞ that for all x ∈ H and v ∈ X + Z
Z hv, (Fx)(λ))idµ =
E
=
v, π Φ0 (j(x)) (λ) dµ E χE v, Φ0 (j(x))
= (Φ(χE v), j(x)) = hχE (A)v, xi. This means for all x ∈ H that Z (Fx)dµ = χE (A)x E
which implies the equation Z f (λ)(Fx)(λ)dµ = f (A)x σ(A)
for all x ∈ H and all step functions f on σ(A). Since the left hand side is continuous with respect to the L2 (σ(A); µ) of f (according to the H¨older inequality) and the right hand side is continuous with respect to L∞ (σ(A); µ) (according to 2.1.3) and since the step functions are dense in the space L∞ (σ(A); µ) ∩ L2 (σ(A); µ) we have prooven that: Proposition 2.4.1 Let X + ⊂ H ⊂ X − be a rigged Hilbert space, A a self-adjoint operator on H. If there is a spectral measure µ s.t. kχE (A)vk2H ≤ µ(E)kvk2+ for all v ∈ X + . Then there is a continuous map F : H → L2 (σ(A); µ; X − ) s.t. Z f (λ)(Fx)(λ)dµ = f (A)x σ(A)
for all x ∈ H and f ∈ L∞ (σ(A); µ) ∩ L2 (σ(A); µ).
14
2.5 Extending the Operator
2.5 Extending the Operator From the above equation we can derive: Proposition 2.5.1 Under the conditions of proposition 2.4.1, if v ∈ X + ∩ D(A), and Av ∈ X + then h(Fy)(λ), Avi = λh(Fx)(λ), vi for all x ∈ H and almost all λ ∈ σ(A). Proof. For all measurable E ⊂ σ(A) it is true that Z (h(Fx)(λ), Avi − λh(Fx)(λ), vi) dµ = hχE (A)x, Avi − hχE (A)Ax, vi = 0. E
However, we cannot show that A(Fx)(λ) = λ(Fx)(λ) since the operator A cannot be applied to elements of X − . We could think about extending the operator to X − , but this is more than just a formal problem. The following is an example where a bounded operator is not closable on X − : Example 2.5.2 The operator A defined on l2,0 by Ax =
∞ X x(k) , x(0), x(1), · · · 1+k
!
k=0
q 2 is bounded with norm π6 + 1. However it does not permit a closed extension to l2,−1 E.g. the sequence xn := χ[n...2n] converges to 0 in l2,−1 , but Axn is converging to a non-zero vector. We cannot expect that a self-adjoint operator A automatically extends to a closed operator A− on X − . Or, for that matter, that its restriction to X + is densely defined. Curiuosly these conditions are the same, i.e.: Proposition 2.5.3 Let X + ⊂ H ⊂ X − be a rigged Hilbert space, A a self-adjoint operator on H. The operator A is closable on X − if and only if the restriction of A to X + has dense domain in X + , i.e. if D(A+ ) := {v ∈ X + ∩ D(A) | Av ∈ X + } is dense in X + . Proof. Let ΓA− denote the closure of the graph of A on X − × X − . For a w ∈ X − we will show that (0, w) ∈ ΓA− if and only if hv, wi = 0 for all v ∈ D(A+ ). If-Part: Let xn ⊂ D(A) be a sequnce s.t. xn → 0 in X − and s.t. Axn → w in X − . For a v ∈ D(A+ ) we have hv, wi = lim hv, Axn i = lim hAv, xn i = 0. n→∞
n→∞
15
2 Eigenfunction expansions on Hilbert spaces Only-If-Part: If (0, w) ∈ / ΓA− there is (according to Hahn-Banach) a functional − − 0 φ ∈ (X × X ) s.t. φ((0, w)) = 1 and φ(ΓA− ) = 0. We can represent φ by a sum of two functionals φ1 ∈ (X − )0 , φ2 ∈ (X − )0 i.e. φ((w1 , w2 )) = φ1 (w1 ) + φ2 (w2 ) and according to remark 2.3.4 there are v1 , v2 ∈ X + s.t. φ(w1 , w2 ) = hw1 , v1 i+hw2 , v2 i. Since φ((0, w) = 1 we have h0, v1 i + hw, v2 i = 1 and that φ vanishes on the graph of A means that for all x ∈ D(A) hx, v1 i + hAx, v2 i = 0. The latter implies v2 ∈ D(A∗ ) with A∗ v2 = −v1 , where v1 , v2 ∈ X + . And since A is self adjoint, we have v2 ∈ D(A+ ). Actually, there is another way to see this. The adjoint (A+ )0 defined on (X + )0 of A+ is aequivalent to A− w.r.t. to the isometry between (X + )0 and X − (cf. remark 2.3.2). This also indicates that σ(A+ ) = σ(A− ). In fact the above proof is just an adaptation of the fact that a closed densely defined operator on a reflexive Banach space, has a closed densely defined adjoint. (cf. [Haa06, A.4]). We would like to note another condition that A is closable on X − . (This one however is not necessary.) Remark 2.5.4 If there is a µ ∈ ρ(A) s.t. R(µ, A)X + ⊂ X + then A is closable on X − moreover µ ∈ ρ(A+ ) and µ ∈ ρ(A− ). Proof. By the closed graph theorem R(µ, A) is bounded on X + which implies that R(µ, A) is bounded on X − . Thus A is closable on X − . Using proposition 2.5.1 we can conclude: Proposition 2.5.5 Assuming the conditions of propositon 2.4.1, and that the operator A is closable on X − . For all x ∈ H and almost all λ ∈ σ(A) it is true that (Fx)(λ) ∈ D(A− ) and A− (Fx)(λ) = λ(Fx)(λ) where A− denotes the closure of A on X − .
2.6 Orthogonalizing Generalized Eigenvectors We remember from linear algebra that for a symmetric matrix there exists a complete orthonormal system of eigenvectors, and we can write X X hx, yi = hx, ek,λ ihek,λ , yi. (2.6) λ∈σ(A) k
If σ(A) is discrete the above is still possible. But in the case of a continous spectrum the eigenvectors are defined on a generalized space X − , and they are
16
2.6 Orthogonalizing Generalized Eigenvectors defined only almost everywhere on the spectrum. The former implies that we have to apply them on vectors v, w on X + , and the latter implies that we have to replace the outter sum with an integral. So we expect the generaliziation of 2.6 to look like: Z X hv, wi = hv, ek (λ)ihek (λ), wi dµ. σ(A) k
The next proposition will show how to find each of the measurable functions ek : σ(A) → X − , the following one will show how to get a complete system of them. And the latter ones will deal with the question whether we can put the sum inside (once in the weak sense as above, and once in the strong sense). Proposition 2.6.1 G := {f (A)x ∈ H|f ∈ L∞ (σ(A); µ)}.6 Let P be the orthogonal projection onto G. If there is a v ∈ X + s.t. x = P v then there exists a bounded µ-measurable function e(λ) : σ(A) → X − s.t. ke(λ)k− ≤ kFk and for all w ∈ X + it is true that (F(P w))(λ) = hw, e(λ)ie(λ). Proof. We will start by showing the following intermediate results 1. For all y ∈ G there is fy with (Fy)(λ) = fy (λ)(Fx)(λ). 2. The term hv, (Fx)(λ)i is real and non-negative µ− a.e. Indeed we have that k(Fx)(λ)k2− ≤ hv, (Fx)(λ)i. 3. For a.e. λ ∈ σ(A) is true that hv, (F(P w))(λ)i = h(Fx))(λ), wi. Step 1 By definition there is a sequence (fn )∞ n=1 ⊂ L∞ (σ(A); µ) s.t. fn (A)x → y. Since F is continuous and linear this means that Z kfn (λ)(Fx)(λ) − (Fy)(λ)k2− dµ → 0 σ(A)
hence there exists a subsequence nk s.t. for almost all λ ∈ σ(A) kfnk (λ)(Fx)(λ) − (Fy)(λ)k− → 0 which implies that fnk is converging almost everywhere on the support of Fx. Let fy be the zero function on the set where Fx vanishes and the limit of fnk on the support of Fx. Then we have fy (λ)(Fx)(λ) = (Fy)(λ) a.e. 6
i.e. x is a star-cyclic vector in the subspace G ([PCK03])
17
2 Eigenfunction expansions on Hilbert spaces Step 2 Follows from Z Z 2 2 k(Fx)(λ)k− dµ ≤ kFk hx, χE (A)xi = hv, χE (A)P vi = hv, (Fx)(λ)idµ. E
E
Step 3 Follows from Z Z hv, (F(P w))(λ)i = hv, χE (A)P wi = hχE (A)P v, wi = h(Fx)(λ), wi E
E
where we used that P v = x and that P and χE (A) commute (the latter is true since G is χE (A) and χE (A)∗ invariant). Proof of the proposition Using the second step we can define the measurable function e in L∞ (σ(A); µ; H − ) by e(λ) := (hv, (Fx)(λ)i)−1/2 (Fx)(λ). For a w ∈ X + , there is a measurable fw s.t. (Fw)(λ) := fw (λ)(Fx)(λ). According to step 3 we have hv, fw (λ)(Fx)(λ)i = h(Fx)(λ), wi and hence hw, (Fx)(λ)i (Fx)(λ) h(Fx)(λ), vi hF(P w)(λ), vi = (Fx)(λ) h(Fx)(λ), vi hfw (λ)(Fx)(λ), vi = (Fx)(λ) h(Fx)(λ), vi = fw (λ)(Fx)(λ) = (F(P w))(λ).
hw, e(λ)ie(λ) =
Now we can conclude our result: Proposition 2.6.2 Under the conditions of proposition (2.4.1) and assuming that X + is separable, there is a denumerable set of measurable functions ek : σ(A) → X − s.t. for all w ∈ X + it is true that f (A)w =
∞ Z X k=0
f (λ)hw, ek (λ)iek (λ) dµ.
σ(A)
Proof. Let vk be a dense subset of X + . We can define inductively xk := vk −
k−1 X
Pj vk
j=0
Gk := {f (A)xk |f ∈ L∞ (σ(A); µ)}
18
(2.7)
2.6 Orthogonalizing Generalized Eigenvectors where Pj is the orthogonal projection onto Gj and (Gk )∞ k=1 is an orthogonal decomposition of H into subspaces, having the star-cyclic vectors xk (moreover xk = Pk vk ).7 Thus we can use the previous position and find ek (λ) s.t. hw, ek (λ)iek (λ) = (F(Pk w))(λ) meaning that Z f (λ)hw, ek (λ)iek (λ)dµ = f (A)Pk w. σ(A)
This implies: Proposition 2.6.3 Under the conditions of the previous proposition we have for all v, w ∈ X + Z X hf (A)v, wi = f (λ)hv, ek (λ)ihek (λ), wi dµ σ(A) k
where the sum converges absolutely µ− a.e. Proof. In the last proposition we had hχE (A)v, vi =
∞ Z X k=0
=
∞ Z X k=0
hv, ek (λ)ihek (λ), vidµ
E
|hv, ek (λ)i|2 dµ,
E
thus hv, ek (λ)i is square integrable in the product measure space (N; ν) × (σ(A); µ) (ν being the counting measure N). Hence using H¨older we have that hv, ek (λ)ihek (λ), wi is integrable in the product space. Meaning that we can use Fubini: Z X XZ f (λ)hv, ek (λ)ihek (λ), wi dµ = f (λ)hv, ek (λ)ihek (λ), wi dµ σ(A) k
k
σ(A)
= hf (A)v, wi
We needed to go to the weak version of the equation (2.7) to put the sum inside. In general the vector valued sum does not converge absolutely. But we have unconditional convergence, which we will define first: 7
The same method can be used to proof the actual spectral theorem. [PCK03, p. 16]
19
2 Eigenfunction expansions on Hilbert spaces Definition 2.6.4 [Hei97] A series xn in a Banach space X is unconditionally convergent, if all permutations xπ(n) of it are converging, i.e. if for all permutations π of N the sequences of partial sums Sn,π :=
n X
xπ(k)
k=0
are converging. Remark 2.6.5 In that case the limit is independent of the permutation. Proof. Given a permutation π let xπ be the limit of the sequence Sn,π . Let us observePfirst that for any finite set F and ε > 0 there is a super set S of F s.t. kxπ − k∈S xk k < ε. (There is an n0 s.t. kSn,π − xπ k < ε for all n > n0 , we can choose n > n0 s.t. F ⊂ π({1, . . . , n}) and set S := π({1, . . . , n}.) Assuming there are permutations π1 and π2 s.t. the sequences Sn,π1 resp. Sn,π2 are converging to different points y1 resp. y2 . For an ε = 31 ky1 −y2 k we can find an increasing sequence of finite subsets of N (i.e. F1 ⊂ F2 ⊂ F3 . . . ) s.t. the distance of the sum of xk over Fi is within ε to y1 when i is even and with in ε to y2 when i is odd. Traversing the elements of Fi in order we can create a permutation π3 which is definitively not Cauchy. Proposition 2.6.6 Under the conditions of proposition 2.6.3 we have for all v ∈ X + that Z X f (A)v = f (λ)hv, ek (λ)iek (λ) dµ σ(A) k
where the sum is converging unconditionally µ− a.e. R P Proof. For a w ∈ X + it is true that E k |hw, ek (λ)i|2 dµ = hχE (A)w, wi ≤ µ(E)kwk2+ , i.e. X |hw, ek (λ)i|2 ≤ kwk2+ (2.8) k
for µ a.e. λ ∈ σ(A). Let us choose a denumerable dense subset wj of X + . There is a µ−null set N s.t. for all λ ∈ σ(A) \ N the equation above holds for all wj and also for v. Let π be a permutation of N (i.e. a bijective map from N to N) we want to show that the sequence Sn :=
n X
hv, eπ(k) (λ)ieπ(k) (λ)
k=0
is Cauchy for all λ ∈ σ(A) \ N . Since the sum in equation (2.8) is converging absolutely, its permutation w.r.t. π is also converging . Thus for an ε > 0 there is an n0 > 0 s.t. ∞ X |hv, eπ(k) (λ)i|2 ≤ ε k=n0
20
2.7 Summary Let n > m > n0 then there is a wj with kwj k < 1 + ε s.t. kSn − Sm k− ≤ |hSn − Sm , wj i| + ε. The latter however is m X
hv, ek (λ)ihek (λ), wj i
k=n
which is (using H¨ older) smaller than ε(1 + ε).
2.7 Summary Let us define what we mean by an eigenfunction expansion: Definition 2.7.1 Let X + ⊂ H ⊂ X − be a rigged Hilbert space where X + is seperable, A a self-adjoint operator on H. We say that A admits an eigenfunction expansion for the rigging if there is a spectral measure µ, a continuous map F : H → L2 (σ(A); µ; X − ) and a denumerable set of bounded measurable functions ek : σ(A) → X − s.t. for all f ∈ L∞ (σ(A); µ) ∩ L2 (σ(A); µ) it is true that Z f (A)x = f (λ)(Fx)(λ)dµ for all x ∈ H σ(A)
and for all v, w ∈ X + it is true that Z X f (A)v = f (λ) f (λ)hv, ek (λ)iek (λ) dµ σ(A)
Z hf (A)v, wi =
f (λ) σ(A)
(2.9)
k
X
f (λ)hv, ek (λ)ihek (λ), wi dµ
(2.10)
k
where the sum in (2.9) is converging unconditionally µ-a.e. and the sum in (2.10) is converging absolutely µ-a.e. Remark 2.7.2 If A is closable on X − , the vectors (Fx)(λ) for an x ∈ H as well as ek (λ) are in D(A− ) for µ− a.e. λ ∈ σ(A) and of course A− (Fx)(λ) = λ(Fx)(λ) A− ek (λ) = λek (λ) The following is an intermediate result showing us how to define the measure µ: Proposition 2.7.3 For a rigged Hilbert space X + ⊂ H ⊂ X − and a self-adjoint operator A, there is a possibly not σ-finite measure µ s.t. the estimate kχE (A)xk2H ≤ µ(E)kxk2+
(2.11)
holds for all Borel sets E ⊂ σ(A). If there is a second Borel-measure ν s.t. the esimtate holds, then µ(E) ≤ ν(E).
21
2 Eigenfunction expansions on Hilbert spaces Proof. With µ ˜(E) := sup kχE (A)xk2 | x ∈ X + , kxk2+ ≤ 1 we can define µ as the variation of µ ˜(E) i.e. ( ) X µ(E) := sup µ ˜(Ek ) | where Ek is a countable partitioning of E . k∈N
That µ(∅) = 0 is obvious. We want to show σ− additivity, therefore let Ek be a countable partitioning of E. We have by definition that X µ(E) ≥ µ(Ek ). k∈N
For the less-than-part: Let us first observe that if a partitioning Ek is a refinement of a second partitioning Fk then the sum of µ ˜(Ek ) is at least as big as the sum of µ ˜(Fk ). This follows from the equation X kχE (A)xk2 = kχEk (A)xk2 . k∈N
For an ε > 0 there is a countable partitioning Fk s.t. X µ(E) ≤ µ ˜(Fk ) + ε. k∈N
We can find a countable partitioning Gk which is a refinement of both Ek and Fk for which we have X X X µ(E) ≤ µ ˜(Fk ) + ε ≤ µ ˜(Gk ) + ε ≤ µ(Ek ) + ε. k
k
k
Assuming there is a second measure ν s.t. the estimate holds (i.e. µ ˜(Ek ) ≤ ν(Ek )). We can be sure that also µ(E) ≤ ν(E) since ν has to be σ-additive. For the measure constructed above we have that µ(E) = 0 if and only if χE (A) = 0 (we are recalling that we expect X + to be dense in H). Hence if µ is σ−finite it becomes automatically a spectral measure, which implies: Theorem 2.7.4 Let X + ⊂ H ⊂ X − be rigged Hilbert space, A a self-adjoint operator then A has an eigenfunction expansion (cf. 2.7.1) on that rigging if there is a σ− finite measure ν on σ(A) s.t. kχE (A)xk2H ≤ ν(E)kxk2+ .
(2.12)
Proof. Using the last proposition we can find a spectral measure µ which is smaller than ν (and hence is also σ-finite) on which we can apply the propositions 2.4.1, 2.6.3 and 2.6.6.
22
3 Hilbert-Schmidt-Riggings There are several methods to establish the estimate (2.12). The basic one beeing the Hilbert-Schmidt rigging, which can be improved via conditional HibertSchmidt-Riggings. The same is also possible for (conditional) nuclear riggings. Applying the Hilbert-Schmidt expansion theorem on the Laplace Operator on L2 (Rn ) leads to an eigenfunction expansion on the weighted rigging L2,s (Rn ) ⊂ L2 (Rn ) ⊂ L2,−s (Rn ) for s > n2 . We will also verify that this not possible for any s < n2 .
3.1 Unconditional Hilbert-Schmidt Riggings Definition 3.1.1 Let again X + ⊂ H ⊂ X − be a rigged Hilbert space (according to definition 2.3.1). If X + is itself a separable Hilbert space and the embedding i : X + → H is a Hilbert-Schmidt operator (cf. [Wer05, VI.6, p.292]), the triple X + ⊂ H ⊂ X − is called Hilbert-Schmidt rigging ([Mau68]). Under these circumstances we have for an orthonormal system xk of X + that X kxk k2H < ∞, k
particularly if we had a positive self adjoint operator A, and a Borel measurable E ⊂ σ(A) we would have X kχE (A)xk k2 < ∞. k
Indeed the following is a finite measure on σ(A) X µ(E) := hχE (A)xk , xk i. We already saw that the sum exists (and is positive and real). That µ(∅) = 0 is obvious, and we already saw that µ(σ(A)) < ∞. To show that µ is σ-additive, let Ej be a series of disjoint Borel-measurable sets and let E be their union. The spectral theorem tells us that for an xk we have X χEj (A)xk = χE (A)xk j
thus X
hχEj (A)xk , xk i = hχE (A)xk , xk i
j
23
3 Hilbert-Schmidt-Riggings which is converging absolutely (since all terms are positive). Moreover X µ(E) = hχE (A)xk , xk i k
XX = hχEj (A)xk , xk i j
k
XX X = hχEj (A)xk , xk i = µ(Ej ). j
j
k
More to the point, the measure fullfills our desired estimate: kχE (A)xk2 ≤ µ(E)kxk2+ . Using the Hilbert space structure on X + we have X kxk2+ = |hx, xk i+ |2 X x = hx, xk i+ xk |hx, xk i+ |2 we have (using H¨older) X kχE (A)xkH ≤ |hx, xk i+ | kχE (A)xk kH ≤ kxk(µ(E))1/2
Since kxk2+ =
P
k
Thus we have that Theorem 3.1.2 On a Hilbert-Schmidt rigging X + ⊂ H ⊂ X − , there is an eigenfunction expansion for all self-adjoint operators on H.
3.1.1 Hilbert-Schmidt-Integral Operators How do we know that an embedding is Hilbert Schmidt? Of course we can always try to find an orthonormal system of the spaces and try to sum. But we can also use the following (cf. [Wer05, p.296, VI.6.3]). Proposition 3.1.3 Let (Ω; µ) be a σ-finite measure space, k ∈ L2 ((Ω; µ) × (Ω; µ)) then the operator Z (T f )(x) := k(x, y)f (y)dµ(y) Ω
is Hilbert-Schmidt, with kT kHS := kkkL2 . Proof. Let fn be an orthonormal basis of L2 (Ω; µ) then we have using Parseval’s identity for a.e. x ∈ Ω 2 X X Z 2 = kk(x, ·)k2 |(T fn )(x)| = k(x, y)f (y)dµ(y) n n
thus
24
n
3.2 Weighted Spaces and Sobolev Spaces X
kT fn k2
=
n
XZ
kT fn (x)k2 dµ
nZ
Z X
kT fn (x)k2 dµ
n 2
kk(x, ·)k dµ
=
= =
kkkL2 .
We are going to use this proposition in the following form Proposition 3.1.4 Let X + ⊂ H ⊂ X − be a rigged Hilbert space, T a unitary surjective operator from H to X + . The rigging is Hilbert Schmidt if and only if T as an operator on H is Hilbert Schmidt. Proof. Let ek be an orthonormal basis of H; if T is Hilbert-Schmidt on H then X kT ek k2H ≤ ∞. k
But the sequence T ek is an orthonormal basis of X + .
3.2 Weighted Spaces and Sobolev Spaces Let wr (u) := (1 + kuk2 )r for u ∈ Rn then we can define the scale of fractional Sobolev spaces (using the Fourier transform) by H s := {x ∈ L2 (Rn ) | (ws x ˆ) ∈ L2 (Rn )} for s ≥ 0. Similarly, we can define the weighted fractional Sobolev spaces by n H s,r := {x ∈ L2 (Rn ) | ws w d r x ∈ L2 (R )} for s, r ≥ 0, Z hx, yis,r := w d d r x(u) w r y(u) ws (u) du. Rn
The negative spaces H −s,−r can be defined as the closure of L2 w.r.t. the norm kxk−s,−r := sup{|hx, yi| | y ∈ Hs,r , kyks,r = 1} Then the triple H s,r (Rn ) ⊂ L2 (Rn ) ⊂ H −s,−r (Rn ) is a rigged Hilbert space. Moreover it is a Hilbert-Schmidt-rigging if s > n2 and r > n2 . To see this let us consider the operator Ts,r x := w−r xw [ −s . It is a unitary surjective map from L2 (Rn ) to H s,r (Rn ) and it is Hilbert-Schmidt as an operator on L2 (Rn ) since we can write it as Z (Ts,r x) (u) = w−r (u)e− iu · vw−s (v)x(v) dv Rn
i.e. it has an L2 -kernel (cf. proposition 3.1.3). And according to proposition 3.1.4 the embedding H s,r (Rn ) into L2 (Rn ) is Hilbert-Schmidt.
25
3 Hilbert-Schmidt-Riggings Hence, for any self-adjoint operator A on L2 (Rn ) there is an eigenfunction expansion (cf. 2.7.1) w.r.t. the rigging H s,r (Rn ) ⊂ L2 (Rn ) ⊂ H −s,−r (Rn ). In the case of a multiplication operator (with a polynomial for example) or the Laplace operator we can also be sure that A is closable on H −s,−r (the Schwarz functions are A-invariant and dense in H s,r ). Thus in that case the operator A is closable on H −s,−r and we also have the conclusions of remark 2.7.2.
3.3 Conditional Hilbert-Schmidt Riggings We used the fact that the embedding X + → H is Hilbert-Schmidt to derive the estimate kχE (A)xk2 ≤ µ(E)kxk2+ . (3.1) However there is a weaker condition [PSW89]. Let therefore γ be a non-zero bounded continuous function on R. (On compact subsets of R this implies that |γ| is bounded away from zero.) If the operator γ(A) is a Hilbert-Schmidt operator from X + to H then we can still derive the estimate (3.1). Let again µ(E) :=
X hχE (A)xk , xk i k
for an orthonormal system xk of X + . For a compact subset E of σ(A) we have an ε > 0 s.t. |γ 1 | ≤ ε, which implies µ(E)
:=
X
0 and center p ∈ Rn containing the support of x, i.e. supp(x) ⊂ [p1 − a/2; p1 + a/2] × · · · × [pn − a/2; pn + a/2]. Then we can define for all s ∈ Zn xs := Tas−p x i.e. xs is a translation of x such that its support is in the cube [as1 − a/2; as1 + a/2)] × · · · × [asn − a/2; asn + 1/2]. This means hxs , xs i = 0 if s, s ∈ Zn with s 6= s. This also means kxs kr ≤ kxk(1 + kask2 + (a/2)2/n )r/2 . Then the set ys := kxxsskr for s ∈ Z is an (incomplete) orthonormal set. Using linearity and translation invariance of f (A) we have kf (A)ys k2 =
kf (A)xs k2 ≥ C(1 + kask2 + (a/2)2/n )−r kxs k2r
where C = kf (A)xk2 kxk−2 > 0, hence X X kf (A)ys k2 ≥ C (1 + kask2 + (a/2)2/n )−r r∈Zn
r∈Zn
Z
(1 + kask2 )−r ds
≥ C Rn
which is not finite, so f (A) : L2,r (Rn ) → L2 (Rn ) is not Hilbert-Schmidt.
3.5 Nuclear Riggings Definition 3.5.1 Let X, Y be Banach spaces, a linear map ϕ : X → Y is called nuclear if there are sequences yn ∈ Y, x0n ∈ X 0 , αn ∈ C s.t. kyn kY = kx0n kX 0 = 1, αn is an absolutely conveging series and X ϕ(x) = αn yn x0n (x). n
As in the case of Hilbert-Schmidt-Riggings we can also treat conditional nuclear riggings i.e. Proposition 3.5.2 Let X + ⊂ H ⊂ X − be a rigged Hilbert space and let A be a self-adjoint operator, and γ be a continuous non-zero bounded function. If the map γ(A) : X + → H is nuclear then there is an eigenfunction expansion for A on X + ⊂ H ⊂ X −. 0
Proof. By assumption there are αn ∈ C, x0n ∈ (X + ) and hn ∈ H with C = P 0 n |αn | < ∞ and kxn k(X + )0 = khn k = 1 s.t. X γ(A)x = αn hn x0n (x) n
28
3.5 Nuclear Riggings for all x ∈ X + . Let us define the measure ν on σ(A) by X |αn |hχE (A)hn , hn i ν(E) = n
for all Borel sets E ⊂ σ(A). The measure is finite and we can verify X αn hn x0n (x)kH kχE (A)γ(A)xkH = kχE (A) n
≤
X
|αn |kxk+ kχE (A)hn k
n
≤ kxk+
X
|αn |1/2 |αn |1/2 kχE (A)hn k
n
!1/2 ≤ kxk+ ≤ kxk+ C
X n 1/2
|αn |
!1/2 X
|αn |kχE (A)hn k
2
n
(ν(E))1/2 .
Using the fact that γ −1 is bounded on compact intervals we can define the (σ− finite) measure X µ(E) := C kγ −1 χ[k;k+1) k∞ ν (E ∩ [k; k + 1)) k∈Z
with which we can conclude X
χ[k;k+1)∩E x 2 kχE (A)xk2H = H k∈Z
X
γ −1 χ[k;k+1) χ[k;k+1)∩E γ(A)x 2 ≤ ∞ H k∈Z
X
γ −1 χ[k;k+1) kxk2+ Cν(E ∩ [k; k + 1)) ≤ ∞ k∈Z
= µ(E)kxk2+ for all Borel sets E ⊂ σ(A). And according to theorem 2.7.4 this implies the existence of an eigenfunction expansion for A on the rigging X + ⊂ H ⊂ X − .
29
4 Operator Relations We have seen that the weighted spaces L2,−r for which we could build an eigenfunction expansion for the Laplacian on Rn using (conditional) Hilbert-Schmidt riggings are those with r > n/2. But in the explicit eigenfunction expansion derived in [Str89][p. 64] it is possible to see that an eigenfunction expansion is already possible for r > 12 . In the next section an investigation of the eigenfunction expansion of vector-valued multiplication operators will demonstrate why (conditional) Hilbert-Schmidt riggings, in some cases, fail to give the optimal rigging. The latter will motivate the use of operator relations BA − AB = h(A) leading to an eigenfunction expansion on the riggings − X + ⊂ [D(B); H]1/2,1 ⊂ H ⊂ [D(B); H]× 1/2,1 ⊂ X .
Before we apply this result, we will take a brief detour onto semi groups, where we will find one possible corresponding operator B for the Laplacian on L2 (Rn ). Leading to an eigenfunction expansion for a homogeneous selfadjoint elliptic diffential operator w.r.t. the rigging L2,s (Rn ) ⊂ L2 (Rn ) ⊂ L2,s (Rn ) for all s > 1/2.
4.1 Vector valued multiplication operators Let us consider the vector-valued multiplication operator (Af )(t) = xf (t) defined on the space L2 (R; H) where H is a non-trivial Hilbert space. The operator A is self-adjoint, has continuous spectrum σ(A) = R and has no eigenfunctions in the usual sense. The functional eλ,w for a w ∈ H and λ ∈ R defined by hx, eλ,w i := hx(λ), wi
(4.1)
looks like an eigenvector but it is not continuous on L2 (R; H). However it is continuous on the (vector valued) Sobolev spaces W s,2 (R; H) (for s > 1/2), i.e. eλ,w ∈ W −s,2 (R; H). This follows from the fact that there is a Sobolev embedding
31
4 Operator Relations from W s,2 (R; H) to the bounded continuous functions CB (R; H). (see for example [AF07]) Moreoever hAx, eλ,w i = λhx, eλ,w i if x, Ax ∈ W s,2 (R; H). Indeed it is not hard to see that there is a continuous map F : L2 (R; H) → L2 (R; W −s,2 (R; H)) where the F(x)(λ) are generalized eigenfunctions defined by F(x)(λ) = eλ,x(λ) To get back to our point: W s,2 (R; H) ⊂ L2 (R; H) ⊂ W −s,2 (R; H) is a rigged Hilbert space s.t. there is an eigenfunction expansion for A, for any s > 21 . However the rigging is a conditional Hilbert-Schmidt-rigging only in the finite-dimensional case (i.e. if dim H < ∞). Otherwise there is a countable sequence of orthonormal vectors in hn ∈ H and for example the functions fn (t) = e− (t2 )hn form an orthogonal sequence in Ws,2 (R; H) for any s. On the other hand kfn kL2 (R;H) = kfm kL2 (R;H) which implies that the embedding is not Hilbert-Schmidt. Let us consider W 1,2 (R, H) as the domain of a second operator (Bf ) =
d f. dx
It fulfills the following relation with the operator A (whoose eigenvectors we are looking for) BA − AB = I. (4.2) We can observe that the relation (4.2) implies BAn − An B = BAn − ABAn−1 + ABAn−1 + AAn−1 B = An−1 + A[BAn−1 − An−1 B] and by induction we get BAn − An B = nAn−1 which means Bf (A) − f (A)B = f 0 (A)
(4.3)
at least for polynomials f . This is all informal and we will do this in great detail in the next sections. So let us assume we have the above for functions f with bounded measurable derivatives. By rewriting the above equation a bit we get 0 hf (A)x, xi = |hf (A)x, B ∗ xi| + |hBx, f (A)xi| ≤ 2kf k∞ kBxkkxk. If we take f 0 (λ) = χ[a,b] then it has an integal f which is bounded by (b − a). (see also picture 4.1). Thus
32
4.2 Preliminaries
Figure 4.1: The function χa,b and its anti derivative.
f 0 (λ)
a
f (λ)
a
b
b−a
b
kχ[a,b] xk2 ≤ 2(b − a)kBxkkxk ≤ (b − a)kxk2B which looks alot like the condition of theorem 2.7.4 kχE (A)xk2 ≤ µ(E)kxk2+ . The next section will start with some preliminaries on sectorial operators on Banach spaces, for which we will derive the equation (4.3). After that we will introduce interpolation spaces, since we want to use rigged Hilbertspaces X + ⊂ H ⊂ X − where X + is densely embedded in the interpolation space [D(B); H]1/2,1 . The eigenfunction expansion theorem will be derived for the operator relation BA − AB = h(A) where h is an analytic function on a sector Σω with ω > 0.
4.2 Preliminaries Definition 4.2.1 For an ω ∈ (0, π) we denote the sector with angle ω by Σω := {λ | λ 6= 0 and |arg λ| < ω} and the path along the boundary of the sector by Γω Γω (t) := teisgn(t)ω where t ∈ (−∞, ∞) Definition 4.2.2 [Wer05][p. 255] For a closed operator A on a Banach space X, we will denote the resolvent of A at λ ∈ ρ(A) by the symbol R(λ, A) It is a bounded injective operator on X. Definition 4.2.3 [Haa06][p. 28] We denote by H ∞ (Σω ) the set of bounded analytic functions on Σω and by H0∞ (Σω ) the set of analytic functions on Σω s.t. there exist C > 0, ε > 0 with f (λ) ≤ C min(|λ|ε , |λ|−ε )
33
4 Operator Relations Definition 4.2.4 Let A be a closed injective operator on a Banach space X such that D(A) and R(A) are dense in X, then A is called sectorial of angle ω ∈ (0, π) if σ(A) ⊂ Σω and sup kλR(λ, A)k|λ ∈ C \ (Σ0ω ∪ {0}) ≤ ∞ for all ω 0 > ω. The infimum over all ω for which A is sectorial is called sectoriality angle ω(A). A sectorial operatar with ω(A) = 0 is called 0-sectorial. Definition 4.2.5 [KP04][p. 202,203] Let A be a sectorial operator on X, we say A has a bouded functional calculus with angle ω > ω(A), if there exists a linear multiplicative map ΦA : H ∞ (Σω ) → B(X) s.t. •
There exists a constant C > 0 s.t. kΦA (f )kX ≤ Ckf kH ∞ (Σω ) .
•
For all µ ∈ C \ Σω and tµ (λ) = (µ − λ)−1 it is true that ΦA (tm u) = R(µ, A).
•
For a uniformly bounded sequence fn ∈ H ∞ (Σω ) s.t. fn (λ) → f (λ) also fn (A)x → f (A)x.
In this case we will write f (A) instead of ΦA (f ). We will denote the infimum over all ω for which A has a bounded functional calculus by ω∞ (A). Remark 4.2.6 The above map is the closed exension of Φ0A : H0∞ (Σω ) → B(X) defined by choosing an ω(A) < ω 0 < ω: Z Φ0A (f )x = f (λ)R(λ, A)dλ. Γ0ω
Proposition 4.2.7 [KP04][p.206] Let A have a bounded functional calculus, ω > ω∞ (A), and let f : (0, ∞) × Σω → C. Assuming that •
f (·, λ) is continuous on (0, ∞)
•
f (t, ·) ∈ H ∞ (Σω )
•
kf (t, ·)kH ∞ (Σω ) ≤ C(1 + t)−1−ε for a C > 0 and an ε > 0
then for
Z
∞
h(λ) :=
f (t, λ)dt 0
it is true that h ∈ H ∞ (Σω ) and h(A)x =
34
R∞ 0
f (A)x dt.
4.2 Preliminaries Proposition 4.2.8 Let X be a Banach space, A a sectorial operator on X, ω > ω(A) and f an analytic function on Σω s.t. f, f 0 ∈ H0 (Σω ) then Z Z 0 f (λ) R(λ, A) dλ = f (λ) R(λ, A)2 dλ (4.4) Γω
Γω
Proof. The fact that f, f 0 ∈ H0 (Σω ) means that there is a constant C > 0 and a ε > 0 s.t. |f (λ)| < C min(|λ|1+ε , |λ|−ε ). The latter implies that both the right hand side, and the left hand side of (4.4) are well-defined. Let us observe that d f (Γω (t)) R (Γω (t), A) x = f 0 (Γω (t)) R (Γω (t), A) Γ0ω (t) dt − f (Γω (t)) R (Γω (t), A)2 Γ0ω (t) which means [f
(Γω (t)) R (Γω (t), A) x]t=b t=a
Z =
f 0 (λ)R(λ, A)x dλ
Γω |(a,b)
Z −
f (λ)R(λ, A)2 x dλ.
Γω |(a,b)
We can proof the equality in two steps: First, we let a → 0 and b → +∞, and in the second one we let a → −∞ and b → 0. In both cases the values on the left hand side of the equation converge to zero. Hence the difference of the integrals in (4.4) must be zero as well. Proposition 4.2.9 Let X be a Banach space, A a sectorial operator with a bounded functional calculus on X, ω > ω∞ (A), h ∈ H ∞ (Σω ) and B a closed operator. Assuming R(µ, A)D(B) ⊂ D(B) for all µ ∈ C \ Σω and assuming that BR(µ, A)x − R(µ, A)Bx = h(A)R(µ, A)2 x for all x ∈ D(B).
(4.5)
Then for an ω 0 > ω and an f ∈ H ∞ (Σ0ω ) s.t. also f 0 ∈ H ∞ (Σ0ω ) it is true that f (A)D(B) ⊂ D(B) and Bf (A)x − f (A)Bx = h(A)f 0 (A)x for all x ∈ D(B). Proof. We can estimate the norm of R(µ, A) as an operator on the Banach space (D(B), k · kB ) using kR(µ, A)kB ≤ kR(µ, A)kX + kh(A)kX kR(µ, A)2 kX and since A was sectorial there is a C > 0 s.t. kR(µ, A)kB ≤ C|µ|−1 + C 2 |µ|−2
(4.6)
for all arg µ = ω.
35
4 Operator Relations Step 1 We will start with the case f, f 0 ∈ H0∞ (Σ0ω ), i.e. there exist C > 0 and ε > 0 s.t. |f (λ)| ≤ C min(|λ|1+ε , |λ|ε ) which means that Z f (λ)R(λ, A)x dλ f (A)x = Γω
is also a Bochner integral on D(B) (using 4.6). Thus f (A)D(B) ⊂ D(B). Moreover we can fold-in the operator B into the integral i.e. Z f (µ) (BR(µ, A) − R(µ, A)B) x dµ. Bf (A)x − f (A)Bx = Γω
But according to the equation (4.5) this is equal to Z Z 2 f (µ)h(A)R(µ, A) x dµ = h(A) f (µ)R(µ, A)2 x dµ Γω
Γω
and using proposition 4.2.9 we get Z Bf (A)x − f (A)Bx = h(A)
f 0 (µ)R(µ, A)dµ
Γω
which is equal to h(A)f 0 (A)x. Step 2 The general case i.e. f, f 0 ∈ H ∞ (Σω ) can be reduced to the former case using the approximation property of the functional calculus (4.2.5). Consider the sequence fn (λ) := gn (λ)f (λ) where gn (λ) :=
nλ2 − λ e n 1 + nλ2
then we have that fn , fn0 ∈ H0∞ (Σω ) and thus (by the first step) Bfn (A)x − fn (A)Bx = h(A)fn0 (A)x for all x ∈ D(B). But we also have that fn , fn0 are uniformly bounded and that they are converging pointwise to f respectively f 0 . And by the approximation property of the functional calculus we have that fn0 (A)x, fn (A)(Bx), fn (A)x are converging. The closedness of B implies now f (A)x = lim fn (A)x ∈ D(B) n→∞
and Bf (A)x − f (A)Bx = h(A)f 0 (A)x
36
4.3 Interpolation spaces
4.3 Interpolation spaces Definition 4.3.1 Let X, Y be Banach spaces, both continuously embedded in a topological vector space V . Then the spaces X + Y := {x + y | x ∈ X, y ∈ Y } and X ∩ Y are Banach space w.r.t to the norms kvkX+Y
:= inf{kxkX + kykY | x ∈ X,y ∈ Y ,v = x + y}
kvkX∩Y
:= max(kxk, kyk)
We need a small abbreviation before we can define the interpolation spaces. Definition 4.3.2 Let X be a Banach space, then we denote L∗p (X) := Lp ([0; ∞]; µ; X) where µ1 is the Haar measure, i.e. Z µ(E) := E
dt . t
We are going to use the J-method to define the real interpolation spaces. [AF07], [BL76] Definition 4.3.3 Let X, Y be Banach spaces, both continuously embedded in a topological vector space V . Let also θ ∈ [0; 1] and p ∈ [1; ∞]. For an u ∈ X ∩ Y , let J(t, u) := max (tkukX , kukY ) then x ∈ [X, Y ]θ;p if and only if there exists a measurable function u ∈ L∗1 (X + Y ) s.t. Z ∞ dt x= u(t) (4.7) t 0 and s.t. Z Φ(u) =
t−θ (J(t, u(t)))p
dt t
1/p 0 it is true that 1
1
D(|M | 2 +ε ) ⊂ [D(M ); H]1/2,1 ⊂ D(|M | 2 −ε ) where D(M ) denotes the domain of operator equipped with the graph norm, i.e. kxkM := kxkH + kM xkH . 1
sometimes denoted by
dt t
37
4 Operator Relations
4.4 Eigenfunction expansion Using the result of proposition 4.2.9 i.e. that Bf (A) − f (A)B = h(A)f 0 (A) we can again find an estimate kχE (A)vk2H ≤ kvk2+ µ(E) for all v ∈ X +
(4.8)
This time however X + is the interpolation space [D(B); H]1/2,1 and µ is a spectral measure which is absolutely continuous w.r.t. to the Lebesgue measure (outside points where h is zero). This actually implies that all spectral measures of A are absolutely continuous w.r.t. to the spectral measure (upto the zeros of h). We will do this in two steps: The first is the analytic part, and the second is the maybe less pleasent - measure theoretic part. In the following we will denote the norm of the interpolation space [D(B) ∩ D(B ∗ ); H]1/2,1 by k · k[B∩B ∗ ;H] (provided that D(B) ∩ D(B∗) is dense in H). Proposition 4.4.1 Let A be a non-negative self adjoint operator, B a closed operator on a Hilbert space H s.t. D(B) ∩ D(B∗) is dense in H. Assuming A, B, h are fulfilling the conditions of proposition (4.2.9). Let [a, b] ⊂ R+ be a finite non-empty interval, then for all x ∈ [D(B) ∩ D(B ∗ ); H]1/2,1 it is true that hhfa,b (A)x, xi ≤ 2(b − a)kxk2[B∩B ∗ ,H] where fa,b (λ) =
1 1 2
0
if λ ∈ (a, b), if λ = a or λ = b otherwise
Proof. Let x ∈ D(B) ∩ D(B ∗ ) and let fn (λ) =
1 n(λ−a) n(λ−b) log(1 + e ) − log(1 + e ) n
then fn , fn0 ∈ H ∞ (Σωn ) (where ωn → 0) , the supremum of fn on R is (b − a), hfn0 is bounded on R and converging pointwise to hfa,b . Hence, hhfa,b (A)x, xi = = =
lim hhfn0 (A)x, xi
n→∞
lim hBfn (A)x − fn (A)Bx, xi
n→∞
lim hfn (A)x, B ∗ xi − hBx, fn (A)xi
n→∞
≤ 2(b − a) max(kxkB , kxkB ∗ )kxkH .
38
4.4 Eigenfunction expansion For an x ∈ [D(B) ∩ D(B ∗ ); H]1/2,1 and an ε > 0 there is a u(t) ∈ L∗1 (H) s.t. Z x=
u(t)
dt t
with Φ(u) ≤ kxk[B∩B ∗ ;H] + ε (cf. 4.3.3) which implies Z
kfa,b (A)xkH
dt kfa,b (A)u(t)kH t Z ∞ 1/2 1/2 dt ku(t)kB∩B ∗ ku(t)kH ≤ (2(b − a))1/2 t Z0 ∞ dt t−1/2 J(t; u(t)) ≤ (2(b − a))1/2 t 0 ≤
≤ (2(b − a))1/2 Φ(u) ≤ (2(b − a))1/2 (kxk[B∩B ∗ ,H] + ε) where we used that 1
1
2 2 ku(t)kB∩B ∗ ku(t)kH ≤ max(t
−1 2
1
ku(t)kB∩B ∗ , t 2 ku(t)kH ) = t−
−1 2
J(t; u(t)).
Proposition 4.4.2 Under the conditons of the previous proposition and that h is non-zero on (a, b) it is also true that kχ(a,b) (A)xk2H
Z ≤
b
|h
−1
a
(λ)| 2 + |h (λ)| dλ kxk2[B∩B ∗ ,H] 0
Proof. For a partitioning of the interval [a, b] i.e. a = a1 < a2 < · · · < an = b we have (using the previous proposition): kχ(a,b) (A)xk2 = hχ(a,b) (A)x, xi ≤ hfa,b (A)x, xi2 n X
fak ,ak+1 (A)x, x = k=1
=
n−1 X
h−1 (ak )
hfak ,ak+1 (A)x, x
k=1
X + fak ,ak +1 − h−1 (ak )hfak ,ak+1 (A)x, x k
≤
X
+
X
2h−1 (ak ) (ak+1 − ak ) kxk2[B∩B ∗ ;H]
k
k
kxk2H
sup
1 − h−1 (ak )h(λ) fa ,a (λ) . k k+1
λ∈[ak ;ak +1]
39
4 Operator Relations If we let supk |ak+1 − ak | → 0 then the first sum will converging to the integral of h−1 between a and b (since h−1 is Riemann integrable). Similarly, the limit of the second sum can be estimated by Z b 2 |h−1 (λ)||h0 (λ)|dλ. kxkH a
Proposition 4.4.3 Under the conditons of the previous proposition for all Borel sets E ⊂ σ(A) it is true that kχE (A)xk2H ≤ µ(E)kxk2[B∩B ∗ ,H]
(4.9)
provided that µ is the σ-finite measure defined by Z µ(E) := |E ∩ Nh | + |h−1 (λ)| 2 + |h0 (λ)| dλ E\Nh
where Nh denotes the set of zeros of h on σ(A). Proof. We will use the abbreviation g(λ) = |h−1 (λ)| (2 + |h0 (λ)|). Let E ⊂ σ(A). If µ(E) is infinite, the proposition is valid anyway. In the case that it is finite, we can split E into disjoint components i.e. [ E = E∞ ∪ Ek k∈N
s.t. E∞ ⊂ Nh and Ek ⊂ Nk where Nk := σ(A) ∩ g −1 ([k, k + 1)). Let ε > 0, since the Lebesgue measure vol1 on R is outer regular, we will find for all k ∈ Z an ε open set Uk containing Nk with vol1 (Uk ) ≤ vol1 (Ek ) + |k+1|2 k . Without loss of generality we are assuming that Uk ⊂ g −1 (k − 1, k + 1) (the intersection with the latter set is still open and still contains Ek ). Then we have ε µ(Uk ) ≤ µ(Ek ) + k 2 S Any of the Uk can be written as a disjoint union of open intervals Uk := (ai , bi ) with U ⊂ R\Nh . For each interval we have the estimate from the last proposition, thus ε kχEk (A)xk2H ≤ kχUk (A)xk2H ≤ µ(Uk )kxk2[B∩B ∗ ;H] ≤ µ(Ek ) + k kxk2[B∩B ∗ ;H] 2 and we also have if µ(E∞ ) 6= 0 kχE∞ (A)xk2H ≤ kxk2H ≤ µ(E∞ )kxk2[B∩B ∗ ;H] hence kχE (A)xk2 ≤ kxk2[B∩B∗;H] (µ(E) + ε) 2
Follows from hfa,b (A)x, xi = hχ(a,b) (A)x, xi + 21 hχ{a,b} (A)x, xi where the latter term is a nonnegative value.
40
4.5 Semigroups Thus we found a σ-finite measure s.t. the estimate (4.9) and using theorem 2.7.4 we have: Theorem 4.4.4 Let X + ⊂ H ⊂ X − be rigged Hilbert space, A a non-negative self-adjoint operator on H, B a closed operator on H, h an analytic function on Σω for some ω > 0. If for all µ ∈ C \ Σω the domain D(B) is R(µ, A) - invariant and BR(µ, A)x − R(µ, A)Bx = h(A)R(µ, A)2 x for all x ∈ D(B).
(4.10)
and if X + is embedded in the interpolation space [D(B) ∩ D(B ∗ ); H]1/2,1 , there is an eigenfunction expansion (cf. definition 2.7.1) for A w.r.t. to the rigging X + ⊂ H ⊂ X −.
4.5 Semigroups It is not so easy to find operators B with the necessary relations above, however if B is the generator of a semigroup for which 4.11 below holds then all the necessary conditions follow, i.e. let A be a non-negative self-adjoint operator on a Hilbert space H and let Tt be a normal C0 -semigroup on H s.t. D(A) is Tt -invariant with Tt Ax = et ATt x for all x ∈ D(A).
(4.11)
then we have that Tt R(µ, A)x = R(µ, A)Tt x + (1 − et )AR(µ, A)Tt R(µ, A)x for all x ∈ H and µ ∈ C \ R+ 0 . The generator T of the semi-group is also normal (cf. [HP57, p. 595, 22.4.2]) and we can derive for an x ∈ D(T ) that 1 (Tt R(µ, A)x − R(µ, A)x) = t 1 (1 − et )AR(µ, A)Tt R(µ, A)x + R(µ, A)Tt x − R(µ, A)x t which implies R(µ, A)D(T ) ⊂ D(T ) and T R(µ, A) = R(µ, A)T + AR(µ, A)2 which can be rewritten to T R(−1, A)R(µ, A)x = R(µ, A)T R(−1, A)x + AR(µ, A)2 R(−1, A) i.e. for the closure B of T R(−1, A) we have BR(µ, A)x − R(µ, A)Bx = h(A)R(µ, A)2 x where h(λ) = λ(1 + λ)−1 for all x ∈ D(T ). Since B is closed this extends to all x ∈ D(B). The adjoint B ∗ restricted to D(T ) = D(T ∗ ) is R(−1, A)T ∗ , and we can show that the identity is a
41
4 Operator Relations continuous embedding from the Banach space (D(B); k · kB ) to the Banach space (D(B ∗ ); k · kB ∗ ), i.e. there is a constant C > 0 s.t. kB ∗ xkH = kR(−1, A)T ∗ xkH
= kT ∗ R(−1, A)x + AR(−1, A)2 xkH = kT R(−1, A)xkH + kAR(−1, A)2 xkH ≤ CkxkB
for all x ∈ D(T ) which is dense in D(B). Hence Proposition 4.5.1 Let X + ⊂ H ⊂ X − be a rigged Hilbert space, A be a nonnegative self-adjoint operator on H, Tt a C0 -semigroup with Tt D(A) ⊂ D(A) s.t. Tt Ax = et Tt Ax for all x ∈ D(A). and let B be the closure of the operator defined by B = R(−1, A)T where T is the generator of the semi-group Tt . If X + is a subset of the interpolation space [D(B); H]1/2,1 , then A admits an eigenfunction expansion w.r.t. to the rigging X + ⊂ H ⊂ X − . Proof. We saw that the operators B, A and the function h are fulfilling the conditions of theorem 4.4.4. Since we have D(B) ⊂ D(B ∗ ) we also have X + ⊂ [D(B) ∩ D(B ∗ ); H]1/2,1 .
4.6 Expansion for Homogeneous Elliptic Selfadjoint Differential Operators Let A be a homegeneous (of degree m > 0) differential operator on L2 (Rn ) i.e. X Ax = aα Dα x |α|=m
where for an α ∈ Nn the operator Dα is the combination of the α(k)-th partial derivatives along the coordinated axis k i.e. d α(n) d α(1) α (D x) (u) = ··· du1 dun If the symbol a of A defined by a(u) =
X
aα (iu)α for u ∈ Rn
|α|=m
is real valued then A is self-adjoint, and if there is also a c > 0 s.t. a(u) ≥ c|u|m then A is elliptic. Proposition 4.6.1 [Haa06][p. 229] Let A be a homogeneous differential operator of degree m on Rn and let Tt be the C 0 -semi group defined by (Tt x)u = x(et/m u).
42
4.6 Expansion for Homogeneous Elliptic Selfadjoint Differential Operators We have that Tt∗ = e−nt/m T−t (i.e. Tt is normal) and ATt = et Tt A. The generator of the semi-group is the operator T defined by Tx =
n X
uk
k=1
Proof. For the partial differential operator
d x duk
d duk
it is true that
d d Tt x = et/m Tt x duk duk Using induction we can derive that Dα Tt = et|α|/m Tt Dα thus ATt x = et Tt Ax for all x ∈ D(A)
According to the last section we have an eigenfunction expansion for a rigging X + ⊂ H ⊂ X − with X + ⊂ [D(B); H]1/2,1 , where B is the closure of R(−1, A)C. It is possible to verify that the weighted square integrable functions(i.e. L2,1 ) are in D(B). Therefore, let us recall that x ∈ L2,1 if kxk2,1 = k 1 + |u|2 x(u)k2 < ∞. Proposition 4.6.2 Let A be a homogeneous self-adjoint elliptic differential operator on L2 (Rn ) then for B = T (I + A)−1 , there is a C > 0 s.t. for all Schwarz function x with kxk2,1 < 1 it is true that kBxk2 < C. Proof. The function y = (I + A)−1 x is a Schwarz function. Using the Fourier transform we have ui
\ d d y(u) = − ui yb(u) dui dui d ui = − x ˆ(u) dui 1 + a(u) d = g(u)ˆ x(u) + h(u) x ˆ(u) dui
where g(u) := h(u) :=
ui dud i a(u) 1 − 1 + a(u) (1 + a(u))2 ui 1 + a(u)
That h(u) is bounded is clear using a(u) ≥ c|u|m similarly the first term of g(u) for the second term we have to verify. Its nominator is X X d ui |aα α(i)uα | ≤ |aα | α(i)|u|m dui a(u) ≤ |α|=m
|α|=m
43
4 Operator Relations which is smaller than a constant times (1 + a(u))2 . Hence there is a C > 0 s.t. 2 !1/2 d ui y(u) du kT (I + A)−1 xk = kT yk = dui Rn 2 !1/2 Z d g(u)ˆ = x(u) + h(u) x ˆ(u) du dui Rn 2 !1/2 Z 1/2 Z d du x ˆ (u) ≤ C |ˆ x(u)|2 du +C Rn Rn dui Z
≤ kxk2 + kxk2,1
And since L2,1 ⊂ D(B) implies for s > 1/2 that L2,s ⊂ [D(B); H]1/2,1 , we have Theorem 4.6.3 There is an eigenfunction expansion (cf. 2.7.1) for a homogeneous selfadjoint elliptic diffential operator on L2 (Rn ) w.r.t. the rigging L2,s (Rn ) ⊂ L2 (Rn ) ⊂ L2,s (Rn ) for all s > 1/2.
4.7 Conclusions Using operator relations to derive eigenfunction expansions seems to be a new approach. At least in the case of the Laplacian on L2 , it leads to a result which is approximately close to the optimal result. As we have seen this is not possible with Hilbert-Schmidt-Riggings. However the boundary case should be investigated further. As well as the possibility to derive a Plancharel formula. We were also able to identify a condition namely the existence of a dense reflexive Banach space X + s.t. there is a measure µ with kχE (x)k2 ≤ µ(E)kxk2+ . While beeing more general, it subsumes the various results found through Hilbert-SchmidtRiggings. We restricted our investigation to self-adjoint operator, but it is worth inverstigating whether a similar approach can be applied to normal operators (see also [HPY07]). It is also worth investigating, whether an inequality of the form kBA − ABxk ≥ Ckh(A)xk leads to similar results. Moreover the operator relation itself makes also sense in the Banach space setting, which might lead to an eigenfunction expansion in this case. In the following we have compiled a short list of eigenfunction expansion methods with some examples:
44
4.7 Conclusions Operator (class) Any self-adjoint operator
Rigging and Method H s,r (Rn ) ⊂ L2 (Rn ) ⊂ H −s,−r (Rn ) with s, r > n2 , unconditional Hilbert-Schmidt-Rigging (cf. section 3.2)
∆ + V where V is a locally bounded potential
L2,s (Rn ) ⊂ L2 (Rn ) ⊂ L2,−s (Rn ) with s > n2 and n ≤ 3, conditional Hilbert-Schmidt-Rigging (cf. [PSW89, p. 407])
Homogeneous elliptic s.a. differential operator
L2,s (Rn ) ⊂ L2 (Rn ) ⊂ L2,−s (Rn ) with s > 21 , Operator Relations (cf. section 4.6)
Laplace Operator
L2,1/2 (Rn ) ⊂ L2 (Rn ) ⊂ L2,−1/2 (Rn ), Harmonic Analyis (cf. [Str89])
45
5 Appendix 5.1 Acknowledgements Thanks are going to my friends for their support and patience. Also to Professor Schnaubelt and Dr. Kunstmann for several suggestions. And of course to Professor Weis, who was a remarkable advisor. Usually he was bubbling all over with ideas, yet beeing open for new ones. He definitively has his way of continuously encouraging people.
5.2 Notation Symbol N Z R C sgn λ B(X, Y ) Lp (Ω; µ) Lp (Ω; µ; X) Lp,s (Ω; µ) Hs H s,r X0 X× A0 σ(A) ρ(A) ω(A) ω∞ (A)
Description The set of non-negative integers. The set of integers. The set of real numbers. The set of complex numbers. Sign of a real variable. Conjugate of λ The space of bounded linear maps between the normed linear spaces X and Y . The space of p-integrable complex valued measurable functions. The spaces of Bochner integrable functions. Weighted version of the above, i.e. f ∈ Lp,s ⇔ ws f ∈ Lp Sobolev spaces with p = 2, i.e. Hs = W 2,s Weighted version of the above i.e. f ∈ H s,r ⇔ (wr f ) ∈ H s The dual of the Banach space X The space of antilinear functionals on X The adjoint of a closed operator A on X Denotes the spectrum of a closed operator A. Denotes the resolvent set of a closed operator A. Smallest sectoriality angle of the operator A Smallest angle s.t. the sectorial operator A has a bounded functional calculus
See also
[Wer05, p. 46] [Wer05, p. 18] [HP57, p. 78]
[HP57, p. 78] [HP57, p. 78] [Wer05, p. 58]
[Wer05, p. 352] [Wer05, p. 352]
47
5 Appendix Symbol D(A) R(A) R(λ, A) Σω H ∞ (Σω ) ∞ (Σ ) HA ω
C(Ω) C(Ω; X) I χE χE (A) [X, Y ]θ,p f (k) voln d dui
48
Description Denotes the domain of a closed operator A. Denotes the range of a closed operator A. Resolvent of A (i.e. (λI − A)−1 ) Sector on the complex plane with angle ω Set of bounded analytic functions on the sector Set of analytic functions in the functional calculus of the operator A Set of continuous complex valued functions on Ω. Set of continuous X-valued functions on Ω, where X is a Banach space. The identity operator Denotes the indicator function of E i.e. χE (x) is 1 if x ∈ E and 0 otherwise. Spectral projection Interpolation spaces The k-th derivative of f The standard Lebesgue measure on Rn Derivative with resp. to the variable ui
See also [Wer05, p. 341] [Wer05, p. 257] [KP04, p. 69] [KP04, p. 78] [KP04, p. 201]
[Wer05, p. 514] [Wer05, p. 490] [Wer05, p. 330] [BL76], [AF07] [Wer05, p. 493]
5.3 Conventions
5.3 Conventions Symbol p, q A, B, T, M X, X + , X − i (·, ·) H G h·, ·i x, y v, w k · kH , k · kX k · k+ k · k− k · k2 k · k2 , r λ, µ f, g, h µ, ν E ω Ω n, m, k, i, j ΦA F ek (λ) u α
Description Real value in [1, ∞] (Closed) Operators on Banach spaces Banach space Injection map between Banach spaces (e.g. X → X − ) Inner product of the Banach space with its dual Hilbert space Subspace of a Hilbert space Inner product of a Hilbert space Elements of a Banach space X or Hilbert Space H Elements of a Banach spaces X + or X − Norm of the space H resp. X Norm of the Banach space X + Norm of the Banach space X − Norm of a the space of square integrable functions i.e. L2 (Ω; µ) Norm of the weighted space of square integrable functione i.e. L2,r (Ω; µ) Element of the spectrum of an Operator Element of the functional calculus of an Operator, resp. a mesurable function on the spectrum of the operator Measure on a σ-Algebra (usually the Borel σ-algebra of a spectrum) Element of a σ-Algebra Angle of a sector or elemente of Ω Abstract domain, (usually equipped with a σ−-algebra natural number Functional calculus Eigenfunction expansion Generalized eigenvector for the eigenvalue λ Vector in Rn Multi index
49
Bibliography [AF07]
Robert A. Adams and John J. F. Fournier. Sobolev spaces. Academic Press, 2. ed., repr. edition, 2007.
[BL76]
Joeran Bergh and J¨ orgen L¨ofstr¨om. Interpolation spaces. Springer, 1976.
[BSU96]
Jurij M. Berezanskij, Zinovij G. Seftel, and Georgij F. Us. Functional analysis. Birkh¨ auser, 1996.
[de 05]
R. de la Madrid. The role of the rigged hilbert space in quantum mechanics. Eur. J. Phys., 26:287, 2005.
[Haa06]
Markus Haase. The functional calculus for sectorial operators. Birkh¨ auser, 2006.
[Hei97]
Christoph Heil. A basis theory primer, 1997.
[HP57]
Einar Hille and Ralph S. Phillips. Functional analysis and semi-groups. American Math. Soc., rev. ed. edition, 1957.
[HPY07]
Tuomas Hytonen, Juha-Pekka Pellonpaa, and Kari Ylinen. Positive sesquilinear form measures and generalized eigenvalue expansions, 2007.
[Ian04]
Mimmo [Hrsg.] Iannelli. Functional analytic methods for evolution equations. Springer, 2004.
[J¨an05]
Klaus J¨ anich. Vektoranalysis. Springer, 5. aufl. edition, 2005.
[KP04]
Weiss L. Kunstmann P. Functional analytic methods for evolution equations, chapter Maximal Lp -regularity for Parabolic Equations, Fourier Multiplier Theorems and H ∞ -functional Calculus. Lecture Notes in Mathematics. Springer, 2004.
[Mau67]
Krzysztof Maurin. Methods of Hilbert Spaces. Polish Scientific Publishers, Warsaw, 1967.
[Mau68]
Krzysztof Maurin. Generalized Eigenfunction Expansions and Unitary Representations of Topological Groups. Polish Scientific Publishers, Warsaw, 1968.
51
Bibliography [pAL97]
J. p. Antoine and Universit’e Catholique De Louvain. Quantum mechanics beyond hilbert space, 1997.
[PCK03]
L. Weis P. C. Kunstmann. Functional calculus and differential operators, 2003.
[Phi43]
R. S. Phillips. On weakly compact subsets of a banach space. Amer. J. Math., 65:108–136, 1943.
[PSW89]
Th. Poerschke, G. Stolz, and J. Weidmann. Expansions in generalized eigenfunctions of selfadjoint operators. Math. Z., 202:397–408, 1989.
[Ste94]
Hans Stephani. Differentialgleichungen. Spektrum, Akad. Verl., 1994.
[Ste95]
Elias M. Stein. Harmonic analysis. Princeton Univ. Pr., 2. print., with corr. and additions edition, 1995.
[Str89]
Robert S. Strichartz. Harmonic analysis as spectral theory of laplacians. J. Funct. Anal., 87(1):51–148, 1989.
[Tri95]
H. Triebel. Interpolation Theory, Function Spaces, Differential Operators. Barth, 2., rev. and enl. ed. edition, 1995.
[vEdG85a] S. J. L. van Eijndhoven and J. de Graaf. A fundamental approach to the generalized eigenvalue problem for self-adjoint operators. Journal of Functional Analysis, 63(1):74–85, 1985. [vEdG85b] S. J. L. van Eijndhoven and J. de Graaf. A measure theoretical sobolev lemma. Journal of Functional Analysis, 60(1):95–101, 1985. [Wer05]
52
Dirk Werner. Funktionalanalysis. Springer, 5., erw. aufl. edition, 2005.