1 Introduction

Mathematical models have long played an important role in analytical pharmacology, which has its roots in receptor theory (Kenakin 2009; Kenakin and Williams 2014; Kenakin and Christopoulos 2011; Kenakin 2004; Colquhoun 2006). Much of this theory rests upon assumptions of equilibrium and ligands binding to monomeric receptors. It is now widely accepted that consideration of binding and signalling dynamics is an important factor in the drug discovery process (Schuetz et al. 2017). Furthermore, there is widespread acknowledgement that many receptors may exist (constitutively) as dimers or higher oligomers (Milligan 2004, 2006, 2013; Milligan and Smith 2007). Therefore, a theoretical foundation for the study of signalling via dimerised receptors is required in order to classify, quantify and simulate ligand–receptor interactions and their signalling outcomes, for both equilibrium and dynamic conditions.

G protein-coupled receptors (GPCRs) are membrane receptors of particular therapeutic importance, since they represent targets for up to approximately 50% of current drugs (Bridge et al. 2010). These receptors were long thought to exist solely as monomers, and theoretical models for GPCR signalling have largely been built around this assumption, in line with classical receptor theory for both equilibrium and dynamic models (Woodroffe et al. 2009, 2010; Bridge 2009; Bridge et al. 2010). However, it has been demonstrated and is now widely recognised that GPCRs may exist and function as dimers and higher-order oligomers (Smith and Milligan 2010; Milligan 2004, 2006; Bai 2004). The extent to which a ligand bound to one site of an oligomeric receptor complex affects ligand binding characteristics to other sites is termed cooperativity, and the effect of cross-dimer (or cross-oligomer) cooperativity on binding and signalling dynamic responses is yet to be fully elucidated theoretically.

In pursuit of potentially developing drugs which exploit ligand binding and activation crosstalk at dimeric receptors, many questions remain. For example, what are the potential advantages (to a cell or tissue) to express dimeric rather than monomeric receptors? “Expanded pharmacology” possibilities (in terms of binding and activation) may increase the diversity of potential signalling responses (via G protein coupling and signalling) towards “fine-tuning” cell responses (Smith and Milligan 2010). Identifying homodimers and heterodimers and understanding their role in signalling is a key step towards exploiting oligomerisation in drug discovery (Smith and Milligan 2010; Milligan 2004). The prevalence of GPCR dimers is a subject of debate, but their capacity for functional outcomes beyond those offered by monomers gives clear potential for the development of novel therapeutics (Milligan 2013). Indeed, with respect to classical receptor theory, dimerised receptors may represent “novel receptors” , i.e. receptors whose binding and signalling response profiles are more complex and offer more targetable therapeutic potential than their constituent protomers alone. Much needs to be established in terms of differential pharmacology and functional effects before dimers become tractable drug targets (Milligan 2009); development of the theory of dimerised GPCRs is therefore needed (Bai 2004), and we begin here by presenting mathematical models of ligand binding dynamics.

Mathematical modelling of binding to dimerised GPCRs has largely focused on equilibrium binding models (Casadó et al. 2007; Chidiac et al. 1997; Durroux 2005; Franco et al. 2006, 2005, 2007; Ferré et al. 2014), but the dynamics of ligand binding at such dimers have not been widely modelled. Typically, the equilibrium models yield analytical solutions for total bound labelled ligand, derived algebraically using mass action and receptor conservation considerations. Corresponding log dose–response (logDR) curves for bound ligand may be multiphasic, exhibiting multiple inflections (Ferré et al. 2014; Casadó et al. 2009; Rovira et al. 2009; Durroux 2005; Chidiac et al. 1997). For models of dimerised receptor binding, this departure from monophasic logDR curves (typical of monomeric receptor binding) may be quantified by a dimer cooperativity index (Giraldo 2008; Casadó et al. 2007; Franco et al. 2008), which relates to the apparent binding cooperativity in the Hill function sense. Within a Hill function analysis, however, there is the possibility that information is missed due to the inability of Hill coefficients to distinguish interaction mechanisms (Prinz 2010). These works appear to be the state of the art in practical GPCR models, while more mathematically abstract approaches are taken elsewhere: an algebra of dimerisation is presented in Woolf and Linderman (2004), and generalised multi-site binding models are analysed in Juška (2008).

Dynamic models of binding and signalling for dimerised receptors are less common than equilibrium models. Spatial models of the dimerisation process and subsequent signalling are developed in Mayawala et al. (2006), while dynamics of receptor and transducer protein dimerisation are studied using an ordinary differential equation (ODE) model in Vera et al. (2008), wherein it is suggested that homodimerisation may serve to regulate signalling over multiple timescales. Ligand-induced dimerisation of VEGF receptors is modelled using ODEs in Mac Gabhann and Popel (2007). In order to lay the foundations for dynamic modelling of signalling via dimerised GPCRs, we refer to a more recent study of GPCR ligand binding dynamics (May et al. 2011). Therein, linear ODE models of single-ligand and competition dynamics at pre-dimerised homodimeric receptors are presented, with a brief model analysis and numerical data fitting, without presenting analytical solutions to the ODE systems. In the current work, we describe a simplified formulation of the May et al. models and derive their analytical solutions. For the single-ligand model, the solution structure (bi-exponential in time, reflecting two distinct eigenvalues) is reminiscent of Motulsky–Mahan competition dynamics at a monomer (Motulsky and Mahan 1984).

In this paper, we develop mathematical models for the dynamics of ligand binding at pre-dimerised receptors. In Sect. 2, we formulate and solve (analytically) a linear ODE model for single-ligand (A) binding kinetics at constitutively dimerised receptors. We first relate our model to previous models and find an analytical equilibrium solution for total bound ligand. From this solution, we derive a condition under which multiple inflections in the logDR curve appear, in terms of the mechanistic binding cooperativity coefficient (\(\alpha \)). Further, we show that the time-dependent problem has an analytical solution which may be easily constructed and computed without the need for numerical ODE solvers and use this solution to simulate the binding dynamics. In Sect. 3, we extend our model to account for the presence of a second competing ligand (B). Again, we relate to previous models and begin by finding the equilibrium solution. This enables us to derive a condition for multiple inflections in the logDR curve for total bound ligand A, which this time depends on multiple mechanistic binding cooperativity coefficients and the concentration of B. The ODE model for competition dynamics is linear as before, but its analytical solution is more laborious to compute. We again simulate the binding dynamics to explore the effects of the dynamic cooperativity factors. In Sect. 4, we conclude with a discussion of our main results, underlining our contribution to the literature, and considering dynamic modelling in the context of mathematics supporting drug discovery.

2 Initial Model: Single Ligand

2.1 Model Formulation

In this initial model, we consider a single-ligand, A, binding to a pre-dimerised receptor complex. For the purposes of this paper, we assume all dimers are homodimers and so consist of two identical receptors bound together. We denote these dimers as R for simplicity in the model but keep the assumption that ligand molecules can bind to either side of the dimer. Association and dissociation rates are \(k_{a+}\) and \(k_{a-}\), respectively, and we assume there is no bias to which protomer the ligand molecule binds to first. As the second ligand binding may be affected by one side of the dimer being already bound, we introduce \(\alpha =\alpha _+/\alpha _-\) which represents the equilibrium binding cooperativity, that is the factor change in affinity for the dimer when it is already ligand bound. The value \(\alpha =1\) represents neutral cooperativity, and \(\alpha >1\) and \(\alpha <1\) represent positive and negative cooperativity, respectively. Figure 1 shows the system of biochemical reactions. Since R represents a dimer, AR is the complex created by a single-ligand molecule binding to a protomer and ARA is a dual bound receptor.

Fig. 1
figure 1

Schematic representing the reactions resulting from the binding of a single ligand

2.2 Differential Equations

Applying the law of mass action, the binding kinetics are governed by the following system of ordinary differential equations (ODEs):

$$\begin{aligned} \frac{\text {d}[R]}{\text {d}t}&=k_{a-}[AR]-k_{a+}[A][R], \end{aligned}$$
(1a)
$$\begin{aligned} \frac{\text {d}[AR]}{\text {d}t}&= k_{a+}[A][R]-k_{a-}[AR] -\alpha _+k_{a+}[A][AR]+\alpha _-k_{a-}[ARA], \end{aligned}$$
(1b)
$$\begin{aligned} \frac{\text {d}[ARA]}{\text {d}t}&=\alpha _+k_{a+}[A][AR]-\alpha _-k_{a-}[ARA], \end{aligned}$$
(1c)

Conservation of receptors in the system allows us to give the total concentration of dimerised receptors as \(D_\mathrm{tot}=[R]+[AR]+[ARA]\). We use this to reduce the system to two ODEs which, taking [A] as a constant, we write in the form of \(\frac{\text {d}}{\text {d}t}\mathbf{X }(t)=M\mathbf{X }(t)+\mathbf{f }\):

$$\begin{aligned} \frac{\text {d}}{\text {d}t}\begin{pmatrix} [AR] \\ [ARA] \end{pmatrix}= & {} \left( \begin{array}{cc} -(k_{a-}+k_{a+}[A]+\alpha _+k_{a+}[A])&{}\quad \alpha _-k_{a-}-k_{a+}[A] \\ \alpha _+k_{a+}[A] &{}\quad -\alpha _-k_{a-} \end{array}\right) \begin{pmatrix} [AR] \\ [ARA] \end{pmatrix}\nonumber \\&+\,\begin{pmatrix} k_{a+}[A]D_{tot} \\ 0 \end{pmatrix}, \end{aligned}$$
(2)

with initial conditions

$$\begin{aligned} \begin{pmatrix} [AR](0) \\ [ARA](0) \end{pmatrix}=\begin{pmatrix} 0 \\ 0 \end{pmatrix}. \end{aligned}$$
(3)

2.3 Equilibrium Analysis

In the spirit of classical receptor theory, we first investigate the equilibrium behaviour of the system, in particular the effect of the equilibrium cooperativity factor \(\alpha \). The equilibrium relationships are

$$\begin{aligned}{}[AR]&=K_A[A][R], \end{aligned}$$
(4a)
$$\begin{aligned}&=\alpha K_A[A][AR], \end{aligned}$$
(4b)

where \(K_A=k_{a+}/k_{a-}\) is the equilibrium association constant and \(\alpha =\alpha _+/\alpha _-\) is the equilibrium binding cooperativity. The total concentration of dimers is

$$\begin{aligned} D_\mathrm{tot}&=[R]+[AR]+[ARA] \nonumber \\&=[R](1+K_A[A]+\alpha K_A^2[A]^2), \end{aligned}$$
(5)

which we can combine with equations 2.4 to express the equilibrium concentrations in terms of parameters only, giving

$$\begin{aligned}{}[R]&=\frac{1}{1+K_A[A]+\alpha K_A^2[A]^2}D_\mathrm{tot}, \end{aligned}$$
(6a)
$$\begin{aligned}&=\frac{K_A[A]}{1+K_A[A]+\alpha K_A^2[A]^2}D_\mathrm{tot},\end{aligned}$$
(6b)
$$\begin{aligned}&=\frac{\alpha K_A^2[A]^2}{1+K_A[A]+\alpha K_A^2[A]^2}D_\mathrm{tot}. \end{aligned}$$
(6c)

We can clearly see that as \([A]\rightarrow \infty \) the concentrations of [R] and [AR] fall to zero, whereas [ARA] tends to \(D_\mathrm{tot}\). The total amount of ligand bound is of primary interest, since this is often an experimentally measurable quantity (May et al. 2011). At equilibrium, we have \(A_\mathrm{bound}=[AR]+2[ARA]\) due to a single-ligand molecule being bound in [AR] and two-ligand molecules being bound in [ARA]. We therefore find

$$\begin{aligned} A_\mathrm{bound}=\frac{(K_A[A]+2\alpha K_A^2[A]^2)}{1+K_A[A]+\alpha K_A^2[A]^2}D_\mathrm{tot}. \end{aligned}$$
(7)

This result is equivalent to the result (Giraldo 2008) states when discussing a mechanistic model for a single-ligand binding to a dimerised receptor. As the maximal ligand bound is \(2D_\mathrm{tot}\), we can calculate the \(EC_{50}\) value for \(A_\mathrm{bound}\) (the concentration giving half-maximal effect) as

$$\begin{aligned} A_{50} = \frac{1}{K_A\sqrt{\alpha }}. \end{aligned}$$
(8)

Figure 2 shows how the equilibrium cooperativity factor \(\alpha \) affects the log dose–response (logDR) binding relationship. Increasing cooperativity leads to dimers becoming dual bound for lower concentrations of [A] and lower peaks in [AR]. Further, for \(A_\mathrm{bound}\), biphasic logDR curves with multiple inflections are possible. With extreme negative cooperativity, we see three inflections in the curve instead of just one. It can be shown (“Appendix B” ) that the inflection point that appears in all curves is at the point \([A]=1/K_A\sqrt{\alpha }\), which in this case is the same value as the \(EC_{50}\) due to the symmetric nature of the curves. Also, with increased \(\alpha >1\), we see an approximate leftward shift in the curve.

Fig. 2
figure 2

LogDR curves for \(\alpha \) ranging from extreme negative to extreme positive cooperativity. Association and dissociation rates are kept at \(k_{a+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}\) and \(k_{a-}=0.1\,\hbox {s}^{-1}\), respectively, and \(D_\mathrm{tot}\) is set at \(1\times 10^{-10}\,\hbox {M}\). We see that extra inflections appear in \(A_\mathrm{bound}\) when we have very negative cooperativity

Since the existence of extra inflections depends on \(\alpha \) we seek a condition on \(\alpha \) for when these appear. Following the calculation in “Appendix B,” we find that for three inflections we require

$$\begin{aligned} 0<\alpha <1/16. \end{aligned}$$
(9)

We note that this is different from Giraldo’s dimer cooperativity index condition for apparent cooperativity (Giraldo 2008). From a curve-fitting perspective, \(\alpha =1/4\) is mechanistically negatively cooperative, but would give apparent cooperativity in the Hill function sense (see Giraldo 2008). When (9) holds, the inflection at \([A]=A_{50}\) changes from a rising inflection point to a falling one and we get two extra inflection points, one for \([A]<A_{50}\) and one for \([A]>A_{50}\) at the points

$$\begin{aligned}{}[A]=\frac{1-8\alpha \pm \sqrt{(16\alpha -1)(4\alpha -1)}}{2\alpha K_A}. \end{aligned}$$
(10)

We see in Fig. 2 that this results in a biphasic curve. We note here that a biphasic logDR curve with three inflections as shown would not be seen for monomeric receptors. An experimental logDR curve may be suggestive of pre-dimerised receptors and very negative cooperativity.

2.4 Binding Dynamics–Analytical Solutions

The exact solution to the initial value problems 2, 3 may be constructed by calculating the eigenvalues of the coefficient matrix and by using the method of undetermined coefficients (“Appendix D”), or by the method of Laplace transform (as in Motulsky and Mahan 1984). Both methods give the analytical solutions as:

$$\begin{aligned}{}[AR](t)= & {} \frac{k_{a+}[A]D_\mathrm{tot}}{\det (M)}\left( \frac{\lambda _2(\alpha _-k_{a-}+\lambda _1)e^{\lambda _1t}-\lambda _1(\alpha _-k_{a-}+\lambda _2)e^{\lambda _2t}}{\lambda _1-\lambda _2}+\alpha _-k_{a-}\right) ,\nonumber \\ \end{aligned}$$
(11)
$$\begin{aligned}{}[ARA](t)= & {} \frac{\alpha _+k_{a+}^2[A]^2D_\mathrm{tot}}{\det (M)(\lambda _1-\lambda _2)}\left( \lambda _2e^{\lambda _1t}-\lambda _1e^{\lambda _2t}+\lambda _1-\lambda _2\right) , \end{aligned}$$
(12)

where the eigenvalues of the coefficient matrix M are

$$\begin{aligned} \lambda _1&=\bigg ({{\mathrm{Tr}}}(M)+\sqrt{{{\mathrm{Tr}}}(M)^2-4\det (M)}\bigg )/2, \end{aligned}$$
(13a)
$$\begin{aligned} \lambda _2&=\bigg ({{\mathrm{Tr}}}(M)-\sqrt{{{\mathrm{Tr}}}(M)^2-4\det (M)}\bigg )/2, \end{aligned}$$
(13b)

and \({{\mathrm{Tr}}}(M)\) and \(\det (M)\) are the trace and determinant of M, respectively, given by:

$$\begin{aligned} {{\mathrm{Tr}}}(M)&= -\big ( (\alpha _{-}+1)k_{a-} + (\alpha _{+}+1)k_{a+}[A] \big ) \; <0, \end{aligned}$$
(14a)
$$\begin{aligned} \det (M)&= \alpha _{-}k_{a-}^{2}+\alpha _{-}k_{a-}k_{a+}A+ \alpha _{+}(k_{a+}[A])^{2} \nonumber \\&= \alpha _{-}k_{a-}^{2}\big (1+K_{A}[A]+\alpha K_{A}^{2}[A]^{2} \big ) \; > 0, \end{aligned}$$
(14b)

Our response of primary interest is the total concentration of ligand bound, \(A_\mathrm{bound}\), which is given by

(15)

The solution has two exponential components, meaning we would expect to see bi-exponential time courses in general. It can be shown (“Appendix C”) that not only are eigenvalues \(\lambda _1\) and \(\lambda _2\) real and distinct but they are also always negative, since all parameters in the model are positive. Further, \(\lambda _{1}\) gives the slow component of the dynamics, while \(\lambda _{2}\) gives the fast component. Clearly, as \(t \rightarrow \infty \), the exponential components will decay to zero and we recover the equilibrium concentrations as

$$\begin{aligned}{}[AR] = \frac{\alpha _-k_{a+}k_{a-}[A]D_\mathrm{tot}}{\det (M)},\qquad [ARA] = \frac{\alpha _+k_{a+}^2[A]^2D_\mathrm{tot}}{\det (M)}, \end{aligned}$$
(16)

giving the total ligand bound at equilibrium as

$$\begin{aligned} A_\mathrm{bound}=\frac{k_{a+}[A]D_\mathrm{tot}}{\det (M)}\bigg (\alpha _-k_{a-}+2\alpha _+k_{a+}[A]\bigg ), \end{aligned}$$
(17)

equivalent to (2.6).

Having analytical solutions for the dynamics allows time courses to be plotted without the need for numerical ODE solvers. This is particularly useful for pharmacologists without numerics expertise, allowing them to construct exact solutions for any parameter values in software packages such as Microsoft Excel or GraphPad Prism (accepted). In this respect, the dynamics for our dimer binding model have the same analytical structure as Motulsky–Mahan dynamics (Motulsky and Mahan 1984). In “Appendix H,” we show a sample MATLAB code for construction of the analytical solution.

2.5 Results

Here we present numerical results which demonstrate the effects of cooperative dynamics across dimerised receptors. Figure 3 shows the binding of ligand A to the dimerised receptor [R] with the ligand being added as a constant quantity. Initially, ligand molecules bind singly to dimers, creating an increase in [AR]. As time increases, a positive cooperativity factor means that the chance of a second ligand molecule binding to the singularly bound dimer is increased; thus, [ARA] increases. This increase in [ARA] also has the effect of reducing [AR] which then falls towards zero. Hence, we see a peak in [AR]. In fact, this peak becomes a point of interest as we move on to look at Fig. 4. In this, we consider a range of values of [A] and study the effect this has on the binding dynamics. It is clear that not only does \(A_\mathrm{bound}\) increase to a higher equilibrium concentration as [A] increases, but the equilibration timescale is shorter. For low [A], [AR] apparently approaches equilibrium monotonically, whereas a peak in [AR](t) occurs for high concentrations of A. The time at which a possible local extremum occurs is

Fig. 3
figure 3

The binding of ligand A to a pre-dimerised receptor results in a surge in [AR], while positive cooperativity leads to most dimers becoming dual bound. Parameter values are \(k_{a+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}\) and \(k_{a-}=0.1\,\hbox {s}^{-1}\) for association and dissociation rates while keeping [A] constant at \(1\times 10^{-8}\,\hbox {M}\). Also \(\alpha _+=2\) and \(\alpha _-=0.01\), giving positive cooperativity, and \(D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\)

Fig. 4
figure 4

Binding dynamics with varying [A] in the system. With high levels of [A], we no longer see peaks in [AR]. Here, \(k_{a+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}\) and \(k_{a-}=0.1\,\hbox {s}^{-1}, \alpha _+=2\) and \(\alpha _-=0.01\) with \(D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\)

$$\begin{aligned} t=-\,\frac{\log \left( \frac{\alpha _-k_{a-}+\lambda _1}{\alpha _-k_{a-}+\lambda _2}\right) }{\lambda _1-\lambda _2}. \end{aligned}$$
(18)

For a peak in [AR](t) (see “Appendix E”), we require

$$\begin{aligned} k_{a+}[A]>\alpha _-k_{a-}, \end{aligned}$$
(19)

and the corresponding peak concentration of [AR] is

$$\begin{aligned}{}[AR]_{\text {peak}}=\frac{k_{a+}[A]D_\mathrm{tot}}{\det (M)}\left( -(\alpha _-k_{a-}+\lambda _1)\left( \frac{\alpha _-k_{a-}+\lambda _1}{\alpha _-k_{a-}+\lambda _2}\right) ^{\frac{\lambda _1}{\lambda _2-\lambda _1}}+\alpha _-k_{a-}\right) .\nonumber \\ \end{aligned}$$
(20)
Fig. 5
figure 5

Binding dynamics with varying \(\alpha \). As we move from positive to negative cooperativity, we see a more pronounced peak in [AR] with \(A_\mathrm{bound}\) tending to lower concentrations. Here, \(k_{a+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}\) and \(k_{a-}=0.01\,\hbox {s}^{-1}\), \([A] = 1 \times 10^{-8}\,\hbox {M}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\). We fix \(\alpha _- = 1\) so cooperativity varies via \(\alpha _+\)

In Fig. 5, we study the effect of \(\alpha \) on \(A_\mathrm{bound}(t)\). Clearly, the binding rate for a second ligand to the dimer increases and decreases for positive and negative cooperativity, respectively. We see a peak in [AR](t) whose timing and concentration are dependent on \(\alpha _+\). As \(\alpha _+\) increases, the peak in [AR] decreases and occurs earlier. Both [ARA] and \(A_\mathrm{bound}\) increase as \(\alpha _+\) increases.

3 Two-Ligand System

3.1 Model Formulation

We now introduce a second ligand, B, to the system. The rationale for this is that quantification of effects of unlabelled ligands can be achieved by competition experiments with labelled and unlabelled ligands, as seen in previous studies involving monomeric and dimeric receptors (Motulsky and Mahan 1984; May et al. 2011; Durroux 2005; Franco et al. 2006). The kinetics of this system are key in highlighting and quantifying allosteric interactions across dimerised receptors, as indicated by May et al. (2011), who discuss the influence of an unlabelled ligand on the dissociation (washout) kinetics of a labelled ligand, when dimers are present.

We denote \(\beta =\beta _+/\beta _-\) as the influence a protomer bound by ligand B has on a second B molecule binding, and \(\gamma =\gamma _+/\gamma _-\) as the cooperativity factor describing the interaction between A and B bound receptors. This extended system gives a set of six reactions, as can be seen in Fig. 6. Taken together, these reactions correspond to a single face of the model schematic developed by Franco et al. (2006).

Fig. 6
figure 6

Schematic showing the binding possibilities with two ligands in the system

3.2 Differential Equations

As the total concentration of receptors is given by

$$\begin{aligned} D_\mathrm{tot}=[R]+[AR]+[BR]+[ARA]+[ARB]+[BRB], \end{aligned}$$
(21)

we may eliminate [R] to give a system of five linear ODEs:

$$\begin{aligned} \frac{\text {d}[AR]}{\text {d}t}&=-\,(k_{a+}[A]+k_{a-}+\alpha _+k_{a+}[A]-\gamma _+k_{b+}[B])[AR] -k_{a+}[A][BR]\nonumber \\&\quad \, +\,(\alpha _-k_{a-}-k_{a+}[A])[ARA]+(\gamma _-k_{b-}-k_{a+}[A])[ARB]\nonumber \\&\quad \, -\,k_{a+}[A][BRB]+k_{a+}[A]D_\mathrm{tot}, \end{aligned}$$
(22a)
$$\begin{aligned} \frac{\text {d}[BR]}{\text {d}t}&=-\,k_{b+}[B][AR]-(k_{b+}[B]+k_{b-}+\gamma _+k_{b+}[A]+\beta _+k_{b+}[B])[BR]\nonumber \\&\quad \,-\,k_{b+}[B][ARA]+(\gamma _-k_{b-}-k_{b+}[B])[ARB]\nonumber \\&\quad \,+\,(\beta _-k_{b-}-k_{b+}[B])[BRB]+k_{b+}[B]D_\mathrm{tot},\end{aligned}$$
(22b)
$$\begin{aligned} \frac{\text {d}[ARA]}{\text {d}t}&=\alpha _+k_{a+}[A][AR]-\alpha _-k_{a-}[ARA],\end{aligned}$$
(22c)
$$\begin{aligned} \frac{\text {d}[ARB]}{\text {d}t}&=\gamma _+k_{b+}[B][AR]+\gamma _+k_{a+}[A][BR]\nonumber \\&\quad \, -\,\gamma _-k_{b-}[ARB]-\gamma _-k_{a-}[ARB],\end{aligned}$$
(22d)
$$\begin{aligned} \frac{\text {d}[BRB]}{\text {d}t}&=\beta _+k_{b+}[B][BR]-\beta _-k_{b-}[BRB]. \end{aligned}$$
(22e)

with initial conditions

$$\begin{aligned} \begin{pmatrix} [AR](0) \\ [BR](0) \\ [ARA](0) \\ [ARB](0) \\ [BRB](0) \end{pmatrix}=\begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 0 \end{pmatrix}. \end{aligned}$$
(23)

We note that this system is a simplification of the one developed by May et al. (2011) (see “Appendix A”).

3.3 Equilibrium Analysis

Once the system reaches equilibrium, we have the set of relations

$$\begin{aligned}{}[AR]&=K_A[A][R],\qquad [BR] =K_B[B][R],\end{aligned}$$
(24a)
$$\begin{aligned}&=\alpha K_A^2[A]^2[R],\qquad [ARB] =\gamma K_AK_B[A][B][R],\nonumber \\ [BRB]&=\beta K_B^2[B]^2[R]. \end{aligned}$$
(24b)

The receptor conservation law therefore gives that

$$\begin{aligned} D_\mathrm{tot}= & {} [R](1+K_A[A]+K_B[B]+\alpha K_A^2[A]^2\nonumber \\&+\,\gamma K_AK_B[A][B]+\beta K_B^2[B]^2). \end{aligned}$$
(25)

Here we consider, as in May et al. (2011), competition experiments where ligand A is labelled and ligand B is unlabelled. We can clearly see that, providing [B] is fixed,

$$\begin{aligned}{}[R],[AR],[BR],[ARB],[BRB]\rightarrow 0 \text {, and } [ARA]\rightarrow D_\mathrm{tot} \text { as } [A]\rightarrow \infty . \end{aligned}$$
(26)

The total concentration of bound ligand A (assumed an experimentally measurable quantity) is

$$\begin{aligned} A_\mathrm{bound}=[AR]+2[ARA]+[ARB], \end{aligned}$$
(27)

which, using Eqs. (3.4) and (25), gives

$$\begin{aligned} A_\mathrm{bound}&=\frac{K_A[A]+2\alpha K_A^2[A]^2+\gamma K_AK_B[A][B]}{1+K_A[A]+K_B[B]+\alpha K_A^2[A]^2+\gamma K_AK_B[A][B]+\beta K_B^2[B]^2}D_\mathrm{tot}. \end{aligned}$$
(28)

As the maximal \(A_\mathrm{bound}\) for varying [A] remains as \(2D_\mathrm{tot}\), we calculate the \(EC_{50}\) for \(A_\mathrm{bound}\) as

$$\begin{aligned} A_{50}=\frac{1}{K_A}\sqrt{\frac{1+K_B[B]+\beta K_B^2[B]^2}{\alpha }}, \end{aligned}$$
(29)

which we note is independent of the A-B cooperativity factor \(\gamma \). In Figs. 7, 8, 9, we show the effects of each of the cooperativity factors \(\alpha , \beta , \gamma \) in turn. In each case, we plot logDR curves for \(A_\mathrm{bound}\) for a range of values for [B].

Fig. 7
figure 7

LogDR curve for varying \(\alpha _{+}\) shows extra inflections when we have low A-A cooperativity regardless of [B]. Plot parameters are \(k_{a+}=k_{b+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}, k_{a-}=k_{b-}=0.1\,\hbox {s}^{-1}, [A]=1\times 10^{-8} \hbox {M}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\). All other cooperativity values are set to 1

In Fig. 7, we consider a range of values of \(\alpha \), fixing \(\beta \) and \(\gamma \). Again we see extra inflections for low values of \(\alpha \), similarly to the single-ligand system. While molecules of B bind to AR to form ARB complexes, such a low \(\alpha \) means that very few molecules of A bind to AR; thus, [ARA] remains low, unless [A] is sufficiently large. For \([A]\rightarrow \infty \), both [AR] and \([ARB]\rightarrow 0\) regardless of \(\alpha \), giving local maxima in the logDR curves for these two variables (see individual species plots in Fig. 17). Very small \(\alpha \) requires very large [A] to effect this downturn in [AR] and [ARB], giving plateaus at the maximal response in the logDR for [AR] and [ARB]. It is these plateaus that change the nature of the original inflection point for \(A_\mathrm{bound}\), as well as creating two extra inflections.

Figure 8 shows the effect of varying the B-B cooperativity factor, \(\beta \). We see extra inflections appearing for conditions of both low \(\beta \) and high [B]. For high [B] and small \(\beta <1\), a relatively large proportion of receptor will be in [BR] complexes, unless [A] is sufficiently large. Again, corresponding logDR curves for [AR] and [ARB] exhibit local maxima (see Fig. 10).

Fig. 8
figure 8

LogDR curve for varying \(\beta _{+}\) shows extra inflections appear when we have both low B-B cooperativity and low [B]. Plot parameters are \(k_{a+}=k_{b+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}, k_{a-}=k_{b-}=0.1\,\hbox {s}^{-1}, [A]=1\times 10^{-8}\,\hbox {M}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\). All other cooperativity values are set to 1

In Fig. 9, we show the effects of A-B cooperativity \(\gamma \) and see that, for extra inflections, \(\gamma \) is required to be high as opposed to low. We again require there to be a high concentration of B in the system. The individual species curves in Fig. 11 again show the requirement of sufficiently large [A] for a downturn in [AR] and [ARB], but this time with the largest [ARB] values corresponding to large \(\gamma \).

Fig. 9
figure 9

LogDR curve for varying \(\gamma _{+}\) shows extra inflections when we have high A-B cooperativity as well as low [B]. Plot parameters are \(k_{a+}=k_{b+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}, k_{a-}=k_{b-}=0.1\,\hbox {s}^{-1}, [A]=1\times 10^{-8}\,\hbox {M}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\). All other cooperativity values are set to 1

Fig. 10
figure 10

Individual species plots for a varying \(\beta \). Plots were created with parameters \(K_A=K_B=10^8\,\hbox {M}^{-1}, \alpha =\gamma =1, [B]=10^{-5}\,\hbox {M}, D_\mathrm{tot}=10^{-10}\,\hbox {M}\)

Fig. 11
figure 11

Individual species plots for a varying \(\gamma \). Plots were created with parameters \(K_A=K_B=10^8\,\hbox {M}^{-1}, \alpha =\beta =1, [B]=10^{-8}\,\hbox {M}, D_\mathrm{tot}=10^{-10}\,\hbox {M}\)

Investigating these extra inflections in \(A_\mathrm{bound}\) (“Appendix G”), we find that there is always an inflection point at

$$\begin{aligned}{}[A]=\frac{1}{K_A}\sqrt{\frac{1+K_B[B]+\beta K_B^2[B]^2}{\alpha }}. \end{aligned}$$
(30)

We further find that extra inflections appear under the condition

$$\begin{aligned} 16\alpha (1+K_B[B]+\beta K_B^2[B]^2)<(\gamma K_B[B]+1)^2. \end{aligned}$$
(31)

Again we have an extra inflection at either side of the original one, at the points

$$\begin{aligned}{}[A]=\frac{m^2-8\alpha n\pm \sqrt{(m^2-16\alpha n)(m^2-4\alpha n)}}{2\alpha K_A m}, \end{aligned}$$
(32)

where \(m=1+\gamma K_B[B]\) and \(n=1+K_B[B]+\beta K_B^2[B]^2\).

3.4 Time Course Results

Analytical solutions for the system (3.2) are theoretically possible, given that the system is linear. However, the task of computing eigenvalues exactly becomes laborious and impractical; we instead construct the solutions by numerical evaluation of the eigenvalues. A numerical ODE solver could also be used. Here we present time course simulations for two-ligand competition.

In Fig. 12, we show time courses for each receptor state, for conditions of positive A-A, A-B and B-B cooperativities. We note [AR] and [ARA] dynamics similar to the single-ligand problem. Initially, a single-ligand molecule binds to one of the free receptors in the dimer, increasing [AR] before the positive cooperativity factor soon after binds a second ligand molecule, thus increasing [ARA] and lowering [AR].

Fig. 12
figure 12

In the time course plot, we see peaks in both [AR] and [BR]. Parameter values: \(k_{a+}=k_{b+}=1\times 10^7\,\hbox {M} ^{-1}\,\hbox {s}^{-1}, k_{a-}=k_{b-}=0.1\,\hbox {s}^{-1}, \alpha _+=\beta _+=\gamma _+=2, \alpha _-=\beta _-=\gamma _-=0.01, [A]=1\times 10^{-8}\,\hbox {M}, [B]=2\times 10^{-8}\,\hbox {M}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\)

In Fig. 13, we see the effect \(\alpha \) has on the time course dynamics of the system. We look at a range of values of \(\alpha \) while keeping \(\beta \) and \(\gamma \) fixed, giving neutral cooperativity. It is clear that regardless of the A-A cooperativity, we get peaks in both [AR] and [BR]. As \(\alpha \) increases, the peak in [BR] is lower and the peak in [AR] is later and higher. As \(\alpha \) increases, we also see that [ARA] increases and both [ARB] and [BRB] decrease. Further, peaks are apparent in [ARB] and, for large \(\alpha \), in [BRB].

Fig. 13
figure 13

As \(\alpha _{+}\) increases, the peak in [AR] decreases, while the peak in [BR] becomes more pronounced. Parameter values: \(k_{a+}=k_{b+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}, k_{a-}=k_{b-}=0.1\,\hbox {s}^{-1}, [A]=1\times 10^{-8}\,\hbox {M}, [B]=2\times 10^{-8}\,\hbox {M}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\). All other cooperativity factors are set to 1

In Fig. 14, we vary cooperativity factor \(\beta \). Non-monotonic behaviour is clearly shown for all receptor states except [BRB], and the potential for non-monotonic signal \(A_\mathrm{bound}\) is clearly demonstrated.

Fig. 14
figure 14

As \(\beta \) increases, the peak in [BR] decreases, while the peak in [AR] becomes more pronounced. Parameter values: \(k_{a+}=k_{b+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}, k_{a-}=k_{b-}=0.1\,\hbox {s}^{-1}, [A]=1\times 10^{-8}, [B]=2\times 10^{-8}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\). All other cooperativity factors are set to 1 so cooperativity is neutral for A-A and A-B and B-B cooperativity depends solely on \(\beta _+\)

In Fig. 15, we demonstrate the effect of varying \(\gamma \). As molecules of A and B become bound to free receptors, we again see [AR] and [BR] increase. With small \(\gamma \), a second A or B molecule causes [ARA] and [BRB] to increase, while [ARB] remains low. As \(\gamma \) increases past neutral cooperativity, we begin to see instead that it is the alternate ligand that binds to singularly bound receptors, meaning that [ARB] increases, while [ARA] and [BRB] remain low.

Fig. 15
figure 15

As \(\gamma \) increases, the peak in both [AR] and [BR] decreases. Parameter values: \(k_{a+}=k_{b+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}, k_{a-}=k_{b-}=0.1\,\hbox {s}^{-1}, [A]=1\times 10^{-8}\,\hbox {M}, [B]=2\times 10^{-8}\,\hbox {M}, D_\mathrm{tot}=1\times 10^{-10}\,\hbox {M}\). All other cooperativity factors are set to 1 so cooperativity is neutral for A-A and B-B and A-B cooperativity depends solely on \(\gamma _+\)

4 Discussion

In this paper, we have presented dynamic models of ligand binding to pre-dimerised GPCR homodimers, for both a single-ligand and two-ligand competition. The models are linear ODE systems, allowing analytical solutions for time-dependent and equilibrium responses. The model formulation, solution and results serve as a contribution to the field of pharmacological modelling and are expected to be of practical use, given the ease with which we can compute solutions. In particular, the bi-exponential single-ligand binding kinetics show a similar model solution structure to the widely used Motulsky–Mahan model for competition binding at monomers (Motulsky and Mahan 1984). We therefore propose that this model can be adopted, interpreted and implemented with relative ease by pharmacologists, and as such, we have provided a recipe for computational solution.

Time course computation for our models is straightforward, given the analytical solutions we have developed. However, there are interesting features in the equilibrium logDR curves for the experimental readout (signal) \(A_\mathrm{bound}\). We have noted the possibility for multiple inflections in logDR curves, for both single- and two-ligand binding. Multiphasic features in logDR curves are not reproducible by standard Hill functions (Veroli et al. 2015) which only support single inflection curves. For single-ligand binding, multiphasic logDR curves theoretically rule out monomeric receptor binding as the only ligand binding mechanism; such experimental data therefore would suggest another binding setup, possibly due to dimeric receptors. The existence of multiple inflections depends on the level of cooperativity across a dimerised receptor, and importantly we are able to give a condition on the single-ligand cooperativity factor for a three-inflection curve (9). The practical use of this condition is clearly in assessing the sign and magnitude of cooperativity towards quantitative classification of drug–receptor interactions. Given that Hill functions are not suitable for fully characterising multiphasic logDR curves (Veroli et al. 2015), our analysis here goes beyond dimer cooperativity indices which stem in part from cooperativity in the Hill function sense (Giraldo 2008); the present work concerns mechanistic cooperativity which is explicit in the original model schematic, as opposed to empirical measures from a more limited model. In Veroli et al. (2015), it is noted that multiphasic logDR curves have particular importance in a number of contexts including cancer pharmacology, and effort should be made to move beyond Hill function fitting wherever possible.

Two-ligand competition at GPCR homodimers has previously been discussed and modelled (May et al. 2011). In addition to the therapeutic relevance of agonist–antagonist competition (May et al. 2011; Bridge et al. 2010), for homodimeric receptors, dissociation kinetic assays may represent a more sensitive forum for detecting negative cooperativity than logDR analysis alone. As such, we have reduced the model of May et al. (2011) and outlined the analytical solution structure for the time-dependent problem. Further, considering a system with a labelled ligand A and an unlabelled ligand B, we are able to find conditions on [B] and the three cross-dimer cooperativity factors for multiple inflections in the logDR curve for \(A_\mathrm{bound}\) (Eq. 31), which again is designed to aid interpretation of experimental data and clear identification of parameter regimes which may have therapeutic significance.

Our simple models of ligands binding to constitutive homodimers, and particularly the explicit statement and elucidation of analytical results, represent an important addition to receptor theory. We remark that this should be considered only the foundation of the theory for binding and activation dynamics of GPCR dimers. There is a clear pathway for building on this foundation to expand upon this model towards simulating and understanding the potential diversity binding and signalling outcomes of non-monomeric receptors. In particular, the following natural extensions and considerations should be explored in future work.

  1. 1.

    Heterodimeric GPCRs are widely acknowledged to exist (Smith and Milligan 2010; Milligan 2004, 2006, 2009). Here, we have reduced the model of May et al. (2011) using the symmetry inherent in their homodimer model, resulting in a clean formulation amenable to algebraic manipulation. Extension to a more general model which will encompass heterodimers will require reversion to the May et al. schematic, but with an implicit asymmetry which will allow for an “extra level of complexity” (Bai 2004).

  2. 2.

    Higher-order complexes may exist (Smith and Milligan 2010; Juška 2008), and while a general functional signalling model for an \(n\mathrm{th}\)-order oligomer may be impractical, a ligand binding model of the type developed in the current work should be possible and may be valuable in distinguishing between orders of oligomer.

  3. 3.

    Here, we have assumed that all dimeric receptors are constitutively produced, are the only receptor entities and have not considered the dimerisation process itself. However, a mixture of monomers, dimers and higher oligomers may exist (Smith and Milligan 2010; Milligan 2004), and ligand-induced effects on the dimerisation process have also been noted for GPCRs (Smith and Milligan 2010; Bai 2004) and other receptors (Mac Gabhann and Popel 2007). Therefore, we propose to expand the model to include constitutive and ligand-induced dimerisation dynamics. This will allow theoretical investigation of questions put forth in Milligan (2004) regarding the effects of fraction of receptors which are dimers, dynamics and lifetime of dimerisation and the effect of ligands. Further modelling in this direction will draw on dimerisation models (Vera et al. 2008; Mac Gabhann and Popel 2007), towards a general, hybrid model for constitutive and ligand-induced dimers and ligand binding. Further complexity may be possible within a dimer population, whereby only a fraction of dimers may support cross-dimer crosstalk (Durroux 2005).

  4. 4.

    In keeping with classical analytical pharmacology approaches, we have first considered models for ligand binding; the cooperativity factors \(\alpha , \beta , \gamma \) are binding cooperativities. A diverse range of pharmacological effects is theoretically possible from dimeric receptors, in terms of receptor activation and signalling dynamics (Milligan 2004). Much is yet to be understood about signalling downstream of dimerised receptors, and how to distinguish between ligand–receptor level crosstalk and downstream crosstalk when interpreting experimental data (Milligan 2006, 2009; Chabre et al. 2009). A natural extension of our model will include receptor activation (Giraldo 2008), G protein binding (Milligan 2009; Bai 2004), and ultimately G protein activation and cycling (Woodroffe et al. 2010; Bridge 2009). In moving towards simulating downstream functional effects, new modelling studies will require consideration of cross-dimer cooperativity in (i) ligand binding, (ii) receptor activation and (iii) G protein binding.

  5. 5.

    Beyond simulating and using our theoretical results to identify parameter ranges, our models will be useful for parameter estimation to return best-fit parameter values to experimental data, as in May et al. (2011). Considering time course data for ligand binding, and possibly washout experiments, it is important to determine which of the model’s unknown kinetic parameters are theoretically identifiable from the given readout. In addition to model fitting with any available data and pseudo-experimental data, using methods such as genetic algorithms (Ashyraliyev et al. 2009), an important (but often overlooked) computation in bio-modelling is that of structural identifiability analysis (SIA). We propose to investigate the identifiability properties of our linear models using Laplace transform methods (Godfrey 1986). While beyond our scope here, this is an important avenue of investigation, given that in May et al. (2011), an initial parameterisation of the model therein suggests a non-identifiability issue; estimated equilibrium cooperativities are reported rather than all individual kinetic constants. The analysis in May et al. (2011) further suggests that a combination of association and washout experiments will be useful in estimating kinetic parameters relating to dimerised receptor binding. The simplified models presented in the current work will be used to simulate such experiments, and a detailed SIA will be performed towards parameterising ligand–dimer interactions. In Fig. 16, we show an initial simulation of binding followed by washout, in qualitative agreement with the results presented in May et al. (2011).

Fig. 16
figure 16

Binding then washout experiments, for labelled ligand A and unlabelled ligand B, varying [B]. Firstly binding of A in the absence of B, then dissociation of A, with A being washed out, with varying concentrations of B. The dissociation curves depend on [B], indicating cooperativity across the dimer (such a result would not be seen for monomeric receptor). Parameter values: \(k_{a+}=1\times 10^7\,\hbox {M}^{-1}\,\hbox {s}^{-1}\), \(k_{a-}=0.03\,\hbox {s}^{-1}, [A]=3\times 10^{-9}\)M, \(k_{b+}=1\times 10^7 \,\hbox {M}^{-1}\,\hbox {s}^{-1}, k_{b-}=0.01\,\hbox {s}^{-1}, \alpha _{+}=0.005, \alpha _{-}=1, \beta _{+}=1, \beta _{-}=10, \gamma _{+}=1, \gamma _{-}=10\). All three equilibrium cooperativities are negative, in qualitative agreement with (May et al. 2011)

The current work provides a theoretical foundation for the study of ligands binding dimerised receptors. We consider this theory as a vital step towards the potential exploitation of dimerised receptors in a therapeutic and drug discovery context. Understanding the functional, physiological and therapeutic significance of receptor dimers is an ongoing challenge (Smith and Milligan 2010), with some questions still outstanding over the possible requirement of dimerisation for receptor function (Milligan 2004). Given the broad appreciation of GPCR dimerisation, it is now widely accepted that dimers are true drug receptors, and cross-dimer binding and activation cooperativity gives rise to a “new kind of pharmacological target” (Ferré et al. 2014) whose allosteric cooperativity is key. So-called dual molecules can be used in targeting dopamine–adenosine heterodimers in the treatment of Parkinson’s disease, while it is suggested that opioid–cannabinoid heterodimers could be targeted for pain relief (Franco et al. 2008). Mathematical modelling will undoubtedly continue to be a key tool in simulating and quantifying in vitro ligand–receptor interactions and towards understanding of in vivo dynamics. In view of the potential functional diversity of dimerised receptors, the further development of dimerisation dynamics as a field of receptor theory is a crucial mathematical challenge towards drug discovery.