Oscillation theorems for higher order dynamic equations with superlinear neutral term

1.   Introduction

Studying the theory of fractional differential equations (FDEs) and fractional integral equations (FIEs) is crucial because they are used in many modeling applications. Fractional equations are essential for many areas of fundamental analysis and their applications in economics, physics, and other disciplines. Quadratic integral equations (QIE), in particular, tend to be helpful in describing a wide range of everyday issues, such as theory of radiative transfer, the theory of neutron transport, the kinetic theory of gases, the queuing theory, and the traffic theory (see, for example, ^[1,2,3,4]).

One of the studied QIEs is called the hybrid integral equation (HIE); see ^[5]. This issue has received great attention in the last few years; see ^[6,7,8,9]. As we see, the hybrid fixed point theory is used to develop the existing solution of the hybrid equations; see ^{[10,11,12,13]}. Other researchers focused on the analysis of QIEs in Orlicz spaces ^[14], equations of QIEs with fractional order arising in the queuing theory and biology ^[15], and the analysis of QIEs depending on both Schauder and Schauder–Tychonoff fixed point principles ^[16].

1.1.   Chandrasekhar quadratic integral equation

The Chandrasekhar quadratic integral equation (CQIE) occurs in the theory of radiative transfer in a plane-parallel atmosphere ^[2]. The radiative transfer process and the integral equation for the scattering function and transmitted functions were developed by Chandrasekhar's work in the 1950s; see ^[14]. This work quickly turned into a major scientific topic in both mathematics and astrophysics, see ^[15,16]. The radiative transfer process and the simultaneous integral equation for the transmitted and scattering functions were developed in Chandrasekhar's seminal work from 1960. In ^[17], the simultaneous integral equation of Chandrasekhar was presented, along with the iteration scheme for the transmitted and scattering functions.

CQIE takes the form

where $^{RL}J^{\mu }$ denotes the Riemann-Liouville fractional integral (RLFI) of order $\mu,$ $f_{1}\left(\varrho, \Phi { \left({ \varrho } \right) }\right) \in \mathbb{C} \left(\hat{I}\times \mathbb{R}, \mathbb{R} -\{0\}\right),$ and $\hat{g}_{\kappa }\left(\varrho, \Phi { \left({ \varrho }\right) }\right) \in \mathbb{C} \left(\hat{I}\times \mathbb{R}, \mathbb{R} \right),$ for $\kappa = 1, 2$.

As a result of the applications of these equations, researchers were interested in studying them, and as a result of the difficulty of finding exact solutions, CQIEs are solved using the ADM and the PM. The ADM provides many advantages, including the ability to solve a variety of linear and nonlinear equations in deterministic or stochastic fields effectively and present an analytical solution for all of these equation types without requiring linearization or discretization. Additionally, it is reliable and provides faster convergence than other classical methods. Moreover, we use measures of weak noncompactness to study existence and uniqueness results. These results demonstrate that the two solutions provide nearly equal accuracy; however, when comparing the time required in each case, the ADM is found to take less time than the PM.

It can be summarized as follows: first, the second section introduces the basic concepts of the measure of noncompactness and the hypothesis. In the third section, we show that if the solution exists, then it will be unique and convergent. After that, we solve some nonlinear Chandraseker QIEs with fractional orders with a comparison between ADM and PM techniques. Finally, graphs are also constructed to illustrate the effectiveness of these two approaches and to compare them.

2.   Measure of noncompactness (MNC)

In the complement of this work, the classical Banach space $\mathbb{C} \left(\hat{I}\right) = \mathbb{C} \left[0, b\right]$ is used, which contains all real continuous functions defined on $\hat{I}$ having the norm

Let us recall the MNC definition in $\mathbb{C} (\hat{I})$ which is used in this investigation and fix a bounded nonempty subset $\Omega$ of $\mathbb{C} (\hat{I}).$ For $\eta \in \Omega$ and $\epsilon > 0$, the modulus of continuity of the function $\; \eta \;$ on the interval $\; \hat{I}\;$ is defined by

and

It is well-known that $\omega _{0}\left(\Omega \right)$ is a measure of noncompactness in$\; \mathbb{C}(\hat{I})\;$such that the Hausdorff measure $\chi$ may be expressed by the formula

see ^[18]. We use the following theorem to prove our investigation.

Theorem 1. ^[18] Let $\mathbb{Q}$ be a bounded, nonempty, and closed convex subset in the space $E.$ Also, let $\hat{H}: \mathbb{Q} \rightarrow \mathbb{Q}$ be a continuous operator such that $\chi (\hat{H}\Omega)\leq l$ $\chi (\Omega)$ to any nonempty subset $\Omega$ of $\mathbb{Q},$ as $l\in \lbrack 0, 1)$ is constant, so $\hat{H}$ has a fixed point in the set $\mathbb{Q}.$

Considering the hypothesis:

${\rm{i.}}$ $\varphi$ $:\hat{I}\rightarrow \mathbb{R}$ is continuous.

${\rm{ii.}}$ $f_{1}:\hat{I}\times \mathbb{R} \rightarrow \mathbb{R}$ is continuous and the function $f_{1}\left(\varrho, 0\right) \in$ $\mathbb{C} (\mathbb{R}), \mathbb{R}$ is the space of all bounded continuous functions, and there exists a positive constant $M = \sup\limits_{\varrho \in \hat{I}}\left\vert f_{1}\left(\varrho, 0\right) \right\vert.$

${\rm{iii}}.$ $\left\vert f_{1}\left(\varrho, \Phi \right) -f_{1}\left(\varrho, \zeta \right) \right\vert \leq L\left\vert \Phi -\zeta \right\vert$ for any $\varrho \in \hat{I}$ for all $\Phi, \zeta \in \mathbb{R}.$

${\rm{iv}}.$ $\hat{g}_{{{ \kappa }}}:\hat{I}\times \mathbb{R} \rightarrow \mathbb{R}, \kappa \ = 1, 2$ satisfies the Carathéodory condition (CC) so, it is measurable in $\varrho$ for all $\Phi \in \mathbb{R}$ and continuous in $\Phi$ for all $\varrho \in \hat{I}$, and there exist functions $m_{{ \kappa }},$ $\kappa$ $= 1, 2\in L_{1}$ such that:

${\rm{v}}.$ $^{RL}J^{\gamma }m_{2}\left({ \varrho }\right) < M_{2},$ $\gamma \leq \mu,$ $\mathbb{C} \geq 0$, and $\int_{0}^{b}\frac{1}{\varrho +s}m_{1}\left(s\right) \mathrm{d} s\leq M_{1}.$

${\rm{vi}}.$ There exists a number $\mathbb{R} _{0} > 0,$ such that

3.   Existence and uniqueness theorems

Define the ball $B_{{ {} \mathbb{R} {} }_{0}}$ as

Theorem 2. Using the hypotheses $(i)-(vi)$, if $\left[\frac{M_{2}Lb^{\mu -\gamma }}{\Gamma (\mu -\gamma +1)}+M_{1}b^{2}\right] < 1,$ then there exists at least a solution $\Phi \in \mathbb{C} \left(\hat{I}\right)$ for HIE (1.1).

Proof. Let the operator $\hat{H}$ defined on $\mathbb{C} \left(\hat{I}\right)$ be

From the hypotheses $(i)-(vi)$, the function $\hat{H}\Phi$ is continuous on $\hat{I}$ for any $\Phi \in B_{{ {} \mathbb{R} {} }_{0}}.$ Further, applying the given hypothesis, we derive the following estimate:

So $\hat{H}\Phi$ is bounded on the interval $\hat{I}.$ Also, we get

for the operator $\hat{H},$ which transforms the ball $B_{{ {} \mathbb{R} {} }_{0}}$ into itself, and $\mathbb{R} _{0}$ is:

Now, we are going to show that the operator $\hat{H}$ is continuous on the ball $B_{{ {} \mathbb{R} {} }_{0}}.$ So, we need to prove that the operator $G_{2}$ defined by

is continuous on $B_{{\mathbb{R}}_{0}}$. To do this, fix $\epsilon > 0,$ let $\Phi _{0}\in B_{{\mathbb{R}}_{0}}$, and from hypothesis $(ii),$ we find $\delta > 0$ such that $||\Phi -\Phi _{0}||\leq \delta,$ and then we have $\left\vert \hat{g}_{2}\left(s, \Phi \right) -\hat{g}_{2}\left(s, \Phi _{0}\right) \right\vert \leq \epsilon$ for $s$ $\in \hat{I},$ where $\Phi$ is any arbitrary element in $B_{{\mathbb{R}}_{0}}.$ For arbitrary fixed $\varrho \in \hat{I},$ we get

The operator $f_{1}\Phi \left({ \varrho }\right) = f_{1}\left(\varrho, \Phi \left({ \varrho }\right) \right)$ is continuous, and then the operator $f_{1}.G_{2}$ is continuous on $B_{{ {} \mathbb{R} {} }_{0}}$, and similarly, we can prove that the operator

is continuous on $B_{{\mathbb{R}}_{0}}.$ This shows that $\hat{H}$ is continuous on $B_{{\mathbb{R}}_{0}}.$ Let $\chi$ be a nonempty subset of $B_{{\mathbb{R}}_{0}}.$ Fix $\epsilon > 0,$ and choose $\Phi \in \chi$ and $\varrho _{1}, \varrho _{2}\in \hat{I}$ such that $\left\vert \varrho _{2}-\varrho _{1}\right\vert \leq \epsilon.$ Let $\varrho _{1}\leq \varrho _{2},$ and then

Hence,

and so

Then

Then

We get

so,

where $\Psi \left(f_{1}, \epsilon \right) = \sup \left\{ \left\vert f_{1}(\varrho _{2}, \Phi (\varrho _{1})-f_{1}(\varrho _{1}, \Phi (\varrho _{1}))\right\vert :\varrho _{1}, \varrho _{2}\in \hat{I}, \left\vert { \varrho } _{2}-{ \varrho }_{1}\right\vert \leq \epsilon, \Phi \in B_{{ {} \mathbb{R} {} }_{0}}\right\}.$

Knowing that $f_{1}$ is uniformly continuous on the set $\hat{I}$ $\times B_{ { {} \mathbb{R} {} }_{0}},$ we derive the inequality

Then

From (2.4), this inequality leads to

If $\left[\frac{M_{2}Lb^{\mu -\gamma }}{\Gamma (\mu -\gamma +1)}+M_{1}b^{2} \right] < 1$ and using Theorem 1, there exists at least a solution $\Phi \in \mathbb{C} \left(\hat{I}\right)$ for HIE (1.1).

The following hypotheses are satisfied if there exist $\hat{g}_{{ \kappa }},$ $\kappa$ $= 1, 2$, such that $(iv)^{\ast }$ $\hat{g}_{{ \kappa }}:$ $\hat{I}\times \mathbb{R} \rightarrow \mathbb{R},$ $\kappa$ $= 1, 2$, satisfies CC, so it can be measurable in $\varrho$ for all $\Phi \in \mathbb{R}$ and continuous in $\Phi$ for all $\varrho \in \hat{I}$. Then

for all $\varrho \in \hat{I}$ and $\Phi, \zeta \in$ $\mathbb{R}$. Let $\Phi _{_{1}}$ and $\Phi _{_{2}}$ be two solutions for the HIE (1.1), and hence

where $\Upsilon = \left(b^{2}M_{1}+L_{1}b^{2}{ \mathbb{R} }_{0}+LM_{2}\frac{b^{\mu -\gamma }}{\Gamma \left(\mu -\gamma +1\right) }+ \frac{L_{2}b^{\mu }(L{ \mathbb{R} }_{0}+M)}{\Gamma \left(\mu +1\right) }\right).$ Then we get the theorem:

Theorem 3. Assume that the hypotheses (i)–(vi) are satisfied, and $\Upsilon < 1$. Then, the solution $\Phi \in \mathbb{C} (\hat{I})$ of (1.1) is unique.

4.   Methods for the solutions

4.1.   Adomian decomposition method (ADM)

In the 1980s, Adomian presented the ADM ^[19,20,21], which is an analytical method used to solve a lot of different equations such as DEs, IEs, integro-differential equations, and partial DEs ^{[22,23,24,25]}. The obtained solution is an infinite series that converges to the exact solution. An important benefit of the ADM is that there is no linearization or perturbation that can change the main problem that has been solved, which is serious. A lot of researchers are interested in using the ADM, as it is successfully applied to many applications that appear in applied sciences ^[26,27,28]. In this research, the ADM is used as the first method to solve the HIE (1.1).

Applying the ADM to (1.1), the ADM solution algorithm is

where $\hat{A}_{{ \kappa }},$ and $\check{D}_{{ \kappa }}$ are Adomian polynomials of the nonlinear terms $\hat{g}_{1}\left(\varrho, \Phi \right), f_{1}\left(\varrho, \Phi \right)$, and $\hat{g}_{2}\left(\varrho, \Phi \right)$ which take the forms

Finally, the ADM solution is

4.1.1.   Convergence analysis

Theorem 4. If hypotheses $(i)-(vi)$ are satisfied, $\Upsilon _{2} < 1$, and $\left\vert \Phi _{1}\left(\varrho \right) \right\vert < \Bbbk,$ where $\Bbbk$ is a positive constant, then the series solution (4.5) of (1.1) using the ADM is convergent.

Proof. Define the sequence $\left\{ \hat{S}_{\rho }\right\}$ such that $\hat{S} _{\rho } = \sum\limits_{{ \kappa } = 0}^{\rho }\Phi _{{ \kappa } }\left({ \varrho }\right)$ is a sequence of partial sums taken from the series (4.5), and

Let $\hat{S}_{\rho }$ and $\hat{S}_{\theta }$ be two partial sums of the ADM series solution such that $\rho > \theta$. We want to prove that $\left\{ \hat{S} _{\rho }\right\}$ is a Cauchy sequence (CS) in this Banach space (Bs).

hence,

Thus, by applying $\left\vert \cdot \right\vert$ to both sides, we find

where $\Upsilon _{2} = \left[b^{2}M_{1}+LM_{2}\frac{\left(b\right) ^{\mu -\gamma }}{\Gamma \left(\mu -\gamma +1\right) }\right].$ Let $\rho = \theta +1,$ and we get

Using the triangle inequality, we arrive at

If $0 < \Upsilon _{2} < 1$ and $\rho > \theta$, this leads to $\left(1-\Upsilon _{2}^{\rho -\theta }\right) \leq 1$. Then

If $\left\vert \Phi _{1}(\varrho)\right\vert < \Bbbk,$ $\theta \rightarrow \infty$, then $\left\Vert \hat{S}_{\rho }-\hat{S}_{\theta }\right\Vert \rightarrow 0,$ which leads to $\left\{ \hat{S}_{\rho }\right\}$ being a CS in this BS and the series (4.5) is convergent.

4.1.2.   Error analysis

Theorem 5. The maximum absolute error of the ADM series solution (4.5) is

Proof. In Theorem 2, we see that

and ${\hat{S}} _{\rho } = \sum\limits_{{ \kappa } = 0}^{\rho }\Phi _{{ \kappa }}(\varrho)$, $\rho \rightarrow \infty$. Then, ${\hat{S}} _{\rho }\rightarrow \Phi (\varrho),$ and hence

and the maximum absolute error is written as

4.2.   Picard method (PM)

The method of successive approximations (PM) was presented by Emile Picard in 1891. PM and ADM methods were first compared by Rach and Bellomo in 1987 ^[26,29]. In 1999, Golberg deduced that these two methods were equivalent for linear differential equations ^[30]. But this equivalence is not achieved in the nonlinear case. In 2010, El-Sayed et al. used them to solve QIE ^[31]. In 2012, El-Sayed et al. used them to solve a coupled system of fractional QIEs ^[32]. In 2014, El-Sayed et al. used them to solve FQIE ^[33]. In 2024, Ziada used them to solve a nonlinear FDE system containing the Atangana–Baleanu derivative ^[34]. In this research, we use them to get the solution for a nonlinear HDE and compare their results.

Applying the PM to the QIE (1.1), the solution is a sequence constructed by

All the functions $\Phi _{{ \kappa }}\left({ \varrho }\right)$ are continuous functions and $\Phi _{{ \kappa }}$ are the sum of successive differences

Therefore, the sequence $\Phi _{{ \kappa }}$ convergence is the same as the infinite series $\sum \left(\Phi _{{ \kappa }}-\Phi _{{ \kappa }-1}\right)$ convergence. The final PM solution takes the form

From the above relations, we can deduce that if the series $\sum \left(\Phi _{{ \kappa }}-\Phi _{\kappa -1}\right)$ is convergent, then the sequence $\Phi _{{ \kappa }}\left({ \varrho }\right)$ is convergent to $\Phi \left({ \varrho }\right)$. To prove that the sequence $\left\{ \Phi _{{ \kappa }}{ \left({ \varrho } \right) }\right\}$ is informally convergent, consider the associated series

From (4.7) for $\kappa$ $= 1$, we get

So, we have

Thus,

Now, we get an estimate for $\Phi _{{ \kappa }}\left({ \varrho } \right) -\Phi _{\kappa -1}\left({ \varrho }\right),$ $\kappa$ $\geqslant 2$:

and

Thus,

From the hypotheses $(\mathrm{ii})$ and $(\mathrm{iii}),$ we have

so,

where $\Upsilon _{1} = \left[b^{2}{ \mathbb{R} }_{0}M_{1}+\frac{M_{2}b^{\mu -\eta }\left(L{ \mathbb{R} }_{0}+M\right) }{\Gamma \left(\mu -\eta +1\right) }\right].$

In the above relation, if we put $\kappa$ $= 2$ and use (4.13), we get

Doing the same for $\kappa$ $= 3, 4, \cdots$ gives us

Then the general form of this relation is

Since $\Upsilon _{1} < 1,$ then the series

is uniformly convergent. Hence, the sequence $\left\{ \Phi _{{ \kappa } }{ \left({ \varrho }\right) }\right\}$ is uniformly convergent. Since $\hat{g}_{1}\left(\varrho, \Phi \left({ \varrho }\right) \right), \hat{g}_{2}\left(\varrho, \Phi \left({ \varrho }\right) \right)$, and $f_{1}\left(\varrho, \Phi \left({ \varrho }\right) \right)$ are continuous in $\Phi$, then

Hence, the solution exists.

5.   Numerical examples

Example 1. For the HIE of Chandraseker type:

where

and its exact solution is $\Phi \left({ \xi }\right) = \xi ^{2}.$

Applying the ADM to Eq (5.1), we get

Using the PM in Eq (5.1), the solution algorithm is

Figure 1 shows ADM solutions at different values of $\mu$ ($\mu = 0.5,$ $0.6,$ $0.7,$ $0.8,$ $0.9,$ $1$), and Figure 2 shows PM solutions at the same values.

Remark 1. A comparison between the absolute relative error (ARE) of ADM and PM solutions with the exact solution (where $\mu = 0.5$) is given in Table 1. It is clear from these results that the two solutions nearly give the same accuracy, but when a comparison is made between the time used in these two cases, it is found that the ADM takes less time than the PM (ADM time = 22 sec., PM time = 319.188 sec.). Figure 3(a) shows the ADM and the exact solution, while Figure 3(b) shows the PM with the exact solution.

Example 2. For the HIE of Chandraseker type:

where

and its exact solution is $\Phi \left({ \xi }\right) = \xi.$

Applying the ADM to Eq (5.6), we get

Using the PM in Eq (5.6), we have

Figure 4(a) shows the ADM and exact solution, while Figure 4(b) shows the PM bwith the exact solution.

Remark 2. The absolute difference (AD) between ADM and PM solutions (where $\mu = 0.9$) is $\left\vert \Phi _{PM}-\Phi _{ADM}\right\vert = 0$ for $\xi = 0.2,$ $0.4,$ $..., 2$. It is clear from these results that the two solutions are nearly the same, but when a comparison is made between the time used in these two cases, it is found that the ADM takes less time than the PM (ADM time = 42 sec., PM time = 253.2 sec.). Figure 5 shows ADM and PM solutions at ($\mu = 0.9)$.

Example 3. For the HIE of Chandraseker type:

where

and its exact solution is $\Phi \left({ \xi }\right) = \xi.$

Applying the ADM to Eq (5.11), we have

Using the PM in Eq (5.11), we get

Remark 3. A comparison between the ARE of ADM and PM solutions with the exact solution is given in Table 2. It is clear from these results that the two solutions nearly give the same accuracy, but when a comparison is made between the time used in these two cases, it is found that the ADM takes less time than the PM (ADM time = 69.124 sec., PM time = 70.875 sec.). Figure 6 shows ADM solutions at different values of $\mu$ ($\mu = 0.5,$ $0.6,$ $0.7,$ $0.8,$ $0.9,$ $1$), and Figure 7 shows PM solutions at the same values.

6.   Conclusions

In this research, two analytical methods (ADM and PM) are used to solve the fractional CQIE that was found in the nonlinear analysis and its applications. The existence of a unique solution and its convergence to the two methods are proved (see Theorems 2, 4, and 5). This article focused on making a comparison between them with the exact solution (see the results in Tables 1 and 2). It is observed from the obtained results that the difference between their accuracy is too small to consider, but when we compare their used time, it was clear that the ADM takes less time than the PM (it is more clear in Example 1). These results showed that the two methods satisfied certain criteria that were provided by the solutions.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgements

The authors would like to thank Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2024R406), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.

Author contributions

Conceptualization, Eman A. A. Ziada and Hind Hashem; Formal analysis, Hind Hashem; Funding acquisition, Asma Al-Jaser; Investigation, Asma Al-Jaser and Osama Moaaz; Methodology, Eman A. A. Ziada and Monica Botros; Software, Asma Al-Jaser and Monica Botros; Writing—original draft, Eman A. A. Ziada and Monica Botros; Writing—review and editing, Osama Moaaz. All authors have read and agreed to the published version of the manuscript.

Conflict of interest

The authors declare there is no conflict of interest.