Group classification of Schr odinger equations C elestin - - PowerPoint PPT Presentation

Group classification of Schr¨

• dinger equations

C´ elestin Kurujyibwami

Department of Applied Mathematics, University of Rwanda Department of Mathematics, Link¨

• ping University

First Network Meeting for Sida- and ISP-funded PhD Students in Mathematics Stockholm 7–8 March 2017

1 / 13

Supervision

• Ass. Prof Peter Basarab-Horwath

Prof Roman O. Popovych

Main Supervisor Assistant Supervisor Link¨

• ping University

Institute of Maths NAS of Ukraine and W.P. Institute Vienna, Austria.

2 / 13

Duration and area of research

Started: AUG 2012, End: AUG 2017. Support: ISP through EAUMP. Area of research: Symmetry analysis of differential equations, Lie algebras and group classification problems of differential equations. Thesis title: Group classification of Schr¨

• dinger Equations

3 / 13

Outline

Introduction Results, Impact and applications Conclusion

4 / 13

Introduction

A symmetry of a differential equation (ordinary or partial) is an invertible transformation that maps the set of solutions of the equation to itself: if L(u) = 0 is a differential equation, where u stands for a solution of the equation, then we must have L(˜ u) = 0 whenever L(u) = 0, where ˜ u is the transform of u. A class of of differential equations is L|S := {Lθ | θ ∈ S}, where S is the solution set of auxiliary system of differential equations S(x, u(p), θ(q′)(x, u(p))) = 0 and Lθ is a system of differential equations L(x, u(p), θ(q)(x, u(p))) = 0 parameterized by the arbitrary elements θ(x, u(p)) = (θ1(x, u(p)), . . . , θk(x, u(p))).

5 / 13

Introduction Cont.

Example The class of (1+1)-D LinSchEqs iψt + ψxx + V (t, x)ψ = 0 with its conjugate, where θ = (V , V ∗) and S : Vψ = Vψ∗ = Vψt = Vψ∗

t = Vψx = Vψ∗ x = 0

Vψtx = Vψ∗

tx = Vψtt = Vψ∗ tt = Vψxx = Vψ∗ xx = 0,

and the same equation for V ∗. Definition The classification of Lie symmetry groups of systems from the class L|S up to the equivalence relations generated by point transformations between systems from the class is called group classification of the class L|S .

6 / 13

Research Motivation

The group classification of the class V of linear Schr¨

• dinger

equations (SchEqs) with real-valued potentials, iψt + ∆ψ + V (t, x)ψ = 0 was carried out. Therefore, this class with arbitrary complex-valued potentials remains an

• pen problem.

The study of the class S of nonlinear Schr¨

• dinger equations,

iψt + ∆ψ + f (ρ)ψ + V (t, x)ψ = 0, fρ = 0, where ρ = |ψ| was carried out in (1+1)D. Its group classification in multidimensional case remains attractive and open. The existing algebraic method for group classification (G.C) of differential equations was not efficient. So, there is need to construct the new version of this method and test its efficiency for G.C.

7 / 13

Problem statement

Consider the class H of SchEqs of the general form iψt = H(t, x, ψ, ψ∗, ψa, ψ∗

a, ψaa, ψ∗ aa)

with |Hψaa| = |Hψ∗

aa|,

where H is a complex-valued smooth function of its arguments and ψ is an unknown complex function of the real independent variables t and x. We study the point transformations between equations from the subclasses of the class H and then construct the new version of the algebraic method for G.C called uniform semi-normalization of classes of DE’s. We preliminary study Lie symmetry properties for the classes V and S with arbitrary complex potentials, and solve completely the G.C. of these classes for n = 1 and n = 2.

8 / 13

Results

The Developed theory and its applications are summarized in the following papers Paper 1. Algebraic method for group classification of (1+1)D linear Schr¨

• dinger equations with complex-valued potentials, 30

pp, Submitted. Paper 2. Equivalence groupoid for (1 + 2)D linear Schr¨

• dinger

equations with complex potentials, 8 pp, published. Paper 3. Group classification of Multidimensional linear Schr¨

• dinger equations with algebraic method, 27 pp, ready for

submission. Paper 4. Group classification of multidimensional nonlinear Schr¨

• dinger equations, 30 pp, final stage

Paper 5. Admissible transformations of (1+1)D Schr¨

• dinger

equations with variable mass, 13 pp, final stage.

9 / 13

example

The G.C for the class of (1+1) LinScHEqs, iψt + ψxx + V (t, x)ψ = 0 results in 6 inequivalent families of potentials together with their corresponding Lie symmetry

• extensions. The famous is the free Schr¨
• dinger equation, V = 0

whose Lie symmetry extension is spanned by the vector fields M, I, ∂t, ∂x, t∂t + 1 2x∂x, t∂x + 1 2xM, t2∂t + tx∂x + 1 4x2M − 1 2tI, where M = iψ∂ψ − iψ∗∂ψ∗ and I = ψ∂ψ + ψ∗∂ψ∗, respectively.

10 / 13

Applications and Impact

We developed a new method of the algebraic method ”uniform semi-normalization ” which can be applied to various classes of DE’s not only for Schr¨

• dinger equations.

The knowledge of point transformations connecting equations from systems of the class can be used to select most relevant models from parameterized families of models. These equations can be used in the field of Physics where Schr¨

• dinger equations arise.

For Lie symmetries, they can be used to construct invariant reductions for various models: mathematical, biological,. . . . A scientific community will benefit from the new theory based

• n uniformly semi-normalized of classes of differential

equations to solve other problems. The country and the continent in general will benefit from my

• expertise. I will introduce this new field through teaching,

training, seminars, workshops and conferences in the region. It will be the same also for some new features(eg. Latex).

11 / 13

Conclusion

We constructed a new version of the algebraic method of group classification which is based on uniformly semi-normalization of classes of differential equations. This is the effective method that can be applied to various classes of differential equations not only Schr¨

• dinger equations..

We solved the problem of group classification of linear and nonlinear SchEqs with constant mass. We extended results from real potentials to complex potentials and found missed cases in existing incomplete results. The final lists provide inequivalent families of complex potentials and corresponding Lie symmetry extensions which can be potentially used in many areas of Physics.

12 / 13

Tack s˚ a mycket! Thank you for your attention!

13 / 13