Equivalence Groups for First-Order Balance Equations and Applications to Electromagnetism

We investigate the groups of equivalence transformations for first-order balance equations involving an arbitrary number of dependent and independent variables. We obtain the determining equations and find their explicit solutions. The approach to this problem is based on a geometric method that depends on Cartan's exterior differential forms. The general solutions of the determining equations for equivalence transformations for first-order systems are applied to a class of the Maxwell equations of electrodynamics.     

Reduction of Balance Laws in (3+1)-Dimensions to Autonomous Conservation Laws by Means of Equivalence Transformations

A class of partial differential equations (a conservation law and four balance laws), with four independent variables and involving sixteen arbitrary continuously differentiable functions, is considered in the framework of equivalence transformations. These are point transformations of differential equations involving arbitrary elements and live in an augmented space of independent, dependent and additional variables representing values taken by the arbitrary elements. Projecting the admitted infinitesimal equivalence transformations into the space of independent and dependent variables, we determine some finite transformations mapping the system of balance laws to an equivalent one with the same differential structure but involving different arbitrary elements; in particular, the target system we want to recover is an autonomous system of conservation laws. An application to a physical problem is considered.     

Equivalence Transformations of Quasilinear First Order Systems and Reduction to Autonomous and Homogeneous Form

Classes of 2×2 first order quasilinear partial differential equations involving arbitrary continuously differentiable functions that can be mapped into autonomous and homogeneous form through equivalence transformations are considered. Equivalence transformations are point transformations of independent and dependent variables of differential equations involving arbitrary elements. The transformations act on the arbitrary elements as point transformations of an augmented space of independent, dependent variables and additional variables representing values taken by the arbitrary elements. Projecting the admitted symmetries into the space determined by the independent and dependent variables, we determine some finite transformations mapping the system into autonomous and homogeneous form. Some physical applications are considered and a comparison with reduction of quasilinear first order systems to autonomous and homogeneous form through Lie point symmetries is discussed.     

带幂非线性项变系数非线性波动方程的李对称分类与等价性变换

从微分方程群理论分析角度,研究了一类含有3个任意函数和2个幂非线性项的变系数非线性波动方程.由于方程具有很强的任意性和非线性项,可通过等价性变换寻找方程的不变对称分类.首先给出了等价性变换的一般结果,其中包括一些包含任意元的非局部变换.然后对所研究的方程,利用广义扩展等价群和条件等价群给出了方程的完全对称分类.最后获得并分析了方程的特殊类相似解.     

On the comparison of distribution functions of random variables

We prove a rather general comparison principle for the distribution functions of random variables. As a consequence, we obtain a criterion for the equivalence in distribution in the vector sense of an arbitrary sequence of random variables to the Rademacher system; we study the applications of this principle to special cases.     

The variety generated by equivalence algebras

Every equivalence relation can be made into a groupoid with the same underlying set if we define the multiplication as follows: xy = x if x,y are related; otherwise, xy = y. The groupoids, obtained in this way, are called equivalence algebras. We find a finite base for the equations of equivalence algebras. The base consists of equations in four variables, and we prove that there is no base consisting of equations in three variables only. We also prove that all subdirectly irreducibles in the variety generated by equivalence algebras are embeddable into the three-element equivalence algebra, corresponding to the equivalence with two blocks on three elements. Received September 21, 1998; accepted in final form May 11, 1999.     

New exact solutions to the nonautonomous Liouville equation

We obtain new formulas for the exact analytic solutions to the nonautonomous elliptic Liouville equation in the two-dimensional coordinate space with the free function dependent specially on an arbitrary harmonic function. We present new exact solutions to the wave Liouville equation with two arbitrary functions, providing original formulas for the general solution for the classical (autonomous) and wave Liouville equations. Some equivalence transformations are presented for the elliptic Liouville equation depending on conjugate harmonic functions. In particular, we indicate a transformation that reduces the equation under study to an autonomous form.     

ON THE COUPLING OF BOUNDARY INTEGRAL AND FINITE ELEMENT METHODS FOR SIGNORINI PROBLEMS

1.IntroductionPartialdifferentialequationssubjecttounilateralboundaryconditionsareusuallycalledSignoriniproblemsintheliterature.TheseproblemshavebeenstudiedbymanyauthodssincetheappearenceofthehistoricalpaperbyA.Signoriniin1933[25].Signoriniproblemsaroseinmanyareasofapplicationse.g.,theelasticitywithunilateralconditions[lo],thefluidmechnicsproblemsinmediawithsemipermeableboundaries[8,12],theelectropaintprocess[1]etc.Fortheexistence,uniquenessandregularityresultsforSignorinitypeproblemswerefer…     

Contact-equivalence problem for linear hyperbolic equations

We consider the local equivalence problem for the class of linear second-order hyperbolic equations in two independent variables under an action of the pseudo-group of contact transformations. é. Cartan’s method is used for finding the Maurer-Cartan forms for symmetry groups of equations from the class and computing structure equations and complete sets of differential invariants for these groups. The solution of the equivalence problem is formulated in terms of these differential invariants. __________ Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 25, pp. 119–142, 2005.     

有限元法中大单元的构造

在通常的有限元法中,单元内的插值多项式的阶数固定不变,通过加密剖分网格来提高精度.大单元法则剖分的网格固定不变而通过增加单元内逼近级数的项数来提高精度. 本文提出采用两套变量的办法来构造大单元,即单元内采用一套变量,单元的边界上采用另一套变量,然后用杂交罚函数法把两者联系起来.这种方法能适用于任何椭圆型方程,任意几何形状区域以及任何复杂的边界条件.本文用严密的数学方法证明了:在一般情况下,这种方法的精度比通常的有限元法和文[7]的大单元法高得多.即在达到相同的精度时,本文方法所需要的自由度(即未知数数目)比上述两种方法少得多.     

Classification of cocycles of generic equivalence relations

We study cocycles of an ergodic generic countable equivalence relation ℜ modulo meager sets. Two cocycles of ℜ are called weakly equivalent if they are cohomologous up to an element of Aut ℜ. It is proved that two nontransient cocycles with values in an arbitrary countable group are weakly equivalent if and only if their generic Mackey actions are isomorphic.     

A multi-mesh finite element method for Lagrange elements of arbitrary degree

We consider within a finite element approach the usage of different adaptively refined meshes for different variables in systems of nonlinear, time-depended PDEs. To resolve different solution behaviors of these variables, the meshes can be independently adapted. The resulting linear systems are usually much smaller, when compared to the usage of a single mesh, and the overall computational runtime can be more than halved in such cases. Our multi-mesh method works for Lagrange finite elements of arbitrary degree and is independent of the spatial dimension. The approach is well defined, and can be implemented in existing adaptive finite element codes with minimal effort. We show computational examples in 2D and 3D ranging from dendritic growth to solid–solid phase-transitions. A further application comes from fluid dynamics where we demonstrate the applicability of the approach for solving the incompressible Navier–Stokes equations with Lagrange finite elements of the same order for velocity and pressure. The approach thus provides an easy way to implement alternative to stabilized finite element schemes, if Lagrange finite elements of the same order are required.     

An infinite set of conservation laws for infinite symmetries

We consider partial differential equations of a variational problem admitting infinite-dimensional Lie symmetry algebras parameterized by arbitrary functions of dependent variables and their derivatives. We show that unlike differential systems with symmetry algebras parameterized by arbitrary functions of independent variables, these equations have infinite sets of essential conservation laws. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 3, pp. 518–528, June, 2007.     

Group classification of a family of second-order differential equations

We find the group of equivalence transformations for equations of the form y^″=A(x)y^′+F(y), where A and F are arbitrary functions. We then give a complete group classification of this family of equations using a direct method of analysis, together with the equivalence transformations.     

Multidimensional exact solutions to a quasilinear parabolic equation with anisotropic heat conductivity

We prove invariance of a quasilinear parabolic equation with anisotropic heat conductivity in the three-dimensional coordinate space under some equivalence transformations and present some explicit formulas for these transformations. We consider nontrivial reductions of the equation to similar equations of less spatial dimension. Using these results, we construct new exact multidimensional solutions to the equation which depend on arbitrary harmonic functions.     

One family of conformally Hamiltonian systems

We propose a method for constructing conformally Hamiltonian systems of dynamical equations whose invariant measure arises from the Hamiltonian equations of motion after a change of variables including a change of time. As an example, we consider the Chaplygin problem of the rolling ball and the Veselova system on the Lie algebra e*(3) and prove their complete equivalence.     

A Generalization of the Arnold-Wendland Lemma to a Modified Collocation Method for Boundary Integral Equations in ℝ3

We prove quasioptimal and optimal order estimates in various Sobolev norms for the approximation of linear strongly elliptic periodic pseudodifferential equations in two independent variables by a modified method of nodal collocation by odd degree polynomial splines. In the one-dimensional case, our method coincides with the method of nodal collocation when odd degree polynomial splines are employed for the trial functions. The convergence analysis is based on an equivalence which we establish between our method and a nonstandard Galerkin method for an operator closely related to the given operator. This equivalence is realized through a crucial intermediate result (which we now term the Arnold-Wendland lemma) to connect the solution of central finite difference equations and that of certain nonstandard Galerkin equations. The results of this paper are genuine two-dimensional generalizations of the results obtained by ARNOLD and WENDLAND in [2] for the one-dimensional equations.     

Integrating factors, adjoint equations and Lagrangians

Integrating factors and adjoint equations are determined for linear and non-linear differential equations of an arbitrary order. The new concept of an adjoint equation is used for construction of a Lagrangian for an arbitrary differential equation and for any system of differential equations where the number of equations is equal to the number of dependent variables. The method is illustrated by considering several equations traditionally regarded as equations without Lagrangians. Noether's theorem is applied to the Maxwell equations.     

Geometrical equivalence of groups

The notion of geometrical equivalence of two algebras, which is basic for this paper, is introduced in [5], [6]. It is motivated in the framework of universal algebraic geometry, in which algebraic varieties are considered in arbitrary varieties of algebras. Universal algebraic geometry (as well as classic algebraic geometry) studies systems of equations and its geometric images, i.e., algebraic varieties, consisting of solutions of equations. Geometrical equivalence of algebras means, in some sense, equal possibilities for solving systems of equations.

In this paper we consider results about geometrical equivalence of algebras, and special attention is paied on groups (abelian and nilpotent).