Abstract
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.
Similar content being viewed by others
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).
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
ν is the fluid kinematic viscosity, T is the flow time and \(v_{d}\) is the boundary condition given by
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
with \(\kappa(x)\) the inverse of the medium permeability [10, 11], we obtain the coupled Navier–Stokes Darcy equations
The studied optimization problem is to find
where
\(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
We define the dissipation energy function associated to the perturbed domain
where \(\kappa_{\eta}=c_{\eta} \kappa\) is the perturbed impermeability with
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
where
and
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
In the following \(|v|^{2}\) will be denoted by \(v^{2}\) for simplification.
By remarking that
and
Following the definition of the parameter c,
By using (4) and the integration by parts
By choosing \(w=v_{\mathrm{adj}}\), the solution of the adjoint problem associated to (2), we obtain
Using the variational formulation of the divergence free adjoint equation (see [15, 16]) and choosing \(w=v_{\eta}-v_{0}\), we obtain
By comparing this last equation with (11), we obtain
By substituting (13) in (9), we obtain
where
We remark that it can be shown that \(\varSigma(\eta)=O(\eta^{2})\). Finally, using the Lebesgue differentiation theorem [17], we obtain
which gives the following result.
Theorem 2.1
The function J satisfies the asymptotic development
where \(f(\eta)=|\xi_{y,\eta}|\) and DJ is the topological gradient given by
Corollary 2.1
Summing over time, the topological gradient of \(J_{T}(v)\) is given by
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}\)
Here, \(d_{k}\) is a given constant and \(D_{k} J_{T}(y)=D J_{T}(v^{k})\) is defined by
\(v^{k}\) is the solution of the Navier–Stokes Darcy problem
\(v^{k}_{\mathrm{adj}}\) is the solution to the adjoint problem of (20), given by (see [15])
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
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
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
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.
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|\)).
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)).
The geometries obtained during the optimization process are presented respectively in Figs. 12–13 for the case (c) and Figs. 14–15 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).
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.
References
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)
Pingen, G.: Optimal design for fluidic systems: topology and shape optimization with the lattice Boltzmann method. Ph.D. thesis, University of Colorado (2008)
Mohammadi, B., Pironneau, O.: Applied Shape Optimization for Fluids. Oxford University Press, New York (2001)
Abdelwahed, M., Hassine, M.: Topological optimization method for a geometric control problem in Stokes flow. Appl. Numer. Math. 59(8), 1823–1838 (2009)
Borrvall, T., Petersson, J.: Topological optimization of fluids in Stokes flow. Int. J. Numer. Methods Fluids 44(1), 77–107 (2003)
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)
Guillaume, P., Sid Idris, K.: Topological sensitivity and shape optimization for the Stokes equations. SIAM J. Control Optim. 43(1), 1–31 (2004)
Hassine, M., Masmoudi, M.: The topological asymptotic expansion for the quasi-Stokes problem. ESAIM Control Optim. Calc. Var. 10(4), 478–504 (2004)
Sokolowski, J., Zochowski, A.: On the topological derivative in shape optimization. SIAM J. Control Optim. 37(4), 1251–1272 (1999)
Gersborg-Hansen, A., Sigmund, O., Haber, R.B.: Topology optimization of channel flow problems. Struct. Multidiscip. Optim. 30(3), 181–192 (2005)
Yongbo, D.: Topology optimization of steady and unsteady incompressible Navier–Stokes flows driven by body forces. Struct. Multidiscip. Optim. 47(4), 555–570 (2013)
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)
Rădulescu, V., Repovš, D.: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. Taylor & Francis, Boca Raton (2015)
Abdelwahed, M., Hassine, M.: Topology optimization of time dependent viscous incompressible flows. Abstr. Appl. Anal. 2014, Article ID 923016 (2014)
Hasund, K.E.: Toplogy optimization for unsteady flow with applications in biomedical flows. Ph.D. thesis, Norwegian University of Sciences and Technology (2017)
Rădulescu, V.: Nonlinear elliptic equations with variable exponent: old and new. Nonlinear Anal., Theory Methods Appl. 121, 336–369 (2015)
Rudin, W.: Real and Complex Analysis. Mathematics Series. McGraw-Hill, New York (1987)
Pironneau, O.: On the transport diffusion algorithm and its applications to Navier–Stokes equations. Numer. Math. 38, 309–332 (1982)
Brezzi, F., Fortin, M.: Mixed and Hybrid Finite Element Methods. Springer, New York (1991)
Acknowledgements
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.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.
About this article
Cite this article
Abdelwahed, M., Al Salem, A., Chorfi, N. et al. Topological sensitivity analysis of a time-dependent nonlinear problem. Bound Value Probl 2019, 23 (2019). https://doi.org/10.1186/s13661-019-1138-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1138-8