Einstein–Weyl structures from hyper–Kähler metrics with conformal Killing vectors

We consider four (real or complex) dimensional hyper-Kähler metrics with a conformal symmetry K. The three-dimensional space of orbits of K is shown to have an Einstein–Weyl structure which admits a shear-free geodesics congruence for which the twist is a constant multiple of the divergence. In this case the Einstein–Weyl equations reduce down to a single second order PDE for one function. The Lax representation, Lie point symmetries, hidden symmetries and the recursion operator associated with this PDE are found, and some group invariant solutions are considered.     

Group classification of semilinear Kohn–Laplace equations

We study the Lie point symmetries of semilinear Kohn–Laplace equations on the Heisenberg group H¹$H^1$ and obtain a complete group classification of these equations.     

Heat kernel expansions in vector bundles

Let M be a complete connected smooth (compact) Riemannian manifold of dimension n. Let Π:V→M be a smooth vector bundle over M. Let be a second order differential operator on M, where Δ is a Laplace-Type operator on the sections of the vector bundle V and b a smooth vector field on M. Let k_t(−,−) be the heat kernel of V relative to L. In this paper we will derive an exact and an asymptotic expansion for k_t(x,y₀) where y₀ is the center of normal coordinates defined on M, x is a point in the normal neighborhood centered at y₀. The leading coefficients of the expansion are then computed at x=y₀ in terms of the linear and quadratic Riemannian curvature invariants of the Riemannian manifold M, of the vector bundle V, and of the vector bundle section ? and its derivatives.We end by comparing our results with those of previous authors (I. Avramidi, P. Gilkey, and McKean-Singer).     

Truncated Lie groups and almost Klein models

We consider a real analytic dynamical system G×M→M with nonempty fixed point subset M ^G . Using symmetries of G×M→M, we give some conditions which imply the existence of transitive Lie transformation group with G as isotropy subgroup.     

Lie point symmetries and some group invariant solutions of the quasilinear equation involving the infinity Laplacian

Using the classical Lie method we obtain the full Lie point symmetry group of the Aronsson equation in two independent variables. Some group invariant solutions of this equation are found and a conjecture on the Lie point symmetry group of the Aronsson equation in Rⁿ is presented.     

Complete symmetry group and nonlocal symmetries for some two-dimensional evolution equations

The complete symmetry group of an 1+1 evolution equation of maximal symmetry has been demonstrated to be represented by the six-dimensional Lie algebra of point symmetries sl(2,R)s_⊕W, where W is the three-dimensional Heisenberg-Weyl algebra. We construct a complete symmetry group of a 1+2 evolution equation ut=(Fy(u)ux) for some functions F using the point symmetries admitted by the equation. The 1+2 equation is not completely specifiable by point symmetries alone for some specific functions F. We make use of Ansätze already reported by Myeni and Leach [S.M. Myeni, P.G.L. Leach, Nonlocal symmetries and complete symmetry groups of evolution equations, J. Nonlinear Math. Phys. 13 (2006) 377-392] which provide a route to the determination of the required generic nonlocal symmetries necessary to supplement the point symmetries for the complete specification of these 1+2 evolution equations. Further we find that taking some suitable linear combination of Lie point symmetries helps to optimise the procedure of specifying the equation. A general result concerning the number of symmetries required to form a complete symmetry group of evolution is presented in the Conclusion.     

Inverse problems and index formulae for Dirac operators

We consider a Dirac-type operator DP on a vector bundle V over a compact Riemannian manifold (M,g) with a non-empty boundary. The operator DP is specified by a boundary condition P(u_|∂M)=0 where P is a projector which may be a non-local, i.e., a pseudodifferential operator. We assume the existence of a chirality operator which decomposes L²(M,V) into two orthogonal subspaces X₊⊕X₋. Under certain conditions, the operator DP restricted to X₊ and X₋ defines a pair of Fredholm operators which maps X₊→X₋ and X₋→X₊ correspondingly, giving rise to a superstructure on V. In this paper we consider the questions of determining the index of DP and the reconstruction of and DP from the boundary data on ∂M. The data used is either the Cauchy data, i.e., the restrictions to ∂M×R₊ of the solutions to the hyperbolic Dirac equation, or the boundary spectral data, i.e., the set of the eigenvalues and the boundary values of the eigenfunctions of DP. We obtain formulae for the index and prove uniqueness results for the inverse boundary value problems. We apply the obtained results to the classical Dirac-type operator in M×C⁴, M⊂R³.     

Generalized Lie derivations on triangular algebras

Let A be a unital algebra and let M be a unitary A-bimodule. We consider generalized Lie derivations mapping from A to M. Our results are applied to triangular algebras, in particular to nest algebras and (block) upper triangular matrix algebras. We prove that under certain conditions each generalized Lie derivation of a triangular algebra A is the sum of a generalized derivation and a central map which vanishes on all commutators of A.     

Étude du cas rationnel de la théorie des formes linéaires de logarithmes

We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called rational case. More precisely, let k be a number field and v₀ be an arbitrary place of k. Let G be a commutative algebraic group defined over k and H be a connected algebraic subgroup of G. Denote by Lie(H) its Lie algebra at the origin. Let u∈Lie(G(Cv₀)) a logarithm of a point p∈G(k). Assuming (essentially) that p is not a torsion point modulo proper connected algebraic subgroups of G, we obtain lower bounds for the distance from u to Lie(H)k_⊗Cv₀. For the most part, they generalize the measures already known when G is a linear group. The main feature of these results is to provide a better dependence in the height loga of p, removing a polynomial term in logloga. The proof relies on sharp estimates of sizes of formal subschemes associated to H (in the sense of Bost) obtained from a lemma by Raynaud as well as an absolute Siegel lemma and, in the ultrametric case, a recent interpolation lemma by Roy.     

The σ-isotypic decomposition and the σ-index of reversible-equivariant systems

This work is concerned with dynamical systems in presence of symmetries and reversing symmetries. We describe a construction process of subspaces that are invariant by linear Γ-reversible-equivariant mappings, where Γ is the compact Lie group of all the symmetries and reversing symmetries of such systems. These subspaces are the σ-isotypic components, first introduced by Lamb and Roberts in (1999) [10] and that correspond to the isotypic components for purely equivariant systems. In addition, by representation theory methods derived from the topological structure of the group Γ, two algebraic formulae are established for the computation of the σ-index of a closed subgroup of Γ. The results obtained here are to be applied to general reversible-equivariant systems, but are of particular interest for the more subtle of the two possible cases, namely the non-self-dual case. Some examples are presented.     

Harmonic measures for a point may form a square

Let X be a Green domain in Rd, d?2, x∈X, and let Mx(P(X)) denote the compact convex set of all representing measures for x. Recently it has been proven that the set of harmonic measures , U open in X, x∈U, which is contained in the set of extreme points of Mx(P(X)), is dense in Mx(P(X)). In this paper, it is shown that Mx(P(X)) is not a simplex (and hence not a Poulsen simplex). This is achieved by constructing open neighborhoods U₀, U₁, U₂, U₃ of x such that the harmonic measures are pairwise different and . In fact, these measures form a square with respect to a natural L²-structure. Since the construction is mainly based on having certain symmetries, it can be carried out just as well for Riesz potentials, the Heisenberg group (or any stratified Lie algebra), and the heat equation (or more general parabolic situations).     

Best constant in critical Sobolev inequalities of second-order in the presence of symmetries

Let (M,g) be a smooth compact Riemannian manifold. We first give the value of the best first constant for the critical embedding H²(M)?L^2?(M) for second-order Sobolev spaces of functions invariant by some subgroup of the isometry group of (M,g). We also prove that we can take ?=0 in the corresponding inequality under some geometric assumptions. As an application we give a sufficient condition for the existence of a smooth positive symmetric solution to a critical equation with a symmetric Paneitz-Branson-type operator. A sufficient condition for the existence of a nodal solution to such an equation is also derived. We eventually prove a multiplicity result for such an equation.     

On differential equations characterized by their Lie point symmetries

We study the geometry of differential equations determined uniquely by their point symmetries, that we call Lie remarkable. We determine necessary and sufficient conditions for a differential equation to be Lie remarkable. Furthermore, we see how, in some cases, Lie remarkability is related to the existence of invariant solutions. We apply our results to minimal submanifold equations and to Monge-Ampère equations in two independent variables of various orders.     

On the equivalence of Lie symmetries and group representations

We consider families of linear, parabolic PDEs in n dimensions which possess Lie symmetry groups of dimension at least four. We identify the Lie symmetry groups of these equations with the (2n+1)-dimensional Heisenberg group and SL(2,R). We then show that for PDEs of this type, the Lie symmetries may be regarded as global projective representations of the symmetry group. We construct explicit intertwining operators between the symmetries and certain classical projective representations of the symmetry groups. Banach algebras of symmetries are introduced.     

Lie group structures on symmetry groups of principal bundles

In this paper we describe how one can obtain Lie group structures on the group of (vertical) bundle automorphisms for a locally convex principal bundle P over the compact manifold M. This is done by first considering Lie group structures on the group of vertical bundle automorphisms Gau(P). Then the full automorphism group Aut(P) is considered as an extension of the open subgroup DiffP(M) of diffeomorphisms of M preserving the equivalence class of P under pull-backs, by the gauge group Gau(P). We derive explicit conditions for the extensions of these Lie group structures, show the smoothness of some natural actions and relate our results to affine Kac-Moody algebras and groups.     

Associate symmetries: A novel procedure for finding contact symmetries

A new method for finding contact symmetries is proposed for both ordinary and partial differential equations. Symmetries more general than Lie point are often difficult to find owing to an increased dependency of the infinitesimal functions on differential quantities. As a consequence, the invariant surface condition is often unable to be “split” into a reasonably sized set of determining equations, if at all. The problem of solving such a system of determining equations is here reduced to the problem of finding its own point symmetries and thus subsequent similarity solutions to these equations. These solutions will (in general) correspond to some subset of symmetries of the original differential equations. For this reason, we have termed such symmetries associate symmetries. We use this novel method of associate symmetries to determine new contact symmetries for a non-linear PDE and a second order ODE which could not previously be found using computer algebra packages; such symmetries for the latter are particularly difficult to find. We also consider a differential equation with known contact symmetries in order to illustrate that the associate symmetry procedure may, in some cases, be able to retrieve all such symmetries.     

Solving a nonlinear pde that prices real options using utility based pricing methods

We provide group invariant solutions to two nonlinear differential equations associated with the valuing of real options with utility pricing theory. We achieve these through the use of the Lie theory of continuous groups, namely, the classical Lie point symmetries. These group invariant solutions, constructed through the use of the symmetries that also leave the boundary conditions invariant, are consistent with the results in the literature. Thus it may be shown that Lie symmetry algorithms underlie many ad hoc methods that are utilised to solve differential equations in finance.     

Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology

In recent work, Belishev and Sharafutdinov show that the generalized Dirichlet to Neumann (DN) operator Λ on a compact Riemannian manifold M with boundary ∂M determines de Rham cohomology groups of M. In this paper, we suppose G is a torus acting by isometries on M. Given X in the Lie algebra of G and the corresponding vector field XM on M, Witten defines an inhomogeneous coboundary operator dXM=d+ιXM on invariant forms on M. The main purpose is to adapt Belishev-Sharafutdinov?s boundary data to invariant forms in terms of the operator dXM in order to investigate to what extent the equivariant topology of a manifold is determined by the corresponding variant of the DN map. We define an operator ΛXM on invariant forms on the boundary which we call the XM-DN map and using this we recover the XM-cohomology groups from the generalized boundary data (∂M,ΛXM). This shows that for a Zariski-open subset of the Lie algebra, ΛXM determines the free part of the relative and absolute equivariant cohomology groups of M. In addition, we partially determine the ring structure of XM-cohomology groups from ΛXM. These results explain to what extent the equivariant topology of the manifold in question is determined by ΛXM.     

Viscosity solutions to second order partial differential equations on Riemannian manifolds

We prove comparison, uniqueness and existence results for viscosity solutions to a wide class of fully nonlinear second order partial differential equations F(x,u,du,d²u)=0 defined on a finite-dimensional Riemannian manifold M. Finest results (with hypothesis that require the function F to be degenerate elliptic, that is nonincreasing in the second order derivative variable, and uniformly continuous with respect to the variable x) are obtained under the assumption that M has nonnegative sectional curvature, while, if one additionally requires F to depend on d²u in a uniformly continuous manner, then comparison results are established with no restrictive assumptions on curvature.     

Symmetry analysis of the charged squashed Kaluza–Klein black hole metric

In this research article, a complete analysis of symmetries and conservation laws for the charged squashed Kaluza–Klein black hole space‐time in a Riemannian space is discussed. First, a comprehensive group analysis of the underlying space‐time metric using Lie point symmetries is presented, and then the n‐dimensional optimal system of this space‐time metric, for n = 1,…,4, are computed. It is shown that there is no any n‐dimensional optimal system of Lie symmetry subalgebra associated to the system of geodesic for n≥5. Then the point symmetries of the one‐parameter Lie groups of transformations that leave invariant the action integral corresponding to the Lagrangian that means Noether symmetries are found, and then the conservation laws associated to the system of geodesic equations are calculated via Noether's theorem. Copyright © 2015 John Wiley & Sons, Ltd.