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
Inviscid Cauchy flow satisfies
A -dimensional Cauchy flow is **inviscid** with respect to a scalar pressure field if, at every time and position , the Cauchy stress tensor is equal to the isotropic pressure stress , where is the identity matrix.
Let be a natural number representing the spatial dimension. For a scalar pressure field at a given time, the matrix divergence of the inviscid pressure stress field defined by (where is the identity matrix) is equal to the negative gradient of the pressure field:
for inviscid Cauchy flows
For a -dimensional Cauchy flow with stress tensor and a scalar pressure field , if the flow is inviscid (meaning for all time and position , where is the identity matrix), then for every time , the matrix divergence of the stress tensor is equal to the negative gradient of the pressure: where denotes the spatial gradient of the pressure field.
