-
Nonlocal pseudo-symmetries and Bäcklund transformations as $\mathcal{C}$-morphisms
Authors:
Diego Catalano Ferraioli,
Tarcísio Castro Silva
Abstract:
In this paper, we show how factorization with respect to nonlocal pseudosymmetries allows one to obtain Bäcklund transformations, interpreted as nonlocal $\mathcal{C}$-morphisms of differential equations. This approach is illustrated through several examples.
In this paper, we show how factorization with respect to nonlocal pseudosymmetries allows one to obtain Bäcklund transformations, interpreted as nonlocal $\mathcal{C}$-morphisms of differential equations. This approach is illustrated through several examples.
△ Less
Submitted 2 June, 2025; v1 submitted 2 June, 2025;
originally announced June 2025.
-
A class of third order partial differential equations describing spherical or pseudospherical surfaces
Authors:
Diego Catalano Ferraioli,
Tarcísio Castro Silva
Abstract:
Third order equations, which describe spherical surfaces (ss) or pseudospherical surfaces (pss), of the form \[ ν\,z_{t}-λ\,z_{xxt}=A(z,z_{x},z_{xx})\,z_{xxx}+B(z,z_{x},z_{xx}) \] with $ν$, $λ$ $\in$ $\mathbb{R}$, $ν^2+λ^2\neq 0$, are considered. These equations are equivalent to the structure equations of a metric with Gaussian curvature $K=1$ or $K=-1$, respectively. Alternatively they can be se…
▽ More
Third order equations, which describe spherical surfaces (ss) or pseudospherical surfaces (pss), of the form \[ ν\,z_{t}-λ\,z_{xxt}=A(z,z_{x},z_{xx})\,z_{xxx}+B(z,z_{x},z_{xx}) \] with $ν$, $λ$ $\in$ $\mathbb{R}$, $ν^2+λ^2\neq 0$, are considered. These equations are equivalent to the structure equations of a metric with Gaussian curvature $K=1$ or $K=-1$, respectively. Alternatively they can be seen as the compatibility condition of an associated $\mathfrak{su}(2)$-valued or $\mathfrak{sl}(2,\mathbb{R})$-valued linear problem, also referred to as a zero curvature representation. Under certain assumptions we obtain an explicit classification for equations of the considered form that describe ss or pss, in terms of some arbitrary differentiable functions. Several examples of such equations, which describe also a number of already known equations, are provided by suitably choosing the arbitrary functions.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Ricci solitons with an orthogonally intransitive 2-dimensional Abelian Killing algebra
Authors:
Diego Catalano Ferraioli
Abstract:
In this paper we report on a local classification of four dimensional Ricci solitons which have a $2$-dimensional Abelian Killing algebra $\mathcal{G}_{2}$, whose Killing leaves are non-null and orthogonally intransitive. The classification is obtained under the following additional assumptions: (i) the curvature vector field, of the submersion defined by $\mathcal{G}_{2}$, is a null vector field;…
▽ More
In this paper we report on a local classification of four dimensional Ricci solitons which have a $2$-dimensional Abelian Killing algebra $\mathcal{G}_{2}$, whose Killing leaves are non-null and orthogonally intransitive. The classification is obtained under the following additional assumptions: (i) the curvature vector field, of the submersion defined by $\mathcal{G}_{2}$, is a null vector field; (ii) $\mathcal{G}_{2}$ has a null vector; (iii) the vector field of the Ricci soliton is tangent to the Killing leaves and a symmetry of the orthogonal distribution. Since there are only few examples of orthogonally intransitive Einstein metrics, and even less is known about orthogonally intransitive Ricci solitons, we believe that these results can help fill this gap in the literature.
△ Less
Submitted 19 January, 2022;
originally announced January 2022.
-
On the Geometry of Twisted Symmetries: Gauging and Coverings
Authors:
D. Catalano Ferraioli,
G. Gaeta
Abstract:
We consider the theory of \emph{twisted symmetries} of differential equations, in particular $λ$ and $μ$-symmetries, and discuss their geometrical content. We focus on their interpretation in terms of gauge transformations on the one hand, and of coverings on the other one.
We consider the theory of \emph{twisted symmetries} of differential equations, in particular $λ$ and $μ$-symmetries, and discuss their geometrical content. We focus on their interpretation in terms of gauge transformations on the one hand, and of coverings on the other one.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
A class of quasilinear second order partial differential equations which describe spherical or pseudospherical surfaces
Authors:
Diego Catalano Ferraioli,
Tarcísio Castro Silva,
Keti Tenenblat
Abstract:
Second order partial differential equations which describe spherical surfaces (ss) or pseudospherical surfaces (pss) are considered. These equations are equivalent to the structure equations of a metric with Gaussian curvature $K = 1$ or $K = -1$, respectively, and they can be seen as the compatibility condition of an associated su(2)-valued or sl(2, R)-valued linear problem, also referred to as a…
▽ More
Second order partial differential equations which describe spherical surfaces (ss) or pseudospherical surfaces (pss) are considered. These equations are equivalent to the structure equations of a metric with Gaussian curvature $K = 1$ or $K = -1$, respectively, and they can be seen as the compatibility condition of an associated su(2)-valued or sl(2, R)-valued linear problem, also referred to as a zero curvature representation. Under certain assumptions we give a complete and explicit classiffcation of equations of the form $z_{tt} = A(z, z_x , z_t) z_{xx} + B(z, z_x , z_t ) z_{xt} + C(z, z_x , z_t)$ describing pss or ss, in terms of some arbitrary differentiable functions. Several examples of such equations are provided by choosing the arbitrary functions. In particular, well known equations which describe pseudospherical surfaces, such as the short pulse and the constant astigmatism equations, as well as their generalizations and their spherical analogues are included in the paper.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
A note on isometric immersions and differential equations which describe pseudospherical surfaces
Authors:
Diego Catalano Ferraioli,
Tarcísio Castro Silva,
Keti Tenenblat
Abstract:
In this paper, we provide families of second order non-linear partial differential equations, describing pseudospherical surfaces (pss equations), with the property of having local isometric immersions in E^3, with principal curvatures depending on finite-order jets of solutions of the differential equation. These equations occupy a particularly special place amongst pss equations, since a series…
▽ More
In this paper, we provide families of second order non-linear partial differential equations, describing pseudospherical surfaces (pss equations), with the property of having local isometric immersions in E^3, with principal curvatures depending on finite-order jets of solutions of the differential equation. These equations occupy a particularly special place amongst pss equations, since a series of recent papers [2, 7, 11, 12, 13], on several classes of pss equations, seemed to suggest that only the sine-Gordon equation had the above property. Explicit examples are given, which include the short pulse equation and some generalizations.
△ Less
Submitted 26 January, 2022; v1 submitted 31 October, 2019;
originally announced October 2019.
-
The equivalence problem for generic four-dimensional metrics with two commuting Killing vectors
Authors:
D. Catalano Ferraioli,
M. Marvan
Abstract:
We consider the equivalence problem of four-dimensional semi-Riemannian metrics with the $2$-dimensional Abelian Killing algebra. In the generic case we determine a semi-invariant frame and a fundamental set of first-order scalar differential invariants suitable for solution of the equivalence problem. Genericity means that the Killing leaves are not null, the metric is not orthogonally transitive…
▽ More
We consider the equivalence problem of four-dimensional semi-Riemannian metrics with the $2$-dimensional Abelian Killing algebra. In the generic case we determine a semi-invariant frame and a fundamental set of first-order scalar differential invariants suitable for solution of the equivalence problem. Genericity means that the Killing leaves are not null, the metric is not orthogonally transitive (i.e., the distribution orthogonal to the Killing leaves is non-integrable), and two explicitly constructed scalar invariants $C_ρ$ and $\ell_{\mathcal C}$ are nonzero. All the invariants are designed to have tractable coordinate expressions. Assuming the existence of two functionally independent invariants, we solve the equivalence problem in two ways. As an example, we invariantly characterise the Van den Bergh metric. To understand the non-generic cases, we also find all $Λ$-vacuum metrics that are generic in the above sense, except that either $C_ρ$ or $\ell_{\mathcal C}$ is zero. In this way we extend the Kundu class to $Λ$-vacuum metrics. The results of the paper can be exploited for invariant characterisation of classes of metrics and for extension of the set of known solutions of the Einstein equations.
△ Less
Submitted 28 February, 2019; v1 submitted 7 January, 2019;
originally announced January 2019.
-
A generalised multicomponent system of Camassa-Holm-Novikov equations
Authors:
Diego Catalano Ferraioli,
Igor Leite Freire
Abstract:
In this paper we introduce a two-component system, depending on a parameter $b$, which generalises the Camassa-Holm ($b=1$) and Novikov equations ($b=2$). By investigating its Lie algebra of classical and higher symmetries up to order $3$, we found that for $b\neq 2$ the system admits a $3$-dimensional algebra of point symmetries and apparently no higher symmetries, whereas for $b=2$ it has a $6$-…
▽ More
In this paper we introduce a two-component system, depending on a parameter $b$, which generalises the Camassa-Holm ($b=1$) and Novikov equations ($b=2$). By investigating its Lie algebra of classical and higher symmetries up to order $3$, we found that for $b\neq 2$ the system admits a $3$-dimensional algebra of point symmetries and apparently no higher symmetries, whereas for $b=2$ it has a $6$-dimensional algebra of point symmetries and also higher order symmetries. Also we provide all conservation laws, with first order characteristics, which are admitted by the system for $b=1,2$. In addition, for $b=2$, we show that the system is a particular instance of a more general system which admits an $\mathfrak{sl}(3,\mathbb{R})$-valued zero-curvature representation. Finally, we found that the system admits peakon solutions and, in particular, for $b=2$ there exist 1-peakon solutions with non-constant amplitude.
△ Less
Submitted 3 August, 2017; v1 submitted 14 August, 2016;
originally announced August 2016.
-
Nonlocal interpretation of $λ$-variational symmetry-reduction method
Authors:
D. Catalano Ferraioli,
P. Morando
Abstract:
In this paper we give a geometric interpretation of a reduction method based on the so called $λ$-variational symmetry (C. Muriel, J.L. Romero and P. Olver 2006 \emph{Variational $C^{\infty}$-symmetries and Euler-Lagrange equations} J. Differential equations \textbf{222} 164-184). In general this allows only a partial reduction but it is particularly suitable for the reduction of variational ODE…
▽ More
In this paper we give a geometric interpretation of a reduction method based on the so called $λ$-variational symmetry (C. Muriel, J.L. Romero and P. Olver 2006 \emph{Variational $C^{\infty}$-symmetries and Euler-Lagrange equations} J. Differential equations \textbf{222} 164-184). In general this allows only a partial reduction but it is particularly suitable for the reduction of variational ODEs with a lack of computable local symmetries. We show that this method is better understood as a nonlocal symmetry-reduction.
△ Less
Submitted 10 March, 2009; v1 submitted 5 March, 2009;
originally announced March 2009.
-
Differential invariants of generic parabolic Monge-Ampere equations
Authors:
Diego Catalano Ferraioli,
Alexandre Vinogradov
Abstract:
Some new results on geometry of classical parabolic Monge-Ampère equations (PMA) are presented. PMAs are either \emph{integrable}, or \emph{nonintegrable} according to integrability of its characteristic distribution. All integrable PMAs are locally equivalent to the equation $u_{xx}=0$. We study nonintegrable PMAs by associating with each of them a 1-dimensional distribution on the corresponding…
▽ More
Some new results on geometry of classical parabolic Monge-Ampère equations (PMA) are presented. PMAs are either \emph{integrable}, or \emph{nonintegrable} according to integrability of its characteristic distribution. All integrable PMAs are locally equivalent to the equation $u_{xx}=0$. We study nonintegrable PMAs by associating with each of them a 1-dimensional distribution on the corresponding first order jet manifold, called the \emph{directing distribution}. According to some property of this distribution, nonintegrable PMAs are subdivided into three classes, one \emph{generic} and two \emph{special} ones. Generic PMAs are completely characterized by their directing distributions, and we study canonical models of the latters, \emph{projective curve bundles} (PCB). A PCB is a 1-dimensional subbundle of the projectivized cotangent bundle of a 4-dimensional manifold. Differential invariants of projective curves composing such a bundle are used to construct a series of contact differential invariants for corresponding PMAs. These give a solution of the equivalence problem for generic PMAs with respect to contact transformations. The introduced invariants measure in an exact manner nonlinearity of PMAs.
△ Less
Submitted 23 March, 2012; v1 submitted 24 November, 2008;
originally announced November 2008.
-
Local and nonlocal solvable structures in ODEs reduction
Authors:
Diego Catalano Ferraioli,
Paola Morando
Abstract:
Solvable structures, likewise solvable algebras of local symmetries, can be used to integrate scalar ODEs by quadratures. Solvable structures, however, are particularly suitable for the integration of ODEs with a lack of local symmetries. In fact, under regularity assumptions, any given ODE always admits solvable structures even though finding them in general could be a very difficult task. In p…
▽ More
Solvable structures, likewise solvable algebras of local symmetries, can be used to integrate scalar ODEs by quadratures. Solvable structures, however, are particularly suitable for the integration of ODEs with a lack of local symmetries. In fact, under regularity assumptions, any given ODE always admits solvable structures even though finding them in general could be a very difficult task. In practice a noteworthy simplification may come by computing solvable structures which are adapted to some admitted symmetry algebra. In this paper we consider solvable structures adapted to local and nonlocal symmetry algebras of any order (i.e., classical and higher). In particular we introduce the notion of nonlocal solvable structure.
△ Less
Submitted 27 November, 2008; v1 submitted 21 July, 2008;
originally announced July 2008.
-
Nonlocal aspects of $λ$-symmetries and ODEs reduction
Authors:
Diego Catalano Ferraioli
Abstract:
A reduction method of ODEs not possessing Lie point symmetries makes use of the so called $λ$-symmetries (C. Muriel and J. L. Romero, \emph{IMA J. Appl. Math.} \textbf{66}, 111-125, 2001). The notion of covering for an ODE $\mathcal{Y}$ is used here to recover $λ$-symmetries of $\mathcal{Y}$ as nonlocal symmetries. In this framework, by embedding $\mathcal{Y}$ into a suitable system…
▽ More
A reduction method of ODEs not possessing Lie point symmetries makes use of the so called $λ$-symmetries (C. Muriel and J. L. Romero, \emph{IMA J. Appl. Math.} \textbf{66}, 111-125, 2001). The notion of covering for an ODE $\mathcal{Y}$ is used here to recover $λ$-symmetries of $\mathcal{Y}$ as nonlocal symmetries. In this framework, by embedding $\mathcal{Y}$ into a suitable system $\mathcal{Y}^{\prime}$ determined by the function $λ$, any $λ$-symmetry of $\mathcal{Y}$ can be recovered by a local symmetry of $\mathcal{Y}^{\prime}$. As a consequence, the reduction method of Muriel and Romero follows from the standard method of reduction by differential invariants applied to $\mathcal{Y}^{\prime}$.
△ Less
Submitted 16 April, 2007; v1 submitted 12 February, 2007;
originally announced February 2007.
-
Higher symmetries of the elliptic Euler-Darboux equation
Authors:
Diego Catalano Ferraioli,
Gianni Manno,
Fabrizio Pugliese
Abstract:
We find a remarkable subalgebra of higher symmetries of the elliptic Euler-Darboux equation. To this aim we map such equation into its hyperbolic analogue already studied by Shemarulin. Taking into consideration how symmetries and recursion operators transform by this complex contact transformation, we explicitly give the structure of this Lie algebra and prove that it is finitely generated. Fur…
▽ More
We find a remarkable subalgebra of higher symmetries of the elliptic Euler-Darboux equation. To this aim we map such equation into its hyperbolic analogue already studied by Shemarulin. Taking into consideration how symmetries and recursion operators transform by this complex contact transformation, we explicitly give the structure of this Lie algebra and prove that it is finitely generated. Furthermore, higher symmetries depending on jets up to second order are explicitly computed.
△ Less
Submitted 8 February, 2006;
originally announced February 2006.
