Showing 1–26 of 26 results for author: Blázquez-Sanz, D

Minimality of the $\mathcal D$-groupoid of symmetries of a projective structure

Authors: Alejandro Arenas Tirado, David Blázquez-Sanz, Guy Casale

Abstract: In this article we study Kummer's $\mathcal D$-groupoid, which is the groupoid of symmetries of a meromorphic projective structure. We give necessary and sufficient conditions for its minimality, in the sense of not having infinite sub-$\mathcal D$-groupoids. The condition that we find turns out to be equivalent to the strong minimality of the non-linear Schwarzian equation and the non-integrabili… ▽ More In this article we study Kummer's $\mathcal D$-groupoid, which is the groupoid of symmetries of a meromorphic projective structure. We give necessary and sufficient conditions for its minimality, in the sense of not having infinite sub-$\mathcal D$-groupoids. The condition that we find turns out to be equivalent to the strong minimality of the non-linear Schwarzian equation and the non-integrability by means of Liouvillian functions of the linear Schwarzian equation. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: 16 pages

MSC Class: 34M15; 03C50;

Group bundles and group connections

Authors: David Blázquez-Sanz, Carlos A. Marín-Arango, Sedney Suárez Gordon

Abstract: We consider smooth families of Lie groups (group bundles) and connections that are compatible with the group operation. We characterize the space of group connections on a group bundle as an affine space modeled over the vector space of $1$-forms with values cocycles in the Lie algebra bundle of the aforementioned group bundle. We show that group connections satisfy the Ambrose-Singer theorem and… ▽ More We consider smooth families of Lie groups (group bundles) and connections that are compatible with the group operation. We characterize the space of group connections on a group bundle as an affine space modeled over the vector space of $1$-forms with values cocycles in the Lie algebra bundle of the aforementioned group bundle. We show that group connections satisfy the Ambrose-Singer theorem and that group bundles can be seen as a particular case of associated bundles realizing group connections as associated connections. We give a construction of the Moduli space of group connections with fixed base and fiber, as an space of representations of the fundamental group of the base. △ Less

Submitted 17 July, 2021; v1 submitted 10 April, 2021; originally announced April 2021.

Comments: 25 pages

MSC Class: 53C30; 53B05

A differential approach to Ax-Schanuel, I

Authors: David Blázquez-Sanz, Guy Casale, James Freitag, Joel Nagloo

Abstract: In this paper, we prove several Ax-Schanuel type results for uniformizers of geometric structures; our general results describe the differential algebraic relations between the solutions of the partial differential equations satisfied by the uniformizers. In particular, we give a proof of the full Ax-Schanuel Theorem with derivatives for uniformizers of simple projective structure on curves includ… ▽ More In this paper, we prove several Ax-Schanuel type results for uniformizers of geometric structures; our general results describe the differential algebraic relations between the solutions of the partial differential equations satisfied by the uniformizers. In particular, we give a proof of the full Ax-Schanuel Theorem with derivatives for uniformizers of simple projective structure on curves including unifomizers of any Fuchsian group of the first kind and any genus. Combining our techniques with those of Ax, we give a strong Ax-Schanuel result for the combination of the derivatives of the j-function and the exponential function. In the general setting of Shimura varieties, we obtain an Ax-Schanuel theorem for the derivatives of uniformizing maps. Our techniques combine tools from differential geometry, differential algebra and the model theory of differentially closed fields. △ Less

Submitted 21 December, 2023; v1 submitted 5 February, 2021; originally announced February 2021.

MSC Class: 11F03; 12H05; 03C60

Liouvillian solutions for second order linear differential equations with Laurent polynomial coefficient

Authors: Primitivo B. Acosta-Humánez, David Blázquez-Sanz, Henock Venegas-Gómez

Abstract: This paper is devoted to a complete parametric study of Liouvillian solutions of the general trace-free second order differential equation with a Laurent polynomial coefficient. This family of equations, for fixed orders at $0$ and $\infty$ of the Laurent polynomial, is seen as an affine algebraic variety. We proof that the set of Picard-Vessiot integrable differential equations in the family is a… ▽ More This paper is devoted to a complete parametric study of Liouvillian solutions of the general trace-free second order differential equation with a Laurent polynomial coefficient. This family of equations, for fixed orders at $0$ and $\infty$ of the Laurent polynomial, is seen as an affine algebraic variety. We proof that the set of Picard-Vessiot integrable differential equations in the family is an enumerable union of algebraic subvarieties. We compute explicitly the algebraic equations of its components. We give some applications to well known subfamilies as the doubly confluent and biconfluent Heun equations, and to the theory of algebraically solvable potentials of Shrödinger equations. Also, as an auxiliary tool, we improve a previously known criterium for second order linear differential equations to admit a polynomial solution. △ Less

Submitted 25 September, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: 40 pages

MSC Class: 34M15; 81Q35

Malgrange-Galois groupoid of Painlevé VI equation with parameters

Authors: David Blázquez-Sanz, Guy Casale, Juan Sebastián Díaz Arboleda

Abstract: The Malgrange-Galois groupoid of Painlevé IV equations is known to be, for very general values of parameters, the pseudogroup of transformations of the phase space preserving a volume form, a time form and the equation. Here we compute the Malgrange-Galois groupoid of Painlevé VI family including all parameters as new dependent variables. We conclude it is the pseoudogroup of transformations prese… ▽ More The Malgrange-Galois groupoid of Painlevé IV equations is known to be, for very general values of parameters, the pseudogroup of transformations of the phase space preserving a volume form, a time form and the equation. Here we compute the Malgrange-Galois groupoid of Painlevé VI family including all parameters as new dependent variables. We conclude it is the pseoudogroup of transformations preserving parameter values, the differential of the independent variable, a volume form in the dependent variables and the equation. This implies that a solution of Painlevé VI depending analytically on parameters does not satisfy any new partial differential equation (including derivatives w. r. t. parameters) which is not derived from Painlevé VI. △ Less

Submitted 27 December, 2021; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: 35 pages. Revised version

MSC Class: 34M15; 12H05; 58H05

Some functional transcendence results around the Schwarzian differential equation

Authors: David Blázquez-Sanz, Guy Casale, James Freitag, Joel Nagloo

Abstract: This paper centers around proving variants of the Ax-Lindemann-Weierstrass (ALW) theorem for analytic functions which satisfy Schwarzian differential equations. In previous work, the authors proved the ALW theorem for the uniformizers of genus zero Fuchsian groups, and in this work, we generalize that result in several ways using a variety of techniques from model theory, galois theory and geometr… ▽ More This paper centers around proving variants of the Ax-Lindemann-Weierstrass (ALW) theorem for analytic functions which satisfy Schwarzian differential equations. In previous work, the authors proved the ALW theorem for the uniformizers of genus zero Fuchsian groups, and in this work, we generalize that result in several ways using a variety of techniques from model theory, galois theory and geometry. △ Less

Submitted 16 January, 2021; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: Minor changes

Liouvillian solutions for second order linear differential equations with polynomial coefficients

Authors: Primitivo B. Acosta-Humánez, David Blázquez-Sanz, Henock Venegas-Gómez

Abstract: In this paper we present an algebraic study concerning the general second order linear differential equation with polynomial coefficients. By means of Kovacic's algorithm and asymptotic iteration method we find a degree independent algebraic description of the spectral set: the subset, in the parameter space, of Liouiville integrable differential equations. For each fixed degree, we prove that the… ▽ More In this paper we present an algebraic study concerning the general second order linear differential equation with polynomial coefficients. By means of Kovacic's algorithm and asymptotic iteration method we find a degree independent algebraic description of the spectral set: the subset, in the parameter space, of Liouiville integrable differential equations. For each fixed degree, we prove that the spectral set is a countable union of non accumulating algebraic varieties. This algebraic description of the spectral set allow us to bound the number of eigenvalues for algebraically quasi-solvable potentials in the Schrödinger equation. △ Less

Submitted 10 September, 2019; v1 submitted 20 August, 2019; originally announced August 2019.

Comments: 17 pages

MSC Class: 34M15; 81Q35

Homogeneous surfaces admitting invariant connections

Authors: David Blázquez-Sanz, Carlos Alberto Marín Arango, Luis Fernando Jiménez Buitrago

Abstract: We compute all the simply connected homogeneous and infinitesimally homogeneous surfaces admitting one or more invariant affine connections. We find exactly six non equivalent simply connected homogeneous surfaces admitting more than one invariant connections and four classes of simply connected homogeneous surfaces admitting exactly one invariant connection. We compute all the simply connected homogeneous and infinitesimally homogeneous surfaces admitting one or more invariant affine connections. We find exactly six non equivalent simply connected homogeneous surfaces admitting more than one invariant connections and four classes of simply connected homogeneous surfaces admitting exactly one invariant connection. △ Less

Submitted 13 May, 2019; originally announced May 2019.

MSC Class: 53C30; 53B05

A simplified categorical approach to several Galois theories

Authors: David Blázquez-Sanz, Carlos A. Marín Arango, Juan Felipe Ruiz Castrillon

Abstract: We discuss the concept of Galois structure and Galois epimorphism in a general setting. Namely, a Galois structure for an epimorphism $π\colon M\to B$ in some category ${\mathcal C}$ is the action of a group object that gives to $M$ the structure of principal homogeneous space in the relative category ${\mathcal C}_B$. We discuss the concept of Galois structure and Galois epimorphism in a general setting. Namely, a Galois structure for an epimorphism $π\colon M\to B$ in some category ${\mathcal C}$ is the action of a group object that gives to $M$ the structure of principal homogeneous space in the relative category ${\mathcal C}_B$. △ Less

Submitted 1 March, 2020; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 24 pages

MSC Class: 18B40; 57M10; 12F10; 12H05; 53C12

Symmetry reduction and soliton-like solutions for the generalized Korteweg-de Vries equation

Authors: Juan Manuel Conde Martín, David Blázquez-Sanz

Abstract: We analyze the gKdV equation, a generalized version of Korteweg-de Vries with an arbitrary function $f(u)$. In general, for a function $f(u)$ the Lie algebra of symmetries of gKdV is the $2$-dimensional Lie algebra of translations of the plane $xt$. This implies the existence of plane wave solutions. Indeed, for some specific values of $f(u)$ the equation gKdV admits a Lie algebra of symmetries of… ▽ More We analyze the gKdV equation, a generalized version of Korteweg-de Vries with an arbitrary function $f(u)$. In general, for a function $f(u)$ the Lie algebra of symmetries of gKdV is the $2$-dimensional Lie algebra of translations of the plane $xt$. This implies the existence of plane wave solutions. Indeed, for some specific values of $f(u)$ the equation gKdV admits a Lie algebra of symmetries of dimension grater than $2$. We compute the similarity reductions corresponding to these exceptional symmetries. We prove that the gKdV equation has soliton-like solutions under some general assumptions, and we find a closed formula for the plane wave solutions, that are of hyperbolic secant type. △ Less

Submitted 14 May, 2017; v1 submitted 29 January, 2017; originally announced January 2017.

Comments: 12 pages

MSC Class: 35Q53

Parallelisms & Lie Connections

Authors: David Blázquez-Sanz, Guy Casale

Abstract: The aim of this article is to study rational parallelisms of algebraic varieties by means of the transcendence of their symmetries. The nature of this transcendence is measured by a Galois group built from the Picard-Vessiot theory of principal connections. The aim of this article is to study rational parallelisms of algebraic varieties by means of the transcendence of their symmetries. The nature of this transcendence is measured by a Galois group built from the Picard-Vessiot theory of principal connections. △ Less

Submitted 4 November, 2017; v1 submitted 25 March, 2016; originally announced March 2016.

Journal ref: SIGMA 13 (2017), 086, 28 pages

Closed and asymptotic formulas for energy of some circulant graphs

Authors: David Blázquez-Sanz, Carlos Alberto Marín Arango

Abstract: We consider circulant graphs G(r,N) where the vertices are the integers modulo N and the neighbours of 0 are {-r,...,-1,1,...,r}. The energy of G(r,N) is a trigonometric sum of N*r terms. For low values of r we compute this sum explicitly. We also study the asymptotics of the energy of G(r,N) for big N. There is a known integral formula for the linear growth coefficient, we find a new expression o… ▽ More We consider circulant graphs G(r,N) where the vertices are the integers modulo N and the neighbours of 0 are {-r,...,-1,1,...,r}. The energy of G(r,N) is a trigonometric sum of N*r terms. For low values of r we compute this sum explicitly. We also study the asymptotics of the energy of G(r,N) for big N. There is a known integral formula for the linear growth coefficient, we find a new expression of the form of a finite trigonometric sum with r terms. As an application we show that in the family G(r,N) for r less or equal than 4 there is a finite number of hyperenergetic graphs. On the other hand, for each r>4 there is at most a finite number of non-hyperenergetic graphs of the form G(r,N). Finally we show that the graph G(r,2r+1) minimizes the energy among all the regular graphs of degree 2r. △ Less

Submitted 3 March, 2016; v1 submitted 24 February, 2016; originally announced February 2016.

Comments: 8 pages

MSC Class: 05C35; 05C50; 42A05

Infinitesimally homogeneous manifolds with prescribed structure groups

Authors: Carlos Alberto Marín Arango, David Blázquez-Sanz

Abstract: We explore the class of triples (M, nabla, P) where M is a manifold, nabla is an affine connection in M and P is a G-structure in M. Inside this class there are infinitesimally homogeneous manifolds, characterized by having G-constant curvature, torsion and inner torsion. For each matrix Lie group G subgroup of GL(Rn) there is a class of infinitesimally homogeneous manifolds with structure group G… ▽ More We explore the class of triples (M, nabla, P) where M is a manifold, nabla is an affine connection in M and P is a G-structure in M. Inside this class there are infinitesimally homogeneous manifolds, characterized by having G-constant curvature, torsion and inner torsion. For each matrix Lie group G subgroup of GL(Rn) there is a class of infinitesimally homogeneous manifolds with structure group G. In this paper we characterize the classes of infinitesimally homogeneous manifolds for some specific values of the structure group G including: identity group, finite groups, diagonal group, special linear group, orthogonal group and unitary group. △ Less

Submitted 11 February, 2016; originally announced February 2016.

Comments: 9 pages

MSC Class: 53A15; 53B05; 53C10; 53C30

Differential Galois Theory and Lie Symmetries

Authors: David Blázquez-Sanz, Juan J. Morales-Ruiz, Jacques-Arthur Weil

Abstract: We study the interplay between the differential Galois group and the Lie algebra of infinitesimal symmetries of systems of linear differential equations. We show that some symmetries can be seen as solutions of a hierarchy of linear differential systems. We show that the existence of rational symmetries constrains the differential Galois group in the system in a way that depends of the Maclaurin s… ▽ More We study the interplay between the differential Galois group and the Lie algebra of infinitesimal symmetries of systems of linear differential equations. We show that some symmetries can be seen as solutions of a hierarchy of linear differential systems. We show that the existence of rational symmetries constrains the differential Galois group in the system in a way that depends of the Maclaurin series of the symmetry along the zero solution. △ Less

Submitted 20 November, 2015; v1 submitted 31 March, 2015; originally announced March 2015.

MSC Class: 12H05; 34M15; 34A26

Journal ref: SIGMA 11 (2015), 092, 17 pages

A note on the relation between joint and differential invariants

Authors: David Blázquez-Sanz, Juan Sebastián Díaz Arboleda

Abstract: We discuss the general properties of the theory of joint invariants of a smooth Lie group action in a manifold. Many of the known results about differential invariants, including Lie's finiteness theorem, have simpler versions in the context of joint invariants. We explore the relation between joint and differential invariants, and we expose a general method that allow to compute differential inva… ▽ More We discuss the general properties of the theory of joint invariants of a smooth Lie group action in a manifold. Many of the known results about differential invariants, including Lie's finiteness theorem, have simpler versions in the context of joint invariants. We explore the relation between joint and differential invariants, and we expose a general method that allow to compute differential invariants from joint invariants. △ Less

Submitted 29 October, 2014; originally announced October 2014.

Comments: 24 pages

MSC Class: 53A55; 58A20; 58A30

Generalized Linear Cellular Automata in Groups and Difference Galois Theory

Authors: David Blazquez-Sanz, Weimar Muñoz

Abstract: Generalized non-autonomous linear celullar automata are systems of linear difference equations with many variables that can be seen as convolution equations in a discrete group. We study those systems from the stand point of the Galois theory of difference equations and discrete Fourier transform. Generalized non-autonomous linear celullar automata are systems of linear difference equations with many variables that can be seen as convolution equations in a discrete group. We study those systems from the stand point of the Galois theory of difference equations and discrete Fourier transform. △ Less

Submitted 6 August, 2013; originally announced August 2013.

Comments: 26 pages, 4 figures

MSC Class: 39A05; 12H10; 37B15

Non-integrability Criterium for Normal Variational Equations around an integrable Subsystem and an example: The Wilbeforce spring-pendulum

Authors: Primitivo B. Acosta-Humánez, Martha Alvarez--Ramírez, David Blázquez-Sanz, Joaquín Delgado

Abstract: In this paper we analyze the non-integrability of the Wilbeforce pendulum by means of Morales-Ramis theory in where is enough to prove that the Galois group of the variational equation is not virtually abelian. We obtain these non-integrability results due to the algebrization of the variational equation falls into a Heun differential equation with four singularities and then we apply Kovacic's al… ▽ More In this paper we analyze the non-integrability of the Wilbeforce pendulum by means of Morales-Ramis theory in where is enough to prove that the Galois group of the variational equation is not virtually abelian. We obtain these non-integrability results due to the algebrization of the variational equation falls into a Heun differential equation with four singularities and then we apply Kovacic's algorithm to determine its non-integrability. △ Less

Submitted 27 February, 2012; v1 submitted 2 April, 2011; originally announced April 2011.

Comments: 23 pages, 1 figure. Keywords and Phrases. Algebrization, Kovacic's algorithm, Hamiltonian systems, Wilbeforce pendulum, Differential Galois Group

Galoisian approach for a Sturm-Liouville problem on the infinite interval

Authors: David Blazquez-Sanz, Kazuyuki Yagasaki

Abstract: We study a Sturm-Liouville type eigenvalue problem for second-order differential equations on the infinite interval. Here the eigenfunctions are nonzero solutions exponentially decaying at infinity. We prove that at any discrete eigenvalue the differential equations are integrable in the setting of differential Galois theory under general assumptions. Our result is illustrated with two examples fo… ▽ More We study a Sturm-Liouville type eigenvalue problem for second-order differential equations on the infinite interval. Here the eigenfunctions are nonzero solutions exponentially decaying at infinity. We prove that at any discrete eigenvalue the differential equations are integrable in the setting of differential Galois theory under general assumptions. Our result is illustrated with two examples for a stationary Schroedinger equation having a generalized Hulthen potential and an eigenvalue problem for a traveling front in the Allen-Cahn equation. △ Less

Submitted 6 September, 2010; v1 submitted 6 September, 2010; originally announced September 2010.

MSC Class: 34B09; 34B24; 35B35; 81Q05

Analytic and algebraic conditions for bifurcations of homoclinic orbits I: Saddle equilibria

Authors: David Blazquez-Sanz, Kazuyuki Yagasaki

Abstract: We study bifurcations of homoclinic orbits to hyperbolic saddle equilibria in a class of four-dimensional systems which may be Hamiltonian or not. Only one parameter is enough to treat these types of bifurcations in Hamiltonian systems but two parameters are needed in general systems. We apply a version of Melnikov's method due to Gruendler to obtain saddle-node and pitchfork types of bifurcation… ▽ More We study bifurcations of homoclinic orbits to hyperbolic saddle equilibria in a class of four-dimensional systems which may be Hamiltonian or not. Only one parameter is enough to treat these types of bifurcations in Hamiltonian systems but two parameters are needed in general systems. We apply a version of Melnikov's method due to Gruendler to obtain saddle-node and pitchfork types of bifurcation results for homoclinic orbits. Furthermore we prove that if these bifurcations occur, then the variational equations around the homoclinic orbits are integrable in the meaning of differential Galois theory under the assumption that the homoclinic orbits lie on analytic invariant manifolds. We illustrate our theories with an example which arises as stationary states of coupled real Ginzburg-Landau partial differential equations, and demonstrate the theoretical results by numerical ones. △ Less

Submitted 6 September, 2010; v1 submitted 6 September, 2010; originally announced September 2010.

MSC Class: 34C23; 34C37; 37C29; 34A30; 37J20; 37J45; 35B32

Group Analysis of Non-autonomous Linear Hamiltonians through Differential Galois Theory

Authors: David Blazquez-Sanz, Sergio A. Carrillo Torres

Abstract: In this paper we introduce a notion of integrability in the non autonomous sense. For the cases of 1 + 1/2 degrees of freedom and quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom we prove that this notion is equivalent to the classical complete integrability of the system in the extended phase space. For the case of quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom… ▽ More In this paper we introduce a notion of integrability in the non autonomous sense. For the cases of 1 + 1/2 degrees of freedom and quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom we prove that this notion is equivalent to the classical complete integrability of the system in the extended phase space. For the case of quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom we also give a reciprocal of the Morales-Ramis result. We classify those systems by terms of symplectic change of frames involving algebraic functions of time, and give their canonical forms. △ Less

Submitted 1 March, 2010; originally announced March 2010.

Comments: 21 pages

MSC Class: 12H05; 34M15; 37J33

Affine Structures on Jet and Weil Bundles

Authors: David Blázquez-Sanz

Abstract: Weil algebra morphism induce natural transformations between Weil bundles. In some well known cases, a natural transformation is endowed with a canonical structure of affine bundle. We show that this structure arises only when the Weil algebra morphism is surjective and its kernel has null square. Moreover, in some cases, this structure of affine bundle is passed down to Jet spaces. We give a ch… ▽ More Weil algebra morphism induce natural transformations between Weil bundles. In some well known cases, a natural transformation is endowed with a canonical structure of affine bundle. We show that this structure arises only when the Weil algebra morphism is surjective and its kernel has null square. Moreover, in some cases, this structure of affine bundle is passed down to Jet spaces. We give a characterization of this fact in algebraic terms. This algebraic condition also determines an affine structure between the groups of automorphisms of related Weil algebras △ Less

Submitted 28 January, 2009; originally announced January 2009.

Comments: 16 pages

MSC Class: 58A20; 58A32

Journal ref: David Blázquez-Sanz, Affine Structures in Jet and Weil Bundles Colloq. Math. 114 (2009), no. 2, 291-305

Differential Galois Theory of Algebraic Lie-Vessiot Systems

Authors: David Blázquez-Sanz, Juan José Morales-Ruiz

Abstract: In this paper we develop a differential Galois theory for algebraic Lie-Vessiot systems in algebraic homogeneous spaces. Lie-Vessiot systems are non autonomous vector fields that are linear combinations with time-dependent coefficients of fundamental vector fields of an algebraic Lie group action. Those systems are the building blocks for differential equations that admit superposition of soluti… ▽ More In this paper we develop a differential Galois theory for algebraic Lie-Vessiot systems in algebraic homogeneous spaces. Lie-Vessiot systems are non autonomous vector fields that are linear combinations with time-dependent coefficients of fundamental vector fields of an algebraic Lie group action. Those systems are the building blocks for differential equations that admit superposition of solutions. Lie-Vessiot systems in algebraic homogeneous spaces include the case of linear differential equations. Therefore, the differential Galois theory for Lie-Vessiot systems is an extension of the classical Picard-Vessiot theory. In particular, algebraic Lie-Vessiot systems are solvable in terms of Kolchin's strongly normal extensions. Therefore, strongly normal extensions are geometrically interpreted as the fields of functions on principal homogeneous spaces over the Galois group. Finally we consider the problem of integrability and solvability of automorphic differential equations. Our main tool is a classical method of reduction, somewhere cited as Lie reduction. We develop and algebraic version of this method, that we call Lie-Kolchin reduction. Obstructions to the application are related to Galois cohomology. △ Less

Submitted 28 January, 2009; originally announced January 2009.

Comments: 69 pages

MSC Class: 34M05; 12H05; 14L99; 34A26

Lie's Reduction Method and Differential Galois Theory in the Complex Analytic Context

Authors: David Blázquez-Sanz, Juan José Morales-Ruiz

Abstract: This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting superposition laws, as recently stated in [5]. A Lie-Vessiot sys- tem is automatically translated into a equation in a Lie group that we call automorphic system.… ▽ More This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting superposition laws, as recently stated in [5]. A Lie-Vessiot sys- tem is automatically translated into a equation in a Lie group that we call automorphic system. Reciprocally an automorphic system induces a hierarchy of Lie-Vessiot systems. In this work we study the global analytic aspects of a classical method of reduction of differential equations, due to S. Lie. We propose an differential Galois theory for automorphic systems, and explore the relationship between integrability in terms of Galois the- ory and the Lie's reduction method. Finally we explore the algebra of Lie symmetries of a general automorphic system. △ Less

Submitted 28 January, 2009; originally announced January 2009.

Comments: 31 pages

MSC Class: 34M05; 12H05; 14L99; 34A26

Local and Global Aspects of Lie's Superposition Theorem

Authors: David Blázquez-Sanz, Juan José Morales-Ruiz

Abstract: In this paper we give the global conditions for an ordinary differential equation to admit a superposition law of solutions in the classical sense. This completes the well-known Lie superposition theorem. We introduce rigorous notions of pretransitive Lie group action and Lie-Vessiot systems. We proof that pretransitive Lie group actions are transitive. We proof that an ordinary differential equ… ▽ More In this paper we give the global conditions for an ordinary differential equation to admit a superposition law of solutions in the classical sense. This completes the well-known Lie superposition theorem. We introduce rigorous notions of pretransitive Lie group action and Lie-Vessiot systems. We proof that pretransitive Lie group actions are transitive. We proof that an ordinary differential equation admit a superposition law if and only if it is a pretransitive Lie-Vessiot system. It means that its enveloping algebra is spanned by fundamental fields of a pretransitive Lie group action. We discuss the relationship of superposition laws with differential Galois theory and review the classical result of Lie. △ Less

Submitted 6 November, 2009; v1 submitted 28 January, 2009; originally announced January 2009.

Comments: 43 pages

MSC Class: 34A26

On Hamiltonian potentials with quartic polynomial normal variational equations

Authors: Primitivo B. Acosta-Humanez, David Blazquez-Sanz, Camilo Vargas Contreras

Abstract: In this paper we prove that there exists only one family of classical Hamiltonian systems of two degrees of freedom with invariant plane $Γ=\{q_2=p_2=0\}$ whose normal variational equation around integral curves in $Γ$ is generically a Hill-Schrödinger equation with quartic polynomial potential. In particular, by means of the Morales-Ramis theory, these Hamiltonian systems are non-integrable throu… ▽ More In this paper we prove that there exists only one family of classical Hamiltonian systems of two degrees of freedom with invariant plane $Γ=\{q_2=p_2=0\}$ whose normal variational equation around integral curves in $Γ$ is generically a Hill-Schrödinger equation with quartic polynomial potential. In particular, by means of the Morales-Ramis theory, these Hamiltonian systems are non-integrable through rational first integrals. △ Less

Submitted 27 February, 2012; v1 submitted 31 August, 2008; originally announced September 2008.

Comments: 12 pages

MSC Class: 37J30; 12H05; 70H07

Journal ref: Nonlinear studies, Vol 16, No 3 (2009)

Non-integrability of some Hamiltonians with rational potentials

Authors: Primitivo Acosta-Humanez, David Blazquez-Sanz

Abstract: In this work we compute the families of classical Hamiltonians in two degrees of freedom in which the Normal Variational Equation around an invariant plane falls in Schroedinger type with polynomial or trigonometrical potential. We analyze the integrability of Normal Variational Equation in Liouvillian sense using the Kovacic's algorithm. We compute all Galois groups of Schroedinger type equatio… ▽ More In this work we compute the families of classical Hamiltonians in two degrees of freedom in which the Normal Variational Equation around an invariant plane falls in Schroedinger type with polynomial or trigonometrical potential. We analyze the integrability of Normal Variational Equation in Liouvillian sense using the Kovacic's algorithm. We compute all Galois groups of Schroedinger type equations with polynomial potential. We also introduce a method of algebrization that transforms equations with transcendental coefficients in equations with rational coefficients without changing essentially the Galoisian structure of the equation. We obtain Galoisian obstructions to existence of a rational first integral of the original Hamiltonian via Morales-Ramis theory. △ Less

Submitted 6 October, 2006; originally announced October 2006.

Comments: 33 pages

MSC Class: 37J30; 34M15