Let (F,D) be a differential field with the subfield of constants C (c ∈ C iff Dc=0). We consider linear differential equations (1) $Ly=D^{n}y+a_{n-1}{D}^{n-1}y+...+a_{0}y=0$, where $a_0,...,a_n\in F$, and the solution y is in F or in some extension E of F (E ⊇ F). There always exists a (minimal, unique) extension E of F, where Ly=0 has a full system $y_1,...,y_n$ of linearly independent (over C) solutions; it is called the Picard-Vessiot extension of F E = PV(F,Ly=0). The Galois group G(E|F) of an extension field E ⊇ F consists of all differential automorphisms of...

In this paper the reduction of the modified Poincaré linear differential equation with one $n$-tuple regular singularity to the Birkhoff canonical matrix form is given.

In this paper, the classical Lie theory is applied to study the Benjamin-Bona-Mahony (BBM) and modified Benjamin-Bona-Mahony equations (MBBM) to obtain their symmetries, invariant solutions, symmetry reductions and differential invariants. By observation of the the adjoint representation of Mentioned symmetry groups on their Lie algebras, we find the primary classification (optimal system) of their group-invariant solutions which provides new exact solutions to BBM and MBBM equations. Finally, conservation...

For a Fuchsian system $dY/dx=({\sum }_{j=}^p\left(A_j\right)/(x-t_j))Y$, (F) $t₁,t₂,...,t_p$ being distinct points in ℂ and $A₁,A₂,...,A_p\in M(n\times n;ℂ)$, the number α of accessory parameters is determined by the spectral types $s\left(A₀\right),s\left(A₁\right),...,s\left(A_p\right)$, where $A₀=-{\sum }_{j=1}^p{A}_j$. We call the set $z=(z₁,z₂,...,z_{\alpha })$ of α parameters a regular coordinate if all entries of the $A_j$ are rational functions in z. It is not yet known that, for any irreducibly realizable set of spectral types, a regular coordinate does exist. In this paper we study a process of obtaining a new regular coordinate from a given one by a coalescence of eigenvalues of the matrices...

We introduce the concept of the regular (nonoscillatory) half-linear second order differential equation $${\left(r\left(t\right)\Phi \left(x^{\text{'}}\right)\right)}^{\text{'}}+c\left(t\right)\Phi \left(x\right)=0,\Phi \left(x\right):={\left|x\right|}^{p-2}x,p>1(*)$$ and we show that if (*) is regular, a solution $x$ of this equation such that $x^{\text{'}}\left(t\right)\ne 0$ for large $t$ is principal if and only if $${\int }^{\infty }\frac{dt}{r\left(t\right)x^2\left(t\right){\left|x^{\text{'}}\left(t\right)\right|}^{p-2}}=\infty .$$ Conditions on the functions $r,c$ are given which guarantee that (*) is regular.

In this paper we analyze several concepts of solution to discontinuous ODEs in relation to feedbacks generated by optimal syntheses. Optimal trajectories are called Stratified Solutions in case of regular synthesis in the sense of Boltyanskii–Brunovsky. We introduce a concept of solution called Krasowskii Cone Robust that characterizes optimal trajectories for minimum time on the plane and for general problems under suitable assumptions.

In this paper we analyze several concepts of solution to discontinuous ODEs in relation to feedbacks generated by optimal syntheses. Optimal trajectories are called Stratified Solutions in case of regular synthesis in the sense of Boltyanskii-Brunovsky. We introduce a concept of solution called Krasowskii Cone Robust that characterizes optimal trajectories for minimum time on the plane and for general problems under suitable assumptions.