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.
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.
Richards' Equation and its Constitutive Relations as a System of Differential-Algebraic Equations
NASA Astrophysics Data System (ADS)
Murray, S. K.; Mead, J. L.
2007-12-01
Richards' Equation is commonly used to understand how water flows in unsaturated soils. We present a new formulation of Richards' Equation which will allow us to incorporate model and observation errors. In addition, we can address spatial and temporal inconsistencies existing between the model and observations. There are two basic formulations for Richards' Equation: the pressure head form and the mixed form, the latter of which explicitly incorporates soil moisture content. The mixed form is typically solved using HYDRUS, a freely available program that uses finite elements with Picard iteration to handle the nonlinearities. However, recent results suggest considering Richards' Equation as a differential-algebraic equation (DAE), where the algebraic models for soil moisture content (van Genuchten's equation) is solved simultaneously with Richards' Equation (Kees, et. al., 2002). This formulation can give more accurate forward model solutions, however, we note that it also allows us to consider the uncertainties in the pressure head ψ and the soil moister content θ during the inversion process. We extend the DAE formulation to include the algebraic constraint for hydraulic conductivity K, so that its uncertainty can also be considered in an inversion. This poster focuses on the efficiency and accuracy of the forward numerical solution of this particular DAE formulation of Richards' Equation and how it compares to other forward solutions, such as HYDRUS.
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.
Introducing DAE Systems in Undergraduate and Graduate Chemical Engineering Curriculum
ERIC Educational Resources Information Center
Mandela, Ravi Kumar; Sridhar, L. N.; Rengaswamy, Raghunathan
2010-01-01
Models play an important role in understanding chemical engineering systems. While differential equation models are taught in standard modeling and control courses, Differential Algebraic Equation (DAE) system models are not usually introduced. These models appear naturally in several chemical engineering problems. In this paper, the introduction…
Dependence of solutions of nonsmooth differential-algebraic equations on parameters
NASA Astrophysics Data System (ADS)
Stechlinski, Peter G.; Barton, Paul I.
2017-02-01
The well-posedness of nonsmooth differential-algebraic equations (DAEs) is investigated. More specifically, semi-explicit DAEs with Carathéodory-style assumptions on the differential right-hand side functions and local Lipschitz continuity assumptions on the algebraic equations. The DAEs are classified as having differential index one in a generalized sense; solution regularity is formulated in terms of projections of generalized (Clarke) Jacobians. Existence of solutions is derived under consistency and regularity of the initial data. Uniqueness of a solution is guaranteed under analogous Carathéodory ordinary-differential equation uniqueness assumptions. The continuation of solutions is established and sufficient conditions for continuous and Lipschitzian parametric dependence of solutions are also provided. To accomplish these results, a theoretical tool for analyzing nonsmooth DAEs is provided in the form of an extended nonsmooth implicit function theorem. The findings here are a natural extension of classical results and lay the foundation for further theoretical and computational analyses of nonsmooth DAEs.
Numerical methods for boundary value problems in differential-algebraic equations
Ascher, U.M. . Dept. of Computer Science); Petzold, L.R. )
1990-09-24
Differential-algebraic equation (DAE) boundary value problems arise in a variety of applications, including optimal control and parameter estimation for constrained systems. In this paper we survey these applications and explore some of the difficulties associated with solving the resulting DAE systems. For finite difference methods, the need to maintain stability in the differential part of the system often necessitates the use of methods based on symmetric discretizations. However, these methods can suffer from instability and loss of accuracy when applied to certain DAE systems. We describe a new class of methods, Projected Implicit Runge-Kutta Methods, which overcomes these difficulties. We give convergence and stability results, and present numerical experiments which illustrate the effectiveness of the new methods. 20 refs., 1 tab.
Symmetry algebras of linear differential equations
NASA Astrophysics Data System (ADS)
Shapovalov, A. V.; Shirokov, I. V.
1992-07-01
The local symmetries of linear differential equations are investigated by means of proven theorems on the structure of the algebra of local symmetries of translationally and dilatationally invariant differential equations. For a nonparabolic second-order equation, the absence of nontrivial nonlinear local symmetries is proved. This means that the local symmetries reduce to the Lie algebra of linear differential symmetry operators. For the Laplace—Beltrami equation, all local symmetries reduce to the enveloping algebra of the algebra of the conformal group.
LINPACK. Simultaneous Linear Algebraic Equations
Miller, M.A.
1990-05-01
LINPACK is a collection of FORTRAN subroutines which analyze and solve various classes of systems of simultaneous linear algebraic equations. The collection deals with general, banded, symmetric indefinite, symmetric positive definite, triangular, and tridiagonal square matrices, as well as with least squares problems and the QR and singular value decompositions of rectangular matrices. A subroutine-naming convention is employed in which each subroutine name consists of five letters which represent a coded specification (TXXYY) of the computation done by that subroutine. The first letter, T, indicates the matrix data type. Standard FORTRAN allows the use of three such types: S REAL, D DOUBLE PRECISION, and C COMPLEX. In addition, some FORTRAN systems allow a double-precision complex type: Z COMPLEX*16. The second and third letters of the subroutine name, XX, indicate the form of the matrix or its decomposition: GE General, GB General band, PO Positive definite, PP Positive definite packed, PB Positive definite band, SI Symmetric indefinite, SP Symmetric indefinite packed, HI Hermitian indefinite, HP Hermitian indefinite packed, TR Triangular, GT General tridiagonal, PT Positive definite tridiagonal, CH Cholesky decomposition, QR Orthogonal-triangular decomposition, SV Singular value decomposition. The final two letters, YY, indicate the computation done by the particular subroutine: FA Factor, CO Factor and estimate condition, SL Solve, DI Determinant and/or inverse and/or inertia, DC Decompose, UD Update, DD Downdate, EX Exchange. The LINPACK package also includes a set of routines to perform basic vector operations called the Basic Linear Algebra Subprograms (BLAS).
LINPACK. Simultaneous Linear Algebraic Equations
Dongarra, J.J.
1982-05-02
LINPACK is a collection of FORTRAN subroutines which analyze and solve various classes of systems of simultaneous linear algebraic equations. The collection deals with general, banded, symmetric indefinite, symmetric positive definite, triangular, and tridiagonal square matrices, as well as with least squares problems and the QR and singular value decompositions of rectangular matrices. A subroutine-naming convention is employed in which each subroutine name consists of five letters which represent a coded specification (TXXYY) of the computation done by that subroutine. The first letter, T, indicates the matrix data type. Standard FORTRAN allows the use of three such types: S REAL, D DOUBLE PRECISION, and C COMPLEX. In addition, some FORTRAN systems allow a double-precision complex type: Z COMPLEX*16. The second and third letters of the subroutine name, XX, indicate the form of the matrix or its decomposition: GE General, GB General band, PO Positive definite, PP Positive definite packed, PB Positive definite band, SI Symmetric indefinite, SP Symmetric indefinite packed, HI Hermitian indefinite, HP Hermitian indefinite packed, TR Triangular, GT General tridiagonal, PT Positive definite tridiagonal, CH Cholesky decomposition, QR Orthogonal-triangular decomposition, SV Singular value decomposition. The final two letters, YY, indicate the computation done by the particular subroutine: FA Factor, CO Factor and estimate condition, SL Solve, DI Determinant and/or inverse and/or inertia, DC Decompose, UD Update, DD Downdate, EX Exchange. The LINPACK package also includes a set of routines to perform basic vector operations called the Basic Linear Algebra Subprograms (BLAS).
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…
Benhammouda, Brahim
2015-01-01
The solution of higher-index Hessenberg differential-algebraic equations (DAEs) is of great importance since this type of DAEs often arises in applications. Higher-index DAEs are known to be numerically and analytically difficult to solve. In this paper, we present a new analytical method for the solution of two classes of higher-index Hessenberg DAEs. The method is based on Adomian polynomials and the differential transform method (DTM). First, the DTM is applied to the DAE where the differential transforms of nonlinear terms are calculated using Adomian polynomials. Then, based on the index condition, the resulting recursion system is transformed into a nonsingular linear algebraic system. This system is then solved to obtain the coefficients of the power series solution. The main advantage of the proposed technique is that it does not require an index reduction nor a linearization. Two test problems are solved to demonstrate the effectiveness of the method. In addition, to extend the domain of convergence of the approximate series solution, we propose a post-treatment with Laplace-Padé resummation method.
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.
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.
New routines for algebraic programming of the Dirac equation
Cotaescu, I.I.; Vulcanov, D.N.
1997-04-01
We present new procedures in the REDUCE language for algebraic programming of the Dirac equation on curved space-time. The main part of the program is a package of routines defining the Pauli and Dirac matrix algebras. Then the Dirac equation is obtained using the facilities of the EXCALC package. Finally we present some results obtained after running our procedures for the Dirac equation on several curved space-times.
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations
2014-07-01
non- linear hybrid systems by linear algebraic methods. In Radhia Cousot and Matthieu Martel, editors, SAS, volume 6337 of LNCS, pages 373–389. Springer...Tarski. A decision method for elementary algebra and geometry. Bulletin of the American Mathematical Society, 59, 1951. [36] Wolfgang Walter. Ordinary...Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations Khalil Ghorbal1 Andrew Sogokon2 André Platzer1 July 2014
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.
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.
Comparative study of homotopy continuation methods for nonlinear algebraic equations
NASA Astrophysics Data System (ADS)
Nor, Hafizudin Mohamad; Ismail, Ahmad Izani Md.; Majid, Ahmad Abd.
2014-07-01
We compare some recent homotopy continuation methods to see which method has greater applicability and greater accuracy. We test the methods on systems of nonlinear algebraic equations. The results obtained indicate the superior accuracy of Newton Homotopy Continuation Method (NHCM).
Algebraic and geometric structures of analytic partial differential equations
NASA Astrophysics Data System (ADS)
Kaptsov, O. V.
2016-11-01
We study the problem of the compatibility of nonlinear partial differential equations. We introduce the algebra of convergent power series, the module of derivations of this algebra, and the module of Pfaffian forms. Systems of differential equations are given by power series in the space of infinite jets. We develop a technique for studying the compatibility of differential systems analogous to the Gröbner bases. Using certain assumptions, we prove that compatible systems generate infinite manifolds.
Algebraic approximations for transcendental equations with applications in nanophysics
NASA Astrophysics Data System (ADS)
Barsan, Victor
2015-09-01
Using algebraic approximations of trigonometric or hyperbolic functions, a class of transcendental equations can be transformed in tractable, algebraic equations. Studying transcendental equations this way gives the eigenvalues of Sturm-Liouville problems associated to wave equation, mainly to Schroedinger equation; these algebraic approximations provide approximate analytical expressions for the energy of electrons and phonons in quantum wells, quantum dots (QDs) and quantum wires, in the frame of one-particle models of such systems. The advantage of this approach, compared to the numerical calculations, is that the final result preserves the functional dependence on the physical parameters of the problem. The errors of this method, situated between some few percentages and ?, are carefully analysed. Several applications, for quantum wells, QDs and quantum wires, are presented.
A Geometric Treatment of Implicit Differential-Algebraic Equations
NASA Astrophysics Data System (ADS)
Rabier, P. J.; Rheinboldt, W. C.
A differential-geometric approach for proving the existence and uniqueness of implicit differential-algebraic equations is presented. It provides for a significant improvement of an earlier theory developed by the authors as well as for a completely intrinsic definition of the index of such problems. The differential-algebraic equation is transformed into an explicit ordinary differential equation by a reduction process that can be abstractly defined for specific submanifolds of tangent bundles here called reducible π-submanifolds. Local existence and uniqueness results for differential-algebraic equations then follow directly from the final stage of this reduction by means of an application of the standard theory of ordinary differential equations.
NASA Astrophysics Data System (ADS)
Balagović, Martina
2015-03-01
We show that, under Drinfeld's degeneration (Proceedings of the International Congress of Mathematicians. American Mathematical Society, Providence, pp 798-820, 1987) of quantum loop algebras to Yangians, the trigonometric dynamical difference equations [Etingof and Varchenko (Adv Math 167:74-127, 2002)] for the quantum affine algebra degenerate to the trigonometric Casimir differential equations [Toledano Laredo (J Algebra 329:286-327, 2011)] for Yangians.
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.
Spurious Roots in the Algebraic Dirac Equation
NASA Astrophysics Data System (ADS)
Pestka, Grzegorz
The nature of spurious roots discovered by Drake and Goldman [G. W. F. Drake and S. P. Goldman, Phys. Rev. A 23, 2093 (1981)] among solutions of the algebraic Dirac Hamiltonian eigenvalue problem is discussed. It is shown that the spurious roots represent the positive spectrum states of the Dirac Hamiltonian and that each of them has its variational non-relativistic counterpart. Sufficient conditions to avoid the appearance of the spuriouses in the forbidden gap of Dirac energies are formulated. Numerical examples for κ = 1 ( P1/2) states of an electron in a spherical Coulomb potential (in Slater-type bases) are presented.
The exotic conformal Galilei algebra and nonlinear partial differential equations
NASA Astrophysics Data System (ADS)
Cherniha, Roman; Henkel, Malte
2010-09-01
The conformal Galilei algebra (CGA) and the exotic conformal Galilei algebra (ECGA) are applied to construct partial differential equations (PDEs) and systems of PDEs, which admit these algebras. We show that there are no single second-order PDEs invariant under the CGA but systems of PDEs can admit this algebra. Moreover, a wide class of nonlinear PDEs exists, which are conditionally invariant under CGA. It is further shown that there are systems of non-linear PDEs admitting ECGA with the realisation obtained very recently in [D. Martelli and Y. Tachikawa, arXiv:0903.5184v2 [hep-th] (2009)]. Moreover, wide classes of non-linear systems, invariant under two different 10-dimensional subalgebras of ECGA are explicitly constructed and an example with possible physical interpretation is presented.
Algebraic characteristics and satisfiability threshold of random Boolean equations
NASA Astrophysics Data System (ADS)
Guo, Binghui; Wei, Wei; Sun, Yifan; Zheng, Zhiming
2010-03-01
The satisfiability of a class of random Boolean equations named massive algebraic system septated to linear and nonlinear subproblems is studied in this paper. On one hand, the correlation between the magnetization of generators and the clustering of solutions of the linear subproblem is investigated by analyzing the Gaussian elimination process. On the other hand, the characteristics of maximal elements of solutions of the nonlinear subproblem are studied by introducing the partial order among solutions. Based on the algebraic characteristics of these two subproblems, the upper and lower bounds of satisfiability threshold of massive algebraic system are obtained by unit-clause propagation and leaf-removal process, and coincide as the ratio of nonlinear equations q>0.739 in which analytical values of the satisfiability threshold can be derived. Furthermore, a complete algorithm with heuristic decimation is proposed to observe the approximation of the satisfiability threshold, which performs more efficiently than the classical ones.
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.
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...
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.
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…
NASA Astrophysics Data System (ADS)
Luo, Lin
2017-02-01
In this paper, based on a discrete spectral problem and the corresponding zero curvature representation, the isospectral and nonisospectral lattice hierarchies are proposed. An algebraic structure of discrete zero curvature equations is then established for such integrable systems. the commutation relations of Lax operators corresponding to the isospectral and non-isospectral lattice flows are worked out, the master symmetries of each lattice equation in the isospectral hierarchyand are generated, thus a τ-symmetry algebra for the lattice integrable systems is engendered from this theory. Supported by the National Science Foundation of China under Grant No. 11371244 and the Applied Mathematical Subject of SSPU under Grant No. XXKPY1604
NASA Astrophysics Data System (ADS)
Campbell, Stephen L.; Marz, Roswitha
2007-05-01
Direct transcription methods are used to solve optimal control problems in many industrial settings. Models for physical systems often take the form of differential algebraic equations (DAEs). The index of the DAE traditionally is viewed as an important factor in deciding whether a particular numerical approach should be used. Recently it has been observed that what the user thinks is the index of the DAE may not be the same as the index available to the optimization software. An investigation of this fact is underway in order to develop guidelines to assist users of various numerical optimal control packages. This paper develops some theoretical results that will be needed for this development.
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.
Analytical solutions for systems of partial differential-algebraic equations.
Benhammouda, Brahim; Vazquez-Leal, Hector
2014-01-01
This work presents the application of the power series method (PSM) to find solutions of partial differential-algebraic equations (PDAEs). Two systems of index-one and index-three are solved to show that PSM can provide analytical solutions of PDAEs in convergent series form. What is more, we present the post-treatment of the power series solutions with the Laplace-Padé (LP) resummation method as a useful strategy to find exact solutions. The main advantage of the proposed methodology is that the procedure is based on a few straightforward steps and it does not generate secular terms or depends of a perturbation parameter.
Finite Difference Methods for Time-Dependent, Linear Differential Algebraic Equations
1993-10-27
Time-Dependent, Linear Differential Algebraic Equations ’ BY PATRICK J. RABIER AND WERNER C. RHEINBOLDT 2 T r e n - sa le; its tot puba"- c. 2 ed...1993 Finite Difference Methods for Time-Dependent, I Linear Differential Algebraic Equations ’ BY PATRICK J. RABIER AND WERNER C. RHEINBOLDT2...LINEAR DIFFERENTIAL ALGEBRAIC EQUATIONS 1 BY PATRICK J. RABIER AND WERNER C. RHEINBOLDT 2 ABSTRACT. Recently the authors developed a global reduction
On the Lie Symmetry Algebras of the Stationary Schrödinger and Pauli Equations
NASA Astrophysics Data System (ADS)
Boldyreva, M. N.; Magazev, A. A.
2017-02-01
A general method for constructing first-order symmetry operators for the stationary Schrödinger and Pauli equations is proposed. It is proven that the Lie algebra of these symmetry operators is a one-dimensional extension of some subalgebra of an e(3) algebra. We also assemble a classification of stationary electromagnetic fields for which the Schrödinger (or Pauli) equation admits a Lie algebra of first-order symmetry operators.
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…
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…
On the Virasoro Structure of Symmetry Algebras of Nonlinear Partial Differential Equations
NASA Astrophysics Data System (ADS)
Güngör, Faruk
2006-01-01
We discuss Lie algebras of the Lie symmetry groups of two generically non-integrable equations in one temporal and two space dimensions arising in different contexts. The first is a generalization of the KP equation and contains 9 arbitrary functions of one and two arguments. The second one is a system of PDEs that depend on some physical parameters. We require that these PDEs are invariant under a Kac-Moody-Virasoro algebra. This leads to several limitations on the coefficients (either functions or parameters) under which equations are prime candidates for being integrable.
NASA Astrophysics Data System (ADS)
Hartwig, J. T.; Stokman, J. V.
2013-02-01
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 Schrödinger equation with delta-potential. We use coordinate Bethe ansatz methods to construct solutions of the nonstationary Schrödinger 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.
Runge-Kutta collocation methods for differential-algebraic equations of indices 2 and 3
NASA Astrophysics Data System (ADS)
Skvortsov, L. M.
2012-10-01
Stiffly accurate Runge-Kutta collocation methods with explicit first stage are examined. The parameters of these methods are chosen so as to minimize the errors in the solutions to differential-algebraic equations of indices 2 and 3. This construction results in methods for solving such equations that are superior to the available Runge-Kutta methods.
Laplace transform approach for solving integral equations using computer algebra system
NASA Astrophysics Data System (ADS)
Paneva-Konovska, Jordanka; Nikolova, Yanka
2016-12-01
The Laplace transform method, along with Computer Algebra Systems (CAS) "Maple" v. 13, are extremely successfully applied for solving a class of integral equations with an arbitrary order, including fractional order integral equations. The combining of both powerful approaches allows students more quickly, enjoyable and thoroughly to master the material.
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.
The Hom-Yang-Baxter equation and Hom-Lie algebras
Yau, Donald
2011-05-15
Motivated by recent work on Hom-Lie algebras, a twisted version of the Yang-Baxter equation, called the Hom-Yang-Baxter equation (HYBE), was introduced by Yau [J. Phys. A 42, 165202 (2009)]. In this paper, several more classes of solutions of the HYBE are constructed. Some of the solutions of the HYBE are closely related to the quantum enveloping algebra of sl(2), the Jones-Conway polynomial, and Yetter-Drinfel'd modules. Under some invertibility conditions, we construct a new infinite sequence of solutions of the HYBE from a given one.
An Analytic Conception of Equation and Teachers' Views of School Algebra
ERIC Educational Resources Information Center
Chazan, Daniel; Yerushalmy, Michal; Leikin, Roza
2008-01-01
This interview study takes place in the context of a single small district in the United States. In the algebra curriculum of this district, there was a shift in the conception of equation, from a statement about unknown numbers to a question about the comparison of two functions over the domain of the real numbers. Using two of Shulman's…
On a modification of minimal iteration methods for solving systems of linear algebraic equations
NASA Astrophysics Data System (ADS)
Yukhno, L. F.
2010-04-01
Modifications of certain minimal iteration methods for solving systems of linear algebraic equations are proposed and examined. The modified methods are shown to be superior to the original versions with respect to the round-off error accumulation, which makes them applicable to solving ill-conditioned problems. Numerical results demonstrating the efficiency of the proposed modifications are given.
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
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…
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…
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.)
Algebraic construction of a Nambu bracket for the two-dimensional vorticity equation.
Sommer, M; Brazda, K; Hantel, M
2011-08-29
So far fluid mechanical Nambu brackets have mainly been given on an intuitive basis. Alternatively an algorithmic construction of such a bracket for the two-dimensional vorticity equation is presented here. Starting from the Lie-Poisson form and its algebraic properties it is shown how the Nambu representation can be explicitly constructed as the continuum limit from the structure preserving Zeitlin discretization.
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.
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…
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…
Secondary Pre-Service Teachers' Algebraic Reasoning about Linear Equation Solving
ERIC Educational Resources Information Center
Alvey, Christina; Hudson, Rick A.; Newton, Jill; Males, Lorraine M.
2016-01-01
This study analyzes the responses of 12 secondary pre-service teachers on two tasks focused on reasoning when solving linear equations. By documenting the choices PSTs made while engaging in these tasks, we gain insight into how new teachers work mathematically, reason algebraically, communicate their thinking, and make pedagogical decisions. We…
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…
Lie algebras of conservation laws of variational ordinary differential equations
NASA Astrophysics Data System (ADS)
Fiorani, Emanuele; Spiro, Andrea
2015-02-01
We establish a new version of the first Noether Theorem, according to which the (equivalence classes of) first integrals of given Euler-Lagrange equations in one independent variable are in exact one-to-one correspondence with the (equivalence classes of) vector fields satisfying two simple geometric conditions, namely they simultaneously preserve the holonomy distribution of the jets space and the action from which the Euler-Lagrange equations are derived.
The Wheeler-DeWitt Equation in Filćhenkov Model: The Lie Algebraic Approach
NASA Astrophysics Data System (ADS)
Panahi, H.; Zarrinkamar, S.; Baradaran, M.
2016-11-01
The Wheeler-DeWitt equation in Filćhenkov model with terms related to strings, dust, relativistic matter, bosons and fermions, and ultra stiff matter is solved in a quasi-exact analytical manner via the Lie algebraic approach. In the calculations, using the representation theory of sl(2), the general (N+1)-dimensional matrix equation is constructed whose determinant yields the solutions of the problem.
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
A fifth order implicit method for the numerical solution of differential-algebraic equations
NASA Astrophysics Data System (ADS)
Skvortsov, L. M.
2015-06-01
An implicit two-step Runge-Kutta method of fifth order is proposed for the numerical solution of differential and differential-algebraic equations. The location of nodes in this method makes it possible to estimate the values of higher derivatives at the initial and terminal points of an integration step. Consequently, the proposed method can be regarded as a finite-difference analog of the Obrechkoff method. Numerical results, some of which are presented in this paper, show that our method preserves its order while solving stiff equations and equations of indices two and three. This is the main advantage of the proposed method as compared with the available ones.
A New Robust Solver for Saturated-Unsaturated Richards' Equation
NASA Astrophysics Data System (ADS)
Barajas-Solano, D. A.; Tartakovsky, D. M.
2012-12-01
We present a novel approach for the numerical integration of the saturated-unsaturated Richards' equation, a degenerate parabolic partial differential equation that models flow in porous media. The method is based on the mixed (pore pressure-water content) form of RE, written as a set of differential algebraic equations (DAEs) of index-1 for the fully saturated case and index-2 for the partially saturated case. A DAE-based approach allows us to overcome the numerical challenges posed by the degenerate nature of the Richards' equation. The resulting set of DAEs is solved using the stiffly-accurate, single-step, 3-stage implicit Runge-Kutta method Radau IIA, chosen for its favorable accuracy and stability properties, and its ease of implementation. For each time step a nonlinear system of equations on the intermediate Runge-Kutta states of the pore pressure is solved, written so to ensure that the next step pore pressure and water content correspond to one another correctly. The implementation of our approach compares favorably to state-of-the-art DAE-based solvers in both one- and two-dimensional simulations. These solvers use multi-step backward difference formulas together with a pressure-based form of Richards' equation. To the best of our knowledge, our method is the first instance of a successful DAE-based solver that uses the mixed form of Richards' equation. We consider this a promising line of research, with future work to be done on the use of globally convergent methods for the solution of the occurring nonlinear systems of equations.
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.
Numerical prediction of kinetic model for enzymatic hydrolysis of cellulose using DAE-QMOM approach
NASA Astrophysics Data System (ADS)
Jamil, N. M.; Wang, Q.
2016-06-01
Bioethanol production from lignocellulosic biomass consists of three fundamental processes; pre-treatment, enzymatic hydrolysis, and fermentation. In enzymatic hydrolysis phase, the enzymes break the cellulose chains into sugar in the form of cellobiose or glucose. A currently proposed kinetic model for enzymatic hydrolysis of cellulose that uses population balance equation (PBE) mechanism was studied. The complexity of the model due to integrodifferential equations makes it difficult to find the analytical solution. Therefore, we solved the full model of PBE numerically by using DAE-QMOM approach. The computation was carried out using MATLAB software. The numerical results were compared to the asymptotic solution developed in the author's previous paper and the results of Griggs et al. Besides confirming the findings were consistent with those references, some significant characteristics were also captured. The PBE model for enzymatic hydrolysis process can be solved using DAE-QMOM method. Also, an improved understanding of the physical insights of the model was achieved.
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)
Integrable discretisations for a class of nonlinear Schrödinger equations on Grassmann algebras
NASA Astrophysics Data System (ADS)
Grahovski, Georgi G.; Mikhailov, Alexander V.
2013-12-01
Integrable discretisations for a class of coupled (super) nonlinear Schrödinger (NLS) type of equations are presented. The class corresponds to a Lax operator with entries in a Grassmann algebra. Elementary Darboux transformations are constructed. As a result, Grassmann generalisations of the Toda lattice and the NLS dressing chain are obtained. The compatibility (Bianchi commutativity) of these Darboux transformations leads to integrable Grassmann generalisations of the difference Toda and NLS equations. The resulting systems will have discrete Lax representations provided by the set of two consistent elementary Darboux transformations. For the two discrete systems obtained, initial value and initial-boundary problems are formulated.
NASA Astrophysics Data System (ADS)
Bolaños, Marduk; Barberis-Blostein, Pablo
2015-11-01
We consider the Lindblad equation for a collection of multilevel systems coupled to independent environments. The equation is symmetric under the exchange of the labels associated with each system and thus the open-system dynamics takes place in the permutation-symmetric subspace of the operator space. The dimension of this space grows polynomially with the number of systems. We construct a basis of this space and a set of superoperators whose action on this basis is easily specified. For a given number of levels, M, these superoperators are written in terms of a bosonic realization of the generators of the Lie algebra {sl}({M}2). In some cases, these results enable finding an analytic solution of the master equation using known Lie-algebraic methods. To demonstrate this, we obtain an analytic expression for the state operator of a collection of three-level atoms coupled to independent radiation baths. When analytic solutions are difficult to find, the basis and the superoperators can be used to considerably reduce the computational resources required for simulations.
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.
Discontinuous initial value problems for functional differential-algebraic equations of mixed type
NASA Astrophysics Data System (ADS)
d'Albis, H.; Augeraud-Véron, E.; Hupkes, H. J.
We study the well-posedness of initial value problems for nonlinear functional differential-algebraic equations of mixed type. We are interested in solutions to such problems that admit a single jump discontinuity at time zero. We focus specially on the question whether unstable equilibria can be stabilized by appropriately choosing the size of the jump discontinuity. We illustrate our techniques by analytically studying an economic model for the interplay between inflation and interest rates. In particular, we investigate under which circumstances the central bank can prevent runaway inflation by appropriately hiking the interest rate.
NASA Astrophysics Data System (ADS)
Borzykh, A. N.
2017-01-01
The Seidel method for solving a system of linear algebraic equations and an estimate of its convergence rate are considered. It is proposed to change the order of equations. It is shown that the method described in Faddeevs' book Computational Methods of Linear Algebra can deteriorate the convergence rate estimate rather than improve it. An algorithm for establishing the optimal order of equations is proposed, and its validity is proved. It is shown that the computational complexity of the reordering is 2 n 2 additions and (12) n 2 divisions. Numerical results for random matrices of order 100 are presented that confirm the proposed improvement.
Stiff DAE integrator with sensitivity analysis capabilities
Serban, R.
2007-11-26
IDAS is a general purpose (serial and parallel) solver for differential equation (ODE) systems with senstivity analysis capabilities. It provides both forward and adjoint sensitivity analysis options.
Application of the Cramer rule in the solution of sparse systems of linear algebraic equations
NASA Astrophysics Data System (ADS)
Mittal, R. C.; Al-Kurdi, Ahmad
2001-11-01
In this work, the solution of a sparse system of linear algebraic equations is obtained by using the Cramer rule. The determinants are computed with the help of the numerical structure approach defined in Suchkov (Graphs of Gearing Machines, Leningrad, Quebec, 1983) in which only the non-zero elements are used. Cramer rule produces the solution directly without creating fill-in problem encountered in other direct methods. Moreover, the solution can be expressed exactly if all the entries, including the right-hand side, are integers and if all products do not exceed the size of the largest integer that can be represented in the arithmetic of the computer used. The usefulness of Suchkov numerical structure approach is shown by applying on seven examples. Obtained results are also compared with digraph approach described in Mittal and Kurdi (J. Comput. Math., to appear). It is shown that the performance of the numerical structure approach is better than that of digraph approach.
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)
Bulatov, M. V.; Ming-Gong, Lee; Solovarova, L. S.
2010-11-01
Difference schemes of the Euler and trapezoidal types for the numerical solution of the initial-value problem for linear differential-algebraic equations are examined. These schemes are analyzed for model examples, and their superiority over the familiar first- and second-order implicit methods is shown. Conditions for the convergence of the proposed algorithms are formulated.
NASA Astrophysics Data System (ADS)
Sjögren, Torbjörn; Johansson, Arne V.
2000-06-01
A simple and straightforward method is presented for the derivation and calibration of algebraic nonlinear models for terms in Reynolds stress turbulence closures. The method extensively utilizes data from direct numerical simulations to allow an investigation of the model performance over the entire Reynolds stress anisotropy-invariant map. The model constants are determined from the condition of minimizing the mean square error over the invariant map, in order to give good model behavior for as wide a class as possible of flow situations. A low Reynolds number closure is proposed based on the most general form for closing the Reynolds stress transport equations in terms of Reynolds stresses and total dissipation rate. It is shown that forcing the closure to satisfy realizability in a strict sense leads to a good model behavior even for the complicated flow situation near a wall, without any use of ad-hoc wall damping functions in the closure. The model behavior in homogeneous turbulent flow is analyzed by formulating equations for invariant measures, yielding several quite general results for the behavior of the present and other existing models. A new approach to the modeling effects of rotation in the context of Reynolds stress closures is presented and tested for some different homogeneous flows subjected to rotation.
NASA Astrophysics Data System (ADS)
Liu, Yin-Ping; Li, Zhi-Bin
2003-03-01
Based on a type of elliptic equation, a new algebraic method to construct a series of exact solutions for nonlinear evolution equations is proposed, meanwhile, its complete implementation TRWS in Maple is presented. The TRWS can output a series of travelling wave solutions entirely automatically, which include polynomial solutions, exponential function solutions, triangular function solutions, hyperbolic function solutions, rational function solutions, Jacobi elliptic function solutions, and Weierstrass elliptic function solutions. The effectiveness of the package is illustrated by applying it to a variety of equations. Not only are previously known solutions recovered but also new solutions and more general form of solutions are obtained.
Dancer, K. A.; Isac, P. S.; Links, J.
2006-10-15
Quantum doubles of finite group algebras form a class of quasitriangular Hopf algebras that algebraically solve the Yang-Baxter equation. Each representation of the quantum double then gives a matrix solution of the Yang-Baxter equation. Such solutions do not depend on a spectral parameter, and to date there has been little investigation into extending these solutions such that they do depend on a spectral parameter. Here we first explicitly construct the matrix elements of the generators for all irreducible representations of quantum doubles of the dihedral groups D{sub n}. These results may be used to determine constant solutions of the Yang-Baxter equation. We then discuss Baxterization ansaetze to obtain solutions of the Yang-Baxter equation with a spectral parameter and give several examples, including a new 21-vertex model. We also describe this approach in terms of minimal-dimensional representations of the quantum doubles of the alternating group A{sub 4} and the symmetric group S{sub 4}.
Mastering algebra retrains the visual system to perceive hierarchical structure in equations.
Marghetis, Tyler; Landy, David; Goldstone, Robert L
2016-01-01
Formal mathematics is a paragon of abstractness. It thus seems natural to assume that the mathematical expert should rely more on symbolic or conceptual processes, and less on perception and action. We argue instead that mathematical proficiency relies on perceptual systems that have been retrained to implement mathematical skills. Specifically, we investigated whether the visual system-in particular, object-based attention-is retrained so that parsing algebraic expressions and evaluating algebraic validity are accomplished by visual processing. Object-based attention occurs when the visual system organizes the world into discrete objects, which then guide the deployment of attention. One classic signature of object-based attention is better perceptual discrimination within, rather than between, visual objects. The current study reports that object-based attention occurs not only for simple shapes but also for symbolic mathematical elements within algebraic expressions-but only among individuals who have mastered the hierarchical syntax of algebra. Moreover, among these individuals, increased object-based attention within algebraic expressions is associated with a better ability to evaluate algebraic validity. These results suggest that, in mastering the rules of algebra, people retrain their visual system to represent and evaluate abstract mathematical structure. We thus argue that algebraic expertise involves the regimentation and reuse of evolutionarily ancient perceptual processes. Our findings implicate the visual system as central to learning and reasoning in mathematics, leading us to favor educational approaches to mathematics and related STEM fields that encourage students to adapt, not abandon, their use of perception.
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)
Yukhno, L. F.
2007-12-01
The use of modifications of certain well-known methods of the conjugate direction type for solving systems of linear algebraic equations with rectangular matrices is examined. The modified methods are shown to be superior to the original versions with respect to the round-off accumulation; the advantage is especially large for ill-conditioned matrices. Examples are given of the efficient use of the modified methods for solving certain fairly large ill-conditioned problems.
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.
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.
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.
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
NASA Astrophysics Data System (ADS)
Akhunov, R. R.; Gazizov, T. R.; Kuksenko, S. P.
2016-08-01
The mean time needed to solve a series of systems of linear algebraic equations (SLAEs) as a function of the number of SLAEs is investigated. It is proved that this function has an extremum point. An algorithm for adaptively determining the time when the preconditioner matrix should be recalculated when a series of SLAEs is solved is developed. A numerical experiment with multiply solving a series of SLAEs using the proposed algorithm for computing 100 capacitance matrices with two different structures—microstrip when its thickness varies and a modal filter as the gap between the conductors varies—is carried out. The speedups turned out to be close to the optimal ones.
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…
Petzold, L.R.; Rosen, J.B.
1997-12-30
Differential-algebraic equations arise in a wide variety of engineering and scientific problems. Relatively little work has been done regarding sensitivity analysis and model reduction for this class of problems. Efficient methods for sensitivity analysis are required in model development and as an intermediate step in design optimization of engineering processes. Reduced order models are needed for modelling complex physical phenomena like turbulent reacting flows, where it is not feasible to use a fully-detailed model. The objective of this work has been to develop numerical methods and software for sensitivity analysis and model reduction of nonlinear differential-algebraic systems, including large-scale systems. In collaboration with Peter Brown and Alan Hindmarsh of LLNL, the authors developed an algorithm for finding consistent initial conditions for several widely occurring classes of differential-algebraic equations (DAEs). The new algorithm is much more robust than the previous algorithm. It is also very easy to use, having been designed to require almost no information about the differential equation, Jacobian matrix, etc. in addition to what is already needed to take the subsequent time steps. The new algorithm has been implemented in a version of the software for solution of large-scale DAEs, DASPK, which has been made available on the internet. The new methods and software have been used to solve a Tokamak edge plasma problem at LLNL which could not be solved with the previous methods and software because of difficulties in finding consistent initial conditions. The capability of finding consistent initial values is also needed for the sensitivity and optimization efforts described in this paper.
Fuchs, Lynn S; Zumeta, Rebecca O; Schumacher, Robin Finelli; Powell, Sarah R; Seethaler, Pamela M; Hamlett, Carol L; Fuchs, Douglas
2010-06-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 taught students to represent the structural, defining features of word problems with overarching equations. Intervention lasted 16 weeks. We pretested and posttested 270 students on measures of word-problem skill; analyses that accounted for the nested structure of the data indicated superior word-problem learning for SBI students. Descriptive analyses of students' word-problem work indicated that SBI helped students represent the structure of word problems with algebraic equations, suggesting that SBI promoted this aspect of students' emerging algebraic reasoning.
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 taught students to represent the structural, defining features of word problems with overarching equations. Intervention lasted 16 weeks. We pretested and posttested 270 students on measures of word-problem skill; analyses that accounted for the nested structure of the data indicated superior word-problem learning for SBI students. Descriptive analyses of students’ word-problem work indicated that SBI helped students represent the structure of word problems with algebraic equations, suggesting that SBI promoted this aspect of students’ emerging algebraic reasoning. PMID:20539822
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.
NASA Astrophysics Data System (ADS)
Krasnikov, S. D.; Kuznetsov, E. B.
2016-09-01
Numerical continuation of solution through certain singular points of the curve of the set of solutions to a system of nonlinear algebraic or transcendental equations with a parameter is considered. Bifurcation points of codimension two and three are investigated. Algorithms and computer programs are developed that implement the procedure of discrete parametric continuation of the solution and find all branches at simple bifurcation points of codimension two and three. Corresponding theorems are proved, and each algorithm is rigorously justified. A novel algorithm for the estimation of errors of tangential vectors at simple bifurcation points of a finite codimension m is proposed. The operation of the computer programs is demonstrated by test examples, which allows one to estimate their efficiency and confirm the theoretical results.
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…
ERIC Educational Resources Information Center
Samuel, Koji; Mulenga, H. M.; Angel, Mukuka
2016-01-01
This paper investigates the challenges faced by secondary school teachers and pupils in the teaching and learning of algebraic linear equations. The study involved 80 grade 11 pupils and 15 teachers of mathematics, drawn from 4 selected secondary schools in Mufulira district, Zambia in Central Africa. A descriptive survey method was employed to…
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…
Methods of Power Geometry in Asymptotic Analysis of Solutions to Algebraic or Differential Equations
NASA Astrophysics Data System (ADS)
Goryuchkina, Irina
2010-06-01
Here we present some basic ideas of the plane Power Geometry to study asymptotic behavior of solutions to differential equations. We consider two examples for demonstration of these methods and two applications the methods.
Collocation methods for index 1 DAEs with a singularity of the first kind
NASA Astrophysics Data System (ADS)
Koch, Othmar; Maerz, Roswitha; Praetorius, Dirk; Weinmueller, Ewa
2010-01-01
We study the convergence behavior of collocation schemes applied to approximate solutions of BVPs in linear index 1 DAEs which exhibit a critical point at the left boundary. Such a critical point of the DAE causes a singularity within the inherent ODE system. We focus our attention on the case when the inherent ODE system is singular with a singularity of the first kind, apply polynomial collocation to the original DAE system and consider different choices of the collocation points such as equidistant, Gaussian or Radau points. We show that for a well-posed boundary value problem for DAEs having a sufficiently smooth solution, the global error of the collocation scheme converges with the order O(h^s) , where s is the number of collocation points. Superconvergence cannot be expected in general due to the singularity, not even for the differential components of the solution. The theoretical results are illustrated by numerical experiments.
Collocation Schemes for Nonlinear Index 1 DAEs with a Singular Point
NASA Astrophysics Data System (ADS)
Dick, A.; Koch, O.; März, R.; Weinmüller, E.
2011-09-01
We discuss the convergence behavior of collocation schemes applied to approximate solutions of BVPs in nonlinear index 1 DAEs, which exhibit a critical point at the left boundary. Such a critical point of the DAE causes a singularity in the inherent nonlinear ODE system. In particular, we focus on the case when the inherent ODE system is singular with a singularity of the first kind and apply polynomial collocation to the original DAE system. We show that for a certain class of well-posed boundary value problems in DAEs having a sufficiently smooth solution, the global error of the collocation scheme converges in the collocation points with the so-called stage order. The theoretical results are supported by numerical experiments.
Rashid, Naim U; Sun, Wei; Ibrahim, Joseph G
2014-01-01
In DAE (DNA After Enrichment)-seq experiments, genomic regions related with certain biological processes are enriched/isolated by an assay and are then sequenced on a high-throughput sequencing platform to determine their genomic positions. Statistical analysis of DAE-seq data aims to detect genomic regions with significant aggregations of isolated DNA fragments ("enriched regions") versus all the other regions ("background"). However, many confounding factors may influence DAE-seq signals. In addition, the signals in adjacent genomic regions may exhibit strong correlations, which invalidate the independence assumption employed by many existing methods. To mitigate these issues, we develop a novel Autoregressive Hidden Markov Model (AR-HMM) to account for covariates effects and violations of the independence assumption. We demonstrate that our AR-HMM leads to improved performance in identifying enriched regions in both simulated and real datasets, especially in those in epigenetic datasets with broader regions of DAE-seq signal enrichment. We also introduce a variable selection procedure in the context of the HMM/AR-HMM where the observations are not independent and the mean value of each state-specific emission distribution is modeled by some covariates. We study the theoretical properties of this variable selection procedure and demonstrate its efficacy in simulated and real DAE-seq data. In summary, we develop several practical approaches for DAE-seq data analysis that are also applicable to more general problems in statistics.
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…
NASA Astrophysics Data System (ADS)
Momani, Shaher; Ibrahim, Rabha W.
2008-03-01
In this paper, we study the existence of periodic solutions for a nonlinear integral equation of periodic functions involving Weyl-Riesz fractional integral operator under the mixed generalized Lipschitz, Carathéodory and monotonicity conditions. The fixed point theorems due to Dhage are the main tool in carrying out our proofs.
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.
NASA Astrophysics Data System (ADS)
Jamal, Sameerah; Shabbir, Ghulam
2017-02-01
We study the geometric properties of generators for the Klein-Gordon equation in Kantowski-Sachs and certain Bianchi-type spaces. Several versions of the Klein-Gordon equation are derived from its dependence on a potential function. The criteria for different versions of the (1+3) Klein-Gordon equation originates from analyzing three sources, viz. through generators that are identically the Killing algebra, or with the Killing vector fields that are recast into linear combinations and thirdly, real sub-algebras within the conformal algebra. In turn, these equations admit a catalogue of infinitesimal symmetries that are equivalent to the corresponding Killing vector fields in Kantowski-Sachs, Bianchi type III, IX, VIII, VI0 and VII0 space-times, with the exception of a linear vector W=upartialu in every case. The sheer number of results are displayed in appropriate tables. Subsequently, in application, we derive some Noetherian conservation laws and identify some exact solutions by quadratures.
NASA Astrophysics Data System (ADS)
Miller, C. T.; Kees, C. E.
2002-12-01
Time integration methods that adapt in both the order of approximation and time step have been shown to provide efficient solutions for Richards' equation. In this work, we extend the same method of lines approach to solve a set of two-phase flow formulations and address some mass conservation issues from the previous work. We analyze these formulations and the nonlinear systems that result from applying the integration methods, placing particular emphasis on their index, range of applicability, and mass conservation characteristics. We conduct numerical experiments to study the behavior of the numerical models for three test problems. We demonstrate that higher order integration in time is more efficient than standard low-order methods for a variety of practical grids and integration tolerances, that the adaptive scheme successfully varies the step size in response to changing conditions, and that mass balance can be maintained efficiently using variable-order integration and an appropriately chosen numerical model formulation.
Exponential integrators for the incompressible Navier-Stokes equations.
Newman, Christopher K.
2004-07-01
We provide an algorithm and analysis of a high order projection scheme for time integration of the incompressible Navier-Stokes equations (NSE). The method is based on a projection onto the subspace of divergence-free (incompressible) functions interleaved with a Krylov-based exponential time integration (KBEI). These time integration methods provide a high order accurate, stable approach with many of the advantages of explicit methods, and can reduce the computational resources over conventional methods. The method is scalable in the sense that the computational costs grow linearly with problem size. Exponential integrators, used typically to solve systems of ODEs, utilize matrix vector products of the exponential of the Jacobian on a vector. For large systems, this product can be approximated efficiently by Krylov subspace methods. However, in contrast to explicit methods, KBEIs are not restricted by the time step. While implicit methods require a solution of a linear system with the Jacobian, KBEIs only require matrix vector products of the Jacobian. Furthermore, these methods are based on linearization, so there is no non-linear system solve at each time step. Differential-algebraic equations (DAEs) are ordinary differential equations (ODEs) subject to algebraic constraints. The discretized NSE constitute a system of DAEs, where the incompressibility condition is the algebraic constraint. Exponential integrators can be extended to DAEs with linear constraints imposed via a projection onto the constraint manifold. This results in a projected ODE that is integrated by a KBEI. In this approach, the Krylov subspace satisfies the constraint, hence the solution at the advanced time step automatically satisfies the constraint as well. For the NSE, the projection onto the constraint is typically achieved by a projection induced by the L{sup 2} inner product. We examine this L{sup 2} projection and an H{sup 1} projection induced by the H{sup 1} semi-inner product. The H
Algebra for Gifted Third Graders.
ERIC Educational Resources Information Center
Borenson, Henry
1987-01-01
Elementary school children who are exposed to a concrete, hands-on experience in algebraic linear equations will more readily develop a positive mind-set and expectation for success in later formal, algebraic studies. (CB)
Shimizu, H; Okubo, M; Nakamoto, A; Enomoto, M; Kojima, N
2006-12-11
Intercalation of an organic photochromic molecule into layered magnetic systems may provide multifunctional properties such as photomagnetism. To build up a photosensitive multifunctional magnet, an organic-inorganic hybrid system coupled with a photochromic diarylethene anion, 2,2'-dimethyl-3,3'-(perfluorocyclopentene-1,2-diyl)bis(benzo[b]thiophene-6-sulfonate) (DAE), and cobalt LDHs (layered double hydroxides), Co4(OH)7(DAE)0.5.3H2O, was synthesized by the anion exchange reaction between Co2(OH)3(CH3COO).H2O and DAE. In the dark and under UV-irradiated (313 nm) conditions, Co4(OH)7(DAE)0.5.3H2O with open and closed forms of DAE were obtained, respectively. The magnetic susceptibility measurements elucidated ferromagnetic intra- and interlayer interactions and Curie temperatures of TC = 9 and 20 K for cobalt LDHs with the open and closed forms of DAE, respectively. The enhancement of the Curie temperature from 9 to 20 K by substitution of the open form of DAE with the closed form of DAE as an intercalated molecule is attributed to the delocalization of the pi-electrons in the closed form of DAE, which enhances the interlayer magnetic interaction. The enhancement of the interlayer magnetic interaction induced by the delocalization of pi-electrons in intercalated molecules is strongly supported by the fact that the Curie temperature (26.0 K) of cobalt LDHs with (E,E)-2,4-hexadienedioate having a conjugated pi-electron system is enormously higher than that (7.0 K) of the cobalt LDHs with hexanedioate. By UV irradiation at 313 nm, Co4(OH)7(DAE)0.5.3H2O shows the photoisomerization of DAE from the open form to the closed one in the solid state, which leads to the enhancement of Curie temperature.
Prediction of Algebraic Instabilities
NASA Astrophysics Data System (ADS)
Zaretzky, Paula; King, Kristina; Hill, Nicole; Keithley, Kimberlee; Barlow, Nathaniel; Weinstein, Steven; Cromer, Michael
2016-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 new methodology is provided for predicting the algebraic growth rate of an initial disturbance, when applied to the governing differential equation (or dispersion relation) describing wave propagation in dispersive media. Several types of algebraic instabilities are explored in the context of both linear and nonlinear waves.
Colored Quantum Algebra and Its Bethe State
NASA Astrophysics Data System (ADS)
Wang, Jin-Zheng; Jia, Xiao-Yu; Wang, Shi-Kun
2014-12-01
We investigate the colored Yang—Baxter equation. Based on a trigonometric solution of colored Yang—Baxter equation, we construct a colored quantum algebra. Moreover we discuss its algebraic Bethe ansatz state and highest wight representation.
Modeling the nonlinear hysteretic response in DAE experiments of Berea sandstone: A case-study
Pecorari, Claudio
2015-03-31
Dynamic acousto-elasticity (DAE) allows probing the instantaneous state of a material while the latter slowly and periodically is changed by an external, dynamic source. In DAE investigations of geo-materials, hysteresis of the material's modulus defect displays intriguing features which have not yet been interpreted in terms of any specific mechanism occurring at atomic or mesoscale. Here, experimental results on dry Berea sandstone, which is the rock type best investigated by means of a DAE technique, are analyzed in terms of three rheological models providing simplified representations of mechanisms involving dislocations interacting with point defects which are distributed along the dislocations' core or glide planes, and microcracks with finite stiffness in compression. Constitutive relations linking macroscopic strain and stress are derived. From the latter, the modulus defect associated to each mechanism is recovered. These models are employed to construct a composite one which is capable of reproducing several of the main features observed in the experimental data. The limitations of the present approach and, possibly, of the current implementation of DAE are discussed.
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.
Learning Activity Package, Algebra.
ERIC Educational Resources Information Center
Evans, Diane
A set of ten teacher-prepared Learning Activity Packages (LAPs) in beginning algebra and nine in intermediate algebra, these units cover sets, properties of operations, number systems, open expressions, solution sets of equations and inequalities in one and two variables, exponents, factoring and polynomials, relations and functions, radicals,…
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)
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.
2007-06-01
simple iterative method such as Jacobi or Gauss - Seidel . The method used to coarsening the grid defines if the multigrid method is geometric or algebraic...chosen here is Gauss - Seidel (GS) [25]. We achieved the best rates of convergence for AMG using an implementation that on the finest grid corresponds to...a Symmetric- Red - Black GS, while on the other grids we alternate the order of relaxation as we did on the finest grid, but based only on the order
NASA Astrophysics Data System (ADS)
Roytenberg, Dmitry
2007-11-01
A Lie 2-algebra is a linear category equipped with a functorial bilinear operation satisfying skew-symmetry and Jacobi identity up to natural transformations which themselves obey coherence laws of their own. Functors and natural transformations between Lie 2-algebras can also be defined, yielding a 2-category. Passing to the normalized chain complex gives an equivalence of 2-categories between Lie 2-algebras and certain "up to homotopy" structures on the complex; for strictly skew-symmetric Lie 2-algebras these are L∞-algebras, by a result of Baez and Crans. Lie 2-algebras appear naturally as infinitesimal symmetries of solutions of the Maurer-Cartan equation in some differential graded Lie algebras and L∞-algebras. In particular, (quasi-) Poisson manifolds, (quasi-) Lie bialgebroids and Courant algebroids provide large classes of examples.
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.
Analysis of observational records of Dae-gyupyo in Joseon Dynasty
NASA Astrophysics Data System (ADS)
Mihn, Byeong-Hee; Lee, Ki-Won; Kim, Sang-Hyuk; Ahn, Young Sook; Lee, Yong Sam
2012-09-01
It is known that Dae-gyupyo (the Large Noon Gnomon) and So-gyupyo (the Small Noon Gnomon) were constructed in the reign of King Sejong (1418--1450) of the Joseon Dynasty. Gyupyo is an astronomical instrument for measuring the length of the shadow cast by a celestial body at the meridian passage time; it consists of two basic parts: a measuring scale and a vertical column. According to the Veritable Records of King Sejong and of King Myeongjong (1545--1567), the column of Dae-gyupyo was 40 Cheok (˜ 8 m) in height from the measuring scale and had a cross-bar, like the Guibiao of Shoujing Guo of the Yuan Dynasty in China. In the latter Veritable Records, three observations of the Sun on the date of the winter solstice and two of the full Moon on the first month in a luni-solar calendar are also recorded. In particular, the observational record of Dae-gyupyo for the Sun on Dec. 12, 1563 is ˜ 1 m shorter than the previous two records. To explain this, we investigated two possibilities: the vertical column was inclined, and the cross-bar was lowered. The cross-bar was attached to the column by a supporting arm; that should be installed at an angle of ˜ 36.9° to the north on the basis of a geometric structure inferred from the records of Yuanshi (History of the Yuan Dynasty). We found that it was possible that the vertical column was inclined ˜ 7.7° to the south or the supporting arm was tilted ˜ 58.3° downward. We suggest that the arm was tilted by ˜ 95° (= 36.9° + 58.3°).
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.
NASA Astrophysics Data System (ADS)
Barnett, Michael P.; Decker, Thomas; Krandick, Werner
2001-06-01
We use computer algebra to expand the Pekeris secular determinant for two-electron atoms symbolically, to produce an explicit polynomial in the energy parameter ɛ, with coefficients that are polynomials in the nuclear charge Z. Repeated differentiation of the polynomial, followed by a simple transformation, gives a series for ɛ in decreasing powers of Z. The leading term is linear, consistent with well-known behavior that corresponds to the approximate quadratic dependence of ionization potential on atomic number (Moseley's law). Evaluating the 12-term series for individual Z gives the roots to a precision of 10 or more digits for Z⩾2. This suggests the use of similar tactics to construct formulas for roots vs atomic, molecular, and variational parameters in other eigenvalue problems, in accordance with the general objectives of gradient theory. Matrix elements can be represented by symbols in the secular determinants, enabling the use of analytical expressions for the molecular integrals in the differentiation of the explicit polynomials. The mathematical and computational techniques include modular arithmetic to handle matrix and polynomial operations, and unrestricted precision arithmetic to overcome severe digital erosion. These are likely to find many further applications in computational chemistry.
Some Optimal Runge-Kutta Collocation Methods for Stiff Problems and DAEs
NASA Astrophysics Data System (ADS)
Gonzalez-Pinto, S.; Hernández-Abreu, D.; Montijano, J. I.
2008-09-01
A new family of implicit Runge-Kutta methods was introduced at ICCAM 2008 (Gent) by the present authors. This family of methods is intended to solve numerically stiff problems and DAEs. The s-stage method (for s⩾3) has the following features: it is a collocation method depending on a real free parameter β, has classical convergence order 2s-3 and is strongly A-stable for β ranging in some nonempty open interval Is = (-γs,0). In addition, for β∈Is, all the collocation nodes fall in the interval [0,1]. Moreover, these methods also involve a similar computational cost as that of the corresponding counterpart in the Runge-Kutta Radau IIA family (the method having the same classical order) when solving for their stage values. However, our methods have the additional advantage of possessing a higher stage order than the respective Radau IIA counterparts. This circumstance is important when integrating stiff problems in which case most of numerical methods are affected by an order reduction. In this talk we discuss how to optimize the free parameter depending on the special features of the kind of stiff problems and DAEs to be solved. This point is highly important in order to make competitive our methods when compared with those of the Radau IIA family.
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…
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…
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.
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.…
New Solution of Diffusion-Advection Equation for Cosmic-Ray Transport Using Ultradistributions
NASA Astrophysics Data System (ADS)
Rocca, M. C.; Plastino, A. R.; Plastino, A.; Ferri, G. L.; de Paoli, A.
2015-11-01
In this paper we exactly solve the diffusion-advection equation (DAE) for cosmic-ray transport. For such a purpose we use the Theory of Ultradistributions of J. Sebastiao e Silva, to give a general solution for the DAE. From the ensuing solution, we obtain several approximations as limiting cases of various situations of physical and astrophysical interest. One of them involves Solar cosmic-rays' diffusion.
PREFACE: 5th DAE-BRNS Workshop on Hadron Physics (Hadron 2011)
NASA Astrophysics Data System (ADS)
Jyoti Roy, Bidyut; Chatterjee, A.; Kailas, S.
2012-07-01
The 5th DAE-BRNS Workshop on Hadron Physics was held at the Bhabha Atomic Research Centre (BARC), Mumbai from 31 October to 4 November 2011. This workshop series, supported by the Board of Research in Nuclear Sciences, Department of Atomic Energy (BRNS, DAE), Govt. of India, began ten years ago with the first one being held at BARC, Mumbai in October 2002. The second one was held at Puri in 2005, organized jointly by Institute of Physics, Bhubneswar and Saha Institute of Nuclear Physics, Kolkata. The 3rd and 4th ones took place, respectively, at Shantineketan in 2006, organized by Visva Bharati University, and at Aligarh in 2008, organized by Aligarh Muslim University, Aligarh. The aim of the present workshop was to bring together the experts and young researchers in the field of hadron physics (both experiment and theory) and to have in-depth discussions on the current research activities in this field. The format of the workshop was: a series of review lectures by various experts from India and abroad, the presentation of advanced research results by researchers in the field, and a review of major experimental programs being planned and pursued in major laboratories in the field of hadron physics, with the aim of providing a platform for the young participants for interaction with their peers. The upcoming international FAIR facility at GSI is a unique future facility for studies of hadron physics in the charm sector and hyper nuclear physics. The Indian hadron physics community is involved in this mega science project and is working with the PANDA collaboration on the development of detectors, simulation and software tools for the hadron physics programme with antiprotons at FAIR. A one-day discussion session was held at this workshop to discuss India-PANDA activities, the current collaboration status and the work plan. This volume presents the workshop proceedings consisting of lectures and seminars which were delivered during the workshop. We are thankful to
Wei-Norman equations for classical groups
NASA Astrophysics Data System (ADS)
Charzyński, Szymon; Kuś, Marek
2015-08-01
We show that the nonlinear autonomous Wei-Norman equations, expressing the solution of a linear system of non-autonomous equations on a Lie algebra, can be reduced to the hierarchy of matrix Riccati equations in the case of all classical simple Lie algebras. The result generalizes our previous one concerning the complex Lie algebra of the special linear group. We show that it cannot be extended to all simple Lie algebras, in particular to the exceptional G2 algebra.
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…
NASA Technical Reports Server (NTRS)
Mulligan, Jeffrey B.
2017-01-01
A color algebra refers to a system for computing sums and products of colors, analogous to additive and subtractive color mixtures. We would like it to match the well-defined algebra of spectral functions describing lights and surface reflectances, but an exact correspondence is impossible after the spectra have been projected to a three-dimensional color space, because of metamerism physically different spectra can produce the same color sensation. Metameric spectra are interchangeable for the purposes of addition, but not multiplication, so any color algebra is necessarily an approximation to physical reality. Nevertheless, because the majority of naturally-occurring spectra are well-behaved (e.g., continuous and slowly-varying), color algebras can be formulated that are largely accurate and agree well with human intuition. Here we explore the family of algebras that result from associating each color with a member of a three-dimensional manifold of spectra. This association can be used to construct a color product, defined as the color of the spectrum of the wavelength-wise product of the spectra associated with the two input colors. The choice of the spectral manifold determines the behavior of the resulting system, and certain special subspaces allow computational efficiencies. The resulting systems can be used to improve computer graphic rendering techniques, and to model various perceptual phenomena such as color constancy.
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…
Numerical linear algebra algorithms and software
NASA Astrophysics Data System (ADS)
Dongarra, Jack J.; Eijkhout, Victor
2000-11-01
The increasing availability of advanced-architecture computers has a significant effect on all spheres of scientific computation, including algorithm research and software development in numerical linear algebra. Linear algebra - in particular, the solution of linear systems of equations - lies at the heart of most calculations in scientific computing. This paper discusses some of the recent developments in linear algebra designed to exploit these advanced-architecture computers. We discuss two broad classes of algorithms: those for dense, and those for sparse matrices.
Lie algebras of classical and stochastic electrodynamics
NASA Astrophysics Data System (ADS)
Neto, J. J. Soares; Vianna, J. D. M.
1994-03-01
The Lie algebras associated with infinitesimal symmetry transformations of third-order differential equations of interest to classical electrodynamics and stochastic electrodynamics have been obtained. The structure constants for a general case are presented and the Lie algebra for each particular application is easily achieved. By the method used here it is not necessary to know the explicit expressions of the infinitesimal generators in order to determine the structure constants of the Lie algebra.
NASA Astrophysics Data System (ADS)
Mikhalev, A. V.; Pinchuk, I. A.
2005-06-01
The structure of Steinberg conformal algebras is studied; these are analogues of Steinberg groups (algebras, superalgebras).A Steinberg conformal algebra is defined as an abstract algebra by a system of generators and relations between the generators. It is proved that a Steinberg conformal algebra is the universal central extension of the corresponding conformal Lie algebra; the kernel of this extension is calculated.
ERIC Educational Resources Information Center
Capani, Antonio; De Dominicis, Gabriel
This paper proposes a model for a general interface between people and Computer Algebra Systems (CAS). The main features in the CAS interface are data navigation and the possibility of accessing powerful remote machines. This model is based on the idea of session management, in which the main engine of the tool enables interactions with the…
Post-Lie Algebras and Isospectral Flows
NASA Astrophysics Data System (ADS)
Ebrahimi-Fard, Kurusch; Lundervold, Alexander; Mencattini, Igor; Munthe-Kaas, Hans Z.
2015-11-01
In this paper we explore the Lie enveloping algebra of a post-Lie algebra derived from a classical R-matrix. An explicit exponential solution of the corresponding Lie bracket flow is presented. It is based on the solution of a post-Lie Magnus-type differential equation.
Static friction, differential algebraic systems and numerical stability
NASA Astrophysics Data System (ADS)
Chen, Jian; Schinner, Alexander; Matuttis, Hans-Georg
We show how Differential Algebraic Systems (Ordinary Differential Equations with algebraic constraints) in mechanics are affected by stability issues and we implement Lubich's projection method to reduce the error to practically zero. Then, we explain how the "numerically exact" implementation for static friction by Differential Algebraic Systems can be stabilized. We conclude by comparing the corresponding steps in the "Contact mechanics" introduced by Moreau.
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…
NASA Astrophysics Data System (ADS)
Lee, Yong Sam; Kim, Sang Hyuk; Park, Je Hoon
2013-09-01
Honsangui (celestial globe) which is a water-hammering method astronomical clock is recorded in "Juhaesuyong" which is Volume VI of supplement from "Damheonseo", written by Hong Dae-Yong (1731~1783). We made out the conceptual design of Hong Dae-Yong's Honsangui through the study on its structure and working mechanism. Honsangui consist of three rings and two layers, the structure of rings which correspond to outer layer is similar to his own Tongcheonui (armillary sphere) which is a kind of armillary sphere. Honsang sphere which correspond to inner layer depicts constellations and milky way and two beads hang on it as Sun and Moon respectively for realize the celestial motion. Tongcheonui is operated by the pendulum power but Honsangui is operated by water-hammering method mechanism. This Honsangui's working mechanism is the traditional way of Joseon and it was simplified the working mechanism of Shui y'n i hsiang t'ai which is a representative astronomical clock of China. This record of Honsangui is the only historical record about the water-hammering method working mechanism of Joseon Era and it provide the study of water-hammering method mechanism with a vital clue.
NASA Astrophysics Data System (ADS)
Vaninsky, Alexander
2011-04-01
This article introduces a trigonometric field (TF) that extends the field of real numbers by adding two new elements: sin and cos - satisfying an axiom sin2 + cos2 = 1. It is shown that by assigning meaningful names to particular elements of the field, all known trigonometric identities may be introduced and proved. Two different interpretations of the TF are discussed with many others potentially possible. The main objective of this article is to introduce a broader view of trigonometry that can serve as motivation for mathematics students and teachers to study and teach abstract algebraic structures.
1991-01-15
This research project was to develop methods for the numerical and analytic analysis of implicit systems of differential equations, (DAE)- F(x’, z ,t...0 (1) which are not equivalent to an explicit ordinary differential equation (ODE), (ODE) z ’ = G( z , t) (2) That is, the Jacobian Fe of (1) is...structure theorems and a general numerical procedure for the linear time varying DAE E(t)w’(t) + F(t) z (t) = f(t) (3) This numerical algorithm was the
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)
Derive Workshop Matrix Algebra and Linear Algebra.
ERIC Educational Resources Information Center
Townsley Kulich, Lisa; Victor, Barbara
This document presents the course content for a workshop that integrates the use of the computer algebra system Derive with topics in matrix and linear algebra. The first section is a guide to using Derive that provides information on how to write algebraic expressions, make graphs, save files, edit, define functions, differentiate expressions,…
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.
The Bessel Equation and Dissipation
NASA Astrophysics Data System (ADS)
Alfinito, Eleonora; Vitiello, Giuseppe
The Bessel equation can be cast, by means of suitable transformations, into a system of two damped/amplified parametric oscillator equations. The role of group contraction and the breakdown of loop-antiloop symmetry is discussed. The relation between the Virasoro algebra and the Euclidean algebras e(2) and e(3) is also presented.
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,…
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
Gauged Ads-Maxwell Algebra and Gravity
NASA Astrophysics Data System (ADS)
Durka, R.; Kowalski-Glikman, J.; Szczachor, M.
We deform the anti-de Sitter algebra by adding additional generators {Z}ab, forming in this way the negative cosmological constant counterpart of the Maxwell algebra. We gauge this algebra and construct a dynamical model with the help of a constrained BF theory. It turns out that the resulting theory is described by the Einstein-Cartan action with Holst term, and the gauge fields associated with the Maxwell generators {Z}ab appear only in topological terms that do not influence dynamical field equations. We briefly comment on the extension of this construction, which would lead to a nontrivial Maxwell fields dynamics.
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”.
ERIC Educational Resources Information Center
Miller, L. Diane; England, David A.
1989-01-01
Describes a study in a large metropolitan high school to ascertain what influence the use of regular writing in algebra classes would have on students' attitudes towards algebra and their skills in algebra. Reports the simpler and more direct the writing topics the better. (MVL)
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.
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…
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…
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.
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.
Lie symmetry algebra of one-dimensional nonconservative dynamical systems
NASA Astrophysics Data System (ADS)
Liu, Cui-Mei; Wu, Run-Heng; Fu, Jing-Li
2007-09-01
Lie symmetry algebra of linear nonconservative dynamical systems is studied in this paper. By using 1-1 mapping, the Lie point and Lie contact symmetry algebras are obtained from two independent solutions of the one-dimensional linear equations of motion.
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.
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…
Discrete Minimal Surface Algebras
NASA Astrophysics Data System (ADS)
Arnlind, Joakim; Hoppe, Jens
2010-05-01
We consider discrete minimal surface algebras (DMSA) as generalized noncommutative analogues of minimal surfaces in higher dimensional spheres. These algebras appear naturally in membrane theory, where sequences of their representations are used as a regularization. After showing that the defining relations of the algebra are consistent, and that one can compute a basis of the enveloping algebra, we give several explicit examples of DMSAs in terms of subsets of sln (any semi-simple Lie algebra providing a trivial example by itself). A special class of DMSAs are Yang-Mills algebras. The representation graph is introduced to study representations of DMSAs of dimension d ≤ 4, and properties of representations are related to properties of graphs. The representation graph of a tensor product is (generically) the Cartesian product of the corresponding graphs. We provide explicit examples of irreducible representations and, for coinciding eigenvalues, classify all the unitary representations of the corresponding algebras.
NASA Astrophysics Data System (ADS)
Miao, Qian; Hu, Xiao-Rui; Chen, Yong
2014-02-01
We present a Maple computer algebra package, ONEOptimal, which can calculate one-dimensional optimal system of finite dimensional Lie algebra for nonlinear equations automatically based on Olver's theory. The core of this theory is viewing the Killing form of the Lie algebra as an invariant for the adjoint representation. Some examples are given to demonstrate the validity and efficiency of the program.
Lee, Young Bok; Lee, Jun Young; Lee, Hye Jin; Yun, Seong Taek; Lee, Jong Tae; Kim, Hong Jig; Yu, Dong Soo
2014-01-01
Background Balneotherapy, although not a well-established dermatological treatment, is thought to have therapeutic properties for psoriasis and is used as an alternative treatment modality throughout the world. Objective To evaluate the mechanism underlying the therapeutic immunologic effects of thermomineral water. Methods A murine model of imiquimod-induced psoriasis-like skin inflammation was used for evaluating the therapeutic effects of balneotherapy with Hae-Un-Dae hot spring mineral water. The clinical improvements were evaluated by a dermatologist. Lesional cytokines, including interleukin (IL)-17A, IL-23, and IL-22, were quantitatively measured by real-time reverse transcriptase polymerase chain reaction. Serum levels of interferon-γ, IL-4, IL-5, and IL-17A were measured by enzyme-linked immunosorbent assay. T cell proportions in the spleen were evaluated by flow cytometry, and histopathological evaluation of the skin was also performed. Results The mineral water balneotherapy group showed faster improvement in skin erythema and scales than the distilled water bathing group. A substantial reduction was observed in the lesional mRNA levels of IL-17A and IL-23 in the mineral water group. Serum levels of IL-4 and IL-5 were significantly decreased in the mineral water group but not in the distilled water group. Normalized T cell proportions were observed after bathing. Conclusion Balneotherapy showed immunomodulatory effects in a psoriasis-like murine model. Balneotherapy suppressed lesional IL-23 and IL-17A, which are important cytokines in the pathogenesis of psoriasis. These results suggest that balneotherapy can be used as an effective and safe treatment for psoriasis. PMID:24882978
The MV formalism for {IBL}_∞- and {BV}_∞-algebras
NASA Astrophysics Data System (ADS)
Markl, Martin; Voronov, Alexander A.
2017-03-01
We develop a new formalism for the quantum master equation Δ e^{S/\\hbar } = 0 and the category of IBL_∞-algebras and simplify some homotopical algebra arising in the context of oriented surfaces with boundary. We introduce and study a category of MV-algebras, which, on the one hand, contains such important categories as those of IBL_∞-algebras and L_∞-algebras and, on the other hand, is homotopically trivial, in particular allowing for a simple solution of the quantum master equation. We also present geometric interpretation of our results.
Lie-algebraic solutions of the type IIB matrix model
NASA Astrophysics Data System (ADS)
Chatzistavrakidis, Athanasios
2011-11-01
A systematic search for Lie-algebra solutions of the type IIB matrix model is performed. Our survey is based on the classification of all Lie algebras for dimensions up to five and of all nilpotent Lie algebras of dimension six. It is shown that Lie-type solutions of the equations of motion of the type IIB matrix model exist and they correspond to certain nilpotent and solvable Lie algebras. Their representation in terms of Hermitian matrices is discussed in detail. These algebras give rise to certain noncommutative spaces for which the corresponding star products are provided. Finally the issue of constructing quantized compact nilmanifolds and solvmanifolds based on the above algebras is addressed.
Nonlinear realizations of the W(2)3 algebra
NASA Astrophysics Data System (ADS)
Bellucci, S.; Gribanov, V.; Krivonos, S.; Pashnev, A.
1994-08-01
In this Letter we consider the nonlinear realizations of the classical Polyakov's algebra W(2)3. The coset space method and the covariant reduction procedure allow us to deduce the Boussinesq equation with interchanged space and evolution coordinates. By adding one more space coordinate and introducing two copies of the W(2)3 algebra, the same method yields the sl(3, R) Toda lattice 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…
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.
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)
Current algebra formulation of M-theory based on E11 Kac-Moody algebra
NASA Astrophysics Data System (ADS)
Sugawara, Hirotaka
2017-02-01
Quantum M-theory is formulated using the current algebra technique. The current algebra is based on a Kac-Moody algebra rather than usual finite dimensional Lie algebra. Specifically, I study the E11 Kac-Moody algebra that was shown recently1‑5 to contain all the ingredients of M-theory. Both the internal symmetry and the external Lorentz symmetry can be realized inside E11, so that, by constructing the current algebra of E11, I obtain both internal gauge theory and gravity theory. The energy-momentum tensor is constructed as the bilinear form of the currents, yielding a system of quantum equations of motion of the currents/fields. Supersymmetry is incorporated in a natural way. The so-called “field-current identity” is built in and, for example, the gravitino field is itself a conserved supercurrent. One unanticipated outcome is that the quantum gravity equation is not identical to the one obtained from the Einstein-Hilbert action.
Bicovariant quantum algebras and quantum Lie algebras
NASA Astrophysics Data System (ADS)
Schupp, Peter; Watts, Paul; Zumino, Bruno
1993-10-01
A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from Fun(mathfrak{G}_q ) to U q g, given by elements of the pure braid group. These operators—the “reflection matrix” Y≡L + SL - being a special case—generate algebras that linearly close under adjoint actions, i.e. they form generalized Lie algebras. We establish the connection between the Hopf algebra formulation of the calculus and a formulation in compact matrix form which is quite powerful for actual computations and as applications we find the quantum determinant and an orthogonality relation for Y in SO q (N).
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…
Parastatistics Algebras and Combinatorics
NASA Astrophysics Data System (ADS)
Popov, T.
2005-03-01
We consider the algebras spanned by the creation parafermionic and parabosonic operators which give rise to generalized parastatistics Fock spaces. The basis of such a generalized Fock space can be labelled by Young tableaux which are combinatorial objects. By means of quantum deformations a nice combinatorial structure of the algebra of the plactic monoid that lies behind the parastatistics is revealed.
Algebraic Reasoning through Patterns
ERIC Educational Resources Information Center
Rivera, F. D.; Becker, Joanne Rossi
2009-01-01
This article presents the results of a three-year study that explores students' performance on patterning tasks involving prealgebra and algebra. The findings, insights, and issues drawn from the study are intended to help teach prealgebra and algebra. In the remainder of the article, the authors take a more global view of the three-year study on…
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
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 dissertation,…
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…
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.
Ge, M.L.; Sun, C.P.; Xue, K. )
1992-10-20
In this paper, through a general q-boson realization of quantum algebra sl[sub q](2) and its universal R matrix an operator R matrix with many parameters is obtained in terms of q-boson operators. Building finite-dimensional representations of q-boson algebra, the authors construct various colored R matrices associated with nongeneric representations of sl[sub q](2) with dimension-independent parameters. The nonstandard R matrices obtained by Lee-Couture and Murakami are their special examples.
Algebraic Nonlinear Collective Motion
NASA Astrophysics Data System (ADS)
Troupe, J.; Rosensteel, G.
1998-11-01
Finite-dimensional Lie algebras of vector fields determine geometrical collective models in quantum and classical physics. Every set of vector fields on Euclidean space that generates the Lie algebra sl(3, R) and contains the angular momentum algebra so(3) is determined. The subset of divergence-free sl(3, R) vector fields is proven to be indexed by a real numberΛ. TheΛ=0 solution is the linear representation that corresponds to the Riemann ellipsoidal model. The nonlinear group action on Euclidean space transforms a certain family of deformed droplets among themselves. For positiveΛ, the droplets have a neck that becomes more pronounced asΛincreases; for negativeΛ, the droplets contain a spherical bubble of radius |Λ|1/3. The nonlinear vector field algebra is extended to the nonlinear general collective motion algebra gcm(3) which includes the inertia tensor. The quantum algebraic models of nonlinear nuclear collective motion are given by irreducible unitary representations of the nonlinear gcm(3) Lie algebra. These representations model fissioning isotopes (Λ>0) and bubble and two-fluid nuclei (Λ<0).
Algebraic invariants for homotopy types
NASA Astrophysics Data System (ADS)
Blanc, David
1999-11-01
We define a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the [Pi]-algebra [pi][low asterisk]X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract [Pi]-algebra can be realized as the homotopy [Pi]-algebra of a space.
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,…
Direct determination of the underlying Lie algebra in nonlinear optics
NASA Astrophysics Data System (ADS)
Arnold, J. M.
1991-01-01
It is shown that the equations of resonant nonlinear optics can be studied entirely within the framework of an underlying Lie algebra, in which the 2x2 su(2) Hamiltonian and density matrices of the quantum mechanical description of the atomic system transform directly to the 2x2 sl(2,R) matrices of the Ablowitz-Kaup-Newell-Segur (AKNS) scheme, and the AKNS eigenvalue is introduced naturally as a free parameter. The Lie algebra sl(2,R) is also the symmetry algebra of transformations between equivalence classes of AKNS systems under SL(2,R) gauge transformations. The Lie algebra formalism condenses much algebraic manipulation, and provides a natural basis for the perturbation theory of "nearly integrable" nonlinear wave systems.
The Symmetric Tensor Lichnerowicz Algebra and a Novel Associative Fourier-Jacobi Algebra
NASA Astrophysics Data System (ADS)
Hallowell, Karl; Waldron, Andrew
2007-09-01
Lichnerowicz's algebra of differential geometric operators acting on symmetric tensors can be obtained from generalized geodesic motion of an observer carrying a complex tangent vector. This relation is based upon quantizing the classical evolution equations, and identifying wavefunctions with sections of the symmetric tensor bundle and Noether charges with geometric operators. In general curved spaces these operators obey a deformation of the Fourier-Jacobi Lie algebra of sp(2,R). These results have already been generalized by the authors to arbitrary tensor and spinor bundles using supersymmetric quantum mechanical models and have also been applied to the theory of higher spin particles. These Proceedings review these results in their simplest, symmetric tensor setting. New results on a novel and extremely useful reformulation of the rank 2 deformation of the Fourier-Jacobi Lie algebra in terms of an associative algebra are also presented. This new algebra! was originally motivated by studies of operator orderings in enveloping algebras. It provides a new method that is superior in many respects to common techniques such as Weyl or normal ordering.
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…
Pseudo-Riemannian Novikov algebras
NASA Astrophysics Data System (ADS)
Chen, Zhiqi; Zhu, Fuhai
2008-08-01
Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic-type and Hamiltonian operators in formal variational calculus. Pseudo-Riemannian Novikov algebras denote Novikov algebras with non-degenerate invariant symmetric bilinear forms. In this paper, we find that there is a remarkable geometry on pseudo-Riemannian Novikov algebras, and give a special class of pseudo-Riemannian Novikov algebras.
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.
NASA Astrophysics Data System (ADS)
Markarian, Nikita
2017-03-01
We introduce Weyl n-algebras and show how their factorization complex may be used to define invariants of manifolds. In the appendix, we heuristically explain why these invariants must be perturbative Chern-Simons invariants.
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)
Jordan Algebraic Quantum Categories
NASA Astrophysics Data System (ADS)
Graydon, Matthew; Barnum, Howard; Ududec, Cozmin; Wilce, Alexander
2015-03-01
State cones in orthodox quantum theory over finite dimensional complex Hilbert spaces enjoy two particularly essential features: homogeneity and self-duality. Orthodox quantum theory is not, however, unique in that regard. Indeed, all finite dimensional formally real Jordan algebras -- arenas for generalized quantum theories with close algebraic kinship to the orthodox theory -- admit homogeneous self-dual positive cones. We construct categories wherein these theories are unified. The structure of composite systems is cast from universal tensor products of the universal C*-algebras enveloping ambient spaces for the constituent state cones. We develop, in particular, a notion of composition that preserves the local distinction of constituent systems in quaternionic quantum theory. More generally, we explicitly derive the structure of hybrid quantum composites with subsystems of arbitrary Jordan algebraic type.
Accounting Equals Applied Algebra.
ERIC Educational Resources Information Center
Roberts, Sondra
1997-01-01
Argues that students should be given mathematics credits for completing accounting classes. Demonstrates that, although the terminology is different, the mathematical concepts are the same as those used in an introductory algebra class. (JOW)
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.
Ten-Year-Old Students Solving Linear Equations
ERIC Educational Resources Information Center
Brizuela, Barbara; Schliemann, Analucia
2004-01-01
In this article, the authors seek to re-conceptualize the perspective regarding students' difficulties with algebra. While acknowledging that students "do" have difficulties when learning algebra, they also argue that the generally espoused criteria for algebra as the ability to work with the syntactical rules for solving equations is…
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.
Using Algebraic Computing To Teach General Relativity And Cosmology
NASA Astrophysics Data System (ADS)
Vulcanov, Dumitru N.; Boată, Remus-Ştefan Ş.
2012-12-01
The article presents some new aspects and experience on the use of computer in teaching general relativity and cosmology for undergraduate students (and not only) with some experience in computer manipulation. Some years ago certain results were reported [1] using old fashioned computer algebra platforms but the growing popularity of graphical platforms as Maple and Mathematica forced us to adapt and reconsider our methods and programs. We will describe some simple algebraic programming procedures (in Maple with GrTensorII package) for obtaining and the study of some exact solutions of the Einstein equations in order to convince a dedicated student in general relativity about the utility of a computer algebra system.
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.
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.
Is the full susceptibility of the square-lattice Ising model a differentially algebraic function?
NASA Astrophysics Data System (ADS)
Guttmann, A. J.; Jensen, I.; Maillard, J.-M.; Pantone, J.
2016-12-01
We study the class of non-holonomic power series with integer coefficients that reduce, modulo primes, or powers of primes, to algebraic functions. In particular we try to determine whether the susceptibility of the square-lattice Ising model belongs to this class, and more broadly whether the susceptibility is a solution of a differentially algebraic equation. Initial results on Tutte's nonlinear ordinary differential equation (ODE) and other simple quadratic nonlinear ODEs suggest that a large set of differentially algebraic power series solutions with integer coefficients might reduce to algebraic functions modulo primes, or powers of primes. Since diagonals of rational functions are well-known to reduce, modulo primes, or powers of primes, to algebraic functions, a large subset of differentially algebraic power series with integer coefficients may be viewed as a natural ‘nonlinear’ generalisation of diagonals of rational functions. Here we give several examples of series with integer coefficients and non-zero radius of convergence that reduce to algebraic functions modulo (almost) every prime (or power of a prime). These examples satisfy differentially algebraic equations with the encoding polynomial occasionally possessing quite high degree (and thus difficult to identify even with long series). These examples shed important light on the very nature of such differentially algebraic series. Additionally, we have extended both the high- and low-temperature Ising square-lattice susceptibility series to 5043 coefficients. We find that even this long series is insufficient to determine whether it reduces to algebraic functions modulo 3, 5, etc. This negative result is in contrast to the comparatively easy confirmation that the corresponding series reduce to algebraic functions modulo powers of 2. Finally we show that even with 5043 terms we are unable to identify an underlying differentially algebraic equation for the susceptibility, ruling out a number of
Parallel Multigrid Equation Solver
Adams, Mark
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.
MODEL IDENTIFICATION AND COMPUTER ALGEBRA.
Bollen, Kenneth A; Bauldry, Shawn
2010-10-07
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.
A linear algebraic nonlinear superposition formula
NASA Astrophysics Data System (ADS)
Gordoa, Pilar R.; Conde, Juan M.
2002-04-01
The Darboux transformation provides an iterative approach to the generation of exact solutions for an integrable system. This process can be simplified using the Bäcklund transformation and Bianchi's theorem of permutability; in this way we construct a nonlinear superposition formula, that is, an equation relating a new solution to three previous solutions. In general this equation will be a differential equation; for some examples, such as the Korteweg-de Vries equation, it is a linear algebraic equation. This last is what happens also in the case of the system discussed in this Letter. The linear algebraic nonlinear superposition formula obtained here is a new result. As an example, we use it to construct the two soliton solution, as well as special cases of this last which give rise to solutions exhibiting combinations of fission and fusion. Solutions exhibiting repeated processes of fission and fusion are new phenomena within the area of soliton equations. We also consider obtaining solutions using a symmetry approach; in this way we obtain rational solutions and also the one soliton solution.
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…
Algebraic mesh quality metrics
KNUPP,PATRICK
2000-04-24
Quality metrics for structured and unstructured mesh generation are placed within an algebraic framework to form a mathematical theory of mesh quality metrics. The theory, based on the Jacobian and related matrices, provides a means of constructing, classifying, and evaluating mesh quality metrics. The Jacobian matrix is factored into geometrically meaningful parts. A nodally-invariant Jacobian matrix can be defined for simplicial elements using a weight matrix derived from the Jacobian matrix of an ideal reference element. Scale and orientation-invariant algebraic mesh quality metrics are defined. the singular value decomposition is used to study relationships between metrics. Equivalence of the element condition number and mean ratio metrics is proved. Condition number is shown to measure the distance of an element to the set of degenerate elements. Algebraic measures for skew, length ratio, shape, volume, and orientation are defined abstractly, with specific examples given. Combined metrics for shape and volume, shape-volume-orientation are algebraically defined and examples of such metrics are given. Algebraic mesh quality metrics are extended to non-simplical elements. A series of numerical tests verify the theoretical properties of the metrics defined.
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.
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,…
Development of abstract mathematical reasoning: the case of algebra.
Susac, Ana; Bubic, Andreja; Vrbanc, Andrija; Planinic, Maja
2014-01-01
Algebra typically represents the students' first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students' ability to solve simple algebraic equations. 311 participants between the ages of 13 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters), and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols) than those with numbers. This difference disappeared for older participants (16-17 years), suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15-16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students' transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition.
Development of abstract mathematical reasoning: the case of algebra
Susac, Ana; Bubic, Andreja; Vrbanc, Andrija; Planinic, Maja
2014-01-01
Algebra typically represents the students’ first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students’ ability to solve simple algebraic equations. 311 participants between the ages of 13 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters), and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols) than those with numbers. This difference disappeared for older participants (16–17 years), suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15–16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students’ transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition. PMID:25228874
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…
NASA Astrophysics Data System (ADS)
Durka, R.
2017-04-01
The S-expansion framework is analyzed in the context of a freedom in closing the multiplication tables for the abelian semigroups. Including the possibility of the zero element in the resonant decomposition, and associating the Lorentz generator with the semigroup identity element, leads to a wide class of the expanded Lie algebras introducing interesting modifications to the gauge gravity theories. Among the results, we find all the Maxwell algebras of type {{B}m} , {{C}m} , and the recently introduced {{D}m} . The additional new examples complete the resulting generalization of the bosonic enlargements for an arbitrary number of the Lorentz-like and translational-like generators. Some further prospects concerning enlarging the algebras are discussed, along with providing all the necessary constituents for constructing the gravity actions based on the obtained results.
/N = 2 super W∞ algebra and its nonlinear realization through super KP formulation
NASA Astrophysics Data System (ADS)
Ghosh, Sasanka; Paul, Samir K.
1995-01-01
A nonlinear realizations of super W∞ algebra is shown to exist through a consistent superLax formulation of super KP hierarchy. The reduction of the superLax operator gives rise to the Lax operators for N = 2 generalized super KdV hierarchies, proposed by Inami and Kanno. The Lax equations are shown to be Hamiltonian and the associated Poisson bracket algebra among the superfields, consequently, gives rise to a realization of nonlinear super W∞ algebra.
A Holistic Approach to Algebra.
ERIC Educational Resources Information Center
Barbeau, Edward J.
1991-01-01
Described are two examples involving recursive mathematical sequences designed to integrate a holistic approach to learning algebra. These examples promote pattern recognition with algebraic justification, full class participation, and mathematical values that can be transferred to other situations. (MDH)
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.
Middle School Students' Conceptual Understanding of Equations: Evidence from Writing Story Problems
ERIC Educational Resources Information Center
Alibali, Martha W.; Stephens, Ana C.; Brown, Alayna N.; Kao, Yvonne S.; Nathan, Mitchell J.
2014-01-01
This study investigated middle school students' conceptual understanding of algebraic equations. 257 sixth- and seventh-grade students solved algebraic equations and generated story problems to correspond with given equations. Aspects of the equations' structures, including number of operations and position of the unknown, influenced students'…
An algebra of reversible computation.
Wang, Yong
2016-01-01
We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.
The impact of fraction magnitude knowledge on algebra performance and learning.
Booth, Julie L; Newton, Kristie J; Twiss-Garrity, Laura K
2014-02-01
Knowledge of fractions is thought to be crucial for success with algebra, but empirical evidence supporting this conjecture is just beginning to emerge. In the current study, Algebra 1 students completed magnitude estimation tasks on three scales (0-1 [fractions], 0-1,000,000, and 0-62,571) just before beginning their unit on equation solving. Results indicated that fraction magnitude knowledge, and not whole number knowledge, was especially related to students' pretest knowledge of equation solving and encoding of equation features. Pretest fraction knowledge was also predictive of students' improvement in equation solving and equation encoding skills. Students' placement of unit fractions (e.g., those with a numerator of 1) was not especially useful for predicting algebra performance and learning in this population. Placement of non-unit fractions was more predictive, suggesting that proportional reasoning skills might be an important link between fraction knowledge and learning algebra.
Poisson and symplectic structures on Lie algebras. I
NASA Astrophysics Data System (ADS)
Alekseevsky, D. V.; Perelomov, A. M.
1997-06-01
The purpose of this paper is to describe a new class of Poisson and symplectic structures on Lie algebras. This gives a new class of solutions of the classical Yang-Baxter equation. The class of elementary Lie algebras is defined and the Poisson and symplectic structures for them are described. The algorithm is given for description of all closed 2-forms and of symplectic structures on any Lie algebra G, which is decomposed into semidirect sum of elementary subalgebras. Using these results we obtain the description of closed 2-forms and symplectic forms (if they exist) on the Borel subalgebra B(G) of semisimple Lie algebra G. As a byproduct, we get description of the second cohomology group H2( B( G)).
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.
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.
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.…
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…
Algebraic Thinking through Origami.
ERIC Educational Resources Information Center
Higginson, William; Colgan, Lynda
2001-01-01
Describes the use of paper folding to create a rich environment for discussing algebraic concepts. Explores the effect that changing the dimensions of two-dimensional objects has on the volume of related three-dimensional objects. (Contains 13 references.) (YDS)
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…
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…
Strategies for Solving Fraction Tasks and Their Link to Algebraic Thinking
ERIC Educational Resources Information Center
Pearn, Catherine; Stephens, Max
2015-01-01
Many researchers argue that a deep understanding of fractions is important for a successful transition to algebra. Teaching, especially in the middle years, needs to focus specifically on those areas of fraction knowledge and operations that support subsequent solution processes for algebraic equations. This paper focuses on the results of Year 6…
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…
Parametric Equations: Push 'Em Back, Push 'Em Back, Way Back!
ERIC Educational Resources Information Center
Cieply, Joseph F.
1993-01-01
Stresses using the features of graphing calculators to teach parametric equations much earlier in the curriculum than is presently done. Examples using parametric equations to teach slopes and lines in beginning algebra, inverse functions in advanced algebra, the wrapping function, and simulations of physical phenomena are presented. (MAZ)
Moyal-Nahm equations in seven dimensions
Martinez Merino, Aldo Aparicio
2010-10-11
We present current research on the connection between the Nahm's approach to self-dual Yang-Mills equations defined on a manifold with Spin(7) holonomy and its gravitational counterpart via the Moyal deformation of the Poisson algebra.
On an algebra of pseudodifferential operators
NASA Astrophysics Data System (ADS)
Zuĭ Bang, Kha
1995-08-01
In this paper we introduce an algebra of pseudodifferential operators with symbols of finite smoothness, acting invariantly and continuously in an Orlicz space of functions of exponential type. The concept of point spectral radius \\displaystyle \\lim_{m\\to\\infty}\\Vert A^m(D)f\\Vert _{\\Phi }^{1/m}is introduced and its existence is proved. Here f is an arbitrary function in this space, A(D) is an arbitrary element of the algebra, and \\Vert\\cdot\\Vert _{\\Phi } is the Luxemburg norm. This point spectral radius is evaluated as the supremum of the modulus of A(D) on the support of the Fourier transform of f. We evaluate the spectral radius of a pseudodifferential operator. As applications, certain non-convex and convex cases of the well-known Paley-Wiener theorem are obtained. We also consider the solvability of pseudodifferential equations.
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.
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.
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.
Strategic differences in algebraic problem solving: neuroanatomical correlates.
Lee, Kerry; Lim, Zee Ying; Yeong, Stephanie H M; Ng, Swee Fong; Venkatraman, Vinod; Chee, Michael W L
2007-06-25
In this study, we built on previous neuroimaging studies of mathematical cognition and examined whether the same cognitive processes are engaged by two strategies used in algebraic problem solving. We focused on symbolic algebra, which uses alphanumeric equations to represent problems, and the model method, which uses pictorial representation. Eighteen adults, matched on academic proficiency and competency in the two methods, transformed algebraic word problems into equations or models, and validated presented solutions. Both strategies were associated with activation of areas linked to working memory and quantitative processing. These included the left frontal gyri, and bilateral activation of the intraparietal sulci. Contrasting the two strategies, the symbolic method activated the posterior superior parietal lobules and the precuneus. These findings suggest that the two strategies are effected using similar processes but impose different attentional demands.
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.
Lee, Jaehoon; Wilczek, Frank
2013-11-27
Motivated by the problem of identifying Majorana mode operators at junctions, we analyze a basic algebraic structure leading to a doubled spectrum. For general (nonlinear) interactions the emergent mode creation operator is highly nonlinear in the original effective mode operators, and therefore also in the underlying electron creation and destruction operators. This phenomenon could open up new possibilities for controlled dynamical manipulation of the modes. We briefly compare and contrast related issues in the Pfaffian quantum Hall state.
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®,…
The applications of a higher-dimensional Lie algebra and its decomposed subalgebras.
Yu, Zhang; Zhang, Yufeng
2009-01-15
With the help of invertible linear transformations and the known Lie algebras, a higher-dimensional 6 x 6 matrix Lie algebra smu(6) is constructed. It follows a type of new loop algebra is presented. By using a (2 + 1)-dimensional partial-differential equation hierarchy we obtain the integrable coupling of the (2 + 1)-dimensional KN integrable hierarchy, then its corresponding Hamiltonian structure is worked out by employing the quadratic-form identity. Furthermore, a higher-dimensional Lie algebra denoted by E, is given by decomposing the Lie algebra smu(6), then a discrete lattice integrable coupling system is produced. A remarkable feature of the Lie algebras smu(6) and E is used to directly construct integrable couplings.
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.
Clifford Algebras and Their Decomposition into Conjugate Fermionic Heisenberg Algebras
NASA Astrophysics Data System (ADS)
Catto, Sultan; Gürcan, Yasemin; Khalfan, Amish; Kurt, Levent; Kato La, V.
2016-10-01
We discuss a construction scheme for Clifford numbers of arbitrary dimension. The scheme is based upon performing direct products of the Pauli spin and identity matrices. Conjugate fermionic algebras can then be formed by considering linear combinations of the Clifford numbers and the Hermitian conjugates of such combinations. Fermionic algebras are important in investigating systems that follow Fermi-Dirac statistics. We will further comment on the applications of Clifford algebras to Fueter analyticity, twistors, color algebras, M-theory and Leech lattice as well as unification of ancient and modern geometries through them.
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…
A new application of algebraic geometry to systems theory
NASA Technical Reports Server (NTRS)
Martin, C. F.; Hermann, R.
1976-01-01
Following an introduction to algebraic geometry, the dominant morphism theorem is stated, and the application of this theorem to systems-theoretic problems, such as the feedback problem, is discussed. The Gaussian elimination method used for solving linear equations is shown to be an example of a dominant morphism.
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…
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.…
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…
Chinese Whispers - Algebra Style: Grammatical, Notational, Mathematical and Activity Tensions
ERIC Educational Resources Information Center
Hewitt, Dave
2005-01-01
This paper analyses students' written work from an activity based on two well known games in the UK: Chinese Whispers and Consequences. Within this activity students were asked to translate formal algebraic equations into word statements and vice versa. Using the framework of affordances and constraints to offer an account for what the students'…
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.
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.
Applications of algebraic grid generation
NASA Technical Reports Server (NTRS)
Eiseman, Peter R.; Smith, Robert E.
1990-01-01
Techniques and applications of algebraic grid generation are described. The techniques are univariate interpolations and transfinite assemblies of univariate interpolations. Because algebraic grid generation is computationally efficient, the use of interactive graphics in conjunction with the techniques is advocated. A flexible approach, which works extremely well in an interactive environment, called the control point form of algebraic grid generation is described. The applications discussed are three-dimensional grids constructed about airplane and submarine configurations.
Hidden symmetries of the Higgs oscillator and the conformal algebra
NASA Astrophysics Data System (ADS)
Evnin, Oleg; Nivesvivat, Rongvoram
2017-01-01
We give a solution to the long-standing problem of constructing the generators of hidden symmetries of the quantum Higgs oscillator, a particle on a d-sphere moving in a central potential varying as the inverse cosine-squared of the polar angle. This superintegrable system is known to possess a rich algebraic structure, including a hidden SU(d) symmetry that can be deduced from classical conserved quantities and degeneracies of the quantum spectrum. The quantum generators of this SU(d) have not been constructed thus far, except at d = 2, and naive quantization of classical conserved quantities leads to deformed Lie algebras with quadratic terms in the commutation relations. The nonlocal generators we obtain here satisfy the standard su(d) Lie algebra, and their construction relies on a recently discovered realization of the conformal algebra, which contains a complete set of raising and lowering operators for the Higgs oscillator. This operator structure has emerged from a relation between the Higgs oscillator Schrödinger equation and the Klein-Gordon equation in Anti-de Sitter spacetime. From such a point-of-view, constructing the hidden symmetry generators reduces to manipulations within the abstract conformal algebra so(d, 2).
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.
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.
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.
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
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…
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…
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
Kac-Moody Algebra for Two Dimensional Principal Chiral Models
NASA Astrophysics Data System (ADS)
Chou, Kuang-Chao; Song, Xing-Chang
A Darboux transformation depending on single continuous parameter t is constructed for a principal chiral field. The transformation forms a nonlinear representation of the group for any fixed value of t. Part of the kernel in the Riemann-Hilbert transform is shown to be related to the Darboux transformation with its generators forming a Kac-Moody algebra. Conserved currents associated with the Kac-Moody algebra of the linearized equations and the Nöether current for the group transformations with fixed value of t are obtained.
Linear algebraic methods applied to intensity modulated radiation therapy.
Crooks, S M; Xing, L
2001-10-01
Methods of linear algebra are applied to the choice of beam weights for intensity modulated radiation therapy (IMRT). It is shown that the physical interpretation of the beam weights, target homogeneity and ratios of deposited energy can be given in terms of matrix equations and quadratic forms. The methodology of fitting using linear algebra as applied to IMRT is examined. Results are compared with IMRT plans that had been prepared using a commercially available IMRT treatment planning system and previously delivered to cancer patients.
On an algebraic approach to the Kratzer oscillator
NASA Astrophysics Data System (ADS)
Mikulski, Damian; Molski, Marcin; Konarski, Jerzy
2009-08-01
The ladder operators for the Kratzer-Fues oscillator have been derived within the algebraic approach. The method is extended to include the rotating Kratzer-Fues oscillator. For these operators, SU(2) Lie algebra has been constructed. The results obtained differ significantly from those recently derived by Setare and Karimi (2007 Phys. Scr.75 90-3). We have shown that in their study the ladder operators and the solutions of the Schrödinger equations with the Kratzer potential have no physical meaning.
NASA Astrophysics Data System (ADS)
Stuart, F. M.; Burnard, P. G.; Taylor, R. P.; Turner, G.
1995-11-01
Helium and argon isotopes from fluid inclusions in individual colour zones (B, C, D, and E) of a large scheelite crystal from the 88 Ma Dae Hwa WMo deposit, South Korea, trace the source and history of the ore fluids. A gradual decrease of the fluid 3He/4He, 3He/36Ar, and 40Ar/36Ar from the core to the edge of the scheelite reflects the progressive dilution of a magmatic fluid by meteoric water and is consistent with the previously observed decrease of δ 18O H 2O and fluid inclusion homogenisation temperatures ( Th) (Shelton et al., 1987). The covariation of fluid inclusion HeAr isotope systematics with δ 18O and Th defines a magmatic component with 3He/4He = 1-2 × 10 -6, 3He/36Ar > 0.01 , and 40Ar/36Ar > 1000 . Anomalously high helium and argon isotope ratios in zone D fluids represents undiluted magmatic noble gases. This may reflect local variation in the magmatic gas flux or gas loss due to boiling of the hydrothermal fluids prior to mixing with magmatic gas. Helium and argon isotope systematics constrain mantle and crustal components in the hydrothermal fluids. 40Ar/3He (4.5 × 10 4) are close to the mid-ocean ridge basalt value, implying that 40Ar is mantle in origin. Radiogenic isotope ratios of the mantle endmember ( 40Ar/4He = 0.69 ± 0.06 ) are similar to contemporary geothermal fluids. The coincidence of mantle-derived He and Ar in the fluids is strong evidence that mantle melting during Late Cretaceous subduction triggered the crystal melting responsible for granite formation. 40Ar/4He of the meteoric fluid (0.007 ± 0.001) is far lower than the crystal production ratio (0.2) implying an origin in crust below 200°C.
Patterns to Develop Algebraic Reasoning
ERIC Educational Resources Information Center
Stump, Sheryl L.
2011-01-01
What is the role of patterns in developing algebraic reasoning? This important question deserves thoughtful attention. In response, this article examines some differing views of algebraic reasoning, discusses a controversy regarding patterns, and describes how three types of patterns--in contextual problems, in growing geometric figures, and in…
Viterbi/algebraic hybrid decoder
NASA Technical Reports Server (NTRS)
Boyd, R. W.; Ingels, F. M.; Mo, C.
1980-01-01
Decoder computer program is hybrid between optimal Viterbi and optimal algebraic decoders. Tests have shown that hybrid decoder outperforms any strictly Viterbi or strictly algebraic decoder and effectively handles compound channels. Algorithm developed uses syndrome-detecting logic to direct two decoders to assume decoding load alternately, depending on real-time channel characteristics.
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.)
ERIC Educational Resources Information Center
1997
Astro Algebra is one of six titles in the Mighty Math Series from Edmark, a comprehensive line of math software for students from kindergarten through ninth grade. Many of the activities in Astro Algebra contain a unique technology that uses the computer to help students make the connection between concrete and abstract mathematics. This software…
Elementary maps on nest algebras
NASA Astrophysics Data System (ADS)
Li, Pengtong
2006-08-01
Let , be algebras and let , be maps. An elementary map of is an ordered pair (M,M*) such that for all , . In this paper, the general form of surjective elementary maps on standard subalgebras of nest algebras is described. In particular, such maps are automatically additive.
Linear algebra and image processing
NASA Astrophysics Data System (ADS)
Allali, Mohamed
2010-09-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.
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.)
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 the…
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…
Method of lines solution of Richards` equation
Kelley, C.T.; Miller, C.T.; Tocci, M.D.
1996-12-31
We consider the method of lines solution of Richard`s equation, which models flow through porous media, as an example of a situation in which the method can give incorrect results because of premature termination of the nonlinear corrector iteration. This premature termination arises when the solution has a sharp moving front and the Jacobian is ill-conditioned. While this problem can be solved by tightening the tolerances provided to the ODE or DAE solver used for the temporal integration, it is more efficient to modify the termination criteria of the nonlinear solver and/or recompute the Jacobian more frequently. In this paper we continue previous work on this topic by analyzing the modifications in more detail and giving a strategy on how the modifications can be turned on and off in response to changes in the character of the solution.
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.
Symplectic Clifford Algebraic Field Theory.
NASA Astrophysics Data System (ADS)
Dixon, Geoffrey Moore
We develop a mathematical framework on which is built a theory of fermion, scalar, and gauge vector fields. This field theory is shown to be equivalent to the original Weinberg-Salam model of weak and electromagnetic interactions, but since the new framework is more rigid than that on which the original Weinberg-Salam model was built, a concomitant reduction in the number of assumptions lying outside of the framework has resulted. In particular, parity violation is actually hiding within our framework, and with little difficulty we are able to manifest it. The mathematical framework upon which we build our field theory is arrived at along two separate paths. The first is by the marriage of a Clifford algebra and a Lie superalgebra, the result being called a super Clifford algebra. The second is by providing a new characterization for a Clifford algebra employing its generators and a symmetric array of metric coefficients. Subsequently we generalize this characterization to the case of an antisymmetric array of metric coefficients, and we call the algebra which results a symplectic Clifford algebra. It is upon one of these that we build our field theory, and it is shown that this symplectic Clifford algebra is a particular subalgebra of a super Clifford algebra. The final ingredient is the operation of bracketing which involves treating the elements of our algebra as endomorphisms of a particular inner product space, and employing this space and its inner product to provide us with maps from our algebra to the reals. It is this operation which enables us to manifest the parity violation hiding in our algebra.
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.
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.
Interplays between Harper and Mathieu equations.
Papp, E; Micu, C
2001-11-01
This paper deals with the application of relationships between Harper and Mathieu equations to the derivation of energy formulas. Establishing suitable matching conditions, one proceeds by inserting a concrete solution to the Mathieu equation into the Harper equation. For this purpose, one resorts to the nonlinear oscillations characterizing the Mathieu equation. This leads to the derivation of two kinds of energy formulas working in terms of cubic and quadratic algebraic equations, respectively. Combining such results yields quadratic equations to the energy description of the Harper equation, incorporating all parameters needed.
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.
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)
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…
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.
Diophantine equations related to quasicrystals: A note
NASA Astrophysics Data System (ADS)
Pelantová, E.; Perelomov, A. M.
1998-06-01
We give the general solution of three Diophantine equations in the ring of integer of the algebraic number field ${\\bf Q}[{\\sqr 5}]$. These equations are related to the problem of determination of the minimum distance in quasicrystals with fivefold symmetry.
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.
Investigating Teacher Noticing of Student Algebraic Thinking
ERIC Educational Resources Information Center
Walkoe, Janet Dawn Kim
2013-01-01
Learning algebra is critical for students in the U.S. today. Algebra concepts provide the foundation for much advanced mathematical content. In addition, algebra serves as a gatekeeper to opportunities such as admission to college. Yet many students in the U.S. struggle in algebra classes. Researchers claim that one reason for these difficulties…
2015-01-05
discretization of the steady- state Navier-Stokes equations at the inflow boundaries, numerically algebraic equations are imposed as boundary conditions...conditions for the counterflow configuration is presented. Upon discretization of the steady- state Navier-Stokes equations at the inflow boundaries...boundary conditions for the counterflow configu- ration is presented. Upon discretization of the steady- state Navier-Stokes equations at the inflow
Central extensions of Lax operator algebras
NASA Astrophysics Data System (ADS)
Schlichenmaier, M.; Sheinman, O. K.
2008-08-01
Lax operator algebras were introduced by Krichever and Sheinman as a further development of Krichever's theory of Lax operators on algebraic curves. These are almost-graded Lie algebras of current type. In this paper local cocycles and associated almost-graded central extensions of Lax operator algebras are classified. It is shown that in the case when the corresponding finite-dimensional Lie algebra is simple the two-cohomology space is one-dimensional. An important role is played by the action of the Lie algebra of meromorphic vector fields on the Lax operator algebra via suitable covariant derivatives.
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.
Hoover, Jerome D; Healy, Alice F
2017-02-14
The classic bat-and-ball problem is used widely to measure biased and correct reasoning in decision-making. University students overwhelmingly tend to provide the biased answer to this problem. To what extent might reasoners be led to modify their judgement, and, more specifically, is it possible to facilitate problem solution by prompting participants to consider the problem from an algebraic perspective? One hundred ninety-seven participants were recruited to investigate the effect of algebraic cueing as a debiasing strategy on variants of the bat-and-ball problem. Participants who were cued to consider the problem algebraically were significantly more likely to answer correctly relative to control participants. Most of this cueing effect was confined to a condition that required participants to solve isomorphic algebra equations corresponding to the structure of bat-and-ball question types. On a subsequent critical question with differing item and dollar amounts presented without a cue, participants were able to generalize the learned information to significantly reduce overall bias. Math anxiety was also found to be significantly related to bat-and-ball problem accuracy. These results suggest that, under specific conditions, algebraic reasoning is an effective debiasing strategy on bat-and-ball problem variants, and provide the first documented evidence for the influence of math anxiety on Cognitive Reflection Test performance.
Rational solutions of CYBE for simple compact real Lie algebras
NASA Astrophysics Data System (ADS)
Pop, Iulia; Stolin, Alexander
2007-04-01
In [A.A. Stolin, On rational solutions of Yang-Baxter equation for sl(n), Math. Scand. 69 (1991) 57-80; A.A. Stolin, On rational solutions of Yang-Baxter equation. Maximal orders in loop algebra, Comm. Math. Phys. 141 (1991) 533-548; A. Stolin, A geometrical approach to rational solutions of the classical Yang-Baxter equation. Part I, in: Walter de Gruyter & Co. (Ed.), Symposia Gaussiana, Conf. Alg., Berlin, New York, 1995, pp. 347-357] a theory of rational solutions of the classical Yang-Baxter equation for a simple complex Lie algebra g was presented. We discuss this theory for simple compact real Lie algebras g. We prove that up to gauge equivalence all rational solutions have the form X(u,v)={Ω}/{u-v}+t1∧t2+⋯+t∧t2n, where Ω denotes the quadratic Casimir element of g and {ti} are linearly independent elements in a maximal torus t of g. The quantization of these solutions is also emphasized.
Asymptotic aspect of derivations in Banach algebras.
Roh, Jaiok; Chang, Ick-Soon
2017-01-01
We prove that every approximate linear left derivation on a semisimple Banach algebra is continuous. Also, we consider linear derivations on Banach algebras and we first study the conditions for a linear derivation on a Banach algebra. Then we examine the functional inequalities related to a linear derivation and their stability. We finally take central linear derivations with radical ranges on semiprime Banach algebras and a continuous linear generalized left derivation on a semisimple Banach algebra.
Computing Matrix Representations of Filiform Lie Algebras
NASA Astrophysics Data System (ADS)
Ceballos, Manuel; Núñez, Juan; Tenorio, Ángel F.
In this paper, we compute minimal faithful unitriangular matrix representations of filiform Lie algebras. To do it, we use the nilpotent Lie algebra, g_n, formed of n ×n strictly upper-triangular matrices. More concretely, we search the lowest natural number n such that the Lie algebra g_n contains a given filiform Lie algebra, also computing a representative of this algebra. All the computations in this paper have been done using MAPLE 9.5.
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.
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)
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.
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;…
Coherent States for Hopf Algebras
NASA Astrophysics Data System (ADS)
Škoda, Zoran
2007-07-01
Families of Perelomov coherent states are defined axiomatically in the context of unitary representations of Hopf algebras. A global geometric picture involving locally trivial noncommutative fibre bundles is involved in the construction. If, in addition, the Hopf algebra has a left Haar integral, then a formula for noncommutative resolution of identity in terms of the family of coherent states holds. Examples come from quantum groups.
Multiplier operator algebras and applications
Blecher, David P.; Zarikian, Vrej
2004-01-01
The one-sided multipliers of an operator space X are a key to “latent operator algebraic structure” in X. We begin with a survey of these multipliers, together with several of the applications that they have had to operator algebras. We then describe several new results on one-sided multipliers, and new applications, mostly to one-sided M-ideals. PMID:14711990
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).
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.
Quadratic algebra for superintegrable monopole system in a Taub-NUT space
NASA Astrophysics Data System (ADS)
Hoque, Md Fazlul; Marquette, Ian; Zhang, Yao-Zhong
2016-09-01
We introduce a Hartmann system in the generalized Taub-NUT space with Abelian monopole interaction. This quantum system includes well known Kaluza-Klein monopole and MIC-Zwanziger monopole as special cases. It is shown that the corresponding Schrödinger equation of the Hamiltonian is separable in both spherical and parabolic coordinates. We obtain the integrals of motion of this superintegrable model and construct the quadratic algebra and Casimir operator. This algebra can be realized in terms of a deformed oscillator algebra and has finite dimensional unitary representations (unirreps) which provide energy spectra of the system. This result coincides with the physical spectra obtained from the separation of variables.
Algebraic approach to form factors in the complex sinh-Gordon theory
NASA Astrophysics Data System (ADS)
Lashkevich, Michael; Pugai, Yaroslav
2017-01-01
We study form factors of the quantum complex sinh-Gordon theory in the algebraic approach. In the case of exponential fields the form factors can be obtained from the known form factors of the ZN-symmetric Ising model. The algebraic construction also provides an Ansatz for form factors of descendant operators. We obtain generating functions of such form factors and establish their main properties: the cluster factorization and reflection equations.
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
2014-11-01
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets Khalil Ghorbal1 Andrew Sogokon2 André Platzer1 November 2014 CMU...COVERED 00-00-2014 to 00-00-2014 4. TITLE AND SUBTITLE A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets 5a...of polynomial ordinary differential equations. Problems of this nature arise in formal verification of continuous and hybrid dynamical systems, where
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.
On polynomial integrability of the Euler equations on so(4)
NASA Astrophysics Data System (ADS)
Llibre, Jaume; Yu, Jiang; Zhang, Xiang
2015-10-01
In this paper we prove that the Euler equations on the Lie algebra so(4) with a diagonal quadratic Hamiltonian either satisfy the Manakov condition, or have at most four functionally independent polynomial first integrals.
Geometric Approaches to Quadratic Equations from Other Times and Places.
ERIC Educational Resources Information Center
Allaire, Patricia R.; Bradley, Robert E.
2001-01-01
Focuses on geometric solutions of quadratic problems. Presents a collection of geometric techniques from ancient Babylonia, classical Greece, medieval Arabia, and early modern Europe to enhance the quadratic equation portion of an algebra course. (KHR)
Lie algebraic methods for particle tracking calculations
Douglas, D.R.; Dragt, A.J.
1983-08-01
A study of the nonlinear stability of an accelerator or storage ring lattice typically includes particle tracking simulations. Such simulations trace rays through linear and nonlinear lattice elements by numerically evaluating linear matrix or impulsive nonlinear transformations. Using the mathematical tools of Lie groups and algebras, one may construct a formalism which makes explicit use of Hamilton's equations and which allows the description of groups of linear and nonlinear lattice elements by a single transformation. Such a transformation will be exactly canonical and will describe finite length linear and nonlinear elements through third (octupole) order. It is presently possible to include effects such as fringing fields and potentially possible to extend the formalism to include nonlinearities of higher order, multipole errors, and magnet misalignments. We outline this Lie algebraic formalism and its use in particle tracking calculations. A computer code, MARYLIE, has been constructed on the basis of this formalism. We describe the use of this program for tracking and provide examples of its application. 6 references, 3 figures.
Novikov algebras with associative bilinear forms
NASA Astrophysics Data System (ADS)
Zhu, Fuhai; Chen, Zhiqi
2007-11-01
Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic-type and Hamiltonian operators in formal variational calculus. The goal of this paper is to study Novikov algebras with non-degenerate associative symmetric bilinear forms, which we call quadratic Novikov algebras. Based on the classification of solvable quadratic Lie algebras of dimension not greater than 4 and Novikov algebras in dimension 3, we show that quadratic Novikov algebras up to dimension 4 are commutative. Furthermore, we obtain the classification of transitive quadratic Novikov algebras in dimension 4. But we find that not every quadratic Novikov algebra is commutative and give a non-commutative quadratic Novikov algebra in dimension 6.
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.
Solving the Noncommutative Batalin-Vilkovisky Equation
NASA Astrophysics Data System (ADS)
Barannikov, Serguei
2013-06-01
Given an odd symmetry acting on an associative algebra, I show that the summation over arbitrary ribbon graphs gives the construction of the solutions to the noncommutative Batalin-Vilkovisky equation, introduced in (Barannikov in IMRN, rnm075, 2007), and to the equivariant version of this equation. This generalizes the known construction of A ∞-algebra via summation over ribbon trees. I give also the generalizations to other types of algebras and graph complexes, including the stable ribbon graph complex. These solutions to the noncommutative Batalin-Vilkovisky equation and to its equivariant counterpart, provide naturally the supersymmetric matrix action functionals, which are the gl( N)-equivariantly closed differential forms on the matrix spaces, as in (Barannikov in Comptes Rendus Mathematique vol 348, pp. 359-362.
Quantum Q systems: from cluster algebras to quantum current algebras
NASA Astrophysics Data System (ADS)
Di Francesco, Philippe; Kedem, Rinat
2017-02-01
This paper gives a new algebraic interpretation for the algebra generated by the quantum cluster variables of the A_r quantum Q-system (Di Francesco and Kedem in Int Math Res Not IMRN 10:2593-2642, 2014). We show that the algebra can be described as a quotient of the localization of the quantum algebra U_{√{q}}({n}[u,u^{-1}])subset U_{√{q}}(widehat{{sl}}_2), in the Drinfeld presentation. The generating current is made up of a subset of the cluster variables which satisfy the Q-system, which we call fundamental. The other cluster variables are given by a quantum determinant-type formula, and are polynomials in the fundamental generators. The conserved quantities of the discrete evolution (Di Francesco and Kedem in Adv Math 228(1):97-152, 2011) described by quantum Q-system generate the Cartan currents at level 0, in a non-standard polarization. The rest of the quantum affine algebra is also described in terms of cluster variables.
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,…
Computational algebraic topology-based video restoration
NASA Astrophysics Data System (ADS)
Rochel, Alban; Ziou, Djemel; Auclair-Fortier, Marie-Flavie
2005-03-01
This paper presents a scheme for video denoising by diffusion of gray levels, based on the Computational Algebraic Topology (CAT) image model. The diffusion approach is similar to the one used to denoise static images. Rather than using the heat transfer partial differential equation, discretizing it and solving it by a purely mathematical process, the CAT approach considers the global expression of the heat transfer and decomposes it into elementary physical laws. Some of these laws describe conservative relations, leading to error-free expressions, whereas others depend on metric quantities and require approximation. This scheme allows for a physical interpretation for each step of the resolution process. We propose a nonlinear and an anisotropic diffusion algorithms based on the extension to video of an existing 2D algorithm thanks to the flexibility of the topological support. Finally it is validated with experimental results.
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.
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.
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.
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.
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.
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…
Using Number Theory to Reinforce Elementary Algebra.
ERIC Educational Resources Information Center
Covillion, Jane D.
1995-01-01
Demonstrates that using the elementary number theory in algebra classes helps students to use acquired algebraic skills as well as helping them to more clearly understand concepts that are presented. Discusses factoring, divisibility rules, and number patterns. (AIM)
Algebraic orbifold conformal field theories
Xu, Feng
2000-01-01
The unitary rational orbifold conformal field theories in the algebraic quantum field theory and subfactor theory framework are formulated. Under general conditions, it is shown that the orbifold of a given unitary rational conformal field theory generates a unitary modular category. Many new unitary modular categories are obtained. It is also shown that the irreducible representations of orbifolds of rank one lattice vertex operator algebras give rise to unitary modular categories and determine the corresponding modular matrices, which has been conjectured for some time. PMID:11106383
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.
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.
Twining characters and orbit Lie algebras
Fuchs, Jurgen; Ray, Urmie; Schellekens, Bert; Schweigert, Christoph
1996-12-05
We associate to outer automorphisms of generalized Kac-Moody algebras generalized character-valued indices, the twining characters. A character formula for twining characters is derived which shows that they coincide with the ordinary characters of some other generalized Kac-Moody algebra, the so-called orbit Lie algebra. Some applications to problems in conformal field theory, algebraic geometry and the theory of sporadic simple groups are sketched.
Applications of Algebraic Logic and Universal Algebra to Computer Science
1989-06-21
conference, with roughly equal representation from Mathematics and Computer Science . The conference consisted of eight invited lectures (60 minutes...each) and 26 contributed talks (20-40 minutes each). There was also a round-table discussion on the role of algebra and logic in computer science . Keywords
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.
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…
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…
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…
Constraint-Referenced Analytics of Algebra Learning
ERIC Educational Resources Information Center
Sutherland, Scot M.; White, Tobin F.
2016-01-01
The development of the constraint-referenced analytics tool for monitoring algebra learning activities presented here came from the desire to firstly, take a more quantitative look at student responses in collaborative algebra activities, and secondly, to situate those activities in a more traditional introductory algebra setting focusing on…
Embedding Algebraic Thinking throughout the Mathematics Curriculum
ERIC Educational Resources Information Center
Vennebush, G. Patrick; Marquez, Elizabeth; Larsen, Joseph
2005-01-01
This article explores the algebra that can be uncovered in many middle-grades mathematics tasks that, on first inspection, do not appear to be algebraic. It shows connections to the other four Standards that occur in traditional algebra problems, and it offers strategies for modifying activities so that they can be used to foster algebraic…
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"…
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…
Teacher Actions to Facilitate Early Algebraic Reasoning
ERIC Educational Resources Information Center
Hunter, Jodie
2015-01-01
In recent years there has been an increased emphasis on integrating the teaching of arithmetic and algebra in primary school classrooms. This requires teachers to develop links between arithmetic and algebra and use pedagogical actions that facilitate algebraic reasoning. Drawing on findings from a classroom-based study, this paper provides an…
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…
Cyclic homology for Hom-associative algebras
NASA Astrophysics Data System (ADS)
Hassanzadeh, Mohammad; Shapiro, Ilya; Sütlü, Serkan
2015-12-01
In the present paper we investigate the noncommutative geometry of a class of algebras, called the Hom-associative algebras, whose associativity is twisted by a homomorphism. We define the Hochschild, cyclic, and periodic cyclic homology and cohomology for this class of algebras generalizing these theories from the associative to the Hom-associative setting.
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.
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.
Geary, David C.; Hoard, Mary K.; Nugent, Lara; Rouder, Jeffrey N.
2015-01-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 (92 girls) 9th graders, controlling 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 schema memory. Frequency of fact-retrieval errors was related to schema memory but not coordinate plane or expression evaluation accuracy. The results suggest the ANS may contribute to or is 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 different brain and cognitive systems are engaged during the learning of different components of algebraic competence, controlling demographic and domain general abilities. PMID:26255604
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.
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 2nd- 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
An algebraic criterion for the onset of chaos in nonlinear dynamic systems
NASA Technical Reports Server (NTRS)
Unal, A.; Tobak, M.
1987-01-01
The correspondence between iterated integrals and a noncommutative algebra is used to recast the given dynamical system from the time domain to the Laplace-Borel transform domain. It is then shown that the following algebraic criterion has to be satisfied for the outset of chaos: the limit (as tau approaches infinity and x sub 0 approaches infinity) of ((sigma(k=0) (tau sup k) / (k* x sub 0 sup k)) G II G = 0, where G is the generating power series of the trajectories, the symbol II is the shuffle product (le melange) of the noncommutative algebra, x sub 0 is a noncommutative variable, and tau is the correlation parameter. In the given equation, symbolic forms for both G and II can be obtained by use of one of the currently available symbolic languages such as PLI, REDUCE, and MACSYMA. Hence, the criterion is a computer-algebraic one.
Carry Groups: Abstract Algebra Projects
ERIC Educational Resources Information Center
Miller, Cheryl Chute; Madore, Blair F.
2004-01-01
Carry Groups are a wonderful collection of groups to introduce in an undergraduate Abstract Algebra course. These groups are straightforward to define but have interesting structures for students to discover. We describe these groups and give examples of in-class group projects that were developed and used by Miller.
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…
Easing Students' Transition to Algebra
ERIC Educational Resources Information Center
Baroudi, Ziad
2006-01-01
Traditionally, students learn arithmetic throughout their primary schooling, and this is seen as the ideal preparation for the learning of algebra in the junior secondary school. The four operations are taught and rehearsed in the early years and from this, it is assumed, "children will induce the fundamental structure of arithmetic" (Warren &…
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…
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.
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 contemporary…
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…
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.
Math Sense: Algebra and Geometry.
ERIC Educational Resources Information Center
Howett, Jerry
This book is designed to help students gain the range of math skills they need to succeed in life, work, and on standardized tests; overcome math anxiety; discover math as interesting and purposeful; and develop good number sense. Topics covered in this book include algebra and geometry. Lessons are organized around four strands: (1) skill lessons…
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…
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…
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.
Teachers' Understanding of Algebraic Generalization
NASA Astrophysics Data System (ADS)
Hawthorne, Casey Wayne
Generalization has been identified as a cornerstone of algebraic thinking (e.g., Lee, 1996; Sfard, 1995) and is at the center of a rich conceptualization of K-8 algebra (Kaput, 2008; Smith, 2003). Moreover, mathematics teachers are being encouraged to use figural-pattern generalizing tasks as a basis of student-centered instruction, whereby teachers respond to and build upon the ideas that arise from students' explorations of these activities. Although more and more teachers are engaging their students in such generalizing tasks, little is known about teachers' understanding of generalization and their understanding of students' mathematical thinking in this domain. In this work, I addressed this gap, exploring the understanding of algebraic generalization of 4 exemplary 8th-grade teachers from multiple perspectives. A significant feature of this investigation is an examination of teachers' understanding of the generalization process, including the use of algebraic symbols. The research consisted of two phases. Phase I was an examination of the teachers' understandings of the underlying quantities and quantitative relationships represented by algebraic notation. In Phase II, I observed the instruction of 2 of these teachers. Using the lens of professional noticing of students' mathematical thinking, I explored the teachers' enacted knowledge of algebraic generalization, characterizing how it supported them to effectively respond to the needs and queries of their students. Results indicated that teachers predominantly see these figural patterns as enrichment activities, disconnected from course content. Furthermore, in my analysis, I identified conceptual difficulties teachers experienced when solving generalization tasks, in particular, connecting multiple symbolic representations with the quantities in the figures. Moreover, while the teachers strived to overcome the challenges of connecting different representations, they invoked both productive and unproductive
NASA Astrophysics Data System (ADS)
Zhang, Yufeng; Tam, Honwah; Wu, Lixin
2015-10-01
We deduce a set of integrable equations under the framework of zero curvature equations and obtain two sets of integrable soliton equations, which can be reduced to some new integrable equations including the generalised nonlinear Schrödinger (NLS) equation. Under the case where the isospectral functions are one-order polynomials in the parameter λ, we generate a set of rational integrable equations, which are reduced to the loop soliton equation. Under the case where the derivative λt of the spectral parameter λ is a quadratic algebraic curve in λ, we derive a set of variable-coefficient integrable equations. In addition, we discretise a pair of isospectral problems introduced through the Lie algebra given by us for which a set of new semi-discrete nonlinear equations are available; furthermore, the semi-discrete MKdV equation and the Hirota lattice equation are followed to produce, respectively. Finally, we apply the Lie algebra to introduce a set of operator Lax pairs with an operator, and then through the Tu scheme and the binomial-residue representation method proposed by us, we generate a 2+1-dimensional integrable hierarchy of evolution equations, which reduces to a generalised 2+1-dimensional Davey-Stewartson (DS) equation.
Explicit field realizations of W algebras
NASA Astrophysics Data System (ADS)
Wei, Shao-Wen; Liu, Yu-Xiao; Zhang, Li-Jie; Ren, Ji-Rong
2009-06-01
The fact that certain nonlinear W2,s algebras can be linearized by the inclusion of a spin-1 current can provide a simple way to realize W2,s algebras from linear W1,2,s algebras. In this paper, we first construct the explicit field realizations of linear W1,2,s algebras with double scalar and double spinor, respectively. Then, after a change of basis, the realizations of W2,s algebras are presented. The results show that all these realizations are Romans-type realizations.
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.
On special classes of n-algebras
NASA Astrophysics Data System (ADS)
Vainerman, L.; Kerner, R.
1996-05-01
We define n-algebras as linear spaces on which the internal composition law involves n elements: m:V⊗n■V. It is known that such algebraic structures are interesting for their applications to problems of modern mathematical physics. Using the notion of a commutant of two subalgebras of an n-algebra, we distinguish certain classes of n-algebras with reasonable properties: semisimple, Abelian, nilpotent, solvable. We also consider a few examples of n-algebras of different types, and show their properties.
Quasi-explicit algebraic turbulence closures for compressible reacting flows
NASA Astrophysics Data System (ADS)
Adumitroaie, Virgil
A consistent and complete set of quasi-explicit algebraic closures for turbulent reacting flows is proposed as approximate solutions to the full second order moment equations. Quasi-explicit algebraic scalar flux models that are valid for three-dimensional turbulent flows are derived from a hierarchy of second-order moment closures. The mathematical procedure is based on the Cayley-Hamilton theorem and is an extension of the scheme developed by Taulbee (1992). Several closures for the pressure-scalar gradient correlations are considered and explicit algebraic relations are provided for the velocity-scalar correlations in both non-reacting and reacting flows. In the latter, the role of the Damkohler number is exhibited in isothermal turbulent flows with nonpremixed reactants. The relationship between these closures and traditional models based on the linear gradient diffusion approximation is theoretically established. The results of model predictions are assessed via comparison with available laboratory data in turbulent jet flows. The development of the quasi-explicit algebraic models for Reynolds stresses, temperature fluxes and reacting scalar fluxes is extended to high-speed turbulent reacting flows under a density weighted average formalism. New closures are proposed for the pressure-strain and the pressure-scalar gradient correlations. These accommodate compressibility corrections subject to the magnitude of the turbulent Mach number, the density gradient, the pressure gradient and the mean dilatation effects. Non-reacting and reacting flows with heat release are considered. In the latter, a second-order irreversible chemical reactions in turbulent flows with initially segregated reactants is considered. The models are tested in simple compressible free-shear flows. Comparisons are made between the full second order moment computations and the algebraic closure predictions. For a mixing layer, experimental data are used to validate the predicted results.
Algebraic construction of the Darboux matrix revisited
NASA Astrophysics Data System (ADS)
Cieśliński, Jan L.
2009-10-01
We present algebraic construction of Darboux matrices for 1+1-dimensional integrable systems of nonlinear partial differential equations with a special stress on the nonisospectral case. We discuss different approaches to the Darboux-Bäcklund transformation, based on different λ-dependences of the Darboux matrix: polynomial, sum of partial fractions or the transfer matrix form. We derive symmetric N-soliton formulae in the general case. The matrix spectral parameter and dressing actions in loop groups are also discussed. We describe reductions to twisted loop groups, unitary reductions, the matrix Lax pair for the KdV equation and reductions of chiral models (harmonic maps) to SU(n) and to Grassmann spaces. We show that in the KdV case the nilpotent Darboux matrix generates the binary Darboux transformation. The paper is intended as a review of known results (usually presented in a novel context) but some new results are included as well, e.g., general compact formulae for N-soliton surfaces and linear and bilinear constraints on the nonisospectral Lax pair matrices which are preserved by Darboux transformations.
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.
Algebraic algorithms for structure determination in biological chemistry
NASA Astrophysics Data System (ADS)
Emiris, Ioannis Z.; Fritzilas, Epaminondas D.; Manocha, Dinesh
Several problems in computational chemistry, structural molecular biology, and biological chemistry can be solved by symbolic-numerical algorithms. We introduce suitable algebraic tools and then survey their usage in concrete applications. In particular, questions on molecular structure can be modeled by systems of polynomial equations, mainly by drawing on techniques from robot kinematics. Resultant-based algorithms, including sparse resultants and their matrix formulae, are described in order to reduce the solving of polynomial systems to numerical linear algebra. As an illustration, we focus on computing all conformations of cyclic molecules and on matching pharmacophores under distance constraints; in both cases, the number of independent degrees of freedom is relatively small. We summarize some existing results as well as sketch some original work. Both lead to complete and accurate solutions for those problems in the sense that our algorithms output all solutions with sufficiently high precision for the needs of biochemical applications.
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.
Recursion and feedback in image algebra
NASA Astrophysics Data System (ADS)
Ritter, Gerhard X.; Davidson, Jennifer L.
1991-04-01
Recursion and feedback are two important processes in image processing. Image algebra, a unified algebraic structure developed for use in image processing and image analysis, provides a common mathematical environment for expressing image processing transforms. It is only recently that image algebra has been extended to include recursive operations [1]. Recently image algebra was shown to incorporate neural nets [2], including a new type of neural net, the morphological neural net [3]. This paper presents the relationship of the recursive image algebra to the field of fractions of the ring of matrices, and gives the two dimensional moving average filter as an example. Also, the popular multilayer perceptron with back propagation and a morphology neural network with learning rule are presented in image algebra notation. These examples show that image algebra can express these important feedback concepts in a succinct way.
Deformed Kac Moody and Virasoro algebras
NASA Astrophysics Data System (ADS)
Balachandran, A. P.; Queiroz, A. R.; Marques, A. M.; Teotonio-Sobrinho, P.
2007-07-01
Whenever the group {\\bb R}^n acts on an algebra {\\cal A} , there is a method to twist \\cal A to a new algebra {\\cal A}_\\theta which depends on an antisymmetric matrix θ (θμν = -θνμ = constant). The Groenewold-Moyal plane {\\cal A}_\\theta({\\bb R}^{d+1}) is an example of such a twisted algebra. We give a general construction to realize this twist in terms of {\\cal A} itself and certain 'charge' operators Qμ. For {\\cal A}_\\theta({\\bb R}^{d+1}), Q_\\mu are translation generators. This construction is then applied to twist the oscillators realizing the Kac-Moody (KM) algebra as well as the KM currents. They give different deformations of the KM algebra. From one of the deformations of the KM algebra, we construct, via the Sugawara construction, the Virasoro algebra. These deformations have an implication for statistics as well.
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…
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.)
Algebraic complexities and algebraic curves over finite fields
Chudnovsky, D. V.; Chudnovsky, G. V.
1987-01-01
We consider the problem of minimal (multiplicative) complexity of polynomial multiplication and multiplication in finite extensions of fields. For infinite fields minimal complexities are known [Winograd, S. (1977) Math. Syst. Theory 10, 169-180]. We prove lower and upper bounds on minimal complexities over finite fields, both linear in the number of inputs, using the relationship with linear coding theory and algebraic curves over finite fields. PMID:16593816
Oscillator-Morse-Coulomb mappings and algebras for constant or position-dependent mass
Quesne, C.
2008-02-15
The bound-state solutions and the su(1,1) description of the d-dimensional radial harmonic oscillator, the Morse, and the D-dimensional radial Coulomb Schroedinger equations are reviewed in a unified way using the point canonical transformation method. It is established that the spectrum generating su(1,1) algebra for the first problem is converted into a potential algebra for the remaining two. This analysis is then extended to Schroedinger equations containing some position-dependent mass. The deformed su(1,1) construction recently achieved for a d-dimensional radial harmonic oscillator is easily extended to the Morse and Coulomb potentials. In the last two cases, the equivalence between the resulting deformed su(1,1) potential algebra approach and a previous deformed shape invariance one generalizes to a position-dependent mass background a well-known relationship in the context of constant mass.
Simple derivation of the Lindblad equation
NASA Astrophysics Data System (ADS)
Pearle, Philip
2012-07-01
The Lindblad equation is an evolution equation for the density matrix in quantum theory. It is the general linear, Markovian, form which ensures that the density matrix is Hermitian, trace 1, positive and completely positive. Some elementary examples of the Lindblad equation are given. The derivation of the Lindblad equation presented here is ‘simple’ in that all it uses is the expression of a Hermitian matrix in terms of its orthonormal eigenvectors and real eigenvalues. Thus, it is appropriate for students who have learned the algebra of quantum theory. Where helpful, arguments are first given in a two-dimensional Hilbert space.
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.
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.
Algebraic Methods to Design Signals
2015-08-27
group theory are employed to investigate the theory of their construction methods leading to new families of these arrays and some generalizations...sequences and arrays with desirable correlation properties. The methods used are very algebraic and number theoretic. Many new families of sequences...context of optical quantum computing, we prove that infinite families of anticirculant block weighing matrices can be obtained from generic weighing
Functional relations and the Yang-Baxter algebra
NASA Astrophysics Data System (ADS)
Galleas, Wellington
2013-11-01
Functional equations methods are a fundamental part of the theory of Exactly Solvable Models in Statistical Mechanics and they are intimately connected with Baxter's concept of commuting transfer matrices. This concept has culminated in the celebrated Yang-Baxter equation which plays a fundamental role for the construction of quantum integrable systems and also for obtaining their exact solution. Here I shall discuss a proposal that has been put forward in the past years, in which the Yang-Baxter algebra is viewed as a source of functional equations describing quantities of physical interest. For instance, this method has been successfully applied for the description of the spectrum of open spin chains, partition functions of elliptic models with domain wall boundaries and scalar product of Bethe vectors. Further applications of this method are also discussed.
Polarization ellipse and Stokes parameters in geometric algebra.
Santos, Adler G; Sugon, Quirino M; McNamara, Daniel J
2012-01-01
In this paper, we use geometric algebra to describe the polarization ellipse and Stokes parameters. We show that a solution to Maxwell's equation is a product of a complex basis vector in Jackson and a linear combination of plane wave functions. We convert both the amplitudes and the wave function arguments from complex scalars to complex vectors. This conversion allows us to separate the electric field vector and the imaginary magnetic field vector, because exponentials of imaginary scalars convert vectors to imaginary vectors and vice versa, while exponentials of imaginary vectors only rotate the vector or imaginary vector they are multiplied to. We convert this expression for polarized light into two other representations: the Cartesian representation and the rotated ellipse representation. We compute the conversion relations among the representation parameters and their corresponding Stokes parameters. And finally, we propose a set of geometric relations between the electric and magnetic fields that satisfy an equation similar to the Poincaré sphere equation.
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.
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.
Introduction to Image Algebra Ada
NASA Astrophysics Data System (ADS)
Wilson, Joseph N.
1991-07-01
Image Algebra Ada (IAA) is a superset of the Ada programming language designed to support use of the Air Force Armament Laboratory's image algebra in the development of computer vision application programs. The IAA language differs from other computer vision languages is several respects. It is machine independent, and an IAA translator has been implemented in the military standard Ada language. Its image operands and operations can be used to program a range of both low- and high-level vision algorithms. This paper provides an overview of the image algebra constructs supported in IAA and describes the embodiment of these constructs in the IAA extension of Ada. Examples showing the use of IAA for a range of computer vision tasks are given. The design of IAA as a superset of Ada and the implementation of the initial translator in Ada represent critical choices. The authors discuss the reasoning behind these choices as well as the benefits and drawbacks associated with them. Implementation strategies associated with the use of Ada as an implementation language for IAA are also discussed. While one can look on IAA as a program design language (PDL) for specifying Ada programs, it is useful to consider IAA as a separate language superset of Ada. This admits the possibility of directly translating IAA for implementation on special purpose architectures. This paper explores strategies for porting IAA to various architectures and notes the critical language and implementation features for porting to different architectures.
A note on the solution of a spinor equation
NASA Astrophysics Data System (ADS)
Collins, C. B.
1995-09-01
An equation of spinor algebra, which is specified by two positive integers,M andN, is solved by relating it to the problem of integrating a two-dimensional Hamiltonian homogeneous polynomial system of ordinary differential equations, whose degree isN}-1. The case in whichN=1 reduces to a well-known result of spinor algebra. The caseM=N=4 is of relevance in the study of symmetry operators of Maxwell's equations on a curved space-time. It is also shown, using spinor notation, that the first integral for a general two-dimensional Hamiltonian system of ordinary differential equations (whether polynomial or analytic) is determinable in a purely algebraic manner, i.e., by using no integration.
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…
Fractions as a Foundation for Algebra within a Sample of Prospective Teachers
ERIC Educational Resources Information Center
Zientek, Linda Reichwein; Younes, Rayya; Nimon, Kim; Mittag, Kathleen Cage; Taylor, Sharon
2013-01-01
Improving the mathematical skills of the next generation of students will require that elementary and middle school teachers are competent and confident in their abilities to perform fraction operations and to solve algebra equations The present study was conducted to (a) quantify relationships between prospective teachers' abilities to perform…
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.
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.
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…
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.…
Exploring complete positivity in hierarchy equations of motion
NASA Astrophysics Data System (ADS)
Witt, B.; Rudnicki, Ł.; Tanimura, Y.; Mintert, F.
2017-01-01
We derive a purely algebraic framework for the identification of hierarchy equations of motion that induce completely positive dynamics and demonstrate the applicability of our approach with several examples. We find bounds on the violation of complete positivity for microscopically derived hierarchy equations of motion and construct well-behaved phenomenological models with strongly non-Markovian revivals of quantum coherence.
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.
Solution of partial differential equations by agent-based simulation
NASA Astrophysics Data System (ADS)
Szilagyi, Miklos N.
2014-01-01
The purpose of this short note is to demonstrate that partial differential equations can be quickly solved by agent-based simulation with high accuracy. There is no need for the solution of large systems of algebraic equations. This method is especially useful for quick determination of potential distributions and demonstration purposes in teaching electromagnetism.
Bilinear forms on fermionic Novikov algebras
NASA Astrophysics Data System (ADS)
Chen, Zhiqi; Zhu, Fuhai
2007-05-01
Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic type and Hamiltonian operators in formal variational calculus. Fermionic Novikov algebras correspond to a certain Hamiltonian super-operator in a super-variable. In this paper, we show that there is a remarkable geometry on fermionic Novikov algebras with non-degenerate invariant symmetric bilinear forms, which we call pseudo-Riemannian fermionic Novikov algebras. They are related to pseudo-Riemannian Lie algebras. Furthermore, we obtain a procedure to classify pseudo-Riemannian fermionic Novikov algebras. As an application, we give the classification in dimension <=4. Motivated by the one in dimension 4, we construct some examples in high dimensions.
Hopf algebras of rooted forests, cocyles, and free Rota-Baxter algebras
NASA Astrophysics Data System (ADS)
Zhang, Tianjie; Gao, Xing; Guo, Li
2016-10-01
The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular, the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra.
NASA Astrophysics Data System (ADS)
Foerster, A.; Leymann, H. A. M.; Wiersig, J.
2017-03-01
We introduce an equation of motion approach that allows for an approximate evaluation of the time evolution of a quantum system, where the algebraic work to derive the equations of motion is done by the computer. The introduced procedures offer a variety of different types of approximations applicable for finite systems with strong coupling as well as for arbitrary large systems where augmented mean-field theories like the cluster expansion can be applied.
Symbolic Lie algebras manipulations using COMMON LISP
NASA Astrophysics Data System (ADS)
Cecchini, R.; Tarlini, M.
1989-01-01
We present a description and an implementation of a program in COMMON LISP to perform symbolic computations in a given Lie algebra. Using the general definitions of vector space Lie algebra and enveloping algebra, the program is able to compute commutators, to evaluate similarity transformations and the general Baker-Campbell-Hausdorff formula. All the computations are exact, including numerical coefficients. For the interactive user an optional menu facility and online help are available. LISP knowledge is unnecessary.
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.
The algebraic theory of latent projectors in lambda matrices
NASA Technical Reports Server (NTRS)
Denman, E. D.; Leyva-Ramos, J.; Jeon, G. J.
1981-01-01
Multivariable systems such as a finite-element model of vibrating structures, control systems, and large-scale systems are often formulated in terms of differential equations which give rise to lambda matrices. The present investigation is concerned with the formulation of the algebraic theory of lambda matrices and the relationship of latent roots, latent vectors, and latent projectors to the eigenvalues, eigenvectors, and eigenprojectors of the companion form. The chain rule for latent projectors and eigenprojectors for the repeated latent root or eigenvalues is given.
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
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.
Dispersion Operators Algebra and Linear Canonical Transformations
NASA Astrophysics Data System (ADS)
Andriambololona, Raoelina; Ranaivoson, Ravo Tokiniaina; Hasimbola Damo Emile, Randriamisy; Rakotoson, Hanitriarivo
2017-04-01
This work intends to present a study on relations between a Lie algebra called dispersion operators algebra, linear canonical transformation and a phase space representation of quantum mechanics that we have introduced and studied in previous works. The paper begins with a brief recall of our previous works followed by the description of the dispersion operators algebra which is performed in the framework of the phase space representation. Then, linear canonical transformations are introduced and linked with this algebra. A multidimensional generalization of the obtained results is given.
Dispersion Operators Algebra and Linear Canonical Transformations
NASA Astrophysics Data System (ADS)
Andriambololona, Raoelina; Ranaivoson, Ravo Tokiniaina; Hasimbola Damo Emile, Randriamisy; Rakotoson, Hanitriarivo
2017-02-01
This work intends to present a study on relations between a Lie algebra called dispersion operators algebra, linear canonical transformation and a phase space representation of quantum mechanics that we have introduced and studied in previous works. The paper begins with a brief recall of our previous works followed by the description of the dispersion operators algebra which is performed in the framework of the phase space representation. Then, linear canonical transformations are introduced and linked with this algebra. A multidimensional generalization of the obtained results is given.
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.
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.
NASA Technical Reports Server (NTRS)
Hayes, E. F.; Kouri, D. J.
1971-01-01
Coupled integral equations are derived for the full scattering amplitudes for both reactive and nonreactive channels. The equations do not involve any partial wave expansion and are obtained using channel operators for reactive and nonreactive collisions. These coupled integral equations are similar in nature to equations derived for purely nonreactive collisions of structureless particles. Using numerical quadrature techniques, these equations may be reduced to simultaneous algebraic equations which may then be solved.
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…
ERIC Educational Resources Information Center
Hitt, Fernando; Saboya, Mireille; Cortés Zavala, Carlos
2016-01-01
This paper presents an experiment that attempts to mobilise an arithmetic-algebraic way of thinking in order to articulate between arithmetic thinking and the early algebraic thinking, which is considered a prelude to algebraic thinking. In the process of building this latter way of thinking, researchers analysed pupils' spontaneous production…
The Specific Analysis of Structural Equation Models.
McDonald, Roderick P
2004-10-01
Conventional structural equation modeling fits a covariance structure implied by the equations of the model. This treatment of the model often gives misleading results because overall goodness of fit tests do not focus on the specific constraints implied by the model. An alternative treatment arising from Pearl's directed acyclic graph theory checks identifiability and lists and tests the implied constraints. This approach is complete for Markov models, but has remained incomplete for models with correlated disturbances. Some new algebraic results overcome the limitations of DAG theory and give a specific form of structural equation analysis that checks identifiability, tests the implied constraints, equation by equation, and gives consistent estimators of the parameters in closed form from the equations. At present the method is limited to recursive models subject to exclusion conditions. With further work, specific structural equation modeling may yield a complete alternative to the present, rather unsatisfactory, global covariance structure analysis.
Full-deautonomisation of a lattice equation
NASA Astrophysics Data System (ADS)
Willox, R.; Mase, T.; Ramani, A.; Grammaticos, B.
2016-07-01
In this letter we report on the unexpected possibility of applying the full-deautonomisation approach we recently proposed for predicting the algebraic entropy of second-order birational mappings, to discrete lattice equations. Moreover, we show, on two examples, that the full-deautonomisation technique can in fact also be successfully applied to reductions of these lattice equations to mappings with orders higher than 2. In particular, we apply this technique to a recently discovered lattice equation that has confined singularities while being nonintegrable, and we show that our approach accurately predicts this nonintegrable character. Finally, we demonstrate how our method can even be used to predict the algebraic entropy for some nonconfining higher order mappings.
Brain surface conformal parameterization with algebraic functions.
Wang, Yalin; Gu, Xianfeng; Chan, Tony F; Thompson, Paul M; Yau, Shing-Tung
2006-01-01
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registration and signal processing. Here we introduce a parameterization method based on algebraic functions. By solving the Yamabe equation with the Ricci flow method, we can conformally map a brain surface to a multi-hole disk. The resulting parameterizations do not have any singularities and are intrinsic and stable. To illustrate the technique, we computed parameterizations of several types of anatomical surfaces in MRI scans of the brain, including the hippocampi and the cerebral cortices with various landmark curves labeled. For the cerebral cortical surfaces, we show the parameterization results are consistent with selected landmark curves and can be matched to each other using constrained harmonic maps. Unlike previous planar conformal parameterization methods, our algorithm does not introduce any singularity points. It also offers a method to explicitly match landmark curves between anatomical surfaces such as the cortex, and to compute conformal invariants for statistical comparisons of anatomy.
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.
Classification of filiform Lie algebras of order 3
NASA Astrophysics Data System (ADS)
Navarro, Rosa María
2016-12-01
Lie algebras of order 3 constitute a generalization of Lie algebras and superalgebras. Throughout this paper the classification problem of filiform Lie algebras of order 3 is considered and therefore this work is a continuation papers seen in the literature. We approach this classification by extending Vergne's result for filiform Lie algebras and by considering algebras of order 3 of high nilindex. We find the expression of the law to which any elementary filiform Lie algebra of order 3 is isomorphic.
The Algebra of Lexical Semantics
NASA Astrophysics Data System (ADS)
Kornai, András
The current generative theory of the lexicon relies primarily on tools from formal language theory and mathematical logic. Here we describe how a different formal apparatus, taken from algebra and automata theory, resolves many of the known problems with the generative lexicon. We develop a finite state theory of word meaning based on machines in the sense of Eilenberg [11], a formalism capable of describing discrepancies between syntactic type (lexical category) and semantic type (number of arguments). This mechanism is compared both to the standard linguistic approaches and to the formalisms developed in AI/KR.
Strengthening Effect Algebras in a Logical Perspective: Heyting-Wajsberg Algebras
NASA Astrophysics Data System (ADS)
Konig, Martinvaldo
2014-10-01
Heyting effect algebras are lattice-ordered pseudoboolean effect algebras endowed with a pseudocomplementation that maps on the center (i.e. Boolean elements). They are the algebraic counterpart of an extension of both Łukasiewicz many-valued logic and intuitionistic logic. We show that Heyting effect algebras are termwise equivalent to Heyting-Wajsberg algebras where the two different logical implications are defined as primitive operators. We prove this logic to be decidable, to be strongly complete and to have the deduction-detachment theorem.
Differential graded Lie algebras and singularities of level sets of momentum mappings
NASA Astrophysics Data System (ADS)
Goldman, William M.; Millson, John J.
1990-08-01
The germ of an analytic variety X at a point x∈ X is said to be quadratic if it is bi-analytically isomorphic to the germ of a cone defined by a system of homogeneous quadratic equations at the origin. Arms, Marsden and Moncrief show in [2] that under certain conditions the analytic germ of a level set of a momentum mapping is quadratic. We discuss related ideas in a more algebraic context by associating to an affine Hamiltonian action a differential graded Lie algebra, which in the presence of an invariant positive complex structure, is formal in the sence of [5].
On long-time algebraic and exponential instabilities found in linear dispersive flows
NASA Astrophysics Data System (ADS)
Barlow, Nathaniel; King, Kristina; Zaretzky, Paula; Cromer, Michael; Weinstein, Steven
2016-11-01
A physically-motivated class of partial differential equations that describes the response of a system to disturbances is examined. Morphological differences are identified between system responses that exhibit algebraic growth and the more typical case of exponential growth. Specifically, the propagation characteristics of the response are examined in the context of spatio-temporal hydrodynamic stability theory. One key attribute of predicted algebraically growing solutions is the prevalence of transient growth in almost all of the response, with the long-time growth occurring asymptotically at precisely one wave speed.
Constitutive equations for discrete electromagnetic problems over polyhedral grids
Codecasa, Lorenzo . E-mail: codecasa@elet.polimi.it; Trevisan, Francesco . E-mail: trevisan@uniud.it
2007-08-10
In this paper a novel approach is proposed for constructing discrete counterparts of constitutive equations over polyhedral grids which ensure both consistency and stability of the algebraic equations discretizing an electromagnetic field problem. The idea is to construct discrete constitutive equations preserving the thermodynamic relations for constitutive equations. In this way, consistency and stability of the discrete equations are ensured. At the base, a purely geometric condition between the primal and the dual grids has to be satisfied for a given primal polyhedral grid, by properly choosing the dual grid. Numerical experiments demonstrate that the proposed discrete constitutive equations lead to accurate approximations of the electromagnetic field.
2011-08-22
miniXyce uses a modified nodal analysis to approximate the governing differential algebraic equations (DAEs) for electronic devices and their coupling via a network and Kirchoff's conservation laws. The resulting nonlinear problem is solved iteratively using a fully coupled Newton method,which in turn results in a linear system that is solved using an iterative method.
Algebraic Thinking: A Problem Solving Approach
ERIC Educational Resources Information Center
Windsor, Will
2010-01-01
Algebraic thinking is a crucial and fundamental element of mathematical thinking and reasoning. It initially involves recognising patterns and general mathematical relationships among numbers, objects and geometric shapes. This paper will highlight how the ability to think algebraically might support a deeper and more useful knowledge, not only of…
Learning from Student Approaches to Algebraic Proofs
ERIC Educational Resources Information Center
D'Ambrosio, Beatriz S.; Kastberg, Signe E.; Viola dos Santos, Joao Ricardo
2010-01-01
Many mathematics teachers struggle to support their students' developing understanding of proof as an essential element in investigations of mathematics. The area of mathematics where the development of an understanding of proof is most challenging is algebra. In the case of algebraic proof, analysis of student written work on tasks that demand…
From operator algebras to superconformal field theory
Kawahigashi, Yasuyuki
2010-01-15
We survey operator algebraic approach to (super)conformal field theory. We discuss representation theory, classification results, full and boundary conformal field theories, relations to supervertex operator algebras and Moonshine, connections to subfactor theory of Jones, and certain aspects of noncommutative geometry of Connes.
A Technology-Intensive Approach to Algebra.
ERIC Educational Resources Information Center
Heid, M. Kathleen; Zbiek, Rose Mary
1995-01-01
Computer-Intensive Algebra (CIA) focuses on the use of technology to help develop a rich understanding of fundamental algebraic concepts in real-world settings using computing tools for easy access to numerical, graphical, and symbolic representations of mathematical ideas. (MKR)
Focus on Fractions to Scaffold Algebra
ERIC Educational Resources Information Center
Ooten, Cheryl Thomas
2013-01-01
Beginning algebra is a gatekeeper course into the pipeline to higher mathematics courses required for respected professions in engineering, science, statistics, mathematics, education, and technology. Beginning algebra can also be a perfect storm if the necessary foundational skills are not within a student's grasp. What skills ensure beginning…
Teaching Modeling and Axiomatization with Boolean Algebra.
ERIC Educational Resources Information Center
De Villiers, Michael D.
1987-01-01
Presented is an alternative approach to the traditional teaching of Boolean algebra for secondary school mathematics. The main aim of the approach is to use Boolean algebra to teach pupils such mathematical processes as modeling and axiomatization. A course using the approach is described. (RH)
Arithmetic and Cognitive Contributions to Algebra
ERIC Educational Resources Information Center
Cirino, Paul T.; Tolar, Tammy D.; Fuchs, Lynn S.
2013-01-01
Algebra is a prerequisite for access to STEM careers and occupational success (NMAP, 2008a), yet algebra is difficult for students through high school (US DOE, 2008). Growth in children's conceptual and procedural arithmetical knowledge is reciprocal, although conceptual knowledge has more impact on procedural knowledge than the reverse…
Algebraic Thinking through Koch Snowflake Constructions
ERIC Educational Resources Information Center
Ghosh, Jonaki B.
2016-01-01
Generalizing is a foundational mathematical practice for the algebra classroom. It entails an act of abstraction and forms the core of algebraic thinking. Kinach (2014) describes two kinds of generalization--by analogy and by extension. This article illustrates how exploration of fractals provides ample opportunity for generalizations of both…
Calif. Laws Shift Gears on Algebra, Textbooks
ERIC Educational Resources Information Center
Robelen, Erik W.
2012-01-01
New laws in California have set the state on a course for some potentially significant changes to the curriculum, including a measure that revisits the matter of teaching Algebra 1 in 8th grade and another that revamps the state's textbook-adoption process and hands districts greater leeway in choosing instructional materials. The algebra-related…
Using Students' Interests as Algebraic Models
ERIC Educational Resources Information Center
Whaley, Kenneth A.
2012-01-01
Fostering algebraic thinking is an important goal for middle-grades mathematics teachers. Developing mathematical reasoning requires that teachers cultivate students' habits of mind. Teachers develop students' understanding of algebra by engaging them in tasks that involve modeling and representation. This study was designed to investigate how…
THE RADICAL OF A JORDAN ALGEBRA
McCrimmon, Kevin
1969-01-01
In this paper we define a Jacobson radical for Jordan algebras analogous to that for associative algebras and show that it enjoys many of the properties of the associative radical. We then relate the corresponding notion of “semisimplicity” to the previously defined notion of “nondegeneracy” (Jacobson, N., these Proceedings, 55, 243-251 (1966)). PMID:16591736
Cartan calculus on quantum Lie algebras
Schupp, P.; Watts, P.; Zumino, B.
1993-12-09
A generalization of the differential geometry of forms and vector fields to the case of quantum Lie algebras is given. In an abstract formulation that incorporates many existing examples of differential geometry on quantum spaces we combine an exterior derivative, inner derivations, Lie derivatives, forms and functions au into one big algebra, the ``Cartan Calculus.``
The operator algebra approach to quantum groups
Kustermans, Johan; Vaes, Stefaan
2000-01-01
A relatively simple definition of a locally compact quantum group in the C*-algebra setting will be explained as it was recently obtained by the authors. At the same time, we put this definition in the historical and mathematical context of locally compact groups, compact quantum groups, Kac algebras, multiplicative unitaries, and duality theory. PMID:10639116
Using the Internet To Investigate Algebra.
ERIC Educational Resources Information Center
Sherwood, Walter
The lesson plans in this book engage students by using a tool they enjoy--the Internet--to explore key concepts in algebra. Working either individually or in groups, students learn to approach algebra from a problem solving perspective. Each lesson shows learners how to use the Internet as a resource for gathering facts, data, and other…
Teaching Algebra to Students with Learning Disabilities
ERIC Educational Resources Information Center
Impecoven-Lind, Linda S.; Foegen, Anne
2010-01-01
Algebra is a gateway to expanded opportunities, but it often poses difficulty for students with learning disabilities. Consequently, it is essential to identify evidence-based instructional strategies for these students. The authors begin by identifying three areas of algebra difficulty experienced by students with disabilities: cognitive…
Gary M. Klingler Algebra Teacher Assistance Packages
ERIC Educational Resources Information Center
Klingler, Gary
2005-01-01
Several packages designed by Elizabeth Marquez for mathematics teachers of grades 6-12, officially entitled the Teacher Assistance Package in Support of Better Algebra Assessment, is a series of resources developed to accompany ET's End-of-Course Algebra Assessment. It is designed to enhance teachers classroom assessment by providing examples of…
Just Say Yes to Early Algebra!
ERIC Educational Resources Information Center
Stephens, Ana; Blanton, Maria; Knuth, Eric; Isler, Isil; Gardiner, Angela Murphy
2015-01-01
Mathematics educators have argued for some time that elementary school students are capable of engaging in algebraic thinking and should be provided with rich opportunities to do so. Recent initiatives like the Common Core State Standards for Mathematics (CCSSM) (CCSSI 2010) have taken up this call by reiterating the place of early algebra in…
Symbolic Notations and Students' Achievements in Algebra
ERIC Educational Resources Information Center
Peter, Ebiendele E.; Olaoye, Adetunji A.
2013-01-01
This study focuses on symbolic notations and its impact on students' achievement in Algebra. The main reason for this study rests on the observation from personal and professional experiences on students' increasing hatred for Algebra. One hundred and fifty (150) Senior Secondary School Students (SSS) from Ojo Local Education District, Ojo, Lagos,…
SAYD Modules over Lie-Hopf Algebras
NASA Astrophysics Data System (ADS)
Rangipour, Bahram; Sütlü, Serkan
2012-11-01
In this paper a general van Est type isomorphism is proved. The isomorphism is between the Lie algebra cohomology of a bicrossed sum Lie algebra and the Hopf cyclic cohomology of its Hopf algebra. We first prove a one to one correspondence between stable-anti-Yetter-Drinfeld (SAYD) modules over the total Lie algebra and those modules over the associated Hopf algebra. In contrast to the non-general case done in our previous work, here the van Est isomorphism is proved at the first level of a natural spectral sequence, rather than at the level of complexes. It is proved that the Connes-Moscovici Hopf algebras do not admit any finite dimensional SAYD modules except the unique one-dimensional one found by Connes-Moscovici in 1998. This is done by extending our techniques to work with the infinite dimensional Lie algebra of formal vector fields. At the end, the one to one correspondence is applied to construct a highly nontrivial four dimensional SAYD module over the Schwarzian Hopf algebra. We then illustrate the whole theory on this example. Finally explicit representative cocycles of the cohomology classes for this example are calculated.
Algebraic Formulas for Areas between Curves.
ERIC Educational Resources Information Center
Gabai, Hyman
1982-01-01
Korean secondary school students preparing for college learn about a simple algebraic formula for area bounded by a parabola and line. The approach does not seem well-known among American students. It is noted that, while the formula derivations rely on integration, algebra students could use the formulas without proofs. (MP)
Some Applications of Algebraic System Solving
ERIC Educational Resources Information Center
Roanes-Lozano, Eugenio
2011-01-01
Technology and, in particular, computer algebra systems, allows us to change both the way we teach mathematics and the mathematical curriculum. Curiously enough, unlike what happens with linear system solving, algebraic system solving is not widely known. The aim of this paper is to show that, although the theory lying behind the "exact…
An Inquiry-Based Linear Algebra Class
ERIC Educational Resources Information Center
Wang, Haohao; Posey, Lisa
2011-01-01
Linear algebra is a standard undergraduate mathematics course. This paper presents an overview of the design and implementation of an inquiry-based teaching material for the linear algebra course which emphasizes discovery learning, analytical thinking and individual creativity. The inquiry-based teaching material is designed to fit the needs of a…
Practicing Algebraic Skills: A Conceptual Approach
ERIC Educational Resources Information Center
Friedlander, Alex; Arcavi, Abraham
2012-01-01
Traditionally, a considerable part of teaching and learning algebra has focused on routine practice and the application of rules, procedures, and techniques. Although today's computerized environments may have decreased the need to master algebraic skills, procedural competence is still a central component in any mathematical activity. However,…
Success in Algebra among Community College Students
ERIC Educational Resources Information Center
Reyes, Czarina
2010-01-01
College algebra is a required course for most majors, but is viewed by many as a gatekeeper course for degree completion by students. With almost half a million students taking college algebra each year, faculty are experimenting with new course lengths of time that might result in higher success, completion, and retention rates for college…
Is Algebra Really Difficult for All Students?
ERIC Educational Resources Information Center
Egodawatte, Gunawardena
2009-01-01
Research studies have shown that students encounter difficulties in transitioning from arithmetic to algebra. Errors made by high school students were analyzed for patterns and their causes. The origins of errors were: intuitive assumptions, failure to understand the syntax of algebra, analogies with other familiar symbol systems such as the…
Hexagonal tessellations in image algebra
NASA Astrophysics Data System (ADS)
Eberly, David H.; Wenzel, Dennis J.; Longbotham, Harold G.
1990-11-01
In image algebra '' the concept of a coordinate set X is general in that such a set is simply a subset of ndimensional Euclidean space . The standard applications in 2-dimensional image processing use coordinate sets which are rectangular arrays X 72 x ZZm. However some applications may require other geometries for the coordinate set. We look at three such related applications in the context of image algebra. The first application is the modeling of photoreceptors in primate retinas. These receptors are inhomogeneously distributed on the retina. The largest receptor density occurs in the center of the fovea and decreases radially outwards. One can construct a hexagonal tessellation of the retina such that each hexagon contains approximately the same number of receptors. The resulting tessellation called a sunflower heart2 consists of concentric rings of hexagons whose sizes increase as the radius of the ring increases. The second application is the modeling of the primary visual . The neurons are assumed to be uniformly distributed as a regular hexagonal lattice. Cortical neural image coding is modeled by a recursive convolution of the retinal neural image using a special set of filters. The third application involves analysis of a hexagonally-tessellated image where the pixel resolution is variable .
AN ADA LINEAR ALGEBRA PACKAGE MODELED AFTER HAL/S
NASA Technical Reports Server (NTRS)
Klumpp, A. R.
1994-01-01
This package extends the Ada programming language to include linear algebra capabilities similar to those of the HAL/S programming language. The package is designed for avionics applications such as Space Station flight software. In addition to the HAL/S built-in functions, the package incorporates the quaternion functions used in the Shuttle and Galileo projects, and routines from LINPAK that solve systems of equations involving general square matrices. Language conventions in this package follow those of HAL/S to the maximum extent practical and minimize the effort required for writing new avionics software and translating existent software into Ada. Valid numeric types in this package include scalar, vector, matrix, and quaternion declarations. (Quaternions are fourcomponent vectors used in representing motion between two coordinate frames). Single precision and double precision floating point arithmetic is available in addition to the standard double precision integer manipulation. Infix operators are used instead of function calls to define dot products, cross products, quaternion products, and mixed scalar-vector, scalar-matrix, and vector-matrix products. The package contains two generic programs: one for floating point, and one for integer. The actual component type is passed as a formal parameter to the generic linear algebra package. The procedures for solving systems of linear equations defined by general matrices include GEFA, GECO, GESL, and GIDI. The HAL/S functions include ABVAL, UNIT, TRACE, DET, INVERSE, TRANSPOSE, GET, PUT, FETCH, PLACE, and IDENTITY. This package is written in Ada (Version 1.2) for batch execution and is machine independent. The linear algebra software depends on nothing outside the Ada language except for a call to a square root function for floating point scalars (such as SQRT in the DEC VAX MATHLIB library). This program was developed in 1989, and is a copyrighted work with all copyright vested in NASA.
Acoustooptic linear algebra processors - Architectures, algorithms, and applications
NASA Technical Reports Server (NTRS)
Casasent, D.
1984-01-01
Architectures, algorithms, and applications for systolic processors are described with attention to the realization of parallel algorithms on various optical systolic array processors. Systolic processors for matrices with special structure and matrices of general structure, and the realization of matrix-vector, matrix-matrix, and triple-matrix products and such architectures are described. Parallel algorithms for direct and indirect solutions to systems of linear algebraic equations and their implementation on optical systolic processors are detailed with attention to the pipelining and flow of data and operations. Parallel algorithms and their optical realization for LU and QR matrix decomposition are specifically detailed. These represent the fundamental operations necessary in the implementation of least squares, eigenvalue, and SVD solutions. Specific applications (e.g., the solution of partial differential equations, adaptive noise cancellation, and optimal control) are described to typify the use of matrix processors in modern advanced signal processing.
Finite-Dimensional Lie Algebras for Fast Diffeomorphic Image Registration.
Zhang, Miaomiao; Fletcher, P Thomas
2015-01-01
This paper presents a fast geodesic shooting algorithm for diffeomorphic image registration. We first introduce a novel finite-dimensional Lie algebra structure on the space of bandlimited velocity fields. We then show that this space can effectively represent initial velocities for diffeomorphic image registration at much lower dimensions than typically used, with little to no loss in registration accuracy. We then leverage the fact that the geodesic evolution equations, as well as the adjoint Jacobi field equations needed for gradient descent methods, can be computed entirely in this finite-dimensional Lie algebra. The result is a geodesic shooting method for large deformation metric mapping (LDDMM) that is dramatically faster and less memory intensive than state-of-the-art methods. We demonstrate the effectiveness of our model to register 3D brain images and compare its registration accuracy, run-time, and memory consumption with leading LDDMM methods. We also show how our algorithm breaks through the prohibitive time and memory requirements of diffeomorphic atlas building.
Efficient computer algebra algorithms for polynomial matrices in control design
NASA Technical Reports Server (NTRS)
Baras, J. S.; Macenany, D. C.; Munach, R.
1989-01-01
The theory of polynomial matrices plays a key role in the design and analysis of multi-input multi-output control and communications systems using frequency domain methods. Examples include coprime factorizations of transfer functions, cannonical realizations from matrix fraction descriptions, and the transfer function design of feedback compensators. Typically, such problems abstract in a natural way to the need to solve systems of Diophantine equations or systems of linear equations over polynomials. These and other problems involving polynomial matrices can in turn be reduced to polynomial matrix triangularization procedures, a result which is not surprising given the importance of matrix triangularization techniques in numerical linear algebra. Matrices with entries from a field and Gaussian elimination play a fundamental role in understanding the triangularization process. In the case of polynomial matrices, matrices with entries from a ring for which Gaussian elimination is not defined and triangularization is accomplished by what is quite properly called Euclidean elimination. Unfortunately, the numerical stability and sensitivity issues which accompany floating point approaches to Euclidean elimination are not very well understood. New algorithms are presented which circumvent entirely such numerical issues through the use of exact, symbolic methods in computer algebra. The use of such error-free algorithms guarantees that the results are accurate to within the precision of the model data--the best that can be hoped for. Care must be taken in the design of such algorithms due to the phenomenon of intermediate expressions swell.
Non-Galerkin Coarse Grids for Algebraic Multigrid
Falgout, Robert D.; Schroder, Jacob B.
2014-06-26
Algebraic multigrid (AMG) is a popular and effective solver for systems of linear equations that arise from discretized partial differential equations. And while AMG has been effectively implemented on large scale parallel machines, challenges remain, especially when moving to exascale. Particularly, stencil sizes (the number of nonzeros in a row) tend to increase further down in the coarse grid hierarchy, and this growth leads to more communication. Therefore, as problem size increases and the number of levels in the hierarchy grows, the overall efficiency of the parallel AMG method decreases, sometimes dramatically. This growth in stencil size is due to the standard Galerkin coarse grid operator, $P^T A P$, where $P$ is the prolongation (i.e., interpolation) operator. For example, the coarse grid stencil size for a simple three-dimensional (3D) seven-point finite differencing approximation to diffusion can increase into the thousands on present day machines, causing an associated increase in communication costs. We therefore consider algebraically truncating coarse grid stencils to obtain a non-Galerkin coarse grid. First, the sparsity pattern of the non-Galerkin coarse grid is determined by employing a heuristic minimal “safe” pattern together with strength-of-connection ideas. Second, the nonzero entries are determined by collapsing the stencils in the Galerkin operator using traditional AMG techniques. The result is a reduction in coarse grid stencil size, overall operator complexity, and parallel AMG solve phase times.
Generalization of n-ary Nambu algebras and beyond
Ataguema, H.; Makhlouf, A.; Silvestrov, S.
2009-08-15
The aim of this paper is to introduce n-ary Hom-algebra structures generalizing the n-ary algebras of Lie type including n-ary Nambu algebras, n-ary Nambu-Lie algebras and n-ary Lie algebras, and n-ary algebras of associative type including n-ary totally associative and n-ary partially associative algebras. We provide examples of the new structures and present some properties and construction theorems. We describe the general method allowing one to obtain an n-ary Hom-algebra structure starting from an n-ary algebra and an n-ary algebra endomorphism. Several examples are derived using this process. Also we initiate investigation of classification problems for algebraic structures introduced in the article and describe all ternary three-dimensional Hom-Nambu-Lie structures with diagonal homomorphism.
Hyperbolic Kac-Moody algebras and chaos in Kaluza-Klein models
NASA Astrophysics Data System (ADS)
Damour, T.; Henneaux, M.; Julia, B.; Nicolai, H.
2001-06-01
Some time ago, it was found that the never-ending oscillatory chaotic behaviour discovered by Belinskii, Khalatnikov and Lifshitz (BKL) for the generic solution of the vacuum Einstein equations in the vicinity of a spacelike (``cosmological'') singularity disappears in spacetime dimensions /D≡d+1>10. Recently, a study of the generalization of the BKL chaotic behaviour to the superstring effective Lagrangians has revealed that this chaos is rooted in the structure of the fundamental Weyl chamber of some underlying hyperbolic Kac-Moody algebra. In this Letter we show that the same connection applies to pure gravity in any spacetime dimension />=4, where the relevant algebras are AEd. In this way the disappearance of chaos in pure gravity models in /D>=11 dimensions becomes linked to the fact that the Kac-Moody algebras AEd are no longer hyperbolic for /d>=10.
de Munck, J C
1992-09-01
A method is presented to compute the potential distribution on the surface of a homogeneous isolated conductor of arbitrary shape. The method is based on an approximation of a boundary integral equation as a set linear algebraic equations. The potential is described as a piecewise linear or quadratic function. The matrix elements of the discretized equation are expressed as analytical formulas.
Eye Movements Reveal Students' Strategies in Simple Equation Solving
ERIC Educational Resources Information Center
Susac, Ana; Bubic, Andreja; Kaponja, Jurica; Planinic, Maja; Palmovic, Marijan
2014-01-01
Equation rearrangement is an important skill required for problem solving in mathematics and science. Eye movements of 40 university students were recorded while they were rearranging simple algebraic equations. The participants also reported on their strategies during equation solving in a separate questionnaire. The analysis of the behavioral…
Algebraic multigrid domain and range decomposition (AMG-DD / AMG-RD)*
Bank, R.; Falgout, R. D.; Jones, T.; Manteuffel, T. A.; McCormick, S. F.; Ruge, J. W.
2015-10-29
In modern large-scale supercomputing applications, algebraic multigrid (AMG) is a leading choice for solving matrix equations. However, the high cost of communication relative to that of computation is a concern for the scalability of traditional implementations of AMG on emerging architectures. This paper introduces two new algebraic multilevel algorithms, algebraic multigrid domain decomposition (AMG-DD) and algebraic multigrid range decomposition (AMG-RD), that replace traditional AMG V-cycles with a fully overlapping domain decomposition approach. While the methods introduced here are similar in spirit to the geometric methods developed by Brandt and Diskin [Multigrid solvers on decomposed domains, in Domain Decomposition Methods in Science and Engineering, Contemp. Math. 157, AMS, Providence, RI, 1994, pp. 135--155], Mitchell [Electron. Trans. Numer. Anal., 6 (1997), pp. 224--233], and Bank and Holst [SIAM J. Sci. Comput., 22 (2000), pp. 1411--1443], they differ primarily in that they are purely algebraic: AMG-RD and AMG-DD trade communication for computation by forming global composite “grids” based only on the matrix, not the geometry. (As is the usual AMG convention, “grids” here should be taken only in the algebraic sense, regardless of whether or not it corresponds to any geometry.) Another important distinguishing feature of AMG-RD and AMG-DD is their novel residual communication process that enables effective parallel computation on composite grids, avoiding the all-to-all communication costs of the geometric methods. The main purpose of this paper is to study the potential of these two algebraic methods as possible alternatives to existing AMG approaches for future parallel machines. As a result, this paper develops some theoretical properties of these methods and reports on serial numerical tests of their convergence properties over a spectrum of problem parameters.
Algebraic multigrid domain and range decomposition (AMG-DD / AMG-RD)*
Bank, R.; Falgout, R. D.; Jones, T.; ...
2015-10-29
In modern large-scale supercomputing applications, algebraic multigrid (AMG) is a leading choice for solving matrix equations. However, the high cost of communication relative to that of computation is a concern for the scalability of traditional implementations of AMG on emerging architectures. This paper introduces two new algebraic multilevel algorithms, algebraic multigrid domain decomposition (AMG-DD) and algebraic multigrid range decomposition (AMG-RD), that replace traditional AMG V-cycles with a fully overlapping domain decomposition approach. While the methods introduced here are similar in spirit to the geometric methods developed by Brandt and Diskin [Multigrid solvers on decomposed domains, in Domain Decomposition Methods inmore » Science and Engineering, Contemp. Math. 157, AMS, Providence, RI, 1994, pp. 135--155], Mitchell [Electron. Trans. Numer. Anal., 6 (1997), pp. 224--233], and Bank and Holst [SIAM J. Sci. Comput., 22 (2000), pp. 1411--1443], they differ primarily in that they are purely algebraic: AMG-RD and AMG-DD trade communication for computation by forming global composite “grids” based only on the matrix, not the geometry. (As is the usual AMG convention, “grids” here should be taken only in the algebraic sense, regardless of whether or not it corresponds to any geometry.) Another important distinguishing feature of AMG-RD and AMG-DD is their novel residual communication process that enables effective parallel computation on composite grids, avoiding the all-to-all communication costs of the geometric methods. The main purpose of this paper is to study the potential of these two algebraic methods as possible alternatives to existing AMG approaches for future parallel machines. As a result, this paper develops some theoretical properties of these methods and reports on serial numerical tests of their convergence properties over a spectrum of problem parameters.« less
Conformal symmetry algebra of the quark potential and degeneracies in the hadron spectra
NASA Astrophysics Data System (ADS)
Kirchbach, M.
2012-10-01
The essence of the potential algebra concept [Y. Alhassid, F. Gürsey, F. Yachello. Phys. Rev. Lett. 50 (1983)] is that quantum mechanical free motions of scalar particles on curved surfaces of given isometry algebras can be mapped on 1D Schrödinger equations with particular potentials. As long as the Laplace-Beltrami operator on a curved surface is proportional to one of the Casimir invariants of the isometry algebra, free motion on the surface is described by means of the eigenvalue problem of that very Casimir operator. In effect, the excitation modes considered are classified according to the irreducible representations of the algebra of interest and are characterized by typical degeneracies. In consequence, also the spectra of the equivalent Schrödinger operators are classified according to the same irreducible representations and carry the same typical degeneracies. A subtle point concerns the representation of the algebra elements which may or may not be unitarily equivalent to the standard one generating classical groups like SO(n), SO(p,q), etc. To be specific, any similarity transformations of an algebra that underlies, say, an orthogonal group, always conserve the commutators among the elements, but a non-unitarily transformed algebra must not generate same group. One can then consider the parameters of the non-unitary similarity transformation as group symmetry breaking scales and seek to identify them with physical observables. We here use the potential algebra concept as a guidance in the search for an interaction describing conformal degeneracies. For this purpose we subject the so(4) ⊂ so(2,4) isometry algebra of the S3 ball to a particular non-unitary similarity transformation and obtain a deformed isometry copy to S3 such that free motion on the copy is equivalent to a cotangent perturbed motion on S3, and to the 1D Schrödinger operator with the trigonometric Rosen-Morse potential as well. The latter presents itself especially well suited for
Complex oscillator and Painlevé IV equation
Fernández C, David J. González, J.C.
2015-08-15
Supersymmetric quantum mechanics is a powerful tool for generating exactly solvable potentials departing from a given initial one. In this article the first- and second-order supersymmetric transformations will be used to obtain new exactly solvable potentials departing from the complex oscillator. The corresponding Hamiltonians turn out to be ruled by polynomial Heisenberg algebras. By applying a mechanism to reduce to second the order of these algebras, the connection with the Painlevé IV equation is achieved, thus giving place to new solutions for the Painlevé IV equation.
Application of the algebraic RNG model for transition simulation. [renormalization group theory
NASA Technical Reports Server (NTRS)
Lund, Thomas S.
1990-01-01
The algebraic form of the RNG model of Yakhot and Orszag (1986) is investigated as a transition model for the Reynolds averaged boundary layer equations. It is found that the cubic equation for the eddy viscosity contains both a jump discontinuity and one spurious root. A yet unpublished transformation to a quartic equation is shown to remove the numerical difficulties associated with the discontinuity, but only at the expense of merging both the physical and spurious root of the cubic. Jumps between the branches of the resulting multiple-valued solution are found to lead to oscillations in flat plate transition calculations. Aside from the oscillations, the transition behavior is qualitatively correct.
On the Solution of the Rational Matrix Equation[InlineEquation not available: see fulltext.
NASA Astrophysics Data System (ADS)
Benner, Peter; Faßbender, Heike
2007-12-01
We study numerical methods for finding the maximal symmetric positive definite solution of the nonlinear matrix equation[InlineEquation not available: see fulltext.], where[InlineEquation not available: see fulltext.] is symmetric positive definite and[InlineEquation not available: see fulltext.] is nonsingular. Such equations arise for instance in the analysis of stationary Gaussian reciprocal processes over a finite interval. Its unique largest positive definite solution coincides with the unique positive definite solution of a related discrete-time algebraic Riccati equation (DARE). We discuss how to use the butterfly[InlineEquation not available: see fulltext.] algorithm to solve the DARE. This approach is compared to several fixed-point and doubling-type iterative methods suggested in the literature.
Light polarization: A geometric-algebra approach
NASA Astrophysics Data System (ADS)
Baylis, W. E.; Bonenfant, J.; Derbyshire, J.; Huschilt, J.
1993-06-01
The geometric algebra of three-dimensional space (the ``Pauli algebra'') is known to provide an efficient geometric description of electromagnetic phenomena. Here, it is applied to the three-dimensional Stokes subspace to describe the polarization of an approximately monochromatic collimated beam of electromagnetic radiation. The coherency density ρ is a real element of the algebra whose components are the four Stokes parameters: a scalar representing the total photon flux density plus a three-dimensional vector whose direction and length in the Poincaré sphere give the type and degree of polarization. The detection of the radiation and the incoherent and coherent modification of the polarization by various optical elements are calculated by algebraic multiplication which has faithful representations in 2×2 matrices. One matrix representation of ρ is the coherency matrix with which Jones and Mueller matrices are related whereas another representation is the spin density matrix. However, the calculations are simplest to perform and interpret in the algebraic form independent of any particular matrix representation. It is shown that any possible change in the Stokes parameters can be treated algebraically by a combination of attenuation, depolarization, polarization, and rotation transformations of ρ. The geometric algebra thus unifies Stokes parameters, the Poincaré sphere, Jones and Mueller matrices, and the coherency and density matrices in a single, simple formalism.
Conformal current algebra in two dimensions
NASA Astrophysics Data System (ADS)
Ashok, Sujay K.; Benichou, Raphael; Troost, Jan
2009-06-01
We construct a non-chiral current algebra in two dimensions consistent with conformal invariance. We show that the conformal current algebra is realized in non-linear sigma-models on supergroup manifolds with vanishing Killing form, with or without a Wess-Zumino term. The current algebra is computed using two distinct methods. First we exploit special algebraic properties of supergroups to compute the exact two- and three-point functions of the currents and from them we infer the current algebra. The algebra is also calculated by using conformal perturbation theory about the Wess-Zumino-Witten point and resumming the perturbation series. We also prove that these models realize a non-chiral Kac-Moody algebra and construct an infinite set of commuting operators that is closed under the action of the Kac-Moody generators. The supergroup models that we consider include models with applications to statistical mechanics, condensed matter and string theory. In particular, our results may help to systematically solve and clarify the quantum integrability of PSU(n|n) models and their cosets, which appear prominently in string worldsheet models on anti-deSitter spaces.
Working memory, worry, and algebraic ability.
Trezise, Kelly; Reeve, Robert A
2014-05-01
Math anxiety (MA)-working memory (WM) relationships have typically been examined in the context of arithmetic problem solving, and little research has examined the relationship in other math domains (e.g., algebra). Moreover, researchers have tended to examine MA/worry separate from math problem solving activities and have used general WM tasks rather than domain-relevant WM measures. Furthermore, it seems to have been assumed that MA affects all areas of math. It is possible, however, that MA is restricted to particular math domains. To examine these issues, the current research assessed claims about the impact on algebraic problem solving of differences in WM and algebraic worry. A sample of 80 14-year-old female students completed algebraic worry, algebraic WM, algebraic problem solving, nonverbal IQ, and general math ability tasks. Latent profile analysis of worry and WM measures identified four performance profiles (subgroups) that differed in worry level and WM capacity. Consistent with expectations, subgroup membership was associated with algebraic problem solving performance: high WM/low worry>moderate WM/low worry=moderate WM/high worry>low WM/high worry. Findings are discussed in terms of the conceptual relationship between emotion and cognition in mathematics and implications for the MA-WM-performance relationship.
Three-dimensional polarization algebra.
R Sheppard, Colin J; Castello, Marco; Diaspro, Alberto
2016-10-01
If light is focused or collected with a high numerical aperture lens, as may occur in imaging and optical encryption applications, polarization should be considered in three dimensions (3D). The matrix algebra of polarization behavior in 3D is discussed. It is useful to convert between the Mueller matrix and two different Hermitian matrices, representing an optical material or system, which are in the literature. Explicit transformation matrices for converting the column vector form of these different matrices are extended to the 3D case, where they are large (81×81) but can be generated using simple rules. It is found that there is some advantage in using a generalization of the Chandrasekhar phase matrix treatment, rather than that based on Gell-Mann matrices, as the resultant matrices are of simpler form and reduce to the two-dimensional case more easily. Explicit expressions are given for 3D complex field components in terms of Chandrasekhar-Stokes parameters.
NASA Astrophysics Data System (ADS)
Orantin, N.
2007-09-01
The 2-matrix model has been introduced to study Ising model on random surfaces. Since then, the link between matrix models and combinatorics of discrete surfaces has strongly tightened. This manuscript aims to investigate these deep links and extend them beyond the matrix models, following my work's evolution. First, I take care to define properly the hermitian 2 matrix model which gives rise to generating functions of discrete surfaces equipped with a spin structure. Then, I show how to compute all the terms in the topological expansion of any observable by using algebraic geometry tools. They are obtained as differential forms on an algebraic curve associated to the model: the spectral curve. In a second part, I show how to define such differentials on any algebraic curve even if it does not come from a matrix model. I then study their numerous symmetry properties under deformations of the algebraic curve. In particular, I show that these objects coincide with the topological expansion of the observable of a matrix model if the algebraic curve is the spectral curve of this model. Finally, I show that fine tuning the parameters ensure that these objects can be promoted to modular invariants and satisfy the holomorphic anomaly equation of the Kodaira-Spencer theory. This gives a new hint that the Dijkgraaf-Vafa conjecture is correct.
Jucys-Murphy elements for Birman-Murakami-Wenzl algebras
NASA Astrophysics Data System (ADS)
Isaev, A. P.; Ogievetsky, O. V.
2011-05-01
The Burman-Wenzl-Murakami algebra, considered as the quotient of the braid group algebra, possesses the commutative set of Jucys-Murphy elements. We show that the set of Jucys-Murphy elements is maximal commutative for the generic Birman-Wenzl-Murakami algebra and reconstruct the representation theory of the tower of Birman-Wenzl-Murakami algebras.
Kinematical superalgebras and Lie algebras of order 3
Campoamor-Stursberg, R.; Rausch de Traubenberg, M.
2008-06-15
We study and classify kinematical algebras which appear in the framework of Lie superalgebras or Lie algebras of order 3. All these algebras are related through generalized Inonue-Wigner contractions from either the orthosymplectic superalgebra or the de Sitter Lie algebra of order 3.
Becchi-Rouet-Stora-Tyutin operators for W algebras
Isaev, A. P.; Krivonos, S. O.; Ogievetsky, O. V.
2008-07-15
The study of quantum Lie algebras motivates a use of noncanonical ghosts and antighosts for nonlinear algebras, such as W-algebras. This leads, for the W{sub 3} and W{sub 3}{sup (2)} algebras, to the Becchi-Rouet-Stora-Tyutin operator having the conventional cubic form.
On computational complexity of Clifford algebra
NASA Astrophysics Data System (ADS)
Budinich, Marco
2009-05-01
After a brief discussion of the computational complexity of Clifford algebras, we present a new basis for even Clifford algebra Cl(2m) that simplifies greatly the actual calculations and, without resorting to the conventional matrix isomorphism formulation, obtains the same complexity. In the last part we apply these results to the Clifford algebra formulation of the NP-complete problem of the maximum clique of a graph introduced by Budinich and Budinich ["A spinorial formulation of the maximum clique problem of a graph," J. Math. Phys. 47, 043502 (2006)].
Homomorphisms between C*-algebras and linear derivations on C*-algebras
NASA Astrophysics Data System (ADS)
Park, Choonkil; Boo, Deok-Hoon; An, Jong Su
2008-01-01
It is shown that every almost unital almost linear mapping of a unital C*-algebra to a unital C*-algebra is a homomorphism when h(3nuy)=h(3nu)h(y) holds for all unitaries , all , and all , and that every almost unital almost linear continuous mapping of a unital C*-algebra of real rank zero to a unital C*-algebra is a homomorphism when h(3nuy)=h(3nu)h(y) holds for all , and v is invertible}, all , and all . Furthermore, we prove the Hyers-Ulam-Rassias stability of *-homomorphisms between unital C*-algebras, and -linear *-derivations on unital C*-algebras. The concept of Hyers-Ulam-Rassias stability originated from the Th.M. Rassias' stability theorem that appeared in his paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978) 297-300.
Lie algebra type noncommutative phase spaces are Hopf algebroids
NASA Astrophysics Data System (ADS)
Meljanac, Stjepan; Škoda, Zoran; Stojić, Martina
2016-11-01
For a noncommutative configuration space whose coordinate algebra is the universal enveloping algebra of a finite-dimensional Lie algebra, it is known how to introduce an extension playing the role of the corresponding noncommutative phase space, namely by adding the commuting deformed derivatives in a consistent and nontrivial way; therefore, obtaining certain deformed Heisenberg algebra. This algebra has been studied in physical contexts, mainly in the case of the kappa-Minkowski space-time. Here, we equip the entire phase space algebra with a coproduct, so that it becomes an instance of a completed variant of a Hopf algebroid over a noncommutative base, where the base is the enveloping algebra.
A note on derivations of Murray–von Neumann algebras
Kadison, Richard V.; Liu, Zhe
2014-01-01
A Murray–von Neumann algebra is the algebra of operators affiliated with a finite von Neumann algebra. In this article, we first present a brief introduction to the theory of derivations of operator algebras from both the physical and mathematical points of view. We then describe our recent work on derivations of Murray–von Neumann algebras. We show that the “extended derivations” of a Murray–von Neumann algebra, those that map the associated finite von Neumann algebra into itself, are inner. In particular, we prove that the only derivation that maps a Murray–von Neumann algebra associated with a factor of type II1 into that factor is 0. Those results are extensions of Singer’s seminal result answering a question of Kaplansky, as applied to von Neumann algebras: The algebra may be noncommutative and may even contain unbounded elements. PMID:24469831
A double commutant theorem for Murray–von Neumann algebras
Liu, Zhe
2012-01-01
Murray–von Neumann algebras are algebras of operators affiliated with finite von Neumann algebras. In this article, we study commutativity and affiliation of self-adjoint operators (possibly unbounded). We show that a maximal abelian self-adjoint subalgebra of the Murray–von Neumann algebra associated with a finite von Neumann algebra is the Murray–von Neumann algebra , where is a maximal abelian self-adjoint subalgebra of and, in addition, is . We also prove that the Murray–von Neumann algebra with the center of is the center of the Murray–von Neumann algebra . Von Neumann’s celebrated double commutant theorem characterizes von Neumann algebras as those for which , where , the commutant of , is the set of bounded operators on the Hilbert space that commute with all operators in . At the end of this article, we present a double commutant theorem for Murray–von Neumann algebras. PMID:22543165
An explicit algebraic reduced order algorithm for lithium ion cell voltage prediction
NASA Astrophysics Data System (ADS)
Senthil Kumar, V.; Gambhire, Priya; Hariharan, Krishnan S.; Khandelwal, Ashish; Kolake, Subramanya Mayya; Oh, Dukjin; Doo, Seokgwang
2014-02-01
The detailed isothermal electrochemical model for a lithium ion cell has ten coupled partial differential equations to describe the cell behavior. In an earlier publication [Journal of Power Sources, 222, 426 (2013)], a reduced order model (ROM) was developed by reducing the detailed model to a set of five linear ordinary differential equations and nonlinear algebraic expressions, using uniform reaction rate, volume averaging and profile based approximations. An arbitrary current profile, involving charge, rest and discharge, is broken down into constant current and linearly varying current periods. The linearly varying current period results are generic, since it includes the constant current period results as well. Hence, the linear ordinary differential equations in ROM are solved for a linearly varying current period and an explicit algebraic algorithm is developed for lithium ion cell voltage prediction. While the existing battery management system (BMS) algorithms are equivalent circuit based and ordinary differential equations, the proposed algorithm is an explicit algebraic algorithm. These results are useful to develop a BMS algorithm for on-board applications in electric or hybrid vehicles, smart phones etc. This algorithm is simple enough for a spread-sheet implementation and is useful for rapid analysis of laboratory data.
Galitski, Victor
2011-07-15
We propose a Lie-algebraic duality approach to analyze nonequilibrium evolution of closed dynamical systems and thermodynamics of interacting quantum lattice models (formulated in terms of Hubbard-Stratonovich dynamical systems). The first part of the paper utilizes a geometric Hilbert-space-invariant formulation of unitary time evolution, where a quantum Hamiltonian is viewed as a trajectory in an abstract Lie algebra, while the sought-after evolution operator is a trajectory in a dynamic group, generated by the algebra via exponentiation. The evolution operator is uniquely determined by the time-dependent dual generators that satisfy a system of differential equations, dubbed here dual Schroedinger-Bloch equations, which represent a viable alternative to the conventional Schroedinger formulation. These dual Schroedinger-Bloch equations are derived and analyzed on a number of specific examples. It is shown that deterministic dynamics of a closed classical dynamical system occurs as action of a symmetry group on a classical manifold and is driven by the same dual generators as in the corresponding quantum problem. This represents quantum-to-classical correspondence. In the second part of the paper, we further extend the Lie-algebraic approach to a wide class of interacting many-particle lattice models. A generalized Hubbard-Stratonovich transform is proposed and it is used to show that the thermodynamic partition function of a generic many-body quantum lattice model can be expressed in terms of traces of single-particle evolution operators governed by the dynamic Hubbard-Stratonovich fields. The corresponding Hubbard-Stratonovich dynamical systems are generally nonunitary, which yields a number of notable complications, including breakdown of the global exponential representation. Finally, we derive Hubbard-Stratonovich dynamical systems for the Bose-Hubbard model and a quantum spin model and use the Lie-algebraic approach to obtain new nonperturbative dual
Fully-Explicit and Self-Consistent Algebraic Reynolds Stress Models
NASA Technical Reports Server (NTRS)
Girimaji, Sharath S.
1995-01-01
A fully-explicit, self-consistent algebraic expression for the Reynolds stress, which is the exact solution to the Reynolds stress transport equation in the 'weak equilibrium' limit for two-dimensional mean flows for all linear and some quasi-linear pressure-strain models, is derived. Current explicit algebraic Reynolds stress models derived by employing the 'weak equilibrium' assumption treat the production-to-dissipation (P/epsilon) ratio implicitly, resulting in an effective viscosity that can be singular away from the equilibrium limit. In the present paper, the set of simultaneous algebraic Reynolds stress equations are solved in the full non-linear form and the eddy viscosity is found to be non-singular. Preliminary tests indicate that the model performs adequately, even for three dimensional mean flow cases. Due to the explicit and non-singular nature of the effective viscosity, this model should mitigate many of the difficulties encountered in computing complex turbulent flows with the algebraic Reynolds stress models.
Highest-weight representations of Brocherd`s algebras
Slansky, R.
1997-01-01
General features of highest-weight representations of Borcherd`s algebras are described. to show their typical features, several representations of Borcherd`s extensions of finite-dimensional algebras are analyzed. Then the example of the extension of affine- su(2) to a Borcherd`s algebra is examined. These algebras provide a natural way to extend a Kac-Moody algebra to include the hamiltonian and number-changing operators in a generalized symmetry structure.
Algebraic solution for the forward displacement analysis of the general 6-6 stewart mechanism
NASA Astrophysics Data System (ADS)
Wei, Feng; Wei, Shimin; Zhang, Ying; Liao, Qizheng
2016-01-01
The solution for the forward displacement analysis(FDA) of the general 6-6 Stewart mechanism(i.e., the connection points of the moving and fixed platforms are not restricted to lying in a plane) has been extensively studied, but the efficiency of the solution remains to be effectively addressed. To this end, an algebraic elimination method is proposed for the FDA of the general 6-6 Stewart mechanism. The kinematic constraint equations are built using conformal geometric algebra(CGA). The kinematic constraint equations are transformed by a substitution of variables into seven equations with seven unknown variables. According to the characteristic of anti-symmetric matrices, the aforementioned seven equations can be further transformed into seven equations with four unknown variables by a substitution of variables using the Gröbner basis. Its elimination weight is increased through changing the degree of one variable, and sixteen equations with four unknown variables can be obtained using the Gröbner basis. A 40th-degree univariate polynomial equation is derived by constructing a relatively small-sized 9´9 Sylvester resultant matrix. Finally, two numerical examples are employed to verify the proposed method. The results indicate that the proposed method can effectively improve the efficiency of solution and reduce the computational burden because of the small-sized resultant matrix.
BiHom-Associative Algebras, BiHom-Lie Algebras and BiHom-Bialgebras
NASA Astrophysics Data System (ADS)
Graziani, Giacomo; Makhlouf, Abdenacer; Menini, Claudia; Panaite, Florin
2015-10-01
A BiHom-associative algebra is a (nonassociative) algebra A endowed with two commuting multiplicative linear maps α,β\\colon A→ A such that α (a)(bc)=(ab)β (c), for all a, b, cin A. This concept arose in the study of algebras in so-called group Hom-categories. In this paper, we introduce as well BiHom-Lie algebras (also by using the categorical approach) and BiHom-bialgebras. We discuss these new structures by presenting some basic properties and constructions (representations, twisted tensor products, smash products etc).
NASA Astrophysics Data System (ADS)
Kuniba, Atsuo; Okado, Masato; Yamada, Yasuhiko
2013-07-01
For a finite-dimensional simple Lie algebra {g}, let U^+_q({g}) be the positive part of the quantized universal enveloping algebra, and A_q({g}) be the quantized algebra of functions. We show that the transition matrix of the PBW bases of U^+_q({g}) coincides with the intertwiner between the irreducible A_q({g})-modules labeled by two different reduced expressions of the longest element of the Weyl group of {g}. This generalizes the earlier result by Sergeev on A_2 related to the tetrahedron equation and endows a new representation theoretical interpretation with the recent solution to the 3D reflection equation for C_2. Our proof is based on a realization of U^+_q({g}) in a quotient ring of A_q({g}).
NASA Astrophysics Data System (ADS)
Prentis, Jeffrey J.
1996-05-01
One of the most challenging goals of a physics teacher is to help students see that the equations of physics are connected to each other, and that they logically unfold from a small number of basic ideas. Derivations contain the vital information on this connective structure. In a traditional physics course, there are many problem-solving exercises, but few, if any, derivation exercises. Creating an equation poem is an exercise to help students see the unity of the equations of physics, rather than their diversity. An equation poem is a highly refined and eloquent set of symbolic statements that captures the essence of the derivation of an equation. Such a poetic derivation is uncluttered by the extraneous details that tend to distract a student from understanding the essential physics of the long, formal derivation.
Young, C.W.
1997-10-01
In 1967, Sandia National Laboratories published empirical equations to predict penetration into natural earth materials and concrete. Since that time there have been several small changes to the basic equations, and several more additions to the overall technique for predicting penetration into soil, rock, concrete, ice, and frozen soil. The most recent update to the equations was published in 1988, and since that time there have been changes in the equations to better match the expanding data base, especially in concrete penetration. This is a standalone report documenting the latest version of the Young/Sandia penetration equations and related analytical techniques to predict penetration into natural earth materials and concrete. 11 refs., 6 tabs.
Turbulence kinetic energy equation for dilute suspensions
NASA Technical Reports Server (NTRS)
Abou-Arab, T. W.; Roco, M. C.
1989-01-01
A multiphase turbulence closure model is presented which employs one transport equation, namely the turbulence kinetic energy equation. The proposed form of this equation is different from the earlier formulations in some aspects. The power spectrum of the carrier fluid is divided into two regions, which interact in different ways and at different rates with the suspended particles as a function of the particle-eddy size ratio and density ratio. The length scale is described algebraically. A mass/time averaging procedure for the momentum and kinetic energy equations is adopted. The resulting turbulence correlations are modeled under less retrictive assumptions comparative to previous work. The closures for the momentum and kinetic energy equations are given. Comparisons of the predictions with experimental results on liquid-solid jet and gas-solid pipe flow show satisfactory agreement.
Using Schemas to Develop Algebraic Thinking
ERIC Educational Resources Information Center
Steele, Diana F.
2005-01-01
This article describes ways in which students develop schemas as they generalize and formalize patterns when solving related algebraic problems that involve size, shape, growth, and change. (Contains 7 figures and 3 tables.)
Cohomological invariants of central simple algebras
NASA Astrophysics Data System (ADS)
Merkurjev, A. S.
2016-10-01
We determine the indecomposable degree 3 cohomological invariants of tuples of central simple algebras with linear relations. Equivalently, we determine the degree 3 reductive cohomological invariants of all split semisimple groups of type A.
Cyclic Cocycles on Twisted Convolution Algebras
NASA Astrophysics Data System (ADS)
Angel, Eitan
2013-01-01
We give a construction of cyclic cocycles on convolution algebras twisted by gerbes over discrete translation groupoids. For proper étale groupoids, Tu and Xu (Adv Math 207(2):455-483, 2006) provide a map between the periodic cyclic cohomology of a gerbe-twisted convolution algebra and twisted cohomology groups which is similar to the construction of Mathai and Stevenson (Adv Math 200(2):303-335, 2006). When the groupoid is not proper, we cannot construct an invariant connection on the gerbe; therefore to study this algebra, we instead develop simplicial techniques to construct a simplicial curvature 3-form representing the class of the gerbe. Then by using a JLO formula we define a morphism from a simplicial complex twisted by this simplicial curvature 3-form to the mixed bicomplex computing the periodic cyclic cohomology of the twisted convolution algebras.
ALGEBRAIC DEPENDENCE THEOREMS ON COMPLEX PSEUDOCONCAVE SPACES
The notion of pseudoconcave space is introduced and classical theorems on algebraic dependence of meromorphic functions are extended for this new class of spaces and for sections in a coherent sheaf. (Author)
Applications: Using Algebra in an Accounting Practice.
ERIC Educational Resources Information Center
Eisner, Gail A.
1994-01-01
Presents examples of algebra from the field of accounting including proportional ownership of stock, separation of a loan payment into principal and interest portions, depreciation methods, and salary withholdings computations. (MKR)
Lisa's Lemonade Stand: Exploring Algebraic Ideas.
ERIC Educational Resources Information Center
Billings, Esther M. H.; Lakatos, Tracy
2003-01-01
Presents an activity, "Lisa's Lemonade Stand," that actively engages students in algebraic thinking as they analyze change by investigating relationships between variables and gain experience describing and representing these relationships graphically. (YDS)
Dynamical systems and quantum bicrossproduct algebras
NASA Astrophysics Data System (ADS)
Arratia, Oscar; del Olmo, Mariano A.
2002-06-01
We present a unified study of some aspects of quantum bicrossproduct algebras of inhomogeneous Lie algebras, such as Poincaré, Galilei and Euclidean in N dimensions. The action associated with the bicrossproduct structure allows us to obtain a nonlinear action over a new group linked to the translations. This new nonlinear action associates a dynamical system with each generator which is the object of our study.
Algebra and topology for applications to physics
NASA Technical Reports Server (NTRS)
Rozhkov, S. S.
1987-01-01
The principal concepts of algebra and topology are examined with emphasis on applications to physics. In particular, attention is given to sets and mapping; topological spaces and continuous mapping; manifolds; and topological groups and Lie groups. The discussion also covers the tangential spaces of the differential manifolds, including Lie algebras, vector fields, and differential forms, properties of differential forms, mapping of tangential spaces, and integration of differential forms.
Vague Congruences and Quotient Lattice Implication Algebras
Qin, Xiaoyan; Xu, Yang
2014-01-01
The aim of this paper is to further develop the congruence theory on lattice implication algebras. Firstly, we introduce the notions of vague similarity relations based on vague relations and vague congruence relations. Secondly, the equivalent characterizations of vague congruence relations are investigated. Thirdly, the relation between the set of vague filters and the set of vague congruences is studied. Finally, we construct a new lattice implication algebra induced by a vague congruence, and the homomorphism theorem is given. PMID:25133207
Edge covers and independence: Algebraic approach
NASA Astrophysics Data System (ADS)
Kalinina, E. A.; Khitrov, G. M.; Pogozhev, S. V.
2016-06-01
In this paper, linear algebra methods are applied to solve some problems of graph theory. For ordinary connected graphs, edge coverings and independent sets are considered. Some results concerning minimum edge covers and maximum matchings are proved with the help of linear algebraic approach. The problem of finding a maximum matching of a graph is fundamental both practically and theoretically, and has numerous applications, e.g., in computational chemistry and mathematical chemistry.
Algebraic Sub-Structuring for Electromagnetic Applications
Yang, C.; Gao, W.G.; Bai, Z.J.; Li, X.Y.S.; Lee, L.Q.; Husbands, P.; Ng, E.G.; /LBL, Berkeley /UC, Davis /SLAC
2006-06-30
Algebraic sub-structuring refers to the process of applying matrix reordering and partitioning algorithms to divide a large sparse matrix into smaller submatrices from which a subset of spectral components are extracted and combined to form approximate solutions to the original problem. In this paper, they show that algebraic sub-structuring can be effectively used to solve generalized eigenvalue problems arising from the finite element analysis of an accelerator structure.
Algebraic sub-structuring for electromagnetic applications
Yang, Chao; Gao, Weiguo; Bai, Zhaojun; Li, Xiaoye; Lee, Lie-Quan; Husbands, Parry; Ng, Esmond G.
2004-09-14
Algebraic sub-structuring refers to the process of applying matrix reordering and partitioning algorithms to divide a large sparse matrix into smaller submatrices from which a subset of spectral components are extracted and combined to form approximate solutions to the original problem. In this paper, we show that algebraic sub-structuring can be effectively used to solve generalized eigenvalue problems arising from the finite element analysis of an accelerator structure.
NASA Astrophysics Data System (ADS)
Sati, Hisham; Schreiber, Urs
2017-03-01
We uncover higher algebraic structures on Noether currents and BPS charges. It is known that equivalence classes of conserved currents form a Lie algebra. We show that at least for target space symmetries of higher parameterized WZW-type sigma-models this naturally lifts to a Lie ( p + 1)-algebra structure on the Noether currents themselves. Applied to the Green-Schwarz-type action functionals for super p-brane sigma-models this yields super Lie ( p+1)-algebra refinements of the traditional BPS brane charge extensions of supersymmetry algebras. We discuss this in the generality of higher differential geometry, where it applies also to branes with (higher) gauge fields on their worldvolume. Applied to the M5-brane sigma-model we recover and properly globalize the M-theory super Lie algebra extension of 11-dimensional superisometries by 2-brane and 5-brane charges. Passing beyond the infinitesimal Lie theory we find cohomological corrections to these charges in higher analogy to the familiar corrections for D-brane charges as they are lifted from ordinary cohomology to twisted K-theory. This supports the proposal that M-brane charges live in a twisted cohomology theory.
NASA Technical Reports Server (NTRS)
Geddes, K. O.
1977-01-01
If a linear ordinary differential equation with polynomial coefficients is converted into integrated form then the formal substitution of a Chebyshev series leads to recurrence equations defining the Chebyshev coefficients of the solution function. An explicit formula is presented for the polynomial coefficients of the integrated form in terms of the polynomial coefficients of the differential form. The symmetries arising from multiplication and integration of Chebyshev polynomials are exploited in deriving a general recurrence equation from which can be derived all of the linear equations defining the Chebyshev coefficients. Procedures for deriving the general recurrence equation are specified in a precise algorithmic notation suitable for translation into any of the languages for symbolic computation. The method is algebraic and it can therefore be applied to differential equations containing indeterminates.