Engineering » Electrical and Electronic Engineering » "Micro Electronic and Mechanical Systems", book edited by Kenichi Takahata, ISBN 978-953-307-027-8, Published: December 1, 2009 under CC BY-NC-SA 3.0 license

Chapter 27

Single Photon Eigen-Problem with Complex Internal Dynamics

By Nenad V. Delić, Jovan P. Šetrajčić, Dragoljub Lj. Mirjanić, Zdravko Ivanković, Dobrivoje Martinov, Snežana Jokić, Ivana Petrevska–Đukić, Dušanka Tešanović and Svetlana Pelemiš
DOI: 10.5772/7026

Article top

Single Photon Eigen-Problemwith Complex Internal Dynamics

Nenad V. Delić1, Jovan P. Šetrajčić1, 8, Dragoljub Lj. Mirjanić2, 8, Zdravko Ivanković3, Dobrivoje Martinov4, Snežana Jokić4, Ivana Petrevska–Đukić5, Dušanka Tešanović6 and Svetlana Pelemiš

1. Introduction

Linearized single photon Hamiltonian is used for the analysis of its features in coordinate systems of various geometries. As it could have been expected, based on the general theory of relativity, it turned out that space geometry and physical features are closely interrelated. In Cartesian’s coordinates single photons are spatial plane waves, while in cylindrical coordinates they are one-dimensional plane waves the amplitudes of which falls in planes normal to the direction of propagation. The most general information on single photon characteristics has been obtained by the analysis in spherical coordinates. The analysis in this system has shown that single photon spin essentially influences its behavior and that the wave functions of single photon can be normalized for zero orbital momentum, only.

A free photon Hamiltonian is linearized in the second part of this paper using Pauli’s matrices. Based on the correspondence of Pauli’s matrices kinematics and the kinematics of spin operators, it has been proved that a free photon integral of motion is a sum of orbital momentum and spin momentum for a half one spin. Linearized Hamiltonian represents a bilinear form of products of spin and momentum operators. Unitary transformation of this form results in an equivalent Hamiltonian, which has been analyzed by the method of Green’s functions. The evaluated Green’s function has given possibility for interpretation of photon reflection as a transformation of photon to anti-photon with energy change equal to double energy of photon and for spin change equal to Dirac’s constant. Since photon is relativistic quantum object the exact determining of its characteristics is impossible. It is the reason for series of experimental works in which photon orbital momentum, which is not integral of motion, was investigated. The exposed theory was compared to the mentioned experiments and in some elements the satisfactory agreement was found.

2. Eigen-problem of single photon Hamiltonian

In the first part of this work the eigen-problem of single photon Hamiltonian was formulated and solutions were proposed. Based on the general theory of relativity, it turned out that space geometry and physical features are closely interrelated. Because of that the analyses was provided in Cartesian’s, cylindrical and spherical coordinate systems.

2.1. Introduction

Classical expression for free photon energy is:

E=cpx2+py2+pz2

where c is the light velocity in vacuum and px, py and pz are the components of photon momentum. If instead of classical momentum components we use quantum-mechanical operatorspνp^ν=ixν;ν= (x,y,z), where h2π= 1,05456×1034Js is Dirac's constant, we obtain quantum-mechanical single photon Hamiltonian:

H^=±cp^x2+p^y2+p^z2

This Hamiltonian is not a linear operator that contradicts the principle of superposition (Gottifried, 2003; Kadin, 2005). Klein and Gordon (Sapaznjikov, 1983) skirted this problem solving the eigen-problem of square of Hamiltonian (2):

H^2ϕ=E2ϕ

since the square of Hamiltonian is a linear operator. This approach has given satisfactory description of single photon behaving. Up to now it is considered that this approach gives real picture of photon. Here will be demonstrated that Kline–Gordon picture of photon is incomplete.

Here we shall try to examine single photon behavior by means of linearized Hamiltonian (2). Linearization procedure is analogous to the procedure that was used by Dirac’s in the analysis of relativistic electron Hamiltonian (Dirac, 1958). We shall take that

p^x2+p^y2+p^z2=(α^p^x+β^p^y+χ^p^z)2

i.e. we shall transform the sum of squares into the square of the sum using α^,β^ and χ^ matrices. In accordance with (4) these matrices fulfill the following relations:

α^2=β^2=χ^2=1;α^β^+β^α^=α^χ^+χ^α^=β^χ^+χ^β^=0.

It is easy to show (Tošić, et al., 2008; Delić, et al., 2008) that (5) conditions are fulfilled by Pauli’s matrices

α^=(0110);β^=(0ii0);χ^=(1001)

Combining (6), (4) and (2), we obtain linearized photon Hamiltonian which completely reproduces the quantum nature of light (Holbrow, et al., 2001; Torn, et al., 2004) in the form:

H^=±c(p^zp^xip^yp^x+ip^yp^z)=±ci(zxiyx+iyz)
.

Since linearized Hamiltonian is a 2×2 matrix, photon eigen-states must be columns and rows which two components. Operators of other physical quantities must be represented in the form of diagonal 2×2 matrices.

At the end of this presentation, it is important to underline the orbital momentum operator(L^00L^); L^=r^×p^does not commute with Hamiltonian (7). It means that it is not integral of motion as in Klein-Gordon theory (Davidov, 1963). It can be shown that integral of motion represents total momentum(J^00J^), where J^ is the sum of orbital momentum L^ and rotation momentum S^ which corresponds to 1/2 spin.

In further the eigen-problem of linearized single photon Hamiltonian will be analyzed in Cartesian’s, cylindrical and spherical coordinates.

2.2. Photons in Cartesian's picture

The eigen-problem of single photon Hamiltonian in Cartesian coordinates (we shall take it with plus sign) has the following form:

ci(zxiyx+iyz)(Ψ1Ψ2)=E(Ψ1Ψ2)

wherefrom we obtain the following system of equations from:

(zik)Ψ1+(xiy)Ψ2=0(x+iy)Ψ1(z+ik)Ψ2=0

wherek=Ec. It follows from (9) that:

Ψ1=(zik)1(xiy)Ψ2

Since the operators z±ik and x±iy commute, through (11) we come to the following relation:

(z+ik)(zik)Ψ1+(xiy)(x+iy)Ψ1=0

In the same manner, from (9) and (11), we come to the relation:

(zik)(z+ik)Ψ2+(x+iy)(xiy)Ψ2=0

The two last relations are of identical form and can be substituted by one unique relation:

(2x2+2y2+2z2+k2)Ψ(x,y,z)=0

If we take in (14) that k2=kx2+ky2+kz2 andΨ(x,y,z)=A(x)B(y)C(z), we come to the following equation:

1Ad2Adx2+kx2+1Bd2Bdy2+ky2+1Cd2Cdz2+kz2=0

which is fulfilled if:

d2Adx2+kx2A=0;d2Bdy2+ky2B=0;d2Cdz2+kz2C=0

Equations (16) can be easily solved and each of them has two linearly independent particular integrals:

A1=a1eixkx;A2=a2eixkx;B1=b1eiyky;B2=b2eiyky;C1=c1eizkz;C2=c2eizkz.

Based on these expressions, we conclude that eigen-vector of single photon (Ψ1Ψ2) has the following form:

(Ψ1Ψ2)=(DeikrDeikr)

Since k is a continuous variable, the normalization of (18) mast be done to δ–function, wherefrom follows:

D2d3r(eikreikr)(eikreikr)=δ(kk)

Solving these integrals, we come to: 2 D2 (2π)3 = 1, wherefrom we get the normalized single photon eigen-vector as:

(Ψ1Ψ2)=14π3(eikreikr)

As it can be seen from (20), the components of single photon eigen-vector are progressive plane wave ~eikr and the regressive one ~eikr. Since we consider a free single photon, the obtained conclusion is physically acceptable.

2.3. Photons in cylindrical picture

In this section of first part of the paper we are going to analyze the same problem in cylindrical coordinates. Since solving of partial equation of (Δ+k2)Ψ=0 type in cylindrical coordinates requires more general approach than that which was used in Cartesian's coordinates, it is necessary to examine single photon eigen-problem in cylindrical system.

In order to examine this problem, we shall start from the equation (14) in which Laplacian 2x2+2y2+2z2Δ will be given in cylindrical coordinates (ρ,φ,z) whereρэ [0,], φэ[0,2π]andzэ [,+]. The Laplacian in cylindrical coordinates has the following form:

Δ=2ρ2+1ρρ+1ρ22ϕ2+2z2

and therefore (14) withΨ(x,y,z) => Φ(ρ,φ,z), reduces to:

2Φρ2+1ρΦρ+1ρ22Φϕ2+2Φz2+k2Φ=0

The square of wave vector k will be separated into two partskx2+ky2+kz2=q2+kz2. On the basis of this the equation (21) can be written as follows:

2Φρ2+1ρΦρ+q2Φ+1ρ22Φϕ2=2Φz2kz2Φ

By the substitution:

Φ(ρ,ϕ,z)=F(ρ,ϕ)G(z)

the equation (22) reduces to:

1F(2Fρ2+1ρFρ+q2F+1ρ22Fϕ2)=1G(d2Gz2+kz2G)

This equation is fulfilled if:

2Fρ2+1ρFρ+q2F+1ρ22Fϕ2=0d2Gz2+kz2G=0

Now we separate the variables by substitution:

F(ρ,ϕ)=X(ρ)S(ϕ)

after which, the (25) goes over to:

1X(ρ22Xρ2+ρXρ+q2ρ2X)=1Sd2Sϕ2m2

Introduction of the variables separation constant m2 represents generalization with respect to approach used in previous section. Since the function S(φ)must be single-sign S(φ) =S(φ+2π) we must that m is integer, i.e. m= 0,±1, ±2,...

Relation (27) is separated into two differential equations:

d2Sdϕ2+m2S=0;d2Xdρ2+1ρdXdρ+(q2m2ρ2)X=0.

The equation (25) has two particular integrals:

G1=g1eizkz;G2=g2eizkz

while the solution of the equation (28) is:

Sm(ϕ)=s0eimϕ

By the substitution of argumentρ=bξ, the equation (28) reduces to

d2Xdξ2+1ξdXdξ+(q2b2m2ξ2)X=0

and taking thatb=1q, we translate (31) into Bessel's equation with integer index m:

d2Xdξ2+1ξdXdξ+(1m2ξ2)X=0

It means that the solution of (28) is the m–order Bessel’s function: Jm, i.e.

X(ρ)=a0Jm(qρ)

Taking into account (29), (30) and (33), we obtain the components of single photon eigen-vector:

Φ1(ρ,ϕ,z)=D1Jm(qρ)eizkzeimϕ;Φ2(ρ,ϕ,z)=D2Jm(qρ)eizkzeimϕ

Since q and kz are continuous variables, while m is a discrete one the normalization of eigen-vector must be done partially to δ–functions and partially to Kronecker’s symbol. It means that normalization condition is the following:

(|D1|2+|D2|2)02πdϕe±i(mm)ϕ+dze±i(kzkz)zz0ρdρJm(qρ)Jm(qρ)=q1δnmδ(kzkz)δ(qq)

Using formula for normalization of Bessel functions with integer index (Korn & Korn, 1961):

0dxxJm(kx)Jm(kx)=1kδ(kk)

the normalization condition reduces into:|D1|2+|D2|2=14π2. It means that normalized single photon eigen-vector in cylindrical coordinates is given by:

(Φ1Φ2)=(D1Jm(qρ)eimρeizkzD2Jm(qρ)eimρeizkz)

The first component Φ1 corresponds to photon (velocity +c), while second component Φ2 corresponds to anti-photon (velocity –c). From this formula we conclude that single photon eigen-vector components are progressive and regressive plane waves along z-axis. In the (x,y) planes components change periodically with polar angle φ and decrease by the rule ρ-1/2 with distance between the axis and envelope of cylinder. The last is concluded on the basis of asymptotic behaving of Bessel’s functions (Korn & Korn, 1961):Jm(ρ)sinρρ, whenρ . We have seen during the analysis of a photon in Cartesian’s coordinates that only zero values of parameters of variables separation are physically imposed. In cylindrical coordinates, due to physical reasons again, one parameter of variable separation had zero value, while the other has to be a square of integer. The last is necessary since the solution must be single-sign function.

2.4. Photon in spherical picture

The analysis of single photon eigen-problem in spherical coordinates, as it well be shown later, requires introduction of two variable separation parameters. We start from the equation (14), where the Laplace’s operator will be written down in spherical coordinates (r,θ,φ), whererÎ[0,], θÎ[0,π]andφÎ[0,2π]. In these coordinates it is of the form:

Δ=1r2r(r2r)+1r2sinθθ(sinθθ)+1r2sin2θ2ϕ2

It means that (14), withΨ(x,y,z)  Ω(r,θ,φ), becomes:

1r2r(r2Ωr)+1r2sinθθ(sinθΩθ)+1r2sin2θ2Ωϕ2+k2Ω=0

In the first stage of variables separation, we shall take that:

Ω(r,θ,ϕ)=R(r)Q(θ,ϕ)

after which substitution into (37), it goes over to:

1R[r(r2Rr)+k2r2R]=1Q[1sinθθ(sinθQθ)+1sin2θ2Qϕ2]=Λ2

where Λ2 is the variable separation parameter. Double equality in (39) gives two equations:

d2Rdr2+2rdRdr+(k2Λ2r2)R=01sinθθ(sinθQθ)+1sin2θ2Qϕ2+Λ2Q=0

It should be noted that equation (40) represents eigen-problem of L^22 operator. It means that Λ2 determines orbital quantum numbers. In this equation we shall take that:

Q(θ,ϕ)=T(θ)S(ϕ)

after this substitution, which goes over to:

1B[sinθθ(sinθTθ)+TΛ2sin2θ]=1S2Sϕ2=m2

In this double equality the variable separation parameter m must be integer since the solution S(φ)must be single-signed function. The same requirement appeared in the previous section where single photon vas analyzed in cylindrical coordinates. The equation (42) gives two second order differential equations:

d2Sdϕ2+m2S=0d2Tdθ2+cotθdTdθ+(Λ2m2sin2θ)T=0

When the solution (43) is:

Sm(ϕ)=s0eimϕ;   m= 0,±1,±2, ,

the equation (43) is associated Legendre’s equation (Gottifried, 2003; Davidov, 1963). The complete procedure of solving of this equation cannot be found in literature. Instead of the general solving procedure of the equation (43) is solved for m = 0. Its solutions are Legendre’s polynomials (Korn & Korn, 1961; Janke, et al., 1960). Differentiating these polynomials m-th times it was possible to conclude that solution (43) can be expressed through m-th Legendre’s polynomials derivations.

In order to avoid such an artificial solving of the equation (43), we shall expose, briefly, its solving by means of potential series. This solving procedure may be comprehended as methodological contribution of this part of the paper. At the first stage, we translate the equation (43) into algebraic form by means of substitution of argumentcosθ=ζ:

(1ζ2)d2Bdζ22ζdBdζ+(ζ2m21ζ2)B=0;   ζ[1,+1]

The term m21ζ2 in (45) does not allow the solving of this equation by means of potential series. Consequently this term must be eliminated from the equation. The strategy of elimination is the following: by the substitution ofT=UּV, where U is an arbitrary function, the equation (45) reduces to the same form but with arbitrary constant in linear function with is multiplied by first derivative of V function. This arbitrary coefficient will be taken in the form 2(2s+1)where s is arbitrary. Arbitrary constant s will be determined in a way which eliminates the term m21ζ2 from equation for V function. By the described strategy the (45) becomes:

(1ζ2)d2Vdζ22(2s+1)ζdVdζ+(Λ22s4s2)V=0

This equation is suitable for solving by means of potential series. Arbitrary function U is given byU=(1ζ2)S, wheres= ±m/2. This means that function T has the form:

T=(1ζ2)SV

Since ζ[1,+1]the exponent s must not be negative since T would then have singularities in ζ= ±1 not allowing the normalization. Fortunate circumstance is that the exponent of the function ζ2has ± sign. This means that for m> 0can be takens= +m/2=|m|/2. Ifm< 0, we takes= m/=|m|/2. Based on this reasoning the equation (46) becomes:

(1ζ2)d2Vdζ22(|m|+1)ζdVdζ+[Λ2|m|(|m|+1)]V=0

The solution of this equation will looked for in the form of potential series:

V=n=0vnζn
,

after which substitution in (48) we obtain recurrent formula for series coefficients:

vn+2=Λ2(n+|m|)(n+|m|+1)(n+1)(n+1)vn;   n= 0,1,2, 

Here arises a dilemma whether to leave the whole series or to cut it and retain a polynomial instead of series. In order to solve this dilemma, we shall analyze a special case of formula (50) whenm= Λ = 0. In this case formula (50) becomes:

vn+2=nn+2vn;   n= 1,3,5, ,

wherefrom it turns out thatvn=v12n+1, and this means that series solution (49) becomes:

V=ζ+ζ33+ζ55dζ1ζ2=12lnζ1ζ+1

From this formula is obvious that the series has singularities for ζ = ±1. This resolves above mentioned dilemma: the series must be cut and the polynomial obtained in this way must be taken as solution. From the formula (50) it is clear that the series will be cut if:

Λ2=l(l+1) ;    l= 0,1,2, ...

Now is clear that the series is cut whenl= |m|+n, wherefrom it follows that the degree of polynomial is l=|m|nand that quantum number m per module must not exceed l:|m|l. The obtained polynomials of l|m|degree are called the associated Legendre’s polynomials (Korn & Korn, 1961; Janke, et al., 1960) and by means of them T function is expressed as:

Tl,|m|(ζ)=(1ζ2)|m|/2Ll|m|(ζ)

The product of functions (44) and (54) normalized per angles gives spherical harmonics (Gottifried, 2003; Davidov, 1963):

Yl,|m|=(1)l+|m|2ll!eimϕ2π2l+12(l|m|)!(l+|m|)!sin|m|θdl+|m|d(cosθ)l+|m|(sinθ)2l

Finally we shall solve the equation (40) in which Λ2 is substituted byl(l+1). It means that it goes over to:

d2Rdr2+2rdRdr+(k2l(l+1)r2)R=0;    rÎ[0,)

Substituting the function R with r1/2J(r)and substituting the argument r by ρ/k, we translate last equation into Bessel’s equation (Korn & Korn, 1961; Janke, et al., 1960) with l+1/2index having two linearly independent particular solution Jl+1/2(kr)andJl1/2(kr). Consequently the solutions of (40) are:

R1=w1(kr)1/2Jl+1/2(kr)R2=w2(kr)1/2Jl1/2(kr)

It is necessary for further to quote behaving of Bessel’s functions with half integer indices. It can be easily shown that:

J1/2(kr)=sinkrkrJ1/2(kr)=coskrkr

As well as using recurrent formula for Bessel’s functions (Janke, et al., 1960):

ddxJp=12Jp112Jp+1

and taking that p= +1/2 andp= 1/2, we obtain respectively:

J3/2(x)=x3/2sinxx1/2cosxJ3/2(x)=x3/2cosxx1/2sinx

Due to the factor x3/2functions J±3/2have strong singularities in zero so that they cannot be normalized in the interval0 r< . Due to the same reasons neitherJ±5/2,J±7/2, etc. cannot be normalized. It can be concluded that only solutions for A which are proportional to J±1/2have chances to be normalized. Those solutions are:

R1=WrsinkrkrR2=Wrcoskrkr

The very important conclusion of this analysis is: only free photons with zero orbital momentum have chances to be normalized exist. For l> 0photon eigen-vector cannot be normalized.

We shall now examine whether the components of photon eigen-vector proportional to R1 and R2 can be normalized. Those components are:

Ω1=WrY00(θ,ϕ)sinkrkrΩ2=WrY00(θ,ϕ)coskrkr

The normalization condition is the following:

W202πdϕ0πdθsinθ|Y0,0(θ,ϕ)|20drr2[J1/2(kr)J1/2(kr)+J1/2(kr)J1/2(kr)]==W2kk0drcos(kk)r=1k2δ(kk).

It is not difficult to show that:0drcos(kk)r=0, so that the condition (63) becomes meaningless. This means that even for l = 0 photon eigen-vector cannot be normalized.

The last possibility for normalization free photons eigen-vector is so called box quantization method. In this method the sphere is substituted by cube enveloping it and cyclic boundary conditions are required:eikr=eik(r+L), wherefrom it follows that wave vector is quantized:

k=2πLn;  n= 1,2,3, ...

Sincek=2π/λ, it gives that:

L = n λ;    n= 1,2,3, ... 

It is seen that the first harmonic of electromagnetic waves has the wave length equal to the cube edge.

Photon energy is determined in the standard way:

E=ck=h2πc2πLn=hν0n;ν0=cL

This expression for energy is in full accordance with Plank’s hypothesis (Planck, 1901).

In the normalization condition (63) the following translations has to be used:

δ(kk)δnnn=m1;0dr0Ldr=L;cos(kk)rkkcos2πL(nm)r2πLnmn=mL2πn.

Combining this and (63) we obtain that the normalization constant isW=12πn. On the basis of this the normalized photon eigen-vector is given by:

(Ω1Ω2)=12πn(Y00(θ,ϕ)r1/2J1/2(2πLnr)Y00(θ,ϕ)r1/2J1/2(2πLnr))=n21(2πn)3/2(sin2πLnr2πLnrcos2πLnr2πLnr);n=1,2,3,...

As it can be seen the analysis of single photon eigen-problem in spherical coordinates has shown it orbital momentum of photon is equal to zero and that the spin S= 1/2is its unique rotational characteristics (Yao, et al., 2005). Physically it is fully understandable that orbital momentum of a free photon is equal to zero since it moves along the straight line. On straight line photon radius-vector r and its momentum p=mfr˙ are parallel and this gives thatl=r×p=0.

3. Free photon as a system with complex internal dynamics

In the second part of this work the free photon Hamiltonian will be linearized using Pauli’s matrices. Based on the correspondence of Pauli matrices kinematics and the kinematics of spin operators, the unitary transformation of this form (equivalent Hamiltonian), will be analyzed by the method of Green’s functions. Since photon is relativistic quantum object the exact determining of its characteristics is impossible. It is the reason for series of experimental works in which photon orbital momentum, which is not integral of motion, will be theoretically investigated.

3.1. Introduction

The fact that photon Hamiltonian is not a linear operator has a set of consequences that have not been studied sufficiently so far. The main reason is that photon characteristics have been mainly examined by means of Klein-Gordon’s equation (Gottifried, 2003; Davidov, 1963; Messiah, 1970; Davydov, 1976), which represents eigen-problem of photon Hamiltonian square. In this part of our paper we shall linearized photon Hamiltonian and examine some of photon characteristics witch follow from linearized Hamiltonian. The analogy with Dirac’s approach to the problem of electrons will be used (Gottifried, 2003; Dirac, 1958). Firstly will be examined integrals of motion of free photon and will be shown that the photon integral of motion is not orbital momentum. It will be shown that the integral of motion is total momentum being the sun of orbital one and spin momentum.

The evaluated Green’s function has given possibility for interpretation of photon reflection as a transformation of photon to anti-photon with energy change equal to double energy of photon and for spin change equal to Dirac’s constant (Dirac, 1958; Messiah, 1970). Since photon is relativistic quantum object the exact determining of its characteristics is impossible.

The discussion of obtained results and their comparison to the experimental data will be done at the last part.

3.2. Linearized photon Hamiltonian

We shall not deal with this eigen-problem in further of this paper. Instead of this we shall look for integrals of motion, i.e. those operators that commute with free-photon Hamiltonian (7). It is obvious that any function depending on momentum components represents an integral of motion, but this fact is not of physical interest.

It is of particular importance whether orbital momentum:

L^=(L^00L^)L^=r×p^

is photon integral of motion, since in non-relativistic quantum mechanics operator L^ is integral of motion of electron (Messiah, 1970; Davydov, 1976). The components of orbital momentum are given as follows:

L^x=yp^zzp^y;L^y=zp^xxp^z;L^z=xp^yyp^x

If we use commutation relations for components of radius vector and the components of momentum:[xi,pj]=iħδij, i,jÎ(x,y,z)and look for commutators of (69) with Hamiltonian (7), we come to the following relations:

[L^x,H^]=±ic(p^zβ^p^yχ^);[L^y,H^]=±ic(p^xχ^p^zα^);[L^z,H^]=±ic(p^yα^p^xβ^)

based on which it follows that orbital momentum is not a free photon integral of motion.

It should be pointed out that signs in (70) are obtained on the basis of obvious symmetry properties H^(r)=H^(r) andL(r)=L(r), where r is radius-vector.

In order to find some rotation characteristics that commute with a free photon Hamiltonian, we shall first show that commutation relations for matrices α^,β^ andχ^, given in section 2.1 by expression (6), are:

[α^,β^]=2iχ^;[χ^,α^]=2iβ^;[β^,χ^]=2iα^

while commutation relations for spin components (Dirac, 1958; Messiah, 1970):

[S^x,S^y]=iS^z;[S^z,S^x]=iS^y;[S^y,S^z]=iS^x

are very similar to (71). Comparing (71) to (72) we can establish the correspondence between spin operator components and matrices α^,β^ andχ^:

S^x=2α^;S^y=2β^;S^z=2χ^

Commutators of matrices α^,β^ and χ^ with Hamiltonian are given by:

[α^,H^]=2ic(p^zβ^p^yχ^);[β^,H^]=2ic(p^xχ^p^zα^);[χ^,H^]=2ic(p^yα^p^xβ^)

We shall now look for a commutator of component J^x of total momentum, with photon Hamiltonian i.e. withH^(r). Using upper signs in formulas (70) and (74) we obtain:

[J^x,H^(r)]=[(L^x+S^x),H^(r)]=[(L^x+2α^),H^(r)]=[L^x,H^(r)]+2[α^,H^(r)]==ic(p^zβ^p^yχ^)+2(2ic)(p^zβ^p^yχ^)=0.

For lower signs in formulas (70) and (74)[1] - , we have:

[J^x,H^(r)]=[(L^x+S^x),H^(r)]=[(L^x+2α^),H^(r)]=[L^x,H^(r)]+2[α^,H^(r)]==ic(p^zβ^p^yχ^)+2(2ic)(p^zβ^p^yχ^)=0.

It can be proved, in the same manner, that both y and z components of total momentum J^=L^+S^ commute with photon Hamiltonian (the expression (7) with sign +, i.e. H^(r)will be called photon Hamiltonian). The expression (7) with sign –, i.e. H^(r)will be called anti-photon Hamiltonian. In the same manner can be proved that y and z components of total momentum J^=L^S^ commute with anti-photon Hamiltonian.

The final conclusion is the following: total momentum L^+S^ is integral of motion for photon, while total momentum L^S^ is integral of motion for anti-photon. Up to now we have the proof that total momentum L^+S^ is free photon integral of motion, but we do not know what magnitude of photon spin is.

If spin isS= 1/2, then the following relation is valid:

(S^xiS^y)2=0

For spin S> 1/2the exponent in (77) is higher than 2, i.e. it must be 3,4,... etc. In (77) we shall go over to matrices α^ and β^ through relation (73). So we obtain:

(S^xiS^y)2=24(α^iβ^)2=24[α^β^2+2i(α^β^+β^α^)]=0

(in the last stage of the upper proof the relations (72) from section 2.1 were used). Consequently, we can conclude that free photon integral of motion represents a total momentum which is the sum of orbital momentum and spin momentum which corresponds to the case whenS= 1/2.

In the same way can be concluded that anti-photon integral of motion is the sum of orbital momentum and spin momentum which corresponds to spinS= 1/2. It should be noticed that negative spin is rather senseless concept so that ±Sreally means±Sz, whereSz=ħ/2.

In nonrelativistic quantum mechanics (Gottifried, 2003; Davidov, 1963) the conclusion that J^ is integral of motion would mean that energy and total momentum of the quantum object can be measured simultaneously and exactly. Since photon is relativistic object (Berestetskii, et al., 1982) the maximal exactness of measuring of photon momentum is given byΔpΔt~ħ/c, and consequently energy and total momentum can be determined with an error of the orderΔEΔt~ħ. The orbital momentumL^, as it follows from (70), is not integral of motion, but for relativistic object this fact is not essential, since for relativistic objects absolutely exact determining of physical characteristics is in possible.

Considering the correspondence (73), photon Hamiltonian which is given by H^=c(α^p^x+β^p^y+χ^p^z) can be expressed by means of spin operators in the following form:

H^=2c(S^xp^x+S^yp^y+S^zp^z)
.

The obtained form of photon Hamiltonian, which includes operators of translation moment P^ and spin S^ suggest that a free photon has wealthy internal dynamics that consists of mutual action of its translation and spin characteristics. This “internal life” will be examined further in the paper.

3.3. Unitary transformation of photon Hamiltonian

Photon Hamiltonian (78) represents bilinear form in which photon momentum operators are multiplied by spin operators. Since momentum characterizes translation photon motion, and spin characterizes rotation, it is obvious that the internal dynamic structure of a photon is determined by both its translation and rotation characteristics, and that their interaction – considering the form of Hamiltonian (78), leads to hybridization of excitations (Agranovich, 2009). Spin operators in (78) correspond to spin S = 1/2 and its can then is represented by Pauli’s operators in the following manner (Tyablikov, 1967):

S^xiS^y=P+;S^x+iS^y=P;12S^z=P+P

Pauli’s operators fulfill commutation relations:

[Pi,Pj+]=[12Pi+Pj]δij;[Pi,Pj]=[Pi+,Pj+]=0;Pi2=Pi+2=0;(P+P)e.v={0;1.

After substitution of (79) in (78) (in this formula sign + is retained), we obtain the following form of Hamiltonian:

H^=cp^z+c[(p^xip^y)P+(p^x+ip^y)P+2p^Pz+P]

This conversion to Pauli operators has been made because the physical picture of processes is clearer through operator’s creation and annihilation of excitation.

Operators of moments are linear in operators of creation and annihilation of photon:P~A+A+, so it can easily be concluded that mean value of photon Hamiltonian over states 1n!(A+)nP+|0 is equal to zero. This means that the method of theory of perturbation would be inappropriate for Hamiltonian (81) analysis. This is why we would make unitary transformation of photon Hamiltonian with the goal to bring it into the form more suitable for calculation than the form (81), i.e. we shall go to equivalent Hamiltonian given by:

H^eq=eW^H^eW^

where:

W^=ikr+ρ(PP+)+iλP+P

and ρ and λ are real parameters.

Equivalent Hamiltonian is found using Weil’s identity (Tošić, 1978):

eW^D^eW^=n=0(1)nn![W^,[W^,...[W^,...[W^,D^]]...]ntimes

It has included the terms of the following type:P+P+, PP+andP+P. Undetermined parameter λ has been determined so that the member proportional to PP+ disappear from equivalent Hamiltonian. The final result of the described procedure is as follows:

H^eq=E0+H^+H^S

where H^ is starting Hamiltonian, and

E0=c(kxsin2ρ+kzcos2ρ)H^S=g(P+P+)+2aP+P

where are:

g=cky2+kx2cos22ρ+kz2sin22ρkxkzsin4ρ;a=c(kxsin2ρ+kzcos2ρ)

We shall further analyze free photon behavior using method of Green’s functions (Tyablikov, 1967; Tošić, 1978; Rickayzen, 1980; Mahan, 1990; Šetrajčić, et al., 2008). Hamiltonian E0 is irrelevant in Green function techniques. Starting HamiltonianH^, as we have already concluded earlier, has zero mean value over states1n!(A+)nP+|0. This is why we shall exclude it from calculations. The analysis of photon internal processes will be made with HamiltonianH^S.

3.4. Green’s function of free photons

Since Pauli operators figure in H^S Hamiltonian without various configuration indices, the analysis of spin processes in a free photon will be made by means of anticommutator Pauli Green function:

Γ(t)=P(t)|P+(0)=Θ(t)P(t)P+(0)+P+(0)P(t)

where Θ(t)is Heaviside’s step function (Tyablikov, 1967; Tošić, 1978; Rickayzen, 1980). Correlator of anticommutator Pauli’s Green’s function contains mean value of anticommutator of Pauli’s operator of the same configuration index, and according to (80) it is equal to one. This fact simplifies evaluation of mean values by means of spectral intensity of Green function.

Differentiating Γ(t) per time and using equation of motion for operator P, we come to the following equation:

idΓ(t)dt=iδ(t)+2aΓ(t)+2gΔ(t)

The Green’s function of type: const|P+are equal to zero. The function Δtis given by:

Δ(t)=P+(t)P(t)|P+(0)

Using the same procedure, for defining function Δ(t)we obtain the following equation:

idΔ(t)dt=gΓ(t)gF(t)

where:

F(t)=P+(t)|P+(0)

with defining following equation:

idF(t)dt=2gΔ(t)2aF(t)

In differential equations (88), (90) and (92), Furrier’s transformations time-frequency are then made:

f(t)=+dteiωtf(ω);f(Γ,Δ,F);δ(t)=12π+dteiωt

so we obtain the system of algebraic equations:

(E2a)Γ(ω)2gΔ(ω)=i2π;Δ(ω)=g[Γ(ω)F(ω)];EF(ω)=2[gΔ(ω)+aF(ω)].

Solving this system of equations, we find that:

Γ(ω)=i2πE2+2aE2g2(E2E02)2

where:

E0=2a2+g2=2ck

In order to determine spectral intensity of function Γ, it is necessary to break down the right side of the formula (87) into common fractions. So, we obtain the following:

Γ(ω)=i2π[2g2E021ω+(12g2E02+aE0)1ωω0+(12g2E02aE0)1ω+ω0],

where: ω = E/ħandω0= E0/ħ. Since function Γ is anticommutator function, its spectral intensity is given by the formula (Tyablikov, 1967; Tošić, 1978; Rickayzen, 1980):

ΙΓ(ω)=Γ(ω+iδ)+Γ(ωiδ)eωkBT+1;δ+0,

and using Dirac’s formula:

1ωωk±iδ=P.V.{1ωωk}iπδ(ωωk)

where P.V. denotes principal value of integral, we find the explicit expression for spectral intensity:

ΙΓ(ω)=2g2E02δ(ω)eωkBT+1+(12g2E02+aE0)δ(ωω0)eωkBT+1+(12g2E02aE0)δ(ω+ω0)eωkBT+1

Now we can defined the expression for correlation function of a free photon as:

P+(0)P(t)+dωeiωtΙΓ(ω)=2g2E0212+(12g2E02+aE0)eiω0teω0kBT+1+(12g2E02aE0)eiω0teω0kBT+1

Next, we can calculate expression for concentration of spin excitations of a free photon. It is obtained from (101), if we take in it that t = 0, i.e.

P+P=12aE0tanhckkBT

Combining formulae for a over formula (86), and E0 from (96), and converting to sphere coordinate system, we find that:

xxxx

aE0=12(sin2ρsinθcosϕ+cos2ρcosθ)
xxxx

In accordance with this and formula (102), we get the following expression for ordering parameter of spin subsystem in a free photon:

σ=12P+P=(sin2ρsinθcosϕ+cos2ρcosθ)tanhckkBT

The set of results of this section requires some explanations. The most interesting results is that energy for spin translation from ħ/2to ħ/2is2ħck. This can be explained on the basis of measuring process in which incident photon bean is reflected by measuring devices. The momentum of incident phonon is ħkwhile the momentum reflected phonon is –ħk. So we obtain the change of photon momentumΔp= ħk(ħk) = 2ħk, and consequently the energy changeΔE= 2ħck. The energy ħckcorresponds to anti-photon, so that we can consider the described process as a transformation of photon to anti-photon. In this process the spin change takes place, also (the Greens function Γ(t)=P(t)|P+(0) was calculated). Since photon and anti-photon spins have opposite signs the change the spin isΔS=ħ/ (ħ/2) = =ħ. The value of ΔSis equal the value ħ and this is eigen-value of spin s = 1. This is the reason for behaving of photon as particle with spin s = 1.

The polar and azimuthally dependences of ordering parameter comes from the fact that incident bean must not be always orthogonal to the plane of measuring device.

4. Conclusions

  1. The analysis of single photon behaving in coordinate systems of various geometries has shown the following:

  2. The last result shows that linearization of photon Hamiltonian gives more complete picture of single photon than Kline-Gordon’s approach.

  3. Concluding the exposed analysis we shall try to connect the results obtained in series of experimental investigation of photon orbital momentum (Beth, 1936; Leach, et al., 2002; Allen, et al., 1992; Allen, 1966; He, et al., 1995; Friese, et al., 1996; Markoski, et al., 2008; van Enk & Nienhuis, 2007; Santamato, et al., 1988; O’Neil, et al., 2002; Volke-Sepulveda, et al., 2002). We shall not describe all quoted experiments. Instead of it we shall describe the essential idea: the orbital momentum of photon was determines from the changes of torque of rotating particles. These changes where lied in some interval, so that the values of orbital momentum have had determined dispersion. As it vas said at the end of first section, such result is expectable for relativistic objects, in this case for photons. The azimuthally dependence of measured results is also predicted by the theory exposed in last Section.

Ending this analysis it should by noticed out that on the bases of given analysis the photon reflection can be considered as a transformation of photons to anti-photons.

Notes

[1] - this corresponds to negative photon energies, i.e. corresponds to

Acknowledgements

Investigations whose results are presented in this paper were partially supported by the Serbian Ministry of Sciences (Grant No 141044A) and by the Ministry of Sciences of Republic of Srpska.

References