Rigorous continuation of bifurcation points in the
diblock copolymer equation
Page number are going to be assigned later
2017
doi:10.3934/jcd.2017003 Abstract
References
Full text (1789.5K)
JeanPhilippe Lessard  Department of Mathematics and Statistics, McGill University, 805 Sherbrooke St W, Montreal, QC, H3A 0B9, Canada (email)
Evelyn Sander  Department of Mathematical Sciences, George Mason University, Fairfax, VA 22030, United States (email)
Thomas Wanner  Department of Mathematical Sciences, George Mason University, Fairfax, VA 22030, United States (email)
1 
G. Arioli and H. Koch, Computerassisted methods for the study of stationary solutions in dissipative systems, applied to the KuramotoSivashinski equation, Arch. Ration. Mech. Anal., 197 (2010), 10331051. 

2 
G. Arioli and H. Koch, Integration of dissipative partial differential equations: A case study, SIAM Journal on Applied Dynamical Systems, 9 (2010), 11191133. 

3 
M. Bahiana and Y. Oono, Cell dynamical system approach to block copolymers, Physical Review A, 41 (1990), 67636771. 

4 
D. Blömker, B. Gawron and T. Wanner, Nucleation in the onedimensional stochastic CahnHilliard model, Discrete and Continuous Dynamical Systems, Series A, 27 (2010), 2552. 

5 
D. Blömker, S. MaierPaape and T. Wanner, Phase separation in stochastic CahnHilliard models, in Mathematical Methods and Models in Phase Transitions (ed. A. Miranville), Nova Science Publishers, New York, 2005, 141. 

6 
D. Blömker, E. Sander and T. Wanner, Degenerate nucleation in the CahnHilliardCook model, SIAM Journal on Applied Dynamical Systems, 15 (2016), 459494. 

7 
M. Breden, J.P. Lessard and M. Vanicat, Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: A 3component reactiondiffusion system, Acta Appl. Math., 128 (2013), 113152. 

8 
R. Choksi, M. A. Peletier and J. F. Williams, On the phase diagram for microphase separation of diblock copolymers: An approach via a nonlocal CahnHilliard functional, SIAM Journal on Applied Mathematics, 69 (2009), 17121738. 

9 
R. Choksi and X. Ren, On the derivation of a density functional theory for microphase separation of diblock copolymers, Journal of Statistical Physics, 113 (2003), 151176. 

10 
P. Chossat and R. Lauterbach, Methods in Equivariant Bifurcations and Dynamical Systems, vol. 15 of Advanced Series in Nonlinear Dynamics, World Scientific, 2000. 

11 
S. Day, J.P. Lessard and K. Mischaikow, Validated continuation for equilibria of PDEs, SIAM Journal on Numerical Analysis, 45 (2007), 13981424. 

12 
J. P. Desi, H. Edrees, J. Price, E. Sander and T. Wanner, The dynamics of nucleation in stochastic CahnMorral systems, SIAM Journal on Applied Dynamical Systems, 10 (2011), 707743. 

13 
M. Gameiro and J.P. Lessard, Rigorous computation of smooth branches of equilibria for the three dimensional CahnHilliard equation, Numer. Math., 117 (2011), 753778. 

14 
M. Gameiro, J.P. Lessard and K. Mischaikow, Validated continuation over large parameter ranges for equilibria of PDEs, Mathematics and Computers in Simulation, 79 (2008), 13681382. 

15 
M. Grinfeld and A. NovickCohen, Counting stationary solutions of the CahnHilliard equation by transversality arguments, Proceedings of the Royal Society of Edinburgh, 125 (1995), 351370. 

16 
A. Hungria, J.P. Lessard and J. D. MirelesJames, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Math. Comp., 85 (2016), 14271459. 

17 
I. Johnson, E. Sander and T. Wanner, Branch interactions and longterm dynamics for the diblock copolymer model in one dimension, Discrete and Continuous Dynamical Systems. Series A, 33 (2013), 36713705. 

18 
O. E. Lanford III, A computerassisted proof of the Feigenbaum conjectures, Bull. Amer. Math. Soc. (N.S.), 6 (1982), 427434. 

19 
J.P. Lessard, Continuation of solutions and studying delay differential equations via rigorous numerics, Proceedings of Symposia in Applied Mathematics. 

20 
J.P. Lessard and J. D. Mireles James, Computer assisted Fourier analysis in sequence spaces of varying regularity, SIAM J. Math. Anal., 49 (2017), 530561. 

21 
J.P. Lessard, E. Sander and T. Wanner, Matlab codes to perform the computerassisted proofs, Available at http://archimede.mat.ulaval.ca/jplessard/rigbpcont/. 

22 
S. MaierPaape, U. Miller, K. Mischaikow and T. Wanner, Rigorous numerics for the CahnHilliard equation on the unit square, Revista Matematica Complutense, 21 (2008), 351426. 

23 
S. MaierPaape, K. Mischaikow and T. Wanner, Structure of the attractor of the CahnHilliard equation on a square, International Journal of Bifurcation and Chaos, 17 (2007), 12211263. 

24 
G. Moore and A. Spence, The calculation of turning points of nonlinear equations, SIAM Journal on Numerical Analysis, 17 (1980), 567576. 

25 
M. T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations, Numer. Funct. Anal. Optim., 22 (2001), 321356. 

26 
Y. Nishiura and I. Ohnishi, Some mathematical aspects of the microphase separation in diblock copolymers, Physica D, 84 (1995), 3139. 

27 
T. Ohta and K. Kawasaki, Equilibrium morphology of block copolymer melts, Macromolecules, 19 (1986), 26212632. 

28 
M. Plum, An existence and inclusion method for twopoint boundary value problems with turning points, Z. Angew. Math. Mech., 74 (1994), 615623. 

29 
M. Plum, Existence and enclosure results for continua of solutions of parameterdependent nonlinear boundary value problems, J. Comput. Appl. Math., 60 (1995), 187200. 

30 
S. Rump, INTLAB  INTerval LABoratory, in Developments in Reliable Computing (ed. T. Csendes), Kluwer Academic Publishers, Dordrecht, 1999, 77104. 

31 
E. Sander and T. Wanner, Validated saddlenode bifurcations and applications to lattice dynamical systems, SIAM Journal on Applied Dynamical Systems, 15 (2016), 16901733. 

32 
A. Spence and B. Werner, Nonsimple turning points and cusps, IMA Journal of Numerical Analysis, 2 (1982), 413427. 

33 
J. B. van den Berg and J.P. Lessard, Rigorous numerics in dynamics, Notices of the American Mathematical Society,, 62 (2015), 10571061. 

34 
J. B. van den Berg, J.P. Lessard and K. Mischaikow, Global smooth solution curves using rigorous branch following, Math. Comp., 79 (2010), 15651584. 

35 
J. B. van den Berg and J. F. Williams, Validation of the bifurcation diagram in the 2d OhtaKawasaki problem, Nonlinearity, 30 (2017), 15841638. 

36 
T. Wanner, Computerassisted bifurcation diagram validation and applications in materials science, Proceedings of Symposia in Applied Mathematics, Vol. 74. American Mathematical Society, to appear. 

37 
T. Wanner, Topological analysis of the diblock copolymer equation, in Mathematical Challenges in a New Phase of Materials Science (eds. Y. Nishiura and M. Kotani), vol. 166 of Springer Proceedings in Mathematics & Statistics, SpringerVerlag, 2016, 2751. 

38 
T. Wanner, Computerassisted equilibrium validation for the diblock copolymer model, Discrete and Continuous Dynamical Systems, Series A, 37 (2017), 10751107. 

39 
B. Werner and A. Spence, The computation of symmetrybreaking bifurcation points, SIAM Journal on Numerical Analysis, 21 (1984), 388399. 

40 
N. Yamamoto, A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixedpoint theorem, SIAM J. Numer. Anal., 35 (1998), 20042013. 

41 
E. Zeidler, Nonlinear Functional Analysis and its Applications. I: FixedPoint Theorems, SpringerVerlag, New York  Berlin  Heidelberg, 1986. 

Go to top
