Search NASA⌕ Search

SEARCH · Search NASA

Results for “INTEGRAL CALCULUS”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Formalization of the Integral Calculus in the PVS Theorem Prover

The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

Butler, Ricky W.↗
NASA NTRS1985

Boolean integral calculus for digital systems

The concept of Boolean integration is introduced and developed. When the changes in a desired function are specified in terms of changes in its arguments, then ways of 'integrating' (i.e., realizing) the function, if it exists, are presented. Boolean integral calculus has applications in design of logic circuits.

Tucker, J. H.↗
NASA NTRS1988

Boolean integral calculus

The concept of Boolean integration is developed, and different Boolean integral operators are introduced. Given the changes in a desired function in terms of the changes in its arguments, the ways of 'integrating' (i.e. realizing) such a function, if it exists, are presented. The necessary and sufficient conditions for integrating, in different senses, the expression specifying the changes are obtained. Boolean calculus has applications in the design of logic circuits and in fault analysis.

Tucker, Jerry H.↗
DOE OSTI2018

The Leibniz Differential and the Perron–Stieltjes Integral

We implement Leibniz’s idea about the differential as the length of an infinitesimally small elementary interval (a monad) in a form satisfying modern standards of rigor. The concept of sequential differential introduced in this paper is shown to be in good alignment with the standard convention of the integral calculus. As an application of this concept we simplify and generalize the construction of the Perron–Stieltjes integral.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Superintegrable systems on spaces of constant curvature

Construction and classification of two-dimensional (2D) superintegrable systems (i.e. systems admitting, in addition to two global integrals of motion guaranteeing the Liouville integrability, the third global and independent one) defined on 2D spaces of constant curvature and separable in the so-called geodesic polar coordinates are presented. The method proposed is applicable to any value of curvature including the case of Euclidean plane, sphere and hyperbolic plane. The main result is a generalization of Bertrand’s theorem on 2D spaces of constant curvature and covers most of the known separable and superintegrable models on such spaces (in particular, the so-called Tremblay–Turbiner–Winternitz (TTW) and Post–Winternitz (PW) models which have recently attracted some interest). -- Highlights: •Classifying 2D superintegrable, separable (polar coordinates) systems on S{sup 2}, R{sup 2}, H{sup 2}. •Construction of radial, angular potentials leading to superintegrability. •Generalization of Bertrand’s theorem covering known models, e.g. Higgs, TTW, PW, and Coulomb.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2013

Localization of quantum Bernoulli noises

The family (∂{sub k},∂{sub k}{sup *}){sub k≥0} of annihilation and creation operators acting on square integrable functionals of a Bernoulli process Z= (Z{sub k}){sub k⩾0} can be interpreted as quantum Bernoulli noises. In this note we consider the operator family (ℓ{sub k},ℓ{sub k}{sup *}){sub k≥0}, where ℓ{sub k}=∂{sub k}E{sub k} with E{sub k} being the conditional expectation (operator) given σ-field σ(Z{sub j}; 0 ⩽j⩽k). We show that ℓ{sub k} (resp. ℓ{sub k}{sup *}) is essentially a kind of localization of the annihilation operator ∂{sub k} (resp. creation operator ∂{sub k}{sup *}). We examine properties of the family (ℓ{sub k},ℓ{sub k}{sup *}){sub k≥0} and prove, among other things, that ℓ{sub k} and ℓ{sub k}{sup *} satisfy a local canonical anti-communication relation and (ℓ{sub k}{sup *}){sub k≥0} forms a mutually orthogonal operator sequence although each ℓ{sub k} is not a projection operator. We find that the operator series Σ{sub k=0}{sup ∞}ℓ{sub k}{sup *}Xℓ{sub k} converges in the strong operator topology for each bounded operator X acting on square integrable functionals of Z. In particular we get an explicit sum of the operator series Σ{sub k=0}{sup ∞}ℓ{sub k}{sup *}ℓ{sub k}. A useful norm estimate on Σ{sub k=0}{sup ∞}ℓ{sub k}{sup *}Xℓ{sub k} is also obtained. Finally we show applications of our main results to quantum dynamical semigroups and quantum probability.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

The Prelle-Singer method and Painlevé hierarchies

We consider systems of ordinary differential equations (ODEs) of the form BK=0, where B is a Hamiltonian operator of a completely integrable partial differential equation hierarchy, and K = (K, L){sup T}. Such systems, while of quite low order and linear in the components of K, may represent higher-order nonlinear systems if we make a choice of K in terms of the coefficient functions of B. Indeed, our original motivation for the study of such systems was their appearance in the study of Painlevé hierarchies, where the question of the reduction of order is of great importance. However, here we do not consider such particular cases; instead we study such systems for arbitrary K, where they may represent both integrable and nonintegrable systems of ordinary differential equations. We consider the application of the Prelle-Singer (PS) method—a method used to find first integrals—to such systems in order to reduce their order. We consider the cases of coupled second order ODEs and coupled third order ODEs, as well as the special case of a scalar third order ODE; for the case of coupled third order ODEs, the development of the PS method presented here is new. We apply the PS method to examples of such systems, based on dispersive water wave, Ito and Korteweg-de Vries Hamiltonian structures, and show that first integrals can be obtained. It is important to remember that the equations in question may represent sequences of systems of increasing order. We thus see that the PS method is a further technique which we expect to be useful in our future work.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

A boundary integral formalism for stochastic ray tracing in billiards

Determining the flow of rays or non-interacting particles driven by a force or velocity field is fundamental to modelling many physical processes. These include particle flows arising in fluid mechanics and ray flows arising in the geometrical optics limit of linear wave equations. In many practical applications, the driving field is not known exactly and the dynamics are determined only up to a degree of uncertainty. This paper presents a boundary integral framework for propagating flows including uncertainties, which is shown to systematically interpolate between a deterministic and a completely random description of the trajectory propagation. A simple but efficient discretisation approach is applied to model uncertain billiard dynamics in an integrable rectangular domain.

42 ENGINEERING↗
DOE OSTI2014

N{sup ±}-integrals and boundary values of Cauchy-type integrals of finite measures

Let Γ be a simple closed Lyapunov contour with finite complex measure ν, and let G{sup +} be the bounded and G{sup −} the unbounded domains with boundary Γ. Using new notions (so-called N-integration and N{sup +}- and N{sup −}-integrals), we prove that the Cauchy-type integrals F{sup +}(z), z∈G{sup +}, and F{sup −}(z), z∈G{sup −}, of ν are Cauchy N{sup +}- and N{sup −}-integrals, respectively. In the proof of the corresponding results, the additivity property and the validity of the change-of-variable formula for the N{sup +}- and N{sup −}-integrals play an essential role. Bibliography: 21 titles. (paper)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Topological features of the Sokolov integrable case on the Lie algebra so(3,1)

The integrable Sokolov case on so(3,1){sup ⋆} is investigated. This is a Hamiltonian system with two degrees of freedom, in which the Hamiltonian and the additional integral are homogeneous polynomials of degrees 2 and 4, respectively. It is an interesting feature of this system that connected components of common level surfaces of the Hamiltonian and the additional integral turn out to be noncompact. The critical points of the moment map and their indices are found, the bifurcation diagram is constructed, and the topology of noncompact level surfaces is determined, that is, the closures of solutions of the Sokolov system on so(3,1) are described. Bibliography: 24 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

The topology of integrable systems with incomplete fields

Liouville's theorem holds for Hamiltonian systems with complete Hamiltonian fields which possess a complete involutive system of first integrals; such systems are called Liouville-integrable. In this paper integrable systems with incomplete Hamiltonian fields are investigated. It is shown that Liouville's theorem remains valid in the case of a single incomplete field, while if the number of incomplete fields is greater, a certain analogue of the theorem holds. An integrable system on the algebra sl(3) is taken as an example. Bibliography: 11 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Coulomb Logarithm in Nonideal and Degenerate Plasmas

Various methods for determining the Coulomb logarithm in the kinetic theory of transport and various variants of the choice of the plasma screening constant, taking into account and disregarding the contribution of the ion component and the boundary value of the electron wavevector are considered. The correlation of ions is taken into account using the Ornstein–Zernike integral equation in the hypernetted-chain approximation. It is found that the effect of ion correlation in a nondegenerate plasma is weak, while in a degenerate plasma, this effect must be taken into account when screening is determined by the electron component alone. The calculated values of the electrical conductivity of a hydrogen plasma are compared with the values determined experimentally in the megabar pressure range. It is shown that the values of the Coulomb logarithm can indeed be smaller than unity. Special experiments are proposed for a more exact determination of the Coulomb logarithm in a magnetic field for extremely high pressures, for which electron scattering by ions prevails.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1992

A new approach to the digital redesign of continuous-time controllers

This paper presents a new method for digital redesign of both a continuous-time state-feedback control law and a cascaded analog controller. The concept of the Law of Mean from the integral calculus is utilized for the development of the equivalent digital controllers from the available analog controllers. A tuning parameter has been introduced into the digitally redesigned control gains so that the digitally controlled states will closely match the original continuous-time states. The proposed digital controllers give excellent performance.

Shieh, Leang-San↗
DOE OSTI2021

A multi-dimensional Child–Langmuir law for any diode geometry

While prior theoretical studies of multi-dimensional space-charge limited current (SCLC) assumed emission from a small patch on infinite electrodes, none have considered emission from an entire finite electrode. In this paper, we apply variational calculus (VC) and conformal mapping, which have previously been used to derive analytic solutions for SCLC density (SCLCD) for nonplanar one-dimensional geometries, to obtain mathematical relationships for any multi-dimensional macroscopic diode with finite cathode and anode. We first derive a universal mathematical relationship between space-charge limited potential and vacuum potential for any diode and apply this technique to determine SCLCD for an eccentric spherical diode. We then apply VC and the Schwartz–Christoffel transformation to derive an exact equation for SCLCD in a general two-dimensional planar geometry with emission from a finite emitter. Particle-in-cell simulations using VSim agreed within 4%–13% for a range of ratios of emitter width to gap distance using the thinnest electrodes practical for the memory constraints of our hardware, with the difference partially attributed to the theory's assumption of infinitesimally thin electrodes. After generalizing this approach to determine SCLCD for any orthogonal diode as a function of only the vacuum capacitance and vacuum potential, we derive an analytical formulation of the three-dimensional Child–Langmuir law for finite parallel rectangular and disk geometries. These results demonstrate the utility for calculating SCLCD for any diode geometry using vacuum capacitance and vacuum potential, which are readily obtainable for many diode geometries, to guide experiment and simulation development.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

Variational Integration for Ideal MHD with Built-in Advection Equations

Newcomb's Lagrangian for ideal MHD in Lagrangian labeling is discretized using discrete exterior calculus. Variational integrators for ideal MHD are derived thereafter. Besides being symplectic and momentum preserving, the schemes inherit built-in advection equations from Newcomb's formulation, and therefore avoid solving them and the accompanying error and dissipation. We implement the method in 2D and show that numerical reconnection does not take place when singular current sheets are present. We then apply it to studying the dynamics of the ideal coalescence instability with multiple islands. The relaxed equilibrium state with embedded current sheets is obtained numerically.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2018

Elliptic symbol calculus: from elliptic polylogarithms to iterated integrals of Eisenstein series

We present a generalization of the symbol calculus from ordinary multiple polylogarithms to their elliptic counterparts. Here, our formalism is based on a special case of a coaction on large classes of periods that is applied in particular to elliptic polylogarithms and iterated integrals of modular forms. We illustrate how to use our formalism to derive relations among elliptic polylogarithms, in complete analogy with the non-elliptic case. We then analyze the symbol alphabet of elliptic polylogarithms evaluated at rational points, and we observe that it is given by Eisenstein series for a certain congruence subgroup. We apply our formalism to hypergeometric functions that can be expressed in terms of elliptic polylogarithms and show that they can equally be written in terms of iterated integrals of Eisenstein series. Finally, we present the symbol of the equal-mass sunrise integral in two space-time dimensions. The symbol alphabet involves Eisenstein series of level six and weight three, and we can easily integrate the symbol in terms of iterated integrals of Eisenstein series.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2014

Variational integration for ideal magnetohydrodynamics with built-in advection equations

Newcomb's Lagrangian for ideal magnetohydrodynamics (MHD) in Lagrangian labeling is discretized using discrete exterior calculus. Variational integrators for ideal MHD are derived thereafter. Besides being symplectic and momentum-preserving, the schemes inherit built-in advection equations from Newcomb's formulation, and therefore avoid solving them and the accompanying error and dissipation. We implement the method in 2D and show that numerical reconnection does not take place when singular current sheets are present. We then apply it to studying the dynamics of the ideal coalescence instability with multiple islands. The relaxed equilibrium state with embedded current sheets is obtained numerically.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2014

Multi-soliton management by the integrable nonautonomous nonlinear integro-differential Schrödinger equation

We consider a wide class of integrable nonautonomous nonlinear integro-differential Schrödinger equation which contains the models for the soliton management in Bose–Einstein condensates, nonlinear optics, and inhomogeneous Heisenberg spin chain. With the help of the nonisospectral AKNS hierarchy, we obtain the N-fold Darboux transformation and the N-fold soliton-like solutions for the equation. The soliton management, especially the synchronized dispersive and nonlinear management in optical fibers is discussed. It is found that in the situation without external potential, the synchronized dispersive and nonlinear management can keep the integrability of the nonlinear Schrödinger equation; this suggests that in optical fibers, the synchronized dispersive and nonlinear management can control and maintain the propagation of a multi-soliton. - Highlights: • We consider a unified model for soliton management by an integrable integro-differential Schrödinger equation. • Using Lax pair, the N-fold Darboux transformation for the equation is presented. • The multi-soliton management is considered. • The synchronized dispersive and nonlinear management is suggested.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗