0387986995Basic TheoryC
.pdfUniversitext
Editorial Board
(North America):
S. Axler
F.W. Gehring
K.A. Ribet
Springer
New York
Berlin
Heidelberg
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Universitext
Editors (North America): S. Axler, F.W. Gehring, and K.A. Ribet
Aksoy/Khamsl: Nonstandard Methods in Fixed Point Theory
Anderson: Topics in Complex Analysis
Aupetit: A Primer on Spectral Theory
Berberian: Fundamentals of Real Analysis
BoossBleecker: Topology and Analysis
Borkar: Probability Theory: An Advanced Course BSttcher/Sibermann: Introduction to Large Truncated Toeplitt Matrices Carleson/Gamelin: Complex Dynamics
Cecil: Lic Sphere Geometry: With Applications to Submanifolds Chae: Lchcsgue Integration (2nd cd.)
Charlap: Biebcrbach Groups and Flat Manifolds Chern: Complex Manifolds Without Potential Theory
Cohn: A Classical Invitation to Algebraic Numbers and Class Fields
Curtis: Abstract Linear Algebra Curtis: Matrix Groups
DiBenedetto: Degenerate Parabolic Equations Dimca: Singularities and Topology of Hypersurfaces
Edwards: A Formal Background to Mathematics I a/b
Edwards: A Formal Background to Mathematics 11 a/b Foulds: Graph Theory Applications
Friedman: Algebraic Surfaces and Holomorphic Vector Bundles
Fuhrmann: A Polynomial Approach to Linear Algebra Gardiner: A First Course in Group Theory Girding/Tambour: Algebra for Computer Science
Goldblatt: Orthogonality and Spacctime Geometry
Gustafson/Rao: Numerical Range: The Field of Values of Linear Operators and Matrices Hahn: Quadratic Algebras. Clifford Algebras, and Arithmetic Witt Groups
Holmgren: A First Course in Discrete Dynamical Systems Howe/Tan: Non-Abclian Harmonic Analysis: Applications of SL(2. R) Howes: Modem Analysis and Topology
Hsieh/Sibuya: Basic Theory of Ordinary Differential Equations
Humi/Miller: Second Course in Ordinary Differential Equations
Hurwitz/Kritikos: Lectures on Number Theory Jennings: Modern Geometry with Applications
Jones/Morris/Pearson: Abstract Algebra and Famous Impossibilities
Kannan/Krueger: Advanced Analysis
Kelly/Matthews: The Non-Euclidean Hyperbolic Plane
Kostrikin: Introduction to Algebra
Luecking/Rubel: Complex Analysis: A Functional Analysis Approach
MacLane/Moerditjk: Sheaves in Geometry and Logic
Marcus: Number Fields
McCarthy: Introduction to Arithmetical Functions
Meyer: Essential Mathematics for Applied Fields
Mines/Riehman/Ruitenburg: A Course in Constructive Algebra
(cnnrinued after index)
Po-Fang Hsieh Yasutaka Sibuya
Basic Theory of Ordinary
Differential Equations
With 114 Illustrations
Springer
Po-Fang Hsieh |
|
Yasutaka Sibuya |
|
Department of Mathematics |
|
School of Mathematics |
|
and Statistics |
|
University of Minnesota |
|
Western Michigan University |
206 Church Street SE |
||
Kalamazoo, MI 49008 |
|
Minneapolis, MN 55455 |
|
USA |
|
USA |
|
philip.hsieh@wmich.edu |
|
sibuya 0 math. umn.edu |
|
Editorial Board |
|
|
|
(North America): |
|
|
|
S. Axler |
F.W. Gehring |
|
K.A. Ribet |
Mathematics Department |
Mathematics Department |
Department of |
|
San Francisco State |
East Hall |
|
Mathematics |
University |
University of Michigan |
University of California |
|
San Francisco, CA 94132 |
Ann Arbor. Ml 48109- |
at Berkeley |
|
USA |
1109 |
|
Berkeley, CA 94720-3840 |
|
USA |
|
USA |
Mathematics Subject Classification (1991): 34-01
Library of Congress Cataloging-in-Publication Data
Hsieh, Po-Fang.
Basic theory of ordinary differential equations I Po-Fang Hsieh,
Yasutaka Sibuya.
p.cm. - (Unrversitext)
Includes bibliographical references and index.
ISBN 0-387-98699-5 (alk. paper)
1. Differential equations. I. Sibuya. Yasutaka. 1930-
II.Title. III. Series
OA372_H84 1999 |
|
515'.35-dc2l |
99-18392 |
Printed on acid-free paper.
r 1999 Spnnger-Verlag New York, Inc.
All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag New York, Inc.. 175 Fifth Avenue, New
York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis.
Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use of general descriptive names, trade names, trademarks. etc., in this publication, even if the former are not especially identified, is not to be taken as a sign that such names, as understood by the Trade Marks and Merchandise Marks Act. may accordingly be used freely by anyone.
Production managed by MaryAnn Cotton: manufacturing supervised by Jeffrey Taub. Photocomposed copy prepared from the authors' A5-71EX 2.1 files.
Printed and bound by R.R. Donnelley and Sons, Harrisonburg. VA. Printed in the United States of America.
9 8 7 6 5 4 3 2 1
ISBN 0-387-98699-5 Springer-Verlag New York Berlin Heidelberg SPIN 10707353
To Emmy and Yasuko
PREFACE
This graduate level textbook is developed from courses in ordinary differential equations taught by the authors in several universities in the past 40 years or so. Prerequisite of this book is a knowledge of elementary linear algebra, real multivariable calculus, and elementary manipulation with power series in several complex variables. It is hoped that this book would provide the reader with the very basic knowledge necessary to begin research on ordinary differential equations.
To this purpose, materials are selected so that this book would provide the reader with methods and results which are applicable to many problems in various fields.
In order to accomplish this purpose, the book Theory of Differential Equations by
E. A. Coddington and Norman Levinson is used as a role model. Also, the teaching of Masuo Hukuhara and Mitio Nagumo can be found either explicitly or in spirit in many chapters. This book is useful for both pure mathematician and user of mathematics.
This book may be divided into four parts. The first part consists of Chapters I,
II, and III and covers fundamental existence, uniqueness, smoothness with respect to data, and nonuniqueness. The second part consists of Chapters IV, VI, and VII and covers the basic results concerning linear differential equations. The third part consists of Chapters VIII, IX, and X and covers nonlinear differential equations. Finally, Chapters V, XI, XII, and XIII cover the basic results concerning power series solutions.
The particular contents of each chapter are as follows. The fundamental exis- tence and uniqueness theorems and smoothness in data of an initial problem are explained in Chapters I and II, whereas the results concerning nonuniqueness are explained in Chapter III. Topics in Chapter III include the Kneser theorem and maximal and minimal solutions. Also, utilizing comparison theorems, some suf- ficient conditions for uniqueness are studied. In Chapter IV, the basic theorems concerning linear differential equations are explained. In particular, systems with constant or periodic coefficients are treated in detail. In this study, the S-N decomposition of a matrix is used instead of the Jordan canonical form. The S-N decomposition is equivalent to the block-diagonalization separating distinct eigen- values. Computation of the S-N decomposition is easier than that of the Jordan canonical form. A detailed explanation of linear Hamiltonian systems with constant or periodic coefficients is also given. In Chapter V, formal power series solutions and their convergence are explained. The main topic is singularities of the first kind. The convergence of formal power series solutions is proven for nonlinear systems. Also, the transformation of a linear system to a standard form at a singular point of the first kind is explained as the S-N decomposition of a linear differential operator. The main idea is originally due to R. Gerard and A. H. M. Levelt. The Gerard-Levelt theorem is presented as the S-N decomposition of a matrix of infinite order. At the end of Chapter V, the classification of the singu-
vii
viii |
PREFACE |
larities of linear differential equations is given. In Chapter VI, the main topics are the basic results concerning boundary-value problems of the second-order linear differential equations. The comparison theorems, oscillation and nonoscillation of solutions, eigenvalue problems for the Sturm-Liouville boundary conditions, scattering problems (in the case of reflectionless potentials), and periodic potentials are studied. The authors learned much about the scattering problems from the book by S. Tanaka and E. Date [TD]. In Chapter VII, asymptotic behaviors of solu- tions of linear systems as the independent variable approaches infinity are treated.
Topics include the Liapounoff numbers and the Levinson theorem together with its various improvements. In Chapter VIII, some fundamental theorems concern- ing stability, asymptotic stability, and perturbations of 2 x 2 linear systems are explained, whereas in Chapter IX, results on autonomous systems which include the LaSalle-Lefschetz theorem concerning behavior of solutions (or orbits) as the independent variable tends to infinity, the basic properties of limit-invariant sets including the Poincar6-Bendixson theorem, and applications of indices of simple closed curves are studied. Those theorems are applied to some nonlinear oscillation problems in Chapter X. In particular, the van der Pot equation is treated as both a problem of regular perturbations and a problem of singular perturbations. In
Chapters XII and XIII, asymptotic solutions of nonlinear differential equations as a parameter or the independent variable tends to its singularity are explained. In these chapters, the asymptotic expansions in the sense of Poincare are used most of time. However, asymptotic solutions in the sense of the Gevrey asymptotics are explained briefly. The basic properties of asymptotic expansions in the sense of
Poincare as well as of the Gevrey asymptotics are explained in Chapter XI.
At the beginning of each chapter, the contents and their history are discussed briefly. Also, at the end of each chapter, many problems are given as exercises. The purposes of the exercises are (i) to help the reader to understand the materials in each chapter, (ii) to encourage the reader to read research papers, and (iii) to help the reader to develop his (or her) ability to do research. Hints and comments for many exercises are provided.
The authors are indebted to many colleagues and former students for their valuable suggestions, corrections, and assistance at the various stages of writing this book. In particular, the authors express their sincere gratitude to Mrs. Susan Coddington and Mrs. Zipporah Levinson for allowing the authors to use the materials in the book Theory of Differential Equations by E. A. Coddington and Norman
Levinson.
Finally, the authors could not have carried out their work all these years without the support of their wives and children. Their contribution is immeasurable. We thank them wholeheartedly.
PFH
YS
March, 1999
CONTENTS
Preface |
vii |
|
Chapter I. Fundamental Theorems of Ordinary Differential Equations |
1 |
|
I-1. Existence and uniqueness with the Lipschitz condition |
1 |
|
1-2. Existence without the Lipschitz condition |
8 |
|
1-3. |
Some global properties of solutions |
15 |
1-4. |
Analytic differential equations |
20 |
Exercises I |
23 |
Chapter II. Dependence on Data |
28 |
II-1. Continuity with respect to initial data and parameters |
28 |
11-2. Differentiability |
32 |
Exercises II |
35 |
Chapter III. Nonuniqueness |
41 |
III-1. Examples |
41 |
111-2. The Kneser theorem |
45 |
111-3. Solution curves on the boundary of R(A) |
49 |
111-4. Maximal and minimal solutions |
52 |
111-5. A comparison theorem |
58 |
111-6. Sufficient conditions for uniqueness |
61 |
Exercises III |
66 |
Chapter IV. General Theory of Linear Systems |
69 |
IV-1. Some basic results concerning matrices |
69 |
IV-2. Homogeneous systems of linear differential equations |
78 |
IV-3. Homogeneous systems with constant coefficients |
81 |
IV-4. Systems with periodic coefficients |
87 |
IV-5. Linear Hamiltonian systems with periodic coefficients |
90 |
IV-6. Nonhomogeneous equations |
96 |
IV-7. Higher-order scalar equations |
98 |
Exercises IV |
102 |
Chapter V. Singularities of the First Kind |
108 |
V-1. Formal solutions of an algebraic differential equation |
109 |
V-2. Convergence of formal solutions of a system of the first kind |
113 |
V-3. The S-N decomposition of a matrix of infinite order |
118 |
V-4. The S-N decomposition of a differential operator |
120 |
V-5. A normal form of a differential operator |
121 |
V-6. Calculation of the normal form of a differential operator |
130 |
V-7. Classification of singularities of homogeneous linear systems |
132 |
Exercises V |
137 |
ix