Global 1 Estimation of the Cauchy Problem Solutions to the Navier-Stokes Equation

The analytic properties of the scattering amplitude are discussed, and a representation of the potential is obtained using the scattering amplitude. A uniform time estimation of the Cauchy problem solution for the Navier-Stokes equations is provided. The paper also describes the time blowup of classical solutions for the Navier-Stokes equations by the smoothness assumption.


Introduction
In this paper, we introduce important explanatory results presented in a previous study in [1].We therefore restate the basic to clarify out understanding of them.We begin by considering some ideas about the potential in the inverse scattering problem, and this is then used to estimate solutions of the Cauchy problem for the Navier-Stokes equations.A similar approach has been developed for one-dimensional nonlinear equations [2]- [5], but to date, there have been no results for the inverse scattering problem for three-dimensional nonlinear equations.This is primarily through difficulties in solving the three-dimensional inverse scattering problem.This paper is organized as follows: the study begin describing the inverse scattering problem, giving in a formula for the scattering potential.Using this potential, we obtain uniform time estimates in time for solutions to the Navier-Stokes equations, which suggest the global solvability of the Cauchy problem for the Navier-Stokes equations.Essentially, the present study expands the results for one-dimensional nonlinear equations with inverse scattering methods to multi-dimensional cases.Our main achievement is a relatively unchanged projection onto the space of solutions associated with the continuous spectrum for the nonlinear equations, which allows us to focus solely on the behavior associated with the decomposition of the solutions to the discrete spectrum.In the absence of a discrete spectrum, we obtain estimations for the maximum potential in the weaker norms, compared with the norms for the Sobolev spaces.
Consider the operators ( ) x H q x = −∆ + and 0 x H = −∆ defined in the dense set ( ) in the space ( ) L R ; let q be a bounded fast-decreasing function.The operator H is called the Schrödinger operator.We consider the three-dimensional inverse scattering problem for the Schrödinger operator, i.e, the scattering potential must be reconstructed from the scattering amplitude.This problem has been studied by many researchers ([6]- [9], and references therein).

Results
Consider Schrödinger's equation: Let This equation is the key to solving the inverse scattering problem, and was first used by Newton [7] [8] and Somersalo et al. [9].
Equation ( 4) is equivalent to the following: where S is a scattering operator with kernel ( ) The following theorem was stated in [6]: Theorem 1. (The energy and momentum conservation laws) Let q ∈ ℜ .Then, * , * SS I S S I = = , where I is a unitary operator.Definition 1.The set of measurable functions ℜ with norm defined by ( ) ( ) As shown in [10], ( ) is an orthonormal system of H eigenfunctions for the continuous spectrum.In addition to the continuous spectrum, there is a nite number N of H negative eigenvalues, designated as We present Povzner's results [10] below: Theorem 2. (Completeness) For both an arbitrary ( ) and for H eigenfunctions, Parseval's identity is valid.
where f and j f are Fourier coefficients for the continuous and discrete cases.Theorem 3. (Birman-Schwinger estimation).Let q ∈ ℜ .Then, the number of discrete eigenvalues can be estimated as: This theorem was proved in [11].
Let us introduce the following notation: .
We define the operators , T T ± for ( ) as follows: ( ) Consider the Riemann problem of finding a function Φ , that is analytic in the complex plane with a cut along the real axis.Values of Φ on the upper and lower sides of the cut are denoted + Φ and − Φ respectively.The following presents the results of [12]: Lemma 1.
The proof of the above follows from the classic results for the Riemann problem.Lemma 2. Let The proof of the above follows from the definitions of , , g Lemma 4. Let q ∈ ℜ , and assume that ( ) ( ) ( ) The proof of the above follows from the definitions of , , g ± ± Φ Ψ and Equation (4).
Lemma 5. Let q ∈ ℜ , and assume that ( ) where Q represents the terms of higher order appearing in We establish the proof.Lemma 6.Let q ∈ ℜ .Then, [ ] Lemma 7. Let q ∈ ℜ , and assume that ( ) exists.Then, ( ) ( ) The proof of the above follows from the definitions of , N ± Ψ , and Lemma 4. Lemma 8. Let q ∈ ℜ .Then 2 D ≤ .The proof of the above follows from the definition of D and the unitary nature of S .Lemma 9. Let ( ) . Then, ( ) The proof of the above follows from the definitions of 2 , j j E ψ , and (1).
The proof of the above follows from the definition of D P f .Lemma 11.Let ( ) , and 1 A α ΤΑ < < .Then, ( ) To prove this result, one calculates ( ) Using Lemma 5, the first approximation can be obtained in terms of q  : ( ) ( ) ( ) where µ represents terms of higher order for q  and T D − .The lemma can be proved using obvious estimations for µ and Lemmas 5, 6, and 8.

Conclusions for the Three-Dimensional Inverse Scattering Problem
This study has shown once again the outstanding properties of the scattering operator, which, in combination with the analytical properties of the wave function, enable an almost-explicit formula for the potential to be obtained from the scattering amplitude.Furthermore, this approach overcomes the problem of over-determination, resulting from the fact that the potential is a function of three variables, whereas the amplitude is a function of five variables.We have shown that it is sufficient to average the scattering amplitude to eliminate the two extra variables.

Cauchy Problem for the Navier-Stokes Equation
Numerous studies of the Navier-Stokes equations have been devoted to the problem of the smoothness of its solutions.A good overview of these studies is given in [13]- [17].The spatial differentiability of the solutions is an important factor, this controls their evolution.Obviously, differentiable solutions do not provide an effective description of turbulence.Nevertheless, the global solvability and differentiability of the solutions has not been proven, and therefore the problem of describing turbulence remains open.It is interesting to study the properties of the Fourier transform of solutions of the Navier-Stokes equations.Of particular interest is how they can be used in the description of turbulence, and whether they are differentiable.The differentiability of such Fourier transforms appears to be related to the appearance or disappearance of resonance, as this implies the absence of large energy flows from small to large harmonics, which in turn precludes the appearance of turbulence.
Thus, obtaining uniform global estimations of the Fourier transform of solutions of the Navier-Stokes equations means that the principle modeling of complex flows and related calculations will be based on the Fourier transform method.The authors are continuing to research these issues in relation to a numerical weather prediction model; this paper provides a theoretical justification for this approach.Consider the Cauchy problem for the Navier-Stokes equations: ( ) in the domain , where: The problem defined by ( 28), ( 29), (30) has at least one weak solution ( ) , q p in the so-called Leray-Hopf class [13].
The following results have been proved [14]: Theorem 5.If ( ) ( ) there is a single generalized solution of (28), ( 29), (30) in the domain , satisfying the following conditions: , , , Note that 1 T depends on 0 q and f .Lemma 12. Let ( ) ( ) Our goal is to provide global estimations for the Fourier transforms of the derivatives of the solutions to the Navier-Stokes Equations ( 28), ( 29), (30) without requiring the initial velocity and force to be small.We obtain the following uniform time estimation.Using the notation , , e d , e d , Assertion 1.The solution of (28) (30) according to Theorem 5 satisfies: where .

F p f = −∇ +
This follows from the definition of the Fourier transform and the theory of linear differential equations.Assertion 2.The solution of (28) (30) satisfies: and the following estimations: ( ) ( ) ( ) This expression for p is obtained using div and the Fourier transform.The estimations follow from this representation.
Using the notation where p and q satisfy 1 1 1 p q + = .Let 2 p q = = ; then ( ) Using the estimation for I in (53), the assertion in the lemma can be proved.Lemma 17.Let q ∈ ℜ and max .
A proof of this lemma can be obtained using Plancherel's theorem.For C we get We now obtain uniform time estimations for Rollnik's norms of the solutions of (28) (30).The following (and main) goal is to obtain the same estimations for max x q the velocity components of the Cauchy problem for the Navier-Stokes equations.We shall use Lemmas 6 and 11.Theorem 6.Let Then, there exists a unique generalized solution of (28) (30) satisfying the following inequality: where the value of const depends only on the conditions of the theorem.
Proof.It suffices to obtain uniform estimates of the maximum velocity components i q , which obviously follow from max , i x q Because uniform estimates allow us to extend the local existence and uniqueness theorem over the interval in which they are valid.To estimate the velocity components, Lemma 10 can be used: A is the amplitude of potential i v and ( ) That is, discrete solutions are not significant in proving the theorem, so its assertion follows the conditions of Theorem 6, which defines uniform time estimations for the maximum values of the velocity components., , , , Then, there exists , i j and 0 x such that ( ) ( ) 0 0 0 lim , or lim .
Proof.A proof of this lemma can be using i Ac i D i q P q P q = + and uniform estimates Ac i P q .Theorem 7 describes the blowup of classical solutions for the Navier-Stokes equations.

Conclusion
Uniform global estimations of the Fourier transform of solutions of the Navier-Stokes equations indicate that the principle modeling of complex flows and related calculations can be based on the Fourier transform method.In terms of the Fourier transform, under both smooth initial conditions and right-hand sides, no apparent fluctuations appear in the speed and pressure modes.A loss of smoothness in terms of the Fourier transform can only be expected for singular initial conditions or unbounded forces in ( ) 2 T L Q .Theorem 7 describes the time blowup of the classical solutions for the Navier-Stokes equations arises, and complements the results of Terence Tao [17].

Definition 2 .
Denote by ΤΑ the set of functions ( ) the above follows from the definitions of , D T − and the conditions of Lemma 3.
s inequality in I , the following inequality can be obtained: the definitions for C and 0 Theorem 6 asserts the global solvability and uniqueness of the Cauchy problem for the Navier-Stokes equations.Theorem 7. Let