Proof of Crossplane Symmetry for a Conical Navier-Stokes Solver.
Abstract
A formal proof is given for the symmetry of a conical Navier-Stokes solver that has been employed in the computation of vortex asymmetries. The conical Navier-Stokes equations are presented as developed from the generalized coordinate three-dimensional Navier-Stokes equation approach. The solver is then discussed in detail. The proof is first sketched to clarify what must be shown to demonstrate symmetry. The details of the implicit and explicit side symmetry relations are then presented using in part the MACSYMA symbolic manipulation expert system. (AN)
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1995
- Accession Number
- ADA300313
Entities
People
- Paul D. Orkwis
- Raja Sengupta
Organizations
- University of Cincinnati