A New Approach to Solving Two-Dimensional Unsteady Incompressible Navier-Stokes Equations

Abstract

This paper proposes a new approach that combines the reduced differential transform method (RDTM), a resummation method based on the Yang transform, and a Padé approximant to the kinetically reduced local Navier-Stokes equation to find approximate solutions to the problem of lid-driven square cavity flow. The new approach, called PYRDM, considerably improves the convergence rate of the truncated series solution of RDTM and also is based on a simple process that yields highly precise estimates. The numerical results achieved by this method are compared to earlier studies’ results. Our results indicate that this method is more efficient and precise in generating analytic solutions. Furthermore, it provides highly precise solutions with good convergence that is simple to apply for great Reynolds and low Mach numbers. Moreover, the new solution’ graphs demonstrate the new approach’s validity, usefulness, and necessity.

Share and Cite:

Hasan, Z. and Al-Saif, A. (2022) A New Approach to Solving Two-Dimensional Unsteady Incompressible Navier-Stokes Equations. Journal of Applied Mathematics and Physics, 10, 3218-3239. doi: 10.4236/jamp.2022.1010214.

1. Introduction

Fluid flow is an important engineering phenomenon that has piqued the interest of both theoretical and practical scientists. Several of these studies concentrate on mathematical models that simulate these phenomena. In order to obtain analytical and numerical solutions for the Navier-Stokes equations, which are the fundamental model for describing fluid motion, researchers devote the substantial effort. This paper examines two-dimensional Navier-Stokes equations describing unstable viscous incompressible flows. The form of the non-dimensional momentum and continuity equations is as follows:

u t = ( u u x + v u y + p x ) + 1 R e ( u x x + u y y ) , v t = ( u v x + v v y + p y ) + 1 R e ( v x x + v y y ) , (1)

and

u x + v y = 0 . (2)

where tis the physical time, u ( x , y , t ) and v ( x , y , t ) are the fluid velocity components, P ( x , y , t ) is the pressure, and Re is the Reynolds number. Because the Navier-Stokes equations are certain partial differential equations that describe the motion of viscous fluid substances, named after the French engineer and physicist Claude-Louis Navier and Anglo-Lish physicist and mathematician George Gabriel Stoke. Because there is no explicit equation for estimating pressure, and these equations are difficult to solve, various studies have proposed the thermal model of incompressible fluid flows as a substitute. The kinetically reduced local Navier-Stokes (KRLNS) equations are one of these alternative equations. [1] [2] [3] [4] [5], which are derived by substituting the pressure by

P = g + u 2 + v 2 2 (3)

and the continuity equation by

g t = 1 ( M a ) 2 ( u x + v y ) + 1 R e ( g x x + g y y ) , (4)

where Ma is the Mach number, and g ( x , y , t ) is the grand potential. The time scale in INS equations is related to that of KRLNS equations; t K R L N S ( τ ) = M a × t N S . The KRLNS equation system thus takes the following form.

u t = ( 2 u u x + v v x + v u y + g x ) + 1 R e ( u x x + u y y ) , v t = ( u v x + u u y + 2 v v y + g y ) + 1 R e ( v x x + v y y ) , g t = 1 ( M a ) 2 ( u x + v y ) + 1 R e ( g x x + g y y ) . (5)

All papers that provided the KRLNS equations for modeling unsteady incompressible viscous flow problems employed numerical ways to solve them. The KRLNS equations are proposed in [6] for modeling low Mach number flows, and the numerical solution of the three-dimensional Taylor Green vortex flow was found using the spectral element technique. In [3], the four-stage Runge-Kutta method and the central difference scheme are used to solve the KRLNS equations in order to simulate two-dimensional shear layers and to decay homogeneous isotropic turbulence; the numerical results are then compared to those from other methods, such as the artificial compressibility method and the lattice Boltzmann method. In [5], higher-order difference approximations are employed to determine the solutions of the two-dimensional KRLNS equations simulations of the Womersley equation with doubly periodic shear layers. In [2] simplifies and compares the two-dimensional KRLNS system to Chorin’s artificial compressibility approach for steady-state computation of flow in a two-dimensional lid-driven cavity and Taylor-Green vortex flow. The lid-driven cavity problem concerns the flow in a box cavity with no wall slippage and one or more moving walls that move continuously. It has been widely utilized as a benchmark case for the research of computing techniques for solving Navier-Stokes equations because of the geometry’s and boundary conditions’ simplicity. Through the use of various numerical techniques in cavities that are rectangular or square, numerous research papers have offered answers to this problem. In [7], for instance, the Chebyshev-collocation approach in space is used with the Adams-Bash forth backward-Euler scheme to determine the solution of a three-dimensional lid-driven cavity. In [8] describes how to solve both the stable and unstable two-dimensional lid-driven cavity issue at a high Reynolds number using the implicit cell-vertex finite volume method. In [9] employs the finite volume approach with numerical approximations of second-order accuracy and successive Richardson extrapolations to solve the issue of flow within a square cavity with constant velocity. The stable two-dimensional incompressible lid-driven square cavity flow problem is solved using a stream function-velocity formulation in [10], which provides a compact finite difference approximation for non-uniform orthogonal Cartesian grids. Numerous analytical techniques can be used without a perturbation parameter. First, in 2009, the Turkisch mathematician Keskin [11] proposed for the first time the reduced differential transform method (RDTM). Since it has been used by numerous authors to address a wide range of issues, it has attracted a lot of attention [12] [13] [14] [15] [16]. Second, a novel integral transform is the Yang transform (YT), suggested by Xiao-Jun [17] in 2016. It was initially used in the equation for steady-state heat transfer. Notably, this technique is accurate and successful in determining analytical solutions for partial equations, and it is employed by a variety of researchers to address various issues. [18] [19]. In 2018, Dattu [20] presented the essential properties of the Yang transform and used Yang transform to solve differential issues with constant coefficients. Third, Henri Padé (1863-1953) presented an approximation technique in his doctoral thesis in 1892 which is called Padé approximation. Since it has been used by numerous authors to address a wide range of issues, it has attracted a lot of attention [21] [22] [23] [24] [25]. Therefore, in this study, we present a new approach that combines (RDTM, Padé approximation, and YT) for finding analytical solutions for KRLNS. The solution to KRLNS is obtained in convergent series forms using YRDTM. After that, we create its Pad’e approximant of an order [L/M] to convert the power series solution obtained by YRDTM into a meromorphic function. The values forL and M are selected at random. In this stage, the Pad’s approximant improves the accuracy and convergence of the truncated series solution by expanding the domain of that solution. This is an approach that we name PYRDTM. The main goal of this work is to describe a new approach to solving KRLNS. According to the calculations shown in the tables and figures, The PYRDTM procedures are very effective and more accurate in resolving unsteady viscous incompressible flow problems at low Mach numbers and for various Reynolds numbers. Additionally, by solving this problem, we presented the PYRDTM as a handy tool with great potential to solve nonlinear PDE.

2. Reduced Differential Transform Method

In 2009, the Turkish mathematician Keskin [11] suggested the reduced differential transform method (RDTM) to study the analytical solutions of linear and non-linear wave equations. RDTM reduces the size of computational work and is easily applicable to many non-linear physical problems. The following are the basic definitions and operations of the two-dimensional reduced differential transform method [26] [27] [28] [29] (Table 1).

Definition 2.1.

If function u ( x , y , t ) is analytic and differentiated continuously with respect to time and space in the domain of interest, then let

U k ( x , y ) = 1 k ! [ k t k u ( x , y , t ) ] t = 0 , (6)

where the t-dimensional spectrum function U k ( x , y ) is the transformed function in this work, the lower case u ( x , y , t ) represents the original function while the upper case U k ( x , y ) represents the transformed function.

Definition 2.2.

The differential inverse transform of U k ( x , y ) is defined as

u ( x , y , t ) = k = 0 U k ( x , y ) ( t t 0 ) k , (7)

Table 1. The fundamental operations of RDTM.

then by combining Equations (6) and (7) we obtain

u ( x , y , t ) = k = 0 1 k ! [ k t k u ( x , y , t ) ] t = 0 t k . (8)

It is worth noting that the function u ( x , y , t ) can be expressed as a finite series as follows:

u n ( x , y , t ) = k = 0 U k ( x , y ) ( t t 0 ) k + R n ( x , y , t ) , (9)

when the tail function R n ( x , y , t ) is insignificant. As a result, the exact solution to the issues is given

u ( x , y , t ) = lim n u n ( x , y , t ) . (10)

3. Yang Transform

The integral transforms play a significant role in a variety of scientific disciplines and works of literature; they are used extensively in mathematical physics, optics, mathematical engineering, and other disciplines to solve differential equations such as those of Laplace, Fourier, Mellin, Hankel, and Sumudu. Recently, Xiao-Jun Yang [17] suggested a novel integral transform named the Yang Transform. It was initially used for the equation for steady-state heat transfer. Yang transform of function u ( t ) is denoted by Y { u ( t ) } or T ( s ) and is defined as [17],

Y [ u ( t ) ] = T ( s ) = 0 e t s u ( t ) d t , t > 0 (11)

Provided the integral exists for somes, where s ( t 1 , t 2 ) .

If we substitute t s = x then Equation (11) becomes,

Y [ u ( t ) ] = T ( s ) = s 0 e x u ( s x ) d x , x > 0 (12)

3.1. Yang Transform of Some Functions [17]

Yang transform of some useful functions is given below.

1) Y { 1 } = s ,

2) Y { t } = s 2 ,

3) Y { t n } = n ! s n + 1 ,

4) Y { e λ t } = s 1 λ s ,

5) Y { sin λ t } = λ s 2 1 + λ 2 s 2 ,

6) Y { cos λ t } = s 1 + λ 2 s 2 ,

7) Y { sin λ t } = λ s 2 1 λ 2 s 2 ,

8) Y { cos λ t } = s 1 λ 2 s 2 .

3.2. Yang Transform of Derivatives [26]

If Y [ u ( t ) ] = T ( s ) then

1) Y [ u ( x , t ) t ] = T ( x , s ) s u ( x , 0 ) ,

2) Y [ 2 u ( x , t ) t 2 ] = T ( x , s ) s 2 u ( x , 0 ) s u ( x , 0 ) t ,

3) Y [ n u ( x , t ) t n ] = T ( x , s ) s n k = 0 n 1 s n + k + 1 ( k ) u ( x , 0 ) t k n = 1 , 2 , 3 , 4 ,

4. The Padé Approximants

Suppose that, we are given a power series r = 0 c r x r , representing a function f ( x ) , so that

f ( x ) = r = 0 c r x r (13)

The Padé approximant is a rational fraction, and its notation is as follows [22],

[ L / M ] = A L ( x ) B M ( x ) , (14)

where A L ( x ) is a polynomial of degree at most L and B M ( x ) is a polynomial of degree at most M. We have

f ( x ) = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + c 4 x 4 + , (15)

A L ( x ) = a 0 + a 1 x + a 2 x 2 + a 3 x 3 + + a L x L ,

B M ( x ) = b 0 + b 1 x + b 2 x 2 + b 3 x 3 + + b M x M ,

there are L + 1 numerator coefficients and M + 1 denominator coefficients in Equation (14). We impose the normalizing condition since we can obviously multiply the numerator and denominator by a constant while leaving [ L , M ] unaltered

B M ( 0 ) = 1 . (16)

As a result, there are L + 1 independent numerator coefficients and M independent denominator coefficients, for a total of L + M + 1 unknown coefficients. This number implies that the [ L , M ] should generally fit the power series (13) through the orders 1 , x , x 2 , , x ( L + M ) . Using the conclusion from [22]. We know that the [ L , M ] approximation is determined uniquely.

In formal power series notation,

r = 0 c r x r = a 0 + a 1 x + a 2 x 2 + + a L x L b 0 + b 1 x + b 2 x 2 + + b M x M + O ( x L + M + 1 ) . (17)

Using cross-multiplying Equation (17), we discover

( b 0 + b 1 x + b 2 x 2 + + b M x M ) ( c 0 + c 1 x + c 2 x 2 + c 3 x 3 + c 4 x 4 + ) = a 0 + a 1 x + a 2 x 2 + + a L x L + O ( x L + M + 1 ) (18)

From Equation (18), the set of equations can be found.

{ c 0 = a 0 , c 1 + c 0 b 1 = a 1 , c 2 + c 1 b 1 + c 0 b 2 = a 2 , c L + a L 1 b 1 + + c 0 b L = a L , (19)

and

{ c L + 1 + c L b 1 + + c L M + 1 b M = 0 , c L + 2 + c L + 1 b 1 + + c L M + 2 b M = 0 , c L + M + c L + M 1 b 1 + + c L b M = 0 , (20)

where c n = 0 for n < 0 and b j = 0 for j > M .

If Equations (19) and (20) are not unique, we can immediately solve them.

[ L M ] = | c L m + 1 c L m + 2 c L + 1 j = M L c j M χ j j = M 1 L c j M + 1 χ j j = 0 L c j χ j | | c L m + 1 c L m + 2 c L + 1 c L + 1 c L + 1 c L + M x M x M 1 1 | .

If the lower index of an amount is greater than the higher index, the sum is replaced by zero. Alternative forms include

[ L / M ] = j = 0 L M c j x j + x L M + 1 w L / M T W L / M 1 w L / M = j = 0 L + n c j x j + x L + n + 1 w ( L + M ) / M T W L / M 1 w ( L + n ) / M ,

for

W L / M = [ c L M + 1 χ c L M + 2 c L χ c L + 1 c L χ c L + 1 c L + M + 1 χ c L + M ] , W L / M = [ c L M + 1 c L M + 2 c L ] .

The construction [L/M] of approximants can be made only by algebraic operations [22]. Each choice of L degree numerator and M degree denominator results in an approximation. How to steer the choice to produce the best approximation is the technique’s main point of difficulty. This necessitates the application of a selection criterion that is based on the solution’s shape. The choice of [L/M] approximants has proven to be a useful criterion in this situation.

5. The Hybrid Method Algorithm

Consider a general nonlinear non-homogenous partial differential equation with initial conditions of the form:

L u ( x , y , t ) + R u ( x , y , t ) + N u ( x , y , t ) = g ( x , y , t ) , (23)

with initial condition

u ( x , y , 0 ) = h ( x , y ) , (24)

where L = t , R are a linear differential operators, N is a nonlinear operator and g ( x , y , t ) is an inhomogeneous term.

Taking the Yang transform on both sides to Equation (23), to get:

Y [ L u ( x , y , t ) ] + Y [ R u ( x , y , t ) ] + Y [ N u ( x , y , t ) ] = Y [ g ( x , y , t ) ] . (25)

Using the differentiation property of the Yang transforms (2.3) and above initial conditions, we have:

Y [ u ( x , y , t ) ] = s Y [ g ( x , y , t ) ] + s h ( x , y ) s Y [ R u ( x , y , t ) + N u ( x , y , t ) ] , (26)

applying the inverse Yang transform on both sides to Equation (26), to find:

u ( x , y , t ) = G ( x , y , t ) Y 1 { s Y [ R u ( x , y , t ) + N u ( x , y , t ) ] } .

where G ( x , y , t ) represents the term arising from the source term and the prescribed initial conditions.

Now, we apply the reduced differential transform method:

U ( x , y , 0 ) = G ( x , y , t ) , (27)

U ( x , y , k + 1 ) = Y 1 { s Y [ R U ( x , y , k ) + N U ( x , y , k ) ] } , (28)

where R U ( x , y , k ) , N U ( x , y , k ) are transformation of functions. R u ( x , y , t ) , N u ( x , y , t ) , respectively. This is coupling of Yang transform and reduced differential transform method.

Then by YRDTM we have the solution of Equation (23), with initial condition (24) in the form of infinite series which converge to the exact solution as follows:

u ( x , y , t ) = k = 0 U ( x , y , k ) . (29)

After that, we applied its Pad’e approximant of an order [L/M] on the power series solution. The values L and M are arbitrarily selected. In this stage, the Pad’s approximant improves the accuracy and convergence of the truncated series solution by expanding the domain of that solution.

6. Applications

In this section, we solve the problem mentioned in (5) using PYRDTM to show the correctness, efficiency, and convergence of the proposed approach.

In order to apply PYRDTM to KRLNS equation to obtain approximate solutions to the lid-driven square cavity flow problem. The exact solution to the problem’s steady state [30] [31] [32] takes the initial conditions into account in this test:

u ( x , y ) = 8 r ( x ) c ( y ) , v ( x , y ) = 8 r ( x ) c ( y ) , g ( x , y ) = 8 R e ( F ( x ) c ( x ) + r ( x ) c ( y ) ) + 64 F 1 ( x ) ( c ( y ) c ( y ) ( c ( y ) ) 2 ) , (30)

where

r ( x ) = x 4 2 x 3 + x 2 , c ( y ) = y 4 y 2 ,

F ( x ) = r ( x ) d x , F 1 ( x ) = r ( x ) r ( x ) d x ,

such that the stream function ψ and vorticity ω are defined as

ψ = 8 r ( x ) p ( y ) , suchthat ψ y = u , and ψ x = v , ω = v x u y = 8 ( r ( x ) c ( y ) + r ( x ) c ( y ) ) . (31)

PYRDTM can be used to find the analytical-approximate solution to KRLNS, as shown below; by taking the Yang transform on both sides to Equation (5) subject to the initial condition (30), we have

Y [ u ( x , y , t ) ] = S u ( 0 ) + S Y [ 2 u u x v v x v u y g x + 1 R e ( 2 u x 2 + 2 u y 2 ) ] , (32)

Y [ v ( x , y , t ) ] = S v ( 0 ) + S Y [ u v x u u y 2 v v y g y + 1 R e ( 2 v x 2 + 2 v y 2 ) ] , (33)

Y [ g ( x , y , t ) ] = S g ( 0 ) + S Y [ 1 m a ( u x + v y ) + 1 R e ( 2 g x 2 + 2 g y 2 ) ] , (34)

by applying the inverse Yang transform to Equations (32), (33), and (34), we have

u ( x , y , t ) = u ( 0 ) + Y 1 ( S Y [ 2 u u x v v x v u y g x + 1 R e ( 2 u x 2 + 2 u y 2 ) ] ) , (35)

v ( x , y , t ) = v ( 0 ) + Y 1 ( S Y [ u v x u u y 2 v v y g y + 1 R e ( 2 v x 2 + 2 v y 2 ) ] ) , (36)

g ( x , y , t ) = g ( 0 ) + Y 1 ( S Y [ 1 m a ( u x + v y ) + 1 R e ( 2 g x 2 + 2 g y 2 ) ] ) , (37)

applying the reduced differential transform method to Equations (35), (36), and (37), we have

U ( x , y , k + 1 ) = Y 1 ( S Y [ 2 A ( x , y , k ) B ( x , y , k ) C ( x , y , k ) x g ( x , y , k ) + 1 R e ( 2 x 2 V ( x , y , k ) + 2 y 2 V ( x , y , k ) ) ] ) , (38)

V ( x , y , k + 1 ) = Y 1 ( S Y [ D ( x , y , k ) E ( x , y , k ) 2 F ( x , y , k ) y g ( x , y , k ) + 1 R e ( 2 x 2 V ( x , y , k ) + 2 y 2 V ( x , y , k ) ) ] ) , (39)

G ( x , y , k + 1 ) = Y 1 ( S Y [ 1 m a ( x U ( x , y , k ) + y V ( x , y , k ) ) + 1 R e ( 2 x 2 G ( x , y , k ) + 2 y 2 G ( x , y , k ) ) ] ) , (40)

with

U ( x , y , 0 ) = 16 x 2 y ( 2 y 2 1 ) λ 2 , V ( x , y , 0 ) = 16 ( 2 x 3 3 x 2 + x ) ( y 4 y 2 ) , G ( x , y , 0 ) = 32 x y R e ( ( 4 y 2 3 x + 6 x 2 5 ) x 2 ( 2 y 2 1 ) ( 3 x 1 ) ) 64 λ 2 x 2 y 2 [ x 3 ( 10 y 4 9 y 2 + 3 ) ( x 2 ) x 2 ( 8 y 6 6 y 4 y 2 + 3 ) 2 y 2 μ 2 ξ 2 ( 4 x 1 ) ] . (41)

where A ( x , y , k ) , B ( x , y , k ) , C ( x . y , k ) , D ( x , y , k ) , E ( x , y , k ) and F ( x , y , k ) are the reduced differential transformed of u u x , v u x , v u y , u v x , u u y , v v y , and having the value,

A ( x , y , k ) = r = 0 k U ( x , y , r ) ( U ( x , y , k r ) ) x , B ( x , y , k ) = r = 0 k V ( x , y , r ) ( V ( x , y , k r ) ) y , C ( x , y , k ) = r = 0 k V ( x , y , r ) ( U ( x , y , k r ) ) y , D ( x , y , k ) = r = 0 k U ( x , y , r ) ( V ( x , y , k r ) ) x , E ( x , y , k ) = r = 0 k U ( x , y , r ) ( U ( x , y , k r ) ) y , F ( x , y , k ) = r = 0 k V ( x , y , r ) ( V ( x , y , k r ) ) y , (42)

from relationships (38), (39), (40), and (41), give us the values of U ( x , y , k ) , V ( x , y , k ) , and G ( x , y , k ) as follows;

U ( x , y , 0 ) = 16 x 2 y ( 2 y 2 1 ) λ 2 , (43)

U ( x , y , 1 ) = 0 , (44)

U ( x , y , 2 ) = 1 5 1 R e 2 ( ( 184320 y x 2 R e 2 λ 2 ( ( y 6 1 2 y 4 + 2 9 y 2 1 36 ) x 8 + ( 4 y 6 + 2 y 4 8 9 y 2 + 1 9 ) x 7 + ( 5 y 8 + 118 9 y 6 1 6 35 6 y 4 + 37 18 y 2 ) x 6 + ( 15 y 8 76 3 y 6 + 1 9 + 21 2 y 4 55 18 y 2 ) x 5 + ( 4 y 10 53 2 y 8 1 36 + 293 9 y 6 143 12 y 4 + 31 12 y 2 ) x 4

+ ( 8 y 10 + 28 y 8 248 9 y 6 + 26 3 y 4 10 9 y 2 ) x 3

+ ( 58 9 y 10 317 18 y 8 + 136 9 y 6 149 36 y 4 + 7 36 y 2 ) x 2 22 9 y 4 μ 2 x ξ 2 ( y 2 1 2 ) + 1 3 y 10 5 6 y 8 + 2 3 y 6 1 6 y 4 ) + ( ( 9216 y 2 1536 ) x 9 + ( 41472 y 2 + 6912 ) x 8 + ( 543744 y 4 104448 y 2 + 1024 ) x 7 + ( 1903104 y 4 + 559104 y 2 35840 ) x 6

+ ( 645120 y 6 + 1880064 y 4 574464 y 2 + 55040 ) x 5 + ( 1612800 y 6 + 57600 y 4 57600 y 2 32000 ) x 4 + ( 92160 y 8 + 1192960 y 6 844800 y 4 + 337920 y 2 + 6400 ) x 3 + ( 138240 y 8 176640 y 6 + 257280 + 142080 y 2 ) x 2 + ( 61440 y 8 79360 y 6 + 24320 y 4 + 14080 y 2 ) x 7680 y 4 ξ 2 μ 2 ) R e , (45)

and

V ( x , y , 0 ) = 16 ( 2 x 3 3 x 2 + x ) ( y 4 y 2 ) , (46)

V ( x , y , 1 ) = 1 5 1 R e ( ( 3840 R e y x 8 ( y 4 1 3 y 2 + 1 6 ) 15360 R e y x 7 ( y 4 1 3 y 2 + 1 6 ) 5120 Re y x 6 ( y 6 6 y 4 + 2 y 2 3 4 ) + x 8 ( 15360 R e y 7 38400 R e y 5 + 12800 R e y 3 2560 R e y 192 ) + x 4 ( 17920 R e y 7 + 30720 R e y 5 10240 R e y 3 + 640 R e y + 480 )

+ x 3 ( 10240 R e y 7 15360 R e y 5 + 5120 R e y 3 3840 y 2 + 320 ) + x 2 ( 2560 R e y 7 + 3840 R e y 5 1280 R e y 3 + 5760 y 2 960 ) + ( 960 y 4 960 y 2 + 320 ) x + 480 y 4 480 y 2 ) τ ) , (47)

V ( x , y , 2 ) = 1 5 1 R e 2 ( ( 1310720 R e 2 x 3 y 10 β λ 3 ( x 2 x + 9 16 ) + 614400 R e 2 x 3 y 8 β λ 3 ( x 4 2 x 3 + 27 5 x 2 22 5 x + 37 15 ) + 2560 R e y 7 737280 R e 2 x 3 y 6 β λ 3 ( x 2 x + 1 ) ( x 2 x + 23 18 ) + 414720 R e y 5 ( x 6 3 x 5 + 167 54 x 4 32 27 x 3 + 5 54 x 2 1 108 ) + 143360 R e 2 x 3 y 4 β λ 3 ( x 4 2 x 3 + 3 x 2 2 x + 8 7 )

+ 221184 R e y 3 ( x 8 4 x 7 + 1163 216 x 6 155 72 x 5 355 432 x 4 + 5 9 x 3 + 5 144 x 2 + 5 864 ) 20480 y 2 β ( 9 8 + λ 5 R e 2 ) 20480 y 2 β ( 9 8 + λ 5 R e 2 ) 33792 R e x 2 y λ ( x 5 3 x 4 + 65 66 x 3 + 100 33 x 2 105 44 x + 15 44 ) 9600 x 3 + 14400 x 2 960 x 1920 ) τ 2 ) , (48)

and

G ( x , y , 0 ) = 32 x y R e ( ( 4 y 2 3 x + 6 x 2 5 ) x 2 ( 2 y 2 1 ) ( 3 x 1 ) ) 64 λ 2 x 2 y 2 [ x 3 ( 10 y 4 9 y 2 + 3 ) ( x 2 ) x 2 ( 8 y 6 6 y 4 y 2 + 3 ) 2 y 2 μ 2 ξ 2 ( 4 x 1 ) ] . (49)

G ( x , y , 1 ) = 1 R e 2 ( ( ( ( 19200 y 4 + 6912 y 2 384 ) x 8 + ( 76800 y 4 27648 y 2 + 1536 ) x 7 + ( 64512 y 6 52224 y 4 + 24576 y 2 2304 ) x 6 + ( 193536 y 6 112128 y 4 + 23040 y 2 + 1536 ) x 5 ( 15360 y 8 177664 y 6 + 168960 y 4 47616 y 2 384 ) x 4

+ ( 30720 y 8 + 32768 y 6 61440 y 4 + 24576 y 2 ) x 3 + ( 19968 y 8 + 25088 y 6 5376 y 4 3840 y 2 ) x 2 + 4608 x y 4 μ 2 ξ 2 256 y 8 + 512 y 6 + 256 y 4 ) R e + 1536 β y ( x 2 + 1 2 y 2 x 1 4 ) ) τ ) , (50)

G ( x , y , 2 ) = 1 m a 2 R e 3 ( ( 1920 λ 2 x 2 ( ( y 4 1 5 y 2 + 1 30 ) x 4 + ( 2 y 4 + 2 5 y 2 1 15 ) x 3 + ( 28 15 y 6 2 y 4 + 2 5 y 2 ) x + ( 28 15 y 6 + 3 y 4 3 5 y 2 + 1 30 ) x 2 14 15 y 6 + y 4 1 5 y 2 ) R e 3 + 768 R e 2 β y ( x 2 + 1 2 y 2 x 1 4 ) 115200 ( ( y 2 3 50 ) x 8 + ( 4 y 2 + 6 25 ) x 7 + ( 3 25 + 196 15 y 4 + 26 25 y 2 ) x 6

+ ( 12 25 196 5 272 25 y 2 ) x 5 + ( 107 150 + 182 15 y 6 + 449 15 y 4 12 y 2 ) x 4 + ( 26 75 364 15 y 6 + 82 15 y 4 + 6 5 y 2 ) x 3 + ( 4 5 y 8 + 4 75 + 1058 75 y 6 181 15 y 4 + 69 25 y 2 ) x 2 4 5 y 2 x ( y 6 + 37 15 y 4 7 2 y 2 + 11 10 ) + 13 75 y 8 7 45 1 50 y 4 + 7 150 y 2 ) m a 2 R e + 6912 β m a 2 y ) τ 2 ) , (51)

the solutions series obtained by YRDTM is

u 2 ( x , y , τ ) = k = 0 2 U ( x , y , k ) , v 2 ( x , y , τ ) = k = 0 2 V ( x , y , k ) , g 2 ( x , y , τ ) = k = 0 2 G ( x , y , k ) . (52)

All of the [L/M] t-Padé approximant of (52), with L = 0 , M = 2 , and L = 0 , M = 1 , respactively for u, v, andg yields:

[ L M ] u ( x , y , τ ) = ( 320 R e 2 y 2 ( y 2 1 2 ) 2 x 4 λ 4 ) / ( 11520 y ( ( y 2 1 6 ) ( y 4 1 3 y 2 + 1 6 ) τ 2 x 8 4 ( y 2 1 6 ) ( y 4 1 3 y 2 + 1 6 ) τ 2 x 7 5 ( y 8 118 45 y 6 + 7 6 y 4 37 90 y 2 + 1 30 ) τ 2 x 6 + 15 ( y 8 76 45 y 6 + 7 10 y 4 11 54 y 2 1 135 ) τ 2 x 5 + 4 ( y 10 53 8 y 8 + 293 36 y 6

143 48 y 4 + 31 48 y 2 1 144 ) τ 2 x 4 8 y 2 τ 2 x 3 μ ξ ( y 6 5 2 y 4 + 17 18 y 2 5 36 ) + 58 9 y 2 x 2 τ 2 μ ξ ( y 6 201 116 y 4 + 71 116 y 2 7 232 ) 22 9 y 4 τ 2 μ 2 ξ 2 ( y 2 1 2 ) x + 1 3 ( y 2 1 2 ) ( y 8 τ 2 2 y 6 τ 2 + τ 2 y 4 + 1 384 ) ) x 2 λ 2 R e 2 576 ( ( y 2 1 6 ) x 9 + ( 3 4 9 2 y 2 ) x 8 + ( 1 9 + 59 y 4 34 3 y 2 ) x 7 + ( 35 9 + 182 3 y 2 413 2 y 4 ) x 6

+ ( 215 36 + 70 y 6 + 204 y 4 ) x 5 + ( 125 36 25 4 y 2 175 y 6 + 25 4 y 4 ) x 4 + ( 25 36 + 10 y 8 + 1165 9 y 6 275 3 y 4 + 110 3 y 2 ) x 3 15 y 2 ( y 6 + 23 18 y 4 67 36 y 2 + 37 36 ) x 2 + ( 55 36 y 2 + 20 3 y 8 155 18 y 6 + 95 36 y 4 ) x 5 6 y 4 μ 2 ξ 2 ) τ 2 R e + 720 ( x 2 + 1 6 y 2 x + 1 12 ) y τ 2 ) , (53)

[ N M ] v ( x , y , τ ) = ( 320 β 2 λ 2 ξ 2 μ 2 y 4 x 2 R e ) / ( 240 τ y R e ( y 4 1 3 y 2 + 1 6 ) x 8 960 τ y R e ( y 4 1 3 y 2 + 1 6 ) x 7 320 τ y R e ( y 6 6 y 4 + 2 y 2 3 4 ) x 6 + 960 τ ( R e y 7 5 2 R e y 5 + 5 6 R e y 3 1 6 y R e 1 80 ) x 5 1120 τ ( R e y 7 12 7 R e y 5 + 4 7 R e y 3 1 28 R e y 3 112 ) x 4

+ ( 640 R e τ y 7 960 R e τ y 5 + 10 R e y 4 + 320 R e τ y 3 + ( 10 R e 240 τ ) y 2 + 20 τ ) x 3 + ( 160 R e τ y 7 + 240 R e τ y 5 15 R e y 4 80 R e τ y 3 + ( 15 R e + 360 τ ) y 2 60 τ ) x 2 + ( ( 5 R e 60 τ ) y 4 + ( 5 R e 60 τ ) y 2 + 20 τ ) x + 30 τ y 4 30 τ y 2 ) (54)

[ L M ] g ( x , y , τ ) = ( 320000 y 2 x 2 ( R e y ( y 4 9 10 y 2 + 3 10 ) x 7 4 R e y ( y 4 9 10 y 2 + 3 10 ) x 6 + 4 5 y R e ( y 6 + 11 2 y 4 23 4 y 2 + 9 4 ) x 5 + ( 12 5 R e y 7 + 4 5 R e y 5 + 6 5 R e y 3 6 5 y R e 3 50 ) x 4 + ( 3 20 + 13 5 R e y 7 21 5 R e y 5 + 17 10 R e y 3 + 3 10 y R e ) x 3 6 5 y 2 ( R e y 5 2 R e y 3 + y R e + 1 6 ) x 2 + ( 1 5 R e y 7 2 5 R e y 5 + 1 5 R e y 3

3 20 + 3 10 y 2 ) x 1 10 y 2 + 1 20 ) 2 ) / ( 500 R e ( R e y 6 + ( 9 10 R e 30 τ ) y 4 + ( 3 10 R e + 54 5 τ ) y 2 3 5 τ ) x 8 2000 R e ( R e y 6 + ( 9 10 R e 30 τ ) y 4 + ( 3 10 R e + 54 5 τ ) y 2 3 5 τ ) x 7 + 400 ( R e y 8 ( 11 2 R e 126 τ ) y 6 + ( 23 4 R e 102 τ ) y 4 + ( 9 4 R e + 48 τ ) y 2 9 2 τ ) R e x 6

1200 ( R e y 8 + ( 1 3 R e 126 τ ) y 6 + ( 1 2 R e + 73 τ ) y 4 + ( 1 2 R e 15 τ ) y 2 + 1 40 y τ ) R e x 5 + 1300 ( ( R e 120 13 τ ) y 8 + ( 21 13 R e 1388 13 τ ) y 6 + ( 17 26 R e + 1320 13 τ ) y 4 + ( 3 26 R e 372 13 τ ) y 2 + 3 52 y 3 13 τ ) R e x 4 600 y ( R e ( R e 40 τ ) y 7 2 R e ( R e + 64 3 τ ) y 5 + R e ( R e + 80 τ ) y 3

+ 1 6 R e y 2 32 τ 2 τ ) x 3 + 100 y ( R e ( R e 156 τ ) y 7 2 R ( R e 98 τ ) y 5 + R e ( R e 42 τ ) y 3 + 3 2 R e y 2 30 R e τ y 3 4 R e 18 τ ) x 2 + 3600 y ( R e τ y 7 2 R e τ y 5 + R e τ y 3 + ( 1 72 R e + 1 6 τ ) y 2 + 1 144 R e + 1 12 τ ) x 200 τ ( R e y 7 2 R e y 5 + R e y 3 3 4 + 3 2 y 2 ) y ) , (55)

where ξ = y 1 , μ = y + 1 , β = x 1 2 and λ = x 1 .

7. Convergence Analysis

In this work, we study the convergence analysis of the approximate analytical solutions calculated by the PYRDTM application. The following theorems state the necessary conditions for the series solution to converge.

Theorem 1. Let F be an operator from a Hilbert space H into H Then, the series solution { S n } n = 0 converges when there is γ such that 0 < γ < 1 , γ = γ 1 + γ 2 + γ 3 , and B j ( k + 1 ) γ j B j k . (see for proof Ref. [26]).

Definition 1 [26]. In the case of j = 1 , 2 , 3 and k { 0 } , we define

γ i k = { B j ( k + 1 ) B j k , B j k 0 , 0 , B j k = 0.

After that, we state that the sequence of approximations { S n } 0 converges to the exact solution u ( x , y , t ) when γ k = γ 1 k + γ 2 k + γ 3 k and 0 < γ k < 1 for all k { 0 } .

8. Discussion

In this part, we provide the numerical calculations of the velocity componentsu, v, the vorticity function ω , and the stream function ψ that were obtained by using PYRDTM. All calculations are performed using the Maple 2016 program with varying Reynolds in the domain [ 0 , 1 ] 2 . Figure 1 and Figure 2 shows that the approximate solution of u and v obtained by applying the suggested method at t = 2 and R e = 10 for different values of Mach numbers ( M a = 0.01 , 0.05 and 0.1), and Figure 2 at R = 1 and M a = 0.01 for different values of t (t= 0.1, 1, and 2), and at [0/2], on two iterations, the drawing was found. In Table 2, we examined the estimated values of u velocity along the vertical line and v velocity along the horizontal line at the geometric center of the square cavity that were obtained by using PYRDTM. The results show these values are identical to those given in KRDRM, and KPIM with at least three-digit at t = 0.1 and M a = 0.01 for different values of Renold numbers, and these results represent PYRDTM solutions L = 2 and M = 1 for three iterations also the found results were compared by the RDTM method and we got the same results as the KRDTM

Figure 1. PYRDTM solution [0/2] of u ( 0.5 , y , t ) and v ( x , 0.5 , t ) at R e = 1 .

Figure 2. PYRDTM solutions [0/2] of u ( 0.5 , y , 2 ) and v ( x , 0.5 , 2 ) at R e = 10 .

Table 2. Comparison the value of u andv between PYRDTM [0/2] and others method, at t = 0.1 .

method as in the source [26]. Table 3 shows values of u and v that be obtained by using PYRDTM at M a = 0.01 , R = 1 , t = 0.1 , and [0/2], at two iterations are remarkably good with those given by applying the finite volume method and defined by [31]. Table 4 shows the L errors for the stream function ψ and the vorticity ω , for three different values of Reynolds numbers R e = 10 , 100 and 1000 at M a = 0.001 . The computed errors by the rational fourth-order compact finite difference approach in [31] and RDTM are compared. When compared to the previous method, we can observe that the errors calculated using the new methodology is significantly lower for all Reynolds numbers. According to the calculations presented in the tables and figures, the analytical approximation

Table 3. Comparison the approximate solutions between PYRDTM [0/2] and other methods at t = 0.1 , and R e = 1 .

Table 4. Comparisons of L-error between PYRDTM [0/2] and other methods at t = 0.1 , and M a = 0.001 .

Table 5. Comparisons of Convergence solutions between PYRDTM[2/1], RDTM, KPLM, and KRDTM.

solution obtained with the new approach is remarkably accurate. In addition, we discovered that PYRDTM is an efficient and effective approach to solve the nonlinear two-dimensional unsteady incompressible Navier-Stokes equation for low Mach numbers and for various Reynolds numbers. We successfully employed definition (1) to discuss the convergence of the suggested method; this is explained in Table 5.

9. Conclusion

In this work, we applied a new approach that combines a reduced differential transform method (RDTM), a resummation method based on the Yang transform, and a Padé approximant to KRLNS equations to find approximate analytical solutions to the lid-driven square cavity flow problem. Using YRDTM, the solution of PDE is first obtained in convergent series forms. This technique then employs a posttreatment Padé approximant to broaden the field of convergence of truncated power series, which we name PYRDTM, considerably improves the convergence rate of the RDTM truncated series solution. One of the advantages of the suggested method is that it reduces the number of iterations required to find approximate analytical solutions. According to the calculations shown in the tables and figures, The PYRDTM procedures are very effective in resolving unstable “viscous incompressible flow problems at low Mach numbers” and for various Reynolds numbers. Finally, further research should be performed to solve fractional differential equations, which are currently widely used.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Ansumali, S., Karlin, I.V. and Öttinger, H.C. (2005) Thermodynamic Theory of Incompressible Hydrodynamics. Physical Review Letters, 94, Article ID: 080602.
https://doi.org/10.1103/PhysRevLett.94.080602
[2] Borok, S., Ansumali, S. and Karlin, I.V. (2007) Kinetically Reduced Local Navier-Stokes Equations for Simulation of Incompressible Viscous Flows. Physical Review E, 76, Article ID: 066704.
https://doi.org/10.1103/PhysRevE.76.066704
[3] Hashimoto, T., Tanno, I., Morinishi, K. and Satofuka, N. (2013) Simulation of Doubly Periodic Shear Layers Using Kinetically Reduced Local Navier-Stokes Equations on a GPU. Computers & Fluids, 88, 715-718.
https://doi.org/10.1016/j.compfluid.2013.04.026
[4] Hashimoto, T., Tanno, I., Yasuda, T., Tanaka, Y., Morinishi, K. and Satofuka, N. (2018) Multi-GPU Parallel Computation of Unsteady Incompressible Flows Using Kinetically Reduced Local Navier-Stokes Equations. Computers & Fluids, 167, 215-220.
https://doi.org/10.1016/j.compfluid.2018.03.028
[5] Hashimoto, T., Tanno, I., Yasuda, T., Tanaka, Y., Morinishi, K. and Satofuka, N. (2015) Higher Order Numerical Simulation of Unsteady Viscous Incompressible Flows Using Kinetically Reduced Local Navier-Stokes Equations on a GPU. Computers and Fluids, 110, 108-113.
https://doi.org/10.1016/j.compfluid.2014.09.013
[6] Karlin, I.V., Tomboulides, A.G., Frouzakis, C.E. and Ansumali, S. (2006) Kinetically Reduced Local Navier-Stokes Equations: An Alternative Approach to Hydrodynamics. Physical Review E, 74, Article ID: 350702.
https://doi.org/10.1103/PhysRevE.74.035702
[7] Albensoeder, S. and Kuhlmann, H.C. (2005) Accurate Three-Dimensional Lid-Driven Cavity Flow. Journal of Computational Physics, 206, 536-558.
https://doi.org/10.1016/j.jcp.2004.12.024
[8] Sahin, M. and Owens, R.G. (2003) A Novel Fully Implicit Finite Volume Method Applied to the Lid-Driven Cavity Problem—Part I: High Reynolds Number Flow Calculations. International Journal for Numerical Methods in Fluids, 42, 57-77.
https://doi.org/10.1002/fld.442
[9] Marchi, C.H., Suero, R. and Araki, L.K. (2009) The Lid-Driven Square Cavity Flow: Numerical Solution with a 1024×1024 Grid. Journal of the Brazilian Society of Mechanical Sciences and Engineering, 31, 186-198.
https://doi.org/10.1590/S1678-58782009000300004
[10] Yu, P.X. and Tian, Z.F. (2013) A Compact Stream Function-Velocity Scheme on non Uniform Grids for the 2D Steady Incompressible Navier-Stokes Equations. Computers and Mathematics with Applications, 66, 1192-1212.
https://doi.org/10.1016/j.camwa.2013.07.013
[11] Keskin, Y. and Oturanc, G. (2010) Numerical Solution of Regularized Long Wave Equation by Reduced Differential Transform Method. Applied Mathematical Sciences, 4, 1221-1231.
[12] Chakraverty, S., Mahato, N., Karunakar, P. and Rao, T.D. (2019) Advanced Numerical and Semi-Analytical Methods for Differential Equations. John Wiley and Sons, Hoboken.
https://doi.org/10.1002/9781119423461
[13] Günerhan, H. (2020) Analytical and Approximate Solution of Two-Dimensional Convection-Diffusion Problems. An International Journal of Optimization and Control: Theories and Applications, 10, 73-77.
https://doi.org/10.11121/ijocta.01.2020.00781
[14] Mohmoud, S. and Gubara, M. (2016) Reduced Differential Transform Method for Solving Linear and Nonlinear Goursat Problem. Applied Mathematics, 7, 1049-1056.
https://doi.org/10.4236/am.2016.710092
[15] Moosavi Noori, S.R. and Taghizadeh, N. (2021) Study of Convergence of Reduced Differential Transform Method for Different Classes of Differential Equations. International Journal of Differential Equations, 2021, Article ID: 6696414.
https://doi.org/10.1155/2021/6696414
[16] Osman, M., Gong, Z. and Mustafa, A.M. (2021) A Fuzzy Solution of Nonlinear Partial Differential Equations. Open Journal of Mathematical Analysis, 5, 51-63.
https://doi.org/10.30538/psrp-oma2021.0082
[17] Yang, X.J. (2016) A New Integral Transform Method for Solving Steady Heat-Transfer Problem. Thermal Science, 20, 639-642.
https://doi.org/10.2298/TSCI16S3639Y
[18] Liu, J., Nadeem, M., Habib, M. and Akgül, A. (2022) Approximate Solution of Nonlinear Time-Fractional Klein-Gordon Equations Using Yang Transform. Symmetry, 14, Article No. 907.
https://doi.org/10.3390/sym14050907
[19] Yang, X.J. and Gao, F. (2017) A New Technology for Solving Diffusion and Heat Equations. Thermal Science, 21, 133-140.
https://doi.org/10.2298/TSCI160411246Y
[20] Dattu, K.U. (2018) New Integral Transform: Fundamental Properties, Investigations and Applications. IAETSD Journal for Advanced Research in Applied Sciences, 5, 534-539.
[21] Aghakhani, M., Suhatril, M., Mohammad Hassani, M., Daie, M. and Toghroli, A. (2015) A Simple Modification of Homotopy Perturbation Method for the Solution of Blasius Equation in Semi-Infinite Domains. Mathematical Problems in Engineering, 2015, Article ID: 671527.
https://doi.org/10.1155/2015/671527
[22] Baker, G.A. and Graves-Morris, P. (1981) Padé Approximants, Encyclopedia of Mathematics and its Application. Vol. 13, Addison-Wesley Publishing Company, New York, Parts I and II.
[23] Ebiwareme, L. and Da-Wariboko, Y.A. (2021) Modified Adomian Decomposition Method and Padé Approximant for the Numerical Approximation of the Crime Deterrence Model in Society. The International Journal of Engineering and Science, 10, 1-12.
[24] Nisar, K.S., Ali, J., Mahmood, M.K., Ahmad, D. and Ali, S. (2021) Hybrid Evolutionary Approximation Approach for Numerical Treatment of Nonlinear Partial Differential Equations. Alexandria Engineering Journal, 60, 4411-4421.
https://doi.org/10.1016/j.aej.2021.03.030
[25] Rashidi, M.M. (2009) The Modified Differential Transform Method for Solving MHD Boundary-Layer Equations. Computer Physics Communications, 180, 2210-2217.
https://doi.org/10.1016/j.cpc.2009.06.029
[26] Al-Saif, A.S.J. and Harfash, A.J. (2018) A Comparison between the Reduced Differential Transform Method and Perturbation-Iteration Algorithm for Solving Two-Dimensional Unsteady Incompressible Navier-Stokes Equations. Journal of Applied Mathematics and Physics, 6, 2518-2543.
https://doi.org/10.4236/jamp.2018.612211
[27] Srivastava, V.K., Awasthi, M.K. and Chaurasia, R.K. (2017) Reduced Differential Transform Method to Solve Two and Three Dimensional Second Order Hyperbolic Telegraph Equations. Journal of King Saud University-Engineering Sciences, 29, 166-171.
https://doi.org/10.1016/j.jksues.2014.04.010
[28] Ziqan, A., Armiti, S.I. and Suwan, I. (2016) Solving Three-Dimensional Volterra Integral Equation by the Reduced Differential Transform Method. International Journal of Applied Mathematical Research, 5, 103-106.
https://doi.org/10.14419/ijamr.v5i2.5988
[29] Taha, B.A. (2011) The Use of Reduced Differential Transform Method for Solving Partial Differential Equations with Variable Coefficients. Journal of Basrah Researchers (Sciences), 37, 226-233.
[30] Al-Saif, S.J. (2015) Analytical Approximate Solutions for Two Dimensional Incompressible Navier-Stokes Equations. Advances in Physics Theories and Applications, 49, 69-86.
[31] Yu, P.X., Tian, Z.F. and Zhang, H. (2017) A Rational High-Order Compact Difference Method for the Steady-State Stream Function-Vorticity Formulation of the Naver-Stokes Equations. Computers and Mathematics with Applications, 73, 1461-1484.
https://doi.org/10.1016/j.camwa.2017.01.024
[32] Jotsa, A.C.K. and Pennati, V.A. (2015) A Cost-Effective FE Method for 2D Navier-Stokes Equations. Engineering Applications of Computational Fluid Mechanics, 9, 66-83.
https://doi.org/10.1080/19942060.2015.1004811

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.