No description available.

No description available.

No description available.

No description available.

No description available.

This licentiate thesis consists of two papers treating subjects in rational homotopy theory. In Paper I, we establish two formality conditions in characteristic zero. We prove that adg Lie algebra is formal if and only if its universal enveloping algebra is formal. Wealso prove that a commutative dg algebra is formal as a dg associative algebra if andonly if it is formal as a commutative dg algebra. We present some consequences ofthese theorems in rational homotopy theory. In Paper II, we construct a differential graded Lie model for the universal cover of the classifying space of the grouplike monoid of homotopy automorphisms of a space that fix a subspace. / <p>At the time of the doctoral defense, the following paper was unpublished and had a status as follows: Paper 2: Manuscript.</p>

The problem of finding a reduced order model, optimal in the H² sense, to a given system model is a fundamental one in control system analysis and design. The addition of a H^∞ constraint to the H² optimal model reduction problem results in a more practical yet computationally more difficult problem. Without the global convergence of homotopy methods, both the H² optimal and the combined H²/H^∞ model reduction problems are very difficult. For both problems homotopy algorithms based on several formulations input normal form; Ly, Bryson, and Cannon's 2 X 2 block parametrization; a new nonminimal parametrization are developed and compared here. For the H² optimal model order reduction problem, these numerical algorithms are also compared with that based on Hyland and Bernstein's optimal projection equations. Both the input normal form and Ly form are very efficient compared to the over parametrization formulation and the optimal projection equations approach, since they utilize the minimal number of possible degrees of freedom. However, they can fail to exist or be very ill conditioned. The conditions under which the input normal form and the Ly form become ill conditioned are examined. The over-parametrization formulation solves the ill conditioning issue, and usually is more efficient than the approach based on solving the optimal projection equations for the H² optimal model reduction problem. However, the over-parametrization formulation introduces a very high order singularity at the solution, and it is doubtful whether this singularity can be overcome by using interpolation or other existing methods. / Master of Science

A structured program has been developed to track the equilibrium path of geometrically nonlinear space structures by the modified Riks/Wempner method. The sparse normal flow code in 'HOMP ACK' is used for tracking the equilibrium paths by the homotopy method. Two subroutines were written as required by HOMPACK. Four different structures were analyzed by these two programs. Comparison of the two methods has been carried out based on the number of Jacobian matrix evaluations and the CPU time used by the programs. The Riks/Wempner program successfully traced the equilibrium path through the limit points and bifurcation points for all the four structures analyzed while the homotopy program could not trace the complete path for two of the structures. It has been concluded that the sparse normal flow code of HOMPACK needs to be modified. / Master of Science

This thesis studies the pre-quantization of quasi-Hamiltonian group actions from a cohomological viewpoint. The compatibility of pre-quantization with symplectic reduction and the fusion product are established, and are used to understand the necessary and sufficient conditions for the pre-quantization of M(G,S), the moduli space of at flat G-bundles over a closed surface S. For a simply connected, compact, simple Lie group G, M(G,S) is known to be pre-quantizable at integer levels. For non-simply connected G, however, integrality of the level is not sufficient for pre-quantization, and this thesis determines the obstruction, namely a certain 3-dimensional cohomology class, that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups G. Partial results are obtained for the case of a surface S with marked points. Also, it is shown that via the bijective correspondence between quasi-Hamiltonian group actions and Hamiltonian loop group actions, the corresponding notions of prequantization coincide.

No description available.