So the Jacobian is a measure of the local expansion or contraction of a fluid (relative to its original state). If we use Euler’s identity in the theorem, we are led to an important interpretation for what it means for a fluid to satisfy \(\nabla \cdot \bu = 0\text{.}\) This leads us to defining the notion of an incompressible fluid. (You already previously encountered an intuitive definition for an incompressible flow as part of Exercise 2.3.1).
Note that if \(\DD{J}{t} = 0\text{,}\) then indeed the an infinitessimal volume element must be of static volume for all time according to (3.4.1). Then by Euler’s identity in Theorem 3.1.2, this implies \(\nabla \cdot
\bu = 0.\) Conversely, if \(\nabla \cdot \bu = 0\text{,}\) then again by the identity the fluid is incompressible.
Let us return to consider the total sum of equations and unknowns. We have introduced the scalar mass conservation equation found in Theorem 3.2.1 (or alternatively the more simplified equation (3.4.3) for incompressible fluids). Also the vector momentum equation found in Theorem 3.3.1. This yields four scalar equations for five unknowns: the pressure \(p\text{,}\) density \(\rho\text{,}\) and the three velocity components \(\bu\text{.}\)
One way of proceeding is to attempt to establish or to inuit a relationship between pressure and density. For instance, the assumption of an ideal gas law can be derived from kinetic theory, which leads to the empirical law that \(p = RT\rho\text{,}\) relating pressure in a linear fashion to density, and depending on the temperature, \(T\text{,}\) and a (gas) constant \(R\text{.}\) Other assumptions of the form \(p = p(\rho)\) are possible, and this is involved in the study of gases and compressible fluids.
However, empirically, we observe that in most liquids, the density only varies within a few percent under typical variations of temperature and pressure. Therefore, it is common to assume:
Note, then that in the case of constant density fluids, if we consider the mass conservation equation (3.2.1), it follows that \(\nabla \cdot \bu = 0\text{.}\) Therefore, from the definition Theorem 3.4.1, we conclude that the fluid is indeed incompressible.
Confusingly, in many references, authors define a fluid to be incompressible if \(\rho\) is constant. However, we see this is not necessarily the case. A fluid can be incompressible and therefore \(\DD{\rho}{t} = 0\) without \(\rho\) being constant.
Note this is then four scalar equations for the three unknown velocities in \(\bu\) and pressure \(p\text{.}\) We shall assume in the course that incompressible fluids have constant density, \(\rho\text{.}\) The above Euler equations include the (gravitational) body force \(\bg\text{.}\)
Example3.4.6.Computer graphics and fluid simulations.
There has always been an intimate link between the research field of fluid mechanics and the entertainment field, where cutting-edge applications in animation, movie, and video-game graphics use ideas from fluid mechanics to model fluids. Many fluid simulators will use things like the Euler equations (or "bastardised version") to simulate fluids. In some cases, such simulations can even happen in real time. Here is an example of a real-time Euler equation solver coded in Javascript.
A great deal of the complexity of fluid motion comes from the conditions that we must consider between the fluid and its bounding surfaces. For water in the ocean, a bounding surfaces might include the ocean floor bottom and the body of a boat, down to the vegetation in the water or the sand on a beach. This can get quite complex! In this module, and when we first learn fluid dynamics, we only consider simple bounded fluid regions (fluid above a plate, fluid in a box, fluid in a channel, etc.)
In the case of a water wave, a bounding surface will also include the free surface of the wave, itself, which interacts with the surrounding atmospheric gas. This leads to the situation of free-boundary or free-surface conditions.
where \(\bn\) is the unit normal to \(\partial V\text{.}\) This condition states that the fluid cannot flow through \(\partial V\) or separate from \(\partial V\) (hence leaving a vacuum).
It turns out that the above no-flux condition is sufficient to provide well-posed boundary conditions for most inviscid fluids. Note that in particular, we have not constrained the tangential velocity of the fluid, i.e. \(\bu \cdot \bt\text{,}\) where \(\bt\) is the tangential vector at the boundary.