View source for Multi-compartment model

{{short description|Type of mathematical model}}
A '''multi-compartment model''' is a type of [[mathematical model]] used for describing the way materials or energies are transmitted among the ''compartments'' of a system. Sometimes, the physical system that we try to model in equations is too complex, so it is much easier to discretize the problem and reduce the number of parameters. Each compartment is assumed to be a homogeneous entity within which the entities being modeled are equivalent. A multi-compartment model is classified as a [[lumped parameters]] model. Similar to more general [[mathematical model]]s, multi-compartment models can treat variables as continuous, such as a [[differential equation]], or as discrete, such as a [[Markov chain]]. Depending on the system being modeled, they can be treated as stochastic or deterministic.

Multi-compartment models are used in many fields including [[pharmacokinetics]], [[compartmental models in epidemiology|epidemiology]], [[biomedicine]], [[systems theory]], [[Complex systems|complexity theory]], engineering, physics, information science and social science. The circuits systems can be viewed as a multi-compartment model as well. Most commonly, the mathematics of multi-compartment models is simplified to provide only a single parameter—such as concentration—within a compartment.

== In Systems Theory ==
In systems theory, it involves the description of a network whose components are compartments that represent a population of elements that are equivalent with respect to the manner in which they process input signals to the compartment.
*Instant homogeneous distribution of materials or energies within a "compartment."
*The exchange rate of materials or energies among the compartments is related to the densities of these compartments.
*Usually, it is desirable that the materials do not undergo chemical reactions while transmitting among the compartments.
*When concentration of the cell is of interest, typically the volume is assumed to be constant over time, though this may not be totally true in reality.

== Single-compartment model ==
[[Image:Singlecell.PNG]]

Possibly the simplest application of multi-compartment model is in the single-cell concentration monitoring (see the figure above). If the volume of a cell is ''V'', the [[mass]] of [[solute]] is ''q'', the input is ''u''(''t'') and the secretion of the solution is proportional to the density of it within the cell, then the concentration of the solution ''C'' within the cell over time is given by

:<math>\frac{\mathrm{d}q}{\mathrm{d}t}=u(t)-kq</math>

:<math>C=\frac{q}{V}</math>

Where ''k'' is the proportionality.

== Software ==
Simulation Analysis and Modeling 2 [[SAAM II]] is a software system designed specifically to aid in the development and testing of multi-compartment models. It has a user-friendly graphical user interface
wherein compartmental models are constructed by creating a visual representation of the model. From this model, the program automatically creates systems of ordinary differential equations. The program can both
simulate and fit models to data, returning optimal parameter estimates and associated statistics. It was developed by scientists working on metabolism and hormones kinetics (e.g., glucose, lipids, or insulin).<ref>{{cite book |last1= Cobelli |first1= Claudio |last2= Foster|first2= David|title= Mathematical Modeling in Experimental Nutrition |date= 1998|chapter= Compartmental models: theory and practice using the SAAM II software system|series= Adv Exp Med Biol|volume= 445 |issue=445 |pages= 79–101|doi= 10.1007/978-1-4899-1959-5_5|pmid= 9781383 |isbn= 978-1-4899-1961-8 }}</ref> It was then used for tracer studies and pharmacokinetics. Albeit a multi-compartment model can in principle be developed and run via other software, like [[MATLAB]] or C++ languages, the user interface offered by SAAM II allows the modeler (and non-modelers) to better control the system, especially when the complexity increases.

== Discrete Compartmental Model ==
Discrete models are concerned with discrete variables, often a time interval <math>\Delta t</math>. An example of a discrete multi-compartmental model is a discrete version of the [[Lotka–Volterra equations|Lotka–Volterra Model]].<ref>{{Cite web |last=Towers |first=Sherry |title=Introduction to compartmental modeling {{!}} Polymatheia |date=11 December 2013 |url=http://sherrytowers.com/2013/12/11/introduction-to-compartmental-modeling/ |access-date=2022-03-20 |language=en-US}}</ref> Here consider two compartments prey and predators denoted by <math>x(t)</math> and <math>y(t)</math> respectively. The compartments are coupled to each other by [[Law of mass action|mass action]] terms in each equation. Over a discrete time-step <math>\Delta t</math>, we get

<math>\begin{align}
x(t+\Delta t) &= x(t) + \alpha x(t)\Delta t - \beta x(t) y(t) \Delta t\\
y(t+\Delta t) &= y(t) +\delta x(t) y(t) \Delta t- \gamma y(t)\Delta t. 
\end{align}</math>

Here

* the <math>x(t)</math> and <math>y(t)</math> terms represent the number of that population at a given time <math>t</math>;
* the <math>\alpha x(t)\Delta t</math> term represents the birth of prey;
* the mass action term <math>\beta x(t) y(t) \Delta t</math> is the number of prey dying due to predators;
* the mass action term <math>\delta x(t) y(t) \Delta t</math> represents the birth of predators as a function of prey eaten;
* the <math>\gamma y(t) \Delta t</math> term is the death of predators;
* <math>\alpha, \beta, \delta, </math> and <math>\gamma </math> are real valued parameters determining the weights of each transitioning term.

These equations are easily solved iteratively.

== Continuous Compartmental Model ==
The discrete Lotka-Volterra example above can be turned into a continuous version by rearranging and taking the limit as <math>\Delta t \rightarrow 0</math>.

<math>\begin{align}
&\lim_{\Delta t \rightarrow 0} \frac{x(t + \Delta t)-x(t)}{\Delta t} \equiv \frac{d x}{dt} = \alpha x - \beta x y\\
&\lim_{\Delta t \rightarrow 0}\frac{y(t + \Delta t)-y(t)}{\Delta t}\equiv \frac{d y}{dt} = \delta x y - \gamma y
\end{align} </math>

This yields a system of ordinary differential equations. Treating this model as differential equations allows the implementation of calculus methods to study the dynamics of the system more in-depth.

==Multi-Compartment Model==
As the number of compartments increases, the model can be very complex and the solutions usually beyond ordinary calculation.

The formulae for '''n-cell''' multi-compartment models become:
: <math>
\begin{align}
\dot{q}_1=q_1 k_{11}+q_2 k_{12}+\cdots+q_n k_{1n}+u_1(t) \\
\dot{q}_2=q_1 k_{21}+q_2 k_{22}+\cdots+q_n k_{2n}+u_2(t) \\
\vdots\\
\dot{q}_n=q_1 k_{n1}+q_2 k_{n2}+\cdots+q_n k_{nn}+u_n(t)
\end{align}
</math>

Where 
:<math>0=\sum^n_{i=1}{k_{ij}}</math> for <math>j=1,2,\dots,n</math> (as the total 'contents' of all compartments is constant in a closed system)

Or in matrix forms:
: <math>
\mathbf{\dot{q}}=\mathbf{Kq}+\mathbf{u}</math>

Where
:<math>\mathbf{K}=\begin{bmatrix}
k_{11}& k_{12} &\cdots &k_{1n}\\
k_{21}& k_{22} & \cdots&k_{2n}\\
\vdots&\vdots&\ddots&\vdots \\
k_{n1}& k_{n2} &\cdots &k_{nn}\\
\end{bmatrix} 
\mathbf{q}=\begin{bmatrix}
q_1 \\
q_2 \\
\vdots \\
q_n
\end{bmatrix}
\mathbf{u}=\begin{bmatrix}
u_1(t) \\
u_2(t) \\
\vdots \\
u_n(t)
\end{bmatrix}
</math> and <math>
\begin{bmatrix}
1 & 1 &\cdots & 1\\
\end{bmatrix}\mathbf{K}=\begin{bmatrix}
0 & 0 &\cdots & 0\\
\end{bmatrix} </math> (as the total 'contents' of all compartments is constant in a closed system)

In the special case of a closed system (see below) i.e. where <math>\mathbf{u}=0</math> then there is a general solution.

: <math>\mathbf{q} = c_1 e^{\lambda_1 t} \mathbf{v_1} + c_2 e^{\lambda_2 t} \mathbf{v_2} + \cdots + c_n e^{\lambda_n t} \mathbf{v_n}</math>

Where <math>\lambda_1</math>, <math>\lambda_2</math>, ... and <math>\lambda_n</math> are the [[Eigenvalues and eigenvectors|eigenvalues]] of <math>\mathbf{K}</math>; <math>\mathbf{v_1}</math>, <math>\mathbf{v_2}</math>, ... and <math>\mathbf{v_n}</math> are the respective [[Eigenvalues and eigenvectors|eigenvectors]] of <math>\mathbf{K}</math>; and <math>c_1</math>, <math>c_2</math>, .... and <math>c_n</math> are constants.

However, it can be shown that given the above requirement to ensure the 'contents' of a closed system are constant, then for every pair of [[Eigenvalues and eigenvectors|eigenvalue]] and [[Eigenvalues and eigenvectors|eigenvector]] then either <math>\lambda=0</math> or <math>
\begin{bmatrix}
1 & 1 &\cdots & 1\\
\end{bmatrix}\mathbf{v}=0</math> and also that one [[Eigenvalues and eigenvectors|eigenvalue]] is 0, say <math>\lambda_1</math>

So
: <math>\mathbf{q} = c_1  \mathbf{v_1} + c_2 e^{\lambda_2 t} \mathbf{v_2} + \cdots + c_n e^{\lambda_n t} \mathbf{v_n}</math>

Where
: <math>
\begin{bmatrix}
1 & 1 &\cdots & 1\\
\end{bmatrix}\mathbf{v_i}=0</math> for <math>\mathbf{i}=2, 3, \dots n</math>

This solution can be rearranged:

: <math>
\mathbf{q} = 
\Bigg[ \mathbf{v_1}\begin{bmatrix}
 c_1 & 0 & \cdots & 0 \\
 \end{bmatrix}
+ \mathbf{v_2}\begin{bmatrix}
 0 & c_2 & \cdots & 0 \\
 \end{bmatrix}
+ \dots + \mathbf{v_n}\begin{bmatrix}
 0 & 0 & \cdots & c_n \\
 \end{bmatrix} \Bigg]
\begin{bmatrix}
1 \\
e^{\lambda_2t} \\
 \vdots \\
e^{\lambda_nt} \\
\end{bmatrix}
</math>

This somewhat inelegant equation demonstrates that all solutions of an ''n-cell'' multi-compartment model with constant or no inputs are of the form:

: <math> \mathbf{q} = \mathbf{A}
\begin{bmatrix}
1 \\
e^{\lambda_2t} \\
 \vdots \\
e^{\lambda_nt} \\
\end{bmatrix}
</math>

Where <math>\mathbf{A}</math> is a ''nxn'' matrix and <math>\lambda_2</math>, <math>\lambda_3</math>, ... and <math>\lambda_n</math> are constants.
Where <math>\begin{bmatrix}
1 & 1 &\cdots & 1\\
\end{bmatrix}\mathbf{A}=\begin{bmatrix}
 a & 0 & \cdots & 0 \\
 \end{bmatrix}</math>

==Model topologies==
Generally speaking, as the number of compartments increases, it is challenging both to find the algebraic and numerical solutions to the model. However, there are special cases of models, which rarely exist in nature, when the topologies exhibit certain regularities that the solutions become easier to find. The model can be classified according to the interconnection of cells and input/output characteristics:

#'''Closed model''': No sinks or source, lit. all ''k''<sub>oi</sub> = 0 and ''u''<sub>''i''</sub> = 0;
#'''Open model''': There are sinks or/and sources among cells.
#'''Catenary model''': All compartments are arranged in a chain, with each pool connecting only to its neighbors. This model has two or more cells.
#'''Cyclic model''': It's a special case of the catenary model, with three or more cells, in which the first and last cell are connected, i.e. ''k''<sub>1''n''</sub> &ne; 0 or/and ''k''<sub>''n''1</sub> &ne; 0.
#'''Mammillary model''': Consists of a central compartment with peripheral compartments connecting to it. There are no interconnections among other compartments. 
#'''Reducible model''': It's a set of unconnected models. It bears great resemblance to the computer concept of '''forest''' as against '''trees'''.

== See also ==
* [[Mathematical model]] 
* [[Biomedical engineering]]
* [[Biological neuron models#Compartmental models|Biological neuron models]]
* [[Compartmental models in epidemiology]]
* [[Physiologically-based pharmacokinetic modelling]]

==References==
{{Reflist}}
*Godfrey, K., ''Compartmental Models and Their Application'', Academic Press, 1983 ({{ISBN|0-12-286970-2}}).
*Anderson, D. H., ''Compartmental Modeling and Tracer Kinetics'', Springer-Verlag Lecture Notes in Biomathematics #50, 1983 ({{ISBN|0-387-12303-2}}).
*Jacquez, J. A, ''Compartmental Analysis in Biology and Medicine'', 2nd ed., The University of Michigan Press, 1985.
*Evans, W. C., Linear Systems, Compartmental Modeling, and Estimability Issues in IAQ Studies, in Tichenor, B., ''Characterizing Sources of Indoor Air Pollution and Related Sink Effects'', ASTM STP 1287, pp.&nbsp;239–262, 1996 ({{ISBN|0-8031-2030-3}}).

[[Category:Mathematical modeling]]
[[Category:Systems theory]]