State-constrained optimal control of phase-field equations with obstacle
© Zheng et al.; licensee Springer. 2013
Received: 23 June 2013
Accepted: 25 September 2013
Published: 8 November 2013
This paper is concerned with an optimal control problem for the phase-fieldtransition system with state constraint and obstacle. After showing the relationshipbetween the control problem and its approximation, we derive Pontryagin’smaximum principle for an optimal control of our original problem by using one of theapproximate problems.
MSC: 49K20, 49J20, 74N25.
Keywordsphase-field transition system optimal control Pontryagin’s maximum principle
where Ω is a bounded domain in ()with a smooth boundary ∂ Ω, ,denote given parameters, is the subdifferential of the indicator function on the closed interval , Bw is a givenforcing term on Q, is the outward normal derivative on ∂ Ω and , aregiven initial datums.
System (1.1) is a simplified model for a class of solid-liquid phase change problems. Inthe context of solid-liquid phase transitions, v and u represent theabsolute temperature and the order parameter which indicates the physical situation ofthe system, respectively. Therefore it is natural to assume that the range of uis bounded, say the closed interval in this paper, and denoting the range of the order parameteru is assumed to be a compact interval , and mean,respectively, that the physical situation at is of pure solid and pure liquid, while means that thephysical situation at is mushy.
A great deal of research has been done on the phase-field transition system, for whichwe refer to the book by Temam  and thereferences therein. Without the term , system (1.1) is the standard phase field modelwhich was studied in [2, 3].One of the most important characteristics of our model is the nonlinear term (obstacle) which allows the coexistence of purephases in the dynamical phase transition process. The existence and uniqueness ofsolution for the phase field model with obstacle were discussed in [4–8]. In particular, the asymptotic behaviorof solutions to the non-isothermal phase-field transition system with obstacle wasconsidered in  and . Recently, the Caginalp phase-field system with coupleddynamic boundary conditions, including the singular potentials, was presented in and .
Throughout this paper, the Hilbert space is equipped with the usualinner product and the norm.Define a closed subspace ofH by . We putwith ,where . If we identifyand with their dual space, then we have and ,where is the duality space of .
Throughout the paper, we suppose that the following assumptions hold.
Let U be a real Hilbert space, be a linear continuousoperator. Assuming that Z is a Banach space with the dualstrictly convex, let be aclosed convex subset with finite co-dimensionality.
(H1) is in the class of.
(H4) and there exists a constant such that forany .
satisfying (1.1) is called a feasible pair, where .
The first question regarding problem (P) is if there is an admissible solution,i.e., if the set is nonempty. Taking into account  similarly,we may assume in the sequel that for , problem (P)admits at least one admissible solution.
Optimal control problems of the phase transition system have been studied by severalauthors (for instance, see [12–16]). In particular, let and in(1.1), the optimal boundary controls for a phase field model and the state-constrainedoptimal control for the phase-field transition system were considered in  and ,respectively. In , based on the energyestimates and the compact method, Ryu and Yagi considered the optimal control problemsof the adsorbate-induced phase transition model. It is noted that the optimal controlwithout state constraint or without obstacle of the phase field model was discussed in[14, 17–20].
To the best of our knowledge, there are few papers concerned with the optimal controlproblems for the phase-field with obstacle although it is natural to have the obstaclein the solid-liquid phase transitions and related physics models, since the obstacle brings the essential difficulty in gettingPontryagin’s maximum principle for corresponding models.
We state the maximum principle as follows.
Moreover, ifis injective,then.
The rest of this paper is organized as follows. In Section 2, we provide existenceresults and a priori estimates in the form that is required to obtainPontryagin’s maximum principle for problem (P). Besides the existence ofan optimal control in problem (),necessary optimality conditions for this problem and for problem (P) are provedin Section 3.
2 The approximation problem
This section is to show the existence of the optimal control of the approximationproblem corresponding to the phase transition system. To this end, we first show sometechnical lemmas, which are presented below for the sake of completeness.
Now we may combine the estimates (2.8), (2.10), (2.12), (2.13) and (2.18) to concludethe results. This completes the proof. □
whereisindependent of ε, n.
Employing almost exactly the same arguments as in the proof of Lemma 2.1, weconclude the results (2.20)-(2.22). Furthermore, by a standard argument in, we get a.e. in . This completes theproof. □
is the approximations of g, where, is amollifier in ,is the projection of H on , which isthe finite dimensional space generated by , isan orthonormal basis in H, is the operator defined by ,.
First of all, we show the existence of optimal solutions for ().
Lemma 2.3 ()has at least one optimal solution.
Finally, (2.28) and (2.32)-(2.34) imply that is the optimal pair forproblem ().This concludes the proof of Lemma 2.3. □
This completes the proof. □
3 The optimality condition for () and(P)
In the following we derive the optimality condition for problem (P) by showingthe relation between approximation problem () andproblem (P). We start this section with the necessary conditions forto be optimal for ().
whereisthe sub-differential of.
which implies (3.2). This completes the proof. □
Using Lemma 2.2, we may pass to the limit in (3.2) and derive(1.3)1.
which together with (3.19) and Lemma 2.2 implies (1.3)2 (the secondinequality of (1.3)).
Since isa closed convex subset with finite co-dimensionality, so is , which together with (3.25)and (3.26) implies that .
Assuming that is injective and, thanks to (1.2), wederive ,which yields and . This is a contradictionwith . Thus, if is injective, then. We completethe proof. □
- Temam R Applied Mathematical Sciences. In Infinite-Dimensional Dynamical Systems in Mechanics and Physics. 2nd edition. Springer, New York; 1997.View ArticleGoogle Scholar
- Elliott C, Zheng S: Global existence and stability of solutions to the phase field equations. Intern. Ser. Numer. Math. 95. In Free Boundary Problems. Birkhäuser, Basel; 1990:48-58.Google Scholar
- Penrose O, Fife PC: Thermodynamically consistent models of phase-field type for the kinetics of phasetransitions. Physica D 1990, 43: 44-62. 10.1016/0167-2789(90)90015-HMathSciNetView ArticleMATHGoogle Scholar
- Damlamian A, Kenmochi N, Sato N: Phase field equations with constraints. Gakuto. Inter. Ser. Math. Sci. Appl. In Nonlinear Mathematical Problems in Industry. Gakkotosho, Tokyo; 1993:391-404.Google Scholar
- Damlamian AL, Kenmochi N: Evolution equations associated with non-isothermal phase separation:subdifferential approach. Ann. Mat. Pura Appl. 1999, 4: 167-190.MathSciNetView ArticleGoogle Scholar
- Ito A, Kenmochi N: Asymptotic behaviour of solutions to phase field models with constraints. Funkc. Ekvacioj 1996, 39: 123-142.MathSciNetMATHGoogle Scholar
- Ito A, Kenmochi N: Asymptotic behaviour of solutions to non-isothermal phase separation model withconstraint in one-dimensional space. J. Math. Soc. Jpn. 1998, 50: 491-519. 10.2969/jmsj/05020491MathSciNetView ArticleMATHGoogle Scholar
- Kenmochi N: Systems of nonlinear PDEs arising from dynamical phase transitions. Lecture Notes in Math. 1584. In Phase Transitions and Hysteresis. Edited by: Visintin A. Springer, Berlin; 1994:39-86.View ArticleGoogle Scholar
- Conti M, Gatti S, Miranville A: Asymptotic behavior of the Caginalp phase-field system with coupled dynamicboundary conditions. Discrete Contin. Dyn. Syst., Ser. S 2012, 5: 485-505.MathSciNetView ArticleMATHGoogle Scholar
- Grasselli M, Miranville A, Schimperna G: The Caginalp phase-field system with coupled dynamic boundary conditions andsingular potentials. Discrete Contin. Dyn. Syst. 2010, 28: 67-98.MathSciNetView ArticleMATHGoogle Scholar
- Barbu V: Local controllability of the phase field system. Nonlinear Anal., Theory Methods Appl. 2002, 50: 363-372. 10.1016/S0362-546X(01)00767-2MathSciNetView ArticleMATHGoogle Scholar
- Colli P, Gilardi G, Podio-Guidugli P, Sprekels J: Distributed optimal control of a nonstandard system of phase field equations. Contin. Mech. Thermodyn. 2012, 24: 437-459. 10.1007/s00161-011-0215-8MathSciNetView ArticleMATHGoogle Scholar
- Chen Z: Optimal boundary controls for a phase field model. IMA J. Math. Control Inf. 1993, 10: 157-176. 10.1093/imamci/10.2.157View ArticleMATHGoogle Scholar
- Lefter C, Sprekels J: Optimal boundary control of a phase field system modeling non-isothermal phasetransitions. Adv. Math. Sci. Appl. 2007, 17: 181-194.MathSciNetMATHGoogle Scholar
- Moroşanu C, Wang G: State-constrained optimal control for the phase-field transition system. Numer. Funct. Anal. Optim. 2007, 28: 379-403. 10.1080/01630560701250119MathSciNetView ArticleMATHGoogle Scholar
- Ryu S-U, Yagi A: Optimal control for an adsorbate–induced phase transition model. Appl. Math. Comput. 2005, 171: 420-432. 10.1016/j.amc.2005.01.044MathSciNetView ArticleMATHGoogle Scholar
- Benincasa T, Favini A, Moroşanu C: A product formula approach to a nonhomogeneous boundary optimal control problemgoverned by nonlinear phase-field transition system part II: Lie-Trotter productformula. J. Optim. Theory Appl. 2011, 148: 31-45. 10.1007/s10957-010-9743-9MathSciNetView ArticleMATHGoogle Scholar
- Horn, W, Sokolowskiy, J, Sprekels, J: Control problems with state constraints forthe Penrose-Fife phase-field model. Weierstrass-Inst. für Angewandte Analysisund Stochastik (1995)Google Scholar
- Wang Q, Nakagiri S: Research Institute for Mathematical Sciences Kokyuüroku. 2000, 1128: 172-180.MathSciNetMATHGoogle Scholar
- Zheng S: Global existence for a thermodynamically consistent model of phase field type. Differ. Integral Equ. 1992, 5: 241-253.MATHGoogle Scholar
- Ohtsuka T, Shirakawa K, Yamazaki N: Optimal control problem for Allen-Cahn type equation associated with totalvariation energy. Discrete Contin. Dyn. Syst. 2012, 5: 159-181.MathSciNetView ArticleMATHGoogle Scholar
- Barbu V: Analysis and control of nonlinear infinite dimensional systems. In Mathematics in Science and Engineering Edited by: Ames WF. 1993. Georgia Institute of TechnologyGoogle Scholar
- Barbu V: Optimal Control of Variational Inequalities. Pitman Research Notes in Mathematics, Boston; 1984.MATHGoogle Scholar
- Lions JL: Optimal Control of Systems Governed by Partial Differential Equations. Springer, Berlin; 1971.View ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative CommonsAttribution License (http://creativecommons.org/licenses/by/2.0), which permitsunrestricted use, distribution, and reproduction in any medium, provided the originalwork is properly cited.