Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “LIE GROUP”

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.

At least 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Trees, bialgebras and intrinsic numerical algorithms

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.

Crouch, Peter↗
NASA NTRSDate not supplied

Autonomous Control for Arbitrary Thruster Configurations and Mass Properties in Special Euclidean Group SE(3)

Most current methods for determining maneuvers and thrust firing sequences depend on explicit and predetermined commands generated by a combination of on-board systems and ground-based human-in-the-loop methods. For spacecraft and space structures with changing mass properties and thruster configurations, such as the Deep Space Gateway as it changes configurations throughout its lifetime, determining these commands can be time-consuming and computationally intensive. However, recent work within the Lie group SE(3) has offered ways of autonomously determining the location, power, precision, and capabilities of thrusters in any arbitrary position. Furthermore, a method for determining thruster firing sequences based on an arbitrary control input (both translational and rotational in a coupled, 6-element vector) and arbitrary thruster configurations has also recently been developed. When combining these methods, any spacecraft with any mass properties and thruster configurations can be understood in terms of controllability limits and thruster firing sequences can be generated quickly and with low computational load, thus extending the autonomous capabilities of deep space missions. In this work, this method is presented and explored in terms of convergence time to the desired pose. The capabilities of this method are also examined in the case of the Deep Space Gateway both in fully controllable configurations and uncontrollable configurations.

SE(3)↗
NASA NTRS1979

System theory as applied differential geometry

The invariants of input-output systems under the action of the feedback group was examined. The approach used the theory of Lie groups and concepts of modern differential geometry, and illustrated how the latter provides a basis for the discussion of the analytic structure of systems. Finite dimensional linear systems in a single independent variable are considered. Lessons of more general situations (e.g., distributed parameter and multidimensional systems) which are increasingly encountered as technology advances are presented.

Hermann, R.↗
NASA NTRS1990

Bifurcations of relative equilibria

The characteristics of equivariant dynamical systems near relative equilibria (RE: group orbits which are invariant in the flow of an equivariant vector field) are investigated analytically, with a focus on the dynamics and bifurcation (B) behavior. The principles of Lie-group theory are reviewed; the decomposition of the vector field is explained; and particular attention is given to the Bs of RE occurring when an eigenvalue passes through zero, Hopf Bs of RE, the classification of generic secondary steady-state and Hopf Bs with symmetry group O(2), Bs of the zero solution of the Kuramoto-Shivashinsky equation, and possible generic steady-state Bs in the two-dimensional Benard problem. In the latter case, it is shown that the primary generic Bs are to two types of equilibria (hexagons and rolls), while the secondary Bs result in trajectories which are either equilibria or rotating waves.

Krupa, Martin↗
NASA NTRS1986

The stratigraphy of the Steep Rock Group, N.W. Ontario, with evidence of a major unconformity

The Steep Rock Group is exposed 6 km north of Atikokan, 200 km west of Thunder Bay. It is situated on the southern margin of the Wabigoon Belt of the Archaean Superior Province, N. W. Ontario. Reinvestigation of the geology of the Group has shown that the Group lies unconformably on the Tonalite Complex to the east. This unconformity has been previously suspected, from regional and ine mapping but no conclusive outcrop evidence for its existence has as yet been published. The strike of the group, comprised of Basal Conglomerate, Carbonate Member, Ore Zone and Ashrock is generally north-northwest dipping steeply to the southwest. Of the 7 contacts between the Steep Rock Group and the Tonalite Complex, 3 expose the unconformity (The Headland, S. Roberts Pit, Trueman Point), and 4 are faulted. These three outcrops demonstrate unequivocally that the Steep Rock group was laid down unconformably on the underlying Tonalite Complex, which is circa 3 Ga old.

Wilks, M. E.↗
DOE OSTI2025

Entanglement asymmetry and symmetry defects in boundary conformal field theory

A state in a quantum system with a given global symmetry, G, can be sensitive to the presence of boundaries, which may either preserve or break this symmetry. In this work, we investigate how conformal invariant boundary conditions influence the G-symmetry breaking through the lens of the entanglement asymmetry, a quantifier of the “distance” between a symmetry-broken state and its symmetrized counterpart. By leveraging 2D boundary conformal field theory (BCFT), we investigate the symmetry breaking for both finite and compact Lie groups. Beyond the leading order term, we also compute the subleading corrections in the subsystem size, highlighting their dependence on the symmetry group G and the BCFT operator content. We further explore the entanglement asymmetry following a global quantum quench, where a symmetry-broken state evolves under a symmetry-restoring Hamiltonian. In this dynamical setting, we compute the entanglement asymmetry by extending the method of images to a BCFT with non-local objects such as invertible symmetry defects.

Field Theories in Lower Dimensions↗
DOE OSTI2024

Proximal Galerkin: A Structure-Preserving Finite Element Method for Pointwise Bound Constraints

The proximal Galerkin finite element method is a high-order, low iteration complexity, nonlinear numerical method that preserves the geometric and algebraic structure of pointwise bound constraints in infinite-dimensional function spaces. This paper introduces the proximal Galerkin method and applies it to solve free boundary problems, enforce discrete maximum principles, and develop a scalable, mesh-independent algorithm for optimal design with pointwise bound constraints. This paper also introduces the latent variable proximal point (LVPP) algorithm, from which the proximal Galerkin method derives. When analyzing the classical obstacle problem, we discover that the underlying variational inequality can be replaced by a sequence of second-order partial differential equations (PDEs) that are readily discretized and solved with, e.g., the proximal Galerkin method. Throughout this work, we arrive at several contributions that may be of independent interest. These include (1) a semilinear PDE we refer to as the entropic Poisson equation; (2) an algebraic/geometric connection between high-order positivity-preserving discretizations and certain infinite-dimensional Lie groups; and (3) a gradient-based, bound-preserving algorithm for two-field, density-based topology optimization. The complete proximal Galerkin methodology combines ideas from nonlinear programming, functional analysis, tropical algebra, and differential geometry and can potentially lead to new synergies among these areas as well as within variational and numerical analysis. Open-source implementations of our methods accompany this work to facilitate reproduction and broader adoption.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Higher Hall conductivity from a single wave function: Obstructions to symmetry-preserving gapped edge of (2+1)-dimensional topological order

A (2+1)D topologically ordered phase with U(1) symmetry may or may not have a symmetric gapped edge state, even if both thermal and electric Hall conductivity are vanishing. It has recently been discovered that there are “higher” versions of Hall conductivity valid for fermionic fractional quantum Hall (FQH) states that obstruct symmetry-preserving gapped edge states beyond thermal and electric Hall conductivity. In this paper, we show that one can extract higher Hall conductivity from a single wave function of an FQH state, by evaluating the expectation value of the “partial rotation” unitary, which is a combination of partial spatial rotation and a U(1) phase rotation. This result is verified numerically with the fermionic Laughlin state with 𝜈=1/3 and 1/5, as well as the non-Abelian Moore-Read state. Together with topological entanglement entropy, we prove that the expectation values of the partial rotation completely determine if a bosonic/fermionic Abelian topological order with U(1) symmetry has a symmetry-preserving gappable edge state or not. We also show that thermal and electric Hall conductivity of Abelian topological order can be extracted by partial rotations. Even in non-Abelian FQH states, partial rotation provides the Lieb-Schultz-Mattis type theorem constraining the low-energy spectrum of the bulk-boundary system. The generalization of higher Hall conductivity to the case with Lie group symmetry is also presented.

2-dimensional systems↗
DOE OSTI2025

Introducing Kynema, an Open-Source Performance-Portable Flexible-Multibody-Dynamics Solver

In this talk we introduce Kynema, an open-source general flexible-multibody-dynamics solver that is well suited for simulating wind turbine structural dynamics. Kynema uses a Lie-group time integrator for constrained systems and runs on both CPUs and GPUs. Timing results for simulations are presented for the IEA 15-MW turbine with and without aerodynamic forces.

17 WIND ENERGY↗
NASA NTRS1973

Estimation and detection of signals in multiplicative noise

A class of detection-estimation problems on matrix Lie groups is defined in which the observation noise is multiplicative in nature. By examining the differential versions of the hypotheses, which are bilinear in nature, it is possible to derive the relevant likelihood ratio formula and the associated optimal estimation equations for the signal given the observations and the assumption that the signal is present. These estimation equations are of interest in their own right, in that they represent a finite dimensional optimal solution to a nonlinear estimation problem and can be viewed as consisting of a Kalman-Bucy filter along with the on-line computation of the solution of the associated Riccati equation, which is driven by the observations. The usefulness of these results is illustrated via an example concerning the detection of an actuator failure in a rigid body rotational control system.

Willsky, A. S.↗
NASA NTRS1974

Estimation for bilinear stochastic systems

Three techniques for the solution of bilinear estimation problems are presented. First, finite dimensional optimal nonlinear estimators are presented for certain bilinear systems evolving on solvable and nilpotent lie groups. Then the use of harmonic analysis for estimation problems evolving on spheres and other compact manifolds is investigated. Finally, an approximate estimation technique utilizing cumulants is discussed.

Willsky, A. S.↗
NASA NTRS1974

A class of finite dimensional optimal nonlinear estimators

Finite dimensional optimal nonlinear state estimators are derived for bilinear systems evolving on nilpotent and solvable Lie groups. These results are extended to other classes of systems involving polynomial nonlinearities. The concepts of exact differentials and path-independent integrals are used to derive optimal finite dimensional estimators for a further class of nonlinear systems.

Marcus, S. I.↗