- Research
- Open access
- Published:
Optimal control for obstacle problems involving time-dependent variational inequalities with Liouville–Caputo fractional derivative
Advances in Difference Equations volume 2021, Article number: 298 (2021)
Abstract
We consider an optimal control problem for a time-dependent obstacle variational inequality involving fractional Liouville–Caputo derivative. The obstacle is considered as the control, and the corresponding solution to the obstacle problem is regarded as the state. Our aim is to find the optimal control with the properties that the state is closed to a given target profile and the obstacle is not excessively large in terms of its norm. We prove existence results and establish necessary conditions of obstacle problems via the approximated time fractional-order partial differential equations and their adjoint problems. The result in this paper is a generalization of the obstacle problem for a parabolic variational inequalities as the Liouville–Caputo fractional derivatives were used instead of the classical derivatives.
1 Introduction
Variational inequalities are extensively used in many applications in mathematical economics, finance, optimal control, and optimization. The main problem is minimizing some function that occurs in mathematical models. To analyze those mathematical models, a qualitative study of solutions of variational inequalities becomes important for describing the behavior of the models. One of important classes of variational inequalities is the obstacle problem motivated by the physical problem of finding the stable shape of an elastic membrane that is pressed by an obstacle on one side. Many processes in engineering science can be explained by solutions of obstacle problems. For example, the filtration to porous medium or dam problem is an obstacle problem of studying fluid flow through porous medium, which can be derived from Darcy’s law. Other examples include a cavitation problem in hydrodynamic lubrication, which is the study of behavior of a lubricant contained inside the narrow hydraulic clearance between two eccentric cylindrical bodies in relative motion. In addition, the time-dependent (parabolic) obstacle problems are applicable to financial problems, for example, in the optimal stopping problem involving American option pricing with expiration at time T.
There are extensive results on the existence, uniqueness, and regularity of solutions of obstacle problems. In many applications, it is crucial to find an obstacle so that its corresponding solution is closed to a given target profile. This motivates the study of optimal control for obstacle problems. Mathematically, the problem is finding an optimal obstacle that minimizes a certain objective functional involving solutions to obstacle problems and target functions. For example, Adams et al. [1] treated the elliptic case with \(H^{1}_{0}(\Omega )\) obstacle without source term. They found that the optimal obstacle is identical to the corresponding state. This result does not generally hold for the elliptic case where there is a source term [2]. We refer to [3–10] for the results on other types of optimal control problem for variational inequalities. Moreover, Adams and Lenhart [11] investigated the characterization of necessary conditions for the optimal control of parabolic variational inequalities using classical derivatives.
Over the past decades, there has been an extensive development in fractional calculus. Various definitions of fractional integrals and fractional derivatives have been proposed, including Riemann–Liouville, Liouville–Caputo, Hilfer, Riesz, Erdelyi–Kober, Hadamard, and so on. We refer the reader to a recent survey-cum-expository review article by Srivastava [12] for the theory of fractional integral and fractional derivative operators with their applications. Several research areas of fractional calculus extended the classical theory, especially, calculus of variations and optimal control [13–20]. There is also a development of numerical algorithms for fractional-order differential equations arising in physical problems such as astrophysics, vibration, and nuclear magnetic resonance [21–26]. This generalization involves the differential equations with fractional-order time derivatives instead of integer-order derivatives. The fractional optimal control problem for differential equations and variational inequalities can be investigated by fractional variation principle, the method of Lagrange multipliers, or the Euler–Lagrange first-order optimality condition based on the adjoint problem. Recent development includes the study of optimal control problem of time-fractional diffusion equation under various assumptions such as the linear problem, nonlocal and nonsingular kernels, and time delay problem [27–30]. However, there seems to be less results for optimal control problem of fractional variational inequalities.
Motivated by [11], it is interesting to investigate the optimal control for the obstacle problem involving time-dependent variational inequalities under fractional calculus framework since fractional derivatives can take into account the past memory and nonlocal properties of the system. In this work, we consider the optimal control for the obstacle problem involving time fractional-order derivative in a domain \(Q=\Omega \times (0,T)\), where \(\Omega \subset \mathbb{R}^{n}\) is a bounded set with \(C^{1}\) boundary ∂Ω. Let \(z \in L^{2}(Q)\) be a given target profile, and let \(u_{0} \in H^{1}_{0} (\Omega )\) with \(u_{0}(x) \geq 0\) a.e. in Ω. The control set is
where \({{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }} \) is the Liouville–Caputo fractional derivative of order \(0<\alpha <1\). For any \(\psi \in U\), we define the fractional admissible set for solutions as
for \(0<\alpha <1\).
Let an obstacle \(\psi \in U\), and let \(f \in L^{2}(Q)\). We denote the state \(u=\mathcal{T}(\psi )\) for the corresponding solution of the time-dependent fractional-order variational inequality
for all \(v \in \mathcal{K}_{\alpha }(\psi )\).
We want to find an obstacle \(\psi ^{\ast }\) in U such that the state \(u^{\ast }= \mathcal{T}(\psi ^{\ast })\), the solution of (1), is closed to a given target profile z and the norm of \(\psi ^{\ast }\) is not excessively big. More precisely, we consider the objective functional
Therefore the optimal control problem can be regarded as finding a minimizer of the functional J, that is, \(\psi ^{\ast }\in U\) such that
For a control \(\psi ^{\ast }\) and the corresponding state \(u^{\ast }= \mathcal{T}(\psi ^{\ast })\), we call the pair \((\psi ^{\ast },\mathcal{T}(\psi ^{\ast }))\) an optimal pair.
The main contribution of this paper is that we generalize parabolic variational inequality in [11] to consider time fractional-order derivatives. Our results contain both existence and necessary conditions of the optimal pair for the obstacle problem. Indeed, the optimal pair can be constructed from the approximated parabolic equations and their adjoint problems. The results also provide an extension of optimal control for fractional diffusion equations to the case of time fractional-order variational inequalities, which is new in the literature. This paper is structured as follows. In Sect. 2, we recall basic preliminaries and some known results about fractional calculus. Next, we prove the existence results for the state variational inequality by considering the approximate time fractional-order semilinear differential equations and establish the existence of an optimal control in Sect. 3. Finally, in Sect. 4, we give the characterization of necessary conditions for the optimal control and discuss the results in Sect. 5.
2 Preliminaries
In this section, we begin by presenting some definitions and properties of the fractional operators including fractional derivatives and integrals. We refer to the books [31–33] for further background.
Definition 2.1
(Left and right Riemann–Liouville fractional integrals)
Let u be defined and integrable on an interval \([a, b]\), and let \(\operatorname{Re}(\alpha )>0 \). Then
-
(i)
The left Riemann–Liouville integral of order α is defined by
$$\begin{aligned} \bigl( {{}_{a}I^{\alpha }}u \bigr) (t) =\frac{1}{\Gamma (\alpha )} \int _{a}^{t}(t-s)^{\alpha -1} u(s) \,d s. \end{aligned}$$ -
(ii)
The right Riemann–Liouville integral of order α is defined by
$$\begin{aligned} \bigl( {I_{b}^{\alpha }}u \bigr) (t)=\frac{1}{\Gamma (\alpha )} \int _{t}^{b}(s-t)^{\alpha -1} u(s) \,ds. \end{aligned}$$
Definition 2.2
(Left and right Riemann–Liouville fractional derivatives)
Let u be defined on an interval \([a, b]\), and let \(0<\alpha \leq 1 \).
-
(i)
The left Riemann–Liouville fractional derivative of order α is defined by
$$\begin{aligned} \bigl( {{}_{a}D_{t}^{\alpha }}u \bigr) (t) = \frac{1}{\Gamma (1-\alpha )}\frac{d}{d t} \int _{a}^{t}(t-s)^{-\alpha } u(s) \,ds. \end{aligned}$$ -
(ii)
The right Riemann–Liouville fractional derivative of order α is defined by
$$\begin{aligned} \bigl( {{}_{t}D_{b}^{\alpha }}u \bigr) (t) =- \frac{1}{\Gamma (1-\alpha )}\frac{d}{d t} \int _{t}^{b}(s-t)^{-\alpha } u(s) \,ds. \end{aligned}$$
Let \(AC([a,b]; \mathbb{R})\) be the set of absolutely continuous functions.
Definition 2.3
(Left and right Liouville–Caputo fractional derivatives)
Let u be defined and absolutely continuous on an interval \([a, b]\), that is, \(u \in AC([a, b]; \mathbb{R})\), and let \(0<\alpha \leq 1\).
-
(i)
The left Liouville–Caputo fractional derivative of order α is defined by
$$\begin{aligned} \bigl( {{}_{a}^{\mathrm{LC}}D_{t}^{\alpha }}u \bigr) (t) = \frac{1}{\Gamma (1-\alpha )} \int _{a}^{t}(t-s)^{-\alpha } u^{\prime }(s) \,d s. \end{aligned}$$ -
(ii)
The right Liouville–Caputo fractional derivative of order α is defined by
$$\begin{aligned} \bigl( {{}_{t}^{\mathrm{LC}}D_{b}^{\alpha }}u \bigr) (t) =- \frac{1}{\Gamma (1-\alpha )} \int _{t}^{b}(s-t)^{-\alpha } u^{\prime }(s) \,d s. \end{aligned}$$
Proposition 2.4
Let \(0<\alpha <1\) and \(u \in A C([a, b]; \mathbb{R})\). Then the Riemann–Liouville and Liouville–Caputo fractional derivatives satisfy
Lemma 2.5
([34] Integration by parts for Liouville–Caputo fractional derivatives)
Let \(0< \alpha <1\), \(u \in L^{p}(a, b)\), and \(v \in A C([a, b]; \mathbb{R})\). Then
Lemma 2.6
([34] Integration by parts for Riemann–Liouville fractional derivatives)
Let \(0<\alpha \leq 1\), \(u \in L^{p}(a, b)\), and \(v \in A C([a, b]; \mathbb{R}) \). Then
The following product rule can be obtained from the corresponding Riemann–Liouville version in [35, 36].
Lemma 2.7
For the Liouville–Caputo derivative, we have
Moreover, if \(u=v\), then we have
Lemma 2.8
([37])
Let \(0<\alpha <1\), and let u be absolutely continuous on \([0, T] \). Then
Lemma 2.9
Let \(u=u(x,t)\) be a solution of the following problem subject to the Dirichlet boundary condition on a bounded open set \(\Omega \subset \mathbb{R}^{n} \) for \(u: \Omega \times [0,T]\rightarrow \mathbb{R}\) such that \(u \in L^{2} (0,T; H^{2}(\Omega ) \cap H^{1}_{0}(\Omega ))\) with \({{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}u \in L^{2}(Q)\) and
where \(f: \Omega \times (0, T) \rightarrow \mathbb{R}\) in \(L^{2}(Q)\) and \(u_{0}\) in \(H^{1}_{0}(\Omega )\) are a given nonhomogeneous term and initial condition. Then there is a constant \(C>0\) such that
Proof
For \(0 \leq t \leq T\), we use Lemma 2.8 to obtain
By Proposition 2.4 we have
Then we obtain
and hence
It follows that
□
3 Existence of an optimal control
To establish the existence of an optimal control, we approximate the time fractional-order variational inequality (1) by a time fractional-order semilinear partial differential equation. The approximate equation will provide a priori estimates for solutions of the original variational inequality (1).
Define
Assume that the function f belongs to \(L^{2}(Q)\). We first observe that for \(u \in \mathcal{K}_{\alpha }(\psi )\) or \(u \in V\), we have \(u \in C([0,T];L^{2}(\Omega ))\). Hence the initial condition can be considered as a function in V.
For \(\delta > 0\), we consider the time fractional-order semilinear parabolic approximation problem:
where
and \(\beta \in C^{1}(\mathbb{R})\). We denote the solution of (5) by \(u^{\delta } = \mathcal{T}^{\delta }(\psi )\). We next prove an estimate and convergence property of \(u^{\delta }\).
Proposition 3.1
For \(\psi \in U\), the solution \(u^{\delta } = \mathcal{T}^{\delta }(\psi )\) of (5) satisfies
Proof
We start by giving an estimation of \(\beta _{\delta }\) term in the \(L^{2}\)-norm:
This implies
Thus we obtain
By Lemma 2.9 it follows that
which, together with (8), gives estimate (6). □
The main result for the existence and uniqueness of solution of the obstacle problem via the approximated problem can be proved by letting \(\delta \rightarrow 0\) as shown in the theorem below.
Proposition 3.2
For \(\psi \in U\), there exists \(u \in \mathcal{K}_{\alpha }\) such that \(u = \mathcal{T}(\psi )\), and as \(\delta \rightarrow 0\), the solutions \(u^{\delta } = T_{\delta }(\psi )\) of (6) satisfy
Moreover, we obtain the estimate
Proof
Using estimate (6), we have the weak convergences above. However, for each t, we have
Then the \(H^{1}(Q)\) estimate on the \(\{u^{\delta }\}\) approximations implies the strong convergence \(u^{\delta } \rightarrow u\) in \(L^{2}(Q)\), and inequality (11) implies the strong convergence \(\nabla u^{\delta } \rightarrow \nabla u\) in \(L^{2}(Q)\). Next, we can see that the approximation \(u^{\delta }\) satisfies
for all \(v \in \mathcal{K}_{\alpha }(\psi )\). It follows from the strong convergence of \(\{u^{\delta }\}\) and the weak convergences that
for all \(v \in \mathcal{K}_{\alpha }(\psi )\). Using
we obtain \(\Vert \beta (u^{\delta } - \psi ) \Vert _{L^{2}(Q)} = 0\) and \(u \geq \psi \) a.e. on Q. Hence we conclude that \(u= \mathcal{T}(\psi )\) and u satisfies (10). □
We now prove that there exists an optimal control that minimizes the objective functional (2).
Theorem 3.3
There exists an optimal control \(\psi ^{*} \in U\) such that \(J(\psi ^{*})\) is the minimal value of the objective functional (2).
Proof
Let \(\{\psi _{k}\}_{k=1}^{\infty }\) be a minimizing sequence of obstacles in U, that is,
For the functional (2), bounds on \(\{J ( \psi _{k} ) \}_{k=1}^{\infty }\) imply that there is an obstacle \(\psi ^{*} \in U\) such that for a subsequence denoted again by \(\{\psi _{k}\}\)),
Using estimate (10) for \(\psi _{k}\) and \(u_{k}= \mathcal{T} ( \psi _{k} )\), there is \(u^{*} \in V\) such that
By a similar argument as in Proposition 3.1 we see that \(\nabla u_{k} \rightarrow \nabla u^{*}\) strongly in \(L^{2}(Q)\). Let \(v \in \mathcal{K}_{\alpha }(\psi ^{*})\) and set \(v_{k} = \max (v, \psi _{k})\). We observe that \(v_{k} \in \mathcal{K}(\psi _{k})\) are such that \(v_{k} \rightarrow v\) weakly in \(L^{2}(0, T; H_{0}^{1}(\Omega ))\) and
Letting \(k \rightarrow \infty \) in this inequality, we have
for all \(v \in \mathcal{K}_{\alpha }(\psi ^{*})\).
Since \(\psi _{k} \leq u_{k}\) a.e. on Ω, the strong convergence with respect to \(L^{2}\) yields \(\psi ^{*} \leq u^{*}\). Hence \(u^{*} \in \mathcal{K}_{\alpha }(\psi ^{*})\) and \(u^{*} = \mathcal{T}(\psi ^{*})\).
By the lower semicontinuity of the functional J with respect to weak \(L^{2}\) convergence and \(\lim_{k \rightarrow \infty } \mathcal{T}(\psi _{k}) = \mathcal{T}( \psi ^{*})\), we have \(J(\psi ^{*}) \leq \lim_{k \rightarrow \infty } J(\psi _{k})\). Thus \(\psi ^{*}\) is an optimal control that minimizes the functional (2). □
4 Necessary conditions
In this section, we identify necessary conditions of the optimal pair \(( \psi ^{*},u^{*} ) \) where \(u^{*} =\mathcal{T}(\psi ^{*})\). For this, we establish conditions on the approximations \(u^{\delta } = \mathcal{T}_{\delta } (\psi ^{\delta } ) \) and then derive conditions for \(( \psi ^{*},u^{*} ) \) by passing to the limit as \(\delta \rightarrow 0\).
Theorem 4.1
For \(\delta >0\), the solution map \(\psi \rightarrow u^{\delta }= \mathcal{T}_{\delta } (\psi )\) of (5) in V is differentiable in the following sense:
Given \(\psi \in U\) and \(l \in L^{2} ( Q ) \) with \(\psi + \varepsilon l \in U\), there is \(\xi ^{\delta }\) in \(L^{2} ( 0, T;H_{0}^{1}(\Omega ) ) \) such that
as \(\varepsilon \rightarrow 0\). In addition, we have \({{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\xi ^{\delta }\in L^{2} ( 0, T; H^{-1}( \Omega ) )\), and \(\xi ^{\delta }\) satisfies
Proof
Denote \(u^{\delta , \varepsilon } =\mathcal{T}_{\delta } ( \psi + \varepsilon l )\) and \(u^{\delta } = \mathcal{T}_{\delta }(\psi )\). Consider the fractional PDE on \(Q_{t} = \Omega \times (0,t)\),
Multiplying this equation by \(u^{\delta , \varepsilon } -u^{\delta }\) and integrating both sides with respect to x, we get
where \(\tilde{\theta }:=\theta (u^{\delta , \varepsilon } -\psi - \varepsilon l) +(1- \theta )(u^{\delta } -\varepsilon l)\). Applying equality (4), we have
It follows that
This implies the following two inequalities:
Thus we obtain
for all \(\varepsilon >0\), which implies that there is \(\xi ^{\delta }\) in \(L^{2}(0,T;H_{0}^{1}(\Omega ))\) such that
and
To estimate \({{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\xi ^{\delta }\), consider
From (13) we obtain
By estimates (14)–(16) we conclude
Therefore the function \(\xi ^{\delta }\) satisfies (12). □
Let \(W= \lbrace v \in H^{1}(Q) | v=0 \text{ on } (\partial \Omega \times (0,T)) \cup (\Omega \times \lbrace 0 \rbrace ) \rbrace \), and let \(W'\) be the dual space of W.
To establish necessary conditions for the optimal control and state for the functional (2), we study the approximation problem
where \(\mathcal{T}_{\delta }(\psi )\) is the solution of the time fractional partial differential equation (5) for obstacle ψ. We obtain the existence of an obstacle \(\psi ^{\delta }\) and the corresponding state \(u^{\delta } = \mathcal{T}_{\delta } (\psi ^{\delta })\), which is the minimizer of \(J_{\delta }(\psi )\) by using a similar argument as in the proof of Theorem 3.3.
To establish the PDE for which \(\psi ^{\delta }\) is a solution, we state the following:
Definition 4.2
The function \(\psi ^{\delta }\) in U is a weak solution of
if \(\psi ^{\delta } \in L^{2}(0,T;H^{3}(\Omega ) \cap H^{1}_{0}(\Omega ))\), \({{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\psi ^{\delta } \in L^{2} (Q), {{}_{t}D_{T}^{ \alpha }} {{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\psi ^{\delta }\in W^{ \prime }\), and for all \(\phi \in W\),
Theorem 4.3
Let \(\psi ^{\delta } \in U\) be an optimal control that minimizes \(J_{\delta } ( \psi )\). There exists \(p^{\delta }\) in \(L^{2} (0,T;H_{0}^{1}(\Omega ) )\) with \({{}_{t}^{\mathrm{LC}}D_{T}^{\alpha }}p^{\delta } \in L^{2} (0,T;H^{-1}( \Omega ) ) \) such that
Furthermore \(\psi ^{\delta }\) satisfies (17) in the sense defined above with \(u^{\delta } =\mathcal{T}_{\delta } ( \psi ^{\delta } )\), and
where \(C_{1}\) and \(C_{2}\) are independent of δ.
Proof
Since the approximate adjoint time fractional partial differential equation (18) is linear in \(p^{\delta }\), there exists a solution such that \(p^{\delta } \in L^{2} (0, T ; H_{0}^{1}(\Omega ) )\), \({{}_{t}^{\mathrm{LC}}D_{T}^{\alpha }}p^{\delta } \in L^{2} (0, T ; H^{-1}( \Omega ) )\), and \(p^{\delta }(x, T)=0\) in Ω.
Consider the estimate of \(\nabla p^{\delta }\) on \(Q_{t}=\Omega \times (t, T)\),
By Proposition 2.4 and \(p^{\delta }(x, T)=0\) we get by integration by parts that
This implies
since the term \(\beta ^{\prime }\) is nonnegative. It follows that
Next, we consider the estimate of \(\beta ^{\prime }(\cdot ) p^{\delta }\) in \(W^{\prime }\): for \(\phi \in W\),
using estimate (19). We conclude
which gives an estimate \(\Vert {{}_{t}^{\mathrm{LC}}D_{T}^{\alpha }}p^{\delta } \Vert _{W^{\prime }}\).
Denote \(u^{\delta }=\mathcal{T}_{\delta } (\psi ^{\delta } )\) and \(u^{\delta , \varepsilon }=\mathcal{T}_{\delta } (\psi ^{\delta }+ \varepsilon l )\) with \(l \in W \cap U \). Since \(\psi ^{\delta }\) is a minimizer for \(J_{\delta }(\psi )\),
by using the \(p^{\delta }\) and \(\xi ^{\delta }\) PDE, (17) and (18). We conclude that \(\psi ^{\delta }\) satisfies PDE (17) subject to the indicated boundary conditions. Indeed, the condition \(l(x, 0)=0\) is used in the step of integration by parts on \(\psi _{t}^{\delta } l_{t}\) term. Moreover, \(\Delta \psi ^{\delta }=0\) on \(\partial \Omega \times (0, T)\) arrives from the weak formulation of the solution \(\psi ^{\delta }\) for the time fractional PDE and integration by parts on \(\Delta \psi ^{\delta } \Delta l\).
For the estimate of \(\nabla \Delta \psi ^{\delta }\) and \({{}_{t}D_{T}^{\alpha }} {{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\psi ^{ \delta }\), we have
Using the Poincaré inequality to estimate
we obtain
For the solution \(\psi ^{\delta }\) of the time fractional PDE (17), the estimate of \(\vert \nabla \Delta \psi ^{\delta } \vert \) in \(L^{2}\) and the estimate of \(\beta ^{\prime } (u^{\delta }-\psi ^{\delta } ) p^{\delta }\) under \(W^{\prime }\) norm in (20) give the required estimate of \({{}_{t}D_{T}^{\alpha }} {{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\psi \) in \(W^{\prime }\) norm. □
Letting \(\delta \rightarrow 0\), we establish necessary conditions on \(\psi ^{*}\), an optimal control for \(J(\psi )\). We state our definition of a solution for the equation for \(\psi ^{*}\) and the limiting adjoint function p.
Definition 4.4
Functions \(\psi ^{*}\) and p satisfy
where \(u^{*}=T (\psi ^{*} )\), if \(\psi ^{*} \in U, \psi ^{*} \in L^{2} (0, T ; H^{3}(\Omega ) ), {{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\psi ^{*} \in L^{2} (0, T ; H_{0}^{1}(\Omega ) ), {{}_{t}D_{T}^{\alpha }} {{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}\psi ^{*} \in W^{\prime }, \Delta ^{2} \psi ^{*} \in L^{2} (0, T ; H^{-1}( \Omega ) ), p \in L^{2} (0, T ; H_{0}^{1}(\Omega ) ), {{}_{t}^{\mathrm{LC}}D_{T}^{\alpha }}p \in W^{\prime }\), and for all \(\phi \in W\),
Theorem 4.5
There exist a sequence of minimizers \(\{ \psi ^{\delta _{n}} \} \) in U for the functionals \(J_{\delta _{n}}(\psi )\), the corresponding adjoint \(\{ p^{\delta _{n}} \} , \psi ^{*} \in U\) with the corresponding state \(u^{*}= \mathcal{T} (\psi ^{*} )\), and the adjoint p in \(L^{2} (0, T ; H_{0}^{1}(\Omega ) )\) such that, as \(\delta _{n} \rightarrow 0\),
Moreover, \(\psi ^{*}\) is an optimal control for \(J(\psi )\), \(\psi ^{*}\) and p satisfy (21) in the sense defined above, and the state \(u^{*}=\mathcal{T} (\psi ^{*} )\) satisfies the time fractional variational inequality (1).
Proof
The a priori estimates obtained in Theorem 4.3 imply the convergences and the existence of \(\psi ^{*}, u^{*}\), and p. It remains to verify that \(u^{*}=\mathcal{T} (\psi ^{*} )\). For \(v \in \mathcal{K}_{\alpha } (\psi ^{*} )\), we see that
for \(v^{\delta }=\max (v, \psi ^{\delta } ) \). Letting \(\delta _{n} \rightarrow 0\), we have \(v^{\delta _{n}} \rightarrow v \text{ weakly in } L^{2} (0, T ; H_{0}^{1}( \Omega ) ) \) and
By estimate (8) we get
which gives \(u^{*} \in \mathcal{K}_{\alpha } (\psi ^{*} ) \). We conclude \(u^{*}=\mathcal{T} (\psi ^{*} ) \). The convergences of \(\psi ^{\delta _{n}}\) and \(p^{\delta _{n}}\) from Theorem 4.3 justify that \(\psi ^{*}\) and p satisfy (21) in the defined weak sense. Finally, we show \(\psi ^{*}\) is an optimal control for \(J(\psi )\). As \(\psi ^{\delta _{n}}\) is a minimizer for \(J_{\delta }(\psi )\),
By the strong convergence \(\mathcal{T}_{\delta _{n}} (\psi ^{*} ) \rightarrow u^{*}= \mathcal{T} (\psi ^{*} )\) in \(L^{2}(Q)\), as \(\delta _{n} \rightarrow 0\), we get
Since the functional is lower semicontinuous with respect to the weak \(L^{2}\) convergence and \(u^{*}=\mathcal{T} (\psi ^{*} )\), it follows that
Therefore the functional \(J(\psi )\) attains its minimum value over \(\psi \in U\) at \(J (\psi ^{*} )\), and hence \(\psi ^{*}\) is an optimal control. □
5 Discussion
To illustrate our main results, we consider the following example. Let \(Q= \Omega \times (0,T)\), where Ω is an open bounded set in \(\mathbb{R}^{n}\) with \(C^{1}\) boundary ∂Ω. Consider the fractional diffusion inequality with Liouville–Caputo fractional derivatives (similar to fractional diffusion equation given in Example 2 in [15])
where \(u_{0} \in H^{1}_{0}(\Omega )\) and \(f \in L^{2}(Q)\). We seek for the solution u of (22) that lies above an obstacle \(\psi \in L^{2}(0,T; H^{2}(\Omega ) \cap H^{1}_{0}(\Omega ))\) with \({{}_{0}^{\mathrm{LC}}D_{t}^{\alpha }}(\psi ) \in L^{2}(Q)\) and \(\psi (x,0) = 0\), that is,
The solution u satisfying (22) and (23) can be formulated as a solution of variational inequality (1), denoted by \(u=\mathcal{T}(\psi )\).
Hence, given a target profile \(z \in L^{2}(Q)\), we get from Theorem 3.3 that the optimal control problem for the obstacle equation with objective functional (2) has a solution \(( \psi ^{*}, u^{*}= \mathcal{T} (\psi ^{*}) )\). Moreover, by Theorem 4.5 the optimal solution \(\psi ^{*}\) satisfies the adjoint problem (21).
Analogous results could be obtained in the context of Riemann–Liouville fractional derivative by using the relation between the Riemann–Liouville and Liouville–Caputo derivatives. In particular, the a priori estimate for a solution of the time fractional-order diffusion equation in Lemma 2.9 needs to be adjusted. Moreover, the initial condition should be replaced by some nonlocal conditions.
6 Conclusion
In this work, we establish the existence of the optimal control for obstacle variational inequalities involving Liouville–Caputo fractional derivatives. Necessary conditions of the optimal solutions were obtained through the adjoint problem in weak formulation. Future research in optimal control of obstacle problem for time fractional-order variational inequalities can be extended under various assumptions such as the time delay problem, nonlocal and nonsingular kernels, or under different boundary conditions, which would extend the results for fractional diffusion equations in the literature. In addition, numerical algorithms should be investigated to visualize the optimal solution.
Availability of data and materials
The data that support the findings of this study are available from the authors, upon request.
References
Adams, D., Lenhart, S., Yong, J.: Optimal control of the obstacle for an elliptic variational inequality. Appl. Math. Optim. 38(2), 121–140 (1998)
Adams, D.R., Lenhart, S.: An obstacle control problem with a source term. Appl. Math. Optim. 47(1), 79–95 (2002)
Bergounioux, M., Zidani, H.: Pontryagin maximum principle for optimal control of variational inequalities. SIAM J. Control Optim. 37(4), 1273–1290 (1999)
Barbu, V., Korman, P.: Analysis and Control of Nonlinear Infinite Dimensional Systems, vol. 190. Elsevier, Amsterdam (1993)
Barbu, V.: Necessary conditions for distributed control problems governed by parabolic variational inequalities. SIAM J. Control Optim. 19(1), 64–86 (1981)
Barbu, V.: Optimal control of variational inequalities. Res. Notes Math. 100 (1984)
Friedman, A.: Optimal control for parabolic variational inequalities. SIAM J. Control Optim. 25(2), 482–497 (1987)
Popa, C.: The relationship between the maximum principle and dynamic programming for the control of parabolic variational inequalities. SIAM J. Control Optim. 35(5), 1711–1738 (1997)
Raymond, J.-P., Zidani, H.: Pontryagin’s principle for state-constrained control problems governed by parabolic equations with unbounded controls. SIAM J. Control Optim. 36(6), 1853–1879 (1998)
Li, X., Yong, J.: Optimal Control Theory for Infinite Dimensional Systems. Springer, Berlin (2012)
Adams, D.R., Lenhart, S.: Optimal control of the obstacle for a parabolic variational inequality. J. Math. Anal. Appl. 268(2), 602–614 (2002)
Srivastava, H.M.: Fractional-order derivatives and integrals: introductory overview and recent developments. Kyungpook Math. J. 60(1), 73–116 (2020)
Tang, Q., Ma, Q.: Variational formulation and optimal control of fractional diffusion equations with Caputo derivatives. Adv. Differ. Equ. 2015(1), 1 (2015)
Bahaa, G.: Fractional optimal control problem for variational inequalities with control constraints. IMA J. Math. Control Inf. 35(1), 107–122 (2018)
Bahaa, G., Tang, Q.: Optimality conditions for fractional diffusion equations with weak Caputo derivatives and variational formulation. J. Fract. Calc. Appl. 9(1), 100–119 (2018)
Bahaa, G.M.: Fractional optimal control problem for differential system with delay argument. Adv. Differ. Equ. 2017(1), 1 (2017)
Bahaa, G., Hamiaz, A.: Optimal control problem for coupled time-fractional diffusion systems with final observations. J. Taibah Univ. Sci. 13(1), 124–135 (2019)
Mophou, G.M.: Optimal control of fractional diffusion equation. Comput. Math. Appl. 61(1), 68–78 (2011)
Mophou, G.M., N’Guérékata, G.M.: Optimal control of a fractional diffusion equation with state constraints. Comput. Math. Appl. 62(3), 1413–1426 (2011)
Agrawal, O.P.: Formulation of Euler–Lagrange equations for fractional variational problems. J. Math. Anal. Appl. 272(1), 368–379 (2002)
Singh, H., Srivastava, H.M., Kumar, D.: A reliable algorithm for the approximate solution of the nonlinear Lane–Emden type equations arising in astrophysics. Numer. Methods Partial Differ. Equ. 34(5), 1524–1555 (2018)
Singh, H., Srivastava, H.M., Kumar, D.: A reliable numerical algorithm for the fractional vibration equation. Chaos Solitons Fractals 103, 131–138 (2017)
Singh, H., Srivastava, H.M.: Jacobi collocation method for the approximate solution of some fractional-order Riccati differential equations with variable coefficients. Physica A 523, 1130–1149 (2019)
Singh, H., Pandey, R.K., Srivastava, H.M.: Solving non-linear fractional variational problems using Jacobi polynomials. Mathematics 7(3), 224 (2019)
Singh, H., Srivastava, H.M.: Numerical simulation for fractional-order Bloch equation arising in nuclear magnetic resonance by using the Jacobi polynomials. Appl. Sci. 10(8), 2850 (2020)
Singh, H., Srivastava, H.M.: Numerical investigation of the fractional-order Liénard and Duffing equations arising in oscillating circuit theory. Front. Phys. 8, 120 (2020)
Tang, Q.: On an optimal control problem of time-fractional advection–diffusion equation. Discrete Contin. Dyn. Syst., Ser. B 25, 761–779 (2020)
Djida, J.-D., Mophou, G., Area, I.: Optimal control of diffusion equation with fractional time derivative with nonlocal and nonsingular Mittag-Leffler kernel. J. Optim. Theory Appl. 182, 540–557 (2019)
Buedo-Fernández, S., Nieto, J.J.: Basic control theory for linear fractional differential equations with constant coefficients. Front. Phys. 8, 377 (2020)
Bahaa, G.M.: Optimal control problem for variable-order fractional differential systems with time delay involving Atangana–Baleanu derivatives. Chaos Solitons Fractals 122, 129–142 (2019)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations, vol. 204. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications. Elsevier, Amsterdam (1998)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives, vol. 1. Gordon & Breach, Switzerland (1993)
Abdeljawad, T., Atangana, A., Gómez-Aguilar, J.F., Jarad, F.: On a more general fractional integration by parts formulae and applications. Phys. A, Stat. Mech. Appl. 536, 122494 (2019)
Alsaedi, A., Ahmad, B., Kirane, M.: Maximum principle for certain generalized time and space fractional diffusion equations. Q. Appl. Math. 73(1), 163–175 (2015)
Alsaedi, A., Ahmad, B., Kirane, M.: A survey of useful inequalities in fractional calculus. Fract. Calc. Appl. Anal. 20(3), 574–594 (2017)
Alikhanov, A.: A priori estimates for solutions of boundary value problems for fractional-order equations. Differ. Equ. 46(5), 660–666 (2010)
Acknowledgements
The authors would like to thank the referees for their valuable comments, which helped to improve the manuscript.
Funding
The first author was supported by the Thailand Research Fund under Grant No. MRG5980173.
Author information
Authors and Affiliations
Contributions
The main idea and background of this paper was proposed and mainly proved by PSN, whereas AS and PK performed some proofs and edited the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sa Ngiamsunthorn, P., Suechoei, A. & Kumam, P. Optimal control for obstacle problems involving time-dependent variational inequalities with Liouville–Caputo fractional derivative. Adv Differ Equ 2021, 298 (2021). https://doi.org/10.1186/s13662-021-03453-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03453-2