* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download On the linear differential equations whose solutions are the
Survey
Document related concepts
Mathematical descriptions of the electromagnetic field wikipedia , lookup
Eigenvalues and eigenvectors wikipedia , lookup
Computational fluid dynamics wikipedia , lookup
Mathematical optimization wikipedia , lookup
Generalized linear model wikipedia , lookup
Genetic algorithm wikipedia , lookup
Least squares wikipedia , lookup
Inverse problem wikipedia , lookup
Simplex algorithm wikipedia , lookup
Linear algebra wikipedia , lookup
Perturbation theory wikipedia , lookup
Computational electromagnetics wikipedia , lookup
Transcript
B OLLETTINO U NIONE M ATEMATICA I TALIANA Richard Bellman On the linear differential equations whose solutions are the products of solutions of two given linear differential equations. Bollettino dell’Unione Matematica Italiana, Serie 3, Vol. 12 (1957), n.1, p. 12–15. Zanichelli <http://www.bdim.eu/item?id=BUMI_1957_3_12_1_12_0> L’utilizzo e la stampa di questo documento digitale è consentito liberamente per motivi di ricerca e studio. Non è consentito l’utilizzo dello stesso per motivi commerciali. Tutte le copie di questo documento devono riportare questo avvertimento. Articolo digitalizzato nel quadro del programma bdim (Biblioteca Digitale Italiana di Matematica) SIMAI & UMI http://www.bdim.eu/ On the linear differential équation whose solutions are the products of solutions of two given linear differential équations Nota di RICHARD BELLMAN (Santa Monica - California, II. S.A.) Summary. - The purpose of this paper is to illustrate the application of a resuit in matrix theory to the problem o f determining the linear differential équation whose solutions are the products of the solutions of two given linear differential équations. § 1. Introduction It was observed by NEWTON that a simple way to obtain the power series expansion, for the function (1) u = (arc sin x)~ was to form the second order linear differential équation » and solve it by means of a power series expansion. I n another direction, it was shown by Appell, [1], that if ul, u2 represent two linearly independent solutions of (3) u"-t-p{t)u' + q{t)u = O, then Uj2, utui9 u%1 represent three linearly independent solutions of the third order linear differential équation (4) u'" -h 3p(t)u" -»- (2pî{t) -+- p\t) -H 4q(t))u' -4- (±p(t)q{t) -+- 2q'(t))u = 0 cf., also, WHITTAREU and WATSON, [2], This resuit is useful in connection with the détermination of the power series expansion for the square of the hypergeometric ON THE LINEAK DIFFERENTIAL EQUATION WHOSE SOLUTIONS, ECC. 13 funetion f (a, &, c ; x) (l), and plays a rôle in the study of the MATHIEU function, [2]. There are several ways of determining the équation in (4), since the problem is analogous to that of finding the polynomial whose roots are various symmetrie combinations of the roots of a given polynomial. In this paper, we shall present a new method based upon an interesting resuit concerning matrix differential équations. § 2. Preliminary Lemma The crux of the method is the well-known Lemma. Let Y and Z be respectively the solutions of (1) ** = A{i)Y, Y(0) = I, Then the solution of (2) ^ = A(t)X + XB(t), X(0) = C, i s «jwew &«/ (3) X^YCZ. Vérification provides an immédiate proof. Let us assume that A(t) and B(t) satisfy the condition of being integrable over any finite interval. § 3. Application Let us now apply this resuit to the problem of finding the 3rd order linear differential équation whose solutions are u,2, uxu%) u%2, vhere ux and u2 are two linearly independent solutions of (1.3). (*) While this paper was in the process of being typed, a paper on this thème appeared : H. P. SANDHAM, A Square and a Product of Hypergeometrie Fonctions, Quart. Jour, of Math., Vol. 7(1956). pp. 153-154:. 14 RICHAKD BELLMAN Without loss of generality, let ux and n% be determined by the boundary conditions. (1) Setting uf-=v9 u^Q) — 1, ^i'(O) = 0, u%(0) = 0, ut'(0) = 1. ^we see that (1.3) is equivalent to the system (2) »' = « v' = —p(t)v — q(t)u. Let (3) A{t) = , \. \—-%(*) — w ) / Then the matrix solution of (4) ü' = A(t)U, ü(0) = I, is given by and the solution of (6) V' by V=ÜT, the transpose of ü. From the lemma in § 2, we deduce that the solution of X' = A(t)X -i- XA{t)T, (7) X(0) = 0, is given by (8) X= ÜCÜT. Taking O to be a symmetrie matrix^ (9) ON THE LINEAB DIFFERENTIAL EQUATION WHOSE SOLUTIONS, ECC. 15 see that X is given by (io) x = "• Writing (11) the équation in (7) is equivalent to the system (12) a?/ = 2(o11aîl -t- al%x%) x2' = a2lx1 -+- (a n Eliminating x% and x 3 , we obtain a third order linear differential équation for xY whose gênerai solution is cxu^ H- 2ctzuxu^ -4- c%u22 where cx, c 2 , and c3 are arbitrary constants. Simijarly, eliminating x l and xt, w e obtain the équation Avhose gênerai solution is c ^ / 1 -4- 2c 2 tt/%' -+- Cg^t/2 ; eliminating xL and x 3 j we obtain an équation whose solutions are the derivatives of the équation obtained by the élimination of x% and xz. § 4. The General Case I n stating the lemma in § 2, w e ignored any discussion of the dimension of Y and Z. It is clear that the resuit is valid if A(t) and Y are mxm matrices, B(t) and Z nxn matrices, and C and X mxn matrices. Üsing the technique sketched in § 3, we can obtain the linear differential équation of order mn whose solutions are the products of the solutions of a linear differential équation of order m and one of order n. BIBLIOaBAPHY [1] C. APPELL, Comptes Rendus, XCI (1880), pp. 211-214. [2] E. T. WHITTAKER and Gk K. WATSON, Modem Analysis, Cambridge, 1935, p. 418.