A criterion in terms of differential invariants for a metric on a surface to be Liouville is established. Moreover, in this paper we completely solve in invariant terms the local mobility problem of a 2D metric, considered by Darboux: How many quadratic in momenta integrals does the geodesic flow of a given metric possess? The method is also applied to recognition of other polynomial integrals ...

In 1896 Tresse gave a complete description of relative differential invariants for the pseudogroup action of point transformations on the 2nd order ODEs. The purpose of this paper is to review, in light of modern geometric approach to PDEs, this classification and also discuss the role of absolute invariants and the equivalence problem.

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 action of the symmetry group. Linear equations are modules over the skew group algebra, solutions are morphisms relating a given equation to other ...

We find d − 2 relative differential invariants for a d-web, d ≥ 4, on a two-dimensional manifold and prove that their vanishing is necessary and sufficient for a d-web to be linearizable. If one writes the above invariants in terms of web functions f(x, y) and g4(x, y), ..., gd(x, y), then necessary and sufficient conditions for the linearizabilty of a d-web are two PDEs of the fourth order ...

We study the equivalence problem of submanifolds with respect to a transitive pseudogroup action. The corresponding differential invariants are determined via formal theory and lead to the notions of l-variants and l-covariants, even in the case of non-integrable pseudogroup. Their calculation is based on the cohomological machinery: We introduce a complex for covariants, define their cohomology ...

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) ⋉ Rⁿ acting on the full (unconstraint) jet-space as well as on some invariant equations.

We find an invariant characterization of planar webs of maximum rank. For 4-webs, we prove that a planar 4-web is of maximum rank three if and only if it is linearizable and its curvature vanishes. This result leads to the direct web-theoretical proof of the Poincar´e’s theorem: a planar 4- web of maximum rank is linearizable. We also find an invariant intrinsic characterization of planar 4-webs ...

We prove that any planar 4-web defines a unique projective structure in the plane in such a way that the leaves of the web foliations are geodesics of this projective structure. We also find conditions for the projective structure mentioned above to contain an affine symmetric connection, and conditions for a planar 4-web to be equivalent to a geodesic 4-web on an affine symmetric surface. Similar ...

This paper proposes a new estimation procedure for the ambiguity function of a non-stationary time series. The stochastic properties of the empirical ambiguity function calculated from a single sample in time are derived. Different thresholding procedures are introduced for the estimation of the ambiguity function. Such estimation methods are suitable if the ambiguity function is only non-negligible ...

We construct the simplest chaotic system with a two-point attractor.