2.1. Coronary Blood Flow Model
We simulated coronary blood flow and calculated the FFR with a 1D hemodynamic model [
19,
20]. This model is based on the flow of incompressible viscous fluid through a network of one-dimensional elastic tubes. The conditions for mass and momentum conservation within the network are expressed as a system of hyperbolic equations for each tube:
where
t is time,
x is the coordinate along the vessel (tube),
is the cross-sectional area,
is the velocity averaged over the cross-section,
is the blood pressure,
g/cm
is the blood density, and
is the blood viscosity. The right-hand side of Equation (
2) represents friction force. An additional relation between the blood pressure and cross-sectional area of the vessel wall is required to close the system:
where
g/cm
is the blood vessel wall density,
is the cross-sectional area of the unstressed vessel, and
c is elasticity index. The physiological meaning of
c is the pulse wave velocity or velocity of small disturbances propagated in the vessel wall [
21]. Equation (
3) is an analytical approximation of the pressure–area curves obtained in experimental studies [
22].
The computational domain consists of the aortic root, aorta, left coronary artery (with branches), and right coronary artery (with branches). The diameters, lengths, and topology of vessels can be extracted from CCTA scans. A simplified version of arterial network is presented in
Figure 1. We simulated stenosis as a separate segment with decreased diameter.
One-dimensional vessels are connected to each other in junction points to create an arterial structure. The conditions of mass conservation and total pressure continuity are imposed at the junction points:
Equation (
4) represents an algebraic sum of influxes and effluxes, where
i is the index of a vessel connected to a junction.
,
and
, and
in (
5) are the velocities and blood pressures of vessels with indices
i and
j near the junction point.
On the inlet of the aorta (segment 1 on
Figure 1), we set cardiac the output as a periodic time function
(
Figure 2). The shape of the cardiac output was proposed in [
23]. It can be adjusted according to the patient’s heart rate (HR), stroke volume (SV), or other data (peak-to-mean flow ratio, QT-interval).
On the outlet of coronary arteries (segments 4,7,8 on
Figure 1), we impose a pressure drop condition:
where
k is the index of a segment,
is the blood pressure at the boundary point,
is the blood flux at the boundary point, and
is the hydraulic resistance,
is the outflow pressure. Outflow pressure can be described as a value of blood pressure at which the microcirculation between arteries and veins stops. It ranges between 20 and 60 mm Hg [
5] and can be adjusted according to the patient’s data. Resistances
are distributed according to empiric Murray’s law through an algorithm described in [
24]. Resistances increase during the systolic phase to simulate contractions of myocardium tissue that hinder coronary blood flow [
19].
The boundary condition on the outlet of the aorta (segment 2 on
Figure 1) differs from boundary condition on the terminal coronary arteries (
6) since the former one represents the whole systemic circle as well as microcirculation. In order to describe the behavior of the microcirculation vessels, the two-element Windkessel model [
25] is extensively used:
where
and
are the blood flow and pressure in the aorta, and
is the hydraulic resistance of the systemic circle and microcirculation. In (
7), compliance
C is introduced. which represents the ability of blood vessels to distend and store blood volume. Larger values of
C correspond to greater vessel elasticity. Compliance
C can be adjusted according to patient’s systolic and diastolic blood pressures, and resistance
can be derived from the systemic vascular resistance—the ratio between mean blood pressure and cardiac output [
24]. The elastic index
c from (
3), on the other hand, increases with the rigidity of the vessels and, thus, has a different physiological interpretation.
We solve the hyperbolic system (
1) and (
2) inside each vessel numerically with the help of an explicit grid-characteristic method [
26], which is monotone and first-order accurate. Compatibility conditions imposed on junctions with Equations (
4) and (
5) and boundary points with conditions (
6) and (
7) form the system of nonlinear equations which is solved with the Newton method. Compatibility conditions are discretized implicitly with a first-order approximation. Discretizations and convergence studies are presented in [
27].
The described model can be used to calculate FFR at any point of the coronary arteries. We calculate FFR as a ratio between mean pressure in the coronary artery distal to stenosis (
) and mean aortic pressure (
) during vasodilation of the coronary vessels (hyperemia) [
2]:
Hyperemia is simulated by decreasing terminal resistances
by 70% [
28]. FFR values below 0.8 are considered to be significant. This means that the coronary vessel has an abnormal narrowing (stenosis) that should be surgically treated.
By adjusting
C and
in (
6) and (
7), we can reproduce patient’s systolic and diastolic blood pressures. However, the range of possible blood profiles is quite limited. To improve the mathematical model, additional elements can be introduced into the arterial structure and the Windkessel model [
8]. Instead, in this paper, we propose to use the fractional time derivative in Equation (
7).
2.2. Fractional-Order Boundary Conditions
We impose boundary condition on the terminal end of the aorta using the fractional-order Windkessel model, which can be written as follows:
where
is a fractional differentiation operator;
is a fractional differentiation order, which is assumed to be between 0 and 2 in this work; and
is a pseudo-compliance (pseudo-capacitance). Fractional differentiation order
determines the relative degree of interaction between the capacitance of the microvasculature vessels, elastic compliance of the vessels, and the dissipation forces inside them. This, in turn, defines the physiological meaning of
.
Windkessel models with fractional derivatives were extensively studied before [
13,
29]. However, combining a one-dimensional hemodynamic model with the fractional-order Windkessel boundary condition is a new approach that allows us to represent a greater variety of storage and dissipation effects that can be represented with a single additional parameter
.
A large number of different definitions have been proposed for the fractional differentiation operator
[
30]. We use the Caputo fractional derivative in this work:
where
is a gamma function,
is a ceiling of
(smallest integer greater than
), and
is a derivative with an integer order
. There are many other definitions of the fractional derivative: the Atangana–Baleanu fractional integral [
31], Riemann–Liouville fractional derivative [
32], Riesz derivative [
33], etc. The choice of the Caputo fractional derivative is due to its simplicity in representation (relative to other fractional derivatives) and availability of well-studied numerical methods with approximation estimates for various problems. Another useful representation derived in [
34] can be obtained using integration by parts in (
10):
This representation is valid for
. We use it to approximate the integral in (
11) with a trapezoidal rule. For the interval
with a grid
, assuming a constant time-step
and
, numerical approximation of
can be expressed as
where coefficients
are
The error and stability analysis of this numerical approximation was described in detail in [
30,
35]. It was demonstrated that the order of approximation error is
.
We use an explicit approximation scheme for (
9) with the discretization of fractional derivative described above. This allows us to determine the blood pressure
at the terminal end of the aorta from the values of pressure and flux at the previous time steps. Then, we calculate the outflow
at the terminal end of the aorta using compatibility conditions (
1) and (
2) and wall-state Equation (
3).
2.3. Model Personalization
One of the most important problems in patient-specific blood flow modeling is to identify the parameters of the model. Diameters, lengths, and overall arterial structure can be extracted from CCTA images with the help of segmentation and skeletonization algorithms [
36]. Parameter
c in (
3) represents the pulse wave velocity and can be estimated from the patient’s age, blood pressure, heart rate, and stroke volume with the help of machine learning methods [
20]. Terminal resistances
in (
6), (
7) and (
9) are calculated from systemic vascular resistance (the ratio between mean pressure and cardiac output) and the diameters of the terminal arteries [
24].
Outflow pressure
and compliance
C in (
7) are estimated to reproduce measured systolic and diastolic blood pressure. A number of algorithms for
and
C estimation are presented in [
25]. The following procedure to estimate these parameters is used in this work. We calculate initial value of
C as a ratio between stroke volume and pulse pressure (
) and the initial value of
as 50% of diastolic pressure. After this,
C and
are iteratively adjusted until the measured diastolic and systolic blood pressures match:
Adjustment of
in (
9) is performed using the same procedure, but initial estimation is usually less precise since the dimension and interpretation of
changes with
.
Unfortunately, relying solely on systolic and diastolic pressures may produce incorrect diagnostic outcomes. For example, the hemodynamic significance of stenosis may vary for the same values of systolic and diastolic pressures. In order to obtain more accurate estimates, additional available information about the pressure profile, such as mean pressure, must be taken into account.
We propose to estimate an additional parameter, fractional derivative order , based on the value of the mean pressure . To do this, we first iteratively adjust to match the mean pressure and then adjust and for each to match the systolic and diastolic blood pressures. After this, we calculate and compare it with the measured mean pressure. If the calculated mean pressure is higher than the measured one, the order should be decreased, and vice-versa. As we will see from the results, the relationship between and is very close to linear. Therefore, in most situations, it is sufficient to perform two preliminary calculations for and or to estimate , which provides the appropriate value for the mean pressure.
The procedure of parameter identification described above is summarized on
Figure 3.