Use of group analysis in solving overdetermined systems of ordinary differential equations (Q1824742): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q585710 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Vasil G. Angelov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On invariance properties of the wave equation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequences of related linear PDEs / rank | |||
Normal rank |
Latest revision as of 11:03, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Use of group analysis in solving overdetermined systems of ordinary differential equations |
scientific article |
Statements
Use of group analysis in solving overdetermined systems of ordinary differential equations (English)
0 references
1989
0 references
The authors consider an overdetermined system of two differential equations of orders m and n resp. (m\(\leq n)\) \(f(x,y,y',...,y^{(m)})=0\), \(g(x,y,y',...,y^{(n)})=0\). Each member of the set D of common solutions lies on the surface S defined by the intersection of the surfaces \(f(z_ 1,z_ 2,...,z_{m+2})=0\), \(g(z_ 1,z_ 2,...,z_{n+2})=0\) where \(z_ 1=x,z_ 2=y,z_ 3=y',...,z_{n+2}=y^{(n)}\). By the assumption that each of the equations is invariant under the same r-parameter \((\epsilon_ 1,...,\epsilon_ r)\) solvable Lie group of point transformations \(G^{(r)}\) \[ x^*=X(x,y;\epsilon_ 1,\epsilon_ 2,...,\epsilon_ r),\quad y^*=Y(x,y;\epsilon_ 1,\epsilon_ 2,...,\epsilon_ r) \] (1\(\leq r\leq m)\), there exist differential invariants \(u(x,y,y',...,y^{(r-1)})\), \(v(x,y,y',...,y^{(r)})\) such that the above equations reduce to the equivalent overdetermined system of equations \[ F(u,v,v',...,v^{(m-r)})=0,\quad G(u,v,v',...,v^{(n- r)})=0 \] for some functions F and G. By group analysis the authors establish that the surface S containing a set of common solutions D is a surface of dimensionality at most \(m+1-r\) in \((z_ 1,z_ 2,...,z_{n+2})\)-space. Supposing a curve \(v=\phi (u)\) solves the last system, then any solution of equation \(v(x,y,y',...,y^{(r)})=\phi (u(x,y,y',...,y^{(r-1)}))\) is a common solution of the initial system. Since u and v are invariants of \(G^{(r)}\) it follows that \(v=\phi (u)\) is invariant under the r-parameter solvable group \(G^{(r)}\). Hence \(v=\phi (u)\) can be reduced constructively to r quadratures. Thus they obtain explicitely a function \(\psi (x,y;c_ 1,c_ 2,...,c_ r)\) \((c_ 1,c_ 2,...,c_ r\) are constants) for which the equation \(\psi (x,y;c_ 1,c_ 2,...,c_ r)=0\) defines an implicit common solution of the initial system. Examples are given.
0 references
group analysis
0 references
overdetermined system of equations
0 references
Examples
0 references