2,638
views
2
recommends
+1 Recommend
1 collections
    51
    shares
       
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Time-dependent Dirichlet conditions in finite element discretizations

      Original article
      Bookmark

            Abstract

            For the modeling and numerical approximation of problems with time-dependent Dirichlet boundary conditions, one can call on several consistent and inconsistent approaches. We show that spatially discretized boundary control problems can be brought into a standard state space form accessible for standard optimization and model reduction techniques. We discuss several methods that base on standard finite element discretizations, propose a newly developed problem formulation, and investigate their performance in numerical examples. We illustrate that penalty schemes require a wise choice of the penalization parameters in particular for iterative solves of the algebraic equations. Incidentally, we confirm that standard finite element discretizations of higher order may not achieve the optimal order of convergence in the treatment of boundary forcing problems and that convergence estimates by the common method of manufactured solutions can be misleading.

            Main article text

            INTRODUCTION

            In practical applications, see [1,2] for examples on flow control, a system is typically controlled via actuations at an interface. The mathematical model to use is, thus, a partial differential equation (PDE) with respect to space and possibly time posed on a domain and controls acting at the boundary. Depending on the application, the control may appear as a Dirichlet or a Neumann or Robin boundary condition.

            Despite their importance in the modeling of control setups, cf. [3, Ch. 1], time-dependent inhomogeneous Dirichlet conditions have sparsely been investigated in terms of analysis and numerical approximation. Also for the elliptic or time-independent case, in textbooks on optimal control of PDEs, inhomogeneous Dirichlet conditions are often not considered because they are not of variational type, i.e., the equations are not posed in a dual space of the solution space, see, e.g., Refs. [4, Ch. 2] and [5, Ch. 2.3]. Another rather obvious obstacle is that a standard choice of trial and test function formulations implies a certain smoothness of the boundary data which may be impractical [5, Ch. 2.3].

            For a general overview of the functional analysis for parabolic systems with Dirichlet boundary control, we refer to Refs. [4,6]. One basic approach is to transpose the involved elliptic operator so that the boundary conditions appear in the dynamic equations. This approach considers test functions of higher regularity and allows for rough solutions and boundary values. In the books mentioned, this method is referred to as Method of Transposition.

            More recently, in the literature on numerical approximation of this type of solutions, the term very or ultra weak solutions has been used. The elliptic case is treated in Refs. [79], and time-dependent formulations are considered in Refs. [10,11]. The existence and the approximation of very weak solutions are well understood [7]. The key ingredient is the proper approximation of functions at the boundary via a projection [7,8,10].

            An alternative approach of relaxing the boundary constraint via a penalization term in Robin boundary conditions has been investigated in Refs. [12,13].

            The scope of the work presented is the assessment of the numerical treatment of boundary control problems in view of employing standard finite dimensional state space system theory for optimal control and model reduction; see Ref. [14] for an application example. The main criterion is that we can use standard continuous Galerkin schemes and that the spatially discretized problem can be written in the form:

            (1)v˙(t)=g(t,v,u)
            or, in the linear case, in the form:
            (2)v˙(t)=A(t)v(t)+B(t)u(t).
            We will consider algebraic manipulations of spatial discretizations of the standard formulation, as well as reformulations of the abstract equations and discuss their performance in numerical approximation of convection-diffusion problems. Apart from the value of an overview and a comparison of more or less well-known approaches, this paper provides evidence and insight into two phenomena that are important for the numerical analysis but that have not gained particular attention yet:
            1. The convenient and analytically well-understood approach of the approximative Robin boundary conditions will likely fail if the state equations are solved only up to a given relative residual.

            2. In the considered example, the convergence order of standard finite element schemes of polynomial degree 2 for time-dependent boundary-driven problems is lower than what one would expect from the convergence order for stationary problems. This lower convergence rate is not detected by the method of manufactured solution that is often used to numerically determine the convergence.

            In this manuscript, we define consistency, i.e., the reformulation does not change the solution, on the semi-discrete level. Hence, we take the point of view that the solution of the equivalent representation will converge, if the chosen discretization scheme converges. However, this might not be the case, see Ref. [15, Ch. 1] for an example considering the Navier–Stokes equations. In short, the consistency of the algebraic manipulations with reformulations of the abstract equations is of highest importance for stable and convergent approximations. We will consider this issue for the treatment of Dirichlet conditions separately in a forthcoming paper.

            This paper is organized as follows. In the section Generic problem formulations, we state the type of problems that we will consider both in an abstract setting and after a spatial discretization. In the section Rewriting the spatially discretized equations, we consider approaches that reformulate the spatially discretized equations into the desired form. In the section Incorporation via variational formulations and their discretizations, we discuss methods that reformulate the abstract equations such that a spatial discretization is a system of distributed type (1). In the section Numerical tests, we report on numerical tests concerning the approximation properties of the introduced methods. We conclude the paper by summarizing remarks and an outlook.

            GENERIC PROBLEM FORMULATIONS

            We will define a general continuous formulation that covers weak formulations of many PDEs from the modeling of physical phenomena. Also, we state the generic form of a spatial semi-discretization. We will restrict the considerations to the scalar case.

            Continuous equations

            Let Ωd,d{2,3}, be a bounded and regular domain such that the trace theorem as formulated in Ref. [16, Thm. 3.1] applies. Let Γ be its boundary. We define the Sobolev spaces V:=W1,2(Ω) and :=L2(Ω) and the dual space V of V with respect to the continuous embedding of V in to get:

            VV.
            We also introduce abbreviations for the trace spaces, cf. [17, Ch. 1.1], via
            Q=W12,2(Γ)andQ=Q:=(Q,),
            the space of bounded linear functionals on Q.

            Let

            (3)γ:VQ
            be the trace operator as defined, e.g., in Ref. [17, Thm. 1.5].

            We state the prototype of the continuous problem.

            Problem 2.1. Let T > 0 and consider A:(0,T)×VV. For L2(0,T;V), for υ0, and UL2(0,T;Q), find υ with υ(t)V and υ˙(t)V, a.e. on (0, T), so that:

            (4a)υ˙(t)A(t,υ(t))=(t),
            (4b)γυ(t)=U(t),
            holds for almost all t(0,T), and so that υ(0)=υ0 in .

            The system of abstract Equations (1) contains common weak formulations of PDEs that model physical phenomena, cf. [18]. We will not address time regularity here and, thus, leave the properties of the mappings tA(t,υ(t)) and, e.g., tυ˙(t) undefined in the statement of Problem 2.1.

            As an example, we consider the convection diffusion equation that models the propagation of a scalar quantity ρ due to convection and diffusion in a domain.

            Problem 2.2. Given a domain Ωd, a diffusion parameter ν, a convection wind β, with β(x,t)d for time t > 0 and xΩ, an initial value ρ0, and a function g, with g(t):Γ prescribing the boundary conditions, find a function ρ of space and time that satisfies:

            (5a)ρ˙(t)+β·ρ(t)νΔρ(t)=0,
            (5b)ρ|Γ(t)=g(t),
            and ρ(0) = ρ0.

            In standard weak formulations, assuming υV:=W1,2(Ω), Problem 2.2 is of the type of Problem 2.1, with, e.g., A defined via:

            (6)A(t,υ(t)),ϕV,V=Ω(w·υ(t),ϕ)+ν(υ(t),ϕ)dωΓν(υn(t),ϕ)dγ,
            for all ϕV and with /n denoting the normal derivative. Here and in what follows, the pairing (·,·) denotes the inner product in the spaces under consideration. The boundary integral in Equation (6) is only well defined for sufficiently regular solutions and test functions. For υ(t), ϕV=W1,2(Ω), it holds that υn(t)|ΓW12,2(Γ) and ϕ|ΓW12,2(Γ), so that the term Γν(υn(t),ϕ)dγ is well defined as the continuous extension of the inner product in L2(Γ), see Ref. [17, Ch. 1.1].

            Note that there are other possible choices for a weak formulation [11].

            The boundary condition in Equation (4), viewed as a constraint, can also be incorporated using the dual operator of γ:VQ and a so-called Lagrange multiplier. Then, under certain smoothness and consistency conditions [19], Problem 2.1 is equivalent to:

            Problem 2.3. Let T > 0 and consider A:(0,T)×VV. For L2(0,T;V), υ0, and UL2(0,T;Q), find υ with υ(t)V and υ˙(t)V and Λ with Λ(t)Q, a.e. on (0, T), so that:

            (7a)υ˙(t)A(t,υ(t))γΛ(t)=(t),
            (7b)γυ(t)=U(t),
            hold for almost all t(0,T), and so that υ(0)=υ0 in .

            Note that, in general, the Lagrangian multiplier resides in the dual space of the constraint. In the considered case, where Q=W12,2(Γ) is a Hilbert space, we can deliberately identify Q=Q.

            Spatially discretized equations

            We consider a generic spatial discretization of the introduced equations. Let VV be a finite dimensional subspace spanned by the basis functions {ψi}i=1nv. As it is standard for spatial discretizations of PDEs, we consider nodal bases, i.e., the basis functions are associated with nodes of a mesh and they have local support. We consider the decomposition:

            V=VIVΓ,
            where VI=span{ψi}i=1nI is the space spanned by the basis functions that are associated with nodes in the inner and that are zero at the boundary. Accordingly, nI is the number of nodes in the inner and VΓV is spanned by the basis functions {ψi}i=nI+1nv that have nonzero values at the boundary. We will use the abbreviation dof to address a degree of freedom that is represented by a basis function of V. Note that the considered splitting of V is not necessarily orthogonal.

            Thus, at time t, the function υ(t)V is to be approximated by a finite dimensional function υ(t)V or the vector υ(t)nv containing the coefficients of the expansion in the considered basis. We will assume that υ=(υI,υΓ) is partitioned, with υI being associated with VI and υΓ being associated with VΓ, i.e., the parts of V that live in the inner and at the boundary of the considered domain.

            Without further mentioning, for a function υV, we will identify υI and υΓ with their coefficient vectors of the expansion in Equation (8) and simply write:

            (8)υ=υI+υΓ=i=1nIυiψi+i=nI+1nυυiψi.
            We will consider test spaces that are subspaces of V. If only Dirichlet conditions are posed, the standard test space is VI. Otherwise, all boundary dofs that are not fixed by a Dirichlet condition are included in the test space.

            Generally, in the assembled coefficient matrices, rows will correspond to dofs in the test space and columns will correspond to dofs in the ansatz space. In particular, we will consider complying partitions of the coefficient matrices like the mass matrix:

            M:=[(ψi,ψj)]i,j=1,,nv
            with respect to the test space,
            M=[MIMΓ],
            and, once more, with respect to the trial space,
            (9)MI=[MIIMIΓ],
            where
            MII:=[(ψi,ψj)]i,j=1,,nIandMIΓ:=[(ψi,ψj)]i=1,,nI,j=nI+1,,nυ
            are the parts associated with the inner dofs and the part of the mass matrix that relates to the boundary dofs tested against the inner nodes, respectively.

            Similarly, we define the discrete approximation A:(0,T)×nυnυ to A as:

            A(t,υ)=[A(t,υ),ψiV,V]i=1,,nυ

            and AI:(0,T)×nυnI as its restriction to the test functions of the inner nodes, where, again, we have associated a vector υnυ with a function in V via (8). If A is linear, then its approximation on A:(0,T)×nυnυ can be assembled as a matrix-valued function via:

            A(t)=[A(t,ψj),ψiV,V]i,j=1,,nυ,
            with the partitions AI, AII, and AIΓ as they were defined for M in Equation (9).

            The discrete approximation f:(0,T)nυ to the right-hand side :(0,T)V is given as:

            f(t)=[(t),ψiV,V]i=1,,nυ.
            We will not distinguish notationally between f and its restriction to the inner test functions.

            To assign the boundary values, we simply assign the dofs associated with the corresponding boundaries via:

            (10)Gυ=u,where G=[0I]nυnI,nυ
            and where unυnI is a vector that will contain the current value of the boundary control at the given locations. As defined in Equation (10), the operator G picks out the boundary dofs of a function υV and assigns the control values. Note, however, that there are other discrete approximations to the trace operator γ that consider, e.g., the inner product in Q or include suitable projections [7,8].

            Thus, if we assume υ(t)V and if we test against the basis functions of VI, the generic spatial discretization of Problem 2.1, that treats the boundary separately from the differential equation is of the form:

            Problem 2.4. Let T > 0, nυ, nI, and nd:=nυnI and consider AI:(0,T)×nυnI, Gnd,nυ, and MInI,nv as defined in the beginning of the section, Spatially discretized equations. For fL2(0,T;nI), αnυ, and uL2(0,T;nd) find υ with υ(t):(0,T)nυ, so that:

            (11a)MIυ˙(t)AI(t,υ(t))=f(t),
            (11b)Gυ(t)=u(t),
            hold for almost all t(0,T) and υ(0)=α.

            For the system of Problem 2.3 with the multiplier, a possible spatial discretization defines a differential equation considering also the boundary parts, cf. [19,20]. It generically takes the form:

            Problem 2.5. Let T>0, nυ, nI, and nd:=nυnI and consider A:(0,T)×nυnυ, Gnd,nυ, and Mnυ,nυ as defined in the beginning of the section Spatially discretized equations. For fL2(0,T;nυ), αnυ, and uL2(0,T;nd) find υ:(0,T)nυ and λ:(0,T)nd, so that:

            (12a)Mυ˙(t)A(t,υ(t))GTλ(t)=f(t),
            (12b)Gυ(t)=u(t),
            hold for almost all t(0,T) and υ(0)=α.

            For illustration purposes, we will use the linear time-invariant case of Problem 2.4, for which AI is a linear map given as a matrix AInI,nυ and write (4) as:

            (13a)MIυ˙(t)AIυ(t)=f(t)
            (13b)Gv(t)=u(t).
            More often than not, we will omit the time dependency of the variables and functions.

            Remark 2.6. Until now we have not addressed time regularity, but, for sufficiently smooth input functions, we expect to obtain solutions in the classical sense. Only the values at the boundaries may have a jump at t = 0, since consistency with the boundary conditions is not possible for an arbitrary input. This is in line with the infinite dimensional setting, where the solution is typically only continuous in (t), with =L2(Ω), where boundary conditions do not play a role.

            REWRITING THE SPATIALLY DISCRETIZED EQUATIONS

            In this section, we consider the spatially discretized equations introduced in the section Spatially discretized equations. For the sake of illustration, we assume that we only have Dirichlet boundary conditions. This is not a restriction, since one can always split the boundaries and consider the parts separately.

            Direct assignment of the boundary dofs

            We now illustrate that the immediate way of assigning the dofs at the boundary, as it is commonly done for inhomogeneous Dirichlet conditions for stationary problems [21], does not simply lead to a system of the form (1).

            Consider the linear formulation (6) of Problem the 2.4 with the assignment of the boundary conditions as in Equation (13b):

            (14a)MIv˙AIυ=f,
            (14b)Gυ=υΓ=u,
            (14c)υ(0)=α.
            Then, with the partitioning of MI and AI as in Equation (9), the state equation reads:
            [MIIMIΓ][υ˙Iυ˙Γ]=AIIυI+AIΓυΓ+f
            which, having inserted Equation (14b), gives:
            (15)MIIv˙I=AIIvI+f+AIΓuMIΓu˙.
            System (15) is not of the form (2) because of the appearance of u˙.

            Remark 3.1. One can define a new input as u˜:=u˙ and consider the system:

            [100MII]ddt[uυI][0AII(υI+u)+f]=[1MIΓ]u˜.
            This approach uses a so-called dynamical controller that is defined via a differential relation. As pointed out in Ref. [22], for a dynamical controller one can set the initial value to zero to circumvent the expected inconsistencies mentioned in Remark 2.6.

            Although Rothe’s method is out of consideration, since it leads to a sequence of algebraic equations rather than to a differential equation, it is worth mentioning that it implicitly approximates the time-derivative of the Dirichlet conditions as they appear in Equation (15).

            Remark 3.2. Using Rothe’s method of discretizing Problem (2) in time, first, e.g., via using an explicit Euler scheme with a time step length τ, and subsequently discretizing in space, leads to systems of type:

            MIυk+1=MIυk+τ(AIυk+fk),
            Gυk+1=υΓk+1=uk+1,
            where the superscript k relates to the values of the functions at the kth time instance. If at the previous time instance υΓk=uk, then the direct assignment at the current instance gives:
            MIIυIk+1=MIIυIk+τ(AIIυIk+fk)+τAIΓukMIΓ[uk+1uk],
            which can be seen as time-discrete approximation to Equation (15).

            Lifting of the boundary conditions

            These approaches base on a lifting υ˜ that fulfills the boundary conditions for all time and the decoupling of the solution υ=y+υ˜, see [23] for an example with linearized Navier–Stokes equations.

            We consider the linear time-invariant case (7) and assume that f = 0.

            At time t[0,T], we define a lifting as:

            (16)υ˜(t)=[υ˜I(t)u(t)].
            Then, considering Equation (8) with υ=y+υ˜ and splitting AI and MI as in Equation (9), we find that yΓ=0 and we obtain the relation:
            MIIy˙I=AIIyI+AIυ˜MIυ˜˙,yI(0)=αIυ˜I(0).
            We use the abbreviation A¯II=MII1AII and, with the well-known solution representation, we obtain that:
            yI(t)=eA¯IIt(αIυ˜I(0))+0teA¯II(ts)MII1(AIυ˜MIυ˜˙(s))ds.

            After an integration by parts, we find that:

            yI(t)=eA¯IIt(αIυ˜I(0))+0teA¯II(ts)(AIυ˜(s)A¯IIMII1MIυ˜(s))ds
            MII1MIυ˜(t)+eA¯IItMII1Mυ˜(0).
            Using that MIυ˜=MIIυ˜I+MIΓu and having regrouped the terms, we conclude that υ̂I:=yI+MII1Mυ˜=υI+MII1MIΓu fulfills the ordinary differential equation (ODE):
            (17)MIIυ̂˙I=AIIυ̂I+Bu,υ̂I(0)=αI+MII1MIΓu(0),
            with
            B=[AIIMI1MIΓAIΓ].
            The actual solution is easily retrieved from υ̂=υI+MII1MIΓu. Note, however, the dependency of the initial value on u(0) in Equation (17).

            Remark 3.3. The dependency of the initial value on u(0) is due to the ansatz that assumes smoothness of υ˜, which then extends to the boundary nodes. Accordingly, at the boundary, the initial value needs to be consistent with the control at time t = 0, cf. Remark 2.6.

            This is not an issue in practical applications where the determination of a control law does not depend on the initial value for the state like it is the case in linear-quadratic optimal control.

            Remark 3.4. We find it worth pointing out, that the system (17) does not depend on the choice of the lifting (16) and, thus, includes in particular the lifting by means of the harmonic extension of the boundary values into the inner.

            Split mass matrix lifting

            For the particular choice of the lifting:

            υ˜(t)=[MII1MIΓu(t)u(t)]
            which leads to MIυ˜˙(t)=0 for all time t, the application for nonlinear systems is straightforward. Considering again, y=υυ˜, and the nonlinear case of Problem 2.4, one arrives at the ODE:
            MIIy˙I=AI(yI+υ˜(u))+f,yI(0)=αI+MII1MIΓu(0).
            Again, the actual solution is easily obtained by a backwards substitution υI=yI+υ˜I=yIMII1MIΓu, but the initial value depends on the possibly unknown input u.

            Remark 3.5. A lifting as defined in this chapter leads to an ODE of the desired form. In a forthcoming work, we will investigate similar manipulations on the abstract equations. If the proposed algebraic splitting has a counterpart in infinite dimensions, then one can expect well posedness of the transformed system also for every finer discretizations.

            Remark 3.6. For linear time-dependent cases, similar formulas can be derived using fundamental solution matrices or transition matrices. Also, the split mass matrix approach is readily applicable and gives a system of type (2).

            Incorporation of the boundary data via Lagrange multiplier

            We consider the formulation of Problem 2.5:

            (18a)Mυ˙(t)A(t,υ(t))GTλ(t)=f(t),
            (18b)Gv(t)=u(t),
            with the Lagrangian multiplier λ.

            The saddle point structure is similar to the velocity-pressure formulation of Navier–Stokes equations, where the pressure can be interpreted as the multiplier that couples the divergence constraint to the momentum equation. In particular, it is a special case of semi-explicit index-2 DAEs as they were considered, e.g., in Ref. [24]. Thus, the formulations for the treatment of the boundary conditions that we propose in this section are adaptions of algorithms for the numerical time integration of Navier–Stokes equations or, more general, DAEs of index 2.

            Decoupling by projection. In the considered case, G has the form G=[0I] and M is symmetric positive definite. Thus, we can define:

            P:=IM1GTS1G,S:=GM1GT,andQ:=S1GM1.
            With this, system (8) can be equivalently [15] reformulated as (υ,λ)=(υi+υg,λ), where the transformed variables are the solutions of:
            (19)υg=M1GTS1u,
            (20)λ=QA(vg+vi)QfQMυ˙Γ, 
            and
            (21)υ˙iPM1A(υi+M1GTS1u)=PM1f.
            Note that the differential Equation (21) is of type (1).

            With MP = PTM, in the linear case, we can write the differential equation for υi as:

            Mυ˙iPTAυi=PTf+PTBu,
            with B:=AM1GTS1. In the nonlinear case, the input appears inside the nonlinearity.

            Remark 3.7. Since ndnυ, i.e., the number of dofs associated with the boundary is small if compared to the number of inner nodes, an explicit realization of the projection P is feasible. This is different from the analogue for the Navier–Stokes equation, where the dimension of the subspace of the divergence free functions equals the dimension of the pressure space and, thus, can be large.

            Remark 3.8. The variable υi has zero values at the boundary at all time. Thus, if one only considers the ODE (21) for vi, there is no problem of possibly inconsistent initial values due to the chosen control, cf. Remark 2.6. However, a given initial value has to fulfill also (19).

            Regularization via penalization. If one adds the term αλ(t), 0<α1, to the left-hand side of Equation (18b), one can solve for the multiplier and eliminate it from the differential part:

            Mυ˙(t)A(t,υ(t))+1αGTGυ=f(t)+1αGTu.
            This approach is known as penalty scheme and pressure penalization in the numerical integration of multibody and Navier–Stokes systems, respectively, cf., e.g., [25,26]. The method is straightforward to implement but comes with the need of a proper choice of the penalization parameter. The main difficulty is that a small parameter α not only increases the quality of the approximation of the constraints but also increases the stiffness of the resulting ODE.

            INCORPORATION VIA VARIATIONAL FORMULATIONS AND THEIR DISCRETIZATIONS

            In its most general form, the variational or weak incorporation of the Dirichlet boundary conditions is derived from Problem 2.1 as follows. Instead of considering the constraint (4b) one adds a penalty term to the variational formulation of the dynamic Equation (4a):

            (22)υ˙(t)A(t,υ(t))+1αλ(γυ(t)U(t))=(t),
            where λ:QV and α is a small penalization parameter. Then, for various choices of λ and Q, various weak incorporations of the Dirichlet conditions are realized. For example, defining λ through:
            λq,ϕV,V=Γ(q,ϕ)dγ
            for a qQ and for any ϕV, one obtains the penalized Robin approximation described in the section Penalized Robin in this paper.

            Ultra weak formulations

            The basic concept of the ultra weak variational formulation is the transfer of smoothness requirements from the test space to the trial space. In numerical experiments, in a conforming discretization, this concept will require special finite element spaces that are not part of common finite element libraries. We will introduce the formulation and a nonconforming discretization suitable for a direct implementation.

            Let Φ=W2,2(Ω)W01,2(Ω) and consider the diffusion Equation (5) with β = 0. We call υ an ultra weak solution if:

            (23)Ω(υ˙,ϕ)dωΩν(υ,Δϕ) dω=f,ϕΦ,ΦΓν(g,ϕn)dγ
            for all ϕΦ, cf. [8]. The abstract Equation (23) indicates that a spatial discretization may lead to a system in the form of (2). The difficulty with a conforming approach, however, lies in the definition of matching test functions of high regularity with zero boundary values and suitable ansatz functions.

            A possible approach is to drop the requirement that the test functions have zero boundary conditions and to consider:

            Ω(v˙,ϕ)dωΩν(v,Δϕ)dωΓν(vn,ϕ)dγ=f,ϕΦ,ΦΓν(g,ϕn)dγ,
            which can be numerically approximated with standard finite element spaces of sufficiently high regularity.

            With the nonconforming ansatz spaces VW01,2(Ω), an approximation to (23) that is readily realizable is given through vV that satisfies:

            (24)Ω(υ˙,ϕ)dω+Ων(υ,ϕ)dω=Ω(f,ϕ)dωνΓ(g,ϕn)dγ
            for all ϕV, cf. [27, Ch. 5.2.1]. This approximation of the solution of the boundary value problem through functions with zero boundaries necessarily leads to a solution of L2 regularity regardless of possibly higher regularity of the problem. We have observed this low regularity in experiments using explicit schemes for time integration. However, in the reported numerical tests that use implicit schemes, the discretization (24) leads to decent approximations.

            The numerical approximation to ultra weak solutions of elliptic problems with boundary control as proposed in Ref. [7] uses a finite dimensional ansatz space VH1(Ω) and as the test space W:=VH01(Ω), see Refs. [8,10] for the extension to parabolic problems. The elliptic case then reads, find υV, such that:

            (25a)Ων(v,ϕ) dω=Ω(f,ϕ) dω,for all ϕVH01(Ω),
            (25b)υ=ΠV(u) on Γ,
            where ΠV is the L2 projection in L2(Γ) onto the grid induced by the triangulation that defines V. Using the spaces and formulations of (9) for a spatial discretization of a parabolic problem, one obtains a system that is the same as (7) apart from the appearance of the projector ΠV in the boundary term (14b). Anyways, the elimination of the boundary nodes will lead to a system like (15) that includes the time derivative u˙ of the control. A discontinuous Galerkin ansatz for the time discretization as used in Ref. [10] includes u˙ implicitly in the same way as Rothe’s method, cf. Remark 3.2.

            Remark 4.1. Since the known numerical approaches that base on (9) do not lead to systems of type (2) or (1), we did not consider them in the numerical experiments in this manuscript. However, the lifting, cf. the section Lifting of the boundary conditions, and the projection approach, cf. the section Decoupling by projection, readily apply to the formulation of the boundary term that includes the projector ΠV. The inclusion of the projection is necessary for well posedness of the Dirichlet control problem for the case of less regular boundary controls [7,8,10].

            Nitsche variational formulation

            A variant of the standard weak formulation of the pure diffusion, cf. (2) with β = 0, as proposed in Ref. [28] for the stationary Poisson equation reads:

            (26)Ω(υ˙,ϕ)dω+Ων(υ,ϕ) dωΓν(vn,ϕ)dγΓν(υ,ϕn) dγ+cγΓ(υ,ϕ)dγ=f,ϕΦ,ΦΓν(g,ϕn)dγ+cγΓ(g,ϕ)dγ
            for all ϕΦ=W1,2(Ω). The formulation is derived by considering the cost functional:
            J(w)=Ων(w,w)dω2Γν(wn,w)dγ+cγΓ(w,w) dγ,
            with a parameter cγ and the first order optimality conditions for J(wv)min, where υ is the solution of the stationary Poisson problem with nonhomogeneous Dirichlet boundary conditions. If for a given mesh cγ is chosen sufficiently large, namely cγh1 where h is a characteristic length of the triangulation, then the discretized optimization problem is convex [28, Equation (12)].

            For (26), a standard discrete formulation leads to an equation of type (2) with A and B explicitly given, see Ref. [29]. Cf. also [27, Ch. 5.2.2] where nonzero boundary values of y have been assumed.

            Penalized Robin

            If one approximates the Dirichlet conditions by a Robin-type condition:

            υαυn+υ=gorυn1α(gυ) on Γ,
            with a parameter α that is intended to go to zero, then the boundary conditions are incorporated naturally in the weak formulation of the convection–diffusion operator (6) and a standard finite element discretization leads to a system of type (1). For the pure diffusion case, convergence of the solutions to the actual solution for α0 has been shown in several contexts, cf. [12] and the references therein.

            NUMERICAL TESTS

            We consider two-dimensional convection–diffusion-reaction problems. All setups are directed to actuation at the boundary. In particular, there are no source terms. This excludes the method of manufactured solutions for consistency and convergence checks, where one constructs a solution and derives the corresponding source term and boundary data. In any case, the method of manufactured solution seems not well suited to test the modeling of boundary actuation, since the numerical solution will depend almost exclusively on the volume force; see the test case at the end of this section.

            Hence, in order to evaluate the convergence numerically, we compute a reference solution using the naive approach (15) of directly assigning the boundary nodes and a very fine grid in space and time.

            We refer to the tested schemes as follows:

            • dias – direct assignment of the boundary values – cf. the section Direct assignment of the boundary dofs

            • lift – lifting of the boundary conditions via split mass matrix – cf. the section Lifting of the boundary conditions

            • proj – incorporation of the constraint via Lagrange multiplier and projections – cf. the section Decoupling by projection

            • pena – penalization of the constraint – cf. the section Regularization via penalization

            • ncul – nonconforming approximation of ultra week solutions – cf. the section Ultra weak formulations

            • nits – approximation via the Nitsche variational formulation – cf. the section Nitsche variational formulation

            • pero – relaxation via Robin approximation – cf. the section Penalized Robin

            For all test setups, we will check the convergence of dias and that the theoretically equivalent formulations lift and proj give the same results. Also, we will investigate how the relaxed methods pena, nits, and pero perform for different choices of the penalization parameter and for inexact solves of the resulting linear systems. Furthermore, we will investigate how the schemes perform if an iterative solver is applied.

            Test setups

            We consider several convection–diffusion setups on a two-dimensional square domain. Let Ω=[1,1]×[1,1]2 be the computational domain with the spatial coordinates x=(x0,x1). Let Γ be the boundary with parts Γ0 to Γ3 as depicted in Figure 1. All setups model the evolution in time and space of a scalar quantity ρ due to a convection wind β and diffusion with a diffusion coefficient ν, cf. Problem 2.2.

            Figure 1.
            Illustration of the domain, the arrangement of the boundary segments, a triangulation with Nh = 12, and a snapshot of an approximation to the internal convection–diffusion as described in Test Case 1 at time t = 3.0.

            The quantity ρ is seeded into the domain at Γ0, where we enforce the time-dependent Dirichlet conditions:

            (27)ρ|Γ=g(x)u(t):=12(sin(πx0+π2)+1)(cos(2t+π)+1).
            Here, g(x):=12(sin(πx0+π2)+1) is the spatial shape function and u(t):=cos(2t+π)+1 is the scalar control function. At the remainder boundaries, Γ1, Γ2, and Γ3, depending on the setup, homogeneous Dirichlet or homogeneous Neumann boundary conditions are applied. As the initial value, we set ρ(0) = 0, which is consistent with the control action at time t = 0.

            As the first test case, we consider a setup with no convection at the boundary, so that the boundary control is propagated into the domain only by diffusion.

            Test case 1 (internal convection–diffusion). Given a convection wind and a diffusion parameter:

            β0(x)=[x1(x01)2(x0+1)2(x11)(x1+1)x0(x01)(x0+1)(x11)2(x2+1)2]andν0=0.1,
            find approximations to the scalar function ρ satisfying:
            (28a)ρ˙(t)+β0·ρ(t)ν0Δρ(t)=0,
            (28b)ρ|Γ0(t)=gu(t),
            (28c)ρ|Γ1Γ2Γ3(t)=0,
            (28d)ρ(0)=0,
            on given discretizations of the spatial domain Ω=[1,1]2 and of the time interval [0,4].

            As a second test case, we consider a convection–diffusion problem with inflow and outflow, for which the boundary values are also transported into the domain via convection. See Figure 2a for an illustration of the setup.

            Figure 2.
            Illustration of the distribution of the scalar ρ seeded at the upper boundary after diffusion and convection (a) and additional reaction (b) as described in Test Cases 2 and 3 for Nh = 15 at time t = 3.0.

            Test Case 2 (convection–diffusion). Given a convection wind and a diffusion parameter

            β1(x)=110[x0+1(x1+1)]andν1=0.1,
            find approximations to the scalar function ρ satisfying:
            ρ˙(t)+β1·ρ(t)ν1Δρ(t)=0,
            ρ|Γ0(t)=gu(t),
            ρ|Γ1Γ2(t)=0,
            ρν|Γ3(t)=0,
            ρ(0)=0,
            on given discretizations of the spatial domain Ω=[1,1]2 and of the time interval [0,0.2].

            The third test case is the same as the second but with an additional reaction source term r(ρ)=ρ(1ρ) in the dynamical equation. This source term r is positive for values of 0ρ1 and negative elsewhere. Thus, for values of ρ > 0 the reaction pushes ρ towards ρ = 1, cf. Figure 2b.

            The considered system, for t(0,1], now reads

            Test Case 3. Given the wind and the diffusion parameter defined in Test Case 2, find approximations to the scalar function ρ satisfying:

            ρ˙(t)+β1·ρ(t)ν1Δρ(t)=ρ(t)(1ρ(t)),
            ρ|Γ0(t)=gu(t),
            ρ|Γ1Γ2(t)=0,
            ρν|Γ3(t)=0,
            ρ(0)=0,
            on given discretizations of the spatial domain Ω=[1,1]2 and of the time interval [0,0.2].

            For all test cases, the spatial discretization is done on a uniform criss-cross triangulation described by the parameter Nh=2h which is the length of the boundary parts divided by the length of the longest edge of the triangles, see Figure 1. For the discrete function space, we use the parameter cg, denoting the polynomial degree of the chosen standard Lagrange elements. For the time discretization, we use a uniform grid of size Nτ1τ corresponding to the ratio of the length of the time interval versus the length of one time step. Here and in the following examples, already for the coarsest discretization, the local Peclet number Pe:=β(t)h/v is smaller than 1. Thus, we can expect reliable approximations without additional, e.g., upwind, stabilization [30].

            For the spatial discretization, we use the Python interface dolfin [31] to the finite element software suite Fenics [32]. Our investigation focusses on the space discretization errors but we will make sure that the time integration error is sufficiently small. For the linear cases, the time integration is done by means of the implicit trapezoidal rule. The nonlinear case is treated implicitly in the linear part and with the Method of Heun in the nonlinear part. The norms are computed using the piecewise trapezoidal rule for the time integration and dolfin’s built-in function error norm that evaluates the L2 norm in the discrete function spaces. In general, we solve the occurring linear equation systems via a direct solver that makes use of the python module scipy’s built-in sparse LU decomposition method. In some tests, we employ the generalized minimal residual method (GMRES) method using the implementation of the python module krypy [33]. The code used can be obtained from the author’s public git repository [34].

            By ρhNh,τNτpcg, we denote the approximation to the solution of (10) with the discretization parameters Nh, Nτ, and cg. By ehNh,τNτpcg, we denote the approximation error

            ehNh,τNτpcg:=ρhNh,τNτpcgρref
            measured in a numerical approximation of the L2(0,1;L2([1,1]2)) norm, where ρref is a reference computed with the cg=2 scheme with Nτ=240 and Nh=96.

            Convergence tests

            In Tables 1 and 2, we list the approximation errors for dias for increasingly fine space and time discretizations for Test Cases 1 and 2. One can see, that the spatial discretization error is dominating, i.e., convergence in the time discretization is only observed for larger values of Nτ. This justifies the choice of Nτ:=240 as the reference discretization for further error comparisons.

            Table 1.
            (Time space convergence of dias for linear elements, cf. the section Convergence tests) The approximation error ehNh,τNτpcg with ρref = ρh96,τ120p2 scaled by the inverse of eh6,τ30p1=1.119·101 (top) and eh6,τ60p2=3.201·102 (bottom) for varying space and time discretizations and for polynomial degree cg=1 (top) and cg=2 (bottom) for Test Case 1. Cf. also Figure 3a and b illustrating the convergence in space for the finest time discretization (the rightmost columns in the tables).
            Nh\Nτ3060120
            61.00001.00261.0033
            120.26080.26410.2651
            240.06540.06610.0671
            480.02440.01630.0166
            960.02150.00590.0041




            Nh\Nτ60120240




            61.00000.99820.9978
            120.22950.22720.2269
            240.04820.04240.0419
            480.02010.00770.0063
            Table 2.
            (Time space convergence of dias for quadratic elements, cf. the section Convergence tests) the approximation error ehNh,τNτpcg with ρref = ρh96,τ120p2 scaled by the inverse of eh6,τ30p1=4.349·104 (top) and eh6,τ60p2=8.551·1005 (bottom) for varying space and time discretizations and for polynomial degree cg=1 (top) and cg=2 (bottom) for Test Case 2. Cf. also Figure 3c and d illustrating the convergence in space for the finest time discretization (the rightmost columns in the tables).
            Nh\Nτ3060120
            61.00000.99970.9996
            120.36960.36950.3694
            240.10600.10590.1059
            480.02760.02750.0275
            960.00710.00700.0069




            Nh\Nτ60120240




            61.00001.00000.9999
            120.16990.16990.1699
            240.03160.03300.0305
            480.00850.00710.0071

            The errors ehNh,τ120pcg for a fixed time discretization and varying space discretizations are plotted in Figure 3 for all three test cases. From the plots, one can see that the equivalent formulations lift and proj give the same results and one can read off the numerically estimated order of spatial convergence (EOC). For the linear elements (cg=1), one obtains EOC=2 and for the quadratic elements (cg=2), one obtains EOC=2.5 at a lower error level. The observed order of convergence is not optimal as laid out in the section Convergence tests with volume forcing. For the linear elements, also ncul converges quadratically although with an error that is slightly larger than the one reported for proj and lift.

            Figure 3.
            Convergence tests for the consistent implementations, cf. the section Convergence tests. The error ehNh,τ120pcg for varying space discretizations Nh and for linear (left) and quadratic (right) shape functions. The first row of plots (a and b) corresponds to Test Case 1, the middle row (c and d) to Test Case 2, and the bottom line (e and f) to Test Case 3. The dashed lines indicate the slope of a quadratic convergence the dotted lines indicate a convergence of order 2.5.

            For piecewise quadratic shape functions, the scheme ncul delivered good approximations but its convergence rate was estimated as EOC=0.5, see Figure 3 (right column), which is much less than expected from theory. A possible explanation for this breakdown is the oscillation that occurs when approximating a step function by a quadratic polynomial. Recall that the scheme ncul enforces a zero value at the boundary, while in the inner it approximates a solution which is not zero at the boundary. The inevitable jump in the solution approximation is seemingly well captured by linear but not by quadratic elements.

            Parameter studies for the penalty schemes

            For the schemes pena, nits, and pero that depend on a parameter, we investigate the accuracy of the approximation versus the choice of the penalization parameter α, where we have defined the relation cγ=να to fit in Nitsche’s method (26). Judging from the results depicted in Figure 4, for large penalization parameters, the approximation is bad, while for small parameters the accuracy of the consistent approximations is obtained. The Nitsche method nits did not lead to reasonable approximations for large values of a.

            Figure 4.
            Penalization parameter study, cf. the section Parameter studies for the penalty schemes. The error ehNh,τ120p1 for varying space discretizations Nh versus the penalization parameter α for the schemes pena (left), pero (middle), and nits (right). The first row of plots (a–c) corresponds to Test Case 1, the middle row (d–f) to Test Case 2, and the bottom line (g and h) to Test Case 3.

            The necessity to properly choose the penalization parameter is evident in the errors that are reported for inexact solutions of the resulting linear systems. If one applies GMRES preconditioned with the inverse of the mass matrix, to solve the algebraic equations in every time step, the approximation error of the penalization schemes increases with smaller penalization parameters α. The plots in Figure 5 show this phenomenon. For this investigation, we allowed a relative residual of at most tol=105, which is already less than the overall error which is of magnitude 10−4.

            Figure 5.
            Penalty schemes and inexact solves, cf. the section Parameter studies for the penalty schemes. The error ehNh,τ120p1,tol1e5 for varying space discretizations Nh versus the penalization parameter α for the schemes pena (left), pero (middle), and nits (right), where the occurring algebraic equations are solved via GMRES up to an residual of 105. The first row of plots (a–c) corresponds to Test Case 1, the middle row (d–f) to Test Case 2, and the bottom line (g–i) to Test Case 3.

            The increase in the approximation error is mainly due to the increase of the magnitude of the right-hand side that scales with 1α. In fact, having solved the exemplary linear system Ax=f up to a relative residual of tol, one has that:

            Axff=tolorAxf=tolf
            which means that for larger right-hand sides f, the absolute residual Axf can be larger. A remedy is to control the absolute residual which can be done by correcting the provided relative residual by a factor tolcor=min{1f,1}, where f denotes the current right-hand side. In Figure 6d–f, we have reported the discrete L2(0,0.2) norm of tolcor for Test Case 2. Applying this correction, that scales with 1α, one recovers the approximation properties of exact solves over the whole range of α, cf. Figures 6g– i and 4d–f.

            Figure 6.
            Penalty schemes and absolute tolerances, cf. the section Parameter studies for the penalty schemes. The error ehNh,τ120p2,tol1e5 for a fixed relative residual tol=105 (top row), the correction of the residual tolcor (middle row), and for a fixed absolute residual abstol=105 (bottom row) for varying space discretizations Nh versus the penalization parameter α for the schemes pena (left), pero (middle), and nits (left) for Test Case 2.
            GMRES performance

            In this test setup, we investigated how the different but mainly equivalent formulations of the same problem affect the performance of an iterative solver. Therefore, we fixed the time and space discretization Nh=48 and Nτ=120 and, for polynomial degrees cg=1,2, we considered the simulations of Test Case 1, 2, and 3 if the resulting linear equations are solved using GMRES up to a relative residual smaller than tol=107. The results are listed in Tables 3 and 4.

            Table 3.
            Performance of GMRES within various formulations, see section GMRES performance. The averaged number of iterations per time-step av.#its and the approximation error for several methods and all three test cases for Nh=48, Nτ=120, and linear elements (cg=1 ) in the case that the resulting linear equations are solved using GMRES up to a relative residual of tol=107.
            Test Case 1Test Case 2Test Case 3
            av.#itseh48,τ120p1,tol1e-7av.#itseh48,τ120p1,tol1e-7av.#itseh48,τ120p1,tol1e-7
            proj41.71.9·10−310.61.2·10−510.61.1·10−5
            lift41.71.9·10−310.61.2·10−510.61.1·10−5
            pero60.84.0·10−314.27.8·10−614.27.6·10−6
            pena48.99.7·10−315.51.2·10−515.51.1·10−5
            ncul43.23.7·10−310.61.1·10−510.61.1·10−5

            The colored cells contain the lowest measured values.

            Table 4.
            (Performance of GMRES within various formulations, see section GMRES performance) The averaged number of iterations per time-step av.#its and the approximation error for several methods and all three test cases for Nh=48, Nτ=120, and quadratic elements (cg=2 ) in the case that the resulting linear equations are solved using GMRES up to a relative residual of tol=107.
            Test Case 1Test Case 2Test Case 3
            av.#itseh48,τ120p2,tol1e-7av.#itseh48,τ120p2,tol1e-7av.#itseh48,τ120p2,tol1e-7
            proj83.42.5·10−420.16.3·10−720.16.1·10−7
            lift83.42.5·10−420.16.0·10−720.16.1·10−7
            pero106.74.6·10−324.91.1·10−524.91.1·10−5
            pena71.23.8·10−220.64.2·10−620.64.4·10−6
            ncul84.97.7·10−220.31.1·10−420.31.1·10−4

            The colored cells contain the lowest measured values.

            The residuals were calculated in the inner product induced by the inverse of the mass matrices which was achieved by using the inverses as a preconditioner. At each timestep, as initial guesses, we took the values obtained by linear extrapolation on the bases of the two latest values. The parameter α was set to α=1 for pena and α=103 for pero which corresponds to the optimal values for the cg=1 case, cf. Figure 5.

            As a performance measure that is comparatively independent of the sophistication of the implementation, we took the averaged numbers of iteration per timestep that were needed to obtain a residual below tol=107. A second quality measure was the resulting approximation error with respect to the reference solution. In all tests, the methods proj and lift took the least number of iterations. In some cases, in terms of approximation quality, they were outperformed by pero, but at the price of significantly more necessary iterations. The scheme ncul performs similar to proj and lift for cg=1. For cg=2 the approximation was much worse as it was already observed in Ref. [22]. At almost all tests, the penalization schemes needed more iterations and lead to worse approximations if compared to the consistent schemes. Note, however, that the choice of the penalization parameters was certainly not optimal for the cg=2 cases.

            Convergence tests with volume forcing

            In the beginning of the section Numerical tests, we have mentioned that the method of manufactured solutions is not suitable for boundary controlled processes. This is intuitively clear since for every finer discretizations the weight of a boundary tends to zero if compared to a surface or volume patch. More concretely, in two spatial dimensions, the number of nodes at the boundary grows linearly, while the number of nodes in the inner grows at least quadratically. Thus, if the boundary conditions are merely an extension of a volume force, the volume force will dominate over what happens at the boundary.

            To back this assertion by a numerical experiment, we consider Test Cases 1 and 2 (see the section Test setups) but with an additional volume force in Equation (10a) corresponding to the constructed solution:

            ρref=18(sin(x0π+π2)+1)(sin(x12π)+1)(1+x1)u(t),
            with u as in Equation (27). The solution ρref is constructed such that at Γ0 it coincides with the boundary control function defined in Equation (27) and such that it is zero at the remaining boundaries. Also, it holds that ρrefν|Γ3=0 as required for the setup of Test Case 2.

            Taking the method lift and tabulating the approximation errors for varying time and space discretization, for linear elements, we find spatial convergence orders EOC=2, i.e., doubling Nh reduces the error by a factor of 22. For quadratic elements, we find EOC=3, i.e., doubling Nh reduces the error by a factor of 23, cf. Tables 5 and 6, and Figure 7. The convergence order is as expected for stationary problems and, for the quadratic ansatz functions, significantly better than in the previous experiments, cf., in particular, Table 1 and Figure 3b and d. This indicates that the boundary conditions are not optimally considered by standard discretization schemes. Moreover, this insufficiency is not captured by numerical tests with systems that are driven by a volume force.

            Table 5.
            (Time space convergence of lift with volume forcing, cf. section Convergence tests) The approximation error ehNh,τNτp1 scaled by the inverse of eh6,τ30p1=9.7149·102 for linear ansatz functions (top) and ehNh,τNτp1 scaled by the inverse of eh6,τ60p2=5.288·103 for quadratic ansatz functions (bottom) with ρref explicitly given for varying space and time discretizations for Test Case 1.
            Nh\Nτ3060120
            61.00000.99750.9975
            120.27200.25790.2579
            240.10640.06520.0651
            480.07970.01720.0163
            960.07660.00670.0041




            Nh\Nτ60240960




            61.00000.94290.8810
            120.36810.10490.1018
            240.34880.02580.0124
            480.34850.02180.0021
            Table 6.
            (Time space convergence of lift with volume forcing, cf. section Convergence tests) The approximation error ehNh,τNτp1 scaled by the inverse of eh6,τ30p1=1.29·104 for linear ansatz functions (top) and ehNh,τNτp1 scaled by the inverse of eh6,τ60p2=7.234·106 for quadratic ansatz functions (bottom) with ρref explicitly given for varying space and time discretizations for Test Case 2.
            Nh\Nτ3060120
            61.00001.07730.9992
            120.27440.27400.2740
            240.06140.06100.0610
            480.01530.01520.0152
            960.00390.00380.0038




            Nh\Nτ60120240




            61.00000.99980.9997
            120.11750.11740.1174
            240.01400.01390.0139
            480.00220.00170.0017
            Figure 7.
            Spatial convergence with manufactured solutions, cf. section Convergence tests. The error ehNh,τNτpcg for Test Case 1 (a) for Test Case 2 (b) for sufficiently fine time discretizations Nτ, for varying space discretizations Nh, and for linear and quadratic shape functions. The dashed lines indicate the slope of a quadratic convergence the dotted lines indicate a convergence of order 3.

            CONCLUSION

            We have listed common numerical schemes and introduced a projection-based method for problems with time-dependent Dirichlet boundary conditions. We have made the distinction between consistent schemes and relaxed schemes that depend on a penalization parameter.

            Using a reference solution on a fine discretization, we investigated the order of convergence of the space discretization for the different schemes. The estimated order of convergence was in between EOC=2 and EOC=2.5 which is not satisfactory. Similar tests but with a volume force led to an EOC=3, the quadratic elements. This result suggests that boundary-driven problems are not treated optimally in the considered finite element schemes. A numerical analysis would be needed to detect the source of the breakdown and to find remedies like, maybe, the boundary concentrated Finite Element approximation [35]. Apart from that, the results as a whole show that the method of manufactured solutions is not well suited for the numerical investigation of spatial convergence of boundary actuation-driven setups.

            The relaxed schemes showed the same accuracy as the consistent schemes, but only at certain ranges of the penalization parameter value. If one solves the algebraic equations with high accuracy, one only has to choose the penalization small enough. However, if the algebraic equations are solved iteratively up to a certain residual, then the approximation gets worse again for smaller penalization parameters. This effect might be partially due to an ill-conditioning of the system which might be cured by a suitable preconditioner. The main factor, however, is that for small penalization parameters α the residual is dominated by the penalization term. As a remedy, one can consider absolute residuals as convergence criteria. Conversely, that means that one has to prescribe relative residuals that scale with α which is not practical for small α.

            In addition to the approximation quality, we have investigated the performance of GMRES applied within the various schemes. In these tests, as expected, the consistent schemes outperformed the schemes with a penalization.

            Based on the results, depending on the situation, we speak out in favor of certain methods as follows. In view of minimal effort for implementation, pero and ncul are the methods of choice. If one wants to invest some time in implementation, proj and lift are better choices since they provide reliable approximations independent of parameters and for higher-order elements and they perform better in iterative schemes. If one can afford the incorporation of the projector, in particular for optimization, proj might be preferable over lift since a possibly inconsistent initial value is not an issue here.

            A main motivation of the survey was that standard model reduction or optimal control approaches are readily applicable to systems of distributed type like (2). In a forthcoming paper, we will investigate how well the proposed formulations work in control setups. Also the consistency of the reformulations with the abstract equations is still open and subject to ongoing work.

            References

            1. King R, editor. Active flow control. Papers contributed to the conference ‘Active flow control 2006’; 2006 Sep 27–29; Berlin (Germany): Springer; 2007.

            2. King R, editor. Active flow control II: Papers contributed to the conference ’Active Flow Control II 2010’; 2010 May 26–28. Notes on numerical fluid mechanics and multidisciplinary design. Berlin (Germany): Springer; 2010.

            3. , . Boundary control of PDEs. A course on Backstepping designs. Philadelphia (PA): SIAM; 2008.

            4. , , , . Representation and control of infinite-dimensional systems. Vol. I. Basel (Switzerland): Birkhäuser; 1992.

            5. Tröltzsch F. Optimale Steuerung partieller Differentialgleichungen. Wiesbaden (Germany): Vieweg+Teubner; 2009.

            6. Lions JL. Optimal control of systems governed by partial differential equations. Berlin (Germany): Springer; 1971.

            7. Berggren M. Approximations of very weak solutions to boundary-value problems. SIAM J Numer Anal. 2004;42(2):860–77.

            8. , , , . Optimization with PDE constraints. Dordrecht (Netherlands): Springer; 2009.

            9. , , . Error analysis for a finite element approximation of elliptic Dirichlet boundary control problems. SIAM J Control Optim. 2013;51(3):2585–611.

            10. , , . A finite element method for Dirichlet boundary control problems governed by parabolic PDEs. ArXiv e-prints, Oct. 2014. Available from: http://arxiv.org/abs/1410.0136

            11. , . Constrained Dirichlet boundary control in L2 for a class of evolution equations. SIAM J Control Optim. 2007;46(5):1726–53.

            12. , , . A penalized Robin approach for solving a parabolic equation with nonsmooth Dirichlet boundary conditions. Asymptotic Anal. 2003;34(2):121–36.

            13. , . Error estimates for the numerical approximation of Dirichlet boundary control for semilinear elliptic equations. SIAM J Control Optim. 2006;45(5):1586–611.

            14. , . LQG-balanced truncation low-order controller for stabilization of laminar flows. In: King R, editor. Active flow and combustion control 2014, Volume 127 of notes on numerical fluid mechanics and multidisciplinary design. Berlin: Springer; 2015. p. 365–379.

            15. Heiland J. Decoupling and optimization of differential-algebraic equations with application in flow control (PhD thesis). Technical University of Berlin; 2014. Available from: http://opus4.kobv.de/opus4-tuberlin/frontdoor/index/index/docId/5243

            16. Braess D. Finite Elemente. Theorie, schnelle Löser und Anwendungen in der Elastizitätstheorie. 4th revised and extended edition. Berlin (Germany): Springer; 2007.

            17. , . Finite element methods for Navier–Stokes equations theory and algorithms. Berlin (Germany): Springer; 1986.

            18. Roubíček T. Nonlinear partial differential equations with applications. Basel (Switzerland): Birkhäuser; 2005.

            19. , . Treating inhomogeneous essential boundary conditions in finite element methods and the calculation of boundary stresses. SIAM J Numer Anal. 1992;29(2):390–424.

            20. Altmann R. Index reduction for operator differential-algebraic equations in elastodynamics. Z Angew Math Mech. 2013;93(9):648–64.

            21. , , , editors. Automated solution of differential equations by the finite element method, Volume 84 of Lect. Notes Comput Sci Eng. 1st edition. Springer-Verlag; 2012.

            22. , . Stabilization of parabolic nonlinear systems with finite dimensional feedback or dynamical controllers: application to the Navier–Stokes system. SIAM J Control Optim. 2011;49(2):420–63.

            23. Raymond J-P. Stokes and Navier–Stokes equations with nonhomogeneous boundary conditions. Ann Inst H Poincaré Anal Non Linéaire. 2007;24(6):921–51.

            24. , , . The numerical solution of differential-algebraic systems by Runge-Kutta methods. Berlin (Germany): Springer; 1989.

            25. , . On the stabilizing properties of energy-momentum integrators and coordinate projections for constrained mechanical systems. In: , , , editors. Multibody dynamics, Volume 4 of computational methods in applied sciences. Amsterdam (Netherlands): Springer; 2007. p. 49–67.

            26. Rannacher R. On the numerical solution of the incompressible Navier–Stokes equations. Z Angew Math Mech. 1993;73(9):203–16.

            27. , . Control theory for partial differential equations: continuous and approximation theories I. Abstract parabolic systems. Cambridge (UK): Cambridge University Press; 2000.

            28. Nitsche J. Über ein Variationsprinzip zur Lösung von Dirichlet-Problemen bei Verwendung von Teilräumen, die keinen Randbedingungen unterworfen sind. Abh Math Semin Univ Hambg. 1971;36(1):9–15.

            29. Schieweck F. Uniformly stable mixed hp -finite elements on multilevel adaptive grids with hanging nodes. ESAIM Math Model Numer Anal. 2008;42(3):493–505.

            30. , . Finite element methods for computational fluid dynamics: a practical guide, Volume 14. Philadelphia (PA): SIAM; 2014.

            31. , . Dolfin: automated finite element computing. ACM Trans Math Softw. 2010;37(2):417–44.

            32. [[32]], , , . Unified framework for finite element assembly. Int J Comput Sci Eng. 2009;4(4):231–44.

            33. Gaul A. Krypy – a python toolbox of iterative solvers for linear systems, commit: 23500bc9; 2014. Available from: https://github.com/andrenarchy/krypy

            34. Heiland J. tdpbcvals – python module and test suite for convection-diffusion problems with time dependent Dirichlet boundary conditions, v2.0. 2015. Available from: https://gitlab.mpi-magdeburg.mpg.de/heiland/timedp-bcvals

            35. , . Boundary concentrated finite element methods. SIAM J Numer Anal. 2003;41(1):1–36.

            Competing Interests

            The authors declare no competing interests.

            Publishing Notes

            © 2015 P. Benner and J. Heiland. This work has been published open access under Creative Commons Attribution License CC BY 4.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Conditions, terms of use and publishing policy can be found at www.scienceopen.com.

            Author and article information

            Contributors
            Journal
            SOR-MATH
            ScienceOpen Research
            ScienceOpen
            2199-1006
            06 October 2015
            : 0 (ID: bb5f1992-da64-45fc-bbae-141ff8be018c )
            : 0
            : 1-18
            Affiliations
            [1 ]Max Planck Institute for Dynamics of Complex Technical Systems, Sandtorstraße 1, 39106 Magdeburg, Germany
            Author notes
            [* ]Corresponding author’s e-mail address: heiland@ 123456mpi-magdeburg.mpg.de
            Article
            3126:XE
            10.14293/S2199-1006.1.SOR-MATH.AV2JW3.v1
            bb5f1992-da64-45fc-bbae-141ff8be018c
            © 2015 P. Benner and J. Heiland

            This work has been published open access under Creative Commons Attribution License CC BY 4.0 , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Conditions, terms of use and publishing policy can be found at www.scienceopen.com .

            Page count
            Figures: 7, Tables: 6, References: 35, Pages: 18
            Product
            Categories
            Original article

            Comments

            Comment on this article