A Semi-Analytical and Topological Study of Fractional Dynamical Systems in Banach Spaces Endowed with the Compact-Open Topology: Applications to Wave Propagation Phenomena

Abstract

This paper develops a functional operator-theoretic framework for nonlinear Erdelyi–Kober (EK) fractional dynamical systems formulated in Banach spaces endowed with the compact-open topology. Within this setting, sufficient conditions for existence, uniqueness, and Ulam–Hyers stability of solutions are established using the Banach and Schaefer fixed-point theorems. The continuity, boundedness, and Lipschitz properties of the associated nonlinear operators are analyzed to ensure well-posedness of the fractional system. As a constructive complement to the theoretical results, a power series iterative method (PSIM) is employed to obtain an explicit fractional series representation of the solution in the case $0<\alpha <1$. The applicability of the theoretical framework is illustrated through a nonlinear fractional dynamical Belousov–Zhabotinsky system (DBZS), where the assumptions of the main theorems are verified and the solution is constructed via the proposed series scheme. The results provide a coherent link between abstract fixed-point analysis and a constructive semi-analytical representation of solutions for EK fractional systems.

1. Introduction

In recent years, the theory of fractional calculus (FC) has improved from a purely theoretical notion to a fundamental mathematical system that joins complex real-world modeling and classical analysis. It offers a flexible extension of integration and traditional differentiation by extending their orders to be real or complex numbers instead of integers. This extension lets FC provide operators capable of modeling hereditary characteristics and temporal nonlocal interactions and capturing phenomena governed by memory. Such properties render FC effective in modeling systems whose states depend on the cumulative influence of all preceding states [1,2,3]. This nonlocal behavior grants FC the ability to outperform classical models in engineered and natural systems where memory effects play an important role. The notion of fractional operators began in 1695, when Leibniz wrote to L’Hôpital introducing the concept of a derivative of order ${\displaystyle \frac{1}{2}}$. The rigorous theoretical formulation emerged much later through the seminal contributions of Riemann, Liouville, and Grunwald during the nineteenth century [4,5]. Their groundbreaking works established the mathematical bedrock for FC, and under this notion many researchers introduced operators like Katugampola, Caputo–Fabrizio, Hilfer, and EK derivatives. These operators differ mainly in the choice of their kernel functions, which control the memory behavior of the fractional process. Several kernels are singular, whereas others exhibit Mittag–Leffler attenuation or exponential decay, thereby modeling long-term memory behaviors. FC has grown into a dynamic and rich field of research encompassing rigorous theory, numerical computation, and a wide spectrum of practical applications [6]. The growing significance of FC is evident in its wide range of scientific and engineering applications. In viscoelasticity, fractional constitutive relations effectively capture power-law stress–strain responses that classical models cannot. In thermal transport and diffusion, FC naturally describes anomalous diffusion, encompassing both subdiffusive and superdiffusive behaviors in heterogeneous materials and biological media. Fractional-order control theory has emerged in recent years and has significantly better robustness and adaptability than traditional proportional–integral–derivative designs. Moreover, FC is a fundamental tool for modeling electrical circuits and image and signal processing, as well as bioengineering and electrochemical systems, where the natural memory of material behavior needs to be taken into account. In applications outside of physical sciences, fractional approaches have been successfully used in the field of financial mathematics to characterize long-range dependence in stock market behavior and epidemiological modeling, which rely on delayed infection effects [7]. Together, they show that FC can be considered a universal modeling tool to describe processes with complexity, scales, and hereditary interactions.

These progressive studies are parallel to those in which PDEs are one of the cornerstone mathematical tools for continuous physical systems, including heat conduction, wave propagation, elasticity, and diffusion. However, ordinary PDEs are local by nature: the changing rate at one point depends only on infinitesimal neighborhoods. This assumption is insufficient for heterogeneous, anisotropic, and multi-scale media or in the presence of long-term memory and spatial correlation. To address these limitations, fractional partial differential equations (FPDEs) are derived by replacing integer-order derivatives with fractional-order ones [8]. This extension incorporates nonlocal and hereditary effects into the model equations, enabling one to capture processes occurring in complex media more accurately. FPDEs have been demonstrated to be especially effective in describing anomalous diffusion, viscoelastic fluid flow, fractional quantum mechanics, turbulence, and stochastic transport. In plasma physics, for instance, they characterize anomalous confinement of particles; in geophysics, they represent transport of pollutants through porous soil; in biology, they account for the subdiffusive movement of macromolecules and cells; and in finance, they describe heavy-tailed variation and volatility driven by memory [9]. These diverse applications illustrate the generality of fractional modeling in science and engineering.

The study of FPDEs has led to the development of many analytical and numerical methods. Integral transforms (e.g., Laplace, Fourier, Sumudu, etc.) have also been extended to the fractional domain for convolution-type kernels. Analytical tools, including hybrid and iterative methods such as the Adomian decomposition, homotopy perturbation and variational iteration method, as well as the residual power series method, have been developed to treat nonlinear and multiple-term FPDEs. On the side of numerical techniques, fractional finite difference, finite element, spectral, and collocation methods have been proposed, among others, to improve stability, convergence, and computational efficiency. Significant contributions include the sine-Gordon expansion [10], direct algebraic mapping [11], fractional Newton method [12], residual power series scheme [13], Laplace transform method [4], modified Adams–Bashforth method [14], homotopy perturbation [15], expansion method [16], variational iteration [17], residual power series method [18], Sumudu decomposition [19], Laplace-coupled approach [20], Adomian decomposition [21], LRPSM [22], iterative reaction–diffusion approach [23], kernel Hilbert space method [24], scaling transform [25], and q-homotopy analysis transform method [26]. Collectively, these methods have significantly enhanced the accuracy and numerical stability of fractional models, establishing FPDEs as a pillar of contemporary applied mathematics. Consider the EK fractional dynamical system

$$\left\{\begin{array}{c}{\mathcal{D}}_{\xi }^{\alpha }\omega (\kappa ,\xi )={\omega }_{\kappa \kappa }(\kappa ,\xi )+{\eta }_1(\kappa ,\xi ,\omega (\kappa ,\xi ),\omega (\kappa ,\xi -\rho ),\nu (\kappa ,\xi -\varrho \left(\omega (\kappa ,\xi )\right))),\hfill \\ {\mathcal{D}}_{\xi }^{\alpha }\nu (\kappa ,\xi )={\nu }_{\kappa \kappa }(\kappa ,\xi )+{\eta }_2(\kappa ,\xi ,\nu (\kappa ,\xi ),\nu (\kappa ,\xi -\rho ),\omega (\kappa ,\xi -\varrho \left(\nu (\kappa ,\xi )\right))),\hfill \\ \omega (\kappa ,\xi )={\psi }_1(\kappa ,\xi ),0\le \xi \le {\rho }_0,\hfill \\ \nu (\kappa ,\xi )={\psi }_2(\kappa ,\xi ),0\le \xi \le {\rho }_0,\hfill \\ \omega (\kappa ,0)=f_0\left(\kappa \right),\nu (\kappa ,0)={\widehat{f}}_0\left(\kappa \right),\hfill \end{array}\right.$$

(1)

for all $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$, where $\mathsf{\Omega }\subset \mathbb{R}$, ${\mathcal{D}}_{\xi }^{\alpha }$ denotes the EK fractional derivative of order $0<\alpha \le 1$, ${\rho }_0=max\{\rho ,{sup}_t\varrho \left(t\right)\}$ with ${\rho }_0<{\xi }_0$, $\rho >0$, $\varrho$ is a real continuous function mapping into $(0,{\rho }_0]$, ${\psi }_{1,2}$ are continuous and bounded functions, and $f_{1,2}$ are continuous. If ${\eta }_1=\omega [1-\omega -{\gamma }_1\nu ]+{\gamma }_1^{\prime }\nu$ and ${\eta }_2=-{\gamma }_2\omega \nu +{\gamma }_3\nu$, then system (1) can be regarded as the EK fractional BZDS [27], where $\omega$ and $\nu$ represent the concentrations of the reacting species and ${\gamma }_{1,2,3},{\gamma }_1^{\prime }$ positive reaction constants. The BZDS is the prototype for nonlinear chemical oscillations, which are commonly related to catalytic oxidation of organic acids in acidic bromate media [28]. By generalizing this model to the fractional case one can incorporate hereditary diffusion and chemical memory, which results in better agreement with experimental results. Some of the recent analytical and semi-analytical approaches to the solution of the EK fractional BZDS are the polynomial numerical scheme [27], double Laplace method [29], q-homotopy analysis transform [30], Elzaki transform method [31], Fourier spectral method [32] and fractional reduced differential transform method [33].

The main objective of this work is to develop a rigorous operator-theoretic framework for nonlinear EK fractional dynamical systems formulated in Banach spaces endowed with the compact-open topology. The aim is to provide a consistent functional analytic setting in which existence, uniqueness, contraction-type conditions, and Ulam–Hyers stability of solutions can be systematically established through classical fixed-point theorems. In Section 2, we present the necessary definitions and preliminary results concerning the EK fractional integral and derivative in the two-variable setting. These concepts are formulated within Banach spaces equipped with the compact-open topology. In Section 3, we define the functional Banach space $\mathcal{B}=C_{{\mathsf{\Omega }}_0}\times C_{{\mathsf{\Omega }}_0}$ and introduce the associated nonlinear operators. Their continuity, Lipschitz properties, equicontinuity, and compactness conditions are analyzed in preparation for the fixed-point framework. In Section 4, the Banach and Schaefer fixed-point theorems are applied to derive sufficient conditions for existence and uniqueness of solutions. Contraction-type estimates are established, and the Ulam–Hyers stability of the system is investigated. In Section 5, a semi-analytical PSIM is introduced to construct an explicit fractional series representation of the solution whose existence and uniqueness are guaranteed by the theoretical analysis. This method serves as a constructive complement to the operator framework. Finally, the applicability of the developed framework is illustrated through a nonlinear EK fractional DBZS. In this section, the assumptions of the main theorems are verified and the PSIM procedure is applied to obtain a series representation of the solution. The example is included solely to demonstrate the direct implementation of the theoretical results within a concrete fractional system. The novelty of the proposed PSIM lies in its direct adaptation to EK-type fractional operators and its integration with the fixed-point framework established in this paper.

2. On EK Operators

The definitions and results on EK fractional operators presented here were originally developed in the single-variable setting [34,35,36]. We extend them to the two-variable case and, to avoid repetition, cite only the one-variable proofs, as our results follow by a natural and straightforward generalization.

Definition 1

([35]). Let Ω be any subset of $\mathbb{R}$ and ω be any map on $\mathsf{\Omega }\times [0,{\xi }_0]$. Let $0<\beta \le 1$ and $\sigma \in \mathbb{R}$. The EK fractional integral of order α is given by

$${\mathcal{I}}_{\xi }^{\alpha ,\beta ,\sigma }{\omega }_{\kappa }\left(\xi \right)={\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }\omega (\kappa ,\tau )d\tau .$$

(2)

where ${\omega }_{\kappa }\left(\xi \right):=\omega (\kappa ,\xi )$.

Define the differential operator

$$A_{\xi }:={\displaystyle \frac{1}{\beta {\xi }^{\beta -1}}}{\displaystyle \frac{\partial }{\partial \xi }},$$

and define its iterates recursively by $A_{\xi }^{n}f:=A_{\xi }\left(A_{\xi }^{n-1}f\right),n\in \mathbb{N}.$

Definition 2

([35]). Let Ω be any subset of $\mathbb{R}$ and ω be any map on $\mathsf{\Omega }\times [0,{\xi }_0]$. Let $0<\beta \le 1$, $n=\left[\alpha \right]$, and $\sigma \in \mathbb{R}$. The EK fractional derivative of order α is given by

$${\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }{\omega }_{\kappa }\left(\xi \right)=\left\{\begin{array}{c}{\xi }^{-\beta \sigma }{A}_{\xi }^n\left({\xi }^{\beta (n+\sigma )}{\mathcal{I}}_{\xi }^{n-\alpha ,\beta ,\sigma }\omega (\kappa ,\xi )\right),n-1<\alpha <n\hfill \\ {\omega }_{{\xi }^n}^{\left(n\right)}(\kappa ,\xi ),\alpha :=n\in \mathbb{N},\hfill \end{array}\right.$$

(3)

The EK fractional integral and derivative are defined for $\xi >0$. Although the factor ${\xi }^{-\beta (\alpha +\sigma )}$ appears in Definition 1, the integral term vanishes sufficiently fast as $\xi \to 0^{+}$ under the assumptions $0<\alpha \le 1$, $0<\beta \le 1$, and $\omega \in C(\mathsf{\Omega }\times [0,{\xi }_0])$. In particular, the kernel ${({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }$ remains integrable on $[0,\xi ]$, ensuring that the limit as $\xi \to 0^{+}$ exists and the expression remains finite. Therefore, no pole occurs at $\xi =0$, and the operators are well-defined together with the prescribed initial conditions. Recalling [36], we have

$${\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }{\mathcal{I}}_{\xi }^{\alpha ,\beta ,\sigma }\left(\omega (\kappa ,\xi )\right)=\omega (\kappa ,\xi ).$$

Throughout this paper, the space $AC\left([0,{\xi }_0]\right)$ denotes the set of all absolutely continuous functions on $[0,{\xi }_0]$; i.e.,

$$AC\left([0,{\xi }_0]\right):=\left\{h:[0,{\xi }_0]\to \mathbb{R}:h\mathrm{is}\mathrm{absolutely}\mathrm{continuous}\mathrm{on}[0,{\xi }_0]\right\}.$$

Moreover, for $n\in \mathbb{N}$, we define

$$A{C}^n\left([0,{\xi }_0]\right):=\left\{h:[0,{\xi }_0]\to \mathbb{R}:A_y^k\left(y^{\beta \sigma }h\left(y\right)\right)\in AC\left([0,{\xi }_0]\right),\forall k=1,2,\dots ,n\right\}.$$

Theorem 1

([34]). Let $\omega (\kappa ,·)\in A{C}^n\left([0,{\xi }_0]\right)$ for all $\kappa \in \mathsf{\Omega }$ and $n-1\le \alpha <n$. Then

$$\begin{array}{cc}\hfill {\mathcal{I}}_{\xi }^{\alpha ,\beta ,\sigma }{\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }\left(\omega (\kappa ,\xi )\right)& =\omega (\kappa ,\xi )\hfill \\ \hfill & -\sum _{k=0}^{n-1}{\displaystyle \frac{{\xi }^{-\beta (\sigma +k)}}{k!}}{\left.A_{\xi }^k\left({\xi }^{\beta \sigma }\omega (\kappa ,\xi )\right)\right|}_{\xi =0}.\hfill \end{array}$$

(4)

where $n\in \mathbb{N}$.

Since $\omega \in C(\mathsf{\Omega }\times [0,{\xi }_0])$, it follows that ${\omega }_{\kappa }\in C\left([0,{\xi }_0]\right)$ for every fixed $\kappa$, and therefore all one-dimensional EK results apply pointwise in $\kappa$. Moreover, continuity in both variables follows from the uniform continuity of $\omega$ on compact subsets of $\mathsf{\Omega }\times [0,{\xi }_0]$ together with the continuity of the EK integral operator. Throughout this work, we assume that the fractional parameters satisfy $0<\alpha \le 1$, $0<\beta \le 1$, and $\sigma \in \mathbb{R}$. The kernel function ${({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }$ is considered on $0\le \tau \le \xi \le {\xi }_0$, where ${\xi }_0>0$ is fixed. We further assume that $\mathsf{\Omega }\subset \mathbb{R}$ is locally compact and that the delay parameters satisfy $\rho >0$ and ${\rho }_0=max\{\rho ,{sup}_t\varrho \left(t\right)\}$ with ${\rho }_0<{\xi }_0$. All functions are taken in $C(\mathsf{\Omega }\times [0,{\xi }_0])$, ensuring boundedness on compact subsets and well-definedness of the EK integral and derivative operators.

3. Continuity and Local Compactness Framework

In this section, we establish a topological setting suitable for the analysis of the fractional nonlinear system (1) and for the investigation of its operator continuity. The discussion is conducted within a locally compact Hausdorff space, which provides an appropriate environment for examining continuity and convergence features of fractional-order mappings. By providing the space of continuous maps on $\mathsf{\Omega }\times [0,{\xi }_0]$ with the compact-open topology, we study the boundedness and Lipschitz behavior of the operators generated by the fractional model. These findings constitute the analytical foundation required for the application of fixed-point theorems in the subsequent section, ensuring the existence, uniqueness, and stability of the resulting solutions. A subset $\mathsf{\Omega }$ of a topological space C is said to be locally compact if every point $x\in \mathsf{\Omega }$ has a neighborhood N whose closure $\overline{N}$ is compact in C. The Hausdorff property is satisfied in $\mathsf{\Omega }$ if any two distinct points in $\mathsf{\Omega }$ lie in two disjoint open sets. Let ${\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}$ denote the class of all real-valued functions defined on $\mathsf{\Omega }\times [0,{\xi }_0]$. Consider the Banach space $\mathcal{B}:=C_{{\mathsf{\Omega }}_0}\times C_{{\mathsf{\Omega }}_0}$ with norm

$${∥(\omega ,\nu )∥}_{\mathcal{B}}=\underset{(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]}{max}\left\{\left|\omega (\kappa ,\xi )\right|,\left|\nu (\kappa ,\xi )\right|\right\},$$

where $C_{{\mathsf{\Omega }}_0}:=C\left(\mathsf{\Omega }\times [0,{\xi }_0]\right)\subseteq {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}$ denotes the set of all continuous functions from $\mathsf{\Omega }\times [0,{\xi }_0]$ into $\mathbb{R}$. It is important to observe that the collection of open sets in any usual metrizable space constitutes a sub-base for its topology. Accordingly, the family of all balls $D({\kappa }_0,r)$ in the space $\mathbb{R}$, equipped with the usual topology induced by $d(\kappa ,\xi )=|\kappa -\xi |$, forms a sub-base for the usual topology on $\mathbb{R}$. Since $\mathsf{\Omega }\times [0,{\xi }_0]$ is a subspace of the Euclidean space ${\mathbb{R}}^2$, the collection

$$CO=\{⟨E,D({\kappa }_0,r)⟩:E\mathrm{is}\mathrm{compact}\mathrm{set}\mathrm{in}\mathsf{\Omega }\times [0,{\xi }_0],{\kappa }_0\in \mathbb{R},r>0\}$$

constitutes a sub-base for the compact-open topology on $C_{{\mathsf{\Omega }}_0}$, where

$$⟨E,D({\kappa }_0,r)⟩=\{\omega \in C_{{\mathsf{\Omega }}_0}:\omega \left[E\right]\subset D({\kappa }_0,r)\}.$$

In the following, the space ${\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}$ is considered with the compact-open topology.

Define the operators ${\mathbb{F}}_{\omega },{\mathbb{F}}_{\nu }:\left[\mathsf{\Omega }\times [0,{\xi }_0]\right]\times {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}\times {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}\to \mathbb{R}$ by

$$\begin{array}{cc}\hfill & {\mathbb{F}}_{\omega }(\kappa ,\xi ,\omega ,\nu )={\omega }_{\kappa \kappa }(\kappa ,\xi )+{\eta }_1(\kappa ,\xi ,\omega (\kappa ,\xi ),\omega (\kappa ,\xi -\rho ),\nu (\kappa ,\xi -\varrho \left(\omega (\kappa ,\xi )\right)))\hfill \end{array}$$

(5)

and

$$\begin{array}{cc}\hfill & {\mathbb{F}}_{\nu }(\kappa ,\xi ,\omega ,\nu )={\nu }_{\kappa \kappa }(\kappa ,\xi )+{\eta }_2(\kappa ,\xi ,\nu (\kappa ,\xi ),\nu (\kappa ,\xi -\rho ),\omega (\kappa ,\xi -\varrho \left(\nu (\kappa ,\xi )\right))).\hfill \end{array}$$

(6)

Apply the EK integral operator of system (1) and use (2) to get

$$\begin{array}{cc}\hfill & \omega (\kappa ,\xi )=f_0\left(\kappa \right)+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )d\tau \hfill \end{array}$$

(7)

and

$$\begin{array}{cc}\hfill & \nu (\kappa ,\xi )={\widehat{f}}_0\left(\kappa \right)+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\nu }(\kappa ,\tau ,\omega ,\nu )d\tau .\hfill \end{array}$$

(8)

Define the operators ${\mathcal{F}}_{\omega },{\mathcal{F}}_{\nu }:{\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}\times {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}\to {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}$ by

$$\begin{array}{cc}\hfill & {\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )=f_0\left(\kappa \right)+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )d\tau \hfill \end{array}$$

(9)

and

$$\begin{array}{cc}\hfill & {\mathcal{F}}_{\nu }(\omega ,\nu )(\kappa ,\xi )={\widehat{f}}_0\left(\kappa \right)+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\nu }(\kappa ,\tau ,\omega ,\nu )d\tau .\hfill \end{array}$$

(10)

We say ${\mathbb{F}}_{\omega }$ has the Lipschitz property if there is a constant ${\theta }_{\omega }>0$ such that

$$\left|{\mathbb{F}}_{\omega }(\kappa ,\xi ,\omega ,\nu )-{\mathbb{F}}_{\omega }(\kappa ,\xi ,{\omega }_1,{\nu }_1)\right|\le {\theta }_{\omega }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}$$

for all $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$.

Theorem 2.

If ${\mathbb{F}}_{\omega }$ and ${\mathbb{F}}_{\nu }$ satisfy Lipschitz conditions, then ${\mathcal{F}}_{\omega }$ and ${\mathcal{F}}_{\nu }$ satisfy Lipschitz conditions.

Proof. 

By the Lipschitz property of ${\mathbb{F}}_{\omega }$ and ${\mathbb{F}}_{\nu }$ there are ${\theta }_{\omega },{\theta }_{\nu }>0$ such that

$$\left|{\mathbb{F}}_{\omega }(\kappa ,\xi ,\omega ,\nu )-{\mathbb{F}}_{\omega }(\kappa ,\xi ,{\omega }_1,{\nu }_1)\right|\le {\theta }_{\omega }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}$$

and

$$\left|{\mathbb{F}}_{\nu }(\kappa ,\xi ,\omega ,\nu )-{\mathbb{F}}_{\nu }(\kappa ,\xi ,{\omega }_1,{\nu }_1)\right|\le {\theta }_{\nu }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}.$$

Hence

$$\begin{array}{cc}\hfill & \left|{\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )-{\mathcal{F}}_{\omega }({\omega }_1,{\nu }_1)(\kappa ,\xi )\right|\hfill \\ \hfill & \le {\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}\left|{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )d\tau -{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\omega }(\kappa ,\tau ,{\omega }_1,{\nu }_1)d\tau \right|\hfill \\ \hfill & \le {\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{\left|{\xi }^{\beta }-{\tau }^{\beta }\right|}^{\alpha -1}{\tau }^{\beta \sigma }\left|{\mathbb{F}}_{\omega }(\kappa ,\xi ,\omega ,\nu )-{\mathbb{F}}_{\omega }(\kappa ,\xi ,{\omega }_1,{\nu }_1)\right|d\tau \hfill \\ \hfill & \le {\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\omega }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}\hfill \end{array}$$

where ${\mathbb{S}}_{\alpha \beta \sigma }:={\displaystyle \frac{{\xi }_0^{1-\beta }\mathsf{\Gamma }\left(\sigma +\frac{1}{\beta }\right)}{\mathsf{\Gamma }\left(\alpha +\sigma +\frac{1}{\beta }\right)}}$. Then we have

$$\begin{array}{cc}\hfill & ∥{\mathcal{F}}_{\omega }(\omega ,\nu )-{\mathcal{F}}_{\omega }({\omega }_1,{\nu }_1)∥\le {\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\omega }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}.\hfill \end{array}$$

(11)

Similarly, we have

$$\begin{array}{cc}\hfill & ∥{\mathcal{F}}_{\nu }(\omega ,\nu )-{\mathcal{F}}_{\nu }({\omega }_1,{\nu }_1)∥\le {\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\nu }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}.\hfill \end{array}$$

(12)

 □

Define the operators ${\mathcal{S}}_{\omega },{\mathcal{S}}_{\nu }:\mathcal{B}\to {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}$ as

$$\begin{array}{cc}\hfill & {\mathcal{S}}_{\omega }(\omega ,\nu )={\omega }_{\kappa \kappa }(\kappa ,\xi )+{\eta }_1(\kappa ,\xi ,\omega (\kappa ,\xi ),\omega (\kappa ,\xi -\rho ),\nu (\kappa ,\xi -\varrho \left(\omega (\kappa ,\xi )\right)))\hfill \end{array}$$

(13)

and

$$\begin{array}{cc}\hfill & {\mathcal{S}}_{\nu }(\omega ,\nu )={\nu }_{\kappa \kappa }(\kappa ,\xi )+{\eta }_2(\kappa ,\xi ,\nu (\kappa ,\xi ),\nu (\kappa ,\xi -\rho ),\omega (\kappa ,\xi -\varrho \left(\nu (\kappa ,\xi )\right))).\hfill \end{array}$$

(14)

For the Lipschitz continuity of the operators ${\mathcal{S}}_{\omega }$ and ${\mathcal{S}}_{\nu }$, note that if ${\mathbb{F}}_{\omega }$ and ${\mathbb{F}}_{\nu }$ satisfy Lipschitz conditions, then we have

$$|⟨{\mathcal{S}}_{\omega }(\omega ,\nu )-{\mathcal{S}}_{\omega }({\omega }_1,{\nu }_1),(\omega ,\nu )-({\omega }_1,{\nu }_1)⟩|\le {\theta }_{\omega }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}^2$$

and

$$|⟨{\mathcal{S}}_{\nu }(\omega ,\nu )-{\mathcal{S}}_{\nu }({\omega }_1,{\nu }_1),(\omega ,\nu )-({\omega }_1,{\nu }_1)⟩|\le {\theta }_{\nu }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}^2.$$

Theorem 3.

If ${\mathbb{F}}_{\omega }$ is continuous, then the operator ${\mathcal{S}}_{\omega }$ is continuous.

Proof. 

We will show that ${\mathcal{S}}_{\omega }^{-1}\left(⟨T,D({\kappa }_0,r)⟩\right)$ is open in $\mathcal{B}$ for every sub-basic open $⟨T,D({\kappa }_0,r)⟩$ of ${\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}$ for any compact set $T\subset \mathsf{\Omega }\times [0,{\xi }_0]$, ${\kappa }_0\in \mathbb{R}$ and $r>0$. Note that

$${\mathcal{S}}_{\omega }^{-1}\left(⟨T,D({\kappa }_0,r)⟩\right)=\left\{(\varsigma ,{\varsigma }^{\prime })\in \mathcal{B}:{\mathcal{S}}_{\omega }(\varsigma ,{\varsigma }^{\prime })\left[T\right]\subset D({\kappa }_0,r)\right\}$$

$$=\left\{(\varsigma ,{\varsigma }^{\prime })\in \mathcal{B}:{\mathbb{F}}_{\omega }(\left\{(\varsigma ,{\varsigma }^{\prime })\right\}\times T)\subset D({\kappa }_0,r)\right\}.$$

Fix $({\varsigma }_0,{\varsigma }_0^{\prime })\in {\mathcal{S}}_{\omega }^{-1}\left(⟨T,D({\kappa }_0,r)⟩\right)$. Then ${\mathbb{F}}_{\omega }({\varsigma }_0,{\varsigma }_0^{\prime },t)\in D({\kappa }_0,r)$ for all $t\in T$, i.e., $\left\{({\varsigma }_0,{\varsigma }_0^{\prime })\right\}\times T\subset {\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right)$. Since

$${\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right)\subset [\mathsf{\Omega }\times [0,{\xi }_0]]\times C_{{\mathsf{\Omega }}_0}\times C_{{\mathsf{\Omega }}_0}$$

is open and ${\mathbb{F}}_{\omega }$ is continuous, for each $t\in T$ there exist open neighborhoods $M_t\subset C_{{\mathsf{\Omega }}_0}\times C_{{\mathsf{\Omega }}_0}$ of $({\varsigma }_0,{\varsigma }_0^{\prime })$ and $Y_t\subset {\mathbb{R}}^2$ of t such that

$$M_t\times Y_t\subset {\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right).$$

The family ${\left\{Y_t\right\}}_{t\in T}$ is an open cover of the compact set T, so choose $t_1,\dots ,t_n\in T$ with $T\subset {\bigcup }_{i=1}^n{Y}_{t_i}$, and set

$$M:=\bigcap _{i=1}^n{M}_{t_i}.$$

Then M is an open neighborhood of $({\varsigma }_0,{\varsigma }_0^{\prime })$ in $\mathcal{B}$ and hence for any $(\varsigma ,{\varsigma }^{\prime })\in M$ and any $k\in T$, there exists i with $k\in Y_{t_i}$ such that

$$(t,k)\in M_{t_i}\times Y_{t_i}\subset {\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right).$$

Then ${\mathbb{F}}_{\omega }(\varsigma ,{\varsigma }^{\prime },T)\subset D({\kappa }_0,r)$; equivalently, ${\mathcal{S}}_{\omega }(\varsigma ,{\varsigma }^{\prime })\in ⟨T,D({\kappa }_0,r)⟩$. Hence $M\subset {\mathcal{S}}_{\omega }^{-1}\left(⟨T,D({\kappa }_0,r)⟩\right)$; that is, ${\mathcal{S}}_{\omega }^{-1}\left(⟨T,D({\kappa }_0,r)⟩\right)$ is open. Therefore ${\mathcal{S}}_{\omega }$ is continuous. □

Theorem 4.

If the operator ${\mathcal{S}}_{\omega }$ is continuous and Ω is a locally compact set in $\mathbb{R}$ then the restriction ${\mathbb{F}}_{\omega }$ on $\mathsf{\Omega }\times [0,{\xi }_0]\times \mathcal{B}$ is continuous.

Proof. 

We prove directly that ${\mathbb{F}}_{\omega }^{-1}\left(D(\kappa ,r)\right)$ is open in $[\mathsf{\Omega }\times [0,{\xi }_0]]\times \mathcal{B}$ for each open ball $D(\kappa ,r)\subset \mathbb{R}$. Fix an arbitrary open ball $D({\kappa }_0,r)\subset \mathbb{R}$ and take a point $({\xi }_0^{\prime },{\xi }_0^{″},{\varsigma }_0,{\varsigma }_0^{\prime })\in {\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right)$; that is, ${\mathcal{S}}_{\omega }({\varsigma }_0,{\varsigma }_0^{\prime })({\xi }_0^{\prime },{\xi }_0^{″})\in D({\kappa }_0,r)$. Since $\mathsf{\Omega }$ is locally compact in $\mathbb{R}$ and so it is Hausdorff, $\mathsf{\Omega }\times [0,{\xi }_0]$ is locally compact Hausdorff. Hence there exists an open neighborhood E of $({\xi }_0^{\prime },{\xi }_0^{″})$ such that $\overline{E}$ is compact containing $({\xi }_0^{\prime },{\xi }_0^{″})$, where $\overline{E}$ is the closure set of E.

Set $T:=\overline{E}$; then T is compact and $({\xi }_0^{\prime },{\xi }_0^{″})\in E\subset T$. Since ${\mathcal{S}}_{\omega }({\varsigma }_0,{\varsigma }_0^{\prime })({\xi }_0^{\prime },{\xi }_0^{″})\in D({\kappa }_0,r)$ and $({\xi }_0^{\prime },{\xi }_0^{″})\in T$, it follows that ${\mathcal{S}}_{\omega }({\varsigma }_0,{\varsigma }_0^{\prime })\left[T\right]\subset \mathbb{R}$ intersects $D({\kappa }_0,r)$ at least at $({\xi }_0^{\prime },{\xi }_0^{″})$. Define the sub-basic open set

$$⟨T,D({\kappa }_0,r)⟩=\{(\varsigma ,{\varsigma }^{\prime })\in {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}\times {\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}:{\mathcal{S}}_{\omega }(\varsigma ,{\varsigma }^{\prime })\left[T\right]\subset D({\kappa }_0,r)\}.$$

Since ${\mathcal{S}}_{\omega }$ is continuous and $⟨T,D({\kappa }_0,r)⟩$ is an open set in ${\mathbb{R}}^{\mathsf{\Omega }\times [0,{\xi }_0]}$, there exists an open neighborhood $M\subset \mathcal{B}$ of $({\varsigma }_0,{\varsigma }_0^{\prime })$ such that ${\mathcal{S}}_{\omega }\left(M\right)\subset ⟨T,D({\kappa }_0,r)⟩.$ Equivalently, for every $x\in M$ we have ${\mathcal{S}}_{\omega }\left(x\right)\left[T\right]\subset D({\kappa }_0,r)$. Now consider the product open set

$$E\times M\subset [\mathsf{\Omega }\times [0,{\xi }_0]]\times \mathcal{B}.$$

If $(\xi ,{\xi }^{\prime },\varsigma ,{\varsigma }^{\prime })\in E\times M$ and since $(\xi ,{\xi }^{\prime })\in E\subset T$ and ${\mathcal{S}}_{\omega }(\varsigma ,{\varsigma }^{\prime })\left[T\right]\subset D({\kappa }_0,r)$, then we get ${\mathbb{F}}_{\omega }(\xi ,{\xi }^{\prime },\varsigma ,{\varsigma }^{\prime })={\mathcal{S}}_{\omega }(\varsigma ,{\varsigma }^{\prime })(\xi ,{\xi }^{\prime })\in D({\kappa }_0,r).$ Therefore $M\times E\subset {\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right)$. We have found, for the arbitrary $({\xi }_0^{\prime },{\xi }_0^{″},{\varsigma }_0,{\varsigma }_0^{\prime })\in {\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right)$, an open neighborhood $E\times M$ of $({\xi }_0^{\prime },{\xi }_0^{″},{\varsigma }_0,{\varsigma }_0^{\prime })$ with $M\times E\subset {\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right)$; hence ${\mathbb{F}}_{\omega }^{-1}\left(D({\kappa }_0,r)\right)$ is open. Since $D({\kappa }_0,r)\subset \mathbb{R}$ is arbitrary, ${\mathbb{F}}_{\omega }$ is continuous. □

In the theorems above (Theorems 3 and 4), similar reasoning holds for the continuity of the operator ${\mathcal{S}}_{\nu }$ with ${\mathbb{F}}_{\nu }$.

4. On Topological Characterizations of System (1)

In this part, we investigate the well-posedness of the fractional BZDS by proving the existence and uniqueness of solutions within a Banach space equipped with the compact-open topology. Fixed-point arguments are employed to derive sufficient conditions under which the system admits a unique solution exhibiting stability. Define the operator $\mathcal{F}:\mathcal{B}\to \mathcal{B}$ by

$$\mathcal{F}(\omega ,\nu )(\kappa ,\xi )=({\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi ),{\mathcal{F}}_{\nu }(\omega ,\nu )(\kappa ,\xi ))$$

for all $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$. In order to ensure that (1) admits a unique solution, we impose the following assumptions:

C1:

The domain of (1) is the space $C^3\left[\mathsf{\Omega }\times [0,{\xi }_0]\right]$ endowed with the compact-open topology, where $\mathsf{\Omega }$ is a locally compact and bounded subset of $\mathbb{R}$.

C2:

There exist constants ${\mathcal{R}}_{{\mathbb{F}}_{\omega }},{\mathcal{R}}_{{\mathbb{F}}_{\nu }}>0$ such that $\left|{\mathbb{F}}_{\omega }(\kappa ,\xi ,\omega )\right|\le {\mathcal{R}}_{{\mathbb{F}}_{\omega }}$ and $\left|{\mathbb{F}}_{\nu }(\kappa ,\xi ,\omega ,\nu )\right|\le {\mathcal{R}}_{{\mathbb{F}}_{\nu }}.$

C3:

The functions ${\mathbb{F}}_{\omega }$ and ${\mathbb{F}}_{\nu }$ satisfy Lipschitz conditions with constants ${\theta }_{\omega },{\theta }_{\nu }>0$, respectively.

Lemma 1.

If C1 is satisfied then the restrictions of the operators ${\mathcal{S}}_{\omega }$ and ${\mathcal{S}}_{\nu }$ are continuous.

Proof. 

Since the operators ${\partial }_{\kappa }^2:C^2\left[\mathsf{\Omega }\times [0,{\xi }_0]\right]\to C\left[\mathsf{\Omega }\times [0,{\xi }_0]\right],{\eta }_1,$ and ${\eta }_2$ are continuous, it is easy to see that ${\mathcal{S}}_{\omega }(\omega ,\nu )$ and ${\mathcal{S}}_{\nu }(\omega ,\nu )$ are continuous. □

Theorem 5.

If C1 and C2 hold then system (1) has solutions.

Proof. 

To get this solution we will use Schaefer’s fixed-point theorem. For any $ϵ>0$, let

$$D_{ϵ}=\left\{(\omega ,\nu )\in \mathcal{B}:{∥(\omega ,\nu )∥}_{\mathcal{B}}\le ϵ\right\}.$$

Firstly, for the continuity property of $\mathcal{F}$, we will prove that ${∥\mathcal{F}({\omega }_n,{\nu }_n)-\mathcal{F}(\omega ,\nu )∥}_{\mathcal{B}}\to 0$ for any convergent sequence $({\omega }_n,{\nu }_n)\to (\omega ,\nu )$ in $\mathcal{B}$. Let $({\omega }_n,{\nu }_n)\to (\omega ,\nu )$ in $\mathcal{B}$. For any $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$ we have

$$\begin{array}{cc}\hfill & \left|{\mathcal{F}}_{\omega }({\omega }_n,{\nu }_n)(\kappa ,\xi )-{\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )\right|\hfill \\ \hfill & \le {\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }\left[{\mathbb{F}}_{\omega }(\kappa ,\tau ,{\omega }_n,{\nu }_n)-{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )\right]d\tau \hfill \\ \hfill & \le {\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }\left|{\mathbb{F}}_{\omega }(\kappa ,\tau ,{\omega }_n,{\nu }_n)-{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )\right|d\tau .\hfill \end{array}$$

(15)

By Lemma 1, ${\mathcal{S}}_{\omega }$ is continuous. Since $\mathsf{\Omega }$ is a locally compact Hausdorff, then by Theorem 4, ${\mathbb{F}}_{\omega }$ is continuous. Hence for any $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$ we have

$$\left|{\mathbb{F}}_{\omega }(\kappa ,\xi ,{\omega }_n,{\nu }_n)-{\mathbb{F}}_{\omega }(\kappa ,\xi ,\omega ,\nu )\right|\to 0.$$

By the boundedness of $\mathsf{\Omega }$, we have ${\omega }_n\to \omega$ uniformly in $D_{ϵ}$. Hence for all $n\in \mathbb{N}$ and for any $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$, $\left|{\omega }_n\right|<{\mathcal{C}}_{\omega }$ and $\left|\omega \right|<{\mathcal{C}}_{\omega }$ for some constants ${\mathcal{C}}_{\omega }$. So by using the dominated convergence theorem, we get

$${\sup }_{(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]}∥{\mathcal{F}}_{\omega }({\omega }_n,{\nu }_n)(\kappa ,\xi )-{\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )∥\to 0.$$

Similarly,

$${\sup }_{(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]}∥{\mathcal{F}}_{\nu }({\omega }_n,{\nu }_n)(\kappa ,\xi )-{\mathcal{F}}_{\nu }(\omega ,\nu )(\kappa ,\xi )∥\to 0.$$

That is, ${∥\mathcal{F}({\omega }_n,{\nu }_n)-\mathcal{F}(\omega ,\nu )∥}_{\mathcal{B}}\to 0$ and hence $\mathcal{F}$ is continuous.

Secondly, we prove that the boundedness of sets is a topological property under the continuous map $\mathcal{F}$. Let $(\omega ,\nu )\in D_{ϵ}$. Then

$$\begin{array}{cc}\hfill & \left|{\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )\right|\le \left|f_0\left(\kappa \right)\right|+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }\left|{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )\right|d\tau \hfill \\ \hfill & \le \left|f_0\left(\kappa \right)\right|+{\mathbb{S}}_{\alpha \beta \sigma }{\mathcal{R}}_{{\mathbb{F}}_{\omega }}\hfill \end{array}$$

(16)

and

$$\begin{array}{cc}\hfill & \left|{\mathcal{F}}_{\nu }(\omega ,\nu )(\kappa ,\xi )\right|\le \left|{\widehat{f}}_0\left(\kappa \right)\right|+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }\left|{\mathbb{F}}_{\nu }(\kappa ,\tau ,\omega ,\nu )\right|d\tau \hfill \\ \hfill & \le \left|{\widehat{f}}_0\left(\kappa \right)\right|+{\mathbb{S}}_{\alpha \beta \sigma }{\mathcal{R}}_{{\mathbb{F}}_{\nu }}\hfill \end{array}$$

(17)

Hence $\mathcal{F}\left(D_{ϵ}\right)\subseteq D_{{ϵ}^{\prime }}$ where

$${ϵ}^{\prime }=max\left\{\left|f_0\left(\kappa \right)\right|+{\mathbb{S}}_{\alpha \beta \sigma }{\mathcal{R}}_{{\mathbb{F}}_{\omega }},\left|{\widehat{f}}_0\left(\kappa \right)\right|+{\mathbb{S}}_{\alpha \beta \sigma }{\mathcal{R}}_{{\mathbb{F}}_{\nu }}\right\}.$$

Since ${ϵ}^{\prime }$ is independent on $(\omega ,\nu )$, $\mathcal{F}\left(D_{ϵ}\right)$ is a uniformly bounded set.

Thirdly, for the equicontinuity property of $\mathcal{F}$, let $({\kappa }_1,{\xi }_1),(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$ be arbitrary points. Note that

$$\begin{array}{cc}\hfill & \left|{\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )-{\mathcal{F}}_{\omega }(\omega ,\nu )({\kappa }_1,{\xi }_1)\right|\le {\displaystyle \frac{\beta {(\xi -{\xi }_1)}^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}\hfill \\ \hfill & \times {\int }_0^{\xi }\left[{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}-{({\xi }_1^{\beta }-{\tau }^{\beta })}^{\alpha -1}\right]{\tau }^{\beta \sigma }\left|{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )-{\mathbb{F}}_{\omega }({\kappa }_1,\tau ,\omega ,\nu )\right|d\tau \hfill \\ \hfill & \le {\displaystyle \frac{\beta {(\xi -{\xi }_1)}^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }\left[{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}-{({\xi }_1^{\beta }-{\tau }^{\beta })}^{\alpha -1}\right]{\tau }^{\beta \sigma }\hfill \\ \hfill & \times \left[\left|{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )\right|+\left|{\mathbb{F}}_{\omega }({\kappa }_1,\tau ,\omega ,\nu )\right|\right]d\tau \hfill \\ \hfill & \le {\displaystyle \frac{\beta {(\xi -{\xi }_1)}^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }\left|{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}-{({\xi }_1^{\beta }-{\tau }^{\beta })}^{\alpha -1}\right|{\tau }^{\beta \sigma }d\tau .\hfill \end{array}$$

(18)

Since the kernel functions are integrable, it follows that $\left|{\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )-{\mathcal{F}}_{\omega }(\omega ,\nu )({\kappa }_1,{\xi }_1)\right|\to 0\mathrm{as}(\kappa ,\xi )\to ({\kappa }_1,{\xi }_1).$ Similarly, $\left|{\mathcal{F}}_{\nu }(\omega ,\nu )(\kappa ,\xi )-{\mathcal{F}}_{\nu }(\omega ,\nu )({\kappa }_1,{\xi }_1)\right|\to 0\mathrm{as}(\kappa ,\xi )\to ({\kappa }_1,{\xi }_1).$ Therefore, ${∥\mathcal{F}(\kappa ,\xi )-\mathcal{F}({\kappa }_1,{\xi }_1)∥}_{\mathcal{B}}\to 0\mathrm{as}(\kappa ,\xi )\to ({\kappa }_1,{\xi }_1),$ which implies that $\mathcal{F}$ possesses the equicontinuity property. Since boundedness is preserved under continuous mappings, the Arzelà–Ascoli theorem guarantees that $\mathcal{F}$ is a compact operator.

Finally, we prove that the set $\Delta =\left\{\right(\omega ,\nu )\in \mathcal{B}:(\omega ,\nu )=\delta \mathcal{F}(\omega ,\nu ),\delta \in [0,1\left]\right\}$ is bounded in $\mathcal{B}$. Let $(\omega ,\nu )=\delta \mathcal{F}(\omega ,\nu )$ for some $\delta \in [0,1]$. Then we have

$$\begin{array}{cc}\hfill & \left|\omega (\kappa ,\xi )\right|=\left|\delta {\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )\right|=\delta \left|{\mathcal{F}}_{\omega }(\omega ,\nu )(\kappa ,\xi )\right|\le \delta \left[\left|f_0\left(\kappa \right)\right|+{\mathbb{S}}_{\alpha \beta \sigma }{\mathcal{R}}_{{\mathbb{F}}_{\omega }}\right]\hfill \end{array}$$

(19)

and

$$\begin{array}{cc}\hfill & \left|\nu (\kappa ,\xi )\right|=\left|\delta {\mathcal{F}}_{\nu }(\omega ,\nu )(\kappa ,\xi )\right|=\delta \left|{\mathcal{F}}_{\nu }(\omega ,\nu )(\kappa ,\xi )\right|\le \delta \left[\left|{\widehat{f}}_0\left(\kappa \right)\right|+{\mathbb{S}}_{\alpha \beta \sigma }{\mathcal{R}}_{{\mathbb{F}}_{\nu }}\right].\hfill \end{array}$$

(20)

That is, $\Delta$ is bounded in $\mathcal{B}$. Accordingly, by Schaefer’s fixed-point theorem, the operator $\mathcal{F}$ admits a fixed point in $D_{ϵ}$, which yields a solution of system (1). □

Theorem 6.

If C1–C3 hold and ${\theta }_{\omega }+{\theta }_{\nu }<{\mathbb{S}}_{\alpha \beta \sigma }^{-1}$ then system (1) has a unique solution.

Proof. 

From (C3) and Theorem 2 we get that for $(\omega ,\nu ),({\omega }_1,{\nu }_1)\in \mathcal{B}$,

$$∥{\mathbb{F}}_{\omega }(\omega ,\nu )-{\mathbb{F}}_{\omega }({\omega }_1,{\nu }_1)∥\le {\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\omega }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}$$

and

$$∥{\mathbb{F}}_{\nu }(\omega ,\nu )-{\mathbb{F}}_{\nu }({\omega }_1,{\nu }_1)∥\le {\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\nu }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}.$$

Hence

$$\begin{array}{cc}\hfill & ∥\mathcal{F}(\omega ,\nu )-\mathcal{F}({\omega }_1,{\nu }_1)∥\le {\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\omega }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}+{\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\nu }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}\hfill \\ \hfill & =\left[{\theta }_{\omega }+{\theta }_{\nu }\right]{\mathbb{S}}_{\alpha \beta \sigma }{∥(\omega ,\nu )-({\omega }_1,{\nu }_1)∥}_{\mathcal{B}}.\hfill \end{array}$$

Therefore, if the inequality $({\theta }_{\omega }+{\theta }_{\nu }){\mathbb{S}}_{\alpha \beta \sigma }<1(\mathrm{i}.\mathrm{e}.,{\theta }_{\omega }+{\theta }_{\nu }<{\mathbb{S}}_{\alpha \beta \sigma }^{-1})$ is satisfied, then the operator $\mathcal{F}$ is a contraction mapping. Accordingly, by the Banach fixed-point theorem, we conclude that the system admits a unique solution. □

Now we analyze Hyers–Ulam stability of the EK fractional BZDS (1) by investigating the sensitivity of its solutions with respect to small perturbations in the initial conditions or in the system parameters. This notion of stability guarantees that approximate solutions remain confined within a prescribed neighborhood of the exact solution, which supports the robustness and reliability of the developed analytical framework. By combining suitable integral inequalities with the existence and uniqueness results established in the previous sections, we derive sufficient criteria ensuring the Hyers-Ulam stability of the fractional BZDS (1). Let $(\widehat{\omega },\widehat{\nu })$ denote an approximate solution of (1) satisfying

$$\left\{\begin{array}{c}\left|{\mathcal{D}}_{\xi }^{\alpha }\widehat{\omega }(\kappa ,\xi )-{\mathbb{F}}_{\omega }(\kappa ,\xi ,\widehat{\omega },\widehat{\nu })\right|\le {\mu }_1,\hfill \\ \left|{\mathcal{D}}_{\xi }^{\alpha }\widehat{\nu }(\kappa ,\xi )-{\mathbb{F}}_{\nu }(\kappa ,\xi ,\widehat{\omega },\widehat{\nu })\right|\le {\mu }_2,\hfill \end{array}\right.$$

(21)

for all $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$, where ${\mu }_1,{\mu }_2>0$. Following [37], we say system (1) is Hyers-Ulam stable if it has a unique solution $(\omega ,\nu )$ such that

$$∥\widehat{\omega }-\omega ∥\le {\mu }_1^{\prime }{\mu }_1\mathrm{and}∥\widehat{\nu }-\nu ∥\le {\mu }_2^{\prime }{\mu }_2,$$

where ${\mu }_1^{\prime },{\mu }_2^{\prime }>0$ are constants independent of ${\mu }_1,{\mu }_2$, and $\parallel ·\parallel$ represents the supremum norm on $C[\mathsf{\Omega }\times [0,{\xi }_0]]$.

Theorem 7.

If C1–C3 hold and ${\theta }_{\omega }+{\theta }_{\nu }<{\mathbb{S}}_{\alpha \beta \sigma }^{-1}$ then system (1) is Hyers-Ulam stable.

Proof. 

Let $(\widehat{\omega },\widehat{\nu })$ be an approximate solution and $(\omega ,\nu )$ the unique exact solution of (1). Suppose that the approximate pair $(\widehat{\omega },\widehat{\nu })$ satisfies the inequalities in (21). Then there exist two continuous functions g and $g^{\prime }$ defined on $\mathsf{\Omega }\times [0,{\xi }_0]$ such that

$$\left|g(\kappa ,\xi )\right|\le {\epsilon }_1,\left|g^{\prime }(\kappa ,\xi )\right|\le {\epsilon }_2,$$

$$\begin{array}{cc}\hfill & {\mathcal{D}}_{\xi }^{\alpha }\widehat{\omega }(\kappa ,\xi )={\mathbb{F}}_{\omega }(\kappa ,\xi ,\widehat{\omega },\widehat{\nu })+g(\kappa ,\xi ),\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & {\mathcal{D}}_{\xi }^{\alpha }\widehat{\nu }(\kappa ,\xi )={\mathbb{F}}_{\nu }(\kappa ,\xi ,\widehat{\omega },\widehat{\nu })+g^{\prime }(\kappa ,\xi ),\hfill \end{array}$$

for all $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$. Here the approximate solution $(\widehat{\omega },\widehat{\nu })$ will be

$$\begin{array}{cc}\hfill & \widehat{\omega }(\kappa ,\xi )=g_0\left(\kappa \right)+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\omega }(\kappa ,\tau ,\widehat{\omega },\widehat{\nu })d\tau \hfill \\ \hfill & +{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }g(\kappa ,\tau )d\tau \hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & \widehat{\nu }(\kappa ,\xi )={\widehat{g}}_0\left(\kappa \right)+{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{\mathbb{F}}_{\nu }(\kappa ,\tau ,\widehat{\omega },\widehat{\nu })d\tau \hfill \\ \hfill & +{\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }{g}^{\prime }(\kappa ,\tau )d\tau \hfill \end{array}$$

for all $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$. Then by Theorem 6 for all $(\kappa ,\xi )\in \mathsf{\Omega }\times [0,{\xi }_0]$ we have

$$\begin{array}{cc}\hfill & \left|\widehat{\omega }(\kappa ,\xi )-\omega (\kappa ,\xi )\right|\le {\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}\hfill \\ \hfill & \times {\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }\left[\left|{\mathbb{F}}_{\omega }(\kappa ,\tau ,\widehat{\omega },\widehat{\nu })-{\mathbb{F}}_{\omega }(\kappa ,\tau ,\omega ,\nu )\right|+\left|g(\kappa ,\tau )\right|\right]d\tau \hfill \\ \hfill & \le {\displaystyle \frac{\beta {\xi }^{-\beta (\alpha +\sigma )}}{\mathsf{\Gamma }\left(\alpha \right)}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{\alpha -1}{\tau }^{\beta \sigma }\left[{\theta }_{\omega }{∥(\widehat{\omega },\widehat{\nu })-(\omega ,\nu )∥}_{\mathcal{B}}+{\epsilon }_1\right]d\tau \hfill \\ \hfill & \le {\mathbb{S}}_{\alpha \beta \sigma }\left[{\theta }_{\omega }{∥(\widehat{\omega },\widehat{\nu })-(\omega ,\nu )∥}_{\mathcal{B}}+{\epsilon }_1\right].\hfill \end{array}$$

That is,

$$∥\widehat{\omega }-\omega ∥\le {\mathbb{S}}_{\alpha \beta \sigma }\left[{\theta }_{\omega }{∥(\widehat{\omega },\widehat{\nu })-(\omega ,\nu )∥}_{\mathcal{B}}+{\epsilon }_1\right].$$

Similarly,

$$∥\widehat{\nu }-\nu ∥\le {\mathbb{S}}_{\alpha \beta \sigma }\left[{\theta }_{\nu }{∥(\widehat{\omega },\widehat{\nu })-(\omega ,\nu )∥}_{\mathcal{B}}+{\epsilon }_2\right].$$

Hence

$$\begin{array}{cc}\hfill & ∥\widehat{\omega }-\omega ∥\le {\mathbb{S}}_{\alpha \beta \sigma }\left[{\theta }_{\omega }{∥(\widehat{\omega },\widehat{\nu })-(\omega ,\nu )∥}_{\mathcal{B}}+{\epsilon }_1\right]\hfill \\ \hfill & \le {\mathbb{S}}_{\alpha \beta \sigma }\left[{\displaystyle \frac{{\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\omega }}{1-\left({\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu })\right)}}max\{{\epsilon }_1,{\epsilon }_2\}\right]+{\mathbb{S}}_{\alpha \beta \sigma }{\epsilon }_1\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & ∥\widehat{\nu }-\nu ∥\le {\mathbb{S}}_{\alpha \beta \sigma }\left[{\theta }_{\nu }{∥(\widehat{\omega },\widehat{\nu })-(\omega ,\nu )∥}_{\mathcal{B}}+{\epsilon }_2\right]\hfill \\ \hfill & \le {\mathbb{S}}_{\alpha \beta \sigma }\left[{\displaystyle \frac{{\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\nu }}{1-\left({\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu })\right)}}max\{{\epsilon }_1,{\epsilon }_2\}\right]+{\mathbb{S}}_{\alpha \beta \sigma }{\epsilon }_2.\hfill \end{array}$$

In particular, if we set $\epsilon :=max\{{\epsilon }_1,{\epsilon }_2\}$, then

$$\begin{array}{cc}\hfill & ∥\widehat{\omega }-\omega ∥\le \epsilon {\mathbb{S}}_{\alpha \beta \sigma }\left[{\displaystyle \frac{{\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\omega }}{1-\left({\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu })\right)}}+1\right]\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & ∥\widehat{\nu }-\nu ∥\le \epsilon {\mathbb{S}}_{\alpha \beta \sigma }\left[{\displaystyle \frac{{\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\nu }}{1-\left({\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu })\right)}}+1\right].\hfill \end{array}$$

Take

$${\epsilon }_1^{\prime }:={\mathbb{S}}_{\alpha \beta \sigma }\left[{\displaystyle \frac{{\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\omega }}{1-\left({\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu })\right)}}+1\right]and{\epsilon }_2^{\prime }:={\mathbb{S}}_{\alpha \beta \sigma }\left[{\displaystyle \frac{{\mathbb{S}}_{\alpha \beta \sigma }{\theta }_{\nu }}{1-\left({\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu })\right)}}+1\right].$$

The Hyers-Ulam stability constants ${\epsilon }_1^{\prime }$ and ${\epsilon }_2^{\prime }$ measure how closely the approximate solution remains to the exact one. These constants are inversely related to the denominator

$$1-{\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu }),$$

which characterizes the contraction gap of the operator. A smaller value of ${\mathbb{S}}_{\alpha \beta \sigma }$, ${\theta }_{\omega }$, or ${\theta }_{\nu }$ increases this denominator, thereby reducing the values of ${\epsilon }_1^{\prime }$ and ${\epsilon }_2^{\prime }$ and yielding a stronger form of stability. To reinforce the stability of the system, it is therefore desirable to ensure that

$${\mathbb{S}}_{\alpha \beta \sigma }({\theta }_{\omega }+{\theta }_{\nu })\le 1,\mathrm{i}.\mathrm{e}.,{\theta }_{\omega }+{\theta }_{\nu }<{\mathbb{S}}_{\alpha \beta \sigma }^{-1}.$$

Each of these requirements can be met through several possible adjustments, including the selection of a shorter time interval ${\xi }_0$, the reduction in the Lipschitz constants associated with the nonlinear operators, or the increase in the fractional order $\alpha$, which results in a larger value of $\mathsf{\Gamma }\left(\alpha \right)$. Every one of these modifications enlarges the denominator in the stability estimate, leading to an improved Hyers-Ulam stability bound for the underlying fractional nonlinear model. Consequently, system (1) is verified to be Hyers-Ulam stable. □

5. Development of PSIM

This section is included to provide a constructive procedure for obtaining an explicit series representation of the solution whose existence and uniqueness were established in Section 4. In particular, the method presented here is used exclusively to solve Equation (40) in the applications section. It is important to emphasize that the PSIM is not introduced as an independent study. Rather, it serves as a semi-analytical tool for constructing an approximation of the solution guaranteed by the operator-theoretic results. In this way, the application section remains logically connected to the theoretical framework developed earlier.

Lemma 2.

Let $\gamma >0$, $0<\alpha ,\beta \le 1$ and $\sigma \in \mathbb{R}$. Then

$${\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }{\xi }^{n\alpha }={\xi }^{n\alpha -\beta +1}{\displaystyle \frac{\mathsf{\Gamma }\left(1+G_{n\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{n\alpha ,\beta ,\sigma }\right)}}$$

(22)

where

$$G_{x,y,z}:={\displaystyle \frac{yz+x+1}{y}}$$

for $n=0,1,2,\cdots$

Proof. 

For $0<\alpha <1$ and for $n=0,1,2,\cdots$, we have

$$\begin{array}{cc}& {\mathcal{I}}_{\xi }^{1-\alpha ,\beta ,\sigma }{\xi }^{n\alpha }={\displaystyle \frac{\beta {\xi }^{-\beta (1-\alpha +\sigma )}}{\mathsf{\Gamma }(1-\alpha )}}{\int }_0^{\xi }{({\xi }^{\beta }-{\tau }^{\beta })}^{-\alpha }{\tau }^{\beta \sigma +n\alpha }d\tau \hfill \\ & ={\displaystyle \frac{\mathsf{\Gamma }\left({\displaystyle \frac{\beta \sigma +n\alpha +1}{\beta }}\right)}{\mathsf{\Gamma }\left(1-\alpha +{\displaystyle \frac{\beta \sigma +n\alpha +1}{\beta }}\right)}}={\xi }^{n\alpha -\beta +1}{\displaystyle \frac{\mathsf{\Gamma }\left(G_{n\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{n\alpha ,\beta ,\sigma }\right)}}.\hfill \end{array}$$

Hence

$$\begin{array}{cc}& {\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }{\xi }^{\gamma }={\xi }^{-\beta \sigma }{\displaystyle \frac{\mathsf{\Gamma }\left(G_{n\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{n\alpha ,\beta ,\sigma }\right)}}{\displaystyle \frac{1}{{\beta }^1{\xi }^{\beta -1}}}{\displaystyle \frac{\partial }{\partial \xi }}{\xi }^{\beta (1+\sigma )+n\alpha +1-\beta }\hfill \\ & ={\xi }^{n\alpha -\beta +1}{\displaystyle \frac{\mathsf{\Gamma }\left(G_{n\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{n\alpha ,\beta ,\sigma }\right)}}\left(\sigma +{\displaystyle \frac{n\alpha +1}{\beta }}\right)\hfill \\ & ={\xi }^{n\alpha -\beta +1}{\displaystyle \frac{\mathsf{\Gamma }\left(1+G_{n\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{n\alpha ,\beta ,\sigma }\right)}}\hfill \end{array}$$

for $n=0,1,2,\cdots$ □

Consider a power series

$$\sum _{n=0}^{\infty }{c}_n{(\xi -a)}^{n\alpha }=C_0+C_1{(\xi -a)}^{\alpha }+C_2{(\xi -a)}^{2\alpha }+\cdots ,$$

(23)

to be called a fractional power series expansion (FPSE) about a, such that $\xi$ is a variable and $c_n$ are called the coefficients of the series, where $0\le n-1<\alpha \le n$, $n\in \mathbb{N}$, and $\xi \ge a$.

Theorem 8.

Consider that the FPSE notation of $\mathcal{Q}$ about $a=0$ has the form

$$\mathcal{Q}\left(\xi \right)=\sum _{n=0}^{\infty }{c}_n{\xi }^{n\alpha },$$

(24)

where $0<\alpha <1$ and $0\le \xi \le R$. If $\mathcal{Q}\left(\xi \right),D_{\xi }^{n\alpha }\mathcal{Q}\left(\xi \right)\in C[0,R]$ for $n=1,2,3,\dots$, then the terms $c_n$ are given by

$$c_n={\displaystyle \frac{D_{\xi }^{n\alpha }\mathcal{Q}\left(\xi \right)}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}{|}_{\xi =0},$$

(25)

where $D_{\xi }^{n\alpha }=D_{\xi }^{\alpha }\circ D_{\xi }^{\alpha }\circ \cdots \circ D_{\xi }^{\alpha }$ (n times), R is the convergence radius and

$$\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n):=\prod _{k=0}^n{\displaystyle \frac{\mathsf{\Gamma }\left(1+G_{k\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{k\alpha ,\beta ,\sigma }\right)}}$$

Proof. 

By Lemma 2, for each $m\ge 0$,

$${\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }{\xi }^{m\alpha }={\xi }^{m\alpha -\beta +1}{\displaystyle \frac{\mathsf{\Gamma }\left(1+G_{m\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{m\alpha ,\beta ,\sigma }\right)}}.$$

Applying this operator repeatedly yields, by induction,

$${\mathcal{D}}_{\xi }^{n\alpha }{\xi }^{m\alpha }=\left\{\begin{array}{cc}0,\hfill & m<n,\hfill \\ A_{m,n}{\xi }^{(m-n)\alpha },\hfill & m\ge n,\hfill \end{array}\right.$$

where

$${\displaystyle A_{m,n}=\prod _{j=0}^{n-1}\frac{\mathsf{\Gamma }\left(1+G_{(m-j)\alpha ,\beta ,\sigma }\right)}{\mathsf{\Gamma }\left(1-\alpha +G_{(m-j)\alpha ,\beta ,\sigma }\right)}.}$$

Now apply $D_{\xi }^{n\alpha }$ to the fractional power series:

$$D_{\xi }^{n\alpha }\mathcal{Q}\left(\xi \right)=\sum _{m=0}^{\infty }{c}_m{\mathcal{D}}_{\xi }^{n\alpha }{\xi }^{m\alpha }=\sum _{m=n}^{\infty }{c}_m{A}_{m,n}{\xi }^{(m-n)\alpha }.$$

Since $(m-n)\alpha >0$ for all $m>n$, we have ${\xi }^{(m-n)\alpha }\to 0$ as $\xi \to 0^{+}$. Therefore continuity of $D_{\xi }^{n\alpha }\mathcal{Q}$ implies

$$D_{\xi }^{n\alpha }\mathcal{Q}\left(\xi \right){|}_{\xi =0}=c_n{A}_{n,n}=c_n\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)$$

Solving for $c_n$ yields the stated formula:

$$c_n={\displaystyle \frac{D_{\xi }^{n\alpha }\mathcal{Q}\left(\xi \right)}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}{|}_{\xi =0}.$$

 □

For two variables, a power series

$$\omega (\kappa ,\xi )=\sum _{n=0}^{\infty }{\mathcal{Q}}_n\left(\kappa \right){\xi }^{n\alpha },\kappa \in \mathsf{\Omega },0\le \xi \le R.$$

(26)

is called a multiple FPSE of $\omega$ about 0.

Theorem 9.

If $D_{\xi }^{n\alpha }\omega (\kappa ,\xi ),n=0,1,2,3,\dots ,$ are continuous on $\mathsf{\Omega }\times [0,R]$ in the series (26) then

$${\mathcal{Q}}_n\left(\kappa \right)={\displaystyle \frac{D_{\xi }^{n\alpha }\omega (\kappa ,\xi )}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}{|}_{\xi =0},$$

(27)

where $R={min}_{\kappa \in \mathsf{\Omega }}{R}_{\kappa }$, with $R_{\kappa }$ being the convergence radius of the FPSE (26).

Proof. 

Fix an arbitrary $\kappa$ and define the function ${\mathcal{Q}}_{\kappa }$ by ${\mathcal{Q}}_{\kappa }\left(\xi \right)=\omega (\kappa ,\xi )$ Then, for this fixed $\kappa$, the FPS (26) becomes

$${\mathcal{Q}}_{\kappa }\left(\xi \right)=\sum _{n=0}^{\infty }{\mathcal{Q}}_n\left(\kappa \right){\xi }^{n\alpha }.$$

By the continuity assumptions, ${\mathcal{Q}}_{\kappa }\left(\xi \right)$ and $D_{a\xi }^{n\alpha }{\mathcal{Q}}_{\kappa }\left(\xi \right)=D_{a\xi }^{n\alpha }\omega (\kappa ,\xi )$ satisfy the hypotheses of Theorem 8, and we get

$${\mathcal{Q}}_n\left(\kappa \right)={\displaystyle \frac{D_{a\xi }^{n\alpha }{\mathcal{Q}}_{\kappa }\left(\xi \right)}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}{|}_{\xi =0}={\displaystyle \frac{D_{a\xi }^{n\alpha }\omega (\kappa ,\xi )}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}{|}_{\xi =0}.$$

This is the desired result. □

Theorem 10.

Consider that the multiple FPSE notation of ω about 0 has the form

$$\omega (\kappa ,\xi )=\sum _{n=0}^{\infty }{\mathcal{Q}}_n\left(\kappa \right){\xi }^{n\alpha },$$

(28)

where $\kappa \in {\mathsf{\Omega }}_1\times {\mathsf{\Omega }}_2\times \cdots {\mathsf{\Omega }}_m,0\le \xi \le R.$ If $D_{\xi }^{n\alpha }\omega (\kappa ,\xi ),n=0,1,2,3,\dots ,$ are continuous on ${\mathsf{\Omega }}_1\times {\mathsf{\Omega }}_2\times \cdots {\mathsf{\Omega }}_m\times [0,R],$ then

$${\mathcal{Q}}_n\left(\kappa \right)={\displaystyle \frac{D_{\xi }^{n\alpha }\omega (\kappa ,\xi )}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}{|}_{\xi =0},$$

(29)

where $R={min}_{\kappa \in {\mathsf{\Omega }}_1\times {\mathsf{\Omega }}_2\times \cdots {\mathsf{\Omega }}_m}{R}_{\kappa }$, with $R_{\kappa }$ being the convergence radius of the FPSE

$$\sum _{n=0}^{\infty }{\mathcal{Q}}_n\left(\kappa \right){\xi }^{n\alpha }.$$

(30)

Proof. 

The proof is directly from Theorem 9 and the Cartesian product properties. □

We now present the principal steps of the hybrid semi-analytical approach PSIM. This method is introduced to construct an explicit series representation of the solution whose existence and uniqueness were established in the previous section. The proposed framework provides a systematic procedure for generating convergent series solutions for nonlinear fractional systems formulated with EK fractional operators. It serves as a constructive complement to the theoretical analysis and prepares the ground for the illustrative application presented in the following section. Consider the following EK fractional dynamical system

$$\left\{\begin{array}{c}{\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }\omega (\kappa ,\xi )={\mathcal{N}}_{\omega }(\kappa ,\xi ,\omega ,\nu )+{\theta }_{\omega }(\kappa ,\xi ,\omega ,\nu )\hfill \\ {\mathcal{D}}_{\xi }^{\alpha ,\beta ,\sigma }\nu (\kappa ,\xi )={\mathcal{N}}_{\nu }(\kappa ,\xi ,\omega ,\nu )+{\theta }_{\nu }(\kappa ,\xi ,\omega ,\nu )\hfill \end{array}\right.$$

(31)

where $0<\alpha \le 1$, ${\mathcal{N}}_{\omega },{\mathcal{N}}_{\nu }$ denote the nonlinear parts, and ${\theta }_{\omega },{\theta }_{\nu }$ denote any known functions. The initial conditions are met by $\omega$ and $\nu$, allowing them to be rewritten as

$$\left\{\begin{array}{c}\omega (\kappa ,0)=f_0\left(\kappa \right)\hfill \\ \nu (\kappa ,0)={\widehat{f}}_0\left(\kappa \right).\hfill \end{array}\right.$$

(32)

The approximate series solution of (31) can be expressed as

$$\left\{\begin{array}{c}\omega (\kappa ,\xi )=\sum _{n=0}^{\infty }{h}_n\left(\kappa \right){\displaystyle \frac{{\xi }^{n\alpha }}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}\hfill \\ \nu (\kappa ,\xi )=\sum _{n=0}^{\infty }{\widehat{h}}_n\left(\kappa \right){\displaystyle \frac{{\xi }^{n\alpha }}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}.\hfill \end{array}\right.$$

(33)

To find the terms $⟨h_n⟩$ and $⟨{\widehat{h}}_n⟩$, we will apply the NIM to system (31), beginning by rewriting the FDEs in an equivalent integral form using the inverse EK fractional operator. Consequently, system (31) may be represented schematically as

$$\left\{\begin{array}{c}\omega (\kappa ,\xi )=f_0\left(\kappa \right)+{\mathcal{I}}_{\xi }^{\alpha }\left\{{\mathcal{N}}_{\omega }(\kappa ,\xi ,\omega ,\nu )+{\theta }_{\omega }(\kappa ,\xi ,\omega ,\nu )\right\}\hfill \\ \nu (\kappa ,\xi )={\widehat{f}}_0\left(\kappa \right)+{\mathcal{I}}_{\xi }^{\alpha }\left\{{\mathcal{N}}_{\nu }(\kappa ,\xi ,\omega ,\nu )+{\theta }_{\nu }(\kappa ,\xi ,\omega ,\nu )\right\}.\hfill \end{array}\right.$$

(34)

We separate the known (linear or source) parts from the nonlinear operators by introducing

$$\left\{\begin{array}{c}{F}_{\omega }(\kappa ,\xi )=f_0\left(\kappa \right)+{\mathcal{I}}_{\xi }^{\alpha }\left\{{\theta }_{\omega }(\kappa ,\xi ,\omega ,\nu )\right\}\hfill \\ F_{\nu }(\kappa ,\xi )={\widehat{f}}_0\left(\kappa \right)+{\mathcal{I}}_{\xi }^{\alpha }\left\{{\theta }_{\nu }(\kappa ,\xi ,\omega ,\nu )\right\}.\hfill \end{array}\right.$$

(35)

and the nonlinear operators

$$\left\{\begin{array}{c}\left[G_{\omega }(\omega ,\nu )\right](\kappa ,\xi )={\mathcal{I}}_{\xi }^{\alpha }\left\{{\mathcal{N}}_{\omega }(\kappa ,\xi ,\omega ,\nu )\right\}\hfill \\ \left[G_{\nu }(\omega ,\nu )\right](\kappa ,\xi )={\mathcal{I}}_{\xi }^{\alpha }\left\{{\mathcal{N}}_{\nu }(\kappa ,\xi ,\omega ,\nu )\right\}.\hfill \end{array}\right.$$

(36)

Thus (31) can be written as

$$\begin{array}{c}\hfill \omega =F_{\omega }+G_{\omega }(\omega ,\nu )\mathrm{and}\nu =F_{\nu }+G_{\nu }(\omega ,\nu ).\end{array}$$

(37)

Let $⟨S_{\omega }^m⟩$ and $⟨S_{\nu }^m⟩$ be the partial sum sequences of the series (33); that is,

$$S_{\omega }^m(\kappa ,\xi )=\sum _{n=0}^m{\omega }_n(\kappa ,\xi )\mathrm{and}{S}_{\nu }^m(\kappa ,\xi )=\sum _{n=0}^m{\nu }_n(\kappa ,\xi )$$

where

$${\omega }_n(\kappa ,\xi )=h_n\left(\kappa \right){\displaystyle \frac{{\xi }^{n\alpha }}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}\mathrm{and}{\nu }_n(\kappa ,\xi )={\widehat{h}}_n\left(\kappa \right){\displaystyle \frac{{\xi }^{n\alpha }}{\mathsf{\Gamma }(\alpha ,\beta ,\sigma ,n)}}.$$

Find the terms of $⟨h_n⟩$ and $⟨{\widehat{h}}_n⟩$ by solving the following:

$${\omega }_{m+1}(\kappa ,\xi )=G_{\omega }\left(S_{\omega }^m(\kappa ,\xi ),S_{\nu }^m(\kappa ,\xi )\right)-G_{\omega }\left(S_{\omega }^{m-1}(\kappa ,\xi ),S_{\nu }^{m-1}(\kappa ,\xi )\right)$$

(38)

and

$${\nu }_{m+1}(\kappa ,\xi )=G_{\nu }\left(S_{\omega }^m(\kappa ,\xi ),S_{\nu }^m(\kappa ,\xi )\right)-G_{\nu }\left(S_{\omega }^{m-1}(\kappa ,\xi ),S_{\nu }^{m-1}(\kappa ,\xi )\right)$$

(39)

for $m=0,1,2,3,\cdots$, where

$$G_{\omega }\left(S_{\omega }^{-1}(\kappa ,\xi ),S_{\nu }^{-1}(\kappa ,\xi )\right)=0\mathrm{and}{G}_{\nu }\left(S_{\omega }^{-1}(\kappa ,\xi ),S_{\nu }^{-1}(\kappa ,\xi )\right)=0.$$

The finding iteration generates a sequence of approximations that leads to the m-th order solution of system (31). When the nonlinear operators satisfy the required conditions, the series ${\sum }_{n=0}^{\infty }{\omega }_n$ and ${\sum }_{n=0}^{\infty }{\nu }_n$ converge to the exact solutions $\omega$ and $\nu$, respectively.

6. Some Applications

In this section, we demonstrate how the theoretical results obtained in Section 4 are applied to a concrete fractional model. The considered Equation (40) corresponds to a nonlinear fractional wave-type system derived from the classical BZDS. Such systems are known, at the mathematical level, to exhibit wave propagation structures within reaction–diffusion settings. In the present work, the example is used solely to illustrate the applicability of the developed operator-theoretic framework to a fractional system of wave propagation type. In particular, we verify that Equation (40) satisfies the assumptions of Theorems 5 and 6. By checking the boundedness and Lipschitz conditions of the associated operators, we ensure that the hypotheses of Theorem 5 are fulfilled, which guarantees the existence of a solution. Moreover, by verifying the contraction condition, we apply Theorem 6 to establish the uniqueness of this solution.

Once existence and uniqueness are theoretically ensured, it is natural to ask what the explicit form of the solution looks like. To address this question, we employ the semi-analytical PSIM developed in Section 5 to construct a series representation of the solution. The role of the PSIM here is purely constructive: it provides an explicit approximation of the solution whose existence has already been established by the operator-theoretic framework. As an illustrative example, we take

$${\eta }_1=\omega \left[1-\omega -{\gamma }_1\nu \right]+{\gamma }_1^{\prime }\nu ,{\eta }_2=-{\gamma }_2\omega \nu +{\gamma }_3\nu ,$$

in the nonlinear system (1), with the parameters

$${\gamma }_1=1,{\gamma }_2=6,{\gamma }_3={\gamma }_1^{\prime }=0.$$

Accordingly, the resulting model represents the EK fractional BZDS:

$$\left\{\begin{array}{c}{\mathcal{D}}_{\xi }^{\alpha }\omega (\kappa ,\xi )={\omega }_{\kappa \kappa }(\kappa ,\xi )+\omega (\kappa ,\xi )-{\omega }^2(\kappa ,\xi )-\omega (\kappa ,\xi )\nu (\kappa ,\xi )\hfill \\ {\mathcal{D}}_{\xi }^{\alpha }\nu (\kappa ,\xi )={\nu }_{\kappa \kappa }(\kappa ,\xi )-6\omega (\kappa ,\xi )\nu (\kappa ,\xi )+6\nu (\kappa ,\xi )\hfill \\ \omega (\kappa ,0)={\left(e^{\kappa }+1\right)}^{-2}\hfill \\ \nu (\kappa ,0)=-5e^{\kappa }\left(e^{\kappa }+2\right){\left(e^{\kappa }+1\right)}^{-2}.\hfill \end{array}\right.$$

(40)

Note that the exact solution of (40) at $\alpha =1$ is given by

$$\omega (\kappa ,\xi )=e^{10\xi }{\left(e^{\kappa }+e^{10\xi }\right)}^{-2}\mathrm{and}\nu (\kappa ,\xi )=-5e^{\kappa }\left(e^{\kappa }+2e^{10\xi }\right){\left(e^{\kappa }+e^{10\xi }\right)}^{-2}.$$

For $0<\alpha <1$, we verify that Equation (40) satisfies the hypotheses of Theorems 5 and 6. Let $\mathsf{\Omega }=[a,b]\subset \mathbb{R}$ be bounded and locally compact and consider $\mathcal{B}=C_{{\mathsf{\Omega }}_0}\times C_{{\mathsf{\Omega }}_0}$ endowed with the compact-open topology. Assume $(\omega ,\nu )\in C^2(\mathsf{\Omega }\times [0,{\xi }_0])\times C^2(\mathsf{\Omega }\times [0,{\xi }_0])$. Define

$${\mathcal{F}}_{\omega }(\kappa ,\xi ,\omega ,\nu )={\omega }_{\kappa \kappa }+{\eta }_1(\omega ,\nu )\mathrm{and}{\mathcal{F}}_{\nu }(\kappa ,\xi ,\omega ,\nu )={\nu }_{\kappa \kappa }+{\eta }_2(\omega ,\nu ),$$

where ${\eta }_1(\omega ,\nu )=\omega -{\omega }^2-\omega \nu$ and ${\eta }_2(\omega ,\nu )=-6\omega \nu +6\nu .$ Assume $(\omega ,\nu )\in C^2(\mathsf{\Omega }\times [0,{\xi }_0])\times C^2(\mathsf{\Omega }\times [0,{\xi }_0])$. It is clear the operators ${\mathcal{F}}_{\omega }$ and ${\mathcal{F}}_{\nu }$ are continuous operators, since they are polynomials in two dimensions. Since $\mathsf{\Omega }$ is locally compact and bounded, C1 is satisfied. For $(\omega ,\nu )\in D_{\epsilon }$, we have $\left|\omega \right|\le \epsilon$ and $\left|\nu \right|\le \epsilon$. Hence

$$|{\eta }_1(\omega ,\nu )|=|\omega -{\omega }^2-\omega \nu |\le \epsilon +{\epsilon }^2+{\epsilon }^2=\epsilon +2{\epsilon }^2$$

and

$$|{\eta }_2(\omega ,\nu )|=|-6\omega \nu +6\nu |\le 6{\epsilon }^2+6\epsilon .$$

Since ${\partial }_{\kappa \kappa }$ is continuous, there exist constants $M_{\omega }=sup\left|{\omega }_{\kappa \kappa }\right|$ and $M_{\nu }=sup\left|{\nu }_{\kappa \kappa }\right|.$ Therefore

$$|{\mathcal{F}}_{\omega }|\le M_{\omega }+\epsilon +2{\epsilon }^2\mathrm{and}\left|{\mathcal{F}}_{\nu }\right|\le M_{\nu }+6\epsilon +6{\epsilon }^2.$$

That is, C2 holds and hence Theorem 5 yields existence of a solution of Equation (40). To apply Theorem 6, we verify C3. Let

$$M=max\{\parallel \omega -{\omega }_1{\parallel }_{\infty },\parallel \nu -{\nu }_1{\parallel }_{\infty }\}.$$

For the operator ${\eta }_1$, we have

$${\eta }_1(\omega ,\nu )-{\eta }_1({\omega }_1,{\nu }_1)=(\omega -{\omega }_1)-({\omega }^2-{\omega }_1^2)-(\omega \nu -{\omega }_1{\nu }_1).$$

Since

$$|{\omega }^2-{\omega }_1^2| =|\omega +{\omega }_1\left|\right|\omega -{\omega }_1| \le 2\epsilon M$$

and

$$|\omega \nu -{\omega }_1{\nu }_1| \le |\omega \left|\right|\nu -{\nu }_1| + |{\nu }_1\left|\right|\omega -{\omega }_1| \le 2\epsilon M.$$

then

$$|{\eta }_1(\omega ,\nu )-{\eta }_1({\omega }_1,{\nu }_1)| \le (1+4\epsilon )M.$$

Hence ${\theta }_{\omega }=1+4\epsilon .$ Similarly, for the operator ${\eta }_2$, we have

$${\eta }_2(\omega ,\nu )-{\eta }_2({\omega }_1,{\nu }_1)=-6(\omega \nu -{\omega }_1{\nu }_1)+6(\nu -{\nu }_1).$$

Then

$$|{\eta }_2(\omega ,\nu )-{\eta }_2({\omega }_1,{\nu }_1)| \le 6\left(2\epsilon M\right)+6M=(6+12\epsilon )M.$$

Hence ${\theta }_{\nu }=6+12\epsilon .$ So we can choose parameters $(\alpha ,\beta ,\sigma ,{\xi }_0)$ and a ball size $\epsilon >0$ such that $({\theta }_{\omega }+{\theta }_{\nu })S_{\alpha \beta \sigma }<1$. That is, Equation (40) has a unique solution.

After existence and uniqueness are ensured by Theorems 5 and 6, we use the PSIM only as a constructive tool to obtain a series representation of the unique solution. Apply the PSIM to get

$$\begin{array}{cc}\hfill & {\omega }_0(\kappa ,\xi )={\displaystyle \frac{1}{{(e^{\kappa }+1)}^2}}\hfill \\ \hfill & {\omega }_1(\kappa ,\xi )={\displaystyle \frac{10{\xi }^{\alpha }}{\mathsf{\Gamma }\left(\alpha \right)}}{\displaystyle \frac{e^{\kappa }}{{(e^{\kappa }+1)}^3}}\hfill \\ \hfill & {\omega }_2(\kappa ,\xi )={\displaystyle \frac{50{\xi }^{2\alpha }}{\mathsf{\Gamma }(2\alpha +1)}}{\displaystyle \frac{e^{\kappa }(2e^{\kappa }-1)}{{(e^{\kappa }+1)}^4}}\hfill \\ \hfill & {\omega }_3(\kappa ,\xi )={\displaystyle \frac{50{\xi }^{3\alpha }}{\mathsf{\Gamma }(3\alpha +1)}}\left[{\displaystyle \frac{100}{\mathsf{\Gamma }{\left(\alpha \right)}^2}}{\displaystyle \frac{e^{2\kappa }}{{(e^{\kappa }+1)}^6}}-{\displaystyle \frac{e^{\kappa }(15e^{2\kappa }-20e^{2\kappa }+6e^{\kappa }-5)}{{(e^{\kappa }+1)}^6}}\right]\hfill \\ \hfill & ⋮\hfill \end{array}$$

(41)

and

$$\begin{array}{cc}\hfill & {\nu }_0(\kappa ,\xi )=-5e^{\kappa }\left(e^{\kappa }+2\right){\left(e^{\kappa }+1\right)}^{-2}\hfill \\ \hfill & {\nu }_1(\kappa ,\xi )={\displaystyle \frac{-50{\xi }^{\alpha }}{\mathsf{\Gamma }\left(\alpha \right)}}{\displaystyle \frac{e^{\kappa }}{{(e^{\kappa }+1)}^3}}\hfill \\ \hfill & {\nu }_2(\kappa ,\xi )={\displaystyle \frac{-250{\xi }^{2\alpha }}{\mathsf{\Gamma }(2\alpha +1)}}{\displaystyle \frac{e^{\kappa }(2e^{\kappa }-1)}{{(e^{\kappa }+1)}^4}}\hfill \\ \hfill & {\nu }_3(\kappa ,\xi )={\displaystyle \frac{-250{\xi }^{3\alpha }}{\mathsf{\Gamma }(3\alpha +1)}}\left[{\displaystyle \frac{100}{\mathsf{\Gamma }{\left(\alpha \right)}^2}}{\displaystyle \frac{e^{2\kappa }}{{(e^{\kappa }+1)}^6}}-{\displaystyle \frac{e^{\kappa }(15e^{2\kappa }-20e^{2\kappa }+6e^{\kappa }-5)}{{(e^{\kappa }+1)}^6}}\right]\hfill \\ \hfill & ⋮\hfill \end{array}$$

(42)

Therefore the solution of (40) is given by

$$\begin{array}{cc}\hfill & \omega (\kappa ,\xi )={\displaystyle \frac{1}{{(e^{\kappa }+1)}^2}}+{\displaystyle \frac{10{\xi }^{\alpha }}{\mathsf{\Gamma }\left(\alpha \right)}}{\displaystyle \frac{e^{\kappa }}{{(e^{\kappa }+1)}^3}}+{\displaystyle \frac{50{\xi }^{2\alpha }}{\mathsf{\Gamma }(2\alpha +1)}}{\displaystyle \frac{e^{\kappa }(2e^{\kappa }-1)}{{(e^{\kappa }+1)}^4}}\hfill \\ \hfill & +{\displaystyle \frac{50{\xi }^{3\alpha }}{\mathsf{\Gamma }(3\alpha +1)}}\left[{\displaystyle \frac{100}{\mathsf{\Gamma }{\left(\alpha \right)}^2}}{\displaystyle \frac{e^{2\kappa }}{{(e^{\kappa }+1)}^6}}-{\displaystyle \frac{e^{\kappa }(15e^{2\kappa }-20e^{2\kappa }+6e^{\kappa }-5)}{{(e^{\kappa }+1)}^6}}\right]+\cdots \hfill \end{array}$$

(43)

and

$$\begin{array}{cc}\hfill & \nu (\kappa ,\xi )=-5e^{\kappa }\left(e^{\kappa }+2\right){\left(e^{\kappa }+1\right)}^{-2}-{\displaystyle \frac{50{\xi }^{\alpha }}{\mathsf{\Gamma }\left(\alpha \right)}}{\displaystyle \frac{e^{\kappa }}{{(e^{\kappa }+1)}^3}}-{\displaystyle \frac{250{\xi }^{2\alpha }}{\mathsf{\Gamma }(2\alpha +1)}}{\displaystyle \frac{e^{\kappa }(2e^{\kappa }-1)}{{(e^{\kappa }+1)}^4}}\hfill \\ \hfill & -{\displaystyle \frac{250{\xi }^{3\alpha }}{\mathsf{\Gamma }(3\alpha +1)}}\left[{\displaystyle \frac{100}{\mathsf{\Gamma }{\left(\alpha \right)}^2}}{\displaystyle \frac{e^{2\kappa }}{{(e^{\kappa }+1)}^6}}-{\displaystyle \frac{e^{\kappa }(15e^{2\kappa }-20e^{2\kappa }+6e^{\kappa }-5)}{{(e^{\kappa }+1)}^6}}\right]+\cdots \hfill \end{array}$$

(44)

To further examine the consistency of the constructed series solution, we compare the PSIM approximation with the exact classical solution obtained in the limiting case $\alpha =1$. This comparison serves as a reference validation of the series representation. Table 1 presents the absolute errors (AEs) for the dependent variables $\omega$ and $\nu$ at selected spatial points $\kappa \in \{0.2,0.4,0.6,0.8\}$ and small time values $\xi \in [0.01,0.05]$. The errors remain within the range ${10}^{-5}$–${10}^{-4}$, indicating strong agreement between the semi-analytical PSIM approximation and the classical exact solution. This confirms the convergence of the PSIM expansion in the integer-order limit. Figure 1, Figure 2, Figure 3, Figure 4 and Figure 5 display the spatial and temporal evolution of the PSIM solution components. The profiles illustrate smooth and stable behavior over successive time levels, reflecting the well-posedness of the system established by Theorems 5 and 6. The surface representations further demonstrate the regularity of the constructed solution in the $(\kappa ,\xi )$ domain. These graphical results, together with the small error values reported for $\alpha =1$, support the consistency of the PSIM construction with the theoretical framework. The figures are included to visualize the constructed solution, while the main analytical conclusions follow directly from the fixed-point analysis. Overall, this example demonstrates the practical implementation of the developed operator-theoretic framework and the associated PSIM representation for a nonlinear fractional dynamical system.

Table 1. Comparing AE of exact and PSIM solutions of (40) at $\alpha =1$.

$\mathit{\kappa }$	$\mathit{\xi }$	$\mathit{\omega }{(\mathit{\kappa },\mathit{\xi })}_{\mathbf{Exact}}$	$\mathit{\omega }{(\mathit{\kappa },\mathit{\xi })}_{\mathit{\beta }-\mathbf{LHPM}}$	${\mathbf{AE}}_{\mathit{\omega }}$	$\mathit{\nu }{(\mathit{\kappa },\mathit{\xi })}_{\mathbf{Exact}}$	$\mathit{\nu }{(\mathit{\kappa },\mathit{\xi })}_{\mathit{\beta }-\mathbf{LHPM}}$	${\mathbf{AE}}_{\mathit{\nu }}$
0.20	0.01	0.2041718	0.2041514	0.0000204	−3.8717761	−3.8713890	0.0003872
	0.02	0.2046827	0.2046622	0.0000205	−3.7500000	−3.7496250	0.0003750
	0.03	0.2041718	0.2041514	0.0000204	−3.6219843	−3.6216221	0.0003622
	0.04	0.2026494	0.2026292	0.0000203	−3.4884129	−3.4880640	0.0003488
	0.05	0.2001455	0.2001255	0.0000200	−3.3500790	−3.3497440	0.0003350
0.40	0.01	0.1665538	0.1665371	0.0000167	−4.0436517	−4.0432473	0.0004044
	0.02	0.1628843	0.1628680	0.0000163	−3.7454821	−3.7451075	0.0003745
	0.03	0.1582359	0.1582201	0.0000158	−3.4112804	−3.4109393	0.0003411
	0.04	0.1527745	0.1527593	0.0000153	−3.0564823	−3.0561767	0.0003065
	0.05	0.1466877	0.1466730	0.0000147	−2.6910445	−2.6907754	0.0002689
0.60	0.01	0.1348024	0.1347889	0.0000135	−4.3457480	−4.3453134	0.0004346
	0.02	0.1314961	0.1314830	0.0000131	−4.0319705	−4.0315673	0.0004032
	0.03	0.1272897	0.1272770	0.0000127	−3.6780249	−3.6776571	0.0003678
	0.04	0.1223629	0.1223507	0.0000122	−3.2993832	−3.2990532	0.0003299
	0.05	0.1169093	0.1168976	0.0000117	−2.9097560	−2.9094650	0.0002910
0.80	0.01	0.1086821	0.1086712	0.0000109	−4.6575273	−4.6570615	0.0004660
	0.02	0.1057272	0.1057166	0.0000106	−4.3273984	−4.3269656	0.0004327
	0.03	0.1020397	0.1020295	0.0000102	−3.9569812	−3.9565855	0.0003964
	0.04	0.0977564	0.0977466	0.0000098	−3.5612461	−3.5608900	0.0003561
	0.05	0.0930238	0.0930145	0.0000093	−3.1531704	−3.1528551	0.0003153

Figure 1. The PSIM curves for the solutions $\omega (\kappa ,\xi )$ of (40).

Figure 2. The PSIM curves for the solutions $\nu (\kappa ,\xi )$ of (40).

Figure 3. The PSIM plots for solutions $\omega$ of (40).

Figure 4. The PSIM plots for solutions $\nu$ of (40).

Figure 5. The surface PSIM solutions of (40).

7. Conclusions

In this work, we developed a rigorous operator-theoretic framework for nonlinear EK fractional dynamical systems formulated in Banach spaces endowed with the compact-open topology. By employing the Banach and Schaefer fixed-point theorems, sufficient conditions for existence, uniqueness, contraction-type bounds, and Ulam–Hyers stability of solutions were established. The semi-analytical PSIM was introduced as a constructive complement to the theoretical analysis, providing an explicit fractional series representation of the solution whose existence is guaranteed by the fixed-point framework. The method was implemented for the EK fractional BZDS (Equation (40)), where the assumptions of Theorems 5 and 6 were verified. The comparison with the classical case $\alpha =1$ further confirmed the consistency of the constructed series solution. The results presented in this paper provide a coherent link between abstract operator-theoretic analysis and constructive series representation for EK-type fractional systems. In particular, the illustrative fractional BZDS example indicates that the present theoretical–constructive framework may serve as a rigorous basis for future quantitative investigations of related physical models. Future research may extend this framework to other classes of fractional operators, more general nonlinear systems, and higher-dimensional models within the compact-open topology setting. Further investigations may also explore relaxation of certain regularity assumptions and refinement of convergence analysis for the proposed series scheme.