Biomedical Engineering Reference
In-Depth Information
one. We next prove property (ii). If R .I U/ ¤ X, there exists b 2 X such that
the equation
.I U/xD b
(3.60)
does not have a solution. Therefore, since the existence of a T -periodic solution is
equivalent to the resolution of ( 3.55 ), the first stated property in part (ii) follows
provided we show that for any b 2 X there is f 2 L 1 .0;T I X/such that
Z T
b D
U.T s/f.s/ds:
(3.61)
0
Once such an f is found, we may extend it periodically of period T to the whole real
line. 13 For >0we set U.t/ WD e t U.t/, and observe that since k U.T/k <1,
I U.T/is continuously invertible. Equation ( 3.61 ) becomes
Z T
U.T s/ w .s/ds;
b D
0
where w .s/ WD e .T s/ f.s/. Replacing w .s/ by w .T s/ and keeping the same
notation, the question then reduces to show that the bounded linear operator
M W L 1 .0;T I X/ ! X
defined by
Z T
U.s/ w .s/ds
M w WD
0
is surjective. It is clear that R .M/ is dense in X. To see this we observe that w .t/ D
. U.T/I/ 1 .A/b satisfies M w D b, which in turn implies D .A/ R .M/, and,
therefore, the density property. We shall next prove that the range of M is closed. To
this end, by the Banach closed range theorem, this is equivalent to show that R .M /
is closed, where M is the conjugate of M. From the identity
Z T
0 h U.s/ w .s/;x ids D
Z T
0 h w .s/; U .s/x ids
hM w ;x iD
it follows that M W X ! L 1 .0;T I X/ L 1 .0;T I X / is given by M x .s/ D
U .s/x , s 2 Œ0;T. This implies
kx k
0 s T k U .s/x k DkM x k L 1 .0;T I X / :
sup
13 The argument that follows is due to Professor Jan Prüss, to whom we are indebted.
 
Search WWH ::




Custom Search