The Significance of the Distinction between a Necessary Condition and a Sufficient Condition ()
1. Introduction
The notions of Necessary Condition and Sufficient Condition are different concepts that are used in mathematics [1] as well as in daily life. Mathematical arguments do not use unnecessary words. Hence, the terms mentioned above indicate that these concepts are not identical. Scientific papers use the expression necessary and sufficient condition in order to emphasize that the two different conditions hold (see e.g., [2] ). For example, in most places on the globe, cloudy sky is a necessary condition for rainfall. However, in these places, there are circumstances of cloudy sky but no rain. This example proves that at these places, although cloudy sky is a necessary condition for rainfall this situation is not a sufficient condition for rainfall. This work analyzes the distinction between these notions and proves that it is an important element for the coherence of a physical theory.
Electrodynamics is a physical theory that describes the time evolution of two physical objects―electrically charged matter and electromagnetic fields [3] [4]. Maxwell equations describe the time evolution of electromagnetic fields. The standard form of the inhomogeneous Maxwell equations is (see e.g. [3] : section 30)
(1)
where
is the antisymmetric tensor of the electromagnetic fields. Hence, the 4-divergence of (1)
(2)
means that
(3)
The null value of the 4-divergence of the 4-current
is called the continuity equation (see e.g. [3] : section 29; [4] : p. 549).
This argument proves that a legitimate 4-current
of a charged particle must satisfy the continuity equation. However, Maxwellian electrodynamics is a vast theory that comprises many relationships between physical entities. Quite lengthy textbooks describe classical electrodynamics [3] [4]. Similarly, lengthy textbooks describe the quantum domain of electrodynamics [5]. It turns out that a 4-current that satisfies the continuity equation does not necessarily satisfy every required relationship of Maxwellian electrodynamics.
This work examines details of electrodynamics and proves that although the continuity Equation (2) is a necessary condition for a theory that is consistent with Maxwellian electrodynamics, this equation is not a sufficient condition for such a theory. It means that there are theories that provide a 4-current that satisfies the continuity equation but violates other necessary conditions of Maxwellian electrodynamics. It turns out that electrically charged particles of the Klein-Gordon (KG) theory and the W± particles of the electroweak theory violate crucial requirements of electrodynamics.
Units where
are used. Therefore, just one dimension is required and the dimension of length
is used. The Minkowski metric
is diagonal and its entries are (1, −1, −1, −1). Formulas take the tensorial structure. The Dirac
matrices take the form of [6]. All expressions are written in the standard notation and readers may consult the relevant references.
2. The Noether Theorem
A contemporary quantum field theory (QFT) depends on the variational principle that applies to the action of a Lagrangian density
(4)
A well-known textbook states: “All field theories used in current theories of elementary particles have Lagrangians of this form” (see [7] : p. 300). This work adheres to this principle. A self-evident result of this approach is that in the unit system where
, the dimension of all terms of a Lagrangian density
is
. This property determines the dimension of the quantum functions that are used in the relevant Lagrangian density.
The Euler-Lagrange equation
(5)
(see [7] : p. 300; [8] : p. 16; [9] : p. 17) is derived from such a Lagrangian density. This equation determines the time evolution of the relevant physical object. One attribute of the Noether theorem states that if the Lagrangian density of a given theory does not explicitly depend on the coordinates
then the theory conserves energy-momentum (see e.g., [8] : p. 310).
Let us examine the quantum function of an electrically charged particle and the utilization of the Noether theorem for the derivation of its conserved 4-current (see [10] : p. 314; [8] : p. 18). The analysis examines a Lagrangian density where each term that comprises the quantum function
also comprises its complex conjugate
. The standard form of the QED Lagrangian density (see [8] : p. 78)
(6)
illustrates this issue. Here
. This Lagrangian density is invariant under the global phase transformation of the charged particle’s quantum function
(7)
where
denotes a mathematically real constant. In this case, the Noether theorem yields an expression for a conserved 4-current of the theory of the examined Lagrangian density (see [10] : eq. (14.11), p. 314). The required expression is
(8)
where a is an appropriate numerical coefficient and
is the particle’s density. Hence, a is fixed so that
. This 4-current satisfies the continuity equation (3).
An application of the Noether theorem for the 4-current (8) of the QED Lagrangian density (6) yields the Dirac expression
(9)
(see [6] : p. 23). It is important to note that the Dirac 4-current (9) is used in the electromagnetic interaction term of the QED Lagrangian term (6) where it is coupled to the electromagnetic 4-potential
.
The
dimension of the Lagrangian density and the term
of the QED Lagrangian density (6), prove that the dimension of the Dirac function
is
. Hence, the dimensionless of the numerical
matrices proves that the dimension of the Dirac 4-current (9) is
which is the required property of a 4-current. Furthermore, the Dirac 4-current (9) is free of a derivative
of the quantum function. The significance of these attributes is discussed later.
The continuity equation is a well-known necessary condition of Maxwellian electrodynamics (see [3] : section 29; [4] : p. 549). However, the 4-current should also be compatible with all other requirements of Maxwellian electrodynamics. This self-evident issue is the main objective of this work.
3. The Klein-Gordon Equation
Let us analyze the quantum function
of the charged KG particle. The Lagrangian density of this particle is
(10)
where
is the electromagnetic 4-potential (see [11] : eq. (37) on p. 198). This Lagrangian density determines the Euler-Lagrange equation of the KG quantum function
(11)
(see [11] : eq. (39) on p. 198).
An application of the Noether theorem to the Lagrangian density of the KG charged particle (10) yields this form of a conserved 4-current
(12)
(see [11] : eqs. (42), (43) on p. 199). The Noether theorem proves that the 4-current (12) satisfies the continuity equation which is a necessary condition for Maxwellian electrodynamics.
Let us examine the compatibility of the KG 4-current (12) with other requirements of Maxwellian electrodynamics. Assume that the KG 4-current (12) is OK. Then its contraction with the electromagnetic 4-potential is the electromagnetic interaction term
(13)
This KG interaction comprises (up to an irrelevant constant factor) the term
(14)
Please note that the Lagrangian density (10) of the Pauli-Weisskopf KG article [11] also comprises this term. One should realize that the interaction term (14) depends on the quadratic factor of the 4-potentials
.
Let us see how this term affects the equations of motion of electromagnetic fields. The 4-potentials
are the generalized coordinates of Maxwellian fields (see [3] : p. 78). Hence, an application of the Euler-Lagrange Equation (5) to the quadratic expression
proves that for the charged KG particle, the Euler-Lagrange equations of electromagnetic fields explicitly depend on the 4-potential
. Hence, the KG theory of [11] is unacceptable because it violates gauge invariance of the equation of motion of electromagnetic fields, namely, Maxwell equations.
There is another aspect of this contradiction. The erroneous interaction term (14) which describes a single charged KG particle, has the quadratic factor
. This charge-dependent term certainly violates Maxwellian electrodynamics because this interaction does not distinguish between positively and negatively charged particles.
Conclusions: Here are two more necessary conditions for the compatibility of a given theory with Maxwellian electrodynamics:
Each of these requirements is an independent necessary condition for Maxwellian electrodynamics, and they join the continuity Equation (3). In particular, it is proved above that the KG theory of a charged particle is unacceptable because it violates the necessary conditions NC.1 and NC.2.
4. The Electroweak Theory
Besides the KG theory, this work also analyzes the electroweak theory. Unlike the KG theory which is derived from an explicit form of its Lagrangian density (10), textbooks do not publish the entire form of the Lagrangian density of the electroweak theory. In particular, the electroweak theory regards the charged particles W± as crucial theoretical elements. It turns out that QFT textbooks refrain from writing a Lagrangian density that comprises a coherent expression for the interaction of the 4-current of the W± particles with the 4-potentials
of electromagnetic fields. However, despite this discrepancy, this work relies on fundamental physical properties and proves the existence of uncorrectable problems of the electroweak theory of the W± [12].
Let us examine the electroweak quantum function of the W± particles that takes a mathemtically complex form. The mass term of the Lagrangian density of these particles is
(15)
(see [13] : p. 309). This expression and the
dimension of the Lagrangian density, prove that the dimension of the electroweak W± quantum functions is
.
The mathematically real attribute of the 4-current means that each quantum function of the 4-current of the W± particles must contain the product of the functions
. The dimension of this product is
. For this reason, the
dimension of the 4-current means that the required 4-current of the W± particles must contain an additional factor whose dimension is
, where N is an odd integer.
Two candidates can be used for this end: the coordinates
and the partial derivative
. Here one should note that below (5) of section 2, it is proved that the coordinates
cannot be used because the theory must conserve energy-momentum. Moreover, a 4-current
of an electrically charged particle must be derivative-independent of the quantum function
. Indeed, if an expression for
depends on such a derivative, then due to the Noether theorem (8), the interaction term
modifies the 4-current that is used in the interaction term of the Lagrangian.
The fact that this argument depends on solid requirements of dimension coherence of physical expressions justifies its validity. This analysis proves another necessary condition for a coherent 4-current of a charged particle.
This analysis examines the dimension of physical quantities and explains why the electroweak theory cannot properly define a coherent 4-current that is required for the electromagnetic interaction of the W± particles. This argument also applies to the charged KG particles.
5. Discussion
The dimensional problems of the electroweak theory of the 4-current of the W± also appear in other parts of this theory. Here are details of several publications that present an electromagnetic interaction term of the W± particles. This term takes the form (see [14] : p. 518),
(16)
where
is the electromagnetic fields’ tensor and a is a numerical constant. An analogous term is shown in [8] : p. 752; [15] : p. 113; [16] : eq. (3); [17] : eq. (3.31). An examination of expression (16) proves that it is unacceptable. Indeed, the electric charge e of a Lagrangian density should be multiplied by an expression that describes its density. The electromagnetic field
is charge-independent. Hence the W functions of (16) should account for charge density. However, the dimension of the product of two W functions is
whereas the dimension of density is
. This is certainly a gross error.
The necessary conditions of Maxwellian electrodynamics that are written at the end of sections 3 and 4, indicate the novelty of this work. These necessary conditions are used in an examination of the QED theory of a spin-1/2 charged Dirac particle, the theory of a charged KG particle, and the electroweak theory of the charged W± particles. The Noether expression for the QED 4-current of a charged Dirac particle is
(see (9) above). The dimension of this 4-current takes the required value
, and it is free of a derivative of the quantum function
. These issues indicate the compatibility of QED Dirac theory. On the other hand, uncorrectable problems hold for the KG charged particle and for the W± particles of the electroweak theory.
6. Concluding Remarks
This work explains the significance of the distinction between a necessary condition and a sufficient condition [1] that are relevant to relations between physical expressions. The distinction between these concepts is a well-known mathematical element. Specific new necessary conditions for a coherent 4-current of a charged quantum particle are proved in sections 3 and 4 of this work. They are listed below:
Unfortunately, mainstream QFT textbooks treat the Noether 4-current of a quantum charged particle as a sufficient condition for a coherent 4-current (see e.g. [8] : pp. 308-310). Ignoring the additional necessary conditions for a coherent 4-current that are proved above, is the primary reason for the adoption of erroneous theories like the KG theory [11] and the electroweak theory of the W± particles [8] [13].
It is interesting to point out that the inherent contradictions of the KG theory that are proved above support Dirac’s lifelong objection to this theory (see [18] : pp. 3-4).