Introduction

Membrane deformation is a fundamental biological process involved in many cellular functions such as vesicular transport1, cell division2, and cell motility3. To understand these phenomena, the mechanism of membrane deformation by intracellular proteins has been investigated in detail4,5,6,7,8. Recently, it has been shown that the deformation of biological membranes is not just a passive phenomenon but also plays physiological roles8,9,10,11,12,13,14,15. For example, membrane curvature induces localization of membrane proteins in highly curved domains9 and phase separation of lipid membranes10,11,12. This clustering can lead to the emergence of lipid rafts, which are believed to play important roles in cell signaling and membrane trafficking12,13,16. Membrane binding by curvature-inducing proteins that are involved in vesicular transport is also regulated by membrane curvature and by various proteins7,17,18. For example, recruitment of curvature-inducing protein FBP17, involved in endocytosis, onto the membrane is regulated by the local membrane curvature, membrane tension, and endocytic proteins17,18,19. This mechanism is suggested to play important roles in cell polarization19, endocytosis20, and cell division21.

To understand pattern formation on curved surfaces, several types of studies have been conducted22,23,24,25,26,27,28,29,30,31,32. One typical approach is to analyze pattern formation at thermal equilibrium based on phase separation22,23,24,25,26. This type of study has shown that membrane shapes and domain patterns of equilibrium states are affected by the line tension of domain boundaries, bending rigidity, and local curvatures22,23,24,25,26. Such studies have successfully described the experimentally observed patterns of multi-component lipid vesicles. However, studies pertaining to kinetics are limited to the dynamics of relaxation toward an equilibrium state22,23,24,25,26,31,33.

Most of previously conducted theoretical and numerical studies have examined only the effects of protein binding; however, in living cells, it is known that many proteins typically work in concert to regulate biological functions. Propagation waves in membranes are often observed during cell migration, spreading, growth, or division34,35,36,37,38,39,40,41. Such waves and chemical patterns can be reproduced through activator-inhibitor systems of reaction–diffusion models42. The reaction–diffusion system was first proposed by Turing to describe the symmetry breaking of morphogenesis43, and has been applied to curved surfaces such as animal skins and tissues44,45,46. These studies have shown that geometry affects pattern formation and domain localization29; however, the conclusions of such studies are limited by the fact that the surface shape is fixed, although the effects of size increase have been investigated27,28. Recently, the propagating waves of F-BAR protein and actin growth have been explained by the reaction–diffusion systems of five chemical reactants on a quasi-flat membrane18. As large membrane deformations caused by the coupling of curvature and reaction–diffusion systems have not yet been studied41, the effects of membrane deformation on reaction–diffusion systems have not been elucidated.

In this study, we investigated the coupling effects between membrane deformation and reaction–diffusion systems by simulating vesicle deformation through curvature-inducing proteins and also chemical reactions using a reaction–diffusion model. Our model accounts for the mechanochemical feedback between membrane curvature and protein concentration. We employed a dynamically triangulated surface model to represent the membrane and calculated the curvature energy to solve the membrane deformation dynamics47,48,49. We employed the Brusselator model50, one of the simplest reaction–diffusion systems, modifying it to include the mechanochemical feedback from membrane curvature. As the dynamics of a non-deformable surface are well understood, we were able to analyze the evident membrane-deformation effects. We describe how this coupling changes the vesicle shape and pattern formation.

Results

Reaction–diffusion model and stability analysis

A two-dimensional reaction–diffusion system with two reactants is written as \(\tau \frac{\partial u}{{\partial t}} = D_{u} \Delta u + f\left( {u,v} \right)\;{\text{and}}\;\tau \frac{\partial v}{{\partial t}} = D_{v} \Delta v + g\left( {u,v} \right),\) where \(\tau \) is a time constant, \({D}_{u}\) and \({D}_{v}\) are diffusion coefficients of reactants \(u\) and \(v\), and \(\Delta \) is a two-dimensional Laplace–Beltrami operator. In this study, we consider the Brusselator model, which is described by the reaction scheme below:

$$ \begin{aligned} & A \to u \\ & B + u \to v \\ & 2u + v \to 3u \\ & u \to E. \\ \end{aligned} $$

The reaction equations are given by \(f\left(u,v\right)=A-\left(B+1\right)u+{u}^{2}v\) and \(g\left(u,v\right)=Bu-{u}^{2}v,\) where \(A\) and \(B\) are positive parameters50.

In the coupling of the reaction–diffusion system with the change in membrane curvature, \(u\) represents the local area fraction covered by curvature-inducing binding proteins on the membrane \(\left(u\in \left[\mathrm{0,1}\right]\right),\) and \(v\) is the concentration of a protein to regulate the protein binding. The free energy in relation to curvature is expressed as \({F}_{\mathrm{cv}}=\int {f}_{\mathrm{cv}}dS,\) with

$$ \begin{array}{*{20}c} {f_{{{\text{cv}}}} = \left( {1 - u} \right)\frac{{\kappa_{0} }}{2}\left( {2H} \right)^{2} + u\frac{{\kappa_{1} }}{2}\left( {2H - C_{0} } \right)^{2} ,} \\ \end{array} $$
(1)

where \({\kappa }_{0}\) and \({\kappa }_{1}\) represent the bending rigidity without or with the bound proteins, respectively; \({C}_{0}\) is the spontaneous curvature; \(S\) is the surface area; and \(H\) is the mean curvature, \(H=\left({C}_{1}+{C}_{2}\right)/2,\) where \({C}_{1}\) and \({C}_{2}\) are two principal curvatures. The corresponding curvature term \({A}^{^{\prime}}\) is added to the reaction equation \(\left(u,v\right);\) thus the reaction–diffusion equations are written as

$$ \begin{array}{*{20}c} {\tau \frac{\partial u}{{\partial t}} = D_{u} \Delta u + \frac{{A + A^{\prime}}}{{k_{u} }} - \left( {B + 1} \right)u + k_{u} u^{2} v\;{\text{and}}\;A^{\prime} = - G\frac{{\partial f_{{{\text{cv}}}} }}{\partial u},} \\ \end{array} $$
(2)
$$ \begin{array}{*{20}c} {\tau \frac{\partial v}{{\partial t}} = D_{v} \Delta v + Bk_{u} u - k_{u}^{2} u^{2} v,} \\ \end{array} $$
(3)

where \(G\) is the mechanochemical feedback magnitude of the reaction (\(G\ge 0\)), and \({k}_{u}\) is a normalization factor expressed as \({k}_{u}u,\) used to obtain Turing and oscillation phases at \(u\in \left[\mathrm{0,1}\right].\) To maintain \(0\le u\le 1,\) \(u\) is restricted between the lower and upper bounds: it is set to \(u=0\) or \(u=1\) when the time evolution of Eq. (2) crosses those bounds. The first reaction becomes \(A + A^{\prime} \to u,\) which can be considered to represent the binding of protein \(u\) from the solution surrounding the membrane. Thus, the binding of \(u\) is enhanced at a membrane curvature \(H\simeq {C}_{0}/2,\) where \(\frac{\partial {f}_{\mathrm{cv}}}{\partial u}<0\) so that \(A^{\prime} > 0.\) On the other hand, the time evolution of \(v\) is not directly dependent on the local membrane curvature. Note that the mixing-entropy term of the protein concentration is not accounted to reproduce the normal Brusselator dynamics when the membrane shape is fixed. In this study, we use \(A=4.5,\) \(B=2.02,\) \(\eta =\sqrt{{D}_{u}/{D}_{v}}=0.1,\) and \({k}_{u}=4.52\) for all simulations.

Based on the linear stability analysis around the fixed point, \(\left({u}_{\mathrm{s}}, {v}_{\mathrm{s}}\right)=\left(\left(A+{A}^{^{\prime}}\right)/{k}_{u}, B/\left(A+{A}^{^{\prime}}\right)\right)\)51, the conditions for Hopf and Turing bifurcations with a membrane curvature effect A′ on a fixed spherical surface are \(B > 1 + \left( {A + A^{\prime}} \right)^{2}\) and \(B > \left( {1 + \left( {A + A^{\prime}} \right)\eta } \right)^{2} ,\) respectively; and temporal oscillations and spatial patterns appear above these. The membrane curvatures for Hopf and Turing bifurcations are given below, respectively:

$$\begin{array}{c}2\left(A-\sqrt{B-1}\right)<G{H}^{2}{E}_{\mathrm{cv}}\;{\mathrm {and}},\end{array}$$
(4)
$$\begin{array}{c}2\left(A+\left(1-\sqrt{B}\right)/\eta \right)<G{H}^{2}{E}_{\mathrm{cv}},\end{array}$$
(5)

where \({{E}_{\mathrm{cv}}=\kappa }_{1}{\left({C}_{0}/H\right)}^{2}-4{\kappa }_{1}{C}_{0}/H+4\left({\kappa }_{1}-{\kappa }_{0}\right)\). At \(A+{A}^{^{\prime}}<0, \mathrm{i}.\mathrm{e}., 2A<G{H}^{2}{E}_{\mathrm{cv}}\), a homogeneous phase is formed, because \({u}_{\mathrm{s}}<0\). The phase stability diagram is shown in Fig. 1. This diagram shows that bifurcations occur as the magnitude of the spontaneous curvature \({C}_{0}\) and mechanochemical coupling magnitude \(G\) increase at \(A + A^{\prime} \ge 0\).

Figure 1
figure 1

The phase diagram for the Brusselator, modified to include a membrane curvature effect, on a surface of a constant mean curvature \(H\) at \(A=4.5\), \(B=2.02\), \(\eta =0.1,\) and \({\kappa }_{1}/{\kappa }_{0}=2\). The purple and green lines are the Turing bifurcation curve and the Hopf bifurcation, respectively. These curves separate the regions in which the homogeneous stable patterns (H), stationary Turing patterns (T), or temporal oscillation patterns (O) occur. The red line indicates \(A+{A}^{^{\prime}}=0\).

Pattern formation on membrane

The membrane motion is solved by the Langevin dynamics of dynamically triangulated surface model, which formed a triangular network of spherical topology with \(N\) vertices, as described previously47. In this study, the presence of curvature-inducing proteins is considered in addition to the model as given in Eq. (1). We use \({\kappa }_{0}/{k}_{\mathrm{B}}T=20\) and \({\kappa }_{1}/{k}_{\mathrm{B}}T=40,\) where \({k}_{\mathrm{B}}T\) is the thermal energy (see “Methods” for more details). The results are displayed with the length unit \(R=\sqrt{S/4\pi }\), energy unit \({\kappa }_{0}\), and time unit \(\tau \).

First, we analyzed the pattern formation on the fixed surface of a spherical vesicle at the reduced volume, \({V}^{*}=3V/4\pi {R}^{3}=1\), where \(V\) is the vesicle volume (Fig. 2a,b,g). The results are consistent with those of the linear stability analysis (Fig. 2g). The effects of thermal fluctuations are discussed in the “Supplementary Material”. Figure 2a,b show typical snapshots. One large circular Turing domain appears at \(G{\kappa }_{0}/{R}^{2}=0.061\) and \({C}_{0}R=8\) (Fig. 2b).

Figure 2
figure 2

(af) Snapshots of the vesicles and (g,h) phase diagrams for \(A=4.5\), \(B=2.02\), \(\eta =0.1,\) and \({D}_{u}=20\). (a,b,g) \({V}^{*}=1\) (fixed shape). (cf,h) \({V}^{*}=0.8\). (a,c) \(G{\kappa }_{0}/{R}^{2}=0.077\) and \({C}_{0}R=2\). (b) \(G{\kappa }_{0}/{R}^{2}=0.061\) and \({C}_{0}R=8\). (d) \(G{\kappa }_{0}/{R}^{2}=0\) and \({C}_{0}R=10\). (e) \(G{\kappa }_{0}/{R}^{2}=0.046\) and \({C}_{0}R=8\). (f) \(G{\kappa }_{0}/{R}^{2}=0.077\) and \({C}_{0}R=10\). The color in snapshots indicates the concentration of the curvature-inducing protein, \(u\). Purple and green lines on the phase diagrams represent the Turing bifurcation curve and Hopf bifurcation, respectively, and the symbols represent the simulation results. The red line indicates \(A+{A}^{^{\prime}}=0\). Two or three overlapped symbols indicate the coexistence of multiple patterns.

In contrast, membrane deformation changes the chemical patterns in deformable vesicles at \({V}^{*}=0.8\) (Fig. 2c–f,h). The oscillation phase is suppressed, and Turing pattern is observed in a wider parameter region (Fig. 2h). At high spontaneous curvature \({C}_{0}\), budding and spicule shapes are formed, accompanied by Turing patterns (Fig. 2d,e). These spicule shapes only appear under conditions of Turing pattern formation, while budding can occur in homogeneous membranes. Moreover, budded spheres typically have a high value of \(u\) that is homogeneously distributed and form a Turing domain boundary separating two phases with higher or lower value of \(u\) at the narrow connective neck, as shown in Fig. 2f, because of the reduction in diffusion through the neck. Thus, the Turing pattern is modified by the membrane shape deformation. Bud formation is obtained for \({C}_{0}R\ge 3\) at \({V}^{*}=0.8\) (Fig. 2h). This is reasonable, as the curvature energy of a spherically shaped bud with a radius \({r}_{\mathrm{b}}={2/C}_{0},\) which is fully covered by the curvature-inducing protein (\(u=1\)) is minimal. The condition of bud formation is given by \({V}^{*}\le {\left({r}_{\mathrm{b}}/R\right)}^{3}+{\left(1-{\left({r}_{\mathrm{b}}/R\right)}^{2}\right)}^{3/2}\), since the volume of the rest of a vesicle of a spherical shape is maximal. In the case of \({V}^{*}=0.8\), the threshold is \(R/{r}_{\mathrm{b}}\ge 2.2\).

For high values of \({C}_{0}\), different shapes can be formed depending on the initial shapes, such as the prolate and budded shapes shown in Fig. 2h. Figure 3 shows another example. Vesicles of three or four spicules are formed from prolate and oblate vesicles, respectively, with \(\left(u,v\right)\simeq ({u}_{\mathrm{s}},{v}_{\mathrm{s}})\) (Fig. 3a,b). As pattern formation progresses, the vesicle shape changes according to the chemical pattern (Supplementary Movie S1). In order to evaluate the non-uniformity of \(u\) and the smoothed local curvature \(\stackrel{\sim }{H}\), we calculated separation metrics, \({{{s}_{u}=\sigma }_{\mathrm{b}}\left(u\right)}^{2}/{{\sigma }_{\mathrm{w}}\left(u\right)}^{2}\) and \({s}_{H}={{\sigma }_{\mathrm{b}}\left(\stackrel{\sim }{H}\right)}^{2}/{{\sigma }_{\mathrm{w}}\left(\stackrel{\sim }{H}\right)}^{2}\), where \({{\sigma }_{\mathrm{b}}}^{2}\) and \({{\sigma }_{\mathrm{w}}}^{2}\) are the between-class variance and within-class variance, respectively52 (The curvature smoothing method is described in the “Supplementary Material”). Each variance is calculated as below:

Figure 3
figure 3

Examples of pattern formation and membrane deformation. (a,b) Sequential snapshots of the vesicles for \(A=4.5\), \(B=2.02\), \(\eta =0.1\), \({D}_{u}=20\), \(G{\kappa }_{0}/{R}^{2}=0.046\), \({C}_{0}R=8,\) and \({V}^{*}=0.8\) starting from (a) prolate and (b) oblate shapes. The color indicates the concentration of curvature-inducing protein, \(u\). (ce) Time evolution of (c) the separation metric of the protein concentration, \({s}_{u}\), (d) that of the local curvature, \({s}_{H}\), (e) asphericity, \(\alpha \), and (f) the number of domains, \({N}_{\mathrm{d}}\). The purple and green lines indicate the simulations starting from prolate and oblate shapes, respectively. Results are presented as the mean ± standard error (n = 8).

$$\begin{array}{c}{{\sigma }_{\mathrm{b}}}^{2}={\rho }_{0}{\rho }_{1}{\left({\mu }_{0}-{\mu }_{1}\right)}^{2} {\mathrm {and}},\end{array}$$
(6)
$$\begin{array}{c}{{\sigma }_{\mathrm{w}}}^{2}={\rho }_{0}{{\sigma }_{0}}^{2}+{\rho }_{1}{{\sigma }_{1}}^{2},\end{array}$$
(7)

where \({\rho }_{i}\) is the probability of each class, \({\mu }_{i}\) is the class mean value, and \({{\sigma }_{i}}^{2}\) is the class variance. The threshold value to divide into two classes is determined to maximize the metric value. Therefore, the metrics \({s}_{u}\) becomes large when Turing patterns are formed clearly, whereas \({s}_{u}\) becomes small when the two phases are gently separated or not separated (i.e., homogeneous patterns). Figure 3c,d show that \({s}_{u}\) increases as the Turing pattern develops, followed by an increase in \({s}_{H}\); this sequence is consistent with that depicted by the sequential snapshots and indicates that non-uniformity can be distinguished by calculating the separation metrics. We also calculated the time development of asphericity, \(\alpha \), to evaluate vesicle deformation (Fig. 3e). Asphericity is the degree of deviation from a spherical shape, calculated as below:

$$\begin{array}{c}\alpha =\frac{{\left({\lambda }_{1}-{\lambda }_{2}\right)}^{2}+{\left({\lambda }_{2}-{\lambda }_{3}\right)}^{2}+{\left({\lambda }_{3}-{\lambda }_{1}\right)}^{2}}{2{\left({\lambda }_{1}+{\lambda }_{2}+{\lambda }_{3}\right)}^{2}},\end{array}$$
(8)

where \({\lambda }_{i}\) is the eigenvalue of the gyration tensor of the vesicle47,53,54. For a sphere, \(\alpha =0\) \({(\lambda }_{1}={\lambda }_{2}={\lambda }_{3})\), and for the thin-rod limit, \(\alpha =1\) (\({\lambda }_{1}=1\) and \({\lambda }_{2}={\lambda }_{3}=0)\). As the vesicle forms three or four spindles, \(\alpha \) decreases (Fig. 3e,f).

To further investigate the effect of coupling between the Brusselator and vesicle deformation, we conducted the simulation with different \({C}_{0}\) and \({D}_{u}\) values at \(G{\kappa }_{0}/{R}^{2}=0.046\) (Fig. 4 and Supplementary Fig. S3). As \({C}_{0}\) decreases, the number of domains, \({N}_{\mathrm{d}}\) and \({s}_{H}\) decrease, whereas \(\alpha \) increases (Fig. 4e–g). In addition, the domain size increases as \({D}_{u}\) increases. Therefore, higher \({N}_{\mathrm{d}}\) and \({s}_{H}\) values and a lower \(\alpha \) are obtained at a lower \({D}_{u}\) (Fig. 4h–j). When \({N}_{\mathrm{d }}>2\), convex regions are formed in various directions and the vesicle becomes nearly spherical, but when \({N}_{\mathrm{d}}=2\), the vesicle becomes prolate in shape, and \(\alpha \) increases (Fig. 4a–d). Thus, chemical pattern formation affects vesicle deformation and the relation between \({N}_{\mathrm{d}}\) and the preferred curvature of the domains is important in determining the stable shapes. The results do not significantly differ between simulations that start from prolate or oblate shapes, except under the condition at \({C}_{0}R=7\) and \({D}_{u}=20\) (Fig. 4a,f). Under that condition, with starting from a prolate-shaped vesicle, two domains arise at the pole of prolate, and the vesicle shape remains in the prolate shape. However, when the simulation starts from the oblate-shaped vesicle, multiple domains arise at the edge of oblate, and vesicle shape morphs into a multi-spindle shape (Fig. 4a,f,g). As well as the effect of chemical pattern formation to the vesicle deformation, vesicle shape can also affect chemical pattern formation.

Figure 4
figure 4

(ad) Snapshots of vesicles for \(A=4.5\), \(B=2.02\), \(\eta =0.1\), \(G{\kappa }_{0}/{R}^{2}=0.046\), and \({V}^{*}=0.8\) for two values of \({D}_{u}\) and \({C}_{0}\) starting from prolate and oblate shapes. (a) \({D}_{u}=20\) and \({C}_{0}R=7\). (b) \({D}_{u}=20\) and \({C}_{0}R=5\). (c) \({D}_{u}=10\) and \({C}_{0}R=8\). (d) \({D}_{u}=50\) and \({C}_{0}R=8\). The color indicates the concentration of curvature-inducing protein, \(u\). (ej) Time evolution of (e,h) the separation metric of the local curvature, \({s}_{H}\), (f,i) asphericity, \(\alpha \), and (g,j) the number of domains, \({N}_{\mathrm{d}}\). The data for \({C}_{0}R=7\) and \(5\) at \({D}_{u}=20\) are shown in (eg), and the data for \({D}_{u}=10\) and \(50\) at \({C}_{0}R=8\) are shown in (hj). The orange and red lines indicate simulations starting from prolate shapes, and the purple and green lines indicate simulations starting from oblate shapes. Results are presented as mean ± standard error (n = 8).

A comparison of Fig. 2g with Fig. 2h shows that the region encompassing Turing patterns is enlarged in the phase diagram at \({V}^{*}=0.8\) from \({V}^{*}=1\), as \(G\) increases. To investigate this change, we performed simulations at \(G{\kappa }_{0}/{R}^{2}=0.077\) and \({C}_{0}R=10\) with different \({V}^{*}\) and \({D}_{u}\) (Fig. 5). For \({D}_{u}=10\) or \(20\), Turing patterns occur instead of oscillations, whereas for \({D}_{u}=50\), an oscillation occurs at \({V}^{*}=0.95\), and the oscillating patterns transition to the Turing pattern at \({V}^{*}=0.8\) and \(0.65\) (Fig. 5d,g,j, and Supplementary Movie S2). As shown in Fig. 5e,h,k, the maximum values of the local curvature \({\stackrel{\sim }{H}}_{\mathrm{max}}\) at \({V}^{*}=0.8\) and \(0.65\) eventually increase over time; this does not occur at \({V}^{*}=0.95\). As the local curvature \(H\) increases, the position on the phase diagram shifts toward the upper left, as shown in Supplementary Fig. S5. Therefore, the transitions from an oscillation pattern to a Turing pattern is induced by a local increase in \(H\).

Figure 5
figure 5

(ac) Snapshots of the vesicles for \(A=4.5\), \(B=2.02\), \(\eta =0.1\), \(G{\kappa }_{0}/{R}^{2}=0.077\), and \({C}_{0}R=10\) for three values of \({V}^{*}\) and \({D}_{u}\). (a) \({V}^{*}=0.95\). (b) \({V}^{*}=0.8\). (c) \({V}^{*}=0.65\). The color indicates the concentration of curvature-inducing protein, \(u\). (dl) Time development of (d,g,j) the separation metric of the protein concentration, \({s}_{u}\), (e,h,k) the maximum value of the local curvature, \({\stackrel{\sim }{H}}_{\mathrm{max}}R\), and (f,i,l) the mean area ratio of one domain \(\langle {S}_{\mathrm{d}}/S\rangle \). The data for \({V}^{*}=0.95\), \(0.8\), and \(0.65\) are shown in (df), (gi), and (jl), respectively. The purple, green, and orange lines indicate the simulation data for \({D}_{u}=10\), \(20,\) and \(50\), respectively. Results of one typical simulation run are shown. The results averaged from eight independent simulations are shown in Supplementary Fig. S4.

At \({V}^{*}=0.95\), a small domain is generated and stabilized by the local deformation of the vesicle at \({D}_{u}=10\). In contrast, a large domain is temporarily generated at \({D}_{u}=50,\) but is not stabilized, since the stable domain size is much larger than the sphere of preferred curvature \({C}_{0}/2;\) thus the vesicle cannot sufficiently deform (Fig. 6 and Supplementary Movies S3 and S4). In addition, the oscillation period for \({D}_{u}=50\) is significantly longer for \({V}^{*}=0.95\) than for \({V}^{*}=0.8\) or for \({V}^{*}=\) \(0.65\) (Fig. 5). The oscillation period \({\tau }_{\mathrm{os}}\) is calculated from the peak of the Fourier spectrum of \({s}_{u}\) for the eight independent runs: \({\tau }_{\mathrm{os}}/\tau =100\), \(11\), and \(8\) at \({V}^{*}=0.95\), \(0.8\), and \(0.65\), respectively. This fact and the time evolution of \({\stackrel{\sim }{H}}_{\mathrm{max}}\) indicate that membrane deformation is suppressed by the volume restriction for \({V}^{*}=0.95\) (Fig. 5e). In contrast, substantial membrane deformation occurs at the reduced volumes of \({V}^{*}=0.8\) and \(0.65\), which enables frequent generation of domains. Thus, membrane deformation can change both oscillation period and stability.

Figure 6
figure 6

Sequential snapshots of the vesicles for \(A=4.5\), \(B=2.02\), \(\eta =0.1\), \(G{\kappa }_{0}/{R}^{2}=0.077\), \({C}_{0}R=10\), and \({V}^{*}=0.95\) for (a) \({D}_{u}=10\) and (b) \({D}_{u}=50\). The videos are shown in Supplementary Movies S3 and S4.

Discussion

In this study, we have examined the coupling effects between a reaction–diffusion system and membrane deformation by simulating membrane deformation using a dynamically triangulated surface model. We adapted the Brusselator model to include mechanochemical feedback between local membrane curvature and the concentration of curvature-inducing proteins. Based on the linear stability analysis of the reaction–diffusion system with a membrane curvature effect on a fixed spherical surface, we have clarified that bifurcation curves depend on the mechanochemical coupling magnitude \(G\) and the value of spontaneous curvature of curvature-inducing proteins \({C}_{0}\) with respect to the local membrane curvature (Fig. 1). Thus, the stability of both Turing and oscillation dynamics depend on the membrane shape. We have shown that various shapes, such as buds and multi-spindles, depend on \(G\), \({C}_{0}\), and the diffusion constant \({D}_{u}\) (Figs. 2, 3, 4). In addition, since the domain formation of curvature-inducing proteins is promoted at regions with high local curvature, the initial shape of the vesicles affects the dynamics of pattern formation (Fig. 4a). Therefore, the dynamics of protein pattern formation change the shape of vesicles, while membrane deformation simultaneously affects pattern formation. This feedback loop can drastically alter the chemical reaction patterns from those on non-deformable surfaces (Fig. 2g,h). A dynamic transition from an oscillating pattern to a Turing pattern is induced by membrane deformation (Fig. 5g–i, and Supplementary Movie S2). Such transitions have not been reported in previous studies.

In the context of living cells, many kinds of proteins and other molecules function interdependently on membranes, where the function of one protein is often activated or inhibited by those of others. Membrane deformation brought about by competing forces of protein-induced curvature changes and surface tension changes impelled by actin growth has been studied4,8,18,19. By choosing not to consider the dynamics of actin in this study, we demonstrated that various membrane deformations, accompanied by Turing patterns and oscillations, can be produced by one curvature-inducing protein and one or a small number of regulatory proteins without actin interactions.

Here, we analyzed the coupling of a reaction–diffusion system with membrane deformation utilizing the fixed parameters \(A\), \(B\), and \(\eta \), focusing primarily on Turing patterns, and oscillatory conditions to a lesser extent. The experimental results indicate that observed patterns, which include a feedback loop between curvature-inducing proteins and membrane deformation, are not only stable spot patterns, such as those observed during cell polarization19, but are also propagating waves18. Similarly, the reconstituted Min system in liposomes, which regulates bacterial cell division, has been shown to exhibit propagating wave patterns38,39,40. These patterns, which induce oscillating membrane deformation, are also described by reaction–diffusion systems. The system developed in this paper can also be applied to these patterns observed in living systems, by adjusting the parameters. Other chemical reaction models, such as the Oregonator55, which was developed to model the Belousov–Zhabotinsky reaction, and the F-BAR-actin model18, are also easily applied. Thus, the present model system is a powerful tool that can be used to study a wide range of chemical reaction systems that are coupled with membrane deformation.

Methods

Membrane model

Membrane contains \(N=4000\) vertices connected by bonds of an average length \(a\), with volumes and masses, \(m\), excluded. The local curvature energy \({f}_{\mathrm{cv}}\) in Eq. (1) is discretized using dual lattices. The surface area \(S=0.41{a}^{2}\left(2N-4\right)\simeq 3280{a}^{2}\) and volume \(V\) of a vesicle are kept constant at about 0.01% accuracy by harmonic constraint potentials. Details of the potentials are described in Ref.47. For the coefficients of area and volume constraint potentials, four times greater values are employed than those in Ref.47. To produce membrane fluidity, bonds are flipped to the diagonal of two adjacent triangles using the Monte Carlo method. The membrane motion is solved by molecular dynamics (MD) with the Langevin thermostat:

$$\begin{array}{c}m\frac{{\partial }^{2}{{\varvec{r}}}_{\mathrm{i}}}{\partial {t}^{2}}=-\frac{\partial U}{\partial {{\varvec{r}}}_{\mathrm{i}}}-\zeta \frac{\partial {{\varvec{r}}}_{\mathrm{i}}}{\partial t}+{{\varvec{g}}}_{\mathrm{i}}\left(t\right),\end{array}$$
(9)

where \(\zeta \) is the friction coefficient, and \({{\varvec{g}}}_{\mathrm{i}}(t)\) is Gaussian white noise, which obeys the fluctuation–dissipation theorem. The hydrodynamic interactions are not considered. The time unit in MD is \({\tau }_{\mathrm{md}}= \zeta {a}^{2}/{k}_{\mathrm{B}}T\) based on diffusion, and \(m= \zeta {\tau }_{\mathrm{md}}\) is used. To allow membrane deformation followed by concentration changes in \(u\), \({\tau }_{\mathrm{md}}= 0.1\tau \) is employed. Equation (9) is numerically integrated by the leapfrog algorithm with time steps \(\Delta {t}_{\mathrm{md}}=0.001{\tau }_{\mathrm{md}}\).

Discretization of reaction–diffusion equations

We developed a finite volume method to discretize Eqs. (2) and (3). Since the Kelvin–Stokes theorem holds for curved surfaces, it is straightforwardly applicable, as employed on a flat surface. A vertex-centered finite volume approach is applied to the dual lattices used for the calculation of membrane curvature47. The time evolution of \(u\) of the ith vertex is discretized using the following forward difference method:

$$\begin{array}{c}{u}_{i}\left(t+\Delta {t}_{\mathrm{rd}}\right)={u}_{i}\left(t\right)+f\left(u,v\right)\Delta {t}_{\mathrm{rd}}+{D}_{u}\Delta {t}_{\mathrm{rd}} {\sum }_{j}\left({u}_{j}{-u}_{i}\right)\frac{{l}_{ij}}{{r}_{ij}{S}_{i}},\end{array}$$
(10)

where \({S}_{i}\) is the vertex area, \({l}_{ij}\) is the side length between neighboring vertex cells, and \({r}_{ij}\) is the distance between the neighboring vertices. The effect of curvature on diffusion is included as the variation of side lengths. Similarly, Eq. (3) is discretized. In this study, \(\Delta {t}_{\mathrm{rd}}=0.1\Delta {t}_{\mathrm{md}}\) is used. The initial concentrations for the simulations are set around the fixed point \(\left({u}_{\mathrm{s}},{v}_{\mathrm{s}}\right)\), with small random perturbations. When \({u}_{\mathrm{s}}<0\) or \({u}_{\mathrm{s}}>1, u=0\) or \(u=\) 1 are taken, respectively, as the initial concentration instead.