Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “General relativity formalism”

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

Polarization and properties of low-frequency waves in warm magnetized two-fluid plasma

This paper presents the derivation of a general wave dispersion relation for warm magnetized plasma under the two-fluid formalism. The discussion is quite general except for the assumption of low frequency and slow phase speed, for which the displacement current is negligible, under the implicit assumption that the plasma is sufficiently dense to satisfy the condition ωpe>ωce, where ωpe and ωce denote the plasma oscillation frequency and electron gyro frequency, respectively. The present discussion does not invoke charge neutrality associated with the fluctuations although it is implicitly satisfied. The resulting dispersion relation that includes the fluid thermal effects shows that there are three eigen modes, which include those corresponding to ideal MHD, namely, fast, slow, and kinetic Alfvén waves, as well as higher-frequency modes including the ion and electron cyclotron and lower-hybrid resonances. The fluid effects in the ideal MHD wave branches are influenced by the finite Larmor radius scales, and when the wave number in the cross field direction is comparable to these values, the fluid effects become significant. It is found that the Larmor radius should be interpreted in the sense as ion-acoustic gyro-radius instead of ion thermal gyro radius only. That is, it is found that the electrons also contribute to the non-ideal effect associated with the kinetic Alfvén wave. A comprehensive explanation of the polarization of each mode is also presented. The present findings indicate that the polarity may change its sign only for the kinetic Alfvén mode branch and that such a transition is based on the propagation angle. When such a change does take place, it is found that the kinetic Alfvén wave transits to an ion-acoustic mode. For each branch, it is also found that the electric field along the ambient magnetic field is purely transverse.

Physics↗

Dipole-field sums and Lorentz factors for orthorhombic lattices, and implications for polarizable molecules

A method for computing the Lorentz tensor components in single crystals via rapidly convergent sums of Bessels functions is developed using the relationship between dipole-field sums and the tensor components. The Lorentz factors for simple, body-centered, and base-centered orthorhombic lattices are computed using this method, and the derivative Lorentz factors for simple orthorhombic lattices are also determined. Both the Lorentz factors and their derivatives are shown to be very sensitive to a lattice structure. The equivalent of the Clausius-Mossotti relation for general orthorhombic lattices is derived using the Lorentz-factor formalism, and the permanent molecular dipole moment is related to crystal polarization for the case of a ferroelectric of polarizable point dipoles. It is concluded that the polarization enhancement due to self-polarization familiar from classical theory may actually be a reduction in consequences of negative Lorentz factors in one or two lattice directions for noncubic crystals.

Purvis, C. K.↗

Applications of Formal Methods to Specification and Safety of Avionics Software

This report treats several topics in applications of formal methods to avionics software development. Most of these topics concern decision tables, an orderly, easy-to-understand format for formally specifying complex choices among alternative courses of action. The topics relating to decision tables include: generalizations fo decision tables that are more concise and support the use of decision tables in a refinement-based formal software development process; a formalism for systems of decision tables with behaviors; an exposition of Parnas tables for users of decision tables; and test coverage criteria and decision tables. We outline features of a revised version of ORA's decision table tool, Tablewise, which will support many of the new ideas described in this report. We also survey formal safety analysis of specifications and software.

Hoover, D. N.↗

Thermodynamically consistent Cahn–Hilliard–Navier–Stokes equations using the metriplectic dynamics formalism

Cahn–Hilliard–Navier–Stokes (CHNS) systems describe flows with two-phases, e.g., a liquid with bubbles. Obtaining constitutive relations for general dissipative processes for such systems, which are thermodynamically consistent, can be a challenge. We show how the metriplectic 4-bracket formalism (Morrison and Updike, 2024) achieves this in a straightforward, in fact algorithmic, manner. First, from the noncanonical Hamiltonian formulation for the ideal part of a CHNS system we obtain an appropriate Casimir to serve as the entropy in the metriplectic formalism that describes the dissipation (e.g. viscosity, heat conductivity and diffusion effects). General thermodynamics with the concentration variable and its thermodynamics conjugate, the chemical potential, are included. Having expressions for the Hamiltonian (energy), entropy, and Poisson bracket, we describe a procedure for obtaining a metriplectic 4-bracket that describes thermodynamically consistent dissipative effects. The 4-bracket formalism leads naturally to a general CHNS system that allows for anisotropic surface energy effects. Furthermore, this general CHNS system reduces to cases in the literature, to which we can compare.

Cahn–Hilliard↗

Learning new physics from data: A symmetrized approach

Thousands of person years have been invested in searches for new physics (NP), the majority of them motivated by theoretical considerations. Yet, no evidence of beyond the Standard Model physics has been found. This suggests that model-agnostic searches might be an important key to explore NP, and help discover unexpected phenomena which can inspire future theoretical developments. A possible strategy for such searches is identifying asymmetries between data samples that are expected to be symmetric within the Standard Model. We propose exploiting neural networks (NNs) to quickly fit and statistically test the differences between two samples. Our method is based on an earlier work, originally designed for inferring the deviations of an observed dataset from that of a much larger reference dataset. We present a symmetric formalism, generalizing the original one, avoiding fine-tuning of the NN parameters and any constraints on the relative sizes of the samples. Our formalism could be used to detect small symmetry violations, extending the discovery potential of current and future particle physics experiments.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

First Look at Quartic-in-Spin Binary Dynamics at Third Post-Minkowskian Order

We compute the conservative and radiation-reaction contributions to classical observables in the gravitational scattering between a spinning and a spinless black hole to the fourth order in spin and third order in the gravitational constant. The conservative results are obtained from two-loop amplitudes for the scattering process of a massive scalar with a massive spin-𝑠 field (𝑠=0, 1, 2) minimally coupled to gravity, employing the recently introduced spin interpolation method to resolve all spin-Casimir terms. The two-loop amplitude exhibits a spin-shift symmetry in both probe limits, which we conjecture to be a sign of yet unknown integrability of Kerr orbits through the quartic order in spin and to all orders in the gravitational constant. We obtain the radial action from the finite part of the amplitude and use it to compute classical observables, including the impulse and spin kick. This is done using the recently introduced covariant Dirac brackets, which allow for the computation of classical scattering observables for general (nonaligned) spin configurations. Finally, employing the radiation-reaction amplitude proposed by Alessio and Di Vecchia, together with the Dirac brackets, we obtain radiation-reaction contributions to observables at all orders in spin and beyond the aligned-spin limit. We find agreement with known results up to the quadratic order in spin for both conservative and radiation-reaction contributions. Our results advance the state of the art in the understanding of spinning binary dynamics in general relativity and demonstrate the power and simplicity of the Dirac bracket formalism for relating scattering amplitudes to classical observables.

general relativity↗

Sonic boom measurement test plan for Space Shuttle STS-4 reentry

Formal documentation for measurement procedures and system specifications, and general information relating to the Space Shuttle STS-4 Sonic Boom Measurement Program are supplied. This test plan is designed to provide information, guidance, and assignment of responsibilities for the acquisition of sonic boom and atmospheric measurements, timing correlation, communications and other necessary supporting tasks. Specifically included are details such as mobile data acquisition station locations, measurement systems calibration levels, predicted sonic boom overpressure levels, overpressure level assignment for each data acquisition station, data recording times on and off, universal coordinated time, and measurement system descriptions.

Henderson, H. R.↗

A generalized Selberg zeta function for flat space cosmologies

Flat space cosmologies (FSCs) are time dependent solutions of three-dimensional (3D) gravity with a vanishing cosmological constant. They can be constructed from a discrete quotient of empty 3D flat spacetime and are also called shifted-boost orbifolds. Using this quotient structure, we build a new and generalized Selberg zeta function for FSCs, and show that it is directly related to the scalar 1-loop partition function. We then propose an extension of this formalism applicable to more general quotient manifolds $\mathcal{M}$/ℤ, based on representation theory of fields propagating on this background. Our prescription constitutes a novel and expedient method for calculating regularized 1-loop determinants, without resorting to the heat kernel. We compute quasinormal modes in the FSC using the zeroes of a Selberg zeta function, and match them to known results.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Noisy bases in Hilbert space: A new class of thermal coherent states and their properties

Coherent mixed states (or thermal coherent states) associated with the displaced harmonic oscillator at finite temperature, are introduced as a 'random' (or 'thermal' or 'noisy') basis in Hilbert space. A resolution of the identity for these states is proved and used to generalize the usual coherent state formalism for the finite temperature case. The Bargmann representation of an operator is introduced and its relation to the P and Q representations is studied. Generalized P and Q representations for the finite temperature case are also considered and several interesting relations among them are derived.

Vourdas, A.↗

Nuclear short-range correlations and the zero-energy eigenstates of the Schrödinger equation

Here, we present a systematic analysis of the nuclear two- and three-body short-range correlations and their relations to the zero-energy eigenstates of the Schrödinger equation. To this end we analyze the doublet and triplet coupled-cluster amplitudes in the high momentum limit, and show that they obey universal equations independent of the number of nucleons and their state. Furthermore, we find that these coupled-cluster amplitudes coincide with the zero-energy Bloch-Horowitz operator. These results illuminate the relations between the nuclear many-body theory and the generalized contact formalism, introduced to describe the nuclear two-body short range correlations, and they might also be helpful for general coupled-cluster computations as the asymptotic part of the amplitudes is given and shown to be universal.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Sonic boom measurement test plan for Space Shuttle STS-1 reentry

Formal documentation for measurement procedures and system specifications, and general information are relating to the Space Shuttle STS-1 Sonic Boom Measurement Program are supplied. This test plan is designed to provide information, guidance, and assignment of responsibilities for the acquisition of sonic boom and atmospheric measurements, timing correlation, communications and other necessary supporting tasks. Specifically included are details such as mobile data acquisition station locations, measurement systems calibration levels, predicted sonic boom overpressure levels, overpressure level assignment for each data acquisition station, data recording times on and off, universal coordinated time, and measurement system descriptions.

Henderson, H. R.↗

Towards satellite tests combining general relativity and quantum mechanics through quantum optical interferometry: progress on the deep space quantum link

The Deep Space Quantum Link (DSQL) is a space-mission concept that aims to explore the interplay between general relativity and quantum mechanics using quantum optical interferometry. This mission concept was formally presented to the United States National Academy of Science Decadal Survey as a research campaign for Fundamental Physics in 2022. Since then, advances have been made in the space-based quantum optical technologies required to conduct a DSQL-type mission. In addition, other research efforts have defined alternative measurement concepts to explore the same scientific questions motivating the DSQL mission. This paper serves as an update to the community on the status of the DSQL mission concept and related research and technology development efforts.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Kinetic theory of turbulent compressible flows and comparison with classical theory

A complete set of turbulent correlations is given in terms of expansion coefficients in a double series of Hermite polynomials of a two-particle correlation in phase space. Only two of these coefficients, corresponding to Reynolds stress and turbulent heat flux, are shown to appear in gasdynamic equations of turbulence. This is accomplished by incorporating the phase-space correlation in the collision integral of Boltzmann's equation and by deriving generalized Navier-Stokes and Fourier transport relations. In contrast to the classical formalism, the simple expression remains invariant in form whether the flow is compressible or not. Nevertheless, a bilinear transformation of fluctuating quantities shows that the two formalisms are identical with regard to terms of double correlations. The kinetic theory justifies nonexistence of the higher-order correlations characteristic of compressible-turbulence equations in the classical regime.

Tsuge, S.↗

The application of the principles of invariance to the radiative transfer equation in plant canopies

Solutions of the radiative transfer equation describing photon interactions with vegetation canopies are important in remote sensing since they provide the canopy reflectance distribution required in the interpretation of satellite acquired information. The general one-dimensional two-angle transport problem for a finite copy of arbitrary leaf angle distribution is considered. Analytical solutions are obtained in terms of generalized Chandrasekhar's X- and Y-functions by invoking the principles of invariance. A critical step in the formulation involves the decomposition of the integral of the scattering phase function into a product of known functions of the incident and scattered photon directions. Several simplified cases previously considered in the literature are derived from the generalized solution. Various symmetries obeyed by the scattering operator and reciprocity relations are formally proved.

Ganapol, B. D.↗

NASA publications manual 1974

The various types of NASA publications are described, including formal series, contributions to external publications, informal papers, and supplementary report material. The physical appearance and reproduction procedures for the format of the NASA formal series are discussed, and samples are provided. Matters relating to organization, content, and general style are also considered.

Source record↗

Theory of electric, magnetic, and toroidal polarizations in crystalline solids with applications to hexagonal lonsdaleite and cubic diamond

Multipolar order in bulk crystalline solids is characterized by multipole densities-denoted as polarizations in this work-that cannot be cleanly defined using the concepts of classical electromagnetism. Here we use group theory to overcome this difficulty and present a systematic study of electric, magnetic, and toroidal multipolar order in crystalline solids. Based on our symmetry analysis, we identify five categories of polarized matter, each of which is characterized by distinct features in the electronic band structure. For example, Rashba spin splitting in electropolar bulk materials like wurtzite represents the electric dipolarization in these materials. We also develop a general formalism of indicators for individual multipole densities that provide a physical interpretation and quantification of multipolar order. Our work clarifies the relation between patterns of localized multipoles and macroscopic multipole densities they give rise to. To illustrate the general theory, we discuss its application to polarized variants of hexagonal lonsdaleite and cubic diamond structures. In conclusion, our work provides a general framework for classifying and expanding current understanding of multipolar order in complex materials.

36 MATERIALS SCIENCE↗

Scalar QED as a toy model for higher-order effects in classical gravitational scattering

Quantum Electrodynamics (QED) serves as a useful toy model for classical observables in gravitational two-body systems with reduced complexity due to the linearity of QED. We investigate scattering observables in scalar QED at the sixth order in the charges (two-loop order) in a classical regime analogous to the post-Minkowskian expansion in General Relativity. We employ modern scattering amplitude tools and extract classical observables by both eikonal methods and the formalism of Kosower, Maybee, and O’Connell (KMOC). In addition, we provide a simplified approach to extracting the radial action beyond the conservative sector.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗