Tutorials › Nonlinear Mixed-Effects Models (NLME) › Structural Identifiability of Two-Compartment Parameters

One-, Two- and Three-Compartment Structural Models · Tutorial 46 of 797

Structural Identifiability of Two-Compartment Parameters

Learn how to recover two-compartment parameters from an exact biexponential concentration curve, and recognize the assumptions and boundary cases that limit uniqueness.

Beginner 10 min read

What You'll Learn

  • State the standard two-compartment IV-bolus model and its assumptions
  • Recover the biexponential rates and amplitudes from an ideal concentration curve
  • Derive the inverse mapping from macroparameters to microconstants
  • Check whether a curve implies physically admissible connected-model parameters
  • Explain what becomes unidentifiable when the peripheral compartment is disconnected
  • Distinguish structural uniqueness from uncertainty caused by finite, noisy observations

Why Identifiability Is a Question About the Whole Curve

A biexponential equation can fit a concentration profile, but fitting the curve and identifying the underlying compartment parameters are different tasks. Structural identifiability asks whether two different parameter sets could generate exactly the same observations under ideal conditions. For a two-compartment IV-bolus model, the key question is whether the entire, exact central concentration curve uniquely fixes both its exponential components and the rate constants that produced them.

Here, “ideal data” means the central concentration is known without error continuously for all \(t\geq 0\), and the bolus dose and concentration scale are known. This is a mathematical benchmark, not a claim about what can usually be recovered from a finite clinical sampling schedule.

Definition: A model parameter is structurally identifiable from an observation if, under the stated model and assumptions, no distinct admissible parameter value produces the same ideal observation. A parameter is globally structurally identifiable if that value is unique throughout the admissible parameter space. Structural identifiability concerns the model’s exact input-output relationship, not the precision of estimates from noisy or sparse data.

Model and Assumptions

Consider a linear two-compartment mammillary model after an IV bolus of known dose \(D\) into the central compartment. Let \(A_c(t)\) and \(A_p(t)\) be central and peripheral amounts. The central and peripheral volumes \(V_c,V_p\) are finite and positive. Clearance from the central compartment is \(CL>0\), and intercompartmental clearance is \(Q>0\). Define the microconstants \(k_{10}=CL/V_c\), \(k_{12}=Q/V_c\), and \(k_{21}=Q/V_p\), all with units of inverse time. Concentration is observed in the central compartment, so \(C(t)=A_c(t)/V_c\).

$$ \frac{dA_c}{dt}=-(k_{10}+k_{12})A_c+k_{21}A_p,\qquad \frac{dA_p}{dt}=k_{12}A_c-k_{21}A_p, \qquad A_c(0)=D,\quad A_p(0)=0. $$

The standard shared-clearance parameterization matters: \(k_{12}V_c=k_{21}V_p=Q\). It links the two exchange rates through the same \(Q\); they are not independent in this model. The introductory material on two-compartment amplitudes establishes the central IV-bolus concentration’s biexponential form. Write it with an ordering convention:

$$ C(t)=A_{\alpha}e^{-\alpha t}+A_{\beta}e^{-\beta t}, \qquad \alpha>\beta>0. $$

The rates \(\alpha,\beta\) and coefficients \(A_{\alpha},A_{\beta}\) are macroparameters of the observed curve. They are not, by themselves, the physiologic rate constants. Under the positive, connected model above, both coefficients are positive.

From Macroparameters Back to Microconstants

The initial concentration is \(C(0)=D/V_c=A_{\alpha}+A_{\beta}\). Differentiating the central concentration at the instant after the bolus gives \(C'(0)=-(k_{10}+k_{12})D/V_c\), because the peripheral amount is initially zero. Differentiating the biexponential representation gives a second expression for the same slope. Thus the initial decline rate, defined here as \(r_0=-C'(0)/C(0)\), is determined by the curve:

$$ r_0=\frac{\alpha A_{\alpha}+\beta A_{\beta}} {A_{\alpha}+A_{\beta}}=k_{10}+k_{12}. $$

The characteristic polynomial of the amount-balance system has roots \(\alpha\) and \(\beta\). Its sum is \(k_{10}+k_{12}+k_{21}\), and its product is \(k_{10}k_{21}\). These relationships, together with the initial slope, yield the inverse mapping.

$$ \begin{aligned} \alpha+\beta &= k_{10}+k_{12}+k_{21}=r_0+k_{21},\\ \alpha\beta &= k_{10}k_{21},\\ V_c &= \frac{D}{A_{\alpha}+A_{\beta}},\\ k_{21} &= \alpha+\beta-r_0,\\ k_{10} &= \frac{\alpha\beta}{k_{21}},\qquad k_{12}=r_0-k_{10},\\ CL &= k_{10}V_c,\qquad Q=k_{12}V_c,\qquad V_p=\frac{Q}{k_{21}}. \end{aligned} $$

These formulas give a unique inverse when the denominators are nonzero and the result is admissible. In particular, for a strictly connected model require \(k_{10}>0\), \(k_{12}>0\), and \(k_{21}>0\), as well as the stated positive volumes and clearances. The dose and concentration units must also be compatible: for example, mg divided by mg/L gives L.

Why the Inverse Is Unique

First, the exact positive biexponential curve uniquely determines its ordered rates and amplitudes. Since both coefficients are positive and \(\alpha>\beta\), the slower exponential dominates at late times:

$$ \beta=-\lim_{t\to\infty}\frac{\log C(t)}{t}, \qquad A_{\beta}=\lim_{t\to\infty}e^{\beta t}C(t). $$

Subtracting \(A_{\beta}e^{-\beta t}\) from the known curve leaves \(A_{\alpha}e^{-\alpha t}\), which determines \(\alpha\) and \(A_{\alpha}\). This proves uniqueness of the ordered biexponential representation under these conditions. Next, the displayed inverse equations determine \(V_c,k_{21},k_{10},k_{12}\) successively from \(D,A_{\alpha},A_{\beta},\alpha,\beta\). Finally, the shared-clearance relations determine \(CL,Q,V_p\). Thus, for an admissible strictly connected model with known dose, the ideal curve uniquely identifies these parameters.

The macroparameters must also be compatible with a positive connected model. One useful check is that \(r_0\) lies strictly between the two exponential rates. To see why, set \(r_0=k_{10}+k_{12}\). The polynomial with roots \(\alpha,\beta\) is \(f(x)=x^2-(k_{10}+k_{12}+k_{21})x+k_{10}k_{21}\). Substitution gives \(f(r_0)=-k_{12}k_{21}<0\). A monic quadratic is negative strictly between its two distinct real roots, so \(\beta<r_0<\alpha\). This condition alone is not a substitute for checking all recovered microconstants, but it is a useful necessary check.

Worked Example: Recovering All Parameters From a Compatible Curve

Suppose a hypothetical ideal curve after a known \(100\) mg IV bolus is \(C(t)=(40/7)e^{-0.8t}+(30/7)e^{-0.1t}\) mg/L, with time in hours. The amplitudes sum to \(10\) mg/L, and the ordered rates are \(\alpha=0.8\) h\(^{-1}\), \(\beta=0.1\) h\(^{-1}\).

The central volume is \(V_c=100\text{ mg}/(10\text{ mg/L})=10\text{ L}\). The initial decline rate calculated from the curve is \(r_0=[0.8(40/7)+0.1(30/7)]/10=(35/7)/10=0.5000\) h\(^{-1}\).

The remaining rate constants follow in order: \(k_{21}=0.8+0.1-0.5=0.4000\) h\(^{-1}\); \(k_{10}=(0.8)(0.1)/0.4=0.2000\) h\(^{-1}\); and \(k_{12}=0.5-0.2=0.3000\) h\(^{-1}\). All three are positive, so the recovered rates satisfy the connected-model requirement.

The clearance and peripheral volume are \(CL=(0.2000\text{ h}^{-1})(10\text{ L})=2.000\) L/h, \(Q=(0.3000\text{ h}^{-1})(10\text{ L})=3.000\) L/h, and \(V_p=(3.000\text{ L/h})/(0.4000\text{ h}^{-1})=7.500\) L. The shared-clearance check agrees: \(k_{21}V_p=(0.4000)(7.500)=3.000\) L/h, equal to \(Q=k_{12}V_c\).

Worked Example: A Curve That Fails the Connected-Model Check

Consider a hypothetical curve \(C(t)=3e^{-0.6t}+1e^{-0.2t}\) mg/L after an \(80\) mg bolus. The amplitudes give \(V_c=80/4=20\) L. Its initial decline rate is \(r_0=[(0.6)(3)+(0.2)(1)]/4=2.0/4=0.5000\) h\(^{-1}\).

The inverse gives \(k_{21}=0.6+0.2-0.5=0.3000\) h\(^{-1}\), \(k_{10}=(0.6)(0.2)/0.3=0.4000\) h\(^{-1}\), and \(k_{12}=0.5-0.4=0.1000\) h\(^{-1}\). These are positive. The implied clearances and peripheral volume are \(CL=0.4(20)=8.000\) L/h, \(Q=0.1(20)=2.000\) L/h, and \(V_p=2.0/0.3=6.667\) L. The model is therefore compatible with a positive connected two-compartment parameter set.

The check is substantive: a biexponential curve does not automatically imply admissible two-compartment parameters. If the same inverse equations had produced a negative rate or clearance, the curve could not be generated by the stipulated positive connected model, even though its biexponential expression itself was mathematically well-defined.

Boundary Cases and What the Curve Cannot Reveal

Strict positivity is important to the uniqueness result. If the compartments are disconnected in the standard shared-clearance model, then \(Q=0\). With finite positive \(V_c\) and \(V_p\), the relations \(k_{12}=Q/V_c\) and \(k_{21}=Q/V_p\) require \(k_{12}=k_{21}=0\). The central curve is then a single exponential, and the peripheral volume does not affect the observation.

Worked Example: A Disconnected Peripheral Compartment

Suppose a hypothetical \(50\) mg bolus produces the exact central curve \(C(t)=5e^{-0.2t}\) mg/L. The central volume and elimination rate are \(V_c=50/5=10\) L and \(k_{10}=0.2000\) h\(^{-1}\), so \(CL=0.2(10)=2.000\) L/h.

This single exponential is consistent with \(k_{12}=k_{21}=0\) and \(Q=0\). It contains no information about \(V_p\): any finite positive peripheral volume yields the same central curve because no drug enters that compartment. The curve therefore does not uniquely identify all two-compartment parameters at this boundary.

For clarity, an ODE written with \(k_{12}=0\) and arbitrary \(k_{21}>0\) would also leave the central curve unchanged because the peripheral compartment is never populated. But with finite \(V_p\), that case violates the standard shared-clearance relation: \(k_{12}V_c=0\), whereas \(k_{21}V_p>0\). It is outside the parameterization used here and must not be described as a valid shared-clearance two-compartment model.

Another limitation arises if the bolus dose is unknown. The curve still determines its biexponential rates and amplitudes under ideal conditions, and hence the rate constants through the slope and root relationships. But \(V_c=D/(A_{\alpha}+A_{\beta})\) cannot be calculated without \(D\). Scaling \(D,V_c,CL,Q,V_p\) by the same positive factor leaves the concentration curve unchanged while preserving the rate constants. Thus absolute volume and clearance parameters require a known dose and concentration scale.

Diagnostics, Alternatives, and Scope

A structural calculation is useful partly because it exposes failures of interpretation. Check that the two rates are distinct and positive, the amplitudes sum to a positive initial concentration, \(k_{21}\neq0\), and all recovered microconstants and derived parameters meet the model’s positivity constraints. Confirm units at every conversion: rates have units of inverse time, \(CL\) and \(Q\) have volume per time, and volumes have volume. A failed check means either the curve is incompatible with the assumed model and conditions or a boundary/scale ambiguity applies; it does not justify forcing a physiologically impossible parameter value.

The exact-curve inversion is not an estimation method for ordinary sparse observations. With finite noisy data, exponential rates and amplitudes must be estimated, and the inverse formulas can magnify estimation error. Those are practical-identifiability and sampling questions, distinct from whether the ideal mapping is one-to-one. The main alternative conceptual route is to estimate the microconstants directly by solving the compartment equations and comparing predicted concentrations with data. That approach may be more suitable for data analysis, but it does not remove structural ambiguities: if two parameter sets generate the same ideal curve, direct fitting cannot distinguish them. Conversely, the macroparameter inversion makes the algebraic source of uniqueness and boundary failures especially transparent.

The conclusions rely on a linear, time-invariant two-compartment model, an IV bolus into the central compartment, observation of central concentration, a known dose and scale, and the stated shared-clearance relationships. They do not establish that the model is biologically correct or that real samples can determine its parameters precisely. Structural uniqueness is a property of the specified model under ideal observation, not evidence that every estimated parameter will be reliable in practice.

Common pitfall: Treating \(k_{12}\) and \(k_{21}\) as unrelated lets one claim that \(k_{12}=0\) while \(k_{21}>0\) is a valid boundary of the shared-clearance model. With finite positive volumes and \(k_{12}V_c=k_{21}V_p=Q\), setting either exchange rate to zero forces \(Q=0\) and the other rate to zero as well. In that disconnected case, \(V_p\) is unobservable from the central curve.

Check Your Understanding

Answer each question using the assumptions and definitions above. Brief solutions follow the questions.

  1. Why is the known dose needed to recover \(V_c\), even when the biexponential curve is known exactly?
  2. For a positive connected model, what does \(r_0\) represent, and between which two rates must it lie?
  3. A recovered set has \(k_{10}=0.3\), \(k_{12}=0.2\), and \(k_{21}=0.4\) h\(^{-1}\). What are \(\alpha+\beta\) and \(\alpha\beta\)?
  4. In the standard finite-volume shared-clearance model, what follows from \(Q=0\), and which parameter cannot be determined from the central curve at that boundary?
  5. Does a unique ideal inverse guarantee precise estimates from a small number of noisy samples? Explain.

Solutions. (1) The initial concentration only gives \(A_{\alpha}+A_{\beta}=D/V_c\); without \(D\), this identifies a ratio, not \(V_c\). (2) \(r_0=-C'(0)/C(0)=k_{10}+k_{12}\), and positivity of both exchange rates gives \(\beta<r_0<\alpha\). (3) The sum is \(k_{10}+k_{12}+k_{21}=0.9\) h\(^{-1}\), and the product is \(k_{10}k_{21}=0.12\) h\(^{-2}\). (4) Since \(Q=k_{12}V_c=k_{21}V_p\) with finite positive volumes, \(k_{12}=k_{21}=0\); the peripheral volume \(V_p\) is unobservable centrally. (5) No. Structural uniqueness concerns the exact ideal mapping; finite noisy observations may still yield imprecise estimates.