1 Introduction
In this paper, we consider and analyze continuous space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of the following parabolic optimal control problem: For a given target function , we want to minimize the cost functional
(1) |
subject to the linear parabolic state equation
(2) |
where is the space-time domain with the lateral boundary , and . Moreover, , , is a bounded Lipschitz domain, is the final time, and is some regularization parameter.
In our recent paper [18], we have considered the related standard optimal control problem with regularization in , i.e.,
(3) |
subject to (2). In both cases, we can numerically solve the corresponding parabolic forward-backward optimality systems at once. This allows not only for a more efficient solution of the global system, but also for parallelization in space and time, and for adaptive discretizations simultaneously in space and time. In contrast to classical time-stepping methods or discontinuous Galerkin (dG) methods which are defined with respect to time slices or slabs, see, e.g., the monographs [16] and [31], and the review article [9] on parallel-in-time methods, we use fully unstructured simplicial space-time meshes for the numerical solution of the parabolic state equation (2), see the recent review article [29] and the related references therein.
The standard approach for distributed control problems is to consider the control in . There is a huge number of publications on the standard setting (3) with -regularization. We here only refer to the monographs [5, 12, 32], to the more recent papers [10, 21, 22] on discontinuous (dG) and continuous Galerkin time-slice finite element methods, [23] on full space-time dG finite element methods, [11] on space-time adaptive wavelet methods, [13, 17] on multiharmonic methods, [1] on proper orthogonal decomposistion, [7]
on low-rank tensor method, and to our very recent paper
[18] on completely unstructured space-time finite element methods for optimal control of parabolic equations based on -regularization, and the references given therein. However, since the state is well defined as the solution of the forward heat equation for , we may also consider the tracking type functional as given in (1). Applying integration by parts also in time to derive a variational formulation for the adjoint equation, we end up, in contrast to the case ofregularization, with a positive definite but skew-symmetric bilinear form describing the optimality system. In this paper, we provide a complete numerical analysis for both the continuous and discrete system.
The rest of the paper is structured as follows. In Section 2, we introduce some notation and state some preliminary results on the solvability and numerical analysis of the parabolic initial-boundary value problem that serves as state equation in the optimal control problem. In Section 3, we analyze the unique solvability of the continuous optimality system, whereas Section 4 is devoted to the numerical analysis of the space-time finite element approximation. Numerical results are presented in Section 5 Finally, some conclusions are drawn in Section 6.
2 Preliminaries
In this section, we introduce basic notations, and summarize some recent results on space-time finite element methods for the numerical solution of the state equation (2). For the mathematical analysis of parabolic initial boundary value problems in space-time Sobolev spaces, see [14, 15], and [20, 33] for Bochner spaces of abstract functions, mapping the time interval to some Hilbert or Banach space.
Following the latter approach, we define
using the standard Sobolev spaces and its dual . Note that we have as used in [20]. The related norms are given by
where is the unique solution of the variational formulation [27]
(4) |
The standard weak formulation of the initial boundary value problem (2) reads as follows: Given , find such that
(5) |
with the bilinear form ,
(6) |
and the linear form with the duality pairing as extension of the inner product in . Similarly, the first integral in (6) has to be understood as duality pairing as well.
The bilinear form is bounded,
(7) |
and satisfies the inf-sup stability condition [27, Theorem 2.1]
(8) |
Moreover, for , we define
to obtain
Hence, we can apply the Nec̆as-Babuška theorem [2, 24] to conclude that the variational problem (5) is well-posed, see also [3, 6, 8].
For the finite element discretization of the variational formulation (5), we introduce conforming space-time finite element spaces and , where we assume . In particular, we may use spanned by continuous and piecewise linear basis functions which are defined with respect to some admissible decomposition of the space-time domain into shape regular simplicial finite elements , and which are zero at the initial time and at the lateral boundary , where denotes a suitable mesh-size parameter, see, e.g., [6, 8, 27]. Then the finite element approximation of (5) is to find such that
(9) |
When replacing (4) by its finite element approximation to find such that
(10) |
we can define a discrete norm
As in the continuous case, see (8), we can prove a discrete inf-sup condition, see [27, Theorem 3.1],
(11) |
Hence, we conclude unique solvability of the Galerkin scheme (9), and we obtain the following quasi-optimal error estimate, see [27, Theorem 3.2]:
(12) |
In particular, when assuming , this finally results in the energy error estimate, see [27, Theorem 3.3],
(13) |
3 The first-order optimality system
We now consider the optimal control problem to minimize (1) subject to the heat equation (2). As in (4), we define as the unique solution of the variational problem
(14) |
to conclude
Now, using standard arguments, we can write the first-order optimality system as the primal problem
the adjoint problem
(15) |
and the gradient equation
(16) |
Using the variational formulation (5) of the primal problem, inserting the definition (14), and the gradient equation (16), we get a first variational equation to find such that
On the other hand, when considering the variational formulation of the adjoint problem and integrating by parts also in time, we arrive at the second variational equation
Hence, we end up with a variational problem to find such that
(17) |
with
(18) |
Here, the bilinear form is the same as used in Section 2,
Note that and .
Theorem 1.
For , the variational problem (17) admits a unique solution satisfying the a priori estimates
Proof.
Using the Riesz representation theorem, we introduce operators , , and , satisfying, for and ,
Hence, we can write the variational problem (17) as operator equation
Since the operator is bounded and elliptic, we can determine to obtain the Schur complement system
(19) |
For , we first have
From the stability condition (8) for the state equation, see Section 2, we immediately get
Hence, we have
Thus, we conclude unique solvability of the Schur complement system (19), and from
we obtain the first estimate. Now, the boundedness of , i.e., the boundedness (7) of the bilinear form yields
i.e.,
∎
Although unique solvability of the variational problem (17) already implies a related stability condition for the bilinear form , we will present an alternative proof for this stability condition in order to be able to derive related results for the Galerkin discretization of (17).
Lemma 1.
Proof.
For , let be the unique solution of the variational problem (4). For and arbitrary , we have . Choosing , we obtain
Following the proof of [27, Theorem 2.1], we use
Moreover, for , we have
Choosing and , we get
On the other hand, we have
provided that . Therefore,
follows. This concludes the proof. ∎
4 Discretization
As before, let and be some conforming space-time finite element spaces satisfying . Again, we choose , but now we use . By construction, we have .
Instead of (10), we now consider the variational formulation to find such that
(21) |
to define the discrete norm
The space-time finite element discretization of the variational formulation (17) is to find such that
(22) |
As in the continuous case, see Theorem 1, and following [27, Section 3], we can confirm a discrete inf-sup condition for the bilinear form .
Lemma 2.
The bilinear form (18) satisfies the discrete stability condition
(23) |
for all , when assuming and .
Proof.
Since the proof follows the lines of the proof of Theorem 1, we only sketch the most important steps.
For , let be the unique finite element solution of the variational problem (21). For , and due to , we then have , . Moreover, set .
The discrete inf-sup condition (23) implies unique solvability of the space-time finite element scheme (22). By combining (22) with (17) and by using the inclusions and , we also conclude the Galerkin orthogonality
(24) |
Theorem 2.
Proof.
For arbitrary , the discrete inf-sup condition (23) and the Galerkin orthogonality (24) immediately yield the estimates
Now we consider
Integrating by parts in time and using in , we obtain
Therefore, the inequalities
follow. Let with or be a shape regular simplicial finite element with mesh size . For a piecewise linear finite element function, we then have the equivalence
where the are the local nodal values of . Hence, we can write
as well as
Thus, we conclude
where is the globally quasi-uniform mesh size of all space-time finite elements sharing . Since we have on , we finally obtain