Abstract
Cell polarity is an important cellular process that cells use for various cellular functions such as asymmetric division, cell migration, and directionality determination. In asymmetric cell division, a mother cell creates multiple polarities of various proteins simultaneously within her membrane and cytosol to generate two different daughter cells. The formation of multiple polarities in asymmetric cell division has been found to be controlled via the regulatory system by upstream polarity of the membrane to downstream polarity of the cytosol, which is involved in not only polarity establishment but also polarity positioning. However, the mechanism for polarity positioning remains unclear. In this study, we found a general mechanism and mathematical structure for the multiple streams of polarities to determine their relative position via conceptional models based on the biological example of the asymmetric cell division process of C. elegans embryo. Using conceptional modeling and model reductions, we show that the positional relation of polarities is determined by a contrasting role of regulation by upstream polarity proteins on the transition process of diffusion dynamics of downstream proteins. We analytically prove that our findings hold under the general mathematical conditions, suggesting that the mechanism of relative position between upstream and downstream dynamics could be understood without depending on a specific type of bio-chemical reaction, and it could be the universal mechanism in multiple streams of polarity dynamics of the cell.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Cell polarity is an important cellular process that cells use for various cellular functions such as asymmetric division, cell migration, and directionality determination (Campanale et al. 2017). In particular, polarity formation in the asymmetric cell division process plays a core role in regulating the whole process of cell divisions occurred in early development of C. elegans embryo (Gönczy 2005). A mother cell divides its substrates asymmetrically into two daughter cells, which results in different gene expression between the daughter cells and leads to cells with different functions. To asymmetrically distribute the substrates, the mother cell creates a polarity pattern in the membrane that simultaneously induces polarities in the cytoplasmic proteins. After generating the polarities in both membrane and cytosol, a mother cell determines the cleavage plane via regulation by proteins forming polarities, which consequently determine the fate and size of the two daughter cells.
As a biological model system of asymmetric cell division, the polarity formation of C. elegans embryo has been well-studied. Before symmetry breaking, a group of transmembrane proteins, PAR-6, PAR-3, and PKC-3 [anterior PAR proteins (aPARs)], is homogeneously distributed in the membrane, and the other group of transmembrane proteins, PAR-2 and PAR-1 [posterior PAR proteins (pPARs)], is distributed homogeneously in the cytosol. Similarly, several cytoplasmic proteins homogeneously exist in the cytosol. MEX-5/6 and PIE-1 are the most well-studied cytoplasmic proteins that generate a polarity in the cytosol during asymmetric cell division. After the symmetry breaking induced by sperm entry as an external signal, aPARs and pPARs generate exclusive polarity domains of similar domain size in the membrane and determine the posterior and anterior axes in a single cell (Cuenca et al. 2002; Gönczy 2005). Interestingly, cytoplasmic proteins, MEX-5/6 and PIE-1, form polarity patterns in the cytosol simultaneously with PAR polarity formation in the membrane, but the location of polarity peaks are different between MEX-5/6 and PIE-1, where MEX-5/6 forms the polarity domain in the anterior end but PIE-1 forms a polarity domain in the posterior end (Daniels et al. 2010; Wu et al. 2015, 2018).
The exclusive domain formation of PAR proteins has been experimentally found to be underlined by the mutual inhibition interaction between aPARs and pPARs, in which the two protein groups transmit each other from the membrane to the cytosol via membrane binding/unbinding interaction (Hoege and Hyman 2013; Motegi and Seydoux 2013). In contrast, cytoplasmic polarities of MEX-5/6 and PIE-1 are based on the conversion of diffusion dynamics via a phosphorylation cycle (Daniels et al. 2010; Griffin et al. 2011; Tenlen et al. 2008; Wu et al. 2015, 2018). In particular, the phosphorylation cycles of MEX-5 are regulated by PAR proteins, and those of PIE-1 are regulated by MEX-5. Thus, PAR polarity is the upstream regulator of MEX-5/6 polarity, and polarity of MEX-5/6 is midstream regulator of PIE-1 polarity.
Theoretically, it has been well-studied that the underlying mechanism of PAR polarity formation is the bi-stability caused by the mutual inhibition effect of PARs in the membrane and the mass conservation property (Goehring et al. 2011; Seirin-Lee and Shibata 2015; Seirin-Lee 2016; Trong et al. 2014). A similar mathematical structure has been used to suggest most of the polarity formation mechanisms of the cell membrane (Jilkine and Edelstein-Keshet 2011; Mori et al. 2008; Otsuji et al. 2007). In contrast, cytoplasmic polarity has been poorly understood. In particular, the whole stream of polarity formation including both upstream of PAR polarity and midstream/downstream of cytoplasmic polarity has been very poorly understood by experiments, mathematical modeling, and analysis.
In this study, we focus on two questions. What is the essential mechanism or mathematical structure to generate the downstream polarity in a single cell with respect to the upstream polarity formation? Furthermore, what is the general mechanism by which the location of downstream polarity is determined with respect to the location of upstream polarity? As a solution, we constructed a conceptional mathematical model developed by the principal of capturing the essence of PAR, MEX-5/6, and PIE-1 dynamics. We then reduced the model more conceptually and introduce the two cytoplasmic polarity models. Using these models, we found that the positional relation between upstream and downstream polarity is determined by contrasting biochemical regulation by upstream protein on the conversion of diffusion dynamics of downstream proteins. We also found that the essential mechanism to create a cytosol polarity is independent of the mechanism to determine polarity position. We confirmed that the conceptional model is enough to understand the general mechanism of up–mid–down streams of polarity formation of PARs, MEX5/6, and PIE-1 in the asymmetric cell division process. Finally, we analytically proved that our findings hold under more general mathematical conditions. The results suggest that the mechanism of relative position between upstream and downstream dynamics could be understood without depending on specific bio-chemical reactions or phenomena, and it may be the universal mechanism for polarity positioning in multiple streams of polarity dynamics of a cell.
2 Model formulation
2.1 Conceptional model for upstream and downstream polarities in a cell
In the C. elegans embryo, aPARs and pPARs in the membrane create mutually exclusive polarity. At the same time, a cytoplasmic protein MEX-5/6 biases toward the side where aPAPs generate a polarity (Fig. 1a). The upstream polarity of PARs can be generated spontaneously without the downstream polarity of MEX-5/6, but MEX-5/6 requires the existence of polarity of PARs (Cuenca et al. 2002). Based on the biological evidences for MEX-5/6 and PAR polarity dynamics, we consider a general type of upstream and downstream polarity model here. We formulate a top-to-down model where upstream polarity is not affected by downstream polarity to focus on the essential mechanism of downstream polarity formation and its polarity location in terms of upstream polarity.
Now, we assume two proteins that generate mutually exclusive polarity domains in the membrane by \(U_1\) and \(U_2\), respectively. Because we know that a reaction–diffusion model satisfying bi-stability and mass conservation can generate a polarity (Mori et al. 2008; Otsuji et al. 2007; Seirin-Lee and Shibata 2015), we choose the PAR polarity model suggested by Seirin-Lee and Shibata (2015), where \(U_1\) and \(U_2\) are transmembrane proteins that are mutually inhibited by translocating each other from the membrane to the cytosol. We also assume that the concentrations of transmembrane proteins, \(U_1\) and \(U_2\), in the cytosol approach steady states quickly between the peripheral area of cell membrane and the center area of cytosol, namely, well-mixed states in the bulk space of cytosol because the diffusion coefficients in the cytosol are higher than that in the membrane (Kuhn et al. 2011; Goehring et al. 2011). In addition, the imaging data of cytoplasmic proteins, e.g. MEX-5 and PIE-1, shows that the interfaces of protein distributions are almost linear along to the vertical-axis as shown in schematic figure of Fig. 1a (Cuenca et al. 2002; Daniels et al. 2010), indicating that capturing the the patterning dynamics in the periphery of cell membrane would be enough to understand the essential dynamics of polarity, in particular, the positioning of polarity. Because the reaction dynamics in this study is also based on the membrane binding/unbinding kinetic, we consider the cell domain in a one dimensional space [0, L] with periodic boundary conditions (Fig. 1b).
In what follows, we develop mathematical models in more detail (see Table 1 for the details of notations and variables used in our models). Let each concentration of \(U_i \ (i=1,2)\) in the membrane be given by \(u_i(x,t)\), and that in the cytosol be given by \(v_i(x, t)\), where \(x\in [0, L]\) and \(t\in [0, \infty )\). The general form of the membrane polarity model is given by
where \(F_1(x, t)=\gamma v_1(x, t)-f_1(u_2(x, t))u_1(x, t)\), and \(F_2(x, t)=\bar{\gamma } {v_2(x, t)} -f_2(u_1(x, t))u_2(x, t)\). These kinetic terms describe the transmembrane dynamics of two proteins, \(U_1\) and \(U_2\), where \(\gamma (>0)\) and \(\bar{\gamma }(>0)\) are constant on-rates, and \(f_1\) and \(f_2\) are off-rate functions describing a mutual inhibition effect with basal off-rates \(\alpha (>0)\) and \(\bar{\alpha }(>0)\). The detailed form of these functions are given by
where \(K_1, \bar{K}_1, K\), and \(\bar{K}\) are positive constants. Note that the details of kinetic terms may not be sensitive to our result as long as the kinetic terms satisfy the bi-stability property.
Next, we assume that the cytoplasmic protein W changes its type to slow or fast diffusive protein via membrane dependent phosphorylation by the protein, \(U_1\) or \(U_2\), and denote them by \(W_s\) and \(W_f\), respectively. We first assume the model of Type I, which has a slow diffusive phosphorylation cycle \(W_s\) and is transited to a fast-diffusive type \(W_f\) via \(U_1\)-dependent phosphorylation. This fast-diffusive type \(W_f\) is transited to a slow diffusive type \(W_s\) via \(U_2\)-dependent dephosphorylation. We also assume a contrasting phosphorylation cycle as the model of Type II where a fast diffusive type \(W_f\) is transited to a slow diffusive type \(W_s\) via \(U_1\)-dependent dephosphorylation and a slow diffusive type \(W_s\) is transited to a fast diffusive type \(W_f\) via \(U_2\)-dependent phosphorylation. The schematic diagrams are given in Fig. 1c. The Type I model is based on the MEX-5/6 dynamics and the Type II model is based on the PIE-1 dynamics. We give the details of both MEX-5/6 model and PIE-1 model in Sect. 3.3.
Now, let us define the concentrations of \(W_s\) and \(W_f\) by \(w_s(x, t)\) and \(w_f(x, t)\), respectively, and \(w(x, t)=w_s(x, t)+w_f(x, t)\). Then, the general form of the cytosol polarity model describing the above dynamics can be considered as follows:
where \(D_f \ge D_s\). Type I and Type II dynamics define the function of G(x, t) as follows.
where \(\mu _1(>0)\) is the conversion rate from the slow diffusive type to the fast diffusive type and \(\mu _2(>0)\) is the conversion rate from the fast diffusive type to the slow diffusive type.
The chemical reaction formulas (3) directly lead to
2.2 Reduction to TFD and TSD models
To capture the essential structures of the cytoplasmic polarity mechanism, we reduce the upstream polarity model (1)–(4) to a more conceptional model that considers the core mathematical structure of polarity dynamics but is mathematically simpler. Let us reduce the membrane polarity model to the self-recruitment model (Fig. 1d) (see “Appendix A” for the details). The principal is that mutual inhibition can be considered to be equivalent to the dynamics of self-activation (Seirin-Lee and Shibata 2015). One can confirm that the dynamics of the reduction model are very similar to those of the full model (1) (Fig. 2). The reduction model for upstream and downstream polarities is given by
where u(x, t) and v(x, t) are the membrane and cytosol concentrations of either \(U_1\) or \(U_2\) (in this paper, we consider it to be \(U_1\)). F(x, t) is given as
and the concentration of \(U_2\) is reduced to
where \(\beta _1, \beta _2, \delta _1\), and \(\delta _2\) are positive constants. Each definition of the constants is shown in “Appendix A”.
By substituting (7) into Type I and Type II of G(x, t), we obtain the transition to fast diffusive (TFD) and transition to slow diffusive (TSD) models as follows;
respectively. As shown in Fig. 1d, the TFD model describes that the upstream protein acts on a downstream protein to transit from the slow diffusive type to fast diffusive type (or U inhibits/activates the transition of slow/fast diffusive type of W). In contrast, the TSD model shows that the upstream protein acts on a downstream protein to transit from the fast-diffusive type to slow diffusive type (or U activates/inhibits the transition of slow/fast diffusive type of W).
3 Results
3.1 Transition to fast/slow diffusion induces anti-phase/in-phase cell polarity
We first highlight that the two conceptional models show two contrasting dynamics of patterning. Type I and TFD models show that W generates an anti-phase cytoplasmic polarity with respect to the membrane polarity of U (Fig. 2a, b left panels). In contrast, Type II and TSD models show that W generates an in-phase polarity with respect to the membrane polarity of U (Fig. 2a, b right panels). Furthermore, we found that in both models, the slow diffusive type \(W_s\) and fast diffusive type \(W_f\) also create different phases of polarity, and the polarity of \(W_s\) coincides with the phase of W, indicating that \(W_s\) strongly affects the total dynamics of W polarity.
From the model properties, we conclude that the anti-phase mechanism is based on the activation from slow type to fast type and the inhibition from fast type to slow type by an upstream polarity substrate. In contrast, the in-phase mechanism is based on the activation from fast type to slow type and the inhibition from slow type to fast type by an upstream polarity protein (see Fig. 5 and Sect. 4 for more details). These results suggest that the location of downstream polarity is dominated by the location of slow type polarity, and anti-/in-phase polarity in the cytosol is determined by regulating the upstream polarity protein.
3.2 Underlying mechanism for downstream polarity
To understand the core mechanism for downstream polarity formation, we investigated the effects of three factors that compose the downstream polarity model; (1) Existence of membrane protein(U) polarity, (2) proportion of diffusion rates (\(D_s/D_f\)), and (3) transit rates, \(\mu _1\) (from the slow type to the fast type) and \(\mu _2\) (from the fast type to slow type).
Firstly, we explored the existence of W polarity under the condition where U does not lead to symmetric breaking to see whether the symmetry breaking of U is indispensable to induce the symmetry breaking of W (Fig. 3a). Next, we investigated whether the polarity of W is maintained under the assumption that symmetry breaking is possible but the maintenance phase of U has failed (Fig. 3b). We found that both the symmetry breaking and the maintenance of polarity cannot be established without polarity formation of the membrane protein (U), indicating that both establishment and maintenance of membrane protein polarity are indispensable conditions for polarity formation of cytoplasmic protein W.
Next, under the condition where U creates a polarity, we explored how the diffusion and transit rates affect polarity formation of W. To evaluate whether downstream polarity is established, we defined the apparent patterning degree (o(AP)) such that
where \(w_{\max }=\max _{x\in [0,L]}w(x, \infty )\), \(w_{\min }=\min _{x\in [0,L]}w(x, \infty )\), and
Note that \(\bar{w}_{tot}\) denotes both the total concentration of W and the concentration of homogeneous steady state of W in scaled space [0, 1]. Thus, \(o(AP)=0\) implies that \(w_{\max }=w_{\min }=\bar{w}_{tot}\). The higher value of o(AP) indicates that the polarity in the cytosol is more apparent.
We first investigated the parameter space of \(D_s/D_f\) and \(\mu _2/\mu _1\) with respect to o(AP) in Fig. 3c, d. We found that both TFD and TSD models show very similar results, indicating that these four parameters do not essentially influence the location of polarities (either anti- or in-phase polarity exists), but they are commonly related with the existence of cytoplasmic polarity. The simulation results show that polarity exists in a proper range of \(\mu _2/\mu _1\), and patterning is not apparent when \(\mu _2/\mu _1\) is either very small or large. In contrast, patterning monotonically increases as \(D_s/D_f\) decreases. We found that when the diffusion rates differ slightly, the concentration W is in a homogeneous state, although \(W_s\) and \(W_f\) generate clear polarities (Fig. 6 in “Appendix”). This suggests that the symmetry breaking of W is dominated by not only the asymmetry of the two transition rates but also the perturbation by different diffusion rates, which are indispensable.
Next, we investigate the reason of the influence of transition and diffusion rates on o(AP). Because the model is conservative, we first focused on the total mass of W (\(\bar{w}_{tot}\)) and the proportion of total mass of \(W_s\) and \(W_f\), denoted by \(\bar{w}_{s}\) and \(\bar{w}_{f}\), respectively (Fig. 3c2–c5, d2–d5), where
We found that both \(\bar{w}_{tot}\) and \(\bar{w}_s/\bar{w}_f\) are proportional to \(\mu _2/\mu _1\), and \(\bar{w}_s/\bar{w}_f\) is also proportional to \(D_s/D_f\) (Fig. 3c2–c3, d2–d3). We confirmed o(AP) with respect to \(\bar{w}_{tot}\) and \(\bar{w}_s/\bar{w}_f\) and found that the polarity cannot be formed when \(\bar{w}_{tot}\) and \(\bar{w}_s/\bar{w}_f\) are either very small or large (Fig. 3c4–c5, d4–d5 ). This result shows that the concentration valance of slow and fast types and the total mass are important to determine the degree and shape of polarity. In contrast, we found that there are no notable differences between the TFD and TSD models with respect to the above results. This indicates that the mathematical structure for forming the polarity is the same between the two models, and the location of polarity is purely determined by the properties of model formulation.
3.3 Dynamics of up–mid–down streams polarity in C. elegans embryo; PARs, MEX-5/6, and PIE-1 models
Here, we show that the multiple streams polarity dynamics of PARs, MEX-5/6, and PIE-1 in C. elegans embryo can be understood by our conceptional models. For this purpose, we first construct the phenomenological model of PARs, MEX-5/6, and PIE-1 based on biological data.
The MEX-5/6 model including PARs dynamics is considered to be the Type I model in our study. It has been found that MEX-5/6 exists as two diffusive types of slow and fast diffusions in the cytosol, and the conversion of diffusion type is regulated by phosphorylation and dephosphorylation via pPAR and aPAR dependent manners (Daniels et al. 2010; Wu et al. 2018). It has been suggested that the slow diffusive type of MEX-5/6 is converted to a fast diffusive type via pPAR-dependent phosphorylation, and a fast diffusive type of MEX-5/6 is converted to a slow diffusive type via aPAR-dependent dephosphorylation (Daniels et al. 2010; Hoege and Hyman 2013). The conceptional diagram for MEX-5/6 dynamics can be described as that shown in Fig. 1c (Type I) by replacing \(U_1\equiv \) pPARs with \(U_2\equiv \) aPARs. Thus, we can directly reconsider the MEX-5/6 model as the TFD model. By replacing u(x, t) and v(x, t) with \([P_m](x,t)\) and \([P_c](x,t)\), which are the concentrations of posterior PAR proteins in the membrane and cytosol, respectively, and \(w_s(x,t)\) and \(w_f(x,t)\) with \([M_s](x,t)\) and \([M_f](x,t)\), which are the concentrations of MEX-5/6 of slow and fast diffusive types, respectively, in the model (5) of TFD, we can directly formulate the PARs-MEX-5/6 model as follows.
We define \([M](x,t)=[M_s](x,t)+[M_f](x,t)\).
Next, we extend the PARs-MEX-5/6 model (11)–(12) with PIE-1 dynamics. PIE-1 is a cytoplasmic protein generating a polarity in the opposite side of MEX-5/6 polarity. Thus, PIE-1 creates in-phase polarity to posterior PAR polarity in contrast to MEX-5/6 which creates anti-phase polarity to posterior PAR polarity (Fig. 1a). PIE-1 is downstream of MEX-5/6, and thus PAR polarity, MEX-5/6 polarity, and PIE-1 polarity are related by upstream, midstream, and downstream dynamics (Fig. 4a). The underlying mechanism of PIE-1 forming a polarity is known to be based on conversion of diffusion type via a phosphorylation cycle regulated by MEX-5/6 concentration (Daniels et al. 2009; Wu et al. 2015, 2018). Wu et al. (2015, 2018) proposed that MEX-5/6 regulates the distribution of PIE-1 slow type particles, and PIE-1 mobility is proportional to MEX-5/6 concentration. Thus, we assume that the transit rate from the slow diffusive type to the fast-diffusive type of PIE-1 is proportional to MEX-5 concentration such that
where \(\gamma _1\) is a positive constant determining the transit rate. In contrast, Wu et al. (2018) found that the transition rate from the fast diffusive type to the slow diffusive type of PIE-1 increases from the anterior side (the side of high concentration of MEX-5/6) to the posterior side (the side of low concentration of MEX-5/6), and it becomes almost uniform in the spatially homogeneous state of MEX-5/6 concentration. Thus, we assume that the transition rate from the fast diffusive type to the slow diffusive type of PIE-1 decreases when MEX-5/6 increases and it becomes constant when MEX-5/6 is absent such that
where \(\gamma _2\) is the basal transition rate of PIE-1 from the fast to slow type, and \(\gamma _3\) is the inhibition rate by MEX-5/6. Hence, the two assumptions above lead to the following PIE-1 model.
where \([PI_s](x,t)\) and \([PI_f](x,t)\) are the concentrations of the slow and fast diffusive types of PIE-1.
We first found that the model of PARs, MEX-5/6, and PIE-1 (11)–(13) successfully forms anti-phase PIE-1 polarity with respect to the polarity peak of MEX-5/6 in the cytosol, which results in an in-phase relation with the polarity of PARs of the membrane (Fig. 4b).
Next, we investigate that the dynamics of PIE-1 can be considered as a type of TSD model with respect to PAR polarity via heuristic approximation. We show that PIE-1 dynamics can essentially be reconsidered as direct downstream dynamics of PARs (Fig. 4a). The numerical results of Fig. 2 show that stationary solutions exist for the system (11)–(12). Let us consider the stationary problem of the model (12) for sufficiently small \(D_s\) (i.e. \(D_s\rightarrow 0\)) such that
where \([\overline{P_m}]\), \([\overline{M_s}]\), and \([\overline{M_f}]\) are stationary solutions of the model (11). From Eq. (14), we obtain
with respect to the periodic boundary conditions. Thus, \([\overline{M_f}]\) should be a constant stationary solution. Let us denote it by \({M}_f^*\). Then, from (14), we have
Based on (15), we approximate the solution of the slow diffusive type of MEX-5/6 on \([0, L]\times (0,~\infty )\) to
Note that the approximation solution given by (16) coincides well with the original solution solved by (12) with respect to small \(D_s\) (Fig. 4c).
Now, let us substitute Eq. (16) into the PIE-1 model (13). We obtain the PIE-1 model including the direct interaction with PARs as follows.
p(u) and q(u) are given by
where \(A_0=\gamma _3 \mu _2 \delta _2 M_f^*/(\mu _1\delta _1+\mu _1\delta _1\gamma _3 M_f^*), ~A_1=1/\delta _1, ~A_2=\gamma _2/(1+\gamma _3 M_f^*), ~B_0=\gamma _1M_f^*, ~B_1=\mu _1, B_2=\mu _1\delta _1,\) and \(B_3=\gamma _1\mu _2\delta _2 M_f^*\).
Note that the model (17) is independent of MEX-5/6 and is directly described by PARs. Furthermore, we can simply show that p(u) is a monotonically increasing function of \(u(>0)\) for arbitrary positive parameters (check \(p'(u)>0\)). This implies that the upstream protein PAR activates the transiting effect of diffusive type of PIE-1 from fast to slow. In contrast, we can directly show that q(u) is a monotonically decreasing function of \(u(>0)\) for arbitrary positive parameters. This indicates that the upstream protein PAR inhibits the transiting effect of diffusive type of PIE-1 from slow to fast. That is, the model formulation (17) can be described as a type of TSD model. We confirm the model (17) with (11) in a numerical simulation, and Fig. 4d shows that PIE-1 forms in-phase polarity with respect to PAR polarity. We also confirmed that the PIE-1 solution of the reduced PIE-1 model (17) coincides with that of the full model (11)–(13) (Fig. 4e).
4 Mathematical analysis
4.1 Mathematically general property for in- and anti-phase of polarity in a cell
Considering the result of approximating MEX-5/6 model and PIE-1 model, we hypothesize that TFD and TSD models can be extended to a general type model without dependency of specific kinetic forms. From the simulation observations in the previous section, we found that the positioning (either anti-phase or in-phase) of downstream polarity to the upstream polarity is determined by either the transition of [Slow type \(\rightarrow \) Fast type] is activated and [Fast type \(\rightarrow \) Slow type] is inhibited by the upstream polarity protein (Fig. 5a), or the transition of [Fast type \(\rightarrow \) Slow type] is activated and [Slow type \(\rightarrow \) Fast type] is inhibited by the upstream polarity protein (Fig. 5b). In what follows, we show mathematically general property for anti-phase and in-phase with respect to a monotone increasing function p(u) (the activation effect by upstream polarity substrate) and a monotone decreasing function q(u) (the inhibition effect by upstream polarity substrate).
A general type model describing these properties can be given by
where u(x, t), v(x, t) are concentrations of upstream proteins, and \(w_s(x,t), w_f(x,t)\) are concentrations of downstream proteins. \(d_1, d_2, d_s, d_f\) represent diffusion coefficients of each protein and we suppose \(0<d_1\le d_2\) and \(0<d_s \le d_f\). Let f and g denote reaction terms for upstream proteins and downstream proteins, and we consider f and g are smooth functions. Applying variable conversion, we can put \(I:=[-L/2,L/2]\). This formulation makes our mathematical formulation be simpler, and the mathematical results hold without loss of generality, because we consider periodic boundary condition for (18).
If \((u,v,w_s,w_f)\) is solution to (18), it has conserved quantities independent of variable t, given by
The quantities \(\theta \) and \(\xi \) are the spatial averages of the upstream proteins and the downstream proteins, respectively. We can prove the first equation of (19) by applying differentiation under the integral sign and periodic boundary condition such that
Thus, \(\theta \) is constant. Similarly, we can prove the second equation of (19).
Note that the spatial averages are not unique pair of conserved quantities for Eq. (18) because \(c_1 \theta \) and \(c_2 \xi \) are also conserved quantities of (18), where \(c_1\) and \(c_2\) are arbitrary real numbers. Thus, we define the conserved quantity as a spatial average, without loss of generality in order for the mathematical analysis to be simpler.
In this section, we consider stationary solutions of the system (18) when (u(x, t), v(x, t)) converges to a stable non-constant stationary solution \((u^*(x),v^*(x))\); it corresponds to the condition that upstream proteins form a stable polarity pattern. In this case, Eq. (18) is transformed to
We apply variable conversion \(x \rightarrow x/\sqrt{d_f}\), then time evolution equation of \(w_s, w_f\) is given by
Now, we set \(D:=d_s/d_f\), and replace \(L/\sqrt{d_f}\) by L. Suppose that \((w_s^*, w_f^*)\) be a stationary solution of Eq. (20). Then, it satisfies
The third equation denotes a conserved quantity. \(\langle \phi \rangle \) means the spatial average, where
Our main mathematical result is the shape of stable non-constant solution of the system (21) and this result proposes that the polarity of downstream proteins is formed when the polarity of the upstream proteins is formed. Note that if \((u^*,~v^*)\) is unstable, then stationary solution \((u^*, v^*, w_s^*, w_f^*)\) for the system (18) becomes unstable. This is because the equation of u and v are independent of \(w_s\) and \(w_f\). Therefore, we here assume the existence and stability of non-constant stationary state \((u^*(x),v^*(x))\).
In what follows, we first introduce basic assumptions in the Sect. 4.2, and then explain the main results and proofs in the Sects. 4.3 and 4.4.
4.2 Basic assumptions
Let us first consider the system of only u and v as the following.
Assumption 1
Equation (22) has a stationary solution \(S(x)=(u^*(x),v^*(x))\), where \(u^*, v^*\) are smooth functions in I, and satisfy
- (i)
\(u^{*}(x)>0, v^{*}(x) > 0 \quad (x \in I)\)
- (ii)
\(u^{*}\) and \(v^{*}\) are strictly decreasing and increasing, respectively, in x for \(0<x<L/2\).
- (iii)
\(u^{*}\) and \(v^{*}\) are even periodic functions with period L.
First condition is very obvious, because \(u^*\) and \(v^*\) are concentrations of chemical substrates. Second condition assumes the shape of upstream polarity. Equation (22) is invariant under the transformation \(x \rightarrow -x\), thus we assume the condition (iii). We regard \(\theta \) as a parameter of solution, and denote \(S(x)=S(x;\theta )\).
Next, we assume the stability of S(x). Let us denote \({\mathcal {L}},~dom({\mathcal {L}})\), and \(\sigma ({\mathcal {L}})\) as linearized operators of the right hand side equations in (22) at S(x), domain of \({\mathcal {L}}\), and spectral set of \({\mathcal {L}}\).
From Assumption 1, S(x) is even periodic function on I. Then its derivative \(S_x(x)=(u^*_x(x),v^*_x(x))\) is odd periodic function on I. Accordingly, \(\int _{I}(u^*_{x}+v^*_{x})dx=0\). Moreover, substituting S(x) into the Eq. (22) and differentiating the equation by x, we obtain \({\mathcal {L}}S_x=0\). Therefore, 0 is eigenvalue of \({\mathcal {L}}\), and \(S_x\) is the corresponding eigenfunction. Note that \(S_{\theta }\) also satisfies \({\mathcal {L}}S_{\theta }=0\). However, \(S_{\theta } \notin dom({\mathcal {L}})\), because \(\int _{I}(u^*_{\theta }+v^*_{\theta })dx=L\). Therefore, \(S_{\theta }\) is not eigenfunction of \({\mathcal {L}}\).
Assumption 2
-
(i)
0 is simple eigenvalue of \({\mathcal {L}}\) with the eigenfunction \(S_x\).
-
(ii)
There exists some \(\delta >0\), such that \(\sigma ({\mathcal {L}}) \subset \{ \lambda \in {\mathbb {C}} ; Re(\lambda ) < -\delta \} \cup \{ 0 \}\), where \(Re(\lambda )\) denotes real part of \(\lambda \).
We only consider the case that upstream proteins generate a stable polarity, hence we assume the condition above. Mathematically, this assumption is sufficient condition that S(x) is stable except the translation.
Finally, we set the assumption for the mathematical condition of g.
Assumption 3
Let p and q be smooth functions, and suppose that p and q are strictly increasing and decreasing functions in \({\mathbb {R}}\). Moreover, we assume \(p(u)> 0, q(u)> 0 \quad (u > 0)\). We suppose g satisfies the condition (TFD) or (TSD).
(TFD) and (TSD) are corresponding to the general conditions for in-phase and anti-phase polarity.
In next subsection, we prove the existence of non-constant stationary solution of the system (20) under Assumptions 1 and 3. In what follows, we explain all proof under the case of (TFD) for simplicity and only remark the results for the case of (TSD), because we can prove the results for (TSD) by the same manner with (TFD).
4.3 The existence of non-constant stationary solutions
For the case of (TFD), the system (21) is given by
We consider the solution of the system (23) by \((w_s(x),w_f(x)){=}(w_s(x;\xi ), w_f(x;\xi ))\). Note that the general solution is represented by \((w_s(x;\xi ), w_f(x;\xi ))=\xi (w_s(x;1), w_f(x;1))\) if there exist a solution \((w_s(x;1), w_f(x;1))\) for \(\xi =1\), because every term in the left hand side of Eq. (23) is linear about \(w_s\) and \(w_f\). Therefore, we only need to consider the case of \(\xi =1\).
Taking the sum of first and second equations in the system (23), we obtain
Applying the indefinite integration with periodic boundary conditions, we obtain
where C is an integration constant. Taking the spatial average of the equation above, we obtain
because \(\langle w_s \rangle + \langle w_f \rangle =1\). Substituting C into (24), we obtain
Substituting \(w_s\) into the second equation of (23), we finally obtain the equation containing \(w_f\) only as the following.
where \(\rho (x):=D^{-1}p^*(x) + q^*(x)\ (0<D\le 1)\).
Theorem 4.1
Suppose Assumption 1 and (TFD) hold, then (25) has unique solution \((w_{f}^{*}, w_{s}^{*})\) satisfying the following (i)–(iii)
- (i)
\(w^*_f(x)> 0,\quad w_{s}^{*}(x) > 0 \qquad (x \in I)\).
- (ii)
\(w_f^*\) and \(w_s^*\) are even and periodic functions with period L.
- (iii)
\(w_{f}^{*}\) and \(w_{s}^{*}\) are strictly decreasing and increasing functions for \(x \in (0,L/2)\).
Moreover, we denote \(w^*(x):=w^*_f(x)+w^*_s(x)\) and suppose \(D\ne 1\), then \(w^*\) satisfies (i) and (ii), and \(w^*\) is strictly increasing function for \(x \in (0,L/2)\).
Remark 4.1
If we replace the condition (TFD) with (TSD) in Theorem 4.1, \(w_{f}^{*}\) and \(w_{s}^{*}\) are strictly increasing and decreasing in (0, L/2). Moreover, \(w^*\) is strictly decreasing in (0, L/2), for \(D\ne 1\).
Theorem 4.1(iii) proposes that the case of (TFD) makes anti-phase polarity and Remark 4.1 proposes that the case of (TSD) makes in-phase polarity.
Remark 4.2
From Theorem 4.1, (23) has a unique solution for any \(\xi \in {\mathbb {R}}\), and the solution is represented by \((w_s(x;\xi ), w_f(x;\xi )) = \xi (w^*_s(x), w^*_f(x))\). Therefore, if \(\xi >0\), then \(w_s\) and \(w_f\) also satisfy (i)\(\sim \)(iii).
First equation of (25) is linear integro-differential equation. One of the useful tools for solving this type equation is Sherman–Morrison–Woodbury’s formula (Wu 2016), and we can find a unique solution represented by
where
if \(c_f\ne 0\) and the inverse operator \({\mathcal {H}}^{-1}\) exists.
To justify above, we consider following equations under periodic boundary condition.
Lemma 4.1
Suppose Assumption 1 and (TFD) or (TSD) hold, then Eq. (26) has a unique solution under the periodic boundary condition.
Lemma 4.2
Suppose Assumption 1 and (TFD) hold, and let \(k^{*}\) be a solution of Eq. (26) under periodic boundary condition, then \(k^{*}\) satisfies
- (i)
\(k^{*}\) is even periodic function with period L,
- (ii)
\(k^{*}\) is strictly decreasing function in (0, L/2),
- (iii)
\(0< k^{*}(x) < D \qquad (x \in I)\).
We prove these lemmas in “Appendix D”.
Proof of Theorem 4.1
Following Lemmas 4.1 and 4.2, \(k^*\) is represented by \(k^{*}={\mathcal {H}}^{-1}(-p^{*})\), and from (iii) of Lemma 4.2, the constant \(c_f\) is estimated by
Consequently, \(c_f \ne 0\). Thus, we can apply Sherman–Morrison–Woodbury formula for (25) and obtain
Due to Lemma 4.2, \(k^{*}\) is positive and strictly decreasing function, and \(D-(1-D)\langle k^{*}\rangle > D^2\), because of \(\langle k^* \rangle <D\). Thus, \(w_f^*\) and \(w_s^*\) satisfy (i)\(\sim \)(iii). Moreover, we can prove that \(w^*\) satisfies same properties of \(w_s^*\) with same manners, when \(0<D<1\) . Therefore, the theorem is proved. \(\square \)
Remark 4.3
Let us define \(w(x;\xi ):=w_s(x;\xi )+w_f(x;\xi )\). From Theorem 4.1, we directly obtain that w is strictly increasing function in (0, L/2) if \(\xi >0\) and \(D<1\). This implies that w is anti-phase with respect to \(u^*\). However, if \(D=1\), then w becomes a constant function. Thus, the polarity in the down-stream is not formed, although each \(w_s\) and \(w_f\) forms a polarity as shown in Fig. 6. This result proves that the difference of diffusion coefficients causes the polarity of the total concentration of downstream proteins.
4.4 The stability of the solution of Eq. (18)
In this subsection, we prove the stability of stationary solutions of the system (18) given by \(\widetilde{S}:=(u^*,v^*,w_s^*,w_f^*)\). Let \(\widetilde{{\mathcal {L}}}\), \(dom(\widetilde{{\mathcal {L}}})\) and \(\lambda \) be linearized operators of the right hand side of the system (18) at \(\widetilde{S}\), domain of \(\widetilde{{\mathcal {L}}}\), and eigenvalue of \(\widetilde{{\mathcal {L}}}\).
We can find that \(\widetilde{S}_x\) is the eigenfunction of \(\widetilde{{\mathcal {L}}}\) associated with 0 in the similar way with \({\mathcal {L}}\).
Lemma 4.3
0 is simple eigenvalue of \(\widetilde{{\mathcal {L}}}\) with the eigenfunction \(\widetilde{S}_x\).
Proof
Let \(Ker(\widetilde{{\mathcal {L}}})\) be kernel space of \(\widetilde{{\mathcal {L}}}\). Because 0 is simple eigenvalue of \({\mathcal {L}}\) from Assumption 2, any \(\varvec{\Phi } \in Ker(\widetilde{{\mathcal {L}}})\) is given by \((0,0,\phi ,\psi )\) or \((u_x,v_x,\phi ,\psi )\) up to scale, where \(\phi \) and \(\psi \) are some functions with \((\phi , \psi ) \in X\). If we choose \(\varvec{\Phi }=(0,0,\phi ,\psi )\), then \((\phi ,\psi )\) satisfies Eq. (23) with \(\langle \phi \rangle + \langle \psi \rangle =0\). From Remark 4.2, \(\phi =\psi =0\). Therefore we consider the case of \(\varvec{\Phi }=(u_x,v_x,\phi ,\psi )\) only. Suppose \(\varvec{\Phi _1}, \varvec{\Phi _2} \in X \times X\) are represented by
up to scale. Substituting them into (27), each equation of \((\phi _1,\psi _1)\) and \((\phi _2, \psi _2)\) is given to
Taking the differences between each first equation of (28) and (29), and between each second equation of (28) and (29), we obtain
where \(\widetilde{\phi }:=\phi _1-\phi _2\), \(\widetilde{\psi }:=\psi _1-\psi _2\). Due to \((\widetilde{\phi }, \widetilde{\psi }) \in X\), then \(\widetilde{\phi }\) and \(\widetilde{\psi }\) are solutions of (23) with \(\xi = 0\). Thus, \(\widetilde{\phi }\equiv 0, \widetilde{\psi } \equiv 0\) from Remark 4.2. Consequently, we obtain \(\varvec{\Phi _1} = \varvec{\Phi _2}\). This means any eigenfunction associated with 0 is given by \(\widetilde{S}\) up to scale. Moreover, suppose that there is function \(\varvec{\Psi } \in X \times X\) such that \(\widetilde{{\mathcal {L}}}\varvec{\Psi }=\varvec{\Phi }\), then 0 is not eigenvalue of \({\mathcal {L}}\). This is contradiction because of Assumption 2. Therefore, 0 is simple eigenvalue of \(\widetilde{{\mathcal {L}}}\). \(\square \)
Next, we prove there exist no eigenvalue with positive real part. For the proof, we have referred the mathematical technique in Lemma 2.5 of Bates and Chen (2002), Protter and Weinberger (1984).
Theorem 4.2
Any eigenvalue of \(\widetilde{{\mathcal {L}}}\) has a negative real part except for 0. Moreover, there is no pure imaginary eigenvalue of \(\widetilde{{\mathcal {L}}}\).
Proof
(Case 1) The case that \(\lambda \) is complex number.
Suppose that \(\lambda =a + b\sqrt{-1}\)\((a \ge 0, b \ne 0)\) is eigenvalue of \(\widetilde{{\mathcal {L}}}\), and we will show a contradiction. From Assumption 2, \(\lambda \) is not eigenvalue of \({\mathcal {L}}\). Then, the eigenfunction \(\varvec{\Phi }\) is given by \(\varvec{\Phi }(x)=^{T}(0,0,\phi _1(x),\phi _2(x))\). Substituting \(\varvec{\Phi }\) into Eq. (27), we obtain
where \((\phi _1(x),\phi _2(x))=(\varphi _1(x),\varphi _2(x))+ \sqrt{-1}(\psi _1(x),\psi _2(x))\) and each of \(\varphi _1,\varphi _2, \psi _1, \psi _2\) is real valued function. Let \(\Xi (x,t)\) be given function as follows.
then, \(\Theta (x,t)\) satisfies
Next, let \(\tau _1\) and \(\tau _2\) be
where \(\tau _1>0\) or \(\tau _2>0\), because \(w_s^*, w_f^*>0\) and \(\phi _1 \not \equiv 0\) or \(\phi _2 \not \equiv 0\). We consider the case \(\tau _1 \ge \tau _2\). From the definition of \(\tau _1\), there exist \(x_0 \in I\) such that \(\tau _1 w_{s}^{*}(x_0) = |\phi _1(x_0)|\).
We define \(W(x):=^{T}(w_{s}^{*}(x),w_{f}^{*}(x))\) and let V(x, t) be the function given by
From \(\tau _1 \ge \tau _2\) and \(\Theta (x,t)\) satisfies (31), V satisfies \(V(x,t) \ge 0 \ (x \in I, t>0)\) and \(V(x,0) \not \equiv 0\) hold. Moreover,
Therefore, applying strong comparison principle (Protter and Weinberger 1984), we obtain \(V(x,t)> 0\ (x\in I, t>0)\). However, in the first component of \(\Theta (x,t)\), there exists \(t_0>0\), such that
Then, we obtain
This is contradiction. We can prove in the case \(\tau _1 \le \tau _2\) by similar manner, thus \(\lambda \) is not eigenvalue.
(Case 2) The case that \(\lambda \) is real number.
Suppose that \(\lambda >0\) is real eigenvalue of \(\widetilde{{\mathcal {L}}}\), we will show a contradiction. In the same way of (Case 1), the corresponding eigenfunction is given by \((0,0,\varphi _1(x),\varphi _2(x))\). In here, \(\varphi _1, \varphi _2\) are real valued functions and let us suppose that there exist some \(x^* \in I\), such that \(\varphi _1(x^*)>0\) or \(\varphi _2(x^*)>0\).
Next, let \(\tau _1\) and \(\tau _2\) be
where \(\tau _1>0\) or \(\tau _2>0\), because \(w_{s}^{*},w_{f}^{*}>0\). Now, we consider the case \(\tau _1 \ge \tau _2\), and let us define a function V(x) as follows.
where \(v_1(x) \ge 0\) and \(v_2(x) \ge 0 \ \ (x \in I)\). From the definition of \(\tau _1\), there exist \(x_0\in I\), such that \(v_1(x_0) = 0\). Moreover, it is hold that
For the first component of above equation at \(x=x_0\), we obtain
because \(v_1\) takes minimal value 0 at \(x=x_0\). This is contradiction. Similarly, we can also prove for the case of \(\tau _1 \le \tau _2\). Therefore, \(\lambda \) is not eigenvalue.
From (Case1) and (Case2), the theorem is proved. \(\square \)
5 Discussion
In the past decade, both theoretical and experimental approaches for elucidating polarity formation in a single cell have been extensively explored (Knoblich 2008; Otsuji et al. 2007; Mori et al. 2011; Hoege and Hyman 2013; Trong et al. 2014; Seirin-Lee and Shibata 2015; Seirin-Lee 2016; Campanale et al. 2017; Kuwamura et al. 2018). However, most studies have focused on the polarity occurring in the cell membrane, and the cytoplasmic polarity has been poorly understood. In this study, we focused on finding an essential mechanism of cytoplasmic polarity and polarity positioning between membrane and cytoplasmic proteins, a phenomenon that is motivated by asymmetric cell division of C. elegans embryo. We devised a conceptional model for downstream polarity formation with respect to upstream polarity formation by capturing the essential dynamics of proteins in C. elegans embryo upstream of membrane protein (PARs) and downstream of cytosol proteins (MEX-5/6 and PIE-1). Using the conceptional model, we found a general mechanism by which the proteins upstream of membrane proteins determine the relative downstream position of cytosol proteins. Especially, we found that the mechanism for the downstream polarity to be in an anti-phase pattern is based on the transitional regulation such as activation from slow type to fast type and the inhibition from fast type to slow type by an upstream polarity substrate (TFD model). In contrast, the mechanism for the downstream polarity to be in an in-phase pattern involves the reverse regulation of the anti-phase mechanism (TSD model). This result shows that the mechanism for the fast/slow type transition to be promoted plays a key role in inducing anti-phase/in-phase polarity. We also found that these mechanisms are mathematically generalized and confirmed that they hold under some general mathematical conditions.
For generating downstream polarity, we found that both establishment and maintenance of upstream polarity are indispensable and that a proper proportion of conversion rates is essential. These results imply that the heterogeneous transition of diffusive type of downstream proteins is important for downstream polarity (Wu et al. 2018). Indeed, our mathematical analysis shows that there exists a non-constant solution of downstream proteins under these conditions (Assumptions 1). In addition, we also numerically found and mathematically confirmed that the difference in diffusion rates between the fast type and slow type transition is indispensable. In this case, downstream polarity does not appear, although the fast type and slow type transitions generate clear polarities (Remark 4.3). In contrast, from the comparison of numerical results between TFD and TSD models for the parameter spaces (the difference of diffusion rates between fast type and slow type and the balance of conversion rates) with respect to the existence of downstream polarity, we found that the parameters do not affect the location of downstream polarity. Indeed, our mathematical proof does not require a different set of conditions for the TFD and TSD models (Lemma 4.1). From these results, we conclude that the mathematical structure to form the downstream polarity itself is independent of the details of the mechanism of polarity location, and the polarity positioning can be completely determined by the properties of regulation by upstream protein on the downstream protein.
Finally, we constructed phenomenological models for the polarity proteins, PARs, MEX-5/6, and PIE-1, in C. elegans and confirmed that the multiple streams polarity dynamics in C. elegans can be understood by our two conceptional models. This implies that the mechanism for the relative positioning between upstream and downstream polarity which we found here may become a general mechanism to explain the position of multiple streams of polarity dynamics in asymmetric cell division. Furthermore, our mathematical analysis under general conditions suggests that such a mechanism can be understood without specific bio-chemical reactions or phenomena and thus can be a universal mechanism for polarity positioning without the requirement of cell specification.
References
Bates PW, Chen F (2002) Spectral analysis and multidimensional stability of traveling waves for nonlocal Allen–Cahn equation. J Math Anal Appl 273:45–57
Campanale JP, Sun TY, Montell DJ (2017) Development and dynamics of cell polarity at a glance. J Cell Sci 130:1201–1207
Cuenca AA, Schetter A, Aceto D, Kemphues K, Seydoux G (2002) Polarization of the C. elegans zygote proceeds via distinct establishment and maintenance phases. Development 130:1255–1265
Daniels BR, Perkins EM, Dobrowsky TM, Sun SX, Wirtz D (2009) Asymmetric enrichment of pie-1 in the Caenorhabditis elegans zygote mediated by binary counterdiffusion. J Cell Biol 184(4):473–479
Daniels BR, Dobrowsky TM, Perkins EM, Sun SX, Wirtz D (2010) Mex-5 enrichment in the C. elegans early embryo mediated by differential diffusion. Development 137:2579–2585
Dunford N, Schwartz JT (1988) Liner operators, partii, spectral thoery, self adjoint operators in Hilbert space. Wiley, New York
Goehring NW, Hoege C, Grill SW, Hyman AA (2011) PAR proteins diffuse freely across the anterior–posterior boundary in polarized C. elegans embryos. J Cell Biol 193(3):583–594
Gönczy P (2005) Asymmetric cell division and axis formation in the embryo. WormBook.org, https://doi.org/10.1895/wormbook.1.30.1
Griffin EE, Odde DJ, Seydoux G (2011) Regulation of the MEX-5 gradient by a spatially segregated kinase/phosphatase cycle. Cell 146:955–968
Hoege C, Hyman AA (2013) Principles of PAR polarity in Caenorhabditis elegans embryos. Mol Cell Biol 14:315–322
Jilkine A, Edelstein-Keshet L (2011) Development and dynamics of cell polarity at a glance. PLoS Comput Biol 7:e1001121
Knoblich JA (2008) Mechanisms of asymmetric stem cell division. Cell 132:583–597
Kuhn T, Ihalainen TO, Hyvaluoma J, Dross N, Willman SF, Langowski J, Vihinen-Ranta M, Timonen J (2011) Protein diffusion in mammalian cell cytoplasm. PLoS ONE 6(8):e22962
Kuwamura M, Seirin-Lee S, Ei S-I (2018) Dynamics of localized unimodal patterns in reaction–diffusion systems related to cell polarization by extracellular signaling. SIAM J Appl Math 78(6):3238–3257
Mori Y, Jilkine A, Edelstein-Keshet L (2008) Wave-pinning and cell polarity from a bistable reaction–diffusion system. Biophys J 94:3684–3697
Mori Y, Jilkine A, Edelstein-Keshet L (2011) Asymptotic and bifurcation analysis of wave-pinning in a reaction–diffusion model of cell polarization. SIAM J Appl Math 71:1401–1427
Motegi F, Seydoux G (2013) The PAR network: redundancy and robustness in a symmetry-breaking system. Philos Trans R Soc B 368:20130010
Ogiwara T (2014) Convergence results in order-preserving dynamical systems and applications to a molecular motor system (nonlinear partial differential equations, dynamical systems and their applications). RIMS Kokyuroku 1881:43–56
Otsuji M, Ishihara S, Co C, Kaibuchi K, Mochizuki A, Kuroda S (2007) A mass conserved reaction–diffusion system captures properties of cell polarity. PLoS Comput Biol 3(6):e108
Protter MH, Weinberger HF (1984) Maximal principles in differential equaitons. Springer, New York
Seirin-Lee S (2016) Positioning of polarity formation by extracellular signaling during asymmetric cell division. J Theor Biol 400:52–64
Seirin-Lee S, Shibata T (2015) Self-organization and advective transport in the cell polarity formation for asymmetric cell division. J Theor Biol 382:1–14
Tenlen JR, Molk JN, London N, Page BD, Priess JR (2008) Mex-5 asymmetry in one-cell C. elegans embryos requires par-4- and par-1-dependent phosphorylation. Development 135:3665–3675
Trong PK, Nicola EM, Goehring NW, Kumar KV, Grill SW (2014) Parameter-space topology of models for cell polarity. New J Phys 16:065009
Wu F (2016) Sherman–Morrison–Woodbury formula for linear integrodifferential equations. Math Probl Eng 2016:9418730
Wu Y, Zhang H, Griffin EE (2015) Coupling between cytoplasmic concentration gradients through local control of protein mobility in the Caenorhabditis elegans zygote. Mol Biol Cell 17:2963–2970
Wu Y, Han B, Li Y, Munro E, Odde DJ, Griffin EE (2018) Rapid diffusion-state swithing unddelies stable cytoplasmic gradients in Caenorhabditis elegans zygote. PNAS 115(36):E8440–E8449
Acknowledgements
This work was supported by a Grant-in-Aid for Scientific Research from the Ministry of Education, Culture, Sports, Science and Technology, Japan, to S.S.L. (JP19H01805 and JP17KK0094) and by the JST PRESTO, Japan, to S.S.L. (JPMJPR16E2) and JST CREST (JPMJCR14D3), Japan to S-I.E.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix
A: Reduction to self-recruitment model
One-dimensional \((U_1, V_1)\) and \((U_2, V_2)\) polarity model (Seirin-Lee and Shibata 2015) is given to
where
We assume that the polarity of \(U_1\) and \(U_2\) in the membrane is established from the initial situation where \(U_2\) is distributed uniformly in the membrane, in which a small amount of \(U_1\) invades at some point of the membrane from the cytosol. We assume sufficiently fast diffusion in the cytosol so that the concentration of \(V_1\) and \(V_2\) are quickly homogeneous and keep an equilibrium state (denoted by \(v_1^*\) and \(v_2^*\), respectively). This assumption can be rewritten as the following mathematical conditions:
Using Taylor expansion, we can approximate \(f_2(u_1)\) such that
where \(\bar{\beta }=\bar{K}_1/\bar{K}\). Substituting (34) into Eq. (33), we obtain
where \(\delta _1=\bar{\beta }/\bar{\alpha }\) and \(\delta _2=\bar{\gamma } v_2^*/\bar{\alpha }\). Then, we have
where \(\beta _1=\frac{2 \delta _1 K}{\delta _2^2}/\left( 1+\frac{K}{\delta _2^2}\right) \) and \(\beta _2=K_1/\left( 1+\frac{K}{\delta _2^2}\right) \).
Now, we substitute (36) into the equation of \((u_1, v_1)\) in (32), then the self-recruitment model is given to
In addition, from Eq. (35), G(x, t) in Type I and II is given to
Note that the reduction has been carried under the assumption of \(|u_1(x, t)| \ll 1\). However, we have found that the polarity dynamics in the reduced model is essentially similar with the original model as shown in Fig. 2.
B: Initial conditions and detailed parameters for simulations
In this paper, we used a local concentration type, which represents that a cell polarity starts with an auxiliary mechanism in a cell or by a strong external stimulation, such as an invasion of sperm in C. elegans embryo cell, in which the anterior protein initially dominates a whole membrane and the posterior protein is distributed only in the cytosol (Gönczy 2005). Thus, we give the initial condition for \(U_1\) or U such that
where \(u_0\) is given, and for the other substrates, for example v, such that
where \(v_0\) is a homogeneous steady states obtained from the model equation with a given \(u_0\) and \(\phi _c(x)\) are perturbation functions and we take \(\epsilon \) in [0.001, 0.01].
For simulations, we chose parameter values for spatial size, time scale and diffusion coefficients based on the experimental data from the C. elegans embryo (Goehring et al. 2011; Daniels et al. 2009; Wu et al. 2018). The representative parameter set is given in Table 2 and the detailed parameter values used in each figure are given below.
Figure 2 (A) \(u_{10}=0.26, ~u_{20}=0.56, ~w_{f0}=0.4, ~K_1=1.2, ~\bar{K}_1=5.2,~K=0.8,~\bar{K}=1.25, ~\alpha =0.06, ~\bar{\alpha }=0.06,~\gamma =0.2,~\bar{\gamma }=0.2\) for both I and Type II. \(\mu _1=1.0,~\mu _2=0.2\) for Type I and \(\mu _1=1.0,~\mu _2=1.0\) for Type II. (B) \(u_{0}=0.26, ~w_{f0}=0.4, ~\beta _1=4.5,~\beta _2=4.0,~\alpha =0.06, ~\gamma =0.2\) for both TFD and TSD. \(\mu _1=1.0,~\mu _2=0.2, \delta _1=0.5, \delta _2=10.0\) for TFD and \(\mu _1=0.1,~\mu _2=1.0, \delta _1=0.5, \delta _2=10.0\) for TSD.
Figure 3 (A) Same parameter values with Fig. 2(B) TFD except for \(u_{0}=0.16\). (B) Same parameter values with Fig. 2(B) TFD except for \(u_{0}=0.56\) and \(D_m=D_f=2.40 \times 10^{-5}\). (C–D) \(u_{0}=0.56, ~w_{f0}=0.4, ~\beta _1=4.5,~\beta _2=4.0,~\alpha =0.06, ~\gamma =0.2, \delta _1=0.5, \delta _2=10.0\).
Figure 4 (B) \([P_{m}]_0=0.56, ~[M_{f}]_0=0.4,~[PI_f]_0=1.0, ~\beta _1=4.5,~\beta _2=4.0,~\alpha =0.06, ~\gamma =0.2, \delta _1=0.5, \delta _2=10.0, \mu _1=1.0,~\mu _2=0.2, \gamma _1=1.0,~\gamma _2=5.0, \gamma _3=5.0.\) (C) The case of Ca: Same parameter values with (B). The case of Cb: Same parameter values with (B) except for \(D_s\). \(M_f^*\) was found by calculating the model (11)–(12) with sufficiently large \(D_f\) and \(D_s=0\), and we obtained spatially homogeneous solution about \(M_f^*=0.19209\). (D) Same parameter values with (B). (E) Same parameter values with (B) except for \(D_s\). \(M_f^*=0.19209\).
C: Additional figures
Figure 6 shows that the concentration W shows homogeneous state although \(W_s\) and \(W_f\) generate clear polarities when there is little difference in diffusion rates between \(D_s\) and \(D_f\).
D: Proof of Lemmas 4.1 and 4.2
1.1 D.1: Proof of Lemma 4.1
(Uniqueness.) Suppose that \(k_1\) and \(k_2\) are solutions of (26). Substituting each of \(k_1\) and \(k_2\) to (26), and taking the difference between each equation, we obtain
where \(\tilde{k}:=k_1-k_2\). Multiplying both side of above equation by \(\tilde{k}\), and integrating it for the interval I, we obtain
accordingly, \(\tilde{k}\equiv 0\), then \(k_1 = k_2\). This means the uniqueness of solutions.
(Existence) By the uniqueness of solution, if the solution exists, it must be even function and satisfies \(\dfrac{dk^*}{dx}(0)=\dfrac{dk^*}{dx}(\pm L/2)=0\). Thus, we consider the existence of solution for the equation as follows.
where \(I_{+}:=(0,L/2)\), \({\mathcal {H}}:=\dfrac{d^2}{dx^2} -\rho (x)\). This equation is Sturm–Liouville equation and any eigenvalue of \({\mathcal {H}}\) is real number. Let \(\lambda _0\) be maximal eigenvalue of \({\mathcal {H}}\) and \(\Phi \) be the eigenfunction associated with \(\lambda _0\), then \(\lambda _0\) is given by (Dunford and Schwartz 1988).
because \(\rho >0\). This means 0 is element of the resolvent set of \({\mathcal {H}}\), then there exists inverse operator \({\mathcal {H}}^{-1}\), therefore (37) has a unique solution \(k_N\). Now, we let \(k^*\) given function as follows.
It is clear that \(k^{*}\) is solution of (26). Therefore, the existence of solution is proved. \(\square \)
Remark
When we suppose Assumption 1 and 3, Eq. (21) can be written as the following
This equations have a conserved quantity and the comparison principle is holed under the periodic boundary conditions (Protter and Weinberger 1984). Thus, we can also directly prove the existence and uniqueness of the stationary solutions of Eq. (38) from the result of Ogiwara (2014) in which more general type of equations was considered.
1.2 D.2: Proof of Lemma 4.2
Proof of (i) is already done in the proof of Lemma 4.1, then we prove (ii) and (iii).
(Proof of (ii)) First, we prove \(\dfrac{dk^{*}}{dx}(x) \le 0\ (x \in I_{+})\). Suppose \(k^*\) doesn’t satisfy this condition, and we will show a contradiction. By Lemma 4.1, the derivative of \(k^{*}\) takes 0 at \(x=0, K/2\). Then there exist \(x_1 \in I_{+}\) and positive constant \(\delta _1=\delta _1(x_1)\), such that
where \(I_{\delta }:=(x_1, x_1+\delta )\) for \(\delta > 0\). In the view of (26),
therefore, \(k^{*}(x)<\tilde{\rho }(x) \ (x \in I_{\delta _1})\). From Assumption 1 and (TFD), \(\tilde{\rho }\) is strictly decreasing function in \(I_{+}\), then \(k^{*}(x)<\tilde{\rho }(x_1)\ (x \in I_{\delta _1})\). However, due to (39), there exists a constant \(\delta _2=\delta _2(x_1)>0\), such that
Let \(\delta _3 := \mathrm{min} \{ \delta _1, \delta _2 \}\), then \(k^{*}(x) < \tilde{\rho }(x_1)\) and \(k^{*}(x)>\tilde{\rho }(x_1)\quad (x \in I_{\delta _3})\). This is contradiction, then \(\dfrac{dk^{*}}{dx}(x) \le 0\ (x \in I_{+})\). This means \(k^*\) is decreasing function for \(x \in I_{+}\).
Next, we prove that \(k^*\) is strictly increasing in \(I_{+}\). Suppose \(k^*\) doesn’t satisfy it, then there exists open interval \((a,b) \subset I_{+}\), such that \(\dfrac{dk^{*}}{dx}(x)=0\) for \(x \in (a,b)\). Therefore \(k^*\) is constant in (a, b), then \(\dfrac{d^2 k^{*}}{dx^2}(x) = 0\). In view of (40), \(k^{*}(x)=\tilde{\rho }(x)\) for \(x \in (a,b)\), then \(\tilde{\rho }(x)\) is constant in (a, b). This is contradiction.
(Proof of (iii)) Due to Lemma 4.2, \(k^{*}\) is even and strictly decreasing function in I and \(I_{+}\), then we only have to prove that \(k^*(0)<D, k^*(K/2)>0\). Because \(k^{*}\) takes maximum at \(x=0\), \(\dfrac{d^2k^{*}}{dx^2}(0)\le 0\) and \(k^{*}(0) \le \tilde{\rho }(0)<D\), due to (40). It is proved that \(k^*(K/2)>0\) by same manners. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Seirin-Lee, S., Sukekawa, T., Nakahara, T. et al. Transitions to slow or fast diffusions provide a general property for in-phase or anti-phase polarity in a cell. J. Math. Biol. 80, 1885–1917 (2020). https://doi.org/10.1007/s00285-020-01484-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00285-020-01484-z