Abstract
The optimal control problems for the wave equation are considered on networks. The turnpike property is shown for the state equation, the adjoint state equation as well as the optimal cost. The shape and topology optimization is performed for the network with the shape functional given by the optimality system of the control problem. The set of admissible shapes for the network is compact in finite dimensions, thus the use of turnpike property is straightforward. The topology optimization is analysed for an example of nucleation of a small cycle at the internal node of network. The topological derivative of the cost is introduced and evaluated in the framework of domain decomposition technique. Numerical examples are provided.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, the optimum design problem for networks is considered. The dynamics on the networks are governed by hyperbolic PDEs with boundary or distributed control. The optimal control is uniquely determined by the optimality system for the distributed parameter control problem. The structure of the optimization model is divided into two levels. The lower level is an optimal control problem which delivers an optimal control and the optimal value of the cost. The higher level is a design problem that uses the optimal cost for the shape functional. In other words, the shape functional which is the objective functional on the higher level problem is defined using the optimal value of the lower level problem.
In general, the existence of an optimal shape is a difficult challenge for geometrical domains. However, for one dimensional state equations under reasonable assumptions, the existence of an optimal shape can be shown. The dynamics on the networks are covered by the framework presented in [1]. Thus, we consider bilevel optimization on graphs. The mathematical question that we consider in this paper is the possibility to approximate the dynamic optimal control for evolutionary state equations by the static optimal control obtained for the steady state equation. The approximation error decreases with growing time horizon T for the dynamic problem with fixed initial conditions. This is a significant simplification of the solution strategy when it can be applied. The proposed approximation is useful for large time horizons. The novelty of this paper is the exploitation of the turnpike structure in the framework of optimal shape design.
We consider two optimal control problems. The first problem (OCE) is governed by an evolution equation. In order to define the second problem (OCS), the evolution state equation is reduced to the steady state equation. The optimal controls are given by the appropriate optimality systems, see [2]. In order to justify the approximation of (OCE) by (OCS), we study the turnpike property of the couple (OCE)-(OCS). For a recent survey on the turnpike property in optimal control, see [3, 4] and the references therein. Several forms of the turnpike phenomenon have been studied in detail, for example, the exponential turnpike property (see [5]) and the interval turnpike property, see [6]. Numerical issues and the turnpike phenomenon in optimal shape design with parabolic PDEs have been studied in [7].
Note that in our paper, we study the application of the turnpike property to shape optimization. This is a novel approach. The turnpike property for control problems in variable domain setting has been considered in [8]. In this paper, the optimal control determined from the optimality system for (OCS) is used to construct an approach for the determination of the optimal shape that is computationally tractable. Simpler optimum design problems with linear models are considered, e.g., in [9]. Our approach is more general.
We specify our approach for the networks, but it could also be used for standard control problems if the existence of an optimal shape is known. In the case of networks the existence of an optimal shape \(\Omega \) is simpler compared to the case of PDEs defined in geometrical domains in \({\mathbb {R}}^n\) for \(n=2\), 3, see [10] for the elasticity system.
The outline of the paper is the following. We introduce two optimal control problems (OCE) and (OCS) with the controls \(u=u(t,x)\) and \(v=v(x)\) and the optimal controls \({\hat{u}}\) and \({\hat{v}}\), respectively. The geometrical domain of the network is designated by \(\Omega \). Thus \({\hat{u}}={\hat{u}}(T, \Omega ;t,x)\) and \({\hat{v}}={\hat{v}}(\Omega ;x)\) for the spatial variable \(x\in \Omega \) and the time horizon T for (OCE). The cost functional for (OCE) takes the form
where y(u) denotes the state that is generated by the control u. For systems that are governed by the wave equation, a regularization parameter \(\gamma >0\) should be chosen, since we need the velocity part in the cost. In the parabolic case, we do not need such a term hence \(\gamma =0\) can be chosen.
Our aim is to study the shape optimization problem for the modified shape functional
In this approach, we replace the optimal control for (OCE) by the optimal control for (OCS) and as a result we get the shape functional (2) for the optimum design of the network. Such a procedure will be justified by the turnpike property of the couple (OCE) and (OCS).
We want to mention some recent contributions about shape optimization problems from the literature. While the time-dependent shape optimization problem for the heat equation has already been studied in the literature (see e.g. [11]), fewer results are known for the hyperbolic case (see e.g. [12]). In [13] the problem of mitigation of coastal erosion is studied where the water flow is modeled by the porous shallow water equations.
2 Optimal Control Problems on Graphs
Let us consider the finite connected graph \(G=(V, \, E)\) with \(V=\{ P_j | j\in \mathcal {J}\}\) the set of vertices and \(E=\{ E_i | i\in \mathcal {I}\}\) the set of edges. We consider the evolution equations on the edges of G. The dynamics of the edges are coupled by suitable node conditions for example Kirchhoff–type. Therefore we assume that the edges correspond to curves \(\Omega _i\) in \({{\mathbb {R}}}^1\), \({{\mathbb {R}}}^2\), or \({{\mathbb {R}}}^3\).
Define \(\Omega = \overline{ \cup _{ i\in \mathcal {I} } \Omega _i} \). We are interested in control problems defined on G. The controls are denoted by \(v:=v(x)\) with \(x\in \Omega \), and by \(u_T:=u_T(x,t)\) with \(x\in \Omega \) and \(t\in (0,T)\). There are two control problems, the first is the static control problem, and the second is the evolution control problem. The static state equation gives the state \(z:=z(v;x)=z(x)\) that is determined by the state equation for
where \(x\mapsto z(v;x)\) lives in the Hilbert space H. In the applications usually H is a Sobolev space. We assume that the bilinear form \(a(\cdot ,\cdot )\) is symmetric and coercive with a bounded linear operator L from the space of controls to H and \(f\in H\).
As an example, consider the evolution equation the governs the state denoted by \(y:=y(u;x,t)=y(x,t)\) in variational form for \(t\mapsto y(u;x,t)\):
for all \(\varphi \in H\) and a.e. for \(t\in (0,T)\), along with the initial conditions \(y(0,x)=y^0(x)\) and \(y_t(0,x)=y^1(x)\). Here H is the Hilbert space that contains the functions with \(H^1\)-regularity on the edges that are compatible with the node conditions that are prescribed on the vertices. Moreover, \(F(t)=f\) for all \(t\in (0, \, T)\).
In both cases, the controls are introduced as the distributed controls on edges and the boundary controls on vertices.
Remark 1
In order to solve the state equation (4) we will use the spectral method under some assumptions. There are two different types of networks under consideration. The first graph is a tree and the shape optimization with respect to the length of edges is analyzed. In such a case the first eigenvalue of the elliptic-steady state operator is supposed to be strictly positive uniformly on the set of admissible shapes. The set of admissible shapes for the tree is compact in the finite dimensional space \({\mathbb {R}}^N\). The second graph includes cycles.
Remark 2
For the purposes of topology optimization a small cycle replaces a central node \(P_0\) in the tree, the central node is selected by using the topological derivative of the cost, see Figs. 11 and 12.
Let us consider for the static problem the Laplacian \(-\partial _{xx}\) on the edges of the graph. Under appropriate geometric assumptions the eigenvalues supported by a small cycle of size \(\varepsilon \rightarrow zero\) are given e.g., by \(\mu _n=\left( \dfrac{n\Pi }{\varepsilon }\right) ^2\) for \(n=1,2,\dots \) with the eigenfunctions nontrivial only on the edges of the cycle \(\psi _n(x)=\sin {\left( \dfrac{n\Pi x}{\varepsilon }\right) }\). The singular behaviour of the branch \(\{ \mu _n\}_n\) of the spectrum means that for fixed n, \(\mu _n\rightarrow \infty \) with \(\varepsilon \rightarrow 0+\). The fundamental question is if the spectral proof of turnpike property holds in such a case. We need some regularity of solutions to the wave equation uniform with respect to the size of the cycle.
The required regularity assumption on the initial conditions of the wave equation assures the appropriate regularity of solutions with respect to time variable t. Such an assumption implies that the constant displacement on the cycle is not allowed, however, the constant velocity is allowed, see (77) for details.
Indeed, let us consider the constant displacement and denote by \(E(\varepsilon )\) the energy associated with the initial conditions in function of the size of the cycle. Such an energy associated with the constant initial state \(y(0)=1\) at the cycle can be evaluated using (77), where the coefficients of the expansion over the eigenfunctions read
Therefore, the energy in (77) is unbounded, thus the constant initial state is not allowed for the cycle. Similarly, the positive result is shown for the constant velocity.
Remark 3
The singular perturbations of the geometry for networks are of different nature for the static state equations and for the wave equations. Therefore, we have constructive results in the case of elliptic problems which are combined with the turnpike property in order to design the topology of the network. This is a new result to our best knowledge.
We need as well the cost functional, the simplest possibility is the quadratic cost with the appropriate choice of norms in Hilbert function spaces. For the static problem, it is
For the evolution problem, it is
where \(\gamma \in (0, \, \infty )\). For the sake of simplicity, we consider the control problems without constraints.
The optimality conditions are necessary and sufficient and can be obtained by using the Lagrangian formalism. To this end, we need the adjoint states, which simplify the formulas for the gradients of the cost with respect to controls. We ask two questions now: the first is the shape and topology optimization for the graph with respect to the control problem, this results in the bi-level optimization problem for the graph. The second question is the turnpike property for the two-level optimization problem for the graph. To our best knowledge, such a problem has not been considered in the literature.
3 Optimality System for the Static Problem
We denote by \(({\hat{v}},{\hat{z}},{\hat{p}})\) the unique optimal solution of static control problem. Let us note that the uniqueness of the optimal control \({\hat{u}}\) follows by convexity of variational problem under consideration with quadratic cost functional and the linear state equation. The optimal solution is given by the optimality system which depends on the shape, or design \(\Omega \) of the network as an infinite dimensional factor or parameter to be selected at the upper level of optimization over the class of admissible shapes. The class of admissible shapes is denoted by \(S_{ad}\), and the continuous variation of the shape is denoted by \(\Omega _{\tau }\in S_{ad}\) with the real parameter \(\tau \in (-\delta ,\delta )\) for some \(\delta >0\) for shape variations. We use as well the singular perturbations of the shape denoted by \(\Omega _{\epsilon }\in S_{ad}\) for the topology variations with \(\epsilon \rightarrow 0\).
Remark 4
In the case of a network, there are at least two possibilities of shape variations. The first is the change of the lengths of edges, it corresponds to the boundary variations in the classical shape optimization. The second, which corresponds to the topology variations in the shape optimization means the presence of a small cycle within the network with the small size of the cycle \(\epsilon \rightarrow 0\).
The optimality system for the static control problem is equivalent to the vanishing of the gradient for the cost, hence
iff the following optimality system is verified
In the linear case we have \(L^{\prime }({\hat{v}})\cdot v=L(v)\). The optimality system is derived using the Lagrangian formalism,
Then the adjoint state \(p\in H\) is introduced
and the gradient of the cost is obtained
which leads to the optimality condition
In the case of distributed control, we have \(\Gamma =\Omega \).
Proposition There exists the unique solution \(({\hat{v}},{\hat{z}},{\hat{p}})\) to the optimality system (7)–(9). The optimal value of the cost \(J({\hat{v}}):=J({\hat{v}}(\Omega ))\) is defined as a shape functional over the set \(S_{ad}\). Therefore, we consider the optimum design of the network
The analysis of such a variational problem requires:
-
1.
The existence of solutions;
-
2.
The necessary optimality conditions;
-
3.
Finally, numerical methods for solution.
In particular, we perform the shape calculus and determine the shape gradient of the optimal control cost
as well as the topological derivative obtained at \(\epsilon :=0^+\) for the mapping
Remark 5
It is useful for applications to introduce a random right-hand side \(f:=f(\omega ;x)\) to the state equation (3).
4 Optimality System for the Evolution Problem
Let \(Q = (0, T) \times \Omega \). integration by parts yields
Now, we assume \(p(T)=0\) which leads to the integration by parts formula
Remark 6
If we add the state constraint \(y_t(T)=0\) then the integration by parts formula is the same but the terminal condition for p(T) becomes undetermined, i.e., we loose the homogeneous condition for the terminal adjoint state.
We derive the optimality system for the optimal control problem with the evolution state equation. To this end, we introduce the Lagrangian \( {\mathcal {L}}(u, y, \varphi ) \) with \(y\in L^2(0,T;H^1(\Omega ))\), \(y_t\in L^2(Q)\), \(y(0)=y^0\), and \(\varphi \in L^2(0,T;H^1(\Omega ))\), \(\varphi _t\in L^2(Q)\), \(\varphi (T)=0\);
The adjoint state \(p=p(u;x,t)\) is obtained by differentiation of Lagrangian with respect to the state, thus with \(Q(T) = (0, T) \times \Omega \)
The following lemma contains the necessary optimality conditions for the dynamic problem where \(J_T(u)\) as defined in (6) is minimized.
Lemma 1
The optimality system for the optimal control of evolution control problem is verified for a.e. \(t\in (0,T)\):
The optimality system (11)–(15) admits a unique solution \(({\hat{u}},{\hat{y}},{\hat{p}})\).
Remark 7
We use the notation, \(({\hat{y}}_{tt},\varphi )_{Q(T)}\) and \(({\hat{p}}_{tt},\varphi )_{Q(T)}\) for the scalar product in \(L^2(Q(T))\) as well as for the duality pairing between \(L^2(0,T;H^1(\Omega ))\) and its dual.
5 The Difference of the Static and the Dynamic Optimality Systems for Distributed Control
In this section, we study a system that is satisfied by the ordered pair that has the difference between the optimal dynamic state for the time horizon T and the optimal static state as the first component and the difference between the optimal dynamic adjoint state for the time horizon T and the optimal static adjoint state as the second component. The question of long time versus steady state optimal control has already been studied in [14] where the focus is on the turnpike property of the state and the control without the adjoint state. The turnpike phenomenon for optimal boundary control problems with first order hyperbolic systems is considered in [15].
We assume that \(\Gamma =\Omega \) and the operators L(v) and L(u) are identity operators in \(L^2(\Omega )\) and \(F(t)=f\), \(u^d(t) = v_d\), \(y^d = z_d\) for \(t\in [0, \, T]\) almost everywhere. The optimality system for the static problem reads
The optimality system for the evolution problem implies for \(t\in [0, \, T]\) almost everywhere (with \(F(t)=f\))
Define the differences
Then for all \(\varphi \in H\) we have the initial condition
the terminal conditions
the dynamics
and with the assumption that \(y^d = z_d\) and \(u^d =v_d\)
Note that for the difference system, the existence of a solution is implied by the construction as the difference between two systems, for which solutions exist.
Note that for the energy
due to (26) and (27) for \(\gamma =0\) we have
Thus in this case E is convex on \([0, \, T]\).
Now we perform a spectral analysis to show the exponential turnpike property.
Assume that there exists a complete orthonormal sequence \((\psi _k)_{k=1}^\infty \) of eigenfunctions with \(a(\psi _k, \,\varphi ) = \lambda _k (\psi _k, \, \varphi )_{L^2(\Omega )}\) for all \(k\in \{0,1,2,3,..\}\) where
is a real number.
Remark 8
In the case of optimal design, the bilinear form depends on \(\Omega \). In the case of a graph, this means the dependence of the lengths of the edges. In this case, the eigenvalues and eigenfunctions depend on these parameters that we denote by \(\ell \). Therefore a meaningful analysis has to take into account the sensitivity with respect to \(\ell \).
Our assumption on the feasible designs is that the smallest eigenvalues is greater than or equal to the given strictly positive lower-bound \(\gamma >0\) uniformly on the set of admissible designs. In this way, we ensure that the turnpike property is valid for the bilevel optimization problem that we consider in this paper.
It is well known that the smallest eigenvalue that can be characterized as the Rayleigh quotient depends smoothly on the parameters, see [16]. In our analysis, the particular structure of the spectrum is not relevant.
Then we can use the representations
to show that \(\omega ^T\) and \(\mu ^T\) have the turnpike property.
It is clear that the functions \(a_k\) and \(b_k\) depend on T as a parameter, so a more precise notation would be \(a_{k,T}(t)\) and \(b_{k,T}(t)\). However, in order to make the text more concise we continue with the shorter notation \(a_k\) and \(b_k\).
From (26) and (27) we obtain \(a_k'' = - \lambda _k \, a_k + b_k\) and \(b_k'' = - \lambda _k \, b_k - a_k + \gamma \, a_k''\).
Thus we have the sequence of differential equations (for \(k \in \{0,1,2,...\}\))
Define the characteristic polynomial
Since \(p_k\) is a polynomial in \(z^2\), for the roots \(z^{(l)}_k\) of \(p_k\) we obtain
for \(l\in \{1,2,3,4\}\) which implies \( \left| (z^{(l)}_k)^2 \right| = \sqrt{ 1 +\lambda _k^2}. \) Thus there are two pairs of complex conjugate roots and we have the representation
We have \(|z^{(l)}_k|^4 = \lambda _k^2 + 1 \), \( Re((z^{(l)})^2_k ) = \frac{\gamma }{2} - \lambda _k\) and \( |Im((z^{(l)})^2_k)| = \frac{ \sqrt{4 + 4\, \lambda _k \,\gamma - \gamma ^2 }}{2} \). Moreover, we have
and
The initial condition (24) yields the values for \(a_k(0)\) and \(a_k'(0)\). The terminal condition (25) yields the value for \(b_k(T)\) and \(b_k'(T)= {\gamma \, a_k '(T) } \). Note that (25) implies that the value of \(b_k(T)\) is independent of T.
For the sake of conciseness, in the sequel we use the notation \(z_k = z^{(1)}_k\).
5.1 Representation of the Solution
Since
the solution of the optimality system means that for the coefficients \(b_{k,T}\) of \(\mu ^T\) as defined in (29) we solve a boundary value problem with the ODE of order four (30) i.e.
where the value of \(\beta _k\) is determined by the terminal condition \( \mu ^T(T) = - {{\hat{p}}}^{\sigma }\) in (25). We represent the solution in the form
The following Lemma contains explicit representations of \(F_{k,T}\), \(G_{k,T}\) and \(H_{k,T}\). In the representation, the numbers d(k, T) appear as multipliers, therefore it is important that for T sufficiently large we have \(d(k, T) \not = 0\). Since in the study of the turnpike phenomenon we are interested in large time horizons, the assumption that the time horizon T is large is not restrictive for us. We introduce the notation
Lemma 2
Define
For \(k \in \{0,1,2,...\}\) and T sufficiently large define the numbers
Then we have
Furthermore, it holds
and
Proof
Due to the properties of the hyperbolic functions that can be found for example in [17, 18] we have
This implies \(\lim _{T\rightarrow \infty } | d(k, T) | = \infty \), hence for all sufficiently large T we have \( d(k, T) \not =0\). In the remaining part of the proof, we assume that \( d(k, T) \not =0\). Moreover, we see that d(k, T) grows exponentially fast with T with the growth rate
due to (31). To be more precise, note that \(|\Xi _k |^2 = 1 + \gamma \,\lambda _k \) grows with the order \(\lambda _k\).
At this point, elementary computations show that \({F_{k,T}(t)} \), \({G_{k,T}(t)} \) and \({H_{k,T}(t)} \) satisfy the differential equation and the boundary conditions where \(( \beta _k, a_{k,T} (0), \, \, a_{k,T}' (0)) \) have the values (1, 0, 0), (0, 1, 0), (0, 0, 1) respectively. Now we present details of the verification of these basic functions.
Since \( b_{k,T}'''(T) = q_k \, b_{k,T}'(T)\), we can make the ansatz
Now we return again to the sloppy notation \(a_k\), \(b_k\). Then
We have
Hence we obtain
Therefore, we have
Due to (32) we have
Hence we have
In order to obtain a unique solution for the vector of coefficients \((A_k^T, B_k^T, C_k^T)\) we investigate the determinant of the corresponding \(3\times 3\) matrix M(T). For this purpose we introduce the notation
Note that we have the equations
We have the matrix
and the right-hand side
that is in fact independent of T, as stated earlier. \(\square \)
5.2 Computation of the Characteristic Determinant and an Inverse Matrix
For the determinant of M(T) we obtain
We have \( m_{21}(T)^2 -\frac{1}{z_k^2} m_{31}(T)^2 = \left( \gamma - \lambda _k - z_k^2 \right) ^2 \) and \( m_{22}(T)^2 -\frac{1}{\overline{z_k}^2} m_{32}(T)^2 = \left( \gamma - \lambda _k - \overline{z_k}^2 \right) ^2 \). This yields
We introduce the notation
Since
and
we obtain the equation
This yields the representation
Due to (44) and (45) this can also be written in the form
We have
It follows that
and
Hence we have
This implies \(\lim _{T\rightarrow \infty } |\det M(T)| = \infty \), hence for all sufficiently large T we have \(\det M(T)\not =0\). Moreover, we see that \(\det M(T)\) grows exponentially fast with T with the growth rate
due to (31). Hence for all sufficiently large T the coefficients \((A_k^T,\, B_k^T,\, C_k^T)\) are uniquely determined.
For the computation of the inverse of M(T) we use the representation
The element \(\beta _{11}(T)\) in the top-left corner of \(\det (M(T))\, M(T)^{-1}\) is given by the minor
Due to (44) and (45) this yields
The second element \(\beta _{12}(T)\) in the top row of \(\det (M(T))\, M(T)^{-1}\) is given by
The third element \(\beta _{13}(T)\) in the top row of \(\det (M(T))\, M(T)^{-1}\) is given by
Now we consider the entries in the second row. For the first element in the second row of the matrix \(\det (M(T))\, M(T)^{-1}\) we obtain
Due to (44) and (45) this yields
The second element in the second row of the matrix \(\det (M(T))\, M(T)^{-1}\) is
For the third element in the second row of the matrix \(\det (M(T))\, M(T)^{-1}\) we obtain
Finally let us look at the elements in the third row.
For the first element in the third row \(\beta _{31}(T)\) of the matrix \(\det (M(T))\, M(T)^{-1}\) we obtain
For the hyperbolic functions we have the general identity
and
The second element in the third row \(\beta _{32}(T)\) of the matrix \(\det (M(T))\, M(T)^{-1}\) is
Finally the element \(\beta _{33}(T)\) of the matrix \(\det (M(T))\, M(T)^{-1}\) is
We summarize the entries of \(\det (M(T))\, M(T)^{-1}\) in a table:
For
we have
Due to (40) we have
where the terms that are multiplied with \(b_k(T)\) and come from the first column of \(M(T)^{-1}\) are collected in \(F_{k,T}(t)\), and analogously for \(G_{k,T}(t)\) and \(H_{k,T}(t)\).
Thus we have
Hence (with \(\det M(T)\) as in (46) )
Whence we have
Verification of the basis function \(F_{k,T}(t)\)
We start with the function \({F_{k,T}(t)}\) from (34) that is multiplied with \( \beta _k \), i.e. we consider the product \(d(k, T) \, F_{k,T}(t) \). We will show that \({F_{k,T}(t)} \) satisfies the boundary conditions
We have
Hence for \(t=T\) we have
Since \( d(k, T) \not =0 \), this implies \({F_{k,T}(T)}= 1\). For the derivative we obtain
Thus we have
For \(t=0\) we have
For the second derivative, we have
For \(t=0\) this yields
Hence due to (35) we have
Thus we have \(- F_{k,T}''(0)+ (\gamma - \lambda _k) \, F_{k,T}(0) = 0\).
To proceed, let us observe that
For the third derivative, we have
This yields
Hence we have
We have
Whence we have
Thus we have shown that \(F_{k, T}\) satisfies the required boundary conditions.
Verification of the basis function \(G_{k,T}(t)\).
We continue with \({G_{k,T}(t)} \) from (34) that is multiplied with \( (1 + \gamma \, \lambda _k) \, a_{k,T}(0) \), i.e.
Due to the definition of \(z_k\), the function \(G_{k,T}(t) \) satisfies the ODE (30).
Moreover, for \(t=T\) we have
In addition, for the derivative, we obtain
Hence for \(t=T\), we have the derivative
For the second derivative, we obtain
For \(t=0\) this implies
For \(t=0\), equation (37) implies
Hence in view of (35) we obtain
due to the definition (36). Since \( d(k, T) \not =0 \), this yields
For \(t=0\), the derivative satisfies the equation
For the third derivative, we obtain
Hence for \(t=0\) we have
In order to verify the fourth boundary condition in (33), in view of (35) we obtain the equation
We have
Hence we have
Thus we have shown that
Verification of the basis function \(H_{k,T}(t)\).
Now we consider \({H_{k,T}(t)} \) from (34) that is multiplied with \( (1 + \gamma \, \lambda _k) \, a_{k,T}'(0) \), i.e.
Due to the definition of \(z_k\), the function \(H_{k,T}(t) \) satisfies the ODE (30). Moreover, for \(t=T\) we have
For the derivative we have
Hence for \(t=T\) we obtain
For \(t=0\), we have
For the second derivative, we have
For \(t=0\) this implies
Hence in view of (35) we obtain
Now we verify that the fourth boundary condition in (33) is satisfied.
For the third derivative, we have
For \(t=0\) this yields
Using again the definition (35) of \(\Xi _k\) it follows that
by the definition (36) of d(k, T) . We have
Hence, we have
Thus we have shown that
The proof of Lemma 2 is complete.
In the next section, it is shown that each of the functions \(F_{k,T}\), \(G_{k,T}\), \(H_{k,T}\) in the representation (34) of the solution \(b_{k,T}\) that are provided in Lemma 2 satisfies an exponential turnpike inequality on the interval [0, T] in the sense that for \(I \in \{F,\, G, \, H\}\) for all \(t\in [0, \, T]\) the following inequality holds:
Here \(C_@\) is a constant that is independent of T and k.
The turnpike inequality that we have obtained is used for the applications in shape optimization as described in the subsequent sections. An important point is that the inequality is independent of the properties of the sequence of eigenvalues \(\lambda _k\) as long as (28) holds. Therefore the inequality is valid over a compact set of perturbations of the state equation (see Theorem 1 and also Remark 9).
6 The Turnpike Property by the Spectral Method for Trees
In this section, we continue our analysis of the structure of the optimal solutions, in particular for the adjoint states. We have in mind the shape optimization problems for the trees. Therefore, we restrict our analysis to the networks in the form of trees. The case of small cycles for the purposes of topology optimization is considered separately. In the latter case, the spectrum is of a specific structure with the branch supported exclusively on the cycle. We show that the difference between the static optimal adjoint state and the dynamic optimal adjoint state satisfies an exponential turnpike inequality as explained above. Our method is to show that all three basis functions in the representation of the difference between the static optimal adjoint state and the dynamic optimal adjoint state that we have obtained from the respective optimality systems satisfy such an exponential turnpike inequality. More precisely, we show that the basis function with a non-zero value at the time \(t=0\) (namely \(G_{k, T}\) and \(H_{k, T}\)) decay exponentially fast with t. The basis function with a non-zero value at the time \(t=T\) (namely \(F_{k, T}\)) decay exponentially fast as a function of \(T-t\), that is backward in time.
6.1 The Turnpike Inequalities for the Basis Functions
Exponential turnpike inequality for the basis function \(F_{k,T}(t)\).
In order to verify the turnpike property we use the following representation where the hyperbolic tangent appears:
For our analysis, we define the auxiliary functions
and
Then we have
Define \( I_-= \frac{{Re}\left( (z_k^2 - q_k)(|z_k|^2 - z_k^2) \right) }{|z_k^2| \, |z_k^2 - q_k|}\), \( I_+ = \frac{{Re}\left( (z_k^2 - q_k)(|z_k|^2 + z_k^2) \right) }{|z_k^2| \, |z_k^2 - q_k|}\).
The numbers d(k, T) can be represented as
Hence we obtain the upper bound
This implies the inequality
with a constant \(M_1 \ge 1\) that is independent of k and T. We have
Hence for \(T\rightarrow \infty \) this term converges to zero exponentially fast. More precisely, due to (31) for all \(k\in \{0,1,2,..\}\) for T sufficiently large we have the inequality
Thus we have
This implies the inequality
with a constant \(M_2 \ge 1\) that is independent of k and T.
In addition, we have
so as above for T sufficiently large, we obtain the inequality
This yields the bound
Thus we obtain the inequality
with a constant \(M_3 \ge 1\) that is independent of k and T. Together with (63) and (65) due to (61) and (31) this implies that for \(F_{k,T}(t) \) we have
Exponential turnpike inequality for the basis function \(G_{k,T}(t)\).
Now we derive the turnpike inequality for \(G_{k,T}(t)\). Again we use a representation with the hyperbolic tangent. We have
We have
Similarly, we have
and for the absolute value we have the bound (64).
For our analysis, we define the auxiliary functions
Then we have
Due to (64) we obtain the inequality
This implies the inequality
with a constant \({{\tilde{M}}}_1 >0\) that is independent of k and T. Moreover, we have
This implies the inequality
with a constant \({{\tilde{M}}}_2 >0\) that is independent of k and T. With (70) and (71) due to (69) and (31) this implies that for \(G_{k,T}(t) \) we have
Exponential turnpike inequality for the basis function \(H_{k,T}(t)\).
Finally we show the exponential turnpike inequality for the third basis function \(H_{k,T}\). We have
For our analysis, we define the auxiliary functions
Then we have
For T sufficiently large (uniformly with respect to k due to (31)) we have the bound
This yields
This implies the inequality
with a constant \({{\hat{M}}}_2 >0\) that is independent of k and T.
For T sufficiently large (uniformly with respect to k due to (31)) we have the bound \( \left| \tanh ( z_k T ) + \tanh ( z_k(t - T) ) \right| \le 4. \) This yields the bound
Hence we obtain the inequality
with a constant \({{\hat{M}}}_1 >0\) that is independent of k and T.
With (74) and (75) due to (73) and (31) this implies that for \(H_{k,T}(t) \) we have
6.2 Turnpike Theorem Between the Dynamic and Static Optimality Systems
We have unique solutions for the optimality systems governed by static and dynamic state equations. Now, we compare the elements of optimality systems and obtain the turnpike inequalities for the Optimality Systems.
Indeed, the turnpike inequalities that we have derived lead to the useful for applications Turnpike Theorem which means that:
The difference \(\nu ^T\) of the optimal dynamic control and the optimal static control and the corresponding differences \(\omega ^T\) for the state and \(\mu ^T\) the adjoint state admits an exponential turnpike property.
To this end, we need some additional regularity assumptions.
Theorem 1
Assume that (28) holds and that the initial state satisfies the regularity condition
that is the initial state belongs to the energy space of the elliptic problem defined by the bilinear form \(a(\cdot , \, \cdot )\). If \(\Omega = \Gamma \) then there exists a constant \({{\tilde{D}}} = {{\tilde{D}}}(y_0, \, y_1, \, p^{\sigma } )\) that is independent of T and t such that for all \(t \in [0, \, T]\)
Moreover, the constant \({{\tilde{D}}}\) depends on \(\Omega \) only as a function of the energy norm for the initial state that is determined by \(\Omega \) as in (77).
Remark 9
In the case of boundary control problems on networks, the Turnpike Property for optimality systems can be shown. The difference between the boundary control and the distributed control is the appearance of a linear operator in the optimality conditions. In the optimality conditions of the boundary control problem, a linear operator maps the adjoint state into the optimal control.
For the optimal cost the exponential turnpike inequality (78) implies the so-called integral turnpike property (see e.g. [15])
This implies in turn
see for example [19].
In shape sensitivity analysis [20] we avoid, if possible, the dependence of the shape gradient of the cost with respect to given data including e.g., the given initial conditions. Thus, we define the initial conditions, say \(y_0(x)\) and \(y_1(x)\), \(x\in \Omega _\tau \), for variable domains \(\tau \rightarrow \Omega _\tau \) used for the derivation of shape gradient of the cost. If \(\Omega _\tau \) is e.g., the cross with variable length of the edges, we select the elements \(y_0, y_1\) as the restrictions to \(\Omega _\tau \) of functions \(Y_0(x), Y_1(x)\) defined on the cross with the edges of maximal lengths. The shape derivatives of the restrictions are zero. Therefore, there is no contribution from the initial conditions to the shape gradient of the cost.
Remark 10
We use the material derivative method [20] for the purposes of shape sensitivity analysis for networks. The general rule for the data of initial-boundary value problems is to select the given functions by the restriction to actual domain of some functions defined everywhere. The shape gradients of such initial data are simply zero and the material derivatives are given by the gradients, thus some regularity is required. In this way the shape gradient of the cost is independent of the initial data. In our case, this selection can be used for the initial conditions of the displacement and the velocity. The material derivatives of such initial conditions \(Y=Y(x)\) take the form \(Y^\prime (x){\mathcal {V}}(0,x)\), where \({\mathcal {V}}(\tau ,x)\) is the velocity field of the material derivative method. In another words, the initial conditions are selected in such a way that there is no contribution of the initial conditions to the shape gradient of the cost function.
The following corollary states a shape-turnpike result. It is a relation between the optimal values of a dynamic optimal shape problem for large time horizons and the optimal values for the static optimal shape problem. For the proof we suggest to proceed by contradiction.
Assumption 1
Let us consider a tree \(G=\{ E,V\}\) with the set of edges \(E_i=[0,L_i]\), \(i=1,\dots ,N\), and denote by \(\ell =\textrm{col}\,(L_1,\dots ,L_N)\). The set of admissible trees \(\Omega (\ell )\in {\mathcal {A}}\) is defined by the conditions \(M^{min}_i\le L_i\le M^{max}_i\), where \(0<M_0\le M^{min}_i< M^{max}_i<M_1<\infty \). The set of admissible trees is convex and compact, therefore, for the minimizing sequence \(\ell _n\) of optimization problem there is a subsequence, still denoted by the same symbol such that we have \(\ell _n\rightarrow \ell _\infty \) in \({\mathbb {R}}^N\), and in addition \(\Omega (\ell _\infty )\in {\mathcal {A}}\).
Corollary 1
Let Assumption 1 hold. Let a sequence of shape parameters \((\ell _n)_n\) and a bounded sequence of controls \(({{\hat{u}}}_n)_n\) with \({{\hat{u}}}_n(t) \in L^2(\Omega (\ell _n))\) for all \(n \in \{1,2,3,...\}\) be given. Let \({{\hat{y}}}_n\) denote the generated state and \({{\hat{p}}}_n\) the corresponding adjoint state. Assume that for all \(n \in \{1,2,3,...\}\) we have
where \( \omega ^T_n = {{\hat{y}}}^T_n - {{\hat{z}}}^{\sigma }_n, \, \mu ^T_n = {{\hat{p}}}^T_n - {{\hat{p}}}^{\sigma }_n, \nu ^T_n = {{\hat{u}}}^T_n - {\hat{v}}^{\sigma }_n\) and \(({\hat{v}}_n,{\hat{z}}_n,{\hat{p}}_n)\) is optimal for \(\Omega (\ell _n)\)
Assume that \(\lim _{n\rightarrow \infty } \ell _{opt}(T_n) = {{\hat{\ell }}} \) and that \({{\hat{u}}}_n\) converges weakly to \(u_{opt}\).
Assume that the optimal shape problem with (OCE) has a solution \((\ell _{opt}, u_{opt})\). Then \(u_{opt}\) is a solution of (OCE).
Let \({{\hat{v}}}_{opt}\) denote the solution of (OCS) for \(\ell _{opt}\).
Then we have
Assume that for a subsequence we have \(\lim _{T_n\rightarrow \infty } \ell _{opt}(T_n) = {{\hat{\ell }}} \).
Then we have
and
\({{\hat{v}}} \) is the optimal control for the network defined in \(\Omega ({{\hat{\ell }}})\), the limit shape parameter \({{\hat{\ell }}}\) is optimal for the static problem \(\ell \rightarrow (OCS)(\ell )\), the optimal shape reads \(\Omega ({{\hat{\ell }}})\). In general, an optimal shape is not unique but it does exist for the compact set of admissible shapes.
Remark 11
Under Assumption 1 the set of admissible shapes is convex and compact in \({\mathbb {R}}^N\). Denote by \({{\hat{\ell }}}\) an optimal shape for the static problem, note that the optimal shape is not unique, and let the admissible sequence of shapes \(\ell _n\) be convergent to an optimal shape for \(n\rightarrow \infty \),
then
therefore
Proof of the corollary.
The constant control with the value \({{\hat{v}}}\) can be considered as an element of \(L^2(\Omega ( \ell _{opt}(T_n) ))\). We have the inequality
Integration from 0 to \(T_n\) and division by \(T_n\) yields
For the state we obtain a similar inequality, namely
For the optimal cost the exponential turnpike inequality (78) implies the integral turnpike property (see e.g. [15])
Moreover, we have
Thus adding up the inequalities for the control and the state and taking the limit for \(T_n\rightarrow \infty \) yields (82).
Remark 12
For tree-shaped graphs often the system is exactly controllable in some finite time \(t_{\min }\). Recently it was shown that if there is also control action at the interior nodes of the graph, exact controllability is also possible for a graph with cycles, see [21].
In this case we can choose for all \(n \in \{1,2,3,...\}\) a control function \(u_{init}^{(n)}(t) \in L^2\left( 0, \, t_{\min }; L^2( \Omega ( \ell _{opt}(T_n) ))\right) \) that steers the system to the constant state \(y(t_{\min },\,\cdot ) = {{\hat{y}}}\), \(y_t(t_{\min },\,\cdot ) = 0\) and satisfies
Such a control can be determined using the classical method of moments as described for example in [22].
We define the control \({{\tilde{v}}}^{(n)}(t) = \left\{ \begin{array}{c} u_{init}^{(n)}(t), \, t\in (0, \, t_{\min }), \\ {{\hat{v}}}, \, t \ge t_{\min }. \end{array} \right. \)
Then \( {{\tilde{v}}}^{(n)}\) is feasible for \((OCE)(T_n, \, \Omega ( \ell _{opt}(T_n) ) )\) and thus we have
Moreover, (82) implies that for all \(\varepsilon >0\) if \(T_n>0\) is sufficiently large we have
This can be seen as follows. Since \(\lim _{n\rightarrow \infty } T_n = \infty \) due to (84) the contribution of the integral on the time interval \((0, \, t_{\min })\) vanishes in the limit, that is we have
and since \(\lim _{T_n\rightarrow \infty } \ell _{opt}(T_n) = {{\hat{\ell }}} \) we have
Assuming the exact controllability of the system in the finite time \(t_{\min }\) allows to choose for all \(n \in \{1,2,3,...\}\), a control function \(u_{init}^{(n)}(t) \in L^2\left( 0, \, t_{\min }; L^2( \Omega ( \ell _{opt}(T_n) ))\right) \) that steers the system to the constant state \(y(t_{\min },\,\cdot ) = {{\hat{y}}}\), \(y_t(t_{\min },\,\cdot ) = 0\) and satisfies
Such a control can be determined using the classical method of moments as described for example in [22].
We define the control \({{\tilde{v}}}^{(n)}(t) = \left\{ \begin{array}{c} u_{init}^{(n)}(t), \, t\in (0, \, t_{\min }], \\ {{\hat{v}}}, \, t \ge t_{\min }. \end{array} \right. \)
For all \(n \in \{1,2,3,...\}\) this implies the inequality
This yields (85).
Assume that the optimal shape problem with (OCE) has a solution \((\ell _{opt}, u_{opt})\). Then \(u_{opt}\) is a solution of (OCE). Let \({\hat{v}}_{opt}\) denote the solution of (OCS) for \( \ell _{opt} \). Then Theorem 1 implies that (81) holds.
Proof of Theorem 1
Define \(M_F = M_1 + M_2 + M_3\), \(M_G = {{\tilde{M}}}_1 + {{\tilde{M}}}_2\), \(M_H = {{\hat{M}}}_1 + {{\hat{M}}}_2\).
Due to (34), (67), (72) and (76) for all \(k \in \{0,1,2,3,...\}\) we have
For the square, this yields the bound
Due to Parseval’s equation this implies for all \(t \in [0, \, T]\)
Since the initial state \((y^0, \, y^1)\) satisfies
this yields an exponential turnpike property for the adjoint state. To be precise, we have for all \(t \in [0, \, T]\)
with a real number \({{\tilde{C}}}(y_0, \, y_1, \, p^{\sigma } )\) that is independent of T and k.
For the optimal controls, for \(\Gamma = \Omega \) we have \(\nu ^T = \mu ^T\), hence we have a similar inequality as (90) for \( \Vert \nu ^T(t) \Vert _{L^2(\Omega )}^2\).
Note that in proof of (67), (72) and (76) in the estimates we did not take advantage of the real part that appears in the representations. In fact, we have always used upper bound for the modulus of the complex number whose real part appears in the expressions. In the representation of the second order derivatives, the only change is that the factor \(z_k^2\) appears in the complex variable representations compared to the original expression. Therefore our proof also yields the inequality
We have
Define
and
Due to (92) we also have the following exponential inequality for the coefficients in the expansion of the optimal state:
This yields the turnpike inequality for the state \(\omega ^T\):
with a real number \({{\tilde{C}}}(y_0, \, y_1, \, p^{\sigma } )\) that is independent of T.
Note that in proof of (67), (72) and (76) in the estimates we did not take advantage of the structure of the spectrum. In fact, the constants in the turnpike inequalities (67) and \(M_G = {{\tilde{M}}}_1 + {{\tilde{M}}}_2\) in (72) and \(M_H = {{\hat{M}}}_1 + {{\hat{M}}}_2\) in (76) are independent of k. \(\square \)
Remark 13
From mathematical point of view, it is of interest to analyze the nucleation of a cycle at the internal node of network. This means that the internal node is replaced by a small cycle, see Figs. 11, 12. The question which internal node is selected can be solved in the steady state case, the topological derivative of the cost is introduced to this end. The domain decomposition method is applied in order to derive the form of the topological derivative. The associated Steklov-Poincaré operator is represented by a matrix \(\varepsilon \rightarrow \Lambda (\varepsilon )\) which is semidefinite positive and differentiable at \(\varepsilon ={0+}\), the derivative is denoted \(\Lambda ^\prime (0)\) for the sake of simplicity. In the case of wave equation such a result is not known, however the numerical experiments show that dependence is regular. Therefore, we assume that for a given initial conditions the solution of wave equation enjoys the properties of the steady state boundary value problem for the nucleation of the small cycle. Let us note that for \(\varepsilon >0\) the wave equation is well defined and the regularity of initial conditions required for the turnpike property are already given. Here we assume that the limit of the cost for \(\varepsilon \rightarrow {0+}\) is well defined and the value of the cost is continuous \(\varepsilon =0\). This assumption does not imply the differentiability of the cost at \(\varepsilon \rightarrow {0+}\).
Assumption 2
Let us consider the wave equation on network and let \({\mathcal {J}}(\Omega )\) be the cost for given initial conditions \(y_0, y_1\) and given time horizon \(T>0\). At the internal node \(P_0\) of the network a cycle of size \(\varepsilon >0\) is introduced, which leads to the cost \({\mathcal {J}}(\Omega _\varepsilon )\). The topological variation of the network is admissible provided we have
7 Control Problem for a Single Edge
Let real numbers \(L>0\), \(T>0\), \(c>0\) and \(\gamma >0\) be given. Let \(y_0 \in H^1(0, \, L)\) with \(y_0(0)=0\) and \(y_1 \in L^2(0, L)\), \(z \in H^1(0, \, L)\) with \(\zeta =z^{\prime }(L)\) be given. Consider the problem
subject to
The solution to the initial boundary value problem for a control \(u \in L^2(0, \, T)\) is stated in [23], Theorem 2.3, p. 17 in the form
with the eigenfunctions \(\varphi _n(x) = \frac{\sqrt{2}}{\sqrt{L}} \sin \left( \left( \frac{\pi }{2} + n \pi \right) \frac{x}{L} \right) \), \(n \in \{0,1,2,...\}\). For the eigenvalues we have
and the minimal eigenvalue is \(\lambda _0 = \frac{\pi ^2}{4} \ \frac{1}{L^2} \). For \(n \in \{0,1,2,...\}\), let
We have
where \(t_0=\frac{L}{c}\). Since Parseval’s identity states that almost everywhere on [0, T], we have
We can represent the objective functional in the form
If the control space \(L^2(0, T)\) is replaced by a finite dimensional space of piecewise constant control functions, this yields a finite dimensional quadratic optimization problem. Since in this case, the necessary optimality conditions are a finite dimensional system of linear equations, this can be used to obtain numerical approximations of the optimal control.
8 Numerical Solutions of Three Examples
In this section, we discuss the numerical solution. We consider the following problem data:
We choose \(\,\,y_1(x):=0\quad (x\in (0,1))\).
-
1.
\( y_0(x):=x,\, z=0, \zeta = 0\, \text{(in } \text{ Example } \text{1) }\);
-
2.
\( y_0(x):=\pi ^{-1}\sin (\pi x),\, z=0, \zeta = 0 \text{(in } \text{ Example } \text{2) };\)
-
3.
\( y_0(x):=\pi ^{-1}\sin (\pi x),\, z=x, \zeta = 1 \text{(in } \text{ Example } \text{3) };\)
The coefficients \(\alpha _n^0\) and \(\alpha _n^1\) in (96) are obtained as the Fourier coefficients of the chosen functions \(y_0(x), y_1(x)\).
In order to solve the optimal boundary control problem numerically, a finite-dimensional approximation is used on two sides of (94) simultaneously:
First, the series expansion in the objective functional has to be cut after N terms which leads us to the consideration of the problem \(\mathbf {(OPT)}(\gamma ,\,N)\). Second, we compute approximations for the optimal controls \(u \in L^2(0,\,T) \) in the space of piecewise constant functions. Let a grid \(0=t_0<t_1<t_2<...<t_M=T\) be given. For \(i\in \{1,\ldots ,M\}\) let
and, define the finite dimensional space \(X_M(T)\) by
For any \(u\in X_M(T)\) we use the representation
where \(v_j(t)\) stands for the characteristic function \(\chi _{[t_{j-1},t_j)}(t)\) of the interval \([t_{j-1},t_j)\) and the approximation of control is defined by the vector \(U=\textrm{col}(U_1,\dots ,U_M)\in {\mathbb {R}}^M\). Hence, we are finally led to solve the problem
with \(\alpha _j(t) \) as defined in (97). Problem
can be equivalently formulated as a quadratic programming problem in \({\mathbb {R}}^M\)
where the matrix \(Q(N)_{M\times M}\), depending on the fixed number N, and the vector \(q\in {\mathbb {R}}^M\) are to be assembled for fixed N from the cost as stated in (98). The assemblage is described below. We use the notation \(U_j=u(t_{j-1})\), (\(j\in \{1,\dots ,M\}\)) and take into account a constant term W that is independent of U. We have
For the convergence of the approximation, it is important to increase both N and M simultaneously. Otherwise, if only \(M\rightarrow \infty \) convergence to the optimal control in general does not occur (due to a possible spillover effect). For \(t\in (t_{j-1},t_{j})\) we have
where \(V_{j} = \textrm{col}(V_{j,1},V_{j,2},\cdots ,V_{j,j},0,\cdots ,0)\),
and
This implies
Moreover, for the derivatives \(\alpha ^{\prime }_n(t)\), we have for \(t\in (t_{j-1},t_{j})\)
where \(\tilde{V}_{j} = \textrm{col}(\tilde{V}_{j,1},\tilde{V}_{j,2},\cdots ,\tilde{V}_{j,j},0,\cdots ,0)\),
This yields
Hence we obtain
And we have
For the objective function, this implies
Thus
Here we use the notation
We employ Matlab for the computational analysis of all examples. Figures 1 and 2 illustrate the optimal control and state, respectively, for varying values of \(T\) in example 1. Notably, as \(T\) increases significantly, the control variable \(u\) converges to \(\zeta \). Moreover, with the increment in \(T\), there is a discernible trend towards stabilization in the norms of both \(u\) and \(y\), as evidenced in Fig. 3. Figures 4, 2, and 6 present the results obtained from example 2, whereas Figs. 7 to 9 depicts the outcomes of example 3. Additionally, Fig. 10 presents the quotient of the optimal value of \(\mathbf {(D_{opt})}(\gamma ,\,N,\,M)\), which adheres to the turnpike property, thereby providing valuable insights into the behavior of the system concerning varying \(T\) values.
9 Topological Derivatives for Network Optimal Control Problems
The topology of network for the purposes of optimal control problems is selected in the framework of the topological derivative method for static problems, we refer to [24] for an elementary example. It turns out, that the topological derivatives for a class of cost functions can be determined by using the domain decomposition technique for the state equation [25]. We describe in details the topological derivative method and present numerical results for examples.
Let us consider the network static problem. We define the topological derivatives for optimal cost of network control problems with respect to nucleation of a small cycle. We present also numerical examples. The simplest example of a network is the three-star graph with one central vertex \(P_0\) and three boundary vertices \(P_1,P_2,P_3\), thus \(V=\{ P_0,P_1, P_2,P_3\}\) (See Fig. 11). There are three edges \(E=\{ E_1,E_2,E_3\}\).
For the steady state problem, singular domain perturbations of the shape are considered. The topological derivatives of the shape functional are defined. The shape and topology optimization is performed. The network is singularly perturbed by a small cycle of the size \(\varepsilon \rightarrow 0\) (See Fig. 12). In such a case the domain decomposition technique is used and the Steklov-Poincaré operator is introduced. The topological derivative technique is employed in order to decide if a small cycle is useful for the topology optimization of the network.
We introduce multiple perturbations of network represented in Fig. 13. The Steklov-Poincaré operator \(\Lambda _\varepsilon \) replaces the subgraph \(G_\varepsilon \) in the state equation of the network. In this way the topological derivative of the cost for optimal control problem on perturbed network is obtained for the nucleation of multiple cycle in the three-star graph.
9.1 Shape and Topology Optimization on Networks
We recall briefly the shape and topological derivatives of a given cost for the network. We restrict ourselves to static problems however the shape and topology optimization can also be performed for dynamic optimal control problems on networks. For the optimal control problems with the Turnpike Property the analysis of static problem is useful for the solution of dynamic problem. In particular, the topology of the network is designed using the static problem.
The shape \(\Omega \) of the network for fixed topology is governed by the finite dimensional vector \(\ell \), which contains the lengths of edges, \(\ell =\textrm{col}\,(L_1,\dots ,L_N)\) where \(N=\#E=\{ E_i | i\in \mathcal {I}\}\). Therefore, \(\Omega :=\Omega (\ell )\), and the cost \(\ell \mapsto {\mathcal {I}}(\ell ):={\mathcal {J}}(\Omega (\ell ))\) is defined by the optimal cost of control problem \({\mathcal {J}}(\Omega ):=J({{\hat{u}}}(\Omega ))\) for evolution problem. For the steady state problem the optimal cost of control problem is denoted by \(\ell \mapsto J({{\hat{v}}}(\Omega (\ell )))\), where \({{\hat{v}}}(\Omega (\ell ))\) is steady state optimal control in the domain defined by the shape \(\Omega (\ell )\). We consider the Neumann control in the numerical examples presented for the wave equation.
We use the standard technique for shape [20] and topology optimization [26]. Namely, the material derivatives are employed in the shape sensitivity analysis in the framework of speed method [20]. The parameter \(\tau \rightarrow 0\) is used for the boundary variations of \(\tau \mapsto {\mathcal {J}}(\Omega _\tau )\), at \(\tau =0\), the material derivatives of the cost and the state with respect to the parameter \(\tau \) are denoted with the dot
which leads to the expansion
In addition, the topology optimization is considered in the case of nucleation of the small cycle of the size \(\varepsilon \rightarrow 0\). The topological derivative of the cost is defined as follows
which leads to the expansion
The topological derivative \({\mathcal {T}}(\Omega )\) for nucleation of small cycles of the size \(\varepsilon \rightarrow 0\) is evaluated for two examples of static problems, and applied to the topological optimization for dynamic problem in the first example.
9.2 Examples of Topological Derivatives for Networks
Two examples are presented of singular network perturbation by nucleation of a small cycle. In the first example, the topological derivative is evaluated for the optimal control problem with the static state equation, and then for the dynamic state equation, the optimal size of the cycle is determined. In the second example, the topological derivative is evaluated for multiple singular perturbations of the three-star network.
Example 4 (for one cycle): In this example the optimal control u is computed for the geometry depicted in Fig. 14. The variables z and \(\zeta \) satisfy
Set \(\zeta =1\), \(L_1=L_2=L_3=2\), \(\varepsilon _0 = 0.5\), \(\varepsilon _{\max }=1,\) and \(0\le \varepsilon \le \varepsilon _{\max }.\) Here, \(G_\varepsilon =\{E_\varepsilon ,V_\varepsilon \}\) contains a small cycle. \(E_\varepsilon =\{E_{\varepsilon ,1},E_{\varepsilon ,2},\cdots ,E_{\varepsilon ,6}\}\), \(V_\varepsilon =\{Q_1,Q_2,Q_3,P_4,P_5,P_6\}\), \(|E_{\varepsilon ,1}|=|E_{\varepsilon ,2}|=|E_{\varepsilon ,3}|=\varepsilon _{\max }-\varepsilon =1-\varepsilon \), \(|E_{\varepsilon ,4}|=|E_{\varepsilon ,5}|=|E_{\varepsilon ,6}|=\varepsilon \). The cost functional under consideration is defined as:
By the Lagrange method, the optimality system is given by
where
and
Figure 15 shows the shape functional with respect to \(\varepsilon \). The derivative of \(J\) with respect to \(\varepsilon \) is consistently negative as \(\varepsilon \) approaches 0. This is the information that allows for the topology variations by nucleation of a small cycle at an interior vertex of the graph. Another observation emerges: as \(\varepsilon \) approaches \(\varepsilon _0\), the cost functional (\(J\)) converges to 0, indicating an optimal length for the introduced cycle. This implies that at \(\varepsilon = \varepsilon _0\), the network experiences an optimal configuration, emphasizing the critical nature of this parameter in shaping the network.
Now, considering the dynamic example in Fig. 14, where the damping parameter is set to \(\alpha = 0\), the cost functional is defined as:
The state equation is given by:
The adjoint equation is:
where \(\chi (x)\) is the characteristic function of \([0,L_i-\varepsilon _{\max }]\), i.e., \(\chi (x)=1\) on \([0,L_i-\varepsilon _{\max }]\) and \(\chi (L_i-x)=0\).
The optimal control \(u(t)\) is obtained from the optimality system as
This formulation provides insights into the dynamical optimization of the system.
In Fig. 16, we illustrate the temporal evolution of the shape functional across varying \(\varepsilon \in [0,1]\). Subfigures (a), (b), and (c) correspond to \(T=1\), \(T=10\), and \(T=100\), respectively, offering insights into the functional’s behavior over different time scales. It is evident from the results that the minimization of the cost functional consistently occurs when \(\varepsilon = \varepsilon _0\), emphasizing the pivotal role of this parameter in optimizing the system’s response.
Example 5 (for multiple cycles): In this example, the geometry is depicted in Fig. 13. Here, \(G_\varepsilon =\{E_\varepsilon ,V_\varepsilon \}\) contains a small cycle. \(E_\varepsilon =\{E_{\varepsilon ,1},E_{\varepsilon ,2},\cdots ,E_{\varepsilon ,9}\}\), \(V_\varepsilon =\{Q_1,Q_2,\cdots ,Q_5,P_4,P_5,P_6\}\), \(|Q_1P_5|=|Q_2P_6|=|Q_3P_4|=\varepsilon _{\max }-\varepsilon =1-\varepsilon \), \(|E_{\varepsilon ,5}|=|E_{\varepsilon ,6}|=|E_{\varepsilon ,9}|=\varepsilon ^2\), \(|E_{\varepsilon ,4}|=|E_{\varepsilon ,7}|=\varepsilon -\varepsilon ^2\), \(|E_{\varepsilon ,8}|=\varepsilon \), and \(|P_iQ_i|=L_i-\varepsilon _{\max }\) (\(i=1,2,3\)). The parameters, cost functional, and optimality system remain consistent with the Example for one cycle (static), with the sole distinction being the form of \(\Lambda _\varepsilon \). The Steklov-Poincaré operator for the small, double cycle is:
For numerical results, refer to Fig. 17. The topological derivative at \(\varepsilon =0^+\) is negative. And the optimal size of the cycle is \(\varepsilon =\varepsilon _0=0.5\).
10 Conclusions
In this paper, we exploit the properties of shape and topology optimization problems on networks modelled by graphs. The optimal control problems are considered in static and dynamic cases. For the tree network, we show the exponential turnpike property for the wave equation and consider the geometric shape optimization. The new case is the tree with small cycles. In such a case the topology of the optimal network is determined by using the topological derivatives obtained in the static case. Numerically, the case of multiple cycles also does not pose a problem. This is a novel result which shows that also in situations of this type shape optimization is applicable, as long as in the shape optimization no topology change occurs, that is no cycle vanishes.
The turnpike property also holds if a cycle disappears. We have shown this under the assumption that the initial state is not supported on the cycle. We expect that this condition is not sharp.
The convergence of gradient flow for shape optimization is also relevant to networks. The modeling of the shapes of animals is another possibility for the application of spectral methods. We refer to [27], and [28] for the related results. Further research will concern the corresponding shape optimization problems in the general three dimensional case.
References
Nicaise, S.: Problèmes de Cauchy posés en norme uniforme sur les espaces ramifiés élémentaires. C. R. Acad. Sci. Paris Sér. I Math. 303(10), 443–446 (1986)
Lions, J.-L.: Contrôle Optimal de Systèmes Gouvernés Par des équations aux Dérivées partielles, p. 426 (1968)
Grüne, L.: Dissipativity and optimal control: examining the turnpike phenomenon. IEEE Control Syst. 42(2), 74–87 (2022)
Zaslavski, A.J.: Turnpike Phenomenon in Metric Spaces. Springer Optimisation Application, vol. 201. Springer, Berlin (2023)
Trélat, E., Zhang, C., Zuazua, E.: Steady-state and periodic exponential turnpike property for optimal control problems in Hilbert spaces. SIAM J. Control Optim. 56(2), 1222–1252 (2018)
Faulwasser, T., Grüne, L., Humaloja, J.-P., Schaller, M.: The interval turnpike property for adjoints. Pure Appl. Funct. Anal. 7(4), 1187–1207 (2022)
Lance, G., Trélat, E., Zuazua, E.: Numerical issues and turnpike phenomenon in optimal shape design. In: Optimization and Control for Partial Differential Equations—Uncertainty Quantification, Open and Closed-Loop Control, and Shape optimization. Radon Ser. Comput. Appl. Math., vol. 29, pp. 343–366. De Gruyter, Berlin ([2022] 2022)
Lance, G., Trélat, E., Zuazua, E.: Shape turnpike for linear parabolic PDE models. Syst. Control Lett. 142, 104733–9 (2020)
Klarbring, A., Petersson, J., Torstenfelt, B., Karlsson, M.: Topology optimization of flow networks. Comput. Methods Appl. Mech. Eng. 192(35–36), 3909–3932 (2003)
Bucur, D., Henrot, A., Sokolowski, J., Żochowski, A.: Continuity of the elasticity system solutions with respect to the geometrical domain variations. Adv. Math. Sci. Appl. 11(1), 57–73 (2001)
Brügger, R., Harbrecht, H., Tausch, J.: On the numerical solution of a time-dependent shape optimization problem for the heat equation. SIAM J. Control Optim. 59(2), 931–953 (2021)
Cagnol, J., Zolésio, J.-P.: Hidden shape derivative in the wave equation. In: Systems Modelling and Optimization Proceedings of the 18th IFIP TC7 Conference, vol. 396, pp. 42–52 (2022)
Schlegel, L., Schulz, V.: Shape optimization for the mitigation of coastal erosion via porous shallow water equations. Int. J. Numer. Methods Eng. 123(22), 5416–5441 (2022)
Porretta, A., Zuazua, E.: Long time versus steady state optimal control. SIAM J. Control Optim. 51(6), 4242–4273 (2013)
Gugat, M., Hante, F.M.: On the turnpike phenomenon for optimal boundary control problems with hyperbolic systems. SIAM J. Control Optim. 57(1), 264–289 (2019)
Henrot, A.: Extremum Problems for Eigenvalues of Elliptic Operators. Springer, Basel (2006)
Bronstein, I.N., Semendjajew, K.A., Musiol, G., Mühlig, H.: Handbook of Mathematics. Translated from the German, 4th edition. Springer, Berlin (2004)
Bronstein, I.N., Semendjajew, K.A., Musiol, G., Mühlig, H.: Taschenbuch der Mathematik. Harri Deutsch, Frankfurt a. M. (2001)
Gugat, M., Lazar, M.: Turnpike properties for partially uncontrollable systems. Automat. J. IFAC 149, 110844 (2023)
Sokolowski, J.: Zolésio: Introduction to Shape Optimization. Springer, Berlin (1992)
Avdonin, S., Edward, J., Leugering, G.: Controllability for the wave equation on graph with cycle and delta-prime vertex conditions. Evol. Equ. Control Theory 12(6), 1542–1558 (2023)
Rolewicz, S.: On controllability of systems of strings. Stud. Math. 36(2), 105–110 (1970)
Gugat, M.: Optimal Boundary Control and Boundary Stabilization of Hyperbolic Systems. Springer Briefs in Electrical and Computer Engineering, p. 140. Springer, Basel, Switzerland (2015)
Gugat, M., Qian, M., Sokołowski, J.: Topological derivative method for control of wave equation on networks. In: 2023 27th International Conference on Methods and Models in Automation and Robotics (MMAR), Miedzyzdroje, Poland, pp. 320–325 (2023)
Sokołowski, J., Żochowski, A.: Modelling of topological derivatives for contact problems. Numer. Math. 102(1), 145–179 (2005)
Novotny, A.A., Sokołowski, J.: An Introduction to the Topological Derivative Method. Springer Briefs in Mathematics. Springer, Switzerland (2020)
Plotnikov, P.I., Sokołowski, J.: Geometric aspects of shape optimization. J. Geom. Anal. 33(7), 206–57 (2023)
Chen, G., Huang, J., Wei, C.E.A.: Animal shapes, modal analysis, and visualization of motion (I): Horse and camel. J. Geom. Anal. 33(10), 328–60 (2023)
Acknowledgements
This work was supported by Deutsche Forschungsgemeinschaft (DFG) in the Collaborative Research Centre CRC/Transregio 154, Mathematical Modelling, Simulation and Optimization Using the Example of Gas Networks, Projects C03 and C05, Projektnr. 239904186. This work was supported by the National Key Basic Research Program (2022YFA1004402).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gugat, M., Qian, M. & Sokolowski, J. Network Design and Control: Shape and Topology Optimization for the Turnpike Property for the Wave Equation. J Geom Anal 34, 273 (2024). https://doi.org/10.1007/s12220-024-01712-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01712-8