Weak–Strong Uniqueness Property for the Full Navier–Stokes–Fourier System (original) (raw)
Related papers
On the steady compressible Navier-Stokes-Fourier system
2007
We study the motion of the steady compressible heat conducting viscous fluid in a bounded three dimensional domain governed by the compressible Navier-Stokes-Fourier system. Our main result is the existence of a weak solution to these equations for arbitrarily large data. A key element of the proof is a special approximation of the original system guaranteeing pointwise uniform boundedness of the density. Therefore the passage to the limit omits tedious technical tricks required by the standard theory. Basic estimates on the solutions are possible to obtain by a suitable choice of physically reasonable boundary conditions.
On uniqueness of weak solutions of the incompressible Navier-Stokes equations
2020
In this article the question on uniqueness of weak solution of the incompressible Navier-Stokes Equations in the 3-dimensional case is studied. Here the investigation is carried out with use of another approach. The uniqueness of velocity for the considered problem is proved for given functions from spaces that posseses some smoothness. Moreover, these spaces are dense in respective spaces of functions, under which were proved existence of the weak solutions. In addition here the solvability and uniqueness of the weak solutions of auxiliary problems associated with the main problem is investigated, and also one conditional result on uniqueness is proved.
European Journal of Pure and Applied Mathematics
In This paper we prove the existence of a weak solution of the complete compressible Navier-Stokes system. We follow an previous work where we added an artificial viscosity in the continuity equation and then rewrite the system in hyperbolic and symmetric form. Our study is based on the symmetric hyperbolic theory. We use for this aim a successive approximation in time to show the existence of the hyperbolic system solution and by the fixed point theorem the compacity property of some appropriate sobolev spaces and some established a priori estimates we can pass to several limits to prove our result. As state law, we use the Stiffened gas law.
Remarks on the uniqueness of weak solutions of the incompressible Navier-Stokes equations
arXiv (Cornell University), 2024
This article studies the uniqueness of the weak solution of the incompressible Navier-Stokes Equations in the 3-dimensional case. Here, the investigation is provided using two different approaches. The first (the main) result is obtained for given functions possessing a certain smoothness using the new approach. The second result is without the complementary conditions but is, in some sense, the "local" result investigated by another approach. In addition, here the solvability and uniqueness of the weak solutions to auxiliary problems lead out from the main problem are investigated.
On Local Uniqueness of Weak Solutions to the Navier–Stokes System with BMO −1 Initial Datum
Journal of Dynamics and Differential Equations, 2008
We address the problem of local uniqueness of weak solutions to the Navier-Stokes system, with the initial datum in a subspace of B M O −1 (R n ). The existence and uniqueness of local mild solutions has been proven by Koch and Tataru (Adv Math 157:22-35, 2001). We present a necessary and sufficient condition for two weak solutions to evolve from the same initial datum, and for weak solutions to be mild.
Weak and Strong Solutions of the Navier-Stokes Initial Value Problem
This paper reviews the existence, uniqueness and regularity of weak and strong solutions of the Navier-Stokes system. For this purpose we emphasize semigroup theory and the theory of the Stokes operator. We use dimensional analysis to clarify the meaning of the results for the solutions. § 0. Introduction Let D be a bounded domain in R" (n>2) with smooth boundary S. We consider the initial-boundary value problem for the Navier-Stokes equations (NS) duldt-Au+(u, grad)w + gradp=/, divw = 0 in Dx(0, T), w=0 on Sx(0, T), M(X, 0) = 0(x) in D, where (u, gi"ad)=£" = 1 u j (d/dXj). This system describes the motion of viscous incompressible fluid filling a rigid vessel D. The function M=(M I (X, f), ..., M"(X, 0) represents the velocity of the fluid and p(x, t) is the pressure. The function a = (a 1 (x),..., a"(x)) is a given initial velocity and /=(/ 1 (x, i) 9 ...,f n (x, 0) is a given external force. We discuss the existence, uniqueness and regularity of weak and strong solutions of this problem. There is an extensive literature on this subject since Leray [27-29] introduced many useful and fundamental ideas. In [29] he constructed a global (in time) weak solution and a local strong solution of the initial value problem when D = R 3. Hopf [20] has proved the existence of a global weak solution of the initial-boundary value problem. Such weak solu
Communications in Mathematical Sciences
We consider the compressible Navier-Stokes system where the viscosity depends on density and the heat conductivity is proportional to a positive power of the temperature under stress-free and thermally insulated boundary conditions. Under the same conditions on the initial data as those of the constant viscosity and heat conductivity case ([Kazhikhov-Shelukhin. J. Appl. Math. Mech. 41 (1977)], we obtain the existence and uniqueness of global strong solutions. Our result can be regarded as a natural generalization of the Kazhikhov's theory for the constant heat conductivity case to the degenerate and nonlinear one under stress-free and thermally insulated boundary conditions.
Transactions of the American Mathematical Society, 1990
The existence of weak solutions for the Navier-Stokes equations for the infinite cylinder with initial data in IY is considered in this paper. We study the case of initial data in IY(Rn), 2 < p < n, and n = 3,4. An existence theorem is proved covering these important cases and therefore, the "gap" between the Hopf-Leray theory (p = 2) and that of Fabes-Jones-Riviere (p > n) is bridged. The existence theorem gives a new method of constructing global solutions. The cases p = n are treated at the end of the paper.