olgerm said:
Thank you for thorough answer. I am quite good in math, but do not understand many of notations, you have used.Are both of these equations coulomb gauge constraints?
##\Phi=0## is true only at time T?
##\vec{\nabla} \cdot \vec{A}=0## is true any time?
##\sum_{\lambda=\pm 1}(f(λ))=f(λ)+f(-λ)##?
What does c.c. mean?
What do bracets ( [] ) mean?
What does † mean?
What does a^ mean?
What does that mean?
Sorry I do not know a lot about QM. Hopefully you can explain these basic things to me.
Ok, the quantum theory, we cannot treat in terms of forum discussions. You should use quantum theory textbooks to study this. My favorite to start with is
J.J. Sakurai, Modern Quantum Mechanics
Then you need some QFT to understand photons. For that, I recommend the above mentioned book by Scully rather than a usual relativistic QFT book for particle physicists (although QED of course comes originally from that field), because there other aspects are more emphasized than the nature of light itself.
What we can discuss, however is the basics of classical electrodynamics of free fields, which is crucial to understand before you turn to quantum theory anyway.
You start from Maxwell's equations. In the following I'm using Heaviside-Lorentz units with ##c=1##. First we consider only the homogeneous equations,
$$\vec{\nabla} \times \vec{E}+\partial_t \vec{B}=0, \quad \vec{\nabla} \cdot \vec{B}=0.$$
The 2nd equation tells you, using, Helmholtz's decomposition theorem that ##\vec{B}## is a pure solenoidal field, i.e., it is the curl of another vector field, ##\vec{A}##, the vector potential:
$$\vec{B}=\nabla \times \vec{A}.$$
Plugging this into the first equation (Faraday's Law) you get
$$\vec{\nabla} \times (\vec{E}+\partial_t \vec{A})=0,$$
and again from Helmholtz's decomposition theorem (or Poincare's lemma for that matter) you see that there must be a scalar potential such that
$$\vec{E}+\partial_t \vec{A}=-\vec{\nabla} \Phi.$$
Thus we have up to now
$$\vec{E}=-\partial_t \vec{A}-\vec{\nabla} \Phi, \quad \vec{B}=\vec{\nabla} \times \vec{A}.$$
Now you can forget about the homogeneous Maxwell equations for a moment, because writing the fields in terms of the scalar and vector potential, they are automatically fulfilled.
Now let's turn to the inhomogeneous Maxwell equations, i.e.,
$$\vec{\nabla} \times \vec{B}-\partial_t \vec{E}=\vec{j} , \quad \vec{\nabla} \cdot \vec{E}=\rho,$$
where ##\rho## and ##\vec{j}## are the electric-charge and electric-current density. For free fields no charges or currents are present, and we'll set them to 0 in a moment, but first let's plug in the potentials into these equations.
$$\vec{\nabla} \times (\vec{\nabla} \times \vec{A})-\partial_t(-\partial_t \vec{A}-\vec{\nabla} \Phi)=\vec{j}.$$
Using Cartesian coordinates you can simplify them by using the identity ##\vec{\nabla} \times (\vec{\nabla} \times \vec{A})=\vec{\nabla} (\vec{\nabla} \cdot \vec{A})-\Delta \vec{A}##, where the Laplacian is defined as ##\Delta=\vec{\nabla} \cdot \vec{\nabla}##. Using this, the above equation becomes
$$\partial_t^2 \vec{A}-\Delta \vec{A} +\vec{\nabla}(\vec{\nabla} \cdot \vec{A}+\partial_t \Phi)=\vec{j}.$$
Now we can simplify the solution of these equations tremendously by recognizing that the potentials are not uniquely defined by the physically observable fields, ##\vec{E}## and ##\vec{B}##. Indeed you can add the gradient of an arbitrary scalar field, ##\chi##, to the vector potential, without changing ##\vec{B}##, i.e.,
$$\vec{A}'=\vec{A}-\vec{\nabla} \chi$$
is as good as ##\vec{A}## to get ##\vec{B}=\vec{\nabla} \times \vec{A}=\vec{\nabla} \times \vec{A}'##. At the same time we have to make sure that
$$\vec{E}=-\partial_t \vec{A}-\vec{\nabla} \Phi=-\partial_t (\vec{A}'+\vec{\nabla} \chi)-\vec{\nabla \Phi} = -\partial_t \vec{A}' - \vec{\nabla}(\Phi+\partial_t).$$
Thus we set
$$\Phi'=Phi+\partial_t \chi$$
so that we have the electromagnic field in the same way given by the primed as by the unprimed potentials. The transformation
$$\vec{A}'=\vec{A}-\vec{\nabla} \chi, \quad \Phi'=\Phi+\partial_t \chi$$
is called gauge transformation, and what we just derived tells us that electrodynamics is invariant under this gauge transformation for the potential.
Now because of this arbitrariness, we can put an extra condition on the potentials, and it's convenient to use the Lorenz-gauge condition
$$\partial_t \Phi+\vec{\nabla} \cdot \vec{A}=0,$$
because then our above equation for the potential from the one inhomogeneous Maxwell equation simplifies to
$$(\partial_t^2-\Delta) \vec{A}=\vec{j},$$
i.e., the three Cartesian components decouple from each other, and each other fulfills just an inhomogeneous wave equation with the current density as source.
Now we turn to the last equation, Gauss's Law. Plugging in the electric field in terms of the potentials we get
$$\vec{\nabla} \cdot \vec{E} = -\vec{\nabla} \cdot (\partial_t \vec{A}+\vec{\nabla} \Phi)=\rho,$$
but using the Lorenz gauge condition we can as well eliminate ##\vec{A}## from this equation, because we can put
$$\vec{\nabla} \cdot \vec{A}=-\partial_t \Phi,$$
which finally also gives a wave equation for ##\Phi##, decoupled from all components of the vector potential:
$$(\partial_t^2-\Delta)\Phi=\rho.$$
Now we specialize to
free electromagnetic fields, i.e., we assume that there are no charges and currents present anywhere, i.e., ##\rho=0## and ##\vec{j}=0##. Then we have
$$(\partial_t^2-\Delta) \Phi=0, \quad (\partial_t^2-\Delta) \vec{A}=0.$$
Now the Lorenz gauge condition does not completely fix the potentials together with these equations, because we can still take a gauge transformation, for which the gauge field ##\chi## itself also satisfies the homogeneous wave equation, i.e., we set
$$\Phi'=\Phi+\partial_t \chi, \quad \vec{A}'=\vec{A}-\vec{\nabla} \chi$$
for a function ##\chi## satisfying
$$(\partial_t^2-\Delta \chi)=0.$$
Then also the new potentials fulfill the Lorenz gauge condition as do the old ones, because we have
$$\partial_t \Phi'+\vec{\nabla} \cdot \vec{A}'=\partial_t \Phi+\vec{\nabla} \cdot \vec{A} + (\partial_t^2-\Delta)\chi=0.$$
Now we can choose this remaining restricted gauge freedom to envoke the additional constraint that
$$\Phi'=\Phi+\partial_t \chi=0.$$
Since we have ##(\partial_t^2-\Delta \Phi)=0##, this is consistent with ##(\partial_t^2-\Delta) \chi=0##, and that's only the case for free fields, i.e., for ##\rho=0##. Thus now we have the simplified equations
$$(\partial_t^2-\Delta) \vec{A}'=0, \quad \vec{\nabla} \cdot \vec{A}'=0,$$
where the latter equation follows from the Lorenz gauge condition for ##(\Phi',\vec{A}')## and our additional condition ##\Phi'=0##. This is called the radiation gauge, and as stressed above, it can be used only for free fields (or for fields with ##\rho=0##). The above derivation shows that the gauge constraints ##\Phi'=0##, ##\vec{\nabla} \cdot \vec{A}=0## must hold for all times.
You are right concerning the sum over ##\lambda=\pm 1##; c.c. means "complex conjugate" and thus ##f+\text{c.c.}=f+f^*## for any complex valued function ##f##. The brackets are commutators of operators, ##\dagger## stands for the hermitean conjugate of a linear operator in Hilbert space, and ##\hat{a}## is such an operator in Hilbert space (see Quantum Mechanics textbooks).