:

## Quantization of the Lorentz Force

Maple

This presentation is on an undergrad intermediate Quantum Mechanics topic. Tackling the problem within a computer algebra worksheet in the way shown below is actually the novelty, using the Physics package to formulate the problem with quantum operators and related algebra rules in tensor notation.

Quantization of the Lorentz Force

Pascal Szriftgiser1 and Edgardo S. Cheb-Terrab2

(1) Laboratoire PhLAM, UMR CNRS 8523, Université Lille 1, F-59655, France

(2) Maplesoft

We consider the case of a quantum, non-relativistic, particle with mass m and charge q evolving under the action of an arbitrary time-independent magnetic field where  is the vector potential. The Hamiltonian for this system is

where  is the momentum of the particle, and the force acting in this particle, also called the Lorentz force, is given by

where  is the quantized velocity of the particle, and all of  , , , ,  and  are Hermitian quantum operators representing observable quantities.

In the classic (non-quantum) case,  for such a particle in the absence of electrical field is given by

=  ,

Problem: Departing from the Hamiltonian, show that in the quantum case the Lorentz force is given by [1]

[1] Photons et atomes, Introduction à l'électrodynamique quantique, p. 179, Claude Cohen-Tannoudji, Jacques Dupont-Roc et Gilbert Grynberg - EDP Sciences janvier 1987.

Solution

We choose to tackle the problem in Heisenberg's picture of quantum mechanices, where the state of a system is static and only the quantum operators evolve in time according to

Also, the algebraic manipulations are simpler using tensor abstract notation instead of the standard 3D vector notation. We then start setting the framework for the problem, a system of coordinates X, indicating the dimension of the tensor space to be 3 and the metric Euclidean, and that we will use lowercaselatin letters to represent tensor indices. In addition, not necessary but for convenience, we set the lowercase latin i to represent the imaginary unit and we request automaticsimplification so that the output of everything comes automatically simplified in size.

 >
 >
 (1)

Next we indicate the letters we will use to represent the quantum operators with which we will work, and also the standard commutation rules between position and momentum, always the starting point when dealing with quantum mechanics problems

 >
 (2)

Note that we start not indicating  as Hermitian, in order to arrive at that result. The quantum operators , , and  are explicit functions of X, so to avoid redundant display of this functionality on the screen we use

 >
 (3)

Define now as tensors the quantum operators that we will use with tensorial notation (recalling: for these, Einstein's sum rule for repeated indices will be automatically applied when simplifying)

 >
 (4)

The Hamiltonian,

in tensorial notation, is given by

 >
 (5)

Generally speaking to arrive at   what we now need to do is

1) Express this Hamiltonian (5) in terms of the velocity

And, recalling that, in Heisenberg's picture, quantum operators evolve in time according to

2) Take the commutator of  with the velocity itself to obtain its time derivative and, from  , that commutator is already the force up to some constant factors.

To get in contact with the basic commutation rules between position and momentum behind quantum phenomena, the quantized velocity itself can be computed as the time derivative of the position operator, i.e as the commutator of  with

 >
 (6)

This expression for the velocity, that involves commutators between the potential , the position  and the momentum , can be simplified taking into account the basic quantum algebra rules between position and momentum. We assume that (X) can be decomposed into a formal power series (possibly infinite) of the , hence all the  commute between themselves as well as with all the

 >
 (7)

(Note: in some cases, this is not true, but those cases are beyond the scope of this worksheet.)

Add these rules to the algebra rules already set so that they are all taken into account when simplifying things

 >
 (8)
 >
 (9)

The right-hand side of (9) is then the kth component of the velocity tensor quantum operator, the relationship is the same as in the classical case

 >
 (10)

and with this the Hamiltonian (5) can now be rewritten in term of the velocity completing step 1)

 >
 (11)

For step 2), to compute

we need the commutator between the different components of the quantized velocity which, contrary to what happens in the classical case, do not commute. For this purpose, take the commutator between (10) with itself after replacing the free index

 >
 (12)

To simplify (12), we use the fact that if f  is a commutative mapping that can be decomposed into a formal power series in all the complex plan (which is assumed to be the case for all (X)), then

where  is the momentum operator along the  axis. This relation reads in tensor notation:

 >
 (13)

Add this rule to the rules previously set in order to automatically take it into account in (12)

 >
 (14)
 >
 (15)

Also add this other rule so that it is taken into account automatically

 >
 (16)

Recalling now the expression of the Hamiltonian (11) as a function of the velocity, one can compute the components of the force operator

 >
 (17)

Simplify this expression for the quantized force taking the quantum algebra rules (16) into account

 >
 (18)

It is not difficult to verify that this is the antisymmetrized vector product . Departing from  expressed using tensor notation,

 >
 (19)

and taking into acount that

multiply both sides of (19) by , getting

 >
 (20)
 >
 (21)

Finally, replacing the repeated index m by n

 >
 (22)

Likewise, for

multiplying (19), this time from the right instead of from the left, we get

 >
 (23)
 >
 (24)

Simplifying now the expression (18) for the quantized force taking into account (22) and (24) we get

 >
 (25)

i.e.

in tensor notation. Finally, we note that this operator is Hermitian as expected

 >
 (26)

Edgardo S. Cheb-Terrab
Physics, Differential Equations and Mathematical Functions, Maplesoft
Editor, Computer Physics Communications

﻿