 # Flow of a Micropolar Fluid Through a Channel with Small Boundary Perturbation

• Eduard Marušić-Paloka , and Marko Radulović

## 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  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  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  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.  for some recent results).

In this work, we consider an incompressible micropolar fluid flowing through a two-dimensional domain:

(1)Ωϵ={(x,y)R2:0<x<1,0<y<1ϵh(x)}. (1)

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 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. Figure 1:

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 . In fluid mechanics, boundary perturbations are mostly investigated in the context of periodically corrugated boundaries, see, for example, . Most recently, the first author of this work in  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  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 )

(2)(ν+νr)Δuϵ+pϵ=2νr Rot wϵ, (2)
(3)div uϵ=0,   in Ωϵ, (3)
(4)(ca+cd)Δwϵ+4νrwϵ=2νr rot uϵ. (4)

The unknowns in the above system are uϵ=(uxϵ,uyϵ),wϵ and pϵ, which stand for the velocity, the microrotation and the pressure of the fluid, respectively. Note that we assume a small Reynolds number and omit the inertial terms in momentum equations. Here and in the following we use the notation

Rot wϵ=(wϵy,wϵx),   rot uϵ=uxϵyuyϵx.

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=p1p0. For the microrotation we employ a commonly used zero boundary condition. In view of that, the system (2)–(4) is completed by

(5)uϵ=0,   for   y=0,y=1ϵh, (5)
(6)uϵ×e1=0,   for   x=0,1, (6)
(7)pϵ=pk,   for   x=k{0,1}, (7)
(8)wϵ=0,   on   Ωϵ. (8)

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 z=y1ϵh. As a consequence, no additional terms will appear in the governing equations. Nevertheless, the second difficulty (arising from the micropolar nature of the fluid) persists, since the system (2)–(4) remains to be strongly coupled even at the main order term.

## 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

(9)uϵ(x,y)=k=01k!kuϵyk(x,1)(y1)k, (9)
(10)wϵ(x,y)=k=01k!kwϵyk(x,1)(y1)k. (10)

From the boundary conditions (5) and (8), we deduce

(11)0=uϵ(x,1ϵh)=uϵ(x,1)ϵuϵy(x,1)h+ϵ222uϵy2(x,1)h2, (11)
(12)0=wϵ(x,1ϵh)=wϵ(x,1)ϵwϵy(x,1)h+ϵ222wϵy2(x,1)h2. (12)

On the other hand, we expand the solution in the asymptotic expansion in powers of a small parameter ϵ as follows:

(13)uϵ(x,y)=V0(x,y)+ϵV1(x,y)+ϵ2V2(x,y)+, (13)
(14)wϵ(x,y)=W0(x,y)+ϵW1(x,y)+ϵ2W2(x,y)+, (14)
(15)pϵ(x,y)=Q0(x,y)+ϵQ1(x,y)+ϵ2Q2(x,y)+. (15)

Plugging the expansions (13)–(14) into (11)–(12), we have

(16)0=V0(x,1)+ϵ(V1(x,1)hV0y(x,1))+ϵ2(V2(x,1)hV1y(x,1)+h222V0y2(x,1))+, (16)
(17)0=W0(x,1)+ϵ(W1(x,1)hW0y(x,1))+ϵ2(W2(x,1)hW1y(x,1)+h222W0y2(x,1))+, (17)

implying

(18)V0(x,1)=0,   W0(x,1)=0, (18)
(19)V1(x,1)=hV0y(x,1),   W1(x,1)=hW0y(x,1). (19)

Since V0(x, 1)=0, it follows that Vx0x(x,1)=0, so Vy0y(x,1)=0, due to the divergence condition (3). Now, from (19), we conclude

(20)Vy1(x,1)=0,   Vx1(x,1)=hVx0y(x,1). (20)

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

(21)(ν+νr)ΔV0+Q0=2νr Rot W0,   in Ω, (21)
(22)div V0=0,   in Ω, (22)
(23)(ca+cd)ΔW0+4νrW0=2νr rot V0,   in Ω, (23)
(24)V0(x,0)=0,  V0(x,1)=0,  W0(x,0)=0,  W0(x,1)=0, (24)
(25)Vy0(0,y)=0,   Vy0(1,y)=0, (25)
(26)Q0(0,y)=p0,   Q0(1,y)=p1. (26)

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, 1820]). Nevertheless, the solution of the problem (21)–(26) can be computed explicitly, following the idea from  (see also the approach from  dealing with 3D setting). We assume that the solution has the form

(27)V0=V0(y)=Vx0(y)e1,   Q0=Q0(x),   W0=W0(y), (27)

with Q0x being constant. From the pressure boundary conditions (26) we immediately deduce

(28)Q0(x)=p0+δpx,   δp=p1p0. (28)

Integrating (21) with respect to y, we obtain

(29)(ν+νr)Vx0y=δpy+2νrW0+K1, (29)

where K1 is an unknown constant. Putting (29) into (23) we get

(30)(ca+cd)2W0y2+4νrνν+νrW0=2νrν+νrδpy+2νrν+νrK1, (30)

implying

(31)W0(y)=C1eMy+C2eMy+δp2νy+K12ν,   M=2νrν(ca+cd)(ν+νr). (31)

In view of (24)3, (24)4, we compute constants C1, C2 as

(32)C1=δpK1+K1eM2ν(eMeM),   C2=δp+K1K1eM2ν(eMeM). (32)

Substituting (31) into (29), we arrive at

(33)Vx0y=δpνy+2νrν+νr(C1eMy+C2eMy)+K1ν. (33)

Integrating (33) with respect to y yields

(34)Vx0=2νr(ν+νr)M(Asinh(My)+Bcosh(My))+δpνy22+K1νy+K2, (34)

where we put A=C1+C2, B=C1C2. In view of that, W0 from (31) can be rewritten in terms of the hyperbolic functions as well:

(35)W0=A sinh(My)+B cosh(My)+δp2νy+K12ν,  A=K12ν,   B=δpK1+K1cosh(M)2νsinh(M). (35)

Finally, using velocity boundary conditions (24)1, (24)2 and the expressions (32), from (34) we determine the constants K1 and K2 as

(36)K1=δp(2νr(1cosh(M))+(ν+νr)Msinh(M))4νrcosh(M)2M(ν+νr)sinh(M)4νr, (36)
(37)K2=νr(δp+K1K1cosh(M))ν(ν+νr)Msinh(M). (37)

To conclude, our first-order approximation (V0, Q0, W0) reads

(38)V0=Vx0(y)e1,   Q0(x)=p0+(p1p0)x,   W0=W0(y), (38)

where Vx0 and W0 are given by (34)–(37).

### 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)]:

(39)(ν+νr)ΔV1+Q1=2νr Rot W1,   in Ω, (39)
(40)div V1=0,   in Ω, (40)
(41)(ca+cd)ΔW1+4νrW1=2νr rot V1,   in Ω, (41)
(42)V1(x,1)=h(x)V0y(x,1)=h(x)Vx0y(1)e1,   V1(x,0)=0, (42)
(43)Vy1(0,y)=0,   Vy1(1,y)=0,   Q1(0,y)=0,   Q1(1,y)=0, (43)
(44)W1(x,1)=h(x)W0y(1),   W1(x,0)=0. (44)

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:

(45)h(x)=h02+k=1hkcos(kπx),   hk=201h(t)cos(kπt)dt. (45)

The idea is to seek for the solution (V1, Q1, W1) in the form of the trigonometric Fourier series:

(46)Vx1=k=0ak(y)cos(kπx), (46)
(47)Vy1=k=1bk(y)sin(kπx), (47)
(48)Q1=k=1dk(y)sin(kπx), (48)
(49)W1=k=0fk(y)cos(kπx), (49)

where V1=(Vx1,Vy1). Taking into account the boundary conditions (42) and (44), we deduce

(50)Vx1(x,0)=0ak(0)=0,   k0, (50)
(51)Vy1(x,0)=0bk(0)=0,   k1, (51)
(52)Vy1(x,1)=0bk(1)=0,   k1, (52)
(53)Vx1(x,1)=h(x)Vx0y(1)k=0ak(1)cos(kπx)=(h02+k=1hkcos(kπx))Vx0y(1)a0(1)=h02Vx0y(1),   ak(1)=Vx0y(1)hk,   k1, (53)
(54)W1(x,0)=0fk(0)=0,   k0, (54)
(55)W1(x,1)=h(x)W0y(1)k=0fk(1)cos(kπx)=(h02+k=1hkcos(kπx))W0y(1)f0(1)=h02W0y(1),   fk(1)=W0y(1)hk,   k1. (55)

Observe that the boundary conditions (43) are automatically fulfilled, namely

(56)Vy1(0,y)=Vy1(1,y)=Q1(0,y)=Q1(1,y)=0. (56)

Now, applying (46)–(49) into (39)–(41), we obtain

(57)(ν+νr)a0=2νrf0, (57)
(58)(ν+νr)ak+(ν+νr)(kπ)2ak+(kπ)dk=2νrfk,   k1, (58)
(59)(ν+νr)bk+(ν+νr)(kπ)2bk+dk=2νr(kπ)fk,   k1, (59)
(60)(kπ)ak+bk=0,   k1, (60)
(61)(ca+cd)f0+4νrf0=2νra0, (61)
(62)(ca+cd)fk+(ca+cd)(kπ)2fk+4νrfk=2νrak2νr(kπ)bk,  k1. (62)

Let us first solve the system given by (57) and (61). Integrating (57) with respect to y gives

(63)(ν+νr)a0=2νrf0+E1, (63)

where E1 is a constant. Plugging (63) into (61) yields

(ca+cd)f0+4νrf0=2νr(2νrν+νrf0E1ν+νr),

implying

(ca+cd)f0+4ννrν+νrf0=2νrν+νrE1.

Consequently,

(64)f0(y)=F01sinh(My)+F02cosh(My)E12ν, (64)

where F01 and F02 are constants to be determined later, while M=2νrν(ca+cd)(ν+νr). From (63) we deduce

(65)a0(y)=2νr(ν+νr)MF01cosh(My)+2νr(ν+νr)MF02sinh(My)E1νyE2ν+νr, (65)

where E1 and E2 are new unknown constants. Taking into account that a0(0)=f0(0)=0 [see (50) and (54)] and a0(1)=h02Vx0y(0),f0(1)=h02W0y(1) [see (53)1 and (55)1], we derive the system of equations satisfied by the constants F01,F02,E1, and E2:

2νrF01ME2=0,2νF02E1=0,2νrνF01cosh(M)+2νrνF02sinh(M)E1(ν+νr)ME2νM=ν(ν+νr)Mh02Vx0y(1),2νF01sinh(M)+2νF02cosh(M)E1=νh0W0y(1).

Solving the above equations, we get

(66)F01=1sinh(M)F02(1cosh(M))+1sinh(M)h02W0y(1), (66)
(67)F02=1sinh(M)h02W0y(1)(2νrcosh(M)2νr)+(ν+νr)Mh02Vx0y(1)2νrsinh(M)(1cosh(M))2+2νrsinh(M)2(ν+νr)M, (67)
(68)E1=2νF02, (68)
(69)E2=2νrMF01. (69)

Now we focus on the system given by (58)–(60) and (62). From (60) we get

(70)ak=1kπbk,   k1, (70)

implying

(71)ν+νrkπbk+(ν+νr)(kπ)bk+(kπ)dk=2νrfk,   k1, (71)
(72)(ν+νr)bk+(ν+νr)(kπ)2bk+dk=2νr(kπ)fk,   k1, (72)
(73)(ca+cd)fk+(ca+cd)(kπ)2fk+4νrfk=2νrkπbk2νr(kπ)bk,  k1. (73)

From (71) we deduce

(74)dk=ν+νr(kπ)2bk(ν+νr)bk2νrkπfk, (74)

so the system (71)–(73) reduces to

(75)ν+νr(kπ)2bk(4)2(ν+νr)bk+(ν+νr)(kπ)2bk=2νrkπfk2νr(kπ)fk, (75)
(76)(ca+cd)fk+[(ca+cd)(kπ)2+4νr]fk=2νrkπbk2νr(kπ)bk. (76)

To solve (75) and (76) we proceed as follows. From (76) we first deduce

(77)2νrbk2νr(kπ)2bk=(ca+cd)(kπ)fk+[(ca+cd)(kπ)2+4νr](kπ)fk. (77)

Now we differentiate twice the above equation to obtain

(78)2νrbk(4)2νr(kπ)2bk=(ca+cd)(kπ)fk(4)+[(ca+cd)(kπ)2+4νr](kπ)fk. (78)

Multiplying (78) by ν+νr2νr1(kπ)2, (77) by ν+νr2νr and then subtracting the obtained equations, we obtain

(79)ν+νr(kπ)2bk(4)2(ν+νr)bk+(ν+νr)(kπ)2bk=2νM21kπfk(4)+4νM2(kπ)fk+2(ν+νr)kπfk2νM2(kπ)3fk2(ν+νr)(kπ)fk. (79)

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:

(80)1M2fk(4)(1+2M2(kπ)2)fk+(kπ)2(1+(kπ)2M2)fk=0. (80)

It can be easily verified that

(81)fk(y)=Gk1sinh(λky)+Gk2cosh(λky)+Gk3sinh(μky)+Gk4cosh(μky),   k1, (81)

where λk=(kπ)2+M2,μk= and Gki constants to be determined in the following. Taking into account the boundary conditions (54) and (55)2, namely

fk(0)=0,   fk(1)=W0y(1)hk,

we deduce

(82)Gk2=Gk4,   Gk1sinh(λk)+Gk2cosh(λk)+Gk3sinh(μk)+Gk4cosh(μk)=W0y(1)hk. (82)

Thus, fk=fk(y;Gk3,Gk4) is given by [see (81) and (82)]

(83)fk=(W0y(1)sinh(λk)hksinh(μk)sinh(λk)Gk3cosh(μk)cosh(λk)sinh(λk)Gk4)sinh(λky)+Gk3sinh(μky)Gk4cosh(λky)+Gk4cosh(μky). (83)

Now, we go back to (76) leading to

1kπbkkπbk=(2AkAk(ca+cd)M22νr)sinh(λky)(2Gk4Gk4(ca+cd)M22νr)cosh(λky)+2Gk3sinh(μky)+2Gk4cosh(μky),

where

Ak=W0y(1)sinh(λk)hksinh(μk)sinh(λk)Gk3cosh(μk)cosh(λk)sinh(λk)Gk4.

It follows that

(84)bk=Bk1sinh(μky)+Bk2cosh(μky)+(2AkAk(ca+cd)M22νr)μkM2sinh(λky)(2Gk4Gk4(ca+cd)M22νr)μkM2cosh(λky)+Gk3ycosh(μky)+Gk4ysinh(μky). (84)

Using (70), we deduce

(85)ak=Bk1cosh(μky)+Bk2sinh(μky)+(2AkAk(ca+cd)M22νr)λkM2cosh(λky)(2Gk4Gk4(ca+cd)M22νr)λkM2sinh(λky)+Gk3μkcosh(μky)+Gk3ysinh(μky)+Gk4μksinh(μky)+Gk4ycosh(μky). (85)

It remains to determine the constants Bk1,Bk2,Gk3 and Gk4. We use boundary conditions (51), (52), (50) and (53)2, namely

bk(0)=0,   bk(1)=0,   ak(0)=0,   ak(1)=Vx0y(1)hk,   k1

to obtain

Bk22μkGk4M2+Gk4(ca+cd)μk2νr=0,Bk1sinh(μk)+Bk2cosh(μk)+2AkμkM2sinh(λk)Akμk(ca+cd)2νrsinh(λk)2Gk4μkM2cosh(λk)+Gk4μk(ca+cd)2νrcosh(λk)+Gk3cosh(μk)+Gk4sinh(μk)=0,Bk1+2AkλkM2Ak(ca+cd)λk2νr+Gk3μk=0,Bk1cosh(μk)+Bk2sinh(μk)+2AkλkM2cosh(λk)λkAk(ca+cd)2νrcosh(λk)2Gk4λkM2sinh(λk)+Gk4(ca+cd)λk2νrsinh(λk)+Gk3μkcosh(μk)+Gk3sinh(μk)+Gk4μksinh(μk)+Gk4cosh(μk)=Vx0y(1)hk.

The above system gives

(86)Bk1=AkBkGk3μk,   Bk2=CkGk4, (86)
(87)Gk3=HkGk4+IkGk,   Gk4=NkMk, (87)

with

(88)Ak=W0y(1)sinh(λk)hksinh(μk)sinh(λk)Gk3cosh(μk)cosh(λk)sinh(λk)Gk4,  Bk=4λkνrM2λk(ca+cd)2M2νr, (88)
(89)Ck=4μkνrM2μk(ca+cd)2M2νr,  Dk=μkcosh(μk)sinh(μk)μk, (89)
(90)Ek=Ck(cosh(μk)cosh(λk))+sinh(μk),  Fk=Bksinh(μk)Cksinh(λk), (90)
(91)Gk=Dk+Fksinh(μk)sinh(λk),  Hk=Ek+Fkcosh(μk)cosh(λk)sinh(λk), (91)
(92)Ik=FkW0y(1)sinh(λk)hk,   Jk=sinh(μk), (92)
(93)Kk=Cksinh(μk)Bksinh(λk)+sinh(μk)μk+cosh(μk),Lk=Bk(cosh(μk)cosh(λk)), (93)
(94)Mk=KkHkJkGkLkHksinh(μk)Gksinh(λk)+Lkcosh(μk)cosh(λk)sinh(λk), (94)
(95)Nk=Vx0y(1)hkIkJkGk+LkhkW0y(1)sinh(λk)LkIksinh(μk)Gksinh(λk). (95)

Finally, dk is deduced from (74)

(96)dk=(λkμk(ν+νr)(2AkAk(ca+cd)M22νr)2νrλkμkAk)cosh(λky)(2νrGk4λkμk+λkμk(ν+νr)(2Gk4Gk4(ca+cd)M22νr))sinh(λky)+2νGk3cosh(μky)+2νGk4sinh(μky) (96)

and this completes the derivation of the correctors given by (46)–(49).

### 3.3 Asymptotic Solution

Our asymptotic solution has the following form:

(97)uapproxϵ(x,y)=Vx0(y)e1+ϵV1(x,y),   V1=(Vx1,Vy1), (97)
(98)qapproxϵ(x,y)=Q0(x)+ϵQ1(x,y) (98)
(99)wapproxϵ(x,y)=W0(y)+ϵW1(x,y), (99)

where the functions Vx0,V1,Q0,Q1,W0,W1 are provided in Sections 3.1 and 3.2. Being in the explicit form, it enables us to clearly observe the effects of the perturbed channel boundary and the micropolar properties of the fluid. The boundary perturbation has strong impact on the behaviour of the correctors through the appearance of the Fourier coefficients hk of the perturbation function h. Thus, we conclude that the influence of the boundary perturbation on the effective flow is not just local (in the vicinity of the upper boundary), especially if ϵ (the magnitude of the perturbation) is not too small (e.g. ϵ=10−1). This will be confirmed numerically in the following section.

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, wapproxϵ(i,y)0, for i=0, 1. This essentially means that the boundary layer phenomena for the microrotation take place. We can fix that in a standard manner by introducing the appropriate boundary layer correctors in the vicinity of the lateral ends of the channel, see, for example, [19, 20]. However, it can be proved that those correctors would have the exponential decay towards zero, that is, it would not affect the approximation outside the boundary layers. In fact, it would only serve for the convergence proof, namely to derive satisfactory error estimates in L2and H1norm (being out of the scope of the present paper). Thus, there is no reason to formally correct the approximation (99) in the vicinity of x=0, 1 since the effects of such correction would not effectively contribute to the derived asymptotic model.

## 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

h(x)=cos(πx2).

We take the pressure drop δp=–1, while for the viscosity constants we use the following values (see ):

ν=2.9×103,   νr=2.32×104,   ca+cd=106.

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. 25 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. 79).

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 z=y1ϵh. Though tedious, this part is straightforward and can be done following the same lines as in the classical Newtonian case (see  for details).

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 Figure 2:

Velocity corrector Vx1 profile for fixed y=1 (left) and for fixed x=0.2 (right). Figure 3:

Velocity corrector Vx1 profile for fixed x=0.4 (left) and x=0.6 (right). Figure 4:

Velocity corrector Vx1 profile for fixed x=0.8 (left) and x=1 (right). Figure 5:

Velocity corrector Vx1. Figure 6:

Microrotation corrector W1. Figure 7:

Velocity corrector Vy1 profile for fixed x=0.2 (left) and x=0.6 (right). Figure 8:

Velocity corrector Vy1. Figure 9:

Pressure corrector Q1.

### 4.2 Asymptotic Solution Figure 10:

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

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

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

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

Microrotation approximation for ϵ=0.1. Figure 15:

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

 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

 A.C. Eringen, J. Math. Mech. 16, 1 (1966).Search in Google Scholar

 G. Lukaszewicz, Micropolar Fluids: Theory and Applications, Birkhäuser, Boston 1999.10.1007/978-1-4612-0641-5Search in Google Scholar

 I. Abdullah and N. Amin, Math. Meth. Appl. Sci. 33, 1910 (2010).10.1002/mma.1303Search in Google Scholar

 A. Ishaka, Y.Y. Lokb, and I. Pop, Chem. Eng. Comm. 197, 1417 (2010).10.1080/00986441003626169Search in Google Scholar

 M. Sheikholeslamia, M. Hatami, and D.D. Ganji, J. Mol. Liq. 194, 30 (2014).10.1016/j.molliq.2014.01.005Search in Google Scholar

 A. R. Haghighi and M. S. Asl, Int. J. Biomath. 08, 1550056 (2015).10.1142/S1793524515500564Search in Google Scholar

 E. Marušić-Paloka, J. Appl. Math. Mech. (2016). DOI: 10.1002/zamm.201500195.10.1002/zamm.201500195Search in Google Scholar

 E. Beretta and E. Francini, SIAM J. Math. Anal. 38, 1249 (2006).10.1137/050648596Search in Google Scholar

 T.C. Ekneligoda and R.W. Zimmerman, J. Appl. Mech. 75, 011015 (2008).10.1115/1.2745826Search in Google Scholar

 H. Ammari, H. Kang, H. Lee, and J. Lim, J. Elasticity 113, 75 (2013).10.1007/s10659-012-9411-4Search in Google Scholar

 Y. Achdou, O. Pironneau, and F. Valentin, J. Comput. Phys. 147, 187 (1998).10.1006/jcph.1998.6088Search in Google Scholar

 W. Jäger and A. Mikelić, J. Differ. Equations 170, 96 (2001).10.1006/jdeq.2000.3814Search in Google Scholar

 S. Sisavath, X. Jing, and R.W. Zimmerman, Phys. Fluids 12, 2762 (2001).10.1063/1.1399289Search in Google Scholar

 D. Bresch, C. Choquet, L. Chupin, T. Colin, and M. Gisclon, Multiscale Model. Simul. 8, 997 (2010).10.1137/090754996Search in Google Scholar

 M. Boukrouche and L. Paoli, J. Math. Anal. 44, 1211 (2012).Search in Google Scholar

 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

 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

 D. Dupuy, G. Panasenko, and R. Stavre, Math. Mod. Meth. Appl. Sci. 14, 735 (2004).10.1142/S0218202504003428Search in Google Scholar

 I. Pažanin, Acta Appl. Math. 116, 1 (2011).10.1007/s10440-011-9625-7Search in Google Scholar

 G. Bayada, N. Benhaboucha, and M. Chambat, Math. Mod. Meth. Appl. Sci. 15, 343 (2005).10.1142/S021820250500039XSearch in Google Scholar

 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

 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 