The Utilization of the Generating Function Technique in the Discovery of Solutions for the Three-Dimensional Navier-Stokes Equation System

Abstract

The derivation of solutions to the Navier-Stokes (system of) equations (NSEs), in three spatial dimensions, has been an enigma as time can tell. This study wishes to show how to eradicate this problem via the usage of a recently proposed method for solving partial differential equations called the Generating Function Technique, or GFT for short. The paper will first quickly define the NSEs with and without an external force, then provide a quick synopsis of the GFT. Next, the study will derive solutions to these two major problems and give an analysis of the data concerning a specific set of criteria established by the Clay Mathematics Institute to determine the smoothness and existence of solutions. Results via GFT will show one can easily prove the existence of solutions to the NSEs with or without the presence of an external force. However, only the solutions to the NSEs will be globally bound.

Share and Cite:

Jackson, R. (2022) The Utilization of the Generating Function Technique in the Discovery of Solutions for the Three-Dimensional Navier-Stokes Equation System. Open Journal of Fluid Dynamics, 12, 86-95. doi: 10.4236/ojfd.2022.121005.

1. Introduction

The motion of viscous fluids is depicted through Euler and Navier-Stokes equations (NSEs) [1]. The equations come from applying Newton’s second law of motion to viscous fluids [2]. The comparisons are significant in many fields associated with physics.

Mathematicians considered the NSEs attractive since they possess many unresolved features. For instance, the Clay Mathematics Institute created a one-million-dollar prize if an individual can prove some of the elements in the very early parts of the twentieth century [1]. The educational organization wanted to know whether solutions existed for certain conditions (i.e., the kinetic energy of a fluid substance should never exceed a particular value). Also, it wanted to know if these solutions maintained their smoothness and continuous nature at all points under an infinite number of differentiations. In other words, were the solutions C functions.

In the past, individuals in mathematical physics used many numerical analysis methods to find solutions to the NSEs. For instance, Alexandre Joe Chorin et al., (1968) implemented the finite difference method to discover NSEs solutions [3]. Bristeau and associates (et al., 1987) derived solutions for compressible and incompressible fluids in the NSEs via multiple numerical methods [4]. In 2003, Yinnian utilized a more sophisticated version of the finite element approach to unveil solutions to the NSEs [5]. Even though numerical analyses usage involved the rapid acquisition of solutions to the NSEs, they suffered from various drawbacks [6].

The content of this study is distributed into four additional sections. First, it provides a terse description of the NSEs and GFT in Sections 2 and 3, respectively. GFT is a means to derive exact solutions for (nonlinear) partial differential equations; thus, it should not suffer from the same shortcomings of numerical analyses [7]. Next, it finds solutions to the NSEs with or without an external force via GFT in Section 4. Then, it sees if the exact solutions satisfied some of the criteria, such as smoothness and existence, established by the Clay Mathematics Institute in subsection 4.2. Finally, it gives a synopsis of the paper findings in Section 5.

2. A Short Synopsis on the NSEs and Its Relevant Vector Fields

The NSEs are a group of nonlinear PDEs involving vector fields [1] [8]. The three equations are defined as follows:

( v ( x , y , z , t ) ) v ( x , y , z , t ) + t v ( x , y , z , t ) = f ( x , y , z , t ) p ( x , y , z , t ) ρ + v Δ v ( x , y , z , t ) ( ( x , y , z ) 3 , t [ 0 , ) ) (2.1)

and

v ( x , y , z , t ) = 0 ( ( x , y , z ) 3 , t [ 0 , ) ) , (2.2)

v 0 ( x , y , z ) = v ( x , y , z , 0 ) ( ( x , y , z ) 3 ) , (2.3)

where vector field v is the velocity profile of the incompressible homogenous fluid, vector field f is an external force, function p is the internal pressure, coefficient ρ is the density of the fluid, and coefficient v is the kinematic viscosity of the fluid. The two vector fields v and f are defined as:

v ( x , y , z , t ) = { v x ( x , y , z , t ) , v y ( x , y , z , t ) , v z ( x , y , z , t ) } , (2.4)

and

f ( x , y , z , t ) = { f x ( x , y , z , t ) , f y ( x , y , z , t ) , f z ( x , y , z , t ) } , (2.5)

respectively. Focus of the above equations will be limited to the following:

| v 0 ( a 1 , a 2 , a 3 ) ( x , y , z ) | = C K a 1 a 2 a 3 ( x + y + z + 1 ) K , (2.6)

and

| f ( a 1 , a 2 , a 3 , m ) ( x , y , z , t ) | = C m K a 1 a 2 a 3 ( t + x + y + z + 1 ) K . (2.7)

3. Application of GFT

GFT is a method for solving [non]linear PDEs via the usage of a general solution ug that is comprised of [truncated] Laurent series sets of combinatorial number or trigonometric-based generating functions [7]. First, it requires an individual to determine the maximal and minimal power degree, ps, through which the Laurent series is cut short. Then, one must solve a linear auxiliary/characteristic ordinary differential equation to obtain a function ϕ that is used in the transformed general solution Ug for the principle nonlinear PDE that is in question. The transformed general solution Ug can take the following form:

U ( ξ ) = i = 1 2 j = p s p s ( a i j ( k = 0 2 S k ( 0 ) i ϕ ( ξ ) k ) j + b i j ( k = 0 2 C k ( 0 ) i ϕ ( ξ ) k ) j ) , (3.1)

where the expression Sk(0) is the square root of the k-th Fibonacci number at/ about zero, or

S k ( 0 ) = sin ( π k 2 ) , (3.2)

the expression Ck(0) is the k-th Chebyshev U number at/about zero, or

C k ( 0 ) = cos ( π k 2 ) , (3.3)

and the transformed variable ξ for a (3 + 1) [nonlinear] PDE is the transformed is simply defined as:

ξ = α t + β I x + β 2 y + β 3 z . (3.4)

Once the transformed general solution is established for the principle [nonlinear] PDE, the individual must transform the principal equation via ansatz and plug in the transformed general solution Ug. Using [exponential] terms found in the auxiliary solution ϕ , one can define a set of algebraic equations that are necessary for solving constants like aij, bij, α, β1, β2 and β3 whenever possible. The transformed general solution Ug becomes the exact solution ue to the principle [nonlinear] PDE after plugging in the constants described in the prior sentence.

4. Finding, Then Describing the Solutions to the NSEs (via GFT)

Mathematica® was used to derive solutions to the NSEs with and without an external force. Both Mathematica® spreadsheets for the two sets of problems were provided via both notebook and pdf format and located at the following link https://drive.google.com/drive/folders/13fD8t_i-jwz_J1QWUJM4dpa2kZkvnxFZ?usp=sharing. Thus, one can follow most of the work in this paper.

4.1. Derivation of Solutions for the NSEs with and without an External Force

Proposition 4.1.1. The general solution ug of the GFT can be used to derive putative exact solutions of the velocity vector field v and internal pressure p to NSEs with and without an external force f .

First, an individual must solve a particular order homogeneous auxiliary/characteristic ordinary differential equation like the following:

ϕ ( ξ ) ϕ ( ξ ) = 0 , (4.1.1)

whose solution ϕ is given as:

ϕ ( ξ ) = c 1 e ξ + c 2 e ξ . (4.1.2)

Next, one determines the maximal and minimal power for truncation ps, which is equal to the value of 1. Then using Equation (3.1), (s)he establishes the transformed general solutions for the internal pressure P and the vector fields V and F , respectively:

P ( ξ ) = e ξ c ( 1 , 1 ) ( i e f + c 1 e 2 ξ + c 2 ) ( i e ξ + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 ξ + c 2 ) e ξ c ( 2 , 1 ) ( e ξ + c 1 e 2 ξ + c 2 ) ( e ξ + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 ξ + c 2 ) , (4.1.3)

V x ( ξ ) = e ξ a 1 ( 1 , 1 ) ( i e ξ + c 1 e 2 ξ + c 2 ) ( i e ξ + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 ξ + c 2 ) e ξ a 1 ( 2 , 1 ) ( e ξ + c 1 e 2 ξ + c 2 ) ( e ξ + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 ξ + c 2 ) , (4.1.4)

V y ( ξ ) = e ξ a 2 ( 1 , 1 ) ( i ϵ ξ + c 1 e 2 ξ + c 2 ) ( i e ξ + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 ξ + c 2 ) e ξ a 2 ( 2 , 1 ) ( e ξ + c 1 e 2 ξ + c 2 ) ( e ε + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 ξ + c 2 ) , (4.1.5)

V z ( ξ ) = e ξ a 3 ( 1 , 1 ) ( i ϵ ξ + c 1 e 2 ξ + c 2 ) ( i e ε + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 ξ + c 2 ) e ξ a 3 ( 2 , 1 ) ( ϵ ξ + c 1 e 2 ξ + c 2 ) ( e ξ + c 1 e 2 ξ + c 2 ) 2 ( c 1 e 2 + c 2 ) , (4.1.6)

F x ( ξ ) = e ξ ψ 1 , (4.1.7)

F y ( ξ ) = e ξ ψ 2 , (4.1.8)

and

F z ( ξ ) = e ξ ψ 3 . (4.1.9)

Note: the index j was limited to −1, all bij and dij coefficients were set to the value of zero to limit the computational cost for deriving the putative exact solutions. Also, parenthesis was used for indexing some coefficient. Finally, the external force f involved a 3-dimensional Gaussian diffusion process.

The transformed NSEs with external force f is defined as follows:

F x ( ξ ) + β 1 P ( ξ ) ρ + α V x ( ξ ) ( β 1 2 + β 2 2 + β 3 2 ) V x ( ξ ) + β 1 V x ( ξ ) V x ( ξ ) + β 2 V y ( ξ ) V x ( ξ ) + β 3 V z ( ξ ) V x ( ξ ) = 0 , (4.1.10)

F y ( ξ ) + β 2 P ( ξ ) ρ + β 1 V x ( ξ ) V y ( ξ ) + α V y ( ξ ) ( β 1 2 + β 2 2 + β 3 2 ) V y ( ξ ) + β 2 V y ( ξ ) V y ( ξ ) + β 3 V z ( ξ ) V y ( ξ ) = 0 , (4.1.11)

F z ( ξ ) + β 3 P ( ξ ) ρ + β 1 V x ( ξ ) V z ( ξ ) + β 2 V y ( ξ ) V z ( ξ ) + α V z ( ξ ) ( β 1 2 + β 2 2 + β 3 2 ) V z ( ξ ) + β 3 V z ( ξ ) V z ( ξ ) = 0 , (4.1.12)

and

β 1 V x ( ξ ) + β 2 V y ( ξ ) + β 3 V z ( ξ ) = 0. (4.1.13)

After plugging in the transformed general solutions into the above equations, one extracts a total of thirty-seven algebraic equations associated with e ξ . Then (s)he uses the algebraic equations to solve for constants whenever possible. One set of solved constants yields the following results for the velocity vector field v and internal pressure p:

v ( x , y , z , t ) = { 1 2 ( β 1 + β 2 2 + β 3 2 ) 2 ν ( β 2 2 ( ψ 1 ) + β 1 β 2 ψ 2 + β 3 ( β 1 ϕ 3 β 3 ψ 1 ) ) × exp ( ( β 1 2 + β 2 2 + β 3 2 ) ν t + β 1 ( x ) β 2 y β 3 z ) × ( c 1 2 exp ( 2 ( ( β 1 2 + β 2 2 + β 3 2 ) v t + β 1 x + β 2 y + β 3 z ) ) + 1 ) , 1 2 ( β 1 + β 2 2 + β 3 2 ) 2 ν ( β 1 2 ψ 2 β 2 β 1 ψ 1 + β 3 ( β 3 ψ 2 β 2 ψ 3 ) )

× exp ( ( β 1 2 + β 2 2 + β 3 2 ) ν t + β 1 ( x ) β 2 y β 3 z ) × ( c 1 2 exp ( 2 ( ( β 1 2 + β 2 2 + β 3 2 ) v t + β 1 x + β 2 y + β 3 z ) ) + 1 ) , 1 2 ( β 1 + β 2 + β 3 ) 2 ν ( ( β 1 2 + β 2 2 ) ψ 3 β 3 ( β 1 ψ 1 + β 2 ψ 2 ) ) × exp ( ( β 1 2 + β 2 2 + β 3 2 ) ν t + β 1 ( x ) β 2 y β 3 z ) × ( c 1 2 exp ( 2 ( ( β 1 2 + β 2 2 + β 3 2 ) ν t + β 1 x + β 2 y + β 3 z ) ) + 1 ) } (4.1.14)

and

p ( x , y , z , t ) = ρ ( β 1 ψ 1 + β 2 ψ 2 + β 3 ψ 3 ) exp ( ( β 1 2 + β 2 2 + β 3 2 ) ν t + β 1 ( x ) β 2 y β 3 z ) β 1 2 + β 2 2 + β 3 2 . (4.1.15)

The initial condition v 0 ( x , y , z ) can be derived from the putative exact solution of the velocity vector field v by setting time t equal to zero or one must consider the Equation (2.3). Figure 1(a) and Figure 2(a) shows the integrated solution of the vector field v features versus time. The integration of the above solutions and vector field external force f is given in the supplementary material.

To produce solutions to the NSEs without an external force field, one performs the same steps but sets the vector field f and the transformed vector field F to {0, 0, 0}. (S)he still obtains thirty-seven algebraic equations associated with e ξ . Then (s)he uses the algebraic equations to solve for constants

Figure 1. The magnitude of the vector fields v versus time. The above displays the magnitude of the fluid velocity |v| versus time t without an external force (a) or with an external force (b). The value r is the Euclidean distance from the origin given coordinates x, y, and z. Note: if and individual extends plot 1B up to time t = 100, then (s)he would see all magnitudes of the fluid velocity gradually increase over time.

whenever possible. One set of solved constants yields the following results for the velocity vector field v and internal pressure p:

v ( x , y , z , t ) = { ( a 1 ( 1 , 1 ) + a 1 ( 2 , 1 ) ) e a t + β 2 2 β 3 2 x + β 2 y + β 3 z 2 c 2 + 1 2 c 2 ( a 1 ( 1 , 1 ) a 1 ( 2 , 1 ) ) e α t β 2 2 β 3 2 x β 2 y β 3 z , 1 2 β 2 2 β 3 2 c 2 β 2 e α t β 2 2 β 3 2 x β 2 y β 3 z × ( c 2 2 ( a 1 ( 1 , 1 ) a 1 ( 2 , 1 ) ) + ( a 1 ( 1 , 1 ) + a 1 ( 2 , 1 ) )

× exp ( 2 ( α t + β 2 2 β 3 2 x + β 2 y + β 3 z ) ) ) , 1 2 β 2 2 β 3 2 c 2 β 3 e α t β 2 2 β 3 2 x β 2 y β 3 z × ( c 2 2 ( a 1 ( 1 , 1 ) a 1 ( 2 , 1 ) ) + ( a 1 ( 1 , 1 ) + a 1 ( 2 , 1 ) ) × exp ( 2 ( α t + β 2 2 β 3 2 x + β 2 y + β 3 z ) ) ) } (4.1.16)

and

p ( x , y , z , t ) = 1 2 c 2 β 2 β 3 2 α ρ exp ( x ( β 2 2 β 3 2 ) α t β 2 y β 3 z ) × ( c 2 2 ( a 1 ( 1 , 1 ) a 1 ( 2 , 1 ) ) + ( a 1 ( 1 , 1 ) + a 1 ( 2 , 1 ) ) × exp ( 2 ( x β 2 2 β 3 2 + α t + β 2 y + β 3 z ) ) ) (4.1.17)

The initial condition v 0 ( x , y , z ) can be derived from the putative exact solution of the velocity vector field v by setting time t equal to zero or one must consider the Equation (2.3). Figure 1(b) and Figure 2(b) shows the integrated solution of the vector field v features versus time. The integration of the above solutions is given in the supplementary material.

4.2. The Assessment of Smoothness and the Existence of Both Sets of Solutions

Lemma 4.2.1. If { v ( x , y , z , t ) , p ( x , y , z , t ) } C ( [ 0 , ) 3 ) must be satisfied for there to be exact solutions, then all GFT derived velocity vector field v and internal pressure p for NSEs with and without external force f are possibly valid solutions.

To ascertain the smoothness of the solutions, one must determine if the solutions are C functions. A C function is differentiable for all degrees of differentiation. Since this type of functions and all its derivatives lack corners, it is

Figure 2. 3D plots of the |v| along the x-direction and time t. The above figure shows a plot of the fluid velocity |v| versus time t along the x-direction for the NSEs without an external force (a) or with an external force (b). The value r is the 2D-Euclidean distance given y- and z-coordinates. Note: like Figure 1(b), an individual will see all magnitudes of the fluid velocity gradually increase over time for all x if (s)he extends plot 2B up to time t = 100.

considered smooth. Also, this type of function is considered continuous due to it and all its derivatives do not possess any abrupt/discontinuous jumps/drops in value to infinity in both directions. As one can see, both sets of velocity vector fields v and the internal pressures p are linear combinations of C functions (i.e. e ± a x ) concerning time and 3D-space; therefore, they are likely C functions themselves.

Lemma 4.2.2. If the kinetic energy for the system of NSEs solutions must be globally bound, then ONLY the GFT derived putative solutions of velocity vector field v and internal pressure p for NSEs without external force f are still valid.

To determine whether the set of solutions exists as defined by the Clay Mathematics Institute an individual must assess whether kinetic energy for a scenario is globally bound. This kinetic energy is less than or equal to some constant E and is the right side of the following equation:

E 0 0 0 | v ( x , y , z , t ) | 2 d z d y d x , (4.2.1)

where the magnitude of the velocity vector field is defined as:

| v ( x , y , z , t ) | = v x ( x , y , z , t ) 2 + v y ( x , y , z , t ) 2 + v z ( x , y , z , t ) 2 . (4.2.2)

The kinetic energy for the NSEs without external force f is zero while the kinetic energy for the NSEs with external force f is either nonintegrable or can be represented by the following expression if the constant c1 is set to zero:

E ( β 1 2 ( ψ 2 2 + ψ 3 2 ) 2 β 3 β 1 ψ 1 ψ 3 + β 3 2 ( ψ 1 2 + ψ 2 2 ) 2 β 2 ψ 2 ( β 1 ψ 1 + β 3 ψ 3 ) + β 2 2 ( ψ 1 2 + ψ 3 2 ) ) e 2 ( β 1 2 + β 2 2 + β 3 2 ) ν t 32 β 1 β 2 β 3 ( β 1 2 + β 2 2 + β 3 2 ) 3 ν 2 . (4.2.3)

(Note: if the constants β1, β2 and β3 are imaginary numbers, the right side of the above expression is likely to grow exponentially become greater than the constant E at some point in time.) This data suggests the kinetic energy for the NSEs without external force f is globally bound. In contrast, the kinetic energy for the NSEs with external force f is NOT globally bound.

Theorem 4.2.3. Via Clay Mathematics Institute criteria, GFT successfully derived solutions for the velocity vector field v and internal pressure p for NSE without external force f while the method failed to generate valid solutions for the vector field v and internal pressure p for NSEs with external force f .

5. Conclusion

If an external force is lacking in the NSEs, the velocity vector field v and the internal pressure p are both smooth and continuous or C functions. Also, the kinetic energy of the velocity profile for this system is zero, which is less than some constant E; thus, the kinetic energy is globally bound for the system. In other words, both the Millennium prize criteria are satisfied. On the other hand, if the NSEs do possess an external force, the velocity vector field v and the internal pressure p which are still both smooth and continuous, or C functions. However, the kinetic energy of the velocity profile for this system can eventually obtain values higher than some constant E; therefore, the kinetic energy for this system is not globally bound. This individual data would suggest that only one of the criteria established by the Millennium prize can be met for NSEs with an external force f . In other words, via complementary logic, there are no velocity vector fields v , under an external force f , that can satisfy both criteria set by the Clay Mathematics Institute for such a system.

Conflicts of Interest

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

References

[1] Feffreman, C.L. (2017) Existence and Smoothness of the Navier-Stokes Equation. Clay Mathematics Institute.
http://www.claymath.org/
[2] Acheson, D.J. (1990) Elementary Fluid Dynamics. Oxford Applied Mathematics and Computing Science Series, Oxford University Press.
[3] Chorin, A.J. (1968) Numerical Solution of the Navier-Stokes Equations. Mathematics of Computation, 22, 745-762.
https://doi.org/10.1090/S0025-5718-1968-0242392-2
[4] Bristeau, M.O., Glowinski, R. and Periaux, J. (1987) Numerical Methods for the Navier-Stokes Equations. Applications to the Simulation of Compressible and Incompressible Viscous Flows. Computer Physics Report, 6, 73-187.
https://doi.org/10.1016/0167-7977(87)90011-6
[5] He, Y.N. (2003) Two-Level Method Based on Finite Element and Crank-Nicolson Extrapolation for the Time-Dependent Navier-Stokes Equations. SIAM Journal on Numerical Analysis, 41, 1263-1285.
https://doi.org/10.1137/S0036142901385659
[6] Lange, K., Chambers, J. and Eddy, W. (1999) Numerical Analysis for Statisticians. Book Series: Statistics and Computing.
[7] Jackson, R. (2021) A Possible Theory of Partial Differential Equations. University Proceedings. Volga Region. Physical and Mathematical Sciences, 3, 25-44.
https://doi.org/10.21685/2072-3040-2021-3-3
[8] Batchelor, G.K. (1967) An Introduction to Fluid Dynamics. Cambridge University Press, Cambridge.

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.