Abstract
The aim of this paper is to investigate the effects of small boundary perturbations on the flow of an incompressible micropolar fluid. The fluid domain is described as follows: we start from a simple rectangular domain and then perturb part of its boundary by the product of a small parameter ϵ and some smooth function h. Using formal asymptotic analysis with respect to ϵ, we derive the effective model in the form of the explicit formulae for the velocity, pressure and microrotation. The asymptotic solution clearly acknowledges the effects of the boundary perturbation and the micropolar nature of the fluid. The obtained results are illustrated by some numerical examples confirming that the considered perturbation has a nonlocal impact on the solution.
1 Introduction
It is well known that a limited number of fluid flow problems can be solved (approximately) by the solutions in the explicit form. To accomplish that, one usually has to start from very simplified mathematical models and to consider idealised geometries of the flow domains. However, in real-life situations, the boundary of the fluid domain can have some complicated shape containing small rugosities, dents or some other irregularities. Such problems are very difficult to be handled analytically and, in most situations, are only amenable to numerical simulations. Introducing a small parameter as the perturbation quantity in the domain boundary makes analytical treatments very complicated because of the tedious change of variable that needs to be performed. In view of that, not many analytical results on the subject can be found in the engineering literature. In particular, the perturbation of the boundary has remained a rather neglected mathematical topic as well (see monograph [1] and the references therein).
The purpose of this paper is to analyse the effects of small boundary perturbations on the micropolar fluid flow. In case of numerous real fluids (e.g. polymeric suspensions, liquid crystals, muddy fluids, blood, even water in models with small scales), fluid particles can exhibit some microscopical effects such as rotation and shrinking. Such phenomena cannot be captured by the classical Navier–Stokes equations, and, thus, other (non-Newtonian) models need to be employed. One of the best-established models describing the local structure and micro-motions of the fluid elements in such a situation is the micropolar fluid model proposed by Eringen [2] in the 1960s. Physically, micropolar fluids consist of rigid, spherical particles suspended in a viscous medium where the deformation of the particles is ignored. The individual particles may rotate (independently of the movement of the fluid), and, thus, a new vector field, the angular velocity field of rotation of particles (called microrotation), is introduced. Consequently, one new vector equation is added to the Navier–Stokes system resulting from the conservation of the angular momentum. As a result, a non-Newtonian model is obtained in the form of a complex (coupled) system of partial differential equations (PDEs) satisfied by the fluid velocity, pressure and microrotation. We refer to [3] providing a detailed derivation of the micropolar fluid model from the general conservation laws. Micropolar fluid flow has been extensively studied due to its practical importance in various applications (see, e.g. [4–7] for some recent results).
In this work, we consider an incompressible micropolar fluid flowing through a two-dimensional domain:
As you can see, a small perturbation of magnitude ϵ≪1 is applied on the upper part of the boundary of the fluid domain (see Fig. 1). The function h is assumed to be smooth enough and given in advance. The classical approach in the asymptotic analysis would be to introduce a suitable change of variable and to study the governing problem in the ϵ-independent domain Ω=(0, 1)2. However, such procedure is more complicated for practical computations as it requires changing the variables (before asymptotic analysis) and bringing back the original variables after the analysis. Thus, we employ a different (and more elegant) approach[1] by expanding the unknowns in the Taylor series with respect to y (near the upper boundary) and using the asymptotic expansion technique (in powers of ϵ). Although the boundary-value problems deduced for the expansion terms in such a manner are still complicated (due to the strong coupling of the micropolar equations), we manage to solve them analytically and derive explicit expressions for the first two terms in the asymptotic expansion. The first-order approximation does not feel the effects of the boundary perturbation and that was to be expected. The effects we seek for can be clearly observed from the derived correctors suggesting that the small perturbation of the boundary affects the solution not only in some boundary layer near the upper boundary, but in the whole domain. This represents our main contribution confirmed also by providing some numerical examples in the last section.

The domain.
To conclude the Introduction, we provide some bibliographic remarks. As indicated above, one cannot find too many theoretical results on the boundary perturbations in the existing literature. In the context of the elasticity, useful applications of the asymptotic methods can be found in [9–11]. In fluid mechanics, boundary perturbations are mostly investigated in the context of periodically corrugated boundaries, see, for example, [12–18]. Most recently, the first author of this work in [8] considered the flow of a classical Newtonian fluid in the domain given by (1). Starting from a simple Stokes system, the asymptotic approximation has been built clearly showing the effects of the boundary perturbation. The goal of this paper is to extend the analysis from [8] to a more general (non-Newtonian) micropolar case described by the coupled system of PDEs [see (2)–(4)]. We choose to work in 2D setting in order to be able to clearly detect the effects of boundary distortion on the asymptotic solution (derived in the explicit form). Although 2D setting (in which the microrotation is a scalar function) is, of course, only the first step to more realistic 3D situation, it has often been employed, for example, in blood motion modelling. Thus, we believe that the result presented here could be instrumental for improving the known engineering practice.
2 Micropolar Equations
A micropolar fluid flow is described by the (coupled) system of PDEs expressing the balance of momentum, mass and angular momentum which in stationary regime reads (see [3])
The unknowns in the above system are
In the micropolar equations, four new viscosities are introduced resulting from the non-symmetric properties of the stress tensor. Along with the usual Newtonian viscosity ν, we have νr as the microrotation viscosity, and c0, cd as the coefficients of angular viscosities. All the coefficients are assumed to be positive constants. Observe that if we put νr=0, the system becomes decoupled, and (2)–(3) reduces to a classical Stokes system.
The system (2)–(4) needs to be endowed with the appropriate boundary conditions. We use standard no-slip boundary conditions for the velocity on the lower and upper boundary, while on the lateral boundary of the channel we prescribe constant pressures p0, p1 (p1<p0). This means that flow is governed by the prescribed pressure drop δp=p1–p0. For the microrotation we employ a commonly used zero boundary condition. In view of that, the system (2)–(4) is completed by
The aim of this paper is to investigate the asymptotic behaviour of the flow governed by (2)–(8) with respect to the small parameter ϵ. We will have to deal with two major challenges in the process. The first one is, of course, concerned with the perturbation of the upper boundary. As explained in the Introduction, we will address this issue directly (using the Taylor series approach and the expansion technique), that is, without introducing the change of variable
3 Analysis
In the following, we assume that h<0, implying Ω={(x, y)∈R2:0<x<1, 0<y<1}⊂Ωϵ. Consequently, the solution (uϵ, pϵ, wϵ) of the governing problem is defined on Ω and we are in a position to directly expand velocity and microrotation in the Taylor series with respect to y around y=1 (near the upper boundary). Note that the assumption h<0 is taken for the sake of notational simplicity, because, otherwise, we would have to extend the solution to Ω polluting the notation. We formally expand
From the boundary conditions (5) and (8), we deduce
On the other hand, we expand the solution in the asymptotic expansion in powers of a small parameter ϵ as follows:
Plugging the expansions (13)–(14) into (11)–(12), we have
implying
Since V0(x, 1)=0, it follows that
This completes the derivation of the boundary conditions (at y=1) satisfied by the first two terms from the asymptotic expansions (13) and (14).
3.1 First-Order Approximation
Substituting the expansions (13)–(15) into (2)–(4) and taking into account the boundary conditions, we arrive at
Observe that the problem satisfied by our asymptotic approximation remains strongly coupled even at the main order, as oppose to the thin-domain framework (without boundary perturbation) leading to a standard solution of the Poiseuille problem for a micropolar fluid (see [16, 18–20]). Nevertheless, the solution of the problem (21)–(26) can be computed explicitly, following the idea from [21] (see also the approach from [22] dealing with 3D setting). We assume that the solution has the form
with
Integrating (21) with respect to y, we obtain
where K1 is an unknown constant. Putting (29) into (23) we get
implying
In view of (24)3, (24)4, we compute constants C1, C2 as
Substituting (31) into (29), we arrive at
Integrating (33) with respect to y yields
where we put A=C1+C2, B=C1–C2. In view of that, W0 from (31) can be rewritten in terms of the hyperbolic functions as well:
Finally, using velocity boundary conditions (24)1, (24)2 and the expressions (32), from (34) we determine the constants K1 and K2 as
To conclude, our first-order approximation (V0, Q0, W0) reads
where
3.2 Correctors
At this stage, it is important to emphasise that no effects of the boundary perturbation can be observed from (38). Thus, we need to compute the lower order terms from the asymptotic expansions (13)–(15). The problem satisfied by the corrector (V1, Q1, W1) is the following one [see (19) and (20)]:
The problem is again strongly coupled, now with (non-constant) function h(x) appearing in the boundary condition at y=1. This makes the above problem significantly more complicated to solve than the one from Section 3.1. Nevertheless, it can be done by employing the Fourier series and the separation of variables, as shown in the following. First, we expand the function h as follows:
The idea is to seek for the solution (V1, Q1, W1) in the form of the trigonometric Fourier series:
where
Observe that the boundary conditions (43) are automatically fulfilled, namely
Now, applying (46)–(49) into (39)–(41), we obtain
Let us first solve the system given by (57) and (61). Integrating (57) with respect to y gives
where E1 is a constant. Plugging (63) into (61) yields
implying
Consequently,
where
where E1 and E2 are new unknown constants. Taking into account that a0(0)=f0(0)=0 [see (50) and (54)] and
Solving the above equations, we get
Now we focus on the system given by (58)–(60) and (62). From (60) we get
implying
From (71) we deduce
so the system (71)–(73) reduces to
To solve (75) and (76) we proceed as follows. From (76) we first deduce
Now we differentiate twice the above equation to obtain
Multiplying (78) by
Note that the left-hand sides in (75) and (79) are exactly the same providing us the fourth-order ordinary differential equation (ODE) for fk:
It can be easily verified that
where
we deduce
Thus,
Now, we go back to (76) leading to
where
It follows that
Using (70), we deduce
It remains to determine the constants
to obtain
The above system gives
with
Finally, dk is deduced from (74)
and this completes the derivation of the correctors given by (46)–(49).
3.3 Asymptotic Solution
Our asymptotic solution has the following form:
where the functions
Remark 1The asymptotic approximation for the microrotation given by (99) was computed to satisfy the governing equations (2)–(4) and the zero boundary condition (8) at y=0, 1. Note that the boundary condition at x=0, 1 could not be taken into account in the process. As a consequence,
4 Numerical Example
In this section, we aim to visually present our asymptotic solution in order to confirm the effects of the perturbed boundary on the fluid flow. We employ the boundary perturbation function
We take the pressure drop δp=–1, while for the viscosity constants we use the following values (see [23]):
We compute the corrector approximations up to k=10 in the Fourier series (46)–(49), since increasing k leads to no significant improvements. We do the same for the function h in (45), where we computed the coefficients hk using the numerical integration in MATLAB.
In Section 4.1, we first depict the correctors computed in Section 3.2. We present the 2D velocity profiles for fixed values of x and y along with 3D figures. We clearly observe that the correctors acknowledge the effects of the boundary perturbation and that those effects are not just local (near the upper boundary). This is particularly noticeable for the x-component of the velocity corrector and for the microrotation corrector (see Figs. 2–5 and 6). The y-component of the velocity corrector and the pressure corrector also feel those effects but to a significantly smaller extent (see Figs. 7–9).
In Section 4.2, we visually present the whole asymptotic solution (97)–(99) for different magnitudes of small parameter ϵ (namely, ϵ∈{0.1, 0.01}). The pressure approximation and the y-component of the velocity approximation are omitted since the perturbation effects have negligible impact on the corresponding correctors. However, the x-component of the velocity approximation feels those effects, if ϵ is not too small (ϵ=0.1). This can be visually observed from the 2D profiles shown in Figures 10 and 11 (see also Fig. 12 for 3D representation). For ϵ of smaller magnitude (ϵ=0.01), the perturbation effect becomes negligible (see Fig. 13). On the other hand, the microrotation approximation is affected by the boundary perturbation in both cases (see Figs. 14 and 15).
Remark 2Though we present the numerical example for the function h satisfying h<0 on (0, 1), it must be emphasised that the results from Section 3 are valid for a general function h. That is due to the fact that it can be proved that our approximation (constructed directly without the change of variables) is asymptotically the same as the one that could be built if we have first passed to the ϵ-independent domain Ω=(0, 1)2by introducing the change of variable
Remark 3Note that the velocity approximation is particularly affected by the boundary perturbation if ϵ is not too small. A rigorous way to confirm that the asymptotic solution (97) is good (even for moderately small values of ϵ such as ϵ=0.1) is to prove the satisfactory error estimates in the appropriate rescaled norm. To accomplish that, we have to consider the problem in the ϵ-independent domain Ω and to formally link the corresponding asymptotic solution with the one we derived, as explained in Remark 2. After that, the proof of the error estimates follows the standard arguments, see, for example, [19, 20].
4.1 Correctors

Velocity corrector

Velocity corrector

Velocity corrector

Velocity corrector

Microrotation corrector W1.

Velocity corrector

Velocity corrector

Pressure corrector Q1.
4.2 Asymptotic Solution

Velocity approximation (x-component) profile for fixed y=1 (left) and for fixed x=0.2 (right) (ϵ=0.1).

Velocity approximation (x-component) profile for fixed x=0.6 (left) and x=0.8 (right) (ϵ=0.1).

Velocity approximation (x-component) for ϵ=0.1.

Velocity approximation (x-component) for ϵ=0.01.

Microrotation approximation for ϵ=0.1.

Microrotation approximation for ϵ=0.01.
Acknowledgments
The authors of this work have been supported by the Croatian Science Foundation (scientific project 3955: Mathematical modeling and numerical simulations of processes in thin or porous domains).The authors would like to thank the referees for their helpful comments and suggestions that helped to improve the paper.
References
[1] D. Henry, Perturbation of the Boundary in Boundary-Value Problems of Partial Differential Equations, London Mathematical Society Lecture Note Series 318, Cambridge University Press, New York 2005.10.1017/CBO9780511546730Search in Google Scholar
[2] A.C. Eringen, J. Math. Mech. 16, 1 (1966).Search in Google Scholar
[3] G. Lukaszewicz, Micropolar Fluids: Theory and Applications, Birkhäuser, Boston 1999.10.1007/978-1-4612-0641-5Search in Google Scholar
[4] I. Abdullah and N. Amin, Math. Meth. Appl. Sci. 33, 1910 (2010).10.1002/mma.1303Search in Google Scholar
[5] A. Ishaka, Y.Y. Lokb, and I. Pop, Chem. Eng. Comm. 197, 1417 (2010).10.1080/00986441003626169Search in Google Scholar
[6] M. Sheikholeslamia, M. Hatami, and D.D. Ganji, J. Mol. Liq. 194, 30 (2014).10.1016/j.molliq.2014.01.005Search in Google Scholar
[7] A. R. Haghighi and M. S. Asl, Int. J. Biomath. 08, 1550056 (2015).10.1142/S1793524515500564Search in Google Scholar
[8] E. Marušić-Paloka, J. Appl. Math. Mech. (2016). DOI: 10.1002/zamm.201500195.10.1002/zamm.201500195Search in Google Scholar
[9] E. Beretta and E. Francini, SIAM J. Math. Anal. 38, 1249 (2006).10.1137/050648596Search in Google Scholar
[10] T.C. Ekneligoda and R.W. Zimmerman, J. Appl. Mech. 75, 011015 (2008).10.1115/1.2745826Search in Google Scholar
[11] H. Ammari, H. Kang, H. Lee, and J. Lim, J. Elasticity 113, 75 (2013).10.1007/s10659-012-9411-4Search in Google Scholar
[12] Y. Achdou, O. Pironneau, and F. Valentin, J. Comput. Phys. 147, 187 (1998).10.1006/jcph.1998.6088Search in Google Scholar
[13] W. Jäger and A. Mikelić, J. Differ. Equations 170, 96 (2001).10.1006/jdeq.2000.3814Search in Google Scholar
[14] S. Sisavath, X. Jing, and R.W. Zimmerman, Phys. Fluids 12, 2762 (2001).10.1063/1.1399289Search in Google Scholar
[15] D. Bresch, C. Choquet, L. Chupin, T. Colin, and M. Gisclon, Multiscale Model. Simul. 8, 997 (2010).10.1137/090754996Search in Google Scholar
[16] M. Boukrouche and L. Paoli, J. Math. Anal. 44, 1211 (2012).Search in Google Scholar
[17] I. Pažanin and F. J. Suárez-Grau, C. R. Mecanique 341, 646 (2013).10.1016/j.crme.2013.05.001Search in Google Scholar
[18] I. Pažanin and F. J. Suárez-Grau, Comput. Math. Appl. 68, 1915 (2014).10.1016/j.camwa.2014.10.003Search in Google Scholar
[19] D. Dupuy, G. Panasenko, and R. Stavre, Math. Mod. Meth. Appl. Sci. 14, 735 (2004).10.1142/S0218202504003428Search in Google Scholar
[20] I. Pažanin, Acta Appl. Math. 116, 1 (2011).10.1007/s10440-011-9625-7Search in Google Scholar
[21] G. Bayada, N. Benhaboucha, and M. Chambat, Math. Mod. Meth. Appl. Sci. 15, 343 (2005).10.1142/S021820250500039XSearch in Google Scholar
[22] M. Beneš and I. Pažanin, Acta Appl. Math. 1 (2016). DOI: 10.1007/s10440-015-0026-1.10.1007/s10440-015-0026-1Search in Google Scholar
[23] I. Papautsky, J. Brazzle, T. Ameel, and A.B. Frazier, Sensors Actuators A Phys. 73, 101 (1999).10.1016/S0924-4247(98)00261-1Search in Google Scholar
©2016 by De Gruyter