Physlib

Physlib.FluidDynamics.CauchyFlow.Inviscid

Inviscid stress laws for Cauchy flows

i. Overview

This module defines the inviscid stress law for `CauchyFlow` and the corresponding matrix-divergence identity for pressure stress.

ii. Key results

- `CauchyFlow.IsInviscid` : Predicate saying the Cauchy stress is the inviscid pressure stress. - `CauchyFlow.matrixDiv_stress_eq_neg_grad_pressure_of_is_inviscid` : The inviscid stress contributes the usual pressure-gradient force term.

iii. Table of contents

  • A. Inviscid stress law

iv. References

A. Inviscid stress law

3 declarations

definition

Inviscid Cauchy flow satisfies σ=pI\boldsymbol{\sigma} = -p \mathbb{I}

A dd-dimensional Cauchy flow is **inviscid** with respect to a scalar pressure field pp if, at every time tt and position xx, the Cauchy stress tensor σ(t,x)\boldsymbol{\sigma}(t, x) is equal to the isotropic pressure stress p(t,x)I-p(t, x) \mathbb{I}, where I\mathbb{I} is the d×dd \times d identity matrix.

theorem

matrixDiv(pI)=p\text{matrixDiv}(-p \mathbb{I}) = -\nabla p

Let dd be a natural number representing the spatial dimension. For a scalar pressure field p:Space dRp: \text{Space } d \to \mathbb{R} at a given time, the matrix divergence of the inviscid pressure stress field defined by xp(x)Ix \mapsto -p(x) \mathbb{I} (where I\mathbb{I} is the d×dd \times d identity matrix) is equal to the negative gradient of the pressure field: matrixDiv(pI)=p\text{matrixDiv}(-p \mathbb{I}) = -\nabla p

theorem

matrixDiv σ=p\text{matrixDiv } \boldsymbol{\sigma} = -\nabla p for inviscid Cauchy flows

For a dd-dimensional Cauchy flow with stress tensor σ\boldsymbol{\sigma} and a scalar pressure field pp, if the flow is inviscid (meaning σ(t,x)=p(t,x)I\boldsymbol{\sigma}(t, x) = -p(t, x) \mathbb{I} for all time tt and position xx, where I\mathbb{I} is the identity matrix), then for every time tt, the matrix divergence of the stress tensor is equal to the negative gradient of the pressure: matrixDiv σ(t)=p(t)\text{matrixDiv } \boldsymbol{\sigma}(t) = -\nabla p(t) where p\nabla p denotes the spatial gradient of the pressure field.