Next Article in Journal
An Asymptotic Behavior Property of High-Order Nonlinear Dynamic Equations on Time Scales
Next Article in Special Issue
Stability Analysis of SEIAR Model with Age Structure Under Media Effect
Previous Article in Journal
Relaxing the Φ-Family Auxiliary Functions and Related Results
Previous Article in Special Issue
Open Problems and Conjectures in the Evolutionary Periodic Ricker Competition Model
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Qualitative Properties of Nonlinear Neutral Transmission Line Models and Their Applications

1
Department of Mathematics, College of Science, University of Ha’il, Ha’il 2440, Saudi Arabia
2
Department of Mathematics, University of Souk Ahras, P.O. Box 1553, Souk Ahras 41000, Algeria
3
Department of Computing, Mathematics and Electronics, 1 Decembrie 1918 University of Alba Iulia, 510009 Alba Iulia, Romania
4
Faculty of Mathematics and Computer Science, Transilvania University of Brasov, Iuliu Maniu Street 50, 500091 Brasov, Romania
*
Author to whom correspondence should be addressed.
Axioms 2025, 14(4), 269; https://doi.org/10.3390/axioms14040269
Submission received: 17 February 2025 / Revised: 24 March 2025 / Accepted: 1 April 2025 / Published: 2 April 2025

Abstract

:
Neutral transmission line models are essential for analyzing stability and periodicity in systems influenced by nonlinear and delayed dynamics, particularly in modern smart grids. This study utilizes Krasnoselskii’s fixed-point theorem to establish sufficient conditions for the existence and asymptotic stability of periodic solutions, eliminating the need for differentiability in delay terms and coefficients. The results extend existing findings and are validated through a single test example, demonstrating the theoretical applicability of the proposed approach. These findings provide a mathematical framework for understanding the behavior of power distribution systems under nonlinear and delayed influences.
MSC:
34K13; 34A34; 34K30; 34L30

1. Introduction

Delay differential equations (DDEs) have emerged as indispensable tools for modeling complex dynamic systems influenced by delays, nonlinearities, and periodic behaviors. Their applications span a wide range of disciplines, including population dynamics, mechanical systems, and electrical circuits. Foundational studies, such as those by Burton [1] and Kuang [2], have laid the theoretical groundwork, exploring key properties like stability, positivity, and periodicity of solutions. These studies underscore the importance of DDEs in addressing intricate dynamical phenomena that arise in real-world systems. In addition, comprehensive discussions and significant advancements in these topics are documented across numerous studies [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24].
The phenomenon of delay in dynamic systems is often associated with memory effects and hereditary properties, which have been mathematically described using integro-differential equations (IDEs). The foundational work of Vito Volterra [25,26,27,28,29] established the principles of hereditary systems, demonstrating how past states influence future evolution through integral formulations. These principles have significantly influenced the development of delay differential equations (DDEs), which serve as a more explicit representation of delayed interactions in various applications. By incorporating memory effects, IDEs and DDEs provide a rigorous mathematical framework for modeling real-world systems where delays play a critical role, such as energy transmission networks and biological systems.
Neutral transmission line models, a specific application of DDEs, are critical for analyzing the stability and periodicity of systems characterized by nonlinear and delayed dynamics. Their relevance has grown significantly in the context of modern smart grids, where the integration of renewable energy sources, variable loads, and communication delays presents unique challenges to stability and efficiency. Recent studies have established criteria for periodicity and stability in simplified and generalized neutral differential equation frameworks [30,31,32]. Notably, Ding and Li [31] leveraged Krasnoselskii’s fixed-point theorem to demonstrate periodic solutions in simplified models, while Mansouri et al. [32] extended these results to accommodate more complex dynamics involving variable delays and nonlinearities.
Despite these advancements, existing approaches are often constrained by assumptions such as the differentiability of delay terms and coefficients, which limit their applicability to real-world systems. In modern smart grids, such assumptions fail to capture the nondifferentiable dynamics introduced by renewable energy integration, time-varying power demands, and communication delays [33,34,35,36,37]. Addressing these gaps requires a more robust and flexible mathematical framework capable of capturing the interplay between nonlinear, delayed, and periodic behaviors.
This study aims to bridge this gap by exploring a more comprehensive class of nonlinear neutral transmission line models, removing the need for differentiability in delay terms and coefficients. By leveraging Krasnoselskii’s fixed-point theorem, this work introduces novel sufficient conditions for the existence and asymptotic stability of periodic solutions in the space C 0 . The derived results not only extend theoretical insights but also demonstrate practical relevance in optimizing power distribution within smart grids. The considered problem is given by
d d ς ϰ ς q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) )   = p ( ς ) a ( ς ) ϰ ς a ( ς ) q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) b ( ς ) Ψ ( ϰ ς ) + b ( ς ) q ( ς ) Ψ ( ϰ ( ς δ ( ς ) ) ) ,
where a, b, and δ are positive ϖ -periodic continuous functions with a ( ς ) > α > 0 ; q and p are ϖ -periodic continuous functions; Ψ is a continuous function; and Φ is a locally Lipschitz continuous function, i.e., for λ > 0 , there is ϱ Φ > 0 such that
Φ ( ϰ ) Φ ( y ) ϱ Φ ϰ y for all ϰ , y λ .
A notable application of this research lies in addressing critical challenges in smart grid optimization. Renewable energy sources, such as solar and wind power, introduce periodic and nonlinear power variations that complicate grid stability. Additionally, power transmission delays, communication inefficiencies, and variable load conditions demand advanced analytical tools to maintain grid reliability and efficiency. The proposed model captures these complexities by incorporating nonlinear, delayed, and periodic dynamics, enabling precise analysis and control of voltage behavior. Furthermore, this approach aligns with contemporary advancements in machine learning and decentralized control, which further enhance grid performance and resilience [38,39].
Through theoretical analysis and practical examples, this work advances the mathematical modeling of nonlinear systems while providing actionable solutions to the pressing challenges of modern power systems. These findings pave the way for improved stability, efficiency, and resilience in smart grid operations, addressing the dynamic needs of contemporary energy networks.
To provide a clear roadmap for the reader, the remainder of this paper is structured as follows: In Section 2, we establish the existence of periodic solutions using fixed-point methods. Section 3 presents conditions for asymptotic stability, ensuring long-term system behavior remains predictable. In Section 4, we apply our theoretical findings to smart grid optimization, demonstrating their relevance in real-world power distribution challenges. Finally, Section 5 concludes this paper with a summary of our contributions and potential future research directions.

2. Existence of Periodic Solutions

Let C ( R ) be the set of all continuous functions ϰ : R R . C ϖ = { ϰ C ( R ) : ϰ ( ς + ϖ ) = ϰ ς } is equipped with the supremum norm . in a period interval.
The following two lemmas will be applied in this work.
Lemma 1.
For Ϝ C ϖ , the differential equation ϰ ( ς ) + a ( ς ) ϰ ς = Ϝ ( ς ) admits a unique ϖ-periodic solution
ϰ ς = η ς ς + ϖ e ς + ϖ s a ( ι ) d ι Ϝ ( s ) d s ,
where
η = 1 e 0 ϖ a ( ι ) d ι 1 .
Proof. 
The proof can be found in ODE books (see for example, [4]). □
Lemma 2
(Krasnoselskii’s fixed point [40]). Let Ω be a closed bounded convex nonempty subset of a Banach space ( E , · ) . Suppose that Λ 1 and Λ 2 map Ω into E such that
(i) 
ϰ , y Ω implies Λ 1 ϰ + Λ 2 y Ω ;
(ii) 
Λ 1 is compact and continuous;
(iii) 
Λ 2 is a contraction mapping.
Then, there is ϕ Ω with ϕ = Λ 1 ϕ + Λ 2 ϕ .
In this section, by using Lemmas 1 and 2, we demonstrate the existence of ϖ -periodic solutions of (1).
Theorem 1.
Suppose that there exist ρ 0 , 1 and λ > 0 such that
ρ = ϱ Φ q , sup | ϰ | λ Ψ ( ϰ ) α b λ ,
q < α λ b sup | ϰ | λ Ψ ( ϰ ) 3 α ϱ Φ λ + Φ ( 0 ) + b sup | ϰ | λ Ψ ( ϰ ) ,
and
p < α λ 3 α q ( ϱ Φ λ + Φ ( 0 ) ) b 1 + q sup | ϰ | λ Ψ ( ϰ ) .
Then, (1) admits a ϖ-periodic solution.
Proof. 
From (3), we have
p α + 3 q ( ϱ Φ λ + Φ ( 0 ) ) + b α 1 + q sup | ϰ | λ Ψ ( ϰ ) λ .
Let
Ω = { ϰ C ϖ : ϰ λ } ,
which is a closed bounded convex set of C ϖ .
For all ϰ Ω , we rewrite (1) as
d d ς ϰ ς q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) + a ( ς ) ϰ ς q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) )   = p ( ς ) 2 a ( ς ) q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) b ( ς ) Ψ ( ϰ ς ) + b ( ς ) q ( ς ) Ψ ( ϰ ( ς δ ( ς ) ) ) .
By applying Lemma 1, we obtain
ϰ ς q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) )   = η ς ς + ϖ e ς + ϖ s a ( ι ) d ι p ( s ) 2 a ( s ) q ( s ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( ϰ ( s δ ( s ) ) ) d s .
Then,
ϰ ( ς ) = η ς ς + ϖ e ς + ϖ s a ( ι ) d ι p ( s ) 2 a ( s ) q ( s ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( ϰ ( s δ ( s ) ) ) d s + q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) .
Define Mappings Λ 1 and Λ 2 by
( Λ 1 ϰ ) ( ς ) = η ς ς + ϖ e ς + ϖ s a ( ι ) d ι p ( s ) 2 a ( s ) q ( s ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( ϰ ( s δ ( s ) ) ) d s ,
and
( Λ 2 ϰ ) ( ς ) = q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) .
To demonstrate that (1) admits a ϖ -periodic solution, we shall make sure that Λ 1 and Λ 2 satisfy the assumptions of Lemma 2. For all ϰ , y Ω , we have ϰ ( ς + ϖ ) = ϰ ς , y ( ς + ϖ ) = y ( ς ) and ϰ λ , y λ . Now, let us discuss Λ 1 ϰ + Λ 2 y . We have
( Λ 1 ϰ ) ( ς + ϖ ) = η ς + ϖ ς + 2 ϖ e ς + 2 ϖ s a ( ι ) d ι p ( s ) 2 a ( s ) q ( s ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( ϰ ( s δ ( s ) ) ) d s = η ς ς + ϖ e ς + ϖ s a ( ι ) d ι p ( s ) 2 a ( s ) q ( s ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( ϰ ( s ) + b ( s ) q ( s ) Ψ ( ϰ ( s δ ( s ) ) ) d s = ( Λ 1 ϰ ) ( ς ) ,
and
( Λ 2 y ) ( ς + ϖ ) = q ( ς + ϖ ) Φ ( y ( ς + ϖ δ ( ς + ϖ ) ) ) = q ( ς ) Φ ( y ( ς δ ( ς ) ) = ( Λ 2 y ) ( ς ) .
Therefore, ( Λ 1 ϰ + Λ 2 y ) ( ς + ϖ ) = ( Λ 1 ϰ + Λ 2 y ) ( ς ) . Meanwhile, we get
Λ 1 ϰ ς = η ς ς + ϖ e ς + ϖ s a ( ι ) d ι a ( s ) p ( s ) a ( s ) 2 q ( s ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) a ( s ) Ψ ( ϰ ( s ) ) + b ( s ) a ( s ) q ( s ) Ψ ( ϰ ( s δ ( s ) ) ) d s p α + 2 q ( ϱ Φ λ + Φ ( 0 ) ) + b α 1 + q sup | ϰ | λ Ψ ( ϰ ) ,
and
Λ 2 ϰ ς = q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) q ( ϱ Φ λ + | Φ ( 0 ) | ) .
So,
Λ 1 ϰ p α + 2 q ( ϱ Φ λ + Φ ( 0 ) ) + b α 1 + q sup | ϰ | λ Ψ ( ϰ ) ,
and
Λ 2 y q ( ϱ Φ λ + | Φ ( 0 ) | ) .
Therefore,
Λ 1 ϰ + Λ 2 y Λ 1 ϰ + Λ 2 y p α + 3 q ( ϱ Φ λ + Φ ( 0 ) ) + b α 1 + q sup | ϰ | λ Ψ ( ϰ ) λ ,
by (4). Consequently, Λ 1 ϰ + Λ 2 y Ω .
For all ϰ Ω , Λ 1 ϰ λ . On the other hand, we have
( Λ 1 ϰ ) ( ς ) = a ( ς ) η ς ς + ϖ e ς + ϖ s a ( ι ) d ι [ p ( s ) 2 a ( s ) q ( s ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( ϰ ( s δ ( s ) ) ) ] d s + p ( ς ) 2 a ( ς ) q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) b ( ς ) Ψ ( ϰ ς ) + b ( ς ) q ( ς ) Ψ ( ϰ ( ς δ ( ς ) ) ) = a ( ς ) ( Λ 1 ϰ ) ( ς ) + p ( ς ) 2 a ( ς ) q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) b ( ς ) Ψ ( ϰ ς ) + b ( ς ) q ( ς ) Ψ ( ϰ ( ς δ ( ς ) ) ) .
Thus,
( Λ 1 ϰ ) ( ς ) a λ + p + 2 a q ( ϱ Φ λ + Φ ( 0 ) ) + b 1 + q sup | ϰ | λ Ψ ( ϰ ) .
Therefore, there is a constant λ 1 > 0 such that sup ς R ( Λ 1 ϰ ) ( ς ) λ 1 . From the Ascoli–Arzela theorem, for all of the sequence { ϰ n } of Ω , there is a subsequence { ϰ n k } of { ϰ n } , such that Λ 1 ϰ n k ϰ 0 C ϖ as k + . Hence, { Λ 1 ϰ n } is contained in a compact set. So, Λ 1 is a compact mapping.
Assume that { ϰ n } Ω , ϰ Ω , ϰ n ϰ . Then, ϰ n ϰ 0 as n , and we obtain
Λ 1 ϰ n ς Λ 1 ϰ ς η ς ς + ϖ e ς + ϖ s a ( ι ) d ι a ( s ) [ 2 q Φ ( ϰ n ( s δ ( s ) ) ) Φ ( ϰ ( s δ ( s ) ) ) + b α Ψ ( ϰ n ( s ) ) Ψ ( ϰ ( s ) ) + b α q Ψ ( ϰ n ( s δ ( s ) ) ) Ψ ( ϰ ( s δ ( s ) ) ) ] d s 2 ϱ Φ q ϰ n ϰ + b α 1 + q sup ς 0 , ϖ Ψ ( ϰ n ( s ) ) Ψ ( ϰ ( s ) ) .
Thus,
Λ 1 ϰ n Λ 1 ϰ 2 ϱ Φ q ϰ n ϰ + b α 1 + q sup ς 0 , ϖ Ψ ( ϰ n ( s ) ) Ψ ( ϰ ( s ) ) ,
when ϰ n ϰ 0 as n and ϰ n ( ς ) ϰ ς 0 for ς [ 0 , ϖ ] uniformly. And since Ψ is continuous, Λ 1 ϰ n Λ 1 ϰ 0 . Consequently, Λ 1 is continuous.
Now, for all ϰ , y Ω , we have
Λ 2 ϰ ς Λ 2 y ς = q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) ) Φ ( y ( ς δ ( ς ) ) ) ϱ Φ q ϰ y .
Then,
Λ 2 ϰ Λ 2 y ρ ϰ y .
Therefore, Λ 2 is a contraction mapping.
Thus, the assumptions of Lemma 2 are satisfied. Hence, there is a ϰ Ω , such that ϰ = Λ 1 ϰ + Λ 2 ϰ . It is a ϖ -periodic solution for (1). □
Example 1.
Consider the nonlinear neutral transmission line model (1) where δ ( ς ) = 1 , q ( ς ) = 1 2 sin ς , Φ ϰ = 1 3 sin ϰ , p ς = 1 10 + 1 10 cos ς , a ( ς ) = 2 + sin ς , b ( ς ) = cos ς , Ψ ϰ = 1 4 arctan ϰ . For λ = 1 , one may easily verify that
b = 1 , q = 1 2 , p = 1 5 , α = 1 , ϱ Φ = 1 , Φ ( 0 ) = 0 , sup | ϰ | λ Ψ ( ϰ ) = π 16 1 = α b λ , q = 1 2 < 0.67175 α λ b sup | ϰ | λ Ψ ( ϰ ) 3 α ϱ Φ λ + Φ ( 0 ) + b sup | ϰ | λ Ψ ( ϰ ) , p = 1 5 < 0.20548 α λ 3 α q ( ϱ Φ λ + Φ ( 0 ) ) b 1 + q sup | ϰ | λ Ψ ( ϰ ) .
Then, all assumptions of Theorem 1 are satisfied. Hence, (1) admits a 2 π -periodic solution.

3. Asymptotic Stability

We study the asymptotic stability of periodic solutions in this section. Let ϰ be a periodic solution of (1). For υ = ϰ ϰ , (1) is transformed to
d d ς υ ( ς ) q ( ς ) Φ υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) Φ ( ϰ ( ς δ ( ς ) ) ) ) = a ( ς ) υ ( ς ) a ( ς ) q ( ς ) Φ υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) Φ ( ϰ ( ς δ ( ς ) ) ) b ( ς ) Ψ υ ( ς ) + ϰ ( ς ) Ψ ( ϰ ( ς ) ) + b ( ς ) q ( ς ) Ψ υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) Ψ ( ϰ ( ς δ ( ς ) ) ) .
Clearly, (6) admits the zero solution. To demonstrate that the zero solution of (6) is asymptotically stable, we apply Krasnoselskii’s fixed-point theorem. Let E be the Banach space of bounded continuous functions υ : [ m 0 , ) R with the supremum norm . and m 0 = inf { ς δ ( ς ) , ς 0 } . Moreover, for a given initial function ψ , denote the norm of ψ by ψ = sup ς [ m 0 , 0 ] | ψ ( ς ) | .
Definition 1
([1]). The zero solution of (6) is asymptotically stable if it is Lyapunov-stable and if there exists a σ > 0 for any ς m 0 such that ψ σ implies υ ( ς ) 0 as ς .
Theorem 2.
Suppose that all assumptions of Theorem 1 are satisfied and that Ψ satisfies the locally Lipschitz condition. Also, assume that
ς δ ( ς ) as ς ,
and that there is Q > λ such that
b α sup ϰ λ + Q Ψ ( ϰ ) < Q λ ,
q < Q λ b α sup ϰ λ + Q Ψ ( ϰ ) 3 ϱ Φ Q + λ + b α sup ϰ λ + Q Ψ ( ϰ ) ,
and
ψ Q 3 ϱ Φ q Q 1 + q λ b α 1 + q sup ϰ λ + Q Ψ ( ϰ ) 1 + ϱ Φ q .
Then, the solution of (6) υ ( ς ) 0 is ς .
Proof. 
From (9), we obtain
3 ϱ Φ q Q + 1 + q λ + b α 1 + q sup ϰ λ + Q Ψ ϰ + ( 1 + ϱ Φ q ) ψ Q .
There is a unique solution υ of (6) for the given initial function ψ . Let
Ω ψ = { υ E : υ Q , υ ς = ψ ς for ς [ m 0 , 0 ] , υ ( ς ) 0 as ς } ,
which is a closed convex bounded subset of E . Now, we rewrite (6) as
d d ς υ ( ς ) q ( ς ) Φ υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) Φ ( ϰ ( ς δ ( ς ) ) ) ) + a ( ς ) υ ( ς ) q ( ς ) Φ υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) Φ ( ϰ ( ς δ ( ς ) ) ) = 2 a ( ς ) q ( ς ) Φ ( υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Φ ( ϰ ( ς δ ( ς ) ) ) b ( ς ) Ψ υ ( ς ) + ϰ ( ς ) Ψ ( ϰ ( ς ) ) + b ( ς ) q ( ς ) Ψ υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) Ψ ( ϰ ( ς δ ( ς ) ) ) .
Then,
υ ( ς ) = υ ( 0 ) q ( 0 ) Φ ψ ( δ ( 0 ) ) + ϰ ( δ ( 0 ) ) Φ ( ϰ ( δ ( 0 ) ) e 0 ς a ( ι ) d ι + q ( ς ) Φ υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) Φ ( ϰ ( ς δ ( ς ) ) ) + 0 ς e s ς a ( ι ) d ι 2 a ( s ) q ( s ) Φ υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ υ ( s ) + ϰ ( s ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) Ψ ( ϰ ( s δ ( s ) ) ) d s .
Let ( L υ ) ( ς ) = ψ ( ς ) , ς [ m 0 , 0 ] , and
( L υ ) ( ς ) = ψ ( 0 ) q ( 0 ) Φ ( ψ ( δ ( 0 ) ) + ϰ ( δ ( 0 ) ) ) Φ ( ϰ ( δ ( 0 ) ) e 0 ς a ( ι ) d ι + q ( ς ) Φ ( υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Φ ( ϰ ( ς δ ( ς ) ) ) + 0 ς e s ς a ( ι ) d ι 2 a ( s ) q ( s ) Φ ( υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( υ ( s ) + ϰ ( s ) ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Ψ ( ϰ ( s δ ( s ) ) ) d s .
For all υ Ω ψ , define the Mappings Λ 1 and Λ 2 by
( Λ 1 υ ) ( ς ) = 0 , ς [ m 0 , 0 ] , 0 ς e s ς a ( ι ) d ι 2 a ( s ) q ( s ) Φ ( υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( υ ( s ) + ϰ ( s ) ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Ψ ( ϰ ( s δ ( s ) ) ) d s , ς 0 ,
( Λ 2 υ ) ( ς ) = ψ ( ς ) , ς [ m 0 , 0 ] , ψ ( 0 ) q ( 0 ) Φ ( ψ ( δ ( 0 ) ) + ϰ ( δ ( 0 ) ) ) Φ ( ϰ ( δ ( 0 ) ) e 0 ς a ( ι ) d ι + q ( ς ) Φ ( υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Φ ( ϰ ( ς δ ( ς ) ) ) , ς 0 .
(i) For all ϰ , y Ω ψ , ϰ ς 0 and y ( ς ) 0 , as ς . Then,
lim ς ( Λ 2 y ) ( ς ) = lim ς ψ ( 0 ) q ( 0 ) Φ ( ψ ( δ ( 0 ) ) + ϰ ( δ ( 0 ) ) ) Φ ( ϰ ( δ ( 0 ) ) e 0 ς a ( ι ) d ι + q ( ς ) Φ ( y ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Φ ( ϰ ( ς δ ( ς ) ) ) = 0 ,
and
lim ς ( Λ 1 ϰ ) ( ς ) = lim ς e 0 ς a ( ι ) d ι 0 ς e 0 s a ( ι ) d ι 2 a ( s ) q ( s ) Φ ( ϰ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ϰ ( s ) + ϰ ( s ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ϰ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) Ψ ( ϰ ( s δ ( s ) ) ) d s = 0 .
Therefore, lim ς ( Λ 1 ϰ + Λ 2 y ) ( ς ) = 0 . We have
( Λ 1 ϰ ) ( ς ) = 0 ς e s ς a ( ι ) d ι a ( s ) 2 q ( s ) Φ ( ϰ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) a ( s ) Ψ ϰ ( s ) + ϰ ( s ) Ψ ( ϰ ( s ) ) + b ( s ) a ( s ) q ( s ) Ψ ϰ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) Ψ ( ϰ ( s δ ( s ) ) ) d s 2 ϱ Φ q Q + b α 1 + q sup ϰ λ + Q Ψ ϰ + sup ϰ λ Ψ ϰ 2 ϱ Φ q Q + 1 + q λ + b α 1 + q sup ϰ λ + Q Ψ ϰ ,
and
( Λ 2 ϰ ) ( ς ) ( 1 + ϱ Φ q ) ψ + ϱ Φ q Q .
Then,
Λ 1 ϰ 2 ϱ Φ q Q + 1 + q λ + b α 1 + q sup ϰ λ + Q Ψ ϰ ,
and
Λ 2 y ( 1 + ϱ Φ q ) ψ + ϱ Φ q Q .
Thus,
Λ 1 ϰ + Λ 2 y Λ 1 ϰ + Λ 2 y 3 ϱ Φ q Q + 1 + q λ + b α 1 + q sup ϰ λ + Q Ψ ϰ + ( 1 + ϱ Φ q ) ψ .
By using Condition (10), we obtain Λ 1 ϰ + Λ 2 y Q . Hence, we continue with Λ 1 ϰ + Λ 2 y Ω ψ .
(ii) For all ϰ Ω ψ , ϰ Q , we have ( Λ 1 ϰ ) ( ς ) = 0 , ς [ m 0 , 0 ] and
( Λ 1 ϰ ) ( ς ) = a ( ς ) ( Λ 1 ϰ ) ( ς ) 2 a ( ς ) q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Φ ( ϰ ( ς δ ( ς ) ) ) b ( ς ) Ψ ( ϰ ς + ϰ ( ς ) ) Ψ ( ϰ ( ς ) ) + b ( ς ) q ( ς ) Ψ ( ϰ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Ψ ( ϰ ( ς δ ( ς ) ) ) a Q + 2 ϱ Φ a q Q + α λ + b ( 1 + q ) sup | ϰ | λ + Q | Ψ ( ϰ ) | .
We can see that ( Λ 1 ϰ ) ( ς ) is bounded for all ψ Ω ψ and that Λ 1 Ω ψ is a relatively compact subset of E . Hence, Λ 1 is compact.
Let ( ϰ n ) Ω ψ , ϰ E , ϰ n ϰ as n . Then, ϰ n ( ς ) ϰ ς 0 uniformly for ς m 0 as n . Since
Λ 1 ϰ n Λ 1 ϰ 2 ϱ Φ q ϰ n ϰ + b α 1 + q sup ς m 0 , Ψ ϰ n ( ς ) + ϰ ( ς ) Ψ ϰ ( ς ) + ϰ ( ς ) ,
and Ψ is continuous, Λ 1 ϰ n Λ 1 ϰ 0 as n , and Λ 1 is continuous.
(iii) For all ϰ , y Ω ψ , we have
Λ 2 ϰ ς Λ 2 y ς = q ( ς ) Φ ( ϰ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Φ ( y ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) ϱ Φ q ϰ y .
Then,
Λ 2 ϰ Λ 2 y ρ ϰ y .
Therefore, Λ 2 is a contraction mapping.
Consequently, there is a υ Ω ψ such that ( Λ 1 + Λ 2 ) υ = υ by applying Krasnoselskii’s fixed-point theorem. Hence, υ is a solution for (6). Since the solution υ through ψ for the equation is unique, the solution υ ( ς ) 0 as ς . □
When λ in Theorem 1 and Q in Theorem 2 exist, Ψ and Φ satisfy the locally Lipschitz condition. Thus, there are constants ϱ Ψ , ϱ Φ > 0 such that
Ψ ( υ ( ς ) + ϰ ( ς ) ) Ψ ( ϰ ( ς ) ) < ϱ Ψ | υ ( ς ) | ,
and
Φ ( υ ( ς ) + ϰ ( ς ) ) Φ ( ϰ ( ς ) ) < ϱ Φ | υ ( ς ) | .
Since υ satisfies
υ ( ς ) = ψ ( 0 ) q ( 0 ) Φ ( ψ ( δ ( 0 ) ) + ϰ ( δ ( 0 ) ) ) Φ ( ϰ ( δ ( 0 ) ) e 0 ς a ( ι ) d ι + q ( ς ) Φ ( υ ( ς δ ( ς ) ) + ϰ ( ς δ ( ς ) ) ) Φ ( ϰ ( ς δ ( ς ) ) ) + 0 ς e s ς a ( ι ) d ι 2 a ( s ) q ( s ) Φ ( υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Φ ( ϰ ( s δ ( s ) ) ) b ( s ) Ψ ( υ ( s ) + ϰ ( s ) ) Ψ ( ϰ ( s ) ) + b ( s ) q ( s ) Ψ ( υ ( s δ ( s ) ) + ϰ ( s δ ( s ) ) ) Ψ ( ϰ ( s δ ( s ) ) ) d s ,
then
υ ( 1 + ϱ Φ q ) ψ + 3 ϱ Φ q υ + b α ( 1 + q ) ϱ Ψ υ ,
that is,
1 3 ϱ Φ q b α ( 1 + q ) ϱ Ψ υ ( 1 + ϱ Φ q ) ψ .
Then, there clearly exists a σ > 0 for each ϵ > 0 such that υ ( ς ) < ϵ for all ς m 0 if ψ < σ . Thus, we obtain the next theorem.
Theorem 3.
Suppose that ϱ Ψ and ϱ Φ satisfy
1 3 ϱ Φ q b α ( 1 + q ) ϱ Ψ > 0 .
Then, the zero solution for (6) is stable.

4. Application in Smart Grid Optimization

In this section, we explore the application of the modified model (1) to optimize the power distribution in smart grids. A smart grid is an advanced electrical grid system that integrates digital communication, automation, and modern control technologies to improve the efficiency, reliability, and sustainability of electricity production, distribution, and consumption. It enables two-way communication between power providers and consumers, allowing for real-time monitoring, demand response, and better integration of renewable energy sources. Modern smart grids face significant challenges due to the following:
  • Variability in Renewable Energy Sources: Solar and wind power introduce periodic and nonlinear fluctuations in energy supply [34,37].
  • Delays in Power Transmission and Communication: Signal transmission and control delays impact the stability of power distribution [33,35].
  • Dynamic Load Demand: Fluctuations in electricity consumption require advanced models to maintain stability and efficiency [36].

4.1. Problem Statement

The findings in Section 2 and Section 3 provide a mathematical foundation for addressing these challenges. Specifically, the Existence of Periodic Solutions: Theorem 1 establishes sufficient conditions for periodic solutions in nonlinear neutral transmission line models. Traditional power system models often assume differentiability and linearity, which do not accurately capture the real-world behavior of smart grids. This directly applies to smart grids where voltage variations follow periodic patterns due to renewable energy sources [38,39]. Thus, there is a need for a robust mathematical framework that can address the following:
  • Periodic and nonlinear variations in voltage and power flow.
  • The impact of transmission delays on grid stability.
  • The long-term asymptotic behavior of voltage fluctuations in the presence of nonlinearities.

4.2. Application of Theoretical Results

Equation (1) can address these challenges by capturing the essential dynamics of power distribution networks, where
  • ϰ ς represents the voltage at a node in the network.
  • p ( ς ) models the periodic power input from renewable sources.
  • δ ( ς ) accounts for delays due to transmission distances.
  • Φ ( · ) and Ψ ( · ) describe nonlinear load characteristics.
Using Equation (1), the voltage dynamics at each node can be modeled, considering the following:
  • The nonlinear behavior of loads and power sources.
  • Delayed feedback due to communication or signal propagation.
  • Periodic variations in power generation and consumption.
The periodicity conditions in Theorem 1 ensure that under appropriate parameter constraints, the voltage will exhibit stable periodic behavior, avoiding instabilities in the grid.

4.3. Simulation of Voltage Dynamics

For the simulation of Model (1), the following parameters and functions were defined:
  • T: Period of the system, T = 2 π .
  • δ ( ς ) : Delay term, defined as δ ( ς ) = 0.5 + 0.2 sin ( ς ) .
  • a ( ς ) : Periodic coefficient, defined as a ( ς ) = 2 + sin ( ς ) .
  • b ( ς ) : Periodic coefficient, defined as b ( ς ) = cos ( ς ) + 1.5 .
  • p ( ς ) : Periodic power input, defined as p ( ς ) = 1 + 0.5 sin ( 2 ς ) .
  • q ( ς ) : Periodic coefficient, defined as q ( ς ) = 0.5 + 0.1 sin ( ς ) .
  • Φ ( ϰ ) : Nonlinear function, defined as Φ ( ϰ ) = sin ( ϰ ) .
  • Ψ ( ϰ ) : Nonlinear function, defined as Ψ ( ϰ ) = tanh ( ϰ ) .
These parameters and functions capture the nonlinear, delayed, and periodic behaviors relevant to the dynamics of voltage in a smart grid environment. The simulation of Model (1) was performed to analyze the voltage dynamics ( ϰ ς ) over time. Figure 1 illustrates the result of the simulation, showing the periodic behavior.

5. Conclusions

In this paper, we developed new sufficient conditions for the existence and asymptotic stability of periodic solutions in nonlinear neutral transmission line models using Krasnoselskii’s fixed-point theorem. By removing differentiability assumptions on delay terms and coefficients, our results extend existing theoretical studies in the field. A test example was presented to illustrate the applicability of the proposed conditions.
Our findings contribute to the theoretical understanding of nonlinear neutral systems, particularly in the context of smart grid stability. However, additional research is needed to explore broader applications and validate the theoretical results with real-world data. Future work could consider numerical simulations, experimental validation, and extensions to more complex models incorporating stochastic effects or distributed parameter systems.

Author Contributions

Writing—original draft preparation, A.A. and M.B.M.; writing—review and editing, M.B.M., I.-L.P., H.S., F.H.D., Y.A.M. and T.S.H. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Scientific Research Deanship at University of Ha’il, Saudi Arabia, through project number RG-24 161.

Data Availability Statement

Data are contained within the article.

Acknowledgments

This research was funded by the Scientific Research Deanship at University of Ha’il, Saudi Arabia, through project number RG-24 161.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Burton, T.A. Stability by Fixed Point Theory for Functional Differential Equations; Dover Publications: New York, NY, USA, 2006. [Google Scholar]
  2. Kuang, Y. Delay Differential Equations with Application in Population Dynamics; Academic Press: New York, NY, USA, 1993. [Google Scholar]
  3. Ardjouni, A.; Djoudi, A. Periodic solutions in totally nonlinear dynamic equations with functional delay on a time scale. Rend. Del Semin. Mat. Della Univ. Torino 2010, 68, 349–359. [Google Scholar]
  4. Burton, T.A. Liapunov functionals, fixed points and stability by Krasnoselskii’s theorem. Nonlinear Stud. 2002, 9, 181–190. [Google Scholar]
  5. Candan, T. Existence of positive periodic solutions of first-order neutral differential equations. Math. Methods Appl. Sci. 2017, 40, 205–209. [Google Scholar] [CrossRef]
  6. Candan, T. Existence of positive periodic solutions of first-order neutral differential equations with variable coefficients. Appl. Math. Lett. 2016, 52, 142–148. [Google Scholar] [CrossRef]
  7. Cheng, Z.; Ren, J. Existence of positive periodic solution for variable-coefficient third-order differential equation with singularity. Math. Methods Appl. Sci. 2014, 37, 2281–2289. [Google Scholar] [CrossRef]
  8. Cheng, Z.; Xin, Y. Multiplicity Results for variable-coefficient singular third-order differential equation with a parameter. Abstr. Appl. Anal. 2014, 2014, 527162. [Google Scholar] [CrossRef]
  9. Chen, F.D. Positive periodic solutions of neutral Lotka-Volterra system with feedback control. Appl. Math. Comput. 2005, 162, 1279–1302. [Google Scholar] [CrossRef]
  10. Chen, F.D.; Shi, J.L. Periodicity in a nonlinear predator-prey system with state dependent delays. Acta Math. Appl. Sin. Engl. Ser. 2005, 21, 49–60. [Google Scholar] [CrossRef]
  11. Fan, M.; Wang, K.; Wong, P.J.Y.; Agarwal, R.P. Periodicity and stability in periodic n-species Lotka-Volterra competition system with feedback controls and deviating arguments. Acta Math. Appl. Sin. Engl. Ser. 2003, 19, 801–822. [Google Scholar] [CrossRef]
  12. Freedman, H.I.; Wu, J. Periodic solutions of single-species models with periodic delay. Siam J. Math. Anal. 1992, 23, 689–701. [Google Scholar] [CrossRef]
  13. Liu, Y.; Ge, W. Positive periodic solutions of nonlinear Duffing equations with delay and variable coefficients. Tamsui Oxf. J. Math. Sci. 2005, 20, 235–255. [Google Scholar]
  14. Li, W.G.; Shen, Z.H. An constructive proof of the existence theorem for periodic solutions of Duffing equations. Chin. Sci. Bull. 1997, 42, 1591–1595. [Google Scholar]
  15. Mesmouli, M.B.; Ardjouni, A.; Djoudi, A. Stability conditions for a mixed linear Levin–Nohel integrodifferential system. J. Integral Equations Appl. 2022, 34, 349–356. [Google Scholar] [CrossRef]
  16. Mesmouli, M.B.; Attiya, A.A.; Elmandouha, A.A.; Tchalla, A.M.J.; Hassan, T.S. Dichotomy Condition and Periodic Solutions for Two Nonlinear Neutral Systems. J. Funct. Spaces 2022, 2022, 6319312. [Google Scholar] [CrossRef]
  17. Mesmouli, M.B.; Ardjouni, A.; Saber, H. Asymptotic Behavior of Solutions in Nonlinear Neutral System with Two Volterra Terms. Mathematics 2023, 11, 2676. [Google Scholar] [CrossRef]
  18. Mesmouli, M.B.; Menaem, A.A.; Hassan, T.S. Effectiveness of matrix measure in finding periodic solutions for nonlinear systems of differential and integro-differential equations with delays. Aims Math. 2024, 9, 14274–14287. [Google Scholar]
  19. Mesmouli, M.B.; Ardjouni, A.; Djoudi, A. A study of the stability in neutral nonlinear differential equations with functional delay via fixed points, Facta Universitatis. Ser. Math. Inform. 2016, 31, 609–627. [Google Scholar]
  20. Wang, Q. Positive periodic solutions of neutral delay equations. Acta Math. Sin. (N.S.) 1996, 6, 789–795. (In Chinese) [Google Scholar]
  21. Wang, Y.; Lian, H.; Ge, W. Periodic solutions for a second order nonlinear functional differential equation. Appl. Math. 2007, 20, 110–115. [Google Scholar] [CrossRef]
  22. Yuan, Y.; Guo, Z. On the existence and stability of periodic solutions for a nonlinear neutral functional differential equation. Abstr. Appl. Anal. 2013, 2013, 175479. [Google Scholar] [CrossRef]
  23. Zeng, W. Almost periodic solutions for nonlinear Duffing equations. Acta Math. Sin. (N.S.) 1997, 13, 373–380. [Google Scholar]
  24. Zhang, G.; Cheng, S. Positive periodic solutions of non autonomous functional differential equations depending on a parameter. Abstr. Appl. Anal. 2002, 7, 279–286. [Google Scholar]
  25. Volterra, V. Theory of Functionals and of Integral and Integro-Differential Equations; Dover Publications: New York, NY, USA, 2005; p. 288. [Google Scholar]
  26. Volterra, V. Sur les équations intégro-différentielles et leurs applications. Acta Math. 1912, 35, 295–356. [Google Scholar]
  27. Tunc, C.; Tunc, O. On the qualitative behaviors of Volterra-Fredholm integro differential equations with multiple time–Varying delays. Arab. J. Basic Appl. Sci. 2024, 31, 440–453. [Google Scholar]
  28. Mahmoud, A.M.; Tunç, C. On the qualitative behaviors of stochastic delay integro-differential equations of second order. J. Inequalities Appl. 2024, 2024, 35. [Google Scholar]
  29. Taier, A.E.; Wu, R.; Iqbal, N. Boundary value problems of hybrid fractional integro-differential systems involving the conformable fractional derivative. Aims Math. 2023, 8, 26260–26274. [Google Scholar]
  30. Ardjouni, A.; Djoudi, A. Existence of periodic solutions for a second-order nonlinear neutral differential equation with variable delay. Palest. J. Math. 2014, 3, 191–197. [Google Scholar]
  31. Ding, L.; Li, Z. Periodicity and stability in neutral equations by Krasnoselskii’s fixed point theorem. Nonlinear Anal. Real World Appl. 2010, 11, 1220–1228. [Google Scholar]
  32. Mansouri, B.; Ardjouni, A.; Djoudi, A. Periodicity and stability in neutral nonlinear differential equations by Krasnoselskii’s fixed point theorem. Cubo Math. J. 2017, 19, 15–29. [Google Scholar]
  33. Al-Anbagi, I.; Erol-Kantarci, M.; Mouftah, H.T. Priority-and delay-aware medium access for wireless sensor networks in the smart grid. IEEE Syst. J. 2013, 8, 608–618. [Google Scholar]
  34. Kabalci, Y.; Kabalci, E. Modeling and analysis of a smart grid monitoring system for renewable energy sources. Sol. Energy 2017, 153, 262–275. [Google Scholar]
  35. Eltigani, D.; Masri, S. Challenges of integrating renewable energy sources to smart grids: A review. Renew. Sustain. Energy Rev. 2015, 52, 770–780. [Google Scholar]
  36. Kundur, P. Power System Stability and Control; McGraw-Hill: New York, NY, USA, 1994. [Google Scholar]
  37. Lund, H. Renewable Energy Systems: A Smart Energy Systems Approach to the Choice and Modeling of 100% Renewable Solutions; Academic Press: Cambridge, MA, USA, 2014. [Google Scholar]
  38. Samadi, P.; Mohsenian-Rad, H.; Schober, R.; Wong, V.W. Advanced demand side management for the future smart grid using mechanism design. IEEE Trans. Smart Grid 2012, 3, 1170–1180. [Google Scholar]
  39. Erseghe, T. Distributed Optimal power Flow Using ADMM. IEEE Trans. Power Syst. 2014, 29, 2370–2380. [Google Scholar]
  40. Smart, D.R. Fixed Points Theorems; Cambridge University Press: Cambridge, UK, 1980. [Google Scholar]
Figure 1. Simulation of neutral transmission line model (1): voltage dynamics ( ϰ ( ς ) ).
Figure 1. Simulation of neutral transmission line model (1): voltage dynamics ( ϰ ( ς ) ).
Axioms 14 00269 g001
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.

Share and Cite

MDPI and ACS Style

Mesmouli, M.B.; Ardjouni, A.; Popa, I.-L.; Saber, H.; Damag, F.H.; Madani, Y.A.; Hassan, T.S. Qualitative Properties of Nonlinear Neutral Transmission Line Models and Their Applications. Axioms 2025, 14, 269. https://doi.org/10.3390/axioms14040269

AMA Style

Mesmouli MB, Ardjouni A, Popa I-L, Saber H, Damag FH, Madani YA, Hassan TS. Qualitative Properties of Nonlinear Neutral Transmission Line Models and Their Applications. Axioms. 2025; 14(4):269. https://doi.org/10.3390/axioms14040269

Chicago/Turabian Style

Mesmouli, Mouataz Billah, Abdelouaheb Ardjouni, Ioan-Lucian Popa, Hicham Saber, Faten H. Damag, Yasir A. Madani, and Taher S. Hassan. 2025. "Qualitative Properties of Nonlinear Neutral Transmission Line Models and Their Applications" Axioms 14, no. 4: 269. https://doi.org/10.3390/axioms14040269

APA Style

Mesmouli, M. B., Ardjouni, A., Popa, I.-L., Saber, H., Damag, F. H., Madani, Y. A., & Hassan, T. S. (2025). Qualitative Properties of Nonlinear Neutral Transmission Line Models and Their Applications. Axioms, 14(4), 269. https://doi.org/10.3390/axioms14040269

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop