Showing 1–50 of 50 results for author: Grau, M

Nash Equilibria in the Showcase Showdown game with unlimited spins

Authors: L. Bayón, P. Fortuny ayuso, J. M. Grau, A. M. Oller-Marcén, M. M Ruíz

Abstract: The game of \emph{Showcase Showdown} with unlimited spins is investigated as an $n$-players continuous game, and the Nash Equilibrium strategies for the players are obtained. The sequential game with information on the results of the previous players is studied, as well as three variants: no information, possibility of draw, and different modalities of winner payoff. The game of \emph{Showcase Showdown} with unlimited spins is investigated as an $n$-players continuous game, and the Nash Equilibrium strategies for the players are obtained. The sequential game with information on the results of the previous players is studied, as well as three variants: no information, possibility of draw, and different modalities of winner payoff. △ Less

Submitted 9 April, 2025; originally announced April 2025.

Comments: 3 figures

A class of weighted Delannoy numbers

Authors: J. M. Grau, A. M Oller-Marcen, J. L. Varona

Abstract: The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to… ▽ More The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to make use of well-established methods by Pemantle and Wilson, and by Melczer in order to determine its asymptotic behavior in the case $A,B,α,β,γ\geq 0$. In addition, we also study its P-recursivity with the help of symbolic computation tools. △ Less

Submitted 20 January, 2025; v1 submitted 16 January, 2025; originally announced January 2025.

Journal ref: Filomat 36:17 (2022), 5985--6007

Optimal control of counter-terrorism tactics

Authors: L. Bayon, P. Fortuny Ayuso, P. J. Garcia-Nieto, J. M. Grau, M. M. Ruiz

Abstract: This paper presents an optimal control problem to analyze the efficacy of counter-terrorism tactics. We present an algorithm that efficiently combines the Minimum Principle of Pontryagin, the shooting method and the cyclic descent of coordinates. We also present a result that allows us to know a priori the steady state solutions. Using this technique we are able to choose parameters that reach a s… ▽ More This paper presents an optimal control problem to analyze the efficacy of counter-terrorism tactics. We present an algorithm that efficiently combines the Minimum Principle of Pontryagin, the shooting method and the cyclic descent of coordinates. We also present a result that allows us to know a priori the steady state solutions. Using this technique we are able to choose parameters that reach a specific solution, of which there are two. Numerical examples are presented to illustrate the possibilities of the method. Finally, we study the sufficient conditions for optimality and suggest an improvement on the functional which also guarantees local optimality. △ Less

Submitted 15 January, 2025; originally announced January 2025.

Journal ref: Applied Mathematics and Computation, Volume 347, 15 April 2019, Pages 477-491

Entry and leaving arcs of turnpikes: their exact computation in the calculus of variations

Authors: L. Bayón, P. Fortuny Ayuso, J. M. Grau, M. M Ruiz

Abstract: We settle the question of how to compute the entry and leaving arcs for turnpikes in autonomous variational problems, in the one-dimensional case using the phase space of the vector field associated to the Euler equation, and the initial/final and/or the transversality condition. The results hinge on the realization that extremals are the contours of a well-known function and that that the transve… ▽ More We settle the question of how to compute the entry and leaving arcs for turnpikes in autonomous variational problems, in the one-dimensional case using the phase space of the vector field associated to the Euler equation, and the initial/final and/or the transversality condition. The results hinge on the realization that extremals are the contours of a well-known function and that that the transversality condition is (generically) a curve. An approximation algorithm is presented and an example included for completeness. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Comments: 15 pages, 8 figures

MSC Class: 49J15 49J30

A new method for computing asymptotic results in optimal stopping problems

Authors: L. Bayón, P. Fortuny, J. M. Grau, A. M. Oller-Marcén, M. M. Ruiz

Abstract: In this paper, we present a novel method for computing the asymptotic values of both the optimal threshold, and the probability of success in sequences of optimal stopping problems. This method, based on the resolution of a first-order linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the well-known… ▽ More In this paper, we present a novel method for computing the asymptotic values of both the optimal threshold, and the probability of success in sequences of optimal stopping problems. This method, based on the resolution of a first-order linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the well-known secretary problem, including the classical one, that appear in the literature on the subject, as well as four other unpublished ones. △ Less

Submitted 17 May, 2022; originally announced May 2022.

On $μ$-Sondow Numbers

Authors: J. M. Grau, A. M. Oller-Marcén, D. Sadornil

Abstract: Given an integer $μ$, we study the numbers that satisfy the condition $\fracμ{n} + \sum_ {p \mid n} \frac {1} {p} \in \mathbb{N}$. This condition, which is reminiscent of the one satisfied by Giuga numbers ($μ=-1$), also includes the so-called \cite{sondow} weak primary pseudoperfect numbers ($μ=1$). As a tribute to our late colleague Jonathan Sondow (1943 -- 2020), we have named these numbers… ▽ More Given an integer $μ$, we study the numbers that satisfy the condition $\fracμ{n} + \sum_ {p \mid n} \frac {1} {p} \in \mathbb{N}$. This condition, which is reminiscent of the one satisfied by Giuga numbers ($μ=-1$), also includes the so-called \cite{sondow} weak primary pseudoperfect numbers ($μ=1$). As a tribute to our late colleague Jonathan Sondow (1943 -- 2020), we have named these numbers $ μ$-Sondow numbers. In this paper, we give several different characterizations of these numbers, all of them suggested by well-known characterizations of the Giuga numbers. We also relate these numbers to the well-known Erdös-Moser equation and we present some conjectures about them. △ Less

Submitted 18 December, 2021; v1 submitted 28 November, 2021; originally announced November 2021.

The multi-returning secretary problem

Authors: L. Bayon, P. Fortuny, J. M. Grau, A. Oller Marcen, M. M. Ruiz

Abstract: In this paper we consider the so-called Multi-returning secretary problem, a version of the Secretary problem in which each candidate has $m$ identical copies. The case $m=2$ has already been completely solved by several authors using different methods both the case $m>2$ had not been satisfactorily solved yet. Here, we provide and efficient algorithm to compute the optimal threshold and the proba… ▽ More In this paper we consider the so-called Multi-returning secretary problem, a version of the Secretary problem in which each candidate has $m$ identical copies. The case $m=2$ has already been completely solved by several authors using different methods both the case $m>2$ had not been satisfactorily solved yet. Here, we provide and efficient algorithm to compute the optimal threshold and the probability of success for every $m$. Moreover, we give a method to determine their asymtoptic values based on the solution of a system of $m$ ODEs. △ Less

Submitted 15 October, 2020; v1 submitted 16 September, 2020; originally announced September 2020.

The Best-or-Worst and the Postdoc problems with random number of candidates

Authors: L. Bayon, P. Fortuny, J. M. Grau, M. M Ruiz, M. A. Oller-Marcen

Abstract: In this paper we consider two variants of the Secretary problem: The Best-or-Worst and the Postdoc problems. We extend previous work by considering that the number of objects is not known and follows either a discrete Uniform distribution $\mathcal{U}[1,n]$ or a Poisson distribution $\mathcal{P}(λ)$. We show that in any case the optimal strategy is a threshold strategy, we provide the optimal cuto… ▽ More In this paper we consider two variants of the Secretary problem: The Best-or-Worst and the Postdoc problems. We extend previous work by considering that the number of objects is not known and follows either a discrete Uniform distribution $\mathcal{U}[1,n]$ or a Poisson distribution $\mathcal{P}(λ)$. We show that in any case the optimal strategy is a threshold strategy, we provide the optimal cutoff values and the asymptotic probabilities of success. We also put our results in relation with closely related work. △ Less

Submitted 12 November, 2018; v1 submitted 17 September, 2018; originally announced September 2018.

The Best-or-Worst and the Postdoc problems

Authors: L. Bayon, P. Fortuny Ayuso, J. M. Grau, A. M. Oller-Marcen, M. M. Ruiz

Abstract: We consider two variants of the secretary problem, the\emph{ Best-or-Worst} and the \emph{Postdoc} problems, which are closely related. First, we prove that both variants, in their standard form with binary payoff 1 or 0, share the same optimal stopping rule. We also consider additional cost/perquisites depending on the number of interviewed candidates. In these situations the optimal strategies a… ▽ More We consider two variants of the secretary problem, the\emph{ Best-or-Worst} and the \emph{Postdoc} problems, which are closely related. First, we prove that both variants, in their standard form with binary payoff 1 or 0, share the same optimal stopping rule. We also consider additional cost/perquisites depending on the number of interviewed candidates. In these situations the optimal strategies are very different. Finally, we also focus on the Best-or-Worst variant with different payments depending on whether the selected candidate is the best or the worst. △ Less

Submitted 22 June, 2017; originally announced June 2017.

Generalized Quaternion Rings over $\mathbb{Z}/n\mathbb{Z}$ for an odd $n$

Authors: J. M. Grau, C. Miguel, A. M. oller-Marcén

Abstract: We consider a generalization of the quaternion ring $\Big(\frac{a,b}{R}\Big)$ over a commutative unital ring $R$ that includes the case when $a$ and $b$ are not units of $R$. In this paper, we focus on the case $R=\mathbb{Z}/n\mathbb{Z}$ for and odd $n$. In particular, for every odd integer $n$ we compute the number of non-isomorphic generalized quaternion rings… ▽ More We consider a generalization of the quaternion ring $\Big(\frac{a,b}{R}\Big)$ over a commutative unital ring $R$ that includes the case when $a$ and $b$ are not units of $R$. In this paper, we focus on the case $R=\mathbb{Z}/n\mathbb{Z}$ for and odd $n$. In particular, for every odd integer $n$ we compute the number of non-isomorphic generalized quaternion rings $\Big(\frac{a,b}{\mathbb{Z}/n\mathbb{Z}}\Big)$ △ Less

Submitted 15 June, 2017; originally announced June 2017.

A counterexample to the composition condition conjecture for polynomial Abel differential equations

Authors: Jaume Giné, Maite Grau, Xavier Santallusia

Abstract: The Polynomial Abel differential equations are considered a model problem for the classical Poincaré center--focus problem for planar polynomial systems of ordinary differential equations. Last decades several works pointed out that all the centers of the polynomial Abel differential equations satisfied the composition conditions (also called universal centers). In this work we provide a simple co… ▽ More The Polynomial Abel differential equations are considered a model problem for the classical Poincaré center--focus problem for planar polynomial systems of ordinary differential equations. Last decades several works pointed out that all the centers of the polynomial Abel differential equations satisfied the composition conditions (also called universal centers). In this work we provide a simple counterexample to this conjecture. △ Less

Submitted 15 May, 2017; originally announced May 2017.

Comments: 6 pages

Fast computation of the number of solutions to $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$

Authors: Jose Maria Grau, A. Oller-marcen

Abstract: In this paper we study the multiplicative function $ρ_{k,λ}(n)$ that counts the number of incongruent solutions of the equation $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$. In particular we give closed explicit formulas for $ρ_{k,λ}(p^s)$ with a arithmetic complexity of constant order. In this paper we study the multiplicative function $ρ_{k,λ}(n)$ that counts the number of incongruent solutions of the equation $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$. In particular we give closed explicit formulas for $ρ_{k,λ}(p^s)$ with a arithmetic complexity of constant order. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Power sums over commutative and unitary rings

Authors: Jose Maria Grau, Antonio. M. Oller-Marcen

Abstract: In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$ In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$ △ Less

Submitted 18 March, 2016; originally announced March 2016.

Computing solutions to the congruence ${1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}}$

Authors: Max Alekseyev, Jose Maria Grau, Amtonio Oller-Marcen

Abstract: It is well-known that the congruence $\sum_{i=1}^{ n} i^{ n} \equiv 1 \pmod{n}$ has exactly five solutions: $\{1,2,6,42,1806\}$. In this work, we characterize the solutions to the congruence $1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}$ for every prime $p$. This characterization leads to an algorithm for computing all such solutions, when there is a finite number of them. More generally, our algorit… ▽ More It is well-known that the congruence $\sum_{i=1}^{ n} i^{ n} \equiv 1 \pmod{n}$ has exactly five solutions: $\{1,2,6,42,1806\}$. In this work, we characterize the solutions to the congruence $1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}$ for every prime $p$. This characterization leads to an algorithm for computing all such solutions, when there is a finite number of them. More generally, our algorithm enables computing all the solutions below a much higher bound as compared to what can be achieved by a naive exhaustive search. △ Less

Submitted 30 August, 2018; v1 submitted 7 February, 2016; originally announced February 2016.

MSC Class: 11B99; 11A99; 11A07

Journal ref: Discrete Applied Mathematics 286 (2020), 3-9

Proving the existence of numerically detected planar limit cycles

Authors: Armengol Gasull, Héctor Giacomini, Maite Grau

Abstract: This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Liénard syste… ▽ More This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Liénard systems, to prove the existence of the limit cycles and to locate them very precisely in the phase space. Our method, combined with some other classical tools can be applied to obtain sharp bounds for the bifurcation values of a saddle-node bifurcation of limit cycles, as we do for the Rychkov system. △ Less

Submitted 30 January, 2016; originally announced February 2016.

Comments: 22 pages, 6 figures

MSC Class: 34C05; 34C07; 37C27; 34C25; 34A34

On power sums of matrices over a finite commutative ring

Authors: P. Fortuny, J. M. Grau, A. M. Oller-Marcén, I. F. Rúa

Abstract: In this paper we deal with the problem of computing the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ with $d>1$ and $R$ a finite commutative ring. We completely solve the problem in the case $R=\mathbb{Z}/n\mathbb{Z}$ and give some results that compute the value of this sum if $R$ is an arbitrary finite commutative ring $R$ for many values of $k$ and $d$. Final… ▽ More In this paper we deal with the problem of computing the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ with $d>1$ and $R$ a finite commutative ring. We completely solve the problem in the case $R=\mathbb{Z}/n\mathbb{Z}$ and give some results that compute the value of this sum if $R$ is an arbitrary finite commutative ring $R$ for many values of $k$ and $d$. Finally, based on computational evidence and using some technical results proved in the paper we conjecture that the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ is always $0$ unless $d=2$, $\textrm{card}(R) \equiv 2 \pmod 4$, $1<k\equiv -1,0,1 \pmod 6$ and the only element $e\in R \setminus \{0\}$ such that $2e =0$ is idempotent, in which case the sum is $\textrm{diag}(e,e)$. △ Less

Submitted 29 May, 2015; originally announced May 2015.

On the zero divisor graphs of the ring of Lipschitz integers modulo $n$

Authors: Jose Maria Grau, Celino Miquel, Antonio Oller-Marcen

Abstract: This article studies the zero divisor graphs of the ring of Lipschitz integers modulo $n$. In particular we focus on the number of vertices, the diameter and the girth. We also give some results regarding the domination number of these graphs. This article studies the zero divisor graphs of the ring of Lipschitz integers modulo $n$. In particular we focus on the number of vertices, the diameter and the girth. We also give some results regarding the domination number of these graphs. △ Less

Submitted 1 May, 2015; originally announced May 2015.

On the diameter of the commuting graph of the full matrix ring over the real numbers

Authors: Jose Maria Grau, Antonio Oller-Marcen, Carmen Tasis

Abstract: In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $\mathrm{M}_n(\mathbb{R})$ is equal to $4$ either if $n=3$ or $n>4$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is equal to $4$. In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $\mathrm{M}_n(\mathbb{R})$ is equal to $4$ either if $n=3$ or $n>4$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is equal to $4$. △ Less

Submitted 1 December, 2014; originally announced December 2014.

Transversal conics and the existence of limit cycles

Authors: Héctor Giacomini, Maite Grau

Abstract: This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal conics. We present several examples of known systems in the literature showing different features about limit cycles: hyperbolicity, Hopf bifurcation, sky-blue bifurcation, rotated vector field… ▽ More This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal conics. We present several examples of known systems in the literature showing different features about limit cycles: hyperbolicity, Hopf bifurcation, sky-blue bifurcation, rotated vector fields, \ldots for which the obtained Poincaré--Bendixson region allows to locate the limit cycles. Our method gives bounds for the bifurcation values of parametrical families of planar vector fields and intervals of existence of limit cycles. △ Less

Submitted 16 October, 2014; originally announced October 2014.

Comments: 28 pages; 20 figures

MSC Class: 34C05; 34C07; 37C27; 34C25; 34A34

Essential perturbations of polynomial vector fields with a period annulus

Authors: Adriana Buică, Jaume Giné, Maite Grau

Abstract: In this paper we first give the explicit definition of essential perturbation. Secondly, given a perturbation of a particular family of centers of polynomial differential systems of arbitrary degree for which we explicitly know its Poincaré--Liapunov constants, we give the structure of its $k$-th Melnikov function. This result generalizes the result obtained by Chicone and Jacobs for perturbations… ▽ More In this paper we first give the explicit definition of essential perturbation. Secondly, given a perturbation of a particular family of centers of polynomial differential systems of arbitrary degree for which we explicitly know its Poincaré--Liapunov constants, we give the structure of its $k$-th Melnikov function. This result generalizes the result obtained by Chicone and Jacobs for perturbations of degree at most two of any center of a quadratic polynomial system. Moreover we study the essential perturbations for all the centers of the differential systems \[ \dot{x} \, = \, -y + P_{\rm d}(x,y), \quad \dot{y} \, = \, x + Q_{\rm d}(x,y), \] where $P_{\rm d}$ and $Q_{\rm d}$ are homogeneous polynomials of degree ${\rm d}$, for ${\rm d}=2$ and ${\rm d}=3$. △ Less

Submitted 30 June, 2014; originally announced June 2014.

Comments: 25 pages, no figures

MSC Class: 34C23; 37G15; 34C05; 34C25; 34C07

Counting invertible sums of squares modulo $n$ and a new generalization of Euler totient function

Authors: Catalina Calderon, Jose Maria Grau, A. Oller-Marcen, László Tóth

Abstract: In this paper we introduce and study a family $Φ_k$ of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation $\gcd(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and oct… ▽ More In this paper we introduce and study a family $Φ_k$ of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation $\gcd(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and octonions over ${\mathbb{Z}}/n{\mathbb{Z}}$. We prove that $Φ_k$ is multiplicative for every $k$, we obtain an explicit formula for $Φ_k(n)$ in terms of the prime-power decomposition of $n$ and derive an asymptotic formula for $\sum_{n\le x} Φ_k(n)$. As a tool we investigate the multiplicative arithmetic function that counts the number of solutions to $x_1^2+\ldots +x_k^2\equiv λ$ (mod $n$) for $λ$ coprime to $n$, thus extending an old result that dealt only with the prime $n$ case. △ Less

Submitted 25 June, 2014; v1 submitted 31 March, 2014; originally announced March 2014.

On the structure of quaternion rings over $\mathbb{Z}/n \mathbb{Z}$

Authors: Jose Maria Grau, Celino Miquel, Antonio Oller-marcen

Abstract: In this paper we investigate the structure of $\left(\frac{a,b}{\Z{n}}\right)$, the quaternion rings over $\Z{n}$. It is proved that these rings are isomorphic to $\left(\frac{-1,-1}{\Z{n}}\right)$ if $ a \equiv b\equiv -1 \pmod{4}$ or to $\left(\frac{1,1}{\Z{n}}\right)$ otherwise. We also prove that the ring $\left(\frac{a,b}{\Z{n}}\right)$ is isomorphic to $\mathbb{M}_2(\Z{n})$ if and only if… ▽ More In this paper we investigate the structure of $\left(\frac{a,b}{\Z{n}}\right)$, the quaternion rings over $\Z{n}$. It is proved that these rings are isomorphic to $\left(\frac{-1,-1}{\Z{n}}\right)$ if $ a \equiv b\equiv -1 \pmod{4}$ or to $\left(\frac{1,1}{\Z{n}}\right)$ otherwise. We also prove that the ring $\left(\frac{a,b}{\Z{n}}\right)$ is isomorphic to $\mathbb{M}_2(\Z{n})$ if and only if $n$ is odd and that all quaternion algebras defined over $\Z{n}$ are isomorphic if and only if $n \not \equiv 0 \pmod{4}$. △ Less

Submitted 11 February, 2014; v1 submitted 5 February, 2014; originally announced February 2014.

A von Staudt-type formula for $\displaystyle{\sum_{z\in\mathbb{Z}_n[i]} z^k }$

Authors: Pedro Fortuny Ayuso, Jose Maria Grau, Antonio Oller-Marcen

Abstract: In this paper we study the sum of powers in the Gaussian integers $\mathbf{G}_k(n):=\sum_{a,b \in [1,n]} (a+b i)^k$. We give an explicit formula for $\mathbf{G}_k(n) \pmod n $ in terms of the prime numbers $p \equiv 3 \pmod 4$ with $p \mid \mid n$ and $p-1 \mid k$, similar to the well known one due to von Staudt for $\sum_{i=1}^n i^k \pmod n$. We apply this formula to study the set of integers… ▽ More In this paper we study the sum of powers in the Gaussian integers $\mathbf{G}_k(n):=\sum_{a,b \in [1,n]} (a+b i)^k$. We give an explicit formula for $\mathbf{G}_k(n) \pmod n $ in terms of the prime numbers $p \equiv 3 \pmod 4$ with $p \mid \mid n$ and $p-1 \mid k$, similar to the well known one due to von Staudt for $\sum_{i=1}^n i^k \pmod n$. We apply this formula to study the set of integers $n$ which divide $\mathbf{G}_n(n)$ and compute its asymptotic density with six exact digits: $0.971000\ldots$. △ Less

Submitted 4 February, 2014; v1 submitted 3 February, 2014; originally announced February 2014.

Fermat test with gaussian base and Gaussian pseudoprimes

Authors: Jose M. Grau, Manuel Rodríguez, A. Oller-Marcen, Daniel Sadornil

Abstract: The structure of the group $(\mathbb{Z}/n\mathbb{Z})^\star$ and Fermat's little theorem are the basis for some of best-known primality testing algorithms. Many related concepts arise: Euler's totient function and Carmichael's lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer's totient problem, Giuga's conjecture, etc. In this paper, we present and study analogues to some… ▽ More The structure of the group $(\mathbb{Z}/n\mathbb{Z})^\star$ and Fermat's little theorem are the basis for some of best-known primality testing algorithms. Many related concepts arise: Euler's totient function and Carmichael's lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer's totient problem, Giuga's conjecture, etc. In this paper, we present and study analogues to some of the previous concepts arising when we consider the underlying group $\mathcal{G}_n:=\{a+bi\in\mathbb{Z}[i]/n\mathbb{Z}[i] : a^2+b^2\equiv 1\ \textrm{$\pmod n$}\}$. In particular we characterize Gaussian Carmichael numbers via a Korselt's criterion and we present their relation with Gaussian cyclic numbers. Finally, we present the relation between Gaussian Carmichael number and 1-Williams numbers for numbers $n \equiv 3 \pmod{4}$. There are also no known composite numbers less than $10^{18}$ in this family that are both pseudoprime to base $1+2i$ and 2-pseudoprime. △ Less

Submitted 19 January, 2014; originally announced January 2014.

On the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n $. k-strong Giuga and k-Carmichael numbers

Authors: Antonio M. Oller-Marcén, José María Grau

Abstract: In this work we consider the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n$ for each $k \in \mathbb{N}$, thus extending Giuga's ideas for $k=1$. In particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ satisfies this congruence if and only if $n$ is prime or a Giuga Number and $λ(n) \mid k(n-1)$. In passing, we establish new characterizations of Giuga numbers and we study some p… ▽ More In this work we consider the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n$ for each $k \in \mathbb{N}$, thus extending Giuga's ideas for $k=1$. In particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ satisfies this congruence if and only if $n$ is prime or a Giuga Number and $λ(n) \mid k(n-1)$. In passing, we establish new characterizations of Giuga numbers and we study some properties of the numbers $n$ satisfying $λ(n) \mid k(n-1)$. △ Less

Submitted 14 November, 2013; originally announced November 2013.

Comments: arXiv admin note: text overlap with arXiv:1103.3483

On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$

Authors: José María Grau, Antonio M. Oller-Marcén, Jonathan Sondow

Abstract: We show that if the congruence above holds and $n\mid m$, then the quotient $Q:=m/n$ satisfies $\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}$, where $p$ is prime. The only known solutions of the latter congruence are $Q=1$ and the eight known primary pseudoperfect numbers $2,6,42, 1806, 47058, 2214502422, 52495396602,$ and $8490421583559688410706771261086$. Fixing $Q$, we prove that the set of po… ▽ More We show that if the congruence above holds and $n\mid m$, then the quotient $Q:=m/n$ satisfies $\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}$, where $p$ is prime. The only known solutions of the latter congruence are $Q=1$ and the eight known primary pseudoperfect numbers $2,6,42, 1806, 47058, 2214502422, 52495396602,$ and $8490421583559688410706771261086$. Fixing $Q$, we prove that the set of positive integers $n$ satisfying the congruence in the title, with $m=Q n$, is empty in case $Q=52495396602$, and in the other eight cases has an asymptotic density between bounds in $(0,1)$ that we provide. △ Less

Submitted 29 May, 2014; v1 submitted 30 September, 2013; originally announced September 2013.

Comments: 13 pages, 1 table; introduced proofs of Lemma 5 and Theorem 5; notational changes ($\mathfrak{M}_Q\to \mathfrak{N}_Q$) and some typos corrected

MSC Class: 11B99; 11A99; 11A07

Journal ref: Monatshefte für Mathematik 177 (2015) 421-436

About the congruence $\sum_{k=1}^n k^{f(n)} \equiv 0 \textrm{(mod n)} $

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In this paper we characterize, in terms of the prime divisors of $n$, the pairs $(k,n)$ for which $n$ divides $\sum_{j=1}^n j^{k}$. As an application, we study the sets $\mathcal{M}_f :=\{n: n \textrm{divides} \sum_{j=1}^n j^{f(n)} \}$ for some choices of $f$. In this paper we characterize, in terms of the prime divisors of $n$, the pairs $(k,n)$ for which $n$ divides $\sum_{j=1}^n j^{k}$. As an application, we study the sets $\mathcal{M}_f :=\{n: n \textrm{divides} \sum_{j=1}^n j^{f(n)} \}$ for some choices of $f$. △ Less

Submitted 9 April, 2013; originally announced April 2013.

On the last digit and the last non-zero digit of $n^n$ in base $b$

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In this paper we study the sequences defined by the last and the last non-zero digits of $n^n$ in base $b$. For the sequence given by the last digits of $n^n$ in base $b$, we prove its periodicity using different techniques than those used by W. Sierpinski and R. Hampel. In the case of the sequence given by the last non-zero digits of $n^n$ in base $b$ (which had been studied only for $b=10$) we s… ▽ More In this paper we study the sequences defined by the last and the last non-zero digits of $n^n$ in base $b$. For the sequence given by the last digits of $n^n$ in base $b$, we prove its periodicity using different techniques than those used by W. Sierpinski and R. Hampel. In the case of the sequence given by the last non-zero digits of $n^n$ in base $b$ (which had been studied only for $b=10$) we show the non-periodicity of the sequence when $b$ is an odd prime power and when it is even and square-free. We also show that if $b=2^{2^s}$ the sequence is periodic and conjecture that this is the only such case. △ Less

Submitted 19 March, 2012; originally announced March 2012.

MSC Class: 11B50

Corrigendum to "Cullen numbers with the Lehmer Property"

Authors: José María Grau, Florian Luca

Abstract: In this note, we correct an oversight from the paper mentioned in the title. In this note, we correct an oversight from the paper mentioned in the title. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Cullen Numbers with the Lehmer Property

Authors: Jose Maria Grau, Florian Luca

Abstract: Here, we show that there is no positive integer $n$ such that the $n$th Cullen number $C_n=n2^n+1$ has the property that it is composite but $φ(C_n)\mid C_n-1$. Here, we show that there is no positive integer $n$ such that the $n$th Cullen number $C_n=n2^n+1$ has the property that it is composite but $φ(C_n)\mid C_n-1$. △ Less

Submitted 18 March, 2011; originally announced March 2011.

Generalizing Giuga's conjecture

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In 1950 G. Giuga studied the congruence $\sum_{j=1}^{n-1} j^{n-1} \equiv -1$ (mod $n$) and conjectured that it was only satisfied by prime numbers. In this work we generalize Giuga's ideas considering, for each $k \in \mathbb{N}$, the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1$ (mod $n$). It particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ (with composite $n$) satisfies the cong… ▽ More In 1950 G. Giuga studied the congruence $\sum_{j=1}^{n-1} j^{n-1} \equiv -1$ (mod $n$) and conjectured that it was only satisfied by prime numbers. In this work we generalize Giuga's ideas considering, for each $k \in \mathbb{N}$, the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1$ (mod $n$). It particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ (with composite $n$) satisfies the congruence if and only if $n$ is a Giuga Number and $ λ(n)/\gcd(λ(n),n-1)$ divides $k$. In passing, we establish some new characterizations of Giuga Numbers. △ Less

Submitted 17 March, 2011; originally announced March 2011.

MSC Class: 11B99; 11A99; 11A07

On a variant of Giuga numbers

Authors: Jose Maria Grau, Florian Luca, Antonio M. Oller-Marcen

Abstract: In this paper, we characterize the odd positive integers $n$ satisfying the congruence $\sum_{j=1} ^ {n-1} j^{\frac{n-1}{2}}\equiv 0 \pmod n$. We show that the set of such positive integers has an asymptotic density which turns out to be slightly larger than 3/8. In this paper, we characterize the odd positive integers $n$ satisfying the congruence $\sum_{j=1} ^ {n-1} j^{\frac{n-1}{2}}\equiv 0 \pmod n$. We show that the set of such positive integers has an asymptotic density which turns out to be slightly larger than 3/8. △ Less

Submitted 17 March, 2011; originally announced March 2011.

Comments: 14 pages

Giuga Numbers and the arithmetic derivative

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: We characterize Giuga Numbers as solutions to the equation $n'=an+1$, with $a \in \mathbb{N}$ and $n'$ being the arithmetic derivative. Although this fact does not refute Lava's conjecture, it brings doubts about its veracity. We characterize Giuga Numbers as solutions to the equation $n'=an+1$, with $a \in \mathbb{N}$ and $n'$ being the arithmetic derivative. Although this fact does not refute Lava's conjecture, it brings doubts about its veracity. △ Less

Submitted 11 March, 2011; originally announced March 2011.

MSC Class: 11A99; 11B99

On $k$-Lehmer numbers

Authors: Antonio M. Oller-Marcén, José María Grau

Abstract: Lehmer's totient problem consists of determining the set of positive integers $n$ such that $\varphi(n)|n-1$ where $\varphi$ is Euler's totient function. In this paper we introduce the concept of $k$-Lehmer number. A $k$-Lehmer number is a composite number such that $\varphi(n)|(n-1)^k$. The relation between $k$-Lehmer numbers and Carmichael numbers leads to a new characterization of Carmichael nu… ▽ More Lehmer's totient problem consists of determining the set of positive integers $n$ such that $\varphi(n)|n-1$ where $\varphi$ is Euler's totient function. In this paper we introduce the concept of $k$-Lehmer number. A $k$-Lehmer number is a composite number such that $\varphi(n)|(n-1)^k$. The relation between $k$-Lehmer numbers and Carmichael numbers leads to a new characterization of Carmichael numbers and to some conjectures related to the distribution of Carmichael numbers which are also $k$-Lehmer numbers. △ Less

Submitted 22 March, 2012; v1 submitted 10 December, 2010; originally announced December 2010.

MSC Class: 11A25; 11B99

A primality test for $Kp^n+1$ numbers

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In this paper we generalize the classical Proth's theorem for integers of the form $N=Kp^n+1$. For these families, we present a primality test whose computational complexity is $\widetilde{O}(\log^2(N))$ and, what is more important, that requires only one modular exponentiation similar to that of Fermat's test. Consequently, the presented test improves the most often used one, derived from Pocklin… ▽ More In this paper we generalize the classical Proth's theorem for integers of the form $N=Kp^n+1$. For these families, we present a primality test whose computational complexity is $\widetilde{O}(\log^2(N))$ and, what is more important, that requires only one modular exponentiation similar to that of Fermat's test. Consequently, the presented test improves the most often used one, derived from Pocklington's theorem, which usually requires the computation of several modular exponentiations together with some GCD's. △ Less

Submitted 26 April, 2011; v1 submitted 22 November, 2010; originally announced November 2010.

MSC Class: 11Y11; 11Y16; 11A51; 11B99

An $\tilde{O}(\log^2(N))$ time primality test for Generalized Cullen Numbers

Authors: Jose Maria Grau, Antonio M. Oller-Marcen

Abstract: Generalized Cullen Numbers are positive integers of the form $C_b(n):=nb^n+1$. In this work we generalize some known divisibility properties of Cullen Numbers and present two primality tests for this family of integers. The first test is based in the following property of primes from this family: $n^{b^{n}}\equiv (-1)^{b}$ (mod $nb^n+1$). It is stronger and has less computational cost than Fermat'… ▽ More Generalized Cullen Numbers are positive integers of the form $C_b(n):=nb^n+1$. In this work we generalize some known divisibility properties of Cullen Numbers and present two primality tests for this family of integers. The first test is based in the following property of primes from this family: $n^{b^{n}}\equiv (-1)^{b}$ (mod $nb^n+1$). It is stronger and has less computational cost than Fermat's test (for bases $b$ and $n$) and than Miller-Rabin's test (for base $n$). Pseudoprimes for this new test seem to be very scarce, only 4 pseudoprimes have been found among the many millions of Generalized Cullen Numbers tested. We also present a second, more demanding, test for wich no pseudoprimes have been found. This test leads to a "quasi-deterministic" test, running in $\tilde{O}(\log^2(N))$ time, which might be very useful in the search of Generalized Cullen Primes. △ Less

Submitted 6 July, 2010; originally announced July 2010.

On the base $b$ expansion of the number of trailing zeroes of $b^k!$

Authors: Antonio M. Oller-Marcen, Jose Maria Grau

Abstract: Let us denote by $Z_{b}(n)$ the number of trailing zeroes in the base b expansion of $n!$. In this paper we study the connection between the expression of $\vartheta(b):=\lim_{n\to \infty}Z_{b}(n)/n$ in base $b$, and that of $Z_{b}(b^{k})$. In particular, if $b$ is a prime power, we will show the equality between the $k$ digits of $Z_{b}(b^{k})$ and the first $k$ digits in the fractional part… ▽ More Let us denote by $Z_{b}(n)$ the number of trailing zeroes in the base b expansion of $n!$. In this paper we study the connection between the expression of $\vartheta(b):=\lim_{n\to \infty}Z_{b}(n)/n$ in base $b$, and that of $Z_{b}(b^{k})$. In particular, if $b$ is a prime power, we will show the equality between the $k$ digits of $Z_{b}(b^{k})$ and the first $k$ digits in the fractional part of $\vartheta (b)$. In the general case we will see that this equality still holds except for, at most, the last $\lfloor \log_{b}(k) +3\rfloor $ digits. We finally show that this bound can be improved if $b$ is square-free and present some conjectures about this bound. △ Less

Submitted 22 February, 2010; originally announced February 2010.

MSC Class: 11B65

Weierstrass integrability of differential equations

Authors: Jaume Giné, Maite Grau

Abstract: The integrability problem consists in finding the class of functions a first integral of a given planar polynomial differential system must belong to. We recall the characterization of systems which admit an elementary or Liouvillian first integral. We define {\it Weierstrass integrability} and we determine which Weierstrass integrable systems are Liouvillian integrable. Inside this new class of… ▽ More The integrability problem consists in finding the class of functions a first integral of a given planar polynomial differential system must belong to. We recall the characterization of systems which admit an elementary or Liouvillian first integral. We define {\it Weierstrass integrability} and we determine which Weierstrass integrable systems are Liouvillian integrable. Inside this new class of integrable systems there are non--Liouvillian integrable systems. △ Less

Submitted 1 September, 2009; originally announced September 2009.

Comments: 6 pages, no figures

MSC Class: 34C05; 34C23; 37G15

A survey on the inverse integrating factor

Authors: Isaac A. García, Maite Grau

Abstract: The relation between limit cycles of planar differential systems and the inverse integrating factor was first shown in an article of Giacomini, Llibre and Viano appeared in 1996. From that moment on, many research articles are devoted to the study of the properties of the inverse integrating factor and its relation with limit cycles and their bifurcations. This paper is a summary of all the resu… ▽ More The relation between limit cycles of planar differential systems and the inverse integrating factor was first shown in an article of Giacomini, Llibre and Viano appeared in 1996. From that moment on, many research articles are devoted to the study of the properties of the inverse integrating factor and its relation with limit cycles and their bifurcations. This paper is a summary of all the results about this topic. We include a list of references together with the corresponding related results aiming at being as much exhaustive as possible. The paper is, nonetheless, self-contained in such a way that all the main results on the inverse integrating factor are stated and a complete overview of the subject is given. Each section contains a different issue to which the inverse integrating factor plays a role: the integrability problem, relation with Lie symmetries, the center problem, vanishing set of an inverse integrating factor, bifurcation of limit cycles from either a period annulus or from a monodromic $ω$-limit set and some generalizations. △ Less

Submitted 5 March, 2009; originally announced March 2009.

MSC Class: 34C07; 37G15; 34-02

Generalized Hopf Bifurcation for planar vector fields via the inverse integrating factor

Authors: Isaac A. Garcia, Hector Giacomini, Maite Grau

Abstract: In this paper we study the maximum number of limit cycles that can bifurcate from a focus singular point $p_0$ of an analytic, autonomous differential system in the real plane under an analytic perturbation. We consider $p_0$ being a focus singular point of the following three types: non-degenerate, degenerate without characteristic directions and nilpotent. In a neighborhood of $p_0$ the differ… ▽ More In this paper we study the maximum number of limit cycles that can bifurcate from a focus singular point $p_0$ of an analytic, autonomous differential system in the real plane under an analytic perturbation. We consider $p_0$ being a focus singular point of the following three types: non-degenerate, degenerate without characteristic directions and nilpotent. In a neighborhood of $p_0$ the differential system can always be brought, by means of a change to (generalized) polar coordinates $(r, θ)$, to an equation over a cylinder in which the singular point $p_0$ corresponds to a limit cycle $γ_0$. This equation over the cylinder always has an inverse integrating factor which is smooth and non--flat in $r$ in a neighborhood of $γ_0$. We define the notion of vanishing multiplicity of the inverse integrating factor over $γ_0$. This vanishing multiplicity determines the maximum number of limit cycles that bifurcate from the singular point $p_0$ in the non-degenerate case and a lower bound for the cyclicity otherwise. Moreover, we prove the existence of an inverse integrating factor in a neighborhood of many types of singular points, namely for the three types of focus considered in the previous paragraph and for any isolated singular point with at least one non-zero eigenvalue. △ Less

Submitted 4 February, 2009; originally announced February 2009.

Comments: 41 pages, no figures

MSC Class: 37G15; 37G10; 34C07

Bifurcation of critical periods from Pleshkan's isochrones

Authors: Maite Grau, Jordi Villadelprat

Abstract: Pleshkan proved in 1969 that, up to a linear transformation and a constant rescaling of time, there are four isochrones in the family of cubic centers with homogeneous nonlinearities $\mathscr C_3.$ In this paper we prove that if we perturb any of these isochrones inside $\mathscr C_3,$ then at most two critical periods bifurcate from its period annulus. Moreover we show that, for each… ▽ More Pleshkan proved in 1969 that, up to a linear transformation and a constant rescaling of time, there are four isochrones in the family of cubic centers with homogeneous nonlinearities $\mathscr C_3.$ In this paper we prove that if we perturb any of these isochrones inside $\mathscr C_3,$ then at most two critical periods bifurcate from its period annulus. Moreover we show that, for each $k=0,1,2,$ there are perturbations giving rise to exactly $k$ critical periods. As a byproduct, we obtain a partial result for the analogous problem in the family of quadratic centers $\mathscr C_2.$ Loud proved in 1964 that, up to a linear transformation and a constant rescaling of time, there are four isochrones in $\mathscr C_2.$ We prove that if we perturb three of them inside $\mathscr C_2,$ then at most one critical period bifurcates from its period annulus. In addition, for each $k=0,1,$ we show that there are perturbations giving rise to exactly $k$ critical periods. The quadratic isochronous center that we do not consider displays some peculiarities that are discussed at the end of the paper. △ Less

Submitted 14 November, 2008; originally announced November 2008.

Comments: 18 pages, 1 figure

A Chebyshev criterion for Abelian integrals

Authors: Maite Grau, Francesc Mañosas, Jordi Villadelprat

Abstract: We present a criterion that provides an easy sufficient condition in order that a collection of Abelian integrals has the Chebyshev property. This condition involves the functions in the integrand of the Abelian integrals and can be checked, in many cases, in a purely algebraic way. By using this criterion, several known results are obtained in a shorter way and some new results, which could not… ▽ More We present a criterion that provides an easy sufficient condition in order that a collection of Abelian integrals has the Chebyshev property. This condition involves the functions in the integrand of the Abelian integrals and can be checked, in many cases, in a purely algebraic way. By using this criterion, several known results are obtained in a shorter way and some new results, which could not be tackled by the known standard methods, can also be deduced. △ Less

Submitted 9 May, 2008; v1 submitted 8 May, 2008; originally announced May 2008.

Comments: 17 pages, 1 figure

MSC Class: 34C08; 41A50; 34C23

Linearizable ordinary differential equations

Authors: Hector Giacomini, Jaume Gine, Maite Grau

Abstract: Our purpose in this paper is to study when a planar differential system polynomial in one variable linearizes in the sense that it has an inverse integrating factor which can be constructed by means of the solutions of linear differential equations. We give several families of differential systems which illustrate how the integrability of the system passes through the solutions of a linear diffe… ▽ More Our purpose in this paper is to study when a planar differential system polynomial in one variable linearizes in the sense that it has an inverse integrating factor which can be constructed by means of the solutions of linear differential equations. We give several families of differential systems which illustrate how the integrability of the system passes through the solutions of a linear differential equation. At the end of the work, we describe some families of differential systems which are Darboux integrable and whose inverse integrating factor is constructed using the solutions of a second--order linear differential equation defining a family of orthogonal polynomials. △ Less

Submitted 26 October, 2007; originally announced October 2007.

Comments: 25 pages, no figures

MSC Class: 14H05; 34A05; 34A34

The inverse integrating factor and the Poincaré map

Authors: Isaac A. Garcia, Hector Giacomini, Maite Grau

Abstract: This work is concerned with planar real analytic differential systems with an analytic inverse integrating factor defined in a neighborhood of a regular orbit. We show that the inverse integrating factor defines an ordinary differential equation for the transition map along the orbit. When the regular orbit is a limit cycle, we can determine its associated Poincaré return map in terms of the inv… ▽ More This work is concerned with planar real analytic differential systems with an analytic inverse integrating factor defined in a neighborhood of a regular orbit. We show that the inverse integrating factor defines an ordinary differential equation for the transition map along the orbit. When the regular orbit is a limit cycle, we can determine its associated Poincaré return map in terms of the inverse integrating factor. In particular, we show that the multiplicity of a limit cycle coincides with the vanishing multiplicity of an inverse integrating factor over it. We also apply this result to study the homoclinic loop bifurcation. We only consider homoclinic loops whose critical point is a hyperbolic saddle and whose Poincaré return map is not the identity. A local analysis of the inverse integrating factor in a neighborhood of the saddle allows us to determine the cyclicity of this polycycle in terms of the vanishing multiplicity of an inverse integrating factor over it. Our result also applies in the particular case in which the saddle of the homoclinic loop is linearizable, that is, the case in which a bound for the cyclicity of this graphic cannot be determined through an algebraic method. △ Less

Submitted 17 October, 2007; originally announced October 2007.

Comments: 27 pages, no figures

MSC Class: 37G15; 37G20; 34C05

Journal ref: Trans. Amer. Math. Soc., 362 (2010), 3591-3612.

On the cyclicity of weight-homogeneous centers

Authors: Lubomir Gavrilov, Jaume Gine, Maite Grau

Abstract: Let W be a weight-homogeneous planar polynomial differential system with a center. We find an upper bound of the number of limit cycles which bifurcate from the period annulus of W under a generic polynomial perturbation. We apply this result to a particular family of planar polynomial systems having a nilpotent center without meromorphic first integral. Let W be a weight-homogeneous planar polynomial differential system with a center. We find an upper bound of the number of limit cycles which bifurcate from the period annulus of W under a generic polynomial perturbation. We apply this result to a particular family of planar polynomial systems having a nilpotent center without meromorphic first integral. △ Less

Submitted 14 March, 2009; v1 submitted 15 June, 2007; originally announced June 2007.

Comments: 13 pages, no figures

MSC Class: 34C07; 34C05; 34C14

Journal ref: J. Differential Equations 246 (2009) 3126-3135

On the stability of periodic orbits for differential systems in $\mathbb{R}^n$

Authors: Armengol Gasull, Hector Giacomini, Maite Grau

Abstract: We consider an autonomous differential system in $\mathbb{R}^n$ with a periodic orbit and we give a new method for computing the characteristic multipliers associated to it. Our method works when the periodic orbit is given by the transversal intersection of $n-1$ codimension one hypersurfaces and is an alternative to the use of the first order variational equations. We apply it to study the sta… ▽ More We consider an autonomous differential system in $\mathbb{R}^n$ with a periodic orbit and we give a new method for computing the characteristic multipliers associated to it. Our method works when the periodic orbit is given by the transversal intersection of $n-1$ codimension one hypersurfaces and is an alternative to the use of the first order variational equations. We apply it to study the stability of the periodic orbits in several examples, including a periodic solution found by Steklov studying the rigid body dynamics. △ Less

Submitted 5 October, 2006; v1 submitted 4 October, 2006; originally announced October 2006.

Comments: 19 pages, no figures

MSC Class: 34D08; 37D05; 70E50

A note on "Relaxation Oscillators with Exact Limit Cycles"

Authors: Jaume Giné, Maite Grau

Abstract: In this note we give a family of planar polynomial differential systems with a prescribed hyperbolic limit cycle. This family constitutes a corrected and wider version of an example given in the work of M.A. Abdelkader entitled ``Relaxation Oscillators with Exact Limit Cycles'', which appeared in J. Math. Anal. Appl. 218 (1998), 308--312. The result given in this note may be used to construct mo… ▽ More In this note we give a family of planar polynomial differential systems with a prescribed hyperbolic limit cycle. This family constitutes a corrected and wider version of an example given in the work of M.A. Abdelkader entitled ``Relaxation Oscillators with Exact Limit Cycles'', which appeared in J. Math. Anal. Appl. 218 (1998), 308--312. The result given in this note may be used to construct models of Liénard differential equations exhibiting a desired limit cycle. △ Less

Submitted 15 June, 2005; originally announced June 2005.

Comments: 8 pages, no figures

MSC Class: 34A05; 34C07

Journal ref: J. Math. Anal. Appl. 324 (2006), no. 1, 739--745

The role of algebraic solutions in planar polynomial differential systems

Authors: Héctor Giacomini, Jaume Giné, Maite Grau

Abstract: We study a planar polynomial differential system, given by \dot{x}=P(x,y), \dot{y}=Q(x,y). We consider a function I(x,y)=\exp \{h_2(x) A_1(x,y) \diagup A_0(x,y) \} h_1(x) \prod_{i=1}^{\ell} (y-g_i(x))^{α_i}, where g_i(x) are algebraic functions, A_1(x,y)=\prod_{k=1}^r (y-a_k(x)), A_0(x,y)=\prod_{j=1}^s (y-\tilde{g}_j(x)) with a_k(x) and \tilde{g}_j(x) algebraic functions, A_0 and A_1 do not shar… ▽ More We study a planar polynomial differential system, given by \dot{x}=P(x,y), \dot{y}=Q(x,y). We consider a function I(x,y)=\exp \{h_2(x) A_1(x,y) \diagup A_0(x,y) \} h_1(x) \prod_{i=1}^{\ell} (y-g_i(x))^{α_i}, where g_i(x) are algebraic functions, A_1(x,y)=\prod_{k=1}^r (y-a_k(x)), A_0(x,y)=\prod_{j=1}^s (y-\tilde{g}_j(x)) with a_k(x) and \tilde{g}_j(x) algebraic functions, A_0 and A_1 do not share any common factor, h_2(x) is a rational function, h(x) and h_1(x) are functions with a rational logarithmic derivative and α_i are complex numbers. We show that if I(x,y) is a first integral or an integrating factor, then I(x,y) is a Darboux function. In order to prove this result, we show that if g(x) is such that there exists an irreducible polynomial f(x,y) with f(x,g(x)) \equiv 0, then f(x,y)=0 is an invariant algebraic curve of the system. In relation with this fact, we give some characteristics related to particular solutions and functions of the form I(x,y) such as the structure of their cofactor. Moreover, we consider a function of the form Φ(x,y):= \exp \{h_2(x) A_1(x,y) / A_0 (x,y) \}. We show that if the derivative of Φ(x,y) with respect to the flow is well defined over A_0(x,y)=0 then Φ(x,y) gives rise to an exponential factor. △ Less

Submitted 2 June, 2005; originally announced June 2005.

Comments: 28 pages, no figures

MSC Class: 14H05; 34A05; 34A34

Journal ref: Math. Proc. Cambridge Philos. Soc. 143 (2007), no. 2, 487--508

Integrability of planar polynomial differential systems through linear differential equations

Authors: Héctor Giacomini, Jaume Giné, Maite Grau

Abstract: In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can be expressed from two independent solutions of a second-order homogeneous linear differential equation. This first integral is, in general, given by a non Li… ▽ More In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can be expressed from two independent solutions of a second-order homogeneous linear differential equation. This first integral is, in general, given by a non Liouvillian function. We show that all the known families of quadratic systems with an irreducible invariant algebraic curve of arbitrarily high degree and without a rational first integral can be constructed by using this method. We also present a new example of this kind of families. We give an analogous method for constructing rational equations but by means of a linear differential equation of first order. △ Less

Submitted 2 June, 2005; originally announced June 2005.

Comments: 24 pages, no figures

MSC Class: 34A05; 34C05; 34C20

Journal ref: Rocky Mountain J. Math. 36 (2006), no. 2, 457--486

On the stability of limit cycles for planar differential systems

Authors: Hector Giacomini, Maite Grau

Abstract: We consider a planar differential system $\dot{x}= P(x,y)$, $\dot{y} = Q(x,y)$, where $P$ and $Q$ are $\mathcal{C}^1$ functions in some open set $\mathcal{U} \subseteq \mathbb{R}^2$, and $\dot{}=\frac{d}{dt}$. Let $γ$ be a periodic orbit of the system in $\mathcal{U}$. Let $f(x,y): \mathcal{U} \subseteq \mathbb{R}^2 \to \mathbb{R}$ be a $\mathcal{C}^1$ function such that \[ P(x,y) \frac{\partial… ▽ More We consider a planar differential system $\dot{x}= P(x,y)$, $\dot{y} = Q(x,y)$, where $P$ and $Q$ are $\mathcal{C}^1$ functions in some open set $\mathcal{U} \subseteq \mathbb{R}^2$, and $\dot{}=\frac{d}{dt}$. Let $γ$ be a periodic orbit of the system in $\mathcal{U}$. Let $f(x,y): \mathcal{U} \subseteq \mathbb{R}^2 \to \mathbb{R}$ be a $\mathcal{C}^1$ function such that \[ P(x,y) \frac{\partial f}{\partial x}(x,y) + Q(x,y) \frac{\partial f}{\partial y} (x,y) = k(x,y) f(x,y), \] where $k(x,y)$ is a $\mathcal{C}^1$ function in $\mathcal{U}$ and $γ\subseteq \{(x,y) | f(x,y) = 0\}$. We assume that if $p \in \mathcal{U}$ is such that $f(p)=0$ and $\nabla f(p)=0$, then $p$ is a singular point. We prove that $\int_{0}^{T} (\frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y})(γ(t)) dt= \int_0^{T} k(γ(t)) dt$, where $T>0$ is the period of $γ$. As an application, we take profit from this equality to show the hyperbolicity of the known algebraic limit cycles of quadratic systems. △ Less

Submitted 2 May, 2005; originally announced May 2005.

Comments: 22 pages, no figures

MSC Class: 34C05; 34C07; 34D20

Journal ref: J. Differential Equations 213 (2005) 368 -- 388