Analysis of Nonlinear Discrete‐time Control Systems based on Lie‐Groups

This contribution is concerned with the observability and accessibility analysis of nonlinear explicit discrete‐time control systems. The presented approach is fundamental based on the fact that the geometric interpretation known from the analysis of continuous‐time systems based on Lie groups is also appropriate in the discrete‐time case. It is shown that by investigation of invariants of Lie groups acting on the solution of the system it is possible to state conditions for local observability and accessibility without calculating the solution. These methods provide tests which can be done by computer algebra. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Computation of multiple Lie derivatives by algorithmic differentiation

Lie derivatives are often used in nonlinear control and system theory. In general, these Lie derivatives are computed symbolically using computer algebra software. Although this approach is well-suited for small and medium-size problems, it is difficult to apply this technique to very complicated systems. We suggest an alternative method to compute the values of iterated and mixed Lie derivatives by algorithmic differentiation.     

Flat Nonunimodular Lorentzian Lie Algebras

A flat Lorentzian Lie algebra is a left symmetric algebra endowed with a symmetric bilinear form of signature (?, +,…, +) such that left multiplications are skew-symmetric. In geometrical terms, a flat Lorentzian Lie algebra is the Lie algebra of a Lie group with a left-invariant Lorentzian metric with vanishing curvature. In this article, we show that any flat nonunimodular Lorentzian Lie algebras can be obtained as a double extension of flat Riemannian Lie algebras. As an application, we give all flat nonunimodular Lorentzian Lie algebras up to dimension 4.     

Optimization of Bilinear Systems Using a Higher-Order Variational Method

This paper derives some optimization results for bilinear systems using a higher-order method by characterizing them over matrix Lie groups. In the derivation of the results, first a bilinear system is transformed to a left-invariant system on matrix Lie groups. Then, the product of exponential representation is used to express this system in canonical form. Next, the conditions for optimality are obtained by the principles of variational calculus. It is demonstrated that closed-form analytical solutions exist for classes of bilinear systems whose Lie algebra are nilpotent.     

Categorified central extensions, étale Lie 2-groups and Lie?s Third Theorem for locally exponential Lie algebras

Lie?s Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles.This paper remedies the obstructions for integrating cocycles and central extensions from Lie algebras to Lie groups by generalising the integrating objects. Those objects obey the maximal coherence that one can expect. Moreover, we show that they are the universal ones for the integration problem.The main application of this result is that a Mackey-complete locally exponential Lie algebra (e.g., a Banach–Lie algebra) integrates to a Lie 2-group in the sense that there is a natural Lie functor from certain Lie 2-groups to Lie algebras, sending the integrating Lie 2-group to an isomorphic Lie algebra.     

Constructions for Octonion and Exceptional Jordan Algebras

In this note we reverse theusual process of constructing the Lie algebras of types G ₂and F ₄ as algebras of derivations of the splitoctonions or the exceptional Jordan algebra and instead beginwith their Dynkin diagrams and then construct the algebras togetherwith an action of the Lie algebras and associated Chevalley groups.This is shown to be a variation on a general construction ofall standard modules for simple Lie algebras and it is well suitedfor use in computational algebra systems. All the structure constantswhich occur are integral and hence the construction specialisesto all fields, without restriction on the characteristic, avoidingthe usual problems with characteristics 2 and 3.     

Affine varieties and lie algebras of vector fields

In this article, we associate to affine algebraic or local analytic varieties their tangent algebra. This is the Lie algebra of all vector fields on the ambient space which are tangent to the variety. Properties of the relation between varieties and tangent algebras are studied. Being the tangent algebra of some variety is shown to be equivalent to a purely Lie algebra theoretic property of subalgebras of the Lie algebra of all vector fields on the ambient space. This allows to prove that the isomorphism type of the variety is determinde by its tangent algebra.     

The socle of a nondegenerate Lie algebra

We define the socle of a nondegenerate Lie algebra as the sum of all its minimal inner ideals. The socle turns out to be an ideal which is a direct sum of simple ideals, and satisfies the descending chain condition on principal inner ideals. Every classical finite dimensional Lie algebra coincides with its socle, while relevant examples of infinite dimensional Lie algebras with nonzero socle are the simple finitary Lie algebras and the classical Banach Lie algebras of compact operators on an infinite dimensional Hilbert space. This notion of socle for Lie algebras is compatible with the previous ones for associative algebras and Jordan systems. We conclude with a structure theorem for simple nondegenerate Lie algebras containing abelian minimal inner ideals, and as a consequence we obtain that a simple Lie algebra over an algebraically closed field of characteristic 0 is finitary if and only if it is nondegenerate and contains a rank-one element.     

李三系与Laurent多项式代数F[t,t~(-1)]

本文通过讨论Laurent多项式代数及其导子代数的对合自同构确定了一类具体的无限维单李三系, 并且提供了一种利用Novikov代数上自然的李代数结构来构造李三系的方法.     

Prime Quotients of Jordan Systems and Lie Algebras

We show that, unlike alternative algebras, prime quotients of a nondegenerate Jordan system or a Lie algebra need not be nondegenerate, even if the original Jordan system is primitive, or the Lie algebra is strongly prime, both with nonzero simple hearts. Nevertheless, for Jordan systems and Lie algebras directly linked to associative systems, we prove that even semiprime quotients are necessarily nondegenerate.     

Cartan matrices for restricted Lie algebras

Consider a finite dimensional restricted Lie algebra over a field of prime characteristic. Each linear form on this Lie algebra defines a finite dimensional quotient of its universal enveloping algebra, called a reduced enveloping algebra. This leads to a Cartan matrix recording the multiplicities as composition factors of the simple modules in the projective indecomposable modules for such a reduced enveloping algebra. In this paper we show how to compare such Cartan matrices belonging to distinct linear forms. As an application we rederive and generalise the reciprocity formula first discovered by Humphreys for Lie algebras of reductive groups. For simple Lie algebras of Cartan type we see, for example, that the Cartan matrices for linear forms of non-positive height are submatrices of the Cartan matrix for the zero linear form.     

一类推广的Virasoro-like李代数

构造了一类无限维李代数,它是Virasoro-like李代数的推广.研究了这类李代数的两类自同构,这两类自同构均关于映射的合成构成自同构群,一类同构于对称群S3,另一类同构于Klein交换群.得到了这类李代数一些特殊的自同态、中心.证明了这类李代数不是半单李代数.     

The Lie algebra structure and controllability of spin systems

In this paper, we study the controllability properties and the Lie algebra structure of networks of particles with spin immersed in an electro-magnetic field. We relate the Lie algebra structure to the properties of a graph whose nodes represent the particles and an edge connects two nodes if and only if the interaction between the two corresponding particles is active. For networks with different gyromagnetic ratios, we provide a necessary and sufficient condition of controllability in terms of the properties of the above-mentioned graph and describe the Lie algebra structure in every case. For these systems all the controllability notions, including the possibility of driving the evolution operator and/or the state, are equivalent. For general networks (with possibly equal gyromagnetic ratios), we give a sufficient condition of controllability. A general form of interaction among the particles is assumed which includes both Ising and Heisenberg models as special cases. Assuming Heisenberg interaction we provide an analysis of low-dimensional cases (number of particles less than or equal to three) which includes necessary and sufficient controllability conditions as well as a study of their Lie algebra structure. This also provides an example of quantum mechanical systems where controllability of the state is verified while controllability of the evolution operator is not.     

A-扩张Lie Rinehart代数

The purpose of this paper is to give a brief introduction to the category of Lie Rinehart algebras and introduces the concept of smooth manifolds associated with a unitary, commutative,associative algebra A.It especially shows that the A-extended algebra as well as the action algebra can be realized as the space of A-left invariant vector fields on a Lie group,analogous to the well known relationship of Lie algebras and Lie groups.     

Universal methods of the search of normal geodesics on Lie groups with left-invariant sub-Riemannian metric

We obtain two versions of ODEs for the control function of normal geodesics for left-invariant sub-Riemannian metrics on Lie groups, involving only the structure of the Lie algebras of these groups. The first version is applicable to all Lie groups, while the second, to all matrix Lie groups; both versions are different invariant forms of the Hamiltonian system of the Pontryagin maximum principle for a left-invariant time-optimal problem on a Lie group. Basing on the first version, we find sufficient conditions for the normality of all geodesics of a given sub-Finslerian metric on a Lie group; in particular, we show that all three-dimensional Lie groups possess this property. The proofs use simple techniques of linear algebra.     

Algorithms for Computations in Local Symmetric Spaces

In the last two decades much of the algebraic/combinatorial structure of Lie groups, Lie algebras, and their representations has been implemented in several excellent computer algebra packages, including LiE, GAP4, Chevie, Magma, and Maple. The structure of reductive symmetric spaces or more generally symmetric k-varieties is very similar to that of the underlying Lie group, with a few additional complications. A computer algebra package enabling one to do computations related to these symmetric spaces would be an important tool for researchers in many areas of mathematics, including representation theory, Harish Chandra modules, singularity theory, differential and algebraic geometry, mathematical physics, character sheaves, Lie theory, etc.

In this article we lay the groundwork for computing the fine structure of symmetric spaces over the real numbers and other base fields, give a complete set of algorithms for computing the fine structure of symmetric varieties and use this to compute nice bases for the local symmetric varieties.     

A strong constructive version of engel's theorem

We examine two problems in the computational theory of Lie algebras. First, we prove a constructive version of Engel's theorem: if L is a finite-dimensional Lie algebra that is not nilpotent, we show how to construct an element x in L such that the linear transformation ad x is not nilpotent. No special assumptions about the underlying field are needed. Second, as an important application of the first result, we give an algorithm for the construction of a Cartan subalgebra of a finite-dimensional Lie algebra. This solves the problem of finding a totally constructive proof of the existence of a Cartan subalgebra, posed by Beck, Kolman, and Stewart in the paper "Computing the Structure of a Lie Algebra". Our proofs are ordinary mathematical proofs that do not employ the general law of excluded middle. The advantage of this approach to mathematics is that our proofs, which are not burdened or obscured by the details of a particular programming language, can nevertheless be routinely turned into computer programs     

Towards a Lie theory of locally convex groups

In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie subgroups, and integrability of Lie algebra extensions to Lie group extensions. We further describe how regularity or local exponentiality of a Lie group can be used to obtain quite satisfactory answers to some of the fundamental problems. These results are illustrated by specialization to some specific classes of Lie groups, such as direct limit groups, linear Lie groups, groups of smooth maps and groups of diffeomorphisms.