1. Introduction
Complex variables are crucial when studying dynamic systems. Complex variables offer a potent mathematical foundation for evaluating and comprehending the actions and outcomes of dynamic systems, which are systems which shift over time. Complex variables are frequently employed for displaying signals or functions that change over time in the context of dynamic systems. Complex numbers can be represented in the form
where
and
are real numbers and i is the imaginary unit, and they have both real and imaginary components. We may explain dynamic characteristics using both amplitude (the real component) and phase (the imaginary part) information using this approach. One of the most important complex variable dynamic systems is the Layla and Majnun model describing the intensity or strength over time of the love between Layla and Majnun (see [
1,
2,
3,
4]).
Layla and Majnun’s romantic ties have been addressed in a mathematical model of a complex variable. The most basic description of the nonlinear system with two complex variables is given as follows [
1,
2,
3,
4]:
where
and
indicate a falling out between them, while
and
are the connection constants of the system satisfying
(everyone admits sympathy for Majnun) and
. By using the Caputo fractional-order derivative, System (
1) is presented as a complex system (four-dimensional real system of fractional differential equations) by many researchers.
Figure 1 shows the behavior of the solutions of System (
1), while
Figure 2 shows the distribution of the critical points of the system where
and different values of
For example, the system does not have critical points in cases (c) and (f). And it admits double critical points for (a): (1, 0) and (1.2, 0.453); (b): (−0.474, 0.725) and (1.395, 0.946); (d): (0.741, −0.7) and (1.545, 1.138); (e): (1.188, 0.662) and (0.773, −0.152).
For complex value functions
and
the complex system corresponding to (
1) becomes:
System (
2) is studied in [
3] when
and
using a fractional-derivative-type Atangana–Baleanu operator.
A bounded solution in the context of dynamic systems is a trajectory or actions taken by a system that over time stays within predetermined bounds or constraints. In numerous situations, bounded solutions are preferred to provide stability as well as prevent the system from deviating or reaching infinity. For instance, a linear dynamic system is stable and has bounded solutions if the system matrix’s eigenvalues contain negative real portions. Similar methods can be used to demonstrate the boundedness of solutions in nonlinear systems, such as certain circumstances or Lyapunov functions [
5,
6]. Turning Points: In a dynamic system, a turning point occurs when the derivative, which represents the rate of change, of the system variables equals zero. This state is also referred to as a critical point or equilibrium point. The system is at equilibrium or in a state of steady motion when it reaches a turning point. For instance, a turning point occurs in a one-dimensional system described by a differential equation when the system variable’s temporal derivative is equal to zero. This shows that the system’s driving forces and resistible forces are in equilibrium. It is possible to learn more about a system’s stability and dynamics by observing how it behaves close to a turning point. The stability of a turning point can be examined for linear systems employing eigenvalues and eigenvectors. To analyze actions close to a turning point in nonlinear systems, various approaches may be needed, such as linearization or phase plane analysis (see [
7,
8]).
In the present study, we consider System (
1) (CLMMS) for a complex variable
in the open-unit disk
as follows:
Suppose that the functions
and
in System (
3) are analytic in
We shall investigate a set of sufficient conditions to obtain univalent solution in
. The technique is based on the bounded turning functions of a dynamic system of a complex variable.
2. Methods and Results
It is feasible to locate explicit analytic univalent solutions in specific circumstances. For instance, the unit disk for any other simply linked domain in the complex plane is guaranteed to have a conformal (analytic univalent) mapping according to the Riemann mapping theorem. With a few exceptions, the explicit form of such a mapping is often unknown. Finding analytic univalent solutions, however, can be a difficult challenge in general. In complex analysis, many equations and issues lack explicit solutions. To analyze the behavior of solutions, one frequently uses existence and uniqueness theorems or numerical techniques. It is important to note that complex analysis offers a variety of methods and instruments for creating or describing analytical univalent functions. This involves numerous geometric or algebraic processes, such as conformal mappings, Schwarz–Christoffel mappings, and others. The particular strategy to be utilized will depend on the issue at present.
Definition 1. Let be an analytic function, where χ is a complex variable. Geometrically, it is said that is a bounded turning analytic function if, for each zero of , there is a positive constant M that means that, for any closed curve C encircling the zero in the counterclockwise direction, the spiraling number of around C is less than or equal to M. Mathematically, for a normalized analytic function in Θ
of the form [
7]
is called a bounded turning function (BTF) if and only if its first derivative has a positive real part, i.e., As a consequence of the above inequality, f is univalent in
In this part, we illustrate different methods to obtain the bounded turning solutions for System (
3). To proceed with different types of methods, let
and
of the form (
4) be as follows:
and
A mathematical function that demonstrates both symmetry and boundedness in its behavior is known as a symmetric and bounded turning function. A symmetric and bounded turning function would display equilibrium action around a point of symmetry (often the origin of the open-unit disk) while being constrained within particular bounds by the combination of symmetry and boundedness. For example, the Julia set fractals
where
t is a constant, admit a bounded turning function with symmetry behavior whenever
(see
Figure 3).
2.1. Miller–Mocanu–Maxwell Method (MMMM)
This method is based on special types of analytic functions called Bazilevic functions. This class has a variety of intriguing characteristics as well as relationships to other branches of complex analysis and number theory. It can be applied, for instance, to research the distribution of values for specific analytic functions and the Riemann zeta function’s behavior in a crucial area [
9].
Lemma 1. Let σ be analytic in Θ
and ϵ be real number. Then We have the following result:
Proposition 1. Assume function (5). If it satisfies the inequalitythen Proof. Thus, in view of Lemma 1, we obtain □
Similarly, we obtain the following result
Proposition 2. Assume function (6). If it satisfies the inequalitythen Proof. Thus, in view of Lemma 1, we obtain □
The existence of a univalent solution of System (
3) is concluded in the next result.
Corollary 1. Consider the solution of System (3), which satisfies inequalities (7) and (8). Then System (3) has a univalent solution. Proof. By Propositions 1 and 2, we have the solution
of bounded turning. But according to the Nashiro–Warschawski theorem [
7] (page 74), we confirm that
is univalent solution. □
2.2. Subordination Method
The idea of subordination is utilized in complex analysis to contrast and establish connections between analytic functions specified on the complex plane [
7]. The idea of one function being “less complex” than another is provided by subordination. Understanding many characteristics of analytic functions, such as inequalities, growth rates, and geometric aspects, makes use of the premise of subordination especially well. It gives us a way to compare and comprehend the intricate dynamics of different functions by relating the behavior of one function to that of another.
Definition 2. Two analytic functions φ and ψ in Θ
are subordinated if there occurs an analytic function κ with and such that The subordination is symbolized by It is common to refer to κ in this context as a subordination function.
In complicated analysis, utilizing subordination has the following unique benefits:
Simplification: Subordination enables us to swap out a complicated function for a more straightforward one. We may frequently streamline the examination of the original function and make it simpler to analyze by identifying an appropriate subordinate function.
Properties that help construct mappings between various domains in the complex plane include subordination. Complex differential equations can be broken down into shorter versions using these mappings, which will make them easier to analyze and solve.
Value estimation for complex functions: In some areas of the complex plane, subordination offers a method for estimating the values of complex functions. We can derive upper or lower bounds on the values of a function by juxtaposing it to a known subordinate function, which can be helpful in a variety of applications.
Subordination can be used to prove the uniqueness of solutions to some specific classes of complex differential equations. We can ascertain whether a special solution exists by contrasting several solutions and examining their interrelationships via subordination.
Subordination methods are useful for researching the analytic continuation of complex functions. Analytic continuation is the procedure of expanding a function’s domain past its originally specified area. Understanding subordination facilitates comprehension of the function’s behavior in these broadened domains.
It is crucial to keep in mind that the use of subordination in complicated analysis can change based on the particular issue at hand. Although there may be benefits to subordination in some circumstances, it may not always be appropriate or required. The nature of the problem and the intended goals of the study ultimately determine the choice of methodologies and procedures. We have the following outcome [
9]:
Lemma 2. Let ϑ be analytic-defined in a starlike domain in Θ
(a subset of the complex plane that includes the origin (0) and is symmetric in comparison to the real axis is referred to as a starlike domain in Θ
). If and analytic function satisfiesthenwhich is the best dominant and the last integral formula defined in a convex domain in Θ.
The next result gives the exact solution of System (
3) in
Proposition 3. Let the solution of System (3) be as defined in (5) and (6), respectively. Moreover, consider two analytic functions, a starlike function with and with and Ifthen there is an analytic function with and such that Similarly, consider two analytic functions, a starlike function with and with and Ifthen there is an analytic function with and Proof. From (
9) and Definition 2, we have
Thus, in view of Lemma 2 with
and
, we have
Again by Definition 2, there is an analytic function
with
and
; we obtain
In a manner similar to the above conclusion, we obtain
Note that the solution is convex in □
Example 1. Assume that , which is the extreme starlike function in And let (the Schwarz lemma). Then the solution iswhere is the extreme convex function in Θ
(Koebe function) (see Figure 4). 2.3. Clunie–Jack Lemma Method
According to the Jack lemma [
10], the zeros of a function
are isolated if
is analytic
on the complex plane and
is not identically zero on
. In simpler terms, there exists a tiny disk focused at
so that
is also zero only at
if there is a point
that makes
= 0. This finding is significant because it demonstrates that, unlike conventional continuous functions, analytic functions always have isolated zeros. The Jack lemma’s proof depends on the notion that power series expansions could locally depict analytical functions and that a power series’ zeros are likewise isolated. The Jack lemma has numerous uses in complex analysis, including investigating the existence of complete function zeros and a factorization of meromorphic functions [
9].
The statement of the generalized Jack lemma (Clunie–Jack lemma) is as follows:
Lemma 3 ([
9], p. 19).
For and , let be analytic on such that and . If then there is an with Theorem 1. Assume the following inequality Let and Then and is univalent.
Proof. Firstly, we prove that
for all
and
. In view of the definition of the function
it is clear that
). If there is
,
and
such that
and
is analytic in
and
then
Thus, we obtain
when
, which contradicts (
11).
Assume that
where
. Since
for all
, then
is analytic in
with
. Moreover, a computation implies that
Consider the equality
In view of Lemma 3, we obtain
As a consequence, we have
which is in contradiction with (
11). That is
, and by (
12), we obtain
where
which implies
. Let
Then
is analytic in
. A logarithmic differentiation yields
According to (
14), we obtain
That is
where
which brings
For
with
. Now by Lemma 3, we have
Hence,
where
. This yields a contradiction with the assumption. That is
Moreover, we have that (
13) admits
which gives the second part of the theorem. □
In a manner similar to Theorem 1, we have the following result
Theorem 2. Assume the following inequalityAssume that and Thenand is univalent. 2.4. Schur Functions Method
After the mathematician Issai Schur, Schur functions are a significant class of symmetric functions in mathematics. They are crucial to algebraic geometry, representational theory and combinatorial combinatorics (see [
11]). Any combination of the variables in a symmetric function results in the same result. The theory of Young tableaux and the representational theory of the symmetric group are used for establishing Schur functions, which are symmetric functions. A class of complex-valued functions known as Schur analytic functions have been established on the open-unit disk of the complex plane, which is the collection of all complex numbers with absolute values less than 1. Because they are holomorphic, these functions have the unique characteristic of appearing complex differentiable wherever in the open-unit disk.
Definition 3. If a function matches the criteria below, it is referred to as a Schur analytic function.
Analysis: In the open-unit disk, the function is holomorphic. It has a derivative at each location on the disk, according to this.
Unit disk boundary behavior: As χ gets closer to a point on the unit disk boundary, the function limits practically everywhere. With the exception of a set of measure zero, this restriction holds for practically all of the points on the unit circle.
The norm-preserving property, which is represented as for any is satisfied by the function .
Relationship through Schur Polynomials
Use of Schur polynomials results in one particular relationship between Schur functions and analytic functions. A class of symmetric polynomials known as Schur polynomials can be defined in terms of either power sum symmetric functions or elementary symmetric functions. The theory of Schur functions is closely related to these polynomials. By using their power-series expansions, which contain coefficients that can be stated as an expression of the function’s derivatives at a certain point, analytical functions may be expressed. Such expansions frequently have coefficients that can be calculated combinatorially and involve symmetric functions like Schur polynomials. In this sense, understanding Schur functions can help us understand the characteristics and coefficients of some analytic functions. In conclusion, although Schur functions and analytic functions are separate mathematical ideas, there are linkages between them, especially when Schur polynomials are used. The analysis of symmetric functions and their applications to representation theory, combinatorics and other branches of mathematics lead to these relationships. In this part, we used the connection between a class of Schur functions and the class of analytic functions to obtain the analytic solution of System (
3). In [
12], the authors presented two different types of Schur function, iterating integrally and integro-differentials. For the integral iteration, it was acting on the normalized function (such as (
5) and (
6)), as follows:
It is clear that
is a normalized function and the coefficients are dominated by the Riemann–Zeta function. A new process is given here, by assuming the non-normalized function
then (see
Figure 5)
Now define a normalized Schur function as follows (see
Figure 6):
Making the power series in (
18) and (
19) equal and comparing the connections yields the following result:
Proposition 4. Consider the solution of System (4) as in Equations (5) and (6), respectively. Thenwhere indicates the Riemann–Zeta Function. The same goes for the coefficients of 3. Conclusions and Discussions
The analytic solution of the Layla and Majnun model of a complex variable is considered in the open-unit disk. We suggested a new complex dynamic system of the model by replacing the negative sympathy coefficient by a positive one. The solution is presented using different methods from the field of geometric function theory. Firstly, we obtained a solution which is of bounded turning function (univalent solution) using MMMM. The technique is based on a positive real part. Secondly, we obtained an analytic solution by employing the concept of subordination. In this case, we obtain an exact formula of the solution (Alexander integral formula). Thirdly, the Clunie–Jack lemma method, which is the generalized statement of the Jack lemma, is applied to obtain an analytic solution of bounded turning function, as well. In this case, the solution is univalent in the open-unit disk. Finally, the Schur functions method is utilized to describe an analytic solution, which is symmetric in a complex domain. We suggested new normalized Schur functions to obtain a normalized analytic solution.
Mathematical symmetric formulas that offer a straightforward method for computing the answer to a problem are known as analytical or closed-form solutions. These remedies offer a number of advantages:
Efficiency and Simplicity: Analytic solutions frequently offer a clear and succinct formula for arriving at the solution. When the formula is developed, it can be applied effectively and with less computation overhead than iterative or numerical approaches.
Exactness and Precision: Within the boundaries of the mathematical model, analytical solutions produce highly accurate answers. They are not susceptible to numerical instability or approximation errors, as can happen with iterative or numerical methods. They are therefore very helpful when high accuracy is required.
Knowledge and Insight: The underlying linkages and relationships in a problem are frequently revealed by analytical solutions. They can shed light on the characteristics and actions of the system under investigation. Analytical solutions help in the interpretation and analysis of the data by enabling a greater understanding of the issue.
Generalization and Predictability: The conventional method for deriving analytical solutions is to build them on a set of general rules or presumptions. Once developed, they can be used in a variety of particular scenarios that fall within the same problem area. Without the need for intensive numerical simulations, this generalizability facilitates predictability and the investigation of various scenarios.
Interpretability and Communication: Analytical answers are frequently given in a mathematical format, which makes them simple to comprehend and convey to others. They offer concise explanations and promote knowledge and research exchange among disciplines.
Improvements related to a particular problem: In certain cases, distinct problem areas can benefit from tried-and-true analytical techniques that offer special benefits. For instance, there are known analytical solutions for some physical systems that provide precise predictions or illuminate underlying physical principles.
Author Contributions
I.A.: Conceptualization, Methodology, Writing. R.W.I.: Visualization, Investigation, Software, Writing. All authors have read and agreed to the published version of the manuscript.
Funding
This research is funded by the Ministry of Education in Saudi Arabia through the project number IFP-IMSIU-2023093.
Institutional Review Board Statement
Not applicable.
Data Availability Statement
Since no data sets were created or examined during the current investigation, data sharing is not relevant to this paper.
Acknowledgments
The authors extend their appreciation to the Deputyship for Research & Innovation, Ministry of Education in Saudi Arabia for funding this research through the project number IFP-IMSIU-2023093. The authors also appreciate the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) for supporting and supervising this project.
Conflicts of Interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
References
- Jafari, S.; Sprott, J.C.; Golpayegani, S.M.R.H. Layla and Majnun: A complex love story. Nonlinear Dyn. 2016, 83, 615–622. [Google Scholar] [CrossRef]
- Kumar, P.; Erturk, V.S.; Murillo-Arcila, M. A complex fractional mathematical modeling for the love story of Layla and Majnun. Chaos Solitons Fractals 2021, 150, 111091. [Google Scholar] [CrossRef]
- Farman, M.; Akgül, A.; Aldosary, S.F.; Nisar, K.S.; Ahmad, A. Fractional order model for complex layla and majnun love story with chaotic behaviour. Alex. Eng. J. 2022, 61, 6725–6738. [Google Scholar] [CrossRef]
- Sabir, Z.; Said, S.B. A fractional order nonlinear model of the love story of Layla and Majnun. Sci. Rep. 2023, 13, 15402. [Google Scholar] [CrossRef] [PubMed]
- Lyons, R. A note on tail triviality for determinantal point processes. Electron. Commun. Probab. 2018, 23, 1–3. [Google Scholar] [CrossRef]
- Borcea, J.; Brändén, P.; Liggett, T. Negative dependence and the geometry of polynomials. J. Am. Math. Soc. 2009, 22, 521–567. [Google Scholar] [CrossRef] [Green Version]
- Duren, P.L. Univalent Functions; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2001; Volume 259, p. S2001. [Google Scholar]
- Lehto, O. Univalent Functions and Teichmuller Spaces; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2012; Volume 109. [Google Scholar]
- Miller, S.S.; Mocanu, P.T. Differential Subordinations: Theory and Applications; CRC Press: Boca Raton, FL, USA, 2000. [Google Scholar]
- Jack, I.S. Functions starlike and convex of order α. J. Lond. Math. Soc. 1971, 2, 469–474. [Google Scholar] [CrossRef]
- Macdonald, I.G. Schur functions: Theme and variations. Semin. Lothar. Comb. 1992, 28, B28a-39. [Google Scholar]
- Hadid, S.B.; Rabha, W.I. On new symmetric Schur functions associated with integral and integro-differential functional expressions in a complex domain. Symmetry 2023, 15, 235. [Google Scholar] [CrossRef]
| Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).