A priori error analysis of stabilized mixed finite element method for reaction-diffusion optimal control problems

In this paper, we propose a novel stabilized mixed finite element method for the approximation of optimal control problems governed by reaction-diffusion equations. Compared with the classical mixed finite element methods, the main contributions of this paper are as follows. First, the novel method uses only one stabilization parameter which is not mesh-dependent, and, the new mixed bilinear formulation is coercive and continuous. Second, the novel method is easy to be implemented on a computer using the standard Lagrange finite element. Third, the solutions of the novel method to the optimal control problems require low regularities. Fourth, the Ladyzhenkaya-Babuska-Brezzi (LBB) or the inf-sup condition for the mixed element spaces is unnecessary. Based on the novel method, we derive both continuous and discrete optimality systems for the corresponding constrained optimal control problems, and then a priori error analysis in a weighted norm is discussed. Finally, numerical experiments are given to confirm the efficiency and reliability of the novel stabilized method.

Optimal control problems and their finite element solutions are attracting increasingly attentions of scientists and engineers. For systematic introductions of finite element methods and their applications in solving optimal control problems, we refer the reader to [1–6].

In this paper, we are interested in the following distributed type optimal control problem:

subject to a first-order mixed type reaction-diffusion equation

and combined with homogeneous Dirichlet boundary condition

Here \(\gamma>0\) is a penalty parameter, it is used to measure the relative importance of the terms appearing in the definition of the cost functional; \(\mathcal{B}\) is a linear operator; \(U_{ad}\) is an admissible convex control set. Detailed information as regards this problem in a functional analysis setting will be discussed later.

This model problem plays an important role in many scientific and engineering applications. For example, it can represent an optimal control of Darcy flows, where the primal state variable y means the pressure, the flux state variable σ stands for the velocity field, and the control variable u is an external force. A priori error estimates of finite element approximations for optimal control problems governed by linear elliptic equations were studied extensively; see, for example, Refs. [5, 7–10]. Recently, mixed finite element method has also been found very useful in solving such optimal control problems which contain the flux state variable, see Refs. [11–16]. But all these works need a matched mixed finite element spaces for the state variable and its flux, i.e., LBB stability condition must be strictly satisfied. One of their best choices is the Raviart-Thomas (RT) element, see [17], and therefore, the widely used Lagrange elements are excluded.

Inspired by the idea of so-called Galerkin least squares method, proposed by Hughes et al. [18] and theoretically analyzed by Franca and Stenberg [19], and also the idea of so-called unusual stabilized finite element method [20, 21] for advection-diffusion equations, we propose here a first-order mixed type stabilized finite element method for the elliptic optimal control problems. The novel method is proved to be efficient and reliable both in theoretical error analysis and numerical tests. It also embodies some advantages compared with the former work [22]: It uses only one stabilization parameter which is not mesh-dependent, however, the corresponding mixed bilinear formulation is still coercive and continuous; it is easier to be implemented using the standard Lagrange finite elements; it has relatively lower regularity requirements of the solutions to optimal control problems; and it can be extended to solve optimal control problems governed by other type partial differential equations. Furthermore, compared with the classical mixed finite element method, it also has a free choice of mixed element spaces without the requirement of LBB stability condition, and less degree of freedoms (DoFs) are adopted. Thus, it is more competitive in the practical computation and especially in the high-dimensional case.

The rest of the paper is organized as follows: In Section 2, we first propose the novel stabilized method which uses only one stabilization parameter. Then some preliminary results are presented and an optimality system at the continuous level is deduced for the optimal control problem. In the end of this section, explicit solutions of different cases of the admissible control set are discussed. In Section 3, discretization using standard Lagrange element is discussed, and discrete optimality system is also derived. In Section 4, an optimal-order weighted norm error analysis with a low regularity requirement for the optimal control problem is discussed. In Section 5, we conduct some numerical experiments to verify the theoretical analysis. In the last section, some concluding remarks are given.

Let Ω be a bounded domain in \(\mathbb{R}^{d}\) (\(d \le3\)) with Lipschitz boundary ∂Ω. Let \(\mathcal{T}^{h}\) be a family of regular triangulation of Ω, such that \(\Omega=\bigcup_{T\in\mathcal{T}^{h}} T\). Denote \(h_{T}\) the diameter of the element T in \(\mathcal{T}^{h}\), and set \(h=\max_{T\in\mathcal{T}^{h}} h_{T}\). In this paper, we shall employ the usual notion for Lebesgue and Sobolev spaces; see Ref. [1] for details. Throughout, let C denote a strictly positive generic constant, not necessarily the same at each occurrence, but always independent of the mesh size h.

To give a detailed description of the model optimal control problem, let us define the state spaces

and the control space

Furthermore, let \(U_{ad}\) be a closed convex subset of the control space U. In the following context, we will discuss some different cases on the choice of \(U_{ad}\).

In the following, we are ready to propose a simple but stable mixed numerical method. To this aim, we assume \(\mathcal{A}=(a_{i,j}(x))_{d\times d}\) is symmetric and positive definite, and there exist positive constants α and β such that

Besides, suppose \(c=c(x)\) is bounded below and up by two constants \(c_{*}\) and \(c^{*}\) such that

We now first revisit the classical mixed formulation of problem (1.2)-(1.3): Find \((y,\sigma)\in L^{2}(\Omega) \times H(\operatorname{div};\Omega)\) such that for any \((v, \tau)\in L^{2}(\Omega)\times H(\operatorname{div};\Omega)\)

Then followed by integration by parts, and inspired by the stabilized finite element method [18–20], we propose a novel stabilized mixed weak formulation for (1.2)-(1.3): find \((y,\sigma)\in Y\times\Sigma\) such that

where the mixed bilinear formulation

Here \(\delta_{T}\) is an elementwise mesh-free constant parameter, and \((\cdot,\cdot)_{T}\) denotes the inner product in \(L^{2}(T)^{d}\).

Define the corresponding stabilization norm

Then, we can easily derive the following coercive and bounded results.

Proposition 2.1

(Coercivity and boundedness)

For \(0<\delta _{0}\leq\delta_{T}\leq\delta_{1}<1\), we have

Moreover, for all \((y, \sigma; v,\tau)\in(Y\times\Sigma)^{2}\)

Here \(\delta_{i}\) (\(i=0,1\)) are two positive constants, \(c_{\delta }=1-\delta_{1}\) and \(C_{\delta}=\max\{4, 2+1/\delta_{0}\}\).

Proof

On the one hand, it follows from the definition that

Hence, for \(\delta_{T}\leq\delta_{1}<1\), the bilinear form \(a(\diamond ,\diamond; \diamond, \diamond)\) is coercive on \(Y\times\Sigma\), and it satisfies (2.7).

On the other hand, we conclude from (2.5) that

Note that

Then for \(0<\delta_{0} \leq\delta_{T} \leq\delta_{1}<1\), we have

which proves the boundedness result (2.8). □

Proposition 2.2

(Existence and uniqueness)

Assume the condition in Proposition 2.1 is valid. Furthermore, let \(f\in L^{2}(\Omega)\). Then for given control \(u\in L^{2}(\Omega)\), problem (2.4) admits a unique solution \((y, \sigma)\in Y\times \Sigma\).

Proof

Proposition 2.1 implies that the mixed bilinear form \(\mathcal{A}_{\delta}(\diamond,\diamond; \diamond, \diamond)\) is coercive and bounded in a weighted norm (2.6). Then the Lax-Milgram lemma implies the existence and uniqueness of the solution pair \((y, \sigma)\in Y\times\Sigma\). □

Furthermore, suppose \(u=0\) in problem (2.4), we then have the following stability result with respect to the right-hand term f.

Proposition 2.3

(Stability)

Let \(f\in L^{2}(\Omega)\). If the condition in Proposition 2.1 is valid, then we have

where the constant C depends on the Poincaré constant \(C_{\Omega }\), and the reciprocal of \(c_{\delta}\) and \(\delta_{0}\).

Proof

Let \((v, \tau)=(y, \sigma)\) in problem (2.4). Then it follows from Proposition 2.1, the Poincaré inequality in Lemma 4.3, and the definition of the stabilization norm that

which implies the conclusion. □

Denote

where \(y=y(u)\) and \(\sigma=\sigma(u)\) are u-dependent.

Then for the given control set \(U_{ad}\), we reformulate the optimal control problem (1.1)-(1.3) as follows: (OCP)

such that \((y, \sigma, u)\in Y\times\Sigma\times U\) and

It then follows from Ref. [3] that the optimal control problem (OCP) has a unique solution \((y^{*},\sigma^{*},u^{*})\in Y\times\Sigma\times U_{ad}\), and \((y^{*},\sigma ^{*},u^{*})\) is the solution of (OCP) if and only if there is a pair of adjoint state \((z^{*},\omega^{*})\in Y\times\Sigma\), such that \(( y^{*}, \sigma^{*}, z^{*},\omega^{*}, u^{*})\in (Y\times\Sigma)^{2}\times U_{ad}\) satisfies the following optimality system: (OS)

State equation:

Adjoint state equation:

Optimality condition:

Here \(\mathcal{B}^{*}\) is the adjoint operator of \(\mathcal{B}\), which satisfies

Remark 2.4

For the stabilization parameter \(\delta_{T}\) being chosen as a constant δ in the whole domain Ω, the adjoint states \(z^{*}\) and \(\omega^{*}\) in (2.14) satisfy the following strong forms:

and

In the following, we introduce z and ω be the solutions of the dual problem such that

Then, similar to the proof in Proposition 2.3, we have the following stability result.

Proposition 2.5

(Stability)

Let \(g\in L^{2}(\Omega)\) and \(q\in L^{2}(\Omega)^{d}\) in problem (2.18). Assume the condition in Proposition 2.1 is valid. Then we have

where the constant C depends on the Poincaré constant \(C_{\Omega }\), and the reciprocal of \(c_{\delta}\) and \(\delta_{0}\).

Remark 2.6

Let \(f, u^{*}\in L^{2}(\Omega)\). If the condition in Proposition 2.1 is valid, then from Proposition 2.3 we have

Furthermore, let \(y_{d}\in L^{2}(\Omega)\) and \(\sigma_{d}\in L^{2}(\Omega)^{d}\). Then from Proposition 2.5 and the above conclusion we have

In the end of this section, we pay special attention on the solution of the variational inequality (2.15). It depends heavily on the structure of the convex set \(U_{ad}\). For some cases (see, e.g. [3, 4]), we have the following explicit results.

Case I. \(U_{ad}=U\)

Then the solution is

Case II. \(U_{ad}=\{u\in U: u\geq0, \mbox{a.e. in } \Omega\} \)

Then the solution is

Case III. \(U_{ad}=\{u\in U: a\leq u\leq b, \mbox{a.e. in } \Omega\} \) where the bounds \(a, b\in\mathbb{R}\) fulfill \(a< b\).

Then the solution is

Case IV. \(U_{ad}=\{u\in U: \int_{\Omega} u\geq0\} \)

Then the solution is

where \(\overline{\mathcal{B}^{*} z^{*}(x)}=\frac{\int_{\Omega}\mathcal{B}^{*} z^{*}(x)}{\int_{\Omega} 1}\).

In this section, we shall consider the approximation of problem (OCP) based on the novel stabilized mixed finite element method. As the bilinear form \(\mathcal{A}_{\delta}(\diamond,\diamond; \diamond , \diamond)\) is coercive, there is no need to choose the classical mixed element spaces, for example, RT elements [17, 23], as the flux function space. Instead, the widely used Lagrange finite element spaces, for example, the case of piecewise linear elements, can be adopted.

In this work, we consider the approximations of the state and flux state variables in the following finite element spaces:

Here \(P_{k}\) denotes polynomials of total degree at most k.

Furthermore, we consider piecewise constant elements for the approximation of the control variable, that is,

Let \(U_{ad}^{h}=U^{h}\cap U_{ad}\) be the discrete admissible control set. It is apparently so that \(U_{ad}^{h}\subset U_{ad}\).

For the finite element spaces defined above, the stabilized mixed finite element approximation of (OCP), which will be labeled as (OCP) _h , can be described as follows:

where \((y_{h}, \sigma_{h}, u_{h})\in Y^{h}\times\Sigma^{h} \times U^{h}\) satisfies

It is again well known (see Ref. [3]) that the optimal control problem (OCP) _h has a unique solution \((y_{h}^{*}, \sigma_{h}^{*}, u_{h}^{*})\in Y^{h}\times\Sigma^{h}\times U_{ad}^{h}\), and that a triplet \((y_{h}^{*}, \sigma_{h}^{*}, u_{h}^{*})\) is the solution of (OCP) _h if and only if there is a pair of adjoint states \((z_{h}^{*}, \omega_{h}^{*})\in Y^{h}\times \Sigma^{h}\), such that \((y_{h}^{*}, \sigma_{h}^{*}, z_{h}^{*}, \omega_{h}^{*}, u_{h}^{*})\in(Y^{h}\times\Sigma ^{h})^{2}\times U_{ad}^{h}\) satisfies the following discrete optimality system: (OS) _h

State equation:

Adjoint state equation:

Optimality condition:

Remark 3.1

The coercivity of the mixed bilinear formulation \(\mathcal{A}_{\delta }(\diamond,\diamond; \diamond, \diamond)\) leads to a positive definite linear algebraic equation in the discrete level, and therefore, the discrete state and adjoint state equations (3.5)-(3.6) can be solved quickly using the popular solvers, such as the conjugate gradient (CG) solver and algebraic multi-grid (AMG) solver.

Let \(\mathcal{P}_{h}\) be an \(L^{2}\)-projection from \(U=L^{2}(\Omega)\) to \(U^{h}\) such that for any \(u\in U\)

It is a matter of calculation that for the optimal control \(u^{*}\in U_{ad}\), the projection \(\mathcal{P}_{h} u^{*}\) belongs to \(U_{ad}^{h}\). For example, we can give a proof for Case IV. In fact, let \(\phi\equiv1\in U^{h}\) in equation (3.8), then we have

which proves the conclusion. The proofs of the other cases are similar. Besides, it is easy to check that

where \(|T|\) is the area of element T.

Finally, similar to the explicit solutions (2.22)-(2.25) to the variational inequality (2.15) for different cases. The solution of (3.7) can also be described explicitly for the corresponding cases; see [3, 4]. We summarize them as below.

Case I. \(U_{ad}^{h}=U^{h}\)

Then the solution is

Case II. \(U_{ad}^{h}=\{u_{h}\in U^{h}: u_{h}|_{T}\geq0, \forall T\in\mathcal {T}^{h}\}\)

Then the solution is

Case III. \(U_{ad}=\{u_{h}\in U^{h}: a\leq u_{h}\leq b, \mbox{a.e. in } \Omega\} \)

Then the solution is

Case IV. \(U_{ad}=\{u_{h}\in U^{h}: \int_{\Omega} u_{h}\geq0\} \)

Then the solution is

In this section, we shall give a priori error estimates for the proposed novel stabilized mixed finite element method of optimal control problem.

Before that let us first recall the following interpolation and projection results.

Lemma 4.1

[1]

Let \(\mathcal{P}_{h}\) be the \(L^{2}\)-projection defined in (3.8). Then for \(u \in H^{1}(\Omega)\), we have

Lemma 4.2

Let \(\mathcal{I}_{h}\) be the standard Lagrange interpolation operator defined in Ref. [1]. Then there is a constant \(C>0\) such that

for \(\forall v\in H^{2}(T)\), \(\forall T\in\mathcal{T}^{h}\).

Lemma 4.3

(Poincaré inequality)

There is a positive constant \(C_{\Omega}\) which depends only on the domain Ω such that

In this paper, we aim to demonstrate the following main conclusion between the optimal solutions of (OS) and the stabilized mixed finite element solutions of (OS) _h .

Theorem 4.4

Suppose that \(( y^{*}, \sigma^{*},z^{*}, \omega^{*}, u^{*})\) and \((y_{h}^{*}, \sigma _{h}^{*}, z_{h}^{*},\omega_{h}^{*}, u_{h}^{*})\) are the solutions of (OS) and (OS) _h , respectively. Assume that the solutions \(\{y^{*}, z^{*}\}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\), \(\{\sigma^{*}, \omega^{*}\} \in H^{1}(\Omega)^{d}\), and \(u^{*}\in H^{1}(\Omega)\). Then there is a positive constant C such that

Remark 4.5

Compared with Ref. [22], a same optimal-order convergence between the exact solutions and numerical solutions is obtained. However, the requirement of regularities for the flux state \(\sigma^{*}\) and adjoint flux state \(\omega^{*}\) are both reduced from \(H^{2}(\Omega)^{d}\) to \(H^{1}(\Omega)^{d}\). This appears to be a more realistic assumption if the original state equation is only \(H^{2}\)-regular, and if the given data f, \(y_{d}\), \(\sigma_{d}\) and the optimal control \(u^{*}\) all belong to \(L^{2}(\Omega)\). In particular, for Cases I and IV, we can predict that the optimal control \(u^{*}\in C^{\infty}(\Omega)\) as if the given data are sufficiently smooth. Indeed, from (2.22) and (2.25) we can observe that the regularity of the optimal control \(u^{*}\) agrees with that of the adjoint state \(z^{*}\).

To derive the above main result, we introduce \((y_{h}(u^{*}), \sigma _{h}(u^{*}), z_{h}(u^{*}),\omega_{h}(u^{*}))\in(Y^{h}\times\Sigma^{h})^{2}\) as the discrete intermediate variables. They are associated with the optimal control solution \(u^{*}\in U_{ad}\) and satisfy

for any \((v_{h}, \tau_{h})\in Y^{h} \times\Sigma^{h}\).

For simplicity of presentation, below let us denote those solutions of (4.5)-(4.6) corresponding to the optimal control \(u^{*}\)

Now we are ready to prove Theorem 4.4 in three steps. First, we prove a direct result between the intermediate variables and the numerical solutions.

Lemma 4.6

Let \((y_{h}^{*},\sigma_{h}^{*}, \omega_{h}^{*}, z_{h}^{*})\) and \((\widetilde{y}_{h}, \widetilde{\sigma}_{h}, \widetilde{z}_{h},\widetilde{\omega}_{h})\) be the solutions of (3.5)-(3.6) and (4.5)-(4.6), respectively. Then the following estimates hold:

Proof

On the one hand, we conclude from (3.5) and (4.5) that

Selecting \(v_{h}=y_{h}^{*}-\widetilde{y}_{h}\) and \(\tau_{h}=\sigma_{h}-\widetilde {\sigma}_{h}\) in (4.8). It then follows from the stability result in Proposition 2.3 that

On the other hand, we deduce from (3.6) and (4.6) that

for any \((v_{h}, \tau_{h})\in Y^{h} \times\Sigma^{h}\).

Let \(v_{h}=z_{h}^{*}-\widetilde{z}_{h}\) and \(\tau_{h}=\omega_{h}^{*}-\widetilde {\omega}_{h}\). Following the stability result in Proposition 2.5 and the conclusion (4.9), we derive

Therefore, the proof of Lemma 4.6 is ended. □

Then we turn to the validation of an optimal-order convergence between the intermediate variables and the exact solutions.

Lemma 4.7

Let \((y^{*},\sigma^{*}, z^{*}, \omega^{*})\) and \((\widetilde{y}_{h}, \widetilde {\sigma}_{h}, \widetilde{z}_{h},\widetilde{\omega}_{h})\) be the solutions of (2.13)-(2.14) and (4.5)-(4.6), respectively. Furthermore, assume the solutions \(\{y^{*}, z^{*}\}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\) and \(\{\sigma^{*}, \omega^{*}\} \in H^{1}(\Omega)^{d}\). Then the following estimates hold:

Proof

First of all, it is clear that (4.5) is the mixed finite element approximation of (2.13). Therefore, the result (4.12) can easily be proved by the interpolation estimation theory in Lemma 4.2.

Second, we obtain by subtracting (4.6) from (2.14) that

for any \((v_{h}, \tau_{h})\in Y^{h}\times\Sigma^{h}\).

Equivalently, (4.14) can be expressed as

where \(\mathcal{I}_{h} z^{*}\in Y^{h}\) and \(\mathcal{I}_{h} \omega^{*}\in \Sigma^{h}\) are the standard Lagrange piecewise linear interpolation of \(z^{*}\) and \(\omega^{*}\), respectively.

Let \(v_{h}=\mathcal{I}_{h} z^{*}-\widetilde{z}_{h}\) and \(\tau_{h}=\mathcal {I}_{h} \omega^{*}-\widetilde{\omega}_{h}\) in equation (4.15). It then follows from Proposition 2.1, Lemma 4.3, and the Cauchy-Schwarz inequality that

which implies

Then the result (4.13) can be derived by the triangle inequality, Lemma 4.3, (4.12) and (4.16); we have

Thus, Lemma 4.7 is proved. □

Summarizing Lemmas 4.6-4.7 with a simple application of the triangle inequality, it is easy to obtain

Therefore, the last step is to concentrate on estimating the \(L^{2}\)-norm errors between the continuous and discrete optimal control.

Proof of Theorem 4.4

Note that as proved in (3.8) that \(\mathcal{P}_{h} u^{*} \in U_{ad}^{h}\) for all different cases of \(U_{ad}\). It then follows from the optimality conditions (2.15) and (3.7) that

Thus, we have

In the following, we try to estimate the two terms on the right-hand of (4.20). First, it follows from the definition of \(\mathcal{P}_{h}\) in (3.8) that

Thus, we conclude from the Cauchy-Schwarz inequality, the boundedness of \(\mathcal{B}\), and Lemmas 4.1, 4.3 that

Here and hereafter ε is a small positive constant.

Similarly, for the second term on the right-hand side of (4.20) we have

where

and following (4.8) and (4.10) we have

Finally, collecting all these bounds together with ε being small enough, we have

Furthermore, inserting the above estimate into (4.18) we directly have

Thus, Theorem 4.4 follows immediately from (4.23) and (4.24). □

In this section, we present some numerical results of the novel stabilized mixed finite element method defined in Section 3 which confirm the theoretical analysis of the previous section. As for the constrained optimal control problem, the states and control are the main concern of the practical problem. Therefore, in the following tests, we mostly focus on the results of the state y, the flux state σ, and the control u.

Let \(\Omega=[0,1]\times[0,1]\). We are ready to test the following type optimal control problem:

subject to

For simplicity, we choose \(\delta=0.8\) as the stabilized parameter. Furthermore, to solve the constrained optimal control problem numerically, we adopt the following iterations using a Matlab environment.

Algorithm

Step 1. Give an initial control solution \(u_{h}^{(0)}\in U_{ad}^{h}\) and tolerance \(\operatorname{TOL}=1.0\mathrm{E}\mbox{-}06\).

For \(n=1,2,\ldots \) , \(\operatorname{Nmax}=100\)

Step 2. Solve \((y_{h}^{(n)}, \sigma_{h}^{(n)})\in Y^{h}\times \Sigma^{h}\) as follows:

 Step 2.1. Given initial \(\sigma_{h}^{(n,0)}\) and tolerance \(\operatorname{TOL}'=1.0\mathrm{E}\mbox{-}03\).

  For \(k=1,2,\ldots \) , \(\operatorname{Nmax}'=20\)

 Step 2.2. Solve \(y_{h}^{(n,k)}\in Y^{h}\) such that

 Step 2.3. Solve \(\sigma_{h}^{(n,k)}\in \Sigma^{h}\) such that

 Step 2.4. Stop until \(\|\sigma_{h}^{(n,k)}-\sigma_{h}^{(n,k-1)}\| _{L^{2}(\Omega)^{2}}<\operatorname{TOL}'\) is satisfied, and let

Step 3. Solve \((z_{h}^{(n)}, \omega_{h}^{(n)})\in Y^{h}\times \Sigma^{h}\) as follows:

 Step 3.1. Given initial \(\omega_{h}^{(n,0)}\) and tolerance TOL′.

  For \(k=1,2,\ldots \) , Nmax′

 Step 3.2. Solve \(z_{h}^{(n,k)}\in Y^{h}\) such that

 Step 3.3. Solve \(\omega_{h}^{(n,k)}\in \Sigma^{h}\) such that

 Step 3.4. Stop until \(\|\omega_{h}^{(n,k)}-\omega_{h}^{(n,k-1)}\| _{L^{2}(\Omega)^{2}}<\operatorname{TOL}'\) is satisfied, and let

Step 4. Solve \(u_{h}^{(n)}\in U_{ad}^{h}\) such that

Step 5. Stop if \(\|u_{h}^{(n)}-u_{h}^{(n-1)}\|_{L^{2}(\Omega)}<\operatorname{TOL}\) is satisfied, and let

Example 1

For the first example, we choose \(\sigma_{d}=\sigma\) and consider Case III with \(a=0\), \(b=0.5\). The corresponding analytical solutions of the optimal control problem are as follows:

where the source function f can be computed using (1.2), while the desired state \(y_{d}\) is determined by (2.16).

We can see that the solutions of this example are δ-independent. Table 1 displays the errors and convergence orders with respect to the decreasing uniform mesh size h for the control u in \(L^{2}(\Omega)\)-norm, the states y and σ in weighted norm. The main CPU time for the computation excluding the mesh generation part is also listed. It uses no more than five cycles for the iteration algorithm. Figure 1 shows the numerical solution and numerical error of the control when mesh size \(h=1/64\), while the numerical solutions and errors of the state and flux state are presented in Figures 2-4, respectively. It can be observed that the numerical results are in agreement with the analytical solutions very well.

The numerical control \(\pmb{u_{h}}\) and corresponding error for Example 1 .

Full size image

The numerical state \(\pmb{y_{h}}\) and corresponding error for Example 1 .

Full size image

The first component of numerical flux state \(\pmb{\sigma_{h}}\) and corresponding error for Example 1 .

Full size image

The second component of numerical flux state \(\pmb{\sigma_{h}}\) and corresponding error for Example 1 .

Full size image

Example 2

For the second example, we consider a nonhomogeneous Dirichlet boundary problem. Let us take \(\sigma_{d}=0\) and consider Case IV with \(\overline {z}=\frac{4}{9}\). The corresponding solutions of the optimal control problem are as follows:

where the source function f and the desired states \(y_{d}\) can also be determined by (1.2) and (2.16), respectively.

This is a δ-dependent example, i.e., the adjoint flux state ω depends on the parameter δ. In Table 2, we also list the corresponding errors, convergence orders and CPU time with respect to different meshes. Figures 5-8 show the plots of the numerical control, state, and flux state, respectively for \(h=1/64\). We can observe that the convergence orders are consistent with Theorem 4.4. Besides, the numerical results are also well matched with the analytical solutions.

The numerical control \(\pmb{u_{h}}\) and corresponding error for Example 2 .

Full size image

The numerical state \(\pmb{y_{h}}\) and corresponding error for Example 2 .

Full size image

The first component of numerical flux state \(\pmb{\sigma_{h}}\) and corresponding error for Example 2 .

Full size image

The second component of numerical flux state \(\pmb{\sigma_{h}}\) and corresponding error for Example 2 .

Full size image

In this paper, we discuss a novel stabilized mixed finite element method for the approximation of reaction-diffusion optimal control problem. Compared with our previous work, the novel method is more simple and easier to be implemented. It needs only one stabilization parameter but is still stable. Furthermore, low regularities for the state and adjoint state variables are needed. Different cases of the admissible control set are discussed and a priori error estimates are proved. Finally, numerical experiments are addressed to demonstrate the theoretical analysis. Most importantly, we should point that this novel stabilized mixed method is more competitive. It can easily be extended to solve optimal control problems governed by a bilinear state equation, the Stokes equation and so on.

This work was supported by the National Natural Science Foundation of China (Nos. 11201485, 11571367), the Promotive Research Fund for Excellent Young and Middle-aged Scientists of Shandong Province (No. BS2013NJ001), and the Fundamental Research Funds for the Central Universities (Nos. 14CX02217A, 15CX08004A, 15CX08011A). The first author was partially supported by the China Scholarship Council (No. 201506455014).

Affiliations

1. College of Science, China University of Petroleum, Qingdao, 266580, China

   • Hongfei Fu
   • , Hui Guo
   •  & Junlong Zhao

2. College of Petroleum Engineering, China University of Petroleum, Qingdao, 266580, China

   • Jian Hou

Corresponding author

Correspondence to Hongfei Fu.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Reprints and Permissions