Modeling Klebsiella pneumonia infections and antibiotic resistance dynamics with fractional differential equations: insights from real data in North Cyprus

Abstract

This study presents an enhanced fractional-order mathematical model for analyzing the dynamics of Klebsiella pneumonia infections and antibiotic resistance over time. The model incorporates fractional Caputo derivative operators and kernel, to provide a more comprehensive understanding of the complex temporal dynamics. The model consists of three groups: Susceptible (S), Infected (I), and Resistant (R) individuals, each controlled by a fractional differential equation. The model represents the interaction between infection, recovery from infection, and the possible development of antibiotic resistance in susceptible individuals. The existence, uniqueness, stability, and alignment of the model’s prediction to the observed data were analyzed and buttressed with numerical simulations. The results show that imipenem has the highest efficacy compared with ertapenem and meropenem category drugs. The estimated reproduction number and reproduction coefficient illustrate the potential impact of this model in improving treatment strategies, while the memory effects highlight the advantages of fractional differentiation. The model predicts an increased possibility of antibiotic resistance despite effective treatment, suggesting a new treatment approach.

Introduction

Klebsiella pneumoniae is a Gram-negative bacterium that has posed a serious public health challenge in the world. It can cause different types of infections, from urinary tract infections to life-threatening pneumonia, and with its growing antibiotic resistance. This necessitates a deep understanding of how it causes infections as well as develops resistance [1,2,3,4,5]. According to [6], K. pneumonia is by far the most significant contributor to global antibiotic resistance particularly within institutions where there are always high-risk (HiR) epidemic strains that are generally resistant to multiple antibiotics. Consequently, these strains cause limited treatment options leading to more deaths, complications, and increased costs of healthcare. Klebsiella pneumoniae, being a hospital-acquired pathogen, continuously receives exposure to different antibiotics leading to evolutionary pressure aiming for further positive mutations. The drug resistance pattern also comprises a wide range of antibiotic resistance genes (ARGs) that encompass both chromosomal and plasmid-encoded gene cassettes. Plasmid-mediated resistome and transposons facilitate horizontal transfer to other bacterial strains, contributing to the spread of resistance determinants. Authors of [7] emphasize that managing antimicrobial resistance in multi-drug-resistant K. pneumonia (MDR-KP) poses a significant challenge for clinicians. The optimal treatment approach for MDR-KP infections remains uncertain, prompting the exploration of various combination therapies involving antibiotics like meropenem, colistin, fosfomycin, tigecycline, and aminoglycosides. New antimicrobials targeting MDR-KP are in different stages of clinical research and development. They emphasize the need for coordinated strategies, infection control, and prudent antimicrobial use to limit MDR-KP spread and improve treatment outcomes. Combination therapies and newer drugs like ceftazidime-avibactam are explored for their potential in treating MDR-KP infections.

Mathematical models have shown to be useful in describing complex phenomenons, which have led to the development and optimization of treatment strategies and public health interventions [8,9,10,11,12,13]. Authors of [14] investigated the future clinical scenario of K. pneumonia, a significant pathogen causing healthcare-associated infections with antibiotic resistance. They used an integer mathematical modeling approach (SIS-type model) with retrospective medical data to predict the spread of extended-spectrum beta-lactamase (ESBL)-producing K. pneumonia. The study revealed that ESBL-producing strains will possibly exceed non-ESBL strains in around 70 months, indicating the urgent need for preventive measures. Sensitivity analysis highlighted the critical role of antibiotic use in the development of ESBL-producing strains. The study emphasizes proper antibiotic use, infection control, and surveillance to mitigate the rise of antibiotic-resistant K. pneumonia. Integer ordinary differential equation models (ODE), while widely used in epidemiology, have some limitations when applied to the study of complex infectious diseases such as K. pneumonia infections and antibiotic resistance. A significant limitation is their inability to fully represent the complex dynamics and differentials of non-integer order observed in real systems. Integer-order models typically assume constant rates of transmission, recovery, and resistance development and ignore possible differences that may be critical in the context of rapid pathogen evolution. Furthermore, these models can have difficulty describing population diversity because they often rely on averages and assumptions of homogeneous mixtures. Integer ODE methods can generalize dynamics, leading to inaccurate predictions of the increase and spread of antibiotic-resistant strains. The model proposed in this study incorporates fractional differential equations to better explain the complexity and dynamics of infectious disease dynamics by proposing a more flexible framework to address some of these limitations. Many scientists [15,16,17,18,19] have employed the Susceptible-Infected-Resistant (SIR) framework in studying infections and drug effectiveness. However, no author in the literature has narrowed their research to K. pneumonia using (SIR) fractional-order dynamics to ascertain and compare drug effectiveness as well as predict future scenarios of the susceptible, infected, and resistant population.

In this study, we introduce an advanced mathematical model that integrates fractional Caputo derivative operators into the traditional Susceptible-Infected-Resistant (SIR) framework. The use of fractional-order differentiation improves the model’s competence to capture intricate chronological behaviors in the context of K. pneumonia infections and antibiotic resistance. Our model consists of three groups: Susceptible (S), Infected (I), and Resistant (R), each governed by fractional-order differential equations. Within the model, the Susceptible group accounts for individuals susceptible to infection and their recovery rates. In the Infected group, we study the dynamic interaction among susceptible individuals becoming infected, recuperating from infection, and possibly developing antibiotic resistance. The Resistant group demonstrates people who have become immune to antibiotics.

Our model uses fractional-order differentiation as well and this facilitates more sophisticated investigations of the sequential dynamics which may not be apparent using the traditional integer-order differential equations. It is a useful research tool for epidemiologists and medical mathematicians who aim at understanding K. pneumonia infections and antibiotic resistance better to improve disease management and treatment approaches. What distinguishes this study is the incorporation of fractional-order dynamics into the Susceptible-Infected-Resistant (SIR) framework for K. pneumonia. As a result, it explores more superior drug effectiveness future scenarios and new perspectives on how to combat antibiotic-resistant K. pneumonia. The method used in this research involves employing fractional differential equations within the Susceptible-Infected-Resistant (SIR) framework to simulate K. pneumonia infections and antibiotic resistance dynamics because it has several benefits. One significant advantage is its capacity to capture complex and intricate behaviors in the dynamics of the susceptible, infected, and resistant populations, such as memory effect [20,21,22]. The fractional-order dynamics provide a refined representation of the temporal evolution of the system, allowing for a closer approximation of real-world complexities. Furthermore, the model’s increased sensitivity to changes in parameters and initial conditions, especially as the fractional order approaches 1, has the potential to more accurately represent the impact of subtle changes on infection spread and resistance development. However, as with any modeling approach, there are inherent shortcomings. The complexity caused by fractional differential equations can lead to computational costs and interpretability challenges. The need for accurate parameter estimates and validation against empirical data is becoming increasingly important, and model performance depends on the availability of precise input parameters. Furthermore, adopting and applying fractional-order dynamics may require a more comprehensive understanding by practitioners and researchers, which may limit their accessibility for practical applications. Balancing the benefits of increased realism with the computational and interpretive requirements are key considerations for the successful application of this approach in understanding and predicting K. pneumonia infections and antibiotic resistance dynamics. To formulate a mathematical model to describe the dynamics of K. pneumonia infections and antibiotic resistance over time, we use a simple compartmental model as shown in Eq. (1), with the description of the variables and parameters in Table 1.

Method

Collection of microbiological data

The study comprised 937 strains of K. pneumonia isolated in the university hospital microbiology laboratory between January 2018 and July 2023. Antibiotic susceptibilities of these strains, obtained from hospitalized patients, were determined using the Biomérieux Vitek® 2 automated system. The effectiveness of carbapenem group antibiotics, namely ertapenem, imipenem, and meropenem, on these strains was evaluated using a mathematical model.

The K. pneumonia fractional-order model

A fractional-order model of the Caputo type is employed to describe the disease dynamics, schematically shown in Fig. 1, and mathematically in system (1). The proof of the existence and uniqueness of the system is established using the Banach contraction principle, and the stability of the solution is shown using the Jacobian matrix. Numerical analysis was simulated using MATLAB implementing the Predictor Corrector Scheme [23, 24]. All variables and parameters are explained in Table 1.

Fig. 1

Schematic diagram of the model (1)

Table 1 Variables and parameters in the K. pneumonia infection and antibiotic resistance model

$$\begin{aligned} _{0}^{c}D_{t}^{\alpha }S(t){} & {} = \Lambda ^\alpha -\beta ^{\alpha } \cdot I(t) \cdot S(t) + \delta ^{\alpha } \cdot I(t) \nonumber \\ _{0}^{c}D_{t}^{\alpha }I(t){} & {} = \beta ^{\alpha } \cdot I(t) \cdot S(t) - \delta ^{\alpha } \cdot I(t) - \mu ^{\alpha } \cdot I(t) \nonumber \\ _{0}^{c}D_{t}^{\alpha }R(t){} & {} = \mu ^{\alpha } \cdot I(t) - \theta ^{\alpha } \cdot R(t) \end{aligned}$$

(1)

where $P(t)=S(t)+I(t)+R(t)$ and $_{0}^{c}D_{t}^{\alpha }$ is the Caputo fractional differential operator which is defined in Definition 3, with the following initial conditions:

$$\begin{aligned} S(0)=S_0>0, \quad I(0)=I_0>0, \quad R(0)=R_0>0. \end{aligned}$$

Fractional-order Caputo differential operator $_{0}^{c}D_{t}^{\alpha }$ is used in the model (1). It presents a more comprehensive view of how K. pneumonia infections and antibiotic resistance develop over time. This model is divided into three groups: Susceptible (S), Infected (I), and Resistant (R) which are governed by fractional differential equations. The model explores how susceptible individuals may get infected at ($\beta ^ \alpha$) rate, recover from the infection at ($\delta ^ \alpha$) rate, and possibly develop antibiotic resistance over time at ($\mu ^ \alpha$) rate. In the case of the Susceptible group, the rate of change $_{0}^{c}D_{t}^{\alpha }S(t)$ shows the number of people who can be infected and then recover concerning the number of infected ones (I). The Resistant group consists of individuals who have developed resistance towards antibiotics and recover at a rate ($\theta ^{\alpha }$) from infection. Complex dynamics are better studied using this Caputo derivative-based model for K. pneumonia infections and antibiotic resistance, which takes into account non-integer order differentiation to capture more non-linear and complex behaviors.

Preliminaries

Definition 1

Caputo derivative [25]

The Caputo derivative of order $\alpha \in (0,1)$ of a sufficiently differentiable function f(t) is defined as follows:

$$\begin{aligned} D_t^\alpha f(t) = \frac{1}{\Gamma (1-\alpha )}\int _{0}^{t}(t-\tau )^{-\alpha }\frac{d}{d\tau }f(\tau )d\tau , \end{aligned}$$

where $\Gamma$ is the gamma function.

Definition 2

Gamma function [26]

The gamma function $\Gamma (z)$ is defined for $\textrm{Re}(z)>0$ by the integral

$$\begin{aligned} \Gamma (z)=\int _{0}^{\infty }x^{z-1}e^{-x}dx. \end{aligned}$$

Definition 3

Let $\alpha \in \mathbb {R}$, $n-1< \alpha \le n$, $n \in \mathbb {N}$, and f(t) be absolutely continuous on $[0, \infty )$. The Caputo fractional derivative of order $\alpha$ is defined as [27, 28]:

$$\begin{aligned} _{0}^{c}D_{t}^{\alpha }f(t)=\frac{1}{\Gamma (n-\alpha )} \int _0^t (t-s)^{n-\alpha -1} , f^{(n)}(s), ds, \quad t\in [0, T_f], \quad \alpha \in (0, 1], \end{aligned}$$

where f(t) is n times differentiable and $\Gamma (x)$ is the Gamma function:

$$\begin{aligned} \Gamma (x)=\int _0^ {\infty } e^{-z} , z^{x-1}, dz, \quad \text {Re}(z)>0. \end{aligned}$$

Definition 4

The Riemann–Liouville fractional integral of order $\alpha >0$ of a function f(t) is defined as [27, 28]:

$$\begin{aligned} _{0}^{RL}I_{t}^{\alpha } f(t)=\frac{1}{\Gamma (\alpha )} \int _0^t (t-s)^{\alpha -1} , g(s), ds, \quad t\in [0, T_f]. \end{aligned}$$

This integral exists almost everywhere for any integrable function f(t).

The Riemann–Liouville integral and the Caputo fractional derivative operators satisfy the following property:

$$\begin{aligned} _{0}^{RL}I_{t}^{\alpha } ( _{0}^{c}D_{t}^{\alpha } f(t)) =f(t)-\sum \limits _{k=0}^{n-1} f^{(k)}(0)\frac{t^k}{k!}, \quad n-1<\alpha \le n. \end{aligned}$$

Definition 5

The Mittag–Leffler function $E_{\sigma }(w)$ is defined as:

$$\begin{aligned} E_{\sigma }(w)=\sum \limits _{k=0}^{\infty } \frac{w^k}{\Gamma (1+k \sigma )}, \quad \sigma \in \mathbb {C}, , \text {Re}(\sigma )>0, , w \in \mathbb {C}. \end{aligned}$$

Its generalized form $E_{\sigma , \varsigma }(w)$ is defined as:

$$\begin{aligned} E_{\sigma , \varsigma }(w)=\sum \limits _{k=0}^{\infty } \frac{w^k}{\Gamma (\varsigma +k \sigma )}, \quad \sigma , \varsigma \in \mathbb {C}, , \text {Re}(\sigma ), \text {Re}(\varsigma ) >0, , w \in \mathbb {C}. \end{aligned}$$

These functions are called Mittag–Leffler functions [29].

Definition 6

Laplace transform of the Caputo derivative [30]

The Laplace transform of the Caputo derivative $D_t^{\alpha }$ of order $\alpha \in (0,1)$ of a function f(t) is defined as:

$$\begin{aligned} \mathcal {L}{D_t^{\alpha }f(t)}(s)=s^{\alpha } \mathcal {L}{f(t)}(s)-s^{\alpha -1}f(0^+), \end{aligned}$$

where $\mathcal {L}{f(t)}(s)$ is the Laplace transform of f(t) and $f(0^+)$ denotes the right-sided limit of f(t) at $t=0$.

Definition 7

Banach contraction principle [31]

Let (X, d) be a metric space, and let $T: X\rightarrow X$ be a function. Then T is a Banach contraction if there exists a constant $0\le k < 1$ such that for all $x, y\in X$,

$$\begin{aligned} d(T(x),T(y))\le k,d(x,y). \end{aligned}$$

Model analysis

Theorem 1

The solution to system (1) exists and is unique.

Proof

We first show that system (1) is bounded [32, 33]:

Theorem 2

The system solution (1) exists and is unique.

Proof

$$\begin{aligned} _{0}^{c}D_{t}^{\alpha } P(t){} & {} = {_{0}^{c}D_{t}^{\alpha }}S(t)+ {_{0}^{c}D_{t}^{\alpha }} I(t)+ {_{0}^{c}D_{t}^{\alpha }} R(t)\\{} & {} \le \Lambda ^\alpha - \theta ^\alpha P(t), \end{aligned}$$

Using the Laplace transform method in Defintion 6 to solve Gronwall’s inequality [34] with initial condition $P(t_0) \ge 0$, we get:

$$\begin{aligned} L\{_{0}^{c}D_{t}^{\alpha } P(t) + \theta ^\alpha P(t)\} \le L\{\Lambda ^\alpha \}, \end{aligned}$$

$$\begin{aligned} S^\alpha L\{P(t)\} - \sum _{i=0}^{n-1} S^{\alpha -i-1} P^{(i)} (t_0) + \theta ^\alpha L\{P(t)\} \le \frac{\Lambda ^\alpha }{S}, \end{aligned}$$

$$\begin{aligned} L\{P(t)\}(S^\alpha + \theta ^\alpha ) \le \sum _{i=0}^{n-1} S^{\alpha -i-1} P^{(i)} (t_0) + \frac{\Lambda ^\alpha }{S}, \end{aligned}$$

$$\begin{aligned} L\{P(t)\} \le \sum _{i=0}^{n-1} \frac{S^{\alpha -i-1}}{(S^\alpha + \theta ^\alpha )} P^{(i)} (t_0) + \frac{\Lambda ^\alpha }{S(S^\alpha + \mu ^\alpha )}, \end{aligned}$$

$$\begin{aligned} L\{P(t)\} \le \frac{\Lambda ^\alpha }{ \theta ^\alpha } \left[ \frac{1}{S} - \frac{1}{S\{1+ \frac{ \theta ^\alpha }{S^\alpha }\}} \right] + \sum _{i=0}^{n-1} \frac{1}{S^{i+1}\{1+ \frac{ \theta ^\alpha }{S^\alpha }\}} P^{(i)} (t_0). \end{aligned}$$

$$\begin{aligned} L\{P(t)\} \le \frac{\Lambda ^\alpha }{ \theta ^\alpha } \left[ \frac{1}{S} - \frac{1}{S} \sum _{n=0}^{\infty } \left( -\frac{ \theta ^\alpha }{S^\alpha }\right) ^n \right] + \sum _{i=0}^{n-1} \sum _{n=0}^{\infty } \frac{(- \theta ^\alpha )^n}{S^{\alpha n + i + 1}} P^{(i)} (t_0), \end{aligned}$$

$$\begin{aligned} L\{P(t)\} \le \frac{\Lambda ^\alpha }{ \theta ^\alpha } \left[ 1 - \frac{\sum _{n=0}^{\infty } \left( - \theta ^\alpha t^\alpha \right) ^n}{\Gamma (\alpha n + 1)} \right] + \sum _{i=0}^{n-1} \sum _{n=0}^{\infty } \frac{(- \theta ^\alpha )^n}{S^{\alpha n + i + 1}} P^{(i)} (t_0) t^i, \end{aligned}$$

$$\begin{aligned} P(t) \le \frac{\Lambda ^\alpha }{ \theta ^\alpha } \left[ 1 - \frac{\sum _{n=0}^{\infty } (- \theta ^\alpha t^\alpha )^n}{\Gamma (\alpha n + 1)} \right] + \sum _{i=0}^{n-1} \sum _{n=0}^{\infty } \frac{(- \theta ^\alpha )^n}{S^{\alpha n + i + 1}} P^{(i)} (t_0) t^i, \end{aligned}$$

$$\begin{aligned} P(t) \le \frac{\Lambda ^\alpha }{ \theta ^\alpha } \left[ 1 - E_\alpha (- \theta ^\alpha t^\alpha ) \right] + \sum _{i=0}^{n-1} E_{(\alpha ,i+1)}(- \theta ^\alpha t^\alpha ) P^i (t_0) t^i. \end{aligned}$$

where the series of the Mittag-Leffler functions $E_\alpha (- \theta ^\alpha t^\alpha )$ and $E_{(\alpha ,i+1)}(- \theta ^\alpha t^\alpha )$ converge (see Definition 5). Therefore, the system (1) has a bounded solution and the biologically feasible region is given as: $\Omega = \left\{ P(t) \in \mathbb {R}^5 \mid P(t) \le \frac{\Lambda ^\alpha }{ \theta ^\alpha } \left[ 1 - E_\alpha \left( - \theta ^\alpha t^\alpha \right) \right] + \sum _{i=0}^{n-1} E_{(\alpha , i+1)}\left( - \theta ^\alpha t^\alpha \right) P^{(i)}(t_0) t^i\right\}$.

Next, we rewrite system (1) as:

$$\begin{aligned} _{0}^{c}D_{t}^{\alpha } y(t){} & {} = H(t,y(t)), \quad t \in [0, T_0], \nonumber \\ H(t,y(t)){} & {} = A(y) + B(y) + c, \nonumber \\ y(0){} & {} = y_0. \end{aligned}$$

(2)

where y(t) is the vector of dependent variables S(t), I(t), and R(t), and H(t, y(t)) is the vector of corresponding right-hand sides of the differential equations

$$\begin{aligned} y(t) = \left[ \begin{array}{c} S(t) \\ I(t) \\ R(t) \end{array}\right] , \quad H(t,y(t)) = \left[ \begin{array}{c} \Lambda ^\alpha -\beta ^{\alpha } \cdot I(t) \cdot S(t) + \delta ^{\alpha } \cdot I(t) \\ \beta ^{\alpha } \cdot I(t) \cdot S(t) - \delta ^{\alpha } \cdot I(t) - \mu ^{\alpha } \cdot I(t) \\ \mu ^{\alpha } \cdot I(t) - \theta ^{\alpha } \cdot R(t) \end{array}\right] . \end{aligned}$$

$$\begin{aligned} |H(t,y) - H(t,y^*)|{} & {} = |A(y) + B(y) + c - (A(y^*) + B(y^*) + c)|, \\{} & {} = |A(y(t) - y^*(t)) + B(y(t) - y^*(t))|, \\{} & {} \le \Vert A(y(t) - y^*(t)) \Vert + \Vert B(y(t) - B(y^*(t)) \Vert , \\{} & {} = \Vert A \Vert \Vert y(t) - y^*(t) \Vert + \Vert B \Vert \Vert y(t) - B(y^*(t)) \Vert , \\{} & {} \le \Vert A \Vert \Vert y(t) - y^*(t) \Vert + \Vert y(t) - y^*(t) \Vert , \\{} & {} = (\Vert A \Vert + 1) \Vert y(t) - y^*(t) \Vert , \\{} & {} = L \Vert y(t) - y^*(t) \Vert . \end{aligned}$$

where $L = (\Vert A \Vert + 1)$, and $L \Vert y(t) - y^\alpha (t) \Vert < \infty$.

Hence, $H$ is uniformly Lipschitz continuous and bounded.

We proceed to complete the proof for the uniqueness of the system (1).

Let $0< \alpha < 1$, $\phi = [0,z^*] \subseteq \mathbb {R}$ and $\psi = \Vert y(t) - y(0) \Vert \le K$, and $h : \phi \times \psi \rightarrow \mathbb {R}$ be a continuous bounded function, such that $|h(t,y)| \le M$, since $H$ is Lipschitz continuous.

Let $LK < M$, then there exists a unique $y \in C^\alpha [0,z^*]$ for the initial value problem (2), where $z^* = \left\{ z, \left( \frac{K \Gamma (\alpha +1)}{M} \right) ^{\frac{1}{\alpha }} \right\}$.

Let $E = \{ y \in C^\alpha [0,h^*] : \Vert y(t) - y(0) \Vert \le K \}$, observe that $E \subseteq \mathbb {R}$ is closed and hence a complete metric space.

Transforming the system (2) to the equivalent Volterra integral equation:

$$\begin{aligned} {_0^c}{D_t^{-\alpha }} \left[ _{0}^{c}D_{t}^{\alpha } y(t) \right]{} & {} = {_{0}^{c}D_{t}^{\alpha }} h(t,y), \\ y(t) - y(0){} & {} = \frac{1}{\Gamma (\alpha )} \int _0^t (t-\varphi )^{\alpha -1} h(\varphi ,y(\varphi )) \, d\varphi , \\ y(t){} & {} = y(0) + \frac{1}{\Gamma (\alpha )} \int _0^t (t-\varphi )^{\alpha -1} h(\varphi ,y(\varphi )) \, d\varphi . \end{aligned}$$

Defining an operator $H$ in $E$, as $H: E \rightarrow E$:

$$\begin{aligned} H[y](t) = y_0 + \frac{1}{\Gamma (\alpha )} \int _0^t (t-\varphi )^{\alpha -1} h(\varphi ,y(\varphi )) \, d\varphi . \end{aligned}$$

It follows that:

$$\begin{aligned} | H[y(t)] - y(0) |{} & {} = \left| \frac{1}{\Gamma (\alpha )} \int _0^t (t-\varphi )^{\alpha -1} h(\varphi ,y(\varphi )) \, d\varphi \right| , \\{} & {} \le \frac{1}{\Gamma (\alpha )} \int _0^t (t-\varphi )^{\alpha -1} L \, d\varphi , \\{} & {} \le \frac{M}{\Gamma (\alpha +1)} h^{*\alpha }, \\{} & {} \le \frac{M}{\Gamma (\alpha +1)} \frac{K \Gamma (\alpha +1)}{M}, \\{} & {} \le K. \end{aligned}$$

So, $H$ is well defined.

Next;

$$\begin{aligned} | H[y](t) - H[y^*](t) |{} & {} = \left| \frac{1}{\Gamma (\alpha )} \int _0^t (t-\varphi )^{\alpha -1} \left[ h(\varphi ,y(\varphi )) - h(\varphi ,y^*(\varphi )) \right] \, d\varphi \right| , \\{} & {} \le \frac{1}{\Gamma (\alpha )} \int _0^t (t-\varphi )^{\alpha -1} L \Vert y - y^* \Vert \, d\varphi , \\{} & {} \le \frac{L}{\Gamma (\alpha +1)} \Vert y - y^* \Vert h^{*\alpha }, \\{} & {} \le \frac{L}{\Gamma (\alpha +1)} \Vert y - y^* \Vert \frac{K \Gamma (\alpha +1)}{M}, \end{aligned}$$

So, $|H[y] - H[y^*]| \le \frac{LK}{M} \Vert y - y^* \Vert$, and from hypothesis $\frac{LK}{M} < 1$.

Therefore, as a consequence of the Banach contraction principle [35], $E$ is a contraction and has a unique fixed point [36]. Hence, from the Picard-Lindelöf theorem [37], the system (1) has a unique solution.

Theorem 3

System (1) is locally asymptotically stable at the given positive equilibrium.

Proof

To prove the local asymptotic stability of the system described by Eq. (1), we will analyze the system’s equilibrium points and the stability of those points using linearization. The equilibrium points are those where the derivatives are zero, i.e., where

$$\begin{aligned} _{0}^{c}D_{t}^{\alpha }S(t) = 0, \quad _{0}^{c}D_{t}^{\alpha }I(t) = 0, \quad \text {and} \quad _{0}^{c}D_{t}^{\alpha }R(t) = 0. \end{aligned}$$

Equilibrium points:

To find the equilibrium points, we set $_{0}^{c}D_{t}^{\alpha }S(t) = 0$, $_{0}^{c}D_{t}^{\alpha }I(t) = 0$, and $_{0}^{c}D_{t}^{\alpha }R(t) = 0$. This leads to the following equations:

$$\begin{aligned} -\beta ^{\alpha } \cdot S \cdot I + \delta ^{\alpha } \cdot I&= 0, \end{aligned}$$

(3)

$$\begin{aligned} \beta ^{\alpha } \cdot S \cdot I - (\delta ^{\alpha } + \mu ^{\alpha } ) \cdot I&= 0, \end{aligned}$$

(4)

$$\begin{aligned} \mu ^{\alpha } \cdot I - \theta ^{\alpha } \cdot R&= 0. \end{aligned}$$

(5)

From Eq. (3), we can solve for $S_{eq}$:

$$\begin{aligned} S_{eq} = \frac{\beta }{\delta ^{\alpha } } I_{eq}. \end{aligned}$$

Substituting this into Eq. (4), we can solve for $I_{eq}$:

$$\begin{aligned} I_{eq} = \frac{\delta ^{\alpha } + \mu ^{\alpha } }{\delta ^{\alpha } }. \end{aligned}$$

Finally, substituting the values of $I_{eq}$ and $S_{eq}$ into Eq. (5), we can solve for $R_{eq}$:

$$\begin{aligned} R_{eq} = \frac{\theta ^{\alpha } (\delta ^{\alpha } + \mu ^{\alpha } )}{\mu ^{\alpha } \delta ^{\alpha } }. \end{aligned}$$

So, the equilibrium points are given by:

$$\begin{aligned} (S_{eq}, I_{eq}, R_{eq}) = \left( \frac{\beta }{\delta ^{\alpha } } I_{eq}, \frac{\delta ^{\alpha } + \mu ^{\alpha } }{\delta ^{\alpha } }, \frac{\theta ^{\alpha } (\delta ^{\alpha } + \mu ^{\alpha } )}{\mu ^{\alpha } \delta ^{\alpha } }\right) . \end{aligned}$$

Stability analysis [38]:

To analyze the stability of the equilibrium points, we will linearize the system around these points. We will calculate the Jacobian matrix $J$ of the system evaluated at the equilibrium point $(S_{eq}, I_{eq}, R_{eq})$:

$$\begin{aligned} J=\left[ \begin{array}{ccc} \frac{\partial \dot{S}}{\partial S} &{} \frac{\partial \dot{S}}{\partial I} &{} \frac{\partial \dot{S}}{\partial R} \\ \frac{\partial \dot{I}}{\partial S} &{} \frac{\partial \dot{I}}{\partial I} &{} \frac{\partial \dot{I}}{\partial R} \\ \frac{\partial \dot{R}}{\partial S} &{} \frac{\partial \dot{R}}{\partial I} &{} \frac{\partial \dot{R}}{\partial R} \end{array}\right] , \end{aligned}$$

where $\dot S,\dot I,\;\mathrm{and}\;\dot R$ are the right-hand sides of your equations. Then, we will evaluate the eigenvalues of the Jacobian matrix $J$ at the equilibrium point.

If all eigenvalues of $J$ have negative real parts, then the equilibrium point is locally asymptotically stable.

Calculation of Jacobian matrix:

Let us calculate the Jacobian matrix $J$ for the given system. We will differentiate each equation with respect to $S, I, \text { and } R$:

$$\begin{aligned} J= \left[ \begin{array}{ccc} \frac{\partial \dot{1}}{\partial S} &{} \frac{\partial \dot{1}}{\partial I} &{} \frac{\partial \dot{1}}{\partial R} \\ \frac{\partial \dot{2}}{\partial S} &{} \frac{\partial \dot{2}}{\partial I} &{} \frac{\partial \dot{2}}{\partial R} \\ \frac{\partial \dot{3}}{\partial S} &{} \frac{\partial \dot{3}}{\partial I} &{} \frac{\partial \dot{3}}{\partial R} \end{array}\right] , \end{aligned}$$

where $\dot{1}, \dot{2}, \dot{3}$ are the right-hand sides of your equations. Differentiating Eq. (1) with respect to $S, I, \text { and } R$, we get:

$$\begin{aligned} \frac{\partial \dot{1}}{\partial S}{} & {} = -\beta ^{\alpha } \cdot I_{eq}, \\ \frac{\partial \dot{1}}{\partial I}{} & {} = -\beta ^{\alpha } \cdot S_{eq}, \\ \frac{\partial \dot{1}}{\partial R}{} & {} = 0. \end{aligned}$$

Differentiating Eq. (4) with respect to $S, I, \text { and } R$, we get:

$$\begin{aligned} \frac{\partial \dot{2}}{\partial S}{} & {} = \beta ^{\alpha } \cdot I_{eq}, \\ \frac{\partial \dot{2}}{\partial I}{} & {} = \beta ^{\alpha } \cdot S_{eq} - (\delta ^{\alpha } + \mu ^{\alpha } ), \\ \frac{\partial \dot{2}}{\partial R}{} & {} = 0. \end{aligned}$$

Differentiating Eq. (5) with respect to $S, I, \text { and } R$, we get:

$$\begin{aligned} \frac{\partial \dot{3}}{\partial S}{} & {} = 0, \\ \frac{\partial \dot{3}}{\partial I}{} & {} = \mu ^{\alpha } , \\ \frac{\partial \dot{3}}{\partial R}{} & {} = -\theta ^{\alpha } . \end{aligned}$$

Now, we can assemble the Jacobian matrix $J$:

$$\begin{aligned} J= \left[ \begin{array}{ccc} -\beta ^{\alpha } I_{eq} &{} \beta ^{\alpha } I_{eq} &{} 0 \\ \beta ^{\alpha } S_{eq} &{} \beta ^{\alpha } S_{eq} - (\delta ^{\alpha } + \mu ^{\alpha } ) &{} 0 \\ 0 &{} \mu ^{\alpha } &{} -\theta ^{\alpha } \end{array}\right] . \end{aligned}$$

Next, we will evaluate the eigenvalues of this matrix at the equilibrium point $(S_{eq}, I_{eq}, R_{eq})$ to determine the stability. To compute the eigenvalues of the Jacobian matrix J at the equilibrium point $(S_{\text {eq}}, I_{\text {eq}}, R_{\text {eq}})$, we will use the Jacobian matrix J that we derived previously. Now, we can calculate the eigenvalues by solving the characteristic equation:

$$\begin{aligned} \det (J - \lambda I) = 0. \end{aligned}$$

where I is the identity matrix, and $\lambda$ is the eigenvalue we are solving for.

Substituting the values from the Jacobian matrix:

$$\begin{aligned}{} & {} \det \left( \left[ \begin{array}{ccc} -\beta ^{\alpha } \cdot I_{\text {eq}} - \lambda &{} -\beta ^{\alpha } \cdot S_{\text {eq}} &{} 0 \\ \beta ^{\alpha } \cdot I_{\text {eq}} &{} \beta ^{\alpha } \cdot S_{\text {eq}} - (\delta ^{\alpha } + \mu ^{\alpha } ) - \lambda &{} 0 \\ 0 &{} \mu ^{\alpha } &{} -\theta ^{\alpha } - \lambda \end{array}\right] \right) = 0 \\{} & {} \Rightarrow \left( -\beta ^{\alpha } \cdot I_{\text {eq}} - \lambda \right) \left( \left( \beta ^{\alpha } \cdot S_{\text {eq}} - (\delta ^{\alpha } + \mu ^{\alpha } ) - \lambda \right) (-\theta ^{\alpha } - \lambda )\right) - \beta ^2 \cdot I_{\text {eq}} \cdot S_{\text {eq}} = 0 . \end{aligned}$$

Now, we can simplify and solve for $\lambda$ by expanding the equation:

$$\begin{aligned}{} & {} \left( -\beta ^{\alpha } \cdot I_{\text {eq}} - \lambda \right) \left( \left( \beta ^{\alpha } \cdot S_{\text {eq}} - (\delta ^{\alpha } + \mu ^{\alpha } ) - \lambda \right) (-\theta ^{\alpha } - \lambda )\right) - \beta ^2 \cdot I_{\text {eq}} \cdot S_{\text {eq}} = 0 \\{} & {} \Rightarrow \left( \beta ^{\alpha } \cdot I_{\text {eq}} + \lambda \right) \left( \beta ^{\alpha } \cdot S_{\text {eq}} - (\delta ^{\alpha } + \mu ^{\alpha } ) - \lambda \right) (\theta ^{\alpha } + \lambda ) - \beta ^2 \cdot I_{\text {eq}} \cdot S_{\text {eq}} = 0 \end{aligned}$$

So we get:

$$\begin{aligned} \lambda _1{} & {} = -\theta ^{\alpha } ,\\ \lambda _2{} & {} = -\frac{1}{2} \left( \delta ^{\alpha } + \sqrt{(\delta ^{\alpha } + \beta ^{\alpha } I_{\text {eq}} + \mu ^{\alpha } - \beta ^{\alpha } S_{\text {eq}})^2 - 4 \beta ^{\alpha } \mu ^{\alpha } I_{\text {eq}}} + \beta ^{\alpha } I_{\text {eq}} + \mu ^{\alpha } - \beta ^{\alpha } S_{\text {eq}} \right) ,\\ \lambda _3{} & {} = -\frac{1}{2} \left( \delta ^{\alpha } - \sqrt{(\delta ^{\alpha } + \beta ^{\alpha } I(t) + \mu ^{\alpha } - \beta ^{\alpha } S_{\text {eq}})^2 - 4 \beta ^{\alpha } \mu ^{\alpha } I_{\text {eq}}} + \beta ^{\alpha } I_{\text {eq}} + \mu ^{\alpha } - \beta ^{\alpha } S_{\text {eq}} \right) . \end{aligned}$$

$\square$

Since all three eigenvalues have negative real parts, it indicates that the equilibrium point of the system (1) is locally asymptotically stable. Therefore, the system (1) is stable.

Reproduction number and coefficient

Reproduction number ${\mathit(R}_{\mathit0}\mathit)$  [39]: The basic reproduction number, denoted as $(R_0)$, portrays the expected number of secondary cases produced by one infected individual when introduced into a completely susceptible population. For our model, the linearized equations can be written as follows:

$$\begin{aligned} s^{\alpha }S(s){} & {} = \delta ^{\alpha } I(s) \\ s^{\alpha }I(s){} & {} = -\delta ^{\alpha } I(s) , \\ s^{\alpha }R(s){} & {} = -\theta ^{\alpha } R(s) . \end{aligned}$$

Now, let us find the Laplace transforms of I(t) and R(t) by solving these equations:

$$\begin{aligned} I(s){} & {} = \frac{s^{\alpha }}{\delta }I(s) \implies I(s) = 0 \text { or } s^{\alpha } = \delta ^{\alpha } , \\ R(s){} & {} = \frac{s^{\alpha }}{\theta ^{\alpha } }R(s) \implies R(s) = 0 \text { or } s^{\alpha } = \theta ^{\alpha } . \end{aligned}$$

Since we are interested in the behavior near the disease-free equilibrium, we consider the case where I(s) and R(s) are both zero. Now, we can compute $(R_0)$ using the next-generation matrix approach:

$$\begin{aligned} R_0{} & {} = \frac{\text {Sum of products of contact rates and fractions of the population that is susceptible}}{\text {Recovery rate}}, \nonumber \\{} & {} = \frac{\beta ^{\alpha } \cdot S}{\delta }. \end{aligned}$$

(6)

Reproduction coefficient (R) [40]: The reproduction coefficient, denoted as R, portrays the expected number of secondary cases produced by one infected individual when introduced into a partially immune population. It is related to$(R_0)$ as follows:

$$\begin{aligned} R{} & {} = R_0 \cdot \left( 1 - \frac{1}{R_0}\right) \cdot \text {Fraction of the population that is susceptible} , \nonumber \\{} & {} = \frac{\beta ^{\alpha } \cdot S}{\delta } \cdot \left( 1 - \frac{1}{R_0}\right) . \end{aligned}$$

(7)

Sensitivity analysis

We want to compute the sensitivity of the final susceptible population S(T) to a change in the parameters $\beta ^{\alpha }$ and $\delta ^{\alpha }$. To compute the sensitivity coefficients, we first need to find the solution to the fractional differential equation for the baseline parameters and then for the perturbed parameters.

Baseline solution: Let us denote the baseline solution as $S_b(T)$ for the baseline parameters $\beta _b$ and $\delta ^{\alpha } _b$.

Perturbed solution (for $\beta^\alpha$): We perturb the parameter $\beta ^{\alpha }$ by a small amount $\delta ^{\alpha } \beta ^{\alpha }$ to obtain a new equation:

$$\begin{aligned} 0 = \beta ^{\alpha }_b + \delta ^{\alpha } \beta ^\alpha \cdot I(t) \cdot S'(t) - \delta ^{\alpha } _b \cdot I(t) \end{aligned}$$

(8)

Solve this equation to obtain the solution $S'(\beta ) (T)$ with the perturbed parameter $\beta _b ^{\alpha }+ \delta ^{\alpha } \beta$.

Perturbed solution (for $\delta^\alpha$): Similarly, we perturb the parameter $\delta ^{\alpha }$ by $\delta ^{\alpha } \beta ^{\alpha }$ to obtain a new equation:

$$\begin{aligned} 0 = \beta _b \cdot I(t) \cdot S''(t) - \delta ^{\alpha } \cdot I(t) - (\delta ^{\alpha } _b + \delta ^{\alpha } \beta ^{\alpha } ) \cdot I(t) \end{aligned}$$

(9)

Solve this equation to obtain the solution $S''(\delta ^{\alpha } ) (T)$ with the perturbed parameter $\delta ^{\alpha } _b + \delta ^{\alpha } \beta ^{\alpha }$.

Compute sensitivity coefficients:

For $\beta ^{\alpha }$:

$$\begin{aligned} \delta ^{\alpha } S_{\beta ^{\alpha }} = \frac{d\beta ^{\alpha }}{dS(T)} = \frac{\delta ^{\alpha } \beta ^{\alpha }}{S' (T) - S_b(T)}. \end{aligned}$$

(10)

For $\delta^\alpha$:

$$\begin{aligned} \delta ^{\alpha } S_{\delta ^{\alpha } } = \frac{d\delta ^{\alpha } }{dS(T)} = \frac{\delta ^{\alpha } \beta ^{\alpha } }{S'' (T) - S_b(T)}. \end{aligned}$$

(11)

These sensitivity coefficients $S_{\beta ^{\alpha }}$ and $S_{\delta ^{\alpha } }$ represent how changes in the parameters $\beta ^{\alpha }$ and $\delta ^{\alpha }$ influence the final susceptible population S(T).

Sensitivity of group I(t):

For group I(t), the fractional differential equation is:

$$\begin{aligned} 0 = \beta ^{\alpha } \cdot I(t) \cdot S(t) - \delta ^{\alpha } \cdot I(t) - \mu ^{\alpha } \cdot I(t). \end{aligned}$$

(12)

Sensitivity to $\beta^\alpha$:

We perturb the parameter $\beta ^{\alpha }$ by $\delta ^{\alpha } \beta ^{\alpha }$:

$$\begin{aligned} 0 = (\beta ^{\alpha }_b + \delta ^{\alpha } \beta ^{\alpha }) \cdot I(t) \cdot S(t) - \delta ^{\alpha } \cdot I(t) - \mu ^{\alpha } \cdot I(t). \end{aligned}$$

(13)

The sensitivity coefficient for $\beta ^{\alpha }$ is calculated as:

$$\begin{aligned} \delta ^{\alpha } I_{\beta ^{\alpha }} = \frac{d\beta }{dI(T)} = \frac{\delta ^{\alpha } \beta ^{\alpha }}{I' (T) - I_b(T)}. \end{aligned}$$

(14)

Sensitivity to $\delta^\alpha$:

We perturb the parameter $\delta ^{\alpha }$ by $\delta ^{\alpha } \beta ^{\alpha }$:

$$\begin{aligned} 0 = \beta ^{\alpha } \cdot I(t) \cdot S(t) - \delta ^{\alpha } \cdot I(t) - (\mu ^{\alpha } _b + \delta ^{\alpha } \beta ^{\alpha } ) \cdot I(t). \end{aligned}$$

(15)

The sensitivity coefficient for $\delta ^{\alpha }$ is calculated as:

$$\begin{aligned} \delta ^{\alpha } I_{\delta ^{\alpha } } = \frac{d\delta ^{\alpha } }{dI(T)} = \frac{\delta ^{\alpha } \beta ^{\alpha } }{I'' (T) - I_b(T)}. \end{aligned}$$

(16)

Sensitivity of group R(t):

For group R(t), the fractional differential equation is:

$$\begin{aligned} 0 = \mu ^{\alpha } \cdot I(t) - \theta ^{\alpha } \cdot R(t). \end{aligned}$$

(17)

Sensitivity to $\beta^\alpha$:

We perturb the parameter $\beta ^{\alpha }$ by $\delta ^{\alpha } \beta$:

$$\begin{aligned} 0 = \mu ^{\alpha } \cdot I(t) - \theta ^{\alpha } \cdot R' (t). \end{aligned}$$

(18)

The sensitivity coefficient for $\beta ^{\alpha }$ is calculated as:

$$\begin{aligned} \delta ^{\alpha } R_{\beta ^{\alpha }} = \frac{d\beta ^{\alpha }}{dR(T)} = \frac{\delta ^{\alpha } \beta ^{\alpha }}{R' (T) - R_b(T)}. \end{aligned}$$

(19)

Sensitivity to $\delta^\alpha$:

We perturb the parameter $\delta ^{\alpha }$ by $\delta ^{\alpha } \beta ^{\alpha }$:

$$\begin{aligned} 0 = \mu ^{\alpha } \cdot I(t) - (\theta ^{\alpha } _b + \delta ^{\alpha } \beta ^{\alpha } ) \cdot R''(t). \end{aligned}$$

(20)

The sensitivity coefficient for $\delta ^{\alpha }$ is calculated as:

$$\begin{aligned} \delta ^{\alpha } R_{\delta ^{\alpha } } = \frac{d\delta ^{\alpha } }{dR(T)} = \frac{\delta ^{\alpha } \beta ^{\alpha } }{R'' (T) - R_b(T)}. \end{aligned}$$

(21)

These sensitivity coefficients represent how changes in the parameters $\beta ^{\alpha }$ and $\delta ^{\alpha }$ influence the final populations of groups I(t) and R(t).

Drug effectiveness analysis

To integrate a drug effectiveness analysis with model (1), we will introduce variables to represent the effectiveness indices of each drug category and modify the infection and recovery rates based on these indices. Let us denote the effectiveness indices as follows:

$$\begin{aligned} E_1{} & {} : \text {Effectiveness index of Ertapenem} \\ E_2{} & {} : \text {Effectiveness index of Imipenem} \\ E_3{} & {} : \text {Effectiveness index of Meropenem}. \end{aligned}$$

We can update the model equations in (1) as follows to incorporate the drug effectiveness:

$$\begin{aligned} _{0}^{c}D_{t}^{\alpha }S(t){} & {} = \Lambda ^\alpha -\beta ^{\alpha } \cdot I(t) \cdot S(t) + \delta ^{\alpha } \cdot I(t) \cdot (1 - E_1) \cdot (1 - E_2) \cdot (1 - E_3) \nonumber \\ _{0}^{c}D_{t}^{\alpha }I(t){} & {} = \beta ^{\alpha } \cdot I(t) \cdot S(t) - \delta ^{\alpha } \cdot I(t) - \mu ^{\alpha } \cdot I(t) \nonumber \\ _{0}^{c}D_{t}^{\alpha }R(t){} & {} = \mu ^{\alpha } \cdot I(t) - \theta ^{\alpha } \cdot R(t). \end{aligned}$$

(22)

We can compute the efficiency indices for each drug class as follows:

$$\text {Effectiveness Index} = \text {Sensitivity} - \text {Resistance}.$$

In Eq. (22), the recovery rate ($\delta ^{\alpha }$) is adapted based on the efficiency catalogs of each drug category. To regulate the most effective drug category over time, we can calculate the effectiveness indices ($E_1$, $E_2$, $E_3$) based on the data. Then, we can use these efficiency indices in the adapted model equations to simulate the dynamics of K. pneumonia infections and antibiotic resistance over time. The drug category with the highest effectiveness index at a given time will be the most effective in controlling the infection. This method allows us to implement the analysis of drug efficiency into the original model, providing an all-inclusive understanding of the disease dynamics while considering the influence of diverse treatments.

Numerical analysis

To numerically solve systems (1) and (22), we consider the initial value problem in (1):

$$\begin{aligned} _{0}^{c}D_{t}^{\alpha }\textbf{y}(t)=\textbf{f}(t, \textbf{y}(t)), \quad \textbf{y}(0)=\textbf{y}_0. \end{aligned}$$

Employing the Riemann–Liouville integral operator in Definition 4, we get:

$$\begin{aligned} \textbf{y}(t)-\textbf{y}_0=\frac{1}{\Gamma (\alpha )}\int _0^t (t-s)^{\alpha -1}\, \textbf{f}(s, \textbf{y}(s))\, ds. \end{aligned}$$

(23)

Substituting $t=t_m$ and $t=t_{m+1}$ into Eq. (23) and subtracting the obtained equations, we get:

$$\begin{aligned} \textbf{y}(t_{n+1})=\textbf{y}_0+\frac{1}{\Gamma (\alpha )} \sum \limits _{m=0}^n \int _{t_m}^{t_{m+1}} (t_{n+1}-s)^{\alpha -1}\, \textbf{f}(s, \textbf{y}(s))\, ds, \end{aligned}$$

(24)

where $t_j=jh$, $j=0, 1, \ldots , N$, and $h=T_f/N$ portrays the step size. We approximate $\textbf{f}(s, \textbf{y}(s))$ on $[t_m, t_{m+1}]$ using two-step Lagrange polynomial interpolation:

$$\begin{aligned} \begin{aligned} \textbf{f}(s, \textbf{y}(s))&\approx \frac{s-t_{m+1}}{t_m-t_{m+1}}\textbf{f}(t_m, \textbf{y}_m)+ \frac{s-t_{m}}{t_{m+1}-t_{m}}\textbf{f}(t_{m+1}, \textbf{y}_{m+1})\\&=-\frac{s-t_{m+1}}{h}\textbf{f}(t_m, \textbf{y}_m)+ \frac{s-t_{m}}{h}\textbf{f}(t_{m+1}, \textbf{y}_{m+1}), \end{aligned} \end{aligned}$$

(25)

where $\textbf{y}_{k}=\textbf{y}(t_k)$. Using (24) and (25), we have:

$$\begin{aligned} \textbf{y}_{n+1}=\textbf{y}_0{} & {} + \frac{1}{h\, \Gamma (\alpha )} \bigg \{ \sum \limits _{m=0}^{n} \int _{t_m}^{t_{m+1}} (t_{n+1}-s)^{\alpha -1}\, (s-t_m)\, \textbf{f}(t_{m+1}, \textbf{y}_{m+1})\, ds \nonumber \\{} & {} -\sum \limits _{m=0}^{n} \int _{t_m}^{t_{m+1}} (t_{n+1}-s)^{\alpha -1}\, (s-t_{m+1})\, \textbf{f}(t_{m}, \textbf{y}_{m})\, ds \bigg \}, \quad n=0, 1, \ldots , N. \end{aligned}$$

(26)

Employing integration by parts, (26) becomes:

$$\begin{aligned} \textbf{y}_{n+1}=\textbf{y}_0{} & {} + \frac{h^{\alpha }}{\Gamma (\alpha +2)} \sum \limits _{m=0}^{n} \bigg \{ [(n-m+1)^{\alpha +1}-(n-m)^{\alpha }(n-m+\alpha +1)]\, \textbf{f}(t_{m+1}, \textbf{y}_{m+1}^p) \nonumber \\{} & {} -[(n-m+1)^{\alpha }(n-m-\alpha )-(n-m)^{\alpha +1}]\, \textbf{f}(t_{m}, \textbf{y}_{m})\bigg \}, \quad n=0, 1, \ldots , N. \end{aligned}$$

(27)

Since $\textbf{y}_{m+1}$ appears on the right side of (27), this equation is implicit, requiring the prediction of $\textbf{y}_{m+1}$ as $\textbf{y}_{m+1}^p$. Therefore, (27) serves as a corrector formula. In (24), we use the rectangle rule for the integral part, resulting in the following predictor formula:

$$\begin{aligned} \textbf{y}_{n+1}^p =\textbf{y}_{0}+\frac{h^{\alpha }}{\Gamma (\alpha +1)} \sum \limits _{m=0}^{n} B_{\frac{n(n+1)}{2}+m+1}\,\textbf{f}(t_{m}, \textbf{y}_{m}), \quad n=0, 1, \ldots , N, \end{aligned}$$

(28)

where

$$\begin{aligned} B_{\frac{n(n+1)}{2}+m+1}=(n-m+1)^{\alpha }-(n-m)^{\alpha }, \quad n=0, 1, \ldots , N, \,\, m=0, 1, \ldots , n. \end{aligned}$$

Therefore, the numerical formula for system (1) is as follows:

The predictor formula:

$$\begin{aligned}{} & {} S_{n+1}^p =S_0+\frac{h^{\alpha }}{\Gamma (\alpha +1)} \sum \limits _{m=0}^n B_{\frac{n(n+1)}{2}+m+1}\,\bigg \{\Lambda ^\alpha -\beta ^{\alpha } \cdot I_m \cdot S_m + \delta ^{\alpha } \cdot I_m\bigg \}, \\{} & {} I_{n+1}^p=I_0+ \frac{h^{\alpha }}{\Gamma (\alpha +1)} \sum \limits _{m=0}^n B_{\frac{n(n+1)}{2}+m+1}\,\bigg \{ \beta ^{\alpha } \cdot I_m \cdot S_m - \delta ^{\alpha } \cdot I_m - \mu ^{\alpha } \cdot I_m \bigg \},\\{} & {} R_{n+1}^p=R_0+ \frac{h^{\alpha }}{\Gamma (\alpha +1)} \sum \limits _{m=0}^n B_{\frac{n(n+1)}{2}+m+1}\,\bigg \{ \mu ^{\alpha } \cdot I_m - \theta ^{\alpha } \cdot R_m\bigg \}. \end{aligned}$$

Fig. 2

a Observed data versus model’s prediction. b Observed data plot over model’s prediction mean projection

The corrector formula:

$$\begin{aligned}{} & {} S_{n+1} =S_0+\frac{h^{\alpha }}{\Gamma (\alpha +2)} \sum \limits _{m=0}^n \bigg [ ((n-m+1)^{\alpha +1}-(n-m)^{\alpha }(n-m+\alpha +1))\bigg \{ \Lambda ^\alpha -\beta ^{\alpha } \cdot I^p_{m+1} \cdot S^p_{m+1}\\{} & {} \quad \quad + \delta ^{\alpha } \cdot I^p_{m+1} \bigg \} -((n-m+1)^{\alpha }(n-m-\alpha )-(n-m)^{\alpha +1})\bigg \{ \Lambda ^\alpha -\beta ^{\alpha } \cdot I_m \cdot S_m + \delta ^{\alpha } \cdot I_m \bigg \} \bigg ],\\{} & {} I_{n+1} =I_0+\frac{h^{\alpha }}{\Gamma (\alpha +2)} \sum \limits _{m=0}^n \bigg [ ((n-m+1)^{\alpha +1}-(n-m)^{\alpha }(n-m+\alpha +1))\bigg \{ \beta ^{\alpha } \cdot I^p_{m+1} \cdot S^p_{m+1} - \delta ^{\alpha } \cdot I^p_{m+1}\\{} & {} \quad \quad - \mu ^{\alpha } \cdot I^p_{m+1}\bigg \}-((n-m+1)^{\alpha }(n-m-\alpha )-(n-m)^{\alpha +1})\bigg \{ \beta ^{\alpha } \cdot I_m \cdot S_m - \delta ^{\alpha } \cdot I_m - \mu ^{\alpha } \cdot I_m\bigg \} \bigg ], \end{aligned}$$

$$\begin{aligned}{} & {} R_{n+1} =R_0+\frac{h^{\alpha }}{\Gamma (\alpha +2)} \sum \limits _{m=0}^n \bigg [ ((n-m+1)^{\alpha +1}-(n-m)^{\alpha }(n-m+\alpha +1))\bigg \{ \mu ^{\alpha } \cdot I^p_{m+1} - \theta ^{\alpha } \cdot R^p_{m+1} \bigg \}\\{} & {} \quad \quad -((n-m+1)^{\alpha }(n-m-\alpha )-(n-m)^{\alpha +1})\bigg \{ \mu ^{\alpha } \cdot I_m - \theta ^{\alpha } \cdot R_m \bigg \} \bigg ]. \end{aligned}$$

Fig. 3

a Meropenem sensitive and resistance trend. b Meropenem effectiveness trend

Fig. 4

a Imipenem sensitive and resistance trend. b Imipenem effectiveness trend

Fig. 5

a Ertapenem sensitive and resistance trend. b Ertapenem effectiveness trend

Fig. 6

a Plot of comparison of drug effectiveness. b Surface plot of comparison of drug effectiveness

Fig. 7

a Dynamics of system (1). b Dynamics of system (22)

Fig. 8

a Plot of S(t) of system (1). b Plot of S(t) of system (22)

Fig. 9

a Plot of I(t) of system (1). b Plot of I(t) of system (22)

Fig. 10

a Plot of S(t) of system (1). b Plot of S(t) of system (22)

Fig. 11

a Reproduction number (6) trend for various values of $\alpha$. b Reproduction coefficient (7) trend for various values of $\alpha$

Fig. 12

a Sensitivity coefficient of $\beta ^{\alpha }$ to S(t) in (10). b Sensitivity coefficient of $\delta ^{\alpha }$ to S(t) in (11). c Sensitivity coefficient plot of $\beta ^{\alpha }$ and $\delta ^{\alpha }$ to S(t) in (10) and (11)

Fig. 13

a Sensitivity coefficient of $\beta ^{\alpha }$ to I(t) in (14). b Sensitivity coefficient of $\delta ^{\alpha }$ to I(t) in (16). c Sensitivity coefficient plot of $\beta ^{\alpha }$ and $\delta ^{\alpha }$ to I(t) in (14) and (16)

Fig. 14

a Sensitivity coefficient of $\beta ^{\alpha }$ to R(t) in (19). b Sensitivity coefficient of $\delta ^{\alpha }$ to R(t) in (21). c Sensitivity coefficient plot of $\beta ^{\alpha }$ and $\delta ^{\alpha }$ to R(t) in (19) and (21)

Results and discussion

The analytic computations show that the model (1) has a unique and stable solution, and the numerical analysis further buttresses these results. According to Fig. 2, our computations demonstrate a strong fit between model predictions and the empirical data. Our model correctly predicts the average of the observed annual data. Based on our model predictions, Meropenem’s effectiveness index is negative in Figs. 3 and 6. For instance, this could indicate that Meropenem would not be best suited to treating K. pneumonia according to such assumptions about what works within such models. The efficiency ratios obtained from the modeling process give insight into which drug category are most effective against K. pneumonia infections. Imipenem emerged as the most efficacious antibiotic, showcasing a positive effectiveness index as depicted in Figs. 4 and 6, while Ertapenem is deemed the least effective. It suggests that Imipenem should be prioritized for treatment. The combination of its lower transmission rate, faster recovery, reduced mortality, and the development of resistance positions Imipenem as a potent tool in managing and controlling the disease. Figures 5 and 6 indicate that Ertapenem has a significantly negative effectiveness index, thus showing that it is not effective in reducing infection. Therefore, Ertapenem may be inappropriate for treating this infection under these circumstances because its efficacy is very low (Figs. 7, 8, 9, and 10). Conversely, the model shows a positive effectiveness index for Imipenem (as compared with other antibiotics), which implies that it will reduce infections in 2023 as per the model hypothesis. Thus, there exists a better choice of Imipenem than Meropenem and Ertapenem having favorable contributions toward reducing infections. The reproduction number and coefficient ($R_0$ and R) depicted in Fig. 11 displays the reproduction number and coefficient as $R_0$ and R, which provide valuable insights into possible K. pneumonia infections and antibiotic resistance within a population. The baseline estimate of transmission potential is $R_0$ while R considers immunity plus interventions. These measures are essential in evaluating whether public health controls, vaccination programs, and antibiotic strategies are working effectively against this organism. A value of between 1.02 and 1.25 for $R_0$ indicates that the illness has low to moderate potential for sustained transmission within the population (Fig. 11). It can cause local outbreaks but is not highly contagious. Therefore, it cannot spread easily and quickly across populations. Other calculated values of R ranged from between 0.02 to 0.1 demonstrating that there could be additional infections despite partial immune response or drug-resistant populations; however, the infection rates are extremely slow with limited spread pathways implying reduced fast trackability among people.

Sensitivity coefficients calculated for each group, (S) Sensitive, (I) Infected, and (R) Resistant, provide detailed information about the response of the system It was observed for the sensitive group that infection rate ($\beta ^{\alpha }$) and intensity ($\delta ^{\alpha }$) were affected which stands out as shown in Fig. 12. A sensitivity coefficient close to 0.3 for $\beta ^{\alpha }$ indicated that a small increase in infection rate resulted in a corresponding increase in the number of susceptible individuals, emphasizing significance if the spread of the disease is suppressed. On the other hand, a sensitivity coefficient of 1.8 for $\delta ^{\alpha }$ indicated that small perturbations have a more pronounced effect of increasing sensitivity in the group a for the infected case; changes in $\beta ^{\alpha }$ and in $\delta ^{\alpha }$ had a noticeable effect, with sensitivity coefficients of − 0.2 and − 2.8, respectively, as shown in Fig. 13. This indicated that higher infection rates resulted in a corresponding decrease in infected individuals, emphasizing the importance of monitoring disease transmission, whereas higher recovery rates resulted in human infection rates decreasing dramatically, emphasizing the importance of effective treatment in the management of the disease. Differences in factors such as the development of antimicrobial resistance ($\mu ^{\alpha }$) and recovery rates had a significant effect on individual infection rates of resistance ($\theta ^{\alpha }$). The rate of development of antibiotic resistance against the resistant group $\mu ^{\alpha }$ was found to reduce the number of resistant individuals (R) with a sensitivity coefficient of − 0.2 as depicted in Fig. 14. This highlights the importance of controlling the development of antibiotic resistance to maintain the effectiveness of treatments. These parameters’ sensitivity can give insight into how K. pneumonia infections and antibiotic resistance change with model parameters. This helps to improve or even re-engineer disease control strategies of antibiotic resistance, leading to a better understanding of the system’s behavior as well as possible impacts caused by parameter fluctuations in time.

Conclusion

We proposed a fractional-order model to simulate K. pneumonia infections and antibiotic resistance using real data from Northern Cyprus. Comparatively, this is a model that has several advantages over traditional integer-order models. Firstly, the fractional-order models allow for more long-term memory of bacterial infection and antibiotic resistance dynamics accurately represented than traditional integer order models do. This is much closer to reality given the fact that such system behaviors change with time. Also, anomalous dynamical phenomena observed in K. pneumonia infections are effectively described by the model through the incorporation of fractional derivatives. Furthermore, the complex spatial dynamics and processes that the model can cover are improved. It also helps in simulating non-local interactions between bacterial strains, antibiotics, and host immune responses which contributes to a more comprehensive understanding of system dynamics. Moreover, as regards real data obtained from North Cyprus, the fractional-order model demonstrates an improved fit with the specific parameters or trends for K. pneumonia infections including antibiotic resistance patterns which indicate high efficiency for monitoring the spread out process of this infection in a region like North Cyprus. However, unlike other studies that modeled bacterial infection and antibiotic resistance dynamics using ordinary differential equations, our approach uses fractional differential equations with real-world data that completely revolutionize how modeling disease transmission using ODEs looks like today. Future recommendations would include a further study designed to expand its applicability to other geographic regions and infectious diseases. Additionally, the model can be expanded to include factors such as environmental influences, treatment strategies, and evolutionary dynamics, which will provide valuable insights for disease surveillance and public health intervention.