SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
The controllability properties of systems which are described by an evolution equation in a Lie group are studied. The revelant Lie algebras induced by a right invariant system are singled out, and the basic properties of attainable sets are derived. The homogeneous case and the general case are studied, and results are interpreted in terms of controllability. Five examples are given.
Differential equations that arise in astrodynamics are examined from the standpoint of Lie group theory. A summary of the Lie method is given for first degree differential equations. The Kepler problem in Hamiltonian form is treated by this method. Extension of the Lie method to optimal trajectories is outlined.
The general Lie point transformation group and the associated reduced differential equations and similarity forms for the solutions are derived here for the coupled (nonlinear) Vlasov-Maxwell equations in one spatial dimension. The case of one species in a background is shown to admit a larger group than the multispecies case. Previous exact solutions are shown to be special cases of the above solutions, and many of the new solutions are found to constrain the form of the distribution function much more than, for example, the BGK solutions do. The individual generators of the Lie group are used to find the possible subgroups. Finally, a simple physical argument is given to show that the asymptotic solution for a one-species, one-dimensional plasma is one of the general similarity solutions.
Methods for transforming partial differential equations into forms more suitable for analysis and solution are investigated. The idea of Lie's infinitesimal contact transformation group is introduced to develop a systematic method which involves mostly algebraic manipulations. A thorough presentation of the application of this general method to the problem of similarity analysis in a broader sense - namely, the similarity between partial and ordinary differential equations, boundary value and initial value problems, and nonlinear and linear equations - is given with new and very general methods evolved for deriving the possible groups of transformations.
The principal concepts of algebra and topology are examined with emphasis on applications to physics. In particular, attention is given to sets and mapping; topological spaces and continuous mapping; manifolds; and topological groups and Lie groups. The discussion also covers the tangential spaces of the differential manifolds, including Lie algebras, vector fields, and differential forms, properties of differential forms, mapping of tangential spaces, and integration of differential forms.
Aspects of dc to dc conversion were studied in terms of a class of switching voltage regulators from a stability viewpoint. Background concepts of nonlinear system theory were considered, including the problem of obtaining suitable realizations for a class of positive operators. It is shown that the state evolution equations for a power conversion network are in general of bilinear form, and that the theory of lie groups and lie algebras is useful in analyzing such systems. The feedback stabilization of a class of bilinear systems whose state space is a manifold is also discussed.
State equations arising in the description of power processing systems are described. The role played by Lie groups and Lie algebras in characterizing the inherent dynamical features of these systems is outlined, and network examples are presented for illustration.
An investigation is conducted concerning the state equations which arise in the description of power processing systems. Attention is given to the role played by Lie groups and Lie algebras in the characterization of the dynamical features of the systems. The bilinear equations used for the representation of the network characteristics are discussed along with the nature of the solutions for the equations. The application of the described approaches is illustrated with the aid of a number of network examples.
This paper associates the Riccati group and its group action on linear-quadratic optimal control problems to the action of a Lie transformation group on a set of Hamiltonian matrices. In this Lie theoretic setting results are presented concerning the associated orbit structure and the structure of the group itself. These results are of importance in understanding the solution structure of matrix Riccati differential equations, and thus also of importance in linear-quadratic optimal control.
The mitigation of fuel slosh in microgravity environments is a pressing matter for the control of both manned and unmanned spacecraft. Recent work has investigated negative mass modeling of fuel slosh using Lie Group SE(3) . This paper applies Lie group SE(3) to the full body problem of spacecraft dynamics to investigate attitude perturbations caused by fuel slosh aboard the James Webb Space Telescope (JWST). We develop a dynamical model to parse these perturbations from slew telemetry data via residuals analysis. This model uses a novel, N-body Runge-Kutta integrator in the special Euclidean group SE(3). The enhanced ability to validate fuel slosh models reduces settling time after slew operations and, accordingly, maximizes available science time.
The algebraic and geometric structures of certain classes of nonlinear stochastic systems were exploited in order to obtain useful stability and estimation results. The class of bilinear stochastic systems (or linear systems with multiplicative noise) was discussed. The stochastic stability of bilinear systems driven by colored noise was considered. Approximate methods for obtaining sufficient conditions for the stochastic stability of bilinear systems evolving on general Lie groups were discussed. Two classes of estimation problems involving bilinear systems were considered. It was proved that, for systems described by certain types of Volterra series expansions or by certain bilinear equations evolving on nilpotent or solvable Lie groups, the optimal conditional mean estimator consists of a finite dimensional nonlinear set of equations. The theory of harmonic analysis was used to derive suboptimal estimators for bilinear systems driven by white noise which evolve on compact Lie groups or homogeneous spaces.
A third order Runge-Kutta type algorithm is described with the property that it preserves certain geometric structures. In particular, if the algorithm is initialized on a Lie group, then the resulting iterates remain on the Lie group.
A general method described by Hermann and Martin (1976) for the study of the feedback invariants of linear systems is considered. It is shown that this method, which makes use of ideas of topology and algebraic geometry, is very useful in the investigation of feedback problems for which the classical methods are not suitable. The transfer function as a curve in the Grassmanian is examined. The general concepts studied in the context of specific systems and applications are organized in terms of the theory of Lie groups and algebraic geometry. Attention is given to linear systems which have a structure group, linear mechanical systems, and feedback invariants. The investigation shows that Lie group techniques are powerful and useful tools for analysis of the feedback structure of linear systems.
Lie group methods are used to find both exact and numerical similarity solutions for compressible perturbations to all incompressible, two-dimensional, axisymmetric vortex reference flow. The reference flow vorticity satisfies an eigenvalue problem for which the solutions are a set of two-dimensional, self-similar, incompressible vortices. These solutions are augmented by deriving a conserved quantity for each eigenvalue, and identifying a Lie group which leaves the reference flow equations invariant. The partial differential equations governing the compressible perturbations to these reference flows are also invariant under the action of the same group. The similarity variables found with this group are used to determine the decay rates of the velocities and thermodynamic variables in the self-similar flows, and to reduce the governing partial differential equations to a set of ordinary differential equations. The ODE's are solved analytically and numerically for a Taylor vortex reference flow, and numerically for an Oseen vortex reference flow. The solutions are used to examine the dependencies of the temperature, density, entropy, dissipation and radial velocity on the Prandtl number. Also, experimental data on compressible free vortex flow are compared to the analytical results, the evolution of vortices from initial states which are not self-similar is discussed, and the energy transfer in a slightly-compressible vortex is considered.
Left almost periodic function defined on topological group G is not necessarily right almost periodic even if g is Lie group
Solution of general homogenous linear differential equation of second order using Lie groups
Solution of general inhomogenous linear differential equations of second order using Lie groups
Preliminary work about intrinsic numerical integrators evolving on groups is described. Fix a finite dimensional Lie group G; let g denote its Lie algebra, and let Y(sub 1),...,Y(sub N) denote a basis of g. A class of numerical algorithms is presented that approximate solutions to differential equations evolving on G of the form: dot-x(t) = F(x(t)), x(0) = p is an element of G. The algorithms depend upon constants c(sub i) and c(sub ij), for i = 1,...,k and j is less than i. The algorithms have the property that if the algorithm starts on the group, then it remains on the group. In addition, they also have the property that if G is the abelian group R(N), then the algorithm becomes the classical Runge-Kutta algorithm. The Cayley algebra generated by labeled, ordered trees is used to generate the equations that the coefficients c(sub i) and c(sub ij) must satisfy in order for the algorithm to yield an rth order numerical integrator and to analyze the resulting algorithms.