# American Institute of Mathematical Sciences

June  2017, 4(1&2): 71-118. doi: 10.3934/jcd.2017003

## Rigorous continuation of bifurcation points in the diblock copolymer equation

 1 Department of Mathematics and Statistics, McGill University, 805 Sherbrooke St W, Montreal, QC, H3A 0B9, Canada 2 Department of Mathematical Sciences, George Mason University, Fairfax, Virginia 22030, USA

* Corresponding author: T. Wanner

Published  October 2017

We develop general methods for rigorously computing continuous branches of bifurcation points of equilibria, specifically focusing on fold points and on pitchfork bifurcations which are forced through ${\mathbb{Z}}_2$ symmetries in the equation. We apply these methods to secondary bifurcation points of the one-dimensional diblock copolymer model.

Citation: Jean-Philippe Lessard, Evelyn Sander, Thomas Wanner. Rigorous continuation of bifurcation points in the diblock copolymer equation. Journal of Computational Dynamics, 2017, 4 (1&2) : 71-118. doi: 10.3934/jcd.2017003
##### References:

show all references

##### References:
Equilibrium bifurcation diagrams of the Cahn-Hilliard model (left image) and the diblock copolymer model for $\sigma = 6$ (right image). In both figures, $\mu = 0$. Most of the shown branches actually correspond to two or more solution branches, since the $L^2$-norm of the associated solutions is used as the vertical diagram axis. The colors correspond to the indices of the solutions. Along the horizontal trivial solution branch they increase from zero (black) to five (cyan)
Two degenerate symmetry-breaking bifurcations as described in Example 2.14
Equilibrium solutions $u_0$ (in blue) of the diblock copolymer equation for $\sigma_0 = 6$, together with their associated kernel functions $\varphi _0$ (in orange). These two distinct stationary solutions are both saddle-node bifurcation points at the same parameter value $\lambda_0 \approx 262.9$ and the same $L^2$-norm close to $0.562$. In fact, the entire non-trivial portion of the bifurcation diagram is multiply covered. These equilibria are rigorously proved in Theorem 3.7
Equilibrium solutions $u_0$ (in blue) and associated kernel functions $\varphi _0$ (in orange) of the diblock copolymer equation for $\sigma_0 = 6$, with $\lambda_0 \approx 142.1, 53.6,203.1$ for top left, top right, and bottom right, respectively. All four solutions are pitchfork bifurcation points. They are the first bifurcation points on the first four branches bifurcating from the trivial solution in the right image sof Figure 1. Note that as in Figure 3, the bifurcation diagram is a double cover; corresponding to each of these four solutions, there is another solution at the same point in the bifurcation diagram. See also Theorems 3.13, 3.14, and 3.15
Piecewise linear curve approximation (in black) constructed using parameter continuation and existence of a global solution curve $\mathcal C$ of $f=0$ (in blue) nearby the approximations
Equilibrium solutions $u_0$ (in blue) of the diblock copolymer equation for $\sigma_0 = 6$, together with their associated kernel functions (in red). On left $\lambda_0 \approx 681.4$, on right $\lambda_0 \approx 1343.3$. These two distinct stationary solutions are both saddle-node bifurcation points. The equilibrium on the left (respectively right) is rigorously proved in Theorem 3.8 (respectively Theorem 3.9)
Three global $C^\infty$ branches of saddle-node bifurcation points of the diblock copolymer equation. The red (respectively green, blue) branch is proven in Theorem 3.10 (respectively Theorem 3.11, Theorem 3.12)
(Left) Global $C^\infty$ branches of pitchfork bifurcations points of the nonlinear diblock-copolymer equation (1). The red (respectively green, blue) branch is proven in Theorem 3.16 (respectively Theorem 3.17, Theorem 3.18). (Right) Zoom-in of the branches
The cosine Fourier coefficients of the saddle-node bifurcation point from Theorem 3.7. We show ${\bar a }_k$ for $k \ge 1$. Note that all even coefficients are $0$
The cosine Fourier coefficients of the saddle-node bifurcation point from Theorem 3.8. We show ${\bar a }_k$ for $k \ge 1$. Note that all even coefficients are $0$
The cosine Fourier coefficients of the pitchfork bifurcation point from Theorem 3.13. We show ${\bar a }_k$ for $k \ge 1$. Note that all even coefficients are $0$
The cosine Fourier coefficients of the pitchfork bifurcation point from Theorem 3.14. We show ${\bar a }_k$ for $k \ge 2$. Note that all other coefficients are $0$
The cosine Fourier coefficients of the pitchfork bifurcation point from Theorem 3.15. We show ${\bar a }_k$ for $k \ge 2$. Note that all other coefficients are $0$
Some of the partial derivatives of the bifurcation function $b(\lambda,\nu)$ at the point $(\lambda_0,0)$ up to order three, together with the required partial derivatives of $W$
 \begin{align*}D_{\lambda} b(\lambda_0,0)&= \psi_0^* D_{\lambda}F(\lambda_0,u_0) \; , \\[1ex] D_{\lambda\alpha} b(\lambda_0,0)&= \psi_0^* D_{\lambda u}F(\lambda_0,u_0)[\varphi _0] \\[1ex] & ~~~~ + \psi_0^* D_{uu}F(\lambda_0,u_0)[\varphi _0,D_{\lambda}W(\lambda_0,v_0)] \; , \\[1ex] D_{\alpha\alpha} b(\lambda_0,0)&= \psi_0^* D_{uu}F(\lambda_0,u_0)[\varphi _0,\varphi _0] \; , \\[1ex] D_{\alpha\alpha\alpha} b(\lambda_0,0)&= \psi_0^* D_{uuu}F(\lambda_0,u_0)[\varphi _0,\varphi _0,\varphi _0] \\[1ex] & ~~~~ + 3 \psi_0^* D_{uu}F(\lambda_0,u_0)[\varphi _0,D_{vv}W(\lambda_0,v_0)[\varphi _0,\varphi _0]] \; , \\[1ex] L D_{\lambda} W(\lambda_0,v_0)&= -(I-P) D_{\lambda}F(\lambda_0,u_0) \; , \\[1ex] L D_{vv} W(\lambda_0,v_0)[\varphi _0,\varphi _0]&= -(I-P) D_{uu}F(\lambda_0,u_0)[\varphi _0,\varphi _0] \; . \end{align*}
 \begin{align*}D_{\lambda} b(\lambda_0,0)&= \psi_0^* D_{\lambda}F(\lambda_0,u_0) \; , \\[1ex] D_{\lambda\alpha} b(\lambda_0,0)&= \psi_0^* D_{\lambda u}F(\lambda_0,u_0)[\varphi _0] \\[1ex] & ~~~~ + \psi_0^* D_{uu}F(\lambda_0,u_0)[\varphi _0,D_{\lambda}W(\lambda_0,v_0)] \; , \\[1ex] D_{\alpha\alpha} b(\lambda_0,0)&= \psi_0^* D_{uu}F(\lambda_0,u_0)[\varphi _0,\varphi _0] \; , \\[1ex] D_{\alpha\alpha\alpha} b(\lambda_0,0)&= \psi_0^* D_{uuu}F(\lambda_0,u_0)[\varphi _0,\varphi _0,\varphi _0] \\[1ex] & ~~~~ + 3 \psi_0^* D_{uu}F(\lambda_0,u_0)[\varphi _0,D_{vv}W(\lambda_0,v_0)[\varphi _0,\varphi _0]] \; , \\[1ex] L D_{\lambda} W(\lambda_0,v_0)&= -(I-P) D_{\lambda}F(\lambda_0,u_0) \; , \\[1ex] L D_{vv} W(\lambda_0,v_0)[\varphi _0,\varphi _0]&= -(I-P) D_{uu}F(\lambda_0,u_0)[\varphi _0,\varphi _0] \; . \end{align*}
 [1] Thomas Wanner. Computer-assisted equilibrium validation for the diblock copolymer model. Discrete & Continuous Dynamical Systems - A, 2017, 37 (2) : 1075-1107. doi: 10.3934/dcds.2017045 [2] Piotr Zgliczyński. Steady state bifurcations for the Kuramoto-Sivashinsky equation: A computer assisted proof. Journal of Computational Dynamics, 2015, 2 (1) : 95-142. doi: 10.3934/jcd.2015.2.95 [3] Rui Dilão, András Volford. Excitability in a model with a saddle-node homoclinic bifurcation. Discrete & Continuous Dynamical Systems - B, 2004, 4 (2) : 419-434. doi: 10.3934/dcdsb.2004.4.419 [4] Ale Jan Homburg, Todd Young. Intermittency and Jakobson's theorem near saddle-node bifurcations. Discrete & Continuous Dynamical Systems - A, 2007, 17 (1) : 21-58. doi: 10.3934/dcds.2007.17.21 [5] Xiao-Biao Lin, Changrong Zhu. Saddle-node bifurcations of multiple homoclinic solutions in ODES. Discrete & Continuous Dynamical Systems - B, 2017, 22 (4) : 1435-1460. doi: 10.3934/dcdsb.2017069 [6] Ping Liu, Junping Shi, Yuwen Wang. A double saddle-node bifurcation theorem. Communications on Pure & Applied Analysis, 2013, 12 (6) : 2923-2933. doi: 10.3934/cpaa.2013.12.2923 [7] Flaviano Battelli. Saddle-node bifurcation of homoclinic orbits in singular systems. Discrete & Continuous Dynamical Systems - A, 2001, 7 (1) : 203-218. doi: 10.3934/dcds.2001.7.203 [8] Paul Glendinning. Non-smooth pitchfork bifurcations. Discrete & Continuous Dynamical Systems - B, 2004, 4 (2) : 457-464. doi: 10.3934/dcdsb.2004.4.457 [9] Kie Van Ivanky Saputra, Lennaert van Veen, Gilles Reinout Willem Quispel. The saddle-node-transcritical bifurcation in a population model with constant rate harvesting. Discrete & Continuous Dynamical Systems - B, 2010, 14 (1) : 233-250. doi: 10.3934/dcdsb.2010.14.233 [10] W.-J. Beyn, Y.-K Zou. Discretizations of dynamical systems with a saddle-node homoclinic orbit. Discrete & Continuous Dynamical Systems - A, 1996, 2 (3) : 351-365. doi: 10.3934/dcds.1996.2.351 [11] Victoriano Carmona, Soledad Fernández-García, Antonio E. Teruel. Saddle-node of limit cycles in planar piecewise linear systems and applications. Discrete & Continuous Dynamical Systems - A, 2019, 39 (9) : 5275-5299. doi: 10.3934/dcds.2019215 [12] P.E. Kloeden. Pitchfork and transcritical bifurcations in systems with homogeneous nonlinearities and an almost periodic time coefficient. Communications on Pure & Applied Analysis, 2004, 3 (2) : 161-173. doi: 10.3934/cpaa.2004.3.161 [13] A. Aschwanden, A. Schulze-Halberg, D. Stoffer. Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof. Discrete & Continuous Dynamical Systems - A, 2006, 14 (4) : 721-736. doi: 10.3934/dcds.2006.14.721 [14] Majid Gazor, Mojtaba Moazeni. Parametric normal forms for Bogdanov--Takens singularity; the generalized saddle-node case. Discrete & Continuous Dynamical Systems - A, 2015, 35 (1) : 205-224. doi: 10.3934/dcds.2015.35.205 [15] Ian Johnson, Evelyn Sander, Thomas Wanner. Branch interactions and long-term dynamics for the diblock copolymer model in one dimension. Discrete & Continuous Dynamical Systems - A, 2013, 33 (8) : 3671-3705. doi: 10.3934/dcds.2013.33.3671 [16] Michael Helmers, Barbara Niethammer, Xiaofeng Ren. Evolution in off-critical diblock copolymer melts. Networks & Heterogeneous Media, 2008, 3 (3) : 615-632. doi: 10.3934/nhm.2008.3.615 [17] Renato Huzak. Cyclicity of the origin in slow-fast codimension 3 saddle and elliptic bifurcations. Discrete & Continuous Dynamical Systems - A, 2016, 36 (1) : 171-215. doi: 10.3934/dcds.2016.36.171 [18] Iliya D. Iliev, Chengzhi Li, Jiang Yu. Bifurcations of limit cycles in a reversible quadratic system with a center, a saddle and two nodes. Communications on Pure & Applied Analysis, 2010, 9 (3) : 583-610. doi: 10.3934/cpaa.2010.9.583 [19] Runxia Wang, Haihong Liu, Fang Yan, Xiaohui Wang. Hopf-pitchfork bifurcation analysis in a coupled FHN neurons model with delay. Discrete & Continuous Dynamical Systems - S, 2017, 10 (3) : 523-542. doi: 10.3934/dcdss.2017026 [20] James Montaldi. Bifurcations of relative equilibria near zero momentum in Hamiltonian systems with spherical symmetry. Journal of Geometric Mechanics, 2014, 6 (2) : 237-260. doi: 10.3934/jgm.2014.6.237

Impact Factor: