This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
0 and -a(ema + 1) a0 > —^-y-r '-.
, (2.125)
This inequality, together with (2.124), proves hypothesis (i). For a
ma a(ema ++1) 1)
'
(2.126)
2.4. EQUATIONS OF ALTERNATING TYPES
131
but in this case, a(ema + 1) -a < — ,
(2-127)
°>^rrp
and Ai/A_i < 1 is equivalent to QQ > —a. In this case, we retain (2.127). On the other hand, Ai/A_i > —1 gives % ( a ) < - ( e ™ + l), a and (2.126) follows from here for a > a. However, (2.126) and (2.127) are inconsistent. For a < a, we get (2.125), which together with (2.124) proves hypothesis (ii), since a eka
Condition (iii) is obvious.
_
1
<
a(ema +1)
■
Theorem 2.46. The problem x'(t) = a(t)x(t) + a0(t)x (m
\t + k
1) ,
x(0) = Co (2.128)
has a unique solution on [0, oo) if a(t) and ao(t) are continuous for t > 0, and fmn
U-\t)a0(t)dt^U-\mn),
n = l,2,...,
where U~l is the reciprocal of U and
U(t) = exp(j\(s)dsy PROOF. For the solution xn(t) of Eq. (2.128) on the interval I n = [mn — k, m(n + 1) — k)
132
2. OSCILLATORY AND PERIODIC SOLUTIONS
satisfying the condition xn(mn) = c mn , we obtain xn(t) = X(t,mn)cmn,
(2.129)
where X(t, 0) = v(t, 9) + fg v(t, s)a0(s) ds and
v(t,s) = U(t)U-\s). At t = mn — k and t = m{n + 1) - k, relation (2.129) gives Cmn-k = A(mn - k, mn)cmn and cm(n+i)-k = A(m(n + 1) -
k,mn)cmn.
Hence, cmn = A _1 (mn - k, mn)cmn-k
(2.130)
and cm(n+i)_jt = A(m(n + 1) - k,mn)\~l(mn
- k,
mn)cmn-k-(2.131)
From (2.131), the values cmn-k can be determined uniquely in terms of cm-k, where cm-k - A ( m - k,0)co. The proof is concluded by substituting cmn from (2.130) into (2.129), where cm„ is given by " X(mi - k,m(i - 1)) Cm
C
"- °n
X(mi-k,mi)
■
B
(2132)
In this section we shall discuss the oscillatory and periodic properties of solutions of the linear equation x'(t) = a(t)x(t) + a0{t)x (m -^-
) ,
where a(t) and ao(t) are continuous on [0, oo).
x(0) = CQ, (2.133)
2.4. EQUATIONS OF ALTERNATING TYPES
133
T h e o r e m 2.47. / / either of the conditions firm
Jwo^supl ^
m f
/ rmn
a0(t)expU
rm(n+l)—k
/
V
a(s)ds) dt > 1,
, ,
/ rmn
«o(0 exp (jj
m n
.
(2.134)
\
v
o(s) dsj
(2.135)
holds true, then every solution of Eq. (2.133) is oscillatory. PROOF. If Eq. (2.133) has no oscillatory solution, then x{t) > 0 (or x(t) < 0) for sufficiently large t. Let us assume that x(t) > 0 for t > mn — k, where n is a large integer. Then we have dt
(x(t) exp If™
a(s)dsj) = ao(t)x m
j exp I I
a(s)ds).
(2.136)
Taking the integral from mn — k to mn we get /
/ rmn—k
x(mn)lexpl/
\
rmn-k
a(s)ds]+J
I rmn—k
a 0 (f)expl/
\
\
a(s)ds\dt\ = x{mn — k).
Since x(mn) and x(mn — k) > 0, then rmn
/
( rmn
ao{t) exp I /
Jmn—k
or
\
a(s) ds)dt < 1,
\Jt rmn
lim sup /
/ / rmn
ao(t)exp ( /
\
a(s)ds) dt < 1,
which contradicts (2.134). Now taking the integral from mn to m(n + 1) — k of (2.136) we get, after some simplifications and using the fact that x(mn) > 0 and that x(m(n + l) - k) > 0, /
ao(2)exp(/
a(s)ds) dt > — 1,
or lim n—>+oo
rm(n+l)-k
mfJ r ( n + 1 ) Jmn
f rmn
\
a0(t) ex P (I"" a( s ) ds) dt > - 1 , aomexpl/ a{s)ds) dt > — 1,
134
2. OSCILLATORY AND PERIODIC SOLUTIONS
which contradicts (2.135). Proof is the same in case x(t) < 0 for large t. Thus, Eq. (2.133) has oscillatory solutions only. ■ When a(t) and ao(t) are constants, i.e., x'(t) = ax(t) + a0x (m - ^ - J ,
a0 ^ 0,
(2.133')
then the conditions (2.134) and (2.135) reduce to a0 > -
^
(2.134')
and «o < "
, % ea{m-k)
B m ne < -*>.
_ l
(2.135') V
/
The following theorem shows that (2.134') and (2.135') are "best pos sible" (sharp) conditions. Theorem 2.48. / /
- ^^-^{m-k)
< «o < ^rzi
( 2 - 137 )
then Eq. (2.133') has no oscillatory solution. P R O O F . Condition (2.137) implies that Ai/A_i > 0. So from (2.119) we deduce that the solution x(t) of (2.133') is always of one sign. ■
In view of Theorems 2.47 and 2.48 we conclude that: COROLLARY 2.10. Eq. (2.133') has no oscillatory solution if and only if condition (2.137) is satisfied. We note that A_i = 0 if a0 = a/(eak - 1) and Xx = 0 if n a
—
o=
a
-a(m-k)
7—n—re ea(m-k)
•
_ I
LEMMA 2.6. The solution x(t) of (2.133') is periodic of period p if and only if cp = CQ, where p is a positive integer. Proof follows from the uniqueness of solution and the autonomous type of Eq. (2.133').
2.4. EQUATIONS OF ALTERNATING TYPES
135
Theorem 2.49. Any solution of Eq. (2.133') is periodic of period 2m if and only if a =
° -^)(1
+ e<,m
)'
< 2 - 138 )
provided a is not a solution of (2.123). PROOF. If Eq. (2.133') has a periodic solution of period 2m, then by Lemma 2.6, Cim = CQ. Hence, / Ai \ 2 m C2m =
T
C0,
or 2m
h -■
(&)' This implies (2.138) or a = —ao. In case of a = —ao, the solution of Eq. (2.133') is constant. If (2.138) holds true, then Ai = -A_i and from Cmn = ( — 1) Co,
we have Cim = Co- Thus by Lemma 2.6, x(t) is periodic of period 2m.B In view of the above results we conclude that: Theorem 2.50. Let a be the nonzero solution of (2.123), ifm^ 2k, and a — 0 if m = 2k. Then every oscillatory solution of (2.133') tends to zero if and only if any one of the following conditions holds true: (i) (ii)
a
a0> - r ^ ( e a m + 1);
a > 5
—a , ^ a m
'
. —a + l)<°o<ea(m_t)_1
0a(rn-k)
Theorem 2.51. The only bounded solution of Eq. (2.133') that does not tend to zero as t —> ±oo is periodic.
136
2. OSCILLATORY AND PERIODIC SOLUTIONS
T h e o r e m 2.52. / / either of the conditions (2.134'), (2.135') holds true, then on each interval (mn — k,m(n + 1) — k) the solution of Eq. (2.133') has a zero tn, given by tn = mn +
iln(- +
aJ
0 a \a Let us again consider Eq. (2.133), where a(t) and ao(t) are continuous on (—00, +00) and are periodic of period m. Then from (2.132) one obtains
Cmn
= Co
(X(m - * , 0 ) \ "
U--M) / '
T h e o r e m 2.53. Assume that a(t), ao(t) are periodic ofperiod m and X(m - k, 0) 7^ 0,
X(-k, 0) ^ 0.
(2.140)
If I ao(r)exp(j
a(s)ds) dr = 1 — exp IJ
a(s)ds) , (2.141)
f/ien i?g. (2.133) /ias periodic solutions of period m, and if j ao(r)exp(l
a(s)ds)dr
= 2j_k a0(r) exp U a(s) ds) dr - exp ( £ "
a(s) ds j - 1, (2.142)
then Eq. (2.133) has periodic solutions of period 2m. PROOF. Conditions (2.140) ensure that Eq. (2.133) has a unique so lution on (—00,+co), provided a(t) and ao(t) are periodic of period m. If (2.141) holds true, then from (2.139) we have c m = CQ, which shows that the solution is periodic of period m. If (2.142) holds, then c2m = CQ, and the proof is complete. ■
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
137
5. Oscillations in Systems of Differential Equations with Piecewise Continuous Arguments Linear systems of differential equations with the argument [t + |] have been explored by Wiener and Cooke [293]. Of special interest are oscillatory and periodic properties of the solutions, which depend on the eigenvalues of a certain matrix associated with the system. Therefore, the results can be extended to more general dynamical systems. Consider the initial-value problem
x'(t) = Ax(t) + Bx
(N)'
x(0) = Co, (—oo < t < oo) (2.143)
where A and B are real r x r-matrices and x is an r-vector. The argument deviation (2.144)
T(t) = t - t +
changes its sign in each interval [n — ^,n + ^) with integer n. Indeed, T(t) < 0 for n - \ < t < n and T(t) > 0 for n < t < n + ±, which means that Eq. (2.143) is alternately of advanced and retarded type. The function T(t) is of period 1 and equals t, for —\
M1/2 = M(1), V2y
M 1= M(1),
M_ 1/2 = M ( - ^j ,
M0 = Mzl/2M1/2. (2.145)
Theorem 2.54. / / the matrices A and M_i/2 are nonsingular, then problem (2.143) has on [0, oo) a unique solution
x(t) = M(T(t))Mlt+*]co
(2.146)
138
2. OSCILLATORY AND PERIODIC SOLUTIONS
where T(t) is given by (2.144). The solution of problem (2.143) has a unique backward continuation on (—oo,0] given by (2.146) provided the matrices A and Mi/% are nonsingular. Now we investigate the nonhomogeneous equation x'(t)
= Ax(t) + Bx(t
+ ^)+f(t),
x(0) = co
(2.147)
with constant matrices A and B and a locally integrable vector-function f(t), that is, absolutely integrable on every finite interval of (—oo,oo). The solution xn(t) of Eq. (2.147) on n — \
xn(t)
ds,
Jn
where M(i) is defined in (2.145). The relation xn+i(n + \) = x„(n +1) implies
M
c +i+ e (n+H)/(s)ds
(-^) " r^ "
= M(i)cn +
£+keA^-«>f(s)ds,
or M_1/2cn+l
rn+l
= M1/2cn + jT
eA(n+^f{s)
ds.
From here, c n+1 = M0cn + fn+u
(2.148)
fn+l = MZl1/2 £+1 e ^ " + H ) / ( s ) ds
(2.149)
where
Since the solution of (2.148) is sought in the form cn = Mg kn, then kn+i = K + M 0 " n_1 /n+i
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
139
and
kn = k0+t
MoJfj.
i=l
By virtue of &o = Co, we obtain
x(t) = M(r(*))Mf *] L + CE] M^fA
+d]eA{t~s)f^ds'
*^°- (2-15°)
The solution #_„(£) of Eq. (2.147) on —n — | < t < —n + | satisfying the condition £_„(—n) = c_„ is x_„(i) = M(t + n)c_„ + /* eA^-s)f(s)
ds,
J—n
and its continuation x_„_i(<) on —n — | < £ < — n — | is given by x_„_i(*) = M(* + n + l)c_ n _! + /_
M g ) C_„_t + /;;_7 e^-*-H)/(,) ds = M (_I) c_„ + / 7 " 1 e^-»-H)/(s) *. Prom here, C-n-l = -^o" C_„ + /„ + l, where
fn+l = Mf/2 / 7 " 1 e^-»- M/(,) Hence, c-„ = M0-n
/
-\
[co + ZMlfA \
i=i
/
rf»-
(2-149')
140
2. OSCILLATORY AND PERIODIC SOLUTIONS
and +i]
3
+!1 M(T(t))M$ EMj / ijA x(t) ==M(T(«))il4' UL++ E M
+4/"-"/w«s,
t<0.
(2.150')
This proves the following result. Theorem 2.55. Problem (2.147) has on (—00,00) a unique solu tion (2.150), (2.150'), where M(t) and M0 are defined in (2.145) and fj,fj are given by (2.149), (2.149'), if the matrices A and Mo are nonsingular and f(t) is locally integrable. Similar results hold true for the problem x'(t) = Ax(t) + Bx([t\),
x(0) = co.
(2.151)
Theorem 2.56. If the matrix A is nonsingular, then problem (2.151) has on [0,00) a unique solution x(t) = M(t - [t])M[t]co.
(2.152)
The solution of problem (2.151) has a unique backward continuation on (—oo,0] given by (2.152) provided the matrices A and Mi are nonsin gular. Theorem 2.57. The problem x'{t) = Ax{t) + Bx{[t]) + f(t),
x(0) = co
(2.153)
has on [0,00) a unique solution [t]
x(t) = M(t - [t])M?] c0 + £ M? j'._x eA^f(s)
ds
+
jy^f(s)ds m
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
141
if the matrices A and M\ are nonsingular and f(t) is locally integrable. This solution has a unique backward continuation on (—oo,0] given by x(t) = M(t - [t])M® L
+ £ M{'1 p+i
e ^ - ' + 1 - * ) / ( s ) ds J
+
f[t]eA^f{s)ds.
T h e o r e m 2 . 5 8 . The solution x = 0 of Eq. (2.143) is globally asymp totically stable as t —► + o o if and only if the eigenvalues Xj of the matrix MQ satisfy the inequalities \Xj\
j = l,...,r.
(2.154)
There exists a nonsingular matrix S such t h a t M0 =
SJS-\
where J is a diagonal or Jordan matrix with the diagonal elements Xj. Hence, cn = ( 5 J 5 - 1 ) " c 0 = SrS^co
(2.155)
or cn = EPj(n)y,
k
(2.156)
where the components of the vectors Pj(n) are polynomials of degree not exceeding k — 1. This implies that c„ —► 0 as n —► + o o if and only if (2.154) holds, and the conclusion of the theorem follows from the formula xn(t) = M(t - n)cn.
■
(2.157)
T h e o r e m 2 . 5 9 . The solution x = 0 of Eq. (2.143) is globally asymp totically stable as t —> + o o if and only if MQ —► 0 as n —* oo. The same is true for Eq. (2.151) with Mi instead of MQ.
142
2. OSCILLATORY AND PERIODIC SOLUTIONS
REMARK 5. The condition MQ —> 0 as n —► oo holds true if for some number N it appears that the moduli of all elements mfj of the matrix M0N do no exceed q/r, where 0 < q < 1 and r is the order of Mo, i.e.,
Kl<~, J
l
(2.158)
r
Indeed, in this case each element of the matrix M$N does not exceed r(q/r) ■ (q/r) = (? 2 / r )> each element of M03N does not exceed q3/r, and so on, which leads to the conclusion that (2.158) implies Mfi —> 0 as n —» +oo. Theorem 2.60. All solutions of Eq. (2.147) tend to zero as t —► +oo if the eigenvalues of MQ satisfy (2.154) and lim/(i) = 0 as t —* +oo. Theorem 2.61. If all eigenvalues of the matrix Mo are negative, then each component xl(t) of every solution of system (2.143) is oscillatory and, more precisely, has a zero in each interval n < t < n + 1, for sufficiently large n. PROOF. Let x'n(t) denote the i-th component of the solution xn(t) of problem (2.143) on the interval n — ^
'n=
EP<;(«)\".
i=
l,...,r.
For the continuation xn+i(t) of the solution o n n + | < < < n + | w e have
4 + i = X>.;(" + l)A"+1.7=1
If c'n = 0, for infinitely many n, then x'(t) is oscillatory. Assuming c*n ^ 0, for all sufficiently large n, we conclude that lim ^ ± i = A,- < 0 n—»oo
rt
(since the coefficients Pij(n) are polynomials of n), where A,- is one of the eigenvalues of MQ. Hence cj,+1/c}, < 0, starting with some n,
143
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
which implies that x*(t) has a zero in each interval n < t < n + 1, for sufficiently large t. ■ REMARK 6. Under the conditions of Theorem 2.61 all components of every solution of system (2.143) have, for sufficiently large n, zeros in each interval n — \
or
b < -aea/2/(ea'2
- 1)
holds true, then every solution of the scalar equation x'(t) = ax{t) + bx ( t + - J
(2.159)
is oscillatory [5]. Indeed, let a/2
+
/ a / 2 _ jx
-lfc
then either of the above inequalities implies A < 0. Furthermore, in each interval (n — | , n + | ) , the solution of (2.159) has a unique zero tn given by
=n
*" -Mnr)-
Theorem 2.62. / / the matrix MQ has a negative eigenvalue, then there exists an initial vector CQ such that the corresponding solution x(t) of problem (2.143) has an oscillatory component with a zero in each interval n < t < n + 1, for sufficiently large n. PROOF. Denote c„ = x(n) and let d0 = 5 _ 1 c 0 in (2.155), then c„ = SJndo. Assume, for simplicity, that J = diag(Ai, A2,..., Ar) and Ai < 0, and put d0 = {1,0,0,...,0}. This gives c„ = { s n A ^ i A " , . . . ,s r iA"} where 5 = («,_,), i,j = l , . . . , r . Since S is nonsingular, there exists an element Sn ^ 0, hence hm ^ ± i = Ai < 0,
144
2. OSCILLATORY AND PERIODIC SOLUTIONS
which proves that the component x'(t) of the solution x(t) has a zero in each interval (n, n + 1), for sufficiently large n. ■ Theorem 2.63. / / the matrix M_i/2 = M{—\) is negative definite, then every solution of Eq. (2.143) has a component with a zero in each interval [n — h,n]. If the matrix Mt/2 = M(^) is negative definate, the same property holds true for each interval [n, n + 5]. PROOF. By virtue of (2.157), the scalar product of vectors cn = x(n) and c„_ i/2 = x(n - | ) is (c n ,c„_ 1/2 ) = (cn,M_i/2cn) < 0, with the equality sign only if c„ = 0. However, if c„ = 0 for a particular integer n then x(t) E 0 on [n, oo). The second part of the theorem is proved similarly. ■ For Eq. (2.159), the condition M_ 1/2 < 0 reduces to b > a/(ea/2 - 1), and in this case every solution has a single zero in each interval [n—|, n]. The inequality M\ji < 0 becomes 6 < — ae a / 2 /(e a / 2 — 1) in which case the same conclusion holds true for each interval [n,n + t]. Theorem 2.64. // all eigenvalues of the matrix MQ are positive and A is a diagonal matrix, then each component x'(t) of every solution x(t) of system (2.143) is either nonoscillatory or identically equals zero, starting with some t. P R O O F . Let x(n) = cn, x(n - | ) = c„_i/ 2 , x(n + i) = c n+1 / 2 , then from (2.157),
c n -i/2 = M_i/2c„,
c„ +1/2 = Mi /2 c„
and c n + 1 / 2 = Mi/2Mzl/2cn_i/2.
(2.161)
Denote M2 = Mll2MZ[/2 and compare the eigenvalues of the matrices M2 and MQ = Since M2 = M_1/2M0Mzl/2,
(2.162) MZ\nM\n. (2.163)
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
145
then M 2 - XI = M_1/2M0Mzl/2
- M_l/2XIMZll/2
= M_ 1/2 (M 0 -
XI)Mz\/2
and det(M 2 - A/) = det(M 0 - A/). Hence, the matrices M2 and Mo have the same eigenvalues, and simi larly to (2.156), we can write Cn-i/2 = £ ©(")*">
* < r,
(2.164)
where Aj are the eigenvalues of Mo and the components of the vectors qj{n) are polynomials of degree not exceeding k — 1. With the notation x'(n — | ) = cJ,_1/2> assume first that c'n_1,2 ^ 0 for all sufficiently large n. Then from (2.164), lim °-^!1 = Xi > 0, C
(2.165)
n-l/2
where A,- is an eigenvalue of MD (all A;- are positive). Therefore, the graph of xt(t) either does not cross the interval n — \
rfV(t) dt* ~N
dx\t) dt '
and ^
= /?„e^-"), fin^ \
n-\ n-\
146
2. OSCILLATORY AND PERIODIC SOLUTIONS
with /?„ constant in the above interval. If /?# = 0, for a particular N, then x\t) is constant in (iV - \,N + \). And if (3n ^ 0, then dxl/dt ^ 0 in (n — 4,n + | ) , which implies that x'(t) cannot cross this interval more than once. Hence, x'(t) has no zeros for sufficiently large t and is nonoscillatory. If c^—1/2 = 0 ^ or a ^ sufficiently large n, then x'(i) identically equals zero, starting with some t. It remains to verify whether the sequence {ctn_i/2} can contain a proper infinite subset of zero terms. If this is so, consider an infinite sequence of pairs (4-i/2> 4+i/2> w i t h 4-1/2 7^ 0 and 4 + 1 / 2 = 0. By virtue of (2.165), for a sufficiently small e > 0 such that e < \j(j = 1 , . . . , r), we have 0 = 4±i/2 C
>Xi-e,
n>
N(e).
n-l/2
This contradiction concludes the proof. T h e o r e m 2.65. // the matrix MQ is nonsingular and has a positive eigenvalue and A is a diagonal matrix, then there exists an initial vec tor Co such that the corresponding solution of problem (2.143) has a nonoscillatory component. PROOF. Let x(t) be the solution of problem (2.143), then from (2.161) and (2.162) it follows that X
\
+
2)
= Cn+1/2 =
M2 Cl 2
" / '
or c„+i/2 = M2nM1/2co. By virtue of (2.163), this can be written as c„+i/2 = RJnR'lMl/2c0,
R = M_ 1 / 2 5 = (Uj).
Since Mo is nonsingular, the same is true for Mi/ 2 , hence Mi/2co ^ 0 if Co 7^ 0. Assume, for simplicity, that J = diag(Ai,..., Ar) and Ai > 0, and put R-1M1/2CQ = {1,0,... ,0}. Then cn+i/2 = {'n-^i > *2iA",..., *riA"}
147
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
and there exists an element tu ^ 0, hence
i im ^±iZi C
= Al>0.
n-l/2
The completion of the proof follows now from the last part of the pre vious theorem. T h e o r e m 2.66. Assume that the eigenvalues of Mo are positive dis tinct, the eigenvalues of A are real distinct, and A + B is nonsingular. Then there exists an initial vector CQ such that the corresponding solu tion of system (2.143) has a component which is either nonoscillatory or identically equals zero, for suffciently large t. P R O O F . Suppose that x'(t) is an oscillatory solution component; then by virtue of (2.165), there exists an infinite set of intervals [n—|, n + | ] in each of which x'(t) has an even number of zeros. Hence, the derivative dxl(i)/dt has a zero in each of these intervals, and our purpose is to show that this is impossibe for some i. From (2.145) and (2.157) we obtain
^
= e^-")(A + 5)M0"co,
( n - ± < i < n + i).
There exist real matrices Q and S such that Q~lAQ = 2) = diag(/zi, /x 2 ,..., fir), S~lM0S = J = diag(A!, A 2 ,..., AP) and therefore, *^L = Qe^-^Q-\A dt
+
B)SJnS-lco.
Denote P = Q-\A
+ B)S = (pij),
Q = {qij),
S-lc0 =
then
^f = (^-'V(A),
{d1,d2,...,dr},
148
2. OSCILLATORY AND PERIODIC SOLUTIONS
where PnW
= { p i l A J d i + • • • +pirK*r,
■ ■ • ,PrlA?dl + • • • +
PrAM-
Hence, dx' dt;f
r
=h_Ex M* - n)\nk
and hit(t - n) = E dkqmke^-n\
(2.167)
j=i
Choosing 5-^0 = { 1 , 0 , . . . , 0} gives -^L = hil(t-n)\n1.
(2.168)
Assuming there is an infinite sequence of integers n m and values £m such that n m — I < i m < nm + | and dx'nm/dt = 0 at t = tm, we conclude from (2.167) and (2.168) that M*m - nm) = E qiiPii^i{tm~nm) = 0. i=J Since —| < tm — nm < | , the analytic function /i,-i(z) has an infi nite number of zeros with a limit point in the interval [— ^, A]. Hence, hn (z) = 0 identically and QijPji=Q,
j =
l,...,r
In this equation the index i is fixed but we observe that, although the numbers nm and tm depend on i, the inequalities —\
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
149
are oscillatory leads to the conclusion that kn(z) = 0 identically, for all i, that is, qijPji=0,
*,j = l , . . . , r .
From here, Pil=0,
j = l,...,r,
which is impossible since P is nonsingular.
■
Theorem 2.67. If the matrix Mo has no positive eigenvalues and no eigenvalues with equal moduli, then each component of every solution of system (2.143) is oscillatory. PROOF. Let the solution component x'(t) satisfy x'(n) = c'n and as sume that c'n ^ 0 for all sufficiently large n (otherwise, x'(t) is oscilla tory). If lim^oo c'n+l/c'n = A,-, where A,- is a negative eigenvalue of Mo, then x'(t) is oscillatory. Since the eigenvalues of MQ are simple, then r
i=i
with constant coefficients fc,j depending on the initial vector x(0) = Co, and if limcj, +1 /cj, ^ A, < 0, it remains to consider the possibility when the asymptotic behavior of c*n+i/c'n is determined by A:An+1 + kXn+l k\n+k\" ' where A, A are complex conjugate eigenvalues of MQ and k, k are com plex conjugate constants. But in this case, the behavior of ctn+m/cln as n —► oo is described by fcA"+m + kXn+m kXn+kXn ' for any natural m > 1. Denote 9 = arg A,
<j> = arg k,
150
2. OSCILLATORY AND PERIODIC SOLUTIONS
then kXn+m + kXn+m kXn + k"Xn
\X\m cos{n6 + <j> + m6) cos(nd + <j))
We may assume cos(n9 + <j>) ^ 0 for an infinite sequence of values of n, otherwise kXn + kX" = 0 for all sufficiently large n, and in this case a different eigenvalue would substitute for A in the preceding argument. We write cos(n# +
and choose m so that cos m6 is close to —1 (hence, sinm# is close to 0), which shows that cj, +m /cj, < 0 for infinitely many values of n and proves that z l (i) is oscillatory. ■ REMARK 7. Theorems 2.61, 2.62, 2.64, 2.65, 2.66 hold true for sys tem (2.151), under appropriate conditions on the matrix Mi defined in (2.145). EXAMPLE
2. Consider the system [7] x\t) = ax(t) + by([t}), y'(t) = cy(t) + dx([t]),
(2.169)
with the initial data x(0) = co,y(0) = bo. Let Ai and A2 be the roots of the characteristic equation A2 - (e" + ec)A + ea+c - — (ea - l)(e c - 1) = 0,
(2.170)
corresponding to Mi. If these roots are real, assume Ai > A2. A solution (x, y) of (2.169) is said to be oscillatory if x and y both have arbitrarily large zeros on [0,00). Otherwise (x,y) is said to be nonoscillatory. Denote F(s) = o ( e u - s) + ^(e° - 1)60,
G(s) = b0(ec -s) + -y - 1)0, x(n) = c„,
y(n) = 6„.
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
151
The system (2.169) has no oscillatory solutions if ac(ea - ecf , , acea+c 4(e° - l)(e c - 1)
for in this case Ai and A2 are real and c n + 1 ^F(A 2 )A 1 -F(A 1 )(A 2 /A 1 )"A 2 c„ F(A2) - F(Aj) (A2A)" ' b n + 1 ^G(A 2 )A 1 -G(A 1 )(A 2 /A 1 )"A 2 bn G(A 2 )-G(A 1 )(A 2 /A 1 )" • Hence, lim„_ooC„+i/c„ = Ai > 0 and limn_»006„+i/6„ = Ai > 0. The system (2.169) has oscillatory solutions if < -/c(e°-eC)2lV (2.171) v 4(e" - l)(e c - 1) ' because inequality (2.171) implies that Eq. (2.170) has complex roots. Also, (2.169) has oscillatory solutions if M
U
ace a+c > {ea _ 1 ) ( e c _ I)
^
d
F
^2)
= 0,
(2.172)
since inequality (2.172) means that (2.170) has real roots and A, >0,A 2 < 0 . From F(A2) = 0 we have c„ + i/c„ = A2 < 0 and bn+i/bn = A2 < 0 (clearly, F(A2) = 0 implies G(A2) = 0). Hence, every solution of (2.169) is oscillatory. Thus we conclude that a necessary and sufficient con dition for the system (2.169) to have oscillatory solutions only is ei ther (2.171) or (2.172).
152
2. OSCILLATORY AND PERIODIC SOLUTIONS
T h e o r e m 2.68. The solutions of problems (2.143) and (2.151) are periodic of period p if and only if cp = CQ, where p is a positive integer. PROOF. We prove the theorem for (2.151). If the solution x{t) is p-periodic, then x(t + p) = x(t) which implies cp = x(j>) = x(0) = c$. Conversely, since (2.151) is an autonomous system, it follows from the condition cp = CQ and from the uniqueness theorem that the solution coincides on the intervals 0 < t < 1 and p < t < p + 1. Continuity of the solution implies cp+\ = x(p +1) = x(l) = c\, and the above process can be repeated for the intervals [1,2) and [p + 1, p + 2) and for the following pairs, until we reach [p — 1,p) and [2p — 1,2p) and prove that the solution coincides on these intervals. Then by continuity c
T h e o r e m 2.69. The solution of problem (2.143) is periodic of pe riod p if and only if either of the following conditions is satisfied: (i)Mp0=I, (ii) Co is an eigenvector of Mfi corresponding to the eigenvalue A = 1
of Ml PROOF. The conclusion follows from the formula cp = MQCQ and from the criterion cp = c$ for the existence of periodic solutions, which yield
(M 0 p -/)c 0 = 0.
■
T h e o r e m 2.70. The equality MQ = I takes place if and only if the matrix MQ is diagonalizable and all its eigenvalues A,- satisfy A? = 1. PROOF. Assume MQ = / and write MQ = SJS-1, onal or Jordan matrix, then SJPS-1 = i.
where J is a diag
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
153
Hence, Jp — I which means that J is diagonal and its eigenvalues are p-order roots of unity. On the other hand, if Mo is diagonalizable, then M 0 = S1)S'1, where 2) is a diagonal matrix and Ml = 533 p 5 _ 1 . Since Mo and 2) are similar, they have the same eigenvalues. By virtue of \Vj = 1, for all eigenvalues of Mo, we conclude that 2) p = I and Ml = I. U COROLLARY 2.11. All solutions of system (2.143) are p-periodic if and only if MQ is similar to a diagonal matrix and all its eigenvalues are p-order roots of unity. EXAMPLE 3. Let bd < 0 in (2.169), then every oscillatory solution of system (2.169) is periodic of period p if and only if bd
=,aC{C~\ c (e°-l)(e -l)
ande° + e< = 2 c o s ( ^ ) , V p I
y(2.173) !
where m and p are relatively prime and m = 1,2,..., [(p—1)/4]. Indeed, since bd < 0 and the solution is oscillatory, the roots Ai and A2 of (2.170) are complex. Therefore, the conditions Af = 1 and A<> = 1 are equivalent to (2.173) If bd > 0, the roots Xu A2 of (2.170) are real. Since Ai + A2 = e° + ec, the cases Ai = 1,A2 = —1, and Ai = A2 = —1 are impossible. The system (2.169) cannot have solutions of period p = 1, except constant solutions. Indeed, the case when all solutions of (2.169) have period 1 is dismissed because the equality M\ = / implies a — b — c = d = 0 (the entries of Mi are mn = e", mi 2 = b(ea — l)/a, m2i = d(ec — l)/c, m22 = ec). If some solutions of (2.169) are 1-periodic, the initial vector x(0) = Co, y(0) = 60 is an eigenvector of Mi corresponding to the eigenvalue Ai = 1. Hence, F(Ai) = c0(ea - 1) + h-{ea - 1)60 = 0, G(A1) = 6 0 ( e c - l ) + - ( e c - l ) C o = 0, and c
=
F(A2) Ai — A 2
^
=
G(X2) Ai — A 2
154
2. OSCILLATORY AND PERIODIC SOLUTIONS
which shows that the above solutions are constant. It remains to in vestigate the possibility Ai = ea + ec + 1,
A2 = - 1 .
(2.174)
If A2 = - 1 is an eigenvalue of Mj, then A^ = 1 is an eigenvalue of M?. Therefore, (2.169) has solutions of period 2 if and only if the initial vector (co, &o) 1S a n eigenvector of Mi corresponding to its eigenvalue A2 = —1. Eqs. (2.174) for the roots of (2.170) are equivalent to the condition v (ea - l)(e c - 1) ' We conclude that system (2.169) has periodic solutions of period p — 2 if and only if the conditions
F(A1) = ^ ( e a - l ) 6 0 - ( e c + l)c 0 = 0 and (2.175) hold true. Theorem 2.71. In addition to the conditions of Theorem 2.55, as sume that f(t) is periodic of period 1 and let fo = Mzl/2Jo1eA^-^f(s)ds.
(2.176)
Then problem (2.147) has a solution of integer period p if and only if either of the following conditions is satisfied: (i) Sp = 0, f(t) and Co are arbitrary, where
sP-
= t vr,
(ii) Sp^0 and go = (I — MQ)CQ — /o is either zero or an eigenvector of Mo corresponding to an eigenvalue A ^ 1, which is a p-order root of unity. PROOF. Since f(t) is of period 1, the substitution s —► s + n changes formula (2.149) to
fn =
M-_\l2jlQeAW-°)f{s)ds,
2.5. OSCILLATIONS IN SYSTEMS OF EPCA
155
that is, /„ = /o, for all integers n. Following the proof of Theorem 2.55, we can write cp = Mfikp and p
kp = co + E M ) " 7 r Hence, cp = M0pc0 + £ AiJ"7o, and it remains to use the condition cp = CQ for the existence of p-periodic solutions to (2.147), to obtain (/ - M$)co - Spf0 = 0.
(2.177)
Since / - M0P = SP(I - M 0 ), then SP((I - M0)c0 - /„) = 0. Furthermore, the substitution s —► — n — 1 + s changes (2.149') to /» = /o, where /o =
-MJ%j\AW-*f{s)ds,
that is, /o = -Mo'VoThe condition c_p = Co leads to c0 = MoPc0 +
J2MoP+jfo
or M f o = c0 + E M^/o. This can be written as c0 = M f o + E M ^ V o , which is equivalent to (2.177) and proves the theorem. Clearly, the equation Sp = 0 implies M$ = I, for p > 2. ■
156
2. OSCILLATORY AND PERIODIC SOLUTIONS
COROLLARY 2.12. In addition to the conditions of Theorem 2.55, as sume that f(t) is of period 1. Then every solution of system (2.147) is of period p > 2 if and only if Sp = 0.
T h e o r e m 2.72. Every solution of system (2.147) in which f(t) is of period 1, is of period 1 if and only if Mg = I and /o = 0, where /o is given by (2.176). In this case x(t) = co + /oT(<) eA™-*f(s) T(t)
=
ds,
(2.178)
t-[t+\\,
if none of the eigenvalues of A is of the form 2nin, i = y/—l and n = 0,±l,±2,... . P R O O F . The criterion c\ = c0, c_i = to (2.147) is equivalent to
CQ
for solutions of period p = 1
(I - M0)c0 = /oThis equation is satisfied by arbitrary values of CQ if and only if MQ = I and /o = 0. Hence, all /_,- = 0, and from (2.150),(2.150') we get x(t) = M(T(t)),co + I* eA{t-^f{s)
ds,
(2.179)
Jn
n = [t + k). Furthermore, MQ = / means Mi/ 2 = M_!/2, that is, e(i/2M + (e d/2M
_
I)A-iB
= e -d/2M +
( e -d/2M _
I)A~lB,
whence e(i/2M
_ e-(i/2M _ (e-(i/2M _
l/2)A
e(
)A~lB.
Since A has no eigenvalues of the form 2nin, the matrix eA/2 — e~A^ is nonsingular and B = —A. By virtue of (2.145), M(t) = I, and the substitution s —> s + n changes (2.179) to (2.178). Simultaneously we have shown that if all solutions of system (2.143) are of period p = 1, they are constant, provided none of the eigenvalues of A is 2win. ■ Oscillatory properties of n-dimensional systems (1.49) have been stud ied by Ladas [155] and Gyori, Ladas, and Pakula [111], who have shown that every solution of (1.49) oscillates (componentwise) if and only if its
2.6. A PIECEWISE CONSTANT ANALOGUE
157
characteristic equation has no positive roots. Stability and oscillation of neutral EPCA with both constant and piecewise constant delays have been investigated by Partheniadis [213]. These properties for a second order EPCA alternately of retarded and advanced type were explored by Ladas, Partheniadis, and Schinas [157]. Huang has discussed os cillatory and periodic solutions of a system of two first order linear equations alternately of advanced and delay type in [126], and oscilla tions and asymptotic stability for first order neutral equations of the same type in [127]. Papaschinopoulos [211] has obtained results con cerning asymptotic stability and oscillatory behavior for a class of third order linear neutral EPCA. Gopalsamy, Gyori, and Ladas [93] have studied oscillations of delay equations with continuous and piecewise constant arguments. Oscillatory properties of some classes of nonlinear EPCA may be found in [109], where it is shown that under appropri ate hypotheses a nonlinear EPCA oscillates if and only if an associ ated linear equation oscillates. Research on nonlinear EPCA, includ ing their stability and oscillatory properties, is still developed insuffi ciently. However, certain progress in this direction has been made by Carvalho and Cooke [38], Furumochi and Hayashi [86], Gopalsamy, Kulenovic, and Ladas [95], Huang [125], Ladas [155], Seifert [241], and Vlahos [269]. The characteristic equation for linear EPCA with both con stant and piecewise constant delays was discussed by Grove, Gyori, and Ladas [103]. Finally, Chapter 8 of the book by Gyori and Ladas [110] is devoted to EPCA. 6. A Piecewise Constant Analogue of a Famous FDE The functional differential equation x'{t) = ax(t) + bx(Xt),
0
(2.180)
was the subject of many profound studies, starting with the celebrated work of T. Kato and J. B. McLeod [138]. We consider the equation x'(t) = ax(t) + bx(h
— J,
x(0) = CQ
(2.181)
with real constant coefficients, where [■] is the greatest-integer function, 0 < A < 1, and h is a positive constant.
158
2. OSCILLATORY AND PERIODIC SOLUTIONS
Definition 2.4. A solution of Eq. (2.181) on [0, oo) is a function x(t) that satisfies the conditions: (i) x(t) is continuous on [0, oo). (ii) The derivative x'(t) exists at each point * £ [0, oo), with the possible exception of the points t — nh/\ (n = 0 , 1 , . . . ) , where one-sided derivatives exist, (iii) Eq. (2.181) is satisfied on each interval nh
(n + l)h
Theorem 2.73. Problem (2.181), with constant coefficients and pa rameters 0 < A < 1, h > 0, has a unique solution on [0, oo). PROOF. Eq. (2.181) on the interval nh/X < t < (n + \)h/X takes the form x\t) = ax(t) + bsn,
sn = x(nh).
The solution of this equation, satisfying the condition x{nh/X) = c„ is x(t) = c„e0('-n/,/A> + a-1bsn{e
- 1).
(2.182)
Continuity of the solution at t = (n + l)h/X implies c n+1 = eah'xcn + a~lb{eahlx - \)sn
(2.183) on A
The solution of this equation is sought in the form c„ = e ''/ Jfcn, whence kn+1 = kn + a-xb{eahlx - l)e-«"+WSn,
k0 = Q,.
From here, kn = c0 + a-lb(eah'x
- 1) £
e-ahi'xSi^
and c„ = coe'WA + a-lb{eah'x
- 1) f, c"*
(2.184)
Substituting (2.184) in (2.182) determines the solution of (2.181) suc cessively on each interval I„ = [nh/X, (n + l)h/X], since s 0 = co and Si = x(ih), Hi e I m , where m = [iX] < i. The delayed action of the
2.6. A PIECEWISE CONSTANT ANALOGUE
159
second term on the right of (2.181) is clearly visible in (2.184), where the value c„ of the unknown solution x(t) at t = nft/A depends on its values S{ at lagging times ti = ih (i = 0 , . . . , n — 1). ■ EXAMPLE 4. For the equation x'(t) = ax(t) + bx(h ^j- V
x(0) = co
we have I„ = [2nh, (2n + 2)ft], and Eq. (2.183) takes the form s2n+2 = e2ahs2n + a~lb{e2ah - l)s„.
(2.185)
This difference equation is not of finite order. At t — (2n + l)ft, for mula (2.182) gives s 2n+1 = eahs2n + a-lb{eah - l)s„.
(2.186)
From (2.185) we obtain *2„ = Coe2anh + a-lb(e2ah - 1) £
e ^ ^ s ^ .
Finally, (2.185) and (2.186) yield the relation S2n+2 - (e°
+ l)s2n+l + e" S2n = 0.
T h e o r e m 2.74. If a + b > 0, all nontrivial solutions of Eq. (2.181) are unbounded, monotonic, and none of them has a zero in (0, oo). PROOF. Assume, for instance, CQ > 0 and consider the case a > 0. By virtue of the inequality a + b > 0, the derivative x'(t) = (a + b)coeat is positive on 0 < t < ft/A. Hence, x(t) is positive and increasing on this interval, which implies C\ > si > 0. For ft/A < t < 2ft/A, the derivative x (t) = (ac\ + &s1)ea('~/l/A) retains the sign of ac\ + bsi, which can be written as (a + b)si + a{c\ — s\) > 0. Assuming, by induction, cn > sn > 0 implies x'{t) > 0 on the interval I„, because it retains the sign of acn + bsn = (a+b)sn + a(cn — sn) > 0. Furthermore, from (2.183) we have c„+i - c„ = a-\eahlx
- l ) ( o c + bsn),
(2.187)
160
2. OSCILLATORY AND PERIODIC SOLUTIONS
and since acn + bs„ > (a + b)sn > (a + 6)co, then c„ +1 - c > a-\eah/x
- l)(o + 6)co
and c„ > c0 + na - 1 (e o h / A - l)(a + 6)c0, which proves that the solution x(t) is unbounded and increasing. Consider the case b > 0. The solution of (2.181) is positive and increasing onO < t < h/X. Hence, CQ < «i < C\ and from the equations c2 =
ah/x e
Cl
+ a-lb(eah'x
ci = eah/xc0 +
- l)s:,
a-1b{eah/x-l)c0
we see that c2 - d = eahl\Cl - c0) + a-lb{eahlx - 1)(», - q,) > 0. (2.188) Then, (2.187) gives ac\ + bs\ > 0, which means that x'{t) > 0 and x(t) is increasing on h/t < t < 2h/\. The assumption Co < c\ < ■ ■ ■ < c„ implies Co < s\ < ■ • ■ < sn and c n+1 - c = eaA/A(cn - c„_!) + a-16(ea/'/A - l)(s„ - s n _i) > 0. This proves that the solution of (2.181) is positive and increasing on [0,oo). Prom (2.183) we have c n+1 > {eah'x + {eah'x - l)a-xb)sn,
(2.189)
and from (2.182) at t = nh we obtain sn = cmeah{-nX-m^x + a-lbsm{eah^x-m^x
- 1),
where m = [n\]. Indeed, s„ = x(nh) and m/X < n < (m + 1)/A. If m = nX, then s„ = c m , and subtituting in the right of (2.189) cm = eah'xcm^
+ a-lb(eah'x
-
\)sm.u
we obtain the estimate c n + 1 >(e"''/ A + (e a ''/ A -l)a- 1 6) 2 S m _ 1 . If m ^ nA, then we write Sn > (^("A-mJ/A
+
(ea/,(„A-m)/A _
i^-lfc)^
2.6. A PIECEWISE CONSTANT ANALOGUE
161
and substitute this expression in (2.189). The inequality a + b > 0 implies eat + a~lb(eat — 1) > 1, for t > 0, and it follows by induction that c„ —» oo as n —► oo. ■ Theorem 2.75. If 0 < b < —a, then all nontrivial solutions of Eq. (2.181) monotonically tend to zero ast —► +oo and, hence, none of them has a zero in (0,oo). PROOF. Assuming CQ > 0 shows that x(t) is decreasing and positive on [0, h/X]. Hence, 0 < c\ < s\ < CQ, and from (2.188) it follows now that ci — c\ < 0. Thus, x(t) is decreasing and positive on [h/X, 2h/X]. We conclude by induction that x(t) is decreasing on (0, oo), and (2.182) implies x(t) > 0. ■ COROLLARY 2.13. If Eq. (2.181) has a nontrivial oscillatory solution, then a + 6 < 0,
b < 0.
(2.190)
Theorem 2.76. If a < 0 and b < 0, then all nontrivial solutions of Eq. (2.181) oscillate. PROOF. Assuming the existence of a positive solution (for large t) implies c„ > 0 and sn > 0, for all sufficiently large n. Hence, 0 < c n+1 < eaA/Ac„ < c n , which means the solution is decreasing to zero, at least as eanhlx. There fore, c m+ i < sn < cm where m = [nX], which indicates that s„ decreases as eamhlx. The inequality c„ +1 < eah'xcn + a-lb(eah>x - l)c m + 1 that follows from (2.183) is impossible, since for large n the right-hand side becomes negative. ■ Theorem 2.77. For a + b < 0 and b < 0, every nontrivial solution of Eq. (2.181) has a zero in (0, oo). Let Co > 0 and assume that x(t) > 0, for t > 0. Since a + b < 0, the solution x(t) is decreasing on 0 < t < h/X, and c\ < s\. On h/X < t < 2h/X, the derivative x'(t) retains the sign of ac\ + bs\, which is written as (a + b)c\ + b{s\ — c\) < 0, since b < 0. Hence, x(t) is PROOF.
162
2. OSCILLATORY AND PERIODIC SOLUTIONS
decreasing on h/\
\)a-lb)cn,
which shows that c„ and s„ decrease as (eah^ + (eahlx — l)a _ 1 6) n and (e"*/* + (C«*/A _ i) a -i6)m > respectively. This violates (2.183). ■ T h e o r e m 2.78. / / |6| < —a, then the solution of (2.181) tends to zero as t —* +oo, for any CQ. PROOF.
Denote Mn = sup|x(i)|,
t G [(n — l)h,oo),
ah x
q= e / + a-l\b\(eah'x-l). Then |c n _i| < Mn, |s„_i| < M„, and from (2.183) we get \cn\ < qM„, while the condition |6| < —a implies q < 1. By induction, we conclude from (2.183) that |c„+;| < qMn, i > 1. Furthermore, on each inter val [nh/X,(n + 1)A/A] the function \x(t)\ attains its maximum at an endpoint of this interval. Hence, the inequality |c[„/^]| < qM„ leads to ^[n/A] < qM„. Therefore, Min/x] <
CHAPTER 3
Partial Differential Equations with Piecewise Continuous Delay The first fundamental paper [290] in this direction appeared in 1991. It has been shown in [290] that partial differential equations (PDE) with piecewise constant time naturally arise in the process of approximating PDE by using piecewise constant arguments. Thus, if in the equation ut = a2uxx — bu, which describes heat flow in a rod with both diffusion a2uxx along the rod and heat loss (or gain) across the lateral sides of the rod, the lateral heat change is measured at discrete times, then we get an equation with piecewise constant argument (EPCA) ut(x,t) — a2uxx(x,t) t G [nh,(n + l)h],
— bu(x,nh), n = 0,1,...
where h > 0 is some constant. This equation can be written in the form ut(x, t) = a2uxx(x, t) - bu(x, [t/h]h),
(1)
where [■] designates the greatest-integer function. The diffusion-convection equation ut = a?uxx - rux describes, for instance, the concentration u(x,t) of a pollutant car ried along in a stream moving with velocity r. The term a uxx is the diffusion contribution and — rux is the convection component. If the 163
164
3. PARTIAL DIFFERENTIAL EQUATIONS
convection part is measured at discrete times nh, the process results in the equation ut(x, t) = a2uxx(x, t) - rux(x, [t/h]h).
(2)
These examples indicate at the considerable potential of EPCA as an analytical and computational tool in solving some complicated prob lems of mathematical physics. Therefore, it is important to investigate boundary-value problems (BVP) and initial-value problems (rVP) for EPCA in partial derivatives, and explore the influence of certain dis continuous delays on the behavior of solutions to some typical problems of mathematical physics. 1. Boundary-Value Problems for Partial Differential Equations with Piecewise Constant Delay We consider the boundary-value problem (BVP) consisting of the equation
du(x,t) dt
+
'5> u(x .0 p( KBXJ
=Q
=
u
(£) (*'
ft),
where P and Q are polynomials of the highest degree m with coefficients that may depend only on x, the boundary conditions LjU = £ (Mjk4k-X\Q)
+ Njku(h-l\l))
= 0,
(3.2)
*=i
[Mjk and Njk are constants, j = 1 , . . . , m) and the initial condition u(x,Q) = u0(x).
(3.3)
Here [•] designates the greatest-integer function, (x,t) £ [0,1] x [0,oo), and h = const. > 0. Eqs. (3.2) will be written briefly as Lu - 0.
(3.2')
Definition 3.1. A function u(x,t) is called a solution of the above BVP if it satisfies the conditions: (i) u(x, t) is continuous in Q = [0,1] x [0, oo).
3.1. BOUNDARY-VALUE PROBLEMS
165
(ii) du/dt and dku/dxk (k = 1 , . . . , m) exist and are continuous in ft, with the possible exception of the points (x, nh), where one-sided derivatives exist (n = 0 , 1 , 2 , . . . ) . (iii) u(x, t) satisfies Eq. (3.1) in il, with the possible exception of the points (x,nh), and conditions (3.2), (3.3). Let u„(x, t) be the solution of the given problem on nh < t < then
^ £ ^ 1 + pUn{x,t) = Qun(x),
(n+l)h,
(3.4)
where un(x) =
un(x,nh).
Write un(x, t) = wn(x, t) + vn(x), which gives the equation -^P- + Pwn + Pvn(x) = Qun(x), and require that ^
+ Pwn = 0,
(3.5)
Pvn(x) = Qun(x).
(3.6)
Assuming both wn and vn satisfy (3.2') leads to an ordinary BVP (3.6), (3.2'), whose solution is denoted by vn(x) =
P~1Qun(x),
and to BVP (3.5), (3.2'), whose solution is sought in the form wn(x,t) = X(x)Tn(t). Separation of variables produces the ODE T'n + \Tn = 0 with a solution Tn{t) =
nh
e-W-
\
(3.7)
166
3. PARTIAL DIFFERENTIAL EQUATIONS
and the BVP P (■—) X-\X
= 0,
LX = 0
(3.8)
where L is defined in (3.2) and (3.2'). If BVP (3.8) has an infi nite countable set of eigenvalues Xj and corresponding eigenfunctions Xj(x) £ C m [0,1], then the series oo oo
wn(x,t) = ZCnie-W-nVXj(x), w„(x, t) = £ Cnje-x*-nVXj(x),
Cnj = const. Cnj = const,
represents a formal solution of problem (3.5), (3.2') and oo oo un(x ,t) = E C e -\j(t- -nh)^ :(X) + P~l lQU; .(*) nj «„(*, t) = £ Cnje-W-^Xfa) + P- Qun(x)
(3.9)
is a formal solution of (3.1), (3.2). At t = nh we have oo oo
l Qu u„(x) n(x). un(x) == £ CnjfXj{x) A>(r) + pP-lQu n(x). = Ecn.
(3.10)
Therefore, assuming the sequence {Xj} is complete and orthonormal in Cm[0,1] yields for the coefficients Cnj the formula Cnj = / o ' Xj{x)(I - p-lQ)un(x)
dx,
(3.11)
(n = 0 , l , 2 , . . . ) . Substituting the initial function UQ(X) G C m [0,1] in (3.11) produces the coefficients CQJ, and putting them together with UQ(X) in (3.9) as n = 0 gives the solution u0(x,t) of BVP (3.1), (3.2), (3.3) on the interval 0 < t < h. Since U(,(x,h) = u\(x,h), we can find from (3.11) the numbers C\j and then substitute them along with u\{x) in (3.9), to obtain the solution ui(x,t) on h < t < 2h. This method of steps allows us to extend the solution to any interval nh < t < (n + l)h. Furthermore, continuity of the solution u(x, t) implies un(x (x, ,(n (n + l)h) l)/i) ==- uUn+l(x (n + l)h) un+i(x), l)h) = «n+i(a:), n+i(x, ,(n
3.1. BOUNDARY-VALUE PROBLEMS
167
hence, at t = (n + l)h we get from (3.9) the recursion relations oo
«n+i(*) = £ C V - ^ X ^ x ) + P ^ Q u ^ x ) .
(3.12)
Therefore, oo
un+1(x) = «„(*) - D C n/ (1 - e ^ ' ^ X ^ x ) y=i
and 1 l (I P-l1Q)u {x) {I-- P-pQ)un(x) (/ - pg)«n+l (x) = (/ Q)«„(X) n+1 oo
oo
l X Z-- P -P'Q ^x). - E CW(1 -- e e--A^'*)(J Q)Xi{x).
-Ecnj(i-
Multiplying by -Xfc(x) and integrating between 0 and 1 yields the re cursion formulas Cnn+l,k +l,k = =C CV ,fc -— C nk
oo
X h
J3 Cnj(l -e— e* y)X)Xj*, ik,
-Ec»;(ii=i
where
-i:
l
1 X Xk(x)(I(x)(I --PP-lQ)Xj(x) Q)Xj(x) dx. dx. Xjkifc'■= jf X
T h e o r e m 3.1. Formula (3.9), with coefficients Cnj and functions u„(x) defined by recursion relations (3.11) and (3.12), represents a for mal solution of BVP (3.1), (3.2), (3.3) in [0,1] x [nh,(n + l)h], for n = 0 , 1 , . . . , if BVP (3.8) has a countable number of eigenvalues Xj and a complete orthonormal set of eigenfunctions Xj(x) £ Cm[0,1] and the initial function UQ(X) G Cm[0,1] satisfies (3.2). A different method can be used if we look for a solution with con tinuous derivatives d2u/dt2 and dk+1u/dtdxk (k = 1 , . . . ,m) for t E (nh, (n + l)/i). In this case we differentiate (3.4) with respect to t and obtain the equation d
y»^i>(d\
&
+
* (
:£)-»• n
du du «n "~ dt'
y
168
3. PARTIAL DIFFERENTIAL EQUATIONS
whose solution is sought in form (3.7). Again, separation of variables produces T„(t) and BVP (3.8). Integrating the solution OO oo
nA Vn(x ,*)* = E Bnje -*/(*-- )X»(a;)
yn(x, t) = £ Bnje-W-^Xjix) between n/i and t gives between nh and t gives - e"-A,-(<- ■ » " ) ) ^ ( x ) u n (x ,*) == un(x) f. 2^ ^ £»;(! A,u n (x, i) = «„(*) + 53 - H i ^-^A
(3.13)
(3.14)
A
3=1
J
Continuity of the solution at t = (n + l)h implies ^X^x) .. »oo Bnni(l(l --- e-ex-s^h)XAx) «„+i(x) 53 ——— «„+i(ar) = uw„(x) -Hi n(x) + £ Ai >—J±±. i=i j=i
/0,rN (3.15)
*j
Prom (3.4) and (3.13) at t = nh we have nh) = yn(x,nh) == (QVn(x, t l •»(*), n(x), (Q - P ) P)u oo
n/i) := yn(x,nh) Vn(x,
oo
53 BB njX i (*). njXj(x),
=j=\E
and consequently,
i=l
B n i = /oJ X,(x)(Q - P)tc(x)
(3.16)
Theorem 3.2. Series (3.14), with the functions un(x) and coeffi cients Bnj defined by (3.15) and (3.16), formally represents a solu tion of BVP (3.1), (3.2), (3.3) whose derivatives dun/dt, dkun/dxk (k = 1 , . . . , m) are continuous in [0,1] x [nh, (n + l)h] and d2un/dt2, dk+1un/dtdxk are continuous in [0,1] x (nh, (n + l)h) if, in addition to the other conditions of Theorem 3.1, the initial function «o(x) and (Q-P)uo(x) satisfy (3.2). The solution un(x,t) of the nonhomogeneous equation
*ti)+p(|)a(M, = «(£)«(I,[i],)+/(,.)(,17)
3.1. BOUNDARY-VALUE PROBLEMS
169
on nh < t < (n + l)h is also sought in the form oo
un(x,t) = Y,Xj{x)Tnj(t),
(3.18)
.7=1
where Xj(x) are the eigenfunctions of the operator P. Upon multiply ing (3.17) by Xf.{x), then integrating between 0 and 1 and changing k to j , we obtain Kj(t) + XjTnj(t) = qnj + fj(t), d
Qnj =
Jo Xi(x}Q t ) u"(x) dx>
fj(t) = Jo1Xj(x)f(x,t)dx, whence Tnj(t) = (Tnj(nh) +
Xfq^e-W-***
\fqnj+J*he-W-*)fj(s)ds, (nh
+ l)h)
Tnj(nh) = / un(x)Xj(x)
dx,
that is, Tnj(t) = (£ X;{x){I - XjlQ)un(x) + Xj1 _£ Xj(x)Qun(x)
dx) e-W~nV dx + fnh e-x*-^fj(s)
ds. (3.19)
The principal role of the operator P emerges from the above three methods of constructing the solution. Let
Py=tpjy(m~j\ j=0
where pj are real-valued functions of classes C"1--' on 0 < x < 1 and p0(x) ^ 0 on [0,1]. Assuming C m [0,1] is embedded in £ 2 [0,1] with the
3. PARTIAL DIFFERENTIAL EQUATIONS
170
inner product (»•*) = I
y(x)z(x)dx,
BVP (3.8) is called self-adjoint if (Py,z)
=
(y,Pz),
m
for all y, z € C [0,1] that satisfy the boundary conditions Ly = Lz = 0. If BVP (3.8) is self-adjoint, then all its eigenvalues are real and form at most a countable set without finite limit points. The eigenfunctions corresponding to different eigenvalues are orthogonal. T h e o r e m 3 . 3 . Boundary-value problem (3.1), (3.2), (3.3) has a solu tion in [0, l]x[n/i, ( n + l ) / i ] , for eachn = 0 , 1 , . . . , given by formula (3.9) if the following hypotheses hold true: (i) BVP (3.8) is self-adjoint, all its eigenvalues Xj are positive. (ii) For each Xj, the roots of the equation P{z) — Xj = 0 have nonpositive real parts. (iii) The initial function UQ(X) 6 C m [0,1] satisfies (3.2). PROOF. According to (3.6), we find the solution vo(x) = P~1QUQ(X) of the equation PVQ(X) = QUQ(X) satisfying the boundary conditions Lv0 = 0. Then the difference u0(x) - P-lQua(x) G C m [0,1] satis fies (3.2'), and therefore we conclude from (3.10) t h a t the Fourier series ^ZCQJXJ(X) converges to it absolutely and uniformly on [0,1], where {Xj(x)} is the set of the orthonormal eigenfunctions of (3.8). Since Xj > 0, the series in (3.9) also converges absolutely and uniformly on [0,1] x [0, h]. Furthermore, the same is true on [0,1] for the se ries in (3.12) at n = 0, and ui(z) satisfies (3.2). Hence, u\(x) should be used now to find the solution v\(x) = P~lQu\(x) of the equation Pvi(x) = Qui(x) satisfying Lv\ = 0, then to calculate the coefficients C\j by (3.11) and the solution ux(x, t) of the given B V P on [0,1] x [h, 2h], according to (3.9). This procedure can be continued successively to construct the solution u„(x,t) for any n > 0. From (3.10) we con clude that all un(x) satisfy (3.2'). Differentiating (3.9) term by term with respect to t produces a series which converges to du„/dt uniformly
3.1. BOUNDARY-VALUE PROBLEMS
171
on [0,1] x [nh + 6,(n + l)h], for sufficiently small 6 > 0, since Xj > 0. Furthermore, it follows from (3.11) that C
"> = V 1 £(PXi)(J
~ P~lQ)un{x) dx
and since Xj(x), un(x), and P~lQun(x)
satisfy (3.2'), then
Cnj = A71 jf1 Xj(x)(P - Q)un(x) dx. Hence, ICnil < A71 / Xjdx) V
((Pun-Qun)2dx)
'
V
'
Let po(x) = 1 and X = pm, then in any domain G of the complex /9-plane the equation
{£)y-Xy=
0
has m linearly independent solutions j / i , . . . , ym which are regular with respect to p 6 G, for sufficiently large \p\, and satisfy the relations
ytX)(x)=Pr-1eput*H-1 (k,r =
+ 0(p-1)),
l,...,m)
where W\,... ,u)m are the different m-order roots of unity [204]. There fore, by virtue of condition (ii) and estimates (3.20), differentiating series (3.9) term by term r times (r = 1 , . . . , m) with respect to x pro duces series that converge uniformly on [0,1] x [nh + 6, (n + l)h], for sufficiently small 5 and large Aj. Letting t = (n + l)h in each of these series and taking into account (3.12) shows that un+i(x) € Cm[0,1] if un(x) 6 C m [0,1]. By virtue of (iii), the proof is complete. REMARK 1. We assumed in this theorem that po(x) = 1, where po(x) is the leading coefficient of the operator P(d/dx). If po = const. ^ 1, then dividing the equation Py — Xy = 0 by po produces an equation
3. PARTIAL DIFFERENTIAL EQUATIONS
172
whose leading coefficient is 1. If po(x) ^ const, on [0,1] and retains its sign, then we may assume po(x) > 0 and use the substitution [204] Xl =
JoP°1/m^ds/l
Po1/m(s)ds^
to reduce the above equation to a new one in the interval 0 < Xi < 1, with a constant leading coefficient. REMARK 2. The Fourier coefficients used in the above three methods of solving BVP (3.1), (3.2), (3.3) are closely interrelated. Indeed, differ entiating (3.9) with respect to t and comparing with (3.13) shows that Bnj = —AjCnj. Furthermore, comparing (3.9) with (3.18) and (3.11) with (3.19), we have to prove that y 1 \-JxXj{x)Qun{x)
dx = f Xj{x)p-lQun(x)
dx.
Since P~1Qun(x) satisfies (3.2), then P-lQun{x)
oo
r\
= £ Xk(x) I jb=i
-
Xk(x)P-1Qun{x)dx,
70
and applying the operator P to this equation yields oo
-1
Qun(x) = Y, \kXk(x)
Xk(x)P~1Qun(x)dx.
It remains to multiply this expansion by Xj(x) and to integrate between 0 and 1. EXAMPLE 1. In [0,1] x [nh, (n + l)h], the solution un(x, t) of Eq. (1) with boundary conditions un(x,nh) = un(x) is sought in form (3.18). Separation of variables produces
Xj(x) = V2sin(njx),
T'nj{t) + a^j2Tnj{t)
=
-bTnj(nh),
whence
Tnj(t) = Cnje-aV^-nh) -
~±^Tnj(nh). 0, 71 J
3.1. BOUNDARY-VALUE PROBLEMS
173
We put t = nh in this equation and get C
*i = i1 + -^p) **("*),
that is, Tnj(t) = Ej{t -
nh)Tnj(nh),
where b H =: ee-°a22^^< --- ((l! - -ec- -WV *^)) --JL^. Ej{t) Ej(t) =
(3.21)
At t = (n + l)/i we have Tnj((n + l)h) =
Ej(h)Tnj(nh)
and since Tnj((n + l)h)=Tn+1J((n
+ l)h),
then Tn+lJ((n
+ l)h) =
Eji^Tnjinh)
and
Tnj{nh) = EJ(h)T0i(0)Therefore, Tnj(t) = Ej(t -
nh)Ef(h)T0j(0)
and «n(x, t) = £ V2E]{h)T^)Ej{t
- nh) sm.{irjx).
i=i
Putting 2 = 0, n = 0 gives wo(z) = ]£ 7bj(0)v2sin(7r,;'x) dx and T0j(0) = v 2 /
uo(a;)sin(7rj'x)dx.
(3
174
3. PARTIAL DIFFERENTIAL EQUATIONS
If \Ej(h)\ < 1, then solution (3.22) decays exponentially as t —► oo, uniformly with respect to x. From (3.21) it follows that this is true if ea'*'h +1 ™2-2
2
2
2
2
-a 7r < b < a 7r
ea
2
7r 2 /> _
^"
Furthermore, from the equations Tnj(nh) = E?{h)T0j(0), we see that Tnj(nh)Tnj((n+l)h) holds true if
Tnj((n + l)h) =
EJ+1{h)T0j(0)
< 0 HEj(h) < 0. The latter inequality b>
a2n2
e°***h
_
(3.23)
r
Hence, under condition (3.23) each function Tnj(i)(j = 1,2,...) has a zero in the interval [nh, (n+l)/i], in sharp contrast to the functions Tj(t) in the Fourier expansion for the solution of the equation u< = a2uxx — bu without time delay. Moreover, the inequality Ej(h) < 0 takes place for sufficiently large j and any b > 0. Therefore, for b > 0 and sufficiently large j , the functions Tnj(t) are oscillatory. EXAMPLE 2. Eq. (2) on nh
whose solution is sought in form (3.7). Separation of variables leads to the equations X"{x) + XX(x) = 0,
rn(t) + a2XTn(t) = 0,
and the boundary conditions un(0,t) — un(l,t) yn(x,t) = £
= 0 give Xj = j2n2
V2Tnj(nh)e-aV^-nhhm(njx).
and
3.1. BOUNDARY-VALUE PROBLEMS
175
Since yn(x, nh) = a?u"n(x) - ru'n(x),
u„{x) = un(x, nh),
then oo
a 2 < ( x ) - ru'n(x) = £
V2Tnj(nh)sm(7rjx)
and T„j(nh) = —a2n2j2y/2j
un(x)
sin(7rjx)dx + rwjV2 / un(x) COS(TTJX) dx.
Finally - >/2 rBJ-(nfe) (1 - e -°W('-"ft)) sin(ffjx) u„(x,t) = un(x) + 2J — TTT^. • 2 =i a 7rV ; Given the initial function u(x,0) = uo(x), we can find the coefficients T(y(0) and the solution uo( x )0 on 0 < i < L Since uo(a:,/i) = "1(^)5 we can calculate the coefficients Tij(h) and the solution u\(x,t) on h < t < 2h. By the method of steps the solution can be extended to any interval [nh, (n + l)h]. EXAMPLE
3. The equation
__g2_gMM) 2m0 5x2
<MM) 9 at
+K
/ m \ W p[ftJ A J u
is a piecewise constant analogue of the one-dimensional Schrodinger equation -q2 iqi/jt(x, t) = -—ij)xx{x, t) + V(x)rp(x, t). ZTTIQ
If u(x, t) satisfies conditions (3.2) and (3.3), with m = 2, then separa tion of variables produces a formal solution 00
un(x,t) = £ Cnje-i^t-"h^Xj(x)
+
P~lQun{x),
176
3. PARTIAL DIFFERENTIAL EQUATIONS
for nh < t < (n + l)h. Here, Xj(x) are the eigenfunctions of the operator q2(d2/dx2)/2mo, and P~lQun(x) is the solution vn(x) of the equation g 2 <(x) =
2m0V(x)un(x)
that satisfies (3.2) and Cnj are given by (3.11). The Fourier method can be also used to find weak solutions of the boundary-value problem (3.1), (3.2), (3.3) and it is easily generalized to similar problems in Hilbert space. First, we remind a few well known definitions. Let H be a Hilbert space and let P be a linear operator in H (additive and homogeneous but, possibly, unbounded) whose domain T)(P) is dense in H, that is 1>(P) = H. The opera tor P is called symmetric if (Pu,v) = (u,Pv), for any u,v € 2)(-P)If P is symmetric, then (Pu,v) is a symmetric bilinear functional and (Pu,u) is a quadratic form. A symmetric operator P is called positive if (Pu, u) > 0 and (Pu, u) = 0 if and only if u = 0. A symmetric operator P is called positive definite if there exists a con stant 7 2 > 0 such that (Pu,u) > 7 2 ||u|| 2 . With every positive oper ator P a certain Hilbert space Hp can be associated, which is called the energy space of P. It is the completion of T>(P), with the inner product (u,v)p = (Pu,v); u,v £ ^>{P)- This product induces a new norm ||u||p = (Pu, u) 1 ' 2 , u € D(-P), and if P is positive definite, then IMI < 7 _ 1 \\U\\P- Since T)(P) is dense in H, it follows by using the latter inequality that the energy space Hp of a positive definite operator P is dense in the original space H. Assuming P is positive definite, we may consider the solution u(x, t) of (3.1), (3.2), (3.3) for a fixed t as an element of HP. If T>(Q) C H, then Qu(x, [t/h]h) may be treated as an abstract function Qu([t/h]h) with the values in H. Therefore, the given BVP is reduced to the abstract Cauchy problem du + Pu = Qu( h), t>0,u\t=0 = u0eH. (3.24) ~dt If (3.24) has a solution, we multiply each term by an arbitrary func tion g(t) £ Hp in the sense of inner product in H and get on the
3.1. BOUNDARY-VALUE PROBLEMS
177
interval nh < t < (n + l)h the equation (du fdu
\
Id*' $)+(« ,g)p
= (Qun,g),
where un = u(nh). Conversely, if u <= C1((nh,(n + l)h);V(P)) for all integers n > 0 and satisfies (3.25), then it also satisfies Eq. (3.24). Indeed, if u £ "D(P), then ( U , # ) P = (Pu,g), and (3.25) can be written (du I — + Pu-
\ Qun,g\ = 0,
n/i < £ < (n + l)/i.
Since Hp is dense in H, then u(i) is a solution of Eq. (3.24). Definition 3.2. An abstract function u(t): [0,oo) —► H is called a weak solution of problem (3.24) if it satisfies the conditions: (i) u(t) is continuous for t > 0 and strongly continuously diferentiable for t > 0, with the possible exception of the points t = nh where one-sided derivatives exist, (ii) u(t) is continuous for t > 0 as an abstract function with the values in Hp and satisfies Eq. (3.25) on each interval nh < t < (n + l)h, for any function g(t): [0, oo) —► Hp. (iii) u(t) satisfies the initial condition (3.24), that is, \im\\u(t)-uQ\\H
= 0.
A weak solution u(t) is also an ordinary solution if u(t) € 'D(P), for any t > 0, and u(x, t) —» ^0(2;) as £ —► 0 not only in the norm of H but uniformly as well. It is said [191] that a symmetric operator P has a discrete spectrum if it has an infinite sequence {Aj} of eigenvalues with a single limit point at infinity and a sequence {Xj} of eigenfunctions which is complete in H. Suppose the operator P in (3.25) is positive definite and has a discrete spectrum and assume the existence of a solution u(t) = u(x,t) to Eq. (3.25) with the condition u(0) = UQ. On the interval nh < t < (n + l)h this solution can be expanded into series (3.18), where Tj(t) = (u(t),Xj). To find the coefficients Tj(t), we
178
3. PARTIAL DIFFERENTIAL EQUATIONS
put g(t) = Xk in (3.25) and since Xk does not depend on t, then (du(t)
[ dt ,Xk) (u,X (u ,Xkk)P)P
= ft(u(t),Xk) = no,
= (u,PXkk)) = = X\k(u (u,X = (Pu,X (Pu,Xkk) = (u,PX kTk(t), ,xkk)) ==■-XhT
which again leads to the equation T;j(t) + XjTnj(t) =
(Qun,Xj)
and to a generalization of (3.19). By selecting a proper space H, a weak solution corresponding to conditions (3.2) can be constructed. The proof of the following theorem is omitted. Theorem 3.4. / / P and Q are linear operators in a Hilbert space and P is positive definite with a discrete spectrum, then there exists a unique weak solution of problem (3.24). 2. Initial-Value Problems for Partial Differential Equations with Piecewise Constant Delay This topic has been explored recently by Wiener and Debnath [296]. We consider the initial-value problem (IVP) du(x,t) dt
+
p(
s)"(l'()
t h. ")•
(3.26)
u(x,0) = UQ{X) where P and Q are polynomials of the highest degree m with constant coefficients, [•] denotes the greatest-integer function, h = const. > 0, and (x,t) G Cl = (-00,00) x [0,oo). Let un(x, t) be the solution of the given problem on nh < t < then Eq. (3.4) follows where un(x) = un(x,nh). Write un(x,t) = wn(x,t) + vn(x),
(n+l)h, (3.27)
3.2. INITIAL-VALUE PROBLEMS
179
whence dwn — + Pwn + Pvn(x) = Qun(x), which leads to Eqs. (3.5) and (3.6). If vn(x) is a solution of ODE (3.6), then at t = nh we have wn(x, nh) = un(x) - vn(x),
(3.28)
and it remains to consider Eq. (3.5) with initial condition (3.28). It is well known that the solution E(x, t) of the problem ~
+ Pw = 0,
w(x, 0) = tuo(ar),
(3.29)
with WQ(X) = 6(x), where 8(x) is the Dirac delta functional, is called its fundamental solution. The solution of IVP (3.29) is given by the convolution w(x,t) = E(x,t)*w0(x).
(3.30)
Hence, the solution of problem (3.5), (3.28) can be written as wn(x, t) — E(x, t — nh) * wn(x, nh),
(3.31)
and the solution of (3.4), (3.27) is un(x, t) = E(x, t - nh) * (un(x) - v„(x)) + v„(x), (nh
(3.32)
(n + l)h).
Continuity of the solution at t = (n + l)h implies un(x, (n + l)h) = un+i(x, (n + l)h) = un+1(x), that is, u„+i(x) = E(x, h) * (u„(x) - v„(x)) + vn(x).
(3.33)
Formulas (3.32), (3.33) successively determine the solution of IVP (3.26) on each interval nh < t < (n + l)h. Indeed, from Pv0(x) = QUQ(X) we find vo(x) and substitute both UQ(X) and VQ(X) in (3.32) and (3.33) to obtain uo(x,t) and u\(x). Then we use ui(x) in (3.6) to find vi(x) and substitute u\{x) and v\{x) in (3.32) and (3.33), which yields ui(x,t) and ui(x). Continuing this procedure leads to u„(x,t), the solution
180
3. PARTIAL DIFFERENTIAL EQUATIONS
of (3.26) on [nh,(n + l)h]. The solution vn(x) of (3.6) is defined to within an arbitrary polynomial q(x) of degree < m. Since q(x) is a solution of Eq. (3.29) with the initial condition w(x,0) = q(x), then q(x) — E(x,t) * q(x), and q(x) cancels in the formulas (3.32), (3.33). This concludes the proof of the following assertion. Theorem 3.5. If Eq. (3.29) with w(x,0) = UQ(X) has a unique solu tion ont (E (0,oo), then there exists a unique solution of IVP (3.26) on (0, oo) and it is given by (3.32), for each interval nh < t < (n + l)h. COROLLARY 3.1. There exist unique solutions of Eqs. (1) and (2), with u(x,0) = UQ(X), in the class of functions that grow to infinity slower than exp(x2) as \x\ —» oo. For Eqs. (1) and (2) we have vn(x) = a~2b I (x — s)un(s) ds
and
v„(x) = a~2r j u„(s) ds,
respectively, and E(x,t) = exp(—x2/4a2t)/2a^/Tti. Formula (3.32) for the solution of the problem ut(x,t) = a2uxx(x,t)
- buxx (x, - hj ,
u(x,0) = u0(x)
on nh < t < (n + \)h becomes un(x,t) = (l
j ) E(x,t-nh)*n„(x)
+
—un(x),
where E(x,t) is the same as in Eqs. (1) and (2). The above method may also be used to solve IVP for PDE of any order in t with piecewise constant delay or systems of such equations. In the latter case, P and Q in (3.26) are square matrices of linear differential operators and u(x, t) is a vector function. Thus, the solution un(x, t) of the problem utt(x,t) = a2uxx(x,t) - buxx(x,[i\), u(x, 0) = / 0 (x), «| (x, 0) = g0(x)
181
3.2. INITIAL-VALUE PROBLEMS
o n n < £ < n + l i s sought in the form un(x,t) = w„(x,t) + v„(x) whence a2v'^(x) - 6<(x,n) = 0 and d2wn/dt2 = a2d2wn/dx2. Setting u(x,n) = fn(x), ut(x,n) = g„(x) gives vn(x) = a-2bfn(x),
w(x, n) = (1 - a~2b)f„(x),
wt(x, n) = gn(x),
and b \ fn(x-a(t-n)) fn{x -- a(t - n)) ++ fnfn(x(x ++ a(ta(t-n)) - n)) =- ^\fn(*) u«■(*,*) n(x,t) / n ( * )++ ((ll -- ±) a2) 2 1
rx+a(t-n)
+ 7T 2a
,,„ , 9n{s) ds. Jx-a(t-n) Jz-a(t-n)
Putting t = n + 1 produces the recursion relations b \ fn{x ~- a) + fn(x +fla) fn+i(x) —fn{x)+\l-- ^) w * ) == £/.(«)+(i /■('-°)+/^+ ) a2) 2 1
f*+"
+ 5- /
. . .
M«) «s,
+ 2^"( X + a ) + 9n{x - a)). Loaded partial differential equations have properties similar to those of equations with piecewise constant delay. The IVP for the following class of loaded equations
^-'(s)^ + £*(s)-<"<<>-
u(x,0) = UQ(X) (3.34)
was considered in [28] and [296], where (x,t) G R" x [0,T], the *,- £ (0,T] are given, P(s) and Q(s) are polynomials in s = (s\,... ,s„), and £ |Qj(s)| ^ 0. Eq. (3.34) arises in solving certain inverse problems for systems with elements concentrated at specific moments of time. The Fourier transform U(s,t) of u(x,t) satisfies the equation Ut(s,t) = P(is)U(8,t)+i
Qj{is)U{s,tj),
182
3. PARTIAL DIFFERENTIAL EQUATIONS
whence, U(s, t) = £/0(s)eP(,'s)' + k(P(is), t) £ Qj{is)U(s, tj),
(3.35)
where UQ(S) is the Fourier transform of uo(x) and
k(P(is),t) =
j\p^dy.
Denote A i = Uo(s)epWi,
kj = k(P(is), tj),
B=£
Qj(is)U{s, i=i
tj), (3.36)
then multiply by Qj(is) each of the equations U(s, tj) = Aj + kjB, and add them. Hence,
j - 1,..., q
B = E AjQj(is) + BJ:
kjQj(is)
or 1 - £ kjQj(is)) B = Y, AjQj(is).
(3.37)
The equation A(s) = 1 - E Qj(is)k(P(is),
tj) = 0
(3.38)
is called the characteristic equation for (3.34) and its solution set Z is called the characteristic variety of (3.34). It is said [28] that (3.34) is absolutely nondegenerate if Z = 0 , nondegenerate of type a if a = inf | I m s | < oo,
s 6 Z ^ C",
and degenerate if Z = C". The case Z = 0 implies A(s) = const., since A(s) is meromorphic, and a meromorphic function that is not
3.2. INITIAL-VALUE PROBLEMS
183
constant assumes every complex value with at most two exceptions. The equation A(s) = C can be written as P(w) + £ Qi(w) - £ Q,(«)e p(, ' s) '' = CP(is) and is possible for q > 1 only if P(s) = const, otherwise exp(P(is)tj) would grow faster than any polynomial, which breaks the latter equal ity. For q = 1 we have _ P(i8) + Q1(i8)-Q1(is)ep^ A{S) ~~ P(iS) and in this case Z = 0 is equivalent to P(is) + Qi(is) = 0. On the other hand, A(s) = 0 is equivalent to P(is) + £ Qj(is) - £ Qj(is)ep(isK
= 0,
which implies P(s) = const. This establishes the following proposition which was stated in [28] without proof. LEMMA 3.1. Eq. (3.34) is absolutely nondegenerate if and only if ei ther of the following conditions holds true: (i)
P{s) = Cu
EQi(^(Ci,t/) = C2^l;
or (ii)
q = l,
P ( s ) + Q ! ( S ) = 0.
Eq. (3.34) is degenerate if and only if P(s) = Cu
ZQj(s)k(Cutj)
= l.
Substituting B from (3.37) in (3.35) leads to the proof of the following theorems which were formulated in [28]. T h e o r e m 3.6. The uniqueness classes for the solution of the Cauchy problem for an absolutely nondegenerate equation (3.34) are the same as those for the equation {without "loads") ut(x,t) = Pu(x,t).
184
3. PARTIAL DIFFERENTIAL EQUATIONS
T h e o r e m 3.7. The homogeneous degenerate IVP (3.34) has nontrivial solutions, with compact support.
{UQ{X)
= 0)
T h e o r e m 3.8. Suppose that (3.34) is of finite type a(0 < a < oo) and that u(x, t) is a solution of (3.34) with uo(x) = 0. If \u(x,t)\ < CeaM,
x£Rn,
te [0,2],
(3.39)
and a < a, then u(x,t) = 0. For any a > a there exists a solution u(x,t) ^ 0 o/(3.34) with UQ(X) = 0 satisfying (3.39). Boundary-value problems for loaded PDE and some of their applica tions were studied in [129] and [205]. The uniqueness classes for the solution of the Cauchy problem for the equation ut(x,t) = Pu(x,t) were explored in [43] and [87] and consist of the functions that grow no faster than exp(a|:r| a ) as |x| —► oo, where a > 1 depends on the degree of P(s). Integral transformations can be also used in the study ofEPCA. T h e o r e m 3.9. The solution of the problem ut(x, t) = a2uxx(x, t) - buxx(x, [t]),
u(x, 0) = u0(x)
(3.40)
is given by the formula
1
■fco-sC/K -
b \' / b y-'] (b „,
.,
- fA) JjB(x,* - [t])\ * uo(x),> (3.41) + (l (l-^ E(x, t + ji-[t])J*iio(x) where E(x,t) = exp(—x2/4a2t)/2a^/Tri and E(x,0) * uo(x) = uo(x). PROOF. For n < t < n + 1, Eq. (3.40) becomes ut(x,t) = a2uxx(x,t)
-
buxx(x,n),
and the Fourier transform U(s,t) = ^(^(a:,*)) satisfies the equation Ut(s, t) = -a2s2U(s, t) + bs2U(s, n), whence U(s,t) = Ce-a2^t-")
+
±U(s,n).
185
3.2. INITIAL-VALUE PROBLEMS
At t = n we have U(s,n) = C + \u(s,n),
C = (l -
\)u(s,n),
and U(s, t)=(±+(l-
A ) e - ^ 2 ( ' - « ) ) ff(., n).
(3.42)
At t = n + 1 this gives t/( S ,n + l ) = ( A + ( l - A ) e - ^ 2 ) c / ( S , n ) and
^ , n ) = (A + (i-A) e -^ 2 ) n c/( 5) o). Substituting the binomial expansion of U(s,n) in (3.42) yields for mula (3.41). ■ Now we again turn our attention to Eqs. (1) and (2) from the intro duction. T h e o r e m 3.10. The solution of Eq. (1) with the initial condition u(x,0) = UQ(X) is given by the formula u(x,t) = u0(x) * \Fxx{x,t)
- -^F(x,t)
+
-^F\x,h
where
i•
k F(x, t) = [ E ([t[h]) ^j k)h) i} £ {{) (-l) E(x, t-(j-
j=o \ 3 ) a *=o W
x2j+l
*WTTyHix}' H{x) = 1, for x>0, PROOF.
and H(x) = 0, for x < 0.
For nh < t < (n + l)h, we have ut(x,t) = a2uxx(x,t)
— bu(x,nh),
(3 43)
-
186
3. PARTIAL DIFFERENTIAL EQUATIONS
and the two-sided Laplace transform U(s,t) = L(u(x,t)) equation Ut(s, t) = a2s2U(s, t) - bUn(s),
satisfies the
Un(s) = U(s, nh)
whence
^.') = (^"-"',(1-^)+^)w ( S )gives = (e' 2 '" 2 ( l At t = (n + l)ht/ n+1 this "av)
Un(s) = {e^
and
+
av)
^(S)
+ (1 - e " 2 " * 2 ) ^ )
U0(s),
U0(s) = £( U o (x)). Hence,
Un(s) = U0(s) E f j ^ S
(j[)(-l)^<^
and
*'>=W5^|(!)(-I)'P'M-'W i _ «V(l-y-t)*) , j!_pa>hs*(n+k-j ')■ a2s2 a*sl which proves the result. Theorem 3.11. 77ie solution of Eq. (2) wttfi u(x,0) = uo(aO w given by the formula u(x, t) =
Uo (x)
* tar(x,*) - ^Fx(x,
where F(x,t) is defined in (3.43).
t) + ^Fx(x,h
t\\
3.2. INITIAL-VALUE PROBLEMS
187
T h e o r e m 3.12. The solution of problem (3.26) is given by the for mula u(x, t) = u0(x) * l £ ^
+Qj+l
h ]
j (& ( £ ) />■(*) * *)(*, t)
{k) Pj+l(X) * iFj (*' * [1]) " Fj{X>t]) )'
where
Fj(x,t) = £ M ( - l ) * ^ ( x , t - (j - *)A), E(x,t) is the fundamental solution of (3.29), and Pj(x) is the inverse Laplace transform of P~*(s). P R O O F . The solution u„(x,t) of (3.26) on nh < t < (n + l)h satis fies (3.4), (3.27), and for its two-sided Laplace transform in x we obtain the equation
Ut(s, t) + P(s)U(s, t) = Q(s)Un(s),
Un(s) = U(s, n),
whence U(s,t) = Ce-p^t-n^
+
P-\s)Q(s)Un(s).
At t = nh we have Un(s) = C +
P-\s)Q(s)Un(s)
and U(s,t) = (e-pW-nh)
+ (1 - e-'MC*-*)) p~*Q) Un(s).
At t = (n + l)/i this gives Un+l(s) = {e~pW + (1 - e - W ) P- J Q) % ( . ) , hence, Un(s) = {e-pW
+ (1 - e-^W") P " 1 ^ " C/0(S)
3. PARTIAL DIFFERENTIAL EQUATIONS
188
and
Un(s) = Uo(s) t {^jQjP-jpQ Q ( - 1 ) V W " - ^ . Therefore, J J U (.)fj: (f)Q 9 =^)(g(;)^>P- i
U(s U(>,t) ,*) = =
-(j-k)h) -i)*« ,-.?(«)(*(1)(-l)'e-^Xt-(i-*W
- ' ! #
k p-P(*)/.(n + £ (nW+1^J'_1 E (j)(-i)-i)V e- (sMn-j+k) -j+k)
*=o *=0 W w
i=o yy//
-1)V -P(«)(t- (j-k)h)\
^
# ) < which leads to (3.44)
■
Consider the initial-value problem ~ = A(D)u(x, t) + f(t, u(x, [t])), u(x,0)
(3.45)
= UQ(X),
where u(x,t) and u0(x) are m-vectors, x = (xi,£2>... ,#JV) € K^,
A{D) = £ 4*£>a, a = (ai,a 2 ,...,aAr), |a| = a t + a 2 H D = D?---D%», Dk = iO/dxk (k = a
1-%, l,2,...,N),
the coefficients yla are given constant matrices of order m X m, and the m-vector / G C 1 ([n,n + 1) x £ 2 (R JV ),i5 2 (R JV )), n = 0 , 1 , 2 , . . . . The number r is called the order of the system. It is assumed that u0 € £2(RN), and the solutions sought are such that u(x,t) E £2(RN), for every t > 0. Let fii(s), fi2(s),..., fim(s) be the eigenvalues of the matrix A(s). The system % = A(D)u
(3.46)
3.2. INITIAL-VALUE PROBLEMS
189
is said to be parabolic by Shilov if ReHj(s) <—c\s\h + b,
j =
l,...,m
where h > 0, c > 0, and b are constants. T h e o r e m 3.13. Problem (3.45) has a unique solution on RN x [0, oo) if system (3.46) is parabolic by Shilov, the index of parabolicity h co incides with its order r, and f £ Cl([n,n + 1) x £2(RN),£2(RN)), n = 0,1,2,.... P R O O F . For a fixed t we may consider the solution u(x,t) as an ele ment of £ (IR^), and f(t, u(x, [t])) may be treated as an abstract func tion f(t,u([t])) with the values in £2. Therefore, IVP (3.45) is reduced to the abstract Cauchy problem
-£ = Au + f(t, u([t])),
u\t=Q = u0e £2.
(3.47)
Applying to (3.46), with the initial condition u(x,0) = uo(x), the Fourier transformation "3f in x produces the system of ordinary dif ferential equations Ut(s,t) = A(s)U{s,t),
(3.48)
with the initial condition U(s,0) = UQ(S), where U(s,t) = 7(u(x,t)), Uo(s) = y(«o(a;)), and A(s) is a matrix with polynomial entries de pending on s = (si, S2i • • • j SN)- The solution of (3.48) is given by the formula U(s,t) =
etA^U0(s).
Parabolicity of (3.46) by Shilov implies that the semigroup T(t) of oper ators of multiplication by eiA^"\ for t > 0, is an infinitely smooth semi group of operators bounded in £ (M.N). Together with the requirement h = r, this ensures that the Cauchy problem for (3.46) is uniformly correct in £2(M.N) and all its solutions are infinitely smooth functions of t, for t > 0. Since / is continuously differentiable, problem (3.45) has on [0,1) a unique solution u(t) = T(t)u0 + I* T(t - s)f(s, u0) ds.
190
3. PARTIAL DIFFERENTIAL EQUATIONS
Denoting ui = u(l), we can find the solution u(t) = T(t - l ) U l + f T(t - s)f(s, ui) ds of (3.45) on [1,2) and continue this procedure successively. If f(t,u([t})) = Bu([t}), where B is a constant matrix, the solution of (3.45) for t G [0, oo) is given by
u(t)=(T(t-[t})
+ J^]T(t-S)Bds)j x n
(T(1)
k=[t] V
+ I* , T{k - s)B ds) u0, / 1 • *-
/
in accordance with (1.38). The theorem holds true if / includes also derivatives of u(x, [t]) in x of order less than r, provided the initial function UQ(X) is sufficiently smooth. ■ 3. A Wave Equation with Discontinuous Time Delay The purpose of this section is to investigate the influence of terms with piecewise constant time on the behavior of the solutions, especially their oscillatory properties, of the wave equation. Research in this direction was initiated in 1991 by Wiener and Debnath [297, 299]. First, we shall discuss separation of variables in systems of PDE. Consider the BVP consisting of the equation Ut(x, t) = AUxx{x, t) + BUxx(x, [<]),
(3.49)
the boundary conditions U(0,t) = U(l,t) = 0,
(3.50)
U(x,0) = U0(x).
(3.51)
and the initial condition
Here, U(x,t) and Uo(x) are real m x m matrices, A and B are real constant m X m matrices and [•] denotes the greatest-integer function.
3.3. WAVE EQUATION
191
Looking for a solution in the form U(x,t)=T(t)X(x)
(3.52)
gives T'(t)X(x)
= AT(t)X"(x)
+
BT([t])X"(x),
whence (AT(t) + BTW^T'it)
= X"(x)X-\x)
= -P2,
which generates the BVP X"(x) + P2X(x) = 0, X(0) = X(1) = 0
(3.53)
and the equation with piecewise constant argument T\t) = -AT(t)P2
- BT([t])P2.
(3.54)
The general solution of Eq. (3.53) is X(x) = cos(xP)Ci + sin(xP)C 2 , where oo / ' _ 1 , \ n T 2 n p 2 n (
oo f _ 1 "\n„2n+l p 2 n + l
cos(xP)=E * , sin(xP) = E ( * T; v „=o ( 2 ") ! (2n + l)! n=o and Ci,C2 are arbitrary constant matrices. From X(0) = 0 we con clude that C\ = 0, and the condition ^ ( 1 ) = 0 enables us to choose sin P = 0 (although this is not the necessary consequence of the equa tion (sin P)C2 = 0). This can be written eiP - e~iP = 0, e2iP = I. As suming that all eigenvaluespi,p2j • • • >Pm 2) = diag(pi,p2,...,pm), we have exp(2i52)5of P are1 )distinct = / , 5and e 2 , J ,S^PS 5-1 = = /, 1 1 2, 2) = e diag(pi,/> we= have exp(2i52)5/ , Se^S' and ° = I. Therefore, diag(7r;'i, 7172, ■ ■ )•, =i".?m)> where the=jk/ ,are 2 ,---,i>m), 2) and e 2, ° = integers, andI. PTherefore, = 52) 5 - 12) , = diag(7r;'i, 7172, ■ ■ •, njm), where the jk are integers, and P = 52) 5 - 1 , P 2 = S&S-' = 5 d i a g ( ^ 2 , TT2;2, . . . , n2j2JS~\
192
3. PARTIAL DIFFERENTIAL EQUATIONS
sin(xP) = SsinixtyS-1 more, we can put
- 5diag(sin7rjix,... ,simTJmx)S~l.
Further
Pj = diag(7r(m(j - 1) + 1 ) , . . . , nmj),
(3.55)
(.7 = 1,2,...) in (3.53) and obtain the following result. Theorem 3.14. There exists an infinite sequence of matrix eigenfunctions for BVP (3.53), Xj(x) = y/2 diag(sin7r(m(j - 1) + l ) x , . . . ,sin7rmjx), 0 = 1,2,...) which is complete and orthonormal in the space £ [0,1] ofrnxm trices, that is,
(3.56) ma
JQlXj(x)Xk(x)ds = l[^ j * * where I is the identity matrix. REMARK 3. The matrices SXj(x)S~l nonsingular 5.
satisfy Theorem 3.14 for any
Theorem 3.15. Let E(t) be the solution of the problem T(t) = -AT(t)P2,
r(0) = /
(3.57)
and let M(t) = E(t) + (E(t) - I)A~lB.
(3.58)
/ / the matrix A is nonsingular, then Eq. (3.54) with the initial condition T(0) = CQ has on [0, oo) a unique solution T(t) = M(t - [t])M®(l)C0.
(3.59)
P R O O F . On the interval n < t < n + 1, where n > 0 is an integer, Eq. (3.54) turns into
T'(t) = -AT(t)P2
- BCnP2,
C„ = T(n)
193
3.3. WAVE EQUATION
with the general solution T(t) = E(t - n)C -
A~lBCn.
At t = n we have C„ = C - A~lBCn, whence C = (I + A~lB)Cn
and
l
T(t) = (E(t -n) + (E(t - n) -
I)A~ B)Cn,
that is, T{t) = M{t - n)Cn.
(3.60)
At t = n + 1 we have Cn+l = M(1)C„ and C„ = M"(1)C 0 .
(3.61)
Hence, n)Mn(l)C0,
T(t) = M{t which is equivalent to (3.59)
■
Theorem 3.16. / / ||M(1)|| < 1, then \\T(t)\\ exponentially tends to zero as t —> +oo. EXAMPLE 4. For the scalar parabolic equation ut(x, t) = a2uxx(x, t) + buxx(x, [t]) we have m = 1 and Pj = nj, according to (3.55). For Eq. (3.57) with A = a2 and P = Pj, we have Ej(t) = e-a^^H and Mj(t)
= e-<W - A(i _ e -<W).
Hence, the inequality |Mf(l)| < 1 is equivalent to _ l
< e
- ^
2
_ ^
( 1
a*
_
e
- ^
2
) < l ,
whence -a
2
.
2l
2
2-2
+ e-°2^ 1 _ a w
194
3. PARTIAL DIFFERENTIAL EQUATIONS
Since the function (1 + e~')/(l — e - ') is decreasing, all functions Tj(t) exponentially tend to zero as t —► oo if and only if - a2 < b < a 2 .
(3.62)
lib < —a2, then all Tj(t) monotonically tend to infinity as t —► oo; and if b > ( l
! _
e
- a V
then all Tj(t) are unbounded and oscillatory. For any b > a2, there exists a positive integer jo such that the Tj{t) are unbounded and oscil latory, for j > jo- Indeed, letting b = a2 + e and solving the inequality ,,2
+ e>
,1 + e"- a M j a
2
11 — e.a»«»j»
gives -aMj2
<
€ 22
2 a + e* e' 2a
which holds for any positive e and sufficiently large j and implies Mj(\) < - 1 . If b = -a2, then Mj(t) = 1, Tj(t) = Tj(0), and u(x,t) = U(j(x), for all t. Therefore, the condition |6| < a2 is neces sary and sufficient for the series 00
u(x,t) = J2Tj(t)Xj(x)
(3.63)
to be a solution of the scalar BVP (3.49)-(3.51), with A = a2 and B = b, if UQ(X) is three times continuously differentiable. The coefficients 7)(0) are given by
Tj(0)=j\0(x)Xj(x)dx, where Xj(x) = ^sin(njx)
and u0(x) G C3[0,1] satisfies u0(0) = u 0 (l) = 0.
3.3. WAVE EQUATION
195
Theorem 3.17. The solution T = 0 of Eq. (3.54) is globally asymp totically stable as t —» +oo if and only if the eigenvalues Xr of the matrix M(l) satisfy the inequalities |Ar|
r = l,...,m.
(3.64)
LEMMA 3.2. All entries of every solution of the equation T\t) = A{T{t)Ai,
(3.65)
with constant m x m matrices A\ and Ai, are linear combinations of terms tk exp(a\ ctj t), where a\ and cq are eigenvalues of A\ and Ai and k is a non-negative integer. PROOF. Assume, for simplicity, that the eigenvalues of A\ and Ai are distinct, and let
SfUjSj =2)! =diag(a ( 1 1) ,4 1) ,---,«£ ) ), S? A2S2 = 2>2 = diag(a(12), a%\ ..., ag>). Then the substitution T — S\V changes (3.65) to V'(t) = DiV(<)A2>
(3.66)
and the substitution V = WSi1 transforms (3.66) into W'(t) = 2)iW(t)© 2 . The entries of W{t) are c,-j exp(a,- 'o^ '<), with arbitrary constants c^, and the completion of the proof follows from the formula T = SiWS^1If some of the eigenvalues are multiple, polynomial factors will replace the constants c,j ■ Theorem 3.18. If all eigenvalues of A have positive real parts and U0(x) e C 3 [0,1] ; \\A~lB\\ < 1, then BVP (3.49)-(3.51) has a solu tion (3.63). This series and all its term-by-term derivatives converge uniformly. P R O O F . The functions Tj(t) satisfy Eq. (3.54), with Pj from (3.55). Therefore, setting in the above lemma Ai = —A, Ai = Pf and noting that R e a | ^ < 0, ay > 0, we conclude that Ej(t) —► 0 as j —► 00 and
196
3. PARTIAL DIFFERENTIAL EQUATIONS
all t > 0, where Ej(t) is the solution of (3.57). Hence (3.58) implies Mj(t) —► -A~lB as j —> oo and ||My(t)|| < 1, for sufficiently large j , by virtue of the condition ||>1—2JB|| < 1. Prom the formula Tj(t) =
Mj(t-[t])Mf](l)C0j
we note that ||Tj(t)|| —► 0 exponentially as t -> oo, for sufficiently large j . Therefore, for any e > 0, there exist t =
U
Separation of variables in the matrix equation with constant coeffi cients Ut(x, t) = A0U(x, t) + A2Uxx(x, t) + B0U(x, [t]) + B2Uxx(x, [t]) leads to (3.53) and to the EPCA T{t) = A0T(t) - A2T(t)P2 + B0T([t]) -
B2T([t])P2,
which can be also investigated by the above method. Separation of variables in the equation with constant coefficients uti(x,t)
= a2uxx(x,t)
- buxx(x, [t])
(3.67)
and boundary conditions (3.50) yields Xj(x) = v^sin(7rjx) and leads to the EPCA T'J(t) + a2-K2j%(i) = b^j%{[t\).
(3.68)
For brevity, omit the subindex j and use the substitution T'(t) = V(t), which changes (3.68) to a vector EPCA w\t) = Aw(t) + Bw([t]),
(3.69)
197
3.3. WAVE EQUATION
where w = col(T, V) and A =
( - a V j 2 o) '
B=
[bn2j2 Oj •
Eq. (3.69) on the interval n < t < n + 1 becomes w'(t) = Aw(t) + Bcn,
cn = w(n)
with the solution w(t) = M(t - n)c„, where M{t) = eAi + (eAt -
I)A~lB.
(3.70)
Therefore, Eq. (3.69) with the initial condition w(0) = CQ has on [0, oo) a unique solution given by the right-hand side of (3.59), where M(t) is defined in (3.70). T h e o r e m 3.19. For b < 0, the solution w = 0 of Eq. (3.69) is un stable. PROOF. Computations show that eM = cos(wf)/ + w _1 sm(ujt)A and At _ j _
cos wt — 1 a; v— (jjsmujt
sin ut
cos Ljt — \/
where u> = anj. Also (eAt - I)A-lB
=
6(1 - cos u)t)la2 0' , (bui sin uit) j a
Oj
Hence,
M(t) =
cos wt + ba~2(l — cosut) u 2
(ba~ — l)u sin uit
l
sinuit
coswt
)
198
3. PARTIAL DIFFERENTIAL EQUATIONS
and det Mil) = 1
r + — cos w. a a1 The condition b < 0 implies det M(l) > 1 and shows that at least one of the eigenvalues A of M(l) satisfies |A| > 1. Therefore, ||w(*)|| —► oo as t —► +oo, for some initial vector CQ ^ 0. ■ 1
T h e o r e m 3.20. For b > a2, the solution w = 0 of Eq. (3.69) is unstable. Calculations yield
PROOF.
det(M(l) - XI) = A2 - 2 (cos w + - r sin2 ^ ) A + 1 r + -^cosu \ a1 2/ a^ az and the expressions Ai = s + d, A2 = s — d for the eigenvalues Ai, A2 of M ( l ) , where s = cos u H—r2 sin 2 a-
W
2 n\ • 2 . °6 • 4 W 1 S,nfa; + 8,n
Z' 6
J2
2' ^a =U~ J 2
?
2-
The condition b > a2 shows that d > 0 and Ai > 1. The latter inequality implies ||w(£)|| —» 00 as t —► +00, for some initial vector
c 0 ^0.
■
Theorem 3.21. The solution w = 0 of Eq. (3.69) ts asymptotically stable as t —> +00 i/ and on/y if 0 < 6 < a2,
(3.71)
and w ^ 27rn, n = 0 , 1 , 2 , . . . . PROOF. The condition d2 < 0, which means t h a t the eigenvalues of M ( l ) are complex, leads to , u> b2 cos — 2 > (2a2-6)2' whence 6 < a 2 (1 - tan 2 j j
or
6 < a 2 f 1 - cot 2 ~\ .
3.3. WAVE EQUATION
199
Since |Ax| = |A2| and detM(l) = AiA2, the inequality |Ai| < 1 is equivalent to detM(l) < 1, that is, to b > 0. Therefore, in the case of complex eigenvalues, a criterion for asymptotic stability is 0 < b < max o2 fl - t a n 2 ^ ] ,a 2 ( l - c o t 2 - ] ) . The inequality d2 > 0 in the case of distinct real eigenvalues leads to b > max (a 2 (1 - tan 2 j ) , a2 (l - cot2 - ] ] , and the inequahties Ai < 1, A2 > — 1 yield b < a2 Hence, in this case a criterion of asymptotic stability is max (a 2 (l - t a n 2 - ) ,a2 fl - c o t 2 ^ ) ) < b < a2. Finally, if b = max (a2 (l - tan 2 j J , a2 [ 1 - cot2 j j j , then d = 0 and Ai = A2 = cosw + ba~2 sin2 u>/2, whence cos u) < Aj < cos2 UJ/2 and |Ai| < 1. According to (3.64), this implies asymptotic stability and completes the proof of criterion (3.71). 4. If b = a2, then Ai = 1, A2 = cosui, and the solutions of (3.69) are bounded but not asymptotically stable. REMARK
REMARK 5. In Theorems 3.19 and 3.20 it was implicitly assumed that to ^ 2nn. If u> = 27rn, then Ai = A2 = 1, which leads to the existence of unbounded solutions for (3.69).
COROLLARY 3.2. / / the coefficient a is irrational, then (3.71) is a criterion of asymptotic stability of the solutions to (3.68) for all j . P R O O F . Recalling that LU = UJJ — anj, we note that the equality anj = 2im is impossible for any irrational a. ■
200
3. PARTIAL DIFFERENTIAL EQUATIONS
COROLLARY 3.3. For any rational a, there exist infinitely many in tegers j such that the corresponding solutions Wj(i) of (3.69) are un bounded. PROOF. The equation w, = 2nn implies j = 2n/a, and j will be an integer for infinitely many integer n. ■ Theorem 3.22. Each component of every solution of Eq. (3.69) os cillates if and only if either of the following conditions holds true: (i)
b < max (a 2 (l - t a n 2 - ) ,a 2 ( l - c o t 2 T ) ) >
(ii)
max (a2 ( l - tan 2 - J ,a 2 f 1 - cot2 — j j < b
a2 2 sin2 |
and cosw < —|. PROOF. Hypothesis (i) means that the eigenvalues of M ( l ) are com plex, and in this case all nontrivial solutions of (3.69) oscillate com ponentwise. In the case of real eigenvalues, we require d2 > 0 and Ai = s + d < 0, which also implies \2 = s — d < 0, where s and d