Algorithmic Lie Theory for Solving Ordinary Differential by Fritz Schwarz

By Fritz Schwarz

Although Sophus Lie's thought used to be nearly the one systematic procedure for fixing nonlinear usual differential equations (ODEs), it was once hardly used for useful difficulties due to the large quantity of calculations concerned. yet with the arrival of machine algebra courses, it grew to become attainable to use Lie conception to concrete difficulties. Taking this procedure, Algorithmic Lie thought for fixing usual Differential Equations serves as a invaluable advent for fixing differential equations utilizing Lie's idea and similar results.

After an introductory bankruptcy, the ebook presents the mathematical beginning of linear differential equations, overlaying Loewy's conception and Janet bases. the next chapters current effects from the speculation of constant teams of a 2-D manifold and talk about the shut relation among Lie's symmetry research and the equivalence challenge. The center chapters of the publication determine the symmetry periods to which quasilinear equations of order or 3 belong and rework those equations to canonical shape. the ultimate chapters remedy the canonical equations and convey the overall suggestions at any time when attainable in addition to offer concluding feedback. The appendices include ideas to chose workouts, worthwhile formulae, houses of beliefs of monomials, Loewy decompositions, symmetries for equations from Kamke's assortment, and a quick description of the software program procedure ALLTYPES for fixing concrete algebraic difficulties.

Show description

Read Online or Download Algorithmic Lie Theory for Solving Ordinary Differential Equations (Chapman & Hall/CRC Pure and Applied Mathematics) PDF

Similar number systems books

Numerical Methods for Elliptic and Parabolic Partial Differential Equations, 1st Edition

This e-book covers numerical equipment for partial differential equations: discretization equipment resembling finite distinction, finite quantity and finite aspect equipment; answer equipment for linear and nonlinear platforms of equations and grid iteration. The publication takes account of either the speculation and implementation, offering at the same time either a rigorous and an inductive presentation of the technical information.

Vibrations of mechanical systems with regular structure (Foundations of Engineering Mechanics)

During this booklet, typical constructions are de ned as periodic constructions which includes repeated parts (translational symmetry) in addition to constructions with a geom- ric symmetry. normal buildings have for a very long time been attracting the eye of scientists through the intense great thing about their varieties. they've been studied in lots of parts of technology: chemistry, physics, biology, and so forth.

Modular Forms: Basics and Beyond (Springer Monographs in Mathematics)

This can be a sophisticated publication on modular varieties. whereas there are lots of books released approximately modular types, they're written at an simple point, and never so fascinating from the perspective of a reader who already is aware the basics. This ebook bargains anything new, which can fulfill the will of one of these reader.

Sobolev Gradients and Differential Equations (Lecture Notes in Mathematics)

A Sobolev gradient of a real-valued practical on a Hilbert house is a gradient of that practical taken relative to an underlying Sobolev norm. This publication exhibits how descent equipment utilizing such gradients permit therapy of difficulties in differential equations.

Extra info for Algorithmic Lie Theory for Solving Ordinary Differential Equations (Chapman & Hall/CRC Pure and Applied Mathematics)

Sample text

2 If a second order Riccati equation z + 3zz + z 3 + a(z + z 2 ) + bz + c = 0 with a, b, c ∈ Q(x) has rational solutions, one of the following cases applies. 18) ¯ ¯ is a suitable algebraic extension of Q, and C1 Q where p, u, v ∈ Q(x), and C2 are constants. 15). iii) There is a rational solution containing a single constant as in the preceding case, and in addition a single special rational solution. iv) There is only a single one, or there are two or three special rational solutions that are pairwise inequivalent.

3) such that qk = (−1)k w 0 w0 ¯) (N w0 ¯ −1) (N + r1 w0 + . . 22) ¯ ≤ N with ri ∈ Q Q1 , . . , Qn for all i. The wk may be expressed of order N as ¯ −1) ¯ −2) (N (N wk = lk,N¯ −1 w0 + lk,N¯ −2 w0 + . . + lk,0 w0 with li,j ∈ Q Q1 , . . , Qn for all i and j. , a solution such that w00 ∈ Q(x). Linear Differential Equations 25 The proof of this theorem and more details may be found in the above quoted references, see also Schwarz [162], Bronstein [21] and van Hoeij [73] where factorization algorithms are described.

K1 ! . kν−1 ! 1 k0 z 2! k1 ... z (ν−1) ν! 11) is useful. It follows from a formal analogy to the iterated chain rule of di Bruno [22]. For the subsequent discussion several of its properties are required, e. g. the order of a pole of φν which it exhibits as a consequence of a pole of z. 13 and are taken for granted from now on without mentioning it. Let x0 be the position of a finite pole of order M > 1 in a possible solution 1 z(x). 19) it generates exactly one term proportional to (x − x0 )νM in φν (z).

Download PDF sample

Rated 4.17 of 5 – based on 45 votes