Algebraic Riccati equations in zero-sum differential games
NASA Technical Reports Server (NTRS)
Johnson, T. L.; Chao, A.
1974-01-01
The procedure for finding the closed-loop Nash equilibrium solution of two-player zero-sum linear time-invariant differential games with quadratic performance criteria and classical information pattern may be reduced in most cases to the solution of an algebraic Riccati equation. Based on the results obtained by Willems, necessary and sufficient conditions for existence of solutions to these equations are derived, and explicit conditions for a scalar example are given.
Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
NASA Astrophysics Data System (ADS)
Kitamoto, Takuya
The algebraic Riccati equation, which we denote by ’ARE’ in the rest of the paper, is one of the most important equations of the post modern control theory. It plays important role for solving H 2 and H ∞ optimal control problems.
NASA Astrophysics Data System (ADS)
Napora, Jolanta
2000-10-01
A given Riccati equation, as is well known, can be naturally reduced to a system of nonlinear evolution equations on an infinite-dimensional functional manifold with Cauchy-Goursat initial data. We describe the Lie algebraic reduction procedure of nonlocal type for this infinite-dimensional dynamical system upon the set of critical points of an invariant Lagrangian functional. As one of our main results, we show that the reduced dynamical system generates the completely integrable Hamiltonian flow on this submanifold with respect to the canonical symplectic structure upon it. The above also makes it possible to find effectively its finite-dimensional Lax type representation via both the well known Moser type reduction procedure and the dual momentum mapping scheme on some matrix manifold.
Novel insights on the stabilising solution to the continuous-time algebraic Riccati equation
NASA Astrophysics Data System (ADS)
Rojas, A. J.
2014-11-01
In the present paper we present a closed-form solution, as a function of the closed-loop poles, for the continuous-time algebraic Riccati equations (CAREs) related to single-input single-output systems with non-repeated poles. The proposed solution trades the standard numerical algorithm approach for one based on a spectral factorisation argument, offering potential insight into any control technique based on a CARE and its solution. As an example, we present the equivalence of two fairly recent control over network results. Furthermore we apply the proposed result to the formula for the optimal regulator gain matrix k (or equivalently the Luenberger's observer gain l) and present an example. Finally, we conclude by discussing the possible extension of the proposed closed-form solution to the repeated eigenvalues case and to the case when the CARE is related to multiple-input multiple-output systems.
NASA Technical Reports Server (NTRS)
Ito, Kazufumi
1987-01-01
The linear quadratic optimal control problem on infinite time interval for linear time-invariant systems defined on Hilbert spaces is considered. The optimal control is given by a feedback form in terms of solution pi to the associated algebraic Riccati equation (ARE). A Ritz type approximation is used to obtain a sequence pi sup N of finite dimensional approximations of the solution to ARE. A sufficient condition that shows pi sup N converges strongly to pi is obtained. Under this condition, a formula is derived which can be used to obtain a rate of convergence of pi sup N to pi. The results of the Galerkin approximation is demonstrated and applied for parabolic systems and the averaging approximation for hereditary differential systems.
NASA Astrophysics Data System (ADS)
Ivanov, I. G.; Netov, N. C.; Bogdanova, B. C.
2015-10-01
This paper addresses the problem of solving a generalized algebraic Riccati equation with an indefinite sign of its quadratic term. We extend the approach introduced by Lanzon, Feng, Anderson and Rotkowitz (2008) for solving similar Riccati equations. We numerically investigate two types of iterative methods for computing the stabilizing solution. The first type of iterative methods constructs two matrix sequences, where the sum of them converges to the stabilizing solution. The second type of methods defines one matrix sequence which converges to the stabilizing solution. Computer realizations of the presented methods are numerically tested and compared on the test of family examples. Based on the experiments some conclusions are derived.
NASA Astrophysics Data System (ADS)
Moraes Rêgo, Patrícia Helena; Viana da Fonseca Neto, João; Ferreira, Ernesto M.
2015-08-01
The main focus of this article is to present a proposal to solve, via UDUT factorisation, the convergence and numerical stability problems that are related to the covariance matrix ill-conditioning of the recursive least squares (RLS) approach for online approximations of the algebraic Riccati equation (ARE) solution associated with the discrete linear quadratic regulator (DLQR) problem formulated in the actor-critic reinforcement learning and approximate dynamic programming context. The parameterisations of the Bellman equation, utility function and dynamic system as well as the algebra of Kronecker product assemble a framework for the solution of the DLQR problem. The condition number and the positivity parameter of the covariance matrix are associated with statistical metrics for evaluating the approximation performance of the ARE solution via RLS-based estimators. The performance of RLS approximators is also evaluated in terms of consistence and polarisation when associated with reinforcement learning methods. The used methodology contemplates realisations of online designs for DLQR controllers that is evaluated in a multivariable dynamic system model.
A note on the regularity of solutions of infinite dimensional Riccati equations
NASA Technical Reports Server (NTRS)
Burns, John A.; King, Belinda B.
1994-01-01
This note is concerned with the regularity of solutions of algebraic Riccati equations arising from infinite dimensional LQR and LQG control problems. We show that distributed parameter systems described by certain parabolic partial differential equations often have a special structure that smoothes solutions of the corresponding Riccati equation. This analysis is motivated by the need to find specific representations for Riccati operators that can be used in the development of computational schemes for problems where the input and output operators are not Hilbert-Schmidt. This situation occurs in many boundary control problems and in certain distributed control problems associated with optimal sensor/actuator placement.
NASA Astrophysics Data System (ADS)
Nishiyama, Seiya; da Providência, João
2015-02-01
In this paper we present the induced representation of SO(2N) canonical transformation group and introduce (SO(2N))/(U(N)) coset variables. We give a derivation of the time-dependent Hartree-Bogoliubov (TDHB) equation on the Kähler coset space (G)/(H) = (SO(2N))/(U(N)) from the Euler-Lagrange equation of motion for the coset variables. The TDHB wave function represents the TD behavior of Bose condensate of fermion pairs. It is a good approximation for the ground state of the fermion system with a pairing interaction, producing the spontaneous Bose condensation. To describe the classical motion on the coset manifold, we start from the local equation of motion. This equation becomes a Riccati-type equation. After giving a simple two-level model and a solution for a coset variable, we can get successfully a general solution of time-dependent Riccati-Hartree-Bogoliubov equation for the coset variables. We obtain the Harish-Chandra decomposition for the SO(2N) matrix based on the nonlinear Möbius transformation together with the geodesic flow on the manifold.
On Hilbert-Schmidt norm convergence of Galerkin approximation for operator Riccati equations
NASA Technical Reports Server (NTRS)
Rosen, I. G.
1988-01-01
An abstract approximation framework for the solution of operator algebraic Riccati equations is developed. The approach taken is based on a formulation of the Riccati equation as an abstract nonlinear operator equation on the space of Hilbert-Schmidt operators. Hilbert-Schmidt norm convergence of solutions to generic finite dimensional Galerkin approximations to the Riccati equation to the solution of the original infinite dimensional problem is argued. The application of the general theory is illustrated via an operator Riccati equation arising in the linear-quadratic design of an optimal feedback control law for a 1-D heat/diffusion equation. Numerical results demonstrating the convergence of the associated Hilbert-Schmidt kernels are included.
Integration-free interval doubling for Riccati equation solutions
NASA Technical Reports Server (NTRS)
Sidhu, G. S.; Bierman, G. J.
1977-01-01
Starting with certain identities obtained by Reid (1972) and Redheffer (1962) for general matrix Riccati equations (RE's), we give various algorithms for the case of constant coefficients. The algorithms are based on two ideas - first, relate the RE solution with general initial conditions to anchored RE solutions; and second, when the coefficients are constant, the anchored solutions have a basic shift-invariance property. These ideas are used to construct an integration-free, superlinearly convergent iterative solution to the algebraic RE. Preliminary numerical experiments show that our algorithms, arranged in square-root form, provide a method that is numerically stable and appears to be competitive with other methods of solving the algebraic RE.
A neuro approach to solve fuzzy Riccati differential equations
NASA Astrophysics Data System (ADS)
Shahrir, Mohammad Shazri; Kumaresan, N.; Kamali, M. Z. M.; Ratnavelu, Kurunathan
2015-10-01
There are many applications of optimal control theory especially in the area of control systems in engineering. In this paper, fuzzy quadratic Riccati differential equation is estimated using neural networks (NN). Previous works have shown reliable results using Runge-Kutta 4th order (RK4). The solution can be achieved by solving the 1st Order Non-linear Differential Equation (ODE) that is found commonly in Riccati differential equation. Research has shown improved results relatively to the RK4 method. It can be said that NN approach shows promising results with the advantage of continuous estimation and improved accuracy that can be produced over RK4.
A neuro approach to solve fuzzy Riccati differential equations
Shahrir, Mohammad Shazri; Kumaresan, N. Kamali, M. Z. M.; Ratnavelu, Kurunathan
2015-10-22
There are many applications of optimal control theory especially in the area of control systems in engineering. In this paper, fuzzy quadratic Riccati differential equation is estimated using neural networks (NN). Previous works have shown reliable results using Runge-Kutta 4th order (RK4). The solution can be achieved by solving the 1st Order Non-linear Differential Equation (ODE) that is found commonly in Riccati differential equation. Research has shown improved results relatively to the RK4 method. It can be said that NN approach shows promising results with the advantage of continuous estimation and improved accuracy that can be produced over RK4.
Computational complexities and storage requirements of some Riccati equation solvers
NASA Technical Reports Server (NTRS)
Utku, Senol; Garba, John A.; Ramesh, A. V.
1989-01-01
The linear optimal control problem of an nth-order time-invariant dynamic system with a quadratic performance functional is usually solved by the Hamilton-Jacobi approach. This leads to the solution of the differential matrix Riccati equation with a terminal condition. The bulk of the computation for the optimal control problem is related to the solution of this equation. There are various algorithms in the literature for solving the matrix Riccati equation. However, computational complexities and storage requirements as a function of numbers of state variables, control variables, and sensors are not available for all these algorithms. In this work, the computational complexities and storage requirements for some of these algorithms are given. These expressions show the immensity of the computational requirements of the algorithms in solving the Riccati equation for large-order systems such as the control of highly flexible space structures. The expressions are also needed to compute the speedup and efficiency of any implementation of these algorithms on concurrent machines.
Relations between nonlinear Riccati equations and other equations in fundamental physics
NASA Astrophysics Data System (ADS)
Schuch, Dieter
2014-10-01
Many phenomena in the observable macroscopic world obey nonlinear evolution equations while the microscopic world is governed by quantum mechanics, a fundamental theory that is supposedly linear. In order to combine these two worlds in a common formalism, at least one of them must sacrifice one of its dogmas. Linearizing nonlinear dynamics would destroy the fundamental property of this theory, however, it can be shown that quantum mechanics can be reformulated in terms of nonlinear Riccati equations. In a first step, it will be shown that the information about the dynamics of quantum systems with analytical solutions can not only be obtainable from the time-dependent Schrödinger equation but equally-well from a complex Riccati equation. Comparison with supersymmetric quantum mechanics shows that even additional information can be obtained from the nonlinear formulation. Furthermore, the time-independent Schrödinger equation can also be rewritten as a complex Riccati equation for any potential. Extension of the Riccati formulation to include irreversible dissipative effects is straightforward. Via (real and complex) Riccati equations, other fields of physics can also be treated within the same formalism, e.g., statistical thermodynamics, nonlinear dynamical systems like those obeying a logistic equation as well as wave equations in classical optics, Bose- Einstein condensates and cosmological models. Finally, the link to abstract "quantizations" such as the Pythagorean triples and Riccati equations connected with trigonometric and hyperbolic functions will be shown.
NASA Technical Reports Server (NTRS)
Rosen, I. G.
1988-01-01
An approximation and convergence theory was developed for Galerkin approximations to infinite dimensional operator Riccati differential equations formulated in the space of Hilbert-Schmidt operators on a separable Hilbert space. The Riccati equation was treated as a nonlinear evolution equation with dynamics described by a nonlinear monotone perturbation of a strongly coercive linear operator. A generic approximation result was proven for quasi-autonomous nonlinear evolution system involving accretive operators which was then used to demonstrate the Hilbert-Schmidt norm convergence of Galerkin approximations to the solution of the Riccati equation. The application of the results was illustrated in the context of a linear quadratic optimal control problem for a one dimensional heat equation.
An Exact Mapping from Navier-Stokes Equation to Schr"odinger Equation via Riccati Equation
NASA Astrophysics Data System (ADS)
Christianto, Vic; Smarandache, Florentin
2010-03-01
In the present article we argue that it is possible to write down Schr"odinger representation of Navier-Stokes equation via Riccati equation. The proposed approach, while differs appreciably from other method such as what is proposed by R. M. Kiehn, has an advantage, i.e. it enables us extend further to quaternionic and biquaternionic version of Navier-Stokes equation, for instance via Kravchenko's and Gibbon's route. Further observation is of course recommended in order to refute or verify this proposition.
Newton's laws of motion in the form of a Riccati equation.
Nowakowski, Marek; Rosu, Haret C
2002-04-01
We discuss two applications of a Riccati equation to Newton's laws of motion. The first one is the motion of a particle under the influence of a power law central potential V(r)=kr(epsilon). For zero total energy we show that the equation of motion can be cast in the Riccati form. We briefly show here an analogy to barotropic Friedmann-Robertson-Lemaitre cosmology where the expansion of the universe can be also shown to obey a Riccati equation. A second application in classical mechanics, where again the Riccati equation appears naturally, are problems involving quadratic friction. We use methods reminiscent to nonrelativistic supersymmetry to generalize and solve such problems. PMID:12006083
NASA Technical Reports Server (NTRS)
Garzia, M. R.; Loparo, K. A.; Martin, C. F.
1982-01-01
This paper looks at the structure of the solution of a matrix Riccati differential equation under a predefined group of transformations. The group of transformations used is an expanded form of the feedback group. It is shown that this group of transformations is a subgroup of the symplectic group. The orbits of the Riccati differential equation under the action of this group are studied and it is seen how these techniques apply to a decentralized optimal control problem.
Algebraic methods for the solution of some linear matrix equations
NASA Technical Reports Server (NTRS)
Djaferis, T. E.; Mitter, S. K.
1979-01-01
The characterization of polynomials whose zeros lie in certain algebraic domains (and the unification of the ideas of Hermite and Lyapunov) is the basis for developing finite algorithms for the solution of linear matrix equations. Particular attention is given to equations PA + A'P = Q (the Lyapunov equation) and P - A'PA = Q the (discrete Lyapunov equation). The Lyapunov equation appears in several areas of control theory such as stability theory, optimal control (evaluation of quadratic integrals), stochastic control (evaluation of covariance matrices) and in the solution of the algebraic Riccati equation using Newton's method.
NASA Astrophysics Data System (ADS)
Schuch, Dieter
2014-04-01
Theoretical physics seems to be in a kind of schizophrenic state. Many phenomena in the observable macroscopic world obey nonlinear evolution equations, whereas the microscopic world is governed by quantum mechanics, a fundamental theory that is supposedly linear. In order to combine these two worlds in a common formalism, at least one of them must sacrifice one of its dogmas. I claim that linearity in quantum mechanics is not as essential as it apparently seems since quantum mechanics can be reformulated in terms of nonlinear Riccati equations. In a first step, it will be shown where complex Riccati equations appear in time-dependent quantum mechanics and how they can be treated and compared with similar space-dependent Riccati equations in supersymmetric quantum mechanics. Furthermore, the time-independent Schrödinger equation can also be rewritten as a complex Riccati equation. Finally, it will be shown that (real and complex) Riccati equations also appear in many other fields of physics, like statistical thermodynamics and cosmology.
Missile longitudinal autopilot design using the state-dependent Riccati equation method
Mracek, C.P.; Cloutier, J.R.
1994-12-31
A missile output feedback pitch autopilot is designed using the state-dependent Riccati equation (SDRE) approach presented in. The particular SDRE design methodology chosen for this paper is referred to as SDRE H{sub 2}. The SDRE H{sub 2} design structure is the same as that of linear H{sub 2}, except that the two Riccati equations are state-dependent. Hence, SDRE H{sub 2} design is a nonlinear extension of linear H{sub 2} design. The procedural steps in the SDRE H{sub 2} design process are presented along with design results.
SDP-based approximation of stabilising solutions for periodic matrix Riccati differential equations
NASA Astrophysics Data System (ADS)
Gusev, Sergei V.; Shiriaev, Anton S.; Freidovich, Leonid B.
2016-07-01
Numerically finding stabilising feedback control laws for linear systems of periodic differential equations is a nontrivial task with no known reliable solutions. The most successful method requires solving matrix differential Riccati equations with periodic coefficients. All previously proposed techniques for solving such equations involve numerical integration of unstable differential equations and consequently fail whenever the period is too large or the coefficients vary too much. Here, a new method for numerical computation of stabilising solutions for matrix differential Riccati equations with periodic coefficients is proposed. Our approach does not involve numerical solution of any differential equations. The approximation for a stabilising solution is found in the form of a trigonometric polynomial, matrix coefficients of which are found solving a specially constructed finite-dimensional semidefinite programming (SDP) problem. This problem is obtained using maximality property of the stabilising solution of the Riccati equation for the associated Riccati inequality and sampling technique. Our previously published numerical comparisons with other methods shows that for a class of problems only this technique provides a working solution. Asymptotic convergence of the computed approximations to the stabilising solution is proved below under the assumption that certain combinations of the key parameters are sufficiently large. Although the rate of convergence is not analysed, it appeared to be exponential in our numerical studies.
NASA Technical Reports Server (NTRS)
Womble, M. E.; Potter, J. E.
1975-01-01
A prefiltering version of the Kalman filter is derived for both discrete and continuous measurements. The derivation consists of determining a single discrete measurement that is equivalent to either a time segment of continuous measurements or a set of discrete measurements. This prefiltering version of the Kalman filter easily handles numerical problems associated with rapid transients and ill-conditioned Riccati matrices. Therefore, the derived technique for extrapolating the Riccati matrix from one time to the next constitutes a new set of integration formulas which alleviate ill-conditioning problems associated with continuous Riccati equations. Furthermore, since a time segment of continuous measurements is converted into a single discrete measurement, Potter's square root formulas can be used to update the state estimate and its error covariance matrix. Therefore, if having the state estimate and its error covariance matrix at discrete times is acceptable, the prefilter extends square root filtering with all its advantages, to continuous measurement problems.
State-Dependent Riccati Equation Regulation of Systems with State and Control Nonlinearities
NASA Technical Reports Server (NTRS)
Beeler, Scott C.; Cox, David E. (Technical Monitor)
2004-01-01
The state-dependent Riccati equations (SDRE) is the basis of a technique for suboptimal feedback control of a nonlinear quadratic regulator (NQR) problem. It is an extension of the Riccati equation used for feedback control of linear problems, with the addition of nonlinearities in the state dynamics of the system resulting in a state-dependent gain matrix as the solution of the equation. In this paper several variations on the SDRE-based method will be considered for the feedback control problem with control nonlinearities. The control nonlinearities may result in complications in the numerical implementation of the control, which the different versions of the SDRE method must try to overcome. The control methods will be applied to three test problems and their resulting performance analyzed.
Integration-free interval doubling for Riccati equation solutions
NASA Technical Reports Server (NTRS)
Bierman, G. J.; Sidhu, G. S.
1976-01-01
Various algorithms are given for the case of constant coefficients. The algorithms are based on two ideas: first, relate the Re solution with general initial conditions to anchored RE solutions; and second, when the coefficients are constant the anchored solutions have a basic shift-invariance property. These ideas are used to construct an integration free superlinearly convergent iterative solution to the algebraic RE. The algorithm, arranged in square-root form, is thought to be numerically stable and competitive with other methods of solving the algebraic RE.
New Conditions for Obtaining the Exact Solutions of the General Riccati Equation
Bougoffa, Lazhar
2014-01-01
We propose a direct method for solving the general Riccati equation y′ = f(x) + g(x)y + h(x)y2. We first reduce it into an equivalent equation, and then we formulate the relations between the coefficients functions f(x), g(x), and h(x) of the equation to obtain an equivalent separable equation from which the previous equation can be solved in closed form. Several examples are presented to demonstrate the efficiency of this method. PMID:25202724
NASA Astrophysics Data System (ADS)
Xu, Ling; Cheng, Xuan; Dai, Chao-Qing
2015-12-01
Although the mapping method based on Riccati equation was proposed to obtain variable separation solutions many years ago, two important problems have not been studied: i) the equivalence of variable separation solutions by means of the mapping method based on Riccati equation with the radical sign combined ansatz; and ii) lack of physical meanings for some localized structures constructed by variable separation solutions. In this paper, we re-study the (2+1)-dimensional Boiti-Leon-Pempinelli equation via the mapping method based on Riccati equation and prove that nine types of variable separation solutions are actually equivalent to each other. Moreover, we also re-study localized structures constructed by variable separation solutions. Results indicate that some localized structures reported in the literature are lacking real values due to the appearance of the divergent and un-physical phenomenon for the initial field. Therefore, we must be careful with the initial field to avoid the appearance of some un-physical or even divergent structures in it when we construct localized structures for the potential field.
Some Remarks on the Riccati Equation Expansion Method for Variable Separation of Nonlinear Models
NASA Astrophysics Data System (ADS)
Zhang, Yu-Peng; Dai, Chao-Qing
2015-10-01
Based on the Riccati equation expansion method, 11 kinds of variable separation solutions with different forms of (2+1)-dimensional modified Korteweg-de Vries equation are obtained. The following two remarks on the Riccati equation expansion method for variable separation are made: (i) a remark on the equivalence of different solutions constructed by the Riccati equation expansion method. From analysis, we find that these seemly independent solutions with different forms actually depend on each other, and they can transform from one to another via some relations. We should avoid arbitrarily asserting so-called "new" solutions; (ii) a remark on the construction of localised excitation based on variable separation solutions. For two or multi-component systems, we must be careful with excitation structures constructed by all components for the same model lest the appearance of some un-physical structures. We hope that these results are helpful to deeply study exact solutions of nonlinear models in physical, engineering and biophysical contexts.
NASA Astrophysics Data System (ADS)
Feng, Qing-Hua
2013-05-01
In this paper, an extended Riccati sub-ODE method is proposed to establish new exact solutions for fractional differential-difference equations in the sense of modified Riemann—Liouville derivative. By a fractional complex transformation, a given fractional differential-difference equation can be turned into another differential-difference equation of integer order. The validity of the method is illustrated by applying it to solve the fractional Hybrid lattice equation and the fractional relativistic Toda lattice system. As a result, some new exact solutions including hyperbolic function solutions, trigonometric function solutions and rational solutions are established.
Islam, Md. Shafiqul; Khan, Kamruzzaman; Akbar, M. Ali; Mastroberardino, Antonio
2014-01-01
The purpose of this article is to present an analytical method, namely the improved F-expansion method combined with the Riccati equation, for finding exact solutions of nonlinear evolution equations. The present method is capable of calculating all branches of solutions simultaneously, even if multiple solutions are very close and thus difficult to distinguish with numerical techniques. To verify the computational efficiency, we consider the modified Benjamin–Bona–Mahony equation and the modified Korteweg-de Vries equation. Our results reveal that the method is a very effective and straightforward way of formulating the exact travelling wave solutions of nonlinear wave equations arising in mathematical physics and engineering. PMID:26064530
Systems and Methods for Parameter Dependent Riccati Equation Approaches to Adaptive Control
NASA Technical Reports Server (NTRS)
Kim, Kilsoo (Inventor); Yucelen, Tansel (Inventor); Calise, Anthony J. (Inventor)
2015-01-01
Systems and methods for adaptive control are disclosed. The systems and methods can control uncertain dynamic systems. The control system can comprise a controller that employs a parameter dependent Riccati equation. The controller can produce a response that causes the state of the system to remain bounded. The control system can control both minimum phase and non-minimum phase systems. The control system can augment an existing, non-adaptive control design without modifying the gains employed in that design. The control system can also avoid the use of high gains in both the observer design and the adaptive control law.
Periodic Sturm-Liouville problems related to two Riccati equations of constant coefficients
Khmelnytskaya, K.V.; Rosu, H.C. Gonzalez, A.
2010-03-15
We consider two closely related Riccati equations of constant parameters whose particular solutions are used to construct the corresponding class of supersymmetrically coupled second-order differential equations. We solve analytically these parametric periodic problems along the whole real axis. Next, the analytically solved model is used as a case study for a powerful numerical approach that is employed here for the first time in the investigation of the energy band structure of periodic not necessarily regular potentials. The approach is based on the well-known self-matching procedure of James (1949) and implements the spectral parameter power series solutions introduced by Kravchenko (2008). We obtain additionally an efficient series representation of the Hill discriminant based on Kravchenko's series.
Cruz, Hans; Schuch, Dieter; Castaños, Octavio; Rosas-Ortiz, Oscar
2015-09-15
The sensitivity of the evolution of quantum uncertainties to the choice of the initial conditions is shown via a complex nonlinear Riccati equation leading to a reformulation of quantum dynamics. This sensitivity is demonstrated for systems with exact analytic solutions with the form of Gaussian wave packets. In particular, one-dimensional conservative systems with at most quadratic Hamiltonians are studied.
Hopf algebras and Dyson-Schwinger equations
NASA Astrophysics Data System (ADS)
Weinzierl, Stefan
2016-06-01
In this paper I discuss Hopf algebras and Dyson-Schwinger equations. This paper starts with an introduction to Hopf algebras, followed by a review of the contribution and application of Hopf algebras to particle physics. The final part of the paper is devoted to the relation between Hopf algebras and Dyson-Schwinger equations.
An improved V-Lambda solution of the matrix Riccati equation
NASA Technical Reports Server (NTRS)
Bar-Itzhack, Itzhack Y.; Markley, F. Landis
1988-01-01
The authors present an improved algorithm for computing the V-Lambda solution of the matrix Riccati equation. The improvement is in the reduction of the computational load, results from the orthogonality of the eigenvector matrix that has to be solved for. The orthogonality constraint reduces the number of independent parameters which define the matrix from n-squared to n (n - 1)/2. The authors show how to specify the parameters, how to solve for them and how to form from them the needed eigenvector matrix. In the search for suitable parameters, the analogy between the present problem and the problem of attitude determination is exploited, resulting in the choice of Rodrigues parameters.
NASA Astrophysics Data System (ADS)
Park, Han-Earl; Kim, Young-Rok
2016-01-01
A relative navigation method for autonomous formation flying using the state-dependent Riccati equation filter (SDREF) is presented. In the SDREF, nonlinear relative dynamics, including J2 perturbation, are parameterized into a state-dependent coefficient (SDC) form without any loss of nonlinearity. The relative navigation algorithm is established based on the carrier-phase differential GPS (CDGPS) and single-frequency GPS data, in which the SDREF is used as a nonlinear estimator. To evaluate the SDREF performance, two different extended Kalman filters (EKFR1 and EKFR2) are introduced. The dynamic models of all the filters are based on relative motion including J2 perturbation. However, the SDREF and the EKFR1 use linear state propagation, whereas EKFR2 employs nonlinear state propagation. The navigation simulation is performed for each filter using live GPS signals simulated by a GPS signal generator, and the result is analyzed in terms of estimation accuracy and computational load. As a result, the SDREF provides a relative navigation solution with 3-D RMS accuracies of 6.0 mm and 0.153 mm/s for position and velocity, respectively, for a separation of 50 km with a computation time of approximately 34 s. The simulation results demonstrate that the SDREF estimates the relative states as rapidly as the EKFR1 and as accurately as the EKFR2, which means that the developed SDREF combines the strong points of EKFR1 and EKFR2 and overcomes their disadvantages.
Solving Absolute Value Equations Algebraically and Geometrically
ERIC Educational Resources Information Center
Shiyuan, Wei
2005-01-01
The way in which students can improve their comprehension by understanding the geometrical meaning of algebraic equations or solving algebraic equation geometrically is described. Students can experiment with the conditions of the absolute value equation presented, for an interesting way to form an overall understanding of the concept.
NASA Astrophysics Data System (ADS)
Schuch, Dieter
2012-08-01
Quantum mechanics is essentially described in terms of complex quantities like wave functions. The interesting point is that phase and amplitude of the complex wave function are not independent of each other, but coupled by some kind of conservation law. This coupling exists in time-independent quantum mechanics and has a counterpart in its time-dependent form. It can be traced back to a reformulation of quantum mechanics in terms of nonlinear real Ermakov equations or equivalent complex nonlinear Riccati equations, where the quadratic term in the latter equation explains the origin of the phase-amplitude coupling. Since realistic physical systems are always in contact with some kind of environment this aspect is also taken into account. In this context, different approaches for describing open quantum systems, particularly effective ones, are discussed and compared. Certain kinds of nonlinear modifications of the Schrödinger equation are discussed as well as their interrelations and their relations to linear approaches via non-unitary transformations. The modifications of the aforementioned Ermakov and Riccati equations when environmental effects are included can be determined in the time-dependent case. From formal similarities conclusions can be drawn how the equations of time-independent quantum mechanics can be modified to also incluce the enviromental aspects.
One-Equation Algebraic Model Of Turbulence
NASA Technical Reports Server (NTRS)
Baldwin, B. S.; Barth, T. J.
1993-01-01
One-equation model of turbulence based on standard equations of k-epsilon model of turbulence, where k is turbulent energy and e is rate of dissipation of k. Derivation of one-equation model motivated partly by inaccuracies of flows computed by some Navier-Stokes-equations-solving algorithms incorporating algebraic models of turbulence. Satisfies need to avoid having to determine algebraic length scales.
Bernoulli, Euler, Riccati and Solitons
Rzadkowski, Grzegorz
2009-09-09
In this paper we present a theorem showing the reason of the connection between Bernoulli numbers and solitons, the solutions of the Korteweg-de Vries equation. The theorem involves Eulerian numbers and Riccati's differential equation.
An algebraic approach to the scattering equations
NASA Astrophysics Data System (ADS)
Huang, Rijun; Rao, Junjie; Feng, Bo; He, Yang-Hui
2015-12-01
We employ the so-called companion matrix method from computational algebraic geometry, tailored for zero-dimensional ideals, to study the scattering equations. The method renders the CHY-integrand of scattering amplitudes computable using simple linear algebra and is amenable to an algorithmic approach. Certain identities in the amplitudes as well as rationality of the final integrand become immediate in this formalism.
On a Equation in Finite Algebraically Structures
ERIC Educational Resources Information Center
Valcan, Dumitru
2013-01-01
Solving equations in finite algebraically structures (semigroups with identity, groups, rings or fields) many times is not easy. Even the professionals can have trouble in such cases. Therefore, in this paper we proposed to solve in the various finite groups or fields, a binomial equation of the form (1). We specify that this equation has been…
Lie algebras and linear differential equations.
NASA Technical Reports Server (NTRS)
Brockett, R. W.; Rahimi, A.
1972-01-01
Certain symmetry properties possessed by the solutions of linear differential equations are examined. For this purpose, some basic ideas from the theory of finite dimensional linear systems are used together with the work of Wei and Norman on the use of Lie algebraic methods in differential equation theory.
The kinematic algebras from the scattering equations
NASA Astrophysics Data System (ADS)
Monteiro, Ricardo; O'Connell, Donal
2014-03-01
We study kinematic algebras associated to the recently proposed scattering equations, which arise in the description of the scattering of massless particles. In particular, we describe the role that these algebras play in the BCJ duality between colour and kinematics in gauge theory, and its relation to gravity. We find that the scattering equations are a consistency condition for a self-dual-type vertex which is associated to each solution of those equations. We also identify an extension of the anti-self-dual vertex, such that the two vertices are not conjugate in general. Both vertices correspond to the structure constants of Lie algebras. We give a prescription for the use of the generators of these Lie algebras in trivalent graphs that leads to a natural set of BCJ numerators. In particular, we write BCJ numerators for each contribution to the amplitude associated to a solution of the scattering equations. This leads to a decomposition of the determinant of a certain kinematic matrix, which appears naturally in the amplitudes, in terms of trivalent graphs. We also present the kinematic analogues of colour traces, according to these algebras, and the associated decomposition of that determinant.
Optical systolic solutions of linear algebraic equations
NASA Technical Reports Server (NTRS)
Neuman, C. P.; Casasent, D.
1984-01-01
The philosophy and data encoding possible in systolic array optical processor (SAOP) were reviewed. The multitude of linear algebraic operations achievable on this architecture is examined. These operations include such linear algebraic algorithms as: matrix-decomposition, direct and indirect solutions, implicit and explicit methods for partial differential equations, eigenvalue and eigenvector calculations, and singular value decomposition. This architecture can be utilized to realize general techniques for solving matrix linear and nonlinear algebraic equations, least mean square error solutions, FIR filters, and nested-loop algorithms for control engineering applications. The data flow and pipelining of operations, design of parallel algorithms and flexible architectures, application of these architectures to computationally intensive physical problems, error source modeling of optical processors, and matching of the computational needs of practical engineering problems to the capabilities of optical processors are emphasized.
The Dirac equation and Hestenes' geometric algebra
NASA Astrophysics Data System (ADS)
Hamilton, J. Dwayne
1984-06-01
Hestenes' geometric algebra and Dirac spinors are reviewed and united into a common mathematical formalism, a unification that establishes the Dirac equation as being manifestly covariant under the Lorentz group, and one that needs no matrix representation of the Dirac algebra. New and simple methods of amplitude or ``trace'' calculations are then described. A number of problems are then considered within the context of the new approach, such as relativistic spin projections, new and covariant C and T-transformations and spinors for massless and Majorana fields.
Linear Hamiltonian systems - The Riccati group and its invariants
NASA Technical Reports Server (NTRS)
Garzia, M. R.; Martin, C. F.; Loparo, K. A.
1982-01-01
The action of the Riccati group on the Riccati differential equation is associated with the action of a subgroup of the symplectic group on a set of Hamiltonian matrices. Within this framework canonical forms are developed for the matrix coefficients of the Riccati differential equation.
Laurent phenomenon algebras and the discrete BKP equation
NASA Astrophysics Data System (ADS)
Okubo, Naoto
2016-09-01
We construct the Laurent phenomenon algebras the cluster variables of which satisfy the discrete BKP equation, the discrete Sawada–Kotera equation and other difference equations obtained by its reduction. These Laurent phenomenon algebras are constructed from seeds with a generalization of mutation-period property. We show that a reduction of a seed corresponds to a reduction of a difference equation.
NASA Astrophysics Data System (ADS)
Dragan, Vasile; Morozan, Toader; Stoica, Adrian-Mihail
2010-04-01
In this article an iterative method to compute the maximal solution and the stabilising solution, respectively, of a wide class of discrete-time nonlinear equations on the linear space of symmetric matrices is proposed. The class of discrete-time nonlinear equations under consideration contains, as special cases, different types of discrete-time Riccati equations involved in various control problems for discrete-time stochastic systems. This article may be viewed as an addendum of the work of Dragan and Morozan (Dragan, V. and Morozan, T. (2009), 'A Class of Discrete Time Generalized Riccati Equations', Journal of Difference Equations and Applications, first published on 11 December 2009 (iFirst), doi: 10.1080/10236190802389381) where necessary and sufficient conditions for the existence of the maximal solution and stabilising solution of this kind of discrete-time nonlinear equations are given. The aim of this article is to provide a procedure for numerical computation of the maximal solution and the stabilising solution, respectively, simpler than the method based on the Newton-Kantorovich algorithm.
A New Reynolds Stress Algebraic Equation Model
NASA Technical Reports Server (NTRS)
Shih, Tsan-Hsing; Zhu, Jiang; Lumley, John L.
1994-01-01
A general turbulent constitutive relation is directly applied to propose a new Reynolds stress algebraic equation model. In the development of this model, the constraints based on rapid distortion theory and realizability (i.e. the positivity of the normal Reynolds stresses and the Schwarz' inequality between turbulent velocity correlations) are imposed. Model coefficients are calibrated using well-studied basic flows such as homogeneous shear flow and the surface flow in the inertial sublayer. The performance of this model is then tested in complex turbulent flows including the separated flow over a backward-facing step and the flow in a confined jet. The calculation results are encouraging and point to the success of the present model in modeling turbulent flows with complex geometries.
Affine Vertex Operator Algebras and Modular Linear Differential Equations
NASA Astrophysics Data System (ADS)
Arike, Yusuke; Kaneko, Masanobu; Nagatomo, Kiyokazu; Sakai, Yuichi
2016-05-01
In this paper, we list all affine vertex operator algebras of positive integral levels whose dimensions of spaces of characters are at most 5 and show that a basis of the space of characters of each affine vertex operator algebra in the list gives a fundamental system of solutions of a modular linear differential equation. Further, we determine the dimensions of the spaces of characters of affine vertex operator algebras whose numbers of inequivalent simple modules are not exceeding 20.
Fault Detection in Differential Algebraic Equations
NASA Astrophysics Data System (ADS)
Scott, Jason Roderick
Fault detection and identification (FDI) is important in almost all real systems. Fault detection is the supervision of technical processes aimed at detecting undesired or unpermitted states (faults) and taking appropriate actions to avoid dangerous situations, or to ensure efficiency in a system. This dissertation develops and extends fault detection techniques for systems modeled by differential algebraic equations (DAEs). First, a passive, observer-based approach is developed and linear filters are constructed to identify faults by filtering residual information. The method presented here uses the least squares completion to compute an ordinary differential equation (ODE) that contains the solution of the DAE and applies the observer directly to this ODE. While observers have been applied to ODE models for the purpose of fault detection in the past, the use of observers on completions of DAEs is a new idea. Moreover, the resulting residuals are modified requiring additional analysis. Robustness with respect to disturbances is also addressed by a novel frequency filtering technique. Active detection, as opposed to passive detection where outputs are passively monitored, allows the injection of an auxiliary control signal to test the system. These algorithms compute an auxiliary input signal guaranteeing fault detection, assuming bounded noise. In the second part of this dissertation, a novel active detection approach for DAE models is developed by taking linear transformations of the DAEs and solving a bi-layer optimization problem. An efficient real-time detection algorithm is also provided, as is the extension to model uncertainty. The existence of a class of problems where the algorithm breaks down is revealed and an alternative algorithm that finds a nearly minimal auxiliary signal is presented. Finally, asynchronous signal design, that is, applying the test signal on a different interval than the observation window, is explored and discussed.
Exact solution of some linear matrix equations using algebraic methods
NASA Technical Reports Server (NTRS)
Djaferis, T. E.; Mitter, S. K.
1977-01-01
A study is done of solution methods for Linear Matrix Equations including Lyapunov's equation, using methods of modern algebra. The emphasis is on the use of finite algebraic procedures which are easily implemented on a digital computer and which lead to an explicit solution to the problem. The action f sub BA is introduced a Basic Lemma is proven. The equation PA + BP = -C as well as the Lyapunov equation are analyzed. Algorithms are given for the solution of the Lyapunov and comment is given on its arithmetic complexity. The equation P - A'PA = Q is studied and numerical examples are given.
Stability of Linear Equations--Algebraic Approach
ERIC Educational Resources Information Center
Cherif, Chokri; Goldstein, Avraham; Prado, Lucio M. G.
2012-01-01
This article could be of interest to teachers of applied mathematics as well as to people who are interested in applications of linear algebra. We give a comprehensive study of linear systems from an application point of view. Specifically, we give an overview of linear systems and problems that can occur with the computed solution when the…
Exact solution of some linear matrix equations using algebraic methods
NASA Technical Reports Server (NTRS)
Djaferis, T. E.; Mitter, S. K.
1979-01-01
Algebraic methods are used to construct the exact solution P of the linear matrix equation PA + BP = - C, where A, B, and C are matrices with real entries. The emphasis of this equation is on the use of finite algebraic procedures which are easily implemented on a digital computer and which lead to an explicit solution to the problem. The paper is divided into six sections which include the proof of the basic lemma, the Liapunov equation, and the computer implementation for the rational, integer and modular algorithms. Two numerical examples are given and the entire calculation process is depicted.
Zeta functional equation on Jordan algebras of type II
NASA Astrophysics Data System (ADS)
Kayoya, J. B.
2005-02-01
Using the Jordan algebras methods, specially the properties of Peirce decomposition and the Frobenius transformation, we compute the coefficients of the zeta functional equation, in the case of Jordan algebras of type II. As particular cases of our result, we can cite the case of studied by Gelbart [Mem. Amer. Math. Soc. 108 (1971)] and Godement and Jacquet [Zeta functions of simple algebras, Lecture Notes in Math., vol. 260, Springer-Verlag, Berlin, 1972], and the case of studied by Muro [Adv. Stud. Pure Math. 15 (1989) 429]. Let us also mention, that recently, Bopp and Rubenthaler have obtained a more general result on the zeta functional equation by using methods based on the algebraic properties of regular graded algebras which are in one-to-one correspondence with simple Jordan algebras [Local Zeta Functions Attached to the Minimal Spherical Series for a Class of Symmetric Spaces, IRMA, Strasbourg, 2003]. The method used in this paper is a direct application of specific properties of Jordan algebras of type II.
ERIC Educational Resources Information Center
Falcon, Raymond
2009-01-01
Teachers use action research in order to improve their teaching and student learning. This action research will analyze students' algebraic reasoning in finding values of variables in systems of equations pictorially and algebraically. This research will look at students solving linear systems of equations without knowing the algebraic algorithms.…
Allidina, A.Y.; Malinowski, K.; Singh, M.G.
1982-12-01
The possibilities were explored for enhancing parallelism in the simulation of systems described by algebraic equations, ordinary differential equations and partial differential equations. These techniques, using multiprocessors, were developed to speed up simulations, e.g. for nuclear accidents. Issues involved in their design included suitable approximations to bring the problem into a numerically manageable form and a numerical procedure to perform the computations necessary to solve the problem accurately. Parallel processing techniques used as simulation procedures, and a design of a simulation scheme and simulation procedure employing parallel computer facilities, were both considered.
Reconstruction of symmetric Dirac-Maxwell equations using nonassociative algebra
NASA Astrophysics Data System (ADS)
Kalauni, Pushpa; Barata, J. C. A.
2015-01-01
In the presence of sources, the usual Maxwell equations are neither symmetric nor invariant with respect to the duality transformation between electric and magnetic fields. Dirac proposed the existence of magnetic monopoles for symmetrizing the Maxwell equations. In the present work, we obtain the fully symmetric Dirac-Maxwell's equations (i.e. with electric and magnetic charges and currents) as a single equation by using 4 × 4 matrix presentation of fields and derivative operators. This matrix representation has been derived with the help of the algebraic properties of quaternions and octonions. Such description gives a compact representation of electric and magnetic counterparts of the field in a single equation.
A Realizable Reynolds Stress Algebraic Equation Model
NASA Technical Reports Server (NTRS)
Shih, Tsan-Hsing; Zhu, Jiang; Lumley, John L.
1993-01-01
The invariance theory in continuum mechanics is applied to analyze Reynolds stresses in high Reynolds number turbulent flows. The analysis leads to a turbulent constitutive relation that relates the Reynolds stresses to the mean velocity gradients in a more general form in which the classical isotropic eddy viscosity model is just the linear approximation of the general form. On the basis of realizability analysis, a set of model coefficients are obtained which are functions of the time scale ratios of the turbulence to the mean strain rate and the mean rotation rate. The coefficients will ensure the positivity of each component of the mean rotation rate. These coefficients will ensure the positivity of each component of the turbulent kinetic energy - realizability that most existing turbulence models fail to satisfy. Separated flows over backward-facing step configurations are taken as applications. The calculations are performed with a conservative finite-volume method. Grid-independent and numerical diffusion-free solutions are obtained by using differencing schemes of second-order accuracy on sufficiently fine grids. The calculated results are compared in detail with the experimental data for both mean and turbulent quantities. The comparison shows that the present proposal significantly improves the predictive capability of K-epsilon based two equation models. In addition, the proposed model is able to simulate rotational homogeneous shear flows with large rotation rates which all conventional eddy viscosity models fail to simulate.
Sensitivity Analysis of Differential-Algebraic Equations and Partial Differential Equations
Petzold, L; Cao, Y; Li, S; Serban, R
2005-08-09
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In this paper we describe the forward and adjoint methods for sensitivity analysis, and outline some of our recent work on theory, algorithms and software for sensitivity analysis of differential-algebraic equation (DAE) and time-dependent partial differential equation (PDE) systems.
ERIC Educational Resources Information Center
Novotna, Jarmila; Hoch, Maureen
2008-01-01
Many students have difficulties with basic algebraic concepts at high school and at university. In this paper two levels of algebraic structure sense are defined: for high school algebra and for university algebra. We suggest that high school algebra structure sense components are sub-components of some university algebra structure sense…
Computing spacetime curvature via differential-algebraic equations
Ashby, S.F.; Lee, S.L.; Petzold, L.R.; Saylor, P.E.; Seidel, E.
1996-01-01
The equations that govern the behavior of physical systems can often solved numerically using a method of lines approach and differential-algebraic equation (DAE) solvers. For example, such an approach can be used to solve the Einstein field equations of general relativity, and thereby simulate significant astrophysical events. In this paper, we describe some preliminary work in which two model problems in general relativity are formulated, spatially discretized, and then numerically solved as a DAE. In particular, we seek to reproduce the solution to the spherically symmetric Schwarzschild spacetime. This is an important testbed calculation in numerical relativity since the solution is the steady-state for the collision of two (or more) non-rotating black holes. Moreover, analytic late-time properties of the Schwarzschild spacetime are well known and can be used the accuracy of the simulation.
Solving the generalized Langevin equation with the algebraically correlated noise
NASA Astrophysics Data System (ADS)
Srokowski, T.; Płoszajczak, M.
1998-04-01
We solve the Langevin equation with the memory kernel. The stochastic force possesses algebraic correlations, proportional to 1/t. The velocity autocorrelation function and related quantities characterizing transport properties are calculated with the assumption that the system is in thermal equilibrium. Stochastic trajectories are simulated numerically, using the kangaroo process as a noise generator. Results of this simulation resemble Lévy walks with divergent moments of the velocity distribution. We consider motion of a Brownian particle, both without any external potential and in the harmonic oscillator field, in particular the escape from a potential well. The results are compared with memory-free calculations for the Brownian particle.
NASA Astrophysics Data System (ADS)
Okubo, Naoto
2015-08-01
We construct cluster algebras the variables and coefficients of which satisfy the discrete mKdV equation, the discrete Toda equation and other integrable bilinear equations, several of which lead to q-discrete Painlevé equations. These cluster algebras are obtained from quivers with an infinite number of vertices or with the mutation-period property. We will also show that a suitable transformation of quivers corresponds to a reduction of the difference equation.
Algebraic calculation of stroboscopic maps of ordinary, nonlinear differential equations
Wackerbauer, R. ); Huebler, A. . Center for Complex Systems Research); Mayer-Kress, G. California Univ., Santa Cruz, CA . Dept. of Mathematics)
1991-07-25
The relation between the parameters of a differential equation and corresponding discrete maps are becoming increasingly important in the study of nonlinear dynamical systems. Maps are well adopted for numerical computation and several universal properties of them are known. Therefore some perturbation methods have been proposed to deduce them for physical systems, which can be modeled by an ordinary differential equation (ODE) with a small nonlinearity. A new iterative, rigorous algebraic method for the calculation of the coefficients of a Taylor expansion of a stroboscopic map from ODE's with not necessarily small nonlinearities is presented. It is shown analytically that most of the coefficients are small for a small integration time and grow slowly in the course of time if the flow vector field of the ODE is polynomial and if the ODE has fixed point in the origin. Approximations of different orders respectively of the rest term are investigated for several nonlinear systems. 31 refs., 16 figs.
ERIC Educational Resources Information Center
Wasserman, Nicholas H.
2014-01-01
Algebraic structures are a necessary aspect of algebraic thinking for K-12 students and teachers. An approach for introducing the algebraic structure of groups and fields through the arithmetic properties required for solving simple equations is summarized; the collective (not individual) importance of these axioms as a foundation for algebraic…
ERIC Educational Resources Information Center
Capraro, Mary Margaret; Joffrion, Heather
2006-01-01
Using symbolic algebra to represent and solve linear equations is one of the expectations within the "Algebra" content standard for the 6-8-grade band in the National Council of Teachers of Mathematics (NCTM) "Principles and Standards for School Mathematics" (2000). Students' understanding of these concepts, even before a formal algebra course,…
NASA Astrophysics Data System (ADS)
Pogrebkov, A. K.
2016-06-01
We show that the non-Abelian Hirota difference equation is directly related to a commutator identity on an associative algebra. Evolutions generated by similarity transformations of elements of this algebra lead to a linear difference equation. We develop a special dressing procedure that results in an integrable non-Abelian Hirota difference equation and propose two regular reduction procedures that lead to a set of known equations, Abelian or non-Abelian, and also to some new integrable equations.
Confluences of the Painlevé equations, Cherednik algebras and q-Askey scheme
NASA Astrophysics Data System (ADS)
Mazzocco, Marta
2016-09-01
In this paper we produce seven new algebras as confluences of the Cherednik algebra of type \\check {{{{C}1}}} {{C}1} and we characterise their spherical-sub-algebras. The limit of the spherical sub-algebra of the Cherednik algebra of type \\check {{{{C}1}}} {{C}1} is the monodromy manifold of the Painlevé VI equation (Oblomkov 2004 Int. Math. Res. Not. 2004 877–912). Here we prove that by considering the limits of the spherical sub-algebras of our new confluent algebras, one obtains the monodromy manifolds of all other Painlevé differential equations. Moreover, we introduce confluent versions of the Zhedanov algebra and prove that each of them (quotiented by their Casimir) is isomorphic to the corresponding spherical sub-algebra of our new confluent Cherednik algebras. We show that in the basic representation our confluent Zhedanov algebras act as symmetries of certain elements of the q-Askey scheme, thus setting a stepping stone towards the solution of the open problem of finding the corresponding quantum algebra for each element of the q-Askey scheme. These results establish a new link between the theory of the Painlevé equations and the theory of the q-Askey scheme making a step towards the construction of a representation theoretic approach for the Painlevé theory.
NASA Astrophysics Data System (ADS)
Aghaei, S.; Chenaghlou, A.
2014-02-01
The Dirac equation with scalar and vector potentials of equal magnitude is considered. For the two-dimensional harmonic oscillator superintegrable potential, the superintegrable potentials of E8 (case (3b)), S4 and S2, the Schrödinger-like equations are studied. The quadratic algebras of these quasi-Hamiltonians are derived. By using the realization of the quadratic algebras in a deformed oscillator algebra, the structure function and the energy eigenvalues are obtained.
Supporting Students' Understanding of Linear Equations with One Variable Using Algebra Tiles
ERIC Educational Resources Information Center
Saraswati, Sari; Putri, Ratu Ilma Indra; Somakim
2016-01-01
This research aimed to describe how algebra tiles can support students' understanding of linear equations with one variable. This article is a part of a larger research on learning design of linear equations with one variable using algebra tiles combined with balancing method. Therefore, it will merely discuss one activity focused on how students…
NASA Technical Reports Server (NTRS)
Byrnes, C. I.
1980-01-01
It is noted that recent work by Kamen (1979) on the stability of half-plane digital filters shows that the problem of the existence of a feedback law also arises for other Banach algebras in applications. This situation calls for a realization theory and stabilizability criteria for systems defined over Banach for Frechet algebra A. Such a theory is developed here, with special emphasis placed on the construction of finitely generated realizations, the existence of coprime factorizations for T(s) defined over A, and the solvability of the quadratic optimal control problem and the associated algebraic Riccati equation over A.
The coquaternion algebra and complex partial differential equations
NASA Astrophysics Data System (ADS)
Dimiev, Stancho; Konstantinov, Mihail; Todorov, Vladimir
2009-11-01
In this paper we consider the problem of differentiation of coquaternionic functions. Let us recall that coquaternions are elements of an associative non-commutative real algebra with zero divisor, introduced by James Cockle (1849) under the name of split-quaternions or coquaternions. Developing two type complex representations for Cockle algebra (complex and paracomplex ones) we present the problem in a non-commutative form of the δ¯-type holomorphy. We prove that corresponding differentiable coquaternionic functions, smooth and analytic, satisfy PDE of complex, and respectively of real variables. Applications for coquaternionic polynomials are sketched.
The Algebra Solution to Mathematics Reform: Completing the Equation
ERIC Educational Resources Information Center
Spielhagen, Frances R.
2011-01-01
How can we increase mathematics achievement among all students? This book provides a straightforward explanation of how changing mathematics tracking policies to provide algebra instruction to all students by at least eighth grade can bring about changes in both student achievement and teacher performance. Spielhagen chronicles the success of a…
Hartwig, J. T.; Stokman, J. V.
2013-02-15
We realize an extended version of the trigonometric Cherednik algebra as affine Dunkl operators involving Heaviside functions. We use the quadratic Casimir element of the extended trigonometric Cherednik algebra to define an explicit nonstationary Schroedinger equation with delta-potential. We use coordinate Bethe ansatz methods to construct solutions of the nonstationary Schroedinger equation in terms of generalized Bethe wave functions. It is shown that the generalized Bethe wave functions satisfy affine difference Knizhnik-Zamolodchikov equations as functions of the momenta. The relation to the vector valued root system analogs of the quantum Bose gas on the circle with delta-function interactions is indicated.
Cognitive Load in Algebra: Element Interactivity in Solving Equations
ERIC Educational Resources Information Center
Ngu, Bing Hiong; Chung, Siu Fung; Yeung, Alexander Seeshing
2015-01-01
Central to equation solving is the maintenance of equivalence on both sides of the equation. However, when the process involves an interaction of multiple elements, solving an equation can impose a high cognitive load. The balance method requires operations on both sides of the equation, whereas the inverse method involves operations on one side…
Solving the Langevin equation with stochastic algebraically correlated noise
NASA Astrophysics Data System (ADS)
Płoszajczak, M.; Srokowski, T.
1997-05-01
The long time tail in the velocity and force autocorrelation function has been found recently in molecular dynamics simulations of peripheral collisions of ions. Simulation of those slowly decaying correlations in the stochastic transport theory requires the development of new methods of generating stochastic force of arbitrarily long correlation times. In this paper we propose a Markovian process, the multidimensional kangaroo process, which permits the description of various algebraically correlated stochastic processes.
Mizuno, Yuta; Arasaki, Yasuki; Takatsuka, Kazuo
2016-01-14
A complicated yet interesting induced photon emission can take place by a nonadiabatic intramolecular electron transfer system like LiF under an intense CW laser [Y. Arasaki, S. Scheit, and K. Takatsuka, J. Chem. Phys. 138, 161103 (2013)]. Behind this phenomena, the crossing point between two potential energy curves of covalent and ionic natures in diabatic representation is forced to oscillate, since only the ionic potential curve is shifted significantly up and down repeatedly (called the Dynamical Stark effect). The wavepacket pumped initially to the excited covalent potential curve frequently encounters such a dynamically moving crossing point and thereby undergoes very complicated dynamics including wavepacket bifurcation and deformation. Intramolecular electron transfer thus driven by the coupling between nonadiabatic state-mixing and laser fields induces irregular photon emission. Here in this report we discuss the complicated spectral features of this kind of photon emission induced by infrared laser. In the low frequency domain, the photon emission is much more involved than those of ultraviolet/visible driving fields, since many field-dressed states are created on the ionic potential, which have their own classical turning points and crossing points with the covalent counterpart. To analyze the physics behind the phenomena, we develop a perturbation theoretic approach to the Riccati equation that is transformed from coupled first-order linear differential equations with periodic coefficients, which are supposed to produce the so-called Floquet states. We give mathematical expressions for the Floquet energies, frequencies, and intensities of the photon emission spectra, and the cutoff energy of their harmonic generation. Agreement between these approximate quantities and those estimated with full quantum calculations is found to be excellent. Furthermore, the present analysis provides with notions to facilitate deeper understanding for the physical and
NASA Astrophysics Data System (ADS)
Mizuno, Yuta; Arasaki, Yasuki; Takatsuka, Kazuo
2016-01-01
A complicated yet interesting induced photon emission can take place by a nonadiabatic intramolecular electron transfer system like LiF under an intense CW laser [Y. Arasaki, S. Scheit, and K. Takatsuka, J. Chem. Phys. 138, 161103 (2013)]. Behind this phenomena, the crossing point between two potential energy curves of covalent and ionic natures in diabatic representation is forced to oscillate, since only the ionic potential curve is shifted significantly up and down repeatedly (called the Dynamical Stark effect). The wavepacket pumped initially to the excited covalent potential curve frequently encounters such a dynamically moving crossing point and thereby undergoes very complicated dynamics including wavepacket bifurcation and deformation. Intramolecular electron transfer thus driven by the coupling between nonadiabatic state-mixing and laser fields induces irregular photon emission. Here in this report we discuss the complicated spectral features of this kind of photon emission induced by infrared laser. In the low frequency domain, the photon emission is much more involved than those of ultraviolet/visible driving fields, since many field-dressed states are created on the ionic potential, which have their own classical turning points and crossing points with the covalent counterpart. To analyze the physics behind the phenomena, we develop a perturbation theoretic approach to the Riccati equation that is transformed from coupled first-order linear differential equations with periodic coefficients, which are supposed to produce the so-called Floquet states. We give mathematical expressions for the Floquet energies, frequencies, and intensities of the photon emission spectra, and the cutoff energy of their harmonic generation. Agreement between these approximate quantities and those estimated with full quantum calculations is found to be excellent. Furthermore, the present analysis provides with notions to facilitate deeper understanding for the physical and
ERIC Educational Resources Information Center
Tonisson, Eno
2015-01-01
Sometimes Computer Algebra Systems (CAS) offer an answer that is somewhat different from the answer that is probably expected by the student or teacher. These (somewhat unexpected) answers could serve as a catalyst for rich mathematical discussion. In this study, over 120 equations from school mathematics were solved using 8 different CAS. Many…
ERIC Educational Resources Information Center
Maat, Siti Mistima; Zakaria, Effandi
2011-01-01
Ordinary differential equations (ODEs) are one of the important topics in engineering mathematics that lead to the understanding of technical concepts among students. This study was conducted to explore the students' understanding of ODEs when they solve ODE questions using a traditional method as well as a computer algebraic system, particularly…
Flipping an Algebra Classroom: Analyzing, Modeling, and Solving Systems of Linear Equations
ERIC Educational Resources Information Center
Kirvan, Rebecca; Rakes, Christopher R.; Zamora, Regie
2015-01-01
The present study investigated whether flipping an algebra classroom led to a stronger focus on conceptual understanding and improved learning of systems of linear equations for 54 seventh- and eighth-grade students using teacher journal data and district-mandated unit exam items. Multivariate analysis of covariance was used to compare scores on…
Using Spreadsheets to Make Algebra More Accessible--Part 2: Solutions to Equations
ERIC Educational Resources Information Center
Green, John
2009-01-01
This article is the second in a series of two papers which suggest some practical, spreadsheet-based ideas for helping students to make appropriate connections between particular algebraic concepts. Solving equations has traditionally been taught as a pen-and-paper process. Spreadsheets, such as that of Excel, provide a contemporary, and powerful…
Alternative Representations for Algebraic Problem Solving: When Are Graphs Better than Equations?
ERIC Educational Resources Information Center
Mielicki, Marta K.; Wiley, Jennifer
2016-01-01
Successful algebraic problem solving entails adaptability of solution methods using different representations. Prior research has suggested that students are more likely to prefer symbolic solution methods (equations) over graphical ones, even when graphical methods should be more efficient. However, this research has not tested how representation…
ERIC Educational Resources Information Center
Gasyna, Zbigniew L.
2008-01-01
Computational experiment is proposed in which a linear algebra method is applied to the solution of the Schrodinger equation for a diatomic oscillator. Calculations of the vibration-rotation spectrum for the HCl molecule are presented and the results show excellent agreement with experimental data. (Contains 1 table and 1 figure.)
Translation of Algebraic Equations and Its Relation to Formal Operational Reasoning.
ERIC Educational Resources Information Center
Niaz, Mansoor
A large proportion of college students majoring in science are unable to translate even simple sentences into algebraic equations. Given the following sentence, "There are six times as many students (S) as professors (P) at this university," 37% of 150 freshmen engineering students in a study conducted in 1981 by Clement, Lockhead, and Monk wrote…
New solutions of reflection equation derived from type B BMW algebras
NASA Astrophysics Data System (ADS)
Häring-Oldenburg, Reinhard
1996-09-01
We use B-type knot theory to find new solutions of Sklyanin's reflection equation in a systematic way. This generalizes the well known Baxterization of Birman - Wenzl algebras and should describe integrable systems which are restricted to a half plane.
ERIC Educational Resources Information Center
Foley, Greg
2011-01-01
Continuous feed and bleed ultrafiltration, modeled with the gel polarization model for the limiting flux, is shown to provide a rich source of non-linear algebraic equations that can be readily solved using numerical and graphical techniques familiar to undergraduate students. We present a variety of numerical problems in the design, analysis, and…
On Generating Discrete Integrable Systems via Lie Algebras and Commutator Equations
NASA Astrophysics Data System (ADS)
Zhang, Yu-Feng; Honwah, Tam
2016-03-01
In the paper, we introduce the Lie algebras and the commutator equations to rewrite the Tu-d scheme for generating discrete integrable systems regularly. By the approach the various loop algebras of the Lie algebra A1 are defined so that the well-known Toda hierarchy and a novel discrete integrable system are obtained, respectively. A reduction of the later hierarchy is just right the famous Ablowitz-Ladik hierarchy. Finally, via two different enlarging Lie algebras of the Lie algebra A1, we derive two resulting differential-difference integrable couplings of the Toda hierarchy, of course, they are all various discrete expanding integrable models of the Toda hierarchy. When the introduced spectral matrices are higher degrees, the way presented in the paper is more convenient to generate discrete integrable equations than the Tu-d scheme by using the software Maple. Supported by the National Natural Science Foundation of China under Grant No. 11371361, the Innovation Team of Jiangsu Province hosted by China University of Mining and Technology (2014), and Hong Kong Research Grant Council under Grant No. HKBU202512, as well as the Natural Science Foundation of Shandong Province under Grant No. ZR2013AL016
On Generating Discrete Integrable Systems via Lie Algebras and Commutator Equations
NASA Astrophysics Data System (ADS)
Zhang, Yu-Feng; Tam, Honwah
2016-03-01
In the paper, we introduce the Lie algebras and the commutator equations to rewrite the Tu-d scheme for generating discrete integrable systems regularly. By the approach the various loop algebras of the Lie algebra A1 are defined so that the well-known Toda hierarchy and a novel discrete integrable system are obtained, respectively. A reduction of the later hierarchy is just right the famous Ablowitz–Ladik hierarchy. Finally, via two different enlarging Lie algebras of the Lie algebra A1, we derive two resulting differential-difference integrable couplings of the Toda hierarchy, of course, they are all various discrete expanding integrable models of the Toda hierarchy. When the introduced spectral matrices are higher degrees, the way presented in the paper is more convenient to generate discrete integrable equations than the Tu-d scheme by using the software Maple. Supported by the National Natural Science Foundation of China under Grant No. 11371361, the Innovation Team of Jiangsu Province hosted by China University of Mining and Technology (2014), and Hong Kong Research Grant Council under Grant No. HKBU202512, as well as the Natural Science Foundation of Shandong Province under Grant No. ZR2013AL016
NASA Astrophysics Data System (ADS)
Gladwin Pradeep, R.; Chandrasekar, V. K.; Mohanasubha, R.; Senthilvelan, M.; Lakshmanan, M.
2016-07-01
We identify contact transformations which linearize the given equations in the Riccati and Abel chains of nonlinear scalar and coupled ordinary differential equations to the same order. The identified contact transformations are not of Cole-Hopf type and are new to the literature. The linearization of Abel chain of equations is also demonstrated explicitly for the first time. The contact transformations can be utilized to derive dynamical symmetries of the associated nonlinear ODEs. The wider applicability of identifying this type of contact transformations and the method of deriving dynamical symmetries by using them is illustrated through two dimensional generalizations of the Riccati and Abel chains as well.
Soliton equations related to the affine Kac-Moody algebra D{4/(1)}
NASA Astrophysics Data System (ADS)
Gerdjikov, V. S.; Mladenov, D. M.; Stefanov, A. A.; Varbev, S. K.
2015-06-01
We have derived the hierarchy of soliton equations associated with the untwisted affine Kac-Moody algebra D {4/(1)} by calculating the corresponding recursion operators. The Hamiltonian formulation of the equations from the hierarchy is also considered. As an example we have explicitly presented the first non-trivial member of the hierarchy, which is an one-parameter family of mKdV equations. We have also considered the spectral properties of the Lax operator and introduced a minimal set of scattering data.
Tracking children's mental states while solving algebra equations.
Anderson, John R; Betts, Shawn; Ferris, Jennifer L; Fincham, Jon M
2012-11-01
Behavioral and function magnetic resonance imagery (fMRI) data were combined to infer the mental states of students as they interacted with an intelligent tutoring system. Sixteen children interacted with a computer tutor for solving linear equations over a six-day period (days 0-5), with days 1 and 5 occurring in an fMRI scanner. Hidden Markov model algorithms combined a model of student behavior with multi-voxel imaging pattern data to predict the mental states of students. We separately assessed the algorithms' ability to predict which step in a problem-solving sequence was performed and whether the step was performed correctly. For day 1, the data patterns of other students were used to predict the mental states of a target student. These predictions were improved on day 5 by adding information about the target student's behavioral and imaging data from day 1. Successful tracking of mental states depended on using the combination of a behavioral model and multi-voxel pattern analysis, illustrating the effectiveness of an integrated approach to tracking the cognition of individuals in real time as they perform complex tasks. PMID:21932262
NASA Astrophysics Data System (ADS)
Nordtvedt, K.
2015-11-01
A local system of bodies in General Relativity whose exterior metric field asymptotically approaches the Minkowski metric effaces any effects of the matter distribution exterior to its Minkowski boundary condition. To enforce to all orders this property of gravity which appears to hold in nature, a method using linear algebraic scaling equations is developed which generates by an iterative process an N-body Lagrangian expansion for gravity's motion-independent potentials which fulfills exterior effacement along with needed metric potential expansions. Then additional properties of gravity - interior effacement and Lorentz time dilation and spatial contraction - produce additional iterative, linear algebraic equations for obtaining the full non-linear and motion-dependent N-body gravity Lagrangian potentials as well.
NASA Astrophysics Data System (ADS)
Knudsen, E.; Richardson, E. S.; Doran, E. M.; Pitsch, H.; Chen, J. H.
2012-05-01
Scalar dissipation rates and subfilter scalar variances are important modeling parameters in large eddy simulations (LES) of reacting flows. Currently available models capture the general behavior of these parameters, but these models do not always perform with the degree of accuracy that is needed for predictive LES. Here, two direct numerical simulations (DNS) are used to analyze LES dissipation rate and variance models, and to propose a new model for the dissipation rate that is based on a transport equation. The first DNS that is considered is a non-premixed auto-igniting C2H4 jet flame simulation originally performed by Yoo et al. [Proc. Combust. Inst. 33, 1619-1627 (2011)], 10.1016/j.proci.2010.06.147. A LES of this case is run using algebraic models for the dissipation rate and subfilter variance. It is shown that the algebraic models fail to adequately reproduce the DNS results. This motivates the introduction of a transport equation model for the LES dissipation rate. Closure of the equation is addressed by formulating a new adapted dynamic approach. This approach borrows dynamically computed information from LES quantities that, unlike the dissipation rate, do not reside on the smallest flow length scales. The adapted dynamic approach is analyzed by considering a second DNS of scalar mixing in homogeneous isotropic turbulence. Data from this second DNS are used to confirm that the adapted dynamic approach successfully closes the dissipation rate equation over a wide range of LES filter widths. The first reacting jet case is then returned to and used to test the LES transport equation models. The transport equation model for the dissipation rate is shown to be more accurate than its algebraic counterpoint, and the dissipation rate is eliminated as a source of error in the transported variance model.
Parabolic orbit determination. Comparison of the Olbers method and algebraic equations
NASA Astrophysics Data System (ADS)
Kuznetsov, V. B.
2016-05-01
In this paper, the Olbers method for the preliminary parabolic orbit determination (in the Lagrange-Subbotin modification) and the method based on systems of algebraic equations for two or three variables proposed by the author are compared. The maximum number of possible solutions is estimated. The problem of selection of the true solution from the set of solutions obtained both using additional equations and by the problem reduction to finding the objective function minimum is considered. The results of orbit determination of the comets 153P/Ikeya-Zhang and 2007 N3 Lulin are cited as examples.
ERIC Educational Resources Information Center
Linchevski, Liora; Herscovics, Nicolas
1996-01-01
Reports the results of a teaching experiment involving like terms and equations in algebra. Seventh-grade students (n=6) experienced difficulties in decomposing an additive term into a difference. (Author/MKR)
NASA Astrophysics Data System (ADS)
Sheinman, O. K.
2015-12-01
Based on ℤ-gradings of semisimple Lie algebras and invariant polynomials on them, we construct hierarchies of Lax equations with a spectral parameter on a Riemann surface and prove the commutativity of the corresponding flows.
NASA Astrophysics Data System (ADS)
Man, Yiu-Kwong
2010-10-01
In this communication, we present a method for computing the Liouvillian solution of second-order linear differential equations via algebraic invariant curves. The main idea is to integrate Kovacic's results on second-order linear differential equations with the Prelle-Singer method for computing first integrals of differential equations. Some examples on using this approach are provided.
On convexity of H-infinity Riccati solutions and its applications
NASA Technical Reports Server (NTRS)
Li, X. P.; Chang, B. C.
1993-01-01
The celebrated two-Riccati-equation solution to a standard H-infinity control problem can be used to characterize all possible stabilizing optimal or suboptimal H-infinity controllers if the optimal H-infinity norm or gamma, an upper bound of a suboptimal H-infinity norm, is given. In this note, some properties of these H-infinity Riccati solutions are revealed. Among them, the most prominent one is that the spectral radius of the product of these two Riccati solutions is a continuous, nonincreasing, convex function of gamma on the domain of interest. Based on these properties, a quadratically convergent algorithm is developed to compute the optimal H-infinity norm.
Modeling boyciana-fish-human interaction with partial differential algebraic equations.
Jiang, Yushan; Zhang, Qingling; Wang, Haiyan
2016-07-01
Under the influence of human population distribution, the boyciana-fish ecological system is considered. First, the system can be described as a nonlinear partial differential algebraic equations system (PDAEs) with Neumann boundary conditions and ratio-dependent functional response. Second, we examine the system's persistence properties: the loacl stabilities of positive steady states, the absorbtion region and the global stability. And the proposed approach is illustrated by numerical simulation. Finally, by using the realistic data collected in the past fourteen years, the PDAEs parameter optimization model is built to predict the boyciana population. PMID:27155570
Symmetries of the Schrödinger equation and algebra/superalgebra duality
NASA Astrophysics Data System (ADS)
Toppan, Francesco
2015-04-01
Some key features of the symmetries of the Schrodinger equation that are common to a much broader class of dynamical systems (some under construction) are illustrated. I discuss the algebra/superalgebra duality involving first and second-order differential operators. It provides different viewpoints for the spectrum-generating subalgebras. The representation- dependent notion of on-shell symmetry is introduced. The difference in associating the time-derivative symmetry operator with either a root or a Cartan generator of the sl(2) subalgebra is discussed. In application to one-dimensional Lagrangian superconformal sigma-models it implies superconformal actions which are either supersymmetric or non-supersymmetric.
Benhammouda, Brahim
2016-01-01
Since 1980, the Adomian decomposition method (ADM) has been extensively used as a simple powerful tool that applies directly to solve different kinds of nonlinear equations including functional, differential, integro-differential and algebraic equations. However, for differential-algebraic equations (DAEs) the ADM is applied only in four earlier works. There, the DAEs are first pre-processed by some transformations like index reductions before applying the ADM. The drawback of such transformations is that they can involve complex algorithms, can be computationally expensive and may lead to non-physical solutions. The purpose of this paper is to propose a novel technique that applies the ADM directly to solve a class of nonlinear higher-index Hessenberg DAEs systems efficiently. The main advantage of this technique is that; firstly it avoids complex transformations like index reductions and leads to a simple general algorithm. Secondly, it reduces the computational work by solving only linear algebraic systems with a constant coefficient matrix at each iteration, except for the first iteration where the algebraic system is nonlinear (if the DAE is nonlinear with respect to the algebraic variable). To demonstrate the effectiveness of the proposed technique, we apply it to a nonlinear index-three Hessenberg DAEs system with nonlinear algebraic constraints. This technique is straightforward and can be programmed in Maple or Mathematica to simulate real application problems. PMID:27330880
NASA Astrophysics Data System (ADS)
Dodd, R. K.
2014-02-01
In this paper we derive Hirota equations associated with the simply laced affine Lie algebras {{g}}^{(1)}, where {{g}} is one of the simply laced complex Lie algebras {{a}}_n, {{d}}_n, {{e}}_6, {{e}}_7 or {{e}}_8, defined by finite order automorphisms of {{g}} which we call Lepowsky automorphisms. In particular, we investigate the Hirota equations for Lepowsky automorphisms of {{e}}_6 defined by the cuspidal class E6 of the Weyl group W(E6) of {{e}}_6. We also investigate the relationship between the Lepowsky automorphisms of the simply laced complex Lie algebras {{g}} and the conjugate canonical automorphisms defined by Kac. This analysis is applied to identify the canonical automorphisms for the cuspidal class E6 of {{e}}_6.
NASA Astrophysics Data System (ADS)
Aghaei, S.; Chenaghlou, A.
2015-01-01
In this paper, we study the Dirac equation with spin and pseudospin symmetry by the quadratic algebra approach for the 4-dimensional harmonic oscillator. By realization of the quadratic algebras in the deformed oscillator algebra, we obtain the relativistic energy spectrum. Also, by regarding the generalized Kustaanheimo-Stiefel transformation, we obtain the relativistic energy spectrum for the charge-dyon system with the U(1) monopole.
From Function to Equations: Introduction of Algebraic Thinking to 13 Year-Old Students
ERIC Educational Resources Information Center
Farmaki, Vasiliki; Klaoudatos, Nikos; Verikios, Petros
2004-01-01
The various difficulties and cognitive obstacles that students face when they are introduced to algebra are well documented and described in the relevant bibliography. If it is possible, in order to avoid these difficulties, we have adopted the functional approach widening the meaning of algebraic thinking. In this paper, which is part of wider…
Balancing the Equation: Do Course Variations in Algebra 1 Provide Equal Student Outcomes?
ERIC Educational Resources Information Center
Kenfield, Danielle M.
2013-01-01
Historically, algebra has served as a gatekeeper that divides students into academic programs with varying opportunities to learn and controls access to higher education and career opportunities. Successful completion of Algebra 1 demonstrates mathematical proficiency and allows access to a sequential and progressive path of advanced study that…
ERIC Educational Resources Information Center
Hewitt, Dave
2012-01-01
This study looks at a mixed ability group of 21 Year 5 primary students (aged 9-10 years old) who had previously never had formal instruction using letters to stand for unknowns or variables in a mathematics context; nor had they been introduced to formal algebraic notation. Three lessons were taught using the computer software "Grid Algebra"…
Activities for Students: Biology as a Source for Algebra Equations--The Heart
ERIC Educational Resources Information Center
Horak, Virginia M.
2005-01-01
The high school course that integrated first year algebra with an introductory environmental biology/anatomy and physiology course, in order to solve algebra problems is discussed. Lessons and activities for the course were taken by identifying the areas where mathematics and biology content intervenes may help students understand biology concepts…
NASA Astrophysics Data System (ADS)
Akbari, M. R.; Ganji, D. D.; Ahmadi, A. R.; Kachapi, Sayyid H. Hashemi
2014-03-01
In the current paper, a simplified model of Tower Cranes has been presented in order to investigate and analyze the nonlinear differential equation governing on the presented system in three different cases by Algebraic Method (AGM). Comparisons have been made between AGM and Numerical Solution, and these results have been indicated that this approach is very efficient and easy so it can be applied for other nonlinear equations. It is citable that there are some valuable advantages in this way of solving differential equations and also the answer of various sets of complicated differential equations can be achieved in this manner which in the other methods, so far, they have not had acceptable solutions. The simplification of the solution procedure in Algebraic Method and its application for solving a wide variety of differential equations not only in Vibrations but also in different fields of study such as fluid mechanics, chemical engineering, etc. make AGM be a powerful and useful role model for researchers in order to solve complicated nonlinear differential equations.
NASA Astrophysics Data System (ADS)
Campoamor-Stursberg, R.
2016-06-01
A functional realization of the Lie algebra s l (" separators=" 3 , R) as a Vessiot-Guldberg-Lie algebra of second order differential equation (SODE) Lie systems is proposed. It is shown that a minimal Vessiot-Guldberg-Lie algebra L V G is obtained from proper subalgebras of s l (" separators=" 3 , R) for each of the SODE Lie systems of this type by particularization of one functional and two scalar parameters of the s l (" separators=" 3 , R) -realization. The relation between the various Vessiot-Guldberg-Lie algebras by means of a limiting process in the scalar parameters further allows to define a notion of contraction of SODE Lie systems.
A Dirac-Dunkl Equation on S 2 and the Bannai-Ito Algebra
NASA Astrophysics Data System (ADS)
De Bie, Hendrik; Genest, Vincent X.; Vinet, Luc
2016-05-01
The Dirac-Dunkl operator on the two-sphere associated to the Z23 reflection group is considered. Its symmetries are found and are shown to generate the Bannai-Ito algebra. Representations of the Bannai-Ito algebra are constructed using ladder operators. Eigenfunctions of the spherical Dirac-Dunkl operator are obtained using a Cauchy-Kovalevskaia extension theorem. These eigenfunctions, which correspond to Dunkl monogenics, are seen to support finite-dimensional irreducible representations of the Bannai-Ito algebra.
Bethe subalgebras in affine Birman–Murakami–Wenzl algebras and flat connections for q-KZ equations
NASA Astrophysics Data System (ADS)
Isaev, A. P.; Kirillov, A. N.; Tarasov, V. O.
2016-05-01
Commutative sets of Jucys–Murphy elements for affine braid groups of {A}(1),{B}(1),{C}(1),{D}(1) types were defined. Construction of R-matrix representations of the affine braid group of type {C}(1) and its distinguished commutative subgroup generated by the {C}(1)-type Jucys–Murphy elements are given. We describe a general method to produce flat connections for the two-boundary quantum Knizhnik–Zamolodchikov equations as necessary conditions for Sklyanin's type transfer matrix associated with the two-boundary multicomponent Zamolodchikov algebra to be invariant under the action of the {C}(1)-type Jucys–Murphy elements. We specify our general construction to the case of the Birman–Murakami–Wenzl algebras (BMW algebras for short). As an application we suggest a baxterization of the Dunkl–Cherednik elements {Y}\\prime {{s}} in the double affine Hecke algebra of type A. Dedicated to Professor Rodney Baxter on the occasion of his 75th Birthday.
The Riccati transfer matrix method. [for computerized structural analysis
NASA Technical Reports Server (NTRS)
Horner, G. C.; Pilkey, W. D.
1977-01-01
The Riccati transfer matrix method is a new technique for analyzing structural members. This new technique makes use of an existing large catalog of transfer matrices for various structural members such as rotating shafts. The numerical instability encountered when calculating high resonant frequencies, static response of a flexible member on a stiff foundation, or the response of a long member by the transfer matrix method is eliminated by the Riccati transfer matrix method. The computational time and storage requirements of the Riccati transfer matrix method are about half the values for the transfer matrix method. A rotating shaft analysis demonstrates the numerical accuracy of the method.
Adaptive Algebraic Multigrid for Finite Element Elliptic Equations with Random Coefficients
Kalchev, D
2012-04-02
This thesis presents a two-grid algorithm based on Smoothed Aggregation Spectral Element Agglomeration Algebraic Multigrid (SA-{rho}AMGe) combined with adaptation. The aim is to build an efficient solver for the linear systems arising from discretization of second-order elliptic partial differential equations (PDEs) with stochastic coefficients. Examples include PDEs that model subsurface flow with random permeability field. During a Markov Chain Monte Carlo (MCMC) simulation process, that draws PDE coefficient samples from a certain distribution, the PDE coefficients change, hence the resulting linear systems to be solved change. At every such step the system (discretized PDE) needs to be solved and the computed solution used to evaluate some functional(s) of interest that then determine if the coefficient sample is acceptable or not. The MCMC process is hence computationally intensive and requires the solvers used to be efficient and fast. This fact that at every step of MCMC the resulting linear system changes, makes an already existing solver built for the old problem perhaps not as efficient for the problem corresponding to the new sampled coefficient. This motivates the main goal of our study, namely, to adapt an already existing solver to handle the problem (with changed coefficient) with the objective to achieve this goal to be faster and more efficient than building a completely new solver from scratch. Our approach utilizes the local element matrices (for the problem with changed coefficients) to build local problems associated with constructed by the method agglomerated elements (a set of subdomains that cover the given computational domain). We solve a generalized eigenproblem for each set in a subspace spanned by the previous local coarse space (used for the old solver) and a vector, component of the error, that the old solver cannot handle. A portion of the spectrum of these local eigen-problems (corresponding to eigenvalues close to zero) form the
Middle School Students' Reading Comprehension of Mathematical Texts and Algebraic Equations
ERIC Educational Resources Information Center
Duru, Adem; Koklu, Onder
2011-01-01
In this study, middle school students' abilities to translate mathematical texts into algebraic representations and vice versa were investigated. In addition, students' difficulties in making such translations and the potential sources for these difficulties were also explored. Both qualitative and quantitative methods were used to collect data…
NASA Astrophysics Data System (ADS)
Folly-Gbetoula, Mensah; Kara, A. H.
2015-04-01
Solutions of linear iterative equations and expressions for these solutions in terms of the parameters of the first-order source equation are obtained. Based on certain properties of iterative equations, finding the solutions is reduced to finding solutions of the second-order source equation. We have therefore found classes of solutions to the source equations by letting the parameters of the source equation be functions of a specific type such as monomials, functions of exponential and logarithmic type.
Yu, Zhang; Zhang, Yufeng
2009-01-30
Three semi-direct sum Lie algebras are constructed, which is an efficient and new way to obtain discrete integrable couplings. As its applications, three discrete integrable couplings associated with the modified KdV lattice equation are worked out. The approach can be used to produce other discrete integrable couplings of the discrete hierarchies of solition equations. PMID:20119478
NASA Astrophysics Data System (ADS)
Daviau, Claude; Bertrand, Jacques
A wave equation with mass term is studied for all particles and antiparticles of the first generation: electron and its neutrino, positron and antineutrino, quarks $u$ and $d$ with three states of color and antiquarks $\\overline{u}$ and $\\overline{d}$. This wave equation is form invariant under the $Cl_3^*$ group generalizing the relativistic invariance. It is gauge invariant under the $U(1)\\times SU(2) \\times SU(3)$ group of the standard model of quantum physics. The wave is a function of space and time with value in the Clifford algebra $Cl_{1,5}$. All features of the standard model, charge conjugation, color, left waves, Lagrangian formalism, are linked to the geometry of this extended space-time.
Generalized Flip-Flop Input Equations Based on a Four-Valued Boolean Algebra
NASA Technical Reports Server (NTRS)
Tucker, Jerry H.; Tapia, Moiez A.
1996-01-01
A procedure is developed for obtaining generalized flip-flop input equations, and a concise method is presented for representing these equations. The procedure is based on solving a four-valued characteristic equation of the flip-flop, and can encompass flip-flops that are too complex to approach intuitively. The technique is presented using Karnaugh maps, but could easily be implemented in software.
Algebraic Equations and Inequalities: Issues for Research and Teaching. Research Forum
ERIC Educational Resources Information Center
Bazzini, Luciana; Tsamir, Pessia
2004-01-01
The presentations address a variety of difficulties occurring in students' solutions of equations and inequalities, and suggest different reasons for these difficulties. When analyzing students' performances, [BB] and [TTT] mention students' tendencies to make irrelevant connections between equations and inequalities as a problematic phenomenon.…
Chandrasekhar equations for infinite dimensional systems
NASA Technical Reports Server (NTRS)
Ito, K.; Powers, R. K.
1985-01-01
Chandrasekhar equations are derived for linear time invariant systems defined on Hilbert spaces using a functional analytic technique. An important consequence of this is that the solution to the evolutional Riccati equation is strongly differentiable in time and one can define a strong solution of the Riccati differential equation. A detailed discussion on the linear quadratic optimal control problem for hereditary differential systems is also included.
The Dirac equation in an external electromagnetic field: symmetry algebra and exact integration
NASA Astrophysics Data System (ADS)
Breev, A. I.; Shapovalov, A. V.
2016-01-01
Integration of the Dirac equation with an external electromagnetic field is explored in the framework of the method of separation of variables and of the method of noncommutative integration. We have found a new type of solutions that are not obtained by separation of variables for several external electromagnetic fields. We have considered an example of crossed electric and magnetic fields of a special type for which the Dirac equation admits a nonlocal symmetry operator.
ERIC Educational Resources Information Center
Fuchs, Lynn S.; Zumeta, Rebecca O.; Schumacher, Robin Finelli; Powell, Sarah R.; Seethaler, Pamela M.; Hamlett, Carol L.; Fuchs, Douglas
2010-01-01
The purpose of this study was to assess the effects of schema-broadening instruction (SBI) on second graders' word-problem-solving skills and their ability to represent the structure of word problems using algebraic equations. Teachers (n = 18) were randomly assigned to conventional word-problem instruction or SBI word-problem instruction, which…
Disturbance decoupling, decentralized control and the Riccati equation
NASA Technical Reports Server (NTRS)
Garzia, M. R.; Loparo, K. A.; Martin, C. F.
1981-01-01
The disturbance decoupling and optimal decentralized control problems are looked at using identical mathematical techniques. A statement of the problems and the development of their solution approach is presented. Preliminary results are given for the optimal decentralized control problem.
Profiles of Algebraic Competence
ERIC Educational Resources Information Center
Humberstone, J.; Reeve, R.A.
2008-01-01
The algebraic competence of 72 12-year-old female students was examined to identify profiles of understanding reflecting different algebraic knowledge states. Beginning algebraic competence (mapping abilities: word-to-symbol and vice versa, classifying, and solving equations) was assessed. One week later, the nature of assistance required to map…
ERIC Educational Resources Information Center
Ngu, Bing Hiong; Yeung, Alexander Seeshing
2013-01-01
Text editing directs students' attention to the problem structure as they classify whether the texts of word problems contain sufficient, missing or irrelevant information for working out a solution. Equation worked examples emphasize the formation of a coherent problem structure to generate a solution. Its focus is on the construction of three…
Computer subroutine ISUDS accurately solves large system of simultaneous linear algebraic equations
NASA Technical Reports Server (NTRS)
Collier, G.
1967-01-01
Computer program, an Iterative Scheme Using a Direct Solution, obtains double precision accuracy using a single-precision coefficient matrix. ISUDS solves a system of equations written in matrix form as AX equals B, where A is a square non-singular coefficient matrix, X is a vector, and B is a vector.
Zhuk, Sergiy
2013-10-15
In this paper we present Kalman duality principle for a class of linear Differential-Algebraic Equations (DAE) with arbitrary index and time-varying coefficients. We apply it to an ill-posed minimax control problem with DAE constraint and derive a corresponding dual control problem. It turns out that the dual problem is ill-posed as well and so classical optimality conditions are not applicable in the general case. We construct a minimizing sequence u-circumflex{sub {epsilon}} for the dual problem applying Tikhonov method. Finally we represent u-circumflex{sub {epsilon}} in the feedback form using Riccati equation on a subspace which corresponds to the differential part of the DAE.
Realizations of Galilei algebras
NASA Astrophysics Data System (ADS)
Nesterenko, Maryna; Pošta, Severin; Vaneeva, Olena
2016-03-01
All inequivalent realizations of the Galilei algebras of dimensions not greater than five are constructed using the algebraic approach proposed by Shirokov. The varieties of the deformed Galilei algebras are discussed and families of one-parametric deformations are presented in explicit form. It is also shown that a number of well-known and physically interesting equations and systems are invariant with respect to the considered Galilei algebras or their deformations.
NASA Astrophysics Data System (ADS)
Provencher, Stephen W.
1982-09-01
CONTIN is a portable Fortran IV package for inverting noisy linear operator equations. These problems occur in the analysis of data from a wide variety experiments. They are generally ill-posed problems, which means that errors in an unregularized inversion are unbounded. Instead, CONTIN seeks the optimal solution by incorporating parsimony and any statistical prior knowledge into the regularizor and absolute prior knowledge into equallity and inequality constraints. This can be greatly increase the resolution and accuracyh of the solution. CONTIN is very flexible, consisting of a core of about 50 subprograms plus 13 small "USER" subprograms, which the user can easily modify to specify special-purpose constraints, regularizors, operator equations, simulations, statistical weighting, etc. Specjial collections of USER subprograms are available for photon correlation spectroscopy, multicomponent spectra, and Fourier-Bessel, Fourier and Laplace transforms. Numerically stable algorithms are used throughout CONTIN. A fairly precise definition of information content in terms of degrees of freedom is given. The regularization parameter can be automatically chosen on the basis of an F-test and confidence region. The interpretation of the latter and of error estimates based on the covariance matrix of the constrained regularized solution are discussed. The strategies, methods and options in CONTIN are outlined. The program itself is described in the following paper.
Direct and inverse relationships between Riccati systems coupled with multiplicative terms.
Navickas, Z; Vilkas, R; Telksnys, T; Ragulskis, M
2016-01-01
An analytical and computational framework for the derivation of solitary solutions to biological systems describing the cooperation and competition of species and expressed by the system of Riccati equations coupled with multiplicative terms is presented in this paper. It is demonstrated that relationships between these solitary solutions can be either direct or inverse. Thus, an infinitesimal perturbation of one population would lead to an infinitesimal change in the other population - if only both solitary solutions are coupled with the direct relationship. But, in general, that is not true if solitary solutions are coupled with the inverse relationship - an infinitesimal perturbation of one population may result into a non-infinitesimal change in the other population. Necessary and sufficient conditions for the existence of solitary solutions are derived in the space of the system's parameters and initial conditions. PMID:27159649
NASA Astrophysics Data System (ADS)
Mathai, Pramod P.
the uncertainty in the parameters of the differential equations. There is a clear need to design better experiments for IEF without the current overhead of expensive chemicals and labor. We show how with a simpler modeling of the underlying chemistry, we can still achieve the accuracy that has been achieved in existing literature for modeling small ranges of pH (hydrogen ion concentration) in IEF, but with far less computational time. We investigate a further reduction of time by modeling the IEF problem using the Proper Orthogonal Decomposition (POD) technique and show why POD may not be sufficient due to the underlying constraints. The final problem that we address in this thesis addresses a certain class of dynamics with high stiffness - in particular, differential algebraic equations. With the help of simple examples, we show how the traditional POD procedure will fail to model certain high stiffness problems due to a particular behavior of the vector field which we will denote as twist. We further show how a novel augmentation to the traditional POD algorithm can model-reduce problems with twist in a computationally cheap manner without any additional data requirements.
Teaching Algebra without Algebra
ERIC Educational Resources Information Center
Kalman, Richard S.
2008-01-01
Algebra is, among other things, a shorthand way to express quantitative reasoning. This article illustrates ways for the classroom teacher to convert algebraic solutions to verbal problems into conversational solutions that can be understood by students in the lower grades. Three reasonably typical verbal problems that either appeared as or…
NASA Astrophysics Data System (ADS)
Kipps, Mark R.
1994-03-01
The modeling of power systems has been primarily driven by the commercial power utility industry. These models usually involve the assumption that system bus voltage and frequency are constant. However, in applications such as shipboard power systems this infinite bus assumption is not valid. This thesis investigates the modeling of a synchronous generator and various loads in a modular fashion on a finite bus. The simulation presented allows the interconnection of multiple state-space models via a bus voltage model. The major difficulty encountered in building a model which computes bus voltage at each time step is that bus voltage is a function of current and current derivative terms. Bus voltage is also an input to the state equations which produce the current and current derivatives. This creates an algebraic loop which is a form of implicit differential equation. A routine has been developed by Linda Petzold of Lawrence Livermore Laboratory for solving these types of equations. The routine, called Differential Algebraic System Solver (DASSL), has been implemented in a pre-release version of the software Advanced Continuous Simulation Language (ACSL) and has been made available to the Naval Postgraduate School on a trial basis. An isolated power system is modeled using this software and the DASSL routine. The system response to several dynamic situations is studied and the results are presented.
NASA Astrophysics Data System (ADS)
Hiley, B. J.
In this chapter, we examine in detail the non-commutative symplectic algebra underlying quantum dynamics. By using this algebra, we show that it contains both the Weyl-von Neumann and the Moyal quantum algebras. The latter contains the Wigner distribution as the kernel of the density matrix. The underlying non-commutative geometry can be projected into either of two Abelian spaces, so-called `shadow phase spaces'. One of these is the phase space of Bohmian mechanics, showing that it is a fragment of the basic underlying algebra. The algebraic approach is much richer, giving rise to two fundamental dynamical time development equations which reduce to the Liouville equation and the Hamilton-Jacobi equation in the classical limit. They also include the Schrödinger equation and its wave-function, showing that these features are a partial aspect of the more general non-commutative structure. We discuss briefly the properties of this more general mathematical background from which the non-commutative symplectic algebra emerges.
Covariant deformed oscillator algebras
NASA Technical Reports Server (NTRS)
Quesne, Christiane
1995-01-01
The general form and associativity conditions of deformed oscillator algebras are reviewed. It is shown how the latter can be fulfilled in terms of a solution of the Yang-Baxter equation when this solution has three distinct eigenvalues and satisfies a Birman-Wenzl-Murakami condition. As an example, an SU(sub q)(n) x SU(sub q)(m)-covariant q-bosonic algebra is discussed in some detail.
Stoner, C D
1993-01-01
Methods are given whereby the steady-state kinetic characteristics of multienzyme reactions consisting of individual single-enzyme reactions linked by freely diffusible intermediates can be determined quantitatively from the experimentally determined complete algebraic rate equations for the individual reactions. The approach is based on the fact that a valid steady-state rate equation for such a multienzyme reaction, in terms of the rate equations for the individual reactions, can be obtained simply from knowledge of the relative rates of the individual reactions when the multienzyme reaction is in the steady state. A number of model multienzyme reactions, which differ as to structural arrangement of the individual reactions, are examined by this approach. Simple mathematical methods which are applicable to most of these models are given for direct calculation of dependent variables. It is either pointed out or demonstrated with Mathematica that the rate equations for all of these models can be handled very easily with the aid of a personal computer equipped with appropriate equation-solving software. Since the approach permits evaluation of all dependent variables for any specific combination of values for the kinetic parameters and independent variables, numerical values for the flux control coefficients of the individual enzymes can be obtained by direct calculation for a wide variety of conditions and can be compared with those obtained according to the methods of Metabolic Control Analysis. Several such comparisons have been made and in all cases identical results were obtained. The intuitive notion that the individual enzymes of a multienzyme reaction would be equally rate limiting if the total amount of enzyme were being used with maximum efficiency is tested and shown to be incorrect. In the course of this test the flux control coefficient for the individual enzymes were found to be appropriate indicators of relative rate limitation or control by the
Computer Algebra Systems in Undergraduate Instruction.
ERIC Educational Resources Information Center
Small, Don; And Others
1986-01-01
Computer algebra systems (such as MACSYMA and muMath) can carry out many of the operations of calculus, linear algebra, and differential equations. Use of them with sketching graphs of rational functions and with other topics is discussed. (MNS)
Quantum computation using geometric algebra
NASA Astrophysics Data System (ADS)
Matzke, Douglas James
This dissertation reports that arbitrary Boolean logic equations and operators can be represented in geometric algebra as linear equations composed entirely of orthonormal vectors using only addition and multiplication Geometric algebra is a topologically based algebraic system that naturally incorporates the inner and anticommutative outer products into a real valued geometric product, yet does not rely on complex numbers or matrices. A series of custom tools was designed and built to simplify geometric algebra expressions into a standard sum of products form, and automate the anticommutative geometric product and operations. Using this infrastructure, quantum bits (qubits), quantum registers and EPR-bits (ebits) are expressed symmetrically as geometric algebra expressions. Many known quantum computing gates, measurement operators, and especially the Bell/magic operators are also expressed as geometric products. These results demonstrate that geometric algebra can naturally and faithfully represent the central concepts, objects, and operators necessary for quantum computing, and can facilitate the design and construction of quantum computing tools.
Algebraic integrability: a survey.
Vanhaecke, Pol
2008-03-28
We give a concise introduction to the notion of algebraic integrability. Our exposition is based on examples and phenomena, rather than on detailed proofs of abstract theorems. We mainly focus on algebraic integrability in the sense of Adler-van Moerbeke, where the fibres of the momentum map are affine parts of Abelian varieties; as it turns out, most examples from classical mechanics are of this form. Two criteria are given for such systems (Kowalevski-Painlevé and Lyapunov) and each is illustrated in one example. We show in the case of a relatively simple example how one proves algebraic integrability, starting from the differential equations for the integrable vector field. For Hamiltonian systems that are algebraically integrable in the generalized sense, two examples are given, which illustrate the non-compact analogues of Abelian varieties which typically appear in such systems. PMID:17588863
ERIC Educational Resources Information Center
Buerman, Margaret
2007-01-01
Finding real-world examples for middle school algebra classes can be difficult but not impossible. As we strive to accomplish teaching our students how to solve and graph equations, we neglect to teach the big ideas of algebra. One of those big ideas is functions. This article gives three examples of functions that are found in Arches National…
Semigroups and computer algebra in algebraic structures
NASA Astrophysics Data System (ADS)
Bijev, G.
2012-11-01
Some concepts in semigroup theory can be interpreted in several algebraic structures. A generalization fA,B,fA,B(X) = A(X')B of the complement operator (') on Boolean matrices is made, where A and B denote any rectangular Boolean matrices. While (') is an isomorphism between Boolean semilattices, the generalized complement operator is homomorphism in the general case. The map fA,B and its general inverse (fA,B)+ have quite similar properties to those in the linear algebra and are useful for solving linear equations in Boolean matrix algebras. For binary relations on a finite set, necessary and sufficient conditions for the equation αξβ = γ to have a solution ξ are proved. A generalization of Green's equivalence relations in semigroups for rectangular matrices is proposed. Relationships between them and the Moore-Penrose inverses are investigated. It is shown how any generalized Green's H-class could be constructed by given its corresponding linear subspaces and converted into a group isomorphic to a linear group. Some information about using computer algebra methods concerning this paper is given.
Adaptive Algebraic Multigrid Methods
Brezina, M; Falgout, R; MacLachlan, S; Manteuffel, T; McCormick, S; Ruge, J
2004-04-09
Our ability to simulate physical processes numerically is constrained by our ability to solve the resulting linear systems, prompting substantial research into the development of multiscale iterative methods capable of solving these linear systems with an optimal amount of effort. Overcoming the limitations of geometric multigrid methods to simple geometries and differential equations, algebraic multigrid methods construct the multigrid hierarchy based only on the given matrix. While this allows for efficient black-box solution of the linear systems associated with discretizations of many elliptic differential equations, it also results in a lack of robustness due to assumptions made on the near-null spaces of these matrices. This paper introduces an extension to algebraic multigrid methods that removes the need to make such assumptions by utilizing an adaptive process. The principles which guide the adaptivity are highlighted, as well as their application to algebraic multigrid solution of certain symmetric positive-definite linear systems.
UCSMP Algebra. What Works Clearinghouse Intervention Report
ERIC Educational Resources Information Center
What Works Clearinghouse, 2007
2007-01-01
"University of Chicago School Mathematics Project (UCSMP) Algebra," designed to increase students' skills in algebra, is appropriate for students in grades 7-10, depending on the students' incoming knowledge. This one-year course highlights applications, uses statistics and geometry to develop the algebra of linear equations and inequalities, and…
NASA Astrophysics Data System (ADS)
Carlen, E. A.; Carvalho, M. C.; Orlandi, E.
1999-06-01
This is the first of two papers devoted to the study of a nonlocal evolution equation that describes the evolution of the local magnetization in a continuum limit of an Ising spin system with Kawasaki dynamics and Kac potentials. We consider subcritical temperatures, for which there are two local equilibria, and begin the proof of a local nonlinear stability result for the minimum free energy profiles for the magnetization at the interface between regions of these two different local equilibria; i.e., the fronts. We shall show in the second paper that an initial perturbation v 0 of a front that is sufficiently small in L 2 norm, and sufficiently localized that ∫ x 2 v 0( x)2 dx<∞, yields a solution that relaxes to another front, selected by a conservation law, in the L 1 norm at an algebraic rate that we explicitly estimate. There we also obtain rates for the relaxation in the L 2 norm and the rate of decrease of the excess free energy. Here we prove a number of estimates essential for this result. Moreover, the estimates proved here suffice to establish the main result in an important special case.
Invertible linear transformations and the Lie algebras
NASA Astrophysics Data System (ADS)
Zhang, Yufeng; Tam, Honwah; Guo, Fukui
2008-07-01
With the help of invertible linear transformations and the known Lie algebras, a way to generate new Lie algebras is given. These Lie algebras obtained have a common feature, i.e. integrable couplings of solitary hierarchies could be obtained by using them, specially, the Hamiltonian structures of them could be worked out. Some ways to construct the loop algebras of the Lie algebras are presented. It follows that some various loop algebras are given. In addition, a few new Lie algebras are explicitly constructed in terms of the classification of Lie algebras proposed by Ma Wen-Xiu, which are bases for obtaining new Lie algebras by using invertible linear transformations. Finally, some solutions of a (2 + 1)-dimensional partial-differential equation hierarchy are obtained, whose Hamiltonian form-expressions are manifested by using the quadratic-form identity.
The Dirac Equation in the Bertotti-Robinson Space-Time
NASA Astrophysics Data System (ADS)
Sakalli, I.
2003-08-01
The Dirac equation is considered in the uniform electromagnetic field space of Bertotti-Robinson with charge coupling. The methods of separation of variables and decoupling are easily achieved. The separated axial equation is reduced to a rare Riccati type of differential equation. The behaviour of potentials, their asymptotic solutions and the conserved currents of the Dirac equation are found.
ERIC Educational Resources Information Center
Schaufele, Christopher; Zumoff, Nancy
Earth Algebra is an entry level college algebra course that incorporates the spirit of the National Council of Teachers of Mathematics (NCTM) Curriculum and Evaluation Standards for School Mathematics at the college level. The context of the course places mathematics at the center of one of the major current concerns of the world. Through…
ERIC Educational Resources Information Center
Cavanagh, Sean
2009-01-01
As educators and policymakers search for ways to prepare students for the rigors of algebra, teachers in the Helena, Montana, school system are starting early by attempting to nurture students' algebraic-reasoning ability, as well as their basic number skills, in early elementary school, rather than waiting until middle or early high school.…
NASA Astrophysics Data System (ADS)
Bracken, Paul
An intrinsic version of the integrability theorem for the classical Backlund theorem is presented. It is characterized by a one-form which can be put in the form of a Riccati system. It is shown how this system can be linearized. Based on this, a procedure for generating an infinite number of conservation laws is given.
Explicit travelling waves and invariant algebraic curves
NASA Astrophysics Data System (ADS)
Gasull, Armengol; Giacomini, Hector
2015-06-01
We introduce a precise definition of algebraic travelling wave solution of n-th order partial differential equations and prove that the only algebraic travelling waves solutions for the celebrated Fisher-Kolmogorov equation are the ones found in 1979 by Ablowitz and Zeppetella. This question is equivalent to study when an associated one-parameter family of planar ordinary differential systems has invariant algebraic curves.
Generalized Galilean algebras and Newtonian gravity
NASA Astrophysics Data System (ADS)
González, N.; Rubio, G.; Salgado, P.; Salgado, S.
2016-04-01
The non-relativistic versions of the generalized Poincaré algebras and generalized AdS-Lorentz algebras are obtained. These non-relativistic algebras are called, generalized Galilean algebras of type I and type II and denoted by GBn and GLn respectively. Using a generalized Inönü-Wigner contraction procedure we find that the generalized Galilean algebras of type I can be obtained from the generalized Galilean algebras type II. The S-expansion procedure allows us to find the GB5 algebra from the Newton Hooke algebra with central extension. The procedure developed in Ref. [1] allows us to show that the nonrelativistic limit of the five dimensional Einstein-Chern-Simons gravity is given by a modified version of the Poisson equation. The modification could be compatible with the effects of Dark Matter, which leads us to think that Dark Matter can be interpreted as a non-relativistic limit of Dark Energy.
Elementary Algebra Connections to Precalculus
ERIC Educational Resources Information Center
Lopez-Boada, Roberto; Daire, Sandra Arguelles
2013-01-01
This article examines the attitudes of some precalculus students to solve trigonometric and logarithmic equations and systems using the concepts of elementary algebra. With the goal of enticing the students to search for and use connections among mathematical topics, they are asked to solve equations or systems specifically designed to allow…
ERIC Educational Resources Information Center
Chazan, Daniel; Sela, Hagit; Herbst, Patricio
2012-01-01
We illustrate a method, which is modeled on "breaching experiments," for studying tacit norms that govern classroom interaction around particular mathematical content. Specifically, this study explores norms that govern teachers' expectations for the doing of word problems in school algebra. Teacher study groups discussed representations of…
Stability of algebraically unstable dispersive flows
NASA Astrophysics Data System (ADS)
King, Kristina; Zaretzky, Paula; Weinstein, Steven; Cromer, Michael; Barlow, Nathaniel
2015-11-01
A widely unexplored type of hydrodynamic instability is examined - large-time algebraic growth. Such growth occurs on the threshold of (exponentially) neutral stability. A methodology is provided for predicting the algebraic growth rate of an initial disturbance, when applied to a class of partial differential equations describing wave propagation in dispersive media. There are several morphological differences between algebraically growing disturbances and the exponentially growing wave packets inherent to classical linear stability analysis, and these are elucidated in this study.
The Structural Algebra Option: A Discussion Paper.
ERIC Educational Resources Information Center
Kirshner, David
The goal of this paper is to renew interest in the structural option to algebra instruction. Concern for the usual secondary school algebra curriculum related to simplifying expressions, solving equations, and rationalizing numerators and denominators is viewed from three pedagogical approaches: (1) structural approach, (2) empirical approach, and…
Analytical Solution of the Space-Time Fractional Nonlinear Schrödinger Equation
NASA Astrophysics Data System (ADS)
Abdel-Salam, Emad A.-B.; Yousif, Eltayeb A.; El-Aasser, Mostafa A.
2016-02-01
The space-time fractional nonlinear Schrödinger equation is solved by mean of on the fractional Riccati expansion method. These solutions include generalized trigonometric and hyperbolic functions which could be useful for further understanding of mechanisms of the complicated nonlinear physical phenomena and fractional differential equations. Among these solutions, some are found for the first time.
Role of division algebra in seven-dimensional gauge theory
NASA Astrophysics Data System (ADS)
Kalauni, Pushpa; Barata, J. C. A.
2015-03-01
The algebra of octonions 𝕆 forms the largest normed division algebra over the real numbers ℝ, complex numbers ℂ and quaternions ℍ. The usual three-dimensional vector product is given by quaternions, while octonions produce seven-dimensional vector product. Thus, octonionic algebra is closely related to the seven-dimensional algebra, therefore one can extend generalization of rotations in three dimensions to seven dimensions using octonions. An explicit algebraic description of octonions has been given to describe rotational transformation in seven-dimensional space. We have also constructed a gauge theory based on non-associative algebra to discuss Yang-Mills theory and field equation in seven-dimensional space.
Lima Beans, Paper Cups, and Algebra.
ERIC Educational Resources Information Center
Loewen, A. C.
1991-01-01
An activity in which students use manipulative materials to help solve simple algebraic equations using the operations of adding inverses, removing opposites, and sharing equally is presented. Directions, examples, the rationale, and cautions are included. (KR)
Exploring Algebraic Misconceptions with Technology
ERIC Educational Resources Information Center
Sakow, Matthew; Karaman, Ruveyda
2015-01-01
Many students struggle with algebra, from simplifying expressions to solving systems of equations. Students also have misconceptions about the meaning of variables. In response to the question "Can x + y + z ever equal x + p + z?" during a student interview, the student claimed, "Never . . . because p has to have a different value…
Kinds of Knowledge in Algebra.
ERIC Educational Resources Information Center
Lewis, Clayton
Solving equations in elementary algebra requires knowledge of the permitted operations, and knowledge of what operation to use at a given point in the solution process. While just these kinds of knowledge would be adequate for an ideal solver, human solvers appear to need and use other kinds of knowledge. First, many errors seem to indicate that…
Philip, Bobby; Chartier, Dr Timothy
2012-01-01
methods based on Local Sensitivity Analysis (LSA). The method can be used in the context of geometric and algebraic multigrid methods for constructing smoothers, and in the context of Krylov methods for constructing block preconditioners. It is suitable for both constant and variable coecient problems. Furthermore, the method can be applied to systems arising from both scalar and coupled system partial differential equations (PDEs), as well as linear systems that do not arise from PDEs. The simplicity of the method will allow it to be easily incorporated into existing multigrid and Krylov solvers while providing a powerful tool for adaptively constructing methods tuned to a problem.
Lie Triple Derivations of CSL Algebras
NASA Astrophysics Data System (ADS)
Yu, Weiyan; Zhang, Jianhua
2013-06-01
Let [InlineEquation not available: see fulltext.] be a commutative subspace lattice generated by finite many commuting independent nests on a complex separable Hilbert space [InlineEquation not available: see fulltext.] with [InlineEquation not available: see fulltext.], and [InlineEquation not available: see fulltext.] the associated CSL algebra. It is proved that every Lie triple derivation from [InlineEquation not available: see fulltext.] into any σ-weakly closed algebra [InlineEquation not available: see fulltext.] containing [InlineEquation not available: see fulltext.] is of the form X→ XT- TX+ h( X) I, where [InlineEquation not available: see fulltext.] and h is a linear mapping from [InlineEquation not available: see fulltext.] into ℂ such that h([[ A, B], C])=0 for all [InlineEquation not available: see fulltext.].
Algebraic method for finding equivalence groups
NASA Astrophysics Data System (ADS)
Bihlo, Alexander; Dos Santos Cardoso-Bihlo, Elsa; Popovych, Roman O.
2015-06-01
The algebraic method for computing the complete point symmetry group of a system of differential equations is extended to finding the complete equivalence group of a class of such systems. The extended method uses the knowledge of the corresponding equivalence algebra. Two versions of the method are presented, where the first involves the automorphism group of this algebra and the second is based on a list of its megaideals. We illustrate the megaideal-based version of the method with the computation of the complete equivalence group of a class of nonlinear wave equations with applications in nonlinear elasticity.
Twisted Quantum Toroidal Algebras
NASA Astrophysics Data System (ADS)
Jing, Naihuan; Liu, Rongjia
2014-09-01
We construct a principally graded quantum loop algebra for the Kac-Moody algebra. As a special case a twisted analog of the quantum toroidal algebra is obtained together with the quantum Serre relations.
Algebraic vs physical N = 6 3-algebras
Cantarini, Nicoletta; Kac, Victor G.
2014-01-15
In our previous paper, we classified linearly compact algebraic simple N = 6 3-algebras. In the present paper, we classify their “physical” counterparts, which actually appear in the N = 6 supersymmetric 3-dimensional Chern-Simons theories.
ERIC Educational Resources Information Center
Blakley, G. R.
1982-01-01
Reviews mathematical techniques for solving systems of homogeneous linear equations and demonstrates that the algebraic method of balancing chemical equations is a matter of solving a system of homogeneous linear equations. FORTRAN programs using this matrix method to chemical equation balancing are available from the author. (JN)
A note on Verhulst's logistic equation and related logistic maps
NASA Astrophysics Data System (ADS)
Ranferi Gutiérrez, M.; Reyes, M. A.; Rosu, H. C.
2010-05-01
We consider the Verhulst logistic equation and a couple of forms of the corresponding logistic maps. For the case of the logistic equation we show that using the general Riccati solution only changes the initial conditions of the equation. Next, we consider two forms of corresponding logistic maps reporting the following results. For the map xn + 1 = rxn(1 - xn) we propose a new way to write the solution for r = -2 which allows better precision of the iterative terms, while for the map xn + 1 - xn = rxn(1 - xn + 1) we show that it behaves identically to the logistic equation from the standpoint of the general Riccati solution, which is also provided herein for any value of the parameter r.
The Universal C*-Algebra of the Electromagnetic Field
NASA Astrophysics Data System (ADS)
Buchholz, Detlev; Ciolli, Fabio; Ruzzi, Giuseppe; Vasselli, Ezio
2016-02-01
A universal C*-algebra of the electromagnetic field is constructed. It is represented in any quantum field theory which incorporates electromagnetism and expresses basic features of the field such as Maxwell's equations, Poincaré covariance and Einstein causality. Moreover, topological properties of the field resulting from Maxwell's equations are encoded in the algebra, leading to commutation relations with values in its center. The representation theory of the algebra is discussed with focus on vacuum representations, fixing the dynamics of the field.
NASA Astrophysics Data System (ADS)
Yao, Ruo-Xia; Wang, Wei; Chen, Ting-Hua
2014-11-01
Motivated by the widely used ansätz method and starting from the modified Riemann—Liouville derivative together with a fractional complex transformation that can be utilized to transform nonlinear fractional partial differential equations to nonlinear ordinary differential equations, new types of exact traveling wave solutions to three important nonlinear space- and time-fractional partial differential equations are obtained simultaneously in terms of solutions of a Riccati equation. The results are new and first reported in this paper.
ERIC Educational Resources Information Center
National Council of Teachers of Mathematics, Inc., Reston, VA.
This is a reprint of the historical capsules dealing with algebra from the 31st Yearbook of NCTM,"Historical Topics for the Mathematics Classroom." Included are such themes as the change from a geometric to an algebraic solution of problems, the development of algebraic symbolism, the algebraic contributions of different countries, the origin and…
Figueroa-O'Farrill, Jose Miguel
2009-11-15
We phrase deformations of n-Leibniz algebras in terms of the cohomology theory of the associated Leibniz algebra. We do the same for n-Lie algebras and for the metric versions of n-Leibniz and n-Lie algebras. We place particular emphasis on the case of n=3 and explore the deformations of 3-algebras of relevance to three-dimensional superconformal Chern-Simons theories with matter.
Quantum cluster algebras and quantum nilpotent algebras
Goodearl, Kenneth R.; Yakimov, Milen T.
2014-01-01
A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of applications of the general results to the above-mentioned types of problems. As a consequence, we prove the Berenstein–Zelevinsky conjecture [Berenstein A, Zelevinsky A (2005) Adv Math 195:405–455] for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß et al. [Geiß C, et al. (2013) Selecta Math 19:337–397] for the case of symmetric Kac–Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein et al. [Berenstein A, et al. (2005) Duke Math J 126:1–52] associated with double Bruhat cells coincide with the corresponding cluster algebras. PMID:24982197
Titration Calculations with Computer Algebra Software
ERIC Educational Resources Information Center
Lachance, Russ; Biaglow, Andrew
2012-01-01
This article examines the symbolic algebraic solution of the titration equations for a diprotic acid, as obtained using "Mathematica," "Maple," and "Mathcad." The equilibrium and conservation equations are solved symbolically by the programs to eliminate the approximations that normally would be performed by the student. Of the three programs,…
Deforming the Maxwell-Sim algebra
Gibbons, G. W.; Gomis, Joaquim; Pope, C. N.
2010-09-15
The Maxwell algebra is a noncentral extension of the Poincare algebra, in which the momentum generators no longer commute, but satisfy [P{sub {mu}},P{sub {nu}}]=Z{sub {mu}{nu}}. The charges Z{sub {mu}{nu}} commute with the momenta, and transform tensorially under the action of the angular momentum generators. If one constructs an action for a massive particle, invariant under these symmetries, one finds that it satisfies the equations of motion of a charged particle interacting with a constant electromagnetic field via the Lorentz force. In this paper, we explore the analogous constructions where one starts instead with the ISim subalgebra of Poincare, this being the symmetry algebra of very special relativity. It admits an analogous noncentral extension, and we find that a particle action invariant under this Maxwell-Sim algebra again describes a particle subject to the ordinary Lorentz force. One can also deform the ISim algebra to DISim{sub b}, where b is a nontrivial dimensionless parameter. We find that the motion described by an action invariant under the corresponding Maxwell-DISim algebra is that of a particle interacting via a Finslerian modification of the Lorentz force. In an appendix is it shown that the DISim{sub b} algebra is isomorphic to the extended Schroedinger algebra with its standard deformation parameter z, when b=(1/1-z).
Filtering Algebraic Multigrid and Adaptive Strategies
Nagel, A; Falgout, R D; Wittum, G
2006-01-31
Solving linear systems arising from systems of partial differential equations, multigrid and multilevel methods have proven optimal complexity and efficiency properties. Due to shortcomings of geometric approaches, algebraic multigrid methods have been developed. One example is the filtering algebraic multigrid method introduced by C. Wagner. This paper proposes a variant of Wagner's method with substantially improved robustness properties. The method is used in an adaptive, self-correcting framework and tested numerically.
Algebraic operator approach to gas kinetic models
NASA Astrophysics Data System (ADS)
Il'ichov, L. V.
1997-02-01
Some general properties of the linear Boltzmann kinetic equation are used to present it in the form ∂ tϕ = - Â†Âϕ with the operators ÂandÂ† possessing some nontrivial algebraic properties. When applied to the Keilson-Storer kinetic model, this method gives an example of quantum ( q-deformed) Lie algebra. This approach provides also a natural generalization of the “kangaroo model”.
Single axioms for Boolean algebra.
McCune, W.
2000-06-30
Explicit single axioms are presented for Boolean algebra in terms of (1) the Sheffer stroke; (2) disjunction and negation; (3) disjunction, conjunction, and negation; and (4) disjunction, conjunction, negation, 0, and 1. It was previously known that single axioms exist for these systems, but the procedures to generate them are exponential, producing huge equations. Automated deduction techniques were applied to find axioms of lengths 105, 131, 111, and 127, respectively, each with six variables.
Traditional vectors as an introduction to geometric algebra
NASA Astrophysics Data System (ADS)
Carroll, J. E.
2003-07-01
The 2002 Oersted Medal Lecture by David Hestenes concerns the many advantages for education in physics if geometric algebra were to replace standard vector algebra. However, such a change has difficulties for those who have been taught traditionally. A new way of introducing geometric algebra is presented here using a four-element array composed of traditional vector and scalar products. This leads to an explicit 4 × 4 matrix representation which contains key requirements for three-dimensional geometric algebra. The work can be extended to include Maxwell's equations where it is found that curl and divergence appear naturally together. However, to obtain an explicit representation of space-time algebra with the correct behaviour under Lorentz transformations, an 8 × 8 matrix representation has to be formed. This leads to a Dirac representation of Maxwell's equations showing that space-time algebra has hidden within its formalism the symmetry of 'parity, charge conjugation and time reversal'.
Learning Algebra in a Computer Algebra Environment
ERIC Educational Resources Information Center
Drijvers, Paul
2004-01-01
This article summarises a doctoral thesis entitled "Learning algebra in a computer algebra environment, design research on the understanding of the concept of parameter" (Drijvers, 2003). It describes the research questions, the theoretical framework, the methodology and the results of the study. The focus of the study is on the understanding of…
Walker, H.F.
1990-01-01
During the 1986--1989 project period, two major areas of research developed into which most of the work fell: matrix-free'' methods for solving linear systems, by which we mean iterative methods that require only the action of the coefficient matrix on vectors and not the coefficient matrix itself, and Newton-like methods for underdetermined nonlinear systems. In the 1990 project period of the renewal grant, a third major area of research developed: inexact Newton and Newton iterative methods and their applications to large-scale nonlinear systems, especially those arising in discretized problems. An inexact Newton method is any method in which each step reduces the norm of the local linear model of the function of interest. A Newton iterative method is any implementation of Newton's method in which the linear systems that characterize Newton steps (the Newton equations'') are solved only approximately using an iterative linear solver. Newton iterative methods are properly considered special cases of inexact Newton methods. We describe the work in these areas and in other areas in this paper.
NASA Technical Reports Server (NTRS)
Iachello, Franco
1995-01-01
An algebraic formulation of quantum mechanics is presented. In this formulation, operators of interest are expanded onto elements of an algebra, G. For bound state problems in nu dimensions the algebra G is taken to be U(nu + 1). Applications to the structure of molecules are presented.
Orientation in operator algebras
Alfsen, Erik M.; Shultz, Frederic W.
1998-01-01
A concept of orientation is relevant for the passage from Jordan structure to associative structure in operator algebras. The research reported in this paper bridges the approach of Connes for von Neumann algebras and ourselves for C*-algebras in a general theory of orientation that is of geometric nature and is related to dynamics. PMID:9618457
Developing Thinking in Algebra
ERIC Educational Resources Information Center
Mason, John; Graham, Alan; Johnson-Wilder, Sue
2005-01-01
This book is for people with an interest in algebra whether as a learner, or as a teacher, or perhaps as both. It is concerned with the "big ideas" of algebra and what it is to understand the process of thinking algebraically. The book has been structured according to a number of pedagogic principles that are exposed and discussed along the way,…
Connecting Arithmetic to Algebra
ERIC Educational Resources Information Center
Darley, Joy W.; Leapard, Barbara B.
2010-01-01
Algebraic thinking is a top priority in mathematics classrooms today. Because elementary school teachers lay the groundwork to develop students' capacity to think algebraically, it is crucial for teachers to have a conceptual understanding of the connections between arithmetic and algebra and be confident in communicating these connections. Many…
Applied Algebra Curriculum Modules.
ERIC Educational Resources Information Center
Texas State Technical Coll., Marshall.
This collection of 11 applied algebra curriculum modules can be used independently as supplemental modules for an existing algebra curriculum. They represent diverse curriculum styles that should stimulate the teacher's creativity to adapt them to other algebra concepts. The selected topics have been determined to be those most needed by students…
Ternary Virasoro - Witt algebra.
Zachos, C.; Curtright, T.; Fairlie, D.; High Energy Physics; Univ. of Miami; Univ. of Durham
2008-01-01
A 3-bracket variant of the Virasoro-Witt algebra is constructed through the use of su(1,1) enveloping algebra techniques. The Leibniz rules for 3-brackets acting on other 3-brackets in the algebra are discussed and verified in various situations.
NASA Astrophysics Data System (ADS)
Lannes, A.; Teunissen, P. J. G.
2011-05-01
The first objective of this paper is to show that some basic concepts used in global navigation satellite systems (GNSS) are similar to those introduced in Fourier synthesis for handling some phase calibration problems. In experimental astronomy, the latter are at the heart of what is called `phase closure imaging.' In both cases, the analysis of the related structures appeals to the algebraic graph theory and the algebraic number theory. For example, the estimable functions of carrier-phase ambiguities, which were introduced in GNSS to correct some rank defects of the undifferenced equations, prove to be `closure-phase ambiguities:' the so-called `closure-delay' (CD) ambiguities. The notion of closure delay thus generalizes that of double difference (DD). The other estimable functional variables involved in the phase and code undifferenced equations are the receiver and satellite pseudo-clock biases. A related application, which corresponds to the second objective of this paper, concerns the definition of the clock information to be broadcasted to the network users for their precise point positioning (PPP). It is shown that this positioning can be achieved by simply having access to the satellite pseudo-clock biases. For simplicity, the study is restricted to relatively small networks. Concerning the phase for example, these biases then include five components: a frequency-dependent satellite-clock error, a tropospheric satellite delay, an ionospheric satellite delay, an initial satellite phase, and an integer satellite ambiguity. The form of the PPP equations to be solved by the network user is then similar to that of the traditional PPP equations. As soon as the CD ambiguities are fixed and validated, an operation which can be performed in real time via appropriate decorrelation techniques, estimates of these float biases can be immediately obtained. No other ambiguity is to be fixed. The satellite pseudo-clock biases can thus be obtained in real time. This is
Shifted genus expanded W ∞ algebra and shifted Hurwitz numbers
NASA Astrophysics Data System (ADS)
Zheng, Quan
2016-05-01
We construct the shifted genus expanded W ∞ algebra, which is isomorphic to the central subalgebra A ∞ of infinite symmetric group algebra and to the shifted Schur symmetrical function algebra Λ* defined by Okounkov and Olshanskii. As an application, we get some differential equations for the generating functions of the shifted Hurwitz numbers; thus, we can express the generating functions in terms of the shifted genus expanded cut-and-join operators.
Computer algebra and transport theory.
Warsa, J. S.
2004-01-01
Modern symbolic algebra computer software augments and complements more traditional approaches to transport theory applications in several ways. The first area is in the development and enhancement of numerical solution methods for solving the Boltzmann transport equation. Typically, special purpose computer codes are designed and written to solve specific transport problems in particular ways. Different aspects of the code are often written from scratch and the pitfalls of developing complex computer codes are numerous and well known. Software such as MAPLE and MATLAB can be used to prototype, analyze, verify and determine the suitability of numerical solution methods before a full-scale transport application is written. Once it is written, the relevant pieces of the full-scale code can be verified using the same tools I that were developed for prototyping. Another area is in the analysis of numerical solution methods or the calculation of theoretical results that might otherwise be difficult or intractable. Algebraic manipulations are done easily and without error and the software also provides a framework for any additional numerical calculations that might be needed to complete the analysis. We will discuss several applications in which we have extensively used MAPLE and MATLAB in our work. All of them involve numerical solutions of the S{sub N} transport equation. These applications encompass both of the two main areas in which we have found computer algebra software essential.
Computer algebra and operators
NASA Technical Reports Server (NTRS)
Fateman, Richard; Grossman, Robert
1989-01-01
The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions.
Semigroups And Computer Algebra In Discrete Structures
NASA Astrophysics Data System (ADS)
Bijev, G.
2010-10-01
Some concepts in semigroup theory are interpreted in discrete structures such as finite lattices, binary relations, and finite semilattices. An algebraic approach to the pseudoinverse generalization problem in Boolean vector spaces is used. By analogy with the linear spaces in the linear algebra semilattice homomorphisms, isomorphisms, projections on Boolean vector spaces are defined and some properties of them are investigated in detail. Maps, corresponding to them in the linear algebra, are connected with matrices and their pseudouinverse. Important properties of these maps, which are essential for solving linear systems, remain the same in the Boolean vector spaces. Stochastic experiments using the maps defined and computer algebra methods have been made for solving linear equations Ax = b. The Hamming distance between b and the projection p(b) = Ax of b is equal or close to the least possible one, if the system has no solutions.
2003-06-03
The ALGEBRA II program allows the user to manipulate data from a finite element analysis before it is plotted by evaluating algebraic expressions. The equation variables are dependent on the input database variable names. The finite element output data is in the form of variable values (e.g., stress, strain, and velocity components) in an EXODUS II database which can be read by plot programs. Code is written in a portable form as possible. Fortran codemore » is written in ANSI Standard FORTRAN-77. Machine-specific routines are limited in number and are grouped together to minimize the time required to adapt them to a new system. SEACAS codes has been ported to several Unix systems.« less
Algebra. Instructor Edition. Post-Secondary Vocational-Technical Level.
ERIC Educational Resources Information Center
Eads, Freeman D.; Hinton, Barbara E.
This instructor's guide consists of materials for use in teaching a course in algebra designed for students enrolled in postsecondary vocational and technical education programs. Addressed in the eight individual units of the guide are the following topics: signed numbers, algebraic notation, equations and inequalities, solving algebraic…
Modular operads and the quantum open-closed homotopy algebra
NASA Astrophysics Data System (ADS)
Doubek, Martin; Jurčo, Branislav; Münster, Korbinian
2015-12-01
We verify that certain algebras appearing in string field theory are algebras over Feynman transform of modular operads which we describe explicitly. Equivalent description in terms of solutions of generalized BV master equations are explained from the operadic point of view.
ERIC Educational Resources Information Center
Lin, Cheng-Yao; Kuo, Yu-Chun; Ko, Yi-Yin
2015-01-01
The purpose of this study was to investigate elementary pre-service teachers' content knowledge in algebra (Linear Equation, Quadratic Equation, Functions, System Equations and Polynomials) as well as their technological pedagogical content knowledge (TPACK) in teaching algebra. Participants were 79 undergraduate pre-service teachers who were…
Soravia, P.
1999-01-15
In this paper we extend to completely general nonlinear systems the result stating that the H{sub {infinity}} suboptimal control problem is solved if and only if the corresponding Hamilton-Jacobi-Isaacs (HJI) equation has a nonnegative (super)solution. This is well known for linear systems, using the Riccati equation instead of the HJI equation. We do this using the theory of differential games and viscosity solutions.
Octonic Massive Field Equations
NASA Astrophysics Data System (ADS)
Demir, Süleyman; Kekeç, Seray
2016-03-01
In the present paper we propose the octonic form of massive field equations based on the analogy with electromagnetism and linear gravity. Using the advantages of octon algebra the Maxwell-Dirac-Proca equations have been reformulated in compact and elegant way. The energy-momentum relations for massive field are discussed.
Octonic Massive Field Equations
NASA Astrophysics Data System (ADS)
Demir, Süleyman; Kekeç, Seray
2016-07-01
In the present paper we propose the octonic form of massive field equations based on the analogy with electromagnetism and linear gravity. Using the advantages of octon algebra the Maxwell-Dirac-Proca equations have been reformulated in compact and elegant way. The energy-momentum relations for massive field are discussed.
Four Lie algebras associated with R6 and their applications
NASA Astrophysics Data System (ADS)
Zhang, Yufeng; Tam, Honwah
2010-09-01
The first part in the paper reads that a three-dimensional Lie algebra is first introduced, whose corresponding loop algebra is constructed, for which isospectral problems are established. By employing zero curvature equations, a modified Kaup-Newell (mKN) soliton hierarchy of evolution equations is obtained. The corresponding hereditary operator and Hamiltonian structure are worked out, respectively. Then two types of enlarging semisimple Lie algebras isomorphic to the linear space R6 are followed to construct, one of them is a complex Lie algebra. Their corresponding loop algebras are also given so that two types of new isospectral problems are introduced to generate two kinds of integrable couplings of the above mKN hierarchy. The hereditary operators, Hamiltonian structures of the hierarchies are produced again, respectively. The exact computing formulas of the constant γ appearing in the trace identity and the variational identity are derived under the semisimple algebras. The second part of this paper is devoted to constructing two kinds of Lie algebras by using product of complex vectors, which are also isomorphic to the linear space R6. Then we make use of the corresponding loop algebras to produce two integrable hierarchies along with bi-Hamiltonian structures. From various aspects, we give some ways for constructing Lie algebras which have extensive applications in generating integrable Hamiltonian systems.
A Richer Understanding of Algebra
ERIC Educational Resources Information Center
Foy, Michelle
2008-01-01
Algebra is one of those hard-to-teach topics where pupils seem to struggle to see it as more than a set of rules to learn, but this author recently used the software "Grid Algebra" from ATM, which engaged her Year 7 pupils in exploring algebraic concepts for themselves. "Grid Algebra" allows pupils to experience number, pre-algebra, and algebra…
Invariant algebraic surfaces for a virus dynamics
NASA Astrophysics Data System (ADS)
Valls, Claudia
2015-08-01
In this paper, we provide a complete classification of the invariant algebraic surfaces and of the rational first integrals for a well-known virus system. In the proofs, we use the weight-homogeneous polynomials and the method of characteristic curves for solving linear partial differential equations.
Learning Activity Package, Algebra-Trigonometry.
ERIC Educational Resources Information Center
Holland, Bill
A series of ten teacher-prepared Learning Activity Packages (LAPs) in advanced algebra and trigonometry, the units cover logic; absolute value, inequalities, exponents, and complex numbers; functions; higher degree equations and the derivative; the trigonometric function; graphs and applications of the trigonometric functions; sequences and…
Algebra 1Q, Mathematics: 5215.12.
ERIC Educational Resources Information Center
Hirigoyen, Hector
This is the second of the six guidebooks on minimum course content for first-year algebra; it includes the ordered field properties of the real number system, solution of linear equations and inequalities, verbal problems, exponents and operations with polynomials. Overall goals for the course are stated; performance objectives for each unit, a…
Algebra 1p, Mathematics: 5215.11.
ERIC Educational Resources Information Center
Strachan, Florence; Hirigoyen, Hector
This is the first of six guidebooks on minimum course content for first-year algebra; it introduces the language of sets, the fundamental operations and properties of the real number system, the use of variables, and the solution of simple linear equations and inequalities. Overall goals for the course are stated; then performance objectives, a…
Short single axioms for boolean algebra.
McCune, W.; Veroff, R.; Fitelson, B.; Harris, K.; Feist, A.; Wos, L.; Mathematics and Computer Science; Univ. of New Mexico; Univ. of Wisconsin at Madison; Duke Univ.
2002-01-01
We present short single equational axioms for Boolean algebra in terms of disjunction and negation and in terms of the Sheffer stroke. Previously known single axioms for these theories are much longer than the ones we present. We show that there is no shorter axiom in terms of the Sheffer stroke. Automated deduction techniques were used in several parts of the work.
Connecting Algebra and Chemistry.
ERIC Educational Resources Information Center
O'Connor, Sean
2003-01-01
Correlates high school chemistry curriculum with high school algebra curriculum and makes the case for an integrated approach to mathematics and science instruction. Focuses on process integration. (DDR)
Noncommutative Pfaffians associated with the orthogonal algebra
Artamonov, Dmitrii V; Golubeva, Valentina A
2012-12-31
Commutators of Pfaffians associated with the orthogonal algebra are found in skew-symmetric and root realizations of o{sub N}. A generating function of Pfaffians is proved to satisfy the reflection equation. A relation between Pfaffians in skew-symmetric and root realizations of o{sub N} is established. Using these results we construct an integrable equation of Knizhnik-Zamolodchikov type using the Capelli central elements in U(o{sub N}), which are sums of squares of the considered Pfaffians. A classical limit of the obtained Knizhnik-Zamolodchikov type equation turns out to be a very specific system of equations of isomonodromic deformations. Bibliography: 18 titles.
NASA Astrophysics Data System (ADS)
Kuzmin, Dmitri; Möller, Matthias; Gurris, Marcel
Flux limiting for hyperbolic systems requires a careful generalization of the design principles and algorithms introduced in the context of scalar conservation laws. In this chapter, we develop FCT-like algebraic flux correction schemes for the Euler equations of gas dynamics. In particular, we discuss the construction of artificial viscosity operators, the choice of variables to be limited, and the transformation of antidiffusive fluxes. An a posteriori control mechanism is implemented to make the limiter failsafe. The numerical treatment of initial and boundary conditions is discussed in some detail. The initialization is performed using an FCT-constrained L 2 projection. The characteristic boundary conditions are imposed in a weak sense, and an approximate Riemann solver is used to evaluate the fluxes on the boundary. We also present an unconditionally stable semi-implicit time-stepping scheme and an iterative solver for the fully discrete problem. The results of a numerical study indicate that the nonlinearity and non-differentiability of the flux limiter do not inhibit steady state convergence even in the case of strongly varying Mach numbers. Moreover, the convergence rates improve as the pseudo-time step is increased.
ERIC Educational Resources Information Center
Merlin, Ethan M.
2013-01-01
This article describes how the author has developed tasks for students that address the missed "essence of the matter" of algebraic transformations. Specifically, he has found that having students practice "perceiving" algebraic structure--by naming the "glue" in the expressions, drawing expressions using…
ERIC Educational Resources Information Center
Levy, Alissa Beth
2012-01-01
The California Department of Education (CDE) has long asserted that success Algebra I by Grade 8 is the goal for all California public school students. In fact, the state's accountability system penalizes schools that do not require all of their students to take the Algebra I end-of-course examination by Grade 8 (CDE, 2009). In this…
NASA Technical Reports Server (NTRS)
Lawson, C. L.; Krogh, F. T.; Gold, S. S.; Kincaid, D. R.; Sullivan, J.; Williams, E.; Hanson, R. J.; Haskell, K.; Dongarra, J.; Moler, C. B.
1982-01-01
The Basic Linear Algebra Subprograms (BLAS) library is a collection of 38 FORTRAN-callable routines for performing basic operations of numerical linear algebra. BLAS library is portable and efficient source of basic operations for designers of programs involving linear algebriac computations. BLAS library is supplied in portable FORTRAN and Assembler code versions for IBM 370, UNIVAC 1100 and CDC 6000 series computers.
ERIC Educational Resources Information Center
Cavanagh, Sean
2008-01-01
A popular humorist and avowed mathphobe once declared that in real life, there's no such thing as algebra. Kathie Wilson knows better. Most of the students in her 8th grade class will be thrust into algebra, the definitive course that heralds the beginning of high school mathematics, next school year. The problem: Many of them are about three…
Successfully Transitioning to Linear Equations
ERIC Educational Resources Information Center
Colton, Connie; Smith, Wendy M.
2014-01-01
The Common Core State Standards for Mathematics (CCSSI 2010) asks students in as early as fourth grade to solve word problems using equations with variables. Equations studied at this level generate a single solution, such as the equation x + 10 = 25. For students in fifth grade, the Common Core standard for algebraic thinking expects them to…
Computational algebraic geometry of epidemic models
NASA Astrophysics Data System (ADS)
Rodríguez Vega, Martín.
2014-06-01
Computational Algebraic Geometry is applied to the analysis of various epidemic models for Schistosomiasis and Dengue, both, for the case without control measures and for the case where control measures are applied. The models were analyzed using the mathematical software Maple. Explicitly the analysis is performed using Groebner basis, Hilbert dimension and Hilbert polynomials. These computational tools are included automatically in Maple. Each of these models is represented by a system of ordinary differential equations, and for each model the basic reproductive number (R0) is calculated. The effects of the control measures are observed by the changes in the algebraic structure of R0, the changes in Groebner basis, the changes in Hilbert dimension, and the changes in Hilbert polynomials. It is hoped that the results obtained in this paper become of importance for designing control measures against the epidemic diseases described. For future researches it is proposed the use of algebraic epidemiology to analyze models for airborne and waterborne diseases.
Lie algebra extensions of current algebras on S3
NASA Astrophysics Data System (ADS)
Kori, Tosiaki; Imai, Yuto
2015-06-01
An affine Kac-Moody algebra is a central extension of the Lie algebra of smooth mappings from S1 to the complexification of a Lie algebra. In this paper, we shall introduce a central extension of the Lie algebra of smooth mappings from S3 to the quaternization of a Lie algebra and investigate its root space decomposition. We think this extension of current algebra might give a mathematical tool for four-dimensional conformal field theory as Kac-Moody algebras give it for two-dimensional conformal field theory.
Leibniz algebras associated with representations of filiform Lie algebras
NASA Astrophysics Data System (ADS)
Ayupov, Sh. A.; Camacho, L. M.; Khudoyberdiyev, A. Kh.; Omirov, B. A.
2015-12-01
In this paper we investigate Leibniz algebras whose quotient Lie algebra is a naturally graded filiform Lie algebra nn,1. We introduce a Fock module for the algebra nn,1 and provide classification of Leibniz algebras L whose corresponding Lie algebra L / I is the algebra nn,1 with condition that the ideal I is a Fock nn,1-module, where I is the ideal generated by squares of elements from L. We also consider Leibniz algebras with corresponding Lie algebra nn,1 and such that the action I ×nn,1 → I gives rise to a minimal faithful representation of nn,1. The classification up to isomorphism of such Leibniz algebras is given for the case of n = 4.
Coreflections in Algebraic Quantum Logic
NASA Astrophysics Data System (ADS)
Jacobs, Bart; Mandemaker, Jorik
2012-07-01
Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular lattices, orthomodular po-sets, orthoalgebras and effect algebras. This paper contains a systematic study of the structure in and between categories of such algebras. It does so via a combination of totalization (of partially defined operations) and transfer of structure via coreflections.
Developing Algebraic Thinking.
ERIC Educational Resources Information Center
Alejandre, Suzanne
2002-01-01
Presents a teaching experience that resulted in students getting to a point of full understanding of the kinesthetic activity and the algebra behind it. Includes a lesson plan for a traffic jam activity. (KHR)
Algebraic Semantics for Narrative
ERIC Educational Resources Information Center
Kahn, E.
1974-01-01
This paper uses discussion of Edmund Spenser's "The Faerie Queene" to present a theoretical framework for explaining the semantics of narrative discourse. The algebraic theory of finite automata is used. (CK)
Aprepro - Algebraic Preprocessor
2005-08-01
Aprepro is an algebraic preprocessor that reads a file containing both general text and algebraic, string, or conditional expressions. It interprets the expressions and outputs them to the output file along witht the general text. Aprepro contains several mathematical functions, string functions, and flow control constructs. In addition, functions are included that, with some additional files, implement a units conversion system and a material database lookup system.
Geometric Algebra for Physicists
NASA Astrophysics Data System (ADS)
Doran, Chris; Lasenby, Anthony
2007-11-01
Preface; Notation; 1. Introduction; 2. Geometric algebra in two and three dimensions; 3. Classical mechanics; 4. Foundations of geometric algebra; 5. Relativity and spacetime; 6. Geometric calculus; 7. Classical electrodynamics; 8. Quantum theory and spinors; 9. Multiparticle states and quantum entanglement; 10. Geometry; 11. Further topics in calculus and group theory; 12. Lagrangian and Hamiltonian techniques; 13. Symmetry and gauge theory; 14. Gravitation; Bibliography; Index.
Campoamor-Stursberg, R.
2008-05-15
By means of contractions of Lie algebras, we obtain new classes of indecomposable quasiclassical Lie algebras that satisfy the Yang-Baxter equations in its reformulation in terms of triple products. These algebras are shown to arise naturally from noncompact real simple algebras with nonsimple complexification, where we impose that a nondegenerate quadratic Casimir operator is preserved by the limiting process. We further consider the converse problem and obtain sufficient conditions on integrable cocycles of quasiclassical Lie algebras in order to preserve nondegenerate quadratic Casimir operators by the associated linear deformations.
DG Poisson algebra and its universal enveloping algebra
NASA Astrophysics Data System (ADS)
Lü, JiaFeng; Wang, XingTing; Zhuang, GuangBin
2016-05-01
In this paper, we introduce the notions of differential graded (DG) Poisson algebra and DG Poisson module. Let $A$ be any DG Poisson algebra. We construct the universal enveloping algebra of $A$ explicitly, which is denoted by $A^{ue}$. We show that $A^{ue}$ has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over $A$ is isomorphic to the category of DG modules over $A^{ue}$. Furthermore, we prove that the notion of universal enveloping algebra $A^{ue}$ is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra.
Maxwell Equations and the Redundant Gauge Degree of Freedom
ERIC Educational Resources Information Center
Wong, Chun Wa
2009-01-01
On transformation to the Fourier space (k,[omega]), the partial differential Maxwell equations simplify to algebraic equations, and the Helmholtz theorem of vector calculus reduces to vector algebraic projections. Maxwell equations and their solutions can then be separated readily into longitudinal and transverse components relative to the…
Description of DASSL: a differential/algebraic system solver
Petzold, L.R.
1982-09-01
This paper describes a new code DASSL, for the numerical solution of implicit systems of differential/algebraic equations. These equations are written in the form F(t,y,y') = 0, and they can include systems which are substantially more complex than standard form ODE systems y' = f(t,y). Differential/algebraic equations occur in several diverse applications in the physical world. We outline the algorithms and strategies used in DASSL, and explain some of the features of the code. In addition, we outline briefly what needs to be done to solve a problem using DASSL.
Dynamics of gelling liquids: algebraic relaxation.
Srivastava, Sunita; Kumar, C N; Tankeshwar, K
2009-08-19
The sol-gel system which is known, experimentally, to exhibit a power law decay of stress autocorrelation function has been studied theoretically. A second-order nonlinear differential equation obtained from Mori's integro-differential equation is derived which provides the algebraic decay of a time correlation function. Involved parameters in the expression obtained are related to exact properties of the corresponding correlation function. The algebraic model has been applied to Lennard-Jones and sol-gel systems. The model shows the behaviour of viscosity as has been observed in computer simulation and theoretical studies. The expression obtained for the viscosity predicts a logarithmic divergence at a critical value of the parameter in agreement with the prediction of other theories. PMID:21828600
Twisting algebraically special solutions in five dimensions
NASA Astrophysics Data System (ADS)
Bernardi de Freitas, Gabriel; Godazgar, Mahdi; Reall, Harvey S.
2016-05-01
We determine the general form of the solutions of the five-dimensional vacuum Einstein equations with cosmological constant for which (i) the Weyl tensor is everywhere type II or more special in the null alignment classification of Coley et al, and (ii) the 3 × 3 matrix encoding the expansion, shear and twist of the aligned null direction has rank 2. The dependence of the solution on two coordinates is determined explicitly, so the Einstein equation reduces to PDEs in the three remaining coordinates, just as for four-dimensional (4d) algebraically special solutions. The solutions fall into several families. One of these consists of warped products of 4d algebraically special solutions. The others are new.
Symmetric linear systems - An application of algebraic systems theory
NASA Technical Reports Server (NTRS)
Hazewinkel, M.; Martin, C.
1983-01-01
Dynamical systems which contain several identical subsystems occur in a variety of applications ranging from command and control systems and discretization of partial differential equations, to the stability augmentation of pairs of helicopters lifting a large mass. Linear models for such systems display certain obvious symmetries. In this paper, we discuss how these symmetries can be incorporated into a mathematical model that utilizes the modern theory of algebraic systems. Such systems are inherently related to the representation theory of algebras over fields. We will show that any control scheme which respects the dynamical structure either implicitly or explicitly uses the underlying algebra.
Some remarks on representations of Yang-Mills algebras
NASA Astrophysics Data System (ADS)
Herscovich, Estanislao
2015-01-01
In this article, we present some new properties of representations of Yang-Mills algebras. We first show that any free Lie algebra with m generators is a quotient of the Yang-Mills algebra 𝔶𝔪(n) on n generators, for n ≥ 2m. We derive from this that any semisimple Lie algebra and even any affine Kac-Moody algebra is a quotient of 𝔶𝔪(n) for n ≥ 4. Combining this with previous results on representations of Yang-Mills algebras given in [Herscovich and Solotar, Ann. Math. 173(2), 1043-1080 (2011)], one may obtain solutions to the Yang-Mills equations by differential operators acting on sections of twisted vector bundles on the affine space of dimension n ≥ 4 associated to representations of any semisimple Lie algebra. We also show that this quotient property does not hold for n = 3, since any morphism of Lie algebras from 𝔶𝔪(3) to 𝔰𝔩(2, k) has in fact solvable image.
MODEL IDENTIFICATION AND COMPUTER ALGEBRA.
Bollen, Kenneth A; Bauldry, Shawn
2010-10-01
Multiequation models that contain observed or latent variables are common in the social sciences. To determine whether unique parameter values exist for such models, one needs to assess model identification. In practice analysts rely on empirical checks that evaluate the singularity of the information matrix evaluated at sample estimates of parameters. The discrepancy between estimates and population values, the limitations of numerical assessments of ranks, and the difference between local and global identification make this practice less than perfect. In this paper we outline how to use computer algebra systems (CAS) to determine the local and global identification of multiequation models with or without latent variables. We demonstrate a symbolic CAS approach to local identification and develop a CAS approach to obtain explicit algebraic solutions for each of the model parameters. We illustrate the procedures with several examples, including a new proof of the identification of a model for handling missing data using auxiliary variables. We present an identification procedure for Structural Equation Models that makes use of CAS and that is a useful complement to current methods. PMID:21769158
The algebraic criteria for the stability of control systems
NASA Technical Reports Server (NTRS)
Cremer, H.; Effertz, F. H.
1986-01-01
This paper critically examines the standard algebraic criteria for the stability of linear control systems and their proofs, reveals important previously unnoticed connections, and presents new representations. Algebraic stability criteria have also acquired significance for stability studies of non-linear differential equation systems by the Krylov-Bogoljubov-Magnus Method, and allow realization conditions to be determined for classes of broken rational functions as frequency characteristics of electrical network.
Prediction of Complex Aerodynamic Flows with Explicit Algebraic Stress Models
NASA Technical Reports Server (NTRS)
Abid, Ridha; Morrison, Joseph H.; Gatski, Thomas B.; Speziale, Charles G.
1996-01-01
An explicit algebraic stress equation, developed by Gatski and Speziale, is used in the framework of K-epsilon formulation to predict complex aerodynamic turbulent flows. The nonequilibrium effects are modeled through coefficients that depend nonlinearly on both rotational and irrotational strains. The proposed model was implemented in the ISAAC Navier-Stokes code. Comparisons with the experimental data are presented which clearly demonstrate that explicit algebraic stress models can predict the correct response to nonequilibrium flow.
Parallel Multigrid Equation Solver
2001-09-07
Prometheus is a fully parallel multigrid equation solver for matrices that arise in unstructured grid finite element applications. It includes a geometric and an algebraic multigrid method and has solved problems of up to 76 mullion degrees of feedom, problems in linear elasticity on the ASCI blue pacific and ASCI red machines.
Numerical linear algebra for reconstruction inverse problems
NASA Astrophysics Data System (ADS)
Nachaoui, Abdeljalil
2004-01-01
Our goal in this paper is to discuss various issues we have encountered in trying to find and implement efficient solvers for a boundary integral equation (BIE) formulation of an iterative method for solving a reconstruction problem. We survey some methods from numerical linear algebra, which are relevant for the solution of this class of inverse problems. We motivate the use of our constructing algorithm, discuss its implementation and mention the use of preconditioned Krylov methods.
Solving stochastic epidemiological models using computer algebra
NASA Astrophysics Data System (ADS)
Hincapie, Doracelly; Ospina, Juan
2011-06-01
Mathematical modeling in Epidemiology is an important tool to understand the ways under which the diseases are transmitted and controlled. The mathematical modeling can be implemented via deterministic or stochastic models. Deterministic models are based on short systems of non-linear ordinary differential equations and the stochastic models are based on very large systems of linear differential equations. Deterministic models admit complete, rigorous and automatic analysis of stability both local and global from which is possible to derive the algebraic expressions for the basic reproductive number and the corresponding epidemic thresholds using computer algebra software. Stochastic models are more difficult to treat and the analysis of their properties requires complicated considerations in statistical mathematics. In this work we propose to use computer algebra software with the aim to solve epidemic stochastic models such as the SIR model and the carrier-borne model. Specifically we use Maple to solve these stochastic models in the case of small groups and we obtain results that do not appear in standard textbooks or in the books updated on stochastic models in epidemiology. From our results we derive expressions which coincide with those obtained in the classical texts using advanced procedures in mathematical statistics. Our algorithms can be extended for other stochastic models in epidemiology and this shows the power of computer algebra software not only for analysis of deterministic models but also for the analysis of stochastic models. We also perform numerical simulations with our algebraic results and we made estimations for the basic parameters as the basic reproductive rate and the stochastic threshold theorem. We claim that our algorithms and results are important tools to control the diseases in a globalized world.
ERIC Educational Resources Information Center
Actuarial Foundation, 2013
2013-01-01
"Solving the Unknown with Algebra" is a new math program aligned with the National Council of Teachers of Mathematics (NCTM) standards and designed to help students practice pre-algebra skills including using formulas, solving for unknowns, and manipulating equations. Developed by The Actuarial Foundation with Scholastic, this program provides…
NASA Astrophysics Data System (ADS)
Roitman, Michael
2008-08-01
In this paper we prove that for any commutative (but in general non-associative) algebra A with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra V = V0 Å V2 Å V3 Å ¼, such that dim V0 = 1 and V2 contains A. We can choose V so that if A has a unit e, then 2e is the Virasoro element of V, and if G is a finite group of automorphisms of A, then G acts on V as well. In addition, the algebra V can be chosen with a non-degenerate invariant bilinear form, in which case it is simple.
Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction
ERIC Educational Resources Information Center
Wasserman, Nicholas H.
2016-01-01
This article explores the potential for aspects of abstract algebra to be influential for the teaching of school algebra (and early algebra). Using national standards for analysis, four primary areas common in school mathematics--and their progression across elementary, middle, and secondary mathematics--where teaching may be transformed by…
Sedeonic Equations of Massive Fields
NASA Astrophysics Data System (ADS)
Mironov, Sergey V.; Mironov, Victor L.
2015-01-01
Prior work on space-time sedeon algebra models relativistic quantum mechanical equation of motion with corresponding field equations, mediated by massive or massless spin-1 or spin-1/2 particles. In the massless spin-1 case, such exchange particles mediate fields in analogy to Maxwell's equations in Lorentz gauge. This paper demonstrates fundamental aspects of massive field's theory, such as gauge invariance, charge conservation, Poynting's theorem, potential of a stationary scalar point source, plane wave solution, and interaction between point sources. We briefly discuss some aspects of sedeonic algebra and their potential physical applications.
Spatial Operator Algebra for multibody system dynamics
NASA Technical Reports Server (NTRS)
Rodriguez, G.; Jain, A.; Kreutz-Delgado, K.
1992-01-01
The Spatial Operator Algebra framework for the dynamics of general multibody systems is described. The use of a spatial operator-based methodology permits the formulation of the dynamical equations of motion of multibody systems in a concise and systematic way. The dynamical equations of progressively more complex grid multibody systems are developed in an evolutionary manner beginning with a serial chain system, followed by a tree topology system and finally, systems with arbitrary closed loops. Operator factorizations and identities are used to develop novel recursive algorithms for the forward dynamics of systems with closed loops. Extensions required to deal with flexible elements are also discussed.
Computer Program For Linear Algebra
NASA Technical Reports Server (NTRS)
Krogh, F. T.; Hanson, R. J.
1987-01-01
Collection of routines provided for basic vector operations. Basic Linear Algebra Subprogram (BLAS) library is collection from FORTRAN-callable routines for employing standard techniques to perform basic operations of numerical linear algebra.
NASA Technical Reports Server (NTRS)
Shahshahani, M.
1991-01-01
The performance characteristics are discussed of certain algebraic geometric codes. Algebraic geometric codes have good minimum distance properties. On many channels they outperform other comparable block codes; therefore, one would expect them eventually to replace some of the block codes used in communications systems. It is suggested that it is unlikely that they will become useful substitutes for the Reed-Solomon codes used by the Deep Space Network in the near future. However, they may be applicable to systems where the signal to noise ratio is sufficiently high so that block codes would be more suitable than convolutional or concatenated codes.
NASA Astrophysics Data System (ADS)
Bouwknegt, Peter
1988-06-01
We investigate extensions of the Virasoro algebra by a single primary field of integer or halfinteger conformal dimension Δ. We argue that for vanishing structure constant CΔΔΔ, the extended conformal algebra can only be associative for a generic c-value if Δ=1/2, 1, 3/2, 2 or 3. For the other Δ<=5 we compute the finite set of allowed c-values and identify the rational solutions. The case CΔΔΔ≠0 is also briefly discussed. I would like to thank Kareljan Schoutens for discussions and Sander Bais for a careful reading of the manuscript.
Revisiting Newtonian and Non-Newtonian Fluid Mechanics Using Computer Algebra
ERIC Educational Resources Information Center
Knight, D. G.
2006-01-01
This article illustrates how a computer algebra system, such as Maple[R], can assist in the study of theoretical fluid mechanics, for both Newtonian and non-Newtonian fluids. The continuity equation, the stress equations of motion, the Navier-Stokes equations, and various constitutive equations are treated, using a full, but straightforward,…
Teaching Arithmetic and Algebraic Expressions
ERIC Educational Resources Information Center
Subramaniam, K.; Banerjee, Rakhi
2004-01-01
A teaching intervention study was conducted with sixth grade students to explore the interconnections between students' growing understanding of arithmetic expressions and beginning algebra. Three groups of students were chosen, with two groups receiving instruction in arithmetic and algebra, and one group in algebra without arithmetic. Students…
Assessing Elementary Algebra with STACK
ERIC Educational Resources Information Center
Sangwin, Christopher J.
2007-01-01
This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS…
Spinors in the hyperbolic algebra
NASA Astrophysics Data System (ADS)
Ulrych, S.
2006-01-01
The three-dimensional universal complex Clifford algebra Cbar3,0 is used to represent relativistic vectors in terms of paravectors. In analogy to the Hestenes spacetime approach spinors are introduced in an algebraic form. This removes the dependance on an explicit matrix representation of the algebra.
An extended Dirac equation in noncommutative spacetime
NASA Astrophysics Data System (ADS)
Mendes, R. Vilela
2016-05-01
Stabilizing, by deformation, the algebra of relativistic quantum mechanics a noncommutative spacetime geometry is obtained. The exterior algebra of this geometry leads to an extended massless Dirac equation which has both a massless and a large mass solution. The nature of the solutions is discussed as well as the effects of coupling the two solutions.
NASA Technical Reports Server (NTRS)
Collins, Emmanuel G., Jr.; Richter, Stephen
1990-01-01
One well known deficiency of LQG compensators is that they do not guarantee any measure of robustness. This deficiency is especially highlighted when considering control design for complex systems such as flexible structures. There has thus been a need to generalize LQG theory to incorporate robustness constraints. Here we describe the maximum entropy approach to robust control design for flexible structures, a generalization of LQG theory, pioneered by Hyland, which has proved useful in practice. The design equations consist of a set of coupled Riccati and Lyapunov equations. A homotopy algorithm that is used to solve these design equations is presented.
Asymptotic analysis of the Boltzmann equation for dark matter relics
NASA Astrophysics Data System (ADS)
Bender, Carl M.; Sarkar, Sarben
2012-10-01
This paper presents an asymptotic analysis of the Boltzmann equations (Riccati differential equations) that describe the physics of thermal dark-matter-relic abundances. Two different asymptotic techniques are used, boundary-layer theory, which makes use of asymptotic matching, and the delta expansion, which is a powerful technique for solving nonlinear differential equations. Two different Boltzmann equations are considered. The first is derived from general relativistic considerations and the second arises in dilatonic string cosmology. The global asymptotic analysis presented here is used to find the long-time behavior of the solutions to these equations. In the first case, the nature of the so-called freeze-out region and the post-freeze-out behavior is explored. In the second case, the effect of the dilaton on cold dark-matter abundances is calculated and it is shown that there is a large-time power-law fall off of the dark-matter abundance.
On Lie systems and Kummer-Schwarz equations
NASA Astrophysics Data System (ADS)
de Lucas, J.; Sardón, C.
2013-03-01
A Lie system is a system of first-order differential equations admitting a superposition rule, i.e., a map that expresses its general solution in terms of a generic family of particular solutions and certain constants. In this work, we use the geometric theory of Lie systems to prove that the explicit integration of second- and third-order Kummer-Schwarz equations is equivalent to obtaining a particular solution of a Lie system on SL(2,{R}). This same result can be extended to Riccati, Milne-Pinney, and to the here defined generalised Kummer-Schwarz equations, which include several types of Kummer-Schwarz equations as particular cases. We demonstrate that all the above-mentioned equations related to the same Lie system on SL(2,{R}) can be integrated simultaneously, which retrieves and generalizes in a unified and simpler manner previous results appearing in the literature. As a byproduct, we recover various properties of the Schwarzian derivative.
ERIC Educational Resources Information Center
Glick, David
1995-01-01
Presents a technique that helps students concentrate more on the science and less on the mechanics of algebra while dealing with introductory physics formulas. Allows the teacher to do complex problems at a lower level and not be too concerned about the mathematical abilities of the students. (JRH)
ERIC Educational Resources Information Center
Ketterlin-Geller, Leanne R.; Jungjohann, Kathleen; Chard, David J.; Baker, Scott
2007-01-01
Much of the difficulty that students encounter in the transition from arithmetic to algebra stems from their early learning and understanding of arithmetic. Too often, students learn about the whole number system and the operations that govern that system as a set of procedures to solve addition, subtraction, multiplication, and division problems.…
Computer Algebra versus Manipulation
ERIC Educational Resources Information Center
Zand, Hossein; Crowe, David
2004-01-01
In the UK there is increasing concern about the lack of skill in algebraic manipulation that is evident in students entering mathematics courses at university level. In this note we discuss how the computer can be used to ameliorate some of the problems. We take as an example the calculations needed in three dimensional vector analysis in polar…
ERIC Educational Resources Information Center
Boiteau, Denise; Stansfield, David
This document describes mathematical programs on the basic concepts of algebra produced by Louisiana Public Broadcasting. Programs included are: (1) "Inverse Operations"; (2) "The Order of Operations"; (3) "Basic Properties" (addition and multiplication of numbers and variables); (4) "The Positive and Negative Numbers"; and (5) "Using Positive…
Thinking Visually about Algebra
ERIC Educational Resources Information Center
Baroudi, Ziad
2015-01-01
Many introductions to algebra in high school begin with teaching students to generalise linear numerical patterns. This article argues that this approach needs to be changed so that students encounter variables in the context of modelling visual patterns so that the variables have a meaning. The article presents sample classroom activities,…
ERIC Educational Resources Information Center
Kennedy, John
This text provides information and exercises on arithmetic topics which should be mastered before a student enrolls in an Elementary Algebra course. Section I describes the fundamental properties and relationships of whole numbers, focusing on basic operations, divisibility tests, exponents, order of operations, prime numbers, greatest common…
ERIC Educational Resources Information Center
Nwabueze, Kenneth K.
2004-01-01
The current emphasis on flexible modes of mathematics delivery involving new information and communication technology (ICT) at the university level is perhaps a reaction to the recent change in the objectives of education. Abstract algebra seems to be one area of mathematics virtually crying out for computer instructional support because of the…
NASA Astrophysics Data System (ADS)
Castro, Carlos
2006-11-01
A novel Weyl-Heisenberg algebra in Clifford spaces is constructed that is based on a matrix-valued {\\cal H}^{AB} extension of Planck's constant. As a result of this modified Weyl-Heisenberg algebra one will no longer be able to measure, simultaneously, the pairs of variables (x, px), (x, py), (x, pz), (y, px), ... with absolute precision. New Klein-Gordon and Dirac wave equations and dispersion relations in Clifford spaces are presented. The latter Dirac equation is a generalization of the Dirac-Lanczos-Barut-Hestenes equation. We display the explicit isomorphism between Yang's noncommutative spacetime algebra and the area-coordinates algebra associated with Clifford spaces. The former Yang's algebra involves noncommuting coordinates and momenta with a minimum Planck scale λ (ultraviolet cutoff) and a minimum momentum p = planck/R (maximal length R, infrared cutoff). The double-scaling limit of Yang's algebra λ → 0, R → ∞, in conjunction with the large n → ∞ limit, leads naturally to the area quantization condition λR = L2 = nλ2 (in Planck area units) given in terms of the discrete angular-momentum eigenvalues n. It is shown how modified Newtonian dynamics is also a consequence of Yang's algebra resulting from the modified Poisson brackets. Finally, another noncommutative algebra which differs from Yang's algebra and related to the minimal length uncertainty relations is presented. We conclude with a discussion of the implications of noncommutative QM and QFT's in Clifford spaces.
NASA Astrophysics Data System (ADS)
Zhang, Ming; Yao, JingTao
2004-04-01
The XML is a new standard for data representation and exchange on the Internet. There are studies on XML query languages as well as XML algebras in literature. However, attention has not been paid to research on XML algebras for data mining due to partially the fact that there is no widely accepted definition of XML mining tasks. This paper tries to examine the XML mining tasks and provide guidelines to design XML algebras for data mining. Some summarization and comparison have been done to existing XML algebras. We argue that by adding additional operators for mining tasks, XML algebras may work well for data mining with XML documents.
Constitutive relations in optics in terms of geometric algebra
NASA Astrophysics Data System (ADS)
Dargys, A.
2015-11-01
To analyze the electromagnetic wave propagation in a medium the Maxwell equations should be supplemented by constitutive relations. At present the classification of linear constitutive relations is well established in tensorial-matrix and exterior p-form calculus. Here the constitutive relations are found in the context of Clifford geometric algebra. For this purpose Cl1,3 algebra that conforms with relativistic 4D Minkowskian spacetime is used. It is shown that the classification of linear optical phenomena with the help of constitutive relations in this case comes from the structure of Cl1,3 algebra itself. Concrete expressions for constitutive relations which follow from this algebra are presented. They can be applied in calculating the propagation properties of electromagnetic waves in any anisotropic, linear and nondissipative medium.
Generalized Kaluza-Klein monopole, quadratic algebras and ladder operators
NASA Astrophysics Data System (ADS)
Marquette, Ian
2011-06-01
We present a generalized Kaluza-Klein monopole system. We solve this quantum superintegrable system on a Euclidean Taub Nut manifold using the separation of variables of the corresponding Schrödinger equation in spherical and parabolic coordinates. We present the integrals of motion of this system, the quadratic algebra generated by these integrals, the realization in terms of a deformed oscillator algebra using the Daskaloyannis construction and the energy spectrum. The structure constants and the Casimir operator are functions not only of the Hamiltonian but also of other two integrals commuting with all generators of the quadratic algebra and forming an Abelian subalgebra. We present another algebraic derivation of the energy spectrum of this system using the factorization method and ladder operators.
A spatial operator algebra for manipulator modeling and control
NASA Technical Reports Server (NTRS)
Rodriguez, G.; Kreutz, K.; Milman, M.
1988-01-01
A powerful new spatial operator algebra for modeling, control, and trajectory design of manipulators is discussed along with its implementation in the Ada programming language. Applications of this algebra to robotics include an operator representation of the manipulator Jacobian matrix; the robot dynamical equations formulated in terms of the spatial algebra, showing the complete equivalence between the recursive Newton-Euler formulations to robot dynamics; the operator factorization and inversion of the manipulator mass matrix which immediately results in O(N) recursive forward dynamics algorithms; the joint accelerations of a manipulator due to a tip contact force; the recursive computation of the equivalent mass matrix as seen at the tip of a manipulator; and recursive forward dynamics of a closed chain system. Finally, additional applications and current research involving the use of the spatial operator algebra are discussed in general terms.
On Dunkl angular momenta algebra
NASA Astrophysics Data System (ADS)
Feigin, Misha; Hakobyan, Tigran
2015-11-01
We consider the quantum angular momentum generators, deformed by means of the Dunkl operators. Together with the reflection operators they generate a subalgebra in the rational Cherednik algebra associated with a finite real reflection group. We find all the defining relations of the algebra, which appear to be quadratic, and we show that the algebra is of Poincaré-Birkhoff-Witt (PBW) type. We show that this algebra contains the angular part of the Calogero-Moser Hamiltonian and that together with constants it generates the centre of the algebra. We also consider the gl( N ) version of the subalge-bra of the rational Cherednik algebra and show that it is a non-homogeneous quadratic algebra of PBW type as well. In this case the central generator can be identified with the usual Calogero-Moser Hamiltonian associated with the Coxeter group in the harmonic confinement.
Algebraic connectivity and graph robustness.
Feddema, John Todd; Byrne, Raymond Harry; Abdallah, Chaouki T.
2009-07-01
Recent papers have used Fiedler's definition of algebraic connectivity to show that network robustness, as measured by node-connectivity and edge-connectivity, can be increased by increasing the algebraic connectivity of the network. By the definition of algebraic connectivity, the second smallest eigenvalue of the graph Laplacian is a lower bound on the node-connectivity. In this paper we show that for circular random lattice graphs and mesh graphs algebraic connectivity is a conservative lower bound, and that increases in algebraic connectivity actually correspond to a decrease in node-connectivity. This means that the networks are actually less robust with respect to node-connectivity as the algebraic connectivity increases. However, an increase in algebraic connectivity seems to correlate well with a decrease in the characteristic path length of these networks - which would result in quicker communication through the network. Applications of these results are then discussed for perimeter security.
Integrability of Hamiltonian systems with algebraic potentials
NASA Astrophysics Data System (ADS)
Maciejewski, Andrzej J.; Przybylska, Maria
2016-01-01
Problem of integrability for Hamiltonian systems with potentials that are algebraic thus multivalued functions of coordinates is discussed. Introducing potential as a new variable the original Hamiltonian system on 2n dimensional phase space is extended to 2 n + 1 dimensional system with rational right-hand sides. For extended system its non-canonical degenerated Poisson structure of constant rank 2n and rational Hamiltonian is identified. For algebraic homogeneous potentials of non-zero rational homogeneity degree necessary integrability conditions are formulated. These conditions are deduced from an analysis of the differential Galois group of variational equations around particular solutions of a straight line type. Obtained integrability obstructions are applied to the class of monomial homogeneous potentials. Some integrable potentials satisfying these conditions are found.
ODE/IM correspondence and modified affine Toda field equations
NASA Astrophysics Data System (ADS)
Ito, Katsushi; Locke, Christopher
2014-08-01
We study the two-dimensional affine Toda field equations for affine Lie algebra gˆ modified by a conformal transformation and the associated linear equations. In the conformal limit, the associated linear problem reduces to a (pseudo-)differential equation. For classical affine Lie algebra gˆ, we obtain a (pseudo-)differential equation corresponding to the Bethe equations for the Langlands dual of the Lie algebra g, which were found by Dorey et al. in study of the ODE/IM correspondence.
ERIC Educational Resources Information Center
Usman, Ahmed Ibrahim
2015-01-01
Knowledge and understanding of mathematical operations serves as a pre-reequisite for the successful translation of algebraic word problems. This study explored pre-service teachers' ability to recognize mathematical operations as well as use of those capabilities in constructing algebraic expressions, equations, and their solutions. The outcome…
ERIC Educational Resources Information Center
Merriweather, Michelle; Tharp, Marcia L.
1999-01-01
Focuses on changes in attitude toward mathematics and calculator use and changes in how general mathematics students naturalistically solve algebraic problems. Uses a survey to determine whether a student is rule-based. Concludes that the rule-based students used an equation to solve the algebraic word problem whereas the non-rule-based students…
Capitalizing on Basic Brain Processes in Developmental Algebra--Part 3
ERIC Educational Resources Information Center
Laughbaum, Edward D.
2011-01-01
In Part Three, the author reviews the basic ideas presented in Parts One and Two while arguing why the traditional equation-solving developmental algebra curricula is not a good choice for implementing neural response strategies presented in the first two parts. He continues by showing that the developmental algebra student audience is simply…
Switched electrical networks and bilinear equations
NASA Technical Reports Server (NTRS)
Wood, J. R.
1974-01-01
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.
Marquette, Ian
2013-07-15
We introduce the most general quartic Poisson algebra generated by a second and a fourth order integral of motion of a 2D superintegrable classical system. We obtain the corresponding quartic (associative) algebra for the quantum analog, extend Daskaloyannis construction obtained in context of quadratic algebras, and also obtain the realizations as deformed oscillator algebras for this quartic algebra. We obtain the Casimir operator and discuss how these realizations allow to obtain the finite-dimensional unitary irreducible representations of quartic algebras and obtain algebraically the degenerate energy spectrum of superintegrable systems. We apply the construction and the formula obtained for the structure function on a superintegrable system related to type I Laguerre exceptional orthogonal polynomials introduced recently.
NASA Astrophysics Data System (ADS)
Dankova, T. S.; Rosensteel, G.
1998-10-01
Mean field theory has an unexpected group theoretic mathematical foundation. Instead of representation theory which applies to most group theoretic quantum models, Hartree-Fock and Hartree-Fock-Bogoliubov have been formulated in terms of coadjoint orbits for the groups U(n) and O(2n). The general theory of mean fields is formulated for an arbitrary Lie algebra L of fermion operators. The moment map provides the correspondence between the Hilbert space of microscopic wave functions and the dual space L^* of densities. The coadjoint orbits of the group in the dual space are phase spaces on which time-dependent mean field theory is equivalent to a classical Hamiltonian dynamical system. Indeed it forms a finite-dimensional Lax system. The mean field theories for the Elliott SU(3) and symplectic Sp(3,R) algebras are constructed explicitly in the coadjoint orbit framework.
NASA Astrophysics Data System (ADS)
Liu, Qing; Wang, Zi-Hua
2010-12-01
According to two dependent rational solutions to a generalized Riccati equation together with the equation itself, a rational-exponent solution to a nonlinear partial differential equation can be constructed. By selecting different parameter values in the rational-exponent solution, many families of combinatorial solutions combined with a rational function such as hyperbolic functions or trigonometric functions, are rapidly derived. This method is applied to the Whitham-Broer-Kaup equation and a series of combinatorial solutions are obtained, showing that this method is a more concise and efficient approach and can uniformly construct many types of combined solutions to nonlinear partial differential equations.
ERIC Educational Resources Information Center
Beigie, Darin
2014-01-01
Most people who are attracted to STEM-related fields are drawn not by a desire to take mathematics tests but to create things. The opportunity to create an algebra drawing gives students a sense of ownership and adventure that taps into the same sort of energy that leads a young person to get lost in reading a good book, building with Legos®,…
2013-05-06
AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumps and an anisotropy in one part.
Vertex Algebras, Kac-Moody Algebras, and the Monster
NASA Astrophysics Data System (ADS)
Borcherds, Richard E.
1986-05-01
It is known that the adjoint representation of any Kac-Moody algebra A can be identified with a subquotient of a certain Fock space representation constructed from the root lattice of A. I define a product on the whole of the Fock space that restricts to the Lie algebra product on this subquotient. This product (together with a infinite number of other products) is constructed using a generalization of vertex operators. I also construct an integral form for the universal enveloping algebra of any Kac-Moody algebra that can be used to define Kac-Moody groups over finite fields, some new irreducible integrable representations, and a sort of affinization of any Kac-Moody algebra. The ``Moonshine'' representation of the Monster constructed by Frenkel and others also has products like the ones constructed for Kac-Moody algebras, one of which extends the Griess product on the 196884-dimensional piece to the whole representation.
NASA Astrophysics Data System (ADS)
Palmkvist, Jakob
2014-01-01
We introduce an infinite-dimensional Lie superalgebra which is an extension of the U-duality Lie algebra of maximal supergravity in D dimensions, for 3 ⩽ D ⩽ 7. The level decomposition with respect to the U-duality Lie algebra gives exactly the tensor hierarchy of representations that arises in gauge deformations of the theory described by an embedding tensor, for all positive levels p. We prove that these representations are always contained in those coming from the associated Borcherds-Kac-Moody superalgebra, and we explain why some of the latter representations are not included in the tensor hierarchy. The most remarkable feature of our Lie superalgebra is that it does not admit a triangular decomposition like a (Borcherds-)Kac-Moody (super)algebra. Instead the Hodge duality relations between level p and D - 2 - p extend to negative p, relating the representations at the first two negative levels to the supersymmetry and closure constraints of the embedding tensor.
NASA Technical Reports Server (NTRS)
Cleaveland, Rance; Luettgen, Gerald; Natarajan, V.
1999-01-01
This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classified according to whether the induced notion of preemption on transitions is global or local and whether priorities are static or dynamic. Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing environments. More recent research has investigated localized notions of pre-emption in which the distribution of systems is taken into account, as well as dynamic priority approaches, i.e., those where priority values may change as systems evolve. The latter allows one to model behavioral phenomena such as scheduling algorithms and also enables the efficient encoding of real-time semantics. Technically, this paper studies the different models of priorities by presenting extensions of Milner's Calculus of Communicating Systems (CCS) with static and dynamic priority as well as with notions of global and local pre- emption. In each case the operational semantics of CCS is modified appropriately, behavioral theories based on strong and weak bisimulation are given, and related approaches for different process-algebraic settings are discussed.
Palmkvist, Jakob
2014-01-15
We introduce an infinite-dimensional Lie superalgebra which is an extension of the U-duality Lie algebra of maximal supergravity in D dimensions, for 3 ⩽ D ⩽ 7. The level decomposition with respect to the U-duality Lie algebra gives exactly the tensor hierarchy of representations that arises in gauge deformations of the theory described by an embedding tensor, for all positive levels p. We prove that these representations are always contained in those coming from the associated Borcherds-Kac-Moody superalgebra, and we explain why some of the latter representations are not included in the tensor hierarchy. The most remarkable feature of our Lie superalgebra is that it does not admit a triangular decomposition like a (Borcherds-)Kac-Moody (super)algebra. Instead the Hodge duality relations between level p and D − 2 − p extend to negative p, relating the representations at the first two negative levels to the supersymmetry and closure constraints of the embedding tensor.
Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras
NASA Astrophysics Data System (ADS)
Paseka, Jan; Riečanová, Zdenka
2010-12-01
We prove that a de Morgan lattice is compactly generated if and only if its order topology is compatible with a uniformity on L generated by some separating function family on L. Moreover, if L is complete then L is (o)-topological. Further, if a basic algebra L (hence lattice with sectional antitone involutions) is compactly generated then L is atomic. Thus all non-atomic Boolean algebras as well as non-atomic lattice effect algebras (including non-atomic MV-algebras and orthomodular lattices) are not compactly generated.
Locally finite dimensional Lie algebras
NASA Astrophysics Data System (ADS)
Hennig, Johanna
We prove that in a locally finite dimensional Lie algebra L, any maximal, locally solvable subalgebra is the stabilizer of a maximal, generalized flag in an integrable, faithful module over L. Then we prove two structure theorems for simple, locally finite dimensional Lie algebras over an algebraically closed field of characteristic p which give sufficient conditions for the algebras to be of the form [K(R, *), K( R, *)] / (Z(R) ∩ [ K(R, *), K(R, *)]) for a simple, locally finite dimensional associative algebra R with involution *. Lastly, we explore the noncommutative geometry of locally simple representations of the diagonal locally finite Lie algebras sl(ninfinity), o( ninfinity), and sp(n infinity).
Verburgt, Lukas M
2016-01-01
This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s. PMID:26806075
On the cohomology of Leibniz conformal algebras
NASA Astrophysics Data System (ADS)
Zhang, Jiao
2015-04-01
We construct a new cohomology complex of Leibniz conformal algebras with coefficients in a representation instead of a module. The low-dimensional cohomology groups of this complex are computed. Meanwhile, we construct a Leibniz algebra from a Leibniz conformal algebra and prove that the category of Leibniz conformal algebras is equivalent to the category of equivalence classes of formal distribution Leibniz algebras.
Assessing Algebraic Solving Ability: A Theoretical Framework
ERIC Educational Resources Information Center
Lian, Lim Hooi; Yew, Wun Thiam
2012-01-01
Algebraic solving ability had been discussed by many educators and researchers. There exists no definite definition for algebraic solving ability as it can be viewed from different perspectives. In this paper, the nature of algebraic solving ability in terms of algebraic processes that demonstrate the ability in solving algebraic problem is…
Computer Algebra Systems and Theorems on Real Roots of Polynomials
ERIC Educational Resources Information Center
Aidoo, Anthony Y.; Manthey, Joseph L.; Ward, Kim Y.
2010-01-01
A computer algebra system is used to derive a theorem on the existence of roots of a quadratic equation on any bounded real interval. This is extended to a cubic polynomial. We discuss how students could be led to derive and prove these theorems. (Contains 1 figure.)
Writing to Promote and Assess Conceptual Understanding in College Algebra
ERIC Educational Resources Information Center
Gay, A. Susan; Peterson, Ingrid
2014-01-01
Concept-focused quiz questions required College Algebra students to write about their understanding. The questions can be viewed in three broad categories: a focus on sense-making, a focus on describing a mathematical object such as a graph or an equation, and a focus on understanding vocabulary. Student responses from 10 classes were analyzed.…
Fixing Ganache: Another Real-Life Use for Algebra
ERIC Educational Resources Information Center
Kalman, Adam M.
2011-01-01
This article presents a real-world application of proportional reasoning and equation solving. The author describes how students adjust ingredient amounts in a recipe for chocolate ganache. Using this real-world scenario provided students an opportunity to solve a difficult and nonstandard algebra problem, a lot of practice with fractions, a…
First Course in Algebra, Student's Text, Part II, Unit 10.
ERIC Educational Resources Information Center
Allen, Frank B.; And Others
Unit 10 in the SMSG's secondary school mathematics series is a student text covering the following topics in Algebra I: factors and exponents, radicals, polynomial and rational expressions, truth sets of open sentences, graphs of open sentences in two variables, systems of equations and inequalities, quadratic polynomials, and functions. (DT)
Geometric and Algebraic Approaches in the Concept of Complex Numbers
ERIC Educational Resources Information Center
Panaoura, A.; Elia, I.; Gagatsis, A.; Giatilis, G.-P.
2006-01-01
This study explores pupils' performance and processes in tasks involving equations and inequalities of complex numbers requiring conversions from a geometric representation to an algebraic representation and conversions in the reverse direction, and also in complex numbers problem solving. Data were collected from 95 pupils of the final grade from…
Learning Activity Package, Algebra 124, LAPs 46-55.
ERIC Educational Resources Information Center
Holland, Bill
A series of 10 teacher-prepared Learning Activity Packages (LAPs) in advanced algebra and trigonometry, these units cover absolute value, inequalities, exponents, radicals, and complex numbers; functions; higher degree equations and the derivative; the trigonometric functions; graphs and applications of the trigonometric functions; sequences and…
Infinite-dimensional Lie algebras, classical r-matrices, and Lax operators: Two approaches
NASA Astrophysics Data System (ADS)
Skrypnyk, T.
2013-10-01
For each finite-dimensional simple Lie algebra {g}, starting from a general {g}⊗ {g}-valued solutions r(u, v) of the generalized classical Yang-Baxter equation, we construct infinite-dimensional Lie algebras widetilde{{g}}-_r of {g}-valued meromorphic functions. We outline two ways of embedding of the Lie algebra widetilde{{g}}-_r into a larger Lie algebra with Kostant-Adler-Symmes decomposition. The first of them is an embedding of widetilde{{g}}-_r into Lie algebra widetilde{{g}}(u^{-1},u)) of formal Laurent power series. The second is an embedding of widetilde{{g}}-_r as a quasigraded Lie subalgebra into a quasigraded Lie algebra widetilde{{g}}_r: widetilde{{g}}_r=widetilde{{g}}-_r+widetilde{{g}}+_r, such that the Kostant-Adler-Symmes decomposition is consistent with a chosen quasigrading. We construct dual spaces widetilde{{g}}^*_r, (widetilde{{g}}^{± }_r)^* and explicit form of the Lax operators L(u), L±(u) as elements of these spaces. We develop a theory of integrable finite-dimensional hamiltonian systems and soliton hierarchies based on Lie algebras widetilde{{g}}_r, widetilde{{g}}^{± }_r. We consider examples of such systems and soliton equations and obtain the most general form of integrable tops, Kirchhoff-type integrable systems, and integrable Landau-Lifshitz-type equations corresponding to the Lie algebra {g}.
Semi-direct sums of Lie algebras and continuous integrable couplings
NASA Astrophysics Data System (ADS)
Ma, Wen-Xiu; Xu, Xi-Xiang; Zhang, Yufeng
2006-02-01
A relation between semi-direct sums of Lie algebras and integrable couplings of continuous soliton equations is presented, and correspondingly, a feasible way to construct integrable couplings is furnished. A direct application to the AKNS spectral problem leads to a novel hierarchy of integrable couplings of the AKNS hierarchy of soliton equations. It is also indicated that the study of integrable couplings using semi-direct sums of Lie algebras is an important step towards complete classification of integrable systems.
Higher level twisted Zhu algebras
Ekeren, Jethro van
2011-05-15
The study of twisted representations of graded vertex algebras is important for understanding orbifold models in conformal field theory. In this paper, we consider the general setup of a vertex algebra V, graded by {Gamma}/Z for some subgroup {Gamma} of R containing Z, and with a Hamiltonian operator H having real (but not necessarily integer) eigenvalues. We construct the directed system of twisted level p Zhu algebras Zhu{sub p,{Gamma}}(V), and we prove the following theorems: For each p, there is a bijection between the irreducible Zhu{sub p,{Gamma}}(V)-modules and the irreducible {Gamma}-twisted positive energy V-modules, and V is ({Gamma}, H)-rational if and only if all its Zhu algebras Zhu{sub p,{Gamma}}(V) are finite dimensional and semisimple. The main novelty is the removal of the assumption of integer eigenvalues for H. We provide an explicit description of the level p Zhu algebras of a universal enveloping vertex algebra, in particular of the Virasoro vertex algebra Vir{sup c} and the universal affine Kac-Moody vertex algebra V{sup k}(g) at non-critical level. We also compute the inverse limits of these directed systems of algebras.
Algebraic dichotomies with an application to the stability of Riemann solutions of conservation laws
NASA Astrophysics Data System (ADS)
Lin, Xiao-Biao
Recently, there has been some interest on the stability of waves where the functions involved grow or decay at an algebraic rate |. In this paper we define the so-called algebraic dichotomy that may aid in treating such problems. We discuss the basic properties of the algebraic dichotomy, methods of detecting it, and calculating the power of the weight function. We present several examples: (1) The Bessel equation. (2) The n-degree Fisher type equation. (3) Hyperbolic conservation laws in similarity coordinates. (4) A system of conservation laws with a Dafermos type viscous regularization. We show that the linearized system generates an analytic semigroup in the space of algebraic decay functions. This example motivates our work on algebraic dichotomies.
Dual spaces of differential Lie algebras
Kupershmidt, B.A.
1982-01-01
We present a mathematical scheme which serves as an infinite-dimensional generalization of Poisson structures on dual spaces of finite-dimensional Lie algebras, which are well known and widely used in classical mechanics. These structures have recently appeared in the theory of Lax equations, long waves in hydrodynamics, and various other physical models: compressible hydrodynamics, magnetohydrodynamics, multifluid plasmas, elasticity, superfluid /sup 4/He and /sup 3/He-A, Ginzburg-Landau theory of superconductors, and classical chromohydrodynamics (the generalization of plasma physics to Yang-Mills interactions).
Multifractal vector fields and stochastic Clifford algebra
NASA Astrophysics Data System (ADS)
Schertzer, Daniel; Tchiguirinskaia, Ioulia
2015-12-01
In the mid 1980s, the development of multifractal concepts and techniques was an important breakthrough for complex system analysis and simulation, in particular, in turbulence and hydrology. Multifractals indeed aimed to track and simulate the scaling singularities of the underlying equations instead of relying on numerical, scale truncated simulations or on simplified conceptual models. However, this development has been rather limited to deal with scalar fields, whereas most of the fields of interest are vector-valued or even manifold-valued. We show in this paper that the combination of stable Lévy processes with Clifford algebra is a good candidate to bridge up the present gap between theory and applications. We show that it indeed defines a convenient framework to generate multifractal vector fields, possibly multifractal manifold-valued fields, based on a few fundamental and complementary properties of Lévy processes and Clifford algebra. In particular, the vector structure of these algebra is much more tractable than the manifold structure of symmetry groups while the Lévy stability grants a given statistical universality.
Multifractal vector fields and stochastic Clifford algebra
Schertzer, Daniel Tchiguirinskaia, Ioulia
2015-12-15
In the mid 1980s, the development of multifractal concepts and techniques was an important breakthrough for complex system analysis and simulation, in particular, in turbulence and hydrology. Multifractals indeed aimed to track and simulate the scaling singularities of the underlying equations instead of relying on numerical, scale truncated simulations or on simplified conceptual models. However, this development has been rather limited to deal with scalar fields, whereas most of the fields of interest are vector-valued or even manifold-valued. We show in this paper that the combination of stable Lévy processes with Clifford algebra is a good candidate to bridge up the present gap between theory and applications. We show that it indeed defines a convenient framework to generate multifractal vector fields, possibly multifractal manifold-valued fields, based on a few fundamental and complementary properties of Lévy processes and Clifford algebra. In particular, the vector structure of these algebra is much more tractable than the manifold structure of symmetry groups while the Lévy stability grants a given statistical universality.
Multifractal vector fields and stochastic Clifford algebra.
Schertzer, Daniel; Tchiguirinskaia, Ioulia
2015-12-01
In the mid 1980s, the development of multifractal concepts and techniques was an important breakthrough for complex system analysis and simulation, in particular, in turbulence and hydrology. Multifractals indeed aimed to track and simulate the scaling singularities of the underlying equations instead of relying on numerical, scale truncated simulations or on simplified conceptual models. However, this development has been rather limited to deal with scalar fields, whereas most of the fields of interest are vector-valued or even manifold-valued. We show in this paper that the combination of stable Lévy processes with Clifford algebra is a good candidate to bridge up the present gap between theory and applications. We show that it indeed defines a convenient framework to generate multifractal vector fields, possibly multifractal manifold-valued fields, based on a few fundamental and complementary properties of Lévy processes and Clifford algebra. In particular, the vector structure of these algebra is much more tractable than the manifold structure of symmetry groups while the Lévy stability grants a given statistical universality. PMID:26723166
Learning Activity Package, Algebra 93-94, LAPs 12-22.
ERIC Educational Resources Information Center
Evans, Diane
A set of 11 teacher-prepared Learning Activity Packages (LAPs) in beginning algebra, these units cover sets, properties of operations, operations over real numbers, open expressions, solution sets of equations and inequalities, equations and inequalities with two variables, solution sets of equations with two variables, exponents, factoring and…
Dirac Field, Gravity, Inertial Effects, and Computer Algebra
NASA Astrophysics Data System (ADS)
Vulcanov, Dumitru N.; Cotăescu, Ion I.
The article presents some new results obtained for the non-relativistic approximation of the Dirac equation in a non-inertial reference frame — rotated and accelerated — and in Schwarzschild gravitational field. These results are obtained with new routines of algebraic programming in REDUCE + EXCALC language for the Dirac equation in a non-inertial reference frame and after three successive Foldy-Wouthuysen transformations.
Some remarks on unilateral matrix equations
Cerchiai, Bianca L.; Zumino, Bruno
2001-02-01
We briefly review the results of our paper LBNL-46775: We study certain solutions of left-unilateral matrix equations. These are algebraic equations where the coefficients and the unknown are square matrices of the same order, or, more abstractly, elements of an associative, but possibly noncommutative algebra, and all coefficients are on the left. Recently such equations have appeared in a discussion of generalized Born-Infeld theories. In particular, two equations, their perturbative solutions and the relation between them are studied, applying a unified approach based on the generalized Bezout theorem for matrix polynomials.
Handheld Computer Algebra Systems in the Pre-Algebra Classroom
ERIC Educational Resources Information Center
Gantz, Linda Ann Galofaro
2010-01-01
This mixed method analysis sought to investigate several aspects of student learning in pre-algebra through the use of computer algebra systems (CAS) as opposed to non-CAS learning. This research was broken into two main parts, one which compared results from both the experimental group (instruction using CAS, N = 18) and the control group…
Abstract Algebra to Secondary School Algebra: Building Bridges
ERIC Educational Resources Information Center
Christy, Donna; Sparks, Rebecca
2015-01-01
The authors have experience with secondary mathematics teacher candidates struggling to make connections between the theoretical abstract algebra course they take as college students and the algebra they will be teaching in secondary schools. As a mathematician and a mathematics educator, the authors collaborated to create and implement a…
Algebra and Algebraic Thinking in School Math: 70th YB
ERIC Educational Resources Information Center
National Council of Teachers of Mathematics, 2008
2008-01-01
Algebra is no longer just for college-bound students. After a widespread push by the National Council of Teachers of Mathematics (NCTM) and teachers across the country, algebra is now a required part of most curricula. However, students' standardized test scores are not at the level they should be. NCTM's seventieth yearbook takes a look at the…
A Quasi-Lie Schemes Approach to Second-Order Gambier Equations
NASA Astrophysics Data System (ADS)
Cariñena, José F.; Guha, Partha; de Lucas, Javier
2013-03-01
A quasi-Lie scheme is a geometric structure that provides t-dependent changes of variables transforming members of an associated family of systems of first-order differential equations into members of the same family. In this note we introduce two quasi-Lie schemes for studying second-order Gambier equations in a geometric way. This allows us to study the transformation of these equations into simpler canonical forms, which solves a gap in the previous literature, and other relevant differential equations, which leads to derive new constants of motion for families of second-order Gambier equations. Additionally, we describe general solutions of certain second-order Gambier equations in terms of particular solutions of Riccati equations, linear systems, and t-dependent frequency harmonic oscillators.
Geometric and algebraic multigrid techniques for fluid dynamics problems on unstructured grids
NASA Astrophysics Data System (ADS)
Volkov, K. N.; Emel'yanov, V. N.; Teterina, I. V.
2016-02-01
Issues concerning the implementation and practical application of geometric and algebraic multigrid techniques for solving systems of difference equations generated by the finite volume discretization of the Euler and Navier-Stokes equations on unstructured grids are studied. The construction of prolongation and interpolation operators, as well as grid levels of various resolutions, is discussed. The results of the application of geometric and algebraic multigrid techniques for the simulation of inviscid and viscous compressible fluid flows over an airfoil are compared. Numerical results show that geometric methods ensure faster convergence and weakly depend on the method parameters, while the efficiency of algebraic methods considerably depends on the input parameters.
Structured adaptive grid generation using algebraic methods
NASA Technical Reports Server (NTRS)
Yang, Jiann-Cherng; Soni, Bharat K.; Roger, R. P.; Chan, Stephen C.
1993-01-01
The accuracy of the numerical algorithm depends not only on the formal order of approximation but also on the distribution of grid points in the computational domain. Grid adaptation is a procedure which allows optimal grid redistribution as the solution progresses. It offers the prospect of accurate flow field simulations without the use of an excessively timely, computationally expensive, grid. Grid adaptive schemes are divided into two basic categories: differential and algebraic. The differential method is based on a variational approach where a function which contains a measure of grid smoothness, orthogonality and volume variation is minimized by using a variational principle. This approach provided a solid mathematical basis for the adaptive method, but the Euler-Lagrange equations must be solved in addition to the original governing equations. On the other hand, the algebraic method requires much less computational effort, but the grid may not be smooth. The algebraic techniques are based on devising an algorithm where the grid movement is governed by estimates of the local error in the numerical solution. This is achieved by requiring the points in the large error regions to attract other points and points in the low error region to repel other points. The development of a fast, efficient, and robust algebraic adaptive algorithm for structured flow simulation applications is presented. This development is accomplished in a three step process. The first step is to define an adaptive weighting mesh (distribution mesh) on the basis of the equidistribution law applied to the flow field solution. The second, and probably the most crucial step, is to redistribute grid points in the computational domain according to the aforementioned weighting mesh. The third and the last step is to reevaluate the flow property by an appropriate search/interpolate scheme at the new grid locations. The adaptive weighting mesh provides the information on the desired concentration
Statecharts Via Process Algebra
NASA Technical Reports Server (NTRS)
Luttgen, Gerald; vonderBeeck, Michael; Cleaveland, Rance
1999-01-01
Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics
2013-05-06
AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumpsmore » and an anisotropy in one part.« less
ERIC Educational Resources Information Center
Alibali, Martha W.; Kao, Yvonne S.; Brown, Alayna N.; Nathan, Mitchell J.; Stephens, Ana C.
2009-01-01
This study investigated middle school students' conceptual understanding of algebraic equations. Participants in the study--257 sixth- and seventh-grade students--were asked to solve one set of algebraic equations and to generate story problems corresponding with another set of equations. Structural aspects of the equations, including the number…
Integrability of the Wong Equations in the Class of Linear Integrals of Motion
NASA Astrophysics Data System (ADS)
Magazev, A. A.
2016-04-01
The Wong equations, which describe the motion of a classical charged particle with isospin in an external gauge field, are considered. The structure of the Lie algebra of the linear integrals of motion of these equations is investigated. An algebraic condition for integrability of the Wong equations is formulated. Some examples are considered.
A perturbative solution to metadynamics ordinary differential equation
NASA Astrophysics Data System (ADS)
Tiwary, Pratyush; Dama, James F.; Parrinello, Michele
2015-12-01
Metadynamics is a popular enhanced sampling scheme wherein by periodic application of a repulsive bias, one can surmount high free energy barriers and explore complex landscapes. Recently, metadynamics was shown to be mathematically well founded, in the sense that the biasing procedure is guaranteed to converge to the true free energy surface in the long time limit irrespective of the precise choice of biasing parameters. A differential equation governing the post-transient convergence behavior of metadynamics was also derived. In this short communication, we revisit this differential equation, expressing it in a convenient and elegant Riccati-like form. A perturbative solution scheme is then developed for solving this differential equation, which is valid for any generic biasing kernel. The solution clearly demonstrates the robustness of metadynamics to choice of biasing parameters and gives further confidence in the widely used method.
A perturbative solution to metadynamics ordinary differential equation.
Tiwary, Pratyush; Dama, James F; Parrinello, Michele
2015-12-21
Metadynamics is a popular enhanced sampling scheme wherein by periodic application of a repulsive bias, one can surmount high free energy barriers and explore complex landscapes. Recently, metadynamics was shown to be mathematically well founded, in the sense that the biasing procedure is guaranteed to converge to the true free energy surface in the long time limit irrespective of the precise choice of biasing parameters. A differential equation governing the post-transient convergence behavior of metadynamics was also derived. In this short communication, we revisit this differential equation, expressing it in a convenient and elegant Riccati-like form. A perturbative solution scheme is then developed for solving this differential equation, which is valid for any generic biasing kernel. The solution clearly demonstrates the robustness of metadynamics to choice of biasing parameters and gives further confidence in the widely used method. PMID:26696051
The Algebra of Complex Numbers.
ERIC Educational Resources Information Center
LePage, Wilbur R.
This programed text is an introduction to the algebra of complex numbers for engineering students, particularly because of its relevance to important problems of applications in electrical engineering. It is designed for a person who is well experienced with the algebra of real numbers and calculus, but who has no experience with complex number…
Algebraic Squares: Complete and Incomplete.
ERIC Educational Resources Information Center
Gardella, Francis J.
2000-01-01
Illustrates ways of using algebra tiles to give students a visual model of competing squares that appear in algebra as well as in higher mathematics. Such visual representations give substance to the symbolic manipulation and give students who do not learn symbolically a way of understanding the underlying concepts of completing the square. (KHR)
Online Algebraic Tools for Teaching
ERIC Educational Resources Information Center
Kurz, Terri L.
2011-01-01
Many free online tools exist to complement algebraic instruction at the middle school level. This article presents findings that analyzed the features of algebraic tools to support learning. The findings can help teachers select appropriate tools to facilitate specific topics. (Contains 1 table and 4 figures.)
Condensing Algebra for Technical Mathematics.
ERIC Educational Resources Information Center
Greenfield, Donald R.
Twenty Algebra-Packets (A-PAKS) were developed by the investigator for technical education students at the community college level. Each packet contained a statement of rationale, learning objectives, performance activities, performance test, and performance test answer key. The A-PAKS condensed the usual sixteen weeks of algebra into a six-week…
Algebraic Thinking in Adult Education
ERIC Educational Resources Information Center
Manly, Myrna; Ginsburg, Lynda
2010-01-01
In adult education, algebraic thinking can be a sense-making tool that introduces coherence among mathematical concepts for those who previously have had trouble learning math. Further, a modeling approach to algebra connects mathematics and the real world, demonstrating the usefulness of math to those who have seen it as just an academic…
Linear Algebra and Image Processing
ERIC Educational Resources Information Center
Allali, Mohamed
2010-01-01
We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty. (Contains 2 tables and 11 figures.)
ERIC Educational Resources Information Center
Instructional Objectives Exchange, Los Angeles, CA.
A complete set of behavioral objectives for first-year algebra taught in any of grades 8 through 12 is presented. Three to six sample test items and answers are provided for each objective. Objectives were determined by surveying the most used secondary school algebra textbooks. Fourteen major categories are included: (1) whole numbers--operations…
Exploring Algebraic Patterns through Literature.
ERIC Educational Resources Information Center
Austin, Richard A.; Thompson, Denisse R.
1997-01-01
Presents methods for using literature to develop algebraic thinking in an environment that connects algebra to various situations. Activities are based on the book "Anno's Magic Seeds" with additional resources listed. Students express a constant function, exponential function, and a recursive function in their own words as well as writing about…
Learning Algebra from Worked Examples
ERIC Educational Resources Information Center
Lange, Karin E.; Booth, Julie L.; Newton, Kristie J.
2014-01-01
For students to be successful in algebra, they must have a truly conceptual understanding of key algebraic features as well as the procedural skills to complete a problem. One strategy to correct students' misconceptions combines the use of worked example problems in the classroom with student self-explanation. "Self-explanation" is…
Thermodynamics. [algebraic structure
NASA Technical Reports Server (NTRS)
Zeleznik, F. J.
1976-01-01
The fundamental structure of thermodynamics is purely algebraic, in the sense of atopological, and it is also independent of partitions, composite systems, the zeroth law, and entropy. The algebraic structure requires the notion of heat, but not the first law. It contains a precise definition of entropy and identifies it as a purely mathematical concept. It also permits the construction of an entropy function from heat measurements alone when appropriate conditions are satisfied. Topology is required only for a discussion of the continuity of thermodynamic properties, and then the weak topology is the relevant topology. The integrability of the differential form of the first law can be examined independently of Caratheodory's theorem and his inaccessibility axiom. Criteria are established by which one can determine when an integrating factor can be made intensive and the pseudopotential extensive and also an entropy. Finally, a realization of the first law is constructed which is suitable for all systems whether they are solids or fluids, whether they do or do not exhibit chemical reactions, and whether electromagnetic fields are or are not present.
Clifford algebras and Hestenes spinors
NASA Astrophysics Data System (ADS)
Lounesto, Pertti
1993-09-01
This article reviews Hestenes' work on the Dirac theory, where his main achievement is a real formulation of the theory within the real Clifford algebra Cl 1,3 ≃ M2 (H). Hestenes invented first in 1966 his ideal spinorsφ in Cl_{1,3 _2}^1 (1 - γ _{03} ) and later 1967/75 he recognized the importance of his operator spinors ψ ∈ Cl{/1,3 + } ≃ M2 (C). This article starts from the conventional Dirac equation as presented with matrices by Bjorken-Drell. Explicit mappings are given for a passage between Hestenes' operator spinors and Dirac's column spinors. Hestenes' operator spinors are seen to be multiples of even parts of real parts of Dirac spinors (real part in the decomposition C ⊗ Cl 1,3 and not in C ⊗ M4 (R)=M4 (C)). It will become apparent that the standard matrix formulation contains superfluous parts, which ought to be cut out by Occam's razor. Fierz identities of bilinear covariants are known to be sufficient to study the non-null case but are seen to be insufficient for the null case ψ†γ0ψ=0, ψ†γ0γ0123ψ=0. The null case is thoroughly scrutinized for the first time with a new concept called boomerang. This permits a new intrinsically geometric classification of spinors. This in turn reveals a new class of spinors which has not been discussed before. This class supplements the spinors of Dirac, Weyl, and Majorana; it describes neither the electron nor the neutron; it is awaiting a physical interpretation and a possible observation. Projection operators P±, Σ± are resettled among their new relatives in End(Cl 1,3 ). Finally, a new mapping, called tilt, is introduced to enable a transition from Cl 1,3 to the (graded) opposite algebra Cl 3,1 without resorting to complex numbers, that is, not using a replacement γμ → iγμ.
Double Precision Differential/Algebraic Sensitivity Analysis Code
1995-06-02
DDASAC solves nonlinear initial-value problems involving stiff implicit systems of ordinary differential and algebraic equations. Purely algebraic nonlinear systems can also be solved, given an initial guess within the region of attraction of a solution. Options include automatic reconciliation of inconsistent initial states and derivatives, automatic initial step selection, direct concurrent parametric sensitivity analysis, and stopping at a prescribed value of any user-defined functional of the current solution vector. Local error control (in the max-normmore » or the 2-norm) is provided for the state vector and can include the sensitivities on request.« less
Invariants of triangular Lie algebras
NASA Astrophysics Data System (ADS)
Boyko, Vyacheslav; Patera, Jiri; Popovych, Roman
2007-07-01
Triangular Lie algebras are the Lie algebras which can be faithfully represented by triangular matrices of any finite size over the real/complex number field. In the paper invariants ('generalized Casimir operators') are found for three classes of Lie algebras, namely those which are either strictly or non-strictly triangular, and for so-called special upper triangular Lie algebras. Algebraic algorithm of Boyko et al (2006 J. Phys. A: Math. Gen.39 5749 (Preprint math-ph/0602046)), developed further in Boyko et al (2007 J. Phys. A: Math. Theor.40 113 (Preprint math-ph/0606045)), is used to determine the invariants. A conjecture of Tremblay and Winternitz (2001 J. Phys. A: Math. Gen.34 9085), concerning the number of independent invariants and their form, is corroborated.
Recursion operators, conservation laws, and integrability conditions for difference equations
NASA Astrophysics Data System (ADS)
Mikhailov, A. V.; Wang, Jing Ping; Xenitidis, P.
2011-04-01
We attempt to propose an algebraic approach to the theory of integrable difference equations. We define the concept of a recursion operator for difference equations and show that it generates an infinite sequence of symmetries and canonical conservation laws for a difference equation. As in the case of partial differential equations, these canonical densities can serve as integrability conditions for difference equations. We obtain the recursion operators for the Viallet equation and all the Adler-Bobenko-Suris equations.
Regular perturbation theory of relativistic corrections: II. Algebraic approximation
NASA Astrophysics Data System (ADS)
Rutkowski, A.; Kozłowski, R.; Rutkowska, D.
2001-01-01
A four-component equivalent of the Schrödinger equation, describing both the nonrelativistic electron and the nonrelativistic positron, is introduced. The difference between this equation and the Dirac equation is treated as a perturbation. The relevant perturbation equations and formulas for corrections to the energy are derived. Owing to the semibounded character of the Schrödinger Hamiltonian of the unperturbed equation the variational perturbation method is formulated. The Hylleraas functionals become then either upper or lower bounds to the respective exact corrections to the energy. In order to demonstrate the usefulness of this approach to the problem of the variational optimization of nonlinear parameters, the perturbation corrections to wave functions for the of hydrogenlike atoms have been approximated in terms of exponential basis functions. The Dirac equation in this algebraic approximation is solved iteratively starting with the solution of the Schrödinger equation.
Partial Differential Algebraic Sensitivity Analysis Code
1995-05-15
PDASAC solves stiff, nonlinear initial-boundary-value in a timelike dimension t and a space dimension x. Plane, circular cylindrical or spherical boundaries can be handled. Mixed-order systems of partial differential and algebraic equations can be analyzed with members of order or 0 or 1 in t, 0,1 or 2 in x. Parametric sensitivities of the calculated states are compted simultaneously on request, via the Jacobian of the state equations. Initial and boundary conditions are efficiently reconciled.more » Local error control (in the max-norm or the 2-norm) is provided for the state vector and can include the parametric sensitivites if desired.« less
Numerical stability in problems of linear algebra.
NASA Technical Reports Server (NTRS)
Babuska, I.
1972-01-01
Mathematical problems are introduced as mappings from the space of input data to that of the desired output information. Then a numerical process is defined as a prescribed recurrence of elementary operations creating the mapping of the underlying mathematical problem. The ratio of the error committed by executing the operations of the numerical process (the roundoff errors) to the error introduced by perturbations of the input data (initial error) gives rise to the concept of lambda-stability. As examples, several processes are analyzed from this point of view, including, especially, old and new processes for solving systems of linear algebraic equations with tridiagonal matrices. In particular, it is shown how such a priori information can be utilized as, for instance, a knowledge of the row sums of the matrix. Information of this type is frequently available where the system arises in connection with the numerical solution of differential equations.
ERIC Educational Resources Information Center
Gonzalez-Vega, Laureano
1999-01-01
Using a Computer Algebra System (CAS) to help with the teaching of an elementary course in linear algebra can be one way to introduce computer algebra, numerical analysis, data structures, and algorithms. Highlights the advantages and disadvantages of this approach to the teaching of linear algebra. (Author/MM)
Ternary Z3 -graded generalization of Heisenberg's algebra
NASA Astrophysics Data System (ADS)
Kerner, Richard
2015-04-01
We investigate a ternary, Z3-graded generalization of the Heisenberg algebra. It turns out that introducing a non-trivial cubic root of unity, j = e 2πi/3, one can define two types of creation operators instead of one, accompanying the usual annihilation operator. The two creation operators are non-hermitian, but they are mutually conjugate. Together, the three operators form a ternary algebra, and some of their cubic combinations generate the usual Heisenberg algebra. A cubic analogue of Hamiltonian operator is constructed by analogy with the usual harmonic oscillator. A set of eigenstates in coordinate representation is constructed in terms of functions satisfying linear differential equation of third order.
Abstract numeric relations and the visual structure of algebra.
Landy, David; Brookes, David; Smout, Ryan
2014-09-01
Formal algebras are among the most powerful and general mechanisms for expressing quantitative relational statements; yet, even university engineering students, who are relatively proficient with algebraic manipulation, struggle with and often fail to correctly deploy basic aspects of algebraic notation (Clement, 1982). In the cognitive tradition, it has often been assumed that skilled users of these formalisms treat situations in terms of semantic properties encoded in an abstract syntax that governs the use of notation without particular regard to the details of the physical structure of the equation itself (Anderson, 2005; Hegarty, Mayer, & Monk, 1995). We explore how the notational structure of verbal descriptions or algebraic equations (e.g., the spatial proximity of certain words or the visual alignment of numbers and symbols in an equation) plays a role in the process of interpreting or constructing symbolic equations. We propose in particular that construction processes involve an alignment of notational structures across representation systems, biasing reasoners toward the selection of formal notations that maintain the visuospatial structure of source representations. For example, in the statement "There are 5 elephants for every 3 rhinoceroses," the spatial proximity of 5 and elephants and 3 and rhinoceroses will bias reasoners to write the incorrect expression 5E = 3R, because that expression maintains the spatial relationships encoded in the source representation. In 3 experiments, participants constructed equations with given structure, based on story problems with a variety of phrasings. We demonstrate how the notational alignment approach accounts naturally for a variety of previously reported phenomena in equation construction and successfully predicts error patterns that are not accounted for by prior explanations, such as the left to right transcription heuristic. PMID:24820674
Chen, J.; Safro, I.
2011-01-01
Measuring the connection strength between a pair of vertices in a graph is one of the most important concerns in many graph applications. Simple measures such as edge weights may not be sufficient for capturing the effects associated with short paths of lengths greater than one. In this paper, we consider an iterative process that smooths an associated value for nearby vertices, and we present a measure of the local connection strength (called the algebraic distance; see [D. Ron, I. Safro, and A. Brandt, Multiscale Model. Simul., 9 (2011), pp. 407-423]) based on this process. The proposed measure is attractive in that the process is simple, linear, and easily parallelized. An analysis of the convergence property of the process reveals that the local neighborhoods play an important role in determining the connectivity between vertices. We demonstrate the practical effectiveness of the proposed measure through several combinatorial optimization problems on graphs and hypergraphs.
Constraint algebra in bigravity
Soloviev, V. O.
2015-07-15
The number of degrees of freedom in bigravity theory is found for a potential of general form and also for the potential proposed by de Rham, Gabadadze, and Tolley (dRGT). This aim is pursued via constructing a Hamiltonian formalismand studying the Poisson algebra of constraints. A general potential leads to a theory featuring four first-class constraints generated by general covariance. The vanishing of the respective Hessian is a crucial property of the dRGT potential, and this leads to the appearance of two additional second-class constraints and, hence, to the exclusion of a superfluous degree of freedom—that is, the Boulware—Deser ghost. The use of a method that permits avoiding an explicit expression for the dRGT potential is a distinctive feature of the present study.
Quantum algebra of N superspace
Hatcher, Nicolas; Restuccia, A.; Stephany, J.
2007-08-15
We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the {kappa}-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra.
NASA Astrophysics Data System (ADS)
Kravchenko, Vladislav V.
2005-01-01
Given a particular solution of a one-dimensional stationary Schrödinger equation this equation of second order can be reduced to a first-order linear ordinary differential equation. This is done with the aid of an auxiliary Riccati differential equation. In the present work we show that the same fact is true in a multidimensional situation also. For simplicity we consider the case of two or three independent variables. One particular solution of the stationary Schrödinger equation allows us to reduce this second-order equation to a linear first-order quaternionic differential equation. As in the one-dimensional case this is done with the aid of an auxiliary quaternionic Riccati equation. The resulting first-order quaternionic equation is equivalent to the static Maxwell system and is closely related to the Dirac equation. In the case of two independent variables it is the well-known Vekua equation from theory of pseudoanalytic (or generalized analytic) functions. Nevertheless, we show that even in this case it is very useful to consider not only complex valued functions, solutions of the Vekua equation, but complete quaternionic functions. In this way the first-order quaternionic equation represents two separate Vekua equations, one of which gives us solutions of the Schrödinger equation and the other one can be considered as an auxiliary equation of a simpler structure. Moreover for the auxiliary equation we always have the corresponding Bers generating pair (F, G), the base of the Bers theory of pseudoanalytic functions, and what is very important, the Bers derivatives of solutions of the auxiliary equation give us solutions of the main Vekua equation and as a consequence of the Schrödinger equation. Based on this fact we obtain an analogue of the Cauchy integral theorem for solutions of the stationary Schrödinger equation. Other results from theory of pseudoanalytic functions can be written for solutions of the Schrödinger equation. Moreover, for an ample
Using Homemade Algebra Tiles To Develop Algebra and Prealgebra Concepts.
ERIC Educational Resources Information Center
Leitze, Annette Ricks; Kitt, Nancy A.
2000-01-01
Describes how to use homemade tiles, sketches, and the box method to reach a broader group of students for successful algebra learning. Provides a list of concepts appropriate for such an approach. (KHR)
Distance geometry and geometric algebra
NASA Astrophysics Data System (ADS)
Dress, Andreas W. M.; Havel, Timothy F.
1993-10-01
As part of his program to unify linear algebra and geometry using the language of Clifford algebra, David Hestenes has constructed a (well-known) isomorphism between the conformal group and the orthogonal group of a space two dimensions higher, thus obtaining homogeneous coordinates for conformal geometry.(1) In this paper we show that this construction is the Clifford algebra analogue of a hyperbolic model of Euclidean geometry that has actually been known since Bolyai, Lobachevsky, and Gauss, and we explore its wider invariant theoretic implications. In particular, we show that the Euclidean distance function has a very simple representation in this model, as demonstrated by J. J. Seidel.(18)
Loop Virasoro Lie conformal algebra
Wu, Henan Chen, Qiufan; Yue, Xiaoqing
2014-01-15
The Lie conformal algebra of loop Virasoro algebra, denoted by CW, is introduced in this paper. Explicitly, CW is a Lie conformal algebra with C[∂]-basis (L{sub i} | i∈Z) and λ-brackets [L{sub i} {sub λ} L{sub j}] = (−∂−2λ)L{sub i+j}. Then conformal derivations of CW are determined. Finally, rank one conformal modules and Z-graded free intermediate series modules over CW are classified.
Time-reversal and the Bessel equation
NASA Astrophysics Data System (ADS)
Alfinito, Eleonora; Vitiello, Giuseppe
2015-07-01
The system of two damped/amplified oscillator equations is of widespread interest in the study of many physical problems and phenomena, from inflationary models of the Universe to thermal field theories, in condensed matter physics as well in high energy physics, and also in neuroscience. In this report we review the equivalence, in a suitable parametrization, between such a system of equations and the Bessel equations. In this connection, we discuss the breakdown of loop-antiloop symmetry, its relation with time-reversal symmetry and the mechanism of group contraction. Euclidean algebras such as e(2) and e(3) are also discussed in relation with Virasoro-like algebra.
Hierarchies of nonlinear integrable equations and their symmetries in 2 + 1 dimensions
NASA Astrophysics Data System (ADS)
Cheng, Yi
1990-11-01
For a given nonlinear integrable equation in 2 + 1 dimensions, an approach is described to construct the hierarchies of equations and relevant Lie algebraic properties. The commutability and noncommutability of equations of the flow, their symmetries and mastersymmetries are then derived as direct results of these algebraic properties. The details for the modified Kadomtsev-Petviashvilli equation are shown as an example and the main results for the (2 + 1)-dimensional Caudrey-Dodd-Gibbon-Katera-Sawada equation are given.
NASA Astrophysics Data System (ADS)
Cardona, Carlos; Gomez, Humberto
2016-06-01
Recently the CHY approach has been extended to one loop level using elliptic functions and modular forms over a Jacobian variety. Due to the difficulty in manipulating these kind of functions, we propose an alternative prescription that is totally algebraic. This new proposal is based on an elliptic algebraic curve embedded in a mathbb{C}{P}^2 space. We show that for the simplest integrand, namely the n - gon, our proposal indeed reproduces the expected result. By using the recently formulated Λ-algorithm, we found a novel recurrence relation expansion in terms of tree level off-shell amplitudes. Our results connect nicely with recent results on the one-loop formulation of the scattering equations. In addition, this new proposal can be easily stretched out to hyperelliptic curves in order to compute higher genus.
ERIC Educational Resources Information Center
Powell, Sarah R.; Fuchs, Lynn S.
2014-01-01
According to national mathematics standards, algebra instruction should begin at kindergarten and continue through elementary school. Most often, teachers address algebra in the elementary grades with problems related to solving equations or understanding functions. With 789 second-grade students, we administered: (1) measures of calculations and…
ERIC Educational Resources Information Center
Ross, Amanda; Willson, Victor
2012-01-01
This study examined the effects of types of representations, constructivist teaching approaches, and student engagement on middle school algebra students' procedural knowledge and conceptual understanding. Data gathered from 16 video lessons and algebra pretest/posttests were used to run three multilevel structural equation models. Symbolic…
NASA Astrophysics Data System (ADS)
Doikou, Anastasia; Ioannidou, Theodora
2011-04-01
A non-compact version of the Weyl equation is proposed, based on the infinite dimensional spin zero representation of the mathfrak{s}{mathfrak{l}_2} algebra. Solutions of the aforementioned equation are obtained in terms of the Kummer functions. In this context, we discuss the ADHMN approach in order to construct the corresponding non-compact BPS monopoles.
TBGG- INTERACTIVE ALGEBRAIC GRID GENERATION
NASA Technical Reports Server (NTRS)
Smith, R. E.
1994-01-01
TBGG, Two-Boundary Grid Generation, applies an interactive algebraic grid generation technique in two dimensions. The program incorporates mathematical equations that relate the computational domain to the physical domain. TBGG has application to a variety of problems using finite difference techniques, such as computational fluid dynamics. Examples include the creation of a C-type grid about an airfoil and a nozzle configuration in which no left or right boundaries are specified. The underlying two-boundary technique of grid generation is based on Hermite cubic interpolation between two fixed, nonintersecting boundaries. The boundaries are defined by two ordered sets of points, referred to as the top and bottom. Left and right side boundaries may also be specified, and call upon linear blending functions to conform interior interpolation to the side boundaries. Spacing between physical grid coordinates is determined as a function of boundary data and uniformly spaced computational coordinates. Control functions relating computational coordinates to parametric intermediate variables that affect the distance between grid points are embedded in the interpolation formulas. A versatile control function technique with smooth cubic spline functions is also presented. The TBGG program is written in FORTRAN 77. It works best in an interactive graphics environment where computational displays and user responses are quickly exchanged. The program has been implemented on a CDC Cyber 170 series computer using NOS 2.4 operating system, with a central memory requirement of 151,700 (octal) 60 bit words. TBGG requires a Tektronix 4015 terminal and the DI-3000 Graphics Library of Precision Visuals, Inc. TBGG was developed in 1986.
Deformations of Poisson brackets and extensions of Lie algebras of contact vector fields
NASA Astrophysics Data System (ADS)
Ovsienko, V.; Roger, C.
1992-12-01
CONTENTSIntroduction § 1. Main theoremsChapter I. Algebra § 2. Moyal deformations of the Poisson bracket and *-product on \\mathbb R^{2n} § 3. Algebraic construction § 4. Central extensions § 5. ExamplesChapter II. Deformations of the Poisson bracket and *-product on an arbitrary symplectic manifold § 6. Formal deformations: definitions § 7. Graded Lie algebras as a means of describing deformations § 8. Cohomology computations and their consequences § 9. Existence of a *-productChapter III. Extensions of the Lie algebra of contact vector fields on an arbitrary contact manifold §10. Lagrange bracket §11. Extensions and modules of tensor fieldsAppendix 1. Extensions of the Lie algebra of differential operatorsAppendix 2. Examples of equations of Korteweg-de Vries typeReferences
Sequential products on effect algebras
NASA Astrophysics Data System (ADS)
Gudder, Stan; Greechie, Richard
2002-02-01
A sequential effect algebra (SEA) is an effect algebra on which a sequential product with natural properties is defined. The properties of sequential products on Hilbert space effect algebras are discussed. For a general SEA, relationships between sequential independence, coexistence and compatibility are given. It is shown that the sharp elements of a SEA form an orthomodular poset. The sequential center of a SEA is discussed and a characterization of when the sequential center is isomorphic to a fuzzy set system is presented. It is shown that the existence, of a sequential product is a strong restriction that eliminates many effect algebras from being SEA's. For example, there are no finite nonboolean SEA's, A measure of sharpness called the sharpness index is studied. The existence of horizontal sums of SEA's is characterized and examples of horizontal sums and tensor products are presented.
Curvature calculations with spacetime algebra
Hestenes, D.
1986-06-01
A new method for calculating the curvature tensor is developed and applied to the Scharzschild case. The method employs Clifford algebra and has definite advantages over conventional methods using differential forms or tensor analysis.
GCD, LCM, and Boolean Algebra?
ERIC Educational Resources Information Center
Cohen, Martin P.; Juraschek, William A.
1976-01-01
This article investigates the algebraic structure formed when the process of finding the greatest common divisor and the least common multiple are considered as binary operations on selected subsets of positive integers. (DT)
Cartooning in Algebra and Calculus
ERIC Educational Resources Information Center
Moseley, L. Jeneva
2014-01-01
This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.
NASA Technical Reports Server (NTRS)
Klumpp, A. R.; Lawson, C. L.
1988-01-01
Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.
Semiclassical states on Lie algebras
Tsobanjan, Artur
2015-03-15
The effective technique for analyzing representation-independent features of quantum systems based on the semiclassical approximation (developed elsewhere) has been successfully used in the context of the canonical (Weyl) algebra of the basic quantum observables. Here, we perform the important step of extending this effective technique to the quantization of a more general class of finite-dimensional Lie algebras. The case of a Lie algebra with a single central element (the Casimir element) is treated in detail by considering semiclassical states on the corresponding universal enveloping algebra. Restriction to an irreducible representation is performed by “effectively” fixing the Casimir condition, following the methods previously used for constrained quantum systems. We explicitly determine the conditions under which this restriction can be consistently performed alongside the semiclassical truncation.
Walker, H.F.
1990-12-31
During the 1986--1989 project period, two major areas of research developed into which most of the work fell: ``matrix-free`` methods for solving linear systems, by which we mean iterative methods that require only the action of the coefficient matrix on vectors and not the coefficient matrix itself, and Newton-like methods for underdetermined nonlinear systems. In the 1990 project period of the renewal grant, a third major area of research developed: inexact Newton and Newton iterative methods and their applications to large-scale nonlinear systems, especially those arising in discretized problems. An inexact Newton method is any method in which each step reduces the norm of the local linear model of the function of interest. A Newton iterative method is any implementation of Newton`s method in which the linear systems that characterize Newton steps (the ``Newton equations``) are solved only approximately using an iterative linear solver. Newton iterative methods are properly considered special cases of inexact Newton methods. We describe the work in these areas and in other areas in this paper.
Nonlocal Symmetry and Interaction Solutions of a Generalized Kadomtsev—Petviashvili Equation
NASA Astrophysics Data System (ADS)
Huang, Li-Li; Chen, Yong; Ma, Zheng-Yi
2016-08-01
A generalized Kadomtsev—Petviashvili equation is studied by nonlocal symmetry method and consistent Riccati expansion (CRE) method in this paper. Applying the truncated Painlevé analysis to the generalized Kadomtsev—Petviashvili equation, some Bäcklund transformations (BTs) including auto-BT and non-auto-BT are obtained. The auto-BT leads to a nonlocal symmetry which corresponds to the residual of the truncated Painlevé expansion. Then the nonlocal symmetry is localized to the corresponding nonlocal group by introducing two new variables. Further, by applying the Lie point symmetry method to the prolonged system, a new type of finite symmetry transformation is derived. In addition, the generalized Kadomtsev—Petviashvili equation is proved consistent Riccati expansion (CRE) solvable. As a result, the soliton-cnoidal wave interaction solutions of the equation are explicitly given, which are difficult to be found by other traditional methods. Moreover, figures are given out to show the properties of the explicit analytic interaction solutions. Supported by the Global Change Research Program of China under Grant No. 2015CB953904, National Natural Science Foundation of under Grant Nos. 11275072 and 11435005, Doctoral Program of Higher Education of China under Grant No. 20120076110024, the Network Information Physics Calculation of Basic Research Innovation Research Group of China under Grant No. 61321064, and Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things under Grant No. ZF1213, and Zhejiang Provincial Natural Science Foundation of China under Grant No. LY14A010005
Observer-based robust-H-infinity control laws for uncertain linear systems
NASA Technical Reports Server (NTRS)
Shieh, Leang S.; Sunkel, J. W.; Wang, Yeih J.
1991-01-01
Based on the algebraic Riccati equation approach, this paper presents a simple and flexible method for designing observer-based robust-H-infinity control laws for linear systems with structured parameter uncertainty. The observer-based robust-H-infinity output-feedback control law, obtained by solving three augmented algebraic Riccati equations, provides both robust stability and disturbance attenuation with H-infinity-norm bound for the closed-loop uncertain linear system. Several tuning parameters are embedded into the augmented algebraic Riccati equations so that flexibility in finding the symmetric positive-definite solutions (and hence, the robust-H-infinity control laws) is significantly increased. A benchmark problem associated with a mass-spring system, which approximates the dynamics of a flexible structure, is used to illustrate the design methodologies, and simulation results are presented.
Conservation laws, differential identities, and constraints of partial differential equations
NASA Astrophysics Data System (ADS)
Zharinov, V. V.
2015-11-01
We consider specific cohomological properties such as low-dimensional conservation laws and differential identities of systems of partial differential equations (PDEs). We show that such properties are inherent to complex systems such as evolution systems with constraints. The mathematical tools used here are the algebraic analysis of PDEs and cohomologies over differential algebras and modules.
Hopf algebras and topological recursion
NASA Astrophysics Data System (ADS)
Esteves, João N.
2015-11-01
We consider a model for topological recursion based on the Hopf algebra of planar binary trees defined by Loday and Ronco (1998 Adv. Math. 139 293-309 We show that extending this Hopf algebra by identifying pairs of nearest neighbor leaves, and thus producing graphs with loops, we obtain the full recursion formula discovered by Eynard and Orantin (2007 Commun. Number Theory Phys. 1 347-452).
2005-04-11
The ALGEBRA program allows the user to manipulate data from a finite element analysis before it is plotted. The finite element output data is in the form of variable values (e.g., stress, strain, and velocity components) in an EXODUS II database. The ALGEBRA program evaluates user-supplied functions of the data and writes the results to an output EXODUS II database that can be read by plot programs.
Hunt, H. B.; Marathe, M. V.; Stearns, R. E.
2001-01-01
We demonstrate how the concepts of algebraic representability and strongly-local reductions developed here and in [HSM00] can be used to characterize the computational complexity/efficient approximability of a number of basic problems and their variants, on various abstract algebraic structures F. These problems include the following: (1) A1gebra:Determine the solvability, unique solvability, number of solutions, etc., of a system of equations on F. Determine the equivalence of two formulas or straight-line programs on F. 2. 0ptimization:Let {epsilon} > 0. (a) Determine the maximum number of simultaneously satisfiable equations in a system of equations on F; or approximate this number within a multiplicative factor of n{sup {epsilon}}. (b) Determine the maximum value of an objective function subject to satisfiable algebraically expressed constraints on F; or approximate this maximum value within a multiplicative factor of n{sup {epsilon}}. (c) Given a formula or straight-line program, find a minimum size equivalent formula or straightline program; or find an equivalent formula or straight-line program of size {le} f (minimum). Both finite and infinite algebraic structures are considered. These finite structures include all finite nondegenerate lattices and all finite rings or semi-rings with a nonzero element idempotent under multiplication (e.g. all non-degenerate finite unitary rings or semi-rings); and these infinite structures include the natural numbers, integers, real numbers, various algebras on these structures, all ordered rings, many cancellative semi-rings, and all infinite lattices with two elements a,b such that a is covered by b. Our results significantly extend a number of results by Ladner [La89], Condon, et. al. [CF+93], Khanna, et.al [KSW97], Cr951 and Zuckerman [Zu93] on the complexity and approximbaility of combinatorial problems.
Learning Activity Package, Algebra 103-104, LAPs 23-33.
ERIC Educational Resources Information Center
Evans, Diane
This set of 11 teacher-prepared Learning Activity Packages (LAPs) in intermediate algebra covers number systems; exponents and radicals; polynomials and factoring; rational expressions; coordinate geometry; relations, functions, and inequalities; quadratic equations and inequalities; Quadratic functions; systems of equations and inequalities;…
Nonnumeric Computer Applications to Algebra, Trigonometry and Calculus.
ERIC Educational Resources Information Center
Stoutemyer, David R.
1983-01-01
Described are computer program packages requiring little or no knowledge of computer programing for college algebra, calculus, and abstract algebra. Widely available computer algebra systems are listed. (MNS)
Relativistic algebraic spinors and quantum motions in phase space
Holland, P.R.
1986-08-01
Following suggestions of Schonberg and Bohm, we study the tensorial phase space representation of the Dirac and Feynman-Gell-Mann equations in terms of the complex Dirac algebra C/sub 4/, a Jordan-Wigner algebra G/sub 4/, and Wigner transformations. To do this we solve the problem of the conditions under which elements in C/sub 4/ generate minimal ideals, and extend this to G/sub 4/. This yields the linear theory of Dirac spin spaces and tensor representations of Dirac spinors, and the spin-1/2 wave equations are represented through fermionic state vectors in a higher space as a set of interconnected tensor relations.
Integrable maps from Galois differential algebras, Borel transforms and number sequences
NASA Astrophysics Data System (ADS)
Tempesta, Piergiulio
A new class of integrable maps, obtained as lattice versions of polynomial dynamical systems is introduced. These systems are obtained by means of a discretization procedure that preserves several analytic and algebraic properties of a given differential equation, in particular symmetries and integrability (see Tempesta, 2010 [40]). Our approach is based on the properties of a suitable Galois differential algebra, that we shall call a Rota algebra. A formulation of the procedure in terms of category theory is proposed. In order to render the lattice dynamics confined, a Borel regularization is also adopted. As a byproduct of the theory, a connection between number sequences and integrability is discussed.
Virasoro algebra in the KN algebra; Bosonic string with fermionic ghosts on Riemann surfaces
Koibuchi, H. )
1991-10-10
In this paper the bosonic string model with fermionic ghosts is considered in the framework of the KN algebra. The authors' attentions are paid to representations of KN algebra and a Clifford algebra of the ghosts. The authors show that a Virasoro-like algebra is obtained from KN algebra when KN algebra has certain antilinear anti-involution, and that it is isomorphic to the usual Virasoro algebra. The authors show that there is an expected relation between a central charge of this Virasoro-like algebra and an anomaly of the combined system.
The topology of Liouville foliation for the Sokolov integrable case on the Lie algebra so(4)
Haghighatdoost, Gorbanali; Oshemkov, Andrey A
2009-06-30
Several new integrable cases for Euler's equations on some six-dimensional Lie algebras were found by Sokolov in 2004. In this paper we study topological properties of one of these integrable cases on the Lie algebra so(4). In particular, for the system under consideration the bifurcation diagrams of the momentum mapping are constructed and all Fomenko invariants are calculated. Thereby, the classification of isoenergy surfaces for this system up to the rough Liouville equivalence is obtained. Bibliography: 9 titles.
Spectral properties of sums of Hermitian matrices and algebraic geometry
NASA Astrophysics Data System (ADS)
Chau Huu-Tai, P.; Van Isacker, P.
2016-04-01
It is shown that all the eigenvectors of a sum of Hermitian matrices belong to the same algebraic variety. A polynomial system characterizing this variety is given and a set of nonlinear equations is derived which allows the construction of the variety. Moreover, in some specific cases, explicit expressions for the eigenvectors and eigenvalues can be obtained. Explicit solutions of selected models are also derived.
Iterative methods for elliptic finite element equations on general meshes
NASA Technical Reports Server (NTRS)
Nicolaides, R. A.; Choudhury, Shenaz
1986-01-01
Iterative methods for arbitrary mesh discretizations of elliptic partial differential equations are surveyed. The methods discussed are preconditioned conjugate gradients, algebraic multigrid, deflated conjugate gradients, an element-by-element techniques, and domain decomposition. Computational results are included.
COMMENT: Comment on `Dirac theory in spacetime algebra'
NASA Astrophysics Data System (ADS)
Baylis, William E.
2002-06-01
In contrast to formulations of the Dirac theory by Hestenes and by the present author, the formulation recently presented by Joyce (Joyce W P 2001 J. Phys. A: Math. Gen. 34 1991-2005) is equivalent to the usual Dirac equation only in the case of vanishing mass. For nonzero mass, solutions to Joyce's equation can be solutions either of the Dirac equation in the Hestenes form or of the same equation with the sign of the mass reversed, and in general they are mixtures of the two possibilities. Because of this relationship, Joyce obtains twice as many linearly independent plane-wave solutions for a given momentum eigenvalue as exist in the conventional theory. A misconception about the symmetry of the Hestenes equation and the geometric significance of the algebraic spinors is also briefly discussed.
Switched electrical networks and bilinear equations
NASA Technical Reports Server (NTRS)
Wood, J. R.
1974-01-01
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.
Algebraic geometry realization of quantum Hall soliton
NASA Astrophysics Data System (ADS)
Abounasr, R.; Ait Ben Haddou, M.; El Rhalami, A.; Saidi, E. H.
2005-02-01
Using the Iqbal-Netzike-Vafa dictionary giving the correspondence between the H2 homology of del Pezzo surfaces and p-branes, we develop a way to approach the system of brane bounds in M-theory on S1. We first review the structure of 10-dimensional quantum Hall soliton (QHS) from the view of M-theory on S1. Then, we show how the D0 dissolution in D2-brane is realized in M-theory language and derive the p-brane constraint equations used to define appropriately the QHS. Finally, we build an algebraic geometry realization of the QHS in type IIA superstring and show how to get its type IIB dual. Other aspects are also discussed.
Ternary generalization of Heisenberg's algebra
NASA Astrophysics Data System (ADS)
Kerner, Richard
2015-06-01
A concise study of ternary and cubic algebras with Z3 grading is presented. We discuss some underlying ideas leading to the conclusion that the discrete symmetry group of permutations of three objects, S3, and its abelian subgroup Z3 may play an important role in quantum physics. We show then how most of important algebras with Z2 grading can be generalized with ternary composition laws combined with a Z3 grading. We investigate in particular a ternary, Z3-graded generalization of the Heisenberg algebra. It turns out that introducing a non-trivial cubic root of unity, , one can define two types of creation operators instead of one, accompanying the usual annihilation operator. The two creation operators are non-hermitian, but they are mutually conjugate. Together, the three operators form a ternary algebra, and some of their cubic combinations generate the usual Heisenberg algebra. An analogue of Hamiltonian operator is constructed by analogy with the usual harmonic oscillator, and some properties of its eigenfunctions are briefly discussed.
Beyond Dirac - a Unified Algebra
NASA Astrophysics Data System (ADS)
Lundberg, Wayne R.
2001-10-01
A introductory insight will be shared regarding a 'separation of variables' approach to understanding the relationship between QCD and the origins of cosmological and particle mass. The discussion will then build upon work presented at DFP 2000, focussing on the formal basis for using 3x3x3 matrix algebra as it underlies and extends Dirac notation. A set of restrictions are established which break the multiple symmetries of the 3x3x3 matrix algebra, yielding Standard Model QCD objects and interactions. It will be shown that the 3x3x3 matrix representation unifies the algebra of strong and weak (and by extension, electromagnetic) interactions. A direct correspondence to string theoretic objects is established by considering the string to be partitioned in thirds. Rubik's cube is used as a graphical means of handling algebraic manipulation of 3x3x3 algebra. Further, its potential utility for advancing pedagogical methods through active engagement is discussed. A simulated classroom exercize will be conducted.
1992-05-04
DOE-MACSYMA (Project MAC''s SYmbolic MAnipulation system) is a large computer programming system written in LISP. With DOE-MACSYMA the user can differentiate, integrate, take limits, solve systems of linear or polynomial equations, factor polynomials, expand functions in Laurent or Taylor series, solve differential equations (using direct or transform methods), compute Poisson series, plot curves, and manipulate matrices and tensors. A language similar to ALGOL-60 permits users to write their own programs for transforming symbolic expressions. Franzmore » Lisp OPUS 38 provides the environment for the Encore, Celerity, and DEC VAX11 UNIX,SUN(OPUS) versions under UNIX and the Alliant version under Concentrix. Kyoto Common Lisp (KCL) provides the environment for the SUN(KCL),Convex, and IBM PC under UNIX and Data General under AOS/VS.« less
Symmetries of stochastic differential equations: A geometric approach
NASA Astrophysics Data System (ADS)
De Vecchi, Francesco C.; Morando, Paola; Ugolini, Stefania
2016-06-01
A new notion of stochastic transformation is proposed and applied to the study of both weak and strong symmetries of stochastic differential equations (SDEs). The correspondence between an algebra of weak symmetries for a given SDE and an algebra of strong symmetries for a modified SDE is proved under suitable regularity assumptions. This general approach is applied to a stochastic version of a two dimensional symmetric ordinary differential equation and to the case of two dimensional Brownian motion.
ERIC Educational Resources Information Center
Gale, David; And Others
Four units make up the contents of this document. The first examines applications of finite mathematics to business and economies. The user is expected to learn the method of optimization in optimal assignment problems. The second module presents applications of difference equations to economics and social sciences, and shows how to: 1) interpret…
Solving Differential Equations in R: Package deSolve
In this paper we present the R package deSolve to solve initial value problems (IVP) written as ordinary differential equations (ODE), differential algebraic equations (DAE) of index 0 or 1 and partial differential equations (PDE), the latter solved using the method of lines appr...
Finite-difference methods for solving loaded parabolic equations
NASA Astrophysics Data System (ADS)
Abdullayev, V. M.; Aida-zade, K. R.
2016-01-01
Loaded partial differential equations are solved numerically. For illustrative purposes, a boundary value problem for a parabolic equation with various point loads is considered. By applying difference approximations, the problems are reduced to systems of algebraic equations of special structure, which are solved using a parametric representation involving solutions of auxiliary linear systems with tridiagonal matrices. Numerical results are presented and analyzed.
Catmull-Rom Curve Fitting and Interpolation Equations
ERIC Educational Resources Information Center
Jerome, Lawrence
2010-01-01
Computer graphics and animation experts have been using the Catmull-Rom smooth curve interpolation equations since 1974, but the vector and matrix equations can be derived and simplified using basic algebra, resulting in a simple set of linear equations with constant coefficients. A variety of uses of Catmull-Rom interpolation are demonstrated,…
Height growth of solutions and a discrete Painlevé equation
NASA Astrophysics Data System (ADS)
Al-Ghassani, A.; Halburd, R. G.
2015-07-01
Consider the discrete equation where the right side is of degree two in yn and where the coefficients an, bn and cn are rational functions of n with rational coefficients. Suppose that there is a solution such that for all sufficiently large n, y_n\\in{Q} and the height of yn dominates the height of the coefficient functions an, bn and cn. We show that if the logarithmic height of yn grows no faster than a power of n then either the equation is a well known discrete Painlevé equation dPII or its autonomous version or yn is also an admissible solution of a discrete Riccati equation. This provides further evidence that slow height growth is a good detector of integrability.
Algebraic Lattices in QFT Renormalization
NASA Astrophysics Data System (ADS)
Borinsky, Michael
2016-04-01
The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.
Algebraic Lattices in QFT Renormalization
NASA Astrophysics Data System (ADS)
Borinsky, Michael
2016-07-01
The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.
Moving frames and prolongation algebras
NASA Technical Reports Server (NTRS)
Estabrook, F. B.
1982-01-01
Differential ideals generated by sets of 2-forms which can be written with constant coefficients in a canonical basis of 1-forms are considered. By setting up a Cartan-Ehresmann connection, in a fiber bundle over a base space in which the 2-forms live, one finds an incomplete Lie algebra of vector fields in the fields in the fibers. Conversely, given this algebra (a prolongation algebra), one can derive the differential ideal. The two constructs are thus dual, and analysis of either derives properties of both. Such systems arise in the classical differential geometry of moving frames. Examples of this are discussed, together with examples arising more recently: the Korteweg-de Vries and Harrison-Ernst systems.
Spatial operator algebra framework for multibody system dynamics
NASA Technical Reports Server (NTRS)
Rodriguez, G.; Jain, Abhinandan; Kreutz, K.
1989-01-01
The Spatial Operator Algebra framework for the dynamics of general multibody systems is described. The use of a spatial operator-based methodology permits the formulation of the dynamical equations of motion of multibody systems in a concise and systematic way. The dynamical equations of progressively more complex grid multibody systems are developed in an evolutionary manner beginning with a serial chain system, followed by a tree topology system and finally, systems with arbitrary closed loops. Operator factorizations and identities are used to develop novel recursive algorithms for the forward dynamics of systems with closed loops. Extensions required to deal with flexible elements are also discussed.
Integrability in three dimensions: Algebraic Bethe ansatz for anyonic models
NASA Astrophysics Data System (ADS)
Khachatryan, Sh.; Ferraz, A.; Klümper, A.; Sedrakyan, A.
2015-10-01
We extend basic properties of two dimensional integrable models within the Algebraic Bethe Ansatz approach to 2 + 1 dimensions and formulate the sufficient conditions for the commutativity of transfer matrices of different spectral parameters, in analogy with Yang-Baxter or tetrahedron equations. The basic ingredient of our models is the R-matrix, which describes the scattering of a pair of particles over another pair of particles, the quark-anti-quark (meson) scattering on another quark-anti-quark state. We show that the Kitaev model belongs to this class of models and its R-matrix fulfills well-defined equations for integrability.
Algebraic multigrid methods applied to problems in computational structural mechanics
NASA Technical Reports Server (NTRS)
Mccormick, Steve; Ruge, John
1989-01-01
The development of algebraic multigrid (AMG) methods and their application to certain problems in structural mechanics are described with emphasis on two- and three-dimensional linear elasticity equations and the 'jacket problems' (three-dimensional beam structures). Various possible extensions of AMG are also described. The basic idea of AMG is to develop the discretization sequence based on the target matrix and not the differential equation. Therefore, the matrix is analyzed for certain dependencies that permit the proper construction of coarser matrices and attendant transfer operators. In this manner, AMG appears to be adaptable to structural analysis applications.
NASA Astrophysics Data System (ADS)
Imai, Kenji
2014-02-01
In this paper, a new n-dimensional homogeneous Lotka-Volterra (HLV) equation, which possesses a Lie symmetry, is derived by the extension from a three-dimensional HLV equation. Its integrability is shown from the viewpoint of Lie symmetries. Furthermore, we derive dynamical systems of higher order, which possess the Lie symmetry, using the algebraic structure of this HLV equation.
Motivating Activities that Lead to Algebra
ERIC Educational Resources Information Center
Menon, Ramakrishnan
2004-01-01
Four activities consisting of puzzles are introduced, which help students to recognize the strength of algebraic generalizations. They also assist them to comprehend algebraic concepts, and enable them to develop their individual puzzles and games.
Scalable Parallel Algebraic Multigrid Solvers
Bank, R; Lu, S; Tong, C; Vassilevski, P
2005-03-23
The authors propose a parallel algebraic multilevel algorithm (AMG), which has the novel feature that the subproblem residing in each processor is defined over the entire partition domain, although the vast majority of unknowns for each subproblem are associated with the partition owned by the corresponding processor. This feature ensures that a global coarse description of the problem is contained within each of the subproblems. The advantages of this approach are that interprocessor communication is minimized in the solution process while an optimal order of convergence rate is preserved; and the speed of local subproblem solvers can be maximized using the best existing sequential algebraic solvers.
Computational triadic algebras of signs
Zadrozny, W.
1996-12-31
We present a finite model of Peirce`s ten classes of signs. We briefly describe Peirce`s taxonomy of signs; we prove that any finite collection of signs can be extended to a finite algebra of signs in which all interpretants are themselves being interpreted; and we argue that Peirce`s ten classes of signs can be defined using constraints on algebras of signs. The paper opens the possibility of defining multimodal cognitive agents using Peirce`s classes of signs, and is a first step towards building a computational logic of signs based on Peirce`s taxonomies.
Large chiral diffeomorphisms on Riemann surfaces and W-algebras
Bandelloni, G.; Lazzarini, S.
2006-10-15
The diffeomorphism action lifted on truncated (chiral) Taylor expansion of a complex scalar field over a Riemann surface is presented in the paper under the name of large diffeomorphisms. After an heuristic approach, we show how a linear truncation in the Taylor expansion can generate an algebra of symmetry characterized by some structure functions. Such a linear truncation is explicitly realized by introducing the notion of Forsyth frame over the Riemann surface with the help of a conformally covariant algebraic differential equation. The large chiral diffeomorphism action is then implemented through a Becchi-Rouet-Stora (BRS) formulation (for a given order of truncation) leading to a more algebraic setup. In this context the ghost fields behave as holomorphically covariant jets. Subsequently, the link with the so-called W-algebras is made explicit once the ghost parameters are turned from jets into tensorial ghost ones. We give a general solution with the help of the structure functions pertaining to all the possible truncations lower or equal to the given order. This provides another contribution to the relationship between Korteweg-de Vries (KdV) flows and W-diffeomorphims.
ERIC Educational Resources Information Center
Star, Jon R.; Rittle-Johnson, Bethany
2009-01-01
Competence in algebra is increasingly recognized as a critical milestone in students' middle and high school years. The transition from arithmetic to algebra is a notoriously difficult one, and improvements in algebra instruction are greatly needed (National Research Council, 2001). Algebra historically has represented students' first sustained…
Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers
Nataf, J.M.; Winkelmann, F.
1992-09-01
We show how computer algebra and compiler-compilers are used for automatic code generation in the Simulation Problem Analysis and Research Kernel (SPARK), an object oriented environment for modeling complex physical systems that can be described by differential-algebraic equations. After a brief overview of SPARK, we describe the use of computer algebra in SPARK's symbolic interface, which generates solution code for equations that are entered in symbolic form. We also describe how the Lex/Yacc compiler-compiler is used to achieve important extensions to the SPARK simulation language, including parametrized macro objects and steady-state resetting of a dynamic simulation. The application of these methods to solving the partial differential equations for two-dimensional heat flow is illustrated.
Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers
Nataf, J.M.; Winkelmann, F.
1992-09-01
We show how computer algebra and compiler-compilers are used for automatic code generation in the Simulation Problem Analysis and Research Kernel (SPARK), an object oriented environment for modeling complex physical systems that can be described by differential-algebraic equations. After a brief overview of SPARK, we describe the use of computer algebra in SPARK`s symbolic interface, which generates solution code for equations that are entered in symbolic form. We also describe how the Lex/Yacc compiler-compiler is used to achieve important extensions to the SPARK simulation language, including parametrized macro objects and steady-state resetting of a dynamic simulation. The application of these methods to solving the partial differential equations for two-dimensional heat flow is illustrated.
Spatial-Operator Algebra For Robotic Manipulators
NASA Technical Reports Server (NTRS)
Rodriguez, Guillermo; Kreutz, Kenneth K.; Milman, Mark H.
1991-01-01
Report discusses spatial-operator algebra developed in recent studies of mathematical modeling, control, and design of trajectories of robotic manipulators. Provides succinct representation of mathematically complicated interactions among multiple joints and links of manipulator, thereby relieving analyst of most of tedium of detailed algebraic manipulations. Presents analytical formulation of spatial-operator algebra, describes some specific applications, summarizes current research, and discusses implementation of spatial-operator algebra in the Ada programming language.
The weak Hopf algebras related to generalized Kac-Moody algebra
Wu Zhixiang
2006-06-15
We define a kind of quantized enveloping algebra of a generalized Kac-Moody algebra G by adding a generator J satisfying J{sup m}=J{sup m-1} for some integer m. We denote this algebra by wU{sub q}{sup {tau}}(G). This algebra is a weak Hopf algebra if and only if m=2. In general, it is a bialgebra, and contains a Hopf subalgebra. This Hopf subalgebra is isomorphic to the usually quantum envelope algebra U{sub q}(G) of a generalized Kac-Moody algebra G.
Algebra? A Gate! A Barrier! A Mystery!
ERIC Educational Resources Information Center
Mathematics Educatio Dialogues, 2000
2000-01-01
This issue of Mathematics Education Dialogues focuses on the nature and the role of algebra in the K-14 curriculum. Articles on this theme include: (1) "Algebra For All? Why?" (Nel Noddings); (2) "Algebra For All: It's a Matter of Equity, Expectations, and Effectiveness" (Dorothy S. Strong and Nell B. Cobb); (3) "Don't Delay: Build and Talk about…
Graphing Calculator Use in Algebra Teaching
ERIC Educational Resources Information Center
Dewey, Brenda L.; Singletary, Ted J.; Kinzel, Margaret T.
2009-01-01
This study examines graphing calculator technology availability, characteristics of teachers who use it, teacher attitudes, and how use reflects changes to algebra curriculum and instructional practices. Algebra I and Algebra II teachers in 75 high school and junior high/middle schools in a diverse region of a northwestern state were surveyed.…
New family of Maxwell like algebras
NASA Astrophysics Data System (ADS)
Concha, P. K.; Durka, R.; Merino, N.; Rodríguez, E. K.
2016-08-01
We introduce an alternative way of closing Maxwell like algebras. We show, through a suitable change of basis, that resulting algebras are given by the direct sums of the AdS and the Maxwell algebras already known in the literature. Casting the result into the S-expansion method framework ensures the straightaway construction of the gravity theories based on a found enlargement.
Build an Early Foundation for Algebra Success
ERIC Educational Resources Information Center
Knuth, Eric; Stephens, Ana; Blanton, Maria; Gardiner, Angela
2016-01-01
Research tells us that success in algebra is a factor in many other important student outcomes. Emerging research also suggests that students who are started on an algebra curriculum in the earlier grades may have greater success in the subject in secondary school. What's needed is a consistent, algebra-infused mathematics curriculum all…
A Balancing Act: Making Sense of Algebra
ERIC Educational Resources Information Center
Gavin, M. Katherine; Sheffield, Linda Jensen
2015-01-01
For most students, algebra seems like a totally different subject than the number topics they studied in elementary school. In reality, the procedures followed in arithmetic are actually based on the properties and laws of algebra. Algebra should be a logical next step for students in extending the proficiencies they developed with number topics…
Difficulties in Initial Algebra Learning in Indonesia
ERIC Educational Resources Information Center
Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja
2014-01-01
Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was…
Teaching Strategies to Improve Algebra Learning
ERIC Educational Resources Information Center
Zbiek, Rose Mary; Larson, Matthew R.
2015-01-01
Improving student learning is the primary goal of every teacher of algebra. Teachers seek strategies to help all students learn important algebra content and develop mathematical practices. The new Institute of Education Sciences[IES] practice guide, "Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students"…
Lessons for Algebraic Thinking. Grades K-2.
ERIC Educational Resources Information Center
von Rotz, Leyani; Burns, Marilyn
Algebra is one of the top priorities of mathematics instruction for the elementary and middle grades. This book is designed to help K-2 teachers meet the challenge of making algebra an integral part of their mathematics instruction and realize both what to teach and how to teach central algebraic concepts. Classroom-tested lessons help teachers…
Unifying the Algebra for All Movement
ERIC Educational Resources Information Center
Eddy, Colleen M.; Quebec Fuentes, Sarah; Ward, Elizabeth K.; Parker, Yolanda A.; Cooper, Sandi; Jasper, William A.; Mallam, Winifred A.; Sorto, M. Alejandra; Wilkerson, Trena L.
2015-01-01
There exists an increased focus on school mathematics, especially first-year algebra, due to recent efforts for all students to be college and career ready. In addition, there are calls, policies, and legislation advocating for all students to study algebra epitomized by four rationales of the "Algebra for All" movement. In light of this…
NASA Astrophysics Data System (ADS)
Khalilov, E. H.
2016-07-01
The surface integral equation for a spatial mixed boundary value problem for the Helmholtz equation is considered. At a set of chosen points, the equation is replaced with a system of algebraic equations, and the existence and uniqueness of the solution of this system is established. The convergence of the solutions of this system to the exact solution of the integral equation is proven, and the convergence rate of the method is determined.
Leapfrog variants of iterative methods for linear algebra equations
NASA Technical Reports Server (NTRS)
Saylor, Paul E.
1988-01-01
Two iterative methods are considered, Richardson's method and a general second order method. For both methods, a variant of the method is derived for which only even numbered iterates are computed. The variant is called a leapfrog method. Comparisons between the conventional form of the methods and the leapfrog form are made under the assumption that the number of unknowns is large. In the case of Richardson's method, it is possible to express the final iterate in terms of only the initial approximation, a variant of the iteration called the grand-leap method. In the case of the grand-leap variant, a set of parameters is required. An algorithm is presented to compute these parameters that is related to algorithms to compute the weights and abscissas for Gaussian quadrature. General algorithms to implement the leapfrog and grand-leap methods are presented. Algorithms for the important special case of the Chebyshev method are also given.
Weaving Geometry and Algebra Together
ERIC Educational Resources Information Center
Cetner, Michelle
2015-01-01
When thinking about student reasoning and sense making, teachers must consider the nature of tasks given to students along with how to plan to use the tasks in the classroom. Students should be presented with tasks in a way that encourages them to draw connections between algebraic and geometric concepts. This article focuses on the idea that it…
Inequalities, Assessment and Computer Algebra
ERIC Educational Resources Information Center
Sangwin, Christopher J.
2015-01-01
The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in…
ERIC Educational Resources Information Center
Bosse, Michael J.; Ries, Heather; Chandler, Kayla
2012-01-01
Secondary school mathematics teachers often need to answer the "Why do we do that?" question in such a way that avoids confusion and evokes student interest. Understanding the properties of number systems can provide an avenue to better grasp algebraic structures, which in turn builds students' conceptual knowledge of secondary mathematics. This…
Implementing Change in College Algebra
ERIC Educational Resources Information Center
Haver, William E.
2007-01-01
In this paper, departments are urged to consider implementing the type of changes proposed in Beyond Crossroads in College Algebra. The author of this paper is chair of the Curriculum Renewal Across the First Two Years (CRAFTY) Committee of the Mathematical Association of America. The committee has members from two-year colleges, four-year…
Algebraic Activities Aid Discovery Lessons
ERIC Educational Resources Information Center
Wallace-Gomez, Patricia
2013-01-01
After a unit on the rules for positive and negative numbers and the order of operations for evaluating algebraic expressions, many students believe that they understand these principles well enough, but they really do not. They clearly need more practice, but not more of the same kind of drill. Wallace-Gomez provides three graphing activities that…
Fuzzy-algebra uncertainty assessment
Cooper, J.A.; Cooper, D.K.
1994-12-01
A significant number of analytical problems (for example, abnormal-environment safety analysis) depend on data that are partly or mostly subjective. Since fuzzy algebra depends on subjective operands, we have been investigating its applicability to these forms of assessment, particularly for portraying uncertainty in the results of PRA (probabilistic risk analysis) and in risk-analysis-aided decision-making. Since analysis results can be a major contributor to a safety-measure decision process, risk management depends on relating uncertainty to only known (not assumed) information. The uncertainties due to abnormal environments are even more challenging than those in normal-environment safety assessments; and therefore require an even more judicious approach. Fuzzy algebra matches these requirements well. One of the most useful aspects of this work is that we have shown the potential for significant differences (especially in perceived margin relative to a decision threshold) between fuzzy assessment and probabilistic assessment based on subtle factors inherent in the choice of probability distribution models. We have also shown the relation of fuzzy algebra assessment to ``bounds`` analysis, as well as a description of how analyses can migrate from bounds analysis to fuzzy-algebra analysis, and to probabilistic analysis as information about the process to be analyzed is obtained. Instructive examples are used to illustrate the points.
Entropy algebras and Birkhoff factorization
NASA Astrophysics Data System (ADS)
Marcolli, Matilde; Tedeschi, Nicolas
2015-11-01
We develop notions of Rota-Baxter structures and associated Birkhoff factorizations, in the context of min-plus semirings and their thermodynamic deformations, including deformations arising from quantum information measures such as the von Neumann entropy. We consider examples related to Manin's renormalization and computation program, to Markov random fields and to counting functions and zeta functions of algebraic varieties.
Algebra for All. Research Brief
ERIC Educational Resources Information Center
Bleyaert, Barbara
2009-01-01
The call for "algebra for all" is not a recent phenomenon. Concerns about the inadequacy of math (and science) preparation in America's high schools have been a steady drumbeat since the 1957 launch of Sputnik; a call for raising standards and the number of math (and science) courses required for graduation has been a part of countless national…
ERIC Educational Resources Information Center
Oishi, Lindsay
2011-01-01
"Solve for x." While many people first encountered this enigmatic instruction in high school, the last 20 years have seen a strong push to get students to take algebra in eighth grade or even before. Today, concerns about the economy highlight a familiar worry: American eighth-graders trailed their peers in five Asian countries on the 2007 TIMSS…
An Introduction to Algebraic Multigrid
Falgout, R D
2006-04-25
Algebraic multigrid (AMG) solves linear systems based on multigrid principles, but in a way that only depends on the coefficients in the underlying matrix. The author begins with a basic introduction to AMG methods, and then describes some more recent advances and theoretical developments
Adventures in Flipping College Algebra
ERIC Educational Resources Information Center
Van Sickle, Jenna
2015-01-01
This paper outlines the experience of a university professor who implemented flipped learning in two sections of college algebra courses for two semesters. It details how the courses were flipped, what technology was used, advantages, challenges, and results. It explains what students do outside of class, what they do inside class, and discusses…
Algebra, Home Mortgages, and Recessions
ERIC Educational Resources Information Center
Mariner, Jean A. Miller; Miller, Richard A.
2009-01-01
The current financial crisis and recession in the United States present an opportunity to discuss relevant applications of some topics in typical first-and second-year algebra and precalculus courses. Real-world applications of percent change, exponential functions, and sums of finite geometric sequences can help students understand the problems…
Algebra from Chips and Chopsticks
ERIC Educational Resources Information Center
Yun, Jeong Oak; Flores, Alfinio
2012-01-01
Students can use geometric representations of numbers as a way to explore algebraic ideas. With the help of these representations, students can think about the relations among the numbers, express them using their own words, and represent them with letters. The activities discussed here can stimulate students to try to find various ways of solving…
Celestial mechanics with geometric algebra
NASA Technical Reports Server (NTRS)
Hestenes, D.
1983-01-01
Geometric algebra is introduced as a general tool for Celestial Mechanics. A general method for handling finite rotations and rotational kinematics is presented. The constants of Kepler motion are derived and manipulated in a new way. A new spinor formulation of perturbation theory is developed.
Algebraic methods in system theory
NASA Technical Reports Server (NTRS)
Brockett, R. W.; Willems, J. C.; Willsky, A. S.
1975-01-01
Investigations on problems of the type which arise in the control of switched electrical networks are reported. The main results concern the algebraic structure and stochastic aspects of these systems. Future reports will contain more detailed applications of these results to engineering studies.
Principals + Algebra (- Fear) = Instructional Leadership
ERIC Educational Resources Information Center
Carver, Cynthia L.
2010-01-01
Recent state legislation in Michigan mandates that all graduating seniors successfully pass algebra I and II. Numerous initiatives have been enacted to help mathematics teachers meet this challenge, yet school principals have had little preparation for the necessary curricular and instructional changes. To address this unmet need, university-based…
Experts Question California's Algebra Edict
ERIC Educational Resources Information Center
Cavanagh, Sean
2008-01-01
Business leaders from important sectors of the American economy have been urging schools to set higher standards in math and science--and California officials, in mandating that 8th graders be tested in introductory algebra, have responded with one of the highest such standards in the land. Still, many California educators and school…
The Clifford algebra of physical space and Dirac theory
NASA Astrophysics Data System (ADS)
Vaz, Jayme, Jr.
2016-09-01
The claim found in many textbooks that the Dirac equation cannot be written solely in terms of Pauli matrices is shown to not be completely true. It is only true as long as the term β \\psi in the usual Dirac factorization of the Klein–Gordon equation is assumed to be the product of a square matrix β and a column matrix ψ. In this paper we show that there is another possibility besides this matrix product, in fact a possibility involving a matrix operation, and show that it leads to another possible expression for the Dirac equation. We show that, behind this other possible factorization is the formalism of the Clifford algebra of physical space. We exploit this fact, and discuss several different aspects of Dirac theory using this formalism. In particular, we show that there are four different possible sets of definitions for the parity, time reversal, and charge conjugation operations for the Dirac equation.
Invariance properties of a general bond-pricing equation
NASA Astrophysics Data System (ADS)
Sinkala, W.; Leach, P. G. L.; O'Hara, J. G.
We perform the group classification of a bond-pricing partial differential equation of mathematical finance to discover the combinations of arbitrary parameters that allow the partial differential equation to admit a nontrivial symmetry Lie algebra. As a result of the group classification we propose "natural" values for the arbitrary parameters in the partial differential equation, some of which validate the choices of parameters in such classical models as that of Vasicek and Cox-Ingersoll-Ross. For each set of these natural parameter values we compute the admitted Lie point symmetries, identify the corresponding symmetry Lie algebra and solve the partial differential equation.
Partially-massless higher-spin algebras and their finite-dimensional truncations
NASA Astrophysics Data System (ADS)
Joung, Euihun; Mkrtchyan, Karapet
2016-01-01
The global symmetry algebras of partially-massless (PM) higher-spin (HS) fields in (A)dS d+1 are studied. The algebras involving PM generators up to depth 2 ( ℓ - 1) are defined as the maximal symmetries of free conformal scalar field with 2 ℓ order wave equation in d dimensions. We review the construction of these algebras by quotienting certain ideals in the universal enveloping algebra of ( A) dS d+1 isometries. We discuss another description in terms of Howe duality and derive the formula for computing trace in these algebras. This enables us to explicitly calculate the bilinear form for this one-parameter family of algebras. In particular, the bilinear form shows the appearance of additional ideal for any non-negative integer values of ℓ - d/2 , which coincides with the annihilator of the one-row ℓ-box Young diagram representation of s{o}_{d+2} . Hence, the corresponding finite-dimensional coset algebra spanned by massless and PM generators is equivalent to the symmetries of this representation.
Finding the Axis of Revolution of an Algebraic Surface of Revolution.
Alcazar, Juan G; Goldman, Ron
2016-09-01
We present an algorithm for extracting the axis of revolution from the implicit equation of an algebraic surface of revolution based on three distinct computational methods: factoring the highest order form into quadrics, contracting the tensor of the highest order form, and using univariate resultants and gcds. We compare and contrast the advantages and disadvantages of each of these three techniques and we derive conditions under which each technique is most appropriate. In addition, we provide several necessary conditions for an implicit algebraic equation to represent a surface of revolution. PMID:26561460
Powell, Sarah R; Fuchs, Lynn S
2014-08-01
According to national mathematics standards, algebra instruction should begin at kindergarten and continue through elementary school. Most often, teachers address algebra in the elementary grades with problems related to solving equations or understanding functions. With 789 2(nd)- grade students, we administered (a) measures of calculations and word problems in the fall and (b) an assessment of pre-algebraic reasoning, with items that assessed solving equations and functions, in the spring. Based on the calculation and word-problem measures, we placed 148 students into 1 of 4 difficulty status categories: typically performing, calculation difficulty, word-problem difficulty, or difficulty with calculations and word problems. Analyses of variance were conducted on the 148 students; path analytic mediation analyses were conducted on the larger sample of 789 students. Across analyses, results corroborated the finding that word-problem difficulty is more strongly associated with difficulty with pre-algebraic reasoning. As an indicator of later algebra difficulty, word-problem difficulty may be a more useful predictor than calculation difficulty, and students with word-problem difficulty may require a different level of algebraic reasoning intervention than students with calculation difficulty. PMID:25309044
Geary, David C; Hoard, Mary K; Nugent, Lara; Rouder, Jeffrey N
2015-12-01
The relation between performance on measures of algebraic cognition and acuity of the approximate number system (ANS) and memory for addition facts was assessed for 171 ninth graders (92 girls) while controlling for parental education, sex, reading achievement, speed of numeral processing, fluency of symbolic number processing, intelligence, and the central executive component of working memory. The algebraic tasks assessed accuracy in placing x,y pairs in the coordinate plane, speed and accuracy of expression evaluation, and schema memory for algebra equations. ANS acuity was related to accuracy of placements in the coordinate plane and expression evaluation but not to schema memory. Frequency of fact retrieval errors was related to schema memory but not to coordinate plane or expression evaluation accuracy. The results suggest that the ANS may contribute to or be influenced by spatial-numerical and numerical-only quantity judgments in algebraic contexts, whereas difficulties in committing addition facts to long-term memory may presage slow formation of memories for the basic structure of algebra equations. More generally, the results suggest that different brain and cognitive systems are engaged during the learning of different components of algebraic competence while controlling for demographic and domain general abilities. PMID:26255604
Solution Methods for Certain Evolution Equations
NASA Astrophysics Data System (ADS)
Vega-Guzman, Jose Manuel
Solution methods for certain linear and nonlinear evolution equations are presented in this dissertation. Emphasis is placed mainly on the analytical treatment of nonautonomous differential equations, which are challenging to solve despite the existent numerical and symbolic computational software programs available. Ideas from the transformation theory are adopted allowing one to solve the problems under consideration from a non-traditional perspective. First, the Cauchy initial value problem is considered for a class of nonautonomous and inhomogeneous linear diffusion-type equation on the entire real line. Explicit transformations are used to reduce the equations under study to their corresponding standard forms emphasizing on natural relations with certain Riccati(and/or Ermakov)-type systems. These relations give solvability results for the Cauchy problem of the parabolic equation considered. The superposition principle allows to solve formally this problem from an unconventional point of view. An eigenfunction expansion approach is also considered for this general evolution equation. Examples considered to corroborate the efficacy of the proposed solution methods include the Fokker-Planck equation, the Black-Scholes model and the one-factor Gaussian Hull-White model. The results obtained in the first part are used to solve the Cauchy initial value problem for certain inhomogeneous Burgers-type equation. The connection between linear (the Diffusion-type) and nonlinear (Burgers-type) parabolic equations is stress in order to establish a strong commutative relation. Traveling wave solutions of a nonautonomous Burgers equation are also investigated. Finally, it is constructed explicitly the minimum-uncertainty squeezed states for quantum harmonic oscillators. They are derived by the action of corresponding maximal kinematical invariance group on the standard ground state solution. It is shown that the product of the variances attains the required minimum value
The Exocenter of a Generalized Effect Algebra
NASA Astrophysics Data System (ADS)
Foulis, David J.; Pulmannová, Sylvia
2011-12-01
Elements of the exocenter of a generalized effect algebra (GEA) correspond to decompositions of the GEA as a direct sum and thus the exocenter is a generalization to GEAs of the center of an effect algebra. The exocenter of a GEA is shown to be a boolean algebra, and the notion of a hull mapping for an effect algebra is generalized to a hull system for a GEA. We study Dedekind orthocompleteness of GEAs and extend to GEAs the notion of a centrally orthocomplete effect algebra.
Array algebra estimation in signal processing
NASA Astrophysics Data System (ADS)
Rauhala, U. A.
A general theory of linear estimators called array algebra estimation is interpreted in some terms of multidimensional digital signal processing, mathematical statistics, and numerical analysis. The theory has emerged during the past decade from the new field of a unified vector, matrix and tensor algebra called array algebra. The broad concepts of array algebra and its estimation theory cover several modern computerized sciences and technologies converting their established notations and terminology into one common language. Some concepts of digital signal processing are adopted into this language after a review of the principles of array algebra estimation and its predecessors in mathematical surveying sciences.
Filiform Lie algebras of order 3
Navarro, R. M.
2014-04-15
The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e., filiform Lie (super)algebras, into the theory of Lie algebras of order F. Thus, the concept of filiform Lie algebras of order F is obtained. In particular, for F = 3 it has been proved that by using infinitesimal deformations of the associated model elementary Lie algebra it can be obtained families of filiform elementary lie algebras of order 3, analogously as that occurs into the theory of Lie algebras [M. Vergne, “Cohomologie des algèbres de Lie nilpotentes. Application à l’étude de la variété des algèbres de Lie nilpotentes,” Bull. Soc. Math. France 98, 81–116 (1970)]. Also we give the dimension, using an adaptation of the sl(2,C)-module Method, and a basis of such infinitesimal deformations in some generic cases.
Atomic effect algebras with compression bases
Caragheorgheopol, Dan; Tkadlec, Josef
2011-01-15
Compression base effect algebras were recently introduced by Gudder [Demonstr. Math. 39, 43 (2006)]. They generalize sequential effect algebras [Rep. Math. Phys. 49, 87 (2002)] and compressible effect algebras [Rep. Math. Phys. 54, 93 (2004)]. The present paper focuses on atomic compression base effect algebras and the consequences of atoms being foci (so-called projections) of the compressions in the compression base. Part of our work generalizes results obtained in atomic sequential effect algebras by Tkadlec [Int. J. Theor. Phys. 47, 185 (2008)]. The notion of projection-atomicity is introduced and studied, and several conditions that force a compression base effect algebra or the set of its projections to be Boolean are found. Finally, we apply some of these results to sequential effect algebras and strengthen a previously established result concerning a sufficient condition for them to be Boolean.
Atomic effect algebras with compression bases
NASA Astrophysics Data System (ADS)
Caragheorgheopol, Dan; Tkadlec, Josef
2011-01-01
Compression base effect algebras were recently introduced by Gudder [Demonstr. Math. 39, 43 (2006)]. They generalize sequential effect algebras [Rep. Math. Phys. 49, 87 (2002)] and compressible effect algebras [Rep. Math. Phys. 54, 93 (2004)]. The present paper focuses on atomic compression base effect algebras and the consequences of atoms being foci (so-called projections) of the compressions in the compression base. Part of our work generalizes results obtained in atomic sequential effect algebras by Tkadlec [Int. J. Theor. Phys. 47, 185 (2008)]. The notion of projection-atomicity is introduced and studied, and several conditions that force a compression base effect algebra or the set of its projections to be Boolean are found. Finally, we apply some of these results to sequential effect algebras and strengthen a previously established result concerning a sufficient condition for them to be Boolean.
The sixth Painlevé transcendent and uniformization of algebraic curves
NASA Astrophysics Data System (ADS)
Brezhnev, Yurii V.
2016-02-01
We exhibit a remarkable connection between sixth equation of Painlevé list and infinite families of explicitly uniformizable algebraic curves. Fuchsian equations, congruences for group transformations, differential calculus of functions and differentials on corresponding Riemann surfaces, Abelian integrals, analytic connections (generalizations of Chazy's equations), and other attributes of uniformization can be obtained for these curves. As byproducts of the theory, we establish relations between Picard-Hitchin's curves, hyperelliptic curves, punctured tori, Heun's equations, and the famous differential equation which Apéry used to prove the irrationality of Riemann's ζ (3).
Generalized quantum statistics and Lie (super)algebras
NASA Astrophysics Data System (ADS)
Stoilova, N. I.
2016-03-01
Generalized quantum statistics, such as paraboson and parafermion statistics, are characterized by triple relations which are related to Lie (super)algebras of type B. The correspondence of the Fock spaces of parabosons, parafermions as well as the Fock space of a system of parafermions and parabosons to irreducible representations of (super)algebras of type B will be pointed out. Example of generalized quantum statistics connected to the basic classical Lie superalgebra B(1|1) ≡ osp(3|2) with interesting physical properties, such as noncommutative coordinates, will be given. Therefore the article focuses on the question, addressed already in 1950 by Wigner: do the equation of motion determine the quantum mechanical commutation relation?
Matrix De Rham Complex and Quantum A-infinity algebras
NASA Astrophysics Data System (ADS)
Barannikov, S.
2014-04-01
I establish the relation of the non-commutative BV-formalism with super-invariant matrix integration. In particular, the non-commutative BV-equation, defining the quantum A ∞-algebras, introduced in Barannikov (Modular operads and non-commutative Batalin-Vilkovisky geometry. IMRN, vol. 2007, rnm075. Max Planck Institute for Mathematics 2006-48, 2007), is represented via de Rham differential acting on the supermatrix spaces related with Bernstein-Leites simple associative algebras with odd trace q( N), and gl( N| N). I also show that the matrix Lagrangians from Barannikov (Noncommutative Batalin-Vilkovisky geometry and matrix integrals. Isaac Newton Institute for Mathematical Sciences, Cambridge University, 2006) are represented by equivariantly closed differential forms.
The linear algebraic method for electron-molecule collisions
Collins, L.A.; Schneider, B.I.
1995-09-01
In order to find numerical solutions to many problems in physics, chemistry and engineering it is necessary to place the equations of motion (classical or quantal) of the variables of dynamical interest on a discrete mesh. The formulation of scattering theory in quantum mechanics is no exception and leads to partial differential or integral equations which may only be solved on digital computers. Typical approaches introduce a numerical grid or basis set expansion of the scattering wavefunction in order to reduce `the problem to the solution of a set of algebraic equations. Often it is more convenient to deal with the scattering matrix or phase amplitude rather than the wavefunction but the essential features of the numerics are unchanged. In this section we will formulate the Linear Algebraic Method (LAM) for electron-atom/molecule scattering for a simple, one-dimensional radial potential. This will illustrate the basic approach and enable the uninitiated reader to follow the subsequent discussion of the general, multi-channel, electron-molecule formulation without undue difficulty. We begin by writing the Schroedinger equation for the s-wave scattering of a structureless particle by a short-range, local potential.
A Z{sub 3} generalization of Pauli's principle, quark algebra and the Lorentz invariance
Kerner, Richard
2012-09-24
The fundamental difference between bosons and fermions is that they obey two alternative representations of the Z{sub 2} group, resulting in symmetric or anti-symmetric binary commutation relations. Our aim is to explore possibilities offered by ternary Z{sub 3} generalization commutation relations. This leads to cubic and ternary algebras which are a direct generalization of usual commutation relations, with Z{sub 3}-grading replacing the usual Z{sub 2}-grading. Properties and structure of such algebras are discussed, with special interest in a low-dimensional one, with two generators. Invariant cubic forms on such algebras are introduced, and it is shown how the SL(2,C) group arises naturally as the symmetry group preserving these forms. In the case of lowest dimension, with only two generators, it is shown how the cubic combinations of elements of the same Z{sub 3} grade behave like Lorentz spinors, while binary products of elements of this algebra with an element of the conjugate algebra behave like Lorentz vectors. The wave equation generalizing the Dirac operator to the Z{sub 3}-graded case is introduced, whose diagonalization leads to a third-order equation. The solutions of this equation cannot propagate because their exponents always contain non-oscillating real damping factor. We show how certain cubic products can propagate nevertheless. The model suggests the origin of the color SU(3) symmetry obeyed by quark states.
A new model for algebraic Rossby solitary waves in rotation fluid and its solution
NASA Astrophysics Data System (ADS)
Chen, Yao-Deng; Yang, Hong-Wei; Gao, Yu-Fang; Yin, Bao-Shu; Feng, Xing-Ru
2015-09-01
A generalized Boussinesq equation that includes the dissipation effect is derived to describe a kind of algebraic Rossby solitary waves in a rotating fluid by employing perturbation expansions and stretching transformations of time and space. Using this equation, the conservation laws of algebraic Rossby solitary waves are discussed. It is found that the mass, the momentum, the energy, and the velocity of center of gravity of the algebraic solitary waves are conserved in the propagation process. Finally, the analytical solution of the equation is generated. Based on the analytical solution, the properties of the algebraic solitary waves and the dissipation effect are discussed. The results point out that, similar to classic solitary waves, the dissipation can cause the amplitude and the speed of solitary waves to decrease; however, unlike classic solitary waves, the algebraic solitary waves can split during propagation and the decrease of the detuning parameter can accelerate the occurrence of the solitary waves fission phenomenon. Project supported by the Shandong Provincial Key Laboratory of Marine Ecology and Environment and Disaster Prevention and Mitigation Project, China (Grant No. 2012010), the National Natural Science Foundation of China (Grant Nos. 41205082 and 41476019), the Special Funds for Theoretical Physics of the National Natural Science Foundation of China (Grant No. 11447205), and the Priority Academic Program Development of Jiangsu Higher Education Institutions (PAPD), China.
Procedural Embodiment and Magic in Linear Equations
ERIC Educational Resources Information Center
de Lima, Rosana Nogueira; Tall, David
2008-01-01
How do students think about algebra? Here we consider a theoretical framework which builds from natural human functioning in terms of embodiment--perceiving the world, acting on it and reflecting on the effect of the actions--to shift to the use of symbolism to solve linear equations. In the main, the students involved in this study do not…
A Unified Introduction to Ordinary Differential Equations
ERIC Educational Resources Information Center
Lutzer, Carl V.
2006-01-01
This article describes how a presentation from the point of view of differential operators can be used to (partially) unify the myriad techniques in an introductory course in ordinary differential equations by providing students with a powerful, flexible paradigm that extends into (or from) linear algebra. (Contains 1 footnote.)
Synthesizing Strategies Creatively: Solving Linear Equations
ERIC Educational Resources Information Center
Ponce, Gregorio A.; Tuba, Imre
2015-01-01
New strategies can ignite teachers' imagination to create new lessons or adapt lessons created by others. In this article, the authors present the experience of an algebra teacher and his students solving linear and literal equations and explain how the use of ideas found in past NCTM journals helped bring this lesson to life. The…
NASA Astrophysics Data System (ADS)
Essén, Hanno; Nordmark, Arne B.
2016-09-01
The canonical Poisson bracket algebra of four-dimensional relativistic mechanics is used to derive the equation of motion for a charged particle, with the Lorentz force, and the homogeneous Maxwell equations.
Hecke-Clifford Algebras and Spin Hecke Algebras IV: Odd Double Affine Type
NASA Astrophysics Data System (ADS)
Khongsap, Ta; Wang, Weiqiang
2009-01-01
We introduce an odd double affine Hecke algebra (DaHa) generated by a classical Weyl group W and two skew-polynomial subalgebras of anticommuting generators. This algebra is shown to be Morita equivalent to another new DaHa which are generated by W and two polynomial-Clifford subalgebras. There is yet a third algebra containing a spin Weyl group algebra which is Morita (super)equivalent to the above two algebras. We establish the PBW properties and construct Verma-type representations via Dunkl operators for these algebras.
The algebras of large N matrix mechanics
Halpern, M.B.; Schwartz, C.
1999-09-16
Extending early work, we formulate the large N matrix mechanics of general bosonic, fermionic and supersymmetric matrix models, including Matrix theory: The Hamiltonian framework of large N matrix mechanics provides a natural setting in which to study the algebras of the large N limit, including (reduced) Lie algebras, (reduced) supersymmetry algebras and free algebras. We find in particular a broad array of new free algebras which we call symmetric Cuntz algebras, interacting symmetric Cuntz algebras, symmetric Bose/Fermi/Cuntz algebras and symmetric Cuntz superalgebras, and we discuss the role of these algebras in solving the large N theory. Most important, the interacting Cuntz algebras are associated to a set of new (hidden!) local quantities which are generically conserved only at large N. A number of other new large N phenomena are also observed, including the intrinsic nonlocality of the (reduced) trace class operators of the theory and a closely related large N field identification phenomenon which is associated to another set (this time nonlocal) of new conserved quantities at large N.
Alternative algebraic approaches in quantum chemistry
Mezey, Paul G.
2015-01-22
Various algebraic approaches of quantum chemistry all follow a common principle: the fundamental properties and interrelations providing the most essential features of a quantum chemical representation of a molecule or a chemical process, such as a reaction, can always be described by algebraic methods. Whereas such algebraic methods often provide precise, even numerical answers, nevertheless their main role is to give a framework that can be elaborated and converted into computational methods by involving alternative mathematical techniques, subject to the constraints and directions provided by algebra. In general, algebra describes sets of interrelations, often phrased in terms of algebraic operations, without much concern with the actual entities exhibiting these interrelations. However, in many instances, the very realizations of two, seemingly unrelated algebraic structures by actual quantum chemical entities or properties play additional roles, and unexpected connections between different algebraic structures are often giving new insight. Here we shall be concerned with two alternative algebraic structures: the fundamental group of reaction mechanisms, based on the energy-dependent topology of potential energy surfaces, and the interrelations among point symmetry groups for various distorted nuclear arrangements of molecules. These two, distinct algebraic structures provide interesting interrelations, which can be exploited in actual studies of molecular conformational and reaction processes. Two relevant theorems will be discussed.
Elliptic Quantum Groups E_{τ ,η } ({s}{l}_2 ) and Quasi-Hopf Algebras
NASA Astrophysics Data System (ADS)
Enriquez, B.; Felder, G.
1998-08-01
We construct an algebra morphism from the elliptic quantum group E_{τ ,η } ({s}{l}_2 ) to a certain elliptic version of the "quantum loop groups in higher genus" studied by V. Rubtsov and the first author. This provides an embedding of E_{τ ,η } ({s}{l}_2 ) in an algebra "with central extension". In particular we construct L ±-operators obeying a dynamical version of the Reshetikhin-:Semenov-Tian-Shansky relations. To do that, we construct the factorization of a certain twist of the quantum loop algebra, that automatically satisfies the "twisted cocycle equation" of O. Babelon, D. Bernard and E. Billey, and therefore provides a solution of the dynamical Yang-Baxter equation.
BLAS- BASIC LINEAR ALGEBRA SUBPROGRAMS
NASA Technical Reports Server (NTRS)
Krogh, F. T.
1994-01-01
The Basic Linear Algebra Subprogram (BLAS) library is a collection of FORTRAN callable routines for employing standard techniques in performing the basic operations of numerical linear algebra. The BLAS library was developed to provide a portable and efficient source of basic operations for designers of programs involving linear algebraic computations. The subprograms available in the library cover the operations of dot product, multiplication of a scalar and a vector, vector plus a scalar times a vector, Givens transformation, modified Givens transformation, copy, swap, Euclidean norm, sum of magnitudes, and location of the largest magnitude element. Since these subprograms are to be used in an ANSI FORTRAN context, the cases of single precision, double precision, and complex data are provided for. All of the subprograms have been thoroughly tested and produce consistent results even when transported from machine to machine. BLAS contains Assembler versions and FORTRAN test code for any of the following compilers: Lahey F77L, Microsoft FORTRAN, or IBM Professional FORTRAN. It requires the Microsoft Macro Assembler and a math co-processor. The PC implementation allows individual arrays of over 64K. The BLAS library was developed in 1979. The PC version was made available in 1986 and updated in 1988.
NASA Astrophysics Data System (ADS)
Boyko, Vyacheslav M.; Popovych, Roman O.; Shapoval, Nataliya M.
2015-06-01
Admissible point transformations of classes of rth order linear ordinary differential equations (in particular, the whole class of such equations and its subclasses of equations in the rational form, the Laguerre-Forsyth form, the first and second Arnold forms) are exhaustively described. Using these results, the group classification of such equations is carried out within the algebraic approach in three different ways.
Modular properties of characters of the W3 algebra
NASA Astrophysics Data System (ADS)
Iles, Nicholas J.; Watts, Gérard M. T.
2016-01-01
In a previous work, exact formulae and differential equations were found for traces of powers of the zero mode in the W 3 algebra. In this paper we investigate their modular properties, in particular we find the exact result for the modular transformations of traces of W 0 n for n = 1 , 2 , 3, solving exactly the problem studied approximately by Gaberdiel, Hartman and Jin. We also find modular differential equations satisfied by traces with a single W 0 inserted, and relate them to differential equations studied by Mathur et al. We find that, remarkably, these all seem to be related to weight 0 modular forms with expansions with non-negative integer coefficients.
Dual isomonodromic deformations and moment maps to loop algebras
NASA Astrophysics Data System (ADS)
Harnad, J.
1994-12-01
The Hamiltonian structure of the monodromy preserving deformation equations of Jimbo et al [JMMS] is explained in terms of parameter dependent pairs of moment maps from a symplectic vector space to the dual spaces of two different loop algebras. The nonautonomous Hamiltonian systems generating the deformations are obtained by pulling back spectral invariants on Poisson subspaces consisting of elements that are rational in the loop parameter and identifying the deformation parameters with those determining the moment maps. This construction is shown to lead to “dual” pairs of matrix differential operators whose monodromy is preserved under the same family of deformations. As illustrative examples, involving discrete and continuous reductions, a higher rank generalization of the Hamiltonian equations governing the correlation functions for an impenetrable Bose gas is obtained, as well as dual pairs of isomonodromy representations for the equations of the Painlevé transcendents P V and VI .
Algebraic reconstruction techniques for spectral reconstruction in diffuse optical tomography
Brendel, Bernhard; Ziegler, Ronny; Nielsen, Tim
2008-12-01
Reconstruction in diffuse optical tomography (DOT) necessitates solving the diffusion equation, which is nonlinear with respect to the parameters that have to be reconstructed. Currently applied solving methods are based on the linearization of the equation. For spectral three-dimensional reconstruction, the emerging equation system is too large for direct inversion, but the application of iterative methods is feasible. Computational effort and speed of convergence of these iterative methods are crucial since they determine the computation time of the reconstruction. In this paper, the iterative methods algebraic reconstruction technique (ART) and conjugated gradients (CGs) as well as a new modified ART method are investigated for spectral DOT reconstruction. The aim of the modified ART scheme is to speed up the convergence by considering the specific conditions of spectral reconstruction. As a result, it converges much faster to favorable results than conventional ART and CG methods.
Using trees to compute approximate solutions to ordinary differential equations exactly
NASA Technical Reports Server (NTRS)
Grossman, Robert
1991-01-01
Some recent work is reviewed which relates families of trees to symbolic algorithms for the exact computation of series which approximate solutions of ordinary differential equations. It turns out that the vector space whose basis is the set of finite, rooted trees carries a natural multiplication related to the composition of differential operators, making the space of trees an algebra. This algebraic structure can be exploited to yield a variety of algorithms for manipulating vector fields and the series and algebras they generate.
Maximal Abelian subalgebras of pseudoeuclidean real Lie algebras and their application in physics
NASA Astrophysics Data System (ADS)
Thomova, Zora
1998-12-01
We construct the conjugacy classes of maximal abelian subalgebras (MASAs) of the real pseudoeuclidean Lie algebras e(p, q) under the conjugation by the corresponding pseudoeuclidean Lie groups E(p, q). The algebra e( p, q) is a semi-direct sum of the pseudoorthogonal algebra o(p, q) and the abelian ideal of translations T(p + q). We use this particular structure to construct first the splitting MASAs, which are themselves direct sums of subalgebras of o(p, q) and T(p + q). Splitting MASAs give rise to the nonsplitting MASAs of e(p, q). The results for q = 0, 1 and 2 are entirely explicit. MASAs of e(p, 0) and e( p, 1) are used to construct conformally nonequivalent coordinate systems in which the wave equation and Hamilton-Jacobi equations allow the separation of variables. As an application of subgroup classification we perform symmetry reduction for two nonlinear partial differential equations. The method of symmetry reduction is used to obtain analytical solutions of the Landau-Lifshitz and a nonlinear diffusion equations. The symmetry group is found for both equations and all two-dimensional subgroups are classified. These are used to reduce both equations to ordinary differential equations, which are solved in terms of elliptic functions.
Walendziak, Andrzej
2015-01-01
The notions of an ideal and a fuzzy ideal in BN-algebras are introduced. The properties and characterizations of them are investigated. The concepts of normal ideals and normal congruences of a BN-algebra are also studied, the properties of them are displayed, and a one-to-one correspondence between them is presented. Conditions for a fuzzy set to be a fuzzy ideal are given. The relationships between ideals and fuzzy ideals of a BN-algebra are established. The homomorphic properties of fuzzy ideals of a BN-algebra are provided. Finally, characterizations of Noetherian BN-algebras and Artinian BN-algebras via fuzzy ideals are obtained. PMID:26125050
Lax operator algebras and integrable systems
NASA Astrophysics Data System (ADS)
Sheinman, O. K.
2016-02-01
A new class of infinite-dimensional Lie algebras, called Lax operator algebras, is presented, along with a related unifying approach to finite-dimensional integrable systems with a spectral parameter on a Riemann surface such as the Calogero-Moser and Hitchin systems. In particular, the approach includes (non-twisted) Kac-Moody algebras and integrable systems with a rational spectral parameter. The presentation is based on quite simple ideas about the use of gradings of semisimple Lie algebras and their interaction with the Riemann-Roch theorem. The basic properties of Lax operator algebras and the basic facts about the theory of the integrable systems in question are treated (and proved) from this general point of view. In particular, the existence of commutative hierarchies and their Hamiltonian properties are considered. The paper concludes with an application of Lax operator algebras to prequantization of finite-dimensional integrable systems. Bibliography: 51 titles.
Algebra: A Challenge at the Crossroads of Policy and Practice
ERIC Educational Resources Information Center
Stein, Mary Kay; Kaufman, Julia Heath; Sherman, Milan; Hillen, Amy F.
2011-01-01
The authors review what is known about early and universal algebra, including who is getting access to algebra and student outcomes associated with algebra course taking in general and specifically with universal algebra policies. The findings indicate that increasing numbers of students, some of whom are underprepared, are taking algebra earlier.…
Coverings of topological semi-abelian algebras
NASA Astrophysics Data System (ADS)
Mucuk, Osman; Demir, Serap
2016-08-01
In this work, we study on a category of topological semi-abelian algebras which are topological models of given an algebraic theory T whose category of models is semi-abelian; and investigate some results on the coverings of topological models of such theories yielding semi-abelian categories. We also consider the internal groupoid structure in the semi-abelian category of T-algebras, and give a criteria for the lifting of internal groupoid structure to the covering groupoids.
Finite-dimensional simple graded algebras
Bahturin, Yu A; Zaicev, M V; Sehgal, S K
2008-08-31
Let R be a finite-dimensional algebra over an algebraically closed field F graded by an arbitrary group G. In the paper it is proved that if the characteristic of F is zero or does not divide the order of any finite subgroup of G, then R is graded simple if and only if it is isomorphic to a matrix algebra over a finite-dimensional graded skew field. Bibliography: 24 titles.
Software package and API in MATLAB for working with fuzzy algebras
NASA Astrophysics Data System (ADS)
Zahariev, Zlatko
2009-11-01
New software package for fuzzy calculus is presented in this paper. Most important feature of this package is solving fuzzy linear systems of equations and inequalities in fuzzy algebras. Together with this, some other functionality is implemented. An example is also given.
Computing the Moore-Penrose Inverse of a Matrix with a Computer Algebra System
ERIC Educational Resources Information Center
Schmidt, Karsten
2008-01-01
In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…
Muehlhoff, Rainer
2011-02-15
Existence and uniqueness of advanced and retarded fundamental solutions (Green's functions) and of global solutions to the Cauchy problem is proved for a general class of first order linear differential operators on vector bundles over globally hyperbolic Lorentzian manifolds. This is a core ingredient to CAR-/CCR-algebraic constructions of quantum field theories on curved spacetimes, particularly for higher spin field equations.
How Our Methods of Writing Algebra Have Evolved: A Thread through History
ERIC Educational Resources Information Center
Oliver, Jack
2007-01-01
Today's generation does not always have its clever ways of writing algebraic equations and expressions. This paper attempts to trace how this system has developed since the dawn of civilization. The author looks at a few snapshots taken at distinct times to illustrate this progress. (Contains 4 tables.)
Cognitive Tutor[R] Algebra I. What Works Clearinghouse Intervention Report
ERIC Educational Resources Information Center
What Works Clearinghouse, 2007
2007-01-01
"Cognitive Tutor[R] Algebra I," a full year course, delivers instruction in single variable data, simplifying linear expressions, mathematical modeling, solving systems with linear equations, problem solving using proportional reasoning, and powers and exponents. Students work at their own pace to develop problem-solving skills. The duration of…
ERIC Educational Resources Information Center
Kopp, Jaine; Bergman, Lincoln
This teacher guide helps build a solid foundation in algebra for students in grades 3-5 in which students gain essential understanding of properties of numbers, variables, functions, equations, and formulas. Throughout the problem solving activities, students use computational skills and gain a deeper understanding of the number system. Students…
Algebraic Bethe Ansatz for Open XXX Model with Triangular Boundary Matrices
NASA Astrophysics Data System (ADS)
Belliard, Samuel; Crampé, Nicolas; Ragoucy, Eric
2013-05-01
We consider an open XXX spin chain with two general boundary matrices whose entries obey a relation, which is equivalent to the possibility to put simultaneously the two matrices in a upper-triangular form. We construct Bethe vectors by means of a generalized algebraic Bethe ansatz. As usual, the method uses Bethe equations and provides transfer matrix eigenvalues.
ERIC Educational Resources Information Center
Matsumoto, Paul S.
2014-01-01
The article describes the use of Mathematica, a computer algebra system (CAS), in a high school chemistry course. Mathematica was used to generate a graph, where a slider controls the value of parameter(s) in the equation; thus, students can visualize the effect of the parameter(s) on the behavior of the system. Also, Mathematica can show the…
NASA Technical Reports Server (NTRS)
Rostand, Philippe
1988-01-01
The incorporation of algebraic turbulence models in a solver for the 2-D compressible Navier-Stokes equations using triangular grids is described. A practical way to use the Cebeci Smith model, and to modify it in separated regions is proposed. The ability of the model to predict high speed, perfect gas boundary layers is investigated from a numerical point of view.
Algebra and Problem-Solving in Down Syndrome: A Study with 15 Teenagers
ERIC Educational Resources Information Center
Martinez, Elisabetta Monari; Pellegrini, Katia
2010-01-01
There is a common opinion that mathematics is difficult for persons with Down syndrome, because of a weakness in numeracy and in abstract thinking. Since 1996, some single case studies have suggested that new opportunities in mathematics are possible for these students: some of them learned algebra and also learned to use equations in…
ERIC Educational Resources Information Center
Lagrange, Jean-Baptiste
2014-01-01
From the early nineties, most reformed curricula at upper secondary level choose to give functions a major position and a priority over rational expressions and equations of traditional algebra. The goal of this paper is to introduce key challenges resulting from this choice and to discuss the contribution that software environments associating…
NASA Astrophysics Data System (ADS)
Manerowska, Anna; Nieznański, Edward; Mulawka, Jan
2013-10-01
Our aim is to present the algebra of concepts in two formal languages. First, after introducing a primary relation between concepts, which is subsumption, we shall specify in a language that uses quantifiers, the Boolean algebra of general concepts. Next, we shall note down the same algebra in simplified non-quantifying language, in order to use it as basis for two specific implementations, i.e. to create the Boolean algebras of deontic concepts and axiological concepts.
XXZ-type Bethe ansatz equations and quasi-polynomials
NASA Astrophysics Data System (ADS)
Li, Jian Rong; Tarasov, Vitaly
2013-01-01
We study solutions of the Bethe ansatz equation for the XXZ-type integrable model associated with the Lie algebra fraktur sfraktur lN. We give a correspondence between solutions of the Bethe ansatz equations and collections of quasi-polynomials. This extends the results of E. Mukhin and A. Varchenko for the XXX-type model and the trigonometric Gaudin model.
A Unified Approach to Teaching Quadratic and Cubic Equations.
ERIC Educational Resources Information Center
Ward, A. J. B.
2003-01-01
Presents a simple method for teaching the algebraic solution of cubic equations via completion of the cube. Shows that this method is readily accepted by students already familiar with completion of the square as a method for quadratic equations. (Author/KHR)
Representations of Super Yang-Mills Algebras
NASA Astrophysics Data System (ADS)
Herscovich, Estanislao
2013-06-01
We study in this article the representation theory of a family of super algebras, called the super Yang-Mills algebras, by exploiting the Kirillov orbit method à la Dixmier for nilpotent super Lie algebras. These super algebras are an extension of the so-called Yang-Mills algebras, introduced by A. Connes and M. Dubois-Violette in (Lett Math Phys 61(2):149-158, 2002), and in fact they appear as a "background independent" formulation of supersymmetric gauge theory considered in physics, in a similar way as Yang-Mills algebras do the same for the usual gauge theory. Our main result states that, under certain hypotheses, all Clifford-Weyl super algebras {{Cliff}q(k) ⊗ Ap(k)}, for p ≥ 3, or p = 2 and q ≥ 2, appear as a quotient of all super Yang-Mills algebras, for n ≥ 3 and s ≥ 1. This provides thus a family of representations of the super Yang-Mills algebras.
Difficulties in initial algebra learning in Indonesia
NASA Astrophysics Data System (ADS)
Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja
2014-12-01
Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was significantly below the average student performance in other Southeast Asian countries such as Thailand, Malaysia, and Singapore. This fact gave rise to this study which aims to investigate Indonesian students' difficulties in algebra. In order to do so, a literature study was carried out on students' difficulties in initial algebra. Next, an individual written test on algebra tasks was administered, followed by interviews. A sample of 51 grade VII Indonesian students worked the written test, and 37 of them were interviewed afterwards. Data analysis revealed that mathematization, i.e., the ability to translate back and forth between the world of the problem situation and the world of mathematics and to reorganize the mathematical system itself, constituted the most frequently observed difficulty in both the written test and the interview data. Other observed difficulties concerned understanding algebraic expressions, applying arithmetic operations in numerical and algebraic expressions, understanding the different meanings of the equal sign, and understanding variables. The consequences of these findings on both task design and further research in algebra education are discussed.
Multicloning and Multibroadcasting in Operator Algebras
NASA Astrophysics Data System (ADS)
Kaniowski, Krzysztof; Lubnauer, Katarzyna; Łuczak, Andrzej
2015-12-01
We investigate multicloning and multibroadcasting in the general operator algebra framework in arbitrary dimension, generalizing thus results obtained in this framework for simple cloning and broadcasting.
On Realization of Generalized Effect Algebras
NASA Astrophysics Data System (ADS)
Paseka, Jan
2012-12-01
A well-known fact is that there is a finite orthomodular lattice with an order determining set of states which is not representable in the standard quantum logic, the lattice L(H) of all closed subspaces of a separable complex Hilbert space. We show that a generalized effect algebra is representable in the operator generalized effect algebra G(H) of effects of a complex Hilbert space H iff it has an order determining set of generalized states. This extends the corresponding results for effect algebras of Riečanová and Zajac. Further, any operator generalized effect algebra G(H) possesses an order determining set of generalized states.
Literal algebra for satellite dynamics. [perturbation analysis
NASA Technical Reports Server (NTRS)
Gaposchkin, E. M.
1975-01-01
A description of the rather general class of operations available is given and the operations are related to problems in satellite dynamics. The implementation of an algebra processor is discussed. The four main categories of symbol processors are related to list processing, string manipulation, symbol manipulation, and formula manipulation. Fundamental required operations for an algebra processor are considered. It is pointed out that algebra programs have been used for a number of problems in celestial mechanics with great success. The advantage of computer algebra is its accuracy and speed.
Banach Algebras Associated to Lax Pairs
NASA Astrophysics Data System (ADS)
Glazebrook, James F.
2015-04-01
Lax pairs featuring in the theory of integrable systems are known to be constructed from a commutative algebra of formal pseudodifferential operators known as the Burchnall- Chaundy algebra. Such pairs induce the well known KP flows on a restricted infinite-dimensional Grassmannian. The latter can be exhibited as a Banach homogeneous space constructed from a Banach *-algebra. It is shown that this commutative algebra of operators generating Lax pairs can be associated with a commutative C*-subalgebra in the C*-norm completion of the *-algebra. In relationship to the Bose-Fermi correspondence and the theory of vertex operators, this C*-algebra has an association with the CAR algebra of operators as represented on Fermionic Fock space by the Gelfand-Naimark-Segal construction. Instrumental is the Plücker embedding of the restricted Grassmannian into the projective space of the associated Hilbert space. The related Baker and tau-functions provide a connection between these two C*-algebras, following which their respective state spaces and Jordan-Lie-Banach algebras structures can be compared.
Type-Decomposition of an Effect Algebra
NASA Astrophysics Data System (ADS)
Foulis, David J.; Pulmannová, Sylvia
2010-10-01
Effect algebras (EAs), play a significant role in quantum logic, are featured in the theory of partially ordered Abelian groups, and generalize orthoalgebras, MV-algebras, orthomodular posets, orthomodular lattices, modular ortholattices, and boolean algebras. We study centrally orthocomplete effect algebras (COEAs), i.e., EAs satisfying the condition that every family of elements that is dominated by an orthogonal family of central elements has a supremum. For COEAs, we introduce a general notion of decomposition into types; prove that a COEA factors uniquely as a direct sum of types I, II, and III; and obtain a generalization for COEAs of Ramsay’s fourfold decomposition of a complete orthomodular lattice.
NASA Astrophysics Data System (ADS)
Chajda, Ivan
2014-10-01
Commutative BCI-algebras can be considered as semilattices whose sections are equipped with certain involutions. A similar view can be applied to commutative BCK-algebras. However, for general BCK-algebras a certain construction was settled by the author and J. Kühr (Miskolc Math. Notes 8:11-21, 2007) showing that they can be considered as structures essentially weaker than semilattices but still with certain involutions in sections. The aim of this paper is to involve a similar approach for BCI-algebras.
Loop equations and KDV hierarchy in 2-D quantum gravity
Fucito, F. ); Martellini, M. )
1992-04-20
In this paper a derivation of the loop equation for two-dimensional quantum gravity from the KdV equations and the string equation of the one-matrix model is given. The loop equation was found to be equivalent to an infinite set of linear constraints on the square root of the partition function satisfying the virasoro algebra. Starting form the equations expressing these constraints. The authors are able to rederive the equations of the KdV hierarchy using the vertex operator construction of the A{sup (I)}{sub I} infinite dimensional twisted Kac-Moody algebra. From these considerations it follows that the solutions of the string equation of the one-matrix model are given by a subset of the solutions of the KdV hierarchy.
Analysis on singular spaces: Lie manifolds and operator algebras
NASA Astrophysics Data System (ADS)
Nistor, Victor
2016-07-01
We discuss and develop some connections between analysis on singular spaces and operator algebras, as presented in my sequence of four lectures at the conference Noncommutative geometry and applications, Frascati, Italy, June 16-21, 2014. Therefore this paper is mostly a survey paper, but the presentation is new, and there are included some new results as well. In particular, Sections 3 and 4 provide a complete short introduction to analysis on noncompact manifolds that is geared towards a class of manifolds-called "Lie manifolds" -that often appears in practice. Our interest in Lie manifolds is due to the fact that they provide the link between analysis on singular spaces and operator algebras. The groupoids integrating Lie manifolds play an important background role in establishing this link because they provide operator algebras whose structure is often well understood. The initial motivation for the work surveyed here-work that spans over close to two decades-was to develop the index theory of stratified singular spaces. Meanwhile, several other applications have emerged as well, including applications to Partial Differential Equations and Numerical Methods. These will be mentioned only briefly, however, due to the lack of space. Instead, we shall concentrate on the applications to Index theory.
ERIC Educational Resources Information Center
Ozgun-Koca, S. Ash
2010-01-01
Although growing numbers of secondary school mathematics teachers and students use calculators to study graphs, they mainly rely on paper-and-pencil when manipulating algebraic symbols. However, the Computer Algebra Systems (CAS) on computers or handheld calculators create new possibilities for teaching and learning algebraic manipulation. This…
Results of Using Algebra Tiles as Meaningful Representations of Algebra Concepts.
ERIC Educational Resources Information Center
Sharp, Janet M.
Mathematical meanings can be developed when individuals construct translations between algebra symbol systems and physical systems that represent one another. Previous research studies indicated (1) few high school students connect whole number manipulations to algebraic manipulations and (2) students who encounter algebraic ideas through…
Some C∗-algebras which are coronas of non-C∗-Banach algebras
NASA Astrophysics Data System (ADS)
Voiculescu, Dan-Virgil
2016-07-01
We present results and motivating problems in the study of commutants of hermitian n-tuples of Hilbert space operators modulo normed ideals. In particular, the C∗-algebras which arise in this context as coronas of non-C∗-Banach algebras, the connections with normed ideal perturbations of operators, the hyponormal operators and the bidual Banach algebras one encounters are discussed.
Leibniz algebras associated with some finite-dimensional representation of Diamond Lie algebra
NASA Astrophysics Data System (ADS)
Camacho, Luisa M.; Ladra, Manuel; Karimjanov, Iqboljon A.; Omirov, Bakhrom A.
2016-03-01
In this paper we classify Leibniz algebras whose associated Lie algebra is four-dimensional Diamond Lie algebra 𝕯 and the ideal generated by squares of elements is represented by one of the finite-dimensional indecomposable D-modules Un 1, Un 2 or Wn 1 or Wn 2.
Algebraic Bethe ansatz for Q-operators: the Heisenberg spin chain
NASA Astrophysics Data System (ADS)
Frassek, Rouven
2015-07-01
We diagonalize Q-operators for rational homogeneous {sl}(2)-invariant Heisenberg spin chains using the algebraic Bethe ansatz. After deriving the fundamental commutation relations relevant for this case from the Yang-Baxter equation we demonstrate that the Q-operators act diagonally on the Bethe vectors if the Bethe equations are satisfied. In this way we provide a direct proof that the eigenvalues of the Q-operators studied here are given by Baxter's Q-functions.
Primordial fluctuations from deformed quantum algebras
Day, Andrew C.; Brown, Iain A.; Seahra, Sanjeev S. E-mail: ibrown@astro.uio.no
2014-03-01
We study the implications of deformed quantum algebras for the generation of primordial perturbations from slow-roll inflation. Specifically, we assume that the quantum commutator of the inflaton's amplitude and momentum in Fourier space gets modified at energies above some threshold M{sub *}. We show that when the commutator is modified to be a function of the momentum only, the problem of solving for the post-inflationary spectrum of fluctuations is formally equivalent to solving a one-dimensional Schr and quot;odinger equation with a time dependent potential. Depending on the class of modification, we find results either close to or significantly different from nearly scale invariant spectra. For the former case, the power spectrum is characterized by step-like behaviour at some pivot scale, where the magnitude of the jump is O(H{sup 2}/M{sub *}{sup 2}). (H is the inflationary Hubble parameter.) We use our calculated power spectra to generate predictions for the cosmic microwave background and baryon acoustic oscillations, hence demonstrating that certain types of deformations are incompatible with current observations.
Primordial fluctuations from deformed quantum algebras
NASA Astrophysics Data System (ADS)
Day, Andrew C.; Brown, Iain A.; Seahra, Sanjeev S.
2014-03-01
We study the implications of deformed quantum algebras for the generation of primordial perturbations from slow-roll inflation. Specifically, we assume that the quantum commutator of the inflaton's amplitude and momentum in Fourier space gets modified at energies above some threshold Mstar. We show that when the commutator is modified to be a function of the momentum only, the problem of solving for the post-inflationary spectrum of fluctuations is formally equivalent to solving a one-dimensional Schr"odinger equation with a time dependent potential. Depending on the class of modification, we find results either close to or significantly different from nearly scale invariant spectra. For the former case, the power spectrum is characterized by step-like behaviour at some pivot scale, where the magnitude of the jump is Script O(H2/Mstar2). (H is the inflationary Hubble parameter.) We use our calculated power spectra to generate predictions for the cosmic microwave background and baryon acoustic oscillations, hence demonstrating that certain types of deformations are incompatible with current observations.
Boyko, Vyacheslav M; Popovych, Roman O; Shapoval, Nataliya M
2013-01-01
Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal Lie invariance algebras possessed by such systems are obtained using an effective algebraic approach. PMID:23564972