Exact Inverse Operator on Field Equations

Abstract

Differential equations of electromagnetic and similar physical fields are generally solved via antiderivative Green’s functions involving integration over a region and its boundary. Research on the Kasner metric reveals a variable boundary deemed inappropriate for standard anti-derivatives, suggesting the need for an alternative solution technique. In this work I derive such a solution and prove its existence, based on circulation equations in which the curl of the field is induced by source current density and possibly changes in associated fields. We present an anti-curl operator that is believed novel and we prove that it solves for the field without integration required.

Share and Cite:

Klingman, E. (2020) Exact Inverse Operator on Field Equations. Journal of Applied Mathematics and Physics, 8, 2213-2222. doi: 10.4236/jamp.2020.810166.

1. Introduction

Nonlinear field equations are generally impossible of solution—the few existing (Schwarzschild, Kerr) being well-known. These known solutions are static and expressed in spherical coordinates with boundaries at infinity. The Kasner solution, treated by Vishwakarma [1], is dynamic with dynamic boundaries and does not fit well into the static approach. Even physical interpretation of the exact solution has been largely nonexistent. For this reason an alternative approach was sought. The goals of this approach were:

1) A linear formulation that avoids the nonlinearity of Einstein’s field equations.

2) A “boundaryless” solution, eliminating the usual anti-derivative-based approach.

3) A physical interpretation that makes sense of the new solution, and

4) An existence proof for the new solution technique.

This paper primarily treats the last problem.

2. Relevant Mathematical Background

Physicists are familiar with Maxwell’s vector-based equations describing electric and magnetic fields, E and B respectively, in terms of changes over space and time, based on differential operators and t and sources of the fields Most are familiar with the tensor formulation:

F μ ν = | 0 E x E y E z E x 0 B z B y E y B z 0 B x E z B y B x 0 | (1)

where

F μ ν = μ A ν ν A μ , E n = ( 0 A n n A 0 ) , B = × A (2)

A growing number of physicists are familiar with Hestenes’ geometric algebra [2] derived from Clifford and Grassmann algebras, in which every entity has both an algebraic and a geometric interpretation. For classical 3D physics the entities consists of scalars, vectors, bivectors, and trivectors/pseudoscalars. In this formulation the electromagnetic field is a multivector [3],

F ( x , t ) = E ( x , t ) + i B ( x , t ) (3)

where E is the usual electric field vector and the magnetic field is a bivector, a directed 2D-planar entity representing rotation of one vector into another, and i is the pseudoscalar or dual operator that maps bivector B into its vector dual.

Magnetic field vectors do not behave like vectors under reflection, they are not really vectors; axial vectors are not encoded in vector space formalism [4]. However such behavior is encoded in bivector formalism, therefore the geometric algebra function better represents electromagnetic fields. A key geometric algebra entity is the geometric product of two vectors, u and v :

u v = u v + u v (4)

where outer product u v does not exist in vector calculus but is dual [5] of the cross product

u v = i u × v (5)

If we let the first vector in Equation (4) be the vector derivative we obtain

f = f + f (6)

where f is the gradient, f is the divergence, and f is the curl of f . Hence in geometric calculus we have the unique relation

gradient = divergence + curl

which has no analog in vector calculus. Relevant identities for the outer product are:

( f ) = 0 —curl of a curl is zero

( f ) = 0 —curl of gradient of scalar field is zero (7)

( f ) = 0 —divergence of a divergence is zero

Geometric calculus generalizes vector calculus and Cartan’s calculus of differential forms. The elementary combination of inner and outer products, u v = u v + u v cannot be expressed with differential forms [6]; such limitations are addressed by extending the formalism with the theory of fiber bundles. Forms are insufficient for most applications and must be supplemented by other algebraic systems such as matrices or tensors. In geometric calculus spinors, tensors, linear transformations and differential forms are developed in a unified mathematical system. Forms have no analog of f = f + f wherein f and f are two distinct parts of the single fundamental quantity, coderivative f , that makes it possible to reduce Maxwell’s eqns to a single equation:

F = J . (8)

When f = f it can be directly solved for f , whereas f and f cannot, because each is only part of the derivative of f . Finally, geometric calculus, whose fundamental theorem on m-dimensional manifolds

M d m x F = M d m 1 x F (9)

provides a unified mathematical tool for physics; Equation (9) subsumes Gauss’s theorem, Stoke’s theorem, Green’s theorem, and the Cauchy integral formula, as well as generalizing vector calculus. Although the results of this paper are intended to augment geometric calculus, we will limit our proofs to vector calculus. Arthur’s geometric algebra treatment of Maxwell’s equations provides a (3 + 1)D formulation of 3-space vector and 1-time scalar in detail, and then develops the 4D formulation in which time is promoted from scalar to vector.

3. Biot-Savart Inverse Operator and Laplacian

Much of the literature on the use of Biot-Savart operators and Green’s function-based inverse operation deals with the scalar Laplacian in the Poisson equation,

Δ ϕ = ρ (10)

where Laplacian Δ = . The inverse operator yields

ϕ ( x ) = [ Δ 1 ] ρ ( x ) = 3 ρ ( y ) 4 π x y d 3 y (11)

where Δ has right inverse [ Δ 1 ] with integral kernel ϕ ( x , y ) = A ( d ( x , y ) ) depending on the distance only. In [7] the right inverse for the Laplace operator on forms is constructed and proved based on an integral kernal determined by function A which they prove to always exist. They further show that a right inverse Δ 1 of the Laplacian operator on differential forms provides a right inverse to the Cartan differential d and co-differential d * simultaneously. The formalism yields a Biot-Savart operator motivated by the analogy of the equations with Maxwell equations for a magnetic field B caused by stationary current J. For Laplacian Δ = d d * + d * d they derive Δ 1 as an integral kernal determined by function A.

4. Real Physical Field Solutions

Real physical fields are sourced by distributions or current flows. The differential equation describing field dependence on source current density has the form

f = j (12)

which is formally solved via the inverse differential operator

f = 1 j . (13)

The inverse operation 1 is satisfied by the existence of the Green’s function anti-derivative method of solution for physical field equations. The Dirac delta distribution-based technique provides field solutions in terms of boundary conditions. If i is the unit pseudo-vector and M is an m-dimensional smooth oriented vector manifold with piecewise smooth boundary M then

f = 1 ( 1 ) m i [ M g ( x , x ) d X ( x ) f ( x ) + M g ( x , x ) d S ( x ) f ( x ) ] (14)

where Green’s function g ( x , x ) = g ( x x ) | x x | 3 . This is the general solution corresponding to anti-derivative 1 for equation f = j . Explicitly, values of f at interior points of M are determined by values of f on boundary M , as well as by values of f inside M.

5. Discrete Operator

It is the purpose of this paper to establish the discrete operator analog of the anti-derivative-based 1 M + M . In place of integrating over every point in the region, as well as all points in the boundary of the manifold, the preferred formulation would be 1 | 1 0 0 0 1 0 0 0 1 | .

Consider two situations; the electric field E induced by a static charge density ρ ( x ) and the magnetic field B induced by moving charge density ρ ( x ) v . We consider each separately:

E = E + E = ρ (15)

If B is not changing, E = 0 and E = ρ , hence E = 1 ρ where 1 is an integral (anti-derivative) operator determined by a Green’s function. An interesting case [8] is for ρ ( x ) with 2D symmetry in 2D region with boundary :

E ( x ) = 1 2 π d 2 x ρ ( x ) x x + 1 2 π i E ( x ) d x x x (16)

In the absence of sources the first integral vanishes and the field within is given by the line integral of its value over the boundary , which can be seen to be the Cauchy integral formula after suitable change of variables.

We next consider the coderivative of the magnetic field

B = B + B = ρ v . (17)

With gauge field A and B = × A and vector identity × A = 0 , this reduces to × B = j , the prototype equation for our theorem and proof. This choice is compatible with the universal equation describing the field circulation induced by source current density:

× f = j (18)

where source current density j = ρ v with ρ = q / r 3 , q is source charge and v is flow velocity.

“The [geometric algebra] vector derivative actually has an inverse, in complete contrast to traditional 3D vector analysis where only the gradient has a definite inverse and the curl and divergence do not.”

Despite this definite statement, we search for a solution of the form symbolically represented as

f = j ( × ) . (19)

To derive this solution we need to show that the inverse curl operator exists:

( × ) 1 1 ( × ) . (20)

The remainder of this paper establishes the existence of the inverse curl operator.

6. The Uncurl Operator Theorem

Theorem I ( × ) 1 × f = j f = ( × ) 1 j

There is an anti-curl operator ( × ) 1 with inverse curl property such that, applied to differential equation × f = j solves for field vector f = ( × ) 1 j .

Our purpose in this paper is to present a 3 × 3 -operator-based inverse ( × ) 1 which will allow solution at specific field points r distant from the source current density. The solution is generally simpler, more intuitive, and avoids integration over boundaries of the vector manifold. It also allows mathematical solutions in situations with undefined or dynamic boundaries as seen in the Kasner metric-based exact solution to Einstein’s field equations of general relativity [9].

Of course any way of finding a good solution is legitimate; typically guessing based on intuition or analogy, however contained within the beauty of mathematical physics is the fact that the physical world often suggests the answer. In the case of electrodynamic fields we know the relation of the field to the source current density. We know that f = r × j , with unit scale factor, therefore we solve × f = j for f by operating with anti-curl operator ( × ) 1 on both sides of

( × ) 1 ( × ) f = ( × ) 1 j . (21)

Given

f = r × j

we have the suggested association ( × ) 1 = ( r × ) . We will prove that use of radial operator ( r × ) in place of inverse curl operator ( × ) 1 satisfies Equation (21) above.

In the theorem ( × ) 1 ( × ) f = ( × ) 1 j where j = { j x r 3 , j y r 3 , j z r 3 } we stipulate that the source current density ρ = s / r 3 is defined using the same volume radius r = | r | as is used in the inverse curl operator ( r × ) . This is not an arbitrary condition but is implied by the physics B ( r ) = ( r × j ) / r 3 and is seen to be compatible with the Green’s function-based anti-derivative g ( x , x ) = g ( x x ) | x x | 3 . Physically this traces to Birkhoff’s theorem, a generalization of Newton’s Shell theorem in which the source inside an isotropic homogeneous spherical shell can be treated as concentrated at the center of the shell and all source outside the shell can be ignored as its contributions cancel.

Hypothesis: The inverse curl operator ( × ) 1 is the radius operator ( r × ) .

The plan of our proof is to prove that ( × ) 1 ( × ) f = ( × ) 1 j where ( × ) 1 = ( r × ) . We explicitly expand the expression to obtain the terms r × × f , where we replace the source current density j with the completely equivalent momentum density p = { p x r 3 , p y r 3 , p z r 3 } . Here and in the following, the expression j x j x and p x p x .

r × × f = f = r × p (22)

The expansion of this equation is below:

{ p z x 2 y ( r 2 ) 5 2 + p z y 3 ( r 2 ) 5 2 p y x 2 z ( r 2 ) 5 2 p y y 2 z ( r 2 ) 5 2 + p z y z 2 ( r 2 ) 5 2 p y z 3 ( r 2 ) 5 2 , p z x 3 ( r 2 ) 5 2 p z x y 2 ( r 2 ) 5 2 + p x x 2 z ( r 2 ) 5 2 + p x y 2 z ( r 2 ) 5 2 p z x z 2 ( r 2 ) 5 2 + p x z 3 ( r 2 ) 5 2 , p y x 3 ( r 2 ) 5 2 p x x 2 y ( r 2 ) 5 2 + p y x y 2 ( r 2 ) 5 2 p x y 3 ( r 2 ) 5 2 + p y x z 2 ( r 2 ) 5 2 p x y z 2 ( r 2 ) 5 2 } = { p z y ( r 2 ) 3 / 2 p y z ( r 2 ) 3 / 2 , p z x ( r 2 ) 3 / 2 + p x z ( r 2 ) 3 / 2 , p y x ( r 2 ) 3 / 2 p x y ( r 2 ) 3 / 2 }

Proposition: Terms on the left-hand side of r × × f = f are organized into three expressions, the x-, y-, and z-components of the field vector f where f = r × j and p is the source current density p = { p x r 3 , p y r 3 , p z r 3 } that replaces current density j for consistency with other problems.

lemma 1. ( r × × f ) x = ( r × p ) x

We regroup the terms in the x-component of the left hand side as follows:

{ p z y x 2 r 5 + p z y y 2 r 5 + p z y z 2 r 5 } = { p z y r 2 r 5 } = p z y r 3 . (23)

Similarly we regroup the remaining terms in the x-component of the left hand side as follows:

{ p y z x 2 r 5 + p y z y 2 r 5 + p y z z 2 r 5 } = { p y z r 2 r 5 } = p y z r 3 . (24)

Grouping these two terms we see that they are equal to the x-component of the right hand side:

( r × × f ) x = { p z y r 3 p y z r 3 } = { p z y r 3 p y z r 3 } = ( r × p ) x = f x (25)

and similarly for y- and z-components. The inverse curl operator ( × ) 1 is radius operator ( r × ) .

Theorem II

( × ) 1 ( × ) ( × ) 1 j = j × f = j f = ( × ) 1 j ( r j )

There is an anti-curl operator ( × ) 1 with inverse curl property such that, applied to source current density j satisfies differential equation × f = j when field vector f = ( × ) 1 j and r is perpendicular to j , r j .

As before we substitute the momentum density p = { p x r 3 , p y r 3 , p z r 3 } { p x r 3 , p y r 3 , p z r 3 } for current density j with no mathematical effect.

× r × p = ( 2 p x ( r 2 ) 3 / 2 3 p y x y ( r 2 ) 5 / 2 + 3 p x y 2 ( r 2 ) 5 / 2 3 p z x z ( r 2 ) 5 / 2 + 3 p x z 2 ( r 2 ) 5 / 2 2 p y ( r 2 ) 3 / 2 + 3 p y x 2 ( r 2 ) 5 / 2 3 p x x y ( r 2 ) 5 / 2 3 p z y z ( r 2 ) 5 / 2 + 3 p y z 2 ( r 2 ) 5 / 2 2 p z ( r 2 ) 3 / 2 + 3 p z x 2 ( r 2 ) 5 / 2 + 3 p z y 2 ( r 2 ) 5 / 2 3 p x x z ( r 2 ) 5 / 2 3 p y y z ( r 2 ) 5 / 2 ) = p (26)

Proposition: The terms on the left-hand side of × r × p = p can be organized into three terms, 2 p , + 3 p , and 3 r ( p r ) / r 2 where p is the source current density p = { p x r 3 , p y r 3 , p z r 3 } .

lemma 1. 2 p ( × ( r × ( p ) ) ) ( × ) ( × ) 1 p

By visual inspection, the first column contains terms

{ 2 p x r 3 , 2 p y r 3 , 2 p z r 3 } 2 p .

lemma 2. + 3 p × r × p

After removing the 2 p terms we find terms of the form 3 p x y 2 r 5 plus 3 p x z 2 r 5 but the 3 p x x 2 r 5 term is missing; therefore we add and subtract 3 p x x 2 r 5 to the x-component terms. Combining these three positive terms we substitute x 2 + y 2 + z 2 = r 2 and obtain ( 3 p x r 2 / r 5 ) = 3 p x / r 3 . The same procedure applied to the y- and z-components leads to

{ 3 p x r 3 , 3 p y r 3 , 3 p z r 3 } = + 3 p . (27)

lemma 3. The remaining terms in the x-component are

3 p y x y r 5 3 p z x z r 5 3 p x x x r 5 = 3 x ( p r ) r 2 (28)

The y- and z-component terms similarly yield 3 y ( p r ) r 2 and 3 z ( p r ) r 2 . Summing these three terms we obtain

3 r ( p r ) r 2 . (29)

lemma 4. The result of the above steps yields r p : We have obtained equation

2 p + 3 p 3 r ( p r ) r 2 = p p r = 0 (30)

which is true if and only if 3 r ( p r ) r 2 = 0 . By definition p 0 since this term represents the source current density or momentum density that induces a circulation in the field in question. As source current density does not have meaning at a point, distance from this nonexistent point cannot be zero hence r 0 . The remaining possibility is p r = 0 , whence r p .

From Theorem I ( × ) 1 = ( r × ) therefore ( × ) ( × ) 1 p = p implies ( × ) ( r × ) p = p iff r p . Thus if we define f = r × p we obtain × f = p .

7. Results

We hypothesized the existence of an exact un-curl operator, ( × ) 1 which solves the field equation × f = p yielding f = ( × ) 1 p and we have shown that this matches the known solution f = r × p . Operators require operands to operate upon; equivalence relations are summarized

( × ) 1 ( × ) f ( 1 0 0 0 1 0 0 0 1 ) f (31)

( × ) ( × ) 1 p ( 1 0 0 0 1 0 0 0 1 ) p (32)

We proved these operator relations in terms of the field equations:

( r × × f ) = f , ( × r × p ) = p . (33)

Discussion of Results

The inverse operation on field equations typically derives an anti-derivative-based solution for the field based on integrals of the field derivative for every point within the bounded region and an integral evaluating all points on the boundary of the region. Contrast the two solutions for the magnetic field at r from a source current; the Biot-Savart law [10] for a steady current J inside a region Ω 3 , where Ω could represent a curve, surface, or volume; the magnetic field associated to J is

B ( r ) = r × j versus B ( r ) = Ω J ( x ) × r r | r r | 3 d r . (34)

If we wish to integrate over a length of current path, the anti-derivative is preferable. The inverse operation on field equations derived herein is significantly simpler and derives the value of the field at a point a distance r from source current density. Much effort has been spent on generalizing Green’s function results in curved space; nevertheless; there exist gravitomagnetic problems in metric space wherein the boundary varies dynamically, and flat space is a realistic assumption. The anti-curl operator enables new approaches to the physics of fields that are effectively unobtainable using Green’s function-based anti-derivative inverses.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] Vishwakarma, R. Gravity of Rμv = 0: A New Paradigm in GR. arXiv:1206.2795v2.
[2] Hestenes, D. (2002) Oersted Medal Lecture.
http://geocalc.clas.asu.edu/pdf/OerstedMedalLecture.pdf
[3] Arthur, J. (2011) Understanding Geometric Algebra for Electromagnetic Theory. IEEE Press, Hoboken, NJ.
https://doi.org/10.1002/9781118078549
[4] Macdonald, A. (2012) Vector and Geometric Calculus. CreateSpace Independent Publishing Platform, Charleston, SC, 63.
[5] Lasenby, A. and Doran, C. (2003) Geometric Algebra for Physicists. Cambridge University Press, Cambridge.
[6] Hestenes, D. and Sobcyzk, G. (1984) Clifford Algebra to Geometric Calculus. Reidel Pub. Co., Boston, MA, 242.
https://doi.org/10.1007/978-94-009-6292-7
[7] Bechluft-Sach, S. and Samion, E. (2019) Green’s Functions, Biot-Savart Operators, and Linking Numbers on Negatively Curved Symmetric Spaces. Journal of Mathematical Physics, 60, Article ID: 111503.
https://doi.org/10.1063/1.5109244
[8] Gull, S., Lasenby, A. and Doran, C. (1993) Imaginary Numbers Are Not Real—The Geometric Algebra of Spacetime. Foundations of Physics, 23, 1175-1201.
https://doi.org/10.1007/BF01883676
[9] Klingman, E. (2019) A Primordial Space-Time Metric. Prespacetime Journal, 10, 671-680.
[10] Parsley, R.J. (2004) The Biot-Savart Operator and Electrodynamics on Bounded Subdomains of the Three-Sphere. Dissertation, University of Pennsylvania, Philadelphia.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.