Boundary Value Problems

, 2019:23 | Cite as

Topological sensitivity analysis of a time-dependent nonlinear problem

  • Mohamed AbdelwahedEmail author
  • Azhar Al Salem
  • Nejmeddine Chorfi
  • Maatoug Hassine
Open Access


We are interested in the optimization of the pipe shape allowing minimization of the dissipated energy in time-dependent Navier–Stokes Darcy flow. The used technique is based on the topological gradient method. In the theoretical part, we present an analysis of the topological sensitivity for the dissipated energy function. Some numerical tests are presented to illustrate the developed approach.


Shape optimization Topological sensitivity Calculus of variations Time-dependent Navier–Stokes equation Darcy equation 

1 Introduction

Let O be a bounded cavity of \(\mathbb{R}^{2}\) occupied by a viscous and incompressible fluid modeled by the time-dependent nonlinear Navier–Stokes equations. We assume that the cavity O has some inlets \(\varGamma_{i}^{k}\), \(k=1,\ldots,n\), and some outlets \(\varGamma_{o}^{i}\), \(i=1,m\) (see Fig. 1).
Figure 1

The domain O

The aim of this work is to obtain the optimal pipes form connecting the inputs and the outputs of the cavity that minimizes the dissipated energy in the fluid under a volume constraint.

Let \(S_{\mathrm{ad}}= \{D\subset O \mbox{ with } \varGamma _{i}^{k} \subset \partial D \cap\partial O \mbox{ and } \varGamma_{o}^{i} \subset\partial D \cap\partial O \mbox{ with } |D|\le V_{d} \}\) the set of admissible domains, where \(|\cdot|\) is the measure of Lebesgue and \(V_{d}\) is the desired volume. For each \(O\in S_{\mathrm{ad}}\), we denote by v and p, respectively, the velocity and the pressure, solution to the Navier–Stokes equations in O
$$ \textstyle\begin{cases} \frac{\partial v}{\partial t}- \nu\Delta v + (v.\nabla) v+\nabla p = f & \mbox{in } O \times(0,T), \\ \operatorname{div} v = 0 & \mbox{in } O\times(0,T), \\ v = v_{d} & \mbox{on } \partial O\times(0,T). \end{cases} $$
ν is the fluid kinematic viscosity, T is the flow time and \(v_{d}\) is the boundary condition given by
$${u}_{d}= \textstyle\begin{cases} v_{i}^{k} & \mbox{on } \varGamma_{i}^{l} , l=1,\ldots,n, \\ v_{o}^{i} & \mbox{on } \varGamma_{o}^{k} , k=1,\ldots,m, \\ 0 & \mbox{on } \partial O \setminus \varGamma_{i}^{l} \cup\varGamma_{o}^{k}. \end{cases} $$

A variety of publications were focused on the design of an optimal pipe shape domain [1, 2, 3], but the majority of studies were focused on determining the optimal form of an existing boundary. The topological gradient method has been lately introduced in optimal shape problems [4, 5, 6]. This method allows for the introduction of new boundaries into the design.

The idea of the method is to measure the effect of a small topology change in the domain with respect to a given cost function. This effect is described through an asymptotic expansion of this function.

An approach using the analysis of the topological sensitivity [7, 8, 9] is presented in this work. The optimal pipe shape domain is obtained by the inserted obstacles in the initial domain. Taking into account the friction between the fluid and obstacles, which is modeled by
$$f=-\kappa(x) v(x) $$
with \(\kappa(x)\) the inverse of the medium permeability [10, 11], we obtain the coupled Navier–Stokes Darcy equations
$$ \textstyle\begin{cases} \frac{\partial v}{\partial t}- \nu\Delta v + (v.\nabla) v+\kappa v+\nabla p = 0 & \mbox{in } O \times(0,T), \\ \operatorname{div} v = 0 & \mbox{in } O\times(0,T), \\ v = v_{d} & \mbox{on } \partial O\times(0,T). \end{cases} $$
The studied optimization problem is to find
$$\min_{O\in S_{\mathrm{ad}}}J_{T}(v), $$
$$J_{T}(v)= \int_{0}^{T} J(v) \,dt. $$
\(J(v)=\nu \int_{O}|\nabla v|^{2} \,dx+\kappa \int _{O}|v|^{2} \,dx\) is the dissipation energy function and v is solution of (2).

To optimize the obstacles’ location, we developed in Sect. 2 a topological asymptotic expansion of the dissipation energy function relative to the introduction of an obstacle of small size within the domain O of the fluid flow. Section 3 is devoted to the numerical tests.

2 Topological asymptotic development

Let \(y\in O\), \(\eta>0\) and \(\xi\subset\Bbb {R}^{2} \) a bounded given domain which contains the origin and \(\partial\xi\in\mathcal{C}^{1}\). We denote \({\xi}_{y,\eta}=y+\eta {\xi} \in O\).

When an obstacle \({\xi}_{y,\eta}\) is inserted in O, \((v_{\eta },p_{\eta})\) is solution of
$$ \begin{aligned} &\frac{\partial v_{\eta}}{\partial t}- \nu\Delta v_{\eta} + (v_{\eta}.\nabla) v_{\eta}+ \kappa_{\eta} v_{\eta }+\nabla p_{\eta} = 0 \quad \mbox{in } O\times(0,T), \\ &\operatorname{div} v_{\eta} = 0 \quad \mbox{in } O\times(0,T), \\ &{v_{\eta}} ={v}_{d} \quad \mbox{on } \partial O\times(0,T). \end{aligned} $$
We define the dissipation energy function associated to the perturbed domain
$$J_{\eta}(v_{\eta})=\nu \int_{O_{\eta}}|\nabla v_{\eta}|^{2} \,dx+ \kappa_{\eta} \int_{O_{\eta}}|v_{\eta}|^{2} \,dx, $$
where \(\kappa_{\eta}=c_{\eta} \kappa\) is the perturbed impermeability with
$$c_{\eta}(x)= \textstyle\begin{cases} c & \mbox{if } x\in{\xi}_{y,\eta}, \\ 1 & \mbox{if } x\in O\setminus \overline{{\xi}_{y,\eta}}, \end{cases} $$
and c is a contrast parameter which permits one to switch the impermeability value [12].
The variational formulation of (3) is: Find \(v_{\eta}\in V\) solution of
$$ a_{\eta}(v_{\eta},w) = 0\quad \forall w \in V^{0}, $$
$$V = \bigl\{ w \in H^{1}(O)^{d}, \operatorname{div}w = 0 \mbox{ in } O \bigr\} ,\qquad V^{0} = V \cap H_{0}^{1}(O) $$
$$a_{\eta} (v,w) =\nu \int_{O}\nabla v. \nabla w \,dx+ \int_{O}(v.\nabla) v .w \,dx+ \int_{O} \kappa_{\eta} v . w \,dx\quad \forall v \in V. $$
In the case where \(\eta=0\), \(v_{\eta}=v_{0}\) is solution of problem (1) with \(\kappa_{0}=\kappa\) (see [13]).

The topological gradient method consists in finding the asymptotic expansion of the cost function J with respect to a small perturbation of the initial domain. For this reason, we interested in calculate the difference between the perturbed cost function \(J_{\eta}(u_{\eta})\) and the unperturbed one \(J(u_{0})\). A similar study is presented in [14] for the three dimensional non-stationary Navier–Stokes equations using a numerical approximation based on the sensitivity analysis of the Stokes equation. In this work we interested in the non-stationary Navier–Stokes Darcy equations.

The variation of the studied cost function is written
$$ J_{\eta}(u_{\eta})-J(u_{0})= \nu \int_{O} \bigl(|\nabla v_{\eta}|^{2} - | \nabla v_{0}|^{2}\bigr) \,dx+ \int_{O} \bigl(\kappa_{\eta}| v_{\eta}|^{2}- \kappa| v_{0}|^{2}\bigr) \,dx. $$

In the following \(|v|^{2}\) will be denoted by \(v^{2}\) for simplification.

By remarking that
$$ \begin{aligned}[b] |\nabla v_{\eta}|^{2} - |\nabla v_{0}|^{2}&=2 \nabla v_{0} . \nabla(v_{\eta }-v)-2 \nabla v_{0} . \nabla v_{\eta}+( \nabla v_{0})^{2}+\nabla(v_{\eta })^{2} \\ &=2 \nabla v_{0} . \nabla(v_{\eta}-v)+(\nabla v_{\eta}-\nabla v_{0})^{2} \end{aligned} $$
$$ \begin{aligned}[b] \kappa_{\eta}|v_{\eta}|^{2}- \kappa|v_{0}|^{2}&=\kappa_{\eta}\bigl(v_{\eta }^{2}-2v_{\eta} v_{0} + v_{0}^{2}\bigr)+2\kappa_{\eta} v_{\eta} v_{0} - \kappa _{\eta} v_{0}^{2} -\kappa v_{0}^{2} \\ &=\kappa_{\eta}(v_{\eta}-v_{0})^{2}+2 \kappa c_{\eta} v_{0} (v_{\eta }-v_{0})+(c_{\eta}-1) \kappa v_{0}^{2}. \end{aligned} $$
Following the definition of the parameter c,
$$ \begin{aligned}[b] \int_{O}\kappa c_{\eta} v_{0} (v_{\eta} - v_{0}) \,dx &= \int_{O\setminus \overline{\xi_{y,\eta}}} \kappa v_{0} (v_{\eta} - v_{0}) \,dx + \int_{ \xi_{y,\eta}} \kappa v_{0} (v_{\eta} - v_{0}) \,dx \\ &= \int_{O}\kappa v_{0} (v_{\eta} - v_{0}) \,dx - \int_{ \xi_{y,\eta}} (1-c)\kappa v_{0} (v_{\eta} - v_{0}) \,dx. \end{aligned} $$
Using (6)–(8), we get
$$ \begin{aligned}[b] J_{\eta}(u_{\eta})-J(u_{0})&= 2 \nu \int_{O}\nabla v_{0}.\nabla(v_{\eta}-v_{0}) \,dx+\nu \int_{O}(\nabla v_{\eta}-\nabla v_{0})^{2} \,dx \\ &\quad {} + \int_{O}\kappa_{\eta} |v_{\eta}-v_{0}|^{2} \,dx+2 \int _{O}\kappa v (v_{\eta}-v_{0}) \,dx \\ &\quad {} -2 \int_{\xi_{y,\eta}}(1-c)\kappa v_{0} (v_{\eta }-u_{0}) \,dx - \int_{\xi_{y,\eta}}(1-c)\kappa |v_{0}|^{2} \,dx. \end{aligned} $$
By using (4) and the integration by parts
$$\begin{aligned} &\nu \int_{O}\nabla(v_{\eta}-v_{0}).\nabla w \,dx+ \int _{O}\bigl((v_{\eta}.\nabla)v_{\eta}-(v_{0}. \nabla)v_{0}\bigr).w \,dx+ \int _{O}(\kappa_{\eta}v_{\eta}-\kappa v_{0}).w \,dx \\ &\quad =\nu \int_{O}\nabla(v_{\eta}-v_{0}).\nabla w \,dx+ \int _{O}\bigl((v_{0}.\nabla)w+(\nabla w)v_{0}\bigr).(v_{\eta}-v_{0}) \,dx \\ &\qquad {}+ \int_{O}\bigl(\nabla(v_{\eta}-v_{0})\bigr) (v_{\eta}-v_{0}).w \,dx + \int_{O} \kappa(v_{\eta}-v_{0}).w- \int_{\xi_{y,\eta }}(1-c)\kappa v_{\eta}.w \,dx \\ &\quad =0. \end{aligned}$$
By choosing \(w=v_{\mathrm{adj}}\), the solution of the adjoint problem associated to (2), we obtain
$$\begin{aligned} &\nu \int_{O}\nabla(v_{\eta}-v_{0}).\nabla v_{\mathrm{adj}} \,dx+ \int_{O}\bigl((v.\nabla)v_{\mathrm{adj}}+(\nabla v_{\mathrm{adj}})v\bigr).(v_{\eta}-v) \,dx \\ &\qquad {}+ \int_{O}\kappa (v_{\eta}-v).v_{\mathrm{adj}} \,dx \\ &\quad = (1-c) \int_{\xi_{y,\eta}}\kappa v_{\eta}.v_{\mathrm{adj}} \,dx - \int_{O}\bigl(\nabla(v_{\eta}-v_{0})\bigr) (v_{\eta}-v_{0}).v_{\mathrm{adj}} \,dx. \end{aligned}$$
Using the variational formulation of the divergence free adjoint equation (see [15, 16]) and choosing \(w=v_{\eta}-v_{0}\), we obtain
$$\begin{aligned} &\nu \int_{O}\nabla v_{\mathrm{adj}}.\nabla(v_{\eta}-v_{0}) + \int_{O}\bigl((v.\nabla)v_{\mathrm{adj}}+(\nabla v_{\mathrm{adj}})v\bigr).(v_{\eta }-v_{0}) \,dx \\ &\qquad {}+ \int_{O} \kappa v_{\mathrm{adj}}.(v_{\eta}-v_{0}) \,dx \\ &\quad = 2 \nu \int_{O}\nabla v. \nabla(v_{\eta }-v_{0}) \,dx + 2 \int_{O} \kappa v. (v_{\eta}-v_{0}) \,dx. \end{aligned}$$
By comparing this last equation with (11), we obtain
$$\begin{aligned} & 2 \nu \int_{O}\nabla v. \nabla(v_{\eta }-v_{0}) \,dx + 2 \int_{O} \kappa v. (v_{\eta}-v_{0}) \,dx \\ &\quad = (1-c) \int_{\xi_{y,\eta}} \kappa v_{\eta}. v_{\mathrm{adj}} \,dx - \int_{O} \bigl(\nabla(v_{\eta}-v_{0})\bigr) (v_{\eta}-v_{0}). v_{\mathrm{adj}} \,dx. \end{aligned}$$
By substituting (13) in (9), we obtain
$$\begin{aligned} J_{\eta}(v_{\eta})-J(v_{0})&=(1-c) \int_{\xi_{y,\eta}} \kappa v_{\eta}. v_{\mathrm{adj}} \,dx - \int_{\xi_{y,\eta}} (1-c) \kappa |v_{0}|^{2} \,dx \\ &\quad {} - \int_{O}\bigl(\nabla(v_{\eta}- v_{0})\bigr) (v_{\eta}- v_{0}). v_{\mathrm{adj}}+\nu \int_{O}(\nabla v_{\eta}-\nabla v_{0})^{2} \,dx \\ &\quad {}+ \int_{O} \kappa_{\eta} |v_{\eta}-v_{0}|^{2} \,dx -2 \int_{\xi_{y,\eta}}(1-c) \kappa v (v_{\eta}-v_{0}) \,dx \\ &=\varSigma(\eta)- \int_{\xi_{y,\eta}}(1-c) \kappa v_{0} .(v_{0}-v_{\mathrm{adj}}) \,dx, \end{aligned}$$
$$\begin{aligned} \varSigma(\eta) =& \int_{O}|\nabla v_{\eta}-\nabla v_{0}|^{2} \,dx + \int_{O} \kappa_{\eta}|v_{\eta}-v_{0}|^{2} \,dx -2 \int_{\xi _{y,\eta}} (1-c) \kappa v_{0} (v_{\eta}-v_{0}) \,dx \\ &{}+ \int_{\xi_{y,\eta}} (1-c) \kappa v_{\mathrm{adj}}.(v_{\eta }-v_{0}) \,dx - \int_{O} \bigl(\nabla(v_{\eta}-v_{0})\bigr) (v_{\eta }-v_{0}).v_{\mathrm{adj}} \,dx. \end{aligned}$$
We remark that it can be shown that \(\varSigma(\eta)=O(\eta^{2})\). Finally, using the Lebesgue differentiation theorem [17], we obtain
$$ J_{\eta}(v_{\eta})=J(v_{0})-| \xi_{y,\eta}|(1-c) \kappa(y)v_{0}(y) \bigl(v_{0}(y)-v_{\mathrm{adj}}(y) \bigr)+\varSigma(\eta), $$
which gives the following result.

Theorem 2.1

The function J satisfies the asymptotic development
$$ J_{\eta}(v_{\eta})-J(v)= f(\eta) D J (y)+o\bigl(f( \eta)\bigr), $$
where \(f(\eta)=|\xi_{y,\eta}|\) and DJ is the topological gradient given by
$$ D J (y)= -(1-c) \kappa(y)v(y) \bigl(v(y)-v_{\mathrm{adj}}(y) \bigr),\quad \forall y\in O. $$

Corollary 2.1

Summing over time, the topological gradient of\(J_{T}(v)\)is given by
$$ D J_{T} (v)= -(1-c) \kappa(y) \int_{0}^{T} v(y) \bigl(v(y)-v_{\mathrm{adj}}(y) \bigr) \,dt. $$

3 Numerical results

3.1 Optimization algorithm

Using (16), we remark that \(J_{\eta}(v_{\eta})< J(v)\) if \(D J(y)<0\). Then the minimum of J, which corresponds to the best location y of the obstacle, is obtained where \(D J(y)\) is the most negative.

Following this result, we propose the following numerical algorithm: We begin first by choosing \(O_{0} = O\). Then we construct the sequence of domains \((O_{k})_{k\ge0}\) such that \(O_{k+1}=O_{k}\setminus \overline{\xi_{k}}\), where \(\xi_{k}\) is the obstacle defined by a level set curve of \(D_{k} J_{T}\)
$$\xi_{k} = \bigl\{ x \in\varOmega_{k}, \mbox{such that } 0\ge d_{k} \geq D_{k} J_{T}(x) \bigr\} . $$
Here, \(d_{k}\) is a given constant and \(D_{k} J_{T}(y)=D J_{T}(v^{k})\) is defined by
$$ D J_{T} \bigl(v^{k}\bigr)= -(1-c) \kappa(y) \int_{0}^{T} v^{k}(y) \bigl(v^{k}(y)-v^{k}_{\mathrm{adj}}(y)\bigr) \,dt. $$
\(v^{k}\) is the solution of the Navier–Stokes Darcy problem
$$ \textstyle\begin{cases} \frac{\partial v^{k}}{\partial t}- \nu\Delta v^{k} + (v^{k}.\nabla) v^{k}+\kappa v^{k}+\nabla p^{k} = 0 & \mbox{in } O_{k} \times(0,T), \\ \operatorname{div} v^{k} = 0 & \mbox{in } O_{k}\times(0,T), \\ v^{k} = v_{d} & \mbox{on } \partial O\times(0,T). \end{cases} $$
\(v^{k}_{\mathrm{adj}}\) is the solution to the adjoint problem of (20), given by (see [15])
$$ \textstyle\begin{cases} - \frac{\partial v^{k}_{\mathrm{adj}}}{\partial t}- \nu\Delta v^{k}_{\mathrm{adj}} -\nabla v^{k}_{\mathrm{adj}}.v^{k}- ({v^{k}}.\nabla) v^{k}_{\mathrm{adj}} \\ \quad {}+\kappa v^{k}_{\mathrm{adj}} +\nabla p^{k}_{\mathrm{adj}} = \frac{\partial J}{\partial v^{k}} & \mbox{in } O_{k} \times(0,T), \\ -\operatorname{div} v^{k}_{\mathrm{adj}} = \frac{\partial J}{\partial p^{k}} & \mbox{in } O_{k}\times(0,T), \\ v^{k}_{\mathrm{adj}}(T) =0 & \mbox{in } O_{k}, \\ (v^{k}_{\mathrm{adj}})_{t} = 0 & \mbox{on } \partial O\times(0,T), \\ (v^{k}_{\mathrm{adj}})_{n} = \frac{\partial J_{\partial O}}{\partial p} & \mbox{on } \partial O\times(0,T), \end{cases} $$
where \((v^{k}_{\mathrm{adj}})_{t}\) and \((v^{k}_{\mathrm{adj}})_{n}\) are, respectively, the tangential and normal component of \(v^{k}_{\mathrm{adj}}\) and \(J_{\partial O}\) is the boundary part of J.

3.2 Numerical discretization

The numerical resolution of the Navier–Stokes Darcy problem (20) and its adjoint problem is done on two steps. To overcome the problem of nonlinearity terms in the first equation, we use the characteristics method [18]. It consists of approximating the convection term as
$$\biggl(\frac{\partial v^{k}}{\partial t} + \bigl(v^{k}.\nabla\bigr)v^{k} \biggr) \bigl(x,t^{n+1}\bigr)= \frac{1}{\Delta t}(v^{k} \bigl(x,t^{n+1}\bigr)-v^{k}\bigl(X\bigl(x,t^{n+1},t^{n} \bigr),t^{n}\bigr), $$
where Δt is the time step, \(t^{n}=n \Delta t\) and \(X(x,t^{n+1},t^{n})\) is the position at time \(t^{n}\) of the fluid particle which is located at x at time \(t^{n+1}\).
The time discretization of problem (20) can then be written
$$ \textstyle\begin{cases} \lambda v^{k}_{n+1}- \nu\Delta v^{k}_{n+1}+\nabla p^{k}_{n+1} = g_{n}& \mbox{in } O_{k}, \\ \operatorname{div} v^{k}_{n+1} = 0 & \mbox{in } O_{k}, \\ v^{k}_{n+1} = v_{d} & \mbox{on } \partial O, \end{cases} $$
where \(\lambda=\frac{1}{\Delta t}+\kappa\), \(g_{n}=\frac{1}{\Delta t} v^{k}(X(x,t^{n+1},t^{n}),t^{n}) \), \(v^{k}_{n+1}=v^{k}(\cdot,t^{n+1})\).

It is shown that the weak formulation of obtained discrete problem (22) has a unique solution [19].

In the same way, we can express the objective function by
$$D J_{T}\bigl(v^{k}\bigr)=-(1-c)\kappa\sum _{n=0}^{N} v^{k}_{n} \bigl(v^{k}_{n}-\bigl(v^{k}_{\mathrm{adj}} \bigr)_{n}\bigr), $$
where \(v^{k}_{n}\) and \((v^{k}_{\mathrm{adj}})_{n}\) are, respectively, the numerical solution of the Navier–Stokes Darcy problem and its adjoint at time \(t^{n}\).

For the spatial discretization of problems (22) and the time discrete adjoint problem (21), We use the finite element method.

3.3 Example 1

In this test, the domain O is taken as the square with side equal to 1 containing one input \(\varGamma_{i}\) and one output \(\varGamma_{o}\). A Dirichlet parabolic profile is, respectively, prescribed at \(\varGamma _{i}\) and \(\varGamma_{o}\) with maximum inflow and outflow equal to 1. On the other part of the boundary \(\partial O_{k} \setminus (\varGamma_{i} \cup\varGamma_{o})\) a homogeneous Dirichlet condition is imposed.

\(d_{k}\) is selected in practice such that \(J_{T}(O_{k+1})- J_{T}(O_{k})\) is negative. It determines the obstacle volume. In numerical tests, we choose \(d_{k}\) such that \(\xi_{k} \subset O_{k}\), \(D J_{T} \leq0\) and \(|\xi _{k}| \leq0.1 |O_{k}|\).

As the optimal design of the pipe depends on the position of the input and the output, we consider two different cases (a) (see Fig. 2) and (b) (see Fig. 3) with different input and output positions.
Figure 2

Pipe bend initial domain: Case (a)

Figure 3

Pipe bend initial domain: Case (b)

We use the presented algorithm in order to find the pipe optimal domain connecting the inlet of the cavity and its outlet with minimum dissipated energy.

We present, in Figs. 4 and 5 (respectively, Figs. 6 and 7) two intermediate geometries obtained throughout the optimization process for the case (a) (respectively, the case (b)). The obtained optimal domain is presented for the case (a) (respectively, the case (b)) in Fig. 8 (respectively, Fig. 9). It corresponds to \(V_{d} = 0.1 \pi |\varOmega|\) (respectively, \(V_{d} =0.08 \pi |\varOmega|\)).
Figure 4

Case (a): Intermediate domain

Figure 5

Case (a): Intermediate domain

Figure 6

Case (b): Intermediate domain

Figure 7

Case (b): Intermediate domain

Figure 8

Case (a): Optimal pipe domain

Figure 9

Case (b): Optimal pipe domain

3.4 Example 2

In this example, \(\varOmega=\, ]0, 3/2[\, \times\, ]0, 1[\) is a rectangular domain with two inlets and outlets, The considered boundary condition is similar to that considered for the pipe example. As in the previous example, we consider here two cases describing various relative positions of inlets and outlets. The domains of the considered cases, showing inlets and outlets positions, are depicted in Figs. 10 (Case (c)) and 11 (Case (d)).
Figure 10

Double pipe initial domain: Case (c)

Figure 11

Double pipe initial domain: Case (d)

The geometries obtained during the optimization process are presented respectively in Figs. 1213 for the case (c) and Figs. 1415 for the case (d). The optimal geometries plotted in Figs. 16 and 17 are respectively computed with \(V_{d} = \frac{1}{5}|\varOmega|\) for the case (c) and \(V_{d} = \frac{1}{6}|\varOmega|\) for the case (d).
Figure 12

Case (c): Intermediate domain

Figure 13

Case (c): Intermediate domain

Figure 14

Case (d): Intermediate domain

Figure 15

Case (d): Intermediate domain

Figure 16

Case (c): Optimal double pipe domain

Figure 17

Case (d): Optimal double pipe domain

4 Conclusion

We developed in this work an efficient topological optimization algorithm for determining the optimal shape design of unsteady flow described by the coupled Navier–Stokes and Darcy equations. Using the asymptotic expansion of the energy function, the obtained optimal domain is generated by inserting obstacles at each iteration until reaching the desired volume. The location of these obstacles is determined by the developed topological gradient. This problem can be generalized to the three dimensional case and used for realistic applications such the bypass problem in biomedical fluid.



The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for funding this Research group No. (RG-1435-026).

Availability of data and materials

Not applicable.

Authors’ contributions

The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.


Not applicable.

Competing interests

The authors declare that they have no competing interests.


  1. 1.
    Afshar, M.H., Afshar, A., Marino, M.A., Asce, H.M.: An iterative penalty method for the optimal design of pipe networks. Int. J. Civ. Eng. 7(2), 1–16 (2009) Google Scholar
  2. 2.
    Pingen, G.: Optimal design for fluidic systems: topology and shape optimization with the lattice Boltzmann method. Ph.D. thesis, University of Colorado (2008) Google Scholar
  3. 3.
    Mohammadi, B., Pironneau, O.: Applied Shape Optimization for Fluids. Oxford University Press, New York (2001) zbMATHGoogle Scholar
  4. 4.
    Abdelwahed, M., Hassine, M.: Topological optimization method for a geometric control problem in Stokes flow. Appl. Numer. Math. 59(8), 1823–1838 (2009) MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Borrvall, T., Petersson, J.: Topological optimization of fluids in Stokes flow. Int. J. Numer. Methods Fluids 44(1), 77–107 (2003) zbMATHCrossRefGoogle Scholar
  6. 6.
    Guest, J.K., Prévost, J.H.: Topology optimization of creeping fluid flows using a Darcy–Stokes finite element. Int. J. Numer. Methods Eng. 66, 461–484 (2006) MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Guillaume, P., Sid Idris, K.: Topological sensitivity and shape optimization for the Stokes equations. SIAM J. Control Optim. 43(1), 1–31 (2004) MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Hassine, M., Masmoudi, M.: The topological asymptotic expansion for the quasi-Stokes problem. ESAIM Control Optim. Calc. Var. 10(4), 478–504 (2004) MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Sokolowski, J., Zochowski, A.: On the topological derivative in shape optimization. SIAM J. Control Optim. 37(4), 1251–1272 (1999) MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Gersborg-Hansen, A., Sigmund, O., Haber, R.B.: Topology optimization of channel flow problems. Struct. Multidiscip. Optim. 30(3), 181–192 (2005) MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Yongbo, D.: Topology optimization of steady and unsteady incompressible Navier–Stokes flows driven by body forces. Struct. Multidiscip. Optim. 47(4), 555–570 (2013) MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Gartling, D.K., Hickox, C.E., Givler, R.C.: Simulation of coupled viscous and porous flow problems. Comput. Fluid Dyn. J. 7(1), 23–48 (1996) zbMATHCrossRefGoogle Scholar
  13. 13.
    Rădulescu, V., Repovš, D.: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. Taylor & Francis, Boca Raton (2015) zbMATHCrossRefGoogle Scholar
  14. 14.
    Abdelwahed, M., Hassine, M.: Topology optimization of time dependent viscous incompressible flows. Abstr. Appl. Anal. 2014, Article ID 923016 (2014) MathSciNetCrossRefGoogle Scholar
  15. 15.
    Hasund, K.E.: Toplogy optimization for unsteady flow with applications in biomedical flows. Ph.D. thesis, Norwegian University of Sciences and Technology (2017) Google Scholar
  16. 16.
    Rădulescu, V.: Nonlinear elliptic equations with variable exponent: old and new. Nonlinear Anal., Theory Methods Appl. 121, 336–369 (2015) MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Rudin, W.: Real and Complex Analysis. Mathematics Series. McGraw-Hill, New York (1987) zbMATHGoogle Scholar
  18. 18.
    Pironneau, O.: On the transport diffusion algorithm and its applications to Navier–Stokes equations. Numer. Math. 38, 309–332 (1982) MathSciNetzbMATHCrossRefGoogle Scholar
  19. 19.
    Brezzi, F., Fortin, M.: Mixed and Hybrid Finite Element Methods. Springer, New York (1991) zbMATHCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Department of Mathematics, College of SciencesKing Saud UniversityRiyadhSaudi Arabia
  2. 2.Department of MathematicsMonastir UniversityMonastirTunisia

Personalised recommendations