Abstract
In this paper we study an optimal control problem for a doubly nonlinear evolution equation governed by time-dependent subdifferentials. We prove the existence of solutions to our equation. Also, we consider an optimal control problem without uniqueness of solutions to the state system. Then, we prove the existence of an optimal control which minimizes the nonlinear cost functional. Moreover, we apply our general result to some model problem.
N. Yamazaki—This work was supported by Grant-in-Aid for Scientific Research (C) No. 26400164 and No. 26400179, JSPS.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
The present paper is concerned with an optimal control problem without uniqueness of solutions to a doubly nonlinear evolution equation governed by time-dependent subdifferentials in a real Hilbert space H.
In our optimal control problem, for each control f, the state system (P; f) is as follows:
State system (P; f ):
where \(0<T< \infty \), \(u'=du/dt\) in H, \( \psi ^t :H\rightarrow {{\mathbb {R}}}\cup \{\infty \}\) is a time-dependent proper, l.s.c. (lower semi-continuous), convex function for each \(t \in [0,T]\), \( \varphi :H\rightarrow {{\mathbb {R}}}\cup \{\infty \}\) is a time-independent proper, l.s.c., convex function, \( \partial \psi ^t \) and \( \partial \varphi \) are their subdifferential in H, \(g(\cdot )\) is a single-valued Lipschitz operator in H, f is a given H-valued control function and \(u_0 \in H \) is a given initial data.
In this present paper, we consider the optimal control problem without uniqueness of solutions to the state system (P; f). To this end, let V be a real Hilbert space such that the embedding \(V\hookrightarrow H\) is dense and compact. Then, we study the following optimal control problem without uniqueness of solutions to (P; f):
Problem (OP): Find the optimal control \( f^* \in {{\mathcal {F}}}\) such that
Here \({{\mathcal {F}}}:=W^{1,2}(0,T;H)\cap L^2(0,T;V)\) is the control space and J(f) is the cost functional defined by
where \(f \in {{\mathcal {F}}}\) is the control, S(f) is the set of all solutions to (P; f) with the control function f. Also, u is a solution to the state system (P; f) and \(\pi _f(u) \) is its functional defined by
where \( u_{ad} \in L^2 ( 0,T ; H)\) is a given target profile and \( | \cdot |_H\) (resp. \( | \cdot |_V\)) is the norm of H (resp. V).
There is vast literature on optimal control problems to (parabolic or elliptic) variational inequalities. For instance, we refer to [5, 10, 11, 17,18,19, 23]. In particular, Lions [18] and Neittaanmäki et al. [19, Sect. 3.1.3.1] discussed the singular control problems, which is the class of control problems characterized by not well-posed state systems.
The theory of nonlinear evolution equations are useful in the systematic study of variational inequalities. For instance, many mathematicians studied the nonlinear evolution equation of the form:
where \( \varphi ^t(\cdot ): H \rightarrow {{\mathbb {R}}} \cup \{ \infty \}\) is a proper, l.s.c. and convex function. For various aspects of (1.4), we refer to [11, 14, 20, 22]. In particular, Hu–Papageorgiou [11] studied the optimal control problems to (1.4).
Also, doubly nonlinear evolution equations were studied. For instance, Kenmochi–Pawlow [15] studied the following type of doubly nonlinear evolution equations:
where \( \psi (\cdot ): H \rightarrow {{\mathbb {R}}} \cup \{ \infty \}\) is a proper, l.s.c. and convex function. The abstract results of doubly nonlinear evolution Eq. (1.5) can be applied to elliptic-parabolic equations. Therefore, from the view point of (1.5), Hoffmann et al. [10] studied optimal control problems for quasi-linear elliptic-parabolic variational inequalities with time-dependent constraints. Also, Kadoya–Kenmochi [12] studied the optimal sharp design of elliptic-parabolic equations.
On the other hand, Akagi [1], Arai [2], Aso et al. [3, 4], Colli [8], Colli–Visintin [9], Senba [21] investigated the following type of doubly nonlinear evolution Eq. (cf. (1.1)):
However, there was no result of optimal control for (1.1) and (1.6) since (1.1) and (1.6) are not well-posed state systems, in general. Therefore, by arguments similar to Kadoya et al. [13], more precisely, using the cost functional defined by (1.2) and (1.3), we establish the abstract theory of the optimal control problem (OP) without uniqueness of solutions to the state system (1.1).
The plan of this paper is as follows. In the next Sect. 2, we state the main result in this paper. In Sect. 3, we first give the sketch of the proof of solvability for (1.1). Also, we prove the convergence result (Proposition 3) of solutions to (P; f). Moreover, we prove the main result (Theorem 1) on the existence of the optimal control to (OP). In the final Sect. 4, we apply our abstract result to a parabolic PDE with Neumann boundary condition.
Notations
Throughout this paper, let H be a real Hilbert space with the inner product \((\cdot ,\cdot ) \) and norm \( | \cdot |_H\), respectively. Also, let V be a real Hilbert space with the norm \( | \cdot |_V\) such that the embedding \(V\hookrightarrow H\) is dense and compact.
Let us here prepare some notations and definitions of subdifferential of convex functions. To this end, let E be a real Hilbert space with the inner product \( (\cdot , \cdot )_E\). Then, for a proper (i.e., not identically equal to infinity), l.s.c. and convex function \(\phi :E\rightarrow {\mathbb R}\cup \{ \infty \}\), the effective domain \(D(\phi )\) is defined by
The subdifferential of \(\phi \) is a possibly multi-valued operator in E and is defined by \( z^*\in \partial \phi (z)\) if and only if
The next proposition is concerned with the closedness of maximal monotone operator \(\partial \phi \) in E.
Proposition 1
(cf. [7, Lemma 1.2]). Let E be a real Hilbert space with the inner product \( (\cdot , \cdot )_E\). Let \(\phi :E\rightarrow {\mathbb R}\ \cup \ \{ \infty \}\) be a proper, l.s.c. and convex function. Also, let \([z_n, z^*_n] \in \partial \phi \) and \( [z, z^*] \in \ E\times E\) be such that
Suppose that
Then, it follows that \( [z, z^*] \in \partial \phi \) and \( \lim _{n\rightarrow \infty } (z_n,z^*_n)_E = (z,z^*)_E \).
For various properties and related notions of the proper, l.s.c., convex function \( \phi \) and its subdifferential \( \partial \phi \), we refer to a monograph by Brézis [6].
2 Main Theorem
We begin by defining the notion of a solution to (P; f).
Definition 1
Given \( f \in L^2 ( 0 , T ; H)\) and \( u_0 \in H \), the function \( u : [0 , T ] \rightarrow H \) is called a solution to (P;f) on [0, T], if the following conditions are satisfied:
-
(i)
\( u \in W^{ 1 ,2 } ( 0 , T ; H ) \).
-
(ii)
There exist functions \(\xi \in L^2 ( 0 , T ; H)\) and \(\zeta \in L^2 ( 0 , T ; H)\) such that
$$\begin{aligned}&\xi (t) \in \partial \psi ^t(u'(t)) \ \textit{ in } H \quad \textit{ for a.e. } t \in (0, T ),\\&\zeta (t) \in \partial \varphi (u(t)) \ \textit{ in } H \quad \textit{ for a.e. } t \in (0, T ) \end{aligned}$$and
$$\begin{aligned} \xi (t)+\zeta (t) +g(u(t))=f(t) \ \textit{ in } H \quad \textit{ for a.e. } t \in (0, T ). \end{aligned}$$ -
(iii)
\( u(0 ) = u_0 \) in H.
Now, we give the assumptions on \( \psi ^t \), \(\varphi \) and g.
-
(A1) For each \( t \in [ 0 , T] \), \( \psi ^t ( \cdot ) : H \rightarrow {{\mathbb {R}} } \cup \{ \infty \} \) is a proper, l.s.c. and convex function. Also, \( \varphi ( \cdot ) : H \rightarrow {{\mathbb {R}} } \cup \{ \infty \} \) is a proper, l.s.c. and convex function.
-
(A2) There exists a positive constant \( C_1 > 0 \) such that
$$\begin{aligned} \psi ^t ( z) \ge C_1 | z |_H ^2 , \quad \forall t \in [ 0 , T] , \ \forall z \in D( \psi ^t ). \end{aligned}$$ -
(A3) There exists a positive constant \( C_2 > 0 \) such that
$$\begin{aligned} |z^*|_H^2\le C_2( \psi ^t ( z) +1), \quad \forall [z,z^*] \in \partial \psi ^t, \ \forall t \in [ 0 , T] . \end{aligned}$$ -
(A4) There are functions \(\alpha \in W^{1,2}(0,T)\) and \(\beta \in W^{1,1}(0,T)\) satisfying the following property: for any \( s,t \in [0,T]\) with \(s\le t \) and \( z\in D(\psi ^s)\), there exists \(\tilde{z} \in D(\psi ^t)\) such that
$$\begin{aligned} | \tilde{z} -z |_H \le | \alpha (t) - \alpha (s)| \left( 1 + \psi ^s (z) ^\frac{1}{2} \right) \!,\\ \psi ^t ( \tilde{z} ) - \psi ^s ( z) \le | \beta (t) - \beta (s)| \left( 1 + \psi ^s ( z) \right) \!. \end{aligned}$$ -
(A5) There exists a positive constant \( C_3 > 0 \) such that
$$\begin{aligned} \varphi ( z) \ge C_3 | z |_H ^2 , \quad \forall z \in D( \varphi ). \end{aligned}$$ -
(A6) For each \( r>0 \), the level set \( \{ z \in H ; \varphi ( z ) \le r \} \) is compact in H.
-
(A7) \(g:H\rightarrow H\) is a single-valued Lipschitz operator. Namely, there is a positive constant \( L_g > 0 \) such that
$$\begin{aligned} | g( z_1 ) - g(z_2 ) |_H\le L_g| z _1 -z_2 |_H, \quad \forall z_i \in H \ (i=1,2). \end{aligned}$$
Remark 1
The assumption (A4) is the standard time-dependence condition of convex functions (cf. [14, 20, 22]).
By a slight modification of [1, 3], we can prove the following existence result for problem (P;f). We give a sketch of its proof in Sect. 3.
Proposition 2
(cf. [1, Theorem 3.2], [3, Theorem 2.1]). Assume (A1)–(A7). Then, for each \( u_0\in D(\varphi ) \) and \( f\in L^2(0,T;H)\), there exists at least one solution u to (P;f) on [0, T]. Moreover, there exists a positive constant \( N_{0} > 0 \), independent of \( u_0 \), such that
Remark 2
Colli [8, Theorem 5] and Colli–Visintin [9, Remark 2.5] showed several criteria for the uniqueness of solutions to the following type of doubly nonlinear evolution equations:
For instance, if \(\partial \varphi \) is linear, positive, self-adjoint in H and \(\partial \psi \) is strictly monotone in H, we can show the uniqueness of solutions to (2.2). However, \( \partial \psi ^t \) and \(\partial \varphi \) in (1.1) are nonlinear and not self-adjoint, and hence, the uniqueness question to (1.1) is still open.
Now, we state the main result of this paper, which is directed to the existence of an optimal control to (OP) without uniqueness of solutions to (P;f).
Theorem 1
Assume (A1)–(A7) and \( u_0\in D(\varphi ) \). Let \( u_{ad} \) be an element in \(L^2 ( 0,T ; H)\). Then, (OP) has at least one optimal control \( f^* \in {{\mathcal {F}}} \) such that
3 Proof of Main Theorem 1
In this section, we give the sketch of the proof of Proposition 2 by arguments similar to Akagi [1] and Aso et al. [3]. Moreover, we prove Theorem 1.
Throughout this section, we suppose that all the assumptions of Theorem 1 hold.
Sketch of the proof of Proposition 2.
By arguments similar to Akagi [1] and Aso et al. [3], we can prove Proposition 2. In fact, for each \(\lambda \in (0,1]\), we consider the following approximate problem for (P;f), denoted by (P;f)\(_\lambda \):
where \(\partial \varphi _\lambda \) and \(J_\lambda ^\varphi :=(I+\lambda \partial \varphi )^{-1}\) denote the Yosida approximation and the resolvent of \(\partial \varphi \), respectively.
By Cauchy–Lipschitz–Picard’s existence theorem and the fixed point argument for compact operators (e.g. the Schauder’s fixed point theorem), we can prove the existence of solutions \( u_\lambda \) to (P; f)\(_\lambda \) on [0, T].
From the standard calculation, we can establish a priori estimate (cf. (2.1)) of solutions \( u_\lambda \) to (P; f)\(_\lambda \) with respect to \(\lambda \in (0,1]\). Therefore, by the limiting procedure of solutions \( u_\lambda \) to (P; f)\(_\lambda \) as \(\lambda \rightarrow 0\), we can construct the solution to (P; f) on [0, T] satisfying the boundedness estimate (2.1). For a detailed argument, see [1, Sects. 4 and 5] or [3, Sects. 3 and 4], for instance. \(\square \)
Here, let us mention the result of the convergence of solutions to (P; f), which is a key proposition to proving Theorem 1.
Proposition 3
Assume (A1)–(A7). Let \( \{ f_n \} \subset L^{2} ( 0,T ; H) \), \( \{ u_{0,n} \} \subset D( \varphi ) \), \( f \in L^{2} ( 0,T ; H) \) and \( u_{0 } \in D (\varphi ) \). Assume that
as \( n \rightarrow \infty \). Let \( u_n \) be a solution to (P;\(f_n \)) on [0, T] with initial data \( u_{0,n }\). Then, there exist a subsequence \( \{ n_k \} \subset \{ n \}\) and a function \( u \in W^{1,2} ( 0,T ; H)\) such that u is a solution to (P;f) on [0, T] with initial data \( u_{ 0 }\) and
Proof
From the bounded estimate (2.1), (A2), (A5) and the level set compactness of \(\varphi \) (cf. (A6)), we derive that there are a subsequence \( \{ n_k \} \) of \( \{ n \} \) and a function \( u \in W^{1,2} ( 0 ,T ; H ) \) such that \( n_k \rightarrow \infty \),
as \( k \rightarrow \infty \). Hence, we observe from (3.2) and (3.4) that \(u(0)=u_0\) in H.
Now, let us show that u is a solution of (P; f) on [0, T] with initial data \( u _0 \). Since \( u_{n_k} \) is a solution of (P\(;f_{n_k} ) \) on [0, T] with initial data \( u _{0,n_k} \), there exist functions \(\xi _{n_k} \in L^2 ( 0 , T ; H)\) and \(\zeta _{n_k} \in L^2 ( 0 , T ; H)\) such that
Then, it follows from (2.1) and (A3) that
Therefore, taking a subsequence if necessary (still denote it by \(\{n_k\}\)), we observe that:
Also, it follows from (A7) and (3.4) and that
Therefore, we infer from (3.1), (3.7), (3.8) and (3.10) that
Hence, taking a subsequence if necessary (still denote it by \(\{n_k\}\)), we observe that:
Thus, we infer from (3.1), (3.7), (3.9), (3.10) and (3.11) that:
Also, from (3.4), (3.6), (3.11) and the demi-closedness of maximal monotone operator \(\partial \varphi \) (cf. Proposition 1), we infer that
which implies that \( \zeta (t) \in \partial \varphi (u(t)) \) in H for a.e. \( t \in (0, T )\).
Now, we show that
From (3.1), (3.2) and (3.4)–(3.13) we observe that
thus, we observe from Proposition 1, namely, the closedness of maximal monotone operator \(\partial \psi ^t\) that
which implies that (3.14) holds. Therefore, we observe that u is a solution of (P; f) on [0, T] with initial data \( u _0 \). Thus, the proof of this proposition has been completed. \(\square \)
Now, let us prove the main Theorem 1 in our paper, which is the existence of an optimal control to (OP).
Proof of Theorem 1.
Note that we show the existence of an optimal control to (OP) without uniqueness of solutions to state problem (P; f)
Also note from (1.2) and (1.3) that \(J(f)\ge 0\) for all \(f\in {{\mathcal {F}}}\). Let \( \{ f_n \} \subset {{\mathcal {F}}} \) be a minimizing sequence such that
Then, we observe that \(\{J( f_n )\}\) is bounded. Therefore, by the definition (1.2) of \( J( f_n ) \), for each n there is a solution \(u_n \in {{\mathcal {S}}}(f_n)\) such that
Hence, we observe that \(\{\pi _{f_n}(u_n)\}\) is bounded. Thus, by the definition of \(\pi _{f_n}(u_n)\) (cf. (1.3)) and by the Aubin’s compactness theorem (cf. [16, Chapter1, Sect. 5]), there are a subsequence \( \{ n_k \} \subset \{ n \}\) and a function \( f^* \in {{\mathcal {F}}} \) such that
as \( k \rightarrow \infty \),
Now, taking a subsequence if necessary, we infer from Proposition 3 that there is a solution \( u^* \) to (P;\(f^* \)) on [0, T] with initial data \(u_0\) satisfying
Therefore, it follows from (3.15)–(3.16), \( u^* \in {{\mathcal {S}}}(f^*) \) and the weak lower semicontinuity of \(L^2\)–norm that
Hence, we have \( d^*=\inf _{ f\in {{\mathcal {F}}} } J(f)=J(f^*)\), which implies that \( f^* \in {{\mathcal {F}}} \) is an optimal control to (OP). Thus, the proof of Theorem 1 has been completed. \(\square \)
4 Application
In this section, we apply Theorem 1 to the simple model problem as follows:
where \(0<T< \infty \), \(\varOmega \) is a bounded domain in \( {{\mathbb {R}}}^N \) \( (1 \le N < \infty )\), the boundary \(\varGamma :=\partial \varOmega \) of \(\varOmega \) is smooth if \(N>1\), g is Lipschitz on \({{\mathbb {R}}}\), p is a positive number with \(p\ge 2\), \(\nu \) is an outward normal vector on \(\varGamma \) and \( u_0\) is a given initial data. Also, \( A(t, \cdot ) \) is the given time-dependent function defined by
where \( c(\cdot )\) is a given smooth function on [0, T].
To apply the abstract result to (P;f), we put \(H:=L^2(\varOmega )\) and \(V:=H^1(\varOmega )\) with usual real Hilbert space structures. Define a function \(\varphi \) on H by
Also, for each \(t\in [0,T]\), define a function \(\psi ^t\) on H by
where \( \hat{A}(t, \cdot ) \) is the primitive of \(A(t, \cdot )\) such that \(\hat{A}(t, \cdot )\ge 0\) for all \(t\in [0,T]\).
It is not difficult to show that the assumptions (A1)–(A7) are satisfied. For instance, put \(\tilde{z} = z-c(s) + c(t)\), \(\alpha (t):=\int _0^t |c'(\tau )|d\tau \) and \(\beta (t)\equiv 0\) for (A4) (cf. [14, Chap. 3]). Therefore, by applying Theorem 1, we can consider the control problem (OP) without uniqueness of solutins to (SMP)\(_p\).
References
Akagi, G.: Doubly nonlinear evolution equations with non-monotone perturbations in reflexive Banach spaces. J. Evol. Eqn. 11, 1–41 (2011)
Arai, T.: On the existence of the solution for \(\partial \varphi (u^{\prime }(t))+\partial \psi (u(t)) \ni f(t)\). J. Fac. Sci. Univ. Tokyo Sec. IA Math. 26, 75–96 (1979)
Aso, M., Frémond, M., Kenmochi, N.: Phase change problems with temperature dependent constraints for the volume fraction velocities. Nonlinear Anal. 60, 1003–1023 (2005)
Aso, M., Kenmochi, N.: Quasivariational evolution inequalities for a class of reaction-diffusion systems. Nonlinear Anal. 63, e1207–e1217 (2005)
Barbu, V.: Optimal Control of Variational Inequalities. Research Notes in Mathematics, vol. 100. Pitman, London (1984)
Brézis, H.: Opérateurs Maximaux Monotones et Semi-Groupes de Contractions dans les Espaces de Hilbert. Elsevier, Amsterdam (1973)
Brézis, H., Crandall, M.G., Pazy, A.: Perturbations of nonlinear maximal monotone sets in Banach space. Commun. Pure Appl. Math. 23, 123–144 (1970)
Colli, P.: On some doubly nonlinear evolution equations in Banach spaces. Jpn J. Ind. Appl. Math. 9, 181–203 (1992)
Colli, P., Visintin, A.: On a class of doubly nonlinear evolution equations. Commun. Partial Differ. Eqn. 15, 737–756 (1990)
Hoffmann, K.-H., Kubo, M., Yamazaki, N.: Optimal control problems for elliptic-parabolic variational inequalities with time-dependent constraints. Numer. Funct. Anal. Optim. 27, 329–356 (2006)
Hu, S., Papageorgiou, N.S.: Time-dependent subdifferential evolution inclusions and optimal control. Mem. Amer. Math. Soc. 632, 81 p. (1998)
Kadoya, A., Kenmochi, N.: Optimal shape design in elliptic-parabolic equations. Bull. Fac. Educ. Chiba Univ. 41, 1–20 (1993)
Kadoya, A., Murase, Y., Kenmochi, N.: A class of nonlinear parabolic systems with environmental constraints. Adv. Math. Sci. Appl. 20, 281–313 (2010)
Kenmochi, N.: Solvability of nonlinear evolution equations with time-dependent constraints and applications. Bull. Fac. Educ. Chiba Univ. 30, 1–87 (1981)
Kenmochi, N., Pawlow, I.: A class of nonlinear elliptic-parabolic equations with time-dependent constraints. Nonlinear Anal. 10, 1181–1202 (1986)
Lions, J.-L.: Quelques Méthodes de Résolution des Problèmes aux Limites Non Linéaires. Dunod, Gouthiers-Villars (1969)
Lions, J.-L.: Optimal control of systems governed by partial differential equations. Springer, New York (1971)
Lions, J.-L.: Contrôle des systèmes distribués singuliers. Méthodes Mathématiques de l’Informatique, vol. 13. Gauthier-Villars, Montrouge (1983)
Neittaanmäki, P., Sprekels, J., Tiba, D.: Optimization of Elliptic Systems: Theory and Applications. Springer Monographs in Mathematics. Springer, New York (2006)
Ôtani, M.: Nonlinear evolution equations with time-dependent constraints. Adv. Math. Sci. Appl. 3, 383–399 (1994). (1993/94), Special Issue
Senba, T.: On some nonlinear evolution equation. Funkcial Ekvac. 29, 243–257 (1986)
Yamada, Y.: On evolution equations generated by subdifferential operators. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 23, 491–515 (1976)
Yamazaki, N.: Convergence and optimal control problems of nonlinear evolution equations governed by time-dependent operator. Nonlinear Anal. 70, 4316–4331 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 IFIP International Federation for Information Processing
About this paper
Cite this paper
Farshbaf-Shaker, M.H., Yamazaki, N. (2016). Optimal Control of Doubly Nonlinear Evolution Equations Governed by Subdifferentials Without Uniqueness of Solutions. In: Bociu, L., Désidéri, JA., Habbal, A. (eds) System Modeling and Optimization. CSMO 2015. IFIP Advances in Information and Communication Technology, vol 494. Springer, Cham. https://doi.org/10.1007/978-3-319-55795-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-55795-3_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-55794-6
Online ISBN: 978-3-319-55795-3
eBook Packages: Computer ScienceComputer Science (R0)