Journal of Differential Equations 69, 6463 (00) doi:0.006jdeq.000.390, available online at http:www.idealibrary.com on The Asymptotic Shapes of Periodic Solutions of a Singular Delay Differential System Yuming Chen and Jianhong Wu Department of Mathematics and Statistics, York University, 4700 Keele Street, Toronto, Ontario M3J P3, Canada Received April 9, 999; revised February 3, 000 dedicated to professor jack hale on the occasion of his 70th birthday Let f(},*): R R be given so that f(0, *)=0 and f(x, *)=(+*) x+ax + bx 3 +o(x 3 ) as x 0. We characterize those small values of =>0 and * # R for which there are periodic solutions of periods approximately k with k # N of the following system arising from a network of neurons { =x* (t)=&x(t)+ f( y(t&), *), =y* (t)=&y(t)+ f(x(t&), *). The periodic solutions are synchronized if k is even and phase-locked if k is odd. We show that, as = 0, these periodic solutions approach square waves if a=0 and b<0, and pulses if a=0 and b>0 or if a{0. 00 Academic Press. INTRODUCTION For =>0 and f # C m (R_R), m3, the following system of delay differential equations =x* (t)=&x(t)+ f( y(t&), *), (.) { =y* (t)=&y(t)+ f(x(t&), *) describes the dynamics of a network of two identical amplifiers (or neurons) with delayed outputs. See, for example, Hopfield [0], Marcus and Westervelt [], and Wu [3]. For a given *, if! f(!, *)>0 for! # R, then system (.) models the delayed excitatory interaction of two identical neurons. We have recently obtained some results about the global dynamics of system (.) under some minor technical hypotheses [35]. It is shown that system (.) has at least two periodic orbits when = is less than a certain value, one is synchronized and has the minimal period between and and the other one is phase-locked and has the minimal period larger than. Here a solution 00-03960 35.00 Copyright 00 by Academic Press All rights of reproduction in any form reserved. 64
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 65 (x, y) of (.) is synchronized if x#y in their domains of definition, and a phase-locked T-periodic solution of (.) is one satisfying x(t)=y(t& T ) for all t # R. The purpose of this paper is to study the limiting properties of these periodic solutions of (.) as = 0. More specifically, we assume that f(x, *)=(+*) x+ax +bx 3 +o(x 3 ) as x 0. (.) When a{0, f(},*) has only one nontrivial fixed point c 0* in a small neighborhood of 0. When a=0, we observe that if *b<0 then f(},*) has two distinct nonzero fixed points c * and c * in a small neighborhood of 0; if *b>0 then 0 is the only fixed point of f in a small neighborhood of 0. Furthermore, c 0*, c *, c * 0as* 0. One of our objectives here is to understand how these fixed points of the map f(},*) is reflected into the bifurcation from the origin of periodic solutions whose periods are approximately k with some k # N. Our work is inspired by that of Chow et al. [] and Hale and Huang [9] for a scalar delay differential equation with negative feedback. In fact, our presentation here is parallel to those in [, 9]: we show that the aforementioned periodic solutions are determined from the periodic solutions of special perturbed planar Hamiltonian systems that are obtained by an application of the normal form theory for retarded functional differential equations with parameters developed by Faria and Magalha~ es [7]. We will show that the normal forms on the associated center manifold are exactly the same (up to the third order term) as those for the negative feedback equations if we assume the second order term of f(x, *) vanishes, i.e., a=0, though interpretation for the limiting properties of the resulted periodic solutions for the original system (.) as = 0 are different from that of the negative feedback analogue. In the case where a{0, however, we will have a different normal form and different limiting profiles of periodic solutions as = 0. Roughly speaking, our results are as follows: for any k # N, there exist a neighborhood U k of (0, 0) in the () plane and a sectorial region S k in U k such that, if ()#U k, then there is a periodic solution (x~ (k) (k), y~ )of (.) with period k (+=)+O( = ( * + = )) as () (0, 0) if and only if ()#S k. Moreover, this orbit is unique and the solution (x~ (k) (k), y~ )is synchronized if k is even and phase-locked if k is odd. When a=0, as = 0, the solution (x~ (k) (k), y~ ) approaches square wave if b<0 or pulse if b>0. When a{0, the solution (x~ (k) (k), y~ ) approaches pulse as = 0. Note that when k is even, the periodic solution (x~ (k), y~ (k) ) is synchronized and hence x~ (k) satisfies =x* (t)=&x(t)+ f(x(t&), *). (.3)
66 CHEN AND WU Also note that periodic solutions of (.3) give synchronized periodic solutions of (.). Because of the uniqueness, we can deduce similar results for (.3) from the above results. That is, for any k # N, there exist a neighborhood V k of (0, 0) in the () plane and a sectorial region R k in V k such that if ()#V k, then there is a periodic solution x (k) of (.3) with period (+=)+O( = ( * + = )) as () (0, 0) if and only if ()#R k k. Moreover, as = 0, if a=0 then the solution x (k) approaches square wave if b<0 or pulse if b>0; if a{0 then the solution x (k) approaches pulse as = 0. The results for the case where a=0 are similar to those obtained by Chow et al. [] and Hale and Huang [9] for Eq. (.3) with f satisfying f(x, *)=&(+*) x+ax +bx 3 +o(x 3 ) as x 0. (.4) See [, 9] for more details. We observe that in [, 9], neither a nor b alone but their combination ;=a +b determines the bifurcation diagrams. However, in our case, if a{0 then a itself alone determines the bifurcation diagrams and the bifurcation diagrams are different from the case where a=0 and also from the case considered in [, 9]. This indicates a difference between excitatory and inhibitory networks of neurons. The precise statements of our main results are given in Section. The main results follow from the normal form equations on the center manifold, which are computed in some detail in Section 3 by using the normal form theory developed by Faria and Magalha~ es [7], and similar arguments to those in [] and [9].. MAIN RESULTS Before obtaining the planar system on an associated center manifold, let us first do some local analysis for system (.). The linear variational system around the equilibrium solution 0 of (.) is =x* (t)=&x(t)+(+*) y(t&), { =y* (t)=& y(t)+(+*) x(t&). By analyzing the characteristic equation (=&++(+*) e && )(=&+&(+*) e && )=0, we can see that for given *>0 and k # N, there exists - * +* = k (*)= k?&arc cos((+*))
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 67 such that = k (*) &++(&) k (+*) e && =0 has a pair of purely conjugate imaginary solutions \i(k?&arc cos +* ). Furthermore, if the complex roots near === k (*) are denoted by +() and + (), then +( k (*)) =<0. Therefore, there is a Hopf bifurcation of a periodic solution in (.) and the period is around?k?&arc cos((+*)) # (, 4 k k& ). It can be shown also that for a given k # N there is a unique periodic orbit bifurcating from the origin under the assumption that a &b{0 (this follows easily from the calculation of the direction of bifurcation, see, for example, Diekmann et al. [6]) and the period of this unique periodic orbit is approximately?(k?&arc cos((+*)) as * k 0+. The basic problem now is to determine the region near the origin in the parameter space () for the existence of this bifurcating periodic orbit and to determine the limiting properties of this orbit as = 0. We now introduce some scalings in two cases. Case A. k is even. Let k=l for some l # N. We suppose that (.) has a periodic solution (x, y) with period +r l l= and let { w (t)=x(&=r l lt), w (t)=y(&=r l lt). (.) Since (x, y) has period l +r l=, it follows from (.) that { w* (t)=r l lw (t)&r l lf(w (t&), *), w* (t)=r l lw (t)&r l lf(w (t&), *). (.) System (.) is now independent of =. We look for periodic solutions of (.) in a neighborhood of the origin. This can be regarded as a two parameter bifurcation problem with (*, r l ) as parameters. The next step is to determine the approximate value of the constant r l in the formula for the period l +r l=. The appropriate approximate value of r l is obtained by considering the linear variational system around the zero solution of (.) for *=0, { w* (t)=r l lw (t)&r l lw (t&), w* (t)=r l lw (t)&r l lw (t&). (.3) The corresponding characteristic equation of (.3) is (&&r l l) &(r l le && ) =0. (.4)
68 CHEN AND WU Note that &=0 is always a zero of (.4). It is a simple zero if r l { l and it is a double zero if r l = l. Also note that all other zeros of (.4) except a unique positive real zero have negative real parts. Since bifurcation from a simple zero does not lead to periodic orbits, it is natural to take r l =. l Case B. k is odd. Let k=l& for some l # N. Suppose that (.) has a periodic solution (x, y) with period +r l& l&=. Introducing { w (t)=x[&=r l& (l&) t], w (t)=y[&=r l& (l&) t+=r l& (l&)+], (.5) we get { w* (t)=r l& (l&) w (t)&r l& (l&) f(w (t&), *), w* (t)=r l& (l&) w (t)&r l& (l&) f(w (t&), *). (.6) Using similar analysis to that for Case A, we should choose r l& =. l& We remark that we need different scalings (.) and (.5) to get the transformed systems (.3) and (.6), respectively. In fact, if we assume that (.) has a periodic solution (x, y) with period (+r k k=), then it is natural to introduce Thus, Note that { w (t)=x(&r k =t), w (t)=y(&r k =t). { w* (t)=r k w (t)&r k f( y(&r k =t&), *), w* (t)=r k w (t)&r k f(x(&r k =t&), *). &r k =t&=&r k =(t&)&(r k =+) =&r k =(t&)& k \ k (+r k=) +. By the periodicities of x and y, it is easy to see that the suggested scaling works only for k being even. For k being odd, there remaining an additional half period. This leads us to introduce the scaling (.5) for that case.
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 69 From the above discussions, for any l # N, if we let r l = +h l or r l& = +h l&, where h is a small parameter, then (.3) and (.6) can be rewritten as { w* (t)=(+h) w (t)&(+h) f(w (t&), *), w* (t)=(+h) w (t)&(+h) f(w (t&), *). (.7) If we let w=(w, w ), then (.7) is equivalent to where w* =Lw t +hlw t &F *, h (w t ), (.8) L.=.(0)& _0.(&), (.9) 0& F *, h (.)=(+h) _ &. (&)+ f(. (&), *) &. (&)+ f (. (&), *)& (.0) for.=(.. )#C=C([&, 0]; R ), the Banach space of all continuous mappings from [&, 0] to R equipped with the super norm, and w t (%)= w(t+%) for &%0. This suggests that we should consider (.8) as a perturbation of the linear equation v* =Lv t. (.) Equation (.) generates a strongly continuous semigroup T(t) on the phase space C. The infinitesimal generator A of T(t) has domain D(A)=[. # C :.* (0)=L.] and A.=.*, where C =C ([&, 0]; R )is the space of all continuously differentiable mappings from [&, 0] to R. The point spectrum of A is given by solutions of the characteristic equation (&&) &e && =0, which has 0 as a double zero, a unique simple positive real zero and all other zeros have negative real parts. Thus, the small periodic orbits of (.7) or (.8) will lie on a two-dimensional center manifold which is tangent to the generalized eigenspace of A associated with the eigenvalue 0. The generalized eigenspace 4 of A corresponding to the eigenvalue 0 has a basis 8(%)= _ 3 3 +%, &%0. (.) +% &&
60 CHEN AND WU The adjoint linear equation of (.) is u* (t)=&u(t)+ _0 0& u(t+), with a basis for the generalized eigenspace of the eigenvalue 0 being given by 9(s)= _ s, 0s. (.3) s& The associated bilinear form is (,.)=(0).(0)& 0 (!+) & _0.(!) d!. (.4) 0& With the above choices of basis, we verify easily that (9, 8)=I, the _ identity. As a consequence, the space C can be decomposed as where C=4 Q, 4=[.=8x : x # R ], Q=[. # C :(9,.)=0]. (.5) Each of the closed linear subspaces is invariant under the semigroup T(t). We also note that A8=8B, B= \ 0 & 0 0+. For details of the above discussion, we refer to Hale [8]. Under the decomposition w t =8x(t)+y(t), we can decompose (.8) as { x* =Bx+9(0) [hl(8x+ y)&f *, h(8x+ y)], y* =A Q y+(i&6) X 0 [hl(8x+ y)&f *, h (8x+ y)], (.6) with x # R and y # Q =Q & C. Here and throughout this paper, we refer to Faria and Magalha~ es [7] for explanations of several notations involved. To avoid confusion, we used 6 for the projection. Proposition. Any solution (w, w ) of (.7) on the center manifold is synchronized, i.e., w #w.
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 6 Proof. Let (w, w ) be a solution of (.7) on the center manifold. Then it is defined for all t # R. Write w t =8x(t)+y(t), where x(t)#r and y(t)#q for t # R. Then (x, y) satisfies (.6). From the symmetry of (.7), we know that (w, w ) is also a solution of (.7) on R. It follows from (.)(.5) that ((8x),(8x) )=8x for x # R and (Y, Y )#Q if and only if (Y, Y )#Q, here we write 8x=((8x),(8x) ). If we write y(t)=(y (t), Y (t)). Then ((w ) t,(w ) t )=8x(t)+(Y (t), Y (t)) for all t # R. By the uniqueness of solutions of (.6) we get Y (t)=y (t) for all t # R. Thus, (w ) t =(8x(t)) +Y (t)=(8x(t)) +Y (t)=(w ) t for all t # R. Hence, w (t)=w (t) for all t # R, i.e., w #w. This completes the proof. Remark. Proposition, combined with (.) and (.5), implies that if k is even then the periodic solution of (.) with period +r k k= is synchronized and if k is odd then the periodic solution of (.) with period +r k k= is phase-locked. Also, Proposition implies that to consider the small periodic solutions of (.) we only need to consider synchronized solutions of (.7), i.e., consider u* (t)=(+h) u(t)&(+h) f (u(t&), *). We can start from this to calculate the normal form on the center manifold. But this would not simplify our calculation and hence we continue our discussion with system (.7). Using the normal form theory for retarded delay differential equations developed by Faria and Magalha~ es [7], we obtain the normal form of (.7) or (.8) on the center manifold, which is given by \ x* x* + =\ & ( 4 *+h) x 3 +*x & 8 ax 3 x &ax 46 +(b+ 9 a ) x 3 & 5 3 a*x 4 3 ahx 48 +(4b+ 45 a ) x x & 8 a*x 7 x & 8 ahx 9 x + &x (.7) up through terms of O((*+h) x +(*+h) x 3 + x 4 ). The details for the calculation of (.7) are given in the next section. When a=0, system (.7) reduces to { x* =( 4 *+h) x 3 +*x +bx 3 +4bx x, x* =&x, which is the same as (.6) in [9] with ;=&b and can be transformed into (.3) of [] by rescaling x and x if b<0. Thus, we can use Remark
6 CHEN AND WU and the same arguments in [, 9] to obtain the existence of periodic orbits and the bifurcation diagrams. When a{0, the dynamics of (.7) is determined by terms up to second order (see Carr [] and Kopell and Howard []). Hence, we only need to consider { x* =( 4 *+h) x 3 +*x & 8a x 3 x &ax, x* =&x. (.8) We can study system (.8) in a similar fashion as that of Hale and Huang [9]. In fact, if we introduce the scalings {*=&:+, h=+$, u (t)=&sgn(a) - a u (t)=&sgn(a) + x \ & t - ++, - a - + \ x & t 3 in (.8), then we obtain the equivalent system - ++ {u* =u, - a u* =:u +#u & - a u &8 3 +u u, (.9) where #= - :+3&- $ and sgn is the sign function. For +=$=0, we obtain the conservative system { u* =u, u* =:u & - a u. When :>0, system (.9) is the same form as system (7.4) in Kopell and Howard [] and when :<0 we can transform it into the case where :>0 by using the transformations mentioned in Carr []. Therefore, we can use the technique in Kopell and Howard [] to find the periodic solutions. Furthermore, using similar arguments as those in Hale and Huang [9] with the help of the proofs of Lemmas 7. and 7. in Kopell and Howard [] (they are so similar and hence are omitted here), we can get the bifurcation diagrams for the case where a{0. In summary, we have obtained the following results.
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 63 Theorem 3. Suppose that f (x, *) satisfies (.) with a &b{0. Then, for any k # N, there is a neighborhood U k of (0, 0) in the () plane and a sectorial region S k in U k such that, if ()#U k, then there is a periodic solution (x~ (k) (k), y~ ) of (.) with period k (+=)+O( = ( * + = )) as () (0, 0) if and only if ()#S k. Furthermore, this orbit is unique and the solution is synchronized if k is even and phase-locked if k is odd. When a=0 and b<0, for small and fixed *=* 0 >0, the set [=;(* 0, =)#S k ] is an interval (0, = k (* 0 )). At the point (* 0, = k (* 0 )), there is a Hopf bifurcation and the periodic solution approaches a square wave as = 0; that is, the periodic solution (x~ (k), * 0, = y~(k) * 0, = ) has the property that x~ (k) (t) c * 0, = * 0 (respectively, c *0 ) as = 0 uniformly on compact subsets of (0, )(respectively, k (, k k )) (possibly after a translation, same for the other cases) (see Fig. ).When a=0 and b>0, for small and fixed *=* 0 >0, the set [=; (* 0, =)#S k ] is an interval (= k (* 0 ), ; k (* 0 )). At the point (* 0, = k (* 0 )), there is a Hopf bifurcation. For small and fixed *=* 0 <0, the set [=;(* 0, =)#S k ] is an interval (0, : k (* 0 )). As = 0, the unique periodic solutions become pulse-like in the following sense: the periodic solution (x~ (k) (k) (k) * 0, =, y~ * 0, = ) has the property that x~ * 0, = (t) 0 as = 0 uniformly on compact subsets of (0, k) _ ( k, k). The magnitude of the pulse exceeds max[ c *0, c *0 ] (see Fig. ).When a{0, for small and fixed *=* 0 >0, the set [=; (* 0, =)#S k ] is an interval (= k (* 0 ), ; k (* 0 )). At the point (* 0, = k (* 0 )), there is a Hopf bifurcation. For small and fixed *=* 0 <0, the set [=; (* 0, =)#S k ] is an interval (0, : k (* 0 )). As = 0, the unique periodic solutions become pulse-like with the magnitude of the pulse exceeds c 0*0 (see Fig. 3). It is interesting to mention that the two nonzero fixed points c * and c * play the same important role played by the two period doubling points d * FIG.. a=0 and b<0.
64 CHEN AND WU FIG.. a=0 and b>0. and d * of [, 9]. Also note that the existence results in Theorem 3 were previously obtained in [3, 5] for some special f. Remark 4. When considering (.3) with f satisfying (.4), Hale and Huang [9] showed that the vector field on the center manifold is odd. Thus the second order terms in the vector field vanish and hence the phenomenon of all periodic solutions approaching pulses cannot happen. More precisely, neither a nor b alone but their combination ;=a +b determines the bifurcation diagram. But in our model, when k is even, the periodic solutions are synchronized and hence we get the bifurcation diagrams for (.3) with f satisfying (.). However, when a{0, a itself FIG. 3. t-axis. The case of a>0. For the case of a<0 just reflect the graph with respect to the
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 65 alone can determine the bifurcation diagram, which is different from that in [, 9]. This also indicates some differences between excitatory and inhibitory networks of neurons. 3. CALCULATIONS OF THE NORMAL FORM ON CENTER MANIFOLD In this section, we employ the algorithm and notations of Faria and Magalha~ es [7] to derive the normal form (.7) of system (.8) on the center manifold. For the convenience of presentation, we let e and e be the standard basis of R, i.e., e =(, 0) T and e =(0, ) T. We also introduce N 0 = N _ [0]. For q=(q, q, q 3, q 4 )#(N 0 ) 4, let q = 4 q i= i and (x, *, h) q = x q xq 0 ].(&). We consider the following delay differen- *q 3 h q 4. Let L.=.(0)&[ 0 tial equation where w t # C=C([&, 0]; R )and w* =Lw t +hlw t &F *, h (w t ), (3.) F *, h (.)=(+h) _ &. (&)+ f(. (&), *) &. (&)+ f(. (&), *)&,.= \.. + with f satisfying f(x, *)=(+*) x+ax +bx 3 +o(x 3 ) as x 0. We regard (3.) as a perturbation of the linear equation v* =Lv t. (3.) Equation (3.) generates a strongly continuous semigroup T(t) on the phase space C. The infinitesimal generator A of T has domain D(A)= [. # C :.* (0)=L.] and A.=.*. The point spectrum of A is given by the solution of the characteristic equation (&&) &e && =0, which has zero as a double root and no other roots have zero real parts. So we have a two-dimensional center manifold.
66 CHEN AND WU We know that the generalized eigenspace 4 of A associated with the eigenvalue 0 has a basis Let 8(%)= _ 3 3 +%, &%0. (3.3) +% && 9(s)= _ s, 0s. (3.4) s& Then under the bilinear form (,.)=(0).(0)& 0 (!+) & _0 0&.(!)d!, it is easy to verify that (9, 8)=I, the _ identity. Thus, C can be decomposed as where We also note that C=4 Q, 4=[.=8x : x # R ], Q=[. # C :(9,.)=0]. A8=8B, B= _ 0 & 0 0&. Under the decomposition w t =8x(t)+y(t), we can decompose (3.) as { x* =Bx+9(0)[hL(8x+ y)&f *, h(8x+ y)], y* =A Q y+(i&6) X 0 [hl(8x+ y)&f *, h (8x+ y)], with x # R and y # Q. We will write the Taylor expression 9(0)[hL(8x+ y)&f *, h (8x+ y)]= : j j! f j (x, y, *, h), (3.5)
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 67 where f j (x, y, *, h) are homogeneous polynomials of degree j in (x, y, *, h) with coefficients in R. Then the normal form of (3.) on the center manifold of the origin at (*, h)=(0, 0) is given by x* =Bx+! g (x, 0,*, h)+ 3! g 3 (x, 0,*, h)+h.o.t., (3.6) where g and g 3 will be calculated in the following part of this appendix and h.o.t. represents the higher order terms. Note hl.&f *, h (.)= {h _. (0). (0)& &(*+h) h _. (&). (&)& &a _ (. (&)) (. (&)) &= + {&b _ (. (&)) 3 (. (&)) 3& &ah _ (. (&)) (. (&)) & &*h _. (&). (&)&= +h.o.t., which, combined with (3.3), (3.4), and (3.5), implies f (x, 0,*, h)= \ 4[hx + 3 *x +*x &a( 4 9 x + 4 3 x x +x )] 0 +. (3.7) These are the second terms in (x, *, h) of (3.5). Following Faria and Magalha~ es [7], we have the second terms in (x, *, h) of the normal form (3.6) on the center manifold as g (x, 0,*, h)=(i&p ) f I, (x, 0,*, h). (3.8) Recall that for j, M j is the operator defined on V 4 j (R )by M j ( p)(x, *, h)=d xp(x, *, h) Bx&Bp(x, *, h), where V 4 j (R ) is the linear space of the homogeneous polynomials of degree j in the 4 real variables x, x, * and h. Consider the decompositions V 4 j (R )=Im(M j ) Im(M j )c, V 4 j (R )=Ker(M j ) Ker(M j )c. The projections associated with the preceding decompositions of V 4 j (R ) over Im(M j ) and V 4 j (R ) over Ker(M j ) c are denoted by P I, j and P K, j, respectively. Denote by (M j )& the right inverse of M j with range defined
68 CHEN AND WU by the spaces complementary to the kernel of M j with (M j )& P M I, j j =P K, j. Particularly, we have p)=\ p &x M ( x p= p &x + p +, \p p x +. After computing the images of the basis [(x, *, h) q e k : k=,, q =] of V 4 (R ) under M, we choose basis for Im(M ) and Im(M )c as Im(M )=span { xe, *x e &*x e, hx e &hx e,x x e &x e, * e, h e, *he, *x e, hx e, x e, x x e =, Im(M )c =span[* e, h e, *he, *x e, hx e, *x e, hx e, x x e, x e ]. Then (I&P I, ) \ : q = (b q e +c q e )(x, *, h) q+ =(b 000 * +b 000 h +b 00 *h+(b 00 +c 00 ) *x +b 00 *x and +(b 00 +c 00 ) hx ++b 00 hx +(b 00 +c 000 ) x x +b 000 x ) e (3.9) P I,\ : q = (b q e +c q e )(x, *, h) q+ =(b 000 x &c 00*x &c 00 hx &c 000 x x ) e +(c 000 * +c 000 h +c 00 *h+c 00 *x +c 00 hx +c 000 x +c 00x x +c 00 *x +c 00 hx +c 000 x ) e. It follows from (3.7)(3.9) that g (x, 0,*, h)=\4 3 *x +hx +*x & 8a 3 x x &ax +. (3.0) 0
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 69 On the other hand, Ker(M )=span { *x e +*x e, hx e +hx e, x e +x x e, * e, h e, *he, *x e, hx e, x e =. We choose [* e, h e, *he, *x e, hx e, x e, x x e, *x e, hx e,x e, x e ] as a basis for Ker(M )c. Then P K,\ : Thus q = (b q e +c q e )(x, *, h) q+ =(b 000 * +b 000 h +b 00 *h+b 00 *x +b 00 hx +b 000 x +b 00x x +(b 00 &c 00 ) *x +(b 00 &c 00 ) hx +(b 000 &c 00 ) x ) e +c 000 x e. (3.) U (x, *, h)=m & P I, f (x, 0,*, h) = )& P f I, (x, 0,*, h) \(M H(x, *, h) +, where H= q = (H () e q +H e q )(x, *, h) q # V 4 (Q ) is the unique solution of (M H)(x, x, *, h)= f (x, x, *, h). Note that H # V 4 (Q ) implies H q =H () e q +H e q # Q. It is easy to see that H satisfies where Noting (M H)(x, x, *, h)=x 0 [ g(x, x, *, h)(e +e )] &48[ g(x, x, *, h) e ], (3.) g(x, x, *, h)=hx + 3 *x +*x &a ( 4 9 x + 4 3 x x +x ). P I, f (x, x,0,*, h)= 6 9 ax 6 \& 0 + =P M I, \ 9 ax x 8 9 ax +,
630 CHEN AND WU it follows from (3.) that 6 (M )& P f (x I,, x,0,*, h)=(m )& P M 9 I, \ ax x 8 + 9 ax 6 =PK,\ ax 9 x 8 + 9 ax = \ 6 ax 9 x 8 +. 9 ax Before computing g (x 3, x,0,*, h), we first consider the action of the mapping M on V 4 3 3 (R ). Take [(x, *, h) q e k : k=,, q =3] as a basis for V 4 3 (R ). After computing the action of M 3 on this basis, we can take {x x e, *x e, hx e, x 3 e, * 3 e, h 3 e, x 3 e, * he, * x e, *h e, h x e, x x e, hx e, *x e, *hx e, x x e, *x x e, hx x e =, * x e &* x e, h x e &h x e,3x x e &x 3 e,*x x e &*x e, hx x e &hx e, *hx e &*hx e and { * x e, h x e, x x e, *x x e, hx x e, *hx e, * 3 e, h 3 e, x 3 e, * he, * x e, *h e, h x e, *x e, hx e, *hx e = as basis for Im(M 3 ) and Im(M 3 )c, respectively. Then (I&P I,3 ) \ : q =3 (b q e +c q e )(x, *, h) q+ =(b 0030 * 3 +b 0003 h 3 +b 0300 x 3 +b 00* h+b 00 * x +b 00 *h +b 00 h x +b 00 *x +b 00hx +b 0*hx +(b 00 +c 00 ) * x +(b 00 +c 00 ) h x +(b 00 +3c 0300 ) x x +(b 0 +c 00 ) *x x +(b 0 +c 00 ) hx x +(b 0 +c 0 ) *hx ) e. Note that where g 3 (x, x,0,*, h)=(i&p I,3 ) f 3 (x, x,0,*, h), f 3= f 3 + 3 [(D x, y f ) U &(D x, y U ) g ].
ASYMPTOTIC SHAPES OF PERIODIC SOLUTIONS 63 Thus, f 3 = f 3 + 3 [(D x, y f ) U &(D x, y U ) g ]. After a routine computation and omitting terms of (x, *, h) q with q 3 +q 4, we get g 3 (x, x,0,*, h) = \d 0300x 3 +d 00*x +d 00hx +d 00x x +d 0*x x +d 0 hx x 0 +, where (3.3) d 0300 =b+ 64 3 a &6a(H () 000(&)+H 000(&)), d 00 =& 6 () () 3 a&3(h 000 (&)+H 000 (&))&6a(H 00 (&)+H (&)), 00 d 00 =&a+3(h () () 000 (0)+H 000 (0))&3(H 000 (&)+H (&)) 000 &6a(H () 00 (&)+H (&)), 00 d 00 =4b+ 30 9 a &4a(H () 000 (&)+H (&)) 000 &6a(H () 00 (&)+H (&)), 00 d 0 =&3(H () () 00 (&)+H 00 (&))&4a(H 00 (&)+H (&)) 00 &6a(H () 00 (&)+H (&)), 00 d 0 =&6a+3(H () () 00 (0)+H 00 (0))&3(H 00 (&)+H (&)) 00 &4a(H () () 00 (&)+H 00 (&))&6a(H 00 (&)+H (&)). 00 To get the explicit expression for g 3, we need to solve (3.). By using the fact that H q # Q for q =, we get H () 00 #H #0, 00 H () 00 (%)=H 00 (%)=4 3 %+% +, 9 H () 000 (%)=H (%)=&a( 4 000 3 %+% + ), 9 H () 00 (%)=H 00 (%)=4 3 %+% +, 9 H () 00 (%)=H 00 (%)=7 %+ 9 3 % & 3 %3 +, 35 H () 00(%)=H 00(%)=& 4 9 a%& 4 3 a% + 4 3 a% 3 & 35 a, (3.4) for % # [&, 0]. Substituting (3.4) into (3.3) gives (b+ 9 3 a ) x 3 &0a*x &8ahx& 56 ahx 3 x g (x 3, x,0,*, +(4b+ h)=\ 856 5 a ) x x & 56 a*x 9 x +, 0 (3.5)
63 CHEN AND WU Substituting (3.0) and (3.5) into (3.6), we know that the normal form on the center manifold is given by \ x* x* + =\ & ( 4 *+h) x 3 +*x & 8 ax 3 x &ax 46 +(b+ 9 a ) x 3 & 5 3 a*x 4 3 ahx 48 +(4b+ 45 a ) x x & 8 a*x 7 x & 8 ahx 9 x +, &x (3.6) up through terms of O((*+h) x +(*+h) x 3 + x 4 ). This verifies (.7). ACKNOWLEDGMENT The authors greatly appreciate the referee's suggestion which led to the correct limiting profile for the case where a{0. REFERENCES. J. Carr, ``Applications of Center Manifold Theory,'' Springer-Verlag, New York, 98.. S.-N. Chow, J. K. Hale and W. Huang, From sine waves to square waves in delay equations, Proc. Roy. Soc. Edinburgh Sect. A 0 (99), 39. 3. Y. Chen and J. Wu, Existence and attraction of a phase-locked oscillation in a delayed network of two neurons, Adv. Differential Equations, in press. 4. Y. Chen and J. Wu, Minimal instability and unstable set of a phase-locked periodic orbit in a delayed neural network, Phys. D 34 (999), 8599. 5. Y. Chen, J. Wu, and T. Krisztin, Connecting orbits from synchronous periodic solutions to phase-locked periodic solutions in a delay differential system, J. Differential Equations 63 (000), 3073. 6. O. Diekmann, S. A. van Gils, S. M. Verduyn Lunel, and H.-O. Walther, ``Delay Equations: Functional-, Complex-, and Nonlinear Analysis,'' Springer-Verlag, New York, 995. 7. T. Faria and L. T. Magalha~ es, Normal forms for retarded functional differential equations with parameters and applications to Hopf bifurcations, J. Differential Equations (995), 800. 8. J. K. Hale, ``Theory of Functional Differential Equations,'' Springer-Verlag, New York, 977. 9. J. K. Hale and W. Huang, Period doubling in singularly perturbed delay equations, J. Differential Equations 4 (994), 3. 0. J. J. Hopfield, Neurons with graded response have computational properties like two-stage neurons, Proc. Natl. Acad. Sci. U.S.A. 8 (984), 3088309.. N. Kopell and L. N. Howard, Bifurcations and trajectories joining critical points, Adv. Math. 8 (975), 306358.. C. M. Marcus and R. M. Westervelt, Stability of analog neural networks with delay, Phys. Rev. A 39 (989), 347356. 3. J. Wu, Symmetric functional differential equations and neural networks with memory, Trans. Amer. Math. Soc. 350, No. (998), 47994838.