Dynamics of Julia Sets in Rational Maps

Control and Synchronization with Complex Perturbations, Guided by DR. Santanu Nandi

Abhirup Moitra , Roll No- E1773U23004

Persuing M.Sc.Mathematics with Data Science, Institute of Mathematics & Application, Bhubaneswar, Odisha

Abstract

This paper investigates the dynamics and fractal properties of complex perturbed rational maps defined by the iterative formula \(z_{n+1} = \frac{1}{2} \left( z_n + \frac{\lambda}{z_n^q} \right)\). It explores the intricate behaviors of Julia sets, emphasizing their geometric and topological features, which reflect the balance between stability and chaos in complex systems. A central focus is the application of the optimal control function method to manipulate Julia sets by treating infinity as a controllable fixed point, thereby stabilizing and shaping their dynamics. Additionally, the paper examines synchronization between Julia sets of distinct systems by incorporating a driving term into the control function, enabling coordinated behaviors. These findings illuminate the interplay between control, synchronization, and fractal geometry, providing insights into complex dynamics and opening pathways for future research in nonlinear systems.

Research Objectives

  • Study the Dynamics of Julia Sets:

    • Analyze the boundary between stability and chaos in perturbed rational maps.
  • Implement Control Mechanisms:

    • Develop and apply an optimal control function to regulate the dynamics of Julia sets.
  • Investigate the Synchronization of Julia Sets:

    • Explore coupling mechanisms to align fractal structures of systems with different parameters.
  • Visualize Fractal Dynamics:

    • Use computational methods, including the escape-time algorithm, to generate and interpret fractal images.
  • Provide Insights into Chaotic Systems:

    • Demonstrate how control and synchronization techniques impact the behavior of complex dynamical systems.

Julia Set in Complex System

The Dynamics of Julia Set

Fractals are widely studied for their ability to model complex phenomena, and Julia sets are prominent fractal structures in complex dynamics. These sets are defined as the closure of repelling periodic points of rational maps. For a rational map \(R(z) = \frac{P(z)}{Q(z)}\), where \(P\) and \(Q\) are polynomials with \(\text{deg}(P) > \text{deg}(Q)\), infinity acts as a fixed point, and the Julia set is the boundary of the basin of attraction of infinity. The system \(z_{n+1} = \frac{1}{2}\left(z_n + \frac{\lambda}{z_n^q}\right)\), studied here, introduces poles at the origin, transforming the dynamics significantly.

A rational map \(R(z) = \frac{P(z)}{Q(z)}​, \text{where}\; P(z)\; \text {and}\; Q(z)\) are polynomials, forms the basis for studying Julia sets. The degree of \(R(z)\) is defined as \(\max(\deg(P), \deg(Q))\). Julia sets are fractal structures and are defined as:

\[ J(R) = \{z \in \mathbb{C} \mid \text{the family } \{R^n(z)\}_{n \geq 1} \text{ is not normal in the sense of Montel}\}. \]

Equivalently, \(J(R)\) is the closure of the set of repelling periodic points of \(R(z)\). For \(R(z)\), if \(|z| \to \infty\), then \(|R(z)| \to \infty\), making infinity a fixed point. The Julia set \(J(R)\) forms the boundary of the basin of attraction of this fixed point.

Proposition

If infinity is an attracting fixed point of \(R\), then there exists \(S > 0\) such that \(|z| > S\) implies \(|R(z)| > |z|\) and \(|R^n(z)| → \infty\) as \(n→\infty\), for all \(z\) satisfying \(|z| > S.\)

A Julia set \(J(R)\) is a fractal that serves as the boundary between:

  1. Points in the complex plane that exhibit stable, predictable dynamics under a rational map \(R(z)\).

  2. Points that diverge to infinity or exhibit chaotic behavior.

In a physical context:

  • Julia sets often represent systems that alternate between stable and chaotic regimes.

  • They serve as models for phase transitions, where the boundary represents critical points between phases.

  • In fields like optics, Julia sets help describe patterns in nonlinear systems, such as wave front distortions or light propagation through media

Dynamics of the Perturbed Rational Map

  1. Perturbed Rational Map:

    \[ z_{n+1} = z_n^q + c + \frac{\lambda}{z_n^p} \hspace{1 cm} ...(1) \]

    where:

    • \(q\) controls the degree of the polynomial term.

    • \(\displaystyle \dfrac{\lambda} {z_n^p}\)​ introduces a singularity (pole) at the origin.

  2. Impact of \(\lambda\):

    • For \(\lambda =0\), the map reduces to the classical form \(z_{n+1} = z_n^q + c\), a polynomial.

    • For \(\lambda \neq 0\), the pole dramatically changes the system’s dynamics, increasing the map’s degree to \(p+q\) and altering the structure of Julia and Mandelbrot sets.

  3. Special Cases:

    • When \(c = 0\), the study explores how adding a pole affects the Julia set, transforming it from the unit circle (for \(\lambda = 0\) ) to a more complex fractal structure.

The complex perturbed rational map studied is \(z_{n+1} = \frac{1}{2} \left( z_n + \frac{\lambda}{z_n^q} \right),\) where \(q \geq 1\), \(\lambda \in \mathbb{C}\), and \(z \in \mathbb{C}\). Key features include:

  • \(z_{n+1}\)​ contains poles at the origin, altering the dynamics of classical Julia sets.

  • When \(\lambda = 0\), the system reduces to a polynomial map of degree \(q+1\).

This map generalizes rational maps \(R(z) = \frac{P(z)}{Q(z)},\) where \(P(z)\) and \(Q(z)\) are polynomials, by introducing a pole at the origin. This perturbation significantly alters the dynamics and the structure of the Julia sets associated with the map.

In rational maps, fixed points satisfy \(R(z)=z\). The stability of these fixed points depends on the derivative \(R'(z)\):

  • Attracting: \(R'(z)<1\),

  • Repelling: \(R'(z)>1\),

  • Neutral: \(R'(z)=1\).

In this work, infinity acts as a fixed point, and its behavior is analyzed through escape criteria and control mechanisms.

Control of Julia Set of the Complex Perturbed Rational System

Control Map & Optimal Control Function

A control parameter \(k\) is introduced to modify the dynamics of the map. The controlled map is defined as:

\[ g(z) = f(z) - k \cdot (f(z) - z) \]

Interpretation:

  1. Base Map Contribution: The term \(f(z)\) represents the original rational Julia map.

  2. Feedback Control: The term \(k \cdot (f(z) - z)\) acts as a damping factor. The control parameter \(k\) (with \(0 \leq k \leq 1\)) adjusts the extent to which the new value depends on the previous iteration.

When \(k=0\), \(g(z) = f(z)\), recovering the original Julia map. When \(k=1\), the map becomes stationary.

The base system is:

\[ z_{n+1} = f_{\lambda, q}(z_n) = \frac{1}{2} \left(z_n + \frac{\lambda}{z_n^q}\right) \hspace{1 cm} ...(2) \]

which can also be written as:

\[f_{\lambda, q}(z) = \frac{z^{q+1} + \lambda}{2z^q}.\]

This is a rational map where:

  • The numerator \(P(z) = z^{q+1} + \lambda\),

  • The denominator \(Q(z) = 2z^q\).

To control the dynamics, a nonlinear control term \(u_n\) is introduced:

\[ u_n = -k[f_{\lambda, q}(z_n) - z_n]. \]

The controlled system becomes:

\[ z_{n+1} = f_{\lambda, q}(z_n) + u_n \]

or equivalently:

\[ z_{n+1} = f_{\lambda, q}(z_n) - k[f_{\lambda, q}(z_n) - z_n] \]

Figure 1: Julia set, q = 2, \(\lambda = 0.073i\)

Substitute \(f_{\lambda, q}(z_n) = \frac{1}{2} \left(z_n + \frac{\lambda}{z_n^q}\right)\) into the controlled system:

\[ z_{n+1} = \frac{1}{2} \cdot \left(z_n + \frac{\lambda}{z_n^q}\right) - k \cdot \left[\frac{1}{2} \cdot \left(z_n + \frac{\lambda}{z_n^q}\right) - z_n\right] \hspace{1.5 cm} ...(3) \]

This is a concise symbolic representation called controlled rational map, and we define this following way:

\[\boxed{ R(z)=\frac{(1+k) z_n^{q+1} + \lambda (1-k)}{2 z_n^q}}\]

  • Fixed Points: The fixed points are solutions of \(R(z)=z\), which reduce to solving:

    \[ \frac{(1+k) z^{q+1} + (1-k)\lambda}{2z^q} = z \]

    Rearrange:

    \[ (1+k) z^{q+1} + (1-k)\lambda = 2z^{q+1} \]

    Factorize:

    \[ (1+k - 2)z^{q+1} = -(1-k)\lambda \]

  • Attracting Fixed Point: If \(∣1+k∣>2\), infinity becomes an attracting fixed point.

That’s how we can write:

\[ |R(z)| > |z| \quad \text{for} \quad |z| > M \]

where \(M\) is a threshold beyond which iterates escape to infinity. Using bounds, the escape criterion simplifies to:

\[ |R(z)| = \left|\frac{(1+k) z^{q+1} + (1-k)\lambda}{2z^q}\right| > |z| \]

  • The control parameter \(k\) influences the structure of the Julia set.

  • As \(∣1+k∣>2\), infinity becomes an attracting fixed point, shrinking the Julia set.

  • The escape criterion ensures iterates either escape to infinity or remain bounded within the Julia set boundary.

Optimal Control Function

The control function modifies the system to regulate its fractal properties. For the perturbed rational map: \(z_{n+1} = R(z_n) + u_n, \; u_{n+1} = -k[R(z_{n+1}) - R(z_n)] + t u_n,\) where \(u_n\)​ introduces feedback to stabilize desired behaviors.

Key results include:

  • With \(t=k\), the controlled system simplifies to: \(z_{n+1} = R(z_n) - k[R(z_n) - z_n].\)

  • This introduces a parameter \(k\) that governs the structure and behavior of the Julia set.

  1. Iterative Function:

    \[z_{n+1} = z_n^q + c + \frac{\lambda}{z_n^p}\]​where:

    • \(p,q \in \mathbb{Z}^+\), are positive integers.

    • \(\lambda, c \in \mathbb{C}\) are complex parameters.

    • \(z_n \in \mathbb{C}\) is the iterated sequence.

  2. Boundedness Criterion:

    • A point \(z_0\)​ in the complex plane belongs to the filled Julia set if its orbit \(\{z_0, z_1, z_2, \dots\}\) remains bounded under iteration.

    • For practical purposes, we compute boundedness using an escape radius \(R\):

      • If \(|z_n| > R\), the point escapes to infinity.

      • Otherwise, it is bounded.

  3. Key Parameters:

    • \(q\): Controls the growth of the polynomial term.

    • \(\lambda\): Perturbation parameter that introduces singularities at the origin.

    • \(p\): Governs the strength of the singularity.

    • \(c\): Determines the central point of the hyperbolic component in the Mandelbrot set.

Mathematical Framework for Visualization

The study relies on the escape-time algorithm to visualize Julia sets:

  1. Initialize a grid of points in the complex plane.

  2. Iterate each point under the map \(z_{n+1} = R(z_n)\).

  3. Assign colors based on the number of iterations required to escape a bounded region.

This technique provides insights into the influence of control parameters \(k\) and synchronization mechanisms on the fractal structure.

Steps:

  1. Initialize Grid:

    • Define a grid of points in the complex plane \(z_0\)​, e.g., \(x, y \in [-2, 2]\).
  2. Iterative Mapping:

    • For each \(z_0\)​, compute its orbit:

      \[ z_{n+1} = z_n^q + c + \frac{\lambda}{z_n^p} \]

  3. Escape-Time Calculation:

    • Track the number of iterations \(n\) required for \(|z_n|\) to exceed a given escape radius \(R\).

    • Assign a colour to \(z_0\)​ based on \(n\) (e.g., gradient or palette).

  4. Edge Cases:

    • Points where \(z_n\)​ diverges rapidly (\(|z_n| \to \infty\)) are coloured differently.

    • Points that remain bounded ( \(|z_n| \leq R\) after the maximum iteration) are typically coloured black (belong to the Julia set).

Figure 2: Julia Set of k = 0.6
Figure 3: Julia Set of k = 0.4

Synchronization of Julia Sets of the Complex System

A Descriptive Approach Synchronization of Julia Sets

This phenomenon arises in the study of coupled systems, particularly in complex dynamics, where multiple Julia sets, associated with different parameters, exhibit coordinated behavior. Synchronization involves aligning the trajectories and fractal properties of two systems:

Driving System:
\[w_{n+1} = \frac{1}{2} \left( w_n + \frac{\mu}{w_n^p} \right) \text{with parameters}\; p, \mu. \hspace{1 cm} ...(4)\]

Response System:
\[z_{n+1} = R(z_n) - k[R(z_n) - R(w_n)]\]

Synchronization is achieved when the trajectory difference: \(|z_{n+1} - w_{n+1}| \to 0, \text{as}\; k \to 1.\)

Coupling Mechanism

The response system incorporates a coupling term to align its dynamics with the driving system:

\[ w_{n+1} = f(w_n, \lambda_1, q_1) \]

\[ z_{n+1} = f(z_n, \lambda_2, q_2) - k \cdot \left(f(z_n, \lambda_2, q_2) - f(w_n, \lambda_1, q_1)\right) \]

where \(k\) is a control parameter. The coupling ensures that the trajectory of \(z_n\)​ (response) gradually approaches \(w_n\)​ (driving). Over time, the Julia sets of the two systems synchronize, exhibiting identical or nearly identical fractal structures.

Why Synchronization Works

Synchronization is feasible because:

  • Both systems originate from the same functional framework.

  • Differences are limited to parameter variations (\(\lambda\) , \(q\)).

  • The coupling mechanism effectively bridges the gap created by these parameter differences, aligning the trajectories and fractal properties.

Figure 4: Synchronization of Julia Set
Figure 5: Synchronization of Julia Set

The equation provided is:

\[ z_{n+1} = \frac{1}{2} \left( z_n + \frac{\lambda}{z_n^q} \right) - k \left[ \frac{1}{2} \left( z_n + \frac{\lambda}{z_n^q} \right) - \frac{1}{2} \left( w_n + \frac{\mu}{w_n^p} \right) \right] \hspace{1 cm} ...(5) \]

where:

  • \(z_n\): Represents the primary iterated complex variable.

  • \(w_n\): Represents a secondary complex variable interacting with \(z_n\)​.

  • \(\lambda\): A complex parameter controlling the rational map dynamics.

  • \(\mu\): Another complex parameter that modifies the \(w_n\)​ dependent term.

  • \(p,q\): Positive integers controlling the degree of the respective rational maps.

  • \(k\): A feedback control parameter.

a modified version of a Julia set generated by introducing a control mechanism into the dynamics of a rational map.

This mechanism alters the behavior of the system, enabling adjustments to its fractal properties based on a coupling or control parameter \(k\). Let’s break down this system and analyze its mathematical structure:

  1. Base Map Contribution:

    \[ \frac{1}{2} \left( z_n + \frac{\lambda}{z_n^q} \right) \]

    forms the unperturbed Julia set, as seen in System (2).

  2. Secondary Influence:

    \[ \frac{1}{2} \left( w_n + \frac{\mu}{w_n^p} \right) \]

    introduces a coupling between the \(z_n\)​ and \(w_n\)​ dynamics, with the parameter \(\mu\) adjusting this interaction.

  3. Control Mechanism: The term:

    \[ - k \left[ \frac{1}{2} \left( z_n + \frac{\lambda}{z_n^q} \right) - \frac{1}{2} \left( w_n + \frac{\mu}{w_n^p} \right) \right] \]

    applies feedback that synchronizes the \(z_n\) and \(w_n\) based maps, creating a controlled fractal structure. The control parameter \(k\) determines the extent of this feedback.

This system describes a coupled rational map with feedback control, where:

  1. Coupling: The term involving \(w_n\) and \(\mu/w_n^p\) introduces a synchronized perturbation to the primary Julia set, ensuring dynamic interactions between \(z_n\) and \(w_n\).

  2. Feedback: The parameter \(k\) acts as a regulator, controlling the influence of the coupling term and modifying the convergence or divergence of points in the fractal.

Figure 6: controlled system(5)

controlled system(5)

controlled system(5)

controlled system(5)
Figure 7: controlled system(5)
Figure 8: controlled system(5)
Figure 9: controlled system(5)
Figure 10: controlled system(5)
Figure 11: controlled system(5)
Figure 12: controlled system(5)
Figure 13: controlled system(5)
Figure 14: controlled system(5)
Figure 15: controlled system(5)

controlled system(5)
Figure 16
Figure 17
Figure 18
Figure 19
Figure 20
Figure 21
Figure 22
Figure 23

Conclusion

In this paper, we have discussed the control and synchronization of Julia sets of the complex perturbed rational maps \(z_{n+1} = \frac{1}{2} \big( z_n + \frac{\lambda}{z_n^q}\big)\), where infinity is regarded as a fixed point to be controlled. In many control methods, the fixed point of the system is finite. However, the fixed point of the complex perturbed rational maps is infinity. In order to avoid the unlimitedness of the fixed point, we take the optimal control function method to control the Julia sets of the complex perturbed rational maps since the fixed point could not appear in the control item. Through the control of Julia sets, we have that Julia sets of the perturbed rational maps are shrinking with the increasing control parameter \(k\). By taking an item in the optimal control function to be the driving item, the synchronization of Julia sets with different system parameters in the perturbed rational maps is also studied. This idea provides a method to discuss the relation and changing of two different Julia sets but not a single one and we can make one Julia set change to be another.

References

  1. Amritkar, R. E. & Gupte, N. [1993] “Synchronization of chaotic orbits: The effect of a finite time step,” Phys. Rev. E 47, 3889–3895.

  2. Carleson, L. C. & Gamelin, T. W. [1993] Complex Dynamics (Springer-Verlag, NY).

  3. Beck, C. [1999] “Physical meaning for Mandelbrot and Julia sets,” Physica D 125, 171–182.

  4. Zhang, Y. & Sun, W. [2011] “Synchronization and coupling of Mandelbrot sets,” Nonlin. Dyn. 64, 59–63.

  5. Zhang, Y., Sun, W. & Liu, C. [2010] “Control and synchronization of second Julia sets,” Chin. Phys. B 19, 050512.

  6. Kocarev, L. & Parlitz, U. [1996] “Synchronizing spatiotemporal chaos in coupled nonlinear oscillators,” Phys. Rev. Lett. 77, 2206–2209.

Thank You