Pseudogroups and their Applications
Org:
Abraham Smith (Fordham University) and
Francis Valiquette (Dalhousie)
[
PDF]
 STEPHEN ANCO, Brock University
A group foliation method for finding exact solutions to nonlnear PDEs [PDF]

In this talk I will outline a novel symmetrygroup method which has been used successfully in recent work to find exact solutions to multidimensional wave equations and heat equations with power nonlinearities. The method is based on the geometrical idea of group foliation in which the solution
jet space of a given nonlinear PDE is reduced to a quotient space of orbits under the action of a onedimensional group of symmetries admitted by the PDE.Certain algebraic homogeneity features of the groupinvariant equations describing the orbits are used to seek explicit solutions by a relatively simple separation ansatz.
 ALEXANDER BIHLO, Centre de recherches mathématiques, Université de Montréal
Invariant and conservative parameterization schemes [PDF]

Parameterization refers to the process of including unresolved subgridscale processes into a numerical model of the atmosphereocean system. In this talk we will introduce several methods for constructing parameterization schemes that preserve symmetries and conservation laws of systems of differential equations. We will illustrate these examples by constructing invariant and conservative closure schemes for the twodimensional incompressible Euler equations and the shallowwater equations.
This talk is based on joint work with George Bluman and Roman O. Popovych.
 DAVE MCNUTT, Dalhousie University
Vacuum Plane Waves: Equivalence and Physical Interpretation [PDF]

In this talk I will give a brief summary of the Karlhede algorithm, and implement it for the gravitational plane wave spacetimes, as an illustrative example. This provides an invariant classification of these spacetimes in terms of a set of invariants  the so called Cartan invariants. By imposing conditions on the set of Cartan invariants one may reproduce known subclasses of these metrics. As a final point, I will show how the invariant structure relates to the physical interpretation of these spacetimes, by employing the geodesic deviation equations relative to timelike observers.
 ROBERT MILSON, Dalhousie
A new characterization of the Painleve I equation [PDF]

The invariant classification of secondorder ordinary differential equation requires the calculation of differential invariants of the infinitedimensional pseudogroup of point transformations.
A basic question then becomes:
what jetorder is required for invariant classification? For a given 2nd order equation $u_{xx} = q(x,u,u_x)$, we are
able to show that the "worstcase" scenario involves 10th order
jets of $q$ and that that the Painlev\'eI equation is
precisely the simplest instance of such a maximal order equation.
Our solution is based on the theory of equivariant moving frames and involves Cartan's notion of duality for 2nd order ODEs.
 ALEXANDER ODESSKII, Brock University
Integrable matrix equations and algebraic structures related to them. [PDF]

We discuss a special class of linear and quadratic Poisson brackets related to ODE systems with matrix variables. We investigate general properties of such brackets, present examples of compatible pairs of quadratic and linear brackets and find the corresponding hierarchy of integrable models. An interesting class of compatible linear brackets is related to the affine Dynkin diagrams of A, D, Etype. Quadratic brackets are related with the socalled antiFrobenius algebras.
 ROMAN SMIRNOV, Dalhousie University
Algebraic aspects of orthogonal coordinate webs [PDF]

We will discuss some algebraic aspects of the equivalence problem for the orthogonal coordinate webs defined by characteristic Killing tensors in spaces of constant curvature. This is joint work with Caroline Cochran.
 ABRAHAM SMITH, Fordham University
Tableaux of PDE systems and associated Lie Pseudogroups [PDF]

Lie Pseudogroups are defined as transformation groups whose elements are given as solutions of specific systems of involutive PDEs. By carefully analyzing the possible structures of the tableaux, symbols, and characteristics of those PDE systems, we expect to uncover a corresponding classification of Lie Pseudogroups.
 ROBERT THOMPSON, University of Minnesota
Invariant submanifold flows and pseudogroup reconstruction [PDF]

In recent work (2008), Peter Olver used invariant variational bicomplex formalism to develop general equations for the evolution of the differential invariant signature of a submanifold under an invariant submanifold flow. We recall these ideas and explain how to use a similar method to split an invariant submanifold flow into the evolution of an invariant signature together with a set of pseudogroup reconstruction parameters which map the evolved signature back to the evolved submanifold. Interesting applications included!
 FRANCIS VALIQUETTE, Dalhousie University
Recursive Moving Frames [PDF]

In the standard implementation of the equivariant moving frame method, differential invariants of a Lie pseudogroup action are constructed by first prolonging the action to the infinite submanifold jet space and then normalizing the pseudogroup parameters. Typically, this procedure yields unwieldy expressions that limit the method's practical scope. In the recursive approach the prolonged action is computed incrementally, and pseudogroup parameters are normalized as they appear to control, as much as possible, the expression swell. This is an ongoing project in collaboration with Peter J. Olver.
© Canadian Mathematical Society