Potentials
Electric Field
From Gauss
(where
While from Faraday, in absence of magnetic field
which implies that the field is conservative, by Stokes
(since the curl is null, due to the arbitrariness of
Given the famous vector identity for a scalar field
we can always express the field
Since we know that field is the potential, and physically it represents the work done by the field per unit charge against itself to bring the charge from infinity to a position
In the non conservative case (presence of time varying magnetic field):
Magnetic Field
From Gauss
While from Ampere, in absence of electric field
Another famous vector identity for vector fields this time says
So we can always express
Time varying magnetic field
Now look at
This means the inner sum must be the gradient of a scalar field:
(where
so we have to account for the time evolution of the vector potential which creates a non conservative time varying electric field, nice.
Gauge Freedom
To understand gauge freedom we can make a comparison with integration and derivation: we know that the primitive of a function is not unique but it is defined up to a constant, since in derivation the constant disappears. The same is true for scalar potentials, we only care about potential differences:
(this is an example of how we could choose the constant, and we usually put
So we can say that a scalar potential is defined up to a constant.
For vector potentials, they are defined up to a scalar field, since
Since the potentials are defined up to something, these fields should be the same
Now look at Faraday for the new fields
These are the relations between the vector and scalar potential when we shift the vector potential by a scalar field.
These choices are called gauges, and we are free to choose (gauge invariance).
Schrödinger equation
Expanding the Schrödinger equation for a free electron in an electric and magnetic field
todo finish