Dynamics of the equation complex plane

Similar documents
Research Article Global Attractivity of a Higher-Order Difference Equation

On the Dynamics of a Rational Difference Equation, Part 1

arxiv: v1 [math.ds] 29 Feb 2016

Global Attractivity of a Higher-Order Nonlinear Difference Equation

Research Article Global Dynamics of a Competitive System of Rational Difference Equations in the Plane

A note on the unique solution of linear complementarity problem

Convergence and Oscillation in a Rational Fourth Order Difference Equation

DYNAMICS AND BEHAVIOR OF HIGHER ORDER AND NONLINEAR RATIONAL DIFFERENCE EQUATION

Nonhyperbolic Dynamics for Competitive Systems in the Plane and Global Period-doubling Bifurcations

Global Behavior of a Higher Order Rational Difference Equation

On the complex k-fibonacci numbers

Research Article On Boundedness of Solutions of the Difference Equation x n 1 px n qx n 1 / 1 x n for q>1 p>1

Periodicity and Solution of Rational Recurrence Relation of Order Six

The plastic number and its generalized polynomial

The Invariant Curve in a Planar System of Difference Equations

Review Article Solution and Attractivity for a Rational Recursive Sequence

The Fibonacci sequence modulo π, chaos and some rational recursive equations

Global Asymptotic Stability of a Nonlinear Recursive Sequence

Finding the strong defining hyperplanes of production possibility set with constant returns to scale using the linear independent vectors

Dynamics of a Rational Recursive Sequence

M.ARCIERO, G.LADAS AND S.W.SCHULTZ

Unboundedness Results for Rational Difference Equations

Matrix l-algebras over l-fields

Graded fuzzy topological spaces

Some aspects on hesitant fuzzy soft set

Double domination in signed graphs

STABILITY OF THE kth ORDER LYNESS EQUATION WITH A PERIOD-k COEFFICIENT

A System of Difference Equations with Solutions Associated to Fibonacci Numbers

On a mixed interpolation with integral conditions at arbitrary nodes

edrymoni.aspx M.Sc. in Mathematics, University of Rhode Island, May 2009.

Intermediate Algebra. Gregg Waterman Oregon Institute of Technology

Global Attractivity in a Higher Order Nonlinear Difference Equation

INVARIANT CURVES AND FOCAL POINTS IN A LYNESS ITERATIVE PROCESS

MCMULLEN S ROOT-FINDING ALGORITHM FOR CUBIC POLYNOMIALS

Alternate Locations of Equilibrium Points and Poles in Complex Rational Differential Equations

Global dynamics of two systems of exponential difference equations by Lyapunov function

Intermediate Algebra. Gregg Waterman Oregon Institute of Technology

Global Behavior of Nonlinear Difference Equations of Higher Order with Applications

MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points.

Qualitative Theory of Differential Equations and Dynamics of Quadratic Rational Functions

Intermediate Algebra. Gregg Waterman Oregon Institute of Technology

Autonomous systems. Ordinary differential equations which do not contain the independent variable explicitly are said to be autonomous.

On Universality of Transition to Chaos Scenario in Nonlinear Systems of Ordinary Differential Equations of Shilnikov s Type

The stable equilibrium of a system of piecewise linear difference equations

Monotone and oscillatory solutions of a rational difference equation containing quadratic terms

Research Article Asymptotic Behavior of the Solutions of System of Difference Equations of Exponential Form

ON THE RATIONAL RECURSIVE SEQUENCE X N+1 = γx N K + (AX N + BX N K ) / (CX N DX N K ) Communicated by Mohammad Asadzadeh. 1.

EE222 - Spring 16 - Lecture 2 Notes 1

Mathematical Foundations of Neuroscience - Lecture 7. Bifurcations II.

Research Article Global Attractivity and Periodic Character of Difference Equation of Order Four

On new structure of N-topology

Derivation, f-derivation and generalized derivation of KUS-algebras

The Pattern Recognition System Using the Fractal Dimension of Chaos Theory

ON THE RECURSIVE SEQUENCE x n+1 = A x n. 1. Introduction Our aim in this paper is to establish that every positive solution of the equation

Global Attractivity in a Nonlinear Difference Equation and Applications to a Biological Model

On the periodic logistic equation

If one wants to study iterations of functions or mappings,

CHAOTIC UNIMODAL AND BIMODAL MAPS

Some Mathematics of Integral Value Transformations (IVTs) and it s Research scope

Bifurcations of Some Planar Discrete Dynamical Systems with Applications

Global Attractivity of a Rational Difference Equation

ONE DIMENSIONAL CHAOTIC DYNAMICAL SYSTEMS

Global Dynamics and Bifurcations of Two Quadratic Fractional Second Order Difference Equations

Research Article Global Stability and Oscillation of a Discrete Annual Plants Model

On weak Γ-(semi)hypergroups

Local and Global Dynamics of Certain Second-Order Rational Difference Equations Containing Quadratic Terms

ON THE GLOBAL ATTRACTIVITY AND THE PERIODIC CHARACTER OF A RECURSIVE SEQUENCE. E.M. Elsayed

Stability of Dynamical systems

Global Attractivity, Oscillations and Chaos in A Class of Nonlinear, Second Order Difference Equations

Introduction to Applied Nonlinear Dynamical Systems and Chaos

Research Article Exact Solutions of φ 4 Equation Using Lie Symmetry Approach along with the Simplest Equation and Exp-Function Methods

Co-existence of Regular and Chaotic Motions in the Gaussian Map

Zoology of Fatou sets

Global Attractivity in a Higher Order Difference Equation with Applications

Petrović s inequality on coordinates and related results

MATH 415, WEEKS 14 & 15: 1 Recurrence Relations / Difference Equations

Iterations of sum of powers of digits

Global Stability Analysis on a Predator-Prey Model with Omnivores

Attractivity of the Recursive Sequence x n+1 = (α βx n 1 )F (x n )

Invariants for Some Rational Recursive Sequences with Periodic Coefficients

Effect of protein shape on multibody interactions between membrane inclusions

Bounded Infinite Sequences/Functions : Orders of Infinity

Dynamics of Modified Leslie-Gower Predator-Prey Model with Predator Harvesting

Chaos in the Dynamics of the Family of Mappings f c (x) = x 2 x + c

A MINIMAL 2-D QUADRATIC MAP WITH QUASI-PERIODIC ROUTE TO CHAOS

Bifurcation control and chaos in a linear impulsive system

Are numerical studies of long term dynamics conclusive: the case of the Hénon map

CHAPTER 2: Polynomial and Rational Functions

On the Weak Convergence of the Extragradient Method for Solving Pseudo-Monotone Variational Inequalities

B5.6 Nonlinear Systems

April 13, We now extend the structure of the horseshoe to more general kinds of invariant. x (v) λ n v.

Nonlinear least squares algorithm for identification of hazards

The Existence of Chaos in the Lorenz System

Fundamentals of Dynamical Systems / Discrete-Time Models. Dr. Dylan McNamara people.uncw.edu/ mcnamarad

Nonlinear System Analysis

MULTISTABILITY IN A BUTTERFLY FLOW

Research Article Dynamics of a Rational System of Difference Equations in the Plane

ON A DIFFERENCE EQUATION WITH MIN-MAX RESPONSE

Research Article Localization and Perturbations of Roots to Systems of Polynomial Equations

A review on graceful and sequential integer additive set-labeled graphs

Transcription:

APPLIED & INTERDISCIPLINARY MATHEMATICS RESEARCH ARTICLE Dynamics of the equation in the complex plane Sk. Sarif Hassan 1 and Esha Chatterjee * Received: 0 April 015 Accepted: 08 November 015 Published: 15 December 015 *Corresponding author: Esha Chatterjee, Department of Mathematics, Indian Institute of Science, Bengaluru, Karnataka 56001, India E-mail: esha@math.iisc.ernet.in Reviewing editor: Thanh Tran, University of New South Wales, Australia Additional information is available at the end of the article Abstract: We investigate the dynamics of the second-order rational difference equation in the title with complex parameters and arbitrary complex initial conditions. Very little is known about rational difference equation in the complex domain. The solutions of such equation exhibit many rich and complicated asymptotic characters. Analysis of the local stability of the equilibria and periodicity of solutions has been carried out. We further exhibit several interesting characteristics of the solutions of this equation, using computations, which do not arise when we consider the same equation with positive real parameters and initial conditions. We pose several open problems and conjectures of paramount importance regarding boundedness and global asymptotic convergence. It is our belief that the analysis done here is generic in nature and can be helpful in the study of other difference equations in the complex domain. Subjects: Applied Mathematics; Dynamical Systems; Mathematics & Statistics; Non-Linear Systems; Science Keywords: difference equation; local asymptotic stability; periodicity; boundedness; orbit plot AMS subject classifications: 39A10; 39A11 ABOUT THE AUTHORS Sk. Sarif Hassan is a visiting fellow in the International Centre for Theoretical Sciences of Tata Institute of Fundamental Research, Bengaluru, India. He has graduated from the Indian Statistical Institute, Calcutta. He is interested in Fractals, Cellular Automata, Mathematical Morphology and Discrete Dynamical Systems. Esha Chatterjee is a scientist in the Department of Mathematics at Indian Institute of Science, Bengaluru, India. She has received her PhD from University of Rhode Island, USA and has been an assistant professor in Mathematics at Bryant University, USA. She works in the contemporary area of Nonlinear Difference Equations of higher orders and their applications. Her research involves the mathematical analysis of the global asymptotic stability, periodicity, boundedness character, etc of the solutions of non-linear difference equation of order more than one. She also works on difference equation models arising in the real world in various fields like biology, epidemiology, and finance among others. PUBLIC INTEREST STATEMENT Dynamics of non-linear difference equation is a contemporary area of mathematical research. Very little is known so far about these equations in the complex domain. They demonstrate rich and complicated dynamics. In this paper, we investigate the behavior of the solution sequences of a second-order rational difference equation. We assume the parameters to be complex valued and the initial values to be arbitrary complex numbers such that the equation exists. We have attempted to capture some of the interesting features of this equation both by theoretical analysis and by computations. Further, we have compared the dynamics in the complex domain with that of positive real domain which was studied earlier. Based on many computer observations and fundamental analysis we have also posed several open problems and conjectures. This paper is one of the preliminary attempts to study the dynamics of such rational systems in the complex domain. 015 The Author(s). This open access article is distributed under a Creative Commons Attribution (CC-BY) 4.0 license. Page 1 of 1

1. Introduction and preliminaries Consider the difference equation z n+1 = α + βz n A + z n 1, n = 0, 1, (1) where the parameters α, β and A are complex numbers, and the initial conditions z 1 and are arbitrary complex numbers. Since we are interested in studying a non-linear equation in the complex domain, without loss of generality we have assumed the coefficient of the z n 1 term in the denominator to be one. When the parameters and initial conditions are non-negative real numbers, Equation (1) was investigated in Kulenović and Ladas (001) and Kocic and Ladas (1993) where the global asymptotic stability of the positive equilibrium was proved for certain ranges of the parameters (see Chatterjee, 013 for more general results). The set of initial conditions z 1, C for which the solution of Equation (1) is well defined for all n 0 is called the good set of initial conditions or the domain of definition. It is the compliment of the forbidden set of Equation (1) for which the solution is not well defined for some n 0. See Grove, Kostrov, and Schultz (009) for the definition and further work on obtaining the forbidden set for the first-order Riccati difference equation. However, for the second- and higher order rational difference equations, the lack of an explicit form for the solutions, makes it very challenging to obtain the good set. For Equation (1), we pose the following open problem of paramount importance and difficulty. Open Problem 1.1 Determine the good set of initial conditions for Equation (1). Our goal is to investigate the character of the solutions of Equation (1) when the parameters are real or complex and the initial conditions are arbitrary complex numbers in the domain of definition. For the rest of the sequel we assume that the initial conditions are from the good set. To avoid degenerate cases, we assume α + β 0. For the remainder of this paper, we also assume A 0. Then, with a change of variables p = α and q = β, without loss of generality Equation A A (1) reduces to the equation z n+1 = p + qz n 1 + z n 1, n = 0, 1, () where the parameters p and q are complex numbers. We now present some preliminary material which will be useful in our investigation of Equation (). Let f : J +1 J be a continuous function, where is a non-negative integer and J is an interval of complex numbers. Consider the difference equation y n+1 = f (y n, y n 1,, y n ), n = 0, 1, (3) with initial conditions y, y +1,, y 0 J. We say that ȳ is an equilibrium point of Equation (3) if f (ȳ, ȳ,, ȳ) =ȳ. We now impose the further restriction that the function f (u 0, u 1,, u ) be continuously differentiable. Page of 1

The linearized equation of Equation (3) about the equilibrium ȳ is the linear difference equation z n+1 = a 0 z n + a 1 z n 1 + + a z n, where for each i = 0, 1,, a i = f u i (ȳ, ȳ,, ȳ). n = 0, 1, (4) The characteristic equation of Equation (4) is the equation λ +1 a 0 λ a 1 λ 1 a 1 λ a = 0. (5) The following result, called the Linearized Stability Theorem, is useful in determining the local stability character of the equilibrium ȳ of Equation (3). Theorem A (The Linearized Stability Theorem) The following statements are true: (1) If every root of Equation (5) has modulus less than one, then the equilibrium ȳ of Equation (3) is locally asymptotically stable. () If at least one of the roots of Equation (5) has modulus greater than one, then the equilibrium ȳ of Equation (3) is unstable. The equilibrium solution ȳ of Equation (3) is called hyperbolic if no root of Equation (5) has modulus equal to one. If there exists a root of Equation (5) with modulus equal to one, then ȳ is called non-hyperbolic. The equilibrium point ȳ of Equation (3) is called a sink if every root of Equation (5) has modulus greater than one. The equilibrium point ȳ of Equation (3) is called a saddle point equilibrium if it is hyperbolic, and if in addition, there exists a root of Equation (5) with modulus less than one and another root of Equation (5) with modulus greater than one. In particular, if ȳ is a saddle point equilibrium of Equation (3), then ȳ is unstable. The equilibrium point ȳ of Equation (3) is called a repeller if every root of Equation (5) has absolute value less than one. The following theorem is useful in determining when all roots of a polynomial equation of degree two have modulus less than one. It will provide necessary and sufficient conditions for local asymptotic stability of the equilibria. Theorem B A necessary and sufficient condition that all roots of the quadratic equation with real coefficients λ + a 1 λ + a 0 = 0 lie in the open disk λ < 1 is a 1 < a 0 + 1 <.. Local stability of the equilibrium In this section, we investigate the local stability character of the equilibria of Equation (). Here, we assume p and q to be non-negative real numbers. When the parameters are complex, the analysis is beyond the scope of this article and we leave it as an open problem. Page 3 of 1

The equilibrium points of Equation () are the solutions of the equation z = p + q z 1 + z. Equation () has two equilibria points z 1, = q 1 ± (q 1) + 4p. The linearized equation of Equation () with respect to the equilibrium z 1 is Y n+1 q Y 1 + z n + z 1 Y 1 1 + z n 1 = 0, n = 0, 1,, 1 with associated characteristic equation λ q λ + z 1 = 0. 1 + z 1 1 + z 1 The following lemma gives the local asymptotic stability of the equilibrium z 1. Lemma.1 The equilibrium z 1 = q 1+ (q 1) +4p of Equation () is locally asymptotically stable for all values of the parameters. Proof From Theorem B we obtain the necessary and sufficient condition for all roots of the characteristic equation to lie within the open unit disk to be q < 1 + z 1 <. 1 + z 1 1 + z 1 Note that z 1 is positive and also z 1 > q 1. Thus, the above condition is satisfied for all values of the positive real parameters p and q. The proof is complete. The linearized equation of Equation () with respect to the equilibrium z is Y n+1 q Y 1 + z n + z Y 1 + z n 1 = 0, n = 0, 1,, with associated characteristic equation λ q λ + z = 0. 1 + z 1 + z The following lemma gives the necessary and sufficient condition for the local asymptotic stability of the equilibrium z. We assume p and q such that z 1 for the existence of linearized equation. Lemma. The equilibrium z = q 1 (q 1) +4p of Equation () is locally asymptotically stable if and only if 3q + q 4p 1 < 0. Proof From Theorem B, we obtain the necessary and sufficient condition for all roots of the characteristic equation to lie within the open unit disk to be Page 4 of 1

q < 1 + z <. 1 + z 1 + z Note that z is non-positive and also z < q 1. The second half of the inequality is satisfied for all p and q. Thus, it is enough to show q < 1 + z. This simplifies to the condition 1+ z 1+ z (1 + q) z > Substituting the value of z we obtain the necessary and sufficient condition to be 3q + q 4p 1 < 0. The proof is complete. Open Problem.1 When the parameters p and q are complex, find the necessary and sufficient conditions for the local asymptotic stability of the equilibrium when it exists. 3. Periodicities of solutions In this section, we discuss the global periodicity and the existence of solutions that converge to periodic solutions of Equation (). A difference equation is said to be globally periodic of period t if x n+t = x n for any given initial condition. The characterization of periodic rational difference equations (either with real or complex coefficients) of order k is a challenging area of current research. See Camouzis and Ladas (008) and Kulenović and Ladas (001) for several periodicity results of second- and third-order rational difference equations, respectively, with non-negative real coefficients and arbitrary non-negative real initial conditions. The following result gives the necessary conditions for global periodicity of Equation (). The proof is a direct consequence of Theorem 1 in Rubió-Massegú and Mañosa (007) and thus we omit it. Theorem 3.1 If Equation () is globally periodic of period p then p q. Moreover setting λ: = 1 + q δ 1 + q + δ, a: = 1 q + δ 1 + q + δ where δ: = (1 + q) + 4(p q). It must be satisfied that 0 < λ < 1 (or λ = 1 and Im(λ) 0), and it must hold one of the following four cases: (1) a = 1, λ 1, p is even and λ p = 1. In this case the equation is a globally periodic Möbius-generated equation of period p. () a = 3 5, λ = 3 5. In this case, the equation is a globally periodic of period 5, and affine conjugated with the Lyness-type equation. (3) λ = 1, a ±1, ( a) p = 1, a 4a+1 a a+1 and the zeros of polynomial P(z) =z + a 4a+1 z + a a+ a a+1 a a+1 are p-roots of the unity. (4) λ = ā 1 a,0< a < 1, 1 1 1 ā a <, a R and the zeros of polynomial P (z) 0 =z + 1 ā z + a 1 ā ā ā 1 a and P 1 (z) =z (1 a)z + 1 a are p-roots of the unity. 1 ā Page 5 of 1

Apart from globally periodic equations, rational difference equation also exhibits the existence of periodic solutions and solutions that eventually converge to a periodic solution. See Camouzis and Ladas (008) for many such examples of second- and third-order rational difference equations with non-negative real parameters and initial conditions. Further in the complex domain, these equations are even more richer in periodic solutions. Equation () has exhibited the existence of periodic solutions and convergence to periodic solutions of numerous possible periods. Some of the many periodicities observed computationally are reported in Table 1 with some of the time series plots shown in Figure 1. Note that, in all the tables the parameters and initial conditions are represented as (a, b) where a is the real part and b is the imaginary part of the complex numbers. Also note that, in all the figures henceforth the green plot designates real part, while the blue plot designates the imaginary part of the orbit. Table 1. Periodicity of orbits of Equation () Period (68, 117) ( 68, 117) (44, 151) (51, 101) ( 159, 0) ( 19, 0) (131, 7) (170, 187) 3 ( 141, 0) ( 6, 0) (55, 9) (19, 165) 4 ( 07, 01) ( 94, 95) (178, 5) (98, 33) 6 ( 139, 0) ( 63, 0) (190, 6) (88, 76) 6 (, 156) (, 156) (78, 48) (81, 19) 7 (140, 179) ( 140, 179) (19, 109) (7, 30) 8 (36, 363) (50, 366) (53, 39) (111, 19) 9 ( 05, 00) ( 101, 101) (35, 5) (00, 34) 1 Figure 1. Periodic orbit plot for Equation (). Notes: Top left:period-4, Top right: Period-6, Bottom left: Period-9 and Bottom right: Period-1). Here in each figure plot, the x- axis represents number of iterations and y-axis represents the trajectory at a given time instance. Page 6 of 1

It is interesting to note that Equation () with positive parameters and initial conditions has been long conjectured to have the equilibrium globally asymptotically stable for all values of parameters (see Kulenović & Ladas, 001). Thus, in this case Equation () does not possess any periodic solutions. 4. Some special cases of the parameters In this section, we observe the behavior of the solutions of Equation () when we consider first the two parameters p and q to be both real, in order to gain some understanding in the simplest model. Then, we consider one parameter to be real, while the other to be complex. We will generalize the result with means of computational outputs. We first establish the local stability character of the equilibria of Equation () for the simplified case when the parameter p is any positive real number and q = 1. The equilibrium points of Equation () reduce to z 1, =± p The linearized equation of Equation () with respect to the equilibrium z 1 = p is Y n+1 1 1 + p Y n + p 1 + p Y n 1 = 0, n = 0, 1,, with associated characteristic equation λ 1 p 1 + p λ + 1 + p = 0. The following lemma is a direct consequence of Theorem B and hence we omit the proof. Lemma 4.1 The equilibrium z 1 = p of Equation () is locally asymptotically stable. The linearized equation of Equation () with respect to the other equilibrium z 1 = p is 1 Y n+1 1 p Y + p n 1 p Y n 1 = 0, n = 0, 1,, with associated characteristic equation λ 1 1 p λ + p 1 p = 0. Note that for existence of solutions in this case p 1. The following lemma is a direct consequence of Theorem B and so the proof is omitted. Lemma 4. The equilibrium z = p of Equation () is locally asymptotically stable for p > 1 and unstable saddle if p < 1. Computationally, it is seen that for all real parameter p and q = 1, the solutions of Equation () are convergent and converge to a neighborhood Nbd(q, ε) of q, as illustrated in Table for few examples. Note that in all the tables henceforth by convergent point we mean the computational approximation, which is certainly very close to the actual convergence point of the solution sequence. Page 7 of 1

Open Problem 4.1 Show that when the parameter p is any real number and parameter q = 1, every solution of Equation () is convergent. Determine the point of convergence. Furthermore, it is observed that for all real valued p and q, the solution sequences are convergent and converge to Nbd(q, ε), as illustrated in Table 3 for few examples. For complex-valued p and realvalued q, it is seen that the solution sequences are convergent and converge to (Nbd(q, ε), s), where s is a real number as illustrated in Table 4 for certain examples. In the case of real-valued p and complex-valued q,there exist solution sequences which are convergent and converge to (Nbd(q, ε), s) where s is a real number as shown in Table 5 for certain examples. However, in this case chaos and higher order periodicities are also observed. Although the tables demonstrate only a few examples, we have broadly and meticulously carried out many computations for the different values of the parameters. Based on the numerous computer observations we make the following surprising remark. Remark 4.1 It appears from orbit plots, there exist solutions of Equation () with parameters p and q real as well as complex and complex initial conditions, that converge to a value whose real part is within an ε-neighborhood, of the parameter q where ε is a non-negative real number. Thus, the parameter q seems to be a determining factor of the point of convergence. 5. Dynamic features in the complex plane When we consider Equation () with complex parameters and initial conditions, the equation exhibits a variety of characteristics such us global convergence, boundedness, existence of periodic solutions, convergence to periodic solutions as well as "chaos". By extensive computations, we have observed that all solutions of Equation () with complex parameter values and arbitrary complex initial conditions, are bounded. Even in the region where we Table. q = 1 and p is any real number Convergent point (48, 0) (1, 0) (139, 73) (479, 483) (1.0013, 0.171) (78, 0) (1, 0) (486, 479) (43, 400) (1.0007, 0.1607) (71, 0) (1, 0) (11, 458) (396, 480) (1.0007, 0.158) (38, 0) (1, 0) (17, 45) (467, 340) (1.0036, 0.7693) (379, 0) (1, 0) (37, 196) (38, 85) (1.0199, 1.984) (353, 0) (1, 0) (15, 138) (3, 48) (1.0377,.550) (41, 0) (1, 0) (348, 158) (476, 17) (1.0335,.6008) (19, 0) (1, 0) (191, 383) (398, 93) (1.0030 0.5691) Table 3. p and q are any real number Convergent Point (395, 0) (475, 0) (65, 134) (88, 167) (474.84, 0.043865) (385, 0) (83, 0) (173, 198) (103, 177) (83.551, 1.900) (94, 0) (77, 0) (40, 81) (150, 165) (78.339, 1.3673) (395, 0) (159, 0) (107, 18) (, 7) (160.44, 0.16098) (340, 0) (48, 0) (38, 99) (9, 11) (48.3, 0.1657) (46, 0) (80, 0) (186, 40) (117, 163) (80.4, 0.0689) (440, 0) (495, 0) (0, 173) (13, 198) (494.90, 0.034494) (41, 0) (313, 0) (13, 146) (179, 197) (31.9, 0.334) Page 8 of 1

Table 4. p is complex number and q is real number Convergent point (408, 18) (63, 0) (183, 17) (19, 55) (65.40, 1.5480) (73, 19) (483, 0) (31, 195) (19, 97) (48.76, 0.49194) (400, 8) (11, 0) (184, 159) (19, 131) (11.63, 0.34183) (17, 170) (467, 0) (136, 15) (149, 78) (466.4, 0.6135) (38, 34) (353, 0) (6, 55) (9, 19) (35.97, 0.1003) (41, 139) (158, 0) (190, 6) (88, 76) (160.59, 0.75716) (383, 159) (93, 0) (98, 89) (19, 14) (95.446, 0.608) (480, 68) (93, 0) (44, 151) (51, 101) (93.60, 0.074866) Table 5. p is real number and q is any complex number Convergent Point (93, 0) (131, 8) (151, 48) (88, 138) (13.06, 7.558) (179, 0) (368, 79) (137, 141) (88, 3) (367.48, 78.984) (165, 0) (1, 54) (39, 165) (86, 178) (11.74, 53.948) (195, 0) (385, 79) (16, 151) (75, 43) (384.50, 78.990) have observed "chaos", boundedness holds. This is in agreement with the case of positive real parameters and initial conditions where the boundedness criterion was demonstrated (see Kulenović & Ladas, 001). However, the proof in the real case does not generalize to the complex case. Hence we pose the following conjecture on boundedness which is of significant importance. Conjecture 5.1 Every solution of Equation () is bounded. One of the important goals in the study of non-linear difference equation is to obtain the bounds on the parameters for which the equilibrium will be a global attractor. Although we conjecture that all solutions of Equation () are bounded, obtaining the parametric region for global asymptotic stability is still a significant challenge. Hence we pose the following open problem of paramount importance. Open Problem 5.1 Obtain necessary and sufficient conditions in terms of the parameters p and q of Equation () for which the solutions will be globally asymptotically stable. One of our main goals is to compare how the dynamics of Equation () changes as we shift from the positive real domain to the complex domain. Although the theoretical analysis is extremely challenging, we have done extensive computations to gain some understanding. Based on these numerous simulations, we now report some observations that are essentially unique features of Equation () in the complex domain that were not present in the positive real domain. 5.1. Rapid convergence of iterates There are many examples in case of p and q both complex numbers, where it is seen that the sequences are convergent to a ε-neighborhood (Nbd(q, ε)) of the parameter q all on a sudden while previous iterates are highly non-monotonous. A few examples are illustrated in Table 6 and corresponding plots of the iterates are given in Figure. This is a peculiar behavior observed only in the case of complex domain. Page 9 of 1

5.. Chaos We have observed "chaos" for several values of the parameters. Some of the examples are tabulated in Table 7 along with the computed box counting dimensions of the orbit plots. The chaotic sequence plots are given in Figure 3. Equation () in the positive real domain did not exhibit "chaos". In fact, it is interesting to note that, none of the 49 second-order rational difference equations with positive real parameters and initial conditions had exhibited chaos (see Kulenović & Ladas, 001). This naturally leads to the following open problem. Open Problem 5. Obtain necessary and sufficient conditions in terms of the parameters of Equation () for which the solution exhibits chaotic dynamics. Table 6. Rapid convergence of solutions of Equation () Convergent point (19, 19) (97, 97) (160, 8) (84, 184) (97.638, 98.144) ( 19, 19) ( 97, 97) (160, 8) (84, 184) ( 96.35, 95.813) ( 10, 191) ( 95, 94) (160, 8) (84, 184) ( 94.155, 9.705) ( 196, 196) ( 9, 93) (160, 8) (84, 184) ( 91.7, 91.633) ( 09, 03) ( 98, 100) (160, 8) (84, 184) ( 97.4, 98.704) ( 03, 197) ( 98, 100) (160, 8) (84, 184) ( 97.65, 98.778) ( 195, 04) ( 104, 103) (160, 8) (84, 184) ( 103.45, 101.89) ( 196, 197) ( 96, 101) (160, 8) (84, 184) ( 95.303, 99.775) ( 09, 198) ( 101, 94) (160, 8) (84, 184) ( 100.7, 9.745) Figure. Rapid convergence behavior of iterates. Note: In each figure plot, the x-axis represents number of iterations and y-axis represents the trajectory at a given time instance. Page 10 of 1

Table 7. Chaos Fractal dimension ( 197, 199) ( 103, 103) (1, 80) (105, 83) 1.8779 ( 197, 0) ( 93, 101) (160, 8) (84, 184) 1.8905 (19, 19) (97, 97) (160, 8) (84, 184) 1.89333 (153, 153) (159, 159 (37, 98) (89, 19) 1.86099 (14, 151) (14, 151) (55, 136) (131, 3) 1.917 ( 141, 0) (6, 0) (55, 9) (19, 165) 1.83609 6. Conclusion Non-linear difference equation in both real and complex domain is an established dynamic area of research. However, the study of rational difference equations is still in its infancy. The first-order Riccati difference equation, for which the solution could be obtained explicitly, has been studied both in the real and complex domains (see Grove, Kostrov, & Schultz, 009; Kulenović & Ladas, 001). Second- and third-order rational difference equations with positive real parameters and initial Figure 3. Chaotic behavior of sequence. Notes: In each figure plot, the x-axis represents number of iterations and y-axis represents the trajectory at a given time instance. Page 11 of 1

conditions have also been studied extensively (see Camouzis, Chatterjee, Ladas & Quinn, 004, 005; Camouzis & Ladas, 008). When we consider the parameters and initial conditions to be complex, there is hardly anything known about rational difference equation. Our curiosity drove us to study this basic second-order rational difference equation in the complex domain. From many computer observations, we noticed as expected the richness and complexity of the dynamics. Our main purpose behind this manuscript is to probe and analyze how the dynamics changes for rational equations when we shift from positive real domain to the complex domain. We have carried out some local stability and global periodicity analysis. We have observed computationally the different characteristics of boundedness, convergence, convergence to periodic solutions, and chaos. Each one of these characteristics of the dynamics is important in their own right and we have posed them as challenging open problems which require further theoretical investigations. Further, certain peculiar behavior of the dynamics in the complex domain has been brought forward which is in stark contrast to the positive real scenario. The work carried out is generic in nature and can be helpful toward the study of other rational difference equations of second and higher orders. It is our belief that this work would initiate the study and understanding of rational difference equations in the complex plane. Funding Esha Chatterjee s work is supported by DST (India) [grant D.O. number SR/FTP/MS-013/011]. Also supported in part by UGC (India). Author details Sk. Sarif Hassan 1 E-mail: sarif.hassan@icts.res.in Esha Chatterjee E-mail: esha@math.iisc.ernet.in 1 International Centre for Theoretical Sciences, Bengaluru, Karnataka 56001, India. Department of MathematicsIndian Institute of Science, Bengaluru, Karnataka 56001, India. Citation information Cite this article as: Dynamics of the equation in the complex plane, Sk. Sarif Hassan & Esha Chatterjee, Cogent Mathematics (015), : 1176. References Camouzis, E., Chatterjee, E., Ladas, G., & Quinn, E. P. (004). On third order rational difference equations Open problems and conjectures. Journal of Difference Equations and Applications, 10, 1119 117. Camouzis, E., Chatterjee, E., Ladas, G., & Quinn, E. P. (005). The progress report on boundedness character of third order rational equations. Journal of Difference Equations and Applications, 11, 109 1035. Camouzis, E., & Ladas, G. (008). Dynamics of third order rational difference equations; with open problems and conjectures. Boca Raton, FL: Chapman & Hall/CRC Press. Chatterjee, E. (013). On the global character of the solutions of. International Journal of AppliedMathematics, 6, 9 18. Grove, E. A., Kostrov, Y., & Schultz, S. W. (009, March). On Riccati difference equations with complex coefficients. In Proceedings of the 14th International Conference on Difference Equations and Applications. Istanbul. Kocic, V. L., & Ladas, G. (1993). Global behaviour of nonlinear difference equations of higher order with applications. Dordrecht: Kluwer Academic. Kulenović, M. R. S., & Ladas, G. (001). Dynamics of second order rational difference equations; with open problems and conjectures. Boca Raton, FL: Chapman & Hall/CRC Press. Rubió-Massegú, J., & Mañosa, V. (007). Normal forms for rational difference equations with applications to the global periodicity problem. Journal of Mathematical Analysis and Applications, 33, 896 918. 015 The Author(s). This open access article is distributed under a Creative Commons Attribution (CC-BY) 4.0 license. You are free to: Share copy and redistribute the material in any medium or format Adapt remix, transform, and build upon the material for any purpose, even commercially. The licensor cannot revoke these freedoms as long as you follow the license terms. Under the following terms: Attribution You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. No additional restrictions You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits. Page 1 of 1