notes978-3-540-38528-8/1.pdffunctional differential equations. these must also be some con-nections...

18
1.3 1.4 3.2 3.3 3.4 4.1, 4.3 4.2 NOTES The term "sectorial operator" generalizes the usage of Kato [56]. H. B. Stewart (Trans. Am. Math. Soc. 199(1974), 141-162) studies analytic semigroups in the uniform norm. Fractional powers of operators are studied extensively in [63] and [103]; the operators need not be sectorial. The connection with interpolation of Hilbert spaces is developed in [71] - see in particular the results of Grisvard described in [71, p. 107]. More general results are available [57, 63, 93]. More general results are available [93]. Analyticity has been proved for some more general linear equations; see in particular [57]. Many of these notions apply to more general dynamical systems; see, for example, [38]. Sell [89] provides an introduction to recent work for nonautonomous ODE's. The argument follows Yoshizawa [135]. 5.1 5.2 Stability of equilibrium for the Navier-Stokes equation was proved by Prodi [80]. Sattinger later proved stability and instability results for weak (Hop f) solutions of the Navier-Stokes equations, and some stability and instability results (of strong solutions) are proved by Kirchgassner and Kie1hofer [59]. The instability theorems 5.1.5, 5.1.6 were inspired by Th. 2.3 (Ch. 7) of Da1eckii and Krein [114]; I am grateful to E. Poulson for bringing this result to my attention. The stable manifold was also studied by Crandall and Rabinowitz, and these manifolds have been studied in more general context by Hirsch, Pugh and Shub. 5.3 The work of Chafee and Infante [14] was done in 1971; our argu- ments differ in detail. Some of the results on gradiant flows were reported in Nonlinear Diffusion, Pitman (1976). 6.1 The proof of existence is modeled on [37, Ch. 7]. Another ap- proach to stability of the manifold is presented by Lykova [72], but her differential equations involve only bounded operators. Smoothness of the invariant manifold may be proved along the lines of [58], [66], [104], under plausible assumptions. Note the example in [66], proving the manifold cannot be analytic, in

Upload: others

Post on 20-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

1.3

1.4

3.2

3.3

3.4

4.1,4.3

4.2

NOTES

The term "sectorial operator" generalizes the usage of Kato [56].

H. B. Stewart (Trans. Am. Math. Soc. 199(1974), 141-162) studies

analytic semigroups in the uniform norm.

Fractional powers of operators are studied extensively in [63] and

[103]; the operators need not be sectorial. The connection with

interpolation of Hilbert spaces is developed in [71] - see in

particular the results of Grisvard described in [71, p. 107].

More general results are available [57, 63, 93].

More general results are available [93].

Analyticity has been proved for some more general linear equations;

see in particular [57].

Many of these notions apply to more general dynamical systems; see,for example, [38]. Sell [89] provides an introduction to recent

work for nonautonomous ODE's.

The argument follows Yoshizawa [135].

5.1

5.2

Stability of equilibrium for the Navier-Stokes equation was provedby Prodi [80]. Sattinger later proved stability and instability

results for weak (Hopf) solutions of the Navier-Stokes equations,

and some stability and instability results (of strong solutions)

are proved by Kirchgassner and Kie1hofer [59]. The instability

theorems 5.1.5, 5.1.6 were inspired by Th. 2.3 (Ch. 7) of Da1eckii

and Krein [114]; I am grateful to E. Poulson for bringing this

result to my attention.

The stable manifold was also studied by Crandall and Rabinowitz,

and these manifolds have been studied in more general context by

Hirsch, Pugh and Shub.

5.3 The work of Chafee and Infante [14] was done in 1971; our argu-

ments differ in detail. Some of the results on gradiant flows

were reported in Nonlinear Diffusion, Pitman (1976).

6.1 The proof of existence is modeled on [37, Ch. 7]. Another ap-proach to stability of the manifold is presented by Lykova [72],

but her differential equations involve only bounded operators.Smoothness of the invariant manifold may be proved along the lines

of [58], [66], [104], under plausible assumptions. Note the

example in [66], proving the manifold cannot be analytic, in

Page 2: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

332

general, without some global bounds.

6.2 An example of van Strein (Math. :. 166(1979), 143-145) shows the

critical or center manifold need not be Coo:

·23x = -x + y, Y = -yz - y, z = O.

A center manifold which is C2N has the form

x = o(y,z):\

Lm=l

m1)' 2m/ IT (1 )m-.y +

j=l

is analytic

but not analytic,

If z < 0, Y -T o(y,z)

this function is COO

as y -T 0, for Z < 1/2N.

near y = O. When z = 0,

and when z '> 1/2N, it is not differentiable. My thanks

to Jack Carr for pointing out this example.

6.3 Results of this kind date back to Poincare, in the case of ordin-

ary differential equations. The fundamental reason for the rela-

tion between stability and the geometry of the bifurcation seems

to be the homotopy invariance of topological degree: this was

discovered by Gavalas [33] and Sattinger [86], although the paper

of Sattinger involves a (correctable) error, confusing two notions

of the simplicity of an eigenvalue. Some results of section 8.5

may be proved in this manner (assuming the Poincare map is com-

pact, i.e. A has compact resolvent.) Our work is modeled, in

part, on [41].

6.4 E. Hopf proved this result for analytic ODE's, and his work was

generalized by many people in particular Chafee [12] who also

studied this problem for retarded functional differential equa-

tion. Hale [41] extended the treatment to neutral FDE's, and our

work is roughly modeled on [41]. Marsden and McCracken present

many approaches in The Hopf Bifurcation and its Applications

(Springer, Appl. Math. Sciences 19, 1976).

7.2 The argument is modeled on the work of Stokes [98] for retarded

functional differential equations. These must also be some con-

nections with the work of Krein [63] on evolution of subspaces.

7.3 More general backward uniqueness results are available; see [29,

30, 64].

7.5 Thm. 3.4.8 can be used to prove "averaging" results, but the

direct proof of Thm. 7.5.2 gives sharper results.

Page 3: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

7.6

8.2

8.4,8.5

333

Coppel's recent book [113] is a good source for dichotomies in

ODE theory. Many of the results were extended to infinite dimen­

sions (especially Hilbert space) for bounded operators by Daleckii

and Krein [115]. C. V. Coffman and J. J. Schaffer (Math. Ann.

172(1967), 139­166) discuss dichotomies for difference equations

(in a Banach space) on a half­line, emphasizing the connections

between dichotomies and admissibility, a connection studied by

Massera and Schaffer [128] for ODE's. A proof of the continuous­

time version of Thm. 7.6.5 might allow simplification of this

section. Theorems 7.6.12 and 7.6.14 seem to be new even for

ODE's.

Orbital stability was proved by 100ss [52]. Orbital instability

is apparently rarely proved even for ordinary differential equa­

tions.

Use of the Poincare map for ODE's is described in [68].

Krasnoselski [61] studies some PDE problems by applying topologi­

cal degree theory to the Poincare map.

8.5 Extensive recent work on "generic" properties of maps should

have applications in this field: see [9,66,76,85]. Appli­

cability of this work to parabolic equations, in particular the

Navier­Stokes equations, has been widely suspected, but was ap­

parently not proved before [66, 85].

9.1 Thm. 9.1.1 was inspried by Coppel and Palmer [114], but is more

general even for ODE's, the generality arising from the use of

Thm. 7.6.12.

9.2 The coordinate system generalizes the construction of Urabe and

Hale [37]. Changing variables in an equation with unbounded opera­

tors is complicated, but the complications here seem excessive.

There must be an easier way. We could avoid the assumption of

"stable triviality" by developing the theory of parabolic equa­

tions on infinite dimensional manifolds rather than Banach spaces.

The cost seems high for this application, but it would also

allow a natural treatment of nonlinear boundary conditions.

10.1 The problem is formulated following Fleming [118].

Page 4: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

334

10.2 Our "small parameter" E is not quite that of Sattinger [132],

so comparison of the results needs more care than is displayed

in the text. Parter, Stein and Stein (Studies in Appl. Math.

54(1975), 293-314) examined the equilibrium problem in more de-

tail. Their results do not prove there are no more than three

equilibria, but the bounds are such that this seems very likely.

Page 5: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

REFERENCES

1. S. Agmon, Lectures on Elliptic Boundary Value Problems, D. VanNostrand, Princeton, New Jersey (1965).

2. S. Agmon, A. Douglis and L. Nirenberg, "Estimates near the bound­ary for solutions of elliptic partial differential equationssatisfying general boundary conditions," I., Comm. Pure Appl. Math.

623­727.

3. L. Amerio and G. Prouse, Almost­periodic Functions and FunctionalEquations, Van Nostrand Reinhold, New York (1971).

4. R. Aris, "On stability criteria of chemical reaction engineering,"Chern. Eng. Science 149­169.

5. J. F. G. Auchmuty, "Lyapunov methods and equations of parabolictype," in Nonlinear Problems in the Physical Sciences andBiology, Springer­Verlag, Lecture Notes 322 (1973).

6. N. T. J. Bailey, Mathematical Theory of Epidemics, Hafner Publ.,New York (1957).

7. R. Baxter, H. Eiserike and A. Stokes, "A pictorial study of aninvariant torus in phase space of four dimensions," in OrdinaryDifferential Equations, L. Weiss ed., Academic Press, New York(1972) .

8. L. Bers, F. John and M. Schechter, Partial Differential Equa­tions, Wiley­Interscience, New York (1964).

9. P. Brunovsky, "One parameter families of diffeomorphisms," inSymp. on differential ejUations, Warwick 1968/69, Springer­Verlag,Lecture Notes 206 (1971 .

10. H. S. Carslaw and J. C. Jaeger, Conduction of Heat in Solids, 2ndEd., Oxford U. Press, London (1959).

11.

12.

13.

14.

15.

16.

17.

N. Chafee, "The bifurcation of one or more closed orbits from anequilibrium point," J. Diff. Eg., i(1968), 661­679.

N. Chafee, "A stability analysis for a semilinear parabolicpartial differential equation," J. Diff. Eq , , 15(1974), 522­540.

N. Chafee and E. Infante, "A bifurcation problem for a nonlinearparabolic equation," J. Applicable Anal., 4(1974), 17­37.

D. S. Cohen, "Multiple solutions of nonlinear partial differentialequations," in Nonlinear Problems in the Ph sical Sciences andBiology, Springer­Verlag Lecture Notes 322 1 73 .

H. Cohen, "Nonlinear diffusion problems," in Studies in APtliedMath., A. H. Taub, ed., Math. Assoc. Amer., Prentlce­Ha11 1971).

K. S. Cole, Ions,Membranes and Impulses, University CaliforniaPress, Berkeley 11968}.

Page 6: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

336

Behavior of Differential18 . W. A. Coppel, "'S_t_a,.b,i_l....,i,t.....,_'"'-.,.--"--7";"""""'"""',..---------------Equations, D. C. Heath,

19. M. G. Crandall and P. Rabinowitz, "Bifurcation from simple eigen­values," J. Functional Anal., 321­340.

20. J. Crow and M. Kimura, An Introduction to Population GeneticsTheory, Harper and Row (1970).

21. J. Dieudonne, "Sur I.e polygone de Newton," Arch. Math.,29­55.

22. J. Dieudonne, Foundations of Modern Analysis, Academic Press,New York (1969).

23. N. Dunford and J. T. Schwart:, Linear Operators, Parts I and II,Wiley­Interscience, New York (1966).

,24. M. A. Evgrafov, Asymptotic Estimates and Entire Functions, Gordonand Breach, New York (1961).

25. J. W. Evans, "Nerve axon equations: I, II, III," Indiana U. Math.:I.., 877­885; E(1972), 75­90; E(1972), 577­593.

26. W. Feller, "The parabolic differential equation and the associatedsemigroups of transformations," Annals of Math., 468­519.

27. S. F. Feshchenko, N. I. Shkil, and L. D. Nikolenko, AsymptoticMethods in the Theory of Linear Differential Equation, AmerlcanElsevier Publ., New York (1967).

28. G. Fichera, Linear Elliptic Differential Systems, Springer­Verlag,Lecture Notes 8 (1965).

29. e,

30. A. Friedman, Partial Differential Equations, Holt, Rinehart andWinston, New York (1969).

31. H. Fujita, "On some nonexistence and nonuniqueness theorems fornonlinear parabolic equation," in Proc. Symp. Pure Math., v. 28,pt. 1: Nonlinear Functional Analysis, Amer. Math. Soc., Providence,R. I. (1970).

32. H. Fujita and T. Kato, "On the Navier­Stokes initial­value problem,"Arch. Rat. Mech. Anal., 269­315.

33. G. R. Gavalas, Nonlinear Differential EReacting Systems,

34. I. M. Gelfand, "Some problems in the theory of quasilinear equa­tions," Am. Math. Soc. Translations (2), 29(1963), 295­381, Ame r ,Math. Soc., Providence, Rhode Island. ­­

35. V. P. Glushko and S. G. Krein, "Fractional powers of differentialoperators and embedding theorems," Dokl. Akad. Nauk SSSR, 122(1958),963­966.

36. S. Goldberg, Unbounded linear operators, McGraw­Hill, New York(1966) .

Page 7: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

337

37. J. K. Hale, Ordinary Differential Equations, Wiley Interscience,New York (1969). Second EdItIon, Robert E. Krieger Publ. Co.,Huntington, New York.

38. J. K. Hale, "Dynamical systems and stability," J. Math. Anal.39-59.

39. J. K. Hale, Functional Differential Equations, Springer-Verlag,New York (1971), Second EdItIon, 1977.

40. J. K. Hale, "Critical cases for neutral functional differentialequations," J. Diff. Eq., l.Q.(1971), 59-82.

41. J. K. Hale, "Behavior near constant solutions of functional dif-ferential equations," J. Diff. Eq., 278-294.

42. J. K. Hale and K. R. Meyer, "A class of functional equations ofneutral type," Am. Math. Soc. Memoir, 1..£(1967).

43. J. K. Hale and C. Perello, "The neighborhood of a singular pointof functional differential equations," Contrib. Diff. Eq., }(1964),351-375.

44. J. K. Hale and A. P. Stokes, "Conditions for the stability of non-autonomous differential equations," J. Math. Anal. Appl., }(196l),50-69.

45. A. R. Hausrath, "Stability in the critical case of purely ima-ginary roots for neutral functional differential equations,"J. Diff. Eq., 1l.(1973), 329-357.

46. D. L. Hetrick, Dynamics of Nuclear Reactors, Univ. Chicago Press,Chicago (1971).

47.

48. E. Hille, Analytic Function Theory, v. 2, Ginn and Co. Boston(1962) .

49. E. Hille and R. S. Phillips, Functional Analysis and Semigroups,Am. Math. Soc. Colloquium Publ., v. 31, Amer. Math. Soc.,Providence, R. I. (1957).

50. E. Hopf, "A mathematical example displaying features of turbulence,"Comm. Pure Appl. Math., l(1948), 303-322.

51. F. Hoppenstadt, "Asymptotic series solutions of some nonlinearparabolic equations with a small parameter," Arch. Rat. Mech.Ana1., E (1969), 284 - 298 .

52. G. Iooss, "Existence et stabilite de la solution periodiquesecondaire intervenant dans les problemes d'evolution du typeNavier-Stokes," Arch. Rat. Mech. Anal., (1973).

53. A. Jeffrey and T. Kautani, "Weak nonlinear dispersive waves,"SIAM Review, 582-643.

54. D. Joseph, "Remarks about bifurcation and stability of quasi-periodic solutions which bifurcate from periodic solutions of theNavier-Stokes equation," in Nonlinear Problems in the Ph sicalSciences and Biology, Springer-Verlag Lect. Notes 2 1

Page 8: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

338

55. W. E. Kastenberg, "Stability analysis of nonlinear space depen­dent reactor kinetics," Adv. in Nucl. Science and Tech.,Academic Press, New York.

56. T. Kato, Perturbation Theory for Linear Operators, Springer­Verlag,New York (1966).

57. T. Kato, "Abstract evolution equations of parabolic type inBanach and Hilbert spaces," Nagoya Math. J., liCl961), 93­125.

58. A. Kelley, "The stable, center­stable, center, center­unstable,unstable manifolds," J. DiH. Bq , , lCl967), 546­570.

59. K. Kirchgassner and H. Kielhofer, "Stability and bifurcation influid mechanics," Rocky Mtn. Math. J., l(1973), 275­318.

60. A. Kolmogoroff, I. Petrovsky and N. Piscounoff, "Etude de l'equa­tion de la diffusion avec croissance de la quantite de matiere etson application a un p r ob l eme biologique," Moscow Univ. Bull.Math., Serie Internat., Sec. A, Math. et Mec., l(6), 1937, 1­25.

61.

62. N. N. Krasovskii, Stability of Motion, Stanford U. Press, Stanford,California (1963).

63. Transl.

64. G. E. Ladas and V. Lakshmikantham, Differential Equations inAbstract Spaces, Academic Press, New York (1972).

65. O. A. Ladyzhenskaya, The Mathematical Theory of Viscous Incom­pressible Flow, Gordon and Breach, New York (1963).

66. O. E. Lanford, "Bifurcation of periodic solutions into invarianttori: t.he work of Ruelle and Takens," Nonlinear Problems in the

Sciences and Biology, Springer­Verlag Lecture Notes,32 (1973).

67. G. Lassner, Uber ein Rand­Anfangswertproblem der Magnetohydro­dynamik, Arch. Rat. Mech., Anal., 388­405.

68. S. Lefschetz, Differential Equations: Geometric Theory, 2nd ed.,Wiley­Interscience, New York.

69.

70.

71.

72.

D. C. Leigh, "Pure swelling of channel flow of a viscoelasticfluid­preliminary report," Jan. 1973, Dept. Eng. Mech., Univ.Kentucky, Lexington, Ky.

H. Levine, "Some nonexistence and instability theorems for solu­tions of formally parabolic equations," Arch. Rat. Mech. Anal.,

371­386.

J. L. Lions and E. Magenes, Nonhomogeneous Value Prob­lems and Applications, v. 1, Sprlnger­Verlag, New ork (1972).

O. B. Lykova, "The reduction principle in Banach space," Ukr.Math. J., 391­397.

Page 9: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

Problem: An LP Theor ,

339

73. G. Ma1ecot, The Mathematics of Heredity, W. H. Freeman, SanFrancisco (1969).

74. H. P. McKean, Nagumo's equation, Adv. in Math., 209-223.

75. J. B. McLeod and D. Sattinger, "Loss of stability and bifurcationat a double eigenvalue," J. Func. Anal., !i(1973), 62-84.

76. Z. Nitecki, Differentiable Dynamics, M.I.T. Press, Cambridge,Mass. (1971).

77. F. K. G. Odqvist, "Uber die Randwertaufgaben der Hydrodynamikzaher Fl iis s i gke i t en ;" Math. Zeit., E(l930), 329-375.

78. L. A. Pe1etier, "Asymptotic stability of traveling waves," IUTAMSymp. on Instability of Continuous Systems, Springer-Verlag,Ber Li n 1971.

79. V. A. Pliss, Non10cal Problems in the Theory of Oscillations,Academic Press, New York (1967).

80. G. Prodi, "Teoremi di tipo locale per i1 sistema di. Navier-Stokese stabi1ita della soluzioni stazionarie," Rend. Sem. Mat. Univ.Padova,

81. M. H. Protter and H. Weinberger, Maximum Princi les in Differen-tial Equations, Prentice-Hall, Eng1ewoo Cll s, New Jersey 1967).

82. F. Riesz and B. Sz-Nagy, Functional Analysis, Fredrick Ungar Publ.,New York (1955).

83. W. van Roosbroeck, "Theory of the flow of electrons and holes ingermanium and other semiconductors," Bell Syst. Tech. J.,560-607.

84. D. Ruelle, "Bifurcations in the presence of a symmetry group,"Arch. Rat. Mech. Anal., 136-152.

85. D. Ruelle and F. Takens, "On the nature of turbulence," Commun.Math. Phys., 167-192.

86. D. H. Sattinger, "Stability of bifurcating solutions by Leray-Schauder degree," Arch. Rat. Mech. Anal., .±l(l97l), 154-166.

87. D. H. Sattinger, "Monotone methods in nonlinear elliptic and para-bolic boundary value problems," Indiana U. Math. J., ..?..!J1972),979-1000.

88. D. H. Sattinger, To ics in Stabi1it and Bifurcation TheorSpringer-Verlag, Lecture Notes 309 1973 .

89. Differential E ua-

90. J. G. Skel1am, "Random dispersal in theoretical populations,"Biometrika, 196-218.

91. C. Simader, On Dirichlet's BoundarSpringer-Verlag Lect. Notes, 1

92. S. L. Sobolev, Applications of Functional Analysis in Mathemati-cal PhtSiCS, Transl. Math. Monog. 7 Am. Math. Soc., Providence,R. r: 1963).

Page 10: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

340

93. P. E. Sobolevskii, "Equations of parabolic type in a BanachSpace," A.M.S. Translations (2), .±2(1965), Am. Math. Soc.,Providence, R. I.

94. D. B. Spalding, "The theory of flame phenomena with a chain re­action," Phil. Trans. Roy. Soc. London (1956) A 249, p. 1­25.

95. I. Stakgold, "Branching of solutions of nonlinear equations,"SIAM Review, 1l(1971), 289­332.

96. I. Stakgold, D. Joseph and D. Sattinger, eds., Nonlinear Problemsin the Phtsical Sciences and Biology, Springer­Verlag LectureNotes 322 1973).

97. E.of

rals and Differentiabilit Pro ertiesPress, Princeton, New Jersey

98. A. Stokes, "A Floquet theory for functional differential equa­tions," Proc. National Acad. Sci., 1330­1334.

99. A. E. Taylor, Functional Analysis, Wiley, New York (1961).

100. A. Varma and N. R. Amundson, "Some problems concerning the non­adiabatic tubular reactor," Canad. J. Chem. Eng., 470­485.

101. B. L. van der Waerden, Modern Algebra, v. 2, Fredrick Ungar Publ.,New York (1950).

102. G. F. Webb, "Existence and stability for partial functional dif­ferential equations," to appear.

103. K. Yosida, Functional Analysis, 2nd ed., Springer­Verlag, NewYork (1968).

More References

104. R. Abraham and J. Robbin, Transversal Mappings and Flows, W. A.Benjamin, New York (1967).

105. S. Agmon, Unicite et Convexite dans les Problemes Differentieles,Univ. de Montreal (1966).

106. F. Albrecht and H. G. Diamond, "The converse Taylor theorem,"Indiana Math. J., ll(197l), 347­350.

107. N. Alikakos, "An application of the invariance principle to re­action­diffusion systems,"J. Diff. Eg., ll(l979) , 201­225.

108. D. G. Aronson and H. Weinberger, "Nonlinear diffusion in popula­tion genetics," in Partial Differential Equations, ed. J. Goldstein,Springer Lect. Notes, 446(1975).

109. A. P. Calderon, "Lebesgue spaces of differentiable functions,"Proc. Symp. Pure Math., v. 4, Am. Math. Soc., Providence, R. I.(1961) .

110. D. S. Cohen and A. Poore, "Tubular chemical reactors," SIAM J.Appl. Math., 27(1974), 416­429.

Ill. N. Chafee, "Behavior of solutions leaving the neighborhood of asaddle point," J. Math. Anal. Appl., 312­325.

Page 11: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

112.

113.

114.

115.

116.

117.

118.

119.

120.

121.

122.

123.

124.

125.

126.

127.

128.

129.

130.

341

K. Chang, "Two problems in singular perturbations," J. Austral.Math. Soc., lQ.(1969), 33-50.

W. A. Coppel, Dichotomies in Stability Theory, Springer Lect.Notes, 629(1978).

W. A. Coppel and K. J. Palmer, "Averaging and integral manifolds,"Bull. Austral. Math. Soc., 197-222.

Ju. L. Daleckii and M. G. Krein, Stability of Solutions of Dif-ferential Equations in Banach Space, Trans. Math. Monog., v. 43(1974), Am. Math. Soc., Providence, R. I.

N. Fenichel, "Persistence and smoothness of invariant manifoldsfor flows," Indiana Math. J., 193-226.

P. C. Fife and J. B. McLeod, "The approach of solutions of non-linear diffusion equations to traveling front solutions," Arch.Rat. Mech. Anal., 335-361. --

W. Fleming, "A selection-migration model in population genetics,"J. Math. BioI.,

I. C. Gohberg and M. G. Krein, Introduction to the Theory ofLinear Nonselfad'oint 0 erators, Transl. Math. Monog., vol. 18(1 69 , Am. Math. Soc., Providence, R. I.

J. K. Hale and A. Stokes, "Behavior of solutions near integralmanifolds," Arch. Rat. Mech. Anal., 133-170.

M. Hirsch, C. Pugh and M. Shub, Invariant Manifolds, SpringerLect. Notes, 583 (1977) .

M. C. Irwin, "On the smoothness of the composition map," Q. J.Math. Oxford (2), 113-133. --

J. Jarnik and J. Kurzweil, "On invariant sets of differentialsystems," J. Diff. Eq., 247-263.

M. I. Kadets and B. S. Mityagin, "Complemented Subspaces inBanach Spaces," Russian Math. Surveys,

D. A. Larson, "Transient bounds and time asymptotic behavior ofsolutions to nonlinear equations of Fisher type," SIAM J. Appl.Math., l!(1978), 93-103.

M. Lees and M. H. Protter, "Unique continuation for parabolicdifferential equations and inequalities," Duke Math. J.,369-382.

J. L. Lions and B. Malgrange, "Sur l'unieite retrograde," Math.Scandinavica, 277-286.

J. L. Massera and J. J. Schaffer, Linear Differential Equationsand Function Spaces, Academic Press, N. Y. (1966).

M. Golubitsky and V. Guillemin, Stable and TheirSingularities, GTM14, Springer-Verlag, 19 .

S. V. Parter, "Solutions of a differential equation arising inchemical reactor processes," SIAM J. Appl. Math., 686-715.

Page 12: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

342

131. D. Sattinger, "On the stability of traveling waves," Adv. inMath., E(1976), 312-355.

132. D. Sattinger, "A nonlinear parabolic system in the theory of com­bustion," Q. App1. Math., 1l.(1975), 47­61.

Differential Geometr ,

134. H. Tanabe, "Evolution equations of parabolic type," Proc. JapanAcad., 22.(1961), 610­613.

135. T. Yoshizawa, Stability Theory by Liapunov's Second Method, Univ.Tokyo Press (1966).

136. K. V. Zadiraka, "On a nonlocal integral manifold of a nonregularlyperturbed differential system," (1965), Am. Math. Soc. Translation(2), vo1. 89, 1970.

Page 13: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

INDEX

Asymptotically autonomous, 96

Analytic semigroup,

definition of, 20

generator of, 20

Analyticity, 11

Averaging, 66,68,69,221,292-294

Bifurcation,

of equilibria, 178, 263

from a focus, 181-187

to a circle in diffeomorphisms, 266-274

to a torus, 266-274

transfer of stability at, 178-263

Burger's equation, 134-135

Center manifold,

approximation of, 171

existence and stability, 168

Center-stable manifold, 116

Center-unstable manifold, 262

Channel flow, swelling of, 117

Characteristic multiplier, 197

Chemical reactions, 43,82,167

Page 14: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

344

Index - continued

Combustion theory, 101, 158, 319-330.

Contraction principle 12,13

Dichotomies, exponential,

definition of, 224

discrete, 229

implications of, 227

perturbation of, 237,238,240,242,245

Dynamical system, 82

Embedding theorems 9, 35-40

Equilibrium point, 83

Essential spectrum,

characterization of, 140

definition of, 136

examples of, 140-142

Fractional powers,

definition of, 24

examples of, 32-40.

Frechet derivative, 10

Gradient flow,

an example of, 118-128

domains of attraction in, 123-125

maximal invariant set of, 126-127.

Heat equation, 16,41

Hodgekin-Huxley equation, 42

Implicit function theorem, 15

Page 15: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

345

Index - continued

Instability,

criterion for, 102,104,105,107,109

Integral inequalities, 188-190

Invariance principle, 92, 93

Invariant manifold,

coordinate system near some, 304

definition of, 143, 154

existence of, 143,161,164,165,275,297

extensions of local, 154,156

further properties of, 289-291

smoothness of, 152,278

stability of, 147,150,277,297

Invariant set, 91

Liapunov function, 84

Loo-bounds, 74

Maximum principle, 60,61,109

equation, 45, 79

Nirenberg-Gagliardo inequalities, 37

Nonautonomous linear equations, 190

adjoint of, 204

backward uniqueness, 208,209

density of range of solution operator of, 207

estimates on solution of, 191

nonhomogeneous, 193

periodic, 197

slowly varying coefficients of, 213

Page 16: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

Index - continued

Nuclear reactors, 44,62,95

Omega limit set, 91

Operator,

fractional powers of, 24,25

products of, 28

sectorial, 18

spectral set of, 30

sums 0 f, 19,27

Periodic linear systems, 197

Floquet theory of, 198

Fredholm alternative for, 206

stability of, 200

Periodic orbit, 83

coordinate system near, 299

families of, 309

instability of, 254

perturbation of, 256, 257

stability of, 251

Periodic solutions,

instability of, 249

perturbation of, 255

stability of, 247

Poincare map, 258-261

Population genetics, 43, 314-319

Predator-prey systems, 201, 312

346

Page 17: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

347

Index - continued

Saddle-point property, 112

Sectorial operator

definition of, 18

fractional powers of, 24,25

properties of, 19,23

Semiconductors, 42

Solution of differential equation,

classical, 75-76

compactness of, 57

continuation of, 55

continuous dependence of, 62

definition of, 53

differentiability of, 64,71,72

existence of, 54,59

uniqueness of, 54,59

Spaces Xa,

definition of, 29

properties of, 29

Spectral set, 30

Stability,

converse theorem of, 86,90

criteria for, 84,98,100

definitions of, 83

invariance principle for, 92,93

of families, 108

orbital, 84

under constant disturbances, 88,90

Page 18: NOTES978-3-540-38528-8/1.pdffunctional differential equations. These must also be some con-nections with the work of Krein [63] on evolution of subspaces. 7.3 More general backward

Index - continued

Traveling waves,

existence, 129

stability of, 130 -133

348