Systems of second-order linear ODE’s with constant coefficients and their symmetries

Starting from the study of the symmetries of systems of 4 second-order linear ODEs with constant real coefficients, we determine the dimension and generators of the symmetry algebra for systems of n equations described by a diagonal Jordan canonical form. We further prove that some dimensions between the lower and upper bounds cannot be attained in the diagonal case, and classify the Levi factors of the symmetry algebras.     

On split Lie algebras with symmetric root systems

We develop techniques of connections of roots for split Lie algebras with symmetric root systems. We show that any of such algebras L is of the form L = + Σ _j I _j with a subspace of the abelian Lie algebra H and any I _j a well described ideal of L, satisfying [I _j , I _k ] = 0 if j ≠ k. Under certain conditions, the simplicity of L is characterized and it is shown that L is the direct sum of the family of its minimal ideals, each one being a simple split Lie algebra with a symmetric root system and having all its nonzero roots connected.     

Symmetry breaking of systems of linear second-order ordinary differential equations with constant coefficients

We show that the structure of the Lie symmetry algebra of a system of n linear second-order ordinary differential equations with constant coefficients depends on at most n-1 parameters. The tools used are Jordan canonical forms and appropriate scaling transformations. We put our approach to test by presenting a simple proof of the fact that the dimension of the symmetry Lie algebra of a system of two linear second-order ordinary differential with constant coefficients is either 7, 8 or 15. Also, we establish for the first time that the dimension of the symmetry Lie algebra of a system of three linear second-order ordinary differential equations with constant coefficients is 10, 12, 13 or 24.     

Jordan (Super)Coalgebras and Lie (Super)Coalgebras

We discuss the question of local finite dimensionality of Jordan supercoalgebras. We establish a connection between Jordan and Lie supercoalgebras which is analogous to the Kantor–Koecher–Tits construction for ordinary Jordan superalgebras. We exhibit an example of a Jordan supercoalgebra which is not locally finite-dimensional. Show that, for a Jordan supercoalgebra (J,) with a dual algebra J ^*, there exists a Lie supercoalgebra (L ^c (J), _L ) whose dual algebra (L ^c (J))^* is the Lie KKT-superalgebra for the Jordan superalgebra J ^*. It is well known that some Jordan coalgebra J ⁰ can be constructed from an arbitrary Jordan algebra J. We find necessary and sufficient conditions for the coalgebra (L ^c (J ⁰),_L) to be isomorphic to the coalgebra (Loc(L _in (J)⁰), _L ⁰), where L _in (J) is the adjoint Lie KKT-algebra for the Jordan algebra J.     

Polynomial identities for the Jordan algebra of a degenerate symmetric bilinear form

Let _Jn$J_n$ be the Jordan algebra of a degenerate symmetric bilinear form. In the first section we classify all possible G  -gradings on _Jn$J_n$ where G   is any group, while in the second part we restrict our attention to a degenerate symmetric bilinear form of rank n−1$n-1$, where n is the dimension of the vector space V   defining _Jn$J_n$. We prove that in this case the algebra _Jn$J_n$ is PI-equivalent to the Jordan algebra of a nondegenerate bilinear form.     

Spectral theory for commutative algebras of differential operators on Lie groups

The joint spectral theory of a system of pairwise commuting self-adjoint left-invariant differential operators L₁,…,Ln on a connected Lie group G is studied, under the hypothesis that the algebra generated by them contains a “weighted subcoercive operator” of ter Elst and Robinson (1998) [52]. The joint spectrum of L₁,…,Ln in every unitary representation of G is characterized as the set of the eigenvalues corresponding to a particular class of (generalized) joint eigenfunctions of positive type of L₁,…,Ln. Connections with the theory of Gelfand pairs are established in the case L₁,…,Ln generate the algebra of K-invariant left-invariant differential operators on G for some compact subgroup K of Aut(G).     

On approximately simultaneously diagonalizable matrices

A collection A₁, A₂, …, A_k of n × n matrices over the complex numbers C has the ASD property if the matrices can be perturbed by an arbitrarily small amount so that they become simultaneously diagonalizable. Such a collection must perforce be commuting. We show by a direct matrix proof that the ASD property holds for three commuting matrices when one of them is 2-regular (dimension of eigenspaces is at most 2). Corollaries include results of Gerstenhaber and Neubauer-Sethuraman on bounds for the dimension of the algebra generated by A₁, A₂, …, A_k. Even when the ASD property fails, our techniques can produce a good bound on the dimension of this subalgebra. For example, we establish for commuting matrices A₁, …, A_k when one of them is 2-regular. This bound is sharp. One offshoot of our work is the introduction of a new canonical form, the H-form, for matrices over an algebraically closed field. The H-form of a matrix is a sparse “Jordan like” upper triangular matrix which allows us to assume that any commuting matrices are also upper triangular. (The Jordan form itself does not accommodate this.)     

Euler-Bernoulli beams from a symmetry standpoint-characterization of equivalent equations

We completely solve the equivalence problem for Euler-Bernoulli equation using Lie symmetry analysis. We show that the quotient of the symmetry Lie algebra of the Bernoulli equation by the infinite-dimensional Lie algebra spanned by solution symmetries is a representation of one of the following Lie algebras: 2A₁, A₁⊕A₂, 3A₁, or A3,3⊕A₁. Each quotient symmetry Lie algebra determines an equivalence class of Euler-Bernoulli equations. Save for the generic case corresponding to arbitrary lineal mass density and flexural rigidity, we characterize the elements of each class by giving a determined set of differential equations satisfied by physical parameters (lineal mass density and flexural rigidity). For each class, we provide a simple representative and we explicitly construct transformations that maps a class member to its representative. The maximally symmetric class described by the four-dimensional quotient symmetry Lie algebra A3,3⊕A₁ corresponds to Euler-Bernoulli equations homeomorphic to the uniform one (constant lineal mass density and flexural rigidity). We rigorously derive some non-trivial and non-uniform Euler-Bernoulli equations reducible to the uniform unit beam. Our models extend and emphasize the symmetry flavor of Gottlieb's iso-spectral beams [H.P.W. Gottlieb, Isospectral Euler-Bernoulli beam with continuous density and rigidity functions, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 413 (1987) 235-250].     

An algorithm for computing Jordan chains and inverting analytic matrix functions

We present an efficient algorithm for obtaining a canonical system of Jordan chains for an n × n regular analytic matrix function A(λ) that is singular at the origin. For any analytic vector function b(λ), we show that each term in the Laurent expansion of A(λ)⁻¹b(λ) may be obtained from the previous terms by solving an (n + d) × (n+d) linear system, where d is the order of the zero of det A(λ) at λ = 0. The matrix representing this linear system contains A(0) as a principal submatrix, which can be useful if A(0) is sparse. The last several iterations can be eliminated if left Jordan chains are computed in addition to right Jordan chains. The performance of the algorithm in floating point and exact (rational) arithmetic is reported for several test cases. The method is shown to be forward stable in floating point arithmetic.     

Graded Lie algebras with few nontrivial components

We prove that if a (?/n?)-graded Lie algebra L = ? _i=0 ^n?1 L _i has d nontrivial components L _i and the null component L ₀ has finite dimension m, then L has a homogeneous solvable ideal of derived length bounded by a function of d and of codimension bounded by a function of m and d. An analogous result holds also for the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 with few nontrivial components L _i if the null component L ₀ has finite order m. These results generalize Kreknin’s theorem on the solvability of the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 L _i with trivial component L ₀ and Shalev’s theorem on the solvability of such Lie rings with few nontrivial components L _i . The proof is based on the method of generalized centralizers which was created by E. I. Khukhro for Lie rings and nilpotent groups with almost regular automorphisms of prime order [1], as well as on the technique developed in the work of N. Yu. Makarenko and E. I. Khukhro on the almost solvability of Lie algebras with an almost regular automorphism of finite order [2].     

Depth Generated Simple Lie Algebras

A Lie module algebra for a Lie algebra L is an algebra and L-module A such that L acts on A by derivations. The depth Lie algebra of a Lie algebra L with Lie module algebra A acts on a corresponding depth Lie module algebra . This determines a depth functor from the category of Lie module algebra pairs to itself. Remarkably, this functor preserves central simplicity. It follows that the Lie algebras corresponding to faithful central simple Lie module algebra pairs (A,L) with A commutative are simple. Upon iteration at such (A,L), the Lie algebras are simple for all i ∈ ω. In particular, the (i ∈ ω) corresponding to central simple Jordan Lie algops (A,L) are simple Lie algebras. Presented by Don Passman.     

Banach Lie algebras with Lie subalgebras of finite codimension: Their invariant subspaces and Lie ideals

The paper studies the existence of closed invariant subspaces for a Lie algebra L of bounded operators on an infinite-dimensional Banach space X. It is assumed that L contains a Lie subalgebra L₀ that has a non-trivial closed invariant subspace in X of finite codimension or dimension. It is proved that L itself has a non-trivial closed invariant subspace in the following two cases: (1) L₀ has finite codimension in L and there are Lie subalgebras L₀=L⁰⊂L¹⊂?⊂Lp=L such that Li+1=Li+[Li,Li+1] for all i; (2) L₀ is a Lie ideal of L and dim(L₀)=∞. These results are applied to the problem of the existence of non-trivial closed Lie ideals and closed characteristic Lie ideals in an infinite-dimensional Banach Lie algebra L that contains a non-trivial closed Lie subalgebra of finite codimension.     

Lie group classification of the generalized Lane–Emden equation

We carry out the Lie group classification of the generalized Lane–Emden equation xu^″+nu^′+xH(u)=0, which has many applications in mathematical physics and astrophysics. We show that the equation admits a three-dimensional equivalence Lie algebra. It is also shown that the principal Lie algebra, which in this case is trivial, has seven possible extensions. Three new cases arise for which the Lie point symmetry algebra is non-trivial. Comparison is then made of these cases with the Noether symmetry cases as well as the partial Noether operators.     

On injective Jordan semi-triple maps of matrix algebras

We show that every injective Jordan semi-triple map on the algebra M_n(F) of all n × n matrices with entries in a field F (i.e. a map Φ:M_n(F)→M_n(F) satisfying

Φ(ABA)=Φ(A)Φ(B)Φ(A)     

Maximum order-index of matrices over commutative inclines: an answer to an open problem

This paper proves that the maximum order-index of n × n matrices over an arbitrary commutative incline equals (n − 1)² + 1. This is an answer to an open problem “Compute the maximum order-index of a member of M_n(L)”, proposed by Cao, Kim and Roush in a monograph Incline Algebra and Applications, 1984, where M_n(L) is the set of all n × n matrices over an incline L.     

Jordan isomorphisms of upper triangular matrix rings

Let R be a 2-torsionfree ring with identity 1 and let T_n(R), n ? 2, be the ring of all upper triangular n × n matrices over R. We describe additive Jordan isomorphisms of T_n(R) onto an arbitrary ring and generalize several results on this line.     

A max version of the generalized spectral radius theorem

Let Ψ be a bounded set of n × n nonnegative matrices in max algebra. In this paper we propose the notions of the max algebra version of the generalized spectral radius μ(Ψ) of Ψ, and the max algebra version of the joint spectral radius η(Ψ) of Ψ. The max algebra version of the generalized spectral radius theorem μ(Ψ) = η(Ψ) is established. We propose the relationship between the generalized spectral radius ρ(Ψ) of Ψ (in the sense of Daubechies and Lagarias) and its max algebra version μ(Ψ). Moreover, a generalization of Elsner and van den Driessche’s lemma is presented as well.     

On Behavior of Solvable Ideals of Lie Algebras Under Outer Derivations

Let L be a finite dimensional Lie algebra over a field F. It is well known that the solvable radical S(L) of the algebra L is a characteristic ideal of L if char F = 0, and there are counterexamples to this statement in case char F = p > 0. We prove that the sum S(L) of all solvable ideals of a Lie algebra L (not necessarily finite dimensional) is a characteristic ideal of L in the following cases: 1) char F = 0; 2) S(L) is solvable and its derived length is less than log₂ p.     

Deformations of the infinite-dimensional Lie algebra L 3

For the nilpotent infinite-dimensional Lie algebra L ₃, we compute the second cohomology group H ²(L ₃, L ₃) with coefficients in the adjoint module. Nontrivial cocycles are found in closed form, and Massey powers are computed for them.     

Efficient Chebyshev spectral methods for solving multi-term fractional orders differential equations

In this paper, we state and prove a new formula expressing explicitly the derivatives of shifted Chebyshev polynomials of any degree and for any fractional-order in terms of shifted Chebyshev polynomials themselves. We develop also a direct solution technique for solving the linear multi-order fractional differential equations (FDEs) with constant coefficients using a spectral tau method. The spatial approximation with its fractional-order derivatives (described in the Caputo sense) are based on shifted Chebyshev polynomials T_L,n(x) with x ∈ (0, L), L > 0 and n is the polynomial degree. We presented a shifted Chebyshev collocation method with shifted Chebyshev–Gauss points used as collocation nodes for solving nonlinear multi-order fractional initial value problems. Several numerical examples are considered aiming to demonstrate the validity and applicability of the proposed techniques and to compare with the existing results.