- Research
- Open access
- Published:
Solutions to a phase-field model of sea ice growth
Boundary Value Problems volume 2019, Article number: 24 (2019)
Abstract
We shall apply the phase-field method to investigate the dynamics of sea ice growth. The model consists of two parabolic equations. The existence and uniqueness of weak solutions to an initial-boundary value problem of this model is proved. Then the regularity, large-time behavior of solutions are studied, also the existence of global attractor is proved. The main technique in this article is energy method. Our existence proof is only valid in one space dimension.
1 Introduction
Due to global warming, which leads to significant climate changes and more and more frequently occurring severe weather disasters, the study of global warming seems more important than ever since sea ice has begun to melt (see, e.g., [1,2,3]) and this makes sea level rise considerably so that some islandish countries may vanish. In this paper we shall employ a phase-field approach to model the growth of sea ice. This approach, though it has been developed since 1980s, thus is very young, is now a very powerful tool for both theoretical and numerical studies in many fields (see, e.g., [4, 5]). To our knowledge, the application of a two-phase field model to investigation of sea ice growth presented in this paper is the first one in phase-field modeling for sea ice evolution.
The evolution of macroscopic sea ice has been studied by means of the classic Stefan’s problem (see, e.g., [6]). Fluid flow through sea ice is another point of interest. The permeability of sea ice is important in many physical processes such as the melting and draining from sea ice surface during the melting season (see, e.g., [7]). A new simple model which includes turbulent transport of heat and salt between ice and ocean is introduced and solved analytically (see, e.g., [8]). The mesoscopic numerical simulation of sea ice crystals growth has been studied through Voronoi dynamics during the freezing season (see, e.g., [9]). Overall, sea ice interacts with the climate system of the polar. A one-dimensional enthalpy-based model of sea ice allows for quantitative studies of sea ice and its interaction (see, e.g., [10]). These references need to add appropriate conditions at the interface of tracking movement. Theoretical analysis and numerical simulation are very difficult. In this paper we study a phase-field model for the evolution of the phase interface region in sea water-ice interface phase change problems, which was derived in [5]. The author only simulated dendritic crystal growth without theoretical analysis. We will use the phase-field method in the sea ice growth, more precisely, I do theoretical analysis, regularities, and large time behavior. We formulate this initial-boundary value problem in the one-dimensional case and conclude the introduction by stating our main result.
Let \(\varOmega \subset \mathbb{R}^{3}\) be an open set. We introduce a phase-field variable (the order parameter \({p\in \mathbb{R}}\)) to represent the physical state of the system in time and space, that is, to distinguish the liquid phase and solid phase, such as the solid state when the variable is 1. The liquid phase is expressed when the variable is 0. We restrict ourselves to that type of order parameter p, which describes the evolution of phase interfacial region.
Now let us establish the free energy function F of the system based on the order parameter p, their spatial derivatives ∇p, and the local temperature:
Setting
we choose for \(\widehat{\psi }\in {C^{2}(\mathbb{R},[0,\infty ))}\) a direct extension of the double well potential with minima at \(p=0\) and \(p=1\). Here, \(e_{0}\), \(\varepsilon _{1 2}\), \(a_{1 2}\), \(m_{1 2}\) are thermophysical data.
T is temperature, it satisfies
where \(h(p)\) is a non-decreasing smooth function satisfying \(h(0)={0}\) near \(p=0\) and \(h(1)={1}\) near \(p=1\), e is the local enthalpy, and \(e_{0}\) satisfies
L is the latent heat of fusion for sea-water, \(T_{M}\) is the melting temperature, and \(c_{p^{*}}\) is the specific heat of sea water.
For the two-phase case, we get the following systems:
for \((t,x)\in (0,\infty )\times \varOmega \), κ, D are constants. The boundary and initial conditions are
Now we make some assumptions. We assume that all functions depend on the variables \(x_{1}\) and t and, to simplify the notation, denote \(x_{1}\) by x. The set Ω is a bounded open interval. We write \(Q_{T_{e}}:=(0,T_{e})\times \varOmega \), where \(T_{e}\) is a positive constant, and define
for \(\mathbb{Z}=\varOmega \) or \(\mathbb{Z}= Q_{T_{e}}\).
Then, under these assumptions, equations (1.2)–(1.3) in the case of one dimension can be rewritten as follows:
where \(\kappa =\frac{2e_{0}}{\tau _{1 2}}\). The boundary and initial conditions therefore are
Definition 1.1
Let \(p_{0}\in {H_{0}^{1}(\varOmega )}\), \(T _{0}\in {L^{2}(\varOmega )}\). A function \((p, T)\) with
is a weak solution to problem (1.8)–(1.13) if, for all \(\varphi \in {C_{0}^{\infty }}((-\infty ,T_{e})\times \varOmega )\), there hold
The main results of this article are as follows.
Theorem 1.1
For all \(p_{0}\in {H_{0}^{1}}(\varOmega )\) and \(T_{0}\in {L^{2}(\varOmega )}\), there exists a unique weak solution \((p, T)\) of problem (1.8)–(1.13), which in addition to (1.14)–(1.15) satisfies
Theorem 1.2
Assume that \(p_{0}\in {H^{2}(\varOmega )}\), \(T_{0}\in {H_{0}^{1}(\varOmega )}\), then there exists a weak solution \((p, T)\) of problem (1.8)–(1.13), which in addition to (1.14)–(1.15) satisfies
Remark
Assume that \(p_{0}\in {H^{k}(\varOmega )}\), \(T_{0}\in {H^{k-1}(\varOmega )}\), regularity will continue to improve, when k is sufficiently large, then weak solution becomes the classical solution.
Definition 1.2
Let X be a Banach space. A one-parameter family \(S(t)\), \(0\leq {t}<\infty \), of bounded linear operators from X into X is a semigroup bounded linear operator on X if
-
(i)
\(S(0)=I\) (I is an identity operator on X),
-
(ii)
\(S(s+t)=S(s)S(t)\) for every \(t,s\geq {0}\) (the semigroup property).
Theorem 1.3
Let Ω denote an open bounded set of \(\mathbb{R}\) and \(g_{1}\) denote a polynomial. The semigroup \(p(t)\) associated with the initial-boundary-value problem (1.8)–(1.13) possesses a maximal attractor \(\mathscr{A}\) which is bounded in \(H_{0}^{1}(\varOmega )\), compact and connected in \(L^{2}(\varOmega )\). Its basin of attraction is the whole space \(L^{2}(\varOmega )\), \(\mathscr{A}\) attracts the bounded sets of \(L^{2}(\varOmega )\). Assume that the coefficient is suitably large. Then \(\Vert p\Vert _{L^{\infty }(\varOmega )}\) and \(\Vert T\Vert ^{2}\) decrease exponentially to 0 as \(t\rightarrow \infty \).
Notation
Let Ω be a domain in \(\mathbb{R}^{n}\), and let r be a positive real number. We denote by \(L^{p}(\varOmega )\) the class of all measurable functions u defined on Ω for which
The Sobolev space \(W^{k, r}(\varOmega )\) is defined by
where k is any positive integer and \(D^{\alpha }u\) is the weak partial derivative. \(\Vert \cdot \Vert \), \(\vert \cdot \vert \), C, \(\mathscr{A}\), \(S(t)\) denote \(L^{2}(\varOmega )\)-norm, the absolute value, various constants, attractor, semigroup, respectively; \(\partial _{t}\) or \(\frac{d}{dt}\) or a subscript t and \(\partial _{x}\) or a subscript x denote the derivative with respect to t and x in the distribution sense, respectively.
The remaining sections are devoted to the proof of Theorem 1.1, Theorem 1.2, and Theorem 1.3. In order to obtain the local solution of the initial-boundary value problem for nonlinear equations (1.8)–(1.13), we construct the approximate sequence
We prove the existence of weak solutions by iterative method: Choose a known approximate solution \(p^{n-1}\), \(T^{n-1}\) and determine the next \(p^{n}\), \(T^{n}\) by solving equations to (1.8)–(1.9), proving existence solution by using of Banach’s fixed point theorem. When we regard the term \(p^{n}\) in (1.9) as known by use of solution of (1.8), a solution will be obtained if convergence of this procedure can be shown. In Sect. 2 we shall establish some a priori estimates for the solution.
We will discuss the regularity of our weak solutions p, T for the parabolic systems in Sect. 3.
Section 4 is devoted to investigation of the large time behavior of a solution by using the a priori estimates.
2 A priori estimates
In this section we establish a priori estimates for solutions \((p,T)\) to the initial-boundary value problem (1.8)–(1.13).
Lemma 2.1
There holds, for any \(t\in [0,T_{e}]\),
Proof
Multiplying (1.8), (1.9) by \(p_{t}\), \(2\kappa {T}\) and integrating by parts with respect to \(x\in \varOmega \),
Integrating (2.2) in \(\tau \in [0,t]\), we have
Thus we obtain \(p_{t}\in {L^{2}(Q_{t})}\), \(p\in {L^{\infty }(0,t;H _{0}^{1}(\varOmega ))}\cap {L^{4}(Q_{t})}\), \(T\in {L^{\infty }(0,t;L^{2}( \varOmega ))}\cap L^{2}(0,t; H_{0}^{1}(\varOmega ))\). □
Lemma 2.2
There holds, for any \(t\in [0,T_{e}]\),
Proof
Noting that \(f\vert _{\partial \varOmega }=0\), we have the Gagliardo–Nirenberg inequality in the form
We have
Using equations (1.8), (1.9), we have
Taking the \(L^{2}(\varOmega )\)-norm on both sides of equation (2.7), squaring and integrating it in \(\tau \in (0,t)\), using relation (2.1), we have
Next we invoke the inequality
for constants \(\beta >{0}\), \(\gamma \geq {0}\). Integrating (2.9) in \(\tau \in (0,t)\), we have
It remains to show that \(T_{t}\in {L^{2}(0,t;H^{-1}(\varOmega ))}\). To do so, (2.8) is changed to
Thus
and \(T_{t}\) is bounded in \({L^{2}(0,t;H^{-1}(\varOmega ))}\).
We have the solution p, T of (1.8), (1.9). This allows us to extend the solution p, T step-by-step to all of \(T_{e}\). □
Theorem 2.1
(Uniqueness)
Assume that p and T are the weak solution of (1.8)–(1.9). Then the weak solution is unique.
Proof
If p̃, T̃ are another solution, write \(w_{1}:=p-\widetilde{p}\), \(w_{2}:=T-\widetilde{T}\). Setting \(\varphi =w _{1}\) in (1.16), \(\varphi =w_{2}\) in (1.17) and integrating by parts, by using Young’s inequality, we have
(2.10) is changed to
By using of Gronwall’s inequality, we obtain \(p=\widetilde{p}\) for almost everywhere \(Q_{T_{e}}\).
(2.11) is changed to
we obtain \(T=\widetilde{T}\) for almost everywhere \(Q_{T_{e}}\). □
3 Regularity
In this section we discuss the regularity of the weak solutions p, T to the initial-boundary value problem for parabolic-parabolic systems in Sect. 1. Assume that all conditions in Sect. 1 are met and \(p_{0}\in {H^{2}(\varOmega )}\), \(T_{0}\in {H_{0}^{1}( \varOmega )}\). For this initial \(p_{0}\in {H^{2}(\varOmega )}\), \(T_{0}\in {H_{0}^{1}(\varOmega )}\), solutions p, T can be constructed as in Sect. 2. Our eventual goal is to prove that p, T is smooth.
Lemma 3.1
There holds, for any \(t\in [0,T_{e}]\),
Proof
Differentiating (1.8) formally with respect to t yields
Multiplying (3.3) by \(-T_{xx}\) and integrating by parts with respect to x over Ω, we have
Thus
Integrating (3.4) in \(\tau \in (0,t)\), we have
(3.3) be changed to
We use the result of regularity theory of elliptic equations
Squaring and integrating (3.6) in \(\tau \in (0,t)\), we have
we obtain \(T\in {L^{2}(0,T_{e};H^{2}(\varOmega ))}\).
Squaring and integrating (3.3) in Ω, we have
Integrating (3.8) in \(\tau \in (0,t)\), we have
we obtain \(T_{t}\in {L^{2}(Q_{T_{e}})}\).
Multiplying (3.2) by \(p_{t}\) and integrating by parts with respect to x over Ω, we have
Thus
We thereupon conclude from (3.10) that
Multiplying (1.8) by \(p_{xx}\) and integrating it in \(x\in {\varOmega }\), we have
Next we invoke the inequality
for constants \(\beta >{0}\), \(\gamma \geq {0}\).
We thereupon conclude from (3.12) that
we obtain \(p\in {L^{\infty }(0,T_{e};H^{2}(\varOmega ))}\).
It remains to show that \(p_{tt}\in {L^{2}(0,T_{e};H^{-1}(\varOmega ))}\). To do so, equation (3.2) is changed to
Thus
and so \(p_{tt}\) is bounded in \({L^{2}(0,T_{e};H^{-1}(\varOmega ))}\). □
4 Global attractor
In this section we discuss the existence of a global attractor and the stability of solution to problem (1.8)–(1.13). This amounts to proving that the solutions of the evolution problem remain bounded as \(t\rightarrow \infty \). Usually, proving the existence of absorbing sets amounts to proving a priori estimates. Once the properties of the semigroup are established, we may apply the general results of the attractor. That theorem produces the existence of an attractor which is maximal among the bounded attractors and among the bounded functional invariant sets; it fully describes the long-time behavior of the solutions of the equations.
4.1 Global attractor
Let
be a polynomial with a positive leading coefficient. Using Young’s inequality, we infer from (4.1) the existence of a constant \(c_{1}>0\) such that
and hence
Lemma 4.1
(The uniform Gronwall Lemma)
Let g, h, y be three positive locally integral functions on \((t_{0},\infty )\) such that \(y^{\prime }\) is locally integrable on \((t_{0},\infty )\), and which satisfies
where r, \(a_{1}\), \(a_{2}\), \(a_{3}\) are positive constants. Then
Proof of Theorem 1.3
(a) Absorbing set in \(L^{2}(\varOmega )\) of p. Using relation (4.3), we obtain, multiplying (1.8) by p and integrating by parts with respect to x over Ω, where we take the boundary condition (1.10) into account, that for almost all t
\(\vert \varOmega \vert =\) the measure (volume) of Ω. Due to Poincaré’s inequality, there exists a constant \(c_{0}=c_{0}(\varOmega )\) such that
and setting \(c_{2}=4c_{1}\vert \varOmega \vert \), we infer from (4.4) that
where \(\epsilon =\frac{2\varepsilon _{1 2}^{2}}{c_{0}^{2}\tau _{1 2}}-2 \varepsilon >0\).
Using the uniform Gronwall Lemma 4.1 we see that
Thus
There exists an absorbing set \(\mathscr{B}_{0}\) in \(L^{2}(\varOmega )\), namely, any ball of \(L^{2}(\varOmega )\) centered at 0 of radius \(\rho _{0}^{\prime }>\rho _{0}\). If \(\mathscr{B}\) is a bounded set of \(L^{2}(\varOmega )\), included in a ball \(B(0,R)\) of \(L^{2}(\varOmega )\) centered at 0 of radius R, then \(S(t)\mathscr{B}\subset {B(0,\rho _{0}^{\prime })}\) for \(t\geq {t_{0}(\mathscr{B};\rho _{0}^{\prime })}\)
We also infer from (4.4), after integration in t, that
With (4.6) we conclude that
and if \(p_{0}\in \mathscr{B}\subset {B(0,R)}\) and \(t\geq {t_{0}( \mathscr{B},\rho _{0}^{\prime })}\), then
(b) Absorbing set in \(H_{0}^{1}(\varOmega )\) of p. We now prove the existence of an absorbing set in \(H_{0}^{1}(\varOmega )\) and the uniform compactness of \(S(t)\). For that purpose we need another energy-type equality; it is obtained by multiplying (1.8) by \(-p_{xx}\) and integrating by parts with respect to x over Ω, where we take the boundary condition (1.10) into account, that for almost all t
As in (4.3), we can prove with repeated applications of Young’s inequality that there exists \(c_{2}^{\prime }>0\) such that
We also infer from general results on the Dirichlet problem in Ω that \(\vert \triangle {p}\vert \) is, on \(H_{0}^{1}(\varOmega )\cap {H ^{2}(\varOmega )}\), a norm equivalent to that induced by \(H^{2}(\varOmega )\).
Setting \(c_{3}^{\prime }=\frac{3}{4\tau _{1 2}a_{1 2}}>0\), we then deduce from (4.12)
where \(\epsilon ^{\prime }=\frac{\frac{2\varepsilon _{1 2}^{2}}{\tau _{1 2}}-2 \varepsilon }{c_{0}^{\prime 2}}-2c_{2}^{\prime }>0\). If \(p_{0}\in {H_{0}^{1}( \varOmega )}\), then the uniform Gronwall Lemma 4.1 shows that
A bound valid for all \(t\in {R^{+}}\) is obtained by application of the uniform Gronwall lemma; for arbitrary fixed \(r>0\), we write (4.13)
Multiplying by \(e^{-2c_{2}^{\prime }t}\), we obtain the relation
Then, by integration between t and \(t+r\), we have
provided
An explicit value of \(a_{3}\) can be derived from (4.4) and the computation above when \(t_{*}=0\). Hence (4.15) provides a uniform bound for \(p_{x}\), \(t>r\), while (4.13) provides a uniform bound for \(p_{x}\) for \(0< t< r\). For our purpose, it is simpler and sufficient to set \(t_{*}=t_{0}\), in which case, the value of \(a_{3}\) is given by (4.10),
It follows that the ball of \(H_{0}^{1}(\varOmega )\) centered at 0 of radius \(\rho _{1}\) is absorbing in \(H_{0}^{1}(\varOmega )\), when
and if \(p_{0}\) belongs to the ball \(B(0,R^{\prime })\) of \(H_{0}^{1}(\varOmega )\) centered at 0 of radius r, then \(p(t)\) enters this absorbing set denoted by \(\mathscr{B}_{1}\) at a time \(t\leq {t_{0}}+r\) and remains in it for \(t\geq {t_{0}}+r\). At the same time, this result provides the uniform compactness of \(S(t)\): any bounded set \(\mathscr{B}\) of \(L^{2}(\varOmega )\) is included in such a ball \(B(0,R^{\prime })\), and for \(p_{0}\in \mathscr{B}\) and \(\geq {t_{0}}+r\), \(t_{0}\), r as above, \(p(t)\) belongs to \(\mathscr{B}_{1}\) which is bounded in \(H_{0}^{1}( \varOmega )\) and relatively compact in \(L^{2}(\varOmega )\).
(c) Absorbing set in \(L^{2}(\varOmega )\) of T. Making use of relations (4.10) and (4.15), we obtain
Squaring and integrating (1.8) over Ω, we have
Integrating (4.17) in \(\tau \in (t,t+r)\), we have
We multiply (1.9) by T and integrate by parts with respect to x over Ω, where we take the boundary condition (1.11) into account, that for almost all t
Due to Poincaré’s inequality, there exists a constant \(c_{0}=c _{0}(\varOmega )\) such that
We infer from (4.18) that
Using the uniform Gronwall lemma, we see that
Thus
There exists an absorbing set \(\mathscr{B}_{2}\) in \(L^{2}(\varOmega )\), namely, any ball of \(L^{2}(\varOmega )\) centered at 0 of radius \(\rho _{2}^{\prime }>\rho _{2}\). If \(\mathscr{B}\) is a bounded set of \(L^{2}(\varOmega )\), included in a ball \(B(0,R)\) of \(L^{2}(\varOmega )\) centered at 0 of radius R, then \(S(t)\mathscr{B}\subset {B(0,\rho _{2}^{\prime })}\) for \(t\geq {t_{0}(\mathscr{B};\rho _{2}^{\prime })}\)
We also infer from (4.18), after integration in t, that
With (4.19) we conclude that
and if \(T_{0}\in \mathscr{B}\subset {B(0,R)}\) and \(t\geq {t_{1}}( \mathscr{B},\rho _{2}^{\prime })\), then
 □
4.2 Large-time behavior of the solutions
Lemma 4.2
Let \(f=f(t)\), which satisfies \(f\in {L^{1}(\mathbb{R}^{+})}\), \(\frac{df}{dt}\in {L^{1}(\mathbb{R}^{+})}\), and
Then
Theorem 4.1
Let \(p=p(t,x)\), \(T=T(t,x)\), \(\Vert p\Vert ^{2}\in {L^{1}(\mathbb{R}^{+})}\), \(\frac{d}{dt}\Vert p\Vert ^{2}\in {L^{1}(\mathbb{R}^{+})}\), \(\Vert T\Vert ^{2}\in {L^{1}(\mathbb{R}^{+})}\), \(\frac{d}{dt}\Vert T\Vert ^{2}\in {L^{1}(\mathbb{R} ^{+})}\), and
Then
Proof
Multiplying (1.8) by p and integrating by parts with respect to x over Ω, we have
where \(\alpha =\frac{\varepsilon _{1 2}^{2}}{\tau _{1 2}}-\varepsilon -cc _{0}>0\). Integrating (4.22) in \(\tau \in (0,t)\), we have
Thus we obtain
Multiplying (1.8) by \(-p_{xx}\) and integrating by parts with respect to x over Ω, we have
where \(\beta =\frac{\varepsilon _{1 2}^{2}}{\tau _{1 2}}-\varepsilon >0\). Integrating (4.25) in \(\tau \in (0,t)\), using relations (4.23) and (4.24), we have
Thus we obtain
Multiplying (1.8) by \(-p_{xx}\) and integrating by parts with respect to x over Ω, we have
Taking the absolute value on both sides of equation (4.28) and integrating it in \(\tau \in (0,t)\), using relations (4.26), (4.27), we have
Thus we obtain
By use of Lemma 4.2 and relations (4.23), (4.30), we obtain
By use of Poincaré’s inequality, since \(p\in {H_{0}^{1}(\varOmega )}\), we have
Multiplying (1.9) by T and integrating by parts with respect to x over Ω, we have
where \(D-\varepsilon >0\). Integrating (4.33) in \(\tau \in (0,t)\), we get
Multiplying (1.9) by T and integrating by parts with respect to x over Ω, we have
where \(\frac{D}{c_{0}^{2}}-\varepsilon >0\). Integrating (4.35) in \(\tau \in (0,t)\), we have
Taking the absolute value on both sides of equation (4.33) and integrating it in \(\tau \in (0,t)\), using relation (4.34), we have
Since \(T\vert _{\partial {\varOmega }}=0\), we have
 □
5 Conclusion
With the help of Banach’s fixed point theorem, we prove the existence of weak solutions and study the regularity of weak solutions for the phase-field model. Also we study the existence of a global attractor for this simplified model and investigate the large time behavior of weak solutions.
References
Feltham, D.: Arctic sea ice reduction: evidence, models and impacts. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. (2015). https://doi.org/10.1098/rsta.2014.0171
Mernild, S.H., Mote, T.L., Liston, G.E.: Greenland ice sheet surface melt extent and trends: 1960–2010. J. Glaciol. 57(204), 621–627 (2011)
Stroeve, J.C., Markus, T., Boisvert, L., Miller, J., Barrett, A.: Changes in Arctic melt season and implications for sea ice loss. Geophys. Res. Lett. 41(4), 1216–1225 (2014)
Alber, H.-D., Zhu, P.: Solutions to a model for interface motion by interface. Proc. R. Soc. Edinb. 138A, 923–955 (2008)
Kobayashi, R.: Modeling and numerical simulations of dendritic crystal growth. Physica D 63, 410–423 (1993)
Leppäranta, M.: A review of analytical models of sea-ice growth. Atmos.-Ocean 31(1), 123–138 (1993)
Freita, J., Eicken, H.: Meltwater circulation and permeability of Arctic summer sea ice derived from hydrological field experiments. J. Glaciol. 166, 349–358 (2003)
Mcguinness, M.J.: Modelling sea ice growth. ANZIAM J. 50, 306–319 (2009)
Kawano, Y., Ohashi, T.: A mesoscopic numerical study of sea ice crystal growth and texture development. Cold Reg. Sci. Technol. 57, 39–48 (2009)
Notz, D., Grae Worster, M.: A one-dimensional enthalpy model of sea ice. Ann. Glaciol. 44, 123–128 (2006)
Acknowledgements
IÂ gratefully acknowledge the help of Professor Peicheng Zhu, he has offered me valuable suggestion in this study. The author would like to deeply thank all the reviewers for their insightful and constructive comments.
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
Funding
This article is in part supported by start-up grant for 1000-plan scholar from Shanghai University, P.R. China.
Author information
Authors and Affiliations
Contributions
The author carried out the paper and drafted the manuscript. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tang, Y. Solutions to a phase-field model of sea ice growth. Bound Value Probl 2019, 24 (2019). https://doi.org/10.1186/s13661-019-1134-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1134-z