Preprint
Article

Existence of a Hölder Continuous extension on embedded balls of the 3-Torus for the Periodic Navier Stokes Equations

Altmetrics

Downloads

73

Views

27

Comments

0

This version is not peer-reviewed

Submitted:

26 December 2023

Posted:

27 December 2023

You are already at the latest version

Alerts
Abstract
\abstract{The existence of vorticies is well known in fluid mechanics and particularly in turbulence theory. In the context of the millennium problem of the Clay Institute on the existence (or not) of Global solutions in time of the Periodic Navier Stokes equations (PNS) results are now proposed to confirm that Global solutions do not exist in the general case of PNS defined on $\mathbb{T}^3$. This corresponds to part ($D$) proposition in the Navier Stokes problem as posted by C.Fefferman. Recent work has shown that for the Euler equations defined on the 3-Torus there exists a H\"older continuous solution for the third component of velocity $v_3$ at the center of each cell or cube of the 3-Torus Lattice. It has also been determined that as the kinematic viscosity changes from the corresponding value at $\nu=0$ to the fully viscous case for the Periodic Navier Stokes equations (PNS) at the value $\nu=1$ the solution reaches a peak ($\frac{\partial v_3}{\partial y_3} = 0$ ) in $y_3$. (third component of $\vec{r}=(y_1,y_2,y_3)$ in Cartesian co-ordinates) Here in the viscous case there exists a dipole which is not centered at the center of the cell of the Lattice. This immediately implies that since the dipole by definition has an equal in magnitude positive and negative peak in the third component of velocity, then the dipole Riemann cut-off surface is covered by a closed surface which is the sphere $\|\vec{r}\|=1$ and where a given cell of dimensions $[-1,1]^3$ is circumscribed on a sphere of radius $1$. For such a closed surface containing a dipole it necessarily follows that the flux at the surface of the sphere of $v_3$ wrt to surface normal $\vec{n}$ is zero including at $y_i, i=1\dots 3$ is zero at the points where the surface of sphere touches the cube walls. At the finite time singularity on the sphere a rotation boundary condition is deduced. Here $\frac{\partial v_3}{\partial \vec{n}}= \vec{n}\cdot \nabla v_3$. Also a boundary condition on the sphere shows rotation of sphere. Finally as a result, on the sphere a solution for $v_3$ is obtained which is proven to be H\"older continuous and it is proven that it is possible to extend H\"older continuity on the sphere uniquely to all of the interior of the ball.}
Keywords: 
Subject: Computer Science and Mathematics  -   Applied Mathematics

1. Introduction

In physics the dimensions of a massive object can be ignored and can be treated as a pointlike object, i.e. a point particle. In electrostatic theory, point particles with electric charge are referred to as point charges. Two point charges, one with charge + q and the other one with charge q separated by a distance d, constitute an electric dipole. An object with an electric dipole moment p is subject to a torque τ when placed in an external electric field E. In the context of viscous fluid dynamics and at the very heart of turbulent fluid flows are many interacting vortices that produce a chaotic and seemingly unpredictable velocity field. Gaining new insight into the complex motion of vortices and how they can lead to topological changes of flows is of fundamental importance in our strive to understand turbulence. One aim is to form an understanding of vortex interactions by investigating the dynamics of point vortex dipoles interacting with a hierarchy of vortex structures using idealized point vortex models [1]. The existence of dipoles describes vortex motion and can possibly lead to a better understanding of the turbulence problem. A fully lagrangian numerical method for simulation of 3D nonstationary flow of viscous and ideal incompressible fluid is developed in [2]. This method is based on the representation of a vortex field as a set of dipole particles. An introduced vector-function D describes density of dipole momentum. The equation for this function is in accordance with Navier-Stokes equations. The vorticity is equal to curl of dipole momentum density. Thus vortex field is always solenoidal. The dipole particles are generated at a body surface and are moving and interacting. The region where function D is essentially non-zero approximately coincides with the vortex region. Each dipole particle induces the velocity field which is equal to field of a point dipole at large distance from the particle. But near a particle the induced velocity field takes into account the particle volume and viscosity of the liquid. The method can be applied for simulation of ideal and viscous flows. The dynamics of a dipole without external strain using a long simulation time and a large box size has been studied in [3]. There numerical results are provided for a viscous dipole. In [3] from a practical point of view, the dipole field turns out to be generated from an impulse jet flow and, more generally, when an external forcing characterized by a net linear momentum, is present. Dipoles can originate from jets generated at a strait, or from the coupling between topography and the oscillating tide motion. Dipolar vortices are also self-propagating, which implies some consequences on the transport of mass and heat. For instance, a dipole can trap passive scalars such as phytoplankton [4] within its core, and thereafter transport it. Contrary to the single monopole which is known mathematically to converge towards a Lamb-Oseen vortex by viscous diffusion, this problem seems not to be settled in the case of the dipole. Numerical solutions have been computed by [5] starting with various initial conditions: an initial Lamb dipole, two Rankine vortices or elliptic Kirchhoff vortices, all giving at the end of the simulation a Lamb-like dipole. Finally the presence of a tail behind the dipole and the cause of its formation have been studied as a viscous symmetry breaking. This has been particularly put into evidence theoretically [6] or experimentally [7] in the presence of an external strain. Wang et al. [8] have examined globally dynamical stabilizing effects of the geometry of the domain at which the flow locates and of the geometry structure of the solutions with the finite energy to the three-dimensional 3D incompressible Navier Stokes and Euler systems. The global well-posedness for large amplitude smooth solutions to the Cauchy problem for 3D incompressible NS and Euler equations based on a class of variant spherical coordinates has been obtained, where smooth initial data is not axi-symmetric with respect to any coordinate axis in Cartesian coordinate system. In their work [8] they have considered such variant spherical coordinates with Dirichlet type boundary conditions and have proven existence, uniqueness and exponentially decay rate in time of the global strong solution to the initial boundary value problem for 3D incompressible NS equations for a class of the smooth large initial data and a class of the special bounded domain described by variant spherical coordinates. In the present work it has been determined that as the kinematic viscosity changes from the corresponding value at ν = 0 to the fully viscous case for the Periodic Navier Stokes equations (PNS) at the value ν = 1 the solution reaches a peak ( v 3 y 3 = 0 ) in y 3 . (third component of r = ( y 1 , y 2 , y 3 ) in Cartesian co-ordinates) Here in the viscous case there exists a dipole which is not centered at the center of the cell of the Lattice. This immediately implies that since the dipole by definition has an equal in magnitude positive and negative peak in the third component of velocity, then the dipole Riemann cut-off surface is covered by a closed surface which is the sphere r = 1 and where a given cell of dimensions [ 1 , 1 ] 3 is circumscribed on a sphere of radius 1. For such a closed surface containing a dipole it necessarily follows that the flux at the surface of the sphere of v 3 wrt to surface normal n is zero. In terms of mathematical analysis of the NS equations in a thin spherical shell, the convergence of the longitudinal velocity averaged in the radial direction across the shell to the strong solution to the two-dimensional NS equations on a sphere as the thickness of the shell converges to zero has been rigorously proved by Temam and Ziane. However a Dirichlet type impenetrability condition is used there with all three components of velocity(no gradients at the wall). In the present work a Neumann impenetrability condition is used with the gradient of the third component of velocity. Here at the six points where the sphere touches the cube walls, it has been determined that the velocities satisfy PNS and the function v 3 is Hölder continuous there . By using the spherical co-ordinate system in terms of Cartesian co-ordinates and using the chain rule the solution can be extended to all of the sphere. This is the first extension. In terms of pure rotation ( 1 , 1 ) · v 1 y 1 , v 2 y 2 = 0 which signifies rotation of the sphere. Finally as a result in the present work, on the sphere with a Neumann boundary condition, (Here v 3 n = n · v 3 ) a non smooth solution [9] for v 3 exists which is Hölder continuous and it is proven that it is possible to extend Hölder continuity on the sphere uniquely to all of the interior of the Ball of radius one. Although non-uniqueness is proposed to occur for solutions in the interior of the ball for PNS equations there exists at least one solution there that is Hölder continuous.

2. Materials and Methods

Consider the incompressible 3D Navier-Stokes equations defined on the 3-Torus T 3 = R 3 / Z 3 . The PNS system is,
t u + u · u = p + f div u = 0 u t = 0 = u 0 .
where u = u ( x , y , z , t ) is velocity, p = p ( x , y , z , t ) is pressure and f = f ( x , y , z , t ) is the forcing function. Here u = ( u x , u y , u z ) , where u x , u y , and u z denote respectively the x, y and z components of velocity. Introducing Poisson’s equation (see [10–12]), the second derivative P z z is set equal to the second derivative obtained in the G δ 1 expression further below, as part of G , and
P z z = 2 u z 2 u z u z z 2 + 1 η z u z x + u z y δ u x 2 u z z x δ u y 2 u z z y + u x x 2 + 2 u x y u y x + u y y 2
where the last three terms on rhs of Equation (2) can be shown to be equal to ( P x x + P y y ) [13]. Along with equations below, the continuity equation in Cartesian co-ordinates is i u i = 0 . The one parameter group of transformations on a critical space of PNS is,
u x = u x * δ ; u y = u y * δ ; u z = u z * δ ; P = P * δ 2 i d n t x = x * δ ; y = y * δ ; z = z * δ ; t = t * δ 2 , i d n t x = δ 1 x * ; y = δ 1 y * ; z = δ 1 z * ; t = δ 2 t *
Next the right hand side of the group of transformations Equation (3)are mapped to η variable terms. Here η and δ are in the interval δ , η [ 1 , ) ,
u i * = 1 η v i . ; P * = 1 η 2 Q ; x i * = η y i ; t * = η 2 s , i = 1 3 .
The double transformation here is used for notational clarity. Note that the original Navier-Stokes equations are preserved and rearranged in the following form,
G ( η ) = G ( η ) δ 1 + G ( η ) δ 2 + G ( η ) δ 3 + G ( η ) δ 4 = 0
where G ( η ) δ i , i = 1 4 are given in [14,15] and it has been shown there that this decomposition is valid and that on a volume of an arbitrarily small sphere embedded in each cell of the lattice centered at the central point of each cell of the 3-torus, G ( η ) δ 3 is negligible for the case of no viscosity(Euler equation) and for viscosity ν = 1 the existence of a dipole occurs with the centre of the dipole occurring shifted away from the centre of the given cell. From this equation we can solve for Q y 3 algebraically and differentiating wrt to y 3 and using Poisson’s equation by setting the representation of each of the two partial derivatives wrt to y 3 equal to each other we can obtain,
L = 0
which is exactly the following equation,
L = v 3 s 2 μ δ 1 3 v 3 y 3 y 1 2 + v 3 s 2 μ δ 1 3 v 3 y 3 y 2 2 + v 3 s 2 μ δ 1 3 v 3 y 3 3 + v 3 s v 3 2 3 v 3 y 3 2 s δ ρ v 3 2 2 v 3 y 3 s 2 δ ρ 2 ρ ( δ / 2 1 / 2 v 3 s 2 v 3 v 3 s v 3 y 3 δ + ( v 3 F T 1 y 1 , y 2 , y 3 , s + v 1 s v 3 y 1 + v 3 F T 2 y 1 , y 2 , y 3 , s + v 2 s v 3 y 2 + 1 / 2 Λ y 1 , y 2 , y 3 , s + 1 / 2 Φ s ) δ ) 2 v 3 y 3 s + ( δ 1 δ v 1 y 1 , y 2 , y 3 , s 1 v 3 s + 2 v 3 ρ δ F T 1 y 1 , y 2 , y 3 , s + v 1 s 2 v 3 y 3 y 1 + δ 1 v 2 y 1 , y 2 , y 3 , s δ 1 v 3 s + 2 v 3 ρ δ F T 2 y 1 , y 2 , y 3 , s + v 2 s 2 v 3 y 3 y 2 + 3 v 3 2 / 3 + ρ + 2 / 3 δ v 3 s 2 v 3 y 3 2 + 2 v 3 v 3 s δ 1 2 v 3 y 1 2 + 2 v 3 v 3 s δ 1 2 v 3 y 2 2 + 2 2 v 1 y 3 s v 3 v 3 y 1 ρ δ + 2 2 v 2 y 3 s v 3 v 3 y 2 ρ δ + 1 + 3 ρ + 1 δ v 3 y 3 2 + δ 1 v 1 y 1 2 + 2 v 1 y 2 v 2 y 1 + v 2 y 2 2 v 3 s + 2 ρ ( F T 1 y 1 , y 2 , y 3 , s + v 1 s v 3 y 1 + v 3 y 2 F T 2 y 1 , y 2 , y 3 , s + v 2 s v 3 y 3 + v 3 v 3 y 1 F T 1 y 3 + v 3 v 3 y 2 F T 2 y 3 + 1 / 2 Λ ( y 1 , y 2 , y 3 , s ) y 3 ) δ ) v 3 s = 0
Λ y 1 , y 2 , y 3 , s = 2 f 0 s F y 1 , y 2 , y 3 v 3 y 1 , y 2 , y 3 , s v 3 y 1 δ + 2 f 0 s G y 1 , y 2 , y 3 v 3 y 1 , y 2 , y 3 , s v 3 y 2 δ δ 3 v 3 v 3 y 3 F sz y 1 , y 2 , y 3 , s + δ 2 v 3 y 3 F sz y 1 , y 2 , y 3 , s + v 3 F s z y 3
where f = ( F T 1 , F T 2 , F s z ) is the external forcing vector and v = ( v 1 , v 2 , v 3 ) is the velocity in each cell of the 3-Torus.
For the three forcing terms, set them equal to products of reciprocals of degenerate WeierstrassP functions shifted in spatial co-ordinates from the center ( a i , b i , c i ) , i = 1 N .
The ( a i , b i , c i ) is the center of each cell of the lattice in T 3 . Upon substituting the WeierstrassP functions and their reciprocals into Equation (7) together with the forcing terms given by Λ (in Eq. (8)), it has been determined that in the equation terms in it are multiplied by reciprocal P functions that touch the centers of the cells of the lattice thus simplifying Eq(7). The initial condition in v 3 at t = 0 is instead of a product of reciprocal degenerate P function for forcing, is a sum of these functions. The parameter m in the P function if chosen to be small gives a ball,
B r = { y R 3 : y 2 = ( y 1 2 + y 2 2 + y 3 2 ) 1 2 r }
In the case when fluid region Ω has a connected boundary and certain smoothness conditions are fulfilled, Leray proved the solvability of the Navier Stokes equations in his famous paper [16]. The same result holds when the flux F l i of the velocity vector (all 3 components of velocity) across each connected component Γ i of the boundary vanishes. This condition means that the flow region contains neither sources nor sinks.
Now continuing the analysis, the function Φ associated with G ( η ) δ 3 in [14,15] can be calculated as follows,
Φ = 2 3 F 4 t 2 C a t EllipticE JacobiSN 1 + C , i , i R + 2 3 R F 4 t C a t F 4 t EllipticE JacobiSN 1 + C , i , i + 6 C 2 F 4 t
where C a ( t ) are pressure gradient derivative terms wrt to x , y and z as functions of t.
Solutions of Equation (7) exist in the form v 3 = F 4 ( t ) F 5 ( x ) where the function Φ can be explicitly written as
Φ = F 4 t F 4 t d d t F 4 t 2 d d t F 4 t 2 μ d d t F 4 t λ 2 ρ
where λ is the corresponding eigenvalue associated with the solution of Eqs.(7-8). Setting the two functional forms for Φ equal to each other and solving the ordinary differential equation for F 4 ( t ) [see [14,15] , a LambertW function solution exists for F 4 ( t ) and the form of solution is a W function multiplied by a JacobiSN complex valued function in x . [see [15]-chapter8]
It has recently been shown in [14] that the following PDE results on a suitable subspace of the solution space for v 3 which holds on an epsilon ball about the center of each cell of the lattice and existing (to be shown) dipole center of a given cell of T 3 ,
v 3 s 2 3 v 3 y 3 3 + 3 v 3 y 3 y 2 2 + 3 v 3 y 3 y 1 2 μ δ 1 + 1 3 v 3 s 2 2 δ 2 v 3 2 v 3 y 3 2 + 2 v 3 y 2 2 + 2 v 3 y 1 2 + 1 6 3 ρ v 3 2 v 3 y 3 2 + 3 v 3 y 3 2 ρ v 3 y 3 2 + 2 v 3 y 3 y 1 + 2 v 3 y 3 y 2 v 3 s = 0

3. Results

The solution in [14] occurs for large ζ and time t. The solution was rescaled in ζ . (In the form ζ = ζ + α , where α is a large complex valued shift.) In [14] this was valid for ν = 0 that is the Euler equations. In this paper the same shift occurs but as ν approaches unity and given the reduced PNS equations the relationship in terms of the definition of the LambertW function as shown in Equation (14) exists. The variable ζ is complexified. As a result the first derivative wrt to z * can be written using the chain rule as,
v 3 z * = v 3 ζ ζ ( z * ) z *
Here it is assumed that ζ = ζ ( z * ) , where ζ is arbitrary large complex valued data in the complex norm in the complex space C . (The test value of the form of this function turns out to be ζ = ζ ( z * ) = B z * c i , where B is precisely determined to produce the Riemann surface further obtained and c i , i = 1 , 2 where central point occurs for c 1 = 0 and c 2 is the dipole off center point for high viscosity. There are two ϵ balls, one about the origin with associated low viscosity and one about the shifted away from origin dipole center associated with high viscosity). Also the variable z * is the complexification of the z * -component of velocity given by PNS equations on T 3 . (recall one can use either z * or y 3 or u z * or v 3 with a factor of δ introduced. It can be shown that as ζ gets large v 3 ζ 0 . Also note δ 1 for the viscous case)
The argument of the shifted Riemann surface obtained is derived from the definition of the LambertW function. The argument of the W function which is a function of ζ , say Q ( ζ ) is set equal to w e w . It is precisely as follows,
1.0 ln 0.000843648 ζ 8.280128000 + 9.292505600 0.0008436480000 ζ = ln w e w + 1
When the logarithm terms are subtracted the other terms are put to the right hand side of the equation. Taking the exponential of both sides cancels the logarithm and leaves us with an exponential of a binomial in ζ = ζ ( z * ) . Linearizing the exponential gives the dipoles in Figure 2a,b. The "plot3d" command is used where four functions are plotted together, that is, x = Re ( ζ ) , y = Im ( ζ ) , u and v, where w = u + i v . Here w is the complex LambertW function associated with the viscous solution. One solves for ζ in terms of u , v .
Figure 1. A Dipole pair associated with a contour plot of y 3 -component velocity v 3 .
Figure 1. A Dipole pair associated with a contour plot of y 3 -component velocity v 3 .
Preprints 94581 g001
The command lines in Maple are:
1.000000000 ln ( 0.843648 e 3 ζ 8.280128000 ) + 9.292505600 0.8436480000 e 3 ζ = ln ( w exp ( w ) ) + 1 ; ζ : = ( 0.1517220452 e 1 ( 647852 . w exp ( w ) 646885 . ) ) / ( w exp ( w ) 1 . ) ; w : = u + I v ; x : = e v a l c ( R e ( ζ ) ) ; y : = e v a l c ( I m ( ζ ) ) ; p l o t 3 d ( [ x , y , u , v ] , u = 1.21 . . 1.21 , v = 1.21 . . 1.21 , a x e s = B O X , o r i e n t a t i o n = [ 110 , 73 ] , l a b e l s = [ " x " , " y " , " v " ] , s t y l e = P A T C H N O G R I D , c o l o u r = u , v i e w = [ 1 . . 1 , 1 . . 1 , 25 . . 25 ] , g r i d = [ 60 , 60 ] . ) ;
Note that we use the following: Given a constant c we can solve c w e w = X simply by solving w e w = X / c which says w = W ( X / c ) , W is the LambertW function. The values are large in v 3 for viscous flows but become physical when we divide by δ 1 . In Figure 3 the quantity is scaled down by dividing by an appropriate large δ . Here the Riemann surface is centralized for small time s and very small viscosity in comparison to the viscosity shown in Figure 2a,b where an offset center exists of a dipole. For the (arbitrary) small viscosity this occurs near the center of the sphere. For low viscosity compared to the higher viscosity case, a finite time singularity occurs well before the higher viscous case. In the first command line of the previous program, taking the negative of both sides and then operating by the exponential function gives on the left side the argument of the LambertW function solution to the viscous problem.
The vanishing of the derivative of v 3 wrt to y 3 is connected to Rummer and Fet’s theory [17] of expressing the volume integral of the Laplacian on an epsilon ball, where in Eq(14) the following reduced PDE occurs when viscosity is included in the PNS equations and thus the reduced form obtained,
v 3 s 1 2 ρ v 3 2 v 3 y 3 2 + 1 2 v 3 y 3 2 ρ + 1 6 2 v 3 y 3 y 1 + 1 6 2 v 3 y 3 y 2 ( δ 1 ) v 3 s 2 v 3 y 1 2 + v 3 y 2 2 + v 3 y 3 2 = 0
Here the viscosity term is not taken to be zero but the gradient of omitted term in the derivative of v 3 wrt to y 3 vanishes itself. This is due to the chain rule and the large shift in the initial condition in ζ . As a result dividing by viscosity μ 0 , the following equation is introduced,
( δ 1 ) μ v 3 s 2 = κ
v 3 y 1 , y 2 , y 3 , s = δ 1 κ μ s δ 1 + F 1 y 1 , y 2 , y 3
Now it has been pointed out in chapter 8 of reference [14,15] that since δ approaching 1 from the right of 1 provides us with a blowup at minus infinity from the right side of some t = T * with linear graphs intersecting arbitrarily large v 3 values at s = 0 , that it remains to show that the simplified equation, Equation (15), with κ introduced in place of the derivative term squared has a solution which is Hölder continuous and whose solution has a first derivative blowup from the left at blowup point t = T * . This has already been shown in [14]. Taking ν = 1 , we have full viscosity in the PNS problem as expected. In [14] the solution was in terms of a LambertW function and for zero viscosity. Here it is seen that as ν goes from 0 to 1 that the the solution v 3 has a derivative in y 3 which approaches zero. In Figure 1 and Figure 2a,b the Riemann surfaces are obtained using Maple for the complexification of the solution in terms of the initial condition ζ and large t determined. [also see [18] on how to obtain the Maple plots of general Riemann surfaces using the "charisma function" Note that Figure 1 is a contour plot of the Riemann surface of v 3 .]
In the foregoing analyses a matching of two solutions for v 3 and hence F 4 ( s ) has been carried out. One solution is the extended solution in [14] in which a LambertW solution is obtained as a function of a linear combination of spatial and time variables respectively and particularly for the shifted large data ζ problem. The second solution is determined to be as in [15] which is the product of a JacobiSN function and a different form of a time dependent function. This is denoted as F 4 ( s ) . Equating the two forms of the F 4 ( s ) functions’ LambertW arguments obtained yields,
2 R ρ λ 2 EllipticE JacobiSN 2 , i , i 2 2 0 t C a s s d s + 2 0 t C a s d s R λ 2 ρ t + 3 C 1 t 3 C 2 EllipticE JacobiSN 2 , i , i 2 + 8 0 t C a s d s R λ 2 ρ t 12 C 1 t + 12 C 2 EllipticE JacobiSN 2 , i , i + 8 0 t C a s d s R λ 2 ρ t + 12 C 1 t 12 C 2 18 = 1.0 ln 0.000843648 t 8.280128000 + 9.292505600 0.000843648 t
The incomplete elliptic integral EllipticE is defined as,
Elliptic E ( z , k ) = 0 z k 2 t 2 + 1 t 2 + 1 d t
Differentiating twice and solving for C a ( t ) gives,
C a ( t ) = 21720640.50 [ R ρ λ 2 ( 100493511.7 2.812791480 × 10 23 i t 2 + 1972621614000.0 + 5.521324887 × 10 19 i t + 7058091538000000.0 2.709499507 × 10 15 i + 173765124.0 t 2 3410895228000.0 t ) ] 1
Here the constant R and λ 2 is such that,
R λ 2 1
In particular R is chosen to be extremely small and λ is very large and as a benchmark test the values considered are,
R = 1.225 e 37
λ = 0.1 e 19
C 2 = 1
C 1 = 0.1 e 1
C = 1
ρ = 1 ,
where these values are substituted in the left side of Eq.(20). (C=1 is set in Equation (10) for the function Φ ) This temporal solution for the function F 4 ( t ) can be identified as a Hölder continuous function as shown in Figure 4.
In the viscous case there exists a dipole which is not centered at the center of the cell of the Lattice. This immediately implies that since the dipole by definition has an equal in magnitude positive and negative peak in the third component of velocity, then the dipole Riemann cut-off surface is covered by a closed surface which is the sphere r = 1 and where a given cell of dimensions [ 1 , 1 ] 3 is circumscribed on a sphere of radius 1. See Figure 5. For such a closed surface containing a dipole it necessarily follows that the flux at the surface of the sphere of v 3 wrt to y i , i = 1 3 is zero. Finally as a result on the sphere a solution for v 3 is obtained which is proven to be Hölder continuous and it is proven that it is possible to extend Hölder continuity on the sphere to all of the interior of the sphere.
Recalling the WeierstrassP function (P) based v 1 , v 2 and F s z solutions in y 1 , y 2 and y 3 co-ordinates,
v 1 = F 1 t P y 1 , 3 m 2 , m 3 P y 2 , 3 m 2 , m 3 P y 3 , 3 m 2 , m 3
v 2 = F 1 t P y 1 , 3 m 2 , m 3 P y 2 , 3 m 2 , m 3 P y 3 , 3 m 2 , m 3
F s z = F 0 t P y 1 , 3 m 2 , m 3 P y 2 , 3 m 2 , m 3 P y 3 , 3 m 2 , m 3
The governing PDE at the boundary of Ω of the sphere is directly determined from Eqs.(7-8) and the zero flux condition since the sphere contains a dipole, where all the derivatives v 3 y i , i = 3 are taken to be zero. The resulting PDE in Cartesian co-ordinates is,
δ 1 v 1 y 1 2 + 2 v 1 y 2 v 2 y 1 + v 2 y 2 2 v 3 s + 1 2 v 3 s δ 3 v 3 y 3 F s z y 3 + δ 3 v 3 2 F s z y 3 2 = 0
Factoring out the derivative of v 3 wrt to s and taking the other factor to be zero, upon substituting F s z , v 1 and v 2 into Equation (31) gives a solvable PDE. The corresponding equation has as inputs the functions F 0 ( s ) , F 1 ( s ) and F 1 ( s ) again respectively. Taking each of these functions to be Hölder continuous in s results in a PDE that has no s derivatives in it. Hence it can be easily shown that the resulting PDE has as solution a Hölder continuous function in v 3 at six points where the surface of the sphere coincides with the boundary of a given open cube. This must be the solution on the sphere boundary which is therefore Hölder continuous. This follows since we have the following co-ordinate transformations between Cartesian and spherical co-ordinates,(see Figure 6)
r θ ϕ = x 2 + y 2 + z 2 arccos z r = arctan x 2 + y 2 z if z > 0 π + arctan x 2 + y 2 z if z < 0 π 2 if z = 0 and x y 0 undefined if x = y = z = 0 . sgn ( y ) arccos x x 2 + y 2 = arctan y x if x > 0 arctan y x + π if x < 0 and y 0 arctan y x π if x < 0 and y < 0 π 2 if x = 0 and y > 0 π 2 if x = 0 and y < 0 undefined if x = y = 0 .
It is relatively straightforward to show by using the chain rule and the above transformations on the surface of the sphere that the new function v 3 in terms of ( r , θ , ϕ , t ) is separable on the surface of the sphere and thus is in the same Hölder continuous form as the six points mentioned earlier that are known to be Hölder continuous in s there.

4. Main Theorem

Finally using the result, that on the sphere a solution for v 3 is obtained which is proven to be Hölder continuous it is next proven that it is possible to extend Hölder continuity on the sphere uniquely to all of the interior of the ball,
Theorem 1. 
Let Ω R n be a smooth domain and suppose f C α ( Ω ) , where α ( 0 , 1 ) . Then there exists a function f ˜ C α ( Ω ¯ ) so that f ˜ Ω f .
Proof of Theorem 1. 
The following fact is used
| x 1 x 2 | α | x 1 x 3 | + | x 2 x 3 | α | x 1 x 3 | α + | x 2 x 3 | α .
Let E R n and let f : E R be such that | f ( x ) f ( y ) | M | x y | α . for all x , y E . Define:
h ( x ) : = inf { f ( y ) + M | x y | α : y E } , x R n .
If x E , then setting y = x one gets that h ( x ) f ( x ) . To prove that h ( x ) is finite for every x R n , we fix y 0 E . If y E then:
f ( y ) f ( y 0 ) + M | x y | α M | y y 0 | α + M | x y | α M | x y 0 | ,
where we have used the fact that if a 0 and b 0 then a b .
and so
h ( x ) = inf { f ( y ) + M | x y | α : y E } f ( y 0 ) M | x y 0 | α > .
Note that if x E , then we can choose y 0 : = x in previous inequality to obtain h ( x ) f ( x ) . Thus h ( x ) f ( x ) . Thus h extends f. Next it is proven that
| h ( x 1 ) h ( x 2 ) | M | x 1 x 2 | α
, for all x 1 , x 2 R n .
Given ϵ > 0 , by the definition of h there exists y 1 E such that,
h ( x 1 ) f ( y 1 ) + M | x 1 y 1 | α ϵ .
SInce h ( x 2 ) f ( y 1 ) + M | x 2 y 1 | α , we get
h ( x 1 ) h ( x 2 ) M | x 1 y 1 | α M | x 2 y 1 | α ϵ
M | x 1 x 2 | α ϵ .
Letting ϵ 0 gives
h ( x 1 ) h ( x 2 ) M | x 1 x 2 | α .
Finally interchanging the roles of x 1 and x 2 proves that h is Hölder continuous. □
Finally there is a theorem in ([20] Problem 13 Sec.18) that proves the unique determination for the extension of f : A Y into the closure of A. The statement of the theorem without proof is given here,
Theorem 2. 
Let A X . Let F : A Y be continuous. Let Y be a Hausdorff space. Then f can be extended to a continuous function g : A ¯ Y and g is uniquely determined by f.
It was proven above that there is an extension to the interior of the boundary where the PNS equations hold. So working backwards there exists an extension for the function defined on the interior of the sphere to the closure of the interior of the sphere thereby extending to the ball of radius 1.

5. Discussion

The fundamental idea of the present work is that of how external forces can lead to order in turbulent flow and in particular for the 3D Periodic Navier Stokes equations. The Turbulence problem is an open and important current problem. What is turbulence? Turbulence is disorder and fluctuation. The nonlinear 3D Navier Stokes equations have been solved in this paper through a sequence of earlier works by the corresponding author of the present paper. There has been a great search by many researchers for order in turbulent flow. When turbulence arises, even if we could see these flows, it is difficult to discern any order in the whirling currents and eddies they contain. Michael Schatz at the Georgia Institute of Technology in Atlanta has recently shown with experiments and simulations that flow patterns with a surprising amount of order can underlie turbulent flow. Prediction of turbulence is very difficult to do, however they showed that there are ordered structures when conducting experiments in the lab. [19] Although many feel that it is hopeless to predict the complex spatio-temporal dynamics of turbulence there is now some hope that this view can be relaxed somehow and in fact to a satisfying degree. The existence of a sphere centered at each point of each cell of the lattice T 3 with a Neumann zero flux condition as proven in this paper shows that there is order in turbulent flow. We know this since for the flux of v 3 , 3’rd component of velocity, it is zero and v 1 y 1 = v 2 y 2 on the sphere at the singular point in time. Note that on the surface of the sphere, in 2D ( 1 , 1 ) · v 1 y 1 , v 2 y 2 = 0 which signifies rotation of the sphere (Taylor Green Vortex solves this for example) together with the flux of third component of velocity, v 3 at the north and south pole of the sphere. As an analogy, if we consider the dynamics of rotating (about planet’s axes) planetary motion and keep in mind that the spherical shapes of the planets in our solar system and beyond obey this law shown in this work, namely that gases and liquids are more or less restrained from flowing outwards of the surface of a given planet(such as earth for example) as space is a near perfect vacuum surrounding the planets it makes physical sense that this is true. Why? Because of universal gravitation which acts as an external force to the flow of gases and liquids within the planets and keeps an atmospheric circulation zone in tact and attached to the surface of the sphere of a given planet. The 3-Torus is the easiest 3-manifold to understand. In 1984, Alexei Starobinsky and Yakov Zeldovich at the Landau Institute in Moscow proposed a cosmological model where the shape of the universe is a 3-torus. To visualize the three-torus, we can obtain it by gluing just like the two-Torus: We start with a cube, and glue each face of the cube to the parallel face, by parallel translation. [See Thurston [21] on how to visulaize a three-Torus] In this cosmological structure that is being proposed again it is true that there is definitive order in turbulent flow in that little or no significantly viscous fluid crosses the boundary of a sphere. So we partition the flow dynamics in two areas of such cubes of the 3-Torus, namely inside and outside the sphere. The Hölder continuous function for v 3 on the ball of radius 1 proves that acceleration can be arbitrarily large on the ball. Existence of non Hölder solutions on the ball is reserved for future work. For Dirichlet boundary conditions on the sphere existence and uniqueness of solutions may be possible. [8] The no-flux condition proves that there is an equilibrium condition that turbulence adjusts or sets to. Observing inside the spherical windows we see that there may exist infinitely many eddies and whirls. Now what can be said about the exterior of the sphere for all spheres in the lattice? Here one has to solve numerically for the flow problem of PNS in the corners of the cubes where there exist 8 vertices each with a cone surface for each cube in the lattice. It seems that there would be some flow interaction between all corners of the cubes and outside the spheres. So there can be trajectories confined within the sphere and outside of the sphere chaotic trajectories interacting with a multitude of corners in the lattice. Spatially and temporally we have partitioned the flow problem associated with PNS equations.

6. Conclusions

In this paper it has been determined that as the kinematic viscosity changes from the corresponding value at ν = 0 to the fully viscous case for the Periodic Navier Stokes equations (PNS) at the value ν = 1 the solution reaches a peak ( v 3 y 3 = 0 ) in y 3 . (third component of r = ( y 1 , y 2 , y 3 ) in Cartesian co-ordinates) Here in the viscous case there exists a dipole which is not centered at the center of the cell of the Lattice. This immediately implies that since the dipole by definition has an equal in magnitude positive and negative peak in the third component of velocity, then the dipole Riemann cut-off surface is covered by a closed surface which is the sphere r = 1 and where a given cell of dimensions [ 1 , 1 ] 3 is circumscribed on a sphere of radius 1. For such a closed surface containing a dipole it necessarily follows that the flux at the surface of the sphere of v 3 wrt to surface normal n is zero. In terms of mathematical analysis of the NS equations in a thin spherical shell, the convergence of the longitudinal velocity averaged in the radial direction across the shell to the strong solution to the two-dimensional NS equations on a sphere as the thickness of the shell converges to zero has been rigorously proved by Temam and Ziane. However a Dirichlet type impenetrability condition is used there with all three components of velocity(no gradients at the wall). In the present work a Neumann impenetrability condition is used with the gradient of the third component of velocity. Here at the six points where the sphere touches the cube walls, it has been determined that the velocities satisfy PNS and the function v 3 is Hölder continuous there . By using the spherical co-ordinate system in terms of Cartesian co-ordinates and using the chain rule the solution can be extended to all of the sphere. This is the first extension. Finally as a result in the present work, on the sphere with a Neumann boundary condition, (Here v 3 n = n · v 3 ) a non smooth solution [9] for v 3 exists which is Hölder continuous and it is proven that it is possible to extend Hölder continuity on the sphere uniquely to all of the interior of the Ball of radius one. Although non-uniqueness is proposed to occur for solutions in the interior of the ball for PNS equations there exists at least one solution there that is Hölder continuous. In the present study a point vortex at the center of the cells exists with a finite time singularity for Euler’s equation for derivatives of the velocities and as the kinematic viscosity changes from zero to one(maximum) then there is a surface vortex first derivative singularity along an atmospheric circulation layer. The inner part of this layer touching the surface of a planet is the sphere.The fluid below this sphere of atmosphere is viscous fluid. This is evident by looking at Figure 1 and Figure 2a,b. There the dipole centre is not touching this sphere layer. The model proven in this paper has cosmological applications which are justified by PNS equations.

Funding

This research received no external funding.

Data Availability Statement

Other parties’ data were not created nor analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

Technical Maple software support was beneficial for the research carried out in this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. K. Lydon, S.V. Nazarenko, and J. Laurie Dipole, Dynamics in the point vortex model. J. Phys. A: Math. Theor. 2022, 55, 1–30. [Google Scholar]
  2. D.A. Syrovatskii, G. YA. Dynnikova, Sergei V. Guvernyuk and G. Arutunyan. Using the dipole particles for simulation of 3D vortex flow of a viscous incompressible flow, In Proceedings of the IV International Conference on Particle-based Methods - Fundamentals and Applications,PARTICLES2015, 1-10.
  3. I. Delbende and M. Rossi. The dynamics of a viscous vortex dipole. Physics of Fluids 2009, 1–24. [Google Scholar] [CrossRef]
  4. A. Provenzale, Transport by coherent barotropic vortices, Annu. Rev. Fluid Mech 1999 31, 55?93.
  5. J.H.G.M. van Geffen, and G.J.F van Heijst. Viscous Evolution of 2D dipolar vortices. Fluid Dyn. Res 1998, 22, 191–213. [Google Scholar] [CrossRef]
  6. S. Kida, M. Takaoka, and F. Hussain. Formation of head-tail structure in a two-dimensional uniform straining flow. Phys. Fluids A 1991, 3(11), 2688–2697. [Google Scholar] [CrossRef]
  7. R.R. Trieling, J.M.A. van Wesenbeeck, and G.J.F. van Heijst. Dipolar vortices in a strain flow. Phys. Fluids 1998, 10(1), 144–159. [Google Scholar] [CrossRef]
  8. Shu Wang and Yongxin Wang. The Global Well-Posedness for Large Amplitude Smooth Solutions for 3D Incompressible Navier-Stokes and Euler Equations Based on a Class of Variant Spherical Coordinates. Mathematics 2020, 8, 1195, 1–19. [Google Scholar] [CrossRef]
  9. C.L. Fefferman. Existence and Smoothness of the Navier Stokes Equation. Millennium Prize Problems. Clay. Math. Inst. Camb. (MA) 2006, 57, 1–6. [Google Scholar]
  10. T. E. Moschandreou and K. C. Afas. Existence of incompressible vortex-class phenomena and variational formulation of Rayleigh Plesset cavitation dynamics. Applied Mechanics 2021, 2(3), 613–629. [Google Scholar] [CrossRef]
  11. T. E. Moschandreou. No Finite Time Blowup for 3D Incompressible Navier Stokes Equations via Scaling Invariance. Mathematics and Statistics 2021, 9(3), 386–393. [Google Scholar] [CrossRef]
  12. T. E. Moschandreou and K. Afas, Periodic Navier Stokes Equations for a 3D Incompressible Fluid with Liutex Vortex Identification Method, Intech Open, 2023, 1-22. [CrossRef]
  13. R, Poisson Equation for Pressure. www.thevisualroom.com/poisson for pressure.html poisson-equation-for- pressure.
  14. T.E. Moschandreou. Exploring Finite-Time Singularities and Onsager’s Conjecture with Endpoint Regularity in the Periodic Navier Stokes Equations. Global Journal of Researches in Engineering: I Numerical Methods 2023, Volume 23 Issue 1 Version 1.0, 45–59. [Google Scholar]
  15. T.E. Moschandreou, K.Afas and K. Nguyen. Theoretical and Computational Fluid Mechanics: Existence, Blow-up, and Discrete Exterior Calculus Algorithms, 1st ed.; Chapman and Hall/CRC: Boca Raton, USA, 2024; pp. 1–338. [Google Scholar]
  16. J. Leray. Sur le mouvement d’un liquide visqueux emplissant l’espace. Acta Math. 1934, 63, 193–248. [Google Scholar] [CrossRef]
  17. Yu B, Rumer, A I Fet, Theory of Unitary Symmetry (In Russian-Published in Moscow), 1970-01-01.
  18. D. Jeffrey, Branch cuts and Riemann surfaces,arXiv:2302.13188 [math.CV] 2023 1-7. [CrossRef]
  19. B.Suri, J.Tithof, R.O.Grigoriev, and M.F.Schatz, Forecasting Fluid Flows Using the Geometry of Turbulence, Phys.Rev.Lett. 118,11 4501 2017. [CrossRef]
  20. J.R. Munkres, Topology, Pearson 2’nd edition 2017.
  21. W.P. Thurston, Three dimensional Geometry and Topology, Volume 1, Princeton University Press,1997, page 31.
Figure 2. Riemann surface plots near boundary of sphere and cube wall. One positive and one negative Riemann surface is shown. Here the kinematic viscosity is equal to one.
Figure 2. Riemann surface plots near boundary of sphere and cube wall. One positive and one negative Riemann surface is shown. Here the kinematic viscosity is equal to one.
Preprints 94581 g002
Figure 3. Pair of equal and opposite dipoles at central location for μ = 1 e 5 and ρ = 1000 . Here the Dipole center is near the origin of sphere circumscribed in cube of dimensions [ 1 , 1 ] 3 . Shown is the Maple plot of Riemann surface of velocity v 3 . Here as shown in [14], the result shows a singularity near the origin for the first derivative in time s. The singularity for small kinematic viscosity occurs at s much sooner than in Figure 2a,b for the offset high viscosity centre case.
Figure 3. Pair of equal and opposite dipoles at central location for μ = 1 e 5 and ρ = 1000 . Here the Dipole center is near the origin of sphere circumscribed in cube of dimensions [ 1 , 1 ] 3 . Shown is the Maple plot of Riemann surface of velocity v 3 . Here as shown in [14], the result shows a singularity near the origin for the first derivative in time s. The singularity for small kinematic viscosity occurs at s much sooner than in Figure 2a,b for the offset high viscosity centre case.
Preprints 94581 g003
Figure 4. Plot of Hölder continuous function via matching.
Figure 4. Plot of Hölder continuous function via matching.
Preprints 94581 g004
Figure 5. A cube cell [ 1 , 1 ] 3 circumscribed on a sphere of radius 1.
Figure 5. A cube cell [ 1 , 1 ] 3 circumscribed on a sphere of radius 1.
Preprints 94581 g005
Figure 6. Spherical co-ordinate system associated with transformations to prove that Hölder continuity holds on sphere.(TikZ.net[A.Tsagkaropoulos]).
Figure 6. Spherical co-ordinate system associated with transformations to prove that Hölder continuity holds on sphere.(TikZ.net[A.Tsagkaropoulos]).
Preprints 94581 g006
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated