Unsteady Solutions of Euler Equations Generated by Steady Solutions

Invariant solutions of partial differential equations are found by solving a reduced system involving one independent variable less. When the solutions are invariant with respect to the so-called projective group, the reduced system is simply the steady version of the original system. This feature enables us to generate unsteady solutions when steady solutions are known. The knowledge of an optimal system of subalgebras of the principal Lie algebra admitted by a system of differential equations provides a method of classifying H-invariant solutions as well as constructing systematically some transformations (essentially different transformations) mapping the given system to a suitable form. Here the transformations allowing to reduce the steady two-dimensional Euler equations of gas dynamics to an equivalent autonomous form are classified by means of the program SymboLie, after that an optimal system of two-dimensional subalgebras of the principal Lie algebra has been calculated. Some steady solutions of two-dimensional Euler equations are determined, and used to build unsteady solutions.     

The preservation of Sahlqvist equations in completions of Boolean algebras with operators

Monk [1970] extended the notion of the completion of a Boolean algebra to Boolean algebras with operators. Under the assumption that the operators of such an algebra are completely additive, he showed that the completion of always exists and is unique up to isomorphisms over . Moreover, strictly positive equations are preserved under completions a strictly positive equation that holds in must hold in the completion of . In this paper we extend Monk’s preservation theorem by proving that certain kinds of Sahlqvist equations (as well as some other types of equations and implications) are preserved under completions. An example is given that shows that arbitrary Sahlqvist equations need not be preserved. Received May 3, 1998; accepted in final form October 7, 1998.     

Symmetry breaking of systems of linear second-order ordinary differential equations with constant coefficients

We show that the structure of the Lie symmetry algebra of a system of n linear second-order ordinary differential equations with constant coefficients depends on at most n-1 parameters. The tools used are Jordan canonical forms and appropriate scaling transformations. We put our approach to test by presenting a simple proof of the fact that the dimension of the symmetry Lie algebra of a system of two linear second-order ordinary differential with constant coefficients is either 7, 8 or 15. Also, we establish for the first time that the dimension of the symmetry Lie algebra of a system of three linear second-order ordinary differential equations with constant coefficients is 10, 12, 13 or 24.     

Systems of linear differential equations with non-<Emphasis Type="Italic">x</Emphasis>-autonomous basic Lie algebra

We obtain some necessary and sufficient conditions for the non-x-autonomy of the basic Lie algebra of a system of first-order linear differential equations with constant coefficients over the field of complex numbers. Using these results, we establish the x-autonomy of the basic Lie algebra of some systems of equations of mathematical physics.     

Universal Jensen＇s Equations in Banach Modules over a C^＊-Algebra and Its Unitary Group

In this paper, we prove the generalized Hyers-Ulam-Rassias stability of universal Jensen‘s equations in Banach modules over a unital C^*-algebra. It is applied to show the stability of universal Jensen‘s equations in a Hilbert module over a unital C^*-algebra. Moreover, we prove the stability of linear operators in a Hilbert module over a unital C^*-algebra.     

Two explicit realizations of a Lie algebra

We introduce a Lie algebra whose some properties are discussed, including its proper ideals, derivations and so on. Then, we again give rise to its two explicit realizations by adopting subalgebra of the Lie algebra A₂ and a column-vector Lie algebra, respectively. Under the frame of zero curvature equations, we may use the realizations to generate the same Lax integrable hierarchies of evolution equations and their Hamiltonian structure.     

Algebras and differential equations with additive symmetry

The set of all m-ary algebra structures on a given vector space affords, by the change of basis action, a representation of the general linear group. The invariants of a given subgroup are identified with those algebras admitting that subgroup as algebra automorphisms. Any finite dimensional representation of the additive group as automorphisms is obtained as the exponential of a nilpotent derivation. The latter can be embedded in the Lie algebra sl(2) so that the maximal vectors in an irreducible decomposition of the set of algebras as an sl(2) module are the invariants of the given action of the additive group. Dimension formulas and explicit bases are computed for the space of algebras with certain additive group actions. Employing the equivalence of the categories of m-ary algebras and systems of autonomous mth order homogeneous differential equations, the algebraic results are connected to the construction of first integrals and semi-invariants.     

Bispectral quantum Knizhnik�CZamolodchikov equations for arbitrary root systems

The bispectral quantum Knizhnik–Zamolodchikov (BqKZ) equation corresponding to the affine Hecke algebra H of type A _N-1 is a consistent system of q-difference equations which in some sense contains two families of Cherednik’s quantum affine Knizhnik–Zamolodchikov equations for meromorphic functions with values in principal series representations of H. In this paper, we extend this construction of BqKZ to the case where H is the affine Hecke algebra associated with an arbitrary irreducible reduced root system. We construct explicit solutions of BqKZ and describe its correspondence to a bispectral problem involving Macdonald’s q-difference operators.     

On the approximation of the solutions of stochastic equations with θ-integrals

The paper investigates the problem of approximation of stochastic θ-integrals and the solutions of stochastic differential equations. The complete classification of the methods of approximation of stochastic θ-integrals in the convolution algebra is proposed. It is proved that the solutions of stochastic integral equations with θ-integral can be approximated by the solutions of finite-difference equations with averaging.     

An explicit example of a noncrossed product division algebra

The paper presents an explicit example of a noncrossed product division algebra of index and exponent 8 over the field ?(s)(t). It is an iterated twisted function field in two variables D(x, σ)(y, τ ) over a quaternion division algebra D which is defined over the number field ?(√3,√?7). The automorphisms σ and τ are computed by solving relative norm equations in extensions of number fields. The example is explicit in the sense that its structure constants are known. Moreover, it is pointed out that the same arguments also yield another example, this time over the field ?((s))((t)), given by an iterated twisted Laurent series ring D((x, σ))((y, τ )) over the same quaternion division algebra D. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Some properties of the lattice points and their application to differential algebra *

In this paper we prove some charateristic conditions about the dimension of an autoreduced subset E of N^m . As an application to differential algebra we find a counter-example to a conjecture about an upper bound for the order of a system of algebraic differential equations ([8], p. 199).     

The n �� n KdV hierarchy

We introduce two new soliton hierarchies that are generalizations of the KdV hierarchy. Our hierarchies are restrictions of the AKNS n × n hierarchy coming from two unusual splittings of the loop algebra. These splittings come from automorphisms of the loop algebra instead of automorphisms of sl (n, \mathbbC){sl (n, \mathbb{C})} . The flows in the hierarchy include systems of coupled nonlinear Schr?dinger equations. Since they are constructed from a Lie algebra splitting, the general method gives formal inverse scattering, bi-Hamiltonian structures, commuting flows, and B?cklund transformations for these hierarchies.     

Linear Functional Equations in Banach Modules over a C *-Algebra

The paper is a survey on the Hyers–Ulam–Rassias stability of linear functional equations in Banach modules over a C ^*-algebra. Its contents is divided into the following sections: 1. Introduction; 2. Stability of the Cauchy functional equation in Banach modules; 3. Stability of the Jensen functional equation in Banach modules; 4. Stability of the Trif functional equation in Banach modules; 5. Stability of cyclic functional equations in Banach modules over a C ^*-algebra; 6. Stability of cyclic functional equations in Banach algebras and approximate algebra homomorphisms; 7. Stability of algebra *-homomorphisms between Banach *-algebras and applications.     

From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology

Is it possible to symbolically express and analyse an individual-based model of disease spread, including realistic population dynamics? This problem is addressed through the use of process algebra and a novel method for transforming process algebra into Mean Field Equations. A number of stochastic models of population growth are presented, exploring different representations based on alternative views of individual behaviour. The overall population dynamics in terms of mean field equations are derived using a formal and rigorous rewriting based method. These equations are easily compared with the traditionally used deterministic Ordinary Differential Equation models and allow evaluation of those ODE models, challenging their assumptions about system dynamics. The utility of our approach for epidemiology is confirmed by constructing a model combining population growth with disease spread and fitting it to data on HIV in the UK population. This work was supported by EPSRC through a Doctoral Training Grant (CM, from 2004–2007), and through System Dynamics from Individual Interactions: A process algebra approach to epidemiology (EP/E006280/1, all authors, 2007–2010).     

IntegrableN-dimensional systems on the Hopf algebra andq-deformations

We construct the class of integrable classical and quantum systems on the Hopf algebras describing n interacting particles. We obtain the general structure of an integrable Hamiltonian system for the Hopf algebra A(g) of a simple Lie algebra g and prove that the integrals of motion depend only on linear combinations of k coordinates of the phase space, 2·ind g≤k≤g·ind g, whereind g andg are the respective index and Coxeter number of the Lie algebra g. The standard procedure of q-deformation results in the quantum integrable system. We apply this general scheme to the algebras sl(2), sl(3), and o(3, 1). An exact solution for the quantum analogue of the N-dimensional Hamiltonian system on the Hopf algebra A(sl(2)) is constructed using the method of noncommutative integration of linear differential equations. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 124, No. 3, pp. 373–390, September, 2000     

Kernel formula approach to the universal Whitham hierarchy

Based on the kernel formula proposed by Carroll and Kodama, we derive the dispersionless Hirota equations of the universal Whitham hierarchy. We also verify the associativity equations in this hierarchy from the dispersionless Hirota equations and give a realization of the associative algebra with the structure constants expressed in terms of residue formulas.     

Hamiltonian Hierarchies on Semisimple Lie Algebras

A recursion formula is described which generates infinite hierarchies of completely integrable Hamiltonian systems of nonlinear partial differential equations. These equations govern the evolution of a function u of x, t which takes its values in a semisimple Lie algebra. A Hamiltonian for the hierarchy is given in terms of a meromorphic connection matrix.     

Hopf Algebra Approaches to Nonlinear Algebraic Equations

Abstract

Let M be a k-vector space and R ∈ Hom(M ^?p , M ^?q ), we present a general version of the FRT-construction, we provide a method for examining whether an FRT-bialgebra A(R) has a pre-braided structure and whether M can be regarded as an A(R)-dimodule. We show that the FRT-relation plays a fundamental role in determining the algebra structure on the FRT-bialgebra and the compatibility condition of relevant dimodule. As an example, we give a Hopf algebra approach for solving both homogeneous and non-homogeneous nonlinear (algebraic) equations.     

The 2×2 matrix Schlesinger system and the Belavin-Polyakov-Zamolodchikov system

We show that the Belavin-Polyakov-Zamolodchikov equation of the minimal model of conformal field theory with the central charge c = 1 for the Virasoro algebra is contained in a system of linear equations that generates the Schlesinger system with 2×2 tmatrices. This generalizes Suleimanov’s result on the Painlevé equations. We consider the properties of the solutions, which are expressible in terms of the Riemann theta function.