Physlib

Physlib.FluidDynamics.FluidFlow.Momentum

Momentum fields for fluid flows

i. Overview

This module defines generic momentum fields for fluid flow and relates conservative momentum transport to mass density times material acceleration. The definitions do not choose a particular force law or stress model, so they can be reused by Navier-Stokes, Euler, and related systems.

ii. Key results

- `FluidFlow.momentumDensity` : The vector momentum density `rho u`. - `FluidFlow.momentumFlux` : The convective momentum flux `rho u ⊗ u`. - `FluidFlow.convectiveTerm` : The nonlinear transport term `(u · ∇)u`. - `FluidFlow.materialAcceleration` : The material acceleration `∂ₜ u + (u · ∇)u`. - `FluidFlow.momentumTransport_eq_materialAcceleration_add_continuityResidual` : The momentum-transport identity relating conservative and convective quantities.

iii. Table of contents

  • A. Momentum fields
  • B. Momentum transport identity

iv. References

A. Momentum fields

B. Momentum transport identity

9 declarations

definition

Momentum density ρu\rho \mathbf{u}

For a fluid flow in dd dimensions, the momentum density is the vector field defined at each time tt and position xx by the product ρ(t,x)u(t,x)\rho(t, x) \mathbf{u}(t, x), where ρ\rho is the mass density and u\mathbf{u} is the velocity of the fluid.

definition

Convective momentum flux ρuu\rho \mathbf{u} \otimes \mathbf{u}

Given a fluid flow in dd dimensions with mass density field ρ(t,x)\rho(t, \mathbf{x}) and velocity field u(t,x)\mathbf{u}(t, \mathbf{x}), the convective momentum flux is the matrix-valued field defined by the tensor product ρ(uu)\rho (\mathbf{u} \otimes \mathbf{u}). At a given time tt and position x\mathbf{x}, the (i,j)(i, j)-th entry of this matrix is ρ(t,x)ui(t,x)uj(t,x)\rho(t, \mathbf{x}) u_i(t, \mathbf{x}) u_j(t, \mathbf{x}) for i,j{0,,d1}i, j \in \{0, \dots, d-1\}.

definition

Convective term (u)u(\mathbf{u} \cdot \nabla)\mathbf{u}

For a fluid flow in dd dimensions with velocity field u(t,x)\mathbf{u}(t, \mathbf{x}), the convective term is the vector field defined at each time tt and position x\mathbf{x} by ((u)u)(t,x)=j=0d1uj(t,x)uxj(t,x) ((\mathbf{u} \cdot \nabla) \mathbf{u})(t, \mathbf{x}) = \sum_{j=0}^{d-1} u_j(t, \mathbf{x}) \frac{\partial \mathbf{u}}{\partial x_j}(t, \mathbf{x}) where uj(t,x)u_j(t, \mathbf{x}) is the jj-th component of the velocity vector and uxj\frac{\partial \mathbf{u}}{\partial x_j} is the partial derivative of the velocity field with respect to the jj-th spatial coordinate. This term represents the nonlinear transport of velocity by the flow itself.

definition

Material acceleration tu+(u)u\partial_t \mathbf{u} + (\mathbf{u} \cdot \nabla)\mathbf{u}

For a fluid flow in dd dimensions with velocity field u(t,x)\mathbf{u}(t, \mathbf{x}), the material acceleration is the vector field defined at each time tt and position x\mathbf{x} by the sum of the partial time derivative of the velocity and the convective term: ut(t,x)+((u)u)(t,x) \frac{\partial \mathbf{u}}{\partial t}(t, \mathbf{x}) + ((\mathbf{u} \cdot \nabla) \mathbf{u})(t, \mathbf{x}) where ut\frac{\partial \mathbf{u}}{\partial t} denotes the derivative of the velocity field with respect to time at a fixed position, and (u)u(\mathbf{u} \cdot \nabla) \mathbf{u} is the convective term representing the nonlinear transport of velocity by the flow.

theorem

Product Rule for the Time Derivative of Scalar-Velocity Multiplication t(ρu)\partial_t (\rho \mathbf{u})

Let dd be a natural number representing the spatial dimension. Let ρ:TimeR\rho: \text{Time} \to \mathbb{R} be a scalar field and u:TimeRd\mathbf{u}: \text{Time} \to \mathbb{R}^d be a velocity field, both evaluated at a fixed position. If ρ\rho and u\mathbf{u} are differentiable at time tt, then the time derivative of their product ρu\rho \mathbf{u} at tt follows the product rule: t(ρ(t)u(t))=ρ(t)tu(t)+(tρ(t))u(t)\partial_t (\rho(t) \mathbf{u}(t)) = \rho(t) \partial_t \mathbf{u}(t) + (\partial_t \rho(t)) \mathbf{u}(t) where t\partial_t denotes the derivative with respect to time.

theorem

Product rule for the time derivative of momentum density ρu\rho \mathbf{u}

For a fluid flow in dd dimensions with mass density ρ(t,x)\rho(t, \mathbf{x}) and velocity field u(t,x)\mathbf{u}(t, \mathbf{x}), the momentum density is defined as (ρu)(t,x)(\rho \mathbf{u})(t, \mathbf{x}). If the density and velocity are differentiable with respect to time at (t,x)(t, \mathbf{x}), then the time derivative of the momentum density at that point satisfies the product rule: t(ρu)(t,x)=ρ(t,x)ut(t,x)+ρt(t,x)u(t,x)\frac{\partial}{\partial t} (\rho \mathbf{u})(t, \mathbf{x}) = \rho(t, \mathbf{x}) \frac{\partial \mathbf{u}}{\partial t}(t, \mathbf{x}) + \frac{\partial \rho}{\partial t}(t, \mathbf{x}) \mathbf{u}(t, \mathbf{x}) where t\partial_t denotes the partial derivative with respect to time.

theorem

Product rule for the spatial derivative of momentum flux components j(ρuiuj)\partial_j (\rho u_i u_j)

For a fluid flow in dd dimensions, let ρ\rho denote the mass density field and u\mathbf{u} denote the velocity field. The momentum density is the vector field p=ρu\mathbf{p} = \rho \mathbf{u}, and the convective momentum flux is the matrix field Π=ρuu\boldsymbol{\Pi} = \rho \mathbf{u} \otimes \mathbf{u}, where the (i,j)(i, j)-th component is Πij=ρuiuj\Pi_{ij} = \rho u_i u_j. For any time tt, position x\mathbf{x}, and indices i,j{0,,d1}i, j \in \{0, \dots, d-1\}, if the momentum density and velocity fields are spatially differentiable, then the partial derivative of the (i,j)(i, j)-th component of the momentum flux with respect to the jj-th spatial coordinate satisfies: j(ρuiuj)=uij(ρuj)+(jui)ρuj\partial_j (\rho u_i u_j) = u_i \partial_j (\rho u_j) + (\partial_j u_i) \rho u_j where j\partial_j denotes the partial derivative xj\frac{\partial}{\partial x_j}.

theorem

Matrix Divergence of Momentum Flux ρuu\rho \mathbf{u} \otimes \mathbf{u} equals ((ρu))u+ρ(u)u(\nabla \cdot (\rho \mathbf{u})) \mathbf{u} + \rho (\mathbf{u} \cdot \nabla) \mathbf{u}

For a fluid flow in dd dimensions with mass density ρ(t,x)\rho(t, \mathbf{x}) and velocity field u(t,x)\mathbf{u}(t, \mathbf{x}), let the momentum density be ρu\rho \mathbf{u} and the convective momentum flux be the tensor field ρuu\rho \mathbf{u} \otimes \mathbf{u}. If the momentum density and the velocity field are spatially differentiable at time tt and position x\mathbf{x}, then the matrix divergence of the convective momentum flux decomposes into continuity and convective parts as follows: (ρuu)=((ρu))u+ρ(u)u\nabla \cdot (\rho \mathbf{u} \otimes \mathbf{u}) = (\nabla \cdot (\rho \mathbf{u})) \mathbf{u} + \rho (\mathbf{u} \cdot \nabla) \mathbf{u} where \nabla \cdot denotes the divergence operator and (u)u(\mathbf{u} \cdot \nabla) \mathbf{u} is the convective term.

theorem

Momentum Transport Identity: Relation between Conservative Transport, Material Acceleration, and Continuity Residual

For a fluid flow in dd dimensions, let ρ(t,x)\rho(t, \mathbf{x}) denote the mass density field and u(t,x)\mathbf{u}(t, \mathbf{x}) denote the velocity field. Suppose that ρ\rho and u\mathbf{u} are differentiable with respect to time at (t,x)(t, \mathbf{x}), and that the momentum density ρu\rho \mathbf{u} and the velocity u\mathbf{u} are spatially differentiable. Then the conservative momentum transport terms satisfy the following identity: (ρu)t+(ρuu)=ρ(ut+(u)u)+(ρt+(ρu))u\frac{\partial (\rho \mathbf{u})}{\partial t} + \nabla \cdot (\rho \mathbf{u} \otimes \mathbf{u}) = \rho \left( \frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla) \mathbf{u} \right) + \left( \frac{\partial \rho}{\partial t} + \nabla \cdot (\rho \mathbf{u}) \right) \mathbf{u} where ρuu\rho \mathbf{u} \otimes \mathbf{u} is the convective momentum flux, ut+(u)u\frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla) \mathbf{u} is the material acceleration, and ρt+(ρu)\frac{\partial \rho}{\partial t} + \nabla \cdot (\rho \mathbf{u}) is the continuity residual.