Physlib

Physlib.FluidDynamics.CauchyFlow.Momentum

Cauchy momentum equations

i. Overview

This module defines the conservative and convective Cauchy momentum equations for a fluid flow with stress and specific body-force fields. The stress tensor is left as an input field, so this is the balance-law layer before specializing to a constitutive law, such as Euler or Navier-Stokes.

ii. Key results

- `CauchyFlow.CauchyMomentumEquation` : Conservation of momentum using `Space.matrixDiv`. - `CauchyFlow.ConvectiveCauchyMomentumEquation` : The Cauchy momentum equation in convective form. - `CauchyFlow.cauchyMomentumEquation_iff_convectiveCauchyMomentumEquation` : Equivalence of the two Cauchy momentum equations when continuity holds and the fields are differentiable.

iii. Table of contents

  • A. Cauchy momentum equations
  • B. Equivalence of conservative and convective Cauchy momentum

iv. References

A. Cauchy momentum equations

B. Equivalence of conservative and convective Cauchy momentum

3 declarations

definition

Cauchy momentum equation: (ρu)t+(ρuu)=σ+ρf\frac{\partial (\rho \mathbf{u})}{\partial t} + \nabla \cdot (\rho \mathbf{u} \otimes \mathbf{u}) = \nabla \cdot \sigma + \rho \mathbf{f}

A dd-dimensional Cauchy flow satisfies the **Cauchy momentum equation** in conservative form if, for every time tt and position x\mathbf{x}, the following balance holds: t(ρu)+(ρuu)=σ+ρf\frac{\partial}{\partial t} (\rho \mathbf{u}) + \nabla \cdot (\rho \mathbf{u} \otimes \mathbf{u}) = \nabla \cdot \sigma + \rho \mathbf{f} where: - ρ\rho is the mass density and u\mathbf{u} is the velocity field, such that ρu\rho \mathbf{u} is the momentum density. - ρuu\rho \mathbf{u} \otimes \mathbf{u} is the convective momentum flux tensor, where (uu)ij=uiuj(\mathbf{u} \otimes \mathbf{u})_{ij} = u_i u_j. - σ\sigma is the stress tensor field. - f\mathbf{f} is the specific body-force field (force per unit mass). - \nabla \cdot (or `matrixDiv`) denotes the matrix divergence, defined as the vector whose ii-th component is the divergence of the ii-th row of the matrix field: (T)i=jTijxj(\nabla \cdot T)_i = \sum_j \frac{\partial T_{ij}}{\partial x_j}.

definition

Convective Cauchy momentum equation ρ(tu+(u)u)=divσ+ρf\rho (\partial_t \mathbf{u} + (\mathbf{u} \cdot \nabla) \mathbf{u}) = \text{div} \sigma + \rho \mathbf{f}

For a Cauchy flow in dd dimensions, this proposition states that the convective Cauchy momentum equation holds at all times tt and positions x\mathbf{x}: ρ(ut+(u)u)=divσ+ρf\rho \left( \frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla) \mathbf{u} \right) = \text{div} \sigma + \rho \mathbf{f} where: - ρ(t,x)\rho(t, \mathbf{x}) is the mass density field. - u(t,x)\mathbf{u}(t, \mathbf{x}) is the velocity field. - σ(t,x)\sigma(t, \mathbf{x}) is the stress tensor field. - f(t,x)\mathbf{f}(t, \mathbf{x}) is the specific body force field. - divσ\text{div} \sigma is the divergence of the stress tensor (the vector whose components are the divergences of the rows of σ\sigma). - ut+(u)u\frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla) \mathbf{u} is the material acceleration of the fluid.

theorem

Equivalence of Conservative and Convective Cauchy Momentum Equations

For a dd-dimensional Cauchy flow, suppose the classical continuity equation ρt+(ρu)=0\frac{\partial \rho}{\partial t} + \nabla \cdot (\rho \mathbf{u}) = 0 holds. Assuming that the density ρ\rho and velocity u\mathbf{u} are differentiable with respect to time, and that the momentum density ρu\rho \mathbf{u} and the velocity u\mathbf{u} are spatially differentiable, then the Cauchy momentum equation in conservative form t(ρu)+(ρuu)=σ+ρf\frac{\partial}{\partial t} (\rho \mathbf{u}) + \nabla \cdot (\rho \mathbf{u} \otimes \mathbf{u}) = \nabla \cdot \sigma + \rho \mathbf{f} is equivalent to the Cauchy momentum equation in convective form ρ(ut+(u)u)=σ+ρf\rho \left( \frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla) \mathbf{u} \right) = \nabla \cdot \sigma + \rho \mathbf{f} where ρ\rho is the mass density, u\mathbf{u} is the velocity field, σ\sigma is the stress tensor field, and f\mathbf{f} is the specific body-force field.