EDN: GDKYMB УДК 532.61.096
Creeping Three-dimensional Convective Motion in a Layer with Velocity Field of a Special Type
Andrei A. Azanov*
Institute of Computational Modelling SB RAS Krasnoyarsk, Russian Federation
Received 21.11.2022, received in revised form 27.03.2023, accepted 10.05.2023 Abstract. Problem of three-dimensional motion of a heat-conducting fluid in a channel with solid parallel walls is considered. Given temperature distribution is maintained on solid walls. The liquid temperature depends quadratically on the horizontal coordinates, and the velocity field has a special form. The resulting initial-boundary value problem for the Oberbeck-Boussinesq model is inverse and reduced to a system of five integro-differential equations. For small Reynolds numbers (creeping motion), the resulting system becomes linear. A stationary solution has been found for this system, and a priori estimates have been obtained. On the basis of these estimates, sufficient conditions for exponential convergence of a smooth non-stationary solution to a stationary solution have been established. The solution of the inverse problem has been found in the form of quadratures for the Laplace images under weaker conditions for the temperature regime on the walls of the layer. Behaviour of the velocity field for a specific liquid medium have been presented. The results were obtained with the use of numerical inversion of the Laplace transform.
Keywords: Oberbec-Boussinesq model, three-dimensional motion, inverse problem, a priori estimates, stability, Laplace transform.
Citation: A.A. Azanov, Creeping Three-dimensional Convective Motion in a Layer with Velocity Field of a Special Type, J. Sib. Fed. Univ. Math. Phys., 2023, 16(4), 441-456. EDN: GDKYMB.
Problem statement and derivation of basic equations
Two-dimensional flows of the Himentz type [1] are known as flows near the critical point and they are characterized by the presence of zones with higher pressure and temperature than in the surrounding region. Such flows can be observed both in macro-scales (for example, the use of hydraulic fracturing technologies in the oil industry) and in micro-scales (for example, liquid biochips in medicine). The study of characteristics of such flows is necessary to assess the technological parameters, as well as to predict the dynamics and evolution of the liquid layer. Exact solutions of the defining equations are the most effective way to study processes in a liquid, as well as to obtain estimated characteristics. At present, solutions of problems describing Himentz-type flows in various geometries are presented: axisymmetric [2] and three-dimensional [3,4] analogues of the Himentz solution, including flows in cylindrical geometry [5,6]. A brief overview of the exact solutions that are close to the Himentz solution is given in [7].
Three-dimensional motion of a viscous incompressible heat-conducting fluid with special velocity field is studied in this paper. The velocity field is of the Himentz type: the horizontal
*andreiazanov@mail.ru © Siberian Federal University. All rights reserved
components of the velocity field are linear in the corresponding coordinates, temperatures are set on solid walls.
The system of Oberbeck-Boussinesq equations of three-dimensional motion has the form
ut + (uV) ■ u +1 Vp = vAu + g(l - /3T), div u = 0, (1)
P
Tt + u ■VT = xAT, (2)
where u(x, y, z, t) = (u(x, y, z, t), v(x, y, z, t), w(x, y, z, t)) is the velocity vector, u, v, w are components of the velocity vector in the Cartesian coordinate system; g = (0, 0, -g); t is time; T(x, y, z, t) is temperature; positive constants p, v, x, 3, g are density, kinematic viscosity, thermal conductivity coefficient, coefficient of thermal expansion and acceleration of gravity, respectively. The solution of problem (1), (2) is taken in the following form
u(x, y,z,t) = (f (z,t) + h(z, t))x, v(x, y, z, t) = (f (z, t) — h(z, t))y,
w(x,y,z,t) = —2 f (£,t)d£, p(x,y,z,t)= p(x,y,z,t) — pgz, (3)
■J 0
T(x, y, z, t) = a(z, t)x2 + b(z, t)xy + c(z, t)y2 + d(z, t).
Relations (3) are interpreted as fluid motion between two flat parallel fixed plates z = 0 and z = l (see Fig. 1). Then adhesion conditions are set on fixed plates: u(x,y, 0,t) = v(x,y, 0,t) = = w(x, y, 0, t) = 0, u(x, y, l, t) = v(x, y, l, t) = w(x, y, l, t) = 0. Temperature is given in the form T(x, y, 0,t) = al(t)x2 + b\(t)xy + c\(t)y2, T(x, y, l, t) = a2(t)x2 + b2(t)xy + c2(t)y2. Considering (3), using conditions of adhesion and setting the temperature, boundary conditions for functions a(z,t), b(z,t), c(z,t) d(z,t) f (z,t) h(z,t) are derived
f(0, t) = f(l, t) = h(0, t) = h(l, t) = 0, i f(Z, td = 0,
(4)
a(0, t) = a\(t), b(0,t) = bi(t), c(0,t) = cx(t), 0(0,t) = 0, y'
a(l,t) = a2(t), b(l,t) = b2(t), c(l,t) = c2(t), 0(l,t)=0,
where functions aj(t), cj(t), j = l, 2 are set at some interval [0, t0]. In addition, initial conditions are set
a(z, 0) = a0(z), c(z, 0) = c0(z), b(z, 0) = b0(z), 0(z, 0) = 0,
(5)
f (z, 0) = f0(z), h(z, 0) = h0(z).
Remark 1. Since rot u = ((hz — fz)y, (hz + fz)x, 0) = 0; then the motion is vortex.
Remark 2. Suppose, without the loss of generality, that aj(t) = 0, j = l, 2 and b(z,t) = 0. Then when aj (t) < 0, cj (t) < 0 functions Tj (x, y, t) have a maximum at the point x = 0, y = 0, and when aj (t) > 0, cj (t) >0 functions Tj (x,y,t) have a minimum. If aj (t) and cj (t) have the same signs then Tj (x,y,t) is an elliptical paraboloid. If aj (t) and cj (t) have different signs then Tj (x,y,t) is a hyperbolic paraboloid. In other words, the above solution describes the convection of a liquid near the points of temperature extremes on solid walls. There may be other cases, for example, the temperature has a maximum on the lower wall and a minimum on the upper wall or vice versa.
The first step is to derive a system of equations for f, h, a, b, c, 0.
Fig. 1. Flow area diagram
Taking into account equations (2) and (3), the following relations are obtained at + 2a(f + h) - 2az f f (£, t)d£ = xazz, b(z, t) = 0,
J 0
Ct + 2c(f - h) - 2cz f f (C, td = xczz, J 0
0t - 2dJ f (C, t)dC = 2x(a + c)+ xOzz. 0
(6)
The mass conservation equation is satisfied identically, and momentum equation (1) is equivalent to the following equation
ft + f2 + h2 - 2fz fZ f (£,t)d£ = vfzz - ßg f Z[a&t) + c(£,t)]d£ + ni(t),
J 0 J 0
ht +2fh - 2hz ¡ f (t,t)d£ = vhzz - ßg í [a(C,t) - c(Ç,t)]dÇ + n2(t), 00
(7)
where n\(t),n2(t) are arbitrary functions of time that represent incremental pressure gradients. The modified pressure p(x, y, z, t) is found in the form of quadratures
1 fz 1
-p(x,y,z,t) = x2(gp a(Z,t)d£ --(m(t) + n2(t))) +
p J o 2
z 1
+y2 (gP J c(£,td - 2(ni (t) - n2 (t))) - 2vf (z,t) - gz+
+gP fZ 0(Z,t)d£ + 2 fZ(z - Z)ft(£,t)d£ - 2(¡Z f (£,t)d£)2 + ao(t),
o o o
where a0 (t) is an arbitrary function of time.
Thus, the Oberbeck-Boussinesq system is reduced to five non-linear integro-differential equations.
The following notations are introduced
£ = j', t = jut; a* =max(| aj(t) | Cj(t) \),j =1, 2, u* = (3a*lx;
a(z,t) = a*A(Ç,r ); c(z,t) = a*C (c,t ); 6(z,t) = ); f (z,t) = X ReF (Ç,t); (8)
*
m I f \ v /1 = (l i,I/- •/ I ni 7 /1 = (l \—i I /- I / I "7 / I = ,
12
2
h(z,t) = XReH(c,t); nj(t) = X-N(t), j = 1, 2.
Here u* is the characteristic rate of thermal expansion of the fluid, since a*l2 is the characteristic temperature of the walls, e = f3a*l2 is the Boussinesq parameter [11], Re = u*l/v is the Reynolds number, Re = eP, where P = v/x is the Prandtl number.
After substituting (8) into system (6), (7), the initial boundary value problem in dimensionless form is obtained
AT + 2ReA(F + H) - 2ReA* i F(£, t)d£ = A**,
Jo
CT + 2ReC(F - H) - 2ReA* F(£, t)d£ = ,
Jo
0T - 2Re0* i F(£,t)d£ = 2(A + C) + 0**, (9)
o
FT + ReF2 + ReH2 - 2ReF* i F(£, t)d£ = PF** - nP i [A(£, t) + C(£, t)]d£ + Ni (t),
oo
Ht + 2ReFH - 2ReH* f* F (£,t )d£ = PH** - VP t [A(£, t ) - C (£,t )]d£ + Nh(t ).
oo
Parameter n = gl3(vx)-i plays an important role in the theory of micro convection [11]. In system (9) t G [0,to = xtol-2], £ G [0,1]. To fully define unknowns A, C, 0, F, H, Ni, N2 it is necessary to consider initial and boundary conditions
A(£, 0)= Ao(0, C(£, 0) = Co(£), 0(£, 0) = 0, F (£, 0)= Fo(£), H (£, 0) = Ho(0-
A(0,T )= A1(T ), C (0,T ) = C\(T ), 0(0,T ) = F (0,T )= H (0,T ) = 0, A(1,T )= A2(T ), C (1,T ) = C2(T ), 0(1,T ) = F (1,T )= H (1,T ) = 0. »1 i
(10) (11)
f F(£,t)d£ = 0, i H(£,t)d£ = 0. (12)
Jo Jo
Let us note that problem (9)-(12) is the inverse problem, since functions Nj (t) are unknown. Remark 3. Conditions (12) actually mean that motion is considered in some cell bounded by x and y.
Conditions for matching the input data are satisfied for a smooth solution
Ao(0) = Ai(0), C0(0) = Ci(0), Ao(1)= A2(0), Co(1) = C2(0), (13)
f1 Fo(0d£ = 0, f Ho(£)d£ = 0. (14)
oo
Remark 4. Taking into account (8), it is assumed that aj(t) = a*Aj(t), Cj(t) = a*Cj(t).
For most liquid media, the Boussinesq number is e C 1. Therefore, one can look for a solution of the inverse initial-boundary value problem in the form of a series with respect to the Reynolds number Re. The main terms of the decomposition satisfy the linear system of equations (the designations of the desired functions are left the same)
At = A((, Ct = , Ot =2(A + C ) + eee, Ft = PFee - nP 0 [A(£,T) + CM + N(T), (15)
Ht = PHee - nP t [A(£,T) - C+ N2(T).
Jo
The initial and boundary conditions remain unchanged (see (4), (5)). The problem describes the so-called "crawling" movements and it is the subject of study of this work.
Stationary creeping motion
In this case, all functions do not depend on the dimensionless time t and initial data (5) is not taken into account. Let us assume that Af(£), Cf(£), Of(0, Ff(£), Hf(£), Nf(£), Nf is the required solution, Af, C f are the given constants. Without the loss of of generality, it is assumed that Af = 0. Simple mathematical treatment shows that there are relations
F s(t) = H s(t) =
As(t) = Af (1 + Cs(t) = A\(*2 + «3t),
ai
A2 - Af
AS
«2
CI
Af:
«3
CI - CS; AS '
®s (t) = Af
(1 + a*)(t - e2) + ^^ (t - e3)
■gAfP 12 nAfP 12
(1 + ai)(2t3 - 3t2 + t) + (5t4 - 9t2 + 4t)
(1 - ai)(2t3 - 3t2 + t) + a^(5t4 - 9t2 +
(16)
NI = - VA\P2 NS = 2 VA{ P2
10
1 + a.2 + ^(ai + a3)
3 ,
1 - a2 + ^(ai - a3)
When Af = Cf there is radial heating of the fluid on the wall. If Af, Cf < 0 then heating is maximal at the point x = 0,y = 0. If Af, Cf > 0 then heating is minimal. If Af = —Cf then heating of the fluid on the wall has the form of a hyperbola.
The characteristic vertical velocity profile Wf(£) = wf(£)/W0 is shown in Fig. 2 (W0 = -nAfx)
Physical constants were taken for water at a temperature of 20 °C: P ~ 7, Re ~ 25.5 ■ 10-4, values Af, Cf, j = 1, 2 are shown in Fig. 2.
The solid line shows the case of radial heating of the fluid on the walls with a minimum of its value at the point x = 0, y = 0 while the fluid in the layer moves upwards.
The dashed line shows the vertical velocity profile when distribution of the fluid temperature has the form of a hyperbola on the lower wall and weak elliptical heating on the upper wall.
-3-1-1-1-1-1-1-1-1-1-1
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
i
Fig. 2. Vertical velocity Ws as a function of dimensionless coordinate g.
In other cases, heating on both walls has the form of a hyperbola. The dotted line corresponds to such a temperature distribution that fluid in the lower part of the layer moves down, and in the upper part it moves up.
A priori estimates
The purpose of this paragraph is to establish sufficient conditions for the input data Aj (t), Cj (t), under which the solution of non-stationary problem converges to stationary solution (16) when dimensionless time increases. Functions A(£,t), C(£, t), ©(£, t) are solutions of the first initial boundary value problem. They can be found in the form of trigonometric Fourier series. Using methods proposed in [12], it is possible to obtain a priori estimates of solutions. However, here it is easier to use results presented in [13] (pp. 201, 209). In fact, if Aj (t), Cj (t) are continuous for any t > 0 and
lim Aj (t) = AS, lim Cj (t) = Cj, (17)
T ^tt J T ^tt J V 7
then
lim Aj (£,t) = As(£), lim Cj (£,t) = Cs (£),
T ^tt T ^tt
uniformly for any £ e [0,1], where As (£), Cs (£) is stationary solution (16). If
| Aj(t) - Aj d(1+ t—, | Cj(t) - Cj d(1+ t —, (18)
with positive coefficients d, ¡i then
| As(£,t) - As(£) |< di(1 + t)-, |Cs(£,T) - Cs(£) |< di(1+ T —, (19)
di > 0 is a constant, £ e [0,1]. Considering inequalities
| Aj(t) - As |< d2e-»T, | Cj(t) - Cs |< d2e-»T, (20)
estimates
| As(£, t) - As(£) |< dae-»1 T, | Cs(£,t) - Cs(£) |< d3e-»1T, (21)
are obtained with constants da > 0, 0 < ¡i ^
These estimates can be interpreted as the stability conditions of stationary solution As(£), Cs(£) under conditions (17), (18), (20).
Initial-boundary inverse problems for functions F(£,t), N1(t) and H(£,t), N2(t) are non classical (A(£,t), C(£,t) are known). Therefore, a priori estimates of their solutions have to be obtained.
Multiplying the last equation of system (15) by H(£,t) and integrating with respect to £ from zero to one, the following identity is obtained
2d j'h2(£,t)d£ + P^ 1H2(£,r)d£ = -VP0H(£,T)0(A(t,r) - C(e, t))d£de. (22)
Here, boundary conditions (11) and redefinition condition (12) are taken into account. Since Steklov's inequality takes place
1
J h2a,rj < -L J
then the left part of (22) is greater than or equal to
2 dl JQ
The right part of (22) does not exceed
1 d H2(i' Td + "2p f H2((,T j.
"K I! h ^ >)
1 fi
0 JO
(A(e,T) - C(e,T))2jj
( 1 ) 2
Now for E(t) = I f H2(£,t) J the following inequality is obtained
0
JE + n2PE < nP Jt
1 ri
(A(e,T) - C(e,T))2jj
00
Therefore,
h 2(ç,t j <
0
1 1 T
H2(t)%y + nP JQ en
1 ri
(A(e,T )-
-C (e,T ))2 J£Je
2
Jt\ e- PT = Gi(t)e
00
-n pt
(23)
for any r € [0, to]. Now recall that functions A(£, r), C(£, r) satisfy estimates (19) or (21), where As(£)=0, Cs(£)=0.
Function H(£, t) also satisfies the following identity
J H2(£,T)d£ + P d J H2 (£,T)d£ = -nP J Hr(Z,T)d£ f(A(t,T) - C(e,r))d^de.
Using the elementary inequality ab ^ e1a?/2 + b2/(2e{) when e1 = (2nP)_1, one can obtain from the previous identity that 1
f1H2(^,Td < 2n2P2 fT t\ i \a(c,t) - C(e,T))de Jo Jo Jo IJo
+ t H2i(oJÇ = G2(t)
0
j^jt+
2
2
2
1
Ü
2
Since H(0, t) = 0 then
H 2(£,T )=2 / * H (£, T )H* (£,T )d£ < J 0
< 2 ( 0 H2(£, t^ 0 H2(£, t)d£j 2 < 2^Gi(T)G2(T)e-n*PT
due to inequalities (23), (24) and
| H(£,T) V2(Gi(T)G2(T))4e-^T (25)
for any £ E [0,1], t E [0,to].
Similar estimate holds for F(£,t) if A(£,t) - C(£,t) is replaced with A(£,t) + C(£,t) in expressions G1(t), G2(t), and they are denoted by G3(t) and G4(t). Therefore
| F(£, t) V2(G3(t)G4(t))1 e-^T. (26)
Let us start first with the evaluation of N2(t). Multiplying the equation for H(£, t) by £ -£2, integrating over the interval [0,1] and using the boundary conditions, one can obtain
N2(t) = 6 /1 (£ - £2)Ht(£,t)d£ + 6 /1(£ - £2) f *(A(e,t) - C(£,t))ded£, (27) Jo Jo Jo
i
since /(£ - £2)H**(£,t)d£ = 0. To evaluate N2(t) it is necessary to obtain an estimate of | Ht(£,t) | at £ E [0,1], t e [0,to]. If
| Aj (T) d2e-»T,
| AjT(t) d4e-»T,
d4 > 0 then
| A(£,T) dae-»lT,
| At(£,T) dze-»lT,
for any £ E [0,1], t E [0, to]. The first two equations of system (15) provide estimates of derivatives
| A** (£,T ) d5e-»lT, | C** (£, T ) d5e-»lT. (30)
To obtain estimates of derivatives (29), (30) it is enough to differentiate with respect to t the corresponding initial boundary value problems, and use the results presented in [13]. Similarly, differentiating with respect to t the last equation of system (15), a problem on HT (£, t) is obtained. It is similar to the problem on H(£,t) when A(£,t) - C(£,t) is replaced with AT(£, t) - CT(£, t) and N2(t) is replaced with N2t(t). Therefore, there is an estimate (see (25))
| Ht(£, T) K V2(G3(T)G4(T))4e-^T, (31)
£ E [0,1], t E [0, to], where Ho(£) is replaced with Ht(£, 0) in relation for Ga(T) (see (23)). Then
1 r*
Ht(£, 0) = -Ho**(£) - nP J (Ao(£) - Co(£))d£ + N2(0). (32)
I Cj(t) K d2e-»T,
(28)
I j(t) K d4e-^T,
I C(£,t) K d3e-»lT,
(29)
I CT(£,t) K d5e-ßlT
The value of N2(0) can be found from another representation of N2(t): 1
N2(t) = i(He(0, t) - He(1,t)) + nP (A(£,t) - C(£,t))d£de.
Thus 1 ^
N2(0) = P-(H05(0) - Hoe(1)) + nP JQ JQ (Ao(0 - Co(£))d£de.
Considering (27) and using inequalities (31), (29), the following estimate is obtained
3 2
| N2(T) K ^[(G3(T)G4(T))4e^"^- +4d3e-^T], T G [0, To]. (33)
A similar assessment takes place for HT(£,t), N1(t)
| Ft(£,t) K V2(Gs(t)G6(t))1 e-^T,
3 , 2 P (34)
| Ni(T) ^|[(G5(T)G6(T))4e- T +4d3e-^lT], T G [0, To].
where G5(t) and G6(t) follow from G3(t) and G4(t) when the term A(£,t) + C(£, t) is replaced with AT(£,t) + CT(£,t), and Fo(£) is replaced with FT(£, 0). Moreover (see (32))
1 /•«
Ft(£, 0) = -Fo55(£) - nP J (Ao(0 + Co(£№ + Ni(0),
Ni(0) = -1(Fo5(0) - Fo5(1)) + nP 0 f(Ao(0 + Co(£))d£de.
Thus, if Aj (t), Cj (t) G C 1[0,To] and inequalities (28) are satisfied then solution of inverse initial boundary value problem (15), (10) and (14) satisfies a priori estimates (25), (26), (30)-(34). In addition, similarly to estimates (30), Fee(£, t), Hee(£, t) are bounded for any £ G [0,1], t G [0,To].
Remark 5. If Aj(t), Cj(t) G C 1[0,to]; Ao(£), Co(£) G C2[0,1] then it follows from the maximum principle for parabolic equations that
I A(£,t) |< max max I Ao(£) I, max I Aj(t) I
L ee[o,1] t e[o,To] JW
| C(£,t) max [ max | Co(£) |, max | C (t) |
L ee[o,1] t e[o,To]
I AT(£,t) max max I Aoee(£) I, max I AjT(t) I TVS' 7 1 Ue[o,1] t e[o,To^ jT
I CT(£,t) max max I Coee(£) I, max I CjT(t) I
Lee[o,1] t e[o,To] J
Therefore, the boundedness of | F(£,t) |, | H(£,t) |, | ft(£,t) |, | ht(£,t) |, | Fee(£,t) |, l Hee(£,t) ^ | N1 (t) ^ | N2(t) ^ with £ G [0,1], t G [0, to] takes place for weaker conditions on functions Aj (t), Cj (t).
Relations for G1(t), G3(t), G5(t) contain integrals of exponent en pt . Therefore, the use of a priori estimates for the behaviour of the solution at t ^ 1 requires the fulfilment of conditions (28), so that there are estimates (29) with some constant n > 0. Let us assume that Aj(t), Cj(t), AjT(t), AjT(t) are defined and continuously differentiable for all t > 0. If ¡i1 = Pn2 + y,
Y > 0 then the specified integrals in relations for G\(t), G3(t), G5(t) and in the right-hand sides of inequalities (25), (26), (30)-(34) converge exponentially to zero.
Let us assume that inequalities (28) and estimates for derivatives (29) are satisfied. Considering the differences F(£, t) - Fs(£), H(£, t) - Hs(£), N(t) - Ns, j = 1,2, let us ensure that they satisfy the same initial boundary value problems as F(£,t), H(£,t), Nj(t). The difference is only in the initial conditions. They are replaced with F0(£) - Fs(g), H0(g) - Hs(£), Nj(0) - Ns, respectively. Therefore, the estimates follow from given above inequalities (p,\ = n2 + j)
(I F(£,T) - Fs(0 \, \ H(£,T) - Hs(0 \, \ Ft(£,T) \, \ Ht(£,T) \,
t v
2
| Nj(t) - Nj \) < De~-r
with some constant D > 0.
Therefore, stationary solution (15) is exponentially stable under the given above conditions.
Solution of non-stationary problem by the Laplace method
Non-stationary solution of problem (10)-(12), (15) is found using the integral Laplace transform [14]. In our case, the method reduces the solution of non-stationary partial differential problem to the solution of a system of ordinary differential equations (ODEs). Applying the Laplace transform to the initial boundary value problem
At = %,
A(S, 0) = Ao(0, A(0,T)= Ai(T), A(1,T)= A2(T),
the following system of ODEs for the Laplace images is obtained
A55 - sA = -Ao (0, A(0,s) = A-i(s), A(1,s) = A2(s).
Taking into account (35), one can find A(£, s)
(35)
1
+7
A(ts) = ihmA2(s) + mv~s) Ai(s)+
sh(f1 Ao(0sh(7~s(1 - OH - t Ao(e)sh(7~s(t - e))de Jo Jo
_ jo
Similarly, function C(z, s) is defined as
(36)
C(ts) = ihm°2(s) + shw Ci(s)+
1
+ 7s
^f Co(t)sh(7S(1 - t))dt -i Co(e)sh(7~s(t - e))de sh(Vs) Jo Jo
(37)
Therefore, A(£, s) and C(£, s) are known functions. Similarly, function Q(£, s) is
e(t, s) = 2s (^^^ /W s) + C(t s)) sh(7s(1 - Z))d£-VA sh(Vs) Jo
- j (A(e, s) + C(e, s))sh(2~s(Z - e))d^j .
Equation for function F(£, t) in Laplace images has the form
s - fe ~ 1 „ Fee - PF = n Jo (A(e, s) + C(e, s))de - pm(s) - Fo(£),
F(0,s) = F(1, s) =0.
Then solution of problem (39) is
*£,.) = ^^SPi f1 f\M(,.) + ¿(Cs)) x
Vs sh^s/P) Jo Jo
x sh(^S/P(£ - e))d£de + ^ f f (A(Z, s) + C(Z, s)) x
s Jo Jo
x sh^yiSJP(£ - e))d£de - ^V^ - 1 W(s) - PFo(£)) + P/? Fo(£)d£+
o( .. , ,
's J o
^•/sPO^> - 1- PFo(£)) - Psh'/^sh(^' ie Fo(£)d£.
sh( s/P s sh( s/P s o
Let us find NV1(s) from (12). Introducing
r = (sh vsP/vsP - 1)/PVP - ((c^vis/P - 1)/^)2/V7Psh v^/P, one can obtain
nVP[ '1 re rE
ooo
(40)
Ni(s) =
i t i (Ä(Z, s) + (7(C,s))sh(V^(1 - e))d£ded£-Jo Jo Jo
^ 1 /7C(a|(£'S) + C(e,s))sh(^//P(1 - £))ded£- (41)
Vs sh^s/P) Jo Jo
-PFo(£)+ P/? Fo(£)d£
Similarly, find function H(£, s)
H (£•') = ^h™/ 7' (i(Cs) - C (Z,s)) x
Vs sh^s/P) Jo Jo
x sh(^s/P(£ - e))d£de + ^ f f (Ä(Z, s) - C(Z, s)) x
s Jo Jo
x sh(y^/P(£ - e))dZde - ch^V^7P£) - 1 (^(s) - PHo(£)) + P/? Ho(£)d£+
^vs^cM^) - 1 (NN2(s) - PHo(£)) - PsMvsPg sh(^) t Ho(£)d£.
sh(y^s/P) s sh^V^/P) v^ Jo { '
Function N2(s) is defined from (12) as follows
. nVP[ ''1 ''e ''e
(42)
N2(s)
i i fE(Ä(Z,s) - C(C, s))sh(v^P(1 - £))dZded£-Jo Jo Jo
1 T /^M) - (7(e,s))sh(VsTP(1 - £))ded£-
Vs sh(Vs/P) Jo Jo
-PHo(£) + PHo(£)d£
0
0
Conditions for tendency of non-stationary solution to a given stationary solution
Suppose there are limits
Tlim Aj(t) = A°, Tlim Cj(t) = Cj, j = 1, 2, (44)
and derivatives Aj(t), Cj(t) have Laplace images. Then [14]
lino sAj (s) = lim Aj(t) = C0, lino sCj(s) = lim Cj(t) = C0. (45)
Next, asymptotic expressions when t ^ 0 for functions sh(t) and ch(t) are used: sh(t) — t +t3/6, ch(t) - 1+12¡2.
The proof is given for function Q(£, s). The following relation is obtained for s ^ 0
sO(t,s) t (sA(t,s) + sC(t,s))
s
- i (sA(e, s) + sC(e,s)) Jo
' 1
(V~s(1 - 0) + ^(1 -t))
(VS(t - e)) +
6
(7(t - e))3
dt-
6
de
(
3 [A2 + Co - (Aoi + C°)] + A1 + co) t-
- (1[A2 + co - (A1 + co)]e3 + [A? + co^ = os(0.
Lemma 1. Under conditions (44), (45) the non-stationary solution of problem (10),(11), (12), (15) approaches stationary solution (16) when dimensionless time t increases.
Finding the originals of required functions
Functions (36), (37) are Laplace images. The inverse Laplace transform is used to determine the originals.
It is assumed that Aj (t), Cj (t) have the form
Aj(t) = A0 + eji exp [-YjiT] sin(uiT), Cj(t) = Cj + ej? exp [-y-2t] sin(u?T).
Then, their images are easily found from the Laplace transform table [15]
oo
A ■ (s) = A +_jUi_ c-(s) = CL +_LU__(46)
A (s) s +(s + Yji)2 + u? ,Cj (s) s +(s + Yj2)2 + u2?, (46)
where Yji > 0, Yj? > 0, i.e., the boundary mode is stabilized with time according to Lemma 1. If one of the values of Yji, Yj? is negative then there is no stabilization effect of the solution.
At this point, for simplicity, it is assumed that motion arises from the state of rest and A0(£) = C0(^) = 0. In this case, compatibility conditions (13) are violated since Ai(0) = Ao(0) = 0, Ci(0) = Co(0) = 0, that is, there are discontinuities of the 1st kind. This is acceptable since the integral Laplace transform is applicable for functions that have a finite number of discontinuities of the 1st kind [15].
Expressions for Ä(£, s), C(£, s), F(£, s), NV1(s) are simplified as
'Ä2 eiawi ) sh(-y/s£) + (Ä? + di^i ^ sh^l - £))
Ä(£, s) = +
s (s + 7i2)2 + ^U sh^V^)
' r<o
<?(£,s)=( - +
£22^2
sh( /£) / CO +
(s + 7n)2 + w2y sh^vs) ' £2i^2 \sh^V«(1 - £))
s (s + Y22)2 + ^y sh^ys) \s (s + Y2i)2 + w^y sh^Vs)
^(£,s) =
t C(A(Z, s) + CK s)) sh( V/P(£ - £))dZde-Jo Jo
^^ffi T f(A(Z,s) + C(Z,s))sh(V/P(£ - e))dZde sh^s/P) Jo Jo
ch(V^£) -1 Ni(s) + sMT^CM^) -1 Ni(s),
Ni(s)
M^s/P) s
ff V (i(Z,s) + ¿(Z^s^^/Pa - e))dZded£-Jo Jo Jo
1 f i f (A(e,s) + C^s^s^^(1 - £))ded£
sh(^s/P) Jo Jo
Expressions for H(£, s), N2(s) have the same form only terms A(Z, s) + C(Z, s) are replaced by i(Z,s) - C(Z, s).
Function ©(£, s) has the following form
e(£,s) = /
3h^v/s£)
I (A(n, s) + C(n, s)) sh(/s(1 - n))dn-Jo
s \ sh^V«) Jo - J (A(n, s) + C(n, s)) sh(^~s(£ - n))d^j .
After numerical inversion of the Laplace transform functions Nj(t) are obtain (see Fig. 3), where Ao = 1.3, Ao = 1, C2o = 2.7, C°o = 2, e 12 = 1.2, e 1 1 = 1, e22 = 1.6, e2 1 = 1.8, w 1 = 0.1, w2 = 0.2, y12 = 0.04, 711 = 0.03, y22 = 0.07, y21 = 0.06, x = 0.00143 m2/sec, v = 0.01006 m2/sec, 3 = 1.82 • 10-4 1/deg, l = 10-4 m, g = 9, 81 m/sec2.
Fig. 3. Functions Nj(t) versus dimensionless time
n
Dimensionless velocities
timeu(£, T) = ——u = (F + H)x, v(£, t) = —— u = (F — H)y,
are shown in Fig. 4, 5 (x = y = 1).
Fig. 4. Velocity t) as a function of dimensionless coordinate
-3
jt^ -
sialic ■ — r=20 nary solution 0
if ■Ov \ ♦ -r=60 r=25
V \\ ¡f
ijv.. // . /■y
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.0 0.9 1
f
Fig. 5. Velocity t) as a function of dimensionless coordinate
Fig. 3 clearly shows that functions Nj (t) approach constant values with increasing time. Figs. 4 and 5 show velocities along the x and y axes. One can see that distribution of velocities practically coincides with stationary distribution of velocities for large t.
This work is supported by the Krasnoyarsk Mathematical Center and financed by the Ministry of Science and Higher Education of the Russian Federation in the framework of the establishment and development of regional Centres for Mathematics Research and Education (Agreement no. 075-02-2023-912).
References
[1] K.Hiemenz, Die Grenzschicht an einem in den gleichförmigen Flüssigkeitsstrom eingetauchten geraden Kreiszylinder, Dinglers Poliytech, 326(1911), 321-440.
[2] F.Howann, Der Einfluss grosser Zähigkeit bei der Strömung um den Zylinder und um die Kugel, Zeitschrift für Angewandte Mathematik und Mechanik, 16(1936), 153-164.
[3] L.Howarth, The boundary layer in three-dimensional flow. Part II. The flow near a stagnation point, Lond. Edinb. Dubl. Phil. Mag.: Series 7, 42(1951), no. 335, 1433-1440.
[4] A.Davey, Boundary-layer flow at a saddle point of attachment, J. Fluid Mech, 10(1961), no. 4, 593-610.
[5] C.Y.Wang, Axisymmetric stagnation flow on a cylinder, Q. Appl. Math., 32(1974), no. 2, 207-213.
[6] R.S.R.Gorla, Unsteady laminar axisymmetric stagnation flow over a circular cylinder, Develop. Mech, 9(1977), 286-288.
[7] V.B.Bekezhanova, V.K.Andreev, I.A.Shefer, Influence of heat defect on the characteristics of a two-layer flow with the Hiemenz-type velocity, Interfacial Phenomena and Heat Transfer, 7(2019) no. 4, 345-364. DOI: 10.1615/InterfacPhenomHeatTransfer.2020032777
[8] V.K.Andreev and etc., Mathematical Models of Convection, Berlin, Boston: De Gruyter, 2020.
[9] S.N.Aristov, D.V.Knyazev, A.D.Polyanin, Exact solutions of the Navier-Stokes equations with linear dependence of the velocity components on two spatial variables, Theoretical foundations of chemical technology, 43(2009), no. 5, 547-566. DOI: 10.1134/S0040579509050066
10] C.C.Lin, Note on a class of exact solutions in magneto hydrodynamics, Arch. Rational Mech. Anal., 1(1958), 391-395.
11] V.A.Ilyin, On the solvability of mixed problems for hyperbolic and parabolic equations, Russian Math. Surveys, 15(1960), no. 2, 201-209. DOI: 10.1070/RM1960v015n02ABEH004217
12] A.Friedman, Partial differential equations of parabolic type, Mir, 1968 (in Russian).
13] M.A.Lavrentiev, Methods Of The Theory Of Functions Of A Complex Variable, 4-th ed., rec. and aug., Moscow, Nauka, 1973 (in Russian).
14] G.Carslow, Thermal conductivity of solids, Moscow, Nauka, 1964 (in Russian).
15] F.R.Hoog, An improved method for numerical inversion of Laplace transforms, SIAM J. Sci. Stat. Comp., (1992), no. 3, 357-366.
Ползучее трехмерное конвективное движение в слое с полем скоростей специального вида
Андрей А. Азанов
Институт вычислительного моделирования СО РАН Красноярск, Российская Федерация
Аннотация. Исследована задача о трехмерном движении теплопроводной жидкости в канале твердыми параллельными стенками, на которых поддерживается заданное распределение температуры. Температура в жидкостях квадратично зависит от горизонтальных координат, а поле скоростей имеет специальный вид. Возникающая начально-краевая задача для модели Обербека-Буссинеска является обратной и редуцирована к системе пяти интегродифференциальных уравнений. При малых числах Рейнольдса (ползущие движения) полученная система становится линейной. Для этой системы найдено стационарное решение, получены априорные оценки. На их основе установлены достаточные условия экспоненциальной сходимости гладкого нестационарного решения к стационарному режиму. В изображениях по Лапласу решение обратной задачи построено в виде квадратур, при более слабых условиях на температурный режим на стенках слоя. Приведены результаты расчетов, на основе численного обращения преобразования Лапласа, поведения поля скоростей для конкретной жидкой среды.
Ключевые слова: модель Обербека-Буссинеска, трехмерное движение, обратная задача, априорные оценки, устойчивость, преобразование Лапласа.