Abstract
We develop an efficient iterative thresholding method for topology optimization for the Navier–Stokes flow. The method is proposed to minimize an objective energy functional which consists of the potential power in the fluid and a fluid-solid interface perimeter penalization. The perimeter is approximated by a nonlocal energy, subject to a fluid volume constraint and the incompressible Navier–Stokes equation. The method is an iterative scheme which alternates two steps: (1) solving a system containing the Brinkman equation and an adjoint system, and (2) convolution and thresholding. Various numerical experiments in both two and three dimensions are given to show the performance of the proposed method.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
Topology optimization was originally developed for the optimal design in structural mechanics ([3, 4, 6]). Nowadays it has attracted much attention due to its wide application in the fields of industry problems such as optimization of transport vehicles, biomechanical structure, etc. So far, the density method [5, 31] has been well developed for implementation of topology optimization. It was originally developed for the design of stiffness and compliant mechanism [32, 33] and has been applied in various physical problems such as acoustics, electromagnetics, fluid flow, and thermal problems [7, 11, 15, 24, 34]. In fluid mechanics, the concept of density method was first developed by Borrvall and Petersson [7] for topology optimization for the Stokes flow. Then it was extended to the Darcy-Stokes flow [21, 43], the Navier–Stokes flow [12, 18, 20, 27, 36, 47], the non-Newtonian flow [30], the turbulent flow [13], and more complicated fluidic devices [1, 25, 26]. Approaches using the topological sensitivity analysis (providing an asymptotic expansion of a shape function with respect to the size of a small inclusion inserted inside the domain) can also be used for shape optimization for Stokes flows [22] and Navier–Stokes flows [2]. Generally, the discrete optimization problem for the topology optimization was solved by the method of moving asymptotes (MMA) [35], level set based methods [8, 36, 47] and phase field based methods [18].
The threshold dynamics method developed by Merriman, Bence and Osher (MBO) [23] is an efficient method for approximating the mean curvature flow. In this method, the interface is implicitly represented by the characteristic functions of the domains. It alternates two simple steps: convolution between the characteristic functions and a heat kernel and point-wise thresholding. Recently, Esedoglu and Otto generalized the original MBO method to multiphase problems with arbitrary surface tensions [17]. The method has attracted much attention and it has been extended to many other applications, such as image processing [16, 37, 39], wetting dynamics [38, 44, 45], and target-valued problems [28, 29, 40,41,42].
In this paper we extend the iterative thresholding method developed in [9] to topology optimization for the Navier–Stokes flow. The porous medium approach based on the density method is utilized in the algorithm, and a Darcy term is introduced into the Navier–Stokes equation to “interpolate” between the Navier–Stokes equation in the fluid region and the Darcy flow through a porous medium (a weakened solid region with low permeability) (i.e., Brinkman equation). Then the total energy consists of the potential power in the fluid, the perimeter regularization, and a Darcy term. The perimeter term is computed based on the convolution between the heat kernel and the characteristic functions of regions. There are two steps per iteration in the proposed algorithm. The first step is to solve the Brinkman equation and an adjoint system, which can both be efficiently solved using the mixed finite element method. The second step is to update the fluid-solid regions by a simple convolution and thresholding step. The convolution can be efficiently computed on a uniform grid by the fast Fourier transform (FFT) with the computational complexity \(O(N \log N)\). A variety of numerical experiments in both two and three dimensions are shown to verify the efficiency of the proposed algorithm. In addition, numerical results indicate that the total energy decays.
The paper is organized as follows. In Sect. 2, we introduce the mathematical model, the approximation to the model, and the derivation of the iterative thresholding method. The numerical implementation is discussed in Sect. 3. We verify the performance through extensive numerical experiments in Sect. 4. We draw some conclusions in Sect. 5.
2 Derivation of the Method
2.1 The Mathematical Model
In this section, we consider the mathematical model for topology optimization for the Navier–Stokes flow. Denote \(\Omega \in \mathbb {R}^d\) \((d=2,3)\) as the computational domain which is fixed throughout optimization and assume that \(\Omega \) is a bounded Lipschitz domain with an outer unit normal \(\mathbf{n}\) such that \(\mathbb {R}^d \setminus \overline{\Omega }\) is connected. Furthermore, we denote \(\Omega _0 \subset \Omega \) as the domain of the fluid which is a Caccioppoli set whose boundary is measurable and has a (at least locally) finite measure and \(\Omega \setminus \Omega _0 \) as the domain of solid. Our goal is to determine an optimal shape of \(\Omega _0\) that minimizes the following objective functional consisting of the total potential power and a perimeter regularization term,
subject to
Here, \(\mathbf{u}: \Omega \rightarrow \mathbb {R}^d\), \(\mu \) is the viscosity of the fluid, p is the pressure, \(\mathbf{u}_D: \partial \Omega \rightarrow \mathbb {R}^d\) is a given function, \( |\Gamma | \) is the perimeter of the boundary (i.e., \(\Gamma =\partial \Omega _0\)), and \(\gamma >0\) is a weighting parameter.
2.2 The Relaxation and Approximation of the Problem
Since the goal is to minimize the objective functional (1) subject to several constraints (2) with respect to the fluid-solid interface, it is necessary to have a proper representation of the fluid-solid interface. Motivated by [9, 17, 37, 44], in this paper, we use the characteristic function \(\chi _1\) of the fluid domain (i.e., \(\Omega _0\)) to implicitly represent the fluid-solid interface, i.e.,
\(\chi _2(\mathbf{x}) = 1- \chi _1(\mathbf{x})\) is denoted as the characteristic function of \(\Omega \setminus \Omega _0\). Then, the interface \(\Gamma \) is implicitly represented by \(\chi _1\) and \(\chi _2\). Under this representation, \(|\Gamma |\) can be approximated by
where \(G_\tau (\mathbf{x}) = \dfrac{1}{(4\pi \tau )^{\frac{d}{2}}} \exp \left( -\dfrac{|\mathbf{x}|^2}{4\tau }\right) \) \((d = 2,3)\) is the Gaussian kernel and \(*\) denotes the convolution [17].
Similar to [9], to avoid solving the Navier–Stokes equation in a changing domain at each iteration, the porous medium approach [18] is utilized to “interpolate” between the Navier–Stokes equation in the fluid region (i.e., \(\{\mathbf{x}| \ \chi _1(\mathbf{x}) =1\}\)) and \(\mathbf{u}= 0 \) in the solid region (i.e., \(\{\mathbf{x}| \ \chi _2(\mathbf{x}) =1\}\)) by introducing an additional penalization term, \(\alpha (\mathbf{x}) \mathbf{u}\), as follows:
Accordingly, the original objective functional (1) can be approximated by adding a Darcy penalty term as follows:
where \(\chi \) denotes the characteristic function of the solid domain, i.e., \(\chi = \chi _2\).
Now, we discuss the computation of \(\alpha \) in the current representation of the interface (i.e., using characteristic functions). Theoretically, \(\alpha \) should be large enough in the solid domain to penalize the condition \(\mathbf{u}=0\) and close to 0 in the fluid domain to make \(\mathbf{u}\) satisfy the Navier–Stokes equation. For numerical considerations, we relax \(\alpha \) to a smooth function which undergoes rapid changes through the interface. We use the 0.5 level set of \(\varphi =G_{\tau }* \chi \) to approximate the position of the interface \(\Gamma \) and such \(\varphi \) is a smooth function between [0, 1] and admits a change from 0 to 1 in an \(O(\sqrt{\tau })\) transition region. Thus, we compute \(\alpha \) by
where \(\bar{\alpha }\) is a sufficiently large constant, and thus by the porous medium approach we can solve the system (4) in a fixed domain \(\Omega \).
Finally, using (6), we arrive in the following formulation of the problem:
subject to
2.3 Derivation of the Method
In this section, we will derive an iterative scheme to find the approximate solution for (7) and (8). Denote
To derive the first order necessary optimality conditions for a solution \((\chi _\tau , \mathbf{u}_\tau )\) of (7) and (8), we introduce the Lagrangian \(\mathcal E : \mathcal B \times \mathbf{U} \times \mathbf{V} \rightarrow \mathbb R\) by
where the pressure term is not shown because \(\nabla \cdot \tilde{\mathbf{u}} = 0\). The variational inequality is formally derived by
and the adjoint equation can be deduced by
where \(\langle \cdot ,\cdot \rangle \) denotes the \(L^2\)-inner product.
To be specific, assume \((\chi _\tau ,\mathbf{u}_\tau ) \in \mathcal B \times \mathbf{U}\) is a minimizer of (7) and (8), the following inequality is fulfilled:
where \(\tilde{\mathbf{u}}_\tau \) is the solution to the following adjoint system at \((\mathbf{u}_\tau ,\chi _\tau )\):
Here, \(\tilde{p}\) is the pressure associated to the adjoint system.
Based on the first order necessary optimality condition, to solve (7) and (8), we use an iterative scheme to decrease the value of the objective functional with \(\mathbf{u}\) satisfying (8) and \(\tilde{\mathbf{u}}\) satisfying (12). Without loss of generality, assume the k-th iteration \(\chi ^k\) is given, we compute \((\mathbf{u}^k,\tilde{\mathbf{u}}^k)\) via solving the following system
After \((\mathbf{u}^k,\tilde{\mathbf{u}}^k)\) are solved from (13), \(\chi ^{k+1}\) is updated through
Write the objective functional \(\mathcal E^\tau (\chi ,\mathbf{u}^k,\tilde{\mathbf{u}}^k)\) into \(\tilde{\mathcal E}^{\tau ,k}(\chi )\):
where \(\mathcal {N}(\mathbf{u}^k,\tilde{\mathbf{u}}^k)\) contains all other terms in \(\mathcal E^\tau (\chi ,\mathbf{u}^k,\tilde{\mathbf{u}}^k) \) which are independent of \(\chi \). The only problem now is to minimize \(\tilde{\mathcal E}^{\tau ,k}(\chi )\) on \(\mathcal {B}\), i.e., finding \(\chi ^{k+1}\) such that
We first relax (16) to a problem defined on a convex admissible set by finding \(r^{k+1}\) such that
where \(\mathcal {H}\) is the convex hull of \(\mathcal {B}\):
The following lemma holds similarly as that in [9] and we refer the details of a similar proof to [9]. Thus, we can solve the relaxed problem (17) instead of (16).
Lemma 2.1
Let \(\mathbf{u}\in H_{\mathbf{u}_D}^1(\Omega ,\mathbb {R}^d)\) be a given function and \(r = (r_1,r_2)\). Then we have
Next we show that (17) can be solved by a thresholding step. Because \(\tilde{\mathcal E}^{\tau ,k}(r)\) is quadratic and concave in r, we first linearize the energy \(\tilde{\mathcal E}^{\tau ,k}(r)\) at \(r^k\) by
where
where \(\phi =\gamma \sqrt{\frac{\pi }{\tau }} G_\tau * (1-2r ^k) +\frac{\bar{\alpha }}{2} G_\tau * |\mathbf{u}^k|^2+ \bar{\alpha } G_\tau * (\mathbf{u}^k \cdot \tilde{\mathbf{u}}^k)\). Then (17) can be approximately solved by
Then we have the following lemma as in [9] and one can also refer the details of proof to [9].
Lemma 2.2
Let \(\phi =\gamma \sqrt{\frac{\pi }{\tau }} G_\tau * (1-2 \chi ^k) +\frac{\bar{\alpha }}{2} G_\tau * |\mathbf{u}^k|^2+ \bar{\alpha } G_\tau * (\mathbf{u}^k \cdot \tilde{\mathbf{u}}^k) \) and
for some \(\delta \) such that \(|D_2^{k+1}|=(1-\beta ) |\Omega |\). Then with \(\chi ^{k+1} = \chi _{D_2^{k+1}}\), we have
The above lemma shows that (18) can be solved by
where \(\delta \) is chosen as a constant such that \(\int _{\Omega } \chi ^{k+1} d\mathbf{x}= (1-\beta ) |\Omega |\).
To determine the value of \(\delta \), one can treat \(\int _{\Omega } \chi ^{k+1} d\mathbf{x}- (1-\beta )|\Omega |\) as a function of \(\delta \) (i.e., \(f(\delta ) = \int _{\Omega } \chi ^{k+1} d\mathbf{x}- (1-\beta )|\Omega |\)) and use an iteration method (e.g., bisection method or Newton’s method) to find the root of \(f(\delta )= 0\). For the uniform discretization of \(\Omega \), a more efficient method is the quick-sort technique proposed in [44]. Assume we have a uniform discretization of \(\Omega \) with grid size h, we can approximate \(\int _{\Omega } \chi ^{k+1} d\mathbf{x}\) by \(m h^d\) where m is the number of grid points where \(\chi ^{k+1} =1\). Assume \( (1-\beta )|\Omega |\) is approximated by \(M h^d\), we then sort the values of \( {\phi }\) in an ascending order and simply set \( \chi ^{k+1} = 1\) on the first M points.
Now, we arrive at Algorithm 1.
Remark 2.1
We remark here that it’s obvious that the Step 2 in Algorithm 1 decreases the energy which can be proved similar as we did in [9], i.e.,
In the Step 1, we don’t have
because this step can be interpreted as a projection step. It could increase the value of the energy. However, in the numerical experiments in Sect. 4, we checked the energy curves for all examples as displayed. All of them indicate that the algorithm has the energy decaying property.
Remark 2.2
In the implementation, the stopping criteria is \(\chi ^{k+1} =\chi ^{k}\) on each grid point. It is easy to see that the stationary solution (obtained from Algorithm 1) satisfies the first order necessary optimality condition (8), (9), and (10).
3 Numerical Implementation
Now we illustrate the implementation of Algorithm 1 and we focus on Step 1. The Navier-Stokes equations with a Dacry term penalty and the adjoint problem (13) are solved by the mixed finite element method, and the standard Taylor-Hood finite element space is used for discretization. Let \({\mathcal T}_h\) be a uniform grid of the domain \(\Omega \), and \({\mathcal N}_h\) is the set of all vertices of \({\mathcal T}_h\). For a given \(\overline{\chi }_h \in \mathcal {B}_h\) where \(\mathcal {B}_h\) is the discrete version of \(\mathcal {B}\) defined on \({\mathcal N}_h\). We introduce the Taylor-Hood finite element space
Let \({{\boldsymbol{V}}}^{D}_h : = \{ \mathbf{v}\in {{\boldsymbol{V}}}_h \ | \ \mathbf{v}|_{\partial \Omega } = \mathbf{u}^h_D \}\), where \(\mathbf{u}^h_D \) is the a suitable approximation of the Dirichlet boundary condition \(\mathbf{u}_D\) on the boundary edges/faces of \({\mathcal T}_h\). For the solution of (13), find \((\mathbf{u}_h,p_h)\in {{\boldsymbol{V}}}^{D}_h \times Q_h\) such that
and \((\tilde{\mathbf{u}}_h,\tilde{p}_h) \in {{\boldsymbol{V}}}^{0}_h \times Q_h\) such that
where \({{\boldsymbol{V}}}^0_h={{\boldsymbol{V}}}_h\cap H^1_0(\Omega )\). All above systems are solved by standard Newton’s iteration and each iteration is solved by the generalized minimal residual method (GMRES).
We also note that the above bilinear form can be straightforwardly extended to the problem both with Dirichlet boundary \(\Gamma _D\) and Neumann boundary \(\Gamma _N\), where \(\Gamma _D \cap \Gamma _N = \emptyset , \Gamma _D \cup \Gamma _N = \partial \Omega \), and \((\mu \nabla \mathbf{u}- p {{\boldsymbol{I}}})\cdot {{\boldsymbol{n}}}|_{\Gamma _N} = {{\boldsymbol{g}}}\).
When \(\mathbf{u}_h\) and \(\tilde{\mathbf{u}}_h\) are obtained, we can use the FFT to compute \(\phi ^h\) on each node of \({\mathcal N}_h\) as follows:
Following Algorithm 1, we can now use \(\phi ^h\) to update the indicator function \(\chi _h\) by the strategy presented in Algorithm 1.
Remark 3.1
Similar to the adaptive in time strategy used in [9], we can modify Algorithm 1 into an adaptive algorithm by adjusting \(\tau \) during the iterations. We set a threshold value \(\tau _t\) and a given tolerance \(e_t\), if \(e_{\chi }^k \le e_t\), let \(\tau _\mathrm{new}=\eta \tau \) with \(\eta \in (0,1)\) and update \(\tau := \tau _\mathrm{new}\) in the next iteration unless \(\tau \le \tau _t\). Otherwise, \(\tau \) will not be updated, and the iteration will continue with the same \(\tau \).
4 Numerical Experiments
In this section, we perform extensive numerical examples to demonstrate the efficiency of our new algorithm with an adaptive strategy for the choice of \(\tau \). We choose \(\eta =0.5\) in the update of \(\tau \). If no confusion is possible, we still denote by \(\tau \) as its initialization in the following. Also, we denote the Reynolds number by \(Re = \frac{1}{\mu }\).
4.1 Two Dimensional Results
In this section, we test the performance of the proposed algorithm on two dimensional problems on several different design domains as displayed in Fig. 1. For most examples in this section, we assume that the Dirichlet boundary condition with a parabolic profile and the magnitude of the velocity are set as \(|\mathbf{u}_D| = \overline{g}(1-4(\frac{t-a}{l})^2)\) with \(t \in [a-\frac{l}{2},a+\frac{l}{2}]\), where l is the length of the section of the boundary at which the inflow/outflow velocity is imposed, and \(\bar{g}\) is the prescribed velocity at the midpoint a of the flow profile. The directions of the inflow/outflow velocity are illustrated separately in the design domain in each example.
Example 1
In this example, we consider the design of a bend, which has been tested by the level set method in [10, 14, 19]. The design domain is presented in Fig. 1a. Let \(\bar{g}\) be 1 both in inlet and outlet, and we set the fluid fraction as \(\beta =0.08\pi \). Here, we use our algorithm to obtain the optimal design result on a \(128\times 128\) grid. We assume the initial distribution \(\chi =0\) in the whole domain, and set the parameter \(\bar{\alpha }=1.5\mu \times 10^4\) through this example.
The boundary conditions in this example are slightly different with [10, 19], but are same as that in [14]. Based on the \(128\times 128\) grid, firstly, we test the example for different Reynolds numbers, in which the other parameters are set as \(\tau =0.001\) and \(\gamma =0.0001\). The optimal design results together with the velocity field and the energy decaying curve are displayed in Fig. 2 for the cases of \(\mathrm Re=10,100\) and 1000, separately. It was mentioned in [46] that the radius of curvature of the fluid domain is decreased as the Reynolds number is increased. This phenomenon can also be observed in Fig. 2, and the optimal results are consistent with those obtained by the level set methods in [10, 14, 19].
Furthermore, we numerically check the sensitivity of \(\tau \) and \(\gamma \) on the energy decaying properties. In Fig. 3, we displayed the energy decaying curves for different choices of \(\tau \) and \(\gamma \) with fixed \(\mathrm Re=10\). We observe that the energy converges to almost the same value. In addition, the final design results we obtained are also identical to the left one in Fig. 2.
Example 2
We test the example presented in Fig. 1b which has one parabolic inlet and four parabolic outlets. We assume \(\bar{g}=3\), \(l=0.2\) and \(a=0.8\) on the inlet boundary \(x=0\). For the four outlets, we let \((\bar{g},l,a)=(1,0.1,0.8)\), (1, 0.1, 0.65), (1, 0.2, 0.7) and (1, 0.2, 0.25) on \(y=0\), \(y=1\), \(x=1\) and \(x=1\), respectively. This example has been tested by the phase field method in [18] with the same boundary conditions. Here, we use our algorithm to obtain the final optimal result on a \(256\times 256\) grid. Throughout this example, we set \(\tau =0.001\), \(\gamma =0.01\), \(\bar{\alpha }=1.5\upmu \times 10^4\) and \(\mathrm Re=10\).
For the initial distribution \(\chi =1-\chi _{\{(x,y):x\in (0,1),y\in (\frac{1}{6},\frac{5}{6})\}}\), we test this example for different fluid fractions \(\beta \). For the left graph of Fig. 4 with \(\beta =0.5\), we obtain the optimal result after 40 iterations. For the the right graph of of Fig. 4 with \(\beta =0.4\), the optimal result is obtained after 38 iterations. We find that the final result in Fig. 4 has a treelike structure which is consistent with that obtained using the phase field method in [18]. The energy decaying curves for different fluid fractions \(\beta \) are also displayed in Fig. 4.
Example 3
In this example, we consider the minimization of the power dissipation in a four terminal device. We set \(\bar{g}=1\) for the two inflows and homogeneous Neumann boundaries on parts of the top and bottom boundaries with centers [0.5, 0] and [0.5, 1] (see Fig. 1c). The fluid fraction is defined as \(\beta =0.4\). Here, we utilize our algorithm to achieve the optimal configurations on \(128\times 128\) and \(256\times 256\) grids.
We test the case for \(\tau =0.001\), \(\gamma =0.0001\), \(\bar{\alpha }=2.5\upmu \times 10^4\) and \(\mathrm Re=1\) on \(128\times 128\) and \(256\times 256\) grids. The initial distribution is set as \(\chi =1-\chi _{\{(x,y):x\in (0,1),y\in (\frac{1}{3},\frac{2}{3})\}}\). In Fig. 5, we observe that the final optimal configuration is consistent with the result obtained using the level set method in [10]. And the final results for different grids are almost the same, which indicates that our algorithm is independent on grid for this example. Furthermore, the energy decaying property can be observed in Fig. 5.
Example 4
In this example, we consider a three terminal device on the design domain as displayed in Fig. 1d. We set \(\bar{g}=1\) on the two inflows and the homogeneous Neumann boundary condition on the outflow. The fluid fraction is set as \(\beta =0.3\) and we test this example on a \(128\times 128\) grid for \(\tau =0.0005\), \(\gamma =0.0002\) and \(\bar{\alpha }=1.5\upmu \times 10^4\).
In this example, we study the relation of optimal configurations on different choices of Reynolds numbers. Based on the initial \(\chi =1-\chi _{\{(x,y):x\in (0,1),y\in (\frac{1}{5},\frac{4}{5})\}}\), the final optimal design results with the velocity fields for \(\mathrm Re=20\), and 500 are displayed in Fig. 6. We observe that the configuration gradually separates from each other as the Reynolds number increases. The energy decaying curves are also displayed and the iteration converges in about 20 steps for \(\mathrm Re=20\) and 25 steps for \(\mathrm Re=500\), respectively.
4.2 Three Dimensional Results
In this section, we show the performance of the algorithm on several three dimensional problems for different design domains in Fig. 7. In the following examples, the magnitude of the velocity for the Dirichlet boundary condition on a slice is set as
where \(\bar{g}\) is the prescribed velocity at the center (a, b) of a circle in which the inflow/outflow velocity is imposed, l is the radius of the circle, \((s_1,s_2)\) are Cartesian coordinates on the slice.
Example 5
In the example, we consider the multi-outlet problem in Fig. 7a. For the inflow, we set \(\bar{g}=1\), \(l=0.2\), and \((a,b)=(\frac{1}{2}, \frac{1}{2})\) on \(x=0\) plane. For the outflow, we set \(l=0.1\), \(\bar{g}=1\), and \((a,b)=(0.8,0.5)\), (0.8, 0.5), (0.8, 0.5), and (0.8, 0.5) on \(y=0\), \(y=1\), \(z=0\), and \(z=1\) planes respectively. Throughout this example, we choose the initial distribution with fluid domain in a region of \(\{(x,y,z):x\in (0,1),y\in (0,1),z\in (\frac{1}{3},\frac{2}{3})\}\), and set \(\beta =0.2\), \(\alpha =2.5\mu \times 10^4\) and \(\mathrm Re=20\).
We first test the case for \(\tau =0.005\) and \(\gamma =0.0001\) on \(32\times 32\times 32\) and \(85\times 85\times 85\) grids. The optimal results in the left graphs of Fig. 8 are consistent with those obtained using the level set method in [10]. In addition, from the energy decaying curves in Fig. 8, we observe that the iteration converges in about 20 steps and 30 steps on coarse and fine grids respectively. In Fig. 9, we displayed the slices on \(32\times 32\times 32\) grids on \(z=0.5\) and \(y = 0.5\) planes.
Next, we compute the result for different \(\tau \) and \(\gamma \) on the \(32\times 32\times 32\) grid. The energy curves for \(\gamma =0.0001\) and \(\tau =0.01,0.005,0.001\) are displayed in the left graph of Fig. 10, and the energy curves for \(\tau =0.005\) and \(\gamma =0.001,0.0005,0.0001\) are displayed in the right graph of Fig. 10. We observe that the energy converges to almost the same value for different \(\gamma \) and \(\tau \).
Example 6
Here, we consider an example with two inlets and four outlets. The design domain is defined in Fig. 7a. For the two inflows, let \(\bar{g}=2\), \(l=0.05\) and \((a,b)=(0.5,0.5)\) on \(x=0\) and \(x=1\) planes respectively. For the four outflows, we set \(\bar{g}=1\), \(l=0.05\) and \((a,b)=(0.5,0.5)\) on \(y=0\), \(y=1\), \(z=0\) and \(z=1\) planes respectively. In the example, we use our algorithm to obtain the final optimal result for \(\tau =0.001\), \(\gamma =0.0001\), \(\bar{\alpha }=2.5\upmu \times 10^4\) and \(\mathrm Re=1\). The initial distribution of fluid region is set as \(\{(x,y,z):x\in (0,1),y\in (0,1),z\in (\frac{1}{6},\frac{5}{6})\}\).
For the fluid fraction \(\beta =0.1\), we design optimal configurations on \(64\times 64\times 64\) and \(90\times 90\times 90\) grids. The final results for the coarse and fine grids with corresponding energy decaying curves are displayed in Fig. 11. We observe that the interface is smoother on the fine mesh and the iteration converges in 25 and 30 steps for the coarse and fine grids respectively.
Based on the \(64\times 64\times 64\) grid, we check the dependency of the results on the choice of \(\beta \). In Fig. 12, we displayed the results, energy decaying curves, and slices on the \(y=0.5\) plane for the optimal shape obtained by \(\beta =0.1\) and 0.18. The iteration converges in about 25 steps and 20 steps for \(\beta =0.1\) and 0.18. From Fig. 12, we can observe that the solid domain in the center shrinks as \(\beta \) increases.
5 Conclusion
In this paper, we present an efficient threshold dynamics method for topology optimization for Navier–Stokes flow. This is an extension of our previous work [9] to the case of fluids in Navier–Stokes flow. We aim to minimize a total energy functional that consists of the potential power and the perimeter approximated by nonlocal energy. Different from the algorithm in [9], during the iterations of the algorithm, we need to solve not only the Brinkman equation but also an adjoint problem by the mixed finite element method. Then the indicator functions of fluid-solid regions are updated by a thresholding step which is based on the convolutions evaluated by the FFT. A simple adaptive time strategy is used to accelerate the convergence of the algorithm. Some numerical examples are presented to verify the efficiency of the new algorithm, and the total energy decaying property of the proposed algorithm can be observed numerically. The proposed algorithm is simple and easy to implement. For the numerical experiments that we have performed, the proposed algorithm always finds an optimal shape and the numerical results are relatively insensitive to the initial guesses and parameters.
References
Andreasen, C.S., Gersborg, A.R., Sigmund, O.: Topology optimization of microfluidic mixers. Int. J. Numer. Methods Fluids 61, 498–513 (2009)
Amstutz, S.: The topological asymptotic for the Navier-Stokes equations, ESAIM: control. Optim. Calculus Variations 11(3), 401–425 (2005)
Bendsøe, M.P., Kikuchi, N.: Generating optimal topologies in structural design using a homogenization method. Comput. Methods Appl. Mech. Eng. 71, 197–224 (1988)
Bendsøe, M.P., Sigmund, O.: Optimization of Structural Topology, Shape, and Material. Springer, Berlin (1995)
Bendsøe, M.P., Sigmund, O.: Material interpolations in topology optimization. Arch. Appl. Mech. 69, 635–654 (1999)
Bendsøe, M.P., Sigmund, O.: Topology Optimization: Theory, Methods and Applications. Springer, Berlin (2003)
Borrvall, T., Petersson, J.: Topology optimization of fluids in Stokes flow. Int. J. Numer. Methods Fluids 41, 77–107 (2003)
Challis, V.J., Guest, J.K.: Level set topology optimization of fluids in Stokes flow. Int. J. Numer. Meth. Engrg. 79, 1284–1308 (2009)
Chen, H., Leng, H., Wang, D., Wang, X.P.: An efficient threshold dynamics method for topology optimization for fluids, arXiv preprint, arXiv:1812.09437 (2018)
Dai, X., Zhang, C., Zhang, Y., Gulliksson, M.: Topology optimization of steady Navier-Stokes flow via a piecewise constant level set method. Struct. Multidisc. Optim. 57, 2193–2203 (2018)
Dbouk, T.: A review about the engineering design of optimal heat transfer systems using topology optimization. Appl. Thermal Eng. 112, 841–854 (2017)
Deng, Y., Liu, Z., Zhang, P., Liu, Y., Wu, Y.: Topology optimization of unsteady incompressible Navier-Stokes flows. J. Comput. Phys. 230, 6688–6708 (2011)
Dilgen, C., Sumer, B.D., David, R.F., Sigmund, O., Boyan, S.L.: Topology optimization of turbulent flows. Computer Methods Appl. Mech. Eng. 331, 363–393 (2018)
Duan, X., Ma, Y., Zhang, R.: Shape-topology optimization for Navier-Stokes problem using variational level set method. J. Comput. Appl. Math. 222, 487–499 (2008)
Duhring, M.B., Jensen, J.S., Sigmund, O.: Acoustic design by topology optimization. J. Sound Vibr. 317, 557–575 (2008)
Esedoglu, S., Tsai, Y.H.R.: Threshold dynamics for the piecewise constant Mumford-Shah functional. J. Comput. Phys. 211, 367–384 (2006)
Esedoglu, S., Otto, F.: Threshold dynamics for networks with arbitrary surface tensions. Comm. Pure Appl. Math. 68, 808–864 (2015)
Garcke, H., Hecht, C., Hinze, M., Kahle, C.: Numerical approximation of phase field-based shape and topology optimization for fluids. SIAM J. Sci. Comput. 37, A1846–A1871 (2015)
Gersborg-Hansen, A., Sigmund, O., Haber, R.B.: Topology optimization of channel flow problems. Struct. Multidisc. Optim. 30, 181–192 (2005)
Gersborg-Hansen, A., Sigmund, O., Haber, R.: Topology optimization of channel flow problems. Struct. Multidiscip. Optim. 30, 181–192 (2005)
Guest, J.K., Prévost, J.H.: Topology optimization of creeping fluid flows using a Darcy-Stokes finite element. Int. J. Numer. Meth. Engrg. 66, 461–484 (2006)
Guillaume, P., Idris, K.S.: Topological sensitivity and shape optimization for the Stokes equations. SIAM J. Control Optim. 43(1), 1–31 (2004)
Merriman, B., Bence, J.K., Osher, S.: Diffusion generated motion by mean curvature. UCLA CAM Report 92-18 (1992)
Van Oevelen, T., Baelmans, M.: Numerical topology optimization of heat sinks. In: Proceedings of the 15th International Heat Transfer Conference, pp. 5985–5999 (2014)
Okkels, F., Olesen, L.H., Bruus, H.: Application of topology optimization in the design of micro and nanofluidic systems. NSTI-Nanotech, pp. 575–578 (2005)
Okkels, F., Bruus, H.: Scaling behavior of optimally structured catalytic microfluidic reactors. Phys. Rev. E 75, 1–4 (2007)
Olesen, L.H., Okkels, F., Bruus, H.: A high-level programming-language implementation of topology optimization applied to steady-state Navier-Stokes flow. Int. J. Numer. Meth. Eng. 65, 975–1001 (2006)
Osting, B., Wang, D.: A diffusion generated method for orthogonal matrix-valued fields. Math. Comp. 89, 515–550 (2020)
Osting, B., Wang, D.: Diffusion generated methods for denoising target-valued images. AIMS Inverse Probl. Imag. 14(2), 205–232 (2020)
Pingen, G., Maute, K.: Optimal design for non-Newtonian flows using a topology optimization approach. Comput. Math. Appl. 59, 2340–2350 (2010)
Rozvany, G.I.N.: Aims, scope, methods, history and unified terminology of computer-aided topology optimization in structural mechanics. Struct. Multidisc. Optim. 21, 90–108 (2001)
Saxena, A.: Topology design of large displacement compliant mechanisms with multiple materials and multiple output ports. Struct. Multidisc. Optim. 30, 477–490 (2005)
Sigmund, O.: On the design of compliant mechanisms using topology optimization. Mech. Struct. Mach. 25, 495–526 (1997)
Sigmund, O., Hougaard, K.G.: Geometric properties of optimal photonic crystals. Phys. Rev. Lett. 100, 153904 (2008)
Svanberg, K.: The method of moving asymptotes-a new method for structural optimization. Int. J. Numer. Meth. Engrg. 24, 359–373 (1987)
Villanueva, C.H., Maute, K.: CutFEM topology optimization of 3D laminar incompressible flow problems. Comput. Methods Appl. Mech. Eng. 320, 444–473 (2017)
Wang, D., Li, H., Wei, X., Wang, X.-P.: An efficient iterative thresholding method for image segmentation. J. Comput. Phys. 350, 657–667 (2017)
Wang, D., Wang, X.-P., Xu, X.: An improved threshold dynamics method for wetting dynamics. J. Comput. Phys. 392, 291–310 (2019)
Wang, D., Wang, X.-P.: The iterative convolution-thresholding method (ICTM) for image segmentation, arXiv preprint arXiv:1904.10917(2019)
Wang, D., Osting, B., Wang, X.-P.: Interface dynamics for an Allen-Cahn-type equation governing a matrix-valued field. SIAM J. Multiscale Model. Sim. 17(4), 1252–1273 (2019)
Wang, D., Osting, B.: A diffusion generated method for computing Dirichlet partitions. J. Comput. Appl. Math. 351, 302–316 (2019)
Wang, D., Cherkaev, A., Osting, B.: Dynamics and stationary configurations of heterogeneous foams. PLOS ONE 14(4) (2019)
Wiker, N., Klarbring, A., Borrvall, T.: Topology optimization of regions of Darcy and Stokes flow. Int. J. Numer. Meth. Eng. 69, 1374–1404 (2007)
Xu, X., Wang, D., Wang, X.P.: An efficient threshold dynamics method for wetting on rough surfaces. J. Comput. Phys. 330, 510–528 (2017)
Xu, X., Ying, W.: An adaptive threshold dynamics method for three-dimensional wetting on rough surfaces. Preprint (2019)
Yaji, K., Yamada, T., Yoshino, M., Matsumoto, T., Izui, K., Nishiwaki, S.: Topology optimization using the lattice Boltzmann method incorporating level set boundary expressions. J. Comput. Phys. 274, 158–181 (2014)
Zhou, S., Li, Q.: A variational level set method for the topology optimization of steady-state Navier-Stokes flow. J. Comput. Phys. 227, 10178–10195 (2008)
Acknowledgements
This research was supported in part by the Hong Kong Research Grants Council (GRF grants 16324416, 16303318 and 16305819). The work of H. Leng was supported by the NSF of China (Grant No. 12001209). The work of D. Wang was supported by the University Development Fund of the Chinese University of Hong Kong, Shenzhen (UDF 01001803). The work of H. Chen was supported by the NSF of China (Grant No. 11771363, 91630204, 51661135011), the Fundamental Research Funds for the Central Universities (Grant No. 20720180003).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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 license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license 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.
Copyright information
© 2022 The Author(s)
About this paper
Cite this paper
Leng, H., Wang, D., Chen, H., Wang, XP. (2022). An Iterative Thresholding Method for Topology Optimization for the Navier–Stokes Flow. In: Chacón Rebollo, T., Donat, R., Higueras, I. (eds) Recent Advances in Industrial and Applied Mathematics. SEMA SIMAI Springer Series(), vol 1. Springer, Cham. https://doi.org/10.1007/978-3-030-86236-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-86236-7_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-86235-0
Online ISBN: 978-3-030-86236-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)