Showing 1–21 of 21 results for author: Duarte, L

A Linear Prelle-Singer method

Authors: L. G. S. Duarte, H. S. Ferreira, L. A. C. P. da Mota

Abstract: The Prelle-Singer method allows determining an elementary first integral admitted by a polynomial vector field in the plane. It is a semi-algorithm whose nonlinear step consists of determining the Darboux polynomials of the vector field. In this article we construct a linear procedure to determine the Darboux polynomials present in the integrating factor of a polynomial vector field in the plane.… ▽ More The Prelle-Singer method allows determining an elementary first integral admitted by a polynomial vector field in the plane. It is a semi-algorithm whose nonlinear step consists of determining the Darboux polynomials of the vector field. In this article we construct a linear procedure to determine the Darboux polynomials present in the integrating factor of a polynomial vector field in the plane. Next, we extend the procedure to deal with rational 2ODEs that admit an elementary first integral △ Less

Submitted 13 May, 2024; originally announced May 2024.

MSC Class: 34-XX ACM Class: G.1.7

A new use of nonlocal symmetries for computing Liouvillian first integrals of rational second order ordinary differential equations

Authors: I. Deme, L. G. S. Duarte, L. A. C. P. da Mota

Abstract: Here we present an efficient method for finding and using a nonlocal symmetry admitted by a rational second order ordinary differential equation (rational 2ODE) in order to find a Liouvillian first integral (belonging to a vast class of Liouvillian functions). In a first stage, we construct an algorithm (improving the methodde veloped in [1]) that computes a nonlocal symmetry of a rational 2ODE. I… ▽ More Here we present an efficient method for finding and using a nonlocal symmetry admitted by a rational second order ordinary differential equation (rational 2ODE) in order to find a Liouvillian first integral (belonging to a vast class of Liouvillian functions). In a first stage, we construct an algorithm (improving the methodde veloped in [1]) that computes a nonlocal symmetry of a rational 2ODE. In ase cond stage, based on the knowledge of this symmetry, it is possible to construct three polynomial vector fields (in R2), which "share" the Liouvillian first integral with the rational 2ODE. These "plane" polynomial vector fields can be used to construct a procedure (based on an idea developed in [2]) to determine an integrating factor for the rational 2ODE with a fast probabilistic algorithm. The main advantages of the proposed method are: the obtaining of the nonlocal symmetry is algorithmic and very efficient and, furthermore, its use to find an integrating factor is a sequence of linear or quasilinear processes. △ Less

Submitted 7 October, 2023; originally announced October 2023.

MSC Class: 34-XX ACM Class: G.1.7

Solving first order differential equations presenting elementary functions

Authors: L. G. S. Duarte, L. A. C. P. da Mota, A. B. M. M. Queiroz

Abstract: We have already dealt with the problem of solving First Order Differential Equations (1ODEs) presenting elementary functions before in [1, 2]. In this present paper, we have established solid theoretical basis through a relation between the 1ODE we are dealing with and a rational second order ordinary differential equation, presenting a Liouvillian first Integral. Here, we have expanded the result… ▽ More We have already dealt with the problem of solving First Order Differential Equations (1ODEs) presenting elementary functions before in [1, 2]. In this present paper, we have established solid theoretical basis through a relation between the 1ODE we are dealing with and a rational second order ordinary differential equation, presenting a Liouvillian first Integral. Here, we have expanded the results in [3], where we have establish a theoretical background to deal with rational second order ordinary differential equations (2ODEs) via the S-function method. Using this generalisation and other results hereby introduced, we have produced a method to integrate the 1ODE under scrutiny. Our methods and algorithm are capable to deal efficiently with chaotic systems, determining regions of integrability. △ Less

Submitted 23 August, 2023; originally announced August 2023.

MSC Class: 34-xx ACM Class: G.1.7; I.1

Finding nonlocal Lie symmetries algorithmically

Authors: L. G. S. Duarte, L. A. C. P. da Mota, A. F. Rocha

Abstract: Here we present a new approach to compute symmetries of rational second order ordinary differential equations (rational 2ODEs). This method can compute Lie symmetries (point symmetries, dynamical symmetries and non-local symmetries) algorithmically. The procedure is based on an idea arising from the formal equivalence between the total derivative operator and the vector field associated with the 2… ▽ More Here we present a new approach to compute symmetries of rational second order ordinary differential equations (rational 2ODEs). This method can compute Lie symmetries (point symmetries, dynamical symmetries and non-local symmetries) algorithmically. The procedure is based on an idea arising from the formal equivalence between the total derivative operator and the vector field associated with the 2ODE over its solutions (Cartan vector field). Basically, from the formal representation of a Lie symmetry it is possible to extract information that allows to use this symmetry practically (in the 2ODE integration process) even in cases where the formal operation cannot be performed, i.e., in cases where the symmetry is nonlocal. Furthermore, when the 2ODE in question depends on parameters, the procedure allows an analysis that determines the regions of the parameter space in which the integrable cases are located. △ Less

Submitted 26 June, 2023; v1 submitted 22 June, 2023; originally announced June 2023.

MSC Class: 34-XX ACM Class: G.1.7

Journal ref: Chaos, Solitons & Fractals Volume 177, December 2023, 114232

A New S-Function Method searching for First Order Differential Integrals: Faster, Broader, Better

Authors: L. G. S. Duarte, L. A. C. P. da Mota, I. S. S. Nascimento

Abstract: Here we present a very efficient method to search for Liouvillian first integrals of second order rational ordinary differential equations (rational 2ODEs). This new algorithm can be seen as an improvement to the S-function method we have developed [24]. Here, we show how to further use the knowledge of the S-function to find an integrating factor of a set of first order rational ordinary differen… ▽ More Here we present a very efficient method to search for Liouvillian first integrals of second order rational ordinary differential equations (rational 2ODEs). This new algorithm can be seen as an improvement to the S-function method we have developed [24]. Here, we show how to further use the knowledge of the S-function to find an integrating factor of a set of first order rational ordinary differential equations (rational 1ODEs) which is shared by the original 2ODE, without having to actually solving these 1ODEs. This new use of the S-function, that is the theoretical basis of our new method to compute the integrating factor, proved to be a linear process of computation for a vast class of non-linear rational 2ODEs, making it much more efficient. △ Less

Submitted 11 June, 2023; originally announced June 2023.

An Efficient Method for Computing Liouvillian First Integrals of Planar Polynomial Vector Fields

Authors: L. G. S. Duarte, L. A. C. P. da Mota

Abstract: Here we present an efficient method to compute Darboux polynomials for polynomial vector fields in the plane. This approach is restricetd to polynomial vector fields presenting a Liouvillian first integral (or, equivalently, to rational first order differential equations (rational 1ODEs) presenting a Liouvillian general solution). The key to obtaining this method was to separate the procedure of s… ▽ More Here we present an efficient method to compute Darboux polynomials for polynomial vector fields in the plane. This approach is restricetd to polynomial vector fields presenting a Liouvillian first integral (or, equivalently, to rational first order differential equations (rational 1ODEs) presenting a Liouvillian general solution). The key to obtaining this method was to separate the procedure of solving the (nonlinear) algebraic systems resulting from the equation that translates the condition of existence of a Darboux polynomial into feasible steos (procedures that requires less memory consumption). We also present a brief performance analysis of the algorithms developed. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Journal ref: Journal of Differential Equations Volume 300, 5 November 2021, Pages 356-385

A generalization of the S-function method applied to a Duffing-Van der Pol forced oscillator

Authors: L. G. S. Duarte, L. A. C. P. da Mota

Abstract: In [1,2] we have developed a method (we call it the S-function method) that is successful in treating certain classes of rational second order ordinary differential equations (rational 2ODEs) that are particularly `resistant' to canonical Lie methods and to Darbouxian approaches. In this present paper, we generalize the S-function method making it capable of dealing with a class of elementary 2ODE… ▽ More In [1,2] we have developed a method (we call it the S-function method) that is successful in treating certain classes of rational second order ordinary differential equations (rational 2ODEs) that are particularly `resistant' to canonical Lie methods and to Darbouxian approaches. In this present paper, we generalize the S-function method making it capable of dealing with a class of elementary 2ODEs presenting elementary functions. Then, we apply this method to a Duffing-Van der Pol forced oscillator, obtaining an entire class of first integrals. △ Less

Submitted 5 November, 2017; originally announced November 2017.

Journal ref: Computer Physics Communications Volume 254, September 2020, 107306

Solving 1ODEs with functions

Authors: L. G. S. Duarte, L. A. C. P. da Mota, A. B. M. M. Queiroz

Abstract: Here we present a new approach to deal with first order ordinary differential equations (1ODEs), presenting functions. This method is an alternative to the one we have presented in [1]. In [2], we have establish the theoretical background to deal, in the extended Prelle-Singer approach context, with systems of 1ODEs. In this present paper, we will apply these results in order to produce a method t… ▽ More Here we present a new approach to deal with first order ordinary differential equations (1ODEs), presenting functions. This method is an alternative to the one we have presented in [1]. In [2], we have establish the theoretical background to deal, in the extended Prelle-Singer approach context, with systems of 1ODEs. In this present paper, we will apply these results in order to produce a method that is more efficient in a great number of cases. Directly, the solving of 1ODEs is applicable to any problem presenting parameters to which the rate of change is related to the parameter itself. Apart from that, the solving of 1ODEs can be a part of larger mathematical processes vital to dealing with many problems. △ Less

Submitted 4 January, 2023; v1 submitted 25 September, 2017; originally announced October 2017.

Comments: we have expanded the theoretical results presented on the piece and we have also introduced the presentation of a computer package allowing th euser to materialize the calculations in an easier way (the paper had 31 pages now it has 55)

The search for Invariants for 3D Systems of 1ODEs - a new Method and Integrability Analysis

Authors: L. G. S. Duarte, J. P. C. Eiras, L. A. C. P. da Mota

Abstract: In [1], we have presented the theoretical background for finding the Elementary Invariants for a 3D system of first order rational differential equations (1ODEs). We have also provided an algorithm to find such Invariants. Here we introduce new theoretical results that will lead to a novel, more efficient, approach to determine these invariants. Furthermore, one important aspect of such dynamical… ▽ More In [1], we have presented the theoretical background for finding the Elementary Invariants for a 3D system of first order rational differential equations (1ODEs). We have also provided an algorithm to find such Invariants. Here we introduce new theoretical results that will lead to a novel, more efficient, approach to determine these invariants. Furthermore, one important aspect of such dynamical systems is that the integrability can be an issue. We will show that the present theoretical development allows for an Integrability analysis in the case where the system has free parameters. △ Less

Submitted 29 August, 2017; originally announced August 2017.

Comments: 10 pages

Dealing with Rational Second Order Ordinary Differential Equations where both Darboux and Lie Find It Difficult: The $S$-function Method

Authors: J. Avellar, M. S. Cardoso, L. G. S. Duarte, L. A. C. P. da Mota

Abstract: Here we present a new approach to search for first order invariants (first integrals) of rational second order ordinary differential equations. This method is an alternative to the Darbouxian and symmetry approaches. Our procedure can succeed in many cases where these two approaches fail. We also present here a Maple implementation of the theoretical results and methods, hereby introduced, in a co… ▽ More Here we present a new approach to search for first order invariants (first integrals) of rational second order ordinary differential equations. This method is an alternative to the Darbouxian and symmetry approaches. Our procedure can succeed in many cases where these two approaches fail. We also present here a Maple implementation of the theoretical results and methods, hereby introduced, in a computational package -- {\it InSyDE}. The package is designed, apart from materializing the algorithms presented, to provide a set of tools to allow the user to analyse the intermediary steps of the process. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: 42 pages

Journal ref: Computer Physics Communications, V. 234c, P. 302-314, 2019

Improving a family of Darboux methods for rational second order ordinary differential equations

Authors: L. G. S. Duarte, L. A. C. P. da Mota

Abstract: We have been working in many aspects of the problem of analyzing, understanding and solving ordinary differential equations (first and second order). As we have extensively mentioned, while working in the Darboux type methods, the most costly step of our methods and algorithms of solution is the determination of Darboux polynomials for the associated differential operators. Here, we are going to p… ▽ More We have been working in many aspects of the problem of analyzing, understanding and solving ordinary differential equations (first and second order). As we have extensively mentioned, while working in the Darboux type methods, the most costly step of our methods and algorithms of solution is the determination of Darboux polynomials for the associated differential operators. Here, we are going to present some algorithms to greatly reduce the time expenditure in determining these needed Darboux polynomials. Some of them are based on a detailed analysis of the general structure of second order differential equations regarding the associated differential invariants. In order to perform this analysis, we produce a theorem concerning the general form for the differential invariants in terms of the Darboux polynomials. △ Less

Submitted 25 April, 2011; originally announced April 2011.

A Semi-Algorithmic Search for Lie Symmetries

Authors: L. G. S. Duarte, L. A. C. P. da Mota

Abstract: In [Solving second order ordinary differential equations by extending the Prelle-Singer method, J. Phys. A: Math.Gen., 34, 3015-3024 (2001)] we defined a function (we called S) associated to a rational second order ordinary differential equation (rational 2ODE) that is linked to the search of an integrating factor. In this work we investigate the relation between these $S$-functions and the Lie sy… ▽ More In [Solving second order ordinary differential equations by extending the Prelle-Singer method, J. Phys. A: Math.Gen., 34, 3015-3024 (2001)] we defined a function (we called S) associated to a rational second order ordinary differential equation (rational 2ODE) that is linked to the search of an integrating factor. In this work we investigate the relation between these $S$-functions and the Lie symmetries of a rational 2ODE. Based on this relation we can construct a semi-algorithmic method to find the Lie symmetries of a 2ODE even in the case where it presents no Lie point symmetries. △ Less

Submitted 16 July, 2010; originally announced July 2010.

Determining Liouvillian First Integrals for Dynamical Systems in the Plane

Authors: J. Avellar, L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota

Abstract: Here we present/implement an algorithm to find Liouvillian first integrals of dynamical systems in the plane. In \cite{JCAM}, we have introduced the basis for the present implementation. The particular form of such systems allows reducing it to a single rational first order ordinary differential equation (rational first order ODE). We present a set of software routines in Maple 10 for solving ra… ▽ More Here we present/implement an algorithm to find Liouvillian first integrals of dynamical systems in the plane. In \cite{JCAM}, we have introduced the basis for the present implementation. The particular form of such systems allows reducing it to a single rational first order ordinary differential equation (rational first order ODE). We present a set of software routines in Maple 10 for solving rational first order ODEs. The package present commands permitting research incursions of some algebraic properties of the system that is being studied. △ Less

Submitted 9 May, 2006; originally announced May 2006.

Journal ref: Computer Physics Communications Volume 177, Issue 7, 1 October 2007, Pages 584-596

Improving the Global Fitting Method on Non-Linear Time Series Analysis

Authors: L. M. C. R. Barbosa, L. G. S. Duarte, C. A. Linhares, L. A. C. P. da Mota

Abstract: In this paper, we are concerned with improving the forecast capabilities of the Global approach to Time Series. We assume that the normal techniques of Global mapping are applied, the noise reduction is performed, etc. Then, using the mathematical foundations behind such approaches, we propose a method that, without a great computational cost, greatly increase the accuracy of the corresponding f… ▽ More In this paper, we are concerned with improving the forecast capabilities of the Global approach to Time Series. We assume that the normal techniques of Global mapping are applied, the noise reduction is performed, etc. Then, using the mathematical foundations behind such approaches, we propose a method that, without a great computational cost, greatly increase the accuracy of the corresponding forecasting. △ Less

Submitted 9 May, 2006; originally announced May 2006.

Journal ref: Physical Review E - Statistical Physics, Plasmas, Fluids and Related Interdisciplinary Topics, v. E74, p. 26702, 2006.

Finding Elementary First Integrals for Rational Second Order Ordinary Differential Equations

Authors: J. Avellar, L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota

Abstract: Here we present an algorithm to find elementary first integrals of rational second order ordinary differential equations (SOODEs). In \cite{PS2}, we have presented the first algorithmic way to deal with SOODEs, introducing the basis for the present work. In \cite{royal}, the authors used these results and developed a method to deal with SOODEs and a classification of those. Our present algorithm… ▽ More Here we present an algorithm to find elementary first integrals of rational second order ordinary differential equations (SOODEs). In \cite{PS2}, we have presented the first algorithmic way to deal with SOODEs, introducing the basis for the present work. In \cite{royal}, the authors used these results and developed a method to deal with SOODEs and a classification of those. Our present algorithm is based on a much more solid theoretical basis (many theorems are presented) and covers a much broader family of SOODEs than before since we do not work with restricted ansatz. Furthermore, our present approach allows for an easy integrability analysis of SOODEs and much faster actual calculations. △ Less

Submitted 29 July, 2005; originally announced August 2005.

A semi-algorithm to find elementary first order invariants of rational second order ordinary differential equations

Authors: J. Avellar, L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota

Abstract: Here we present a method to find elementary first integrals of rational second order ordinary differential equations (SOODEs) based on a Darboux type procedure \cite{ManMac,firsTHEOps1,secondTHEOps1}. Apart from practical computational considerations, the method will be capable of telling us (up to a certain polynomial degree) if the SOODE has an elementary first integral and, in positive case,… ▽ More Here we present a method to find elementary first integrals of rational second order ordinary differential equations (SOODEs) based on a Darboux type procedure \cite{ManMac,firsTHEOps1,secondTHEOps1}. Apart from practical computational considerations, the method will be capable of telling us (up to a certain polynomial degree) if the SOODE has an elementary first integral and, in positive case, finds it via quadratures. △ Less

Submitted 14 June, 2005; originally announced June 2005.

MSC Class: 34A34

Journal ref: Applied Mathematics and Computation, v. 184, p. 2-11, 2007.

A Method to Tackle First Order Differential Equations with Liouvillian Functions in the Solution - II

Authors: L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota

Abstract: We present a semi-decision procedure to tackle first order differential equations, with Liouvillian functions in the solution (LFOODEs). As in the case of the Prelle-Singer procedure, this method is based on the knowledge of the integrating factor structure. We present a semi-decision procedure to tackle first order differential equations, with Liouvillian functions in the solution (LFOODEs). As in the case of the Prelle-Singer procedure, this method is based on the knowledge of the integrating factor structure. △ Less

Submitted 6 November, 2001; originally announced November 2001.

Comments: 11 pages, latex

Prelle-Singer Approach and Liouvillian Solutions: An Important Result

Authors: L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota

Abstract: In math-ph/0107007, we present a method to tackle first order ordinary differential equations whose solutions contain Liouvillian functions (LFOODEs), many of them missed by the usual PS-approach. Here, we demonstrate an important result concerning the generality of that method. In math-ph/0107007, we present a method to tackle first order ordinary differential equations whose solutions contain Liouvillian functions (LFOODEs), many of them missed by the usual PS-approach. Here, we demonstrate an important result concerning the generality of that method. △ Less

Submitted 10 July, 2001; originally announced July 2001.

Comments: 8 pages, latex

A Method to Tackle First Order Differential Equations with Liouvillian Functions in the Solution

Authors: L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota

Abstract: We present an algorithm to solve First Order Ordinary Differential Equations (FOODEs) extending the Prelle-Singer (PS) Method. The usual PS-approach miss many FOODEs presenting Liouvillian functions in the solution (LFOODEs). We point out why and propose an algorithm to solve a large class of these previously unsolved LFOODEs. Although our algorithm does not cover all the LFOODEs, it is an elega… ▽ More We present an algorithm to solve First Order Ordinary Differential Equations (FOODEs) extending the Prelle-Singer (PS) Method. The usual PS-approach miss many FOODEs presenting Liouvillian functions in the solution (LFOODEs). We point out why and propose an algorithm to solve a large class of these previously unsolved LFOODEs. Although our algorithm does not cover all the LFOODEs, it is an elegant extension mantaining the semi-decision nature of the usual PS-Method. △ Less

Submitted 10 July, 2001; originally announced July 2001.

Comments: 11 pages, latex

Implementation of the Prelle-Singer Method for 1ODEs

Authors: L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota, J. E. F. Skea

Abstract: A set of MapleV R5 software routines for solving first order ordinary differential equations (1ODEs) is presented. The package implements the Prelle-Singer Method in its original form plus its extension to include elementary functions (ELFs) on the integrating factor . The package also presents a theoretical extension to deal with all 1ODEs presenting liouvillian solutions (LIS). A set of MapleV R5 software routines for solving first order ordinary differential equations (1ODEs) is presented. The package implements the Prelle-Singer Method in its original form plus its extension to include elementary functions (ELFs) on the integrating factor . The package also presents a theoretical extension to deal with all 1ODEs presenting liouvillian solutions (LIS). △ Less

Submitted 15 August, 2000; originally announced August 2000.

Comments: 19 pages (no figures), latex

Journal ref: Computer Physics Communications, Holanda, v. 144, n. 1, p. 46-62, 2002.

Solving second order equations by extending the PS method

Authors: L. G. S. Duarte, L. A. da Mota, J. E. F. Skea

Abstract: An extension of the ideas of the Prelle-Singer procedure to second order differential equations is proposed. As in the original PS procedure, this version of our method deals with differential equations of the form y''={M(x,y,y')}/{N(x,y,y')}, where M and N are polynomials with coefficients in the field of complex numbers C. The key to our approach is to focus not on the final solution but on th… ▽ More An extension of the ideas of the Prelle-Singer procedure to second order differential equations is proposed. As in the original PS procedure, this version of our method deals with differential equations of the form y''={M(x,y,y')}/{N(x,y,y')}, where M and N are polynomials with coefficients in the field of complex numbers C. The key to our approach is to focus not on the final solution but on the first-order invariants of the equation. Our method is an attempt to address algorithmically the solution of SOODEs whose first integrals are elementary functions of x, y and y'. △ Less

Submitted 3 January, 2000; originally announced January 2000.

Comments: 10 pages

Journal ref: Journal of Physics A. Mathematical and General, Inglaterra, v. 34, 2001.