Next Article in Journal
Marginal Design of a Pneumatic Stage Position Using Filtered Right Coprime Factorization and PPC-SMC
Previous Article in Journal
Distribution Modulo One of αpγ + β for Special Classes of Primes
Previous Article in Special Issue
Closed-Form Meromorphic Solutions of High-Order and High-Dimensional Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Clifford Distributions Revisited

Clifford Research Group, Foundations Lab, Department of Electronics and Information Systems, Faculty of Engineering and Architecture, Ghent University (Belgium), B-9000 Gent, Belgium
Axioms 2025, 14(7), 533; https://doi.org/10.3390/axioms14070533
Submission received: 24 April 2025 / Revised: 10 July 2025 / Accepted: 11 July 2025 / Published: 14 July 2025
(This article belongs to the Special Issue Recent Advances in Complex Analysis and Related Topics)

Abstract

In the framework of harmonic and Clifford analysis, specific distributions in Euclidean space of arbitrary dimension, which are of particular importance for theoretical physics, are once more thoroughly studied. Indeed, actions involving spherical coordinates, such as the radial derivative and multiplication and division by the radial distance, only make sense when considering so-called signumdistributions, that is, bounded linear functionals on a space of test functions showing a singularity at the origin. Introducing these signumdistributions, the actions of a whole series of scalar and vectorial differential operators on the distributions under consideration, lead to a number of surprising results, as illustrated by some examples in three-dimensional mathematical physics.
MSC:
46F05; 46F10; 30G35

Graphical Abstract

1. Introduction

The central notion in this paper is that of a distribution in Euclidean space R m . Let D ( R m ) be the space of scalar-valued, infinitely differentiable functions φ : R m R o r C , with compact support s u p p [ φ ] R m . This space D ( R m ) is called a space of test functions. When equipped with an appropriate topology, its dual-space D ( R m ) of continuous linear functionals is the space of standard distributions in R m . Some basic definitions and properties in distribution theory may be found in Appendix A.
In a series of papers, see [1] and the references therein, several families of distributions in Euclidean space R m were thoroughly studied in the context of the theory of so-called monogenic functions, and this function theory is also termed Clifford analysis. This function theory is a direct and elegant generalization to higher dimensions of the theory of holomorphic functions in the complex plane and a refinement of harmonic analysis. We refer to Appendix E for the basic definitions in Clifford analysis.
Of particular importance to theoretical physics are the distribution families T λ and U λ , λ C involving powers of the radial distance. They are defined using spherical coordinates through the following: x ̲ = r ω ̲ , r = | x ̲ | , ω ̲ = x ̲ r = x ̲ | x ̲ | S m 1 ; therein, S m 1 is the unit sphere in R m . In Section 3, we will illustrate the use of the spherical coordinates system in the lower-dimensional cases when m = 2 and m = 3 .
Definition 1.
For all λ C and test functions φ ( x ̲ ) D ( R m ) , the distributions T λ and U λ are defined by
T λ , φ ( x ̲ ) : = a m Fp r + λ + m 1 , Σ ( 0 ) [ φ ] ( r )
and
U λ , φ ( x ̲ ) : = a m Fp r + λ + m 1 , Σ ( 1 ) [ φ ] ( r ) ,
where the spherical means Σ ( 0 ) [ φ ] and Σ ( 1 ) [ φ ] are given by
Σ ( 0 ) [ φ ] ( r ) = 1 a m S m 1 ω ̲ φ ( r ω ̲ ) d S ( ω ̲ )
and
Σ ( 1 ) [ φ ] ( r ) = 1 a m S m 1 ω ̲ φ ( r ω ̲ ) d S ( ω ̲ ) ,
where a m = 2 π m / 2 Γ ( m / 2 ) is the area of the unit sphere S m 1 , and Fp r + μ , μ C represents the finite part distribution on the one-dimensional r-axis.
For the sake of completeness, we have included appendices with further information on the concept of distribution and the one-dimensional Finite Part distribution (see Appendix A), on distributions T λ and U λ (see Appendix B), and on spherical means (see Appendix C). We have also included an appendix, Appendix D, giving an overview of the properties of the most important distributions in both families.
Despite the fact that the distributions T λ are spherical in nature and that a formula such as r T λ = λ T λ 1 seems to be trivial, at the time the abovementioned papers were written, their radial derivative r T λ value was not yet studied. Meanwhile, it has become clear that the derivation of a distribution with respect to spherical coordinates is far from trivial. To put it straight, the radial derivative of a distribution cannot be a distribution. In his famous and seminal book [2], Laurent Schwartz writes on page 51: Using coordinate systems other than the Cartesian ones should be done with utmost care [our translation]. As an illustration, consider the delta distribution δ ( x ̲ ) : It is pointly supported at the origin. It is rotation-invariant: δ ( A x ̲ ) = δ ( x ̲ ) , A SO ( m ) . It is even: δ ( x ̲ ) = δ ( x ̲ ) , and it is homogeneous of degree ( m ) , where δ ( a x ̲ ) = 1 | a | m δ ( x ̲ ) . Therefore, in an initial, naive, approach, one could think of its radial derivative r δ ( x ̲ ) as being a distribution that remains pointly supported at the origin, rotation-invariant, even, and homogeneous of degree ( m 1 ) . Temporarily leaving aside the even character, based on the other cited characteristics, the distribution r δ ( x ̲ ) should take the form
r δ ( x ̲ ) = c 0 x 1 δ ( x ̲ ) + + c m x m δ ( x ̲ ) .
It becomes clear that such an approach to the radial derivation of the delta distribution is impossible because all distributions appearing in the sum on the right-hand side are odd and not rotation-invariant, whereas r δ ( x ̲ ) is assumed to be even and rotation-invariant. It could be that r δ ( x ̲ ) is either the zero distribution or is no longer pointly supported at the origin, but both of these possibilities are unacceptable.
In ref. [3], the problem of defining the radial derivative r δ ( x ̲ ) of the delta distribution was solved by introducing a new concept, similar to but fundamentally different from a distribution, which was termed a signumdistribution. A signumdistribution is a continuous linear functional acting on a space of test functions that are smooth in R m { O } and show a non-removable singularity at the origin. The definition and first properties of the signumdistributions are discussed in Section 2. It turns out that the radial derivative of the delta distribution is indeed a signumdistribution. Since the delta function is a fundamental mathematical modeling tool in a broad spectrum of theoretical physics and engineering sciences, we meanwhile undertook the enterprise of compiling a compendium [4] of interesting ready-to-use identities involving the delta distribution and the delta signumdistribution in higher-dimensional Euclidean space.
Actions on general distributions involving spherical coordinates were thoroughly studied in [5]. For a distribution T D ( R m ) , its radial derivative r T is well defined, but not uniquely defined, as an equivalence class of signumdistributions. To make the paper self-contained, the main results about spherical actions on (signum)distributions are recalled in Section 2, Section 3, Section 4 and Section 5. In Section 6, we state the sufficient conditions under which the actions of a number of operators involving division by x ̲ or r are uniquely determined. In Section 8, we show a.o. that the radial derivative of the distributions T λ and U λ is uniquely defined as a signumdistribution belonging to two families of signumdistributions T λ s and U λ s which are closely related to the initial distribution families T λ and U λ . In addition, other actions on the distributions T λ and U λ involving spherical coordinates are explored. In Section 7 and Section 9, special attention is paid to the Cartesian derivatives of signumdistributions in general and of the signumdistributions T λ s and U λ s in particular. In Section 10, we show how the powers of the vector variable x ̲ fit into the scheme of the T λ and U λ distributions and their normalizations T λ * and U λ * . Finally, Section 11 is devoted to some applications in theoretical physics showing that signumdistributions indeed arise in this context, albeit they are unnoticed.

2. Signumdistributions

We confine ourselves to a concise introduction of the new concept of a signumdistribution; for a systematic treatment, including the functional analytic background and justification and numerous examples, we refer to [3,5].
In Euclidean space R m , with orthonormal basis ( e 1 , e 2 , , e m ) , we interpret the vectors as Clifford 1-vectors in the Clifford algebra R 0 , m . In this Clifford algebra, the basis vectors satisfy the product rules e j 2 = 1 and e i e j = e j e i for i , j = 1 , , m and i j . This allows for the use of the highly efficient, non-commutative geometric or Clifford product of Clifford 1-vectors:
x ̲ y ̲ = x ̲ · y ̲ + x ̲ y ̲ ,
where the scalar dot product x ̲ · y ̲ is commutative, and the bivector product x ̲ y ̲ is anti-commutative. Note, in particular, that
x ̲ x ̲ = x ̲ · x ̲ = | x ̲ | 2 ,
with x ̲ being the Clifford 1-vector x ̲ = j = 1 m e j x j , whence also, passing to the spherical coordinates, we have
ω ̲ ω ̲ = ω ̲ · ω ̲ = | ω ̲ | 2 = 1 , ω ̲ S m 1 .
For more on the Clifford product, we refer to Appendix E.
We consider two spaces of test functions: the traditional space D ( R m ) of compactly supported infinitely differentiable functions φ ( x ̲ ) and the space Ω ( R m ; R m ) = { ω ̲ φ ( x ̲ ) : φ ( x ̲ ) D ( R m ) } . Clearly, the test functions in Ω ( R m ; R m ) are no longer differentiable in the whole of R m , because they are not defined at the origin due to the function ω ̲ = x ̲ | x ̲ | , which can be seen as the higher-dimensional counterpart of the one-dimensional signum function s i g n ( t ) = t | t | , t R . Obviously, there is a one-to-one correspondence between the spaces D ( R m ) and Ω ( R m ; R m ) . The continuous linear functionals on these spaces of test functions, both equipped with an appropriate topology, are the standard distributions and the signumdistributions, respectively. For some basic definitions in distribution theory, we refer to Appendix A.
Given a standard distribution T ( x ̲ ) D ( R m ) , the signumdistribution T ( x ̲ ) Ω ( R m ; R m ) is defined such that, for all test functions ω ̲ φ Ω ( R m ; R m ) , the following holds:
T ( x ̲ ) , ω ̲ φ ( x ̲ ) = T ( x ̲ ) , φ ( x ̲ ) .
Then, T ( x ̲ ) is called the signumdistribution associated with T ( x ̲ ) . Given a distribution T, it was shown in [6] that the associated signumdisribution T is unique.
Conversely, for a given signumdistribution U s Ω ( R m ; R m ) , we define the associated distribution U s by
U s ( x ̲ ) , φ ( x ̲ ) = U s ( x ̲ ) , ω ̲ φ ( x ̲ ) φ ( x ̲ ) D ( R m ) .
Clearly, it holds that
T = T and U s = U s .

3. Cartesian Operators

We call an operator acting on distributions Cartesian if it involves partial derivation with respect to the Cartesian coordinates, as well as multiplication and division by analytic functions. Although well defined, this last operation is not uniquely determined but instead results in an equivalence class of distributions involving (derivatives of) the delta distribution δ ( x ̲ y ̲ ) , y ̲ being a zero of the analytic function considered. The two most basic Cartesian operators on distributions are the multiplication operator x ̲ = j = 1 m x j e j and Dirac operator ̲ = j = 1 m x j e j . Their actions are well defined and uniquely determined. Indeed, for any distribution T and all test functions φ , it holds that
x ̲ T , φ = T , x ̲ φ ̲ T , φ = T , ̲ φ .
This also is the case for their squares, the multiplication operator x ̲ 2 = | x ̲ | 2 = r 2 and the Laplace operator ̲ 2 = Δ . Indeed, for any distribution T and all test functions φ , it holds that
x ̲ 2 T , φ = T , x ̲ 2 φ Δ T , φ = T , Δ φ .
The division of a distribution by x ̲ can be approached in two ways. Firstly, the function x ̲ may be considered as a vector polynomial of the first degree, whence we derive a vector analytic function with a single zero at the origin. Secondly, as 1 x ̲ = x ̲ | x ̲ | 2 , division by x ̲ is seen as the composition of two operations: first through division by r 2 = | x ̲ | 2 = x 1 2 + + x m 2 followed by multiplication by ( x ̲ ) . In [6], the following lemma was proven, showing that both approaches are equivalent.
Lemma 1.
For a scalar distribution T, it holds that
1 x ̲ T = S ̲ + δ ( x ̲ ) c ̲ ,
for any distribution S ̲ such that x ̲ S ̲ = T , with c ̲ being an arbitrary vector constant.
Henceforth, we use the notation 1 x ̲ T for the equivalent class of distributions S such that x ̲ S = T .
The two fundamental formulæ in monogenic function theory involving the commutator and the anti-commutator of x ̲ and ̲ are
{ x ̲ , ̲ } = x ̲ ̲ + ̲ x ̲ = 2 E m and [ x ̲ , ̲ ] = x ̲ ̲ ̲ x ̲ = m 2 Γ .
They give rise to two other well-known Cartesian operators: the scalar Euler operator
E = j = 1 m x j x j ,
and the bivector angular momentum operator
Γ = j < k e j e k L j k = j < k e j e k ( x j x k x k x j ) .
It follows that
x ̲ ̲ = E Γ ,
or more precisely,
x ̲ · ̲ = E and x ̲ ̲ = Γ .
Passing to spherical coordinates x ̲ = r ω ̲ , r = | x ̲ | , ω ̲ = x ̲ | x ̲ | S m 1 , the Dirac operator takes the form
̲ = ̲ r a d + ̲ a n g ,
with
̲ r a d = ω ̲ r and ̲ a n g = 1 r ω ̲ .
As the operator ω ̲ , sometimes called the spherical nabla operator, is acting in the tangent (hyper)plane to the unit sphere S m 1 , it is orthogonal to ω ̲ . This makes the Euler operator to take the well-known form
E = x ̲ · ̲ = r ω ̲ · ̲ r a d = r ω ̲ · ω ̲ r = r r ,
while the angular momentum operator Γ takes the form
Γ = x ̲ ̲ = r ω ̲ ̲ a n g = r ω ̲ 1 r ω ̲ = ω ̲ ω ̲ = ω ̲ ω ̲ = j < k e j e k ( ω j ω k ω k ω j ) .
To illustrate the meaning of the angular differential operator ω ̲ , we consider the traditional cases of low dimension: m = 2 and m = 3 . In the 2-dimensional case ( m = 2 ), it holds that
x ̲ = e 1 r cos θ + e 2 r sin θ , ω ̲ = e 1 cos θ + e 2 sin θ , θ : 0 2 π ,
and
ω ̲ = e θ θ ,
where
e θ = e 1 sin θ + e 2 cos θ
is a unit vector tangent to the unit circle. Note that
ω ̲ = e 1 ω 1 + e 2 ω 2 ,
with
ω 1 = sin θ θ and ω 2 = cos θ θ .
The angular momentum operator now takes the form
Γ = e 1 e 2 θ .
In the 3-dimensional case ( m = 3 ), it holds that
x ̲ = e 1 r sin θ cos φ + e 2 r sin θ sin φ + e 3 r cos θ , ω ̲ = e 1 sin θ cos φ + e 2 sin θ sin φ + e 3 cos θ , θ : 0 π , φ : 0 2 π ,
and
ω ̲ = e θ θ + e φ 1 sin θ φ ,
where
e θ = e 1 cos θ cos ϕ + e 2 cos θ sin ϕ e 3 sin θ
and
e ϕ = e 1 sin ϕ + e 2 cos ϕ
are two orthogonal unit vectors which span the tangent plane to the unit sphere. Note that
ω ̲ = e 1 ω 1 + e 2 ω 2 + e 3 ω 3 ,
with
ω 1 = cos θ cos φ θ sin φ sin θ φ ω 2 = cos θ sin φ θ + cos φ sin θ φ ω 3 = sin θ θ .
The angular momentum operator now takes the form
Γ = e 2 3 ( sin ϕ θ + cot θ cos ϕ ϕ ) + e 3 e 1 ( cot θ sin ϕ ϕ cos ϕ θ ) + e 1 e 2 ( ϕ ) .
The question now is how to define, if possible, the separate actions of the operators ̲ r a d and ̲ a n g on a distribution. To that end, both operators should first be shown to be Cartesian, which is achieved by putting
̲ r a d = ω ̲ r = 1 x ̲ E and ̲ a n g = 1 r ω ̲ = 1 x ̲ Γ ,
leading to the following definition.
Definition 2.
Let T ( x ̲ ) D ( R m ) be a distribution. Then, we have
̲ r a d T ( x ̲ ) = ( ω ̲ r ) T ( r ω ̲ ) = 1 x ̲ E T ( x ̲ )
and
̲ a n g T ( x ̲ ) = ( 1 r ω ̲ ) T ( r ω ̲ ) = 1 x ̲ Γ T ( x ̲ ) .
It becomes clear that, in this way, the actions of ̲ r a d and ̲ a n g on the distribution T ( x ̲ ) are well defined but not uniquely determined, owing to the division by x ̲ , according to Lemma 1. The resulting equivalent classes are denoted in square brackets. However, if S ̲ 1 and S ̲ 2 are distributions arbitrarily chosen in the equivalent classes (3) and (4), respectively, that is,
x ̲ S ̲ 1 = E T ( x ̲ ) and x ̲ S ̲ 2 = Γ T ( x ̲ ) ,
then
̲ r a d T ( x ̲ ) = S ̲ 1 + c ̲ 1 δ ( x ̲ )
and
̲ a n g T ( x ̲ ) = S ̲ 2 + c ̲ 2 δ ( x ̲ ) ,
and it must hold that
S ̲ 1 + c ̲ 1 δ ( x ̲ ) + S ̲ 2 + c ̲ 2 δ ( x ̲ ) = ̲ r a d T ( x ̲ ) + ̲ a n g T ( x ̲ ) = ̲ T ( x ̲ ) ,
where the distribution on the utmost right-hand side is a known distribution once distribution T is given. We say that the differential operators ̲ r a d and ̲ a n g are entangled in the sense that the results of their actions on a distribution are subject to (5), which becomes a condition to be satisfied by the arbitrary constants c ̲ 1 and c ̲ 2 . Henceforth, we call (5) the entanglement condition for the operators ̲ r a d and ̲ a n g .
Expressing the Laplace operator in spherical coordinates, we obtain, in view of the formulæ
̲ r a d ̲ r a d = r 2 ̲ r a d ̲ a n g = 1 r 2 ω ̲ ω ̲ + 1 r ω ̲ ω ̲ r ̲ a n g ̲ r a d = ( m 1 ) 1 r r 1 r r ω ̲ ω ̲ ̲ a n g ̲ a n g = 1 r 2 ω ̲ 2 ,
that
Δ = ̲ 2 = r 2 + ( m 1 ) 1 r r + 1 r 2 Δ * .
The Laplace–Beltrami operator Δ * = ω ̲ ω ̲ ω ̲ 2 is, contrary to its appearance, Cartesian, and so is the operator ω ̲ 2 . The following result holds.
Proposition 1
(see [6]). The angular differential operators ω ̲ 2 and Δ * may be written in terms of Cartesian derivatives as
ω ̲ 2 = Γ 2 ( m 1 ) Γ
and
Δ * = ( m 2 ) Γ Γ 2 .
The actions of the Laplace operator and the Laplace–Beltrami operator on a distribution are uniquely well defined, and the question arises as to how to define the separate actions on a distribution of the three parts of the Laplace operator expressed in spherical coordinates. It turns out that these operators are Cartesian, with their actions on a distribution being well defined, though not uniquely determined, through equivalent classes of distributions.
Proposition 2.
The operators r 2 , 1 r r , and 1 r 2 Δ * are Cartesian, and, for a distribution T, we have that
r 2 T = 1 r 2 E ( E 1 ) T 1 r r T = 1 r 2 E T 1 r 2 Δ * T = 1 r 2 ( ( m 2 ) Γ Γ 2 ) T ,
leading to
(i) 
r 2 T = S 2 + δ ( x ̲ ) c 2 j = 1 m c 1 , j x j δ ( x ̲ )
for arbitrary constants c 2 and c 1 , j , j = 1 , , m and for any distribution S 2 such that x ̲ S 2 = E S ̲ 1 , with x ̲ S ̲ 1 = E T ;
(ii) 
1 r r T = S 3 + 1 m j = 1 m c 1 , j x j δ ( x ̲ ) + c 3 δ ( x ̲ )
for arbitrarily constant c 3 and for any distribution S 3 such that x ̲ S 3 = S ̲ 1 ;
(iii) 
1 r 2 Δ * T = S 4 + c 4 δ ( x ̲ ) + j = 1 m c 5 , j x j δ ( x ̲ )
for arbitrary constants c 4 and c 5 , j , j = 1 , , m and for any distribution S 4 such that r 2 S 4 = Δ * T .
Proof. 
(i) The direct computation shows that r 2 r 2 = E ( E 1 ) , whence
r 2 = 1 r 2 E ( E 1 ) .
Further, we have
( ω ̲ r ) T = 1 x ̲ E T = S ̲ 1 + δ ( x ̲ ) c ̲ 1 ,
with x ̲ S ̲ 1 = E T . It follows that
r 2 T = ( ω ̲ r ) 2 T = ( ω ̲ r ) ( S ̲ 1 + δ ( x ̲ ) c ̲ 1 ) = 1 x ̲ E S ̲ 1 ̲ δ ( x ̲ ) c ̲ 1 = S 2 + δ ( x ̲ ) c 2 ̲ δ ( x ̲ ) c ̲ 1 ,
with x ̲ S 2 = E S ̲ 1 .
(ii) As r r = E , it follows that 1 r r = 1 r 2 E and also that
1 r r T = 1 x ̲ ( ω ̲ r ) T = 1 x ̲ ( S ̲ 1 + δ ( x ̲ ) c ̲ 1 ) = S 3 + 1 x ̲ δ ( x ̲ ) c ̲ 1 = S 3 + 1 m ̲ δ ( x ̲ ) c ̲ 1 + δ ( x ̲ ) c 3 ,
with x ̲ S 3 = S ̲ 1 .
(iii) The distribution Δ * T is uniquely well defined, and r 2 is an analytic function with a second-order zero at the origin; thus, the result follows immediately.
Remark 1.
The operators r 2 , 1 r r , and 1 r 2 Δ * are entangled in the sense that, given a distribution T and appropriately choosing the distributions S ̲ 1 , S 2 , S 3 , and S 4 , all arbitrary constants appearing in the expressions of Proposition 2 should satisfy the entanglement condition generated by
r 2 T + ( m 1 ) 1 r r T + 1 r 2 Δ * T = Δ T ,
with the distribution at the right-hand side being uniquely determined.

4. Signum Pairs and Cross Pairs of Operators

With each well-defined operator P acting between distributions, there corresponds an operator
P = ω ̲ P ( ω ̲ )
acting between signumdistributions, according to the following commutative diagram defined as
Axioms 14 00533 i001
in this way giving rise to a pair of operators P and P which we call a signum pair of operators. If the operator P action result is uniquely determined, then the action result of P is uniquely determined too, in which case we use the notation ( P , P ) for this signum pair of operators. If, on the contrary, the action result of P is an equivalence class of distributions, then the action result of P will be an equivalence class of signumdistributions, in which case we use the notation [ P , P ] . Several signum pairs of operators are listed in Table 1.
Remark 2.
When the operators P and P form a signum pair of operators, it then follows that P = ( ω ̲ ) P ω ̲ , and it becomes tempting to consider the operator P as the signum partner to the operator P and to define the action of the operator P on signumdistributions through the action of P on distributions. However, this is justifiable only if the operator P is a ”legal“ operator, such as a Cartesian operator, between distributions.
The above commutative diagram induces two more operators, where operator Q maps a distribution to a signumdistribution, and the corresponding operator Q c = ( ω ̲ ) Q ( ω ̲ ) = ω ̲ Q ω ̲ maps a signumdistribution to a distribution according to the following commutative diagram:
Axioms 14 00533 i002
Clearly, the operators Q and Q c cannot be Cartesian, since they map distributions to signumdistributions and vice versa. We call the pair of operators Q and Q c a cross pair of operators, being denoted by either ( Q , Q c ) or [ Q , Q c ] depending on the nature of their action result, which is similar to the case of a signum pair of operators. In Table 2, several cross pairs of operators are listed.
In Section 3, we saw that the Laplace–Beltrami operator Δ * and the square of the angular derivative ω ̲ 2 are Cartesian operators. Their signum partners are straightforwardly computed as
( ω ̲ 2 ) = ω ̲ ω ̲ 2 ( ω ̲ ) = ω ̲ 2
and
Δ * = Γ 2 + m Γ ( m 1 ) 1 .
Clearly, the operator Δ * is also Cartesian. Introducing the notation Z * = Δ * , the signum pairs of operators ( ω ̲ 2 , ω ̲ 2 ) , ( Δ * , Z * ) , and ( Z * , Δ * ) follow, inducing the definition of the actions of the operators ω ̲ 2 , Z * and Δ * on a signumdistribution.
For the signum partner D ̲ of the Dirac operator ̲ we obtain the following expressions:
D ̲ = ω ̲ ̲ ( ω ̲ ) = ω ̲ ( ω ̲ r + 1 r ω ̲ ) ( ω ̲ ) = ω ̲ r + 1 r ω ̲ ω ̲ ( ω ̲ ) = ω ̲ r 1 r ω ̲ + ( m 1 ) 1 r ω ̲ = ̲ 2 1 r ω ̲ + ( m 1 ) 1 r ω ̲ = ̲ + 2 ω ̲ r + ( m 1 ) 1 r ω ̲ ,
giving rise to the signum pairs of operators ( ̲ , D ̲ ) and [ 1 r ω ̲ , 1 r ω ̲ + ( m 1 ) 1 r ω ̲ ] , which induce the actions of operators D ̲ and 1 r ω ̲ + ( m 1 ) 1 r ω ̲ on a signumdistribution.
Note that while the actions of the operator ̲ on distributions and of its signum partner D ̲ on signumdistributions are uniquely determined, the action results of operator 1 r ω ̲ on distributions and of its signum partner 1 r ω ̲ + ( m 1 ) 1 r ω ̲ on signumdistributions are equivalent classes.
We call operator D ̲ the signum-Dirac operator. At first sight, it is not clear if D ̲ is Cartesian. However, this is indeed true, and we have the following result:
Proposition 3.
The operators D ̲ and 1 r ω ̲ + ( m 1 ) 1 r ω ̲ are Cartesian operators.
Proof. 
In view of Definition 2 it holds that
1 r ω ̲ + ( m 1 ) 1 r ω ̲ = 1 x ̲ ( Γ ( m 1 ) 1 )
and also
D ̲ = 1 x ̲ ( E + Γ ( m 1 ) 1 ) = ̲ + 1 x ̲ ( 2 Γ ( m 1 ) 1 ) = ̲ + 1 x ̲ ( 2 E ( m 1 ) 1 ) .
This leads to a signum pair of operators [ D ̲ , ̲ ] , which induces the action of the Dirac operator ̲ on a signumdistribution. However, owing to division by x ̲ , the latter action results into an equivalence class of signumdistributions.
It is interesting to note that, in the same way as the Dirac operator factorizes the Laplace operator, ̲ 2 = Δ , the signum-Dirac operator D ̲ factorizes the signum-Laplace operator, i.e., the signum partner of the Laplace operator:
D ̲ 2 = ω ̲ ̲ ( ω ̲ ) 2 = ω ̲ ̲ 2 ( ω ̲ ) = ω ̲ Δ ( ω ̲ ) = Δ .
Introducing the notation Z = Δ , it follows that ( Δ , Z ) is a signum pair of operators, with
Z = D ̲ 2 = r 2 + ( m 1 ) 1 r r + 1 r 2 Z * .
Clearly, operator Z is Cartesian. The signum pair of operators [ Z , Δ ] follows, inducing the action of Laplace operator Δ on a signumdistribution.
From Section 3, we know that the operators r 2 , 1 r r , and 1 r 2 Δ * , which are constituents of the Laplace operator Δ , are Cartesian operators. Their signum partners are easily seen as
( r 2 ) = r 2 ( 1 r r ) = 1 r r ( 1 r 2 Δ * ) = 1 r 2 Z * ,
and the signum pairs of operators [ r 2 , r 2 ] , [ 1 r r , 1 r r ] , [ 1 r 2 Δ * , 1 r 2 Z * ] , and [ 1 r 2 Z * , 1 r 2 Δ * ] follow, inducing the actions of the operators r 2 , 1 r r , 1 r 2 Z * , and 1 r 2 Δ * on a signumdistribution.

5. Spherical Operators

We say that an operator involving the spherical coordinates is spherical when it is not Cartesian. Clearly, the multiplication operators r and ω ̲ are spherical operators, as are the differential operators r and ω ̲ . The concepts of signumdistribution, signum pair of operators, and cross pair of operators allow for the definition of the action of spherical operators on both distributions and signumdistributions.
Definition 3.
The product of a distribution T by the function ω ̲ is the signumdistribution T associated with T, and, for all test functions ω ̲ φ Ω ( R m ; R m ) , it holds that
ω ̲ T , ω ̲ φ = T , ω ̲ φ = T , φ .
Similarly, the product of the signumdistribution U s by the function ( ω ̲ ) is its associated distribution U s , and it holds that
( ω ̲ ) U s , φ = U s , φ = U s , ω ̲ φ .
Definition 4.
The product of a scalar distribution T s c a l by the function ω j , j = 1 , , m is the signumdistribution ω j T s c a l given by the uniquely determined expression
ω j T s c a l = j { ω ̲ T s c a l } .
Similarly, the product of the scalar signumdistribution U s c a l s by the function ω j is the distribution ω j U s c a l s given by
ω j U s c a l s = { ω ̲ U s c a l s } j .
Remark 3.
For a general Clifford algebra-valued distribution or signumdistribution, the action of the multiplicative operator ω j is defined through linearity with respect to the scalar components.
Definition 5.
The product of a scalar distribution T by the function r is the signumdistribution r T = ( x ̲ T ) given for all test functions ω ̲ φ Ω ( R m ; R m ) by
r T , ω ̲ φ = x ̲ T , φ = T , x ̲ φ ,
according to the upper triangular part of the commutative diagram
Axioms 14 00533 i003
involving the signum pair of operators ( x ̲ , x ̲ ) , which induces the product of the signumdistribution ω ̲ T by x ̲ to be x ̲ ( ω ̲ T ) = r T .
Definition 6.
The derivative with respect to the radial distance r of a scalar distribution T is the equivalent class of signumdistributions
r T = ω ̲ r T = 1 x ̲ E T = S ̲ + c ̲ δ ( x ̲ ) = ω ̲ S ̲ + ω ̲ δ ( x ̲ ) c ̲ ,
for any vector distribution S ̲ satisfying x ̲ S ̲ = E T , according to the upper triangular part of the commutative diagram
Axioms 14 00533 i004
involving the signum pair of operators [ ω ̲ r , ω ̲ r ] , which induces the action of ( ω ̲ r ) on the signumdistribution ω ̲ T to be ( ω ̲ r ) ( ω ̲ T ) = [ r T ] .
Definition 7.
The angular ω ̲ -derivative of a distribution T is the unique signumdistribution ω ̲ T = ( Γ T ) given for all test functions ω ̲ φ Ω ( R m ; R m ) by
ω ̲ φ , ω ̲ T = φ , ω ̲ ω ̲ T = φ , Γ T ,
according to the upper triangular part of the commutative diagram
Axioms 14 00533 i005
involving the signumpair of operators ( ω ̲ ω ̲ , ω ̲ ω ̲ ) or ( Γ , ω ̲ ω ̲ ) = ( Γ , ( m 1 ) 1 Γ ) , which induces the action of the operator ω ̲ ω ̲ on the signumdistribution ω ̲ T to be ω ̲ ω ̲ ( ω ̲ T ) = ω ̲ T .
Definition 8.
The angular ω j -derivative of a scalar distribution T s c a l is the unique signumdistribution given by
ω j T s c a l = { ω ̲ T s c a l } j , j = 1 , , m .
Remark 4.
(i) 
An alternative expression for ω j T s c a l is
ω j T s c a l = r x j T s c a l ω j E T s c a l .
Indeed, it follows from
Γ T s c a l = x ̲ ̲ T s c a l + E T s c a l
that
ω ̲ T s c a l = ω ̲ x ̲ ̲ T s c a l + ω ̲ E T s c a l = r ̲ T s c a l + ω ̲ E T s c a l
whence we have the desired formula states for each of the components.
(ii) 
For a general Clifford algebra-valued distribution, the action of the spherical derivative operator ω j is defined through linearity with respect to the scalar components.
Definition 9.
The quotient of a scalar distribution T by the radial distance r is the equivalence class of the signumdistributions
1 r T = ω ̲ 1 x ̲ T = ω ̲ ( S ̲ + δ ( x ̲ ) c ̲ ) = ω ̲ S ̲ + ω ̲ δ ( x ̲ ) c ̲ = S ̲ + δ ( x ̲ ) c ̲ ,
for any vector-valued distribution S ̲ for which x ̲ S ̲ = T , according to the upper triangular part of the commutative diagram
Axioms 14 00533 i006
involving the signum pair of operators [ 1 x ̲ , 1 x ̲ ] , which induces the quotient of the signumdistribution ω ̲ T by x ̲ to be 1 x ̲ ( ω ̲ T ) = [ 1 r T ] .
Remark 5.
Once the action of the spherical derivative operators ω j , j = 1 , , m is defined in Definition 8, we are able to define the action of the corresponding Cartesian operators ω ̲ ω j , j = 1 , , m through the commutative diagram
Axioms 14 00533 i007
In particular, for a scalar distribution T s c a l , it holds that
ω ̲ ω j T s c a l = x ̲ x j T s c a l + ω j ω ̲ E T s c a l , j = 1 , , m .
Example 1.
Because δ ( x ̲ ) is a radial distribution, we expect ω j δ ( x ̲ ) , and thus also ω ̲ ω j δ ( x ̲ ) , to be zero. And indeed it holds that
ω j δ ( x ̲ ) = r x j δ ( x ̲ ) ω j E δ ( x ̲ ) = r x j δ ( x ̲ ) + m ω j δ ( x ̲ ) = { r ̲ δ ( x ̲ ) + m ω ̲ δ ( x ̲ ) } j = { ω ̲ E δ ( x ̲ ) + m ω ̲ δ ( x ̲ ) } j = 0 .

6. Action Uniqueness of Some Operators

In the preceding sections, we encountered operators acting on distributions and on signumdistributions with a uniquely determined result and those whose actions were not uniquely determined but instead lead to equivalence classes of distributions and signumdistributions, respectively. Nevertheless, in [6], sufficient conditions were found to guarantee the uniqueness of the latter operators’ actions involving homogeneous, radial, and signum-radial distributions and signumdistributions.
Definition 10.
(i) A distribution T or a signumdistribution U s is said to be radial if it is SO ( m ) -invariant and depends only on r = | x ̲ | : T ( x ̲ ) = T ( r ) or U s ( x ̲ ) = U s ( r ) , respectively. (ii) A distribution and signumdistribution are said to be signum-radial if their associated signumdistribution and distribution, respectively, are radial.
For the sake of completeness, we recall these sufficient conditions.
(i)
If the distribution T r a d is radial, then the following actions are uniquely determined as
( ω ̲ r ) T r a d , 1 r ω ̲ + ( m 1 ) 1 r ω ̲ T r a d , 1 x ̲ T r a d , D ̲ T r a d , r T r a d , 1 r T r a d
and the actions of the corresponding signum partner operators on the signum-radial signumdistribution U s r a d s
( ω ̲ r ) U s r a d s , 1 r ω ̲ U s r a d s , 1 x ̲ U s r a d s , ̲ U s r a d s , r U s r a d s , 1 r U s r a d s
are also uniquely determined.
(ii)
If the distribution T ( k ) is homogeneous with homogeneity degree k m + 1 , then the following actions are uniquely determined:
( ω ̲ r ) T ( k ) , 1 r ω ̲ T ( k ) , 1 r ω ̲ + ( m 1 ) 1 r ω ̲ T ( k ) , 1 x ̲ T ( k ) ,
and
D ̲ T ( k ) , r T ( k ) , 1 r T ( k )
Additionally, the actions of the corresponding signum partner operators on the homogeneous signumdistribution U ( k ) s , viz.,
( ω ̲ r ) U ( k ) s , 1 r ω ̲ + ( m 1 ) 1 r ω ̲ U ( k ) s , 1 r ω ̲ U ( k ) s , 1 x ̲ U ( k ) s , ̲ U ( k ) s ,
and
r U ( k ) s , 1 r U ( k ) s ,
are also uniquely determined.
(iii)
If the distribution T ( k ) is homogeneous with homogeneity degree k m + 1 , m + 2 , then the following actions are uniquely determined:
r 2 T ( k ) , 1 r r T ( k ) , 1 r 2 Δ * T ( k ) , 1 r 2 Z * T ( k ) , Z T ( k ) , 1 r 2 T ( k )
and the actions of the corresponding signum partner operators on the homogeneous signumdistribution U ( k ) s
r 2 U ( k ) s , 1 r r U ( k ) s , 1 r 2 Z * U ( k ) s , 1 r 2 Δ * U ( k ) s , Δ U ( k ) s , 1 r 2 U ( k ) s
are uniquely determined as well.
(iv)
The conclusions contained in (iii) remain valid if the distribution and signumdistribution under consideration are both radial and signum-radial, respectively, and homogeneous with homogeneity degree k m + 2 .
(v)
The conclusions contained in (iii) remain valid if the distribution and signumdistribution under consideration are both signum-radial and radial, respectively, and homogeneous with homogeneity degree k m + 1 .

7. Cartesian Derivatives of Signumdistributions

Recalling the signum pairs of operators ( ̲ , D ̲ ) and [ D ̲ , ̲ ] , we expect the Cartesian derivatives of distributions and of signumdistributions to appear in the signum pairs of operators of the form ( x j , d j ) and [ d j , x j ] , j = 1 , , m . Operators d j , j = 1 , , m are important in the following sense: When defining a derivative of a distribution, which is merely a sophisticated integration by parts, the differential operator, say x j , shifts to the test function. It was shown in [6] that when computing the derivative x j of a signumdistribution, the derivative shifts to the test function, but in the form of the operator d j .
Definition 11.
For j = 1 , , m , we define operator d j as the signum partner of the Cartesian derivative x j , and it holds that
d j = ω ̲ x j ( ω ̲ ) = 1 r ω ̲ e j 1 r ω j + x j = 1 r e j ω ̲ + 1 r ω j + x j = 1 r 2 x ̲ e j 1 r 2 x j + x j = 1 r 2 e j x ̲ + 1 r 2 x j + x j = 1 x ̲ e j + ( x j r 2 ) + x j = e j 1 x ̲ ( x j r 2 ) + x j .
Clearly, each of the operators d j ( j = 1 , , m ) is Cartesian. It is the sum of the scalar part x j and bivector part 1 r 2 e j x ̲ + 1 r 2 x j = 1 r 2 ( e j e 1 x 1 + + e j e j 1 x j 1 + e j e j + 1 x j + 1 + + e j e m x m ) . This bivector part is a combination of the operator 1 x ̲ and its components ( j r 2 , j = 1 , , m ) .
As the operator d j is a well-defined, but not uniquely defined, operator acting on distributions, the signum pairs of operators [ d j , x j ] , j = 1 , , m hold, enabling the definition of the Cartesian derivative x j of a signumdistribution as an equivalence class of signumdistributions, as shown in the following commutative diagram:
Axioms 14 00533 i008
Remark 6.
A relationship exists between operators d j , j = 1 , , m , Dirac operator ̲ , and operator D ̲ . A straightforward calculation is as follows:
̲ = j = 1 m e j d j + ( m 1 ) 1 r 2 x ̲ = j = 1 m e j d j ( m 1 ) 1 x ̲ , D ̲ = j = 1 m e j d j + 2 1 r 2 x ̲ E = j = 1 m e j d j 2 1 x ̲ E .

8. Actions on T λ and U λ

The results of the preceding sections now will be applied to the distributions T λ and U λ . Recalling Definition 1, for λ C , it holds that
T λ , φ ( x ̲ ) : = a m Fp r + λ + m 1 , Σ ( 0 ) [ φ ] ( r )
and
U λ , φ ( x ̲ ) : = a m Fp r + λ + m 1 , Σ ( 1 ) [ φ ] ( r ) .
An alternative, and handy, notation could be T λ = Fp r λ and U λ = ω ̲ Fp r λ .
For more details, we refer to the series of papers cited at the beginning of Section 1 and also to Appendix B. Now, we briefly comment on Definition 1.
A priori, the distributions T λ and U λ are not defined at the simple poles λ = m n + 1 , n N , on the r-axis, of the one-dimensional distribution Fp r + λ + m 1 . To cope with these singularities, the distributions Fp r + n , n N are interpreted as monomial pseudofunctions (see Appendix A).
The distributions T λ are standard scalar distributions that are well known in harmonic analysis. They are radial and homogeneous of degree λ . As meromorphic functions of λ C , they exhibit genuine simple poles at λ = m , m 2 , m 4 , . This is due to the fact that the singular points λ = m 2 1 , = 0 , 1 , 2 , are removable, since the spherical mean Σ ( 0 ) [ ϕ ] has its odd-order derivatives vanishing at r = 0 . So, we can define
T m 2 1 , ϕ = lim μ 2 2 a m Fp r + μ , Σ ( 0 ) [ ϕ ] ( r )
but, remarkably, this limit is precisely a m Fp r + 2 2 , Σ ( 0 ) [ ϕ ] ( r ) , with Fp r + 2 2 being the monomial pseudofunction. The most important distribution in this family is T m + 2 = 1 r m 2 , which is, up to a constant, the fundamental solution of the Laplace operator Δ . Also, note the special cases T 0 = 1 , T 2 = r 2 = ( 1 ) x ̲ 2 and T 2 + 1 = r 2 + 1 , = 0 , 1 , 2 , .
The distributions U λ are homogeneous of degree λ . As vector-valued meromorphic functions of λ C , they exhibit genuine simple poles at λ = m 1 , m 3 , m 5 , . This is due to the fact that the singular points λ = m 2 , = 0 , 1 , 2 , are removable, since the spherical mean Σ ( 1 ) [ ϕ ] has its even-order derivatives vanishing at r = 0 . So, we can define
U m 2 , ϕ = lim μ 2 1 a m Fp r + μ , Σ ( 1 ) [ ϕ ] ,
but this limit is precisely a m Fp r + 2 1 , Σ ( 1 ) [ ϕ ] , with Fp r + 2 1 being the monomial pseudofunction. The most important distribution in this family is U m + 1 = ω ̲ r m 1 = x ̲ r m , which is, up to a constant, the fundamental solution of the Dirac operator ̲ . Also, note the special cases U 0 = ω ̲ , U 2 = ω ̲ r 2 and U 2 + 1 = ω ̲ r 2 + 1 = ( 1 ) x ̲ 2 + 1 , = 0 , 1 , 2 , .
It is important to note that, although the distributions T λ and U λ are also defined in their respective singularities, these exceptional values do not turn these distributions into entire functions of parameter λ C .
When restricted to the half-plane R e λ > m , the distributions T λ and U λ are regular, that is, they are locally integrable functions. From [3,5,6], we know that a locally integrable function can also be seen as a signumdistribution. This inspires the definition of the following two families of the following signumdistributions:
T λ s , ω ̲ φ ( x ̲ ) : = a m Fp r + λ + m 1 , Σ ( 1 ) [ φ ] ( r )
and
U λ s , ω ̲ φ ( x ̲ ) : = a m Fp r + λ + m 1 , Σ ( 0 ) [ φ ] ( r ) .
It is clear that
T λ = U λ s , U λ s = T λ ,
and
U λ = T λ s , T λ s = U λ .
Thus, T λ s inherits the simple poles of U λ , that is, λ = m 1 , m 3 , m 5 , , whereas U λ s inherits the simple poles of T λ , that is, λ = m , m 2 , m 4 , .
Because the distributions T λ are radial, according to Definition 10, the signumdistributions U λ s are signum-radial. Because the signumdistributions T λ s are radial, and by the same definition, the distributions U λ are signum-radial.
In the following subsections, we systematically compute the actions on T λ , U λ , T λ s , and U λ s of all operators introduced in the preceding sections, paying attention to the uniqueness of the expressions obtained.

8.1. The Operators x ̲ , r, and r 2

The multiplication operator x ̲ is a Cartesian operator whose actions are, naturally, uniquely determined. For all λ C , it holds that
x ̲ T λ = U λ + 1 , x ̲ U λ = T λ + 1 .
Based on the commutative diagram
Axioms 14 00533 i009
we find the additional formulæ
r T λ = T λ + 1 s and r U λ s = U λ + 1 , λ C ,
and
x ̲ U λ s = T λ + 1 s , λ C .
Similarly, based on the commutative diagram
Axioms 14 00533 i010
we obtain the additional formulæ
r T λ s = T λ + 1 and r U λ = U λ + 1 s , λ C ,
and also
x ̲ T λ s = U λ + 1 s , λ C .
Iteration of the multiplication operator x ̲ results in
r 2 T λ = T λ + 2 , r 2 U λ = U λ + 2 , λ C ,
and
r 2 T λ s = T λ + 2 s , r 2 U λ s = U λ + 2 s , λ C .
The natural powers of x ̲ are Cartesian operators too. We find that, for all λ C ,
( 1 ) x ̲ 2 T λ = r 2 T λ = T λ + 2 ( 1 ) x ̲ 2 + 1 T λ = ( ω ̲ r 2 + 1 ) T λ = U λ + 2 + 1
and
( 1 ) x ̲ 2 U λ = r 2 U λ = U λ + 2 ( 1 ) + 1 x ̲ 2 + 1 U λ = ( ω ̲ r 2 + 1 ) U λ = T λ + 2 + 1 .
Through the appropriate commutative diagrams we find, for all λ C ,
r 2 T λ s = T λ + 2 s r 2 U λ s = U λ + 2 s
and
r 2 + 1 T λ = T λ + 2 + 1 s r 2 + 1 U λ = U λ + 2 + 1 s .

8.2. The Operators ̲ and Δ

Similar to the multiplication operator x ̲ , the Dirac operator ̲ intertwines the T λ and U λ distribution families. It is clearly a Cartesian operator whose action is uniquely determined. It holds that
̲ T λ = λ U λ 1 , λ m , m 2 , m 4 ,
and
̲ U λ = ( λ + m 1 ) T λ 1 , λ m + 1 , m 1 , m 3 , ,
while for = 0 , 1 , 2 , ,
̲ T m 2 = ( m + 2 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ )
and
̲ U m 2 + 1 = ( 2 ) T m 2 + ( 1 ) 1 m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ ) ,
with
C ( m , ) = 2 2 + 1 ! Γ ( m 2 + + 1 ) Γ ( m 2 ) = 2 ! m ( m + 2 ) ( m + 4 ) ( m + 2 ) .
In particular, for = 0 , it holds that
̲ T m = ( m ) U m 1 1 m a m ̲ δ ( x ̲ )
and
̲ U m + 1 = a m δ ( x ̲ ) .
Equation (12) expresses the well-known fact that 1 m U m + 1 is indeed the fundamental solution of the Dirac operator ̲ .
Note also that
̲ T 0 = 0 and ̲ ln r = U 1 .
Using the signum pair of operators ( ̲ , D ̲ ) , we obtain the corresponding formulæ for the signumdistributions T λ s and U λ s as
D ̲ U λ s = λ T λ 1 s , λ m , m 2 , m 4 ,
and
D ̲ T λ s = ( λ + m 1 ) U λ 1 s , λ m + 1 , m 1 , m 3 , ,
while for = 0 , 1 , 2 , ,
D ̲ U m 2 s = ( m + 2 ) T m 2 1 s + ( 1 ) + 1 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ )
and
D ̲ T m 2 + 1 s = ( 2 ) U m 2 s + ( 1 ) m + 2 C ( m , ) a m ω ̲ ̲ 2 δ ( x ̲ ) ,
and, in particular, for = 0 ,
D ̲ U m s = m T m 1 s 1 m a m ω ̲ ̲ δ ( x ̲ )
and
D ̲ T m + 1 s = a m ω ̲ δ ( x ̲ ) .
The iteration of the Dirac operator ̲ results in formulæ for the action of the Laplace operator on distributions. It holds that
Δ T λ = λ ( λ + m 2 ) T λ 2 , λ m + 2 , m , m 2 ,
Δ U λ = ( λ 1 ) ( λ + m 1 ) U λ 2 , λ m + 1 , m 1 ,
and
Δ T m 2 = ( m + 2 ) ( 2 + 2 ) T m 2 2 + ( 1 ) a m ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) ̲ 2 + 2 δ ( x ̲ )
Δ U m 2 + 1 = ( m + 2 ) ( 2 ) U m 2 1 + ( 1 ) a m m + 4 C ( m , ) ̲ 2 + 1 δ ( x ̲ ) ,
and, in particular, for = 0 ,
Δ T m = 2 m T m 2 + m + 2 2 m a m ̲ 2 δ ( x ̲ )
Δ U m + 1 = a m ̲ δ ( x ̲ ) ,
and also
Δ T m + 2 = ( m 2 ) a m δ ( x ̲ ) .
This last formula expresses the fact that 1 m 2 1 a m T m + 2 is indeed the fundamental solution of the Laplace operator.
It should be noted that continuing the iteration with the Dirac operator ̲ leads to the fundamental solutions of the natural powers of ̲ . We find
̲ 2 E 2 = ̲ 2 1 2 1 ( 1 ) ! ( m 2 ) ( m 4 ) ( m 2 ) 1 a m T m + 2 = δ ( x ̲ )
and
̲ 2 + 1 E 2 + 1 = ̲ 2 + 1 1 2 ( ) ! ( m 2 ) ( m 4 ) ( m 2 ) 1 a m U m + 2 + 1 = δ ( x ̲ ) .
If the dimension m is odd, then the above formulæ are valid for all natural values of . However, if the dimension m is even, then these expressions are only valid for < m / 2 . This already becomes clear from the fundamental solution E m of the operator ̲ m , which is logarithmic in nature: For even dimension m, it holds that
̲ m E m = ̲ m 1 2 m 1 π m / 2 Γ ( m / 2 ) ln r = δ ( x ̲ )
More generally, for all k N and still for m even, it holds (see [1]) that
E m + 2 k 1 = p 2 k 1 ln r + q 2 k 1 π m 2 + k Γ ( m 2 + k ) U 2 k 1 , E m + 2 k = p 2 k ln r + q 2 k π m 2 + k Γ ( m 2 + k ) T 2 k .
The constants ( p 2 k 1 , q 2 k 1 ) and ( p 2 k , q 2 k ) satisfy the recurrence relations
p 2 k = 1 2 k p 2 k 1 q 2 k = 1 2 k q 2 k 1 1 2 k p 2 k 1
and
p 2 k + 1 = 1 2 π p 2 k q 2 k + 1 = 1 2 π q 2 k 1 m + 2 k p 2 k
with initial values
p 0 = 1 2 m 1 π m , q 0 = 0 .
Through the signum pair of operators ( Δ , Z ) or, equivalently, by iteration of the action of operator D ̲ , we obtain the corresponding formulæ for operator Z acting between the signumdistributions as follows:
Z U λ s = λ ( λ + m 2 ) U λ 2 s , λ m + 2 , m , m 2 ,
Z T λ s = ( λ 1 ) ( λ + m 1 ) T λ 2 s , λ m + 1 , m 1 ,
and
Z U m 2 s = ( m + 2 ) ( 2 + 2 ) U m 2 2 s + ( 1 ) a m ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) ω ̲ ̲ 2 + 2 δ ( x ̲ )
Z T m 2 + 1 s = ( m + 2 ) ( 2 ) T m 2 1 s + ( 1 ) + 1 a m m + 4 C ( m , ) ω ̲ ̲ 2 + 1 δ ( x ̲ ) ,
and, in particular, for = 0 ,
Z U m s = 2 m U m 2 s + a m m + 2 2 m ω ̲ ̲ 2 δ ( x ̲ )
Z T m + 1 s = a m r δ ( x ̲ ) ,
and also
Z U m + 2 s = ( m 2 ) a m ω ̲ δ ( x ̲ ) .

8.3. The Operators E , Γ , and ω ̲

The operators E and Γ are Cartesian, and their actions on the distributions T λ and U λ are uniquely determined. Combining the actions of operators x ̲ and ̲ , we find, using (2), the following formulæ:
E T λ = λ T λ , Γ T λ = 0 , λ m , m 2 ,
and
E U λ = λ U λ , Γ U λ = ( m 1 ) U λ , λ m + 1 , m 1 , ,
while for = 0 , 1 , 2 , ,
E T m 2 = ( m + 2 ) T m 2 + ( 1 ) m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ ) , Γ T m 2 = 0
and
E U m 2 + 1 = ( m + 2 1 ) U m 2 + 1 + ( 1 ) 1 C ( m , 1 ) a m ̲ 2 1 δ ( x ̲ ) ,
Γ U m 2 + 1 = ( m 1 ) U m 2 + 1 ,
and, in particular, for = 0 ,
E T m = m T m + a m δ ( x ̲ ) , Γ T m = 0
and
E U m + 1 = ( m + 1 ) U m + 1 , Γ U m + 1 = ( m 1 ) U m + 1 .
Note that the result Γ U λ = ( m 1 ) U λ holds for all λ C . This is no surprise, because it was proved in [6] that, for any signum-radial distribution S, it holds that Γ S = ( m 1 ) S .
The actions of the Euler operator on the associated signumdistributions are readily obtained using the signum pair of operators ( E , E )
E U λ s = λ U λ s , λ m , m 2 ,
and
E T λ s = λ T λ s , λ m + 1 , m 1 , ,
while for = 0 , 1 , 2 , ,
E U m 2 s = ( m + 2 ) U m 2 s + ( 1 ) m + 2 C ( m , ) a m ω ̲ ̲ 2 δ ( x ̲ )
and
E T m 2 + 1 s = ( m + 2 1 ) T m 2 + 1 s + ( 1 ) + 1 1 C ( m , 1 ) a m ω ̲ ̲ 2 1 δ ( x ̲ ) ,
and, in particular, for = 0 ,
E U m s = m U m s + a m ω ̲ δ ( x ̲ )
and
E T m + 1 s = ( m + 1 ) T m + 1 s .
Through the signum pair of operators ( Γ , ω ̲ ω ̲ ) , the above formulæ for the action of operator Γ on the distributions T λ immediately leads to the following results, which are valid for all λ C :
  • ω ̲ T λ = 0 ;
  • ω ̲ ω ̲ ω ̲ U λ s = 0 ;
  • ω ̲ ω ̲ U λ s = 0 .
The last formula leads to
Γ U λ s = ( m 1 ) U λ s , λ C .
Similarly, the action of Γ on the distributions U λ entails the following for all λ C :
  • ω ̲ U λ = ( m 1 ) T λ s ;
  • ω ̲ ω ̲ ω ̲ T λ s = ( m 1 ) U λ ;
  • ω ̲ ω ̲ T λ s = ( m 1 ) T λ s .
This last formula leads to
Γ T λ s = 0 , λ C .

8.4. The Operators ω ̲ ω ̲ , ω ̲ ω ̲ ω ̲ , Δ * , and Z *

As was stated in Proposition 1, the angular operators ω ̲ 2 and Δ * are Cartesian, and their actions on distributions and on signumdistributions are uniquely determined. As
ω ̲ ω ̲ = ( m 1 ) 1 + Γ ,
it holds, for all λ C , that
ω ̲ ω ̲ T λ = ( m 1 ) T λ ,
and through the commutative diagram
Axioms 14 00533 i011
we obtain, for all λ C ,
  • ω ̲ ω ̲ ω ̲ T λ = ( m 1 ) U λ s ;
  • ω ̲ U λ s = ( m 1 ) T λ .
These results confirm formula (34).
Similarly, for all λ C , it holds that
ω ̲ ω ̲ U λ = 0 .
Through the commutative diagram
Axioms 14 00533 i012
it then follows that, for all λ C ,
  • ω ̲ ω ̲ ω ̲ U λ = 0 ;
  • ω ̲ T λ s = 0 .
These results confirm formula (35).
For the actions of the Laplace–Beltrami operator Δ * = ω ̲ ω ̲ ω ̲ 2 and its signum partner Z * , we now find, for all λ C ,
Δ * T λ = 0 and Z * U λ s = 0 ;
Δ * U λ = ( m 1 ) U λ and Z * T λ s = ( m 1 ) T λ s ;
Δ * T λ s = 0 and Z * U λ = 0 ;
Δ * U λ s = ( m 1 ) U λ s and Z * T λ = ( m 1 ) T λ .

8.5. The Operators 1 x ̲ , 1 r , and 1 r 2

Division of a distribution by x ̲ is a Cartesian operation that generally leads to an equivalence class of distributions. However, in view of the results in Section 6, we know that under the action of operators 1 x ̲ and 1 r , only the distribution U m + 1 and the signumdistribution T m + 1 s will have a non-unique result. The same holds for U m + 1 , T m + 1 s , T m + 2 , and U m + 2 s under the action of operator 1 r 2 .
We obtain the following formulæ
1 r T λ = T λ 1 s and 1 r U λ s = U λ 1 , λ C
and
1 x ̲ T λ = U λ 1 and 1 x ̲ U λ s = T λ 1 s , λ C
and
1 r U λ = U λ 1 s and 1 r T λ s = T λ 1 , λ m + 1
and also
1 x ̲ U λ = T λ 1 and 1 x ̲ T λ s = U λ 1 s , λ m + 1 .
For the exceptional case when λ = m + 1 , we obtain the following results, which are non-unique up to an arbitrary constant c, as
1 r U m + 1 = U m s + ω ̲ δ ( x ̲ ) c and 1 r T m + 1 s = T m + δ ( x ̲ ) c ,
and
1 x ̲ U m + 1 = T m + δ ( x ̲ ) c and 1 x ̲ T m + 1 s = U m s ω ̲ δ ( x ̲ ) c .
By iteration, we find formulæfor the division by r 2 as follows:
1 r 2 T λ = T λ 2 s 1 r 2 U λ s = U λ 2 s , λ m + 2
and
1 r 2 T λ s = T λ 2 s 1 r 2 U λ = U λ 2 s , λ m + 1 .
For the exceptional case λ = m + 2 , we have
1 r 2 T m + 2 = 1 x ̲ 1 x ̲ T m + 2 = 1 x ̲ U m + 1 ,
whence
1 r 2 T m + 2 = T m + δ ( x ̲ ) c 1 r 2 U m + 2 s = U m s + ω ̲ δ ( x ̲ ) c .
For the exceptional case when λ = m + 1 , we have
1 r 2 U m + 1 = 1 x ̲ 1 x ̲ U m + 1 = 1 x ̲ ( T m + δ ( x ̲ ) c ) ,
whence
1 r 2 T m + 1 s = T m 1 s 1 m r δ ( x ̲ ) c 1 r 2 U m + 1 = U m 1 1 m ̲ δ ( x ̲ ) c .
The action of the operator 1 x ̲ components ( x j r 2 ) , j = 1 , , m , acting on all T λ and U λ , is uniquely determined, except for U m + 1 . We readily have
( x j r 2 ) T λ = x j T λ 2 ( x j r 2 ) U λ s = x j U λ 2 s , λ C .
Further, for λ m + 1 , we have
( x j r 2 ) U λ = x j U λ 2 ( x j r 2 ) T λ s = x j T λ 2 s , λ m + 1 ,
while for the exceptional case when λ = m + 1 , it holds that
( x j r 2 ) U m + 1 = x j ( U m 1 1 m ̲ δ ( x ̲ ) c ) ,
whence
( x j r 2 ) U m + 1 = x j U m 1 + 1 m x j ̲ δ ( x ̲ ) c ,
and
( x j r 2 ) T m + 1 s = x j T m 1 s ω j δ ( x ̲ ) c ,
or
( x j r 2 ) U m + 1 = x j U m 1 1 m δ ( x ̲ ) c e j ,
and
( x j r 2 ) T m + 1 s = x j T m 1 s + 1 m ω ̲ δ ( x ̲ ) c e j .

8.6. The Operators ω j , j = 1 , , m

The multiplication operator ω j , j = 1 , , m is a spherical operator whose actions are uniquely determined (see Definition 4 in Section 5). For all λ C , it holds that
ω j T λ = { ω ̲ T λ } j = { s U λ } j = x j T λ 1 s ,
and, through signum association,
ω j U λ s = x j U λ 1 .
It is verified at once that
ω ̲ T λ = Σ j = 1 m e j ω j T λ = Σ j = 1 m e j x j T λ 1 s = x ̲ T λ 1 s = U λ s ,
and
ω ̲ U λ s = Σ j = 1 m e j ω j U λ s = Σ j = 1 m e j x j U λ 1 = x ̲ U λ 1 = T λ .
Similarly, we find that
ω j U λ = k ω j { U λ } k e k = k ω j x k T λ 1 e k = k x k x j T λ 2 s e k = x j U λ 1 s ,
and, through signum association,
ω j T λ s = x j T λ 1 .
By iteration, for all λ C , it follows that
ω k ω j T λ = x j x k T λ 2 ; ω k ω j U λ = x j x k U λ 2 ; ω k ω j T λ s = x j x k T λ 2 s ; ω k ω j U λ s = x j x k U λ 2 s .

8.7. The Operators ω ̲ r , 1 r ω ̲ , and r

As we know how to divide by x ̲ the distributions T λ and U λ , we are now ready to compute the actions of the radial and angular parts of the Dirac operator through procedures (3) and (4), respectively. Generally, the results of these actions are equivalence classes of distributions. However, we know from Section 6 that we may expect uniquely determined results, except for distribution U m + 1 and signumdistribution T m + 1 s .
First, we address the distributions T λ . For λ m , m 2 , , we find that ( ω ̲ r ) T λ is uniquely determined by
( ω ̲ r ) T λ = 1 x ̲ E T λ = 1 x ̲ λ T λ = = 1 x ̲ λ T λ = λ U λ 1 .
In view of (7), it follows that
( 1 r ω ̲ ) T λ = 0 , λ m , m 2 , .
For the exceptional cases we find that the distributions ( ω ̲ r ) T m 2 , = 0 , 1 , 2 , are uniquely determined by
( ω ̲ r ) T m 2 = 1 x ̲ E T m 2 = 1 x ̲ ( m + 2 ) T m 2 + ( 1 ) m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ ) = ( m + 2 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) .
In view of (9), it follows that
( 1 r ω ̲ ) T m 2 = 0 , , = 0 , 1 , 2 , .
In particular, for λ = m , we have
( ω ̲ r ) T m = 1 x ̲ E T m = 1 x ̲ ( m T m + a m δ ( x ̲ ) ) = ( m ) U m 1 1 m a m ̲ δ ( x ̲ )
and
( 1 r ω ̲ ) T m = 0 ,
which are in accordance with (11).
Notice that the formula
( 1 r ω ̲ ) T λ = 0
thus holds for all λ C .
Through the signum pair of operators [ ω ̲ r , ω ̲ r ] and the corresponding commutative diagrams we then obtain the following formulæ.
For λ m , m 2 , , the following hold:
  • r T λ = λ T λ 1 s ;
  • r U λ s = λ U λ 1 ;
  • ( ω ̲ r ) U λ s = λ T λ 1 s .
For the exceptional values λ = m 2 , = 0 , 1 , 2 , , the following hold:
  • r T m 2 = ( m + 2 ) T m 2 1 s + ( 1 ) 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) ;
  • r U m 2 s = ( m + 2 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) ;
  • ( ω ̲ r ) U m 2 s = ( m + 2 ) T m 2 1 s + ( 1 ) + 1 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) .
In particular, for = 0 , the following hold:
  • r T m = ( m ) T m 1 s 1 m a m r δ ( x ̲ ) ;
  • r U m s = ( m ) U m 1 1 m a m ̲ δ ( x ̲ ) ;
  • ( ω ̲ r ) U m s = m T m 1 s + 1 m a m r δ ( x ̲ ) .
Through the signum pair of operators [ 1 r ω ̲ , 1 r ω ̲ ω ̲ ω ̲ ] and the corresponding commutative diagrams, we obtain, for all λ C , that
  • 1 r Γ T λ = 0 ;
  • 1 r Γ U λ s = ( m 1 ) U λ 1 ;
  • ( 1 r ω ̲ ) U λ s = ( m 1 ) T λ 1 s .
Now, let us turn our attention to the distributions U λ .
For λ m + 1 , m 1 , , we find the unique expressions
( ω ̲ r ) U λ = 1 x ̲ E U λ = 1 x ̲ λ U λ = λ T λ 1 ,
and
( 1 r ω ̲ ) U λ = 1 x ̲ Γ U λ = 1 x ̲ ( m 1 ) U λ = ( m 1 ) T λ 1 ,
which are in accordance with (8).
In the exceptional cases, we find, using (30), for = 1 , 2 , , the unique expressions
( ω ̲ r ) U m 2 + 1 = 1 x ̲ E U m 2 + 1 = 1 x ̲ ( m + 2 1 ) U m 2 + 1 + ( 1 ) + 1 1 x ̲ 1 C ( m , 1 ) a m ̲ 2 1 δ ( x ̲ ) = ( m + 2 1 ) T m 2 + ( 1 ) + 1 m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ ) ,
and
( 1 r ω ̲ ) U m 2 + 1 = 1 x ̲ Γ U m 2 + 1 = 1 x ̲ ( m 1 ) U m 2 + 1 = ( m 1 ) T m 2 ,
which are in accordance with (10).
In the particular case where λ = m + 1 , we find, using (33), the entangled expressions
( ω ̲ r ) U m + 1 = 1 x ̲ E U m + 1 = 1 x ̲ ( m + 1 ) U m + 1 = ( m 1 ) T m + δ ( x ̲ ) c 1 ,
and
( 1 r ω ̲ ) U m + 1 = 1 x ̲ Γ U m + 1 = 1 x ̲ ( m 1 ) U m + 1 = ( m 1 ) T m + δ ( x ̲ ) c 2 ,
where, as seen in (12), the arbitrary constants c 1 and c 2 must satisfy the entanglement condition
c 1 + c 2 = a m .
Remark 7.
It should be noted that, in Section 8.8, we fix a particular choice for constants c 1 and c 2 satisfying (42), in this way defining both ( ω ̲ r ) U m + 1 and ( 1 r ω ̲ ) U m + 1 .
Through the actions of the operators ω ̲ r and 1 r ω ̲ , it is possible to recover the formulæfor the action of the Laplace operator.
  • For λ m + 2 , m , m 2 , , we have
    ( ω ̲ r ) 2 T λ = ( ω ̲ r ) ( λ U λ 1 ) = λ ( λ 1 ) T λ 2 ( 1 r ω ̲ ) ( ω ̲ r ) T λ = ( 1 r ω ̲ ) ( λ U λ 1 ) = λ ( m 1 ) T λ 2 .
    Keeping in mind that ( 1 r ω ̲ ) T λ = 0 , it is confirmed that
    Δ T λ = λ ( λ + m 2 ) T λ 2 .
  • For λ = m + 2 , we have
    ( ω ̲ r ) 2 T m + 2 = ( ω ̲ r ) ( ( m + 2 ) U m + 1 ) = ( m 2 ) ( ( m 1 ) T m a m δ ( x ̲ ) ) ( 1 r ω ̲ ) ( ω ̲ r ) T m + 2 = ( 1 r ω ̲ ) ( ( m + 2 ) U m + 1 ) = ( m 2 ) ( m 1 ) T m ,
    confirming that
    Δ T m + 2 = ( m 2 ) a m δ ( x ̲ ) .
  • For λ = m 2 , we have
    ( ω ̲ r ) 2 T m 2 = ( ω ̲ r ) ( ( m + 2 ) U m 2 1
    + ( 1 ) + 1 ( 2 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ̲ 2 + 1 δ ( x ̲ ) )
    = ( m + 2 ) ( m + 2 + 1 ) T m 2 2 + ( 1 ) + 1 m + 2 + 2 C ( m , + 1 ) ( 2 m + 4 + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) ,
    and
    ( 1 r ω ̲ ) ( ω ̲ r ) T m 2 = ( 1 r ω ̲ ) ( ( m + 2 ) U m 2 1
    + ( 1 ) + 1 ( 2 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ̲ 2 + 1 δ ( x ̲ ) )
    = ( m + 2 ) ( 1 m ) T m 2 2 + ( 1 ) + 1 m + 2 + 2 C ( m , + 1 ) ( 1 m ) a m ̲ 2 + 2 δ ( x ̲ ) ,
    confirming that
    Δ T m 2 = ( m + 2 ) ( 2 + 2 ) T m 2 2 + ( 1 ) ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) .
  • For λ m + 1 , m 1 , m 3 , , we have
    ( ω ̲ r ) 2 U λ = ( ω ̲ r ) ( λ T λ 1 ) = λ ( λ 1 ) U λ 2 ( 1 r ω ̲ ) ( ω ̲ r ) U λ = ( 1 r ω ̲ ) ( λ T λ 1 ) = 0 ( ω ̲ r ) ( 1 r ω ̲ ) U λ = ( ω ̲ r ) ( ( m 1 ) T λ 1 ) = ( m 1 ) ( λ 1 ) U λ 2 ( 1 r ω ̲ ) ( 1 r ω ̲ ) U λ = ( 1 r ω ̲ ) ( ( m 1 ) T λ 1 ) = 0 ,
    confirming that
    Δ U λ = ( λ 1 ) ( λ + m 1 ) U λ 2 .
  • For λ = m + 1 , we have
    ( ω ̲ r ) 2 U m + 1 = ( ω ̲ r ) ( ( m 1 ) T m a m δ ( x ̲ ) ) = ( m 1 ) m U m 1 2 m 1 m a m ̲ δ ( x ̲ ) ( 1 r ω ̲ ) ( ω ̲ r ) U m + 1 = ( 1 r ω ̲ ) ( ( m 1 ) T m a m δ ( x ̲ ) ) = 0 ( ω ̲ r ) ( 1 r ω ̲ ) U m + 1 = ( ω ̲ r ) ( ( m 1 ) T m ) = ( m 1 ) m U m 1 + m 1 m a m ̲ δ ( x ̲ ) ( 1 r ω ̲ ) ( 1 r ω ̲ ) U m + 1 = ( 1 r ω ̲ ) ( ( m 1 ) T m ) = 0 ,
    confirming that
    Δ U m + 1 = a m ̲ δ ( x ̲ ) .
  • For λ = m 2 + 1 , we have
    ( ω ̲ r ) 2 U m + 1 = ( m + 2 1 ) ( m + 2 ) U m 2 1 + ( 1 ) + 1 2 m + 4 1 C ( m , ) a m ̲ 2 + 1 ( 1 r ω ̲ ) ( ω ̲ r ) U m + 1 = 0 ( ω ̲ r ) ( 1 r ω ̲ ) U m + 1 = ( m + 2 ) ( m 1 ) U m 2 1 ( 1 ) + 1 m 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) ( 1 r ω ̲ ) ( 1 r ω ̲ ) U m + 1 = 0 ,
    confirming that
    Δ U m 2 + 1 = ( m + 2 ) ( 2 ) U m 2 1 + ( 1 ) a m m + 4 C ( m , ) ̲ 2 + 1 δ ( x ̲ ) .
Through the signum pair of operators [ ω ̲ r , ω ̲ r ] and the corresponding commutative diagrams, we obtain the following formulæ.
For λ m + 1 , m 1 , , the following hold:
  • r U λ = λ U λ 1 s ;
  • r T λ s = λ T λ 1 ;
  • ( ω ̲ r ) T λ s = λ U λ 1 s .
For the exceptional values λ = m 2 + 1 , = 1 , 2 , , the following hold:
  • r U m 2 + 1 = ( m + 2 1 ) U m 2 s + ( 1 ) m + 2 C ( m , ) a m ω ̲ ̲ 2 δ ( x ̲ ) ;
  • r T m 2 + 1 s = ( m + 2 1 ) T m 2 + ( 1 ) m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ ) ;
  • ( ω ̲ r ) T m 2 + 1 s = ( m + 2 1 ) U m 2 s + ( 1 ) m + 2 C ( m , ) a m ω ̲ ̲ 2 δ ( x ̲ ) .
On the other hand, for = 0 , the following hold:
  • r U m + 1 = ( m 1 ) U m s ω ̲ δ ( x ̲ ) c 1 ;
  • r T m + 1 s = ( m 1 ) T m δ ( x ̲ ) c 1 ;
  • ( ω ̲ r ) T m + 1 s = ( m 1 ) U m s ω ̲ δ ( x ̲ ) c 1 .
Through the signum pair of operators [ 1 r ω ̲ , 1 r ω ̲ ω ̲ ω ̲ ] and the corresponding commutative diagrams, we obtain the following formulæ.
For λ m + 1 , m 1 , , the following hold:
  • ( 1 r Γ + ( m 1 ) 1 r ) T λ s = ( m 1 ) T λ 1 ;
  • 1 r Γ U λ = ( m 1 ) U λ 1 s ;
  • ( 1 r ω ̲ + ( m 1 ) 1 r ω ̲ ) T λ s = ( m 1 ) U λ 1 s .
Equivalently, the following hold:
  • 1 r T λ s = T λ 1 ;
  • 1 r Γ U λ = ( m 1 ) U λ 1 s ;
  • 1 r ω ̲ T λ s = 0 .
For the exceptional values λ = m 2 + 1 , = 1 , 2 , , the following hold:
  • ( 1 r Γ + ( m 1 ) 1 r ) T m 2 + 1 s = ( m 1 ) T m 2 ;
  • 1 r Γ U m 2 + 1 = ( m 1 ) U m 2 s ;
  • ( 1 r ω ̲ + ( m 1 ) 1 r ω ̲ ) T m 2 + 1 s = ( m 1 ) U m 2 s .
Equivalently, the following hold:
  • 1 r T m 2 + 1 s = T m 2
  • 1 r Γ U m 2 + 1 = ( m 1 ) U m 2 s
  • 1 r ω ̲ T m 2 + 1 s = 0 .
For the exceptional value λ = m + 1 , the following hold:
  • ( 1 r Γ + ( m 1 ) 1 r ) T m + 1 s = ( m 1 ) T m δ ( x ̲ ) c 2 ;
  • 1 r Γ U m + 1 = ( m 1 ) U m s + ω ̲ δ ( x ̲ ) c 2 ;
  • ( 1 r ω ̲ + ( m 1 ) 1 r ω ̲ ) T m + 1 s = ( m 1 ) U m s ω ̲ δ ( x ̲ ) c 2 .
Equivalently, the following hold:
  • ( m 1 ) 1 r T m + 1 s = ( m 1 ) T m δ ( x ̲ ) c 2 ;
  • 1 r Γ U m + 1 = ( m 1 ) U m s + ω ̲ δ ( x ̲ ) c 2 ;
  • ( 1 r ω ̲ ) T m + 1 s = 0 .
Note that the formula
( 1 r ω ̲ ) T λ s = 0
is valid for all λ C .
As expected, U m + 1 is the only distribution in the two families of distributions T λ and U λ , λ C , for which the actions of the operators ̲ r a d and ̲ a n g are not uniquely determined, and a similar observation holds for the signumdistribution T m + 1 s . Nothing prevents us from defining these actions by selecting specific values for the arbitrary constants involved. However, to avoid possible inconsistencies, we will, for the moment, not do so and keep the constants c 1 and c 2 arbitrary but constrained by the entanglement condition (42), viz., c 1 + c 2 = a m . This is made possible by the fact that 1 x ̲ U m + 1 is expressed as an equivalence class of distributions, viz.,
1 x ̲ U m + 1 = T m + δ ( x ̲ ) c ,
which is necessary, because fixing here and now a particular value for this arbitrary constant c would lead to the impossible result ̲ U m + 1 = 0 .

8.8. The Operators D ̲ and Z

Combining the results obtained in Section 8.7 for the actions of the radial and angular parts of the Dirac operator, we obtain the action of operator D ̲ on the distributions T λ and U λ and of the Dirac operator ̲ on the signumdistributions T λ s and U λ s . These results should match with each other through the signum pair of operators [ D ̲ , ̲ ] . We expect U m + 1 to be the only distribution for which the D ̲ action is not uniquely determined and the same for the signumdistribution T m + 1 s with respect to the ̲ action. An overview of the results is now given, recalling, for completeness, some formulæalready obtained in the preceding subsections.
First, we consider the case of the distributions T λ and the associated signumdistributions U λ s .
For λ m , m 2 , , it holds that
( ω ̲ r ) T λ = λ U λ 1
( 1 r ω ̲ ) T λ = 0
̲ T λ = λ U λ 1
D ̲ T λ = ( λ + m 1 ) U λ 1 ,
and
( ω ̲ r ) U λ s = λ T λ 1 s
( 1 r ω ̲ ) U λ s = ( m 1 ) T λ 1 s
D ̲ U λ s = λ T λ 1 s
̲ U λ s = ( λ + m 1 ) T λ 1 s .
For λ = m , it holds that
( ω ̲ r ) T m = m U m 1 1 m a m ̲ δ ( x ̲ )
( 1 r ω ̲ ) T m = 0
̲ T m = m U m 1 1 m a m ̲ δ ( x ̲ )
D ̲ T m = U m 1 1 m a m ̲ δ ( x ̲ ) ,
and
( ω ̲ r ) U m s = m T m 1 s + 1 m a m r δ ( x ̲ )
( 1 r ω ̲ ) U m s = ( m 1 ) T m 1 s
D ̲ U m s = m T m 1 s + 1 m a m r δ ( x ̲ )
̲ U m s = T m 1 s + 1 m a m r δ ( x ̲ ) .
More generally, for λ = m 2 , = 0 , 1 , 2 , , it holds that
( ω ̲ r ) T m 2 = ( m + 2 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ )
( 1 r ω ̲ ) T m 2 = 0
̲ T m 2 = ( m + 2 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ )
D ̲ T m 2 = ( 2 + 1 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ )
and
( ω ̲ r ) U m 2 s = ( m + 2 ) T m 2 1 s + ( 1 ) + 1 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ )
( 1 r ω ̲ ) U m 2 s = ( m 1 ) T m 2 1 s
D ̲ U m 2 s = ( m + 2 ) T m 2 1 s + ( 1 ) + 1 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ )
̲ U m 2 s = ( 2 + 1 ) T m 2 1 s + ( 1 ) + 1 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) .
Now, we treat the case of the distributions U λ and the associated signumdistributions T λ s .
For λ m + 1 , m 1 , , it holds that
( ω ̲ r ) U λ = λ T λ 1
( 1 r ω ̲ ) U λ = ( m 1 ) T λ 1
̲ U λ = ( λ + m 1 ) T λ 1
D ̲ U λ = λ T λ 1 ,
and
( ω ̲ r ) T λ s = λ U λ 1 s
( 1 r ω ̲ ) T λ s = 0
D ̲ T λ s = ( λ + m 1 ) U λ 1 s
̲ T λ s = λ U λ 1 s .
For λ = m 2 + 1 , = 1 , 2 , , it holds that
( ω ̲ r ) U m 2 + 1 = ( m + 2 1 ) T m 2 + ( 1 ) + 1 m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ )
( 1 r ω ̲ ) U m 2 + 1 = ( m 1 ) T m 2
̲ U m 2 + 1 = ( 2 ) T m 2 + ( 1 ) + 1 m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ )
D ̲ U m 2 + 1 = ( m + 2 1 ) T m 2 + ( 1 ) + 1 m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ ) ,
and
( ω ̲ r ) T m 2 + 1 s = ( m + 2 1 ) U m 2 s + ( 1 ) m + 2 C ( m , ) a m ω ̲ ̲ 2 δ ( x ̲ )
( 1 r ω ̲ ) T m 2 + 1 s = 0
D ̲ T m 2 + 1 s = ( 2 ) U m 2 s + ( 1 ) m + 2 C ( m , ) a m ω ̲ ̲ 2 δ ( x ̲ )
̲ T m 2 + 1 s = ( m + 2 1 ) U m 2 s + ( 1 ) m + 2 C ( m , ) a m ω ̲ ̲ 2 δ ( x ̲ ) .
For the exceptional case λ = m + 1 , we find that
( ω ̲ r ) U m + 1 = ( m 1 ) T m + δ ( x ̲ ) c 1 ( 1 r ω ̲ ) U m + 1 = ( m 1 ) T m + δ ( x ̲ ) c 2 ̲ U m + 1 = a m δ ( x ̲ ) D ̲ U m + 1 = ( m 1 ) T m + δ ( x ̲ ) c * ,
and
( ω ̲ r ) T m + 1 s = ( m 1 ) U m s ω ̲ δ ( x ̲ ) c 1 ( 1 r ω ̲ ) T m + 1 s = 0 D ̲ T m + 1 s = ω ̲ δ ( x ̲ ) a m ̲ T m + 1 s = ( m 1 ) U m s ω ̲ δ ( x ̲ ) c * .
Apparently, the constant c * may be chosen freely, whereas constants c 1 and c 2 must satisfy the entanglement condition (42), which reads as
c 1 + c 2 = a m .
We now fix these arbitrary constants ourselves, which means that we define  ( ω ̲ r ) U m + 1 , ( 1 r ω ̲ ) U m + 1 , and D ̲ U m + 1 . Quite naturally, we have to be very cautious and constantly monitor the concistency. We made the following choices:
c * = c 1 = a m , c 2 = 0 .
Are there any arguments for this particular choice? Concerning the choice of c * , one can see that, for general λ , the expressions for ( ω ̲ r ) U λ and D ̲ U λ coincide, inspiring the choice c * = c 1 . Next, putting = 0 in the expression for ( ω ̲ r ) U m 2 + 1 results in
( m 1 ) T m a m δ ( x ̲ ) ,
which can then serve as the definition for ( ω ̲ r ) U m + 1 , making c 1 = a m and c 2 = 0 . Hence, we have the following definition.
Definition 12.
We define
( ω ̲ r ) U m + 1 = ( m 1 ) T m a m δ ( x ̲ )
( 1 r ω ̲ ) U m + 1 = ( m 1 ) T m
̲ U m + 1 = a m δ ( x ̲ )
D ̲ U m + 1 = ( m 1 ) T m a m δ ( x ̲ ) ,
and
( ω ̲ r ) T m + 1 s = ( m 1 ) U m s + a m ω ̲ δ ( x ̲ )
( 1 r ω ̲ ) T m + 1 s = 0
D ̲ T m + 1 s = a m ω ̲ δ ( x ̲ )
̲ T m + 1 s = ( m 1 ) U m s + a m ω ̲ δ ( x ̲ ) .
It should be noted that formula (84) matches the corresponding formula for all other values of parameter λ , that is,
( 1 r ω ̲ ) U λ = ( m 1 ) T λ 1 .
The iteration of operators ̲ and D ̲ yields the following formulæinvolving Laplace and Z operators. These results should match each other pairwise through the signum pairs of operators ( Δ , Z ) and [ Z , Δ ] . Based on the results in Section 6, we expect the distributions T m + 2 and U m + 1 to have non-unique results under the action of operator Z . The same holds for the signumdistributions U m + 2 s and T m + 1 s under the action of the Laplace operator Δ .
First, we consider the case of the distributions T λ and the associated signumdistributions U λ s .
For λ m + 2 , m , m 2 , , we already found formulæ (13) and (20), viz.
Δ T λ = λ ( λ + m 2 ) T λ 2 Z U λ s = λ ( λ + m 2 ) U λ 2 s ,
and now, it also holds that
Z T λ = ( λ 1 ) ( λ + m 1 ) T λ 2
Δ U λ s = ( λ 1 ) ( λ + m 1 ) U λ 2 s .
For λ = m + 2 , we already found formulæ (19) and (26), viz.
Δ T m + 2 = ( m 2 ) a m δ ( x ̲ ) Z U m + 2 s = ( m 2 ) a m ω ̲ δ ( x ̲ ) ,
and now, it also holds that
Z T m + 2 = ( m 1 ) T m + a m δ ( x ̲ )
Δ U m + 2 s = ( m 1 ) U m s + a m ω ̲ δ ( x ̲ ) .
For λ = m , we already found formulæ (17) and (24), viz.
Δ T m = 2 m T m 2 + ( 1 2 + 1 m ) a m ̲ 2 δ ( x ̲ ) Z U m s = 2 m U m 2 s + ( 1 2 + 1 m ) a m ω ̲ ̲ 2 δ ( x ̲ ) ,
and now, it also holds that
Z T m = ( m + 1 ) T m 2 + m + 2 2 m a m ̲ 2 δ ( x ̲ )
Δ U m s = ( m + 1 ) U m 2 s + m + 2 2 m a m ω ̲ ̲ 2 δ ( x ̲ ) .
More generally, for λ = m 2 , = 0 , 1 , 2 , , we already found formulæ (15) and (22),
Δ T m 2 = ( m + 2 ) ( 2 + 2 ) T m 2 2 + ( 1 ) ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) Z U m 2 s = ( m + 2 ) ( 2 + 2 ) U m 2 2 s + ( 1 ) ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) ,
and now, it also holds that
Z T m 2 = ( m + 2 + 1 ) ( 2 + 1 ) T m 2 2 + ( 1 ) ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ )
Δ U m 2 s = ( m + 2 + 1 ) ( 2 + 1 ) U m 2 2 s + ( 1 ) ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) .
Now, we treat the case of the distributions U λ and the associated signumdistributions T λ s .
For λ m + 1 , m 1 , , we already found formulæ (14) and (21), viz.
Δ U λ = ( λ 1 ) ( λ + m 1 ) U λ 2 Z T λ s = ( λ 1 ) ( λ + m 1 ) T λ 2 s ,
and now, it also holds that
Z U λ = λ ( λ + m 2 ) U λ 2
Δ T λ s = λ ( λ + m 2 ) T λ 2 s .
For λ = m + 1 , we already found formulæ (18) and (25), viz.
Δ U m + 1 = a m ̲ δ ( x ̲ ) Z T m + 1 s = a m r δ ( x ̲ ) ,
and now, it also holds that
Z U m + 1 = ( m 1 ) U m 1 + a m ̲ δ ( x ̲ )
Δ T m + 1 s = ( m 1 ) T m 1 s a m ω ̲ ̲ δ ( x ̲ ) .
More generally, for λ = m 2 + 1 , = 1 , 2 , , we already found formulæ (16) and (23), viz.
Δ U m 2 + 1 = ( m + 2 ) ( 2 ) U m 2 1 + ( 1 ) m + 4 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) Z T m 2 + 1 s = ( m + 2 ) ( 2 ) T m 2 1 s + ( 1 ) + 1 m + 4 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) ,
and now, it also holds that
Z U m 2 + 1 = ( m + 2 1 ) ( 2 + 1 ) U m 2 1 + ( 1 ) m + 4 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ )
Δ T m 2 + 1 s = ( m + 2 1 ) ( 2 + 1 ) T m 2 1 s + ( 1 ) + 1 m + 4 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) .
Note that, upon putting = 0 in (103), then (101) is obtained.

8.9. The Operators r 2 , 1 r r , 1 r 2 Δ * , and 1 r 2 Z *

In general, the separate actions of the three components of the Laplace operator expressed in spherical coordinates
Δ = r 2 + ( m 1 ) 1 r r + 1 r 2 Δ * ,
and of the associated signum operator
Z = r 2 + ( m 1 ) 1 r r + 1 r 2 Z * ,
are not uniquely determined but are entangled instead. However, for the specific distributions and signumdistributions under consideration, we expect all actions to be uniquely determined except for the distributions T m + 2 and U m + 1 and the associated signumdistributions U m + 2 s and T m + 1 s .
For general λ C , we find, through direct calculation, that
r 2 T λ = λ ( λ 1 ) T λ 2 , λ m + 2 , m , m 2 , 1 r r T λ = λ T λ 2 , λ m + 2 , m , m 2 , 1 r 2 Δ * T λ = 0 1 r 2 Z * T λ = ( m 1 ) T λ 2 , λ m + 2 ,
leading to expressions for Δ T λ and Z T λ , confirming formulæ (13) and (91), respectively, as well as
r 2 U λ = λ ( λ 1 ) U λ 2 , λ m + 1 , m 1 , 1 r r U λ = λ U λ 2 , λ m + 1 , m 1 , 1 r 2 Δ * U λ = ( m 1 ) U λ 2 1 r 2 Z * U λ = 0 ,
leading to expressions for Δ U λ and Z U λ , confirming formulæ (14) and (99), respectively.
Through signum pairing, see Section 4, we obtain
r 2 T λ s = λ ( λ 1 ) T λ 2 s , λ m + 1 , m 1 , 1 r r T λ s = λ T λ 2 s , λ m + 1 , m 1 , 1 r 2 Δ * T λ s = 0 1 r 2 Z * T λ s = ( m 1 ) T λ 2 s ,
leading to the expressions for Δ T λ s and Z T λ s , confirming formulæ (100) and (21), respectively, as well as
r 2 U λ s = λ ( λ 1 ) U λ 2 s , λ m + 2 , m , 1 r r U λ s = λ U λ 2 s , λ m + 2 , m , 1 r 2 Δ * U λ s = ( m 1 ) U λ 2 s , λ m + 2 1 r 2 Z * U λ s = 0 ,
leading to expressions for Δ U λ s and Z U λ s , confirming formulæ (92) and (20), respectively.
For λ = m + 2 , we obtain
r 2 T m + 2 = ( m 1 ) ( m 2 ) T m ( m 2 ) a m δ ( x ̲ ) 1 r r T m + 2 = 1 r ( m 2 ) T m + 1 s = ( m 2 ) ( T m + δ ( x ̲ ) c 3 ) 1 r 2 Δ * T m + 2 = 0 1 r 2 Z * T m + 2 = ( m 1 ) T m ( m 1 ) c 4 δ ( x ̲ ) .
However, these expressions are entangled by (19) and (93), which fix the values of the arbitrary constants c 3 and c 4 as c 3 = 0 and c 4 = a m , eventually leading to
r 2 T m + 2 = ( m 1 ) ( m 2 ) T m ( m 2 ) a m δ ( x ̲ ) 1 r r T m + 2 = 1 r ( m 2 ) T m + 1 s = ( m 2 ) T m 1 r 2 Δ * T m + 2 = 0 1 r 2 Z * T m + 2 = ( m 1 ) T m + ( m 1 ) a m δ ( x ̲ ) .
For λ = m + 1 , we obtain
r 2 U m + 1 = m ( m 1 ) U m 1 + 2 m 1 m a m ̲ δ ( x ̲ ) 1 r r U m + 1 = ( m 1 ) U m 1 1 m a m ̲ δ ( x ̲ ) 1 r 2 Δ * U m + 1 = ( m 1 ) U m 1 1 r 2 Z * U m + 1 = 0 ,
confirming the formulæ (18) and (101).
Through the signum pairs of operators [ r 2 , r 2 ] , [ 1 r r , 1 r r ] , [ 1 r 2 , 1 r 2 ] , and ( Δ * , Z * ) , we then find
r 2 U m + 2 s = ( m 1 ) ( m 2 ) U m s ( m 2 ) a m ω ̲ δ ( x ̲ ) 1 r r U m + 2 s = ( m 2 ) U m s 1 r 2 Z * U m + 2 = 0 1 r 2 Δ * U m + 2 s = ( m 1 ) U m s + ( m 1 ) a m ω ̲ δ ( x ̲ ) ,
confirming (26) and (94), as well as
r 2 T m + 1 s = m ( m 1 ) T m 1 s 2 m 1 m a m ω ̲ ̲ δ ( x ̲ ) 1 r r T m + 1 s = ( m 1 ) T m 1 s + 1 m a m ω ̲ ̲ δ ( x ̲ ) 1 r 2 Z * T m + 1 s = ( m 1 ) T m 1 s 1 r 2 Δ * T m + 1 s = 0 ,
confirming (25) and (102).
Additionally, we also find
r 2 T m = m ( m + 1 ) T m 2 + 2 m + 1 2 m a m ̲ 2 δ ( x ̲ ) 1 r r T m = m T m 2 1 2 m a m ̲ 2 δ ( x ̲ ) 1 r 2 Δ * T m = 0 1 r 2 Z * T m = ( m 1 ) T m 2 ,
confirming (17) and (95), and, via signum pairing—see Section 4—according to
r 2 U m s = m ( m + 1 ) U m 2 s + 2 m + 1 2 m a m ω ̲ ̲ 2 δ ( x ̲ ) 1 r r U m s = m U m 2 s 1 2 m a m ω ̲ ̲ 2 δ ( x ̲ ) 1 r 2 Z * U m = 0 1 r 2 Δ * U m s = ( m 1 ) U m 2 s ,
we confirm (24) and (96).
More generally it holds that
r 2 T m 2 = ( m + 2 ) ( m + 2 + 1 ) T m 2 2 + ( 1 ) ( m + 2 + 2 ) ( 2 m + 4 + 1 ) C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) 1 r r T m 2 = ( m + 2 ) T m 2 2 + ( 1 ) + 1 m + 2 + 2 C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) 1 r 2 Δ * T m 2 = 0 1 r 2 Z * T m 2 = ( m 1 ) T m 2 2 ,
confirming (15) and (97), and
r 2 U m 2 + 1 = ( m + 2 ) ( m + 2 1 ) U m 2 1 + ( 1 ) 2 m + 4 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) 1 r r U m 2 + 1 = ( m + 2 1 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) 1 r 2 Δ * U m 2 + 1 = ( m 1 ) U m + 2 1 1 r 2 Z * U m 2 + 1 = 0 ,
confirming (16) and (103).
Via signum pairing, see Section 4, it also holds that
r 2 U m 2 s = ( m + 2 ) ( m + 2 + 1 ) U m 2 2 s + ( 1 ) ( m + 2 + 2 ) ( 2 m + 4 + 1 ) C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) 1 r r U m 2 s = ( m + 2 ) U m 2 2 s + ( 1 ) + 1 m + 2 + 2 C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) 1 r 2 Z * U m 2 s = 0 1 r 2 Δ * U m 2 s = ( m 1 ) U m 2 2 s ,
confirming (22) and (98), and
r 2 T m 2 + 1 s = ( m + 2 ) ( m + 2 1 ) T m 2 1 s + ( 1 ) + 1 2 m + 4 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) 1 r r T m 2 + 1 s = ( m + 2 1 ) T m 2 1 s + ( 1 ) 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) 1 r 2 Δ * T s m 2 + 1 = 0 1 r 2 Z * T s m 2 + 1 = ( m 1 ) T m + 2 1 s ,
confirming (104) and (23).
Remark 8.
To provide an idea of how computations with signumdistributions are performed in practice, we directly prove formula (90) as follows:
̲ T m + 1 s = ( m 1 ) U m s + a m ω ̲ δ ( x ̲ ) .
Let ω ̲ φ Ω ( R m ; R m ) be a signumdistributional test function; then,
ω ̲ φ , ̲ T m + 1 s = ( ω ̲ φ ) ̲ , T m + 1 s = ( 1 m ) 1 r φ + ω ̲ ̲ ( φ ) , T m + 1 s = ( m 1 ) 1 r φ , T m + 1 s ω ̲ ̲ ( φ ) , T m + 1 s .
The first term on the right-hand side equals
( m 1 ) 1 x ̲ φ , U m + 1 = ( m 1 ) φ , 1 x ̲ U m + 1
= ( m 1 ) φ , T m = ( m 1 ) ω ̲ φ , U m s ,
while the second term at the right-hand side equals
a m Σ ( 0 ) ω ̲ ̲ ( φ ) , Fp r + 0 = a m Σ ( 1 ) ̲ ( φ ) , Fp r + 0 = ̲ ( φ ) , U m + 1 = φ , ̲ U m + 1 = a m φ , δ ( x ̲ ) = a m ω ̲ φ , ω ̲ δ ( x ̲ ) ,
and the formula follows readily.

9. Cartesian Derivatives of T λ and U λ

In this section, we compute the first- and second- order partial derivatives of the distributions T λ and U λ and their associated signumdistributions T λ s and U λ s . Recall from Definition 1 that the distributions T λ are scalar-valued, whereas the distributions U λ are (Clifford) vector-valued with scalar components denoted by U λ j , j = 1 , , m . As, for all λ C , it holds that x ̲ T λ = U λ + 1 , it follows that these components are given by
U λ j = x j T λ 1 , j = 1 , , m .
Naturally, the action of the Cartesian derivatives x j on all distributions T λ and U λ will be uniquely determined. It follows that the action of the operators d j on the associated signumdistributions U λ s and T λ s is uniquely determined as well. Recalling the definition of the operators d j , j = 1 , , m :
d j = 1 x ̲ e j + ( x j r 2 ) + x j = e j 1 x ̲ ( x j r 2 ) + x j ,
wherein their action on the distributions T λ and U λ will be uniquely determined, except for the distribution U m + 1 . Through signum pairing, the Cartesian derivatives of the associated signumdistributions U λ s and T λ s will also be uniquely determined, except for T m + 1 s .
The actions of the second-order Cartesian derivatives x k x j and x j 2 on the distributions T λ and U λ and of the operators d k d j and d j 2 on the associated signumdistributions U λ s and T λ s will be uniquely determined. See the expressions
d k d j = 1 r 2 ( x k + e k x ̲ ) x j 1 r 2 x ̲ e j x k + 1 r 4 x k x j + 1 r 4 ( x ̲ x k e j e k x ̲ x k ) + x k x j ,
and
d j 2 = 1 r 2 4 e j x j x ̲ r 4 3 x j 2 r 4 + x j 2 ,
wherein the actions of the operators d k d j and d j 2 on the distributions T λ and U λ are uniquely determined except for the distributions T m + 2 and U m + 1 . By signum pairing, the actions of the operators x k x j and x j 2 on the associated signumdistributions U λ s and T λ s are uniquely determined as well, except for U m + 2 s and T m + 1 s .
Notice that
Σ j < k e j e k ( d j d k d k d j ) = 1 r 2 Γ ,
and
Σ j = 1 m d j 2 = Δ ( m 1 ) 1 r 2 .

9.1. The First-Order Partial Derivatives of T λ

In general, i.e., for λ m , m 2 , , it holds that
x j T λ = λ x j T λ 2 ,
verifying (7) by
̲ T λ = λ x ̲ T λ 2 = λ U λ 1 ,
and verifying (27) by
E T λ = Σ j = 1 m x j λ x j T λ 2 = x ̲ 2 T λ 2 = λ T λ .
Through the signum pair of operators ( x j , d j ) , it follows that
d j U λ s = λ x j U λ 2 s .
Moreover, a straightforward computation shows that
d j T λ = U λ 1 e j + ( λ 1 ) x j T λ 2 = e j U λ 1 + ( λ + 1 ) x j T λ 2 ,
whence, through the signum pair of operators [ d j , x j ] ,
x j U λ s = T λ 1 s e j + ( λ 1 ) x j U λ 2 s .
As a verification, we may now compute ̲ U λ s , and we obtain
̲ U λ s = ( m ) T λ 1 s + ( λ 1 ) x ̲ U λ 2 s = ( λ + m 1 ) T λ 1 s ,
confirming (50).
For the singular values λ = m , m 2 , , it holds that
x j T m 2 = ( m + 2 ) x j T m 2 2 a m C ( m , ) x j Δ δ ( x ̲ ) ,
with, recall,
C ( m , ) = 2 2 + 1 ! Γ ( m 2 + + 1 ) Γ ( m 2 ) = 2 ! m ( m + 2 ) ( m + 4 ) ( m + 2 ) ,
verifying (9) by
̲ T m 2 = ( m + 2 ) x ̲ T m 2 2 a m C ( m , ) ̲ Δ δ ( x ̲ ) = ( m + 2 ) U m 2 1 + ( 1 ) + 1 a m C ( m , ) ̲ 2 + 1 δ ( x ̲ ) ,
and verifying (29) by
E T m 2 + 1 = ( m + 2 ) r 2 T m 2 2 a m C ( m , ) E Δ δ ( x ̲ ) = ( m + 2 ) T m 2 + ( 1 ) a m C ( m , ) ( m + 2 ) ̲ 2 δ ( x ̲ ) .
In particular, for = 0 , we have
x j T m = m x j T m 2 1 m a m x j δ ( x ̲ ) ,
verifying (11) by
̲ T m = m x ̲ T m 2 1 m a m ̲ δ ( x ̲ ) = m U m 1 1 m a m ̲ δ ( x ̲ ) ,
and verifying (32) by
E T m = m T m + a m δ ( x ̲ ) .
Hence,
d j U m 2 s = ( m + 2 ) x j U m 2 2 s a m C ( m , ) d j Z ( ω ̲ δ ( x ̲ ) ) = ( m + 2 ) x j U m 2 2 s a m C ( m , ) ω ̲ Δ x j δ ( x ̲ ) ,
and, in particular, for = 0 ,
d j U m s = m x j U m 2 s 1 m a m d j ( ω ̲ δ ( x ̲ ) ) = m x j U m 2 s 1 m a m ω ̲ x j δ ( x ̲ ) .
Moreover, a direct computation shows that
d j T m 2 = U m 2 1 e j ( m + 2 + 1 ) x j T m 2 2 a m C ( m , ) x j Δ δ ( x ̲ ) ,
whence
x j U m 2 s = T m 2 1 s e j ( m + 2 + 1 ) x j U m 2 2 s a m C ( m , ) d j Z ω ̲ δ ( x ̲ ) = T m 2 1 s e j ( m + 2 + 1 ) x j U m 2 2 s a m C ( m , ) ω ̲ x j Δ δ ( x ̲ )
and, in particular, for = 0 ,
d j T m = U m 1 e j ( m + 1 ) x j T m 2 1 m a m x j δ ( x ̲ ) ,
and so
x j U m s = T m 1 s e j ( m + 1 ) x j U m 2 s 1 m a m d j ω ̲ δ ( x ̲ ) = T m 1 s e j ( m + 1 ) x j U m 2 s 1 m a m ω ̲ x j δ ( x ̲ ) .
As a verification of formula (66) we now may compute ̲ U m 2 s , and we obtain
̲ U m 2 s = ( m ) T m 2 1 s ( m + 2 + 1 ) x ̲ U m 2 2 s a m C ( m , ) Σ = 1 m e j ω ̲ x j Δ δ ( x ̲ ) = ( 2 + 1 ) T m 2 1 s + ( 1 ) + 1 a m C ( m , ) ω ̲ ̲ 2 + 1 δ ( x ̲ ) ,
since, due to the radial character of Δ δ ( x ̲ ) , it holds that
Σ = 1 m e j ω ̲ x j Δ δ ( x ̲ ) = Σ = 1 m e j ω ̲ ω j r ( 1 ) ̲ 2 δ ( x ̲ ) = ( 1 ) Σ = 1 m e j ω j ( ω ̲ r ) ̲ 2 δ ( x ̲ ) = ( 1 ) ω ̲ ̲ 2 + 1 δ ( x ̲ ) .

9.2. The First-Order Partial Derivatives of U λ

In general, i.e., for λ m + 1 , m 1 , m 3 , , it holds that
x j U λ = T λ 1 e j + ( λ 1 ) x j U λ 2 ,
verifying (8) by
̲ U λ = m T λ 1 + ( λ 1 ) x ̲ U λ 2 = ( λ + m 1 ) T λ 1 ,
and verifying (28) by
E U λ = x ̲ T λ 1 + ( λ 1 ) U λ = λ U λ .
Through the signum pair of operators ( x j , d j ) , it follows that
d j T λ s = U λ 1 s e j + ( λ 1 ) x j T λ 2 s .
Moreover, a straightforward computation shows that
d j U λ = λ x j U λ 2 ,
whence, through the signum pair of operators [ d j , x j ] ,
x j T λ s = λ x j T λ 2 s .
We may now compute ̲ T λ s , and we obtain
̲ T λ s = λ x ̲ T λ 2 s = λ U λ 1 s ,
confirming (74).
For the exceptional value λ = m + 1 , it holds that
x j U m + 1 = T m e j m x j U m 1 + 1 m a m δ ( x ̲ ) e j ,
verifying (12) by
̲ U m + 1 = m T m m x ̲ U m 1 a m δ ( x ̲ ) = a m δ ( x ̲ ) ,
and verifying (33) by
E U m + 1 = x ̲ T m m U m + 1 + 1 m a m x ̲ δ ( x ̲ ) = ( m + 1 ) U m + 1 .
Hence,
d j T m + 1 s = U m s e j m x j T m 1 s + 1 m a m x j D ̲ ω ̲ δ ( x ̲ ) = U m s e j m x j T m 1 s 1 m a m ω ̲ δ ( x ̲ ) e j .
For the action of operator d j , we expect a non-uniquely determined result. Indeed, a direct computation shows that
d j U m + 1 = ( m 1 ) x j U m 1 + c * x j ̲ δ ( x ̲ ) ,
where we expect the constant c * to be determined by (86) and (90). Indeed, by signum pairing this last equation, we obtain that
x j T m + 1 s = ( m 1 ) x j T m 1 s c * x j ω ̲ ̲ δ ( x ̲ ) = ( m 1 ) x j T m 1 s + c * x j r δ ( x ̲ ) ,
leading to
̲ T m + 1 s = ( m 1 ) x ̲ T m 1 s + c * x ̲ r δ ( x ̲ ) = ( m 1 ) U m s m c * ω ̲ δ ( x ̲ ) .
However, we already found, see (90), that
̲ T m + 1 s = ( m 1 ) U m s + a m ω ̲ δ ( x ̲ ) ,
from which it follows that c * = 1 m a m , whence
d j U m + 1 = ( m 1 ) x j U m 1 1 m a m x j ̲ δ ( x ̲ )
and
x j T m + 1 s = ( m 1 ) x j T m 1 s + 1 m a m x j ω ̲ ̲ δ ( x ̲ ) .
For the singular values λ = m 1 , m 3 , , it holds that
x j U m 2 + 1 = T m 2 e j ( m + 2 ) x j U m 2 1 + ( 1 ) 1 a m C ( m , ) x j ̲ 2 + 1 δ ( x ̲ ) .
Note that, by putting = 0 in the expression for x j U m 2 + 1 , the above formula for x j U m + 1 is recovered. Moreover, formula (10) is verified through
̲ U m 2 + 1 = m T m 2 + ( m + 2 ) T m 2 + ( 1 ) 1 a m C ( m , ) x ̲ ̲ 2 + 1 δ ( x ̲ ) = 2 T m 2 + ( 1 ) 1 ( m + 2 ) a m C ( m , ) ̲ 2 δ ( x ̲ ) .
Also, (30) is verified by
E U m + 2 + 1 = x ̲ T m 2 ( m + 2 ) r 2 U m 2 1 + ( 1 ) a m C ( m , ) x ̲ 2 ̲ 2 + 1 δ ( x ̲ ) = ( m + 2 1 ) U m 2 + 1 + ( 1 ) a m C ( m , ) ( m + 2 ) ( 2 ) ̲ 2 1 δ ( x ̲ ) = ( m + 2 1 ) U m 2 + 1 + ( 1 ) a m C ( m , 1 ) ̲ 2 1 δ ( x ̲ ) .
By signum pairing, we obtain
d j T m 2 + 1 s = U m 2 s e j ( m + 2 ) x j T m 2 1 s + ( 1 ) a m C ( m , ) x j D ̲ 2 + 1 ω ̲ δ ( x ̲ ) = U m 2 s e j ( m + 2 ) x j T m 2 1 s + ( 1 ) a m C ( m , ) ω ̲ x j ̲ 2 + 1 δ ( x ̲ ) .
Moreover, a direct computation leads to
d j U m 2 + 1 = ( m + 2 1 ) x j U m 2 1 + ( 1 ) l 1 a m C ( m , ) x j ̲ 2 + 1 δ ( x ̲ ) .
Note that, by putting = 0 in the above expression for d j U m 2 + 1 , the formula for d j U m + 1 is recovered. Through signum pairing, see Section 4, we obtain
x j T m 2 + 1 s = ( m + 2 1 ) x j T m 2 1 s + ( 1 ) l a m C ( m , ) x j D ̲ 2 + 1 ω ̲ δ ( x ̲ ) = ( m + 2 1 ) x j T m 2 1 s + ( 1 ) l a m C ( m , ) ω ̲ x j ̲ 2 + 1 δ ( x ̲ ) .
We may now verify formula (82) by
̲ T m 2 + 1 s = ( m + 2 1 ) x ̲ T m 2 1 s + ( 1 ) a m C ( m , ) Σ j = 1 m e j ω ̲ x j ̲ 2 + 1 δ ( x ̲ ) ,
which indeed reduces to
̲ T m 2 + 1 s = ( m + 2 1 ) U m 2 s + ( 1 ) a m C ( m , ) ( m + 2 ) ω ̲ ̲ 2 δ ( x ̲ ) ,
since
Σ j = 1 e j ω ̲ x j ̲ 2 + 1 δ ( x ̲ ) = Σ j = 1 m e j ω ̲ r ω j ̲ 2 + 1 δ ( x ̲ ) = r ̲ 2 + 1 δ ( x ̲ ) = ω ̲ ( r r ) ̲ 2 δ ( x ̲ ) = ( m + 2 ) ω ̲ ̲ 2 δ ( x ̲ ) .

9.3. Second-Order Partial Derivatives of T λ

First, we assume that λ m + 2 , m , m 2 , , and we find
x k x j T λ = λ ( λ 2 ) x k x j T λ 4 , j k x j 2 T λ = λ ( λ 2 ) x j 2 T λ 4 + λ T λ 2 ,
confirming (13) through
Δ T λ = λ ( λ 2 ) r 2 T λ 4 + m λ T λ 2 = λ ( λ + m 2 ) T λ 2 .
Through the signum partners of x k , x j , and T λ , it follows that
d k d j U λ s = λ ( λ 2 ) x k x j U λ 4 s , j k d j 2 U λ s = λ ( λ 2 ) x j 2 U λ 4 s + λ s U λ 2 .
A direct computation shows that
d k d j T λ = ( λ 1 ) ( λ 3 ) x k x j T λ 4 ( λ 1 ) U λ 3 ( x k e j + x j e k ) , j k ,
and
d j 2 T λ = ( λ 1 ) ( λ 3 ) x j 2 T λ 4 2 ( λ 1 ) U λ 3 x j e j + ( λ 1 ) T λ 2 ,
from which it follows at once that
x k x j U λ s = ( λ 1 ) ( λ 3 ) x k x j U λ 4 s + ( λ 1 ) T λ 3 s ( x k e j + x j e k ) , j k , x j 2 U λ s = ( λ 1 ) ( λ 3 ) x j 2 U λ 4 s + 2 ( λ 1 ) T λ 3 s x j e j + ( λ 1 ) U λ 2 s ,
confirming (92) through
Δ U λ s = ( λ 1 ) ( λ 3 ) r 2 U λ 4 s + 2 ( λ 1 ) T λ 3 s x ̲ + m ( λ 1 ) U λ 2 s = ( λ 1 ) ( λ + m 1 ) U λ 2 s .
For the singular values of parameter λ , that is, λ = m + 2 , m , m 2 , , specific computations are necessary.
For λ = m + 2 , we obtain
x k x j T m + 2 = m ( m 2 ) x k x j T m 2 , j k ,
x j 2 T m + 2 = m ( m 2 ) x j 2 T m 2 ( m 2 ) T m m 2 m a m δ ( x ̲ ) ,
confirming (19) through
Δ T m + 2 = m ( m 2 ) r 2 T m 2 m ( m 2 ) T m ( m 2 ) a m δ ( x ̲ ) = ( m 2 ) a m δ ( x ̲ ) .
It follows that
d k d j U m + 2 s = m ( m 2 ) x k x j U m 2 s , j k , d j 2 U m + 2 s = m ( m 2 ) x j 2 U m 2 s ( m 2 ) U m s m 2 m a m ω ̲ δ ( x ̲ ) .
A direct computation shows that
d k d j T m + 2 = ( m 1 ) ( m + 1 ) x j x k T m 2 + ( m 1 ) U m 1 ( x k e j + x j e k ) α k δ ( x ̲ ) e k e j , j k , d j 2 T m + 2 = ( m 1 ) ( m + 1 ) x j 2 T m 2 + 2 ( m 1 ) U m 1 x j e j + ( m + 1 ) T m + ( α j m 1 m a m ) δ ( x ̲ ) ,
whence also
x k x j U m + 2 s = ( m 1 ) ( m + 1 ) x j x k U m 2 s + ( m + 1 ) T m 1 s ( x k e j + x j e k ) α k ω ̲ δ ( x ̲ ) e k e j , j k , x j 2 U m + 2 s = ( m 1 ) ( m + 1 ) x j 2 U m 2 s + 2 ( m + 1 ) T m 1 s x j e j + ( m + 1 ) U m s + ( α j m 1 m a m ) ω ̲ δ ( x ̲ ) ,
leading to
Δ U m + 2 s = ( m 1 ) U m s + ( ( Σ α j ) ( m 1 ) a m ) ω ̲ δ ( x ̲ ) .
But we already found, see (94), that
Δ U m + 2 s = ( m 1 ) U m s + a m ω ̲ δ ( x ̲ ) ,
whence all α j , j = 1 , , m must be equal to a m , which eventually leads to
d k d j T m + 2 = ( m 1 ) ( m + 1 ) x j x k T m 2 + ( m 1 ) U m 1 ( x k e j + x j e k ) a m δ ( x ̲ ) e k e j , j k , d j 2 T m + 2 = ( m 1 ) ( m + 1 ) x j 2 T m 2 + 2 ( m 1 ) U m 1 x j e j + ( m + 1 ) T m + 1 m a m δ ( x ̲ ) ,
and
x k x j U m + 2 s = ( m 1 ) ( m + 1 ) x j x k U m 2 s + ( m + 1 ) T m 1 s ( x k e j + x j e k ) a m ω ̲ δ ( x ̲ ) e k e j , j k , x j 2 U m + 2 s = ( m 1 ) ( m + 1 ) x j 2 U m 2 s + 2 ( m + 1 ) T m 1 s x j e j + ( m + 1 ) U m s + 1 m a m ω ̲ δ ( x ̲ ) .
For λ = m 2 , = 0 , 1 , 2 , , we obtain
x k x j T m 2 = ( m + 2 ) ( m + 2 + 2 ) x k x j T m 2 4 2 m + 4 + 2 ( m + 2 + 2 ) C ( m , ) a m x k x j Δ δ ( x ̲ ) , j k x j 2 T m 2 = ( m + 2 ) ( m + 2 + 2 ) x j 2 T m 2 4 2 m + 4 + 2 ( m + 2 + 2 ) C ( m , ) a m x j 2 Δ δ ( x ̲ ) ( m + 2 ) T m 2 2 m + 2 C ( m , + 1 ) a m Δ + 1 δ ( x ̲ ) ,
confirming (15) through
Δ T m 2 = ( m + 2 ) ( m + 2 + 2 ) T m 2 2 2 m + 4 + 2 ( m + 2 + 2 ) C ( m , ) a m Δ + 1 δ ( x ̲ )
m ( m + 2 ) T m 2 2 m ( m + 2 ) C ( m , + 1 ) a m Δ + 1 δ ( x ̲ )
= ( m + 2 ) ( 2 + 2 ) T m 2 2 + ( 1 ) ( m + 4 + 2 ) ( m + 2 + 2 ) C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) .
It follows that
d k d j U m 2 s = ( m + 2 ) ( m + 2 + 2 ) x k x j U m 2 4 s 2 m + 4 + 2 ( m + 2 + 2 ) C ( m , ) a m ω ̲ x k x j Δ δ ( x ̲ ) , j k d j 2 U m 2 s = ( m + 2 ) ( m + 2 + 2 ) x j 2 U m 2 4 s 2 m + 4 + 2 ( m + 2 + 2 ) C ( m , ) a m ω ̲ x j 2 Δ δ ( x ̲ ) ( m + 2 ) U m 2 2 s m + 2 C ( m , + 1 ) a m ω ̲ Δ + 1 δ ( x ̲ ) .
In particular, for λ = m , we have
x k x j T m = m ( m + 2 ) x k x j T m 4 2 m + 2 m ( m + 2 ) a m x k x j δ ( x ̲ ) , j k x j 2 T m = m ( m + 2 ) x j 2 T m 4 2 m + 2 m ( m + 2 ) a m x j 2 δ ( x ̲ ) m T m 2 1 2 ( m + 2 ) a m Δ δ ( x ̲ ) ,
confirming (17) through
Δ T m = m ( m + 2 ) T m 2 2 m + 2 m ( m + 2 ) a m Δ δ ( x ̲ ) m 2 T m 2 m 2 ( m + 2 ) a m Δ δ ( x ̲ ) = 2 m T m m + 2 m a m Δ δ ( x ̲ ) .
It follows that
d k d j U m s = m ( m + 2 ) x k x j U m 4 s 2 m + 2 m ( m + 2 ) a m ω ̲ x k x j δ ( x ̲ ) , j k d j 2 U m s = m ( m + 2 ) x j 2 U m 4 s 2 m + 2 m ( m + 2 ) a m ω ̲ x j 2 δ ( x ̲ ) m U m 2 s 1 2 ( m + 2 ) a m ω ̲ Δ δ ( x ̲ ) .
A direct computation shows that
d k d j T m 2 = ( m + 2 + 1 ) U m 2 3 ( x k e j + x j e k ) + ( m + 2 + 1 ) ( m + 2 + 3 ) x j x k T m 2 4 + ( 1 ) + 1 1 ( m + 2 + 2 ) C ( m , ) a m ( x k ̲ 2 + 1 δ ( x ̲ ) e j + x j ̲ 2 + 1 δ ( x ̲ ) e k ) + 2 ( 1 ) + 1 a m C ( m , ) x j x k ̲ 2 δ ( x ̲ ) , j k
d j 2 T m 2 = 2 ( m + 2 + 1 ) U m 2 3 x j e j ( m + 2 + 1 ) T m 2 2 + ( m + 2 + 1 ) ( m + 2 + 3 ) x j 2 T m 2 4 + ( 1 ) m + 2 C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) + 2 ( 1 ) + 1 1 ( m + 2 + 2 ) C ( m , ) a m x j ̲ 2 + 1 δ ( x ̲ ) e j + 2 ( 1 ) + 1 1 C ( m , ) a m x j 2 ̲ 2 δ ( x ̲ ) ,
whence also
x k x j U m 2 s = ( m + 2 + 1 ) T m 2 3 s ( x k e j + x j e k ) + ( m + 2 + 1 ) ( m + 2 + 3 ) x j x k U m 2 4 s + ( 1 ) + 1 1 ( m + 2 + 2 ) C ( m , ) a m ω ̲ ( x k ̲ 2 + 1 δ ( x ̲ ) e j + x j ̲ 2 + 1 δ ( x ̲ ) e k ) + 2 ( 1 ) + 1 a m C ( m , ) ω ̲ x j x k ̲ 2 δ ( x ̲ ) , j k x j 2 U m 2 s = 2 ( m + 2 + 1 ) T m 2 3 s x j e j ( m + 2 + 1 ) U m 2 2 s + ( m + 2 + 1 ) ( m + 2 + 3 ) x j 2 U m 2 4 s + ( 1 ) m + 2 C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) + 2 ( 1 ) + 1 1 ( m + 2 + 2 ) C ( m , ) a m ω ̲ x j ̲ 2 + 1 δ ( x ̲ ) e j + 2 ( 1 ) + 1 1 C ( m , ) a m ω ̲ x j 2 ̲ 2 δ ( x ̲ ) ,
confirming (98) through
Δ U m 2 s = ( m + 2 + 1 ) ( 2 + 1 ) U m 2 2 s + ( 1 ) ( m + 2 + 2 ) ( m + 4 + 2 ) a m C ( m , + 1 ) ω ̲ ̲ 2 + 2 δ ( x ̲ ) .
In particular, for λ = m , we have
d k d j T m = ( m + 1 ) U m 3 ( x k e j + x j e k ) + ( m + 1 ) ( m + 3 ) x j x k T m 4 1 m ( m + 2 ) a m ( x k ̲ δ ( x ̲ ) e j + x j ̲ δ ( x ̲ ) e k ) 2 m a m x j x k δ ( x ̲ ) , j k d j 2 T m = 2 ( m + 1 ) U m 3 x j e j ( m + 1 ) T m 2 + ( m + 1 ) ( m + 3 ) x j 2 T m 4 + 1 2 ( m + 2 ) a m ̲ 2 δ ( x ̲ ) 2 1 m ( m + 2 ) a m x j ̲ δ ( x ̲ ) e j 2 1 m a m x j 2 δ ( x ̲ ) ,
whence also
x k x j U m s = ( m + 1 ) T m 3 s ( x k e j + x j e k ) + ( m + 1 ) ( m + 3 ) x j x k U m 4 s 1 m ( m + 2 ) a m ω ̲ ( x k ̲ δ ( x ̲ ) e j + x j ̲ δ ( x ̲ ) e k ) 2 m a m ω ̲ x j x k δ ( x ̲ ) , j k
x j 2 U m s = 2 ( m + 1 ) T m 3 s x j e j ( m + 1 ) U m 2 s + ( m + 1 ) ( m + 3 ) x j 2 U m 4 s + 1 2 ( m + 2 ) a m ω ̲ ̲ 2 δ ( x ̲ ) 2 1 m ( m + 2 ) a m ω ̲ x j ̲ δ ( x ̲ ) e j 2 1 m a m ω ̲ x j 2 δ ( x ̲ ) ,
which confirms (96).

9.4. The Second-Order Partial Derivatives of U λ

First, we compute x k x j U λ assuming that λ m + 3 , m + 1 , m 1 , , and we find
x k x j U λ = ( λ 1 ) ( λ 3 ) x k x j U λ 4 + ( λ 1 ) T λ 3 ( x k e j + x j e k ) , j k x j 2 U λ = ( λ 1 ) ( λ 3 ) x j 2 U λ 4 + 2 ( λ 1 ) T λ 3 x j e j + ( λ 1 ) U λ 2 ,
confirming (14) through
Δ U λ = ( λ 1 ) ( λ 3 ) U λ 2 + 2 ( λ 1 ) T λ 3 x ̲ + m ( λ 1 ) U λ 2 = ( λ 1 ) ( λ + m 1 ) U λ 2 .
It follows at once that
d k d j T λ s = ( λ 1 ) ( λ 3 ) x k x j T λ 4 s ( λ 1 ) U λ 3 s ( x k e j + x j e k ) , j k d j 2 T λ s = ( λ 1 ) ( λ 3 ) x j 2 T λ 4 s 2 ( λ 1 ) U λ 3 s x j e j + ( λ 1 ) T λ 2 s .
A direct computation shows that
d k d j U λ = λ ( λ 2 ) x k x j U λ 4 , j k d j 2 U λ = λ ( λ 2 ) x j 2 U λ 4 + λ U λ 2 ,
from which it follows that
x k x j T λ s = λ ( λ 2 ) x k x j T λ 4 s , j k x j 2 T λ s = λ ( λ 2 ) x j 2 T λ 4 s + λ T λ 2 s ,
confirming (100) through
Δ T λ s = λ ( λ 2 ) T λ 2 s + m λ T λ 2 s = λ ( λ + m 2 ) T λ 2 s .
For λ = m 2 + 1 , = 1 , 2 , , we obtain
x k x j U m 2 + 1 = ( m + 2 ) T m 2 2 ( x k e j + x j e k ) + ( m + 2 ) ( m + 2 + 2 ) x j x k U m 2 3 + ( 1 ) + 1 m + 2 C ( m , + 1 ) a m x j x k ̲ 2 + 3 δ ( x ̲ ) + ( 1 ) + 1 ( 2 ) a m C ( m , ) x k x j ̲ 2 1 δ ( x ̲ ) , j k
x j 2 U m 2 + 1 = 2 ( m + 2 ) x j e j T m 2 2 ( m + 2 ) U m 2 1 + ( m + 2 ) ( m + 2 + 2 ) x j 2 U m 2 3 + ( 1 ) + 1 m + 2 C ( m , + 1 ) a m x j 2 ̲ 2 + 3 δ ( x ̲ ) + ( 1 ) + 1 2 C ( m , ) a m x j 2 ̲ 2 1 δ ( x ̲ ) ,
confirming (16) through
Δ U m 2 + 1 = 2 ( m + 2 ) x ̲ T m 2 2 m ( m + 2 ) U m 2 1 + ( m + 2 ) ( m + 2 + 2 ) U m 2 1 ) + ( 1 ) m + 2 C ( m , + 1 ) a m x ̲ 2 ̲ 2 + 3 δ ( x ̲ ) + ( 1 ) 2 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) = ( m + 2 ) ( 2 ) U m 2 1 + ( 1 ) m + 4 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) .
Hence, we also have that
d k d j T m 2 + 1 s = ( m + 2 ) U m 2 2 s ( x k e j + x j e k ) + ( m + 2 ) ( m + 2 + 2 ) x j x k T m 2 3 s + ( 1 ) m + 2 C ( m , + 1 ) a m x j x k ω ̲ ̲ 2 + 3 δ ( x ̲ ) + ( 1 ) ( 2 ) a m C ( m , ) ω ̲ x k x j ̲ 2 1 δ ( x ̲ ) , j k d j 2 T m 2 + 1 s = 2 ( m + 2 ) x j e j U m 2 2 s ( m + 2 ) T m 2 1 s + ( m + 2 ) ( m + 2 + 2 ) x j 2 T m 2 3 s + ( 1 ) m + 2 C ( m , + 1 ) a m x j 2 ω ̲ ̲ 2 + 3 δ ( x ̲ ) + ( 1 ) 2 C ( m , ) a m ω ̲ x j 2 ̲ 2 1 δ ( x ̲ ) .
A direct computation shows that
d k d j U m 2 + 1 = ( m + 2 1 ) ( m + 2 + 1 ) x j x k U m 2 3 + ( 1 ) 2 ( m + 2 ) ( 2 + 2 ) C ( m , + 1 ) a m ( e k x j ̲ 2 δ ( x ̲ ) + e j x k ̲ 2 δ ( x ̲ ) ) + ( 1 ) + 1 2 ( m + 2 ) ( 2 + 2 ) ( 2 ) C ( m , + 1 ) a m x j x k ̲ 2 1 δ ( x ̲ ) , j k
d j 2 U m 2 + 1 = ( m + 2 1 ) ( m + 2 + 1 ) x j 2 U m 2 3 ( m + 2 1 ) U m 2 1 + ( 1 ) 4 ( m + 2 ) ( 2 + 2 ) C ( m , + 1 ) a m e j x j ̲ 2 δ ( x ̲ ) + ( 1 ) + 1 ( 2 + 2 ) ( 2 ) ( 2 m + 4 ) C ( m , + 1 ) a m x j 2 ̲ 2 1 δ ( x ̲ ) + ( 1 ) ( 2 + 2 ) ( m + 2 2 ) C ( m , + 1 ) a m ̲ 2 + 1 δ ( x ̲ ) ,
whence also
x k x j T m 2 + 1 s = ( m + 2 1 ) ( m + 2 + 1 ) x j x k T m 2 3 s + ( 1 ) + 1 2 ( m + 2 ) ( 2 + 2 ) C ( m , + 1 ) a m ω ̲ ( e k x j ̲ 2 δ ( x ̲ ) + e j x k ̲ 2 δ ( x ̲ ) ) + ( 1 ) 2 ( m + 2 ) ( 2 + 2 ) ( 2 ) C ( m , + 1 ) a m ω ̲ x j x k ̲ 2 1 δ ( x ̲ ) , j k x j 2 T m 2 + 1 s = ( m + 2 1 ) ( m + 2 + 1 ) x j 2 T m 2 3 s ( m + 2 1 ) T m 2 1 s + ( 1 ) + 1 4 ( m + 2 ) ( 2 + 2 ) C ( m , + 1 ) a m ω ̲ e j x j ̲ 2 δ ( x ̲ ) + ( 1 ) ( 2 + 2 ) ( 2 ) ( 2 m + 4 ) C ( m , + 1 ) a m x j 2 ω ̲ ̲ 2 1 δ ( x ̲ ) + ( 1 ) + 1 ( 2 + 2 ) ( m + 2 2 ) C ( m , + 1 ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) ,
which confirms (104).
For λ = m + 1 , it holds that
x k x j U m + 1 = ( m ) T m 2 ( x k e j + x j e k ) + m ( m + 2 ) x j x k U m 3 a m 2 ( m + 2 ) x j x k ̲ 3 δ ( x ̲ ) , j k x j 2 U m + 1 = 2 ( m ) x j e j T m 2 m U m 1 + m ( m + 2 ) x j 2 U m 3 a m 2 ( m + 2 ) x j 2 ̲ 3 δ ( x ̲ ) ,
confirming (18) through
Δ U m + 1 = 2 ( m ) x ̲ T m 2 m 2 U m 1 + m ( m + 2 ) r 2 U m 3 1 2 ( m + 2 ) a m r 2 ̲ 3 δ ( x ̲ ) = a m ̲ δ ( x ̲ ) .
Hence, we also have that
d k d j T m + 1 s = m U m 2 s ( x k e j + x j e k ) + m ( m + 2 ) x j x k T m 3 s + a m 2 ( m + 2 ) x j x k ω ̲ ̲ 3 δ ( x ̲ ) , j k d j 2 T m + 1 s = 2 m x j e j U m 2 s m T m 1 s + m ( m + 2 ) x j 2 T m 3 s + a m 2 ( m + 2 ) x j 2 ω ̲ ̲ 3 δ ( x ̲ ) .
We know that the direct computation of d k d j U m + 1 and d j 2 U m + 1 involves arbitrary constants to be determined through the calculation of Δ T m + 1 s . We can circumvent these computations by putting = 0 in the expressions for d k d j U m 2 + 1 and d j 2 U m 2 + 1 , obtaining in this way
d k d j U m + 1 = ( m 1 ) ( m + 1 ) x k x j U m 3 + 2 m + 2 a m ( e k x j δ ( x ̲ ) + e j x k δ ( x ̲ ) ) , j k d j 2 U m + 1 = ( m 1 ) ( m + 1 ) x j 2 U m 3 ( m 1 ) U m 1 + 4 m + 2 a m e j x j δ ( x ̲ ) + m 2 m ( m + 2 ) a m ̲ δ ( x ̲ ) ,
whence also
x k x j T m + 1 s = ( m 1 ) ( m + 1 ) x k x j T m 3 s 2 m + 2 a m ω ̲ ( e k x j δ ( x ̲ ) + e j x k δ ( x ̲ ) ) , j k x j 2 T m + 1 s = ( m 1 ) ( m + 1 ) x j 2 T m 3 s ( m 1 ) T m 1 s 4 m + 2 a m ω ̲ e j x j δ ( x ̲ ) m 2 m ( m + 2 ) a m ω ̲ ̲ δ ( x ̲ ) ,
which indeed confirms (102).

10. Powers of the Vector Variable x ̲

In this section, we will explore the intimate connection between the T λ and U λ distributions on the one hand and powers of the Clifford vector variable x ̲ on the other.

10.1. Integer Powers of x ̲ as Regular Distributions and Signumdistributions

The integer powers x ̲ k , k Z of the vector variable x ̲ remain locally integrable in R m as long as k m + 1 and thus may be interpreted as regular distributions, that is, for all test functions φ ( x ̲ ) D ( R m ; C ) , we have
x ̲ k , φ ( x ̲ ) = R m x ̲ k φ ( x ̲ ) d x ̲ , k m + 1 .
In particular, for even integer powers k = 2 m + 1 , we have
x ̲ 2 , φ ( x ̲ ) = R m x ̲ 2 φ ( x ̲ ) d x ̲ = ( 1 ) 0 + r m + 2 1 d r S m 1 φ ( r ω ̲ ) d S ω ̲ = ( 1 ) a m 0 + r m + 2 1 Σ ( 0 ) [ φ ] d r = ( 1 ) a m r + m + 2 1 , Σ ( 0 ) [ φ ] ,
implying that
x ̲ 2 = ( 1 ) T 2 , 2 m + 1 ,
which clearly are radial regular distributions.
Similarly, for odd integer powers k = 2 + 1 m + 1 , we find
x ̲ 2 + 1 , φ ( x ̲ ) = R m x ̲ 2 + 1 φ ( x ̲ ) d x ̲ = ( 1 ) 0 + r m + 2 d r S m 1 ω ̲ φ ( r ω ̲ ) d S ω ̲ = ( 1 ) a m 0 + r m + 2 Σ ( 1 ) [ φ ] d r = ( 1 ) a m r + m + 2 , Σ ( 1 ) [ φ ] ,
implying that
x ̲ 2 + 1 = ( 1 ) U 2 + 1 , 2 m ,
which clearly are signum-radial regular distributions.
The associated signumdistributions of these integer powers of x ̲ are
( x ̲ 2 ) = ω ̲ x ̲ 2 = ( 1 ) U 2 s ,
and
( x ̲ 2 + 1 ) = ω ̲ x ̲ 2 + 1 = ( 1 ) + 1 T 2 + 1 s ,
but these signumdistributions are by no means powers of the vector variable x ̲ .
As to derivation, we have
̲ x ̲ 2 = ( 2 ) x ̲ 2 1 , D ̲ x ̲ 2 = ( m + 2 1 ) x ̲ 2 1 , for 2 1 m + 1 , ̲ x ̲ 2 + 1 = ( m + 2 ) x ̲ 2 , D ̲ x ̲ 2 + 1 = ( 2 + 1 ) x ̲ 2 , for 2 m + 1 ,
and the corresponding formulæfor the associated signumdistributions:
D ̲ ( ω ̲ x ̲ 2 ) = ( 2 ) ( ω ̲ x ̲ 2 1 ) , ̲ ( ω ̲ x ̲ 2 ) = ( m + 2 1 ) ( ω ̲ x ̲ 2 1 ) , D ̲ ( ω ̲ x ̲ 2 + 1 ) = ( m + 2 ) ( ω ̲ x ̲ 2 ) , ̲ ( ω ̲ x ̲ 2 + 1 ) = ( 2 + 1 ) ( ω ̲ x ̲ 2 ) .
We know that locally integrable functions may serve as regular signumdistributions as well. For all test functions ω ̲ φ ( x ̲ ) Ω ( R m ; C ) , we have
x ̲ k s , ω ̲ φ ( x ̲ ) = R m x ̲ k ω ̲ φ ( x ̲ ) d x ̲ , k m + 1 .
In particular, for even integer powers k = 2 m + 1 , we have
x ̲ 2 s , ω ̲ φ ( x ̲ ) = R m x ̲ 2 ω ̲ φ ( x ̲ ) d x ̲ = ( 1 ) 0 + r m + 2 1 d r S m 1 ω ̲ φ ( r ω ̲ ) d S ω ̲ = ( 1 ) a m 0 + r m + 2 1 Σ ( 1 ) [ φ ] d r = ( 1 ) a m r + m + 2 1 , Σ ( 1 ) [ φ ] ,
implying that
x ̲ 2 s = ( 1 ) T 2 s , 2 m + 1 ,
which clearly are radial regular signumdistributions.
Similarly, for odd integer powers k = 2 + 1 m + 1 , we find
x ̲ 2 + 1 s , ω ̲ φ ( x ̲ ) = R m x ̲ 2 + 1 ω ̲ φ ( x ̲ ) d x ̲ = ( 1 ) + 1 0 + r m + 2 d r S m 1 φ ( r ω ̲ ) d S ω ̲ = ( 1 ) + 1 a m 0 + r m + 2 Σ ( 0 ) [ φ ] d r = ( 1 ) + 1 a m r + m + 2 , Σ ( 0 ) [ φ ] ,
implying that
x ̲ 2 + 1 s = ( 1 ) U 2 + 1 s , 2 m ,
which clearly are signum-radial regular signumdistributions.
The associated distributions of these integer power signumdistributions are
( s x ̲ 2 ) = ω ̲ x ̲ 2 s = ( 1 ) + 1 U 2 ,
and
( s x ̲ 2 + 1 ) = ω ̲ x ̲ 2 + 1 s = ( 1 ) T 2 + 1 ,
but these distributions are by no means powers of the vector variable x ̲ .
As to derivation, we have:
̲ x ̲ 2 s = ( 2 ) x ̲ 2 1 s , D ̲ x ̲ 2 s = ( m + 2 1 ) x ̲ 2 1 s for 2 1 m + 1 , ̲ x ̲ 2 + 1 s = ( m + 2 ) x ̲ 2 s , D ̲ x ̲ 2 + 1 s = ( 2 + 1 ) x ̲ 2 s for 2 m + 1 ,
and the corresponding formulæ for the associated distributions:
D ̲ ( ω ̲ x ̲ 2 s ) = ( 2 ) ( ω ̲ x ̲ 2 1 s ) , ̲ ( ω ̲ x ̲ 2 s ) = ( m + 2 1 ) ( ω ̲ x ̲ 2 1 s ) , D ̲ ( ω ̲ x ̲ 2 + 1 s ) = ( m + 2 ) ( ω ̲ x ̲ 2 s ) , ̲ ( ω ̲ x ̲ 2 + 1 s ) = ( 2 + 1 ) ( ω ̲ x ̲ 2 s ) .

10.2. Integer Powers of x ̲ as Finite Part Distributions and Signumdistributions

For k < m + 1 , the functions x ̲ k are no longer locally integrable in R m and thus no longer regular (signum)distributions, whence the need for a definition.
Definition 13.
We define the distributions
Fp x ̲ 2 = ( 1 ) T 2 , 2 < m + 1 Fp x ̲ 2 + 1 = ( 1 ) U 2 + 1 , 2 < m ,
and the signumdistributions
Fp x ̲ 2 s = ( 1 ) T 2 s , 2 < m + 1 Fp x ̲ 2 + 1 s = ( 1 ) U 2 + 1 s , 2 < m .
Note that
Fp x ̲ 2 = ( 1 ) U 2 s , Fp x ̲ 2 + 1 = ( 1 ) + 1 T 2 + 1 s ,
and
Fp x ̲ 2 s = ( 1 ) + 1 U 2 , Fp x ̲ 2 + 1 s = ( 1 ) T 2 + 1 ,
and observe that none of those four associated (signum)distributions are integer powers of x ̲ .
Remark 9.
We will retain the notations  Fp x ̲ k  and  Fp x ̲ k s  even when  x ̲ k  is locally integrable.
For division by the vector variable x ̲ , the following formulæ can be easily calculated:
  • 1 x ̲ Fp x ̲ 2 = Fp x ̲ 2 1 ;
  • 1 x ̲ Fp x ̲ 2 + 1 = Fp x ̲ 2 , 2 m ;
  • 1 x ̲ Fp x ̲ m + 1 = [ Fp x ̲ m ] = Fp x ̲ m + δ ( x ̲ ) c , if m is even .

10.3. Complex Powers of x ̲ as Distributions

Through the T λ and U λ distributions, it is possible to define the complex powers of the vector variable x ̲ as distributions.
Definition 14.
For  λ C , we put
( i x ̲ ) λ = 1 2 ( 1 + exp ( i π λ ) ) T λ + 1 2 i ( 1 exp ( i π λ ) ) U λ .
Remark 10.
It should be verified that in the particular case where λ is an integer, the distributions introduced above are recovered. Indeed, we have the following:
  • For λ = 2 , Z , we get
    ( i x ̲ ) 2 = T 2 = ( 1 ) Fp x ̲ 2 ;
  • For λ = 2 + 1 , Z , we get
    ( i x ̲ ) 2 + 1 = i U 2 + 1 = i ( 1 ) Fp x ̲ 2 + 1 .
Now, we investigate the holomorphy of ( i x ̲ ) λ in the complex λ -plane. Recall that
  • T λ is a meromorphic function of λ showing simple poles at λ = m 2 , = 0 , 1 , 2 , ;
  • U λ is a meromorphic function of λ showing simple poles at λ = m 2 1 , = 0 , 1 , 2 , .
Thus, it becomes clear that the possible singularities of the distributions ( i x ̲ ) λ depend on the parity of dimension m.
If dimension m is odd, then
( i x ̲ ) m 2 = i U m 2 ,
and
( i x ̲ ) m 2 1 = T m 2 1 ,
implying that distribution ( i x ̲ ) λ is an entire function of λ C showing no singularities.
If dimension m is even, then
( i x ̲ ) m 2 = T m 2 ,
and
( i x ̲ ) m 2 1 = i U m 2 1 ,
implying that distribution ( i x ̲ ) λ is a meromorphic function of λ C showing simple poles at λ = m , m 1 , m 2 , . However, note that at those singular points, distribution ( i x ̲ ) λ is still defined through monomial pseudofunctions; however, this distribution is not turned into an entire function of λ .
Now, we compute the Dirac derivative of distribution ( i x ̲ ) λ . We obtain, in general,
̲ ( i x ̲ ) λ = 1 2 ( 1 exp ( i π ( λ 1 ) ) ) ̲ T λ + 1 2 i ( 1 + exp ( i π ( λ 1 ) ) ) ̲ U λ = ( i ) λ ( i x ̲ ) λ 1 1 2 i ( m 1 ) ( 1 exp ( i π λ ) ) T λ 1 .
Equation (107) is valid in the entire complex λ -plane when dimension m is odd and valid in C { m + 1 , m , m 1 , } when m is even. For the singular values of parameter λ , we obtain the following results:
  • The case λ = m + 1 .
    We consider the distribution
    ( i x ̲ ) m + 1 = 1 2 ( 1 ( 1 ) m ) T m + 1 + 1 2 i ( 1 + ( 1 ) m ) U m + 1 .
    For odd dimension m, we do not expect singularities to appear, and we indeed get
    ( i x ̲ ) m + 1 = T m + 1 ,
    with
    ̲ ( i x ̲ ) m + 1 = ( m + 1 ) U m ,
    whence
    ̲ Fp x ̲ m + 1 = ( m 1 ) Fp x ̲ m .
    For even dimension m, we get
    ( i x ̲ ) m + 1 = i U m + 1 ,
    with
    ̲ ( i x ̲ ) m + 1 = i ( a m ) δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m + 1 = ( 1 ) m / 2 + 1 a m δ ( x ̲ ) .
  • The case λ = m .
    We consider the distribution
    ( i x ̲ ) m = 1 2 ( 1 + ( 1 ) m ) T m + 1 2 i ( 1 ( 1 ) m ) U m .
    For odd dimension m, we do not expect singularities to appear, and we indeed get
    ( i x ̲ ) m = i U m ,
    with
    ̲ ( i x ̲ ) m = i T m 1 ,
    whence
    ̲ Fp x ̲ m = Fp x ̲ m 1 .
    For even dimension m, we get
    ( i x ̲ ) m = T m ,
    with
    ̲ ( i x ̲ ) m = ( m ) U m 1 1 m a m ̲ δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m = m Fp x ̲ m 1 + ( 1 ) m / 2 + 1 1 m a m ̲ δ ( x ̲ ) .
  • The case λ = m 2 .
    We consider the distribution
    ( i x ̲ ) m 2 = 1 2 ( 1 + ( 1 ) m ) T m 2 + 1 2 i ( 1 ( 1 ) m ) U m 2 .
    For odd dimension m, we do not expect singularities to appear, and we indeed get
    ( i x ̲ ) m 2 = i U m 2 ,
    with
    ̲ ( i x ̲ ) m 2 = i ( 2 + 1 ) T m 2 1 ,
    whence
    ̲ Fp x ̲ m 2 = ( 2 + 1 ) Fp x ̲ m 2 1 .
    For even dimension m, we get
    ( i x ̲ ) m 2 = T m 2 ,
    with
    ̲ ( i x ̲ ) m 2 = ( m 2 ) U m 2 1 + ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m 2 = ( m + 2 ) Fp x ̲ m 2 1 + ( 1 ) m / 2 + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) .
  • The case λ = m 2 1 .
    We consider the distribution
    ( i x ̲ ) m 2 1 = 1 2 ( 1 + ( 1 ) m + 1 ) T m 2 1 + 1 2 i ( 1 ( 1 ) m + 1 ) U m 2 1 .
    For odd dimension m, we do not expect singularities to appear, and we indeed get
    ( i x ̲ ) m 2 1 = T m 2 1 ,
    with
    ̲ ( i x ̲ ) m 2 1 = ( m + 2 + 1 ) U m 2 2 ,
    whence
    ̲ Fp x ̲ m 2 1 = ( m + 2 + 1 ) Fp x ̲ m 2 2 .
    For even dimension m, we get
    ( i x ̲ ) m 2 1 = i U m 2 1 ,
    with
    ̲ ( i x ̲ ) m 2 1 = i ( 2 + 2 ) T m 2 2 + i ( 1 ) m + 2 + 2 C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m 2 1 = ( 2 + 2 ) Fp x ̲ m 2 2 + ( 1 ) m / 2 + 1 m + 2 + 2 C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) .
We also may compute the action of operator D ̲ on the complex powers of vector variable x ̲ . Recall that operator D ̲ is the Cartesian signum partner operator to the Dirac operator ̲ . We obtain, in general,
D ̲ ( i x ̲ ) λ = 1 2 ( 1 + exp ( i π λ ) ) D ̲ T λ + 1 2 i ( 1 exp ( i π λ ) ) D ̲ U λ = 1 2 ( 1 + exp ( i π λ ) ) ( λ + m 1 ) U λ 1 1 2 i ( 1 exp ( i π λ ) ) λ T λ 1 .
Equation (108) is valid in the entire complex λ -plane when dimension m is odd and valid in C { m + 1 , m , m 1 , } when m is even. For the singular values of the parameter λ , we obtain the following expressions.
  • Consider the case λ = m + 1 . For odd dimension m, no singularities will appear, and we indeed find that
    D ̲ ( i x ̲ ) m + 1 = D ̲ T m + 1 = 0 ,
    whence
    D ̲ Fp x ̲ m + 1 = 0 .
    For even dimension m, we find
    D ̲ ( i x ̲ ) m + 1 = i D ̲ U m + 1 = i ( m 1 ) T m i a m δ ( x ̲ ) ,
    whence
    D ̲ Fp x ̲ m + 1 = ( m 1 ) Fp x ̲ m + ( 1 ) m / 2 + 1 a m δ ( x ̲ ) .
  • Consider the case λ = m . For odd dimension m, no singularities will appear, and we indeed find that
    D ̲ ( i x ̲ ) m = i D ̲ U m = i m T m 1 ,
    whence
    D ̲ Fp x ̲ m = m Fp x ̲ m 1 .
    For even dimension m, we find
    D ̲ ( i x ̲ ) m = D ̲ T m = U m 1 1 m a m ̲ δ ( x ̲ ) ,
    whence
    D ̲ Fp x ̲ m = Fp x ̲ m 1 + ( 1 ) m / 2 + 1 1 m a m ̲ δ ( x ̲ ) .
  • Consider the case λ = m 2 . For odd dimension m, no singularities will appear, and we indeed find that
    D ̲ ( i x ̲ ) m 2 = i D ̲ U m 2 = i ( m + 2 ) T m 2 1 ,
    whence
    D ̲ Fp x ̲ m 2 = ( m + 2 ) Fp x ̲ m 2 1 .
    For even dimension m, we find
    D ̲ ( i x ̲ ) m 2 = D ̲ T m 2 = ( 2 + 1 ) U m 2 1 + ( 1 ) + 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) ,
    whence
    D ̲ Fp x ̲ m 2 = ( 2 + 1 ) Fp x ̲ m 2 1 + ( 1 ) m / 2 + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) .
  • Consider the case λ = m 2 1 . For odd dimension m, no singularities will appear, and we indeed find that
    D ̲ ( i x ̲ ) m 2 1 = D ̲ T m 2 1 = ( 2 + 2 ) U m 2 2
    whence
    D ̲ Fp x ̲ m 2 1 = ( 2 + 2 ) Fp x ̲ m 2 2 .
    For even dimension m, we find
    D ̲ ( i x ̲ ) m 2 1 = i D ̲ U m 2 1 = i ( m + 2 + 1 ) T m 2 2 + i ( 1 ) m + 2 + 2 C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) ,
    whence
    D ̲ Fp x ̲ m 2 1 = ( m + 2 + 1 ) Fp x ̲ m 2 2 + ( 1 ) m / 2 1 m + 2 + 2 C ( m , + 1 ) a m ̲ 2 + 2 δ ( x ̲ ) .

10.4. Complex Powers of x ̲ as Signumdistributions

Similarly as in the preceding subsection, we can define signumdistributions involving complex powers of x ̲ .
Definition 15.
For λ C , we put
( i x ̲ ) λ s = 1 2 ( 1 + exp ( i π λ ) ) T λ s + 1 2 i ( 1 exp ( i π λ ) ) U λ s .
Remark 11.
It has to be verified that for integer values of the complex parameter λ, we recover the signumdistributions already introduced above. We indeed have the following:
  • For λ = 2 , Z ,
    ( i x ̲ ) 2 s = T 2 s = ( 1 ) Fp x ̲ 2 s ;
  • For λ = 2 + 1 , Z ,
    ( i x ̲ ) 2 + 1 s = i U 2 + 1 s = i ( 1 ) Fp x ̲ 2 + 1 s .
Now, we investigate the holomorphy of ( i x ̲ ) λ s in the complex λ -plane. Recall that
  • T λ s is a meromorphic function of λ showing simple poles at λ = m 2 1 , = 0 , 1 , 2 , ;
  • U λ s is a meromorphic function of λ showing simple poles at λ = m 2 , = 0 , 1 , 2 , .
Therefore, it becomes clear that the possible singularities of the signumdistributions ( i x ̲ ) λ s depend on the parity of dimension m.
If dimension m is even, then
( i x ̲ ) m 2 s = T m 2 s ,
and
( i x ̲ ) m 2 1 s = i U m 2 1 s ,
implying that signumdistribution ( i x ̲ ) λ s is an entire function of λ C and shows no singularities.
If dimension m is odd, then
( i x ̲ ) m 2 s = i U m 2 s ,
and
( i x ̲ ) m 2 1 s = T m 2 1 s ,
implying that signumdistribution ( i x ̲ ) λ s is a meromorphic function of λ C showing simple poles at λ = m , m 1 , m 2 , . However, note that at those singular points the signumdistribution ( i x ̲ ) λ s is still defined through the monomial pseudofunctions; however, this signumdistribution is not turned into an entire function of λ .
Now, we compute the Dirac derivative of the signumdistribution ( i x ̲ ) λ s . In general, we obtain
̲ ( i x ̲ ) λ s = 1 2 ( 1 + exp ( i π λ ) ) λ U λ 1 s 1 2 i ( 1 exp ( i π λ ) ) ( λ + m 1 ) T λ 1 s .
Equation (109) is valid in the entire complex λ -plane when dimension m is even, whereas for odd dimension m, it is valid for λ m + 1 , m , m 1 , m 2 , . For those singular values of the parameter λ , we obtain the following results.
  • Consider the case λ = m + 1 . For even dimension m, we do not expect singularities to appear, and indeed, we find that
    ̲ ( i x ̲ ) m + 1 s = i ̲ U m + 1 s = 0 ,
    whence
    ̲ Fp x ̲ m + 1 s = 0 .
    For odd dimension m, we find
    ̲ ( i x ̲ ) m + 1 s = ̲ T m + 1 s = ( m 1 ) U m s + a m ω ̲ δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m + 1 s = ( m 1 ) Fp x ̲ m s + ( 1 ) m + 1 2 a m ω ̲ δ ( x ̲ ) .
  • Consider the case λ = m . For even dimension m, we do not expect singularities to appear, and indeed, we find that
    ̲ ( i x ̲ ) m s = ̲ T m s = m U m 1 s ,
    whence
    ̲ Fp x ̲ m s = m Fp x ̲ m 1 s .
    For odd dimension m, we find
    ̲ ( i x ̲ ) m s = i ̲ U m s = i T m 1 s i 1 m a m ω ̲ ̲ δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m s = Fp x ̲ m 1 s + ( 1 ) m + 1 2 1 m a m ω ̲ ̲ δ ( x ̲ ) .
  • Consider the case λ = m 2 . For even dimension m, we do not expect singularities to appear, and indeed, we find that
    ̲ ( i x ̲ ) m 2 s = ̲ T m 2 s = ( m 2 ) U m 2 1 s
    whence
    ̲ Fp x ̲ m 2 s = ( m + 2 ) Fp x ̲ m 2 1 s .
    For odd dimension m, we find
    ̲ ( i x ̲ ) m 2 s = i ̲ U m 2 s = i ( 2 + 1 ) T m 2 1 s + ( 1 ) + 1 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m 2 s = ( 2 + 1 ) Fp x ̲ m 2 1 s + ( 1 ) m + 1 2 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) .
  • Consider the case λ = m 2 1 . For even dimension m, we do not expect singularities to appear, and indeed, we find that
    ̲ ( i x ̲ ) m 2 1 s = i ̲ U m 2 1 s = i ( 2 + 2 ) T m 2 2 s ,
    whence
    ̲ Fp x ̲ m 2 1 s = ( 2 + 2 ) Fp x ̲ m 2 2 .
    For odd dimension m, we find
    ̲ ( i x ̲ ) m 2 1 s = ̲ T m 2 1 s = ( m + 2 + 1 ) U m 2 2 s + ( 1 ) + 1 m + 2 + 2 C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) ,
    whence
    ̲ Fp x ̲ m 2 1 s = ( m + 2 + 1 ) Fp x ̲ m 2 2 s + ( 1 ) m + 1 2 m + 2 + 2 C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) .
Finally, we can compute the action of operator D ̲ on signumdistribution ( i x ̲ ) λ s . In general, we obtain
D ̲ ( i x ̲ ) λ s = 1 2 ( 1 + exp ( i π λ ) ) ( λ + m 1 ) U λ 1 s 1 2 i ( 1 exp ( i π λ ) ) λ T λ 1 s .
Equation (110) is valid in the entire complex λ -plane when dimension m is even, whereas for odd dimension m, it is valid for λ m + 1 , m , m 1 , m 2 , . For those singular values of the parameter λ , we obtain the following results.
  • Consider the case λ = m + 1 . For even dimension m, we do not expect singularities to appear, and we indeed find that
    D ̲ ( i x ̲ ) m + 1 s = i D ̲ U m + 1 s = i ( m 1 ) T m s ,
    whence
    D ̲ Fp x ̲ m + 1 s = ( m 1 ) Fp x ̲ m s .
    For odd dimension m, we find
    D ̲ ( i x ̲ ) m + 1 s = D ̲ T m + 1 s = a m ω ̲ δ ( x ̲ ) ,
    whence
    D ̲ Fp x ̲ m + 1 s = ( 1 ) m + 1 2 a m ω ̲ δ ( x ̲ ) .
  • Consider the case λ = m . For even dimension m, we do not expect singularities to appear, and we indeed find that
    D ̲ ( i x ̲ ) m s = D ̲ T m s = U m 1 s ,
    whence
    D ̲ Fp x ̲ m s = Fp x ̲ m 1 s .
    For odd dimension m, we find
    D ̲ ( i x ̲ ) m s = i D ̲ U m s = i m T m 1 s 1 m a m ω ̲ ̲ δ ( x ̲ ) ,
    whence
    D ̲ Fp x ̲ m s = m Fp x ̲ m 1 s + ( 1 ) m + 1 2 1 m a m ω ̲ ̲ δ ( x ̲ ) .
  • Consider the case λ = m 2 . For even dimension m, we do not expect singularities to appear, and we indeed find that
    D ̲ ( i x ̲ ) m 2 s = D ̲ T m 2 s = ( 2 + 1 ) U m 2 1 s ,
    whence
    D ̲ Fp x ̲ m 2 s = ( 2 + 1 ) Fp x ̲ m 2 1 s .
    For odd dimension m, we find
    D ̲ ( i x ̲ ) m 2 s = i D ̲ U m 2 s = i ( ( m + 2 ) T m 2 1 s + ( 1 ) + 1 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) ) ,
    whence
    D ̲ Fp x ̲ m 2 s = ( m + 2 ) Fp x ̲ m 2 1 s + ( 1 ) m + 1 2 1 C ( m , ) a m ω ̲ ̲ 2 + 1 δ ( x ̲ ) .
  • Consider the case λ = m 2 1 . For even dimension m, we do not expect singularities to appear, and we indeed find that
    D ̲ ( i x ̲ ) m 2 1 s = i D ̲ U m 2 1 s = i ( m + 2 + 1 ) T m 2 2 s ,
    whence
    D ̲ Fp x ̲ m 2 1 s = ( m + 2 + 1 ) Fp x ̲ m 2 2 s .
    For odd dimension m, we find
    D ̲ ( i x ̲ ) m 2 1 s = D ̲ T m 2 1 s = ( 2 + 2 ) U m 2 2 s + ( 1 ) + 1 m + 2 + 2 C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) ,
    whence
    D ̲ Fp x ̲ m 2 1 s = ( 2 + 2 ) Fp x ̲ m 2 2 s + ( 1 ) m + 1 2 m + 2 + 2 C ( m , + 1 ) a m ω ̲ ̲ 2 + 2 δ ( x ̲ ) .

11. Physics in Three-Dimensional Euclidean Space

Consider a Euclidean space R m of arbitrary dimension m. We identify the algebraic vector v ̲ R m with the Clifford 1-vector v ̲ R 0 , m ( 1 ) ; see Appendix E. Note that, for two vectors v ̲ and w ̲ , it holds that
v ̲ w ̲ = v ̲ · w ̲ ,
since, on the one hand, the scalar or inner product of two algebraic vectors is given by v ̲ w ̲ = j = 1 m v j w j , while, on the other hand, the dot product of the corresponding Clifford 1-vectors is given by v ̲ · w ̲ = j = 1 m v j w j . In particular, we identify the Dirac operator ̲ = j = 1 m e j x j with the gradient operator = j = 1 m e j x j , where ( e 1 , , e m ) is an orthonormal basis of R m . Alternative notations used are e ̲ r for ω ̲ , r λ for T λ , and e ̲ r r λ for U λ . In this section, we discuss some well-known formulæ, used in physics papers, in the Euclidean space R 3 . To distinguish the particular three-dimensional case from the arbitrary dimensional case, we will use an arrow in the notation of the algebraic vector in R 3 .

11.1. Gravitational Fields

A vector field F in R 3 is said to be rotation-free (or irrotational) in an open region Ω if it is continuously differentiable in Ω and satisfies
× F = 0 .
Invoking Stokes’ Theorem, it holds that the line integral of a rotation-free vector field over a closed smooth path C in Ω vanishes as
C F d P = 0 .
If F represents a force field, then the above line integral represents the work done by this field to move an object along the path C . For example, this explains why a planet orbits around the sun in the Newtonian gravitational field, which is proportional to
F g r a v = e r r 2 = x | x | 3 ,
and is rotation-free in R 3 { O } and does not cost any energy.
In Clifford algebra notation, this gravitational field F g r a v takes the form
F ̲ g r a v = ω ̲ r 2 = U 2 .
The irrotationality of F g r a v in R 3 { O } corresponds with
̲ U 2 = 0 ,
which follows from
̲ U 2 = a 3 δ ( x ̲ ) ,
which is a scalar expression. It should be noted that in the complement of the origin it holds that
̲ · U 2 = 0 ,
which means that the gravitational field F g r a v is also divergence-free in R 3 { O } .
However, upon inspection of the formulæ obtained in Section 8, it becomes clear that, for all λ C , ̲ U λ is a scalar expression, that is,
̲ U λ = 0 , λ C ,
which implies that all vector fields of the form
F = e r r λ
are rotation-free in R 3 { O } . This is particularly interesting for, e.g., Modified Newtonian Dynamics—or MOND for short—which is an alternative to the dark matter model and aims at explaining the high velocities of stars at the outskirts of galaxies. In this MOND model, it is proposed that, from a certain threshold on in the acceleration, the gravitational field is proportional to
e r r .
It is clear that, whatever power of the radial distance is used in a gravitational field, it always obeys the zero-energy orbiting principle.

11.2. Coulomb Potential of a Unit Point Charge

In the special case of three-dimensional space, the formulæ (105) and (106) for the second-order Cartesian derivatives of the fundamental solution of the Laplace operator T m + 2 , viz.,
x k x j T m + 2 = m ( m 2 ) x k x j T m 2 , j k ,
and
x j 2 T m + 2 = m ( m 2 ) x j 2 T m 2 ( m 2 ) T m m 2 m a m δ ( x ̲ ) ,
turn into
x k x j T 1 = 3 x k x j T 5 , j k x j 2 T 1 = 3 x j 2 T 5 T 3 4 3 π δ ( x ) ,
or, in the new notation,
x k x j 1 r = 3 x k x j 1 r 5 , j k
x j 2 1 r = 3 x j 2 1 r 5 4 3 π δ ( x ) 1 r 3 .
These expressions for the second-order partial derivatives of the Coulomb potential of a unit point charge are well known in physics; see, e.g., [7,8,9]. In [10], it is argued that, with respect to test functions that are not smooth at the origin, the above formulæshould be replaced by
x k x j 1 r = 3 x k x j 1 r 5 4 π x j x k r 2 δ ( x ) , j k
x j 2 1 r = 3 x j 2 1 r 5 4 π x j 2 r 2 δ ( x ) 1 r 3 .
Mathematically speaking, it is not clear what in [10] is meant by ”test functions that are not smooth at the origin“. Nevertheless, considering that the delta distribution and its derivatives are only defined on differentiable test functions, it is readily observed that formulæ (113) and (114) simply coincide with formulæ (111) and (112), as shown in the following results, which hold in arbitrary dimension m.
Lemma 2.
For the delta distribution δ ( x ̲ ) in R m , we have the following:
(i) 
x j 2 Δ δ ( x ̲ ) = 2 δ ( x ̲ ) ;
(ii) 
x j x k Δ δ ( x ̲ ) = 0 , j k ;
(iii) 
r 2 Δ δ ( x ̲ ) = 2 m δ ( x ̲ ) ;
(iv) 
1 r 2 δ ( x ̲ ) = 1 2 m Δ δ ( x ̲ ) ;
(v) 
x j 2 r 2 δ ( x ̲ ) = 1 m δ ( x ̲ ) ;
(vi) 
x j x k r 2 δ ( x ̲ ) = 0 , j k .
Proof. 
(i) For any test function φ ( x ̲ ) and j = 1 , , m , it holds that
x j 2 Δ δ , φ = δ , Δ ( x j 2 φ ) = δ , 2 φ + 4 x j x j φ + x j 2 Δ φ = 2 δ , φ .
(ii) We have
x j x k Δ δ , φ = δ , Δ ( x j x k φ ) = δ , 2 x k x j φ + 2 x j x k φ + x j x k Δ φ = 0 .
(iii) It follows from (i) that
r 2 Δ δ = Σ j = 1 m x j 2 Δ δ = 2 m δ .
(iv) Considering the homogeneity of the delta distribution, it follows from (iii) that
Δ δ = 2 m 1 r 2 δ .
(v) It follows from (iv) and (i) that
x j 2 r 2 δ ( x ̲ ) = x j 2 1 2 m Δ δ ( x ̲ ) = 1 m δ ( x ̲ ) .
(vi) Follows from (iv) and (ii).
As a corollary, it follows from (vi) that the extra term in (113) compared to (111) is zero. Setting m = 3 in (v) shows that
4 π x j 2 r 2 δ ( x ) = 4 3 π δ ( x ) ,
thus making (114) coincide with (112).

11.3. A Novel Delta Function Identity

An interesting formula in [10] is
1 r 3 = 4 π 1 r e r δ ( x ) 3 e r 1 r 4 .
How does it fit the present theory? Starting with (11), viz.,
̲ T m = m U m 1 1 m a m ̲ δ ( x ̲ ) ,
set m = 3 and make use of
1 m ̲ δ ( x ̲ ) = 1 x ̲ δ ( x ̲ ) = ω ̲ r δ ( x ̲ ) ,
to obtain
̲ T 3 = 3 U 4 + 4 π ω ̲ r δ ( x ̲ ) ,
which in the vector notation reads
1 r 3 = 3 e r 1 r 4 + 4 π 1 r e r δ ( x ) ,
which is exactly the same as (115). In [10], this result is written as
1 r 3 = g ( r ) e r ,
with
g ( r ) = e r 1 r 3 = 3 1 r 4 + 4 π 1 r δ ( x ) .
Clearly, g ( r ) is the radial signumdistribution
3 T 4 s + 4 π 1 r δ ( x ̲ ) = ω ̲ ( ̲ T 3 ) .

11.4. Electric and Magnetic Dipole Moment

The electric potential induced by the electric dipole moment p is given by the scalar or inner product
ϕ 3 ( x ) = p x r 3 ,
and the corresponding electric field is
E 3 = ϕ 3 .
In [8], it was shown that this electric field can be expressed directly in terms of the electric dipole moment as
E 3 = 4 π 3 δ ( x ) p + 3 p x r 5 x 1 r 3 p .
Our aim was to recover this expression using the formulæ obtained in the present paper. Let p ̲ be a constant Clifford vector. Then, in general dimension m, it holds that
ϕ m = p ̲ x ̲ r m = p ̲ · U m + 1 ,
and as
Δ ( U m + 1 ) = a m ̲ δ ( x ̲ ) ,
we have
Δ ϕ m = a m p ̲ · ̲ δ ( x ̲ ) .
Putting m = 3 , we obtain
Δ ϕ 3 = a 3 p δ ( x ) ,
whence, in the complement of the origin,
Δ ϕ 3 = 0 ,
confirming that the electric potential ϕ 3 is a harmonic scalar field in R 3 { O } .
Now, from
x i ( p ̲ U m + 1 ) = p ̲ x i U m + 1 = p ̲ ( T m e i m x i U m 1 + 1 m a m δ ( x ̲ ) e i )
it follows that
x i ϕ m = p ̲ · x i U m + 1 = p i T m + m x i ( p ̲ · U m 1 ) + 1 m a m p i δ ( x ̲ ) ,
whence
E ̲ = ̲ ϕ m = p ̲ T m m ( p ̲ · x ̲ ) U m 1 1 m a m δ ( x ̲ ) p ̲ ,
since
( p ̲ · U m 1 ) x ̲ = ( p ̲ · x ̲ ) U m 1 .
For m = 3 and in vector notation, we then indeed obtain that
E 3 = ϕ 3 = 4 π 3 δ ( x ) p + 3 p x r 5 x 1 r 3 p .
In R 3 { O } , the electric field E 3 is divergence-free and rotation-free, since it is the gradient field of a harmonic scalar field ϕ 3 . Therefore, if we compute the divergence and rotation of E 3 as a distribution in R 3 , we expect the resulting distributions to be supported at the origin. We can compute both simultaneously by letting, in general dimension m, the Dirac operator act on E ̲ . We obtain
̲ E ̲ = m U m 1 1 m a m ̲ δ ( x ̲ ) p ̲ + m p ̲ U m 1 m ( p ̲ · x ̲ ) 2 T m 2 + 1 2 m a m ̲ 2 δ ( x ̲ ) 1 m a m ̲ δ ( x ̲ ) p ̲ = 2 m p ̲ · U m 1 2 m ( p ̲ · x ̲ ) T m 2 1 2 a m ( p ̲ · x ̲ ) ̲ 2 δ ( x ̲ ) = 1 2 a m Σ p j x j Δ δ ( x ̲ ) = a m ( p ̲ · ̲ ) δ ( x ̲ ) ,
from which it follows that
̲ · E ̲ = a m ( p ̲ · ̲ ) δ ( x ̲ ) and ̲ E ̲ = 0 ,
or, in dimension 3 and in the language of vector analysis,
E 3 = 4 π ( p ) δ ( x ) and × E 3 = 0 ,
showing that the electric field of an electric dipole is rotation-free in the whole space even if it is not differentiable at the origin. Its divergence can also be obtained via
E 3 = Δ ϕ 3 = a 3 p δ ( x ) .
Similarly, if M 3 stands for the magnetic dipole moment, the magnetic vector potential is given by
A 3 = M 3 × x r 3 ,
and the corresponding magnetic field is
B 3 = × A 3 .
We now recover the formula, appearing in [8], expressing the magnetic field in terms of the magnetic dipole moment as
B 3 = 8 π 3 δ ( x ) M 3 + 3 ( M 3 x ) x r 5 1 r 3 M 3 .
First, we observe that
B 3 = × A 3 = × ( M 3 × x r 3 ) = x r 3 M 3 M 3 x r 3 .
In general dimension m, we have
̲ x ̲ r m = ̲ · U m + 1 = ̲ U m + 1 0 = a m δ ( x ̲ )
and, with M ̲ = Σ j = 1 m M j e j ,
M ̲ ̲ x ̲ r m = Σ j = 1 m M j x j U m + 1 = Σ j = 1 m M j T m e j m x j U m 1 + 1 m a m δ ( x ̲ ) e j = T m M ̲ m Σ j = 1 m M j x j U m 1 + 1 m a m δ ( x ̲ ) M ̲ ,
whence, putting m = 3 ,
B 3 = 4 π δ ( x ) M 3 1 r 3 M 3 + 3 ( M 3 x ) x r 5 4 π 3 δ ( x ̲ ) M 3 = 8 π 3 δ ( x ) M 3 + 3 ( M 3 x ) x r 5 1 r 3 M 3 .
This magnetic field B 3 satisfies the Maxwell equation
B 3 = 0
which would be trivial because B 3 is a rotation field, were it not that B 3 is not differentiable at the origin. To show that the magnetic field is indeed divergence-free, we act, in general dimension m, with the Dirac operator on
B ̲ = m 1 m a m δ ( x ̲ ) M ̲ T m M ̲ + m ( M ̲ x ̲ ) U m 1 ,
and obtain
̲ B ̲ = m 1 m a m ̲ δ ( x ̲ ) M ̲ m U m 1 1 m a m ̲ δ ( x ̲ ) M ̲ + m Σ j = 1 m e j M j U m 1 m ( M ̲ · x ̲ ) 2 T m 2 + m + 2 2 m ( m + 2 ) a m ̲ 2 δ ( x ̲ ) = a m ̲ δ ( x ̲ ) M ̲ + m U m 1 M ̲ + M ̲ U m 1 2 m ( M ̲ · x ̲ ) T m 2 + a m Σ j = 1 m M j x j δ ( x ̲ ) = a m ̲ δ ( x ̲ ) M ̲ a m ̲ δ ( x ̲ ) · M ̲ = a m ̲ δ ( x ̲ ) M ̲ ,
from which it follows that
̲ · B ̲ = 0 and ̲ B ̲ = a m ̲ δ ( x ̲ ) M ̲ ,
or, in the language of vector analysis in three-dimensional space,
B 3 = 0 and × B 3 = 4 π δ ( x ) × M 3 = 4 π ( M 3 × ) δ ( x ) .

11.5. Some More Delta Function Identities

In [7], a number of identities for the delta distribution are given as corollaries to the computation of integrals of spherical Bessel functions. It is shown that
x i x j 1 r 2 1 3 δ i j Δ 1 r 2 = 8 r 4 ω i ω j 1 3 δ i j ,
or, considering that, in general, Δ T m + 1 = ( m 1 ) T m 1 , and thus, in three-dimensional space Δ T 2 = 2 T 4 , and
x i x j 1 r 2 = 8 r 4 ω i ω j 2 δ i j 1 r 4 .
We verify these formulæas follows. If i j , then for the distribution T m + 1 , it holds that
x i x j T m + 1 = ( m + 1 ) ( m 1 ) x i x j T m 3 ,
which, for m = 3 , turns into
x i x j T 2 = 8 x i x j T 6 = 8 ω i ω j T 4 .
If i = j , then we have
x i 2 T m + 1 = ( m + 1 ) ( m 1 ) x i 2 T m 3 + ( m + 1 ) T m 1 ,
which, for m = 3 , turns into
x i 2 T 2 = 8 x i 2 T 6 2 T 4 = 8 ω i 2 T 4 2 T 4 .
It is also shown in [7] that
x i x j δ ( x ̲ ) 1 3 δ i j Δ δ ( x ̲ ) = 15 1 r 2 ω i ω j δ ( x ̲ ) 5 1 r 2 δ i j δ ( x ̲ ) ,
or, considering that, in general, 1 r 2 δ ( x ̲ ) = 1 2 m Δ δ ( x ̲ ) , and thus, in three-dimensional space, 1 r 2 δ ( x ̲ ) = 1 6 Δ δ ( x ̲ ) , and
x i x j δ ( x ̲ ) + 1 2 δ i j Δ δ ( x ̲ ) = 15 1 r 2 ω i ω j δ ( x ̲ ) .
We verify these formulæ as follows. If i j , then
ω i ω j 1 r 2 δ ( x ̲ ) = x i x j 1 r 4 δ ( x ̲ ) = x i x j 1 8 m ( m + 2 ) ̲ 4 δ ( x ̲ ) = 1 2 1 m ( m + 2 ) x i x j ̲ 2 δ ( x ̲ ) = 1 m ( m + 2 ) x i x j δ ( x ̲ ) ,
which, for m = 3 , reduces to
ω i ω j 1 r 2 δ ( x ̲ ) = 1 15 x i x j δ ( x ̲ ) .
For i = j , we find
ω i ω i 1 r 2 δ ( x ̲ ) = x i x i 1 r 4 δ ( x ̲ ) = x i x i 1 8 m ( m + 2 ) ̲ 4 δ ( x ̲ ) = 1 2 1 m ( m + 2 ) x i x i ̲ 2 δ ( x ̲ ) = 1 2 m ( m + 2 ) 2 x i x i δ ( x ̲ ) + Δ δ ( x ̲ ) = 1 2 m ( m + 2 ) Δ δ ( x ̲ ) + 1 m ( m + 2 ) x i 2 δ ( x ̲ ) ,
which, for m = 3 , reduces to
ω i 2 1 r 2 δ ( x ̲ ) = 1 30 Δ δ ( x ̲ ) + 1 15 x i 2 δ ( x ̲ ) .

11.6. Point Source Fields

The inverse square field 1 r 2 is at the heart of the discussion of idealized point sources in a three-dimensional space. In [11], identities are established for partial derivatives of the form
x i ω j 1 ω j n 1 r 2 .
In [12], similar identities are derived from more general formulæ. We show how two of these formulæ, corresponding to n = 1 and n = 2 as
x i ω j 1 r 2 = δ i j 1 r 3 3 ω i ω j 1 r 3 + 4 π 3 δ i j δ ( x ̲ ) , x i ω j ω k 1 r 2 = δ i j ω k 1 r 3 + δ i k ω j 1 r 3 4 ω i ω j ω k 1 r 3 ,
may be obtained in the framework of our theory. Firstly, we rewrite them in the language of the underlying paper as
x i ω j T 2 s = δ i j T 3 3 ω i ω j T 3 + 4 π 3 δ i j δ ( x ̲ ) ,
x i ω j ω k T 2 = δ i j ω k T 3 s + δ i k ω j T 3 s 4 ω i ω j ω k T 3 s .
Secondly, it is important to note that in (117) the expression ω j ω k T 2 is a distribution. Indeed, for the distribution T 2 , it holds that
ω k T 2 = { ω ̲ T 2 } ( k ) = { s U 2 } ( k ) = x k T 3 s ,
whence
ω j ω k T 2 = { ω ̲ x k T 3 s } ( j ) = { x k U 3 } ( j ) x j x k T 4 .
However, if in (116), T 2 is interpreted as a distribution, then the expression ω j T 2 becomes a signumdistribution. To obtain the proposed result (116), ω j T 2 should be a distribution, whence 1 r 2 has to be interpreted as the signumdistribution T 2 s . It then holds that
ω j T 2 s = { ω ̲ T 2 s } ( j ) = { U 2 } ( j ) = x j T 3 ,
is clearly a distribution.
Now, to prove (116), consider, in general dimension m, the signumdistribution T m + 1 s for which it holds that
ω j T m + 1 s = x j T m .
For i j , we then have
x i ω j T m + 1 s = x i x j T m = x j m x i T m 2 1 m a m x i δ ( x ̲ ) = m x i x j T m 2 ,
since x j x i δ ( x ̲ ) = 0 . It follows that
x i ω j T m + 1 s = m ω i ω j T m .
For i = j , we have
x i ω i T m + 1 s = x i ( x i T m ) = T m + x i ( m x i T m 2 1 m a m x i δ ( x ̲ ) ) = T m m x i 2 T m 2 + 1 m a m δ ( x ̲ ) ,
since x i x i δ ( x ̲ ) = δ ( x ̲ ) .
When putting m = 3 , we obtain, respectively,
x i ω j T 2 s = 3 ω i ω j T 3 ,
and
x i ω i T 2 s = T 3 3 ω i 2 T 3 + 4 π 3 δ ( x ̲ ) .
Formula (117) is proven similarly. If i j and i k , then, in general dimension m,
x i ω k ω j T m + 1 s = x i x k x j T m 1 = x k x j ( m 1 ) x i T m 3 = ( m + 1 ) x i x j x k T m 3 = ( m + 1 ) ω i ω j ω k T m s ,
since it is easily seen that ω i ω j ω k T m s = x i x j x k T m 3 . In the particular case when m = 3 , this formula reduces to
x i ω k ω j T 2 s = 4 ω i ω j ω k T 3 s .
If i = j and i k , then, in general dimension m,
x i ω k ω i T m + 1 s = x i x k x i T m 1 = x k T m 1 + x k x i ( m 1 ) x i T m 3 = ω k T m s ( m + 1 ) ω i 2 ω k T m s ,
which, for m = 3 , reduces to
x i ω k ω i T 2 s = ω k T 3 s 4 ω i 2 ω k T 3 s .
Finally, if i = j = k , then, in general dimension m,
x i ω i 2 T m + 1 = x i x i 2 T m 1 = 2 x i T m 1 + x i 2 ( m 1 ) x i T m 3 = 2 ω i T m s ( m + 1 ) ω i 3 T m ,
which, for m = 3 , turns into
x i ω i 2 T 2 = 2 ω i T 3 s 4 ω i 3 T 3 .
These considerations show that formulæ such as (116) and (117) should be handled with great care, especially with regard to the distributional or signumdistributional character of negative powers of the radial distance r. In this respect, it holds, more generally, that
ω j 1 ω j 2 n T λ = x j 1 x j 2 n T λ 2 n
is a distribution, while
ω j 1 ω j 2 n + 1 T λ = x j 1 x j 2 n + 1 T λ 2 n 1 s
is a signumdistribution.

12. Conclusions

Expressing distributions in Euclidean space in terms of spherical coordinates inevitably leads to the introduction of so-called signumdistributions. These are bounded linear functionals on a space of indefinitely differentiable test functions showing a non-removable singularity at the origin. There are two types of operators acting on distributions. The Cartesian operators can be expressed using solely Cartesian coordinates. They map distributions to distributions, and their action may be either uniquely determined, as is the case for a number of operators, such as derivation with respect to the Cartesian coordinates, multiplication by analytic functions, the Euler operator, the Γ operator, the Laplace operator, etc., or they may take the form of an equivalence class of distributions, as is the case for a division by analytic functions, for the operators ω ̲ r and 1 r ω ̲ , for the operators D ̲ and d j , j = 1 , , m , etc. The so-called spherical operators map distributions to signumdistributions, and their action may be either uniquely determined, as is the case for the spherical derivatives r and ω ̲ , or may result in an equivalence class of signumdistributions, as is the case for division by the spherical distance r. Owing to their homogeneity and (signum-)radial character, the distributions T λ and U λ behave specifically under the action of all those operators in the sense that the results of these actions are all uniquely determined, except for a small number of cases, ω ̲ r U m + 1 , 1 r ω ̲ U m + 1 , D ̲ U m + 1 , d j U m + 1 , j = 1 , , m , 1 r 2 T m + 2 , and 1 r 2 U m + 1 , which can all be traced back to the non-uniquely determined action 1 x ̲ U m + 1 . Nevertheless, we were able to uniquely determine the aforementioned actions while conserving overall consistency. Crucial to obtaining this result is the possibility to have a free choice of the arbitrary constant in equivalence class 1 x ̲ U m + 1 , the non-uniquely determined character of which should be maintained.

Funding

This research received no external funding.

Data Availability Statement

There are no data to be shared for this article.

Acknowledgments

The author is indebted to the referees for their rigorous reading of the manuscript and their valuable suggestions.

Conflicts of Interest

The author declares that no conflicts of interest exist.

Appendix A. The Distribution Fp x + μ on the Real Line

Consider the space D ( R ) of so-called test functions  φ on R , i.e., indefinitely differentiable functions with compact support s u p p [ φ ] , equipped with the following topology. A sequence ( φ j ( x ) ) j = 1 of test functions is said to converge to a test function φ ( x ) in D ( R ) if there exists a compact set K R such that s u p p [ φ j ] K , for all j N , and sup x K | φ ( k ) ( x ) φ j ( k ) ( x ) | 0 , when j + , for all orders of derivation k. Note that there are several, albeit equivalent, topologies on D ( R ) possible.
A real or complex distribution T on the real line is a continuous linear functional on D ( R ) , or, in other words, an element of the dual space D ( R ) . Denoting the action of a linear functional T on a test function φ by
T , φ C ,
for T to be a continuous linear functional on D ( R ) , it must hold that T , φ j T , φ i n C whenever φ j φ i n D ( R ) .
An important property of distributions is that a distribution is indefinitely continuously differentiable, with the basic definition of derivation being
x T , φ = T , x φ .
Any locally integrable function f L 1 l o c ( R ) may be interpreted as a so-called regular distribution T f by putting, for all test functions φ D ( R ) ,
T f , φ = + f ( x ) φ ( x ) d x .
A well-known, and non-regular, distribution is the Dirac delta distribution δ ( x ) defined by
δ ( x ) , φ ( x ) = δ ( 0 ) , φ D ( R ) .
An example of a regular distribution is the Heaviside step function Y ( x ) , given by
Y ( x ) = 1 , x > 0 0 , x < 0 .
It holds that
Y ( x ) = δ ( x ) .
Now, let μ be a complex parameter and x a real variable. We consider the function
x + μ = x μ Y ( x )
where x μ is the function
x μ = exp ( μ ln x ) = exp ( a ln x ) exp ( i b ln x ) = x a exp ( i b ln x ) , x > 0 ,
with a = μ and b = μ being the real and imaginary parts of μ C , respectively.
If μ > 1 , then x + μ is a locally integrable function, and hence, a regular distribution is given for all test functions φ ( x ) D ( R ) as
x + μ , φ ( x ) = 0 + x μ φ ( x ) d x , μ > 1 .
As a function of μ , the distribution x + μ is holomorphic in the half-plane μ > 1 .
For μ 1 , the function x + μ is no longer locally integrable. One introduces the so-called finite part distribution Fp x + μ by defining, for n 1 < μ < n and all n N ,
Fp x + μ , φ ( x ) = 0 + x μ φ ( x ) φ ( 0 ) φ ( 0 ) 1 ! x φ ( n 1 ) ( 0 ) ( n 1 ) ! x n 1 d x = lim ϵ 0 + ϵ + x μ φ ( x ) d x + φ ( 0 ) ϵ μ + 1 μ + 1 + + φ ( n 1 ) ( 0 ) ( n 1 ) ! ϵ μ + n μ + n .
Note that for μ > 1 , the defining expression (A1) for Fp x + μ reduces to that for x + μ , and, by analytic continuation, Fp x + μ becomes holomorphic in C { 1 , 2 , 3 , } . Its singularities μ = 1 , 2 , 3 , are simple poles with residues
Res μ = n Fp x + μ = ( 1 ) n 1 ( n 1 ) ! δ ( n 1 ) ( x ) .
It is still possible to define Fp x + μ for μ = 1 , 2 , 3 , through the so-called monomial pseudofunctions, but it should be emphasized that through this additional definition, no entire function of μ is obtained. One puts, for all n C ,
Fp x + n , φ ( x ) = lim ϵ 0 + ( ϵ + x n φ ( x ) d x + φ ( 0 ) ϵ n + 1 n + 1 l i m l i m l i m + + φ ( n 2 ) ( 0 ) ( n 2 ) ! ϵ 1 1 + φ ( n 1 ) ( 0 ) ( n 1 ) ! ln ϵ ) .
In the following sequence of lemmata, we summarize the most important properties of the finite part distribution. For the proofs, we refer to, e.g., [13].
Lemma A1.
The distribution Fp x + μ obeys the following multiplication rules:
  • x Fp x + μ = Fp x + μ + 1 , μ 1 , 2 , 3 , ;
  • x Fp x + 1 = Y ( x ) ;
  • x Fp x + n = Fp x + n + 1 , n = 2 , 3 , .
Lemma A2.
The distribution Fp x + μ obeys the following differentiation rules:
  • x Fp x + μ = μ Fp x + μ 1 , μ 0 , 1 , 2 , ;
  • x Fp x + 0 = δ ( x ) ;
  • x Fp x + n = ( n ) Fp x + n 1 + ( 1 ) n 1 n ! δ ( n ) ( x ) , n = 1 , 2 , 3 , .
Lemma A3.
If the test function φ ( x ) is such that φ ( 0 ) = φ ( 0 ) = = φ ( k ) ( 0 ) = 0 , then we have the following:
  • Fp x + μ , 1 x k φ ( x ) = Fp x + μ k , φ ( x ) , μ 0 , 1 , 2 , , k 1 ;
  • Fp x + n , 1 x k φ ( x ) = Fp x + μ k , φ ( x ) , n = 0 , 1 , 2 , , k 1 .
Note that distribution theory is generalized to arbitrary dimensions in a straightforward manner. It suffices to state that the standard space of test functions is the space D ( R m ) of scalar-valued infinitely differentiable functions with compact support. A distribution T is a continuous linear functional on D ( R m ) , i.e., a linear functional satisfying the condition that, for any compact set K R m and for any sequence of test functions ( φ j ) j = 1 + with compact support contained in K for which all sequences ( α φ j ) j = 1 + converge uniformly to zero on K for all multi-indices α = ( α 1 , , α m ) , it holds that the corresponding sequences T , α φ j converge to zero in C . The space of distributions is denoted by D ( R m ) . A standard reference text for distribution theory in Euclidean space, including numerous examples, is [13].

Appendix B. The Distributions Tλ and Uλ in R m

Let λ be a complex parameter, let μ = λ + m 1 , let Fp r + μ be the finite part distribution on the real r-axis defined by the monomial pseudofunctions for μ = n , n N , and let φ ( x ̲ ) be a scalar test function in R m . We then define the following two families of distributions in R m .
Definition A1.
For λ C , we put
T λ , φ ( x ̲ ) = a m Fp r + μ , Σ ( 0 ) [ φ ] ( r )
and
U λ , φ ( x ̲ ) = a m Fp r + μ , Σ ( 1 ) [ φ ] ( r ) ,
where the spherical means Σ ( 0 ) [ φ ] and Σ ( 1 ) [ φ ] are defined by
Σ ( 0 ) [ φ ] ( r ) = 1 a m S m 1 φ ( r ω ̲ ) d S ω ̲
and
Σ ( 1 ) [ φ ] ( r ) = 1 a m S m 1 ω ̲ φ ( r ω ̲ ) d S ω ̲ .
In view of the holomorphy properties of the one-dimensional distribution Fp r + μ , function T λ is expected to be a priori a meromorphic function of the complex parameter λ with simple poles at μ = 1 , 2 , , or λ = m , m 1 , m 2 , , with residues given by
Res λ = m 2 + 1 T λ , φ ( x ̲ ) = a m 1 ( 2 1 ) ! δ ( 2 1 ) ( r ) , Σ ( 0 ) [ φ ] ( r ) Res λ = m 2 T λ , φ ( x ̲ ) = a m 1 ( 2 ) ! δ ( 2 ) ( r ) , Σ ( 0 ) [ φ ] ( r ) .
As the spherical mean Σ ( 0 ) [ φ ] ( r ) has vanishing odd-order derivatives at the origin r = 0 , it follows that the singularities of T λ at the points λ = m 2 + 1 , = 1 , 2 , are removable. This should be confirmed by coinciding expressions for T λ in the vertical strips m 2 1 < λ < m 2 and m 2 2 < λ < m 2 1 , as wel as a matching value at the removable singularity λ = m 2 1 . Using the shorthand notation Φ for the spherical mean Σ ( 0 ) [ φ ] , we have the following:
  • If m 2 1 < λ < m 2 or 2 2 < μ < 2 1 , then
    1 a m T λ , φ = lim ϵ + 0 ϵ + r μ Φ ( r ) d r + Φ ( 0 ) ϵ μ + 1 μ + 1 + Φ ( 0 ) 1 ! ϵ μ + 2 μ + 2 l i m l i m + + Φ ( 2 1 ) ( 0 ) ( 2 1 ) ! ϵ μ + 2 μ + 2 + Φ ( 2 ) ( 0 ) ( 2 ) ! ϵ μ + 2 + 1 μ + 2 + 1 = lim ϵ + 0 ϵ + r μ Φ ( r ) d r + Φ ( 0 ) ϵ μ + 1 μ + 1 + Φ ( 0 ) 2 ! ϵ μ + 3 μ + 3 l i m l i m + + Φ ( 2 ) ( 0 ) ( 2 ) ! ϵ μ + 2 + 1 μ + 2 + 1 ;
  • If m 2 2 < λ < m 2 1 or 2 3 < μ < 2 2 , then
    1 a m T λ , φ = lim ϵ + 0 ϵ + r μ Φ ( r ) d r + Φ ( 0 ) ϵ μ + 1 μ + 1 + Φ ( 0 ) 1 ! ϵ μ + 2 μ + 2 l i m l i m + + Φ ( 2 ) ( 0 ) ( 2 ) ! ϵ μ + 2 + 1 μ + 2 + 1 + Φ ( 2 + 1 ) ( 0 ) ( 2 + 1 ) ! ϵ μ + 2 + 2 μ + 2 + 2 = lim ϵ + 0 ϵ + r μ Φ ( r ) d r + Φ ( 0 ) ϵ μ + 1 μ + 1 + Φ ( 0 ) 2 ! ϵ μ + 3 μ + 3 l i m l i m + + Φ ( 2 ) ( 0 ) ( 2 ) ! ϵ μ + 2 + 1 μ + 2 + 1 ;
  • If λ = m 2 1 or μ = 2 2 , then
    1 a m T m 2 1 , φ = lim ϵ + 0 ϵ + r 2 2 Φ ( r ) d r + Φ ( 0 ) ϵ 2 1 2 1 + Φ ( 0 ) 1 ! ϵ 2 2 l i m l i m + + Φ ( 2 ) ( 0 ) ( 2 ) ! ϵ 1 1 + Φ ( 2 + 1 ) ( 0 ) ( 2 + 1 ) ! ln ϵ = lim ϵ + 0 ϵ + r 2 2 Φ ( r ) d r + Φ ( 0 ) ϵ 2 1 2 1 l i m l i m + + Φ ( 2 ) ( 0 ) ( 2 ) ! ϵ 1 1 .
We may conclude that distribution T λ is a meromorphic function of complex parameter λ showing simple poles at λ = m 2 , = 0 , 1 , 2 , , where there is an ad hoc definition through the monomial pseudofunctions. Let us now compute the residue at these singularities. We obtain
Res λ = m 2 T λ , φ ( x ̲ ) = Res μ = 2 1 a m Fp r + μ , Σ ( 0 ) [ φ ] ( r ) = 1 ( 2 ) ! a m δ ( 2 ) ( r ) , Σ ( 0 ) [ φ ] ( r ) = ( 1 ) m + 2 C ( m , ) a m { ̲ 2 φ ( x ̲ ) } | x ̲ = 0 ,
whence
Res λ = m 2 T λ = ( 1 ) m + 2 C ( m , ) a m ̲ 2 δ ( x ̲ ) .
Similarly, we eventually find that distribution U λ is a meromorphic function of complex parameter λ showing simple poles at λ = m 2 1 , = 0 , 1 , 2 , , where there is an ad hoc definition through the monomial pseudofunctions. For the residue at these singularities, we have
Res λ = m 2 1 U λ , φ ( x ̲ ) = Res μ = 2 2 a m Fp r + μ , Σ ( 1 ) [ φ ] ( r ) = 1 ( 2 + 1 ) ! a m δ ( 2 + 1 ) ( r ) , Σ ( 1 ) [ φ ] ( r ) = ( 1 ) + 1 1 C ( m , ) a m { ̲ 2 + 1 φ ( x ̲ ) } | x ̲ = 0 ,
whence
Res λ = m 2 1 U λ = ( 1 ) + 1 1 C ( m , ) a m ̲ 2 + 1 δ ( x ̲ ) .
However, there is a second option to cope with these singularities: removing the singularities by dividing the distributions T λ and U λ by an appropriate Gamma function. This gives rise to the so-called normalized distributions  T λ * and U λ * . Their definitions are as follows.
The normalized distributions T λ * are defined by
T λ * = π λ + m 2 T λ Γ λ + m 2 , λ m 2 T m 2 * = π m 2 2 2 l Γ m 2 + ̲ 2 δ ( x ̲ ) , N 0 .
The normalized distributions U λ * are defined by
U λ * = π λ + m + 1 2 U λ Γ λ + m + 1 2 , λ m 2 1 U m 2 1 * = π m 2 2 2 + 1 Γ m 2 + + 1 ̲ 2 + 1 δ ( x ̲ ) , N 0 .
The normalized distributions T λ * and U λ * turn out to be holomorphic mappings from λ C to space S ( R m ) of the tempered distributions. They are intertwined by the actions of the multiplication operator x ̲ and the Dirac operator according to the following formulæ. For all λ C , we have the following:
(i)
x ̲ T λ * = λ + m 2 π U λ + 1 * ; x ̲ U λ * = U λ * x ̲ = T λ + 1 *
(ii)
̲ T λ * = λ U λ 1 * ; ̲ U λ * = U λ * ̲ = 2 π T λ 1 *
(iii)
E T λ * = λ T λ * ; E U λ * = λ U λ *
(iv)
Γ T λ * = 0 ; Γ U λ * = ( m 1 ) U λ *
(v)
Δ T λ * = 2 π λ T λ 2 * ; Δ U λ * = 2 π ( λ 1 ) U λ 2 *
(vi)
F T λ * = T λ m * ; F U λ * = i U λ m * .
Therein, in property (iv), the following definition of the Fourier transformation is adopted:
F [ f ( x ̲ ) ] ( y ̲ ) = R m f ( x ̲ ) exp 2 π i x ̲ , y ̲ d x ̲ .
For an in-depth study of the normalized distributions T λ * and U λ * , we refer to [14]. Additionally, we can investigate the behavior of the T λ * and U λ * distributions under the action of operators 1 x ̲ and D ̲ .
Proposition A1.
We have the following:
(i) 
1 x ̲ T λ * = U λ 1 * for all λ C ;
(ii) 
1 x ̲ U λ * = 2 π λ + m 1 T λ 1 * for all λ C except for λ = m + 1 .
Proof. 
(i) For λ m 2 , we have the following:
1 x ̲ T λ * = π λ + m 2 U λ 1 Γ λ + m 2 = U λ 1 * .
(i’) For λ = m 2 , we have the following:
1 x ̲ T m 2 * = π m 2 2 2 l Γ m 2 + 1 x ̲ ̲ 2 δ ( x ̲ ) = π m 2 2 2 l Γ m 2 + 1 m + 2 ̲ 2 + 1 δ ( x ̲ ) = U m 2 1 * .
(ii) For λ m 2 + 1 , we have the following:
1 x ̲ U λ * = π λ + m + 1 2 T λ 1 Γ λ + m + 1 2 = 2 π λ + m 1 T λ 1 * .
(ii’) For λ = m 2 1 , we have the following:
1 x ̲ U m 2 1 = π m 2 2 2 + 1 Γ m 2 + + 1 1 x ̲ ̲ 2 + 1 δ ( x ̲ ) = π m 2 2 2 + 1 Γ m 2 + + 1 1 2 + 2 ̲ 2 + 2 δ ( x ̲ ) = 2 π 2 2 T m 2 2 * .
Remark A1.
Up to a constant, distribution U m + 1 * equals distribution U m + 1 , which is a locally integrable function. We know that 1 x ̲ U m + 1 equals an equivalence class of distributions, viz.,
1 x ̲ U m + 1 = T m + δ ( x ̲ ) c = T m + T m * c ,
which, clearly, owing to the appearance of T m , does not belong to the T λ * family of distributions. This is the reason why we have omitted the case λ = m + 1 in the above proposition.
A straightforward computation leads to the following result.
Proposition A2.
We have the following:
(i) 
D ̲ T λ * = ( λ + m 1 ) U λ 1 * for all λ C ;
(ii) 
D ̲ U λ * = 2 π λ λ + m 1 T λ 1 * for all λ C except for λ = m + 1 .
Proof. 
(i) Because T λ * is a radial distribution, for all λ C , we have that
D ̲ T λ * = ω ̲ r ( m 1 ) 1 x ̲ T λ * = ̲ T λ * ( m 1 ) 1 x ̲ T λ * = ( λ + m 1 ) U λ 1 * .
(ii) For λ m 2 1 we have:
D ̲ U λ * = ω ̲ r 1 r ω ̲ ( m 1 ) 1 x ̲ U λ * = π λ + m + 1 2 Γ ( λ + m + 1 2 ) ( λ + m 1 ) T λ 1 ( m 1 ) 2 π λ + m 1 T λ 1 * = 2 π λ λ + m 1 T λ 1 * .
(ii’) For λ = m 2 1 we have:
D ̲ U m 2 1 * = π m 2 2 2 + 1 Γ m 2 + + 1 ̲ 2 + 1 m + 2 + 1 2 + 2 + m 1 2 + 2 m 1 2 + 2 ̲ 2 + 2 δ ( x ̲ ) = 2 π m + 2 + 1 2 + 2 T m 2 2 * .
Similarly, signumdistributions T λ s and U λ s may now be normalized. Recall that T λ s shows simple poles at λ = m 1 , m 3 , , whereas U λ s shows simple poles at λ = m , m 2 , . We define
T λ * s = π λ + m + 1 2 T λ s Γ λ + m + 1 2 , λ m 2 1 T m 2 1 * s = π m 2 2 2 + 1 Γ m 2 + + 1 ω ̲ ̲ 2 + 1 δ ( x ̲ ) , N 0
and
U λ * s = π λ + m 2 U λ s Γ λ + m 2 , λ m 2 U m 2 * s = π m 2 2 2 l Γ m 2 + ω ̲ ̲ 2 δ ( x ̲ ) , N 0 .
Lemma A4.
For all λ C , we have that
( T λ * ) = ω ̲ T λ * = U λ * s
and
( U λ * ) = ω ̲ U λ * = T λ * s .
Proposition A3.
For all λ C , we have that
x ̲ T λ * s = U λ + 1 * s
and
x ̲ U λ * s = λ + m 2 π T λ + 1 * s .
Proof. 
Obviously, these results are obtained by simple transition to the associated signumdistributions of the corresponding formulæfor distributions T λ * and U λ * , with the multiplication operator x ̲ being a signum self-adjoint operator. However, we provide a direct proof in what follows:
(i)
For λ m 2 1 , we have x ̲ T λ * s = π λ + m + 1 2 x ̲ T λ s Γ λ + m + 1 2 = π λ + m + 1 2 U λ s + 1 Γ λ + m + 1 2 = U λ + 1 * s .
(ii)
x ̲ T m 2 1 * s = π m 2 2 2 + 1 Γ m 2 + + 1 x ̲ ω ̲ ̲ 2 + 1 δ ( x ̲ ) = π m 2 2 2 + 1 Γ m 2 + + 1 ω ̲ ( m + 2 ) ̲ 2 δ ( x ̲ ) = π m 2 2 2 Γ m 2 + ω ̲ ̲ 2 δ ( x ̲ ) = U m 2 * s .
(iii)
For λ m 2 , we have x ̲ U λ * s = π λ + m 2 x ̲ U λ s Γ λ + m 2 = π λ + m 2 T λ s + 1 Γ λ + m 2 = λ + m 2 π T λ + 1 * s .
(iv)
x ̲ U m 2 * s = π m 2 2 2 l Γ m 2 + x ̲ ω ̲ ̲ 2 δ ( x ̲ ) = π m 2 2 2 l Γ m 2 + ( 2 ) ω ̲ ̲ 2 1 δ ( x ̲ ) = π T m 2 + 1 * s .
Proposition A4.
For all λ C , we have that
D ̲ T λ * s = 2 π U λ 1 * s
and
D ̲ U λ * s = λ T λ 1 * s .
Proof. 
These results are obtained from the corresponding formulæ for distributions T λ * and U λ * , with the operator D ̲ being the signum adjoint operator of the Dirac operator ̲ . □
Similarly, the results of Propositions A1 and A2 lead to the following formulæ.
Proposition A5.
(i) 
For λ m + 1 , we have
1 x ̲ T λ * s = 2 π λ + m 1 U λ 1 * s  and  ̲ T λ * s = 2 π λ λ + m 1 U λ 1 * s .
(ii) 
For all λ C , we have
1 x ̲ U λ * s = s T λ 1 *  and  ̲ U λ * s = ( λ + m 1 ) T λ 1 * s .

Appendix C. Spherical Means

Let ϕ ( x ̲ ) D ( R m ) be a scalar test function in R m . Introduce spherical coordinates x ̲ = r ω ̲ , r = | x ̲ | , , ω ̲ S m 1 and denote by a m the area of the unit sphere S m 1 .
Definition A2.
The spherical means Σ ( 0 ) [ ϕ ] and Σ ( 1 ) [ ϕ ] are defined by
Σ ( 0 ) [ ϕ ] ( r ) = 1 a m S m 1 ϕ ( r ω ̲ ) d S ω ̲
and
Σ ( 1 ) [ ϕ ] ( r ) = 1 a m S m 1 ω ̲ ϕ ( r ω ̲ ) d S ω ̲ .
The spherical mean Σ ( 0 ) [ ϕ ] is a classical concept. It is a scalar function of the radial distance r for which
Σ ( 0 ) [ ϕ ] ( 0 ) = ϕ ( 0 ) .
It can be defined for r < 0 through even extension.
The spherical mean Σ ( 1 ) [ ϕ ] is a Clifford vector-valued function for which
Σ ( 1 ) [ ϕ ] ( 0 ) = 0 .
It can be defined for r < 0 through odd extension.
Further properties of the spherical means are listed in the following sequence of lemmata; see also [15].
Lemma A5.
We have
Σ ( 0 ) [ ω ̲ ϕ ] = Σ ( 1 ) [ ϕ ]
and
Σ ( 1 ) [ ω ̲ ϕ ] = Σ ( 0 ) [ ϕ ] .
Lemma A6.
We have
Σ ( 0 ) [ ω ̲ ϕ ] = ( m 1 ) Σ ( 1 ) [ ϕ ]
and
Σ ( 1 ) [ ω ̲ ϕ ] = 0 .
Lemma A7.
We have
Σ ( 0 ) [ ̲ ϕ ] = r + ( m 1 ) 1 r Σ ( 1 ) [ ϕ ]
and
Σ ( 1 ) [ ̲ ϕ ] = r Σ ( 0 ) [ ϕ ] .
Lemma A8.
We have
{ r 2 Σ ( 0 ) [ φ ] ( r ) } | r = 0 = ( 1 ) ( 2 ) ! ( m + 2 ) C ( m , ) { ̲ 2 φ ( x ̲ ) } | x ̲ = 0 { r 2 + 1 Σ ( 0 ) [ φ ] ( r ) } | r = 0 = 0 ,
with
C ( m , ) = 2 ! m ( m + 2 ) ( m + 2 ) .
Lemma A9.
We have
{ r 2 Σ ( 1 ) [ φ ] ( r ) } | r = 0 = 0 { r 2 + 1 Σ ( 1 ) [ φ ] ( r ) } | r = 0 = ( 1 ) ( 2 + 1 ) ! C ( m , ) { ̲ 2 + 1 φ ( x ̲ ) } | x ̲ = 0 .

Appendix D. Some Specific Distributions

In this appendix, we provide an overview of the properties of some specific distributions of the T λ and U λ families.
  • T 0
    We have
    T 0 , φ ( x ̲ ) = a m Fp r + m 1 , Σ ( 0 ) [ φ ] ( r ) = a m 0 + r m 1 d r 1 a m S m 1 φ ( r ω ̲ ) d S ω ̲ = R m φ ( x ̲ ) d x ̲ = 1 , φ ( x ̲ ) ,
    whence T 0 = 1 is the regular distribution associated with constant function 1 = x ̲ 0 . Its properties are trivial.
  • U 0
    We have
    U 0 , φ ( x ̲ ) = a m Fp r + m 1 , Σ ( 1 ) [ φ ] ( r ) = a m 0 + r m 1 d r 1 a m S m 1 ω ̲ φ ( r ω ̲ ) d S ω ̲ = R m ω ̲ φ ( x ̲ ) d x ̲ = ω ̲ , φ ( x ̲ ) ,
    whence U 0 = ω ̲ is the regular distribution associated with function ω ̲ = x ̲ | x ̲ | , which is the higher-dimensional counterpart to the signum distribution on the real line. Its properties are as follows:
    -
    x ̲ U 0 = T 1 = r ;
    -
    ̲ U 0 = ( m 1 ) T 1 , which splits up into ( ω ̲ r ) U 0 = 0 and ( 1 r ω ̲ ) U 0 = ( m 1 ) T 1 ;
    -
    Δ U 0 = ( m 1 ) U 2 ;
    -
    E U 0 = 0 ;
    -
    Γ U 0 = ( m 1 ) U 0 and ω ̲ U 0 = ( m 1 ) ;
    -
    Δ * U 0 = ( m 1 ) ω ̲ and 1 r 2 Δ * U 0 = ( m 1 ) U 2 ;
    -
    r 2 U 0 = 0 and 1 r r U 0 = 0 ;
    -
    D ̲ U 0 = 0 ;
    -
    Z U 0 = 0 ;
    -
    1 r 2 Z * U 0 = 0 .
  • T m + 2
    We have
    T m + 2 , φ ( x ̲ ) = a m Fp r + , Σ ( 0 ) [ φ ] ( r ) = a m 0 + r d r 1 a m S m 1 φ ( r ω ̲ ) d S ω ̲ = R m 1 r m 2 φ ( x ̲ ) d x ̲ = 1 r m 2 , φ ( x ̲ ) ,
    whence T m + 2 is the regular distribution associated with the locally integrable function 1 r m 2 in R m . Its properties are the following:
    -
    x ̲ T m + 2 = U m + 3 ;
    -
    ̲ T m + 2 = ( m 2 ) U m + 1 , which splits up into
    ( ω ̲ r ) T m + 2 = ( m 2 ) U m + 1 and ( 1 r ω ̲ ) T m + 2 = 0 ;
    -
    Δ T m + 2 = a m ( m 2 ) δ ( x ̲ ) , which expresses the fact that 1 a m 1 m 2 1 r m 2 is the fundamental solution of the Laplace operator
    -
    E T m + 2 = ( m 2 ) T m + 2 ;
    -
    Γ T m + 2 = 0 ;
    -
    Δ * T m + 2 = 0 ;
    -
    r 2 T m + 2 = ( m 2 ) ( m 1 ) T m a m ( m 2 ) δ ( x ̲ ) ;
    -
    1 r r T m + 2 = ( m 2 ) T m ;
    -
    D ̲ T m + 2 = U m + 1 ;
    -
    Z T m + 2 = ( m 1 ) T m + a m δ ( x ̲ ) ;
    -
    1 r 2 Z * T m + 2 = ( m 1 ) T m + ( m 1 ) a m δ ( x ̲ ) .
  • T m + 1
    We have
    T m + 1 , φ ( x ̲ ) = a m Fp r + 0 , Σ ( 0 ) [ φ ] ( r ) = a m 0 + d r 1 a m S m 1 φ ( r ω ̲ ) d S ω ̲ = R m 1 r m 1 φ ( x ̲ ) d x ̲ = 1 r m 1 , φ ( x ̲ ) ,
    whence T m + 1 is the regular distribution associated with the locally integrable function 1 r m 1 in R m . Its properties are the following:
    -
    x ̲ T m + 1 = U m + 2 ;
    -
    ̲ T m + 1 = ( m 1 ) U m , which splits up into ( ω ̲ r ) T m + 1 = ( m 1 ) U m and ( 1 r ω ̲ ) T m + 1 = 0 ;
    -
    Δ T m + 1 = ( m 1 ) T m 1 ;
    -
    E T m + 1 = ( m 1 ) T m + 1 ;
    -
    Γ T m + 1 = 0 ;
    -
    Δ * T m + 1 = 0 ;
    -
    r 2 T m + 1 = ( m 1 ) ( m ) T m 1 ;
    -
    1 r r T m + 1 = ( m 1 ) T m 1 ;
    -
    D ̲ T m + 1 = 0 ;
    -
    Z T m + 1 = 0 ;
    -
    1 r 2 Z * T m + 1 = ( m 1 ) T m 1 .
  • U m + 1
    We have
    U m + 1 , φ ( x ̲ ) = a m Fp r + 0 , Σ ( 1 ) [ φ ] ( r ) = a m 0 + d r 1 a m S m 1 ω ̲ φ ( r ω ̲ ) d S ω ̲ = R m 1 r m 1 ω ̲ φ ( x ̲ ) d x ̲ = ω ̲ r m 1 , φ ( x ̲ ) ,
    whence U m + 1 is the regular distribution associated with the locally integrable function 1 r m 1 ω ̲ in R m . Its properties are the following:
    -
    x ̲ U m + 1 = T m + 2 ;
    -
    ̲ U m + 1 = a m δ ( x ̲ ) , which splits up into
    ( ω ̲ r ) U m + 1 = ( m 1 ) T m a m δ ( x ̲ ) and ( 1 r ω ̲ ) U m + 1 = ( m 1 ) T m , and expresses the fact that 1 a m 1 r m 1 ω ̲ = 1 a m 1 r m x ̲ is the fundamental solution of the Dirac operator ̲ ;
    -
    Δ U m + 1 = a m ̲ δ ( x ̲ ) ;
    -
    E U m + 1 = ( m 1 ) U m + 1 ;
    -
    Γ U m + 1 = ( m 1 ) U m + 1 ;
    -
    Δ * U m + 1 = ( m 1 ) U m + 1 and 1 r 2 Δ * U m + 1 = ( m 1 ) U m 1 ;
    -
    r 2 U m + 1 = ( m 1 ) ( m ) U m 1 + 2 m 1 m a m ̲ δ ( x ̲ ) ;
    -
    1 r r U m + 1 = ( m 1 ) U m 1 1 m a m ̲ δ ( x ̲ ) ;
    -
    D ̲ U m + 1 = ( m 1 ) T m a m δ ( x ̲ ) ;
    -
    Z U m + 1 = ( m 1 ) U m 1 + a m ̲ δ ( x ̲ ) ;
    -
    1 r 2 Z * U m + 1 = 0 .
  • T m
    We have
    T m , φ ( x ̲ ) = a m Fp r + 1 , Σ ( 0 ) [ φ ] ( r ) = Fp 0 + 1 r d r S m 1 φ ( r ω ̲ ) d S ω ̲ = a m lim ϵ 0 + ϵ + 1 r Σ ( 0 ) [ φ ] ( r ) + φ ( 0 ) ln ϵ
    Its properties are the following:
    -
    x ̲ T m = U m + 1 ;
    -
    ̲ T m = m U m 1 a m 1 m ̲ δ ( x ̲ ) , which splits up into
    ( ω ̲ r ) T m = m U m 1 a m 1 m ̲ δ ( x ̲ ) and ( 1 r ω ̲ ) T m = 0 ;
    -
    Δ T m = 2 m T m 2 + m + 2 2 m a m ̲ 2 δ ( x ̲ ) ;
    -
    E T m = m T m + a m δ ( x ̲ ) ;
    -
    Γ T m = 0 ;
    -
    Δ * T m = 0 ;
    -
    r 2 T m = m ( m + 1 ) T m 2 + 2 m + 1 2 m a m ̲ 2 δ ( x ̲ ) ;
    -
    1 r r T m = m T m 2 1 2 m a m ̲ 2 δ ( x ̲ ) ;
    -
    D ̲ T m = U m 1 1 m a m ̲ δ ( x ̲ ) ;
    -
    Z T m = ( m + 1 ) T m 2 + m + 2 2 m a m ̲ 2 δ ( x ̲ ) ;
    -
    1 r 2 Z * T m = ( m 1 ) T m 2 .
  • U m
    We have
    U m , φ ( x ̲ ) = a m Fp r + 1 , Σ ( 1 ) [ φ ] ( r ) = a m lim ϵ 0 + ϵ + 1 r Σ ( 1 ) [ φ ] ( r ) + Σ ( 1 ) [ φ ] ( 0 ) ln ϵ = lim ϵ 0 + ϵ + 1 r d r S m 1 ω ̲ φ ( r ω ̲ ) d S ω ̲ = lim ϵ 0 + R m B ( 0 , ϵ ) ω ̲ r m φ ( x ̲ ) d x ̲ = Pv R m ω ̲ r m φ ( x ̲ ) d x ̲ = Pv ω ̲ r m , φ ( x ̲ ) ,
    whence
    U m = Pv ω ̲ r m ,
    which is the higher-dimensional analogue of the principal value distribution Pv 1 t on the real line. It is, up to a constant, the convolution kernel H of the Hilbert transform, given, for a suitable function or distribution f, by
    H [ f ] = H f = 2 a m + 1 Pv ω ̲ r m f
    Its properties are the following:
    -
    x ̲ U m = T m + 1 or ( r ω ̲ ) Pv ω ̲ r m = 1 r m 1 ;
    -
    ̲ U m = T m 1 , which splits up into ( ω ̲ r ) U m = m T m 1 and
    ( 1 r ω ̲ ) U m = ( m 1 ) T m 1 ;
    -
    Δ U m = ( m + 1 ) U m 2 ;
    -
    E U m = m U m ;
    -
    Γ U m = ( m 1 ) U m ;
    -
    Δ * U m = ( m 1 ) U m and 1 r 2 Δ * U m = ( m 1 ) U m 2 ;
    -
    r 2 U m = m ( m + 1 ) U m 2 ;
    -
    1 r r U m = m U m 2 ;
    -
    D ̲ U m = m T m 1 ;
    -
    Z U m = 2 m U m 2 ;
    -
    1 r 2 Z * U m = 0 .
  • T m 1
    We have
    T m 1 , φ ( x ̲ ) = a m Fp r + 2 , Σ ( 0 ) [ φ ] ( r ) = Fp R m 1 r m + 1 φ ( x ̲ ) d x ̲ = Fp 1 r m + 1 , φ ( x ̲ )
    The scalar distribution T m 1 = Fp 1 r m + 1 is, up to a constant, the convolution kernel for the so-called square root of the negative Laplacian, which, for an appropriate function or distribution f, is defined by
    Δ 1 2 [ f ] = 2 a m + 1 Fp 1 r m + 1 * f .
    Its properties are the following:
    -
    x ̲ T m 1 = U m ;
    -
    ̲ T m 1 = ( m + 1 ) U m 2 ;
    -
    Δ T m 1 = 3 ( m + 1 ) T m 3 ;
    -
    E T m 1 = ( m + 1 ) T m 1 ;
    -
    Γ T m 1 = 0 ;
    -
    Δ * T m 1 = 0 ;
    -
    r 2 T m 1 = ( m + 1 ) ( m + 2 ) T m 3 ;
    -
    1 r r T m 1 = ( m + 1 ) T m 3 ;
    -
    D ̲ T m 1 = 2 U m 2 ;
    -
    Z T m 1 = 2 ( m + 2 ) T m 3 ;
    -
    1 r 2 Z * T m 1 = ( m 1 ) T m 3 .
    As it holds that ̲ U m = T m 1 , or
    ̲ 2 a m + 1 Pv ω ̲ r m = 2 a m + 1 Fp 1 r m + 1 ,
    it becomes clear that the convolution kernel of the operator Δ 1 2 is precisely the convolution kernel ̲ H = H ̲ of the so-called Hilbert-Dirac operator H D , whence
    H D [ f ] = ̲ H f = H ̲ f = 2 a m + 1 Fp 1 r m + 1 f = Δ 1 2 [ f ] .

Appendix E. Clifford Algebra and Clifford Analysis

Let ( e 1 , , e m ) be an orthonormal basis of Euclidean space R m . A non-commutative product, often termed a Clifford product or geometric product, is introduced, which is governed by the rules
e α e β + e β e α = 2 δ α β , α , β = 1 , , m .
Note, in particular, that
e α 2 = 1 , α = 1 , , m ,
and
e α e β = e β e α , α β .
The real, associative, but non-commutative, Clifford algebra R 0 , m then is generated additively by the elements e A = e j 1 e j h , where A = { j 1 , , j h } { 1 , , m } , with 1 j 1 < j 2 < < j h m and e = 1 .
The real Clifford algebra R 0 , m , which has dimension 2 m , may be decomposed as the direct sum of subspaces R 0 , m ( j ) , j = 0 , , m as
R 0 , m = R 0 , m ( 0 ) R 0 , m ( 1 ) R 0 , m ( 2 ) R 0 , m ( 3 ) R 0 , m ( m ) ,
where R 0 , m ( 0 ) is isomorphic to the space of real numbers R spanned by e = 1 , R 0 , m ( 1 ) is the space of 1-vectors—isomorphic to the space of algebraic vectors R m spanned by all e α R 0 , m ( 2 ) is the space of bivectors spanned by all products e α e β , ( α β ), R 0 , m ( 3 ) is the space of trivectors, and, finally, R 0 , m ( m ) is the space of pseudoscalars spanned by e 1 e m .
We identify the algebraic vector x ̲ = ( x 1 , , x m ) R m with the Clifford 1-vector x ̲ = j = 1 m x j e j R 0 , m ( 1 ) . Applying the above multiplication rules, we obtain for the Clifford product of two vectors x ̲ and y ̲ as
x ̲ y ̲ = j = 1 m x j y j + j < k e j e k ( x j y k x k y j ) .
The scalar part of this product is called the dot product of the vectors and denoted by x ̲ · y ̲ . The dot product is commutative and coincides, up to a minus sign, with the traditional inner product of vectors in R m .
The bivector part of this product is called the wedge product of the vectors and denoted by x ̲ y ̲ . The wedge product is anti-commutative.
Note, in particular, that
x ̲ 2 = x ̲ · x ̲ = j = 1 m x j 2 = | x ̲ | 2 ,
and
x ̲ x ̲ = 0 .
The Clifford algebras R 0 , m , m > 2 are not division algebras. However, division by 1-vectors is always possible, with the inverse of x ̲ 0 ̲ being x ̲ | x ̲ | 2 .
Clifford algebra generalizes to higher dimensions the algebra of complex numbers, which is isomorphic with the Clifford algebra R 0 , 1 , and the algebra of real quaternions, which is isomorphic with the Clifford algebra R 0 , 2 . For more on Clifford algebras, we refer to [16].
Clifford analysis is the theory of functions defined in Euclidean space R m , taking values in the Clifford algebra R 0 , m which are monogenic in an open region Ω R m . Monogenicity is defined through the action of the Dirac operator
̲ = j = 1 m e j x j ,
where ( e 1 , e 2 , , e m ) is an orthonormal basis of 1-vectors in R m R 0 , m ( 1 ) , as was already introduced above. The Dirac operator may be seen as a Stein–Weiss projection of the gradient operator in vector analysis (see, e.g., [17]). Its most important property is that, similarly to the Cauchy–Riemann operator in the complex plane, it linearizes the Laplace operator in R m as
̲ 2 = ̲ · ̲ = j = 1 m x j 2 = Δ .
Definition A3.
A function f : R m R 0 , m is monogenic in the open region Ω R m if it satisfies the system of linear equations
̲ f = j = 1 m e j x j f = 0
in Ω.
Note that a monogenic function in an open region of R m is automatically harmonic in that region. For an in-depth study of Clifford analysis, we refer to, e.g., [15,18,19].

References

  1. Brackx, F.; De Knock, B.; De Schepper, H.; Eelbode, D. A Calculus scheme for Clifford Distributions. Tokyo J. Math. 2006, 29, 495–513. [Google Scholar] [CrossRef]
  2. Schwartz, L. Théorie des Distributions; Hermann: Paris, France, 1966. [Google Scholar]
  3. Brackx, F.; Sommen, F.; Vindas, J. On the radial derivative of the delta distribution. Complex Anal. Oper. Theory 2017, 11, 1035–1057. [Google Scholar] [CrossRef]
  4. Brackx, F. Calculus for the Delta Distribution. Contemp. Math. 2024, 5, 5238–5327. [Google Scholar] [CrossRef]
  5. Brackx, F. Radial and Angular Derivatives of Distributions. In Topics in Clifford Analysis. Trends in Mathematics; Bernstein, S., Ed.; Birkhäuser: Cham, Switzerland, 2019; pp. 141–171. [Google Scholar]
  6. Brackx, F. Distributions: A spherical co-ordinates approach. arXiv 2018, arXiv:1801.07393. [Google Scholar]
  7. Adkins, G.S. Three-dimensional Fourier transforms, integrals of spherical Bessel functions, and novel delta function identities. Bull. Allahabad Math. Soc. 2008, 31, 215–246. [Google Scholar]
  8. Frahm, C.P. Some novel delta-function identities. Am. J. Phys. 1983, 51, 826–829. [Google Scholar] [CrossRef]
  9. Hnidzo, V. Generalized second-order partial derivatives of 1/r. Eur. J. Phys. 2011, 32, 287–297. [Google Scholar]
  10. Franklin, J. Comment on “Some novel delta-function identities”. Am. J. Phys. 2010, 78, 1225–1226. [Google Scholar] [CrossRef]
  11. Bowen, J.M. Delta function terms arising from classical point-source fields. Am. J. Phys. 1994, 62, 511–515. [Google Scholar]
  12. Estrada, R.; Kanwal, R.P. The appearance of nonclassical terms in the analysis of point-source fields. Am. J. Phys. 1995, 63, 278. [Google Scholar] [CrossRef]
  13. Kanwal, R.P. Generalized Functions: Theory and Applications, 3rd ed.; Springer Science + Business Media: New York, NY, USA, 2004. [Google Scholar]
  14. Brackx, F.; De Schepper, H. On The Fourier Transform of Distributions and Differential Operators in Clifford Analysis. Complex Var. Theory Appl. 2004, 49, 1079–1091. [Google Scholar] [CrossRef]
  15. Brackx, F.; Delanghe, R.; Sommen, F. Clifford Analysis; Pitman Publishers: Boston, MA, USA; London, UK; Melbourne, Australia, 1982. [Google Scholar]
  16. Porteous, I. Clifford Algebras and the Classical Groups; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar]
  17. Stein, E.M.; Weiss, G. Generalization of the Cauchy-Riemann equations and representations of the rotation group. Amer. J. Math. 1968, 90, 163–196. [Google Scholar] [CrossRef]
  18. Delanghe, R.; Sommen, F.; Souček, V. Clifford Algebra and Spinor-Valued Functions: A Function Theory for the Dirac Operator; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1992. [Google Scholar]
  19. Gürlebeck, K.; Habetha, K.; Sprössig, W. Holomorphic Functions in the Plane and n-Dimensional Space; Translated from the 2006 German Original; Birkhäuser Verlag: Basel, Switzerland, 2008. [Google Scholar]
Table 1. Signum pairs of operators.
Table 1. Signum pairs of operators.
( x ̲ , x ̲ )
( r 2 , r 2 )
( E , E )
( Γ , ω ̲ ω ̲ ) ( ω ̲ ω ̲ , Γ )
( Γ 2 , Γ 2 2 ( m 1 ) Γ + ( m 1 ) 2 ) ( Γ 2 2 ( m 1 ) Γ + ( m 1 ) 2 , Γ 2 )
( ̲ , D ̲ ) [ D ̲ , ̲ ]
[ ω ̲ r , ω ̲ r ]
[ 1 r ω ̲ , 1 r ω ̲ + ( m 1 ) 1 r ω ̲ ] [ 1 r ω ̲ + ( m 1 ) 1 r ω ̲ , 1 r ω ̲ ]
( ω ̲ 2 , ω ̲ 2 )
( Δ * , Z * ) ( Z * , Δ * )
( Δ , Z ) [ Z , Δ ]
[ r 2 , r 2 ]
[ 1 x ̲ , 1 x ̲ ]
[ 1 r r , 1 r r ]
[ 1 r 2 , 1 r 2 ]
( x j , d j ) [ d j , x j ]
Table 2. Cross pairs of operators.
Table 2. Cross pairs of operators.
( ω ̲ , ω ̲ )
( r , r ) ( r , r )
[ r , r ] [ r , r ]
( ω ̲ , ω ̲ ω ̲ ω ̲ ) ( ω ̲ ω ̲ ω ̲ , ω ̲ )
[ 1 r , 1 r ] [ 1 r , 1 r ]
[ 1 r ω ̲ ω ̲ , 1 r ω ̲ ω ̲ ] [ 1 r ω ̲ ω ̲ , 1 r ω ̲ ω ̲ ]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Brackx, F. Clifford Distributions Revisited. Axioms 2025, 14, 533. https://doi.org/10.3390/axioms14070533

AMA Style

Brackx F. Clifford Distributions Revisited. Axioms. 2025; 14(7):533. https://doi.org/10.3390/axioms14070533

Chicago/Turabian Style

Brackx, Fred. 2025. "Clifford Distributions Revisited" Axioms 14, no. 7: 533. https://doi.org/10.3390/axioms14070533

APA Style

Brackx, F. (2025). Clifford Distributions Revisited. Axioms, 14(7), 533. https://doi.org/10.3390/axioms14070533

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop