THE DIFFERENTIAL ON SPECTRUM OF WEAKLY ALMOST PERIODIC SOLUTIONS

advertisement
109
Internat. J. Math. & Math. Sci.
(1985) I09-I12
Vol. 8 No.
ON THE SPECTRUM OF WEAKLY ALMOST PERIODIC SOLUTIONS
OF CERTAIN ABSTRACT DIFFERENTIAL EQUATIONS
ARIBINDI SATYANARAYAN RAO
Department of Mathematics
Si r Ceorge Wi
ams Campus
Concordia University
Montreal, Quebec, Canada
and
L.S. DUBE
Department of Mathematics
Vanier College
821 Ste-Mis Croix Blvd.
St.-Laurent
Quebec, H4L 3x9, Canada
(Received October 15, 1984)
ABSTRACT. In a sequentially weakly complete Banach space, if the dual
operator of a linear operator A satisfies certain conditions, then the
spectrum of any weakly almost periodic solution of the differential equation
Au + f is identical with the spectrum of f except at the origin,
u’
where f is a weakly almost periodic function.
KEY WORDS AND PHRASES. Strongly (weakly) almost periodic function, sequentially weakly complete Banaoh space, densely defined linear operator, dual
operator, Hi lbert space, nonnegative self-adjoint operator.
1980 MATHEMATICS SUBJECT CLASSFICATION CODE. 34C’5, 34GOt; 43A60
INTRODUCTION.
Suppose Z is a Banach space and X* is the dual space of X. Let J be the
J
A continuous function f
X is said to be strongly
t
interval
> O,
almost periodic if, given
there is a positive real number ;() such
that any interval of the real line of length
contains at least one point T for
1.
which
supllf(t+T)-f(t)II
tJ
.
(1.1)
J
We say that a function
f
X is weakly almost periodic if the scalarvalued function <x*, f(t)> x*f(t) is almost periodic for each x* X*.
It is known that, if X is sequentially weakly complete,
almost periodic, and
is a real number, then the weak limit
f
J
X is weakly
A. S. RAO AND L. S. DUBE
II0
m(e-i}’tf(t))
T+
(1.2)
0
X
and is different from the null element c) of X for at most a countcalled the spectrum of f(t) (see Theorem 6, p. 43, Amerio-Prouse
We denote by o(f(t)) the spectrum of f(t).
exists in
able set
[I]).
e-itf(t)dt
w-lim
{n}=l
RESULTS
Our first result is as follows (see Theorem 9, p. 79, Amerio-Prouse [I] for the
spectrum of an
periodic function).
2.
sl-almost
THEOREM 1. Suppese X is a sequentially weakly complete Banach space, A is a
densely defined linear operator with domain D(A) and range R(A) in X, and the
dual operator A* is densely defined in X*, with R(i
A*) being dense in X*
for all real
O. Further, suppose f
J
X is a weakly almost periodic (or an
periodic continuous) function. If a differentiable function u" J
D(A)
is a weakly almost periodic solution of the oifferential equation
sl-almost
u’(t)
u’
on J, with
Au(t)
+
f(t)
(1.3)
being weakly continuous on
J, then o(u(t))
\ {0}
o(f(t))
\ {0}.
PROOF OF THEOREM I. First we note that u is bounded on J, since u is weakly
Hence, for x* X*, we have
almost periodic.
T
}’tu(t)dt}
e
iXx*m(e-itu(t))
T
as
D(A*), it follows from (1.3) that
So, for x*
e-Xtx*Au(t)dt
lim
T
(2.1)
e-it(A*x*)u(t)dt
lim
T+
0
0
lim (A’x*)
T
T0
f
e- itu (t)dt
]
.x*m-u>
ixx*m(e-iXtu(t)) x*m(e-iXtf(t)).
(2.2)
Consequently, we have
x*m(e-itf(t))
Now suppose that
exists x
e
,
a(f(t))
\ {0}.
(ix
A*x*)m(e-itu(t)).
Then, since
D(A*)
(2.3)
is dense in X*, there
D(A*) such that
0
.
xlm(e
-t
f(t))
(-x
. A. xl)m(e
.
-t
u(t)).
(2.4)
III
WEAKLY PERIODIC SOLUTIONS OF DIFFERENTIAL EQUATIONS
(e-iXtu(t))
Therefore m
m
and so
x
o(u(t))
\ {0}.
0
o(u(t))
\ {0}.
Thus we have
o(f(t))
\ {0}
Now ssume that x o(u(t) \ {0}.
exists x e D(A*) such that
2
0
,
Then, since
R(iX-A*)
-ixt
A
(-iXx 2
m(e-itf(t))
Therefore
(2.5)
x2)m(e
and so
0
X*, there
-ixt
x2m(e
u(t))
o
is dense in
(f(t))
f(t)).
(2.6)
\ {0}.
ConseQuently, we have
(u(t))\ {0}
o
o
(f(t))
(2.7)
\ {0}.
It follows from (2.5) and (2.7) that o(u(t)) \ {0}
pletes the proof of the theorem.
c
(f(t))
\ {0}, which com-
REMARK I. The conclusion of Theorem
remains valid if D(A*) is total and
O, instead of dense in X*.
R(i A*) is total for all real
We indicate the proof of the following result.
THEOREM 2. In a sequentially weakly complete Banach space X, suppose A is a
densely defined linear operator, the dual operator A* is densely defined in X*,
with R( 2 + A*) being dense in X* for all real x
J X is a weakly
O, and f
I
almost periodic (or an S -almost periodic continuous) function. If a twice differenJ
tiable function u
D(A) is a weakly almost periodic solution of the differential equation
u"(t) Au(t) + f(t)
u" being weakly continuous and u’
o(u(t)) \ {0} o(f(t)) \ {0}.
on J, with
For x*
PROOF.
I_
T
e-itx*u"(t)dt
(3.1)
bounded on
J,
then
D(A*), we have
x*
[e
x*
{ [e
T
o
O
-2x*m(e-iXtu(t))
as T
u’(t)]
.
+, ix
fe-i Xtu ’(tldt}
oT +- [e
u(t)]oT O
u(t)dt}
(3.2)
Hence it follows from (3.1) that
e-itx*Au(t)dt
lim
T+
(}
Thus we have
x*m(e -itf(t)
(A*x*)m(e -itu(t)
-
2
x*m(e- iLt u (t)
x*m(e- i tf(t)).
(2x* + A*x*)m(e-iXtu(t)).
Now the rest of the proof parallels that of Theorem I.
(3.3)
A. S. RAO AND L. S. DUBE
112
REMARK 2.
R( 2 + A*)
The conclusion of Theorem 2 also remains valid if
is total for all real
O, instead of dense in X*.
D(A*)
is total and
REEARK 3. If X is a Hilbert space and A is a nonnegative self-adjoint
operator, then the hypotheses on A in Theorem 2 are verified (see Corollary 2, p. 208,
Yosida [2]) and so Theorem 2 is a generalization of a result of Zaidman [3].
NOTE.
As a consequence of our Theorem 1, we have the following result:
THEOREM 3. In a Hilbert space H, suppose A is a self-adjoint operator and
J H is a weakly almost periodic (or an
f
periodic continuous) function.
a
J
If a differentiable function u
D(A) is weakly almost periodic solution of
the differential equation
u’(t) Au(t) + f(t)
sl-almost
on J,
u’ being weakly continuous on J, then
(u(t)) \ {0} o(f(t)) \ {0}.
with
PROOF.
By Example 4, p. 210, Yosida [2], R(i
A)
H for all real
,
O.
ACKNOWLEDGEMENT. This work was supported by the National Research Council of Canada
Grant Nos. 4056 and A-9085.
1.
REFERENCES
AMERIO, L. and PROUSE, G. Almost Periodic Functions and Functional Equations,
Van Nostrand Reinhold Company (1971).
2.
YOSIDA, K.
3.
ZAIDMAN, S. Spectrum of Almost Periodic Solutions for some abstract Differential
Equations, Math. Anal. Appl., 28 (1969), pp. 336-338
Functional Analysis, Springer-Verlag New York Inc. (1971).
Download