1. Introduction
One of the most popular explanations for the smallness of the neutrino mass is the "seesaw" mechanism [
1,
2,
3]. With this mechanism, the neutrino must be a Majorana spinor (fermion). A Majorana spinor is usually understood as a particle with spin
, which coincides with the charge conjugate when using Majorana and Kramers conjugation [
4,
5]. However, there are several nonequivalent definitions of the charge conjugation operator
C in the literature. Each such definition of the operator
C must correspond to its own type of Majorana-like spinors, which are also called Majorana, since most authors ignore this non-equivalence. Although the properties of such conjugation operators and spinors self-adjoint with respect to them are significantly different.
We will call Majorana spinors solutions of the Dirac equation self-adjoint with respect to charge conjugation according to Majorana and Kramers. The remaining types of charge-self-adjoint spinors will be called Majorana-like.
The idea of charge conjugation in the framework of the theory of "holes" in the Dirac Sea for solutions of the Dirac equation
was proposed by Pauli [
6], although he did not call it charge conjugation. In (
1)
are Dirac matrices,
is the electric charge of the particle;
is the vector potential of the electromagnetic field. We will use the metric
, with
.
The idea of a Majorana spinor as a truly neutral particle, coinciding with its antiparticle, was proposed by Majorana [
4], who used a representation of the Dirac gamma matrices in which they are purely imaginary. In this case, charge conjugation is equivalent to complex conjugation. Kramers [
5] introduced the term "charge conjugation" for solutions of the Dirac equation, generalizing a version of the anti-unitary (containing complex conjugation) Majorana charge conjugation to other representations of the Dirac gamma matrices. We will call the corresponding anti-unitary operator
the Majorana-Kramers charge conjugation operator, where
is an arbitrary phase factor, C is the so-called charged conjugation matrix, * is the complex conjugation symbol, and
is the complex conjugation operator.
The wave function of the spinor which is charge conjugate to
is
We can rewrite formula (
3) as
where
is Dirac conjugate spinor, and
T denotes a transposition.
Taking into account formula (
4), we can rewrite formula (
2) as
In this case , and .
The most general definition of a Majorana (Majorana-like) spinor
is as self-adjoint spinor (up to a phase factor
) with respect to the charge conjugation operator
C
If the operator C is unitary, then we can redefine it so that the conditions and are satisfied.
Two Majorana or Majorana-like spinors
and
can be constructed from the Dirac spinor
under the condition
as follows:
The Dirac spinor
can be represented as a superposition of two independent solutions
and
If the charge conjugation operator
is used in (
7), then
and
correspond to Majorana spinors. If
C is another charge conjugation operator,
and
correspond to Majorana-like spinors.
Kramers [
5] introduced a unitary charge conjugation operator in the framework of quantum field theory (QFT), which in the spinor field operators exchanges the particle creation (annihilation) operators and the antiparticle creation (annihilation) operators. We will denote it as
.
Schwinger [
7] introduced in the framework of QFT the anti-unitary charge conjugation operator
, the formula for its action on
looks the same as formula (
4). However, unlike
,
T in it denotes matrix transposition. Here
, where
is a transposition operator of spinor creation and annihilation operators, which does not affect the matrix. As a result,
transforms QFT operators of the spinor field correctly, unlike the operator
. In the literature,
and
are usually mistakenly not distinguished, and for justification of the alleged unitarity of these anti-unitary operators they are identified with the unitary operator
[
8,
9,
10]. In this paper, we eliminate this confusion.
Nieves [
11] and Kayser and Goldhaber [
12] suggested that under the conditions of
C and
P symmetries violation, the Majorana neutrino is an eigenstate of the operator
.
Kayser [
13] and Nieves [
11] noted that under
C,
P, and
symmetries violations, a neutrino can be a true neutral (Majorana) spinor only if the
operator transforms a neutrino with a spin projection
s into an identical neutrino with a spin projection
. After which Kayser and Goldhaber [
12] and then Mohapatra and Pal [
14] suggested that the neutrino "is an eigenstate of the
operator", meaning by it a
conjugation, with an additional operator
S that changes the sign of the spin projection at rest.
Thus, six nonequivalent concepts of charge conjugation are described in the literature, and they correspond to six possible types of Majorana and Majorana-like spinors. In the literature, different versions of charge conjugation are often confused. In particular, many authors consider anti-unitary operators to be unitary because the results of their action on the field operator for non-chiral fields coincide, or confuse different types of conjugation operators because their formulas, due to insufficiently correct notations, at first glance coincide. In this paper, we analyze the properties of known versions of charge conjugation operators and the possibility that the neutrino is a Majorana-like fermion of the corresponding type.
2. Charge Conjugation According to Majorana-Kramers and According to Pauli
Majorana [
4] proposed to use a representation of gamma matrices in which they are imaginary. Such representations are now called Majorana representations. In the Majorana representation, if a solution
of the Dirac equation (
1) with
is real at one time, it will remain real at all times. The same applies to the imaginary solution
. Therefore, the solution
of the Dirac equation can always be represented as a superposition of two independent solutions
and
, where
and
are real. Moreover, since in the Majorana representation all Lorentz transformation operators (rotations and boosts) are real, the Lorentz transformations preserve the realness (imaginaryness) of these solutions.
The charge conjugation operator
in the Majorana representation is the complex conjugation operator [
4]
The solutions
and
are self-adjoint with respect to Majorana charge conjugation
Majorana believed that these solutions describe a truly neutral particle with spin , coinciding with its antiparticle, for which there is no need to use the theory of "holes" in the Dirac Sea. Later, such solutions were called Majorana spinors.
Kramers [
5] generalized the concept of Majorana charge conjugation to other representations of gamma matrices. Therefore, we will call this type of conjugation Majorana-Kramers charge conjugation. In the Dirac representation and the Weyl (chiral) representation, the following formulas for Majorana-Kramers charge conjugation are valid
In (
13)-(
15) we included an additional phase factor
i, ensuring that the factor
is real. At the same time, in (
2)-(
5), (
13) and (
15) we factored out the phase factor
separately, without including it in the formula for the charge conjugation matrix, so that formula (
14) would correspond to the most widely used (up to a sign) version of the Majorana-Kramers charge conjugation formula in the literature.
Despite the fact that the Dirac spinor is decomposed into the sum (
8) of two Majorana spinors, which are solutions of the Dirac equation, such solutions cannot correspond to physical particles. We have already noted previously the insoluble problems in such attempts [
15,
16]. We will show that in quantum field theory
is not a charge conjugation operator at all.
The Dirac spinor field operator is given by the expression [
5,
8,
9,
10]
where
and
are four basic 4-spinor columns,
is annihilation operator of the particle with momentum
p and spin projection at rest
for
and
for
;
is corresponding antiparticle creation operator.
In the Dirac representation for the case
it is convenient to choose
The values of
and
for a non-zero spatial momentum
p are obtained from
and
by the active Lorentz transformation
, where
are the angles corresponding to the boost that yields momentum
p [
17]
For
and
the relations
are satisfied [
9,
10,
18].
The signs and numbering of
and
in (
17) are chosen so that the formulas (
19) are fulfilled.
The field operator
of the antiparticle is given up to a phase factor by the expression in which in the field operator (
16) the annihilation operators
are replaced by
, and the creation operators
by
[
5,
8,
9,
10]:
The action of
on the operators
and
is reduced to their complex conjugation. But due to the arbitrariness in the choice of the complex phase, the creation and annihilation operators can always be specified as real [
10]. Therefore, we can assume that
and
, due to which we can write
The result (
21) of such conjugation is obviously not given by the field operator of the antiparticle (
20). In the field operator (
21) there is the operator
of creation of the antiparticle in the positive-frequency term instead of the operator
of annihilation of the antiparticle in (
20), and the operator
of annihilation of the particle in the negative-frequency term instead of the operator
of creation of the particle in (
20).
Consequently, the condition that the charge conjugation operator should exchange a particle to an antiparticle is not satisfied for .
Moreover, it does not satisfy the unitarity condition required for the charge conjugation operator [
8,
9,
18], since
(
13) is obviously anti-unitary.
In addition, the charge conjugation operator must preserve the spin projection [
9,
18], whereas
reverses it.
Another reason why cannot play the role of the charge conjugation operator C of the theorem is that it maps the left-chiral field of the particle to the right-chiral field of the antiparticle . This issue is discussed in more detail in the next section.
Thus, despite the fact that the Dirac spinor is a superposition of two Majorana spinors, the Majorana-Kramers conjugation operator does not satisfy the requirements for a charge conjugation operator. Earlier we found a number of other arguments proving that Majorana spinors cannot be physical particles [
15,
16].
The Pauli charge conjugation formulas coincide with the formulas (
2)-(
5) and (
9)-(
15) of the Majorana-Kramers charge conjugation, but are considered in the framework of the non-QFT theory of "holes" in the Dirac Sea. Therefore, the result of charge conjugation obtained using these formulas is intermediate and gives the wave function of a particle in the Dirac Sea with negative mass and energy. A "hole" in this sea has opposite values of mass, energy, momentum, spin projection, and electric charge and is treated as an antiparticle [
17,
19,
20]. Pauli charge conjugation solves some of the problems inherent in Majorana-Kramers conjugation, but is a non-QFT analogue of Schwinger conjugation. Therefore, at present it is of historical interest only, and further we will consider Schwinger charge conjugation.
3. Charge Conjugation According to Schwinger
The formula for the Schwinger charge conjugation operator [
7]
outwardly coincides with (
5), which often leads to the fact that in the literature the Schwinger charge conjugation and the Majorana-Kramers charge conjugation are not distinguished. But in the Schwinger charge conjugation (
22) the transpose operator
is a matrix operator, and in (
5) it acts on both the matrices and the creation and annihilation operators.
Below we will consider gamma matrices in the Dirac and Weyl representations, since many formulas are simpler and more intuitive in them. In these representations, the formula for
looks like
where
is the transposition operator acting on the creation and annihilation operators, but does not affect the matrices.
Under Schwinger charge conjugation, the field operator (
16) of a particle is transformed into the expression
up to the phase factor
coinciding with the operator (
20) of the antiparticle field
.
The result (
24) of such a conjugation corresponds to the fact that in the formula (
16) for the non-chiral field operator the particle annihilation operators
are replaced by the antiparticle annihilation operators
, and the particle creation operators
are replaced by the antiparticle creation operators
[
5,
8,
9,
10]. As we will see below, this is not the case for chiral operators. This is why
cannot be identified with the operator
, which performs such a replacement.
From (
16) and (
24) on the basis of (
7) under the condition
one can construct Majorana-like spinors
where
.
In this case, the Dirac spinor turns out to be a composition of two Majorana-like ones, and in the case of one independent Majorana-like spinor, one should abandon the extra degree of freedom and set .
Let us consider the standard scheme of using Schwinger charge conjugation to construct Majorana-like neutrinos within the framework of the "seesaw" mechanism [
2,
3,
14,
18,
21,
22]. The Majorana-like spinor
is constructed from the left-chiral state
using the operator
Since
in (
23) contains a factor
that anticommutes with
, the term
is right-chiral, and, as previously believed, it is possible to form the field operator of a massive Majorana-like spinor.
There are three problems in the approach described above that have not been mentioned before in the literature, two of which are related to the theorem and the third to the properties of the vacuum and the creation and annihilation operators.
The first problem is the anti-unitary nature of the operator .
operator must be anti-unitary [
10], as proved by Jost [
23,
24] in the framework of axiomatic algebraic quantum field theory.
The unitarity of the parity (space inversion) operator
P is well known [
8,
9,
10,
17,
19,
20,
21,
25,
26].
Wigner [
27] proved that the time inversion operator
T must be anti-unitary in order for the inversion to preserve the positive energy (positive frequency) of the solutions of the Schrodinger equation. Wigner’s arguments are also applicable to QFT, with the correction that in the field operator under time inversion, positive-frequency solutions must preserve positive frequency, and negative-frequency solutions must preserve negative frequency. Based on these and other considerations, Schwinger [
28,
29] proved the anti-unitarity of the time inversion operator in the framework of QFT.
Therefore, for the operator
to be anti-unitary, the charge conjugation operator
C must be unitary. However,
(
23) is obviously anti-unitary operator.
The anti-unitarity of the Majorana-Kramers charge conjugation operator, which differs from
only by an unitary factor
, was noted by Messiah [
19], Schweber [
20] and other authors. Itzikson and Zuber [
25] also pointed out the anti-linearity (anti-unitarity) of this operator, but they interpreted it within the framework of the theory of "holes" in the Dirac Sea [
6], that is, they considered it as an anti-unitary Pauli charge conjugation operator. The Pauli conjugation operator is a non-QFT analogue of the Schwinger conjugation operator, so the problem described applies to it as well.
Thus, the Schwinger charge conjugation operator , due to its anti-unitarity, cannot be the charge conjugation operator C of the theorem and cannot be used to construct a Majorana or Majorana-like neutrino.
The second problem is that changes the chirality of the spinor field operator.
The formula for the spatial inversion (parity) operator
P [
8,
9,
10] is
where
is the phase factor, and
is the operator changing the coordinates
to
and the components of the potential
in (
1) to
.
P changes the chirality of the field, since anticommutes with : .
The formula for the time inversion operator
T [
8,
9,
10] is
where
is the phase factor, and
is the operator changing
to
and
to
.
T preserves the chirality of the field, since commutes with : .
changes the chirality of the field, since and anticommutes with : .
Therefore, preserves the chirality of the field: . Hence, transforms a left-chiral neutrino participating in the electroweak interaction into a left-chiral antineutrino, which should participate in the electroweak interaction. However, this contradicts the fact that the transformation, as is well known both from experiment and from the Standard Model, changes the chirality of the neutrino participating in the electroweak interaction to the opposite: the operator turns the left-chiral neutrino into the right-chiral antineutrino .
Similar arguments apply to
symmetry, which is preserved within one or two generations of fermions [
21].
conjugation of the left-chiral neutrino field operator should lead to obtaining the field operator of a right-chiral antineutrino. But
preserves the chirality, so when it acts on the field operator of a left-chiral neutrino, we obtain the field operator of a left-chiral antineutrino. This violates
symmetry.
Therefore, an attempt to use as a charge conjugation operator C contradicts both experimentally established facts and the Standard Model.
Therefore, since changes the chirality of the spinor, it cannot be the charge conjugation operator C of the theorem.
The third problem is that does not map the particle state vector to the antiparticle state vector as it should, and its action on the vacuum state does not keep the vacuum invariant.
Let us have a state vector
, where
is the vacuum state vector. According to (
23)
takes
to
, so
It is usually believed that the vacuum is invariant under the action of the charge conjugation operator. However, if we assume that
, and given that
, (
29) can be rewritten as
In this case, multiplying both sides of (
30) by
and taking into account that
, we obtain
That is, we obtain a contradiction that the initial state vector
is identically equal to zero. Therefore, the assumption that the vacuum
is invariant under the action of the operator
is incorrect, and
maps the vacuum
to the alternative
, for which the annihilation operator
plays the role of the creation operator. The presence of an alternative vacuum for spinors is not unusual. We have proven the existence of such alternative vacua in the theory of algebraic spinors [
30,
31].
As a result, does not map the state vector of a particle to the state vector of an antiparticle, as it should be, but maps the state vector to a state with an alternative vacuum. In particular, it does not keep the vacuum invariant, but maps it to an alternative vacuum, which cannot correspond to the vacuum of our Universe.
Since the formula (
22) contains the Hermitian conjugation of the creation and annihilation operators, one can assume the possibility that when
acts on the state vector, the product
is transformed into
. But even in this case, we obtain that the result corresponds to an alternative vacuum, in which
acts on the vacuum from right to left and acts as a creation operator.
Therefore, the Schwinger charge conjugation operator acts on the state vectors in an unphysical way and cannot be used to construct a Majorana-like neutrino. The same applies to the Pauli charge conjugation operator.
Thus, there are three irrefutable reasons why the Schwinger and Pauli charge conjugation operators cannot be used to construct Majorana-like neutrinos.
4. Unitary Charge Conjugation Operator
Kramers in [
5] introduced a charge conjugation operator that changes the particle annihilation operators
to the antiparticle annihilation operators
and the antiparticle creation operators
to the particle creation operators
. This operator acts only on the creation and annihilation operators and commutes with the Dirac matrices. We use a generalization of this transformation in an application to the construction of Majorana-like spinors, taking into account possible phase factors, and denote this operator as
.
is unitary. It is often denoted as
, and its action on the spinor
is written as
[
8,
9,
10,
21,
32,
33,
34].
transforms the annihilation operators as
where
and
are phase factors.
By Hermitian conjugation of (
32), we obtain the transformation of the creation operators
Under the transformations (
32)-(
33), the canonical anticommutation relations (CAR) of the creation and annihilation operators are preserved, since
. Therefore, the transformations (
33) are consistent with the CAR.
From (
32)-(
33), (
16) and (
20) it follows
that is, when
acts on the particle field operator, up to phase, the antiparticle field operator is obtained.
In the case of a Majorana-like spinor,
must coincide with
up to some phase factor
When
acts on
, we have in accordance with (
6)
From (
36)-(
37) taking into account (
32), (
33) and (
35) it follows
Therefore, the phase factor
is real, that is,
and the phase factor
in (
36) remains arbitrary.
From (
37) and the commutation of
with all Dirac gamma matrices it follows that for Majorana-like spinors (
36)
where
E is the
identity matrix and
.
The equality of the right-hand sides of (
34) and (
24) when
acts on
as
is often mistakenly used to consider
as a unitary charge conjugation operator [
8,
9,
18,
26]. Although
is anti-unitary, and
is unitary. This equality is a consequence of the coincidence in (
34) and (
24) of the results of the action on
of two different operators,
and
. It arises from the symmetry of the solutions of the Dirac equation. This coincidence guarantees the correctness of the proofs of the invariance under charge conjugation of the Lagrangian and the equations for spinors, available in numerous monographs and textbooks. However, this symmetry is broken for chiral fields. For example,
From the comparison of (
41) and (
42) we see that
does not change the chirality of the field, since it commutes with gamma matrices, while
reverses it due to the presence of the factor
in the operator (
23).
It is the charge conjugation operator
that is the operator
C of the
theorem. However, it cannot be used for the "seesaw" mechanism, in which the right-chiral component of a massive neutrino is obtained by charge conjugation of the left-chiral component using the operator
. If we try to construct a massive Majorana-like spinor
from the left-chiral state
using
, we obtain
For
we get
, and for
from (
43) it follows
, and we again obtain a left-chiral state. That is, it is impossible to obtain a right-chiral state from a left-chiral one using
.
Moreover, within one or two generations of fermions, the neutrino must be
-symmetric (
-self-adjoint). However, the
C-self-adjoint left-chiral spinor (
43) is not
-symmetric, since the
operator changes the chirality to the opposite. As a result, to construct a massive Majorana-like neutrino in the approximation of one or two generations, it is necessary to use
conjugation.
5. CP-Conjugation
The fact that the Majorana-Kramers charge conjugation operator
reverses the chirality of the neutrino was apparently first noticed by Nieves [
11] in 1982. He proposed that the Majorana neutrino is an eigenstate of the
operator, but mistakenly assumed that
is the
operator. Kayser and Goldhaber [
12] also proposed that, under the conditions of
C and
P symmetry violation in weak interactions, the Majorana neutrino is an eigenstate of the
operator.
As already mentioned, in the theory of Majorana neutrinos arising from the "seesaw" mechanism, the right-chiral part of the field operator is obtained using charge conjugation of the left-chiral part [
2,
3,
14,
18,
21,
22]. In the case
,
is unitary operator and provides chirality reversal. Therefore, it does not contradict the
theorem and can be used to construct the right-chiral part of a massive spinor from the left-chiral one. However, the parity operator
P changes a spatial momentum
p to the opposite. Therefore, if we try to construct a massive Majorana spinor
from a left-chiral Majorana state
using the
operator, this state can have a definite momentum
p only if the
operator acts on a field operator with opposite momentum
where
,
is the phase factor of the
transformation, and the factor
compensates it.
Since there is a symmetry of the field operator of any spinor
with respect to the sign of the momentum
p in the momentum expansion, it follows from (
44) that
Thus, the unitary operator
, where
, in the case of one or two generations of leptons can be used to construct the right-chiral components of a massive Majorana-like spinor from the left-chiral components of a Majorana-like spinor. The resulting spinor is self-adjoint both with respect to
-conjugation (
44)-(
45) and with respect to charge conjugation via
. The question of the influence of
symmetry breaking for such spinors in the case of three generations requires further study.
6. CPTS-Conjugation According to Kayser and Goldhaber
In one of the first papers that started developing the "seesaw" mechanism to explain the smallness of the neutrino mass, the formation of Majorana-like neutrinos using
conjugation was used [
1]. However, when trying to construct a Majorana-like spinor
from the left-chiral state
in this way, a problem with a spin projection
s arises, since the resulting state
cannot have a definite spin projection, but is a mixture of left-chiral and right-chiral states with opposite spin projections. Such constructions cannot correspond to real particles with non-zero spin.
Kayser and Goldhaber [
12] proposed a solution to this problem by using, instead of the
operator, the
conjugation, in which, in addition to
, there is an operator
S that changes the sign of the spin projection at rest. In the field operator (
16), the summation is over the spin projections
, so at rest
is the rotation operator by an angle
in the plane
(reflection of the spin projection along the
axis).
This definition of the
S conjugation operator seems simple and clear. However, it does not follow from it how to write it explicitly for the field operator corresponding to an arbitrary momentum. But for the operator
S it is enough to reproduce our reasoning from the previous section for the parity operator
P, with the only difference being that not all three spatial axes and corresponding components of the momentum are reflected, but only the axes with generators
and
. Therefore, when acting on the field operator,
must be supplemented by the inversion of the axes
and
. As a result, the Lorentz-covariant operator
S of the inversion of the spin projection
should have the form
where
is the phase factor, and
is the operator that changes the sign of the coordinates
and
and
and
by analogy with the operator
in (
27).
It is important to note that the operator (
47), although defined as the operator of reflection of two axes, is simultaneously the operator of rotation of space by the angle
in the plane
. It is easy to check that it commutes with
and
, and therefore leaves both the Standard Model Lagrangian and the extended Dirac equation with the corresponding Standard Model "long" derivatives [
21,
35] invariant.
Thus, a formula of the
conjugation in the Dirac and Weyl representations, taking into account (
27), (
28) and (
47), can be written as
where
is the phase factor,
is given by formula (
40), and
is the operator changing the signs of
and
.
The constructed anti-unitary operator
, where
, is the symmetry operator of the Standard Model Lagrangian and the Dirac equation. It can be used to construct right-chiral components of Majorana-like spinors (
36) from left-chiral ones. The resulting spinor is self-adjoint with respect to charge conjugation using
. In the approximation of one or two generations of fermions,
T-symmetry is preserved, and
S-symmetry is always preserved due to the isotropy of space. Because of which, in this case,
-conjugation is equivalent to
-conjugation, and the
-self-conjugated Majorana-like neutrino is also
-self-conjugated.
7. Conclusions
Majorana spinors are solutions of the Dirac equation that are self-adjoint with respect to the Majorana-Kramers charge conjugation
(
2),(
5), (
13). Any Dirac spinor can be described as a superposition of two Majorana spinors. However, Majorana spinors cannot correspond to really existing particles.
The "seesaw" mechanism is usually realized in the literature by constructing right-chiral components of Majorana-like spinors from left-chiral ones by means of the Schwinger charge conjugation operator
(
22)-(
23). However, it is anti-unitary and reverses the chirality of the fermion field components, which contradicts the
theorem. In addition, it does not map the particle state vector to the antiparticle state vector, as it should, and its action on the vacuum does not keep the vacuum invariant. Therefore, it cannot be used to construct Majorana-like spinors.
The Pauli charge conjugation operator is a non-QFT analogue of the Schwinger conjugation operator , and therefore it also cannot be used to construct Majorana-like neutrinos.
The charge conjugation operator
, which provides the transformations (
32)-(
34) and (
37), for the Majorana-like spinors has the form (
40). It is unitary and is the
C operator of the
theorem. However, this operator does not change chirality and therefore is not suitable for constructing right-chiral components of a Majorana-like spinor from left-chiral components.
The unitary operator of the
conjugation, with
, can be used to construct Majorana-like neutrinos (
44)-(
45) in the approximation of one or two fermion generations and to implement the "seesaw" mechanism.
The anti-unitary operator (
48) of the
conjugation, with
, can be used to construct Majorana-like neutrinos and to implement the "seesaw" mechanism.
Thus, the charge conjugation operators according to Majorana-Kramers, Pauli and Schwinger cannot be the charge conjugation operator
C of the
theorem and be used to construct a Majorana-like massive neutrino. There can be only two variants of conjugation that potentially allow the neutrino to be a Majorana-like fermion. These are the unitary
conjugation (
44)-(
45) and the anti-unitary
conjugation proposed by Kayser and Goldhaber [
12], the formula (
48) of which we found explicitly.