Next Article in Journal
Entropy of Difference: A New Tool for Measuring Complexity
Next Article in Special Issue
Exponential Stability of the Numerical Solution of a Hyperbolic System with Nonlocal Characteristic Velocities
Previous Article in Journal
The Average Sentinel of the Heat Equation with an Unknown Reaction
Previous Article in Special Issue
A Strong Maximum Principle for Nonlinear Nonlocal Diffusion Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Exact Solution of a Scalar Differential Equation via a Simple Analytical Approach

by
Nada A. M. Alshomrani
1,
Abdelhalim Ebaid
1,*,
Faten Aldosari
2 and
Mona D. Aljoufi
1
1
Department of Mathematics, Faculty of Science, University of Tabuk, P.O. Box 741, Tabuk 71491, Saudi Arabia
2
Department of Mathematics, College of Science, Shaqra University, P.O. Box 15572, Shaqra 11961, Saudi Arabia
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(2), 129; https://doi.org/10.3390/axioms13020129
Submission received: 12 December 2023 / Revised: 9 February 2024 / Accepted: 17 February 2024 / Published: 19 February 2024
(This article belongs to the Special Issue Difference, Functional, and Related Equations)

Abstract

:
The existence of the advance parameter in a scalar differential equation prevents the application of the well-known standard methods used for solving classical ordinary differential equations. A simple procedure is introduced in this paper to remove the advance parameter from a special kind of first-order scalar differential equation. The suggested approach transforms the given first-order scalar differential equation to an equivalent second-order ordinary differential equation (ODE) without the advance parameter. Using this method, we are able to construct the exact solution of both the transformed model and the given original model. The exact solution is obtained in a wave form with specified amplitude and phase. Furthermore, several special cases are investigated at certain values/relationships of the involved parameters. It is shown that the exact solution in the absence of the advance parameter reduces to the corresponding solution in the literature. In addition, it is declared that the current model enjoys various kinds of solutions, such as constant solutions, polynomial solutions, and periodic solutions under certain constraints of the included parameters.

1. Introduction

As far as we know, there are no standard methods to directly solve delay differential equations (DDEs). A fundamental DDE is well-known as the pantograph delay differential equation (PDDE, ϕ ( t ) = α y ( t ) + β ϕ γ t ) which has a particular application in electric trains. The standard PDDE has been extensively investigated in the literature utilizing several analytical and numerical methods [1,2,3,4,5,6,7,8]. Additional application of the PDDE arises in astronomy at specific values of α , β , and γ . For declaration, the PDDE model becomes the Ambartsumian model [9,10,11,12,13] when α = 1 and β = γ = 1 / q ( q > 1 ). The Ambartsumian model studies the surface brightness in the Milky Way. In addition, several types of exact solutions including the periodic were recently derived in Ref. [14] for the PDDE when γ = 1 , i.e., ϕ ( t ) = α y ( t ) + β ϕ t . An extension of the PDDE can be expressed as ϕ ( t ) = α y ( t ) + β ϕ γ t + τ , where τ is called the advance parameter. The present work focuses on the scalar differential equation (SDE):
ϕ ( t ) = α ϕ ( t ) + β ϕ t + τ , ϕ ( t ) = 0 t < 0 , ϕ ( 0 ) = λ , α , β , λ R , τ 0 .
The main notice here is that if t + τ > t , Equation (1) is, in fact, an advanced equation ( 0 < t < τ / 2 , where τ > 0 ), while at t > τ / 2 , it is a different type (delay model). This paper proposes two simple approaches to solve the advanced equation in the domain of 0 < t < τ / 2 . The first approach is based on transforming the model to a classical two-point boundary value problem (BVP), while the second approach uses the series method. It will be shown that the two approaches lead to the same solution in the interval of 0 < t < τ / 2 . For t > τ / 2 , the solution of the delay model is to be obtained by applying a direct series method.
There are various analytical methods to solve the model (1), such as the Adomian decomposition method (ADM) [15,16,17,18,19,20], the regular perturbation method (which requires α or β to be small enough, i.e., less than unity) [21], and the homotopy perturbation method [22,23]. However, these methods express the solution as infinite series; hence, we may face some difficulties when calculating their components. On the other hand, Laplace transform (LT) is an effective tool to solve initial value problems (IVPs). It has been implemented to solve numerous problems [24], although its application in such a field is rare. Therefore, the search for a simple but effective approach is still a demand.
The main objective of this paper is to determine all possible exact solutions of the current model. This target will be achieved by developing a straightforward approach. The proposed method transforms the model (1) into an equivalent ordinary differential equation (ODE) such that the advance parameter ( τ ) disappears. First, the exact solution of the transformed ODE is established in a direct manner using basic rules in calculus; then, the exact solution of the current model is constructed.
It will be shown that the present model enjoys several kinds of solutions, e.g., constant solutions, polynomial solutions, and periodic solutions. These types of solutions are governed by certain relationships for the α , β , and τ parameters. The analytic solution in the relevant literature is recovered as a special case of our solution at τ = 0 . Various interesting properties with respect to the nature of the obtained solutions are discussed in detail. The current analysis begins with solving the reduced delay model (when α = 0 ) to explain the main steps of the proposed method. Later, the full model (when α 0 ) is solved exactly in terms of a wave solution with specified formulas for the amplitude and the phase.

2. The Advanced Equation: 0 t τ / 2

Here, a direct approach is applied to solve the model (1) in the domain of 0 t τ / 2 (advanced equation). Two cases are considered: the first is the special case of α = 0 , while the second one considers the complete form of the present model, i.e., α 0 . Then, it will be shown that the solution of the second case reduces to the corresponding solution of the first case when α = 0 .

2.1. Reduced Model: α = 0

At α = 0 , the current model becomes
ϕ ( t ) = β ϕ t + τ , ϕ ( t ) = 0 t < 0 , ϕ ( 0 ) = λ , 0 t τ / 2 .
A well-known method for solving scalar equations is the method of steps. Unfortunately, this method is not applicable to solve the problem (2). This is simply because for 0 t τ / 2 , we have τ / 2 t + τ τ , and accordingly, we have no a value for ϕ t + τ in this case. Our idea is to transform this advanced model to a classical boundary value problem (BVP) be means of the advance parameter ( τ ), along with the characteristics of the equation itself in the corresponding domain.
This can be achieved by differentiating Equation (2) once with respect to t to give
ϕ ( t ) = β ϕ t + τ ,
where the term ϕ t + τ can be directly obtained from Equation (2) by replacing t with t + τ ; thus,
ϕ t + τ = β ϕ t .
Substituting (4) into (3) yields
ϕ ( t ) + β 2 ϕ t = 0 ,
which is a classical ODE of the second order to be solved in the domain of 0 t τ / 2 . Hence, two conditions are required in order to solve the ODE (5). The first condition is already available, which is ϕ ( 0 ) = λ , while the another condition can be deduced from Equation (2) at the end point of t = τ / 2 as
ϕ ( τ / 2 ) = β ϕ τ / 2 .
It is now our objective to solve Equation (5) subject to
ϕ ( 0 ) = λ , ϕ ( τ / 2 ) = β ϕ τ / 2 .
The solution of Equation (5) is well known as
ϕ ( t ) = c 1 sin ( β t ) + c 2 cos ( β t ) ,
where c 1 and c 2 , are unknown constants. These constants are determined by applying conditions (7) and (8); therefore,
c 1 = λ cos ( β τ / 2 ) + sin ( β τ / 2 ) cos ( β τ / 2 ) sin ( β τ / 2 ) , c 2 = λ .
Accordingly,
ϕ ( t ) = λ cos ( β τ / 2 ) + sin ( β τ / 2 ) cos ( β τ / 2 ) sin ( β τ / 2 ) sin ( β t ) + λ cos ( β t ) ,
which can be compacted in the following form:
ϕ ( t ) = λ sec ( β τ ) sin ( β t ) + cos ( β ( t τ ) ) .
It can be easily verified by direct substitution that the solution given by Equation (11) satisfies the model (2) and the conditions (7). The procedure above is also valid to determine the exact solution of the full model (1) when α 0 , and this is the issue of focus of the next section.

2.2. Full Model: α 0

Following the same analysis as above and differentiating Equation (1) once with respect to t, we obtain
ϕ ( t ) = α ϕ ( t ) β ϕ t + τ , ϕ ( t ) = 0 t < 0 , ϕ ( 0 ) = λ , 0 t τ / 2 .
Equation (12) can be rewritten as
ϕ ( t ) = α α ϕ ( t ) + β ϕ ( t + τ ) β α ϕ ( t + τ ) + β ϕ ( t ) ,
which reduces to the classical second-order ODE, as follows:
ϕ ( t ) + β 2 α 2 ϕ t = 0 .
Here, Equation (14) should be solved subject to the following conditions:
ϕ ( 0 ) = λ , ϕ ( τ / 2 ) = ( α + β ) ϕ τ / 2 .
For α 2 < β 2 , i.e., α β < 1 , the solution of Equation (14) is periodic and given by
ϕ ( t ) = c 3 sin β 2 α 2 t + c 4 cos β 2 α 2 t ,
or
ϕ ( t ) = c 3 sin Ω t + c 4 cos Ω t ,
where Ω is defined by
Ω = β 2 α 2 , α β < 1 ,
and c 3 and c 4 , are unknown constants. Applying the first conditions in (15) to the solution (17) gives c 4 = λ ; hence,
ϕ ( t ) = c 3 sin Ω t + λ cos Ω t .
In order to apply the second conditions, i.e., ϕ ( τ / 2 ) = ( α + β ) ϕ τ / 2 , according to Equation (19),
ϕ ( τ / 2 ) = c 3 sin Ω τ / 2 + λ cos Ω τ / 2 ,
ϕ ( t ) = Ω c 3 cos Ω t Ω λ sin Ω t ,
ϕ ( τ / 2 ) = Ω c 3 cos Ω τ / 2 Ω λ sin Ω τ / 2 .
Implementing (20) and (22) in the second condition and solving the resulting algebraic equation for c 3 yields
c 3 = λ Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) .
Inserting this constant into Equation (19), we obtain
ϕ ( t ) = λ Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) sin ( Ω t ) + cos ( Ω t ) .
The solution can also be expressed in the following form:
ϕ ( t ) = λ Ω cos ( Ω ( t τ / 2 ) ) + ( α + β ) sin Ω ( t τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) .
It is observed from Equation (24) that the solution reduces to the corresponding solution presented in the previous section by setting α = 0 . In this case, i.e., at α = 0 , the parameter Ω in Equation (18) is equal to β . Hence, solution (25) reduces to solution (10) when α = 0 and Ω = β . In subsequent sections, we will examine the influence of the τ parameter on the behavior of solution (25) at various values of α and β . Moreover, some existing results reported in the literature will be determined and recovered as special cases for comparison with the current cases.

3. Existence and Uniqueness

Although we are not able to provide a theorem for existence and uniqueness for the current model (which is proposed and investigated for the first time), we can show that the solution in the interval of 0 < t < τ / 2 obtained by other methods is identical to the obtained solution reported in the previous section. This gives a sense that the solution of the reduced model or the full model is actually unique. To declare this point, let us consider another method to solve the full model in the interval of 0 < t < τ / 2 using the series approach as follows:
ϕ ( t ) = i = 0 a i t τ 2 i .
Substituting this series into Equation (1), we obtain
a i + 1 = α + ( 1 ) i β i + 1 a i , i 0 ,
which gives
a 2 i = ( 1 ) i a 0 ( 2 i ) ! β 2 α 2 i , a 2 i + 1 = ( 1 ) i a 0 ( 2 i + 1 ) ! ( β + α ) β 2 α 2 i , α β < 1 , i 0 ,
or
a 2 i = ( 1 ) i a 0 ( 2 i ) ! β 2 α 2 2 i , a 2 i + 1 = ( 1 ) i a 0 ( 2 i + 1 ) ! ( β + α ) β 2 α 2 2 i , i 0 ,
i.e.,
a 2 i = ( 1 ) i a 0 ( 2 i ) ! Ω 2 i , a 2 i + 1 = ( 1 ) i a 0 ( 2 i + 1 ) ! β + α Ω Ω 2 i + 1 , i 0 .
Thus,
ϕ ( t ) = i = 0 a 2 i t τ 2 2 i + i = 0 a 2 i + 1 t τ 2 2 i + 1 , = a 0 cos Ω t τ 2 + β + α Ω sin Ω t τ 2 .
Upon applying the given condition, ϕ ( 0 ) = λ we obtain
a 0 = λ cos ( Ω τ / 2 ) β + α Ω sin ( Ω τ / 2 ) .
Hence, the same solution (25) is obtained. This may give the impression that the solution is unique but, of course, not sufficient. Future works are necessary in this area.
From Equation (5) and the two boundary conditions (7), it can be seen that if tan ( β τ / 2 ) = 1 , then either the solution does not exist (if λ is not zero) or, with λ = 0 , the solution is the c sin ( b e t a t ) function for each constant (c).
In addition, it can be shown that the solution (11) does not exist if β τ = 2 m π + π / 2 , m = 0 , 1 , 2 , , while solution (11) reduces to ϕ ( t ) = λ cos ( β τ ) if β τ = 2 m π + 3 π / 2 (this case requires calculation of the limit of Equation (11)). Similar analysis can be followed for solution (25) if tan Ω τ / 2 = α + β Ω , where Ω is defined in Equation (18).

4. Compact Form for the Periodic Solution of the Advanced Equation

The objective of this section is to provide a compact formula for the solution of the advanced equation. It will be shown that the compact formula is useful for the purposes of comparisons between the present results and the corresponding results in the literature.
Theorem 1.
The periodic solution of the advanced equation is given by the following compact form:
ϕ ( t ) = λ 1 + Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) 2 sin Ω t + tan 1 Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) ,
such that α β < 1 .
Proof. 
Let us assume the solution in the following form:
ϕ ( t ) = μ sin Ω t + θ ,
i.e.,
ϕ ( t ) = μ cos θ sin Ω t + μ sin θ cos Ω t ,
where Ω is defined in Equation (18). In view of the right-hand side of Equations (28) and (24), we have the following system:
μ cos θ = λ Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) ,
μ sin θ = λ .
Solving this system for μ and θ , we obtain
μ = λ 1 + Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) 2 ,
and
θ = tan 1 Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) .
Substituting (31) and (32) into (27) completes the proof. □

5. Special Cases of the Advanced Equation

This section aims to provide some lemmas to determine the exact solutions of special cases for the included parameters, i.e., α and β , and the advance parameter ( τ ). Some of the obtained results agree with the corresponding results in the relevant literature (in the absence of the advance parameter ( τ )), while the rest of results are reported for the first time.
Lemma 1.
If the advance parameter (τ) vanishes, the solution given in Equation (24) or its equivalent form in Equation (25) reduces to the corresponding form in the literature [14].
ϕ ( t ) = λ β + α β α sin β 2 α 2 t + cos β 2 α 2 t , α β < 1 .
Proof. 
Setting τ = 0 in Equation (24) gives
ϕ ( t ) = λ α + β Ω sin ( Ω t ) + cos ( Ω t ) .
Substituting Ω = β 2 α 2 into the last equation yields
ϕ ( t ) = λ α + β β 2 α 2 sin ( β 2 α 2 t ) + cos ( β 2 α 2 t ) .
Simplifying the first term on the right-hand side leads to the result of this lemma. □
Lemma 2.
The solution given by Lemma 1 is equivalent to
ϕ ( t ) = λ 2 β β α sin β 2 α 2 t + tan 1 β α β + α , α β < 1 .
Proof. 
The proof follows immediately according to the same analysis/procedure used for Theorem 1. □
Lemma 3.
If α and τ vanish, the solution takes the following form:
ϕ ( t ) = 2 λ sin β t + π 4 ,
which is equivalent to
ϕ ( t ) = λ sin β t + cos β t .
Proof. 
The proof follows immediately from Equations (26) and (33) by setting α = 0 and τ = 0 . □
Lemma 4.
If β = α , the solution reduces to the following polynomial of the first degree in t:
ϕ ( t ) = λ 1 α τ 2 α t + 1 α τ ,
such that α τ 1 .
Proof. 
In this case, we observe from Equation (18) that Ω 0 ; accordingly, the solution can be evaluated by calculating the limit of Equation (24) or Equation (25) as Ω 0 . Upon using Equation (25), we find that
ϕ ( t ) = λ lim Ω 0 Ω cos ( Ω ( t τ / 2 ) ) + ( α + β ) sin Ω ( t τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) = 0 0 .
Thus,
ϕ ( t ) = λ lim Ω 0 d d Ω Ω cos ( Ω ( t τ / 2 ) ) + ( α + β ) sin Ω ( t τ / 2 ) d d Ω Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) ,
i.e.,
ϕ ( t ) = λ lim Ω 0 cos ( Ω ( t τ / 2 ) ) Ω ( t τ / 2 ) sin ( Ω ( t τ / 2 ) ) + ( α + β ) ( t τ / 2 ) cos ( Ω ( t τ / 2 ) ) cos ( Ω τ / 2 ) Ω τ / 2 sin ( Ω τ / 2 ) ( α + β ) τ / 2 cos ( Ω τ / 2 ) ,
and this gives
ϕ ( t ) = λ 1 + ( α + β ) ( t τ / 2 ) 1 ( α + β ) τ / 2 .
Since β = α , Equation (43) becomes
ϕ ( t ) = λ 1 α τ 2 α t + 1 α τ ,
which completes the proof. □
Lemma 5.
If β = α and τ = 0 , the solution reduces to
ϕ ( t ) = λ 2 α t + 1 ,
which agrees with the corresponding solution in the literature [20].
Proof. 
Substituting τ = 0 into Equation (44) completes the proof. □
Lemma 6.
If β = α , the solution is the constant function ( ϕ ( t ) = λ ) such that β τ 1 or α τ 1 .
Proof. 
Substituting β = α into Equation (18), we get Ω = 0 . Hence, the analysis presented in Lemma 4 should also be followed here but replacing β with α in Equation (43). In this case, the term ( α + β ) t disappears from the right-hand side of Equation (43). Hence, the solution becomes the constant λ such that β τ 1 , which completes the proof. □

6. Characteristics of the Solution of the Advanced Equation

This section discusses some characteristics of the obtained periodic wave solution, such as the behavior, the amplitude, the phase, and the concept of critical values of the advance parameter ( τ ).

6.1. Behavior of the Periodic Solution

The result derived by Theorem 1 shows that the solution of the present model is periodic with the periodicity (P), as follows:
P = 2 π Ω ,
where Ω = β 2 α 2 under the constraint α β < 1 . In view of Equation (46), the periodicity (P) is independent of the advance parameter ( τ ). The chosen values of α and β cover all possible cases regarding the signs of α and β such that α β < 1 . Figure 1, Figure 2, Figure 3 and Figure 4 show the curves of the solution in the interval of 0 t τ / 2 (which is the domain of the solution of the present scalar model) at λ = 1 , α = 1 , and β = 2 when τ = 6 (Figure 1), τ = 8 (Figure 2), τ = 10 (Figure 3), and τ = 12 (Figure 4). Figure 1 and Figure 2 indicate that the curves represent portions of the periodic solution, i.e., not a complete period, while the curves depicted in Figure 3 and Figure 4 exceed a complete period in the domain of the solution. Moreover, the behavior of the solution at different values of α and β is displayed in Figure 5 when λ = 1 and τ = 4 .
At a certain relation between the advance parameter ( τ ) and the parameters α and β , one can obtain a solution with one complete period in the domain of [ 0 , τ / 2 ] . Such a relation can be easily found, as τ / 2 = 2 π / Ω which implies τ = 4 π / β 2 α 2 . In such a case, the exact periodic solution takes the following form:
ϕ ( t ) = λ 2 β β α sin β 2 α 2 t + tan 1 β α β + α , 0 t 2 π / β 2 α 2 .
This form can be directly derived from Equation (26) (Theorem 1) by substituting Ω τ / 2 = 2 π . In addition, the solution in the form of (47) is invested to declare the curves in Figure 6. This figure shows four periodic solutions at four different selected values for the parameters α and β ( ( α , β ) = ( ± 1 , ± 2 ) ) when λ = 1 in the domain of one period ( 0 t 2 π / 3 ). Figure 7 shows four other periodic solutions at ( α , β ) = ( ± 2 , ± 3 ) in the domain of 0 t 2 π .
It is important to refer to the fact that Equation (47) is a solution for scalar (1) when τ = 4 π / β 2 α 2 , i.e.,
ϕ ( t ) = α ϕ ( t ) + β ϕ t + 4 π / β 2 α 2 , ϕ ( 0 ) = λ ,
which consists of only one period in the range of 0 t 2 π / β 2 α 2 .
One can find a solution with two periods if the advance parameter ( τ ) is chosen such that τ = 8 π / β 2 α 2 . In this case, the curves of the solution consist of two complete periods, as indicated in Figure 8.

6.2. The Amplitude, Phase, and Critical Values of the Advance Parameter τ : τ c

The amplitude ( Amplitude ( ϕ ( t ) ) ) and the phase ( Phase ( ϕ ( t ) ) ) of the wave/periodic solution ( ϕ ( t ) ) are mainly dependent on τ , where
Amplitude ( ϕ ) = λ 1 + Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) 2 , Phase ( ϕ ) = tan 1 Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) .
It is noticed from (49) that the amplitude of the wave is always greater than λ , i.e., Amplitude ( ϕ ) > λ . However, we will show that Amplitude ( ϕ ) = λ at certain values of the advance parameter ( τ ) (called the critical values, denoted as τ c ). Setting Ω sin ( Ω τ / 2 ) + ( α + β ) cos ( Ω τ / 2 ) = 0 , we obtain
τ = τ c = 2 Ω tan 1 α + β Ω .
Inserting (50) into (49), one can obtain Amplitude ( ϕ ) = λ .

6.3. Behavior of the Polynomial Solution

In Section 4, it was shown that model (1) has polynomial solution (39) when α = β . In view of Equation (39), it can be deduced that ϕ ( t ) is an increasing function in the whole domain of the independent variable (t) when α > 0 such that τ < 1 / α . However, ϕ ( t ) decreases in the whole domain under two conditions/situations: the first occurs when α > 0 and τ > 1 / α , while the second condition requires α < 0 without any restrictions on the advance parameter ( τ ). Such characteristics of the polynomial solution are demonstrated in Figure 9 and Figure 10.

7. The Delay Equation: t τ / 2

The domain of the delay equation should be divided into two intervals ( τ / 2 t τ and t > τ ) because the properties of ϕ ( t ) in one of these intervals are different than the properties in the other interval. The solution of the delay model is obtained by applying the method of steps in the intervals of τ / 2 t τ and t > τ ; this is the issue of focus of the next subsections.

7.1. The Solution in the Interval: τ / 2 t τ

For τ / 2 t τ , we have 0 t + τ τ / 2 ; accordingly, the value of ϕ ( t + τ ) can be evaluated from the solution in the interval of [ 0 , τ / 2 ] . Let ϕ 1 ( t ) denote the solution in this interval; then, the delay model is described by
ϕ ( t ) = α ϕ ( t ) + β ϕ 1 t + τ , ϕ ( t ) = ϕ 1 ( t ) t [ 0 , τ / 2 ] , τ / 2 t τ ,
with the following initial condition:
ϕ ( τ / 2 ) = ϕ 1 ( τ / 2 ) = γ 1 = λ Ω Ω cos ( Ω τ / 2 ) ( α + β ) sin ( Ω τ / 2 ) ,
where γ 1 is obtained from Equation (25), and Ω is already defined in (18). Since ϕ 1 ( t ) is the solution for t [ 0 , τ / 2 ] , according to (17), we can write
ϕ 1 ( t + τ ) = c 3 sin ( Ω ( t τ ) ) + c 4 cos ( Ω ( t τ ) ) ,
where c 3 and c 4 were already obtained in Section 2.2. Inserting (53) into (51) and solving the IVP ((51) and (52)), we obtain the following exact solution:
ϕ ( t ) = γ 1 e α t τ 2 + 1 β σ 1 sin ( Ω t ) σ 2 cos ( Ω t ) e α t τ 2 σ 1 sin ( Ω τ / 2 ) σ 2 cos ( Ω τ / 2 ) ,
where
σ 1 = Ω μ 1 α μ 2 , σ 2 = α μ 1 + Ω μ 2 ,                                                                                                               μ 1 = c 4 cos ( Ω τ ) + c 3 sin ( Ω τ ) , μ 2 = c 4 sin ( Ω τ ) c 3 cos ( Ω τ ) .

7.2. The Solution in the Interval of t > τ

For t > τ , we have t + τ < 0 ; thus, the value of ϕ ( t + τ ) vanishes in this case. Accordingly, the delay model reduces to the IVP, as follows:
ϕ ( t ) = α ϕ ( t ) , ϕ ( t ) = ϕ 2 ( t ) t [ τ / 2 , τ ] , t > τ ,
where ϕ 2 ( t ) represents the solution ( ϕ ( t ) ) of Equation (54) in the interval of [ τ / 2 , τ ] . Equation (56) is subjected to the following initial condition:
ϕ ( τ ) = ϕ 2 ( τ ) = γ 2 = γ 1 e α τ 2 + 1 β σ 1 sin ( Ω τ ) σ 2 cos ( Ω τ ) e α τ 2 σ 1 sin ( Ω τ / 2 ) σ 2 cos ( Ω τ / 2 ) ,
where γ 2 is obtained from Equation (54). The solution of the present IVP reads
ϕ ( t ) = γ 2 e α ( t τ ) , t > τ .

8. Properties and Behavior of the Solution in the Full Domain

Figure 11, Figure 12, Figure 13 and Figure 14 show the curves of the solutions in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay model. The black dots in these figures represent the connection points between the three solutions in the above three intervals. It is clear from Figure 11, Figure 12, Figure 13 and Figure 14 that ϕ ( t ) is continuous. The oscillation of the solution is also obvious in the domain of [ 0 , τ ] , while another behavior occurs in the ( τ , ) domain.
Figure 15, Figure 16, Figure 17 and Figure 18 display ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at various values of the model’s parameters. It can be observed from these figures that ϕ ( t ) is discontinuous at t = τ , which is one of the main properties of the solution in the domain of the delay equation.

9. Conclusions

In this paper, a simple approach was presented to solve scalar equation ϕ ( t ) = α ϕ ( t ) + β ϕ t + τ . An exact periodic solution was obtained under the condition of α β < 1 . A solution in the relevant literature at τ = 0 was recovered as a special case of the current case. In addition, a polynomial solution was deduced in terms of the advance parameter ( τ ) when β = α . It was demonstrated that the case of β = α leads to a trivial/constant solution. The characteristics of the periodic and polynomial solutions were discussed in detail. Moreover, the behaviors of the periodic and polynomial solutions were introduced by means of several plots. The obtained results reveal the simplicity and the efficiency of the present analysis, which can be further extended to include other types of equations.

Author Contributions

Conceptualization, N.A.M.A., A.E., F.A. and M.D.A.; methodology, N.A.M.A., A.E., F.A. and M.D.A.; software, A.E.; validation, N.A.M.A., A.E., F.A. and M.D.A.; formal analysis, A.E.; investigation, N.A.M.A., A.E., F.A. and M.D.A.; resources, N.A.M.A.; data curation, N.A.M.A., A.E., F.A. and M.D.A.; writing—original draft preparation, N.A.M.A., A.E., F.A. and M.D.A.; writing—review and editing, N.A.M.A., A.E., F.A. and M.D.A.; visualization, N.A.M.A., A.E., F.A. and M.D.A.; supervision, A.E. and M.D.A.; project administration, F.A.; funding acquisition, F.A. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to the research support program of Shaqra University, Shaqra, Saudi Arabia.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Andrews, H.I. Third paper: Calculating the behaviour of an overhead catenary system for railway electrification. Proc. Inst. Mech. Eng. 1964, 179, 809–846. [Google Scholar] [CrossRef]
  2. Abbott, M.R. Numerical method for calculating the dynamic behaviour of a trolley wire overhead contact system for electric railways. Comput. J. 1970, 13, 363–368. [Google Scholar] [CrossRef]
  3. Gilbert, G.; Davtcs, H.E.H. Pantograph motion on a nearly uniform railway overhead line. Proc. Inst. Electr. Eng. 1966, 113, 485–492. [Google Scholar] [CrossRef]
  4. Caine, P.M.; Scott, P.R. Single-wire railway overhead system. Proc. Inst. Electr. Eng. 1969, 116, 1217–1221. [Google Scholar] [CrossRef]
  5. Ockendon, J.; Tayler, A.B. The dynamics of a current collection system for an electric locomotive. Proc. R. Soc. Lond. A Math. Phys. Eng. Sci. 1971, 322, 447–468. [Google Scholar]
  6. Fox, L.; Mayers, D.; Ockendon, J.R.; Tayler, A.B. On a functional differential equation. IMA J. Appl. Math. 1971, 8, 271–307. [Google Scholar] [CrossRef]
  7. Kato, T.; McLeod, J.B. The functional-differential equation y′(x)=ay(λx)+by(x). Bull. Am. Math. Soc. 1971, 77, 891–935. [Google Scholar]
  8. Iserles, A. On the generalized pantograph functional-differential equation. Eur. J. Appl. Math. 1993, 4, 1–38. [Google Scholar] [CrossRef]
  9. Ambartsumian, V.A. On the fluctuation of the brightness of the milky way. Dokl. Akad. Nauk USSR 1994, 44, 223–226. [Google Scholar]
  10. Patade, J.; Bhalekar, S. On analytical solution of Ambartsumian equation. Natl. Acad. Sci. Lett. 2017, 40, 291–293. [Google Scholar] [CrossRef]
  11. Bakodah, H.O.; Ebaid, A. Exact solution of Ambartsumian delay differential equation and comparison with Daftardar-Gejji and Jafari approximate method. Mathematics 2018, 6, 331. [Google Scholar] [CrossRef]
  12. Khaled, S.M.; El-Zahar, E.R.; Ebaid, A. Solution of Ambartsumian delay differential equation with conformable derivative. Mathematics 2019, 7, 425. [Google Scholar] [CrossRef]
  13. Kumar, D.; Singh, J.; Baleanu, D.; Rathore, S. Analysis of a fractional model of the Ambartsumian equation. Eur. Phys. J. Plus 2018, 133, 133–259. [Google Scholar] [CrossRef]
  14. Ebaid, A.; Al-Jeaid, H.K. On the exact solution of the functional differential equation y′(t)=ay(t)+by(-t). Adv. Differ. Equ. Control Process. 2022, 26, 39–49. [Google Scholar]
  15. Adomian, G. Solving Frontier Problems of Physics: The Decomposition Method; Kluwer Acad: Boston, MA, USA, 1994. [Google Scholar]
  16. Wazwaz, A.M. Adomian decomposition method for a reliable treatment of the Bratu-type equations. Appl. Math. Comput. 2005, 166, 652–663. [Google Scholar] [CrossRef]
  17. Duan, J.S.; Rach, R. A new modification of the Adomian decomposition method for solving boundary value problems for higher order nonlinear differential equations. Appl. Math. Comput. 2011, 218, 4090–4118. [Google Scholar] [CrossRef]
  18. Diblík, J.; Kúdelcíková, M. Two classes of positive solutions of first order functional differential equations of delayed type. Nonlinear Anal. Theory Methods Appl. 2012, 75, 4807–4820. [Google Scholar] [CrossRef]
  19. Alshaery, A.; Ebaid, A. Accurate analytical periodic solution of the elliptical Kepler equation using the Adomian decomposition method. Acta Astronaut. 2017, 140, 27–33. [Google Scholar] [CrossRef]
  20. Li, W.; Pang, Y. Application of Adomian decomposition method to nonlinear systems. Adv. Differ. Equ. 2020, 2020, 67. [Google Scholar] [CrossRef]
  21. Ebaid, A.; Al-Jeaid, H.K.; Al-Aly, H. Notes on the Perturbation Solutions of the Boundary Layer Flow of Nanofluids Past a Stretching Sheet. Appl. Math. Sci. 2013, 7, 6077–6085. [Google Scholar] [CrossRef]
  22. Ebaid, A. Remarks on the homotopy perturbation method for the peristaltic flow of Jeffrey fluid with nano-particles in an asymmetric channel. Comput. Math. Appl. 2014, 68, 77–85. [Google Scholar] [CrossRef]
  23. Ayati, Z.; Biazar, J. On the convergence of Homotopy perturbation method. J. Egypt. Math. Soc. 2015, 23, 424–428. [Google Scholar] [CrossRef]
  24. Khaled, S.M. The exact effects of radiation and joule heating on Magnetohydrodynamic Marangoni convection over a flat surface. Therm. Sci. 2018, 22, 63–72. [Google Scholar] [CrossRef]
Figure 1. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 6 .
Figure 1. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 6 .
Axioms 13 00129 g001
Figure 2. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 8 .
Figure 2. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 8 .
Axioms 13 00129 g002
Figure 3. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 10 .
Figure 3. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 10 .
Axioms 13 00129 g003
Figure 4. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 12 .
Figure 4. Plot of the solution at λ = 1 , α = 1 , and β = 2 when τ = 12 .
Axioms 13 00129 g004
Figure 5. Behavior of the solution at different values of α and β when λ = 1 and τ = 4 .
Figure 5. Behavior of the solution at different values of α and β when λ = 1 and τ = 4 .
Axioms 13 00129 g005
Figure 6. The periodic solution (47) for the scalar model (1) at λ = 1 and some selected values of α and β ( ( α , β ) = ( ± 1 , ± 2 ) ) in the domain of one period ( 0 t 2 π / 3 ).
Figure 6. The periodic solution (47) for the scalar model (1) at λ = 1 and some selected values of α and β ( ( α , β ) = ( ± 1 , ± 2 ) ) in the domain of one period ( 0 t 2 π / 3 ).
Axioms 13 00129 g006
Figure 7. The periodic solution (47) for the scalar model (1) at λ = 1 and some selected values of α and β ( ( α , β ) = ( ± 2 , ± 3 ) ) in the domain of one period ( 0 t 2 π ).
Figure 7. The periodic solution (47) for the scalar model (1) at λ = 1 and some selected values of α and β ( ( α , β ) = ( ± 2 , ± 3 ) ) in the domain of one period ( 0 t 2 π ).
Axioms 13 00129 g007
Figure 8. The periodic solution (47) for the scalar model (1) at λ = 1 and some selected values of α and β ( ( α , β ) = ( ± 2 , ± 5 ) ) in the domain of two periods ( 0 t 4 π / 5 ).
Figure 8. The periodic solution (47) for the scalar model (1) at λ = 1 and some selected values of α and β ( ( α , β ) = ( ± 2 , ± 5 ) ) in the domain of two periods ( 0 t 4 π / 5 ).
Axioms 13 00129 g008
Figure 9. Behavior of the polynomial solution at different values of α > 0 when τ = 4 and λ = 1 .
Figure 9. Behavior of the polynomial solution at different values of α > 0 when τ = 4 and λ = 1 .
Axioms 13 00129 g009
Figure 10. Behavior of the polynomial solution at different values of α < 0 when τ = 4 and λ = 1 .
Figure 10. Behavior of the polynomial solution at different values of α < 0 when τ = 4 and λ = 1 .
Axioms 13 00129 g010
Figure 11. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 1 , and β = 2 when τ = 6 .
Figure 11. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 1 , and β = 2 when τ = 6 .
Axioms 13 00129 g011
Figure 12. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 1 , and β = 2 when τ = 12 .
Figure 12. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 1 , and β = 2 when τ = 12 .
Axioms 13 00129 g012
Figure 13. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 2 , and β = 3 when τ = 6 .
Figure 13. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 2 , and β = 3 when τ = 6 .
Axioms 13 00129 g013
Figure 14. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 2 , and β = 3 when τ = 12 .
Figure 14. Plot of the solution in the interval of [ 0 , τ / 2 ] for the advanced equation (blue curve) and in the intervals of [ τ / 2 , τ ] (red curve) and ( τ , ) (green curve) for the delay equation. The black dots represent the connection points between the solutions at λ = 1 , α = 2 , and β = 3 when τ = 12 .
Axioms 13 00129 g014
Figure 15. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 1 , and β = 2 when τ = 6 .
Figure 15. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 1 , and β = 2 when τ = 6 .
Axioms 13 00129 g015
Figure 16. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 1 , and β = 2 when τ = 12 .
Figure 16. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 1 , and β = 2 when τ = 12 .
Axioms 13 00129 g016
Figure 17. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 2 , and β = 3 when τ = 6 .
Figure 17. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 2 , and β = 3 when τ = 6 .
Axioms 13 00129 g017
Figure 18. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 2 , and β = 3 when τ = 12 .
Figure 18. Plot of ϕ ( t ) in the intervals of [ 0 , τ / 2 ] (blue curve), [ τ / 2 , τ ] (red curve), and ( τ , ) (green curve) at λ = 1 , α = 2 , and β = 3 when τ = 12 .
Axioms 13 00129 g018
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

Alshomrani, N.A.M.; Ebaid, A.; Aldosari, F.; Aljoufi, M.D. On the Exact Solution of a Scalar Differential Equation via a Simple Analytical Approach. Axioms 2024, 13, 129. https://doi.org/10.3390/axioms13020129

AMA Style

Alshomrani NAM, Ebaid A, Aldosari F, Aljoufi MD. On the Exact Solution of a Scalar Differential Equation via a Simple Analytical Approach. Axioms. 2024; 13(2):129. https://doi.org/10.3390/axioms13020129

Chicago/Turabian Style

Alshomrani, Nada A. M., Abdelhalim Ebaid, Faten Aldosari, and Mona D. Aljoufi. 2024. "On the Exact Solution of a Scalar Differential Equation via a Simple Analytical Approach" Axioms 13, no. 2: 129. https://doi.org/10.3390/axioms13020129

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