Doctor of Philosophy
Robert M. Corless
Approximation to the solutions of non-linear differential systems is very useful when the exact solutions are unattainable. Perturbation expansion replaces the system with a sequences of smaller problems, only the first of which is typically nonlinear. This works well by hand for the first few terms, but higher order computations are typically too demanding for all but the most persistent. Symbolic computation is thus attractive; however, symbolic computation of the expansions almost always encounters intermediate expression swell, by which we mean exponential growth in subexpression size or repetitions. A successful management of spatial complexity is vital to compute meaningful results.
This thesis contains two parts. In the first part, we investigate a heat transfer problem where two-dimensional buoyancy-induced flow between two concentric cylinders is studied. Series expansion with respect to Rayleigh number is used to compute an approximation of a solution, using a symbolic- numerical algorithm. Computation sequences are used to help reduce the size of intermediate expressions. Up to 30th order solutions are computed. Accuracy, validity and stability of the computed series solution are studied.
In the second part, Hilbert’s 16th problem is investigated to find the maximum number of limit cycles of certain systems. Focus values of the systems are computed using perturbation theory, which form multivariate polynomial sys- tems. The real roots of such systems leads to possible limit cycle conditions. A modular regular chains approach is used to triangularize the polynomial systems and help to compute the real roots. A system with 9 limit cycles is constructed using the computed real roots.
Zhang, Yiming, "Computation Sequences for Series and Polynomials" (2013). Electronic Thesis and Dissertation Repository. 1683.