Lie brackets

On the other hand, the Lie bracket of the functions h x),Lfh x), U j h x) is linearly independent. Therefore, it can be proved that necessarily r < n and that the linearly independent functions qualify as a set of new coordinate functions around the point x°. 

For example, recall the algebra Q of quaternions introduced in Section 1.5. Consider the (real ) three-dimensional subspace 0q spanned by i, j, k. Any element of Py can be written xi -I- yj +. k. The usual multiplication of quaternions followed by projection fl onto the subspace Qq (along the real line, i.e., the set of real scalar multiples of 1). is a Lie bracket on 0q. First we show asymmetry ... 

This Lie algebra is usually denoted gf ( , C) and is sometimes called the general linear (Lie) algebra over the complex numbers. Although this algebra is naturally a complex vector space, for our purposes we will think of it as a real Lie algebra, so that we can take real subspaces.We encourage the reader to check the three criteria for a Lie bracket (especially the Jacobi identity) by direct calculation. 

It is indeed a real subspace, since both the conditions on A are linear. Also, it is closed under the Lie bracket if A, B e yM(2) then... 

Physicists call L the total angular momentum. To check that it is a Lie algebra homomorphism, we must check that the Lie brackets behave properly. They... 

The rule to calculate the derivative of a product of two functions was first introduced by Leibniz [5, 6], The crux of our presentation is to take the multiplication rule as an initial postulate, rather than as a derived result. Leibniz rule for the derivative of a product of functions is not privy of calculus. It also appears when calculating commutators of matrices or linear operators . ..,BC = B[...,C] + [...,B]C. There is no need to invoke the concept of limit in this case, or when dealing with Lie brackets, or other derivations. The ultimate justification for this choice of initial postulate is given a posteriori in terms of the logarithmic function [7]. 

However, the quantum-classical brackets ( , ) introduced in eq.(7) are not Lie brackets [19], because they do not satisfy properties that are instead satisfied by the commutator and the Poisson brackets (respectively, quantum and classical Lie brackets), e.g., the Jacobi identity. 

The plan of the paper is the following. In section 2 we introduce the elements at the basis of the Heisenberg group representation representation theory [12-14,20] that are needed to understand the alternative group-theoretical formulation of quantum mechanics. In section 3 the Heisenberg representation of quantum mechanics (with the time dependence transferred from the vectors of the Hilbert space to the operators) is used to introduce quantum observables and quantum Lie brackets within the group-theoretical formalism described in the previous section. In section 4 classical mechanics is obtained by taking the formal limit h —> 0 of quantum observables and brackets to obtain their classical counterparts. Section 5 is devoted to the derivation of... 

This equation defines the quantum Lie brackets and consequently the operator... 

In the present and in the following section we discuss the application of the group-theoretical formalism to the formulation of quantum-classical mechanics. Our purpose is to determine evolution equations for two coupled subsystems, with two different degrees of quantization. We have shown in the previous sections that the classical behaviour of a system is formally obtained as a limiting case of the quantum behaviour, when the Planck constant h tends to zero. In this section we will associate two different values of the Planck constant, say hi and /12, to the two subsystems and introduce suitable Lie brackets to determine the evolution of the two subsystems [15]. The consistency, e.g., with respect to Jacobi identity, is guaranteed by the very definition of the... 

The property of the new (Lie) brackets (44) of being correct in the known full quantum and full classical limits may reasonably convince ourselves that the intermediate situation, in which hi —> h and h2 —> 0, generates quantum-classical dynamics. If the assumedly quantum-classical limit is performed on Ph1,h2(9i, 92), we obtain... 

An attempt to solve the difficulties and inconsistencies arising from an approximated derivation of quantum-classical equations of motion was made some time ago [15] to restore the properties that are expected to hold within a consistent formulation of dynamics and statistical mechanics, and are instead missed by the existing approximate methods. We refer not only to the properties that the Lie brackets, which generate the dynamics, satisfy in a full quantum and full classical formulation, e.g., the bi-linearity and anti-symmetry properties, the Jacobi identity and the Leibniz rule12, but also to statistical mechanical properties, like the time translational invariance of equilibrium correlation functions [see eq.(8)]. 

Since the Lie bracket is also a vector function, iterated Lie brackets can be defined using the following standard notation ... 

Lie algebras can often be constructed from associative algebras of operators or matrices. In fact, the Lie algebras we shall consider for physical applications can all be constructed in this manner. Thus, given an associative algebra with multiplication defined by AB we can define the Lie product by the commutator, or Lie bracket of A and B... 

We note that the condition of Assumption l(ii) can be shown by demonstrating that Hdrmander s condition holds over the entire space D. This is a condition on the commutators or Lie brackets of vector fields. 

The Lie bracket of a pair of vector fields (z), (z) is another vector field... 

Computing the iterated Lie brackets becomes, in many cases, an arduous task. 

Since Lie algebra is a generalization of linear (matrix) algebra, it is possible to use Lie algebra in the control of linear systems. But this theory is often unnecessary because matrix algebra is sufficient. In nonlinear systems. Lie algebra replaces matrix algebra, and Lie derivatives and Lie brackets replace matrix operations. 

Critical a Policies It is now possible to describe the computation of critical DSR a policies. For nonlinear systems, the use of Lie brackets is required to determine controllability. It will be helpful, nevertheless, to remember the... 

Determining whether a DSR is uncontrollable is also dependent on the properties of a specific matrix, and controllability is established by determining if this matrix contains full rank or not. This is achieved with the aid of Lie derivatives and Lie brackets. 

---