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.

Lie symmetries of partial differential equations using symbolic computing

This study presents a theoretical basis for and outlines the method of finding the Lie point symmetries of systems of partial differential equations. It seeks to determine which of five computer algebra packages is best at finding these symmetries. The chosen packages are LIEPDE and DIMSYM for REDUCE, LIE and BIGLIE for MUMATH, DESOLV for MAPLE, and MATHLIE for MATHEMATICA. This work 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 symmetries. Also, the study describes REDUCEVAR, a new package for MAPLE, that reduces the number of independent variables in systems of partial differential equations, using particular Lie point symmetries. It outlines the results of some testing carried out on this package. It concludes that REDUCEVAR is a very useful tool in performing the reduction of independent variables according to Lie's theory and is highly accurate in identifying cases where the symmetries are not suitable for finding S/G equations.

Finding higher symmetries of differential equations using the MAPLE package DESOLVII

We present and describe, with illustrative examples, the MAPLE computer algebra package DESOLVII, which is a major upgrade of DESOLV. DESOLVII now includes new routines allowing the determination of higher symmetries (contact and Lie-Backlund) for systems of both ordinary and partial differential equations.

FracSym: automated symbolic computation of Lie symmetries of fractional differential equations

In this paper, we present an algorithm for the systematic calculation of Lie point symmetries for fractional order differential equations (FDEs) using the method as described by Buckwar & Luchko (1998) and Gazizov, Kasatkin & Lukashchuk (2007, 2009, 2011). The method has been generalised here to allow for the determination of symmetries for FDEs with n independent variables and for systems of partial FDEs. The algorithm has been implemented in the new MAPLE package FracSym (Jefferson and Carminati 2013) which uses routines from the MAPLE symmetry packages DESOLVII (Vu, Jefferson and Carminati, 2012) and ASP (Jefferson and Carminati, 2013). We introduce FracSym by investigating the symmetries of a number of FDEs; specific forms of any arbitrary functions, which may extend the symmetry algebras, are also determined. For each of the FDEs discussed, selected invariant solutions are then presented. © 2013 Elsevier B.V. All rights reserved.

Petrov type I electric silent universes must possess symmetries: G1, G2 or G3

We prove that all Petrov type I, silent universe solutions of Einstein's field equations with a zero cosmological constant must possess symmetries: G1, G2 or G3.

Cathode characterization with steel and copper collector bars in an electrolytic cell

This article presents finite-element method simulation results of current distribution in an aluminum electrolytic cell. The model uses one quarter of the cell as a computational domain assuming longitudinal (along the length of the cell) and transverse axes of symmetries. The purpose of this work is to closely examine the impact of steel and copper collector bars on the cell current distribution. The findings indicated that an inclined steel collector bar (φ = 1°) can save up to 10–12 mV from the cathode lining in comparison to a horizontal 100 mm × 150-mm steel collector bar. It is predicted that a copper collector bar has a much higher potential of saving cathode voltage drop (CVD) and has a greater impact on the overall current distribution in the cell. A copper collector bar with 72% of cathode length and size of 100 mm × 150 mm is predicted to have more than 150 mV savings in cathode lining. In addition, a significant improvement in current distribution over the entire cathode surface is achieved when compared with a similar size of steel collector bar. There is a reduction of more than 70% in peak current density value due to the higher conductivity of copper. Comparisons between steel and copper collector bars with different sizes are discussed in terms CVD and current density distribution. The most important aspect of the findings is to recognize the influence of copper collector bars on the current distribution in molten metal. Lorentz fields are evaluated at different sizes of steel and copper collector bars. The simulation predicts that there is 50% decrease in Lorentz force due to the improvement in current distribution in the molten metal.

Applications of symbolic computing for symmetry analysis of differential equations

 This thesis presents a number of applications of symbolic computing to the study of differential equations. In particular, three packages have been produced for the computer algebra system MAPLE and used to find a variety of symmetries (and corresponding invariant solutions) for a range of differential systems.

Some properties of finite-time stable stochastic nonlinear systems

In this paper we study some properties of finite-time stable stochastic nonlinear systems. We begin by showing several continuous dependence theorems of solutions on initial values under some conditions on the coefficients of stochastic systems. We then derive some regular properties of its stochastic settling time for a finite-time stable stochastic nonlinear system. We show continuity, positive definiteness and boundedness of the expected stochastic settling time under appropriate conditions. Finally, a Lyapunov function is constructed by making use of the expectation of the stochastic settling time, and the infinitesimal generator of the stochastic system defined on the Lyapunov function is also given, and hence resulting in a converse Lyapunov theorem of finite-time stochastic stability.