Search

In this paper, we study invariants of linear differential operators with respect to algebraic Lie pseudogroups. Then we use these invariants and the principle of n-invariants to get normal forms (or models) of the differential operators and solve the equivalence problem for actions of algebraic Lie pseudogroups. As a running example of application of the methods, we use the pseudogroup of local symplectomorphisms.

We give a description of the field of rational natural differential invariants for a class of nonlinear differential operators of the third order on a two dimensional manifold and show their application to the equivalence problem of such operators., Comment: 14 pages

In these lectures, we discuss two approaches to studying orbit spaces of algebraic Lie groups. Due to algebraic approach orbit space, or quotient, is an algebraic manifold, while from the differential viewpoint a quotient is a differential equation. The main goal of these lectures is to show that the differential approach gives us a better understanding of structure of invariants and orbit spaces. We illustrate this on classical equivalence problems, such as $\mathrm{SL}$ - classification of binary and ternary forms, and affine classification of algebraic plane curves., Comment: 27 pages

We consider Cosserat media as SO(3)-structures over a domain D in R3. Motions of such media are given by automorphisms of the SO(3)-bundle. We present Euler-type equations for such media and discuss their structure., Comment: 12 pages

In this paper, we analyze various types of critical phenomena in one-dimensional gas flows described by Euler equations. We give a geometrical interpretation of thermodynamics with a special emphasis on phase transitions. We use ideas from the geometrical theory of PDEs, in particular, symmetries and differential constraints to find solutions to the Euler system. Solutions obtained are multivalued, have singularities of projection to the plane of independent variables. We analyze the propagation of the shock wave front along with phase transitions., Comment: 12 pages, 4 figures

We study differential invariants of linear differential operators and use them to find conditions for equivalence of differential operators acting in line bundles over smooth manifolds with respect to groups of authomorphisms.

We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of rational-polynomial differential invariants and invariant derivations., Comment: This version is revised so: more explanations, some minor corrections, editorial changes and a new "running" example added

In the present paper we define Samuelson's webs and their rank. The main result of the paper is the proof that the rank of the Samuelson webs does not exceed 6, as well as finding the conditions under which this rank is maximal for the general Samuelson webs as well as for their singular cases., Comment: 9 pages; to appear in Russian in Doklady Akademii Nauk, Matematika, and in English in Doklady Mathematics

The authors found necessary and sufficient conditions for Samuelson's web to be of maximum rank.

We present a complete description of a class of linearizable planar geodesic webs which contain a parallelizable 3-subweb., 7 pages

The problem of local feedback equivalence for 1-dimensional control systems of the 1-st order is considered. The algebra of differential invariants and criteria for the feedback equivalence for regular control systems are found., 12pages

We present old and recent results on rank problems and linearizability of geodesic planar webs., 31 pages; LaTeX; corrected the abstract and Introduction; added references

We find necessary and sufficient conditions for the foliation defined by level sets of a function f(x_{1},...,x_{n}) to be totally geodesic in a torsion-free connection and apply them to find the conditions for d-webs of hypersurfaces to be geodesic, and in the case of flat connections, for d-webs (d > n) of hypersurfaces to be hyperplanar webs. These conditions are systems of generalized Euler equations, and for flat connections we give an explicit construction of their solutions., 9 pages

In the present paper we study geometric structures associated with webs of hypersurfaces. We prove that with any geodesic (n+2)-web on an n-dimensional manifold there is naturally associated a unique projective structure and, provided that one of web foliations is pointed, there is also associated a unique affine structure. The projective structure can be chosen by the claim that the leaves of all web foliations are totally geodesic, and the affine structure by an additional claim that one of web functions is affine. These structures allow us to determine differential invariants of geodesic webs and give geometrically clear answers to some classical problems of the web theory such as the web linearization and the Gronwall theorem., Comment: 11 pages, in Russian

The problem of feedback equivalence for control systems is considered. An algebra of differential invariants and criteria for the feedback equivalence for regular control systems are found., Comment: 10 pages

Differential invariants of a (pseudo)group action can vary when restricted to invariant submanifolds (differential equations). The algebra is still governed by the Lie-Tresse theorem, but may change a lot. We describe in details the case of the motion group $O(n)\ltimes\R^n$ acting on the full (unconstraint) jet-space as well as on some invariant equations.

We discuss the dimensional characterization of the solutions space of a formally integrable system of partial differential equations and provide certain formulas for calculations of these dimensional quantities., Contribution to the conference GIFT-2006

We generalize the notion of involutivity to systems of differential equations of different orders and show that the classical results due to Guillemin and Quillen relating involutivity, restrictions, characteristics and characteristicity, known for first order systems, extend to the general context, though in a modified form. This involves, in particular, a new definition of strong characteristicity. The proof exploits a spectral sequence relating Spencer delta-cohomology of a symbolic system and its restriction to a non-characteristic subspace., Comment: 20 pages

In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to be symmetric monoidal categories in their own right and are found to be isomorphic to certain categories of $A-A$ bicomodules. Properties of relations are defined in terms of the symmetric monoidal structure. Equivalence relations are shown to be commutative monoids in the category of relations. Quantization in our view is a property of functors between monoidal categories. This notion of quantization induce a deformation of all algebraic structures in the category, in particular the ones defining properties of relations like transitivity and symmetry., corrected typos

We introduce the notion of difference equation defined on a structured set. The symmetry group of the structure determines the set of difference operators. All main notions in the theory of difference equations are introduced as invariants of the symmetry group. Linear equations are modules over the skew group algebra, solutions are morphisms relating a given equation to other equations,symmetries of an equation are module endomorphisms and conserved structures are invariants in the tensor algebra of the given equation. We show that the equations and their solutions can be described through representations of the isotropy group of the symmetry group of the underluing set. We relate our notion of difference equations and solutions to systems of classical difference equations and their solutions and show that our notions include these as a special case., Comment: 34 pages