2 XINYUE EVELYN ZHAO, LONG-QING CHEN, WENRUI HAO∗, AND YANXIANG ZHAO
stabilized schemes [74, 73], exponential integrator [20, 24], Invariant energy quadratization [77], and scalar
auxiliary variable schemes [67].
However, there are very limited studies to reveal the solution structure of phase field models which
is critical to understanding the models from a mathematical point of view and to exploring the possible
formation of novel morphological patterns. Solution structures of nonlinear differential equations have been
well-studied by exploring bifurcations [64] and multiple solutions [4]. Existing theories and numerical
methods have contributed to a better understanding of these solution structures and the relationship between
solutions and parameters [36]. For example, the Crandall-Rabinowitz theorem has been used to theoretically
study the bifurcations of nonlinear differential equations such as free boundary problems [31, 28, 29, 78, 79].
Numerically, homotopy continuation method [47, 56] has been successfully employed to study parametric
problems such as bifurcation [64] and the structural stability [65]. Recently, several numerical methods
have been developed based on homotopy continuation methods for computing multiple solutions, steady-
states, and bifurcation points of nonlinear PDEs [40, 41]. These numerical methods have been also applied
to hyperbolic conservation laws [42], physical systems [44, 45] and some more complex free boundary
problems arising from biology [38, 39].
In this paper, we develop an analytical framework to study the solution structure of phase field models
and apply it to three well-known phase field equations. In particular, we study the solution structure of
Allen-Cahn equation in Section 3 and that of Cahn-Hillard equation in Section 4. Finally in Section 5, we
discuss the solution structure of Allen-Cahn-Ohta-Kawazaki system which is used to model the morphology
of diblock copolymer systems.
2. BIFURCATION ANALYSIS AND HOMOTOPY TRACKING
The goal of this paper is to compute global bifurcation diagram for various PDE models. Our ap-
proach combine analytical and numerical method. First, we analyze the bifurcations of various phase field
models from the trivial steady-states by Crandall-Rabinowitz theorem, then we numerically compute the
global bifurcation diagram via homotopy tracking. Generally speaking, we consider the following nonlinear
operator
F(x, µ)=0,
where F(·, µ)is a Cpmap, p≥1from a real Banach space Xto another real Banach space Yand µ∈Ris
a parameter. The bifurcation of xwith respect to the parameter µcan be verified theoretically by Crandall-
Rabinowitz theorem [21].
Theorem 1. (Crandall-Rabinowitz theorem, [21])Let X,Ybe real Banach spaces and F(·,·)be a Cp
map of a neighborhood (0, µ0)in X×Rinto Y. Denote by DxFand DµxFthe first- and second-order
Fr´
echet derivatives, respectively. Assume the following four conditions hold:
(I) F(0, µ)=0for all µin a neighborhood of µ0,
(II) Ker DxF(0, µ0)is one dimensional space, spanned by x0,
(III) Im DxF(0, µ0) = Y1has codimension 1,
(IV) DµxF(0, µ0)x0/∈Y1,
then (0, µ0)is a bifurcation point of the equation F(x, µ) = 0 in the following sense: in a neighborhood
of (0, µ0), the set of solutions F(x, µ) = 0 consists of two Cp−2smooth curves, Γ1and Γ2, which intersect
only at the point (0, µ0);Γ1is the curve (0, µ), and Γ2can be parameterized as follows:
Γ2: (x(), µ()),||small, (x(0), µ(0)) = (0, µ0), x0(0) = x0.
Although the bifurcation theory can help in some special cases, the in-depth study of solution structures
often requires numerical methods to derive bifurcation diagrams of nonlinear systems. Generally speaking,