Large time behavior framework for the time-increasing weak solutions of bipolar hydrodynamic model of semiconductors

1.   Introduction

In real-world occurrences, a wide range of physical processes exhibit fractional-order behavior that can alter through time and space. The operations of differentiation and integration of fractional order are authorized by fractional calculus. The fractional order can be used on both imaginary and real integers ^[1,2,3]. Due to vast variety of fractional calculus of applications in disciplines such as physics, chemistry, biology, electronics, thermal systems, electrical engineering, mechanics, signal processing, weapon systems, electro hydraulics, population modeling, robotics, and control, and many others, the theory of fuzzy sets continues to attract researchers' attention ^{[4,5,6,7,8,9,10]}. As a result, over the last few years, it has caught the interest of scholars. In the investigation of population dynamics, the basis of many models used nowadays is formed by the predator-prey model. For mathematical ecology, it is one of the most popular systems.

In 1920, the predator-prey model was presented by Volterra and Lokta for the study of population dynamics. Extensions and variations in this model are beginning to be done for many years. The study of this model in relation to oscillatory and stabilities behavior is very famous nowadays. The essential aspects of predator-prey models, which have a strong biological foundation, have been highlighted.

In the PP model, the study on population was expanded by integrating harvesting and time delay. The rate of population change is not entirely determined by the current population. However, when considering time delay, it is also dependent on the previous population. When using the harvesting model, some research establishes a link between population and economic difficulties. There is a lot of work on the subject of delayed Predator-prey system ^[11]. Modeling dynamical systems in a state of flux with fuzzy differential equations is a natural choice. These systems will give a more accurate description of modern-world problems.

The amount of work being done in this area is fast increasing these days. The notion of fuzzy derivative was first introduced by Chang and Zadeh ^[12]. In 1982, Dubois et al. ^[13] followed up, using the extension idea in their method. The concept of the fuzzy differential equation was introduced to the analysis of fuzzy dynamical concerns by Kandel and Byatt. Many researchers worked on fuzzy differential equation theory and its application to real-world problems ^[14,15,16].

The existence and uniqueness theorems are the most essential and fundamental theorems in classical differential equation theory. Theorems on fuzzy-set functions have been studied in several publications. Some of these are cited as ^[17,18,19], and ^[20]. Ge et al. ^[17] developed the concept of uncertain delay differential equations. Using Banach's fixed point theorem, he proved the existence-uniqueness theorem for the equation under linear growth and Lipschitz conditions. For fuzzy differential equations, Chen et al. ^[18] designed a new existence-uniqueness theorem. To distinguish the theorem from preceding tasks, they apply the Liu procedure ^[18]. Fuzzy delay differential equations with the nonlocal condition were as shown by Balachandran and Prakash ^[19] existence of solutions. Park et al. ^[20] established the existence-uniqueness theorem for fuzzy differential equations by applying successive approximations on ${\bf{E^m}}$. The existence theorem was applied to a particular type of fuzzy differential equation. Abbas et al. ^[21,22] worked on a partial differential equation. Niazi et al. ^[23], Iqbal et al. ^[24], Shafqat et al. ^[25], Abuasbeh et al. ^[26] and Alnahdi et al. ^[27] existence-uniqueness of the FFEE were investigated.

In 2014, Barzinji et al. demonstrated the existence of a solution for FDPP with fuzzy initial conditions on $(E^n, D)$ in ^[28]. The DPP system is

and the FDPPS in a vector form is

Ladde et al.^[29] and reference [30] recently discovered the oscillation theory of delay differential equations. As a result, only a few results on the oscillatory property of distinct fuzzy differential systems have been published ^[31].

The existence of a solution for Caputo FDPP with fuzzy initial condition on $({\bf{E^m}}, D)$ where $\beta \in [1, 2]$ is motivated by the previously mentioned papers. The predator-prey system is

where $x$ represents prey population, $y$ represents predator population, $d$ represents predator death rate, $c$ represents constant predator response, $\sigma$ represents the constant time required to change prey biomass into predator biomass, and $x_0, y_0$ represent the initial conditions.

The FDPP system in a vector form:

To deal with a fuzzy process, the goal of this work is to investigate the existence and uniqueness of results to FDPP systems by using Caputo derivative. Some researchers discovered FDE results in the literature, though the vast majority of them were first-order differential equations. In our research, we discovered results for Caputo derivatives of order (1, 2). We employ FDPPS. The theory of fuzzy sets continues to attract the interest of academics due to its wide range of applications in fields such as engineering, robotics, mechanics, control, thermal systems, electrical, and signal processing. The important points of the FDDE with the nature of the solution of a fundamental existence theorem. The oscillatory behavior of such an equation has vast importance. We will examine oscillation for the Caputo FDPP system in this work, and we will discover the sufficient and necessary criteria for all solutions to be oscillatory.

This paper is organized as follows. In Section 2, some notations, concepts and terminologies are given. In Section 3, the formulation of the fuzzy delay differential predator-prey system are presented. In Section 4, we prove the existence theorem for fuzzy delay predator-prey system. In Section 5, we discuss the oscillation solution of the fuzzy delay predator-prey system. Some examples are presented in Section 6. Finally, Section 7 provides applications in real life and Section 8 provides a brief conclusion.

2.   Preliminaries

2.1.   Fuzzy sets and numbers

Assume $\mathcal{M}_{k}({\bf{R^m}})$ be family of all nonempty compact convex subsets of ${\bf{R^m}}$, addition and scalar multiplication are usually also defined as $\mathcal{M}_{k}({\bf{R^m}})$. Consider two nonempty bounded subsets of ${\bf{R^m}}$, $\mathcal{A}$ and $\mathcal{B}$. Hausdroff metric is used to define the distance between $\mathcal{A}$ and $\mathcal{B}$ as,

where $(||{x}||)$ indicate usual Euclidean norm in ${\bf{R^m}}$.

We can have addition and scalar multiplication in fuzzy number space ${\bf{E^m}}$ using Zadeh's extension principle, as shown in:

where ${x}, y \in {\bf{E^m}}, k \in {\bf{R^m}}$ and $1 \leqslant \beta \leqslant 2$.

Define $D : {\bf{E^m}} \times {{\bf{E^m}}} \rightarrow {{\bf{R^m}}^{+}}$ by equation

where $d$ is the Hausdorff metric for a non-empty compact sets in ${\bf{R^m}}$.

It is now quite easy to see, $D$ is a metric in ${\bf{E^m}}$. Making use of the result,

${\rm(i)}$ $({\bf{E^m}}, D)$ is a complete metric space.

${\rm(ii)}$ $D({x} \oplus z, y \oplus z) = D({x}, y)$ for all ${x}, y, z \in {{\bf{E^m}}}$.

${\rm(iii)}$ ${D(k{x}, ky) = |k|D(x, y)}$ $\forall {x, y \in {\bf{E^m}}}$ and $k \in {\bf{R^m}}$.

${\rm(iv)}$ $D({x} \oplus y, z \oplus e) \leqslant D(x, z) \oplus D(y, e)$ for all ${x}, y, z, e \in {\bf{E^m}}$.

Remark 2.1. On ${\bf{E^m}}$, we can define subtraction $\ominus$, called the H-difference as follows ${\mathrm{u}} \ominus {\mathrm{v}}$ has sense if there exist ${\omega} \in {{\bf{E^m}}}$ such that ${x} = y + z$.

Clearly, ${x} - y \; \nexists \; \forall \; {x}, y \in {\bf{E^m}}$. In what follows, we consider $\mathcal{C}_b = \mathcal{C}([0, b], {\bf{E^m}})$, space of all continuous fuzzy functions define on $[0, b] \subset {\bf{R^m}}$ into ${\bf{E^m}}$, where $b > 0$. For ${x}, y \in \mathcal{C}_b$, we define the metric

Then $(\mathcal{C}_b, \mathcal{H})$ is complete metric space.

Consider the compact interval $T = [c, d]\subset {\bf{R^m}}$. For the set-valued fuzzy mappings, we recall the properties of measurability and integrability ^[32].

Definition 2.2. ^[32] A mapping $\mathcal{F}:\mathcal{I} \in {\bf{E^m}}$ is a strongly measurable if for all ${\beta} \in [1, 2]$ the set-valued function $\mathcal{G}_{\beta}:\mathcal{I} \rightarrow {\mathcal{M}_{k}({\bf{R^m}})}$ define by $\mathcal{G}_\beta(\omega) = [\mathcal{F}(\omega)]^{\beta}$ is Lebesgue measurable when $\mathcal{M}_{k}({\bf{R^m}})$ is endowed with topology generated by the Hausdorff metric $d$.

A mapping $\mathcal{G}:\mathcal{I} \in {\bf{E^m}}$ is called an integrably bounded if there exists an integrable function $k:\mathcal{I} \rightarrow {\bf{R^m}}_+$ such that $D(\mathcal{G}_0(\omega), \mathcal{C}_{0}) \leqslant k(\omega)$ for all $\omega \in T$.

Definition 2.3. ^[32] Let $\mathcal{G}:\mathcal{I} \in {\bf{E^m}}$. Then integral of $\mathcal{G}$ over $\mathcal{I}$ denoted by $\int_{\mathcal{I}}\mathcal{G}(\omega)d\omega$, is defined by equation $[\int_{\mathcal{I}}\mathcal{G}(\omega)d\omega]^{\beta} = \int_{\mathcal{I}}\mathcal{G}_{\beta}(\omega)d\omega = \{\int_{\mathcal{I}}\mathcal{G}(\omega)d\omega / g: \mathcal{I} \rightarrow {\bf{R^m}}$ is a measurable selection for $\mathcal{G}_{\beta}\} \forall {\beta} \in [1, 2]$.

Also, strongly measurable and an integrably bounded mapping $\mathcal{G}:\mathcal{I} \rightarrow {\bf{E^m}}$ is said to be integrable over $\mathcal{I}$ if $\int_{\mathcal{I}}\mathcal{G}(\omega)d\omega \in {\bf{E^m}}$.

Proposition 2.4. If $\mathcal{G}:\mathcal{I} \in {\bf{E^m}}$ is a strongly measurable and integrably bounded then $\mathcal{F}$ is integrable.

The definitions and theorems listed here can be found in ^[20].

Proposition 2.5. Assume $\mathcal{G}, \mathcal{H} : \mathcal{I} \in {\bf{E^m}}$ be integrable and $c \in \mathcal{I}, {\lambda} \in {\bf{R^m}}$. Now FDPP system

${\rm(i)}$ $\int_{\mathcal{I}}(\mathcal{G}(\omega) \oplus \mathcal{H}(\omega))d\omega = \int_{\mathcal{I}}\mathcal{G}(\omega)d\omega \oplus \int_{\mathcal{I}}\mathcal{H}(\omega)d\omega$,

${\rm(ii)}$ $\int_{\omega_0}^{\omega_0+a}\mathcal{G}(\omega)d\omega = \int_{\omega_0}^{c}\mathcal{G}(\omega)d\omega + \int_{c}^{\omega_0+a}\mathcal{G}(\omega)d\omega$,

${\rm(iii)}$ $D(\mathcal{F}, \mathcal{G})$ is an integrable,

${\rm(iv)}$ $D(\int_{\mathcal{I}}\mathcal{G}(\omega)d\omega, \int_{\mathcal{I}}\mathcal{H}(\omega)d\omega) \leqslant \int_{\mathcal{I}}D(\mathcal{G}, \mathcal{H})(\omega)d\omega$.

Theorem 2.6. ^[20] Assume $G: \mathcal{I} \rightarrow {\bf{E^m}}$ is differentiable and let derivative $G^\prime$ is integrable on $\mathcal{I}$. For all $s \in \mathcal{I}$, we now have

Definition 2.7. ^[20] The mapping $g: \mathcal{I} \times {\bf{E^m}} \rightarrow {\bf{E^m}}$ is said to be level-wise continuous at a point $(\omega_0, {\mathrm{u}}_0) \in \mathcal{I} \times {\bf{E^m}}$ provided for any fixed $\beta \in [1, 2]$ and arbitrary $\epsilon > 0$, there exist $\xi(\epsilon, \beta) > 0$, then

when $|\omega-\omega_0| < \xi(\epsilon, \beta)$ and $d([x]_\beta, [x_0]_\beta) < \xi(\epsilon, \beta)$ for all $\omega \in \mathcal{I}, {\mathrm{u}} \in {\bf{E^m}}$.

Corollary 2.8. ^[32] Given that $\mathcal{G} : \mathcal{I} \times {\bf{E^m}} \rightarrow {\bf{E^m}}$ is continuous. Then there's the function.

is differentiable and $\mathcal{H}^\prime(\omega) = G(\omega)$. Then, if $\mathcal{G}$ is continuously differentiable on $\mathcal{I}$, The following is the mean value theorem,

As a result, have

Theorem 2.9. ^[20] Assume $V$ is any metric space and $U$ is a compact metric space. If and only if $\Omega$ is equi-continuous on $U$, and $\Omega(u) = \{\varphi(u) : \varphi \in \Omega\}$ is totally bounded subset of $V$ for each $u \in U$, the subset $\omega$ of $C(U, V)$ of continuous mapping of $U$ into $V$ is totally bounded in metric of uniform convergence.

Consider a system with a delay differential,

Definition 2.10. ^[30] A solution of the system (2.1) ${\mathrm{u}}(\omega) = [{\mathrm{u}}_1(\omega), ..., {\mathrm{u}}_n(\omega)]$ is said to oscillate if every component ${\mathrm{u}}_i(\omega)$ of solution has an arbitrarily large zeros. On the other hand, it is called a non-oscillatory solution.

Theorem 2.11. ^[30] Suppose the coefficients $\mathcal{Q}_i$ and ${\bf{R^m}}_i$ of Eq (2.1) are real $n \times n$ matrices and delays $\kappa_i$ and $\varphi_i$ are positive numbers. Assume ${\mathrm{u}}(\omega)$ be a solution of Eq (1.1) on $[0, \infty)$. Then there exist a positive constant $\mathcal{M}$ and $\zeta$ such that $||{\mathrm{u}}(\omega)|| \leqslant \mathcal{M}{e^{\zeta{\omega}}}$ for $\omega \geqslant 0$.

Theorem 2.12. ^[30] Assume $u \in C\{[0, \infty), {\bf{R^m}}\}$ and suppose that there exist positive constants $\zeta$ and $\psi$ such that $|{\mathrm{u}}(\omega)| \leqslant \mathcal{M}{e^{\zeta{\omega}}}$ for $\omega \geqslant 0$. Then abscissa of convergence $\psi_0$ of Laplace transform $\mathcal{U}(s)$ of ${\mathrm{u}}(\omega)$ satisfies $\psi_0 \leqslant \psi$. In addition, $\mathcal{U}(s)$ exists and is an analytic function of $s$ for $Res < \psi_0$.

Lemma 2.13. ^[30] Consider the nonlinear delay differential system:

As $\omega \rightarrow 0$, every non-oscillatory solution of the Eq (2.2) tends to zero.

Definition 2.14. ^[30] A solution for the system (2.2) ${\mathrm{u}}(\omega) = [{\mathrm{u}}_1(\omega), ..., {\mathrm{u}}_n(\omega)]^T$ is said to oscillate if every component $u_i(\omega)$ of solution has arbitrarily large zeros. On the other hand, it is called a non-oscillatory solution.

Theorem 2.15. ^[30] Consider a differential delay system:

Here are several statements that are equivalent:

${\rm(i)}$ The delay differential system (2.3) has a positive solution.

${\rm(ii)}$ The delay differential inequality:

has a positive solution.

In this situation, the existence and uniqueness of theorems for delay differential equations will be shown.

Theorem 2.16. ^[33] (Existence) Assume

Suppose $\Omega$ is an open subset in ${\bf{R^m}} \times \mathcal{B}$ and $g$ is a continuous on $\omega$. If $(\psi, \mu) \in \omega$, then there is a solution of (2.3) passing through $(\psi, \mu)$.

$g(\omega, \mu)$ is Lipschitz in $\mu$ in compact set $\mathcal{M}$ of ${\bf{R^m}} \times \mathcal{B}$ if there is a constant $k > 0$ that is for $(\omega, \mu_i) \in M$, for $i = 1, 2|g(\omega, \mu_1) - g(\omega, \mu_2)| \leq k|\mu_1 - \mu_2|$.

Theorem 2.17. ^[33] (Uniqueness) Assume $\Omega$ is an open set in ${\bf{R^m}} \times B, g : \Omega \rightarrow {\bf{R^m}}$ is continuous, and $\mathcal{G}(\omega, \psi)$ is Lipschitz in $\psi$ in each set in $\Omega$. If $(\theta, \psi) \in \Omega$, there is a unique solution of (2.5) through $(\kappa, \varphi)$.

3.   Fuzzy delay predator-prey system

In this part, we define a basic system called the FDPP system. Consider a PP system with a time delay:

where ${x}$ represents prey population, $y$ represents predator population, $d$ represents predator death rate, $c$ represents constant predator response, $\sigma$ represents the constant time required to change prey biomass into predator biomass, and $\mathfrak{x}_0, y_0$ represent the initial conditions.

The linear component and ${x}(\omega)$, $y(\omega)$ of system (3.1) are then fuzzified using fuzzy symmetric triangular number and parametric from representation of $\beta$-cut and ${x}(\omega)$, $y(\omega)$ are non negative fuzzy functions:

where $1 \leqslant \beta \leqslant 2$.

The FDPP system can be written as a vector:

where

$-\sigma \leqslant \omega \leqslant 0$.

Where $f$ is fuzzy mapping from ${\bf{E^m}} \rightarrow {\bf{E^m}}, {{\mathrm{u}}}(\omega)$ and ${{\mathrm{u}}}_\omega = {{\mathrm{u}}}(\omega - \sigma)$ are nonnegative fuzzy functions of $\omega$ in ${\bf{E^m}}$. Matrix $\mathcal{A}$ has members that are called fuzzy numbers. $_{0}^{c}D_{\omega}^{\beta}{{{\mathrm{u}}}}(\omega)$ is fuzzy Caputo derivative of ${{\mathrm{u}}}(\omega)$ where ${{\mathrm{u}}}_0$ and ${{\mathrm{u}}}_1$ are fuzzy number.

4.   Existence of the solution

Definition 4.1. Solution to problem (3.2) refers to the mapping ${{\mathrm{u}}}(\omega) : \mathcal{G} \rightarrow {\bf{E^m}}$. if it is continuous at all levels and obeys the integral equation:

Now let $\mathcal{L} = {\zeta \in {\bf{E^m}} : \mathcal{H}(\zeta, {{\mathrm{u}}}_0) \leqslant b}$ be a space of a continuous function with

and $b$ positive number. The following is how we present the existence and uniqueness theorem for the FDPP system (3.2).

Theorem 4.2. Assume $\mathcal{A}$ and $\mathcal{B}$ are level-wise continuous on $\mathcal{G}$ implies that mapping $g : \mathcal{G} \times \mathcal{L} \rightarrow {\bf{E^m}}$ is level-wise continuous on $\mathcal{G}$ and there exists constant $\mathcal{J}_0$ that is

for all ${\mathrm{u}}, {\mathrm{v}} \in {\bf{E^m}}$ and $\omega \in \mathcal{G}$.

Then there's an another solution $u(\omega)$ of (3.2) defined on interval $[0, \delta]$ where

and

Proof. Consider the definition of the operator $\psi : L \rightarrow \mathcal{L}$ as

First, we demonstrate that $\psi : \mathcal{L} \rightarrow \mathcal{L}$ is continuous when $\zeta \in \mathcal{L}$ and $\mathcal{H}(\psi{\zeta}, {\mathrm{u}}_0) \leqslant b$.

As a result, the mapping $\psi$ is continuous. Now

and so

After that, $\psi$ maps $\mathcal{L}$ to $\mathcal{L}$. Because $\mathcal{C}([0, \delta], {\bf{E^m}})$ is complete metric space with metric $\mathcal{H}$, we can now prove that $\mathcal{L}$ is closed subset of $\mathcal{C}([0, \delta], {\bf{E^m}})$, implying that $\mathcal{L}$ is complete metric space. Assume $\phi_n$ is sequence in $\mathcal{L}$ that is $\phi_n \rightarrow \phi \in \mathcal{C}([0, \delta], {\bf{E^m}})$ as $n \rightarrow \infty$. Then

and also,

for sufficiently large $n$ and an arbitrary $\epsilon > 0$. Hence, $\phi \in \mathcal{L}$. This demonstrates that $\mathcal{L}$ is a closed subset of $\mathcal{C}([0, \delta], {\bf{E^m}})$. As a result, $\mathcal{L}$ is the complete metric space.

We'll show that $\psi$ represents contraction mapping, using Proposition 2.5 and the assumption of the theorem. For $\zeta, \phi \in L$,

We conclude

Since $\delta{\mathcal{M}_0} < 2, \psi$ is contraction mapping. Now, $\psi$ has unique fixed point $u \in C([0, \delta], {\bf{E^m}})$ that is $\psi{u} = u$, and

Theorem 4.3. Consider that $g$ and ${\mathrm{u}}_0$ as in Theorem 4.2. And let ${\mathrm{u}}(\omega, {\mathrm{u}}_0), {\mathrm{v}}(\omega, {\mathrm{v}}_0)$ be solutions of system (3.2) corresponding to ${\mathrm{u}}_0, {\mathrm{v}}_0,$ respectively. Then there's a constant $r > 1$ that implies

for any ${\mathrm{u}}_0, {\mathrm{v}}_0 \in {\bf{E^m}}$ and $r = \frac{1}{(1 - r\mathcal{M}_0)}$.

Proof. Assume that ${\mathrm{u}}(\omega, {\mathrm{u}}_0), {\mathrm{v}}(\omega, {\mathrm{v}}_0)$ are solutions of the Eq (3.2) corresponding to ${\mathrm{u}}_0, {\mathrm{v}}_0,$ respectively. Then

Therefore,

and

As a result, the theorem's proof is complete. For the FDPP system with starting value (3.2), we present a generalization of Theorem 4.3.

Theorem 4.4. If $g : \mathcal{G} \times {\bf{E^m}} \rightarrow {\bf{E^m}}$ is level-wise continuous and bounded, then initial value problem (3.2) has at least one solution on the interval $\mathcal{G}$.

Proof. When g is both continuous and bounded, there is a $q \leqslant 1$ that is

Assume $\mathcal{B}$ is bounded set in $\mathcal{C}(\mathcal{G}, {\bf{E^m}})$. The set $\psi{\mathcal{B}} = \{\psi{{\mathrm{u}}} : {\mathrm{u}} \in \mathcal{B}\}$ is totally bounded if and only if it is equi-continuous and for every $\omega \in\mathcal{ G}$, set $\psi{\mathcal{B}} = \{\psi{{\mathrm{u}}}(\omega) : \omega \in \mathcal{G}\}$ is totally bounded subset of ${\bf{E^m}}$. For $\omega_0, \omega_1 \in \mathcal{G}$ with $\omega_0 \leqslant \omega_1$, and $u \in \mathcal{B}$ we get that

This shows that $\psi{\mathcal{B}}$ is equi-continuous. Now, for fixed $\omega \in \mathcal{G}$. Now

We have come to the conclusion that the set $\{\psi{{\mathrm{u}}(\omega)} : {\mathrm{u}} \in \mathcal{B\}}$ is totally bounded in ${\bf{E^m}}$, and so $\psi{\mathcal{B}}$ is relatively compact subset of $\mathcal{C}(\mathcal{G}, {\bf{E^m}})$. Since, $\psi$ is compact, $\psi$ bounded sets are transformed into relatively compact sets. We notice, ${\mathrm{u}}$ is the operator's fixed point $\psi$ defined by Eq (3.2) if and only if ${\mathrm{u}} \in \mathcal{C}(\mathcal{G}, {\bf{E^m}})$ is solution of (3.2).

Then, in metric space, we consider ball $(\mathcal{C}(\mathcal{G}, {\bf{E^m}}), \mathcal{H})$,

Now, $\psi{\mathcal{B}} \subset \mathcal{B}$. For ${\mathrm{u}} \in \mathcal{C}(\mathcal{G}, {\bf{E^m}})$,

Therefore, we define $\tilde{0} : \mathcal{G} \rightarrow {\bf{E^m}}, \tilde{0}(\omega) = \tilde{0}, \omega \in \mathcal{G}$ so, we have

As a result, $\psi$ is compact and consequently it has fixed point ${\mathrm{u}} \in \mathcal{B}$. The initial value problem (3.2) is solved with this fixed point.

5.   Oscillation of fuzzy delay predator-prey system

The oscillation of all FDPPS solutions is discussed in this section. Suppose the following system (3.2). We also present the following $f$ hypotheses, which will only be accepted if they are stated explicitly:

When condition (5.1) or (5.2) is satisfied, the following linear equation is satisfied:

will be referred to as the system's linearized equation (3.2). $\mathcal{C}$ and ${D}$ are fuzzy matrices with characteristic equations,

To establish our oscillation theorem, we must first suppose that the non-linear FDPPS theorem has the same oscillating behavior as the equivalent linear system.

Theorem 5.1. Assume that each linearized equation (5.3) solution is oscillatory. Then every (3.2) solution oscillates as well.

Proof. Suppose that Eq (3.2) has a non-oscillatory solution ${\mathrm{u}}(\omega)$ for the sake of contradiction. We suppose that ${\mathrm{u}}(\omega)$ will be positive at some point. The case where $u(\omega)$ becomes negative in the end is identical and will be ignored. We know that $\lim \limits_{\omega \rightarrow \infty}{\mathrm{u}}(\omega) = 0$ owing to Lemma 2.13. As a result of (5.1),

Let $\epsilon \in (1, 2)$. Then there exists $T_\epsilon$ such that $\omega \geqslant T_\epsilon$ and

As a result of Eq (3.2),

Equation (5.3) has a positive solution, according to Theorem 2.15. This contradicts the claim that all solutions to Eq (5.3) are oscillatory and that proof is complete.

The solution of a linearized system's oscillation theorem is given.

Theorem 5.2. The following propositions are identical if you consider the linearized system (5.3). Componentwise, every solution of Eq (5.3) oscillates. There are no real roots in the characteristic equation (5.4).

Proof. For $(a) \rightarrow (b)$, the proof is easy. There exists non-zero vector ${\mathrm{v}}$ that is $({\bf{ \pmb{\mathsf{ ϖ}}}}_0\mathcal{I} - \mathcal{C} - De{-{\bf{ \pmb{\mathsf{ ϖ}}}}_0\tau}{\mathrm{v}}) = 0$ if ${\bf{ \pmb{\mathsf{ ϖ}}}}_0$ is real root of characteristic equation (5.4). Now, ${\mathrm{u}}(\omega) = e^{{\bf{ \pmb{\mathsf{ ϖ}}}}_0\omega}{\mathrm{v}}$ is clearly non-oscillatory solution of Eq (5.3).

For $(b) \rightarrow (a)$. Assume $(b)$ holds that Eq (5.3) has non-oscillatory solution ${\mathrm{u}}(\omega) = [{\mathrm{u}}(\omega), {\mathrm{v}}(\omega)]^T$ for sake of contradiction. For $\omega \geqslant \tau$, we suppose that the components of ${\mathrm{u}}(\omega)$ are positive. We know, that $u(\omega)$ is of an exponential order because of the Theorem 2.15, and hence there exists $\eta \in {\bf{R^m}}$ that is Laplace transformations of both sides of the Eq (5.3) yield.

where

and

According to the hypothesis, for any $s \in {\bf{R^m}}$, $det[\mathcal{F}(s)] \neq 0$. In addition,

and

Suppose ${\mathrm{u}}(s)$ represents the Laplace transform of the solution's first component ${\mathrm{u}}(\omega)$. Then, according to the Cramer rule,

where

$\phi_1$ is $i^{th}$ component of vector $\phi(s)$ and $\mathcal{F}_{ij}(s)$ is $(i, j)^{\omega{h}}$ component of matrix $\mathcal{F}(s)$. Obviously, for all $i, j = 1, 2$ functions $\phi_1(s)$ and $\mathcal{F}_{ij}(s)$ are entire and thus $det[\mathcal{M}(s)]$ and $det[\mathcal{F}(s)]$ are also complete functions. Assume $\sigma_0$ be abscissa of convergence of ${\mathrm{u}}(s)$, now,

According to Theorem 2.12, we find $\sigma_0 = -\infty$ and (5.8) becomes

As $u(\omega) > 1$ then $\mathcal{U}(s) > 1 \forall s \in {\bf{R^m}}$ and by (5.7) and (5.9), $det[\mathcal{M}(s)] > 1$ for $s \in {\bf{R^m}}$. There are positive constants $\mathcal{K}$, $\gamma$, and $s_0$, as defined by $M(s)$ and (5.6) and (5.7), respectively.

Also, given (5.8), (5.9) and fact that det$[\mathcal{F}(s)]$ is variable $s$ and $e^{-s\tau}$, positive number $m$ exists that is

It may be concluded from (5.11)–(5.13) that

and so

For $\omega \geqslant T$, this means that ${\mathrm{u}}(\omega) = 1$, which is contraction. The proof is done.

6.   Example

Example 6.1. Consider a delay predator-prey system where $\mathcal{G} = [0, 3]$ is the initial value.

The following is a vector representation of the system (5.12):

where

According to Lemma 2.13 and Eq (5.1), $\lim \limits_{\omega \rightarrow \infty}{\mathrm{u}}(\omega) = 0$,

As a result, $f$ is fuzzy mapping $f : \mathcal{G} \times {\bf{E^m}} \rightarrow {\bf{E^m}}$, ${\mathrm{u}}_\omega = {\mathrm{u}}(\omega-1)$ are a positive fuzzy functions of $\omega$ in ${\bf{E^m}}$, and $x_0$ is fuzzy number because $\mathcal{A}$ is fuzzy matrix. The mapping $f$ is a level-wise continuous and bounded in ${\bf{E^m}}$ because $\mathcal{A}$ and $\mathcal{B}$ are a level-wise continuous and bounded on $\mathcal{G}$. $f$ satisfies condition of Theorem 4.4, and so initial value issue (6.1) has a solution on $\mathcal{J}$, according to Theorem 4.4. Consider the following linearized system of (6.2):

The fuzzy matrices ${C}$ and $D$ have the following characteristic equation:

where

There are no real roots in the characteristic equation (6.4). The linearized system oscillates as a result of Theorem 5.2. The system (6.2) oscillates as well, according to the Theorem 5.1.

Example 6.2. Consider FDPPS with $\mathcal{G} = [0, 3]$ as the initial value.

The following is a vector representation of the system (6.6):

where

According to Lemma 2.13 and Eq (5.1), $\lim \limits_{\omega \rightarrow \infty}{\mathrm{u}}(\omega) = 0$,

As a result, $f$ is fuzzy mapping $f : \mathcal{G} \times {\bf{E^m}} \rightarrow {\bf{E^m}}$, ${\mathrm{u}}_\omega = {\mathrm{u}}(\omega-1)$ are positive fuzzy functions of $\omega$ in ${\bf{E^m}}$, and $x_0$ is fuzzy number because $\mathcal{A}$ is a fuzzy matrix. The mapping $f$ is a level-wise continuous and bounded in ${\bf{E^m}}$ because $\mathcal{A}$ and $\mathcal{B}$ are a level-wise continuous and bounded on $\mathcal{G}$. $f$ satisfies condition of Theorem 4.4, so initial value problem (6.7) has solution on $\mathcal{J}$, according to Theorem 4.4. Consider (6.7) as a linearized system:

The fuzzy matrices ${C}$ and $D$ have the following characteristic equation:

where

There are no real roots in the characteristic equation (6.9). The linearized system oscillates as a result of Theorem 5.2. The system (6.7) oscillates as well, according to the Theorem 5.1. The solution curve of the oscillatory property of the system 6.6 is as shown in Figure 1:

7.   Applications in real life

Predator-prey models play a crucial role in studying population dynamics and the management of renewable resources. Very rich and interesting dynamical behaviors, such as Hopf bifurcation, limit cycles, and homoclinic loops, have been observed. Time delay can be incorporated into a predator-prey model in four different ways. It can induce oscillations via Hopf bifurcation in all four types of models. May-type and Wangersky-Cunningham-type models exhibit switch of stability when the time delay takes a sequence of critical values. Constant-rate harvesting could induce more complex dynamics in delayed predator-prey systems, depending on which species is harvested. When the prey is selectively harvested, the dynamics are similar to that of the models without harvesting. Hopf bifurcation usually occurs and over-harvesting can always drive both species to extinction. The results of a study on the collapse of Atlantic cod stocks in the Canadian Grand Banks may be useful in designing fishing policies for the fishery industry, according to researchers at the University of British Columbia and the Canadian Department of Fisheries and Oceans. In general the functional response p(x) is a monotone function, but there are experiments that indicate that nonmonotonic responses occur at the microbial level. This is often seen when micro-organisms are used for waste decomposition or for water purification. A system of delayed differential equations has been proposed to explain why there is a time delay between changes in substrate concentration and corresponding changes in the growth rate of microorganism.

8.   Conclusions

We introduced an FDPPS for the Caputo derivative in this research. On the interval $[1, 2]$, we successfully demonstrated the existence-uniqueness of the FDPPS. On $\mathcal{J}$, we additionally generalized Theorem for the existence theorem of the solution of an FDPPS with a fuzzy initial condition. We also covered the oscillation theorem for FDPPS solutions. The examples provided demonstrate how the results can be applied. Future work could also include expanding on the concept introduced in this paper and introducing observability and generalizing previous efforts. This is a productive field with a wide range of research initiatives that can result in a wide range of applications and theories.

Acknowledgments

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia [Project No. GRANT794], King Faisal University (KFU), Ahsa, Saudi Arabia. The authors, therefore, acknowledge technical and financial support of DSR at KFU.

Conflict of interest

The authors declare no conflict of interest.