Related papers: Orbital reducibility and a generalization of lambd…
This paper describes the notion of \sigma -symmetry, which extends the one of \lambda-symmetry, and its application to reduction procedures of systems of ordinary differential equations and of dynamical systems as well. We also consider…
The notion of lambda-symmetries, originally introduced by C. Muriel and J.L. Romero, is extended to the case of systems of first-order ODE's (and of dynamical systems in particular). It is shown that the existence of a symmetry of this type…
A reduction method of ODEs not possessing Lie point symmetries makes use of the so called $\lambda$-symmetries (C. Muriel and J. L. Romero, \emph{IMA J. Appl. Math.} \textbf{66}, 111-125, 2001). The notion of covering for an ODE…
This paper studies relationships between the order reductions of ordinary differential equations derived by the existence of $\lambda$-symmetries, telescopic vector fields and some nonlocal symmetries obtained by embedding the equation in…
We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch…
It is investigated how two (standard or generalized) $\lambda-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting…
In this paper we give a geometric interpretation of a reduction method based on the so called $\lambda$-variational symmetry (C. Muriel, J.L. Romero and P. Olver 2006 \emph{Variational $C^{\infty}$-symmetries and Euler-Lagrange equations}…
In this paper we give definitions of basic concepts such as symmetries, first integrals, Hamiltonian and recursion operators suitable for ordinary differential equations on associative algebras, and in particular for matrix differential…
After the introduction of $\lambda$-symmetries by Muriel and Romero, several other types of so called "twisted symmetries" have been considered in the literature (their name refers to the fact they are defined through a deformation of the…
We establish new results and introduce new methods in the theory of measurable orbit equivalence, using bounded cohomology of group representations. Our rigidity statements hold for a wide (uncountable) class of groups arising from negative…
An alternative proof of Lie's approach for linearization of scalar second order ODEs is derived using the relationship between $\lambda$-symmetries and first integrals. This relation further leads to a new $\lambda$-symmetry linearization…
Following the usual definition of $\lambda$-symmetries of differential equations, we introduce the analogous concept for difference equations and apply it to some examples.
We present the notion of orbit decidability into a more general framework, exploring interesting generalizations and variations of this algorithmic problem. A recent theorem by Bogopolski-Martino-Ventura gave a renovated protagonism to this…
We consider the notion of Borel reducibility between pseudometrics on standard Borel spaces introduced and studied recently by C\'{u}th, Doucha and Kurka, as well as the notion of an orbit pseudometric, a continuous version of the notion of…
We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…
An alternative derivation of the first-order relativistic contribution to perihelic precession is presented. Orbital motion in the Schwarzschild geometry is considered in the Keplerian limit, and the orbit equation is derived for…
We consider a deformation of the prolongation operation, defined on sets of vector fields and involving a mutual interaction in the definition of prolonged ones. This maintains the "invariants by differentiation" property, and can hence be…
Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…
Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous…
For For a given PDE system, or an exterior differential system possessing a Lie group of internal symmetries the orbit reduction procedure is introduced. It is proved that the solutions of the reduced exterior differential system are in…