A comparative study of some computer algebra packages which determine the lie point symmetries of differential equations

The study seeks to determine which of five computer algebra packages is best at finding the Lie point symmetries of systems of partial differential equations with minimal user intervention. The chosen packages are LIEPDE and DIMSYM for REDUCE, LIE and BIGLIE for MUMATH, DESOLV for MAPLE, and MATHLIE for MATHEMATICA. A series of systems of partial differential equations are used in the study. The paper concludes that while all of the computer packages are useful, DESOLV appears to be the most successful system at determining the complete set of Lie point symmetries of systems of partial differential equations.

Algebra skills and traps and diagnostic teaching for the future

Explores on some research about teaching and learning algebra and related classroom issues. Diagnostic instruments that may be used by senior secondary teachers in teaching algebra to senior classes; Strategies for remediating algebraic difficulties and misconceptions; Impact of technology on the algebra curriculum; Usefulness of copying algebraic expressions while using Computer Algebra Systems or mathematics processing software in a calculus class.

Algebra concepts and skills survey - a draft

Presents questions adapted from the 'Group Review of Algebra Topics' (ACER 1991) that form a draft survey test of 24 items ranging across aspects of algebra and secondary algebra instruction.

Curso de matematica para economistas, Capitulos I e II: funções, algebra linear e aplicações

Os autores objetivam, com este trabalho preliminar, bem como com aqueles que lhe darão continuidade, na sequência de composição de um livro de matemática para economistas, registrar as suas experiências ao longo dos últimos anos ministrando cadeiras de matemática nos cursos de pós-graduação em economia da Fundação Getúlio Vargas, da UFF (Universidade Federal Fluminense) e da PUC-RJ. Reveste-se de constante repetição em tais cursos a discussão sobre que pontos abordar, bem como com qual grau de profundidade, e em que ordem. É neste sentido que os autores esperam, com a sequência didática que aqui se inicia, trazer alguma contribuição para o assunto.

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.

Deformations of N=2 superconformal algebra and supersymmetric two-component Camassa-Holm equation

This paper is concerned with a link between central extensions of N = 2 superconformal algebra and a supersymmetric two-component generalization of the Camassa-Holm equation. Deformations of superconformal algebra give rise to two compatible bracket structures. One of the bracket structures is derived from the central extension and admits a momentum operator which agrees with the Sobolev norm of a co-adjoint orbit element. The momentum operator induces, via Lenard relations, a chain of conserved Hamiltonians of the resulting supersymmetric Camassa-Holm hierarchy.

Mass generation from Lie algebra extensions

Applied to the electroweak interactions, the theory of Lie algebra extensions suggests a mechanism by which the boson masses are generated without resource to spontaneous symmetry breaking. It starts from a gauge theory without any additional scalar field. All the couplings predicted by the Weinberg-Salam theory are present, and a few others which are nevertheless consistent within the model.

Lorentz-violating dilatations in momentum space and some extensions on nonlinear actions of Lorentz-algebra-preserving systems

We work on some general extensions of the formalism for theories which preserve the relativity of inertial frames with a nonlinear action of the Lorentz transformations on momentum space. Relativistic particle models invariant under the corresponding deformed symmetries are presented with particular emphasis on deformed dilatation transformations. The algebraic transformations relating the deformed symmetries with the usual (undeformed) ones are provided in order to preserve the Lorentz algebra. Two distinct cases are considered: a deformed dilatation transformation with a spacelike preferred direction and a very special relativity embedding with a lightlike preferred direction. In both analysis we consider the possibility of introducing quantum deformations of the corresponding symmetries such that the spacetime coordinates can be reconstructed and the particular form of the real space-momentum commutator remains covariant. Eventually feasible experiments, for which the nonlinear Lorentz dilatation effects here pointed out may be detectable, are suggested.

Discretizing the deformation parameter in the su(q)(2) quantum algebra

Inspired in recent works of Biedenham [1, 2] on the realization of the q-algebra su(q)(2), We show in this note that the condition [2j + 1](q) = N-q(j) = integer, implies the discretization of the deformation parameter alpha, where q = e(alpha). This discretization replaces the continuum associated to ct by an infinite sequence alpha(1), alpha(2), alpha(3),..., obtained for the values of j, which label the irreps of su(q)(2). The algebraic properties of N-q(j) are discussed in some detail, including its role as a trace, which conducts to the Clebsch-Gordan series for the direct product of irreps. The consequences of this process of discretization are discussed and its possible applications are pointed out. Although not a necessary one, the present prescription is valuable due to its algebraic simplicity especially in the regime of appreciable values of alpha.