Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management

Two fluid-flow problems are solved using perturbation expansions, with special emphasis on the reduction of intermediate expression swell. This is done by developing tools in Maple that contribute to the efficient representation and manipulation of large expressions. The tools share a common basis, which is the creation of a hierarchy of representation levels such that expressions located at higher levels are expressed using entries from lower levels. The evaluation of higher-level expressions by the algebra system does not proceed recursively to the lowest level, as would ordinarily be the case, but instead can be directly controlled by the user.The first fluid-flow problem, arising in lubrication theory, is solved by implementing a technique of switch-controlled evaluation. The processes of simplification and evaluation are controlled at each level by user-manipulated switches. A perturbation solution is derived semi-interactively with the switch-controlled evaluation being used to reduce the size of intermediate expressions. The second fluid problem, in convection, is solved by extending a perturbation series in several variables to high order by implementing techniques for the automatic generation of hierarchical expression sequences.

[1]  Richard Zippel,et al.  Effective polynomial computation , 1993, The Kluwer international series in engineering and computer science.

[2]  Michael Monagan Signatures + abstract types + computer algebra - intermediate expression swell , 1990 .

[3]  J. Henrard,et al.  Lunar Ephemeris: Delaunay's Theory Revisited , 1970, Science.

[4]  Erich Kaltofen,et al.  On computing greatest common divisors with polynomials given by black boxes for their evaluations , 1995, ISSAC '95.

[5]  M. E. O'Neill,et al.  On the slow motion of a sphere parallel to a nearby plane wall , 1967, Journal of Fluid Mechanics.

[6]  Paul S. Wang,et al.  Code generation for hybrid mixed mode formulation in finite element analysis , 1986, SYMSAC '86.

[7]  Haim H. Bau,et al.  Two-dimensional bifurcation phenomena in thermal convection in horizontal, concentric annuli containing saturated porous media , 1988, Journal of Fluid Mechanics.

[8]  E. H. Bishop,et al.  NATURAL CONVECTION BETWEEN HORIZONTAL CONCENTRIC CYLINDERS FOR LOW RAYLEIGH NUMBERS , 1968 .

[9]  M. E. O'Neill,et al.  On the slow motion generated in a viscous fluid by the approach of a sphere to a plane wall or stationary sphere , 1969 .

[10]  Shinsuke Amano,et al.  Natural Convection between Horizontal Concentric Cylinders for Low Grashof Numbers , 1969 .

[11]  Richard H. Bartels,et al.  Expression optimization using high-level knowledge , 1987, EUROCAL.

[12]  Nicholas J. Higham,et al.  Stability analysis of algorithms for solving confluent Vandermonde-like systems , 1990 .

[13]  David J. Jeffrey,et al.  Low-Reynolds-number flow between converging spheres , 1982 .

[14]  Milton Van Dyke Computer extension of perturbation series in fluid mechanics , 1975 .

[15]  Christopher Pratibha Maple Tools For Hydrodynamic Interaction Problems , 1995 .

[16]  Erich Kaltofen,et al.  A system for manipulating polynomials given by straight-line programs , 1986, SYMSAC '86.