Algorithmic Lie Theory for Solving Ordinary Differential by Fritz Schwarz

By Fritz Schwarz

Although Sophus Lie's concept was once almost the one systematic process for fixing nonlinear traditional differential equations (ODEs), it used to be hardly ever used for functional difficulties as a result of the significant volume of calculations concerned. yet with the arrival of computing device algebra courses, it turned attainable to use Lie conception to concrete difficulties. Taking this process, Algorithmic Lie thought for fixing usual Differential Equations serves as a priceless advent for fixing differential equations utilizing Lie's thought and similar effects. After an introductory bankruptcy, the e-book offers the mathematical beginning of linear differential equations, protecting Loewy's idea and Janet bases. the subsequent chapters current effects from the speculation of constant teams of a 2-D manifold and speak about the shut relation among Lie's symmetry research and the equivalence challenge. The center chapters of the ebook determine the symmetry periods to which quasilinear equations of order or 3 belong and rework those equations to canonical shape. the ultimate chapters resolve the canonical equations and convey the final suggestions every time attainable in addition to supply concluding comments. The appendices comprise ideas to chose workouts, valuable formulae, homes 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 PDF

Similar number systems books

Numerical Integration on Advanced Computer Systems

This monograph is a entire remedy of the theoretical and computational points of numerical integration. The authors provide a special evaluate of the subject through bringing into line many contemporary examine effects now not but awarded coherently; the vast bibliography lists 268 goods. specific emphasis is given to the aptitude parallelism of numerical integration difficulties and to using it through dynamic load distribution strategies.

Higher-Order Finite Element Methods

The finite aspect procedure has regularly been a mainstay for fixing engineering difficulties numerically. the latest advancements within the box basically point out that its destiny lies in higher-order tools, really in higher-order hp-adaptive schemes. those thoughts reply good to the expanding complexity of engineering simulations and fulfill the final pattern of simultaneous solution of phenomena with a number of scales.

Additional info for Algorithmic Lie Theory for Solving Ordinary Differential Equations

Example text

Further define (m) (m) w0 ≡ W (y1 , . . 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.

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. , y +Q1 y +Q2 y +Q3 y = 0 and y1 , y2 be a fundamental system of y + q1 y + q2 y = 0. If this latter equation is a factor of the former, the determinants w0 = y y y 1 y2 , w1 = 1 2 y 1 y2 y1 y2 and w2 = y1 y 2 y1 y 2 obey w0 = w1 , w1 = w2 −Q1 w1 −Q2 w0 and w2 = −Q1 w2 +Q3 w0 .

The given ordering. For any given system of pde’s there is a finite number of term orderings leading to different arrangements of terms, a trivial upper bound being the number of permutations of its terms. In any term ordering there is a lowest term which is always one of the dependent variables corresponding to e(δ) = 0. By Dickson’s lemma [33], Chapter 2, $ 4, any decreasing sequence of derivatives must terminate. In order to generate the above mentioned form of a system of pde’s effectively it is advantageous to have a predicate to decide whether or not any pair of derivatives is in correct order.

Download PDF sample

Rated 4.33 of 5 – based on 47 votes

About the Author

admin