Symmetry Analysis of the Multidimensional Polywave Equation

Abstract

We present symmetry classification of the polywave equation □ ^l u = F (u). It is established that the equation in question is invariant under the conformal group C(1, n) iff F (u) = λe ^u, n + 1 = 2l or F (u) = λu ^{(n+1+2l)/(n+1?2l)}, n + 1 6= 2l. Symmetry reduction for the biwave equation □ ² u = λu ^k is carried out. Some exact solutions are obtained.     

The lie algebra of invariant group of the KdV,MKdV, or Burgers equation

Let (E): u _t=H(u) denote the KdV, MKdV or Burgers equation, and U(s)=(D^j _s)/u _j, where D=d/dx, u _i=Dⁱ _u, s=s(u, u ₁, ..., u _n) is a polynomial of u _i with constant coefficients, be the generator of invariant group of equation (E). We prove in this paper that all such generators form a commutative Lie algebra, from which it follows that for any symmetry s(u, ..., u _n) of (E), the evolution equation u _t=s(u, ..., u _n) possesses an infinite number of symmetries (or conservation laws in the case of KdV and MKdV equations).     

Lie-symmetry vector fields for linear and nonlinear wave equations

We derive the Lie symmetry vector fields for the linear wave equation u=0 and nonlinear wave equation u=u ³. The conformal vector fields for the underlying metric tensor fieldg are also given. We construct the conservation laws and derive similarity solutions. Furthermore, we perform a Painlevé test for the nonlinear wave equation and discuss whether Lie-Bäcklund vector fields exist.     

A New Integrable Hierarchy,Parametric Solutions and Traveling Wave Solutions

In this paper we give a new integrable hierarchy. In the hierarchy there are the following representatives:

A Strong Regularity Result for Parabolic Equations

We consider a parabolic equation with a drift term u+bu–u _t =0. Under the condition div b=0, we prove that solutions possess dramatically better regularity than those provided by standard theory. For example, we prove continuity of solutions when not even boundedness is expected.     

Analyticity of scattering for the ϕ4 theory

We consider scattering for the equation (+m ²)+³=0 on four-dimensional Minkowski space. Form>0, one-to-one and onto wave operatorsW _± :HH are known to exist for all 0, whereH denotes the Hilbert space of finite-energy Cauchy data. We prove that the maps (,u)W _± (u) and (,u)(W _± )^–1 (u) are continuous from [0, )×H toH, and extend to real-analytic functions from an open neighborhood of {0}×H×{0}×H to the Hilbert spaceH _–1 of Cauchy data with Poincaré-invariant norm. Form=0, wave operatorsW _± are known to exist as diffeomorphisms ofH for all 0, where hereH denotes the Hilbert space of finite Einstein energy Cauchy data. In this case we prove that the maps (,u)(W _± ) (u) and (,u)(W _± )^–1 (u) extend to real-analytic functions from a neighborhood of [0, )×H×H toH.     

Periodic Solutions for Completely Resonant Nonlinear Wave Equations with Dirichlet Boundary Conditions

We consider the nonlinear string equation with Dirichlet boundary conditions u_tt–u_xx=(u), with (u)=u³+O(u⁵) odd and analytic, 0, and we construct small amplitude periodic solutions with frequency for a large Lebesgue measure set of close to 1. This extends previous results where only a zero-measure set of frequencies could be treated (the ones for which no small divisors appear). The proof is based on combining the Lyapunov-Schmidt decomposition, which leads to two separate sets of equations dealing with the resonant and non-resonant Fourier components, respectively the Q and the P equations, with resummation techniques of divergent powers series, allowing us to control the small divisors problem. The main difficulty with respect to the nonlinear wave equations u_tt–u_xx+Mu=(u), M0, is that not only the P equation but also the Q equation is infinite-dimensional.     

A theorem on the first heteroclinic tangency in two-dimensional maps. Orientation-preserving cases

Using the properties of the Jordan curve, the following theorem on the heteroclinic tangency in orientation-preserving two-dimensional maps is proved: LetT :R ² R ² be a one-parameter family ofC ¹ diffeomorphisms andJ=DetDT be such that 0<J1 or 1J<. LetW _u ⁿ be the unstable manifold of a hyperbolicn-cycle andW _s ^m the stable manifold of a hyperbolicm-cycle. Suppose that for< _c ,W _u ⁿ andW _s ^m have no common points, and that for> _c ,W _u ⁿ andW s/m have a transversal heteroclinic point. Then at= _c ,W _u ⁿ andW _s ^m are in the first asymptotic heteroclinic tangency except for the following three cases: (1)n=m; both cycles are without reflection. (2)m=2n; then- andm-cycles are with and without reflection, respectively; (3)n=2m; then- andm-cycles are without and with reflection, respectively.     

Exact stationary probability distribution for a simple model of a nonequilibrium phase transition

We derive the exact stationary probability distribution for the coupled system of Langevin equationsd _t u=u–u s,d _t s=–s+d ²+F(t).