Invariant Metrizability and Projective Metrizability on Lie Groups and Homogeneous Spaces

In this paper, we study the invariant metrizability and projective metrizability problems for the special case of the geodesic spray associated to the canonical connection of a Lie group. We prove that such canonical spray is projectively Finsler metrizable if and only if it is Riemann metrizable. This result means that this structure is rigid in the sense that considering left invariant metrics, the potentially much larger class of projective Finsler metrizable canonical sprays, corresponding to Lie groups, coincides with the class of Riemann metrizable canonical sprays. Generalisation of these results for geodesic orbit spaces are given.

     

GAUGE TRANSFORMATIONS OF TYPE (0,2) TENSOR FIELDS AND ASSOCIATED VARIATIONAL PRINCIPLES

ABSTRACT

This article is concerned with variational problems whose field variables are functions on a product manifold M x G of two manifolds M and G. These field variables are denoted by ψ_hα_j in local coordinates (h, j = 1,…,n = dim M, α = 1,…,r = dim G), and it is supposed that they behave as type (0,2) tensor fields under coordinate transformations on M. The dependance of ψ_hα_j on the coordinates of G is specified by a generalized gauge transformation that depends on a map h: M → G. The requirement that the action integral be independent of the choice of this map imposes conditions on the matrices that define the gauge transformation in a manner that gives rise to a Lie algebra, which in turn imposes a Lie group structure on the manifold G. As in the case of standard gauge theories (whose gauge potentials consist of r type (0,1) vector fields on M) certain combinations of the first derivatives of the field variations ψ_hα_j give rise to a set of r tensors on M, the so-called field strengths, that can be regarded as special representations of G. These may be used to construct appropriate connection and curvature forms of M. The Euler-Lagrange equations of the variational problem, when expressed in terms of such connections, admit a particularly simple representation and give rise a set of n conservation laws in terms of type (1,1) tensor fields.     

Discrete Lagrange problems with constraints valued in a Lie group

The Lagrange problem is established in the discrete field theory subject to constraints with values in a Lie group. For the admissible sections that satisfy a certain regularity condition, we prove that the critical sections of such problems are the solutions of a canonically unconstrained variational problem associated with the Lagrange problem (discrete Lagrange multiplier rule). This variational problem has a discrete Cartan 1-form, from which a Noether theory of symmetries and a multisymplectic form formula are established. The whole theory is applied to the Euler-Poincaré reduction in the discrete field theory, concluding as an illustration with the remarkable example of the harmonic maps of the discrete plane in the Lie group $SO(n)$.     

Infinite dimensional duality and applications

The usual duality theory cannot be applied to infinite dimensional problems because the underlying constraint set mostly has an empty interior and the constraints are possibly nonlinear. In this paper we present an infinite dimensional nonlinear duality theory obtained by using new separation theorems based on the notion of quasi-relative interior, which, in all the concrete problems considered, is nonempty. We apply this theory to solve the until now unsolved problem of finding, in the infinite dimensional case, the Lagrange multipliers associated to optimization problems or to variational inequalities. As an example, we find the Lagrange multiplier associated to a general elastic–plastic torsion problem.     

Algorithms with strong convergence for a system of nonlinear variational inequalities in Banach spaces

In this paper, a general system of nonlinear variational inequality problem in Banach spaces was considered, which includes some existing problems as special cases. For solving this nonlinear variational inequality problem, we construct two methods which were inspired and motivated by Korpelevich’s extragradient method. Furthermore, we prove that the suggested algorithms converge strongly to some solutions of the studied variational inequality.     

The classification of nonsingular multidimensional Dubrovin-Novikov brackets

In this paper, the well-known Dubrovin-Novikov problem posed as long ago as in 1984 in connection with the Hamiltonian theory of systems of hydrodynamic type, namely, the classification problem for multidimensional Poisson brackets of hydrodynamic type, is solved. In contrast to the one-dimensional case, in the general case, a nondegenerate multidimensional Poisson bracket of hydrodynamic type cannot be reduced to a constant form by a local change of coordinates. Generally speaking, such Poisson brackets are generated by nontrivial canonical special infinite-dimensional Lie algebras. In this paper, we obtain a classification of all nonsingular nondegenerate multidimensional Poisson brackets of hydrodynamic type for any number N of components and for any dimension n by differential-geometric methods. A key role in the solution of this problem is played by the theory of compatible metrics earlier constructed by the present author.     

On the connection theory of extensions of transitive Lie groupoids

Due to a result by Mackenzie, extensions of transitive Lie groupoids are equivalent to certain Lie groupoids which admit an action of a Lie group. This paper is a treatment of the equivariant connection theory and holonomy of such groupoids, and shows that such connections give rise to the transition data necessary for the classification of their respective Lie algebroids.     

The inverse problem of the calculus of variations for scalar fourth-order ordinary differential equations

A simple invariant characterization of the scalar fourth-order ordinary differential equations which admit a variational multiplier is given. The necessary and sufficient conditions for the existence of a multiplier are expressed in terms of the vanishing of two relative invariants which can be associated with any fourth-order equation through the application of Cartan's equivalence method. The solution to the inverse problem for fourth-order scalar equations provides the solution to an equivalence problem for second-order Lagrangians, as well as the precise relationship between the symmetry algebra of a variational equation and the divergence symmetry algebra of the associated Lagrangian.

     

Inverse Jacobi multipliers

Inverse Jacobi multipliers are a natural generalization of inverse integrating factors ton-dimensional dynamical systems. In this paper, the corresponding theory is developed from its beginning in the formal methods of integration of ordinary differential equations and the “last multiplier” of K. G. Jacobi. We explore to what extent the nice properties of the vanishing set of inverse integrating factors are preserved in then -dimensional case. In particular, vanishing on limit cycles (in restricted sense) of an inverse Jacobi multiplier is proved by resorting to integral invariants. Extensions of known constructions of inverse integrating factors by means of power series, local Lie Groups and algebraic solutions are provided for inverse Jacobi multipliers as well as a suitable generalization of the concept to systems with discontinuous right-hand side.     

改进的拉氏乘子法和多变量广义变分原理

拉氏乘子法是构造广义变分原理的重要途径 ,在识别拉氏乘子时 ,拉氏乘子是独立变分的 ,而识别后 ,它却是其他变量的函数 ,这是产生临界变分的原因 .本文对拉氏乘子法作了改进 ,提出了一种新的理论——凑合反推法 ,应用该方法可以方便地构造多变量的广义变分原理 ,并且不会出现临界变分现象     

Sub-semi-Riemannian geometry of general H-type groups

We study a special class of nilpotent Lie groups of step 2, that generalizes the class of the so-called H(eisenberg)-type groups, defined by A. Kaplan in 1980. We change the presence of an inner product to an arbitrary scalar product and relate the construction to the composition of quadratic forms. We present the geodesic equation for sub-semi-Riemannian metric on nilpotent Lie groups of step 2 and solve them for the case of general H-type groups. We also present some results on sectional curvature and the Ricci tensor of semi-Riemannian general H-type groups.     

Blocks and modules for Whittaker pairs

Inspired by recent activities on Whittaker modules over various (Lie) algebras, we describe a general framework for the study of Lie algebra modules locally finite over a subalgebra. As a special case, we obtain a very general set-up for the study of Whittaker modules, which includes, in particular, Lie algebras with triangular decomposition and simple Lie algebras of Cartan type. We describe some basic properties of Whittaker modules, including a block decomposition of the category of Whittaker modules and certain properties of simple Whittaker modules under some rather mild assumptions. We establish a connection between our general set-up and the general set-up of Harish-Chandra subalgebras in the sense of Drozd, Futorny and Ovsienko. For Lie algebras with triangular decomposition, we construct a family of simple Whittaker modules (roughly depending on the choice of a pair of weights in the dual of the Cartan subalgebra), describe their annihilators, and formulate several classification conjectures. In particular, we construct some new simple Whittaker modules for the Virasoro algebra. Finally, we construct a series of simple Whittaker modules for the Lie algebra of derivations of the polynomial algebra, and consider several finite-dimensional examples, where we study the category of Whittaker modules over solvable Lie algebras and their relation to Koszul algebras.     

Alcune osservazioni riguardanti i gruppi di LieG 2 e Spin(7), candidati a gruppi di olonomia

Summary The Lie groups G₂ and Spin(7) can be considered as automorphisms groups of euclidean vector spaces (of dimension 7, 8 resp.) endowed with a suitable vector product (cfr. [12]). Here one put in evidence several geometric properties of certain special subspaces of such euclidean spaces and the manifolds of special subspaces are determined as well known homogeneous spaces. One considers also riemannian manifolds with holonomy group G₂ or Spin(7) establishing that in the analytic case the existence of a totally geodesic submanifold of codimension 1 imply local reducibility.

---

---

Lavoro svolto nell'ambito del «Gruppo Nazionale Structure Algebriche, Geometriche e Applicazioni (Consiglio Nazionale delle Ricerche)».     

Riccati equations and Lie series

Lie series and a special matrix notation for first-order differential operators are used to show that the Lie group properties of matrix Riccati equations arise in a natural way. The Lie series notation makes it evident that the solutions of a matrix Riccati equation are curves in a group of nonlinear transformations that is a generalization of the linear fractional transformations familiar from the classical complex analysis. It is easy to obtain a linear representation of the Lie algebra of the nonlinear group of transformations and then this linearization leads directly to the standard linearization of the matrix Riccati equations. We note that the matrix Riccati equations considered here are of the general rectangular type.     

Simply Connected, Adjoint and Universal Groups of Lie Type

The special linear group is the simply connected group and theprojective linear group is the adjoint group of Lie type A_n.They are distinguished sections of the (reductive) general lineargroup which certainly is of this type as well (root system).We shall characterize the general linear group as the universalgroup of type A_n. Indeed we shall introduce corresponding algebraicgroups and finite groups for each Lie type (to indecomposableroot systems). Knowledge of the universal group implies knowledgeof the related simply connected and adjoint groups; in certainrespects the universal group even appears to be better behaved(automorphisms, Schur multiplier, character table).     

ADJOINT PROBLEMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

Abstract

A general theory of adjoint variational problems is formulated for essentially arbitrary Lagrangians involving m independent and n dependent variables, together with the first derivatives of the latter, This approach contains as a special case the theory of Haar [4], in which the Lagrangian may depend solely on the derivatives of a single dependent function of two arguments. Because of the eventual occurrence of possibly incompatible sets of integrability conditions, the basic theory is developed against the background of non-integrable m-dimensional subspaces, which is in sharp contrast to the traditional approach to the calculus of variations. Relatively self-adjoint Lagrangians are defined and completely characterized in terms of an arbitrary Riemannian metric. In the course of the general theory certain geometric object fields are encountered in a very natural manner, some of which had arisen previously in the canonical formalism proposed by Caratheodory [2]. Accordingly the analysis of the present paper may serve to shed some light on this conceptually extremely difficult formalism.     

Geometric structures as deformed infinitesimal symmetries

A general model for geometric structures on differentiable manifolds is obtained by deforming infinitesimal symmetries. Specifically, this model consists of a Lie algebroid, equipped with an affine connection compatible with the Lie algebroid structure. The curvature of this connection vanishes precisely when the structure is locally symmetric.

This model generalizes Cartan geometries, a substantial class, to the intransitive case. Simple examples are surveyed and corresponding local obstructions to symmetry are identified. These examples include foliations, Riemannian structures, infinitesimal -structures, symplectic and Poisson structures.

     

Reconstruction of boundary regimes in the inverse problem of thermal convection of a high-viscosity fluid

A problem of reconstruction of boundary regimes in a model for free convection of a high-viscosity fluid is considered. A variational method and a quasi-inversion method are suggested for solving the problem in question. The variational method is based on the reduction of the original inverse problem to some equivalent variational minimum problem for an appropriate objective functional and solving this problem by a gradient method. When realizing the gradient method for finding a minimizing element of the objective functional, an iterative process actually reducing the original problem to a series of direct well-posed problems is organized. For the quasi-inversion method, the original differential model is modified by means of introducing special additional differential terms of higher order with small parameters as coefficients. The new perturbed problem is well-posed; this allows one to solve this problem by standard methods. An appropriate choice of small parameters gives an opportunity to obtain acceptable qualitative and quantitative results in solving the inverse problem. A comparison of the methods suggested for solving the inverse problem is made with the use of model examples.     

The similarity forms and invariant solutions of two-layer shallow-water equations

In this study symmetry group properties and general similarity forms of the two-layer shallow-water equations are discussed by Lie group theory. We represent that Lie group theory can be used as an effective approach for investigation of the self-similar solutions for the shallow-water equations with variable inflow as the generalization of dimensional analysis that was used so far for a regular approach in the literature. We also represent that the results obtained by dimensional analysis are just a special case of the results obtained by Lie group theory and it is possible to obtain the new similarity forms and the new variable inflow functions for the study of gravity currents in two-layer flow under shallow-water approximations based on Lie group theory. The symmetry groups of the system of nonlinear partial differential equations are found and the corresponding similarity and reduced forms are obtained. Some similarity solutions of the reduced equations are investigated. It is shown that reduced equations and similarity forms of the system depend on the group parameters. We show that an analytic similarity solution for the system of equations can be found for some special values of them. For other values of the group parameters, the similarity solutions of the two-layer shallow-water equations representing the gravity currents with a variable inflow are found by the numeric integration.     

On asymptotic motions of robot-manipulator in homogeneous space

In this paper the notion of robot-manipulators in the Euclidean space is generalized to the case in a general homogeneous space with the Lie group G of motions. Some kinematic subspaces of the Lie algebra (the subspaces of velocity operators, of Coriolis acceleration operators, asymptotic subspaces) are ntroduced and by them asymptotic and geodesic motions are described.