Control and Synchronization with Complex Perturbations, Guided by DR. Santanu Nandi
Persuing M.Sc.Mathematics with Data Science, Institute of Mathematics & Application, Bhubaneswar, Odisha
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.
Study the Dynamics of Julia Sets:
Implement Control Mechanisms:
Investigate the Synchronization of Julia Sets:
Visualize Fractal Dynamics:
Provide Insights into Chaotic Systems:
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:
Points in the complex plane that exhibit stable, predictable dynamics under a rational map \(R(z)\).
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
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.
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.
Special Cases:
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.
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) \]
Base Map Contribution: The term \(f(z)\) represents the original rational Julia map.
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] \]
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.
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.
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.
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.
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.
The study relies on the escape-time algorithm to visualize Julia sets:
Initialize a grid of points in the complex plane.
Iterate each point under the map \(z_{n+1} = R(z_n)\).
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.
Initialize Grid:
Iterative Mapping:
For each \(z_0\), compute its orbit:
\[ z_{n+1} = z_n^q + c + \frac{\lambda}{z_n^p} \]
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).
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).
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.\)
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.
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.
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:
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).
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.
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:
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\).
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.
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.
Amritkar, R. E. & Gupte, N. [1993] “Synchronization of chaotic orbits: The effect of a finite time step,” Phys. Rev. E 47, 3889–3895.
Carleson, L. C. & Gamelin, T. W. [1993] Complex Dynamics (Springer-Verlag, NY).
Beck, C. [1999] “Physical meaning for Mandelbrot and Julia sets,” Physica D 125, 171–182.
Zhang, Y. & Sun, W. [2011] “Synchronization and coupling of Mandelbrot sets,” Nonlin. Dyn. 64, 59–63.
Zhang, Y., Sun, W. & Liu, C. [2010] “Control and synchronization of second Julia sets,” Chin. Phys. B 19, 050512.
Kocarev, L. & Parlitz, U. [1996] “Synchronizing spatiotemporal chaos in coupled nonlinear oscillators,” Phys. Rev. Lett. 77, 2206–2209.
https://abhirup-moitra-mathstat.netlify.app/