Next Article in Journal
Application of the Improved Cuckoo Algorithm in Differential Equations
Next Article in Special Issue
Solitary Wave Solutions of a Hyperelastic Dispersive Equation
Previous Article in Journal
Application of Structural Equation Modelling to Cybersecurity Risk Analysis in the Era of Industry 4.0
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solutions of Umbral Dirac-Type Equations

1
School of Mathematics and Physics, Hebei University of Engineering, Handan 056038, China
2
Department of Mathematical Analysis, South Ural State University (NRU), 454080 Chelyabinsk, Russia
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(2), 344; https://doi.org/10.3390/math12020344
Submission received: 20 December 2023 / Revised: 11 January 2024 / Accepted: 18 January 2024 / Published: 20 January 2024

Abstract

:
The aim of this work is to study the method of the normalized systems of functions. The normalized systems of functions with respect to the Dirac operator in the umbral Clifford analysis are constructed. Furthermore, the solutions of umbral Dirac-type equations are investigated by the normalized systems.

1. Introduction

Umbral calculus originated in the 17th Century and is an important method for studying polynomial sequences. It is a branch of combinatorial analysis [1]. In the mathematical study of umbral calculus, there are three approaches known in the literature. Firstly, umbral calculus can be seen as a type of “magic” for reducing and improving indicators in polynomials [2]. Secondly, the Appell polynomial is extended to the Sheffer polynomial [3]. However, the development of this polynomial is not sufficient because of the lack of computational tools. Thirdly, the abstract linear operators are used to study umbral calculus in functional analysis [4]. Later, these three routes were combined and binomial polynomial sequences studied using operator methods, revealing the mystery of umbral calculus [5]. Umbral calculus is based on modern concepts like linear functionals, linear operators, adjoints, and so on. It is used in fields such as combinatorics, homology algebra, statistics, Fourier analysis, physics, and invariant theory [6].
In [7], the authors introduced umbral calculus into the Clifford analysis. They defined the umbral Dirac operator using radial algebra and umbral calculus. In 2011, Faustino and Ren Guangbin used the operator composition method to study the decomposition theorems of umbral Dirac operators and Hamilton operators [8]. The Clifford analysis (see for instance [9,10,11,12]) is based on the study of the properties of monogenic functions, which are the higher dimensional analogue of holomorphic functions on the complex plane. While continuous Clifford analysis is a well-established theory with applications in many fields like electromagnetics and signal processing, discrete Clifford analysis is a theory used in discrete potential theory, numerical analysis, and combinatorics. Umbral Clifford analysis is seen as an abstract theory of Heisenberg exchange relations in quantum mechanics. This provides a framework unifying continuity and discreteness [13,14,15]. We verified this phenomena by studying normalized systems of functions with respect to the umbral Dirac operator in Clifford analysis and their applications.
The method of the f-normalized system of functions introduced by Karachik is used to construct polynomial solutions to linear partial differential equations with constant coefficients, such as the polyharmonic equation, the Helmholtz equation, the Poisson equation, and so on; see [16,17]. Generally speaking, the construction of polynomial solutions depends on the structure of the equation’s operator. But, this method does not rely on the operator structure of the equation. Furthermore, the proposed method is also used in the study of polynomial solutions of boundary-value problems for polyharmonic equations and the Helmholtz equation, more specifically the Dirichlet problems, Neumann problems, and so on; see [18]. This paper is devoted to the applications of the method of the normalized systems of functions in constructing solutions to partial differential equations in umbral Clifford analysis.
The outline of this paper is as follows. In Section 2, we go over the basics of umbral Clifford analysis, including the umbral Dirac and Euler operators. For early research on umbral Clifford analysis, we refer the reader to [7,8]. In Section 4, applying the Sheffer operator, we obtain the intertwining relationship between umbral differential operators and classical differential operators. Furthermore, we construct 0-normalized systems of functions with respect to the umbral Dirac operator. In Section 5, by the system, we investigate Almansi-type expansions for umbral k-monogenic functions. Furthermore, we construct the solutions of inhomogeneous umbral poly-Dirac equations. In Section 6, we study the normalized system with the base f ( x ) . Moreover, we construct the solutions of umbral Dirac-type equations.

2. Preliminaries

In this section, we will review some basic notions with umbral Clifford analysis; see [7,8].

2.1. Umbral Dirac Operator

One of the interesting things about umbral Clifford analysis is the construction of a first-order operator, the so-called umbral Dirac operator. By taking O x j to be the partial derivative x j , we define the umbral Dirac operator by
D : = j = 1 n e j O x j ,
where e j e k + e k e j = 2 δ j k , j , k = 1 , 2 , , n . Here, δ j k is the Kronecker symbol. The null solutions of this operator are umbral monogenic functions.

2.2. Umbral Euler Operator

Let x ̲ = ( x 1 , x 2 , x n ) R n . Then, x ̲ α = x 1 α 1 x 2 α 2 x n α n , where α 1 , α 2 , are nonnegative integers.
In umbral Clifford analysis, we take the delta operator O x j as the momentum operators and take
x j = 1 2 ( x j ( O x j ) 1 + ( O x j ) 1 x j )
as the position operators, where O x j f ( x ̲ ) = O x j ( x j f ( x ̲ ) ) x j O x j f ( x ̲ ) is the Pincherle derivative. They satisfy the Heisenberg–Weyl relations:
[ O x j , O x k ] = 0 = [ x j , x k ] , [ O x j , x k ] = δ j k i d .
Let x k : = x k ( O x k ) 1 . Then, the basic polynomials are given by
V α ( x ̲ ) = ( x ̲ ) α ,
where ( x ̲ ) α = k = 1 n ( x k ) α k . This is known as the Rodrigues formula.
The operator:
E = j = 1 n x j O x j
is called the umbral Euler operator. This operator allows us to have
E V α ( x ̲ ) = | α | V α ( x ̲ ) .

2.3. Sheffer Operator

The Sheffer operator is defined by
Ψ x ̲ : x ̲ α V α ( x ̲ ) ,
where { V α ( x ̲ ) , α N } is a polynomial sequence. The inverse of this linear operator Ψ x ̲ 1 is given by Ψ x ̲ 1 : V α ( x ̲ ) x ̲ α . Furthermore, we have the intertwining relations, i.e.,
O x j Ψ x ̲ = Ψ x ̲ x j , x j Ψ x ̲ = Ψ x ̲ x j , E Ψ x ̲ = Ψ x ̲ E .

3. 0-Normalized System of Functions with Respect to the Umbral Dirac Operator

In this section, we set up the normalized systems of functions with respect to the Dirac operator in the setting of umbral Clifford analysis. In other words, we will establish a system of functions { F k ( x ;   f ) , k = 0 , 1 , 2 , } satisfying
D F k ( x ;   f ) = F k 1 ( x ;   f ) , k = 1 , 2 , ,
where D F 0 ( x ;   f ) = D f ( x ) = 0 . That is to say, the function f ( x ) is an umbral monogenic function.
First of all, we give the following definitions:
Definition 1 
([19]). Let the open connected set Ω R n . If x Ω and 0 α 1 satisfy that α x Ω , then it is the so-called star domain with center 0. It is denoted by Ω 0 .
Definition 2. 
Let f ( x ) C ( Ω 0 , C l 0 , n ) . The operator J l is defined by
J l = Ψ x ̲ J l Ψ x ̲ 1
where J l f ( x ) = 0 1 ( 1 α ) l 1 α n 2 1 f ( α x ) d x , l > 0 .
Definition 3. 
Let E be as stated before. Let I be the identical operator. Then, the operator E l is defined by
E l = E + l I ,
where l > 0 . Note that E Ψ x ̲ = Ψ x ̲ E . Thus, we have E l = Ψ x ̲ E l Ψ x ̲ 1 .
Now, we consider the relations between the operators x , D and E .
Lemma 1 
([7]). Let x , D , and E be as stated before. Then, we have the following intertwining relations:
x D + D x = 2 E n ,
E x x E = x ,
D E E D = D .
Lemma 2. 
Let f ( x ) C ( Ω 0 , C l 0 , n ) . Then,
D [ ( x ) 2 s f ( x ) ] = 2 s ( x ) 2 s 1 f ( x ) + ( x ) 2 s D f ( x ) , D [ ( x ) 2 s 1 f ( x ) ] = 2 ( x ) 2 ( s 1 ) E n 2 + s 1 f ( x ) + ( x ) 2 ( s 1 ) D f ( x ) ,
where s N .
For more details on the proof of Lemma 2, the reader can refer to [7].
Lemma 3. 
Let f ( x ) C ( Ω 0 , C l 0 , n ) . Then, for s > 1 ,
E n 2 + s 1 J s f ( x ) = ( s 1 ) J s 1 f ( x ) .
Proof of Lemma 3. 
Let E s = Ψ x ̲ E s Ψ x ̲ 1 and J s = Ψ x ̲ J s Ψ x ̲ 1 . Then,
E n 2 + s 1 J s f ( x ) = Ψ x ̲ E n 2 + s 1 Ψ x ̲ 1 Ψ x ̲ J s Ψ x ̲ 1 f ( x ) = Ψ x ̲ ( s 1 ) J s 1 Ψ x ̲ 1 f ( x ) = ( s 1 ) Ψ x ̲ J s 1 Ψ x ̲ 1 f ( x ) = ( s 1 ) J s 1 f ( x ) .
The proof of this lemma is complete. □
Thus, we have the 0-normalized system of functions with respect to the umbral Dirac operator as follows.
Theorem 1. 
Suppose that a function f ( x ) C ( Ω 0 , C l 0 , n ) satisfies the equation D f ( x ) = 0 . Then, the sequence of functions F k ( x ;   f ) in Ω 0 is the 0-normalized system of functions with respect to the operator D , where
F k ( x ;   f ) = ( x ) 2 l 2 2 l l ! ( l 1 ) ! J l f ( x ) , k = 2 l , ( x ) 2 l 1 2 2 l 1 ( l 1 ) ! ( l 1 ) ! J l f ( x ) , k = 2 l 1 , f ( x ) , k = 0 .
Proof of Theorem 1. 
It is easy to see that D F 0 ( x ;   f ) = D f ( x ) = 0 . We only need to prove that D F k ( x ;   f ) = F k 1 ( x ;   f ) for any k N . For k = 2 l 1 , applying Lemmas 2 and 3, we obtain
D F 2 l 1 ( x ;   f ) = 1 2 2 l 1 ( l 1 ) ! ( l 1 ) ! D ( x ) 2 l 1 J l f ( x ) = 1 2 2 l 1 ( l 1 ) ! ( l 1 ) ! 2 ( x ) 2 ( l 1 ) E n 2 + l 1 J l f ( x ) ( x ) 2 l 1 D J l f ( x ) = 2 ( x ) 2 l 1 2 2 l 1 ( l 1 ) ! ( l 1 ) ! E n 2 + l 1 J l f ( x ) = ( x ) 2 ( l 1 ) 2 2 ( l 1 ) ( l 1 ) ! ( l 2 ) ! J l 1 f ( x ) = F 2 l 2 ( x ;   f ) .
For k = 2 l , it is obvious to obtain the result by Lemma 2. □

4. Applications of 0-Normalized System of Functions with Respect to the Umbral Dirac Operator

4.1. The Almansi-Type Expansion for the Umbral Dirac Operator

In this section, we will derive the Almansi-type expansion for umbral k-monogenic functions by using the 0-normalized system of functions with respect to the umbral Dirac operator. We begin with the following lemma.
Lemma 4. 
Let f ( x ) C ( Ω 0 , C l 0 , n ) . Then
E l + 1 0 1 α l ( 1 α ) p p ! f ( α x ) d α = 0 1 α l + 1 ( 1 α ) p 1 ( p 1 ) ! f ( α x ) d α , p N , f ( x ) , p = 0 ,
where l > 0 .
Proof of Lemma 4. 
Let T 0 , l f = 0 1 α l f ( α x ) d α . Then, T 0 , l = φ x ̲ T 0 , l φ x ̲ 1 . By computation, we have
E l + 1 T 0 , l f = Ψ x ̲ E l + 1 Ψ x ̲ 1 Ψ x ̲ T 0 , l Ψ x ̲ 1 f ( x ) = Ψ x ̲ E l + 1 T 0 , l Ψ x ̲ 1 f ( x ) = f ( x ) .
Let T p , l f = 0 1 ( 1 α ) p p ! α l f ( α x ) d α . Then, T p , l = Ψ x ̲ T p , l Ψ x ̲ 1 , and
E l + 1 T p , l f = Ψ x ̲ E l + 1 Ψ x ̲ 1 Ψ x ̲ T p , l Ψ x ̲ 1 f ( x ) = Ψ x ̲ E l + 1 T p , l Ψ x ̲ 1 f ( x ) = φ x ̲ T p 1 , l + 1 Ψ x ̲ 1 f ( x ) = T p 1 , l + 1 f ( x ) .
Thus, we have the result. □
Theorem 2. 
Let F ( x ) C k ( Ω 0 , C l 0 , n ) . If ( D ) k F ( x ) = 0 , then
F ( x ) = f 0 ( x ) + i = 1 [ k 2 ] ( x ) 2 i 1 2 2 i 1 ( i 1 ) ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i 1 ( α x ) d α + i = 1 [ k 1 2 ] ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i ( α x ) d α ,
where f j ( x ) ( j = 0 , , k 1 ) are umbral monogenic, and
f j ( x ) = ( D ) j F ( x ) + s = 1 [ k j 2 ] ( 1 ) s ( x ) 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β s 1 ( s 1 ) ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s 1 F ( β x ) d β + s = 1 [ k j 1 2 ] ( 1 ) s ( x ) 2 s 2 2 s 0 1 ( 1 β ) s 1 β s s ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s F ( β x ) d β .
Proof of Theorem 2. 
First of all, we first prove that f j ( x ) ( j = 0 , , k 1 ) are umbral monogenic. Using Lemmas 2 and 4, we have
f j ( x ) = ( D ) j + 1 F ( x ) + s = 1 [ k j 2 ] ( 1 ) s ( x ) 2 ( s 1 ) 2 2 ( s 1 ) E n 2 + s 1 0 1 ( 1 β ) s 1 β n 2 + s 2 ( s 1 ) ! ( s 1 ) ! ( D ) j + 2 s 1 F ( β x ) d β s = 1 [ k j 1 2 ] ( 1 ) s ( x ) 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β s ( s 1 ) ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s F ( β x ) d β + s = 1 [ k j 1 2 ] ( 1 ) s ( x ) 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β s ( s 1 ) ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s F ( β x ) d β + s = 1 [ k j 2 1 ] ( 1 ) s ( x ) 2 s 2 2 s 0 1 ( 1 β ) s 1 β s + 1 s ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s + 1 F ( β x ) d β .
By computing the first integral of the equality, we have
s = 1 [ k j 2 ] ( 1 ) s ( x ) 2 ( s 1 ) 2 2 ( s 1 ) E n 2 + s 1 0 1 ( 1 β ) s 1 β s 1 ( s 1 ) ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s 1 F ( β x ) d β = E n 2 0 1 β n 2 1 ( D ) j + 1 F ( β x ) d β + s = 2 [ k j 2 ] ( 1 ) s ( x ) 2 ( s 1 ) 2 2 ( s 1 ) E n 2 + s 1 0 1 ( 1 β ) s 1 β s 1 ( s 1 ) ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s 1 F ( β x ) d β = ( D ) j + 1 F ( x ) + s = 2 [ k j 2 ] ( 1 ) s ( x ) 2 ( s 1 ) 2 2 ( s 1 ) 0 1 ( 1 β ) s 2 β s ( s 2 ) ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s 1 F ( β x ) d β = ( D ) j + 1 F ( x ) + s = 1 [ k j 2 1 ] ( 1 ) s + 1 ( x ) 2 s 2 2 s 0 1 ( 1 β ) s 1 β s + 1 ( s 1 ) ! s ! β n 2 1 ( D ) j + 2 s + 1 F ( β x ) d β = ( D ) j + 1 F ( x ) s = 1 [ k j 2 1 ] ( 1 ) s ( x ) 2 s 2 2 s 0 1 ( 1 β ) s 1 β s + 1 ( s 1 ) ! s ! β n 2 1 ( D ) j + 2 s + 1 F ( β x ) d β .
Thus, we have D f j ( x ) = 0 .
Substituting (10) into (9), we have
f 0 ( x ) + i = 1 [ k 2 ] ( x ) 2 i 1 2 2 i 1 ( i 1 ) ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i 1 ( α x ) d α + i = 1 [ k 1 2 ] ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i ( α x ) d α = F ( x ) + i = 1 [ k 2 ] ( 1 ) i ( x ) 2 i 1 2 2 i 1 0 1 ( 1 β ) i 1 β i 1 ( i 1 ) ! ( i 1 ) ! β n 2 1 ( D ) 2 i 1 F ( β x ) d β + i = 1 [ k 1 2 ] ( 1 ) i ( x ) 2 i 2 2 i 0 1 ( 1 β ) i 1 β i i ! ( i 1 ) ! β n 2 1 ( D ) 2 i F ( β x ) d β + i = 1 [ k 2 ] ( x ) 2 i 1 2 2 i 1 0 1 ( 1 β ) i 1 ( i 1 ) ! ( i 1 ) ! β n 2 1 ( D ) 2 i 1 F ( β x ) d β + F 1 ( x ) + F 2 ( x ) + i = 1 [ k 1 2 ] ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 ( D ) 2 i F ( α x ) d α + F 3 ( x ) + F 4 ( x ) ,
where
F 1 ( x ) = 0 1 ( 1 α ) i 1 α n 2 1 × s = 1 [ k 2 i + 1 2 ] ( 1 ) s [ α ( x ) ] 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β n 2 + s 2 ( s 1 ) ! ( s 1 ) ! ( D ) 2 i + 2 s 2 F ( α β x ) d β d α .
We calculate
F 1 ( x ) = i = 1 [ k 1 2 ] s = 1 [ k 2 i + 1 2 ] ( 1 ) s ( x ) 2 i + 2 s 2 4 i + s 1 ( i 1 ) ! ( i 1 ) ! ( s 1 ) ! ( s 1 ) ! × 0 1 ( 1 α ) i 1 α n 2 1 α 2 s 1 0 1 ( 1 β ) s 1 β s 1 β n 2 1 ( D ) 2 i + 2 s 2 F ( α β x ) d β d α = i = 1 [ k 1 2 ] s = 1 [ k 2 i + 1 2 ] ( 1 ) s ( x ) 2 i + 2 s 2 4 i + s 1 ( i 1 ) ! ( i 1 ) ! ( s 1 ) ! ( s 1 ) ! × 0 1 α ( 1 α ) i 1 0 1 ( α α β ) s 1 ( α β ) s 1 ( α β ) n 2 1 ( D ) 2 i + 2 s 2 F ( α β x ) d β d α .
Let t = α β . Then,
B 1 ( x ) = 0 1 α ( 1 α ) i 1 0 1 ( α α β ) s 1 ( α β ) s 1 ( α β ) n 2 1 ( D ) 2 i + 2 s 2 F ( α β x ) d β d α = 0 1 ( 1 α ) i 1 0 α ( α t ) s 1 t s 1 t n 2 1 ( D ) 2 i + 2 s 2 F ( t x ) d t d α = 0 1 t n 2 + s 2 ( D ) 2 i + 2 s 2 F ( t x ) t 1 ( 1 α ) i 1 ( α t ) s 1 d α d t .
We consider the second integral of the above equality as follows.
C 1 ( t ) = t 1 ( 1 α ) i 1 ( α t ) s 1 d α .
Let α = β + t . Then,
C 1 ( t ) = 0 1 t ( 1 β t ) i 1 β s 1 d β .
Let β = α ( 1 t ) . Then,
C 1 ( t ) = 0 1 ( 1 α ( 1 t ) t ) i 1 [ α ( 1 t ) ] s 1 ( 1 t ) d α = 0 1 ( 1 α ) i 1 ( 1 t ) i 1 α s 1 ( 1 t ) s d α = ( 1 t ) i + s 1 0 1 ( 1 α ) i 1 α s 1 d α .
It is well-known that the Euler beta function is given by
B ( l , s ) = 0 1 α l 1 ( 1 α ) s 1 d α .
After a simple calculation, we obtain
C 1 ( t ) = ( 1 t ) i + s 1 B ( s , i ) .
Note that
B ( l , s ) = Γ ( l ) Γ ( s ) Γ ( s + l ) ,
where
Γ ( s ) = ( s 1 ) ! .
We have
C 1 ( t ) = ( 1 t ) i + s 1 ( i 1 ) ! ( s 1 ) ! ( s + i 1 ) ! .
Thus, we have
F 1 ( x ) = i = 1 [ k 1 2 ] s = 1 [ k 2 i + 1 2 ] ( 1 ) s ( x ) 2 i + 2 s 2 4 i + s 1 ( i 1 ) ! ( i 1 ) ! ( s 1 ) ! ( s 1 ) ! × 0 1 ( i 1 ) ! ( s 1 ) ! ( s + i 1 ) ! t n 2 + s 2 ( D ) 2 i + 2 s 2 F ( t x ) d t = i = 1 [ k 1 2 ] s = 1 [ k 2 i + 1 2 ] ( 1 ) s ( x ) 2 i + 2 s 2 4 i + s 1 ( i 1 ) ! ( s 1 ) ! 0 1 ( 1 t ) i + s 1 t n 2 + s 2 ( s + i 1 ) ! ( D ) 2 i + 2 s 2 F ( t x ) d t = j = 1 [ k 1 2 ] + 1 s = 1 [ j 1 ] ( 1 ) s ( x ) 2 j 2 4 j 1 ( j s 1 ) ! ( s 1 ) ! 0 1 ( 1 t ) j 1 t s 1 ( j 1 ) ! t n 2 1 ( D ) 2 j 2 F ( t x ) d t = j = 2 [ k 1 2 ] + 1 ( x ) 2 j 2 4 j 1 ( j 1 ) ! 0 1 s = 1 j 1 ( 1 ) s t s 1 ( j s 1 ) ! ( s 1 ) ! ( 1 t ) j 1 t n 2 1 ( D ) 2 j 2 F ( t x ) d t = j = 2 [ k 1 2 ] + 1 ( x ) 2 j 2 4 j 1 ( j 1 ) ! 0 1 s = 1 j 1 ( 1 ) s 1 t s 1 ( j s 1 ) ! ( s 1 ) ! ( 1 t ) j 1 t n 2 1 ( D ) 2 j 2 F ( t x ) d t = j = 2 [ k 1 2 ] + 1 ( x ) 2 j 2 4 j 1 ( j 1 ) ! 0 1 s = 0 j 2 ( 1 ) s t s ( j s 2 ) ! s ! ( 1 t ) j 1 t n 2 1 ( D ) 2 j 2 F ( t x ) d t = j = 2 [ k 1 2 ] + 1 ( x ) 2 j 2 4 j 1 ( j 1 ) ! 0 1 ( 1 t ) j 2 ( j 2 ) ! ( 1 t ) j 1 t n 2 1 ( D ) 2 j 2 F ( t x ) d t = j = 1 [ k 1 2 ] ( x ) 2 j 4 j 0 1 ( 1 t ) j 1 ( j 1 ) ! ( 1 t ) j j ! t n 2 1 ( D ) 2 j F ( t x ) d t .
Similarly, we obtain F 2 ( x ) , F 3 ( x ) , F 4 ( x ) as follows. The theorem is proven. □
In the following part of this paper, we suppose that all infinite series converge absolutely and uniformly in Ω 0 . For the discussion of the convergence of these series, the reader can refer to [17]. Now, we give the main theorem in this section as follows.
Theorem 3. 
If F ( x ) C ( Ω 0 , R 0 , m ) , then
F ( x ) = f 0 ( x ) i = 1 ( x ) 2 i 1 2 2 i 1 ( i 1 ) ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i 1 ( α x ) d α + i = 1 ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i ( α x ) d α ,
where umbral monogenic functions f j ( x ) , j = 0 , 1 , , are given by
f j ( x ) = ( D ) j F ( x ) s = 1 ( 1 ) s ( x ) 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β s + n 2 2 ( s 1 ) ! ( s 1 ) ! ( D ) j + 2 s 1 F ( β x ) d β + s = 1 ( 1 ) s ( x ) 2 s 2 2 s s ! ( s 1 ) ! 0 1 ( 1 β ) s 1 β s + n 2 1 ( D ) j + 2 s F ( β x ) d β .
Remark 1. 
From Theorem 3, we establish one representation of the functions by umbral monogenic functions, which is an Almansi formula of infinite order. As applications of the representation, we construct solutions of the equation ( D + λ ) f ( x ) = 0 and the inhomogeneous umbral poly-Dirac equation.

4.2. Solutions of the Equation ( D + λ ) f ( x ) = 0

Let λ be a real number. Then, we consider the Dirac-type equation in umbral Clifford analysis:
( D + λ ) f ( x ) = 0 .
Theorem 4. 
If F ( x ) C ( Ω 0 , C l 0 , n ) , then the solution of Equation (13) is given by
F ( x ) = f 0 ( x ) + i = 1 [ λ ( x ) ] 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α + i = 1 [ λ ( x ) ] 2 i 1 2 2 i 1 ( i 1 ) ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α ,
where
f 0 ( x ) = F ( x ) s = 1 ( 1 ) s ( x ) 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β s + n 2 2 ( s 1 ) ! ( s 1 ) ! ( D ) 2 s 1 F ( β x ) d β + s = 1 ( 1 ) s ( x ) 2 s 2 2 s s ! ( s 1 ) ! 0 1 ( 1 β ) s 1 β s + n 2 1 ( D ) 2 s F ( β x ) d β .
Proof of Theorem 4. 
Let F ( x ) C ( Ω 0 , C l 0 , n ) . Then, D f 0 ( x ) = 0 by Theorem 3. Furthermore, we have
D 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α = 0 .
From Lemma 2, we can see that
D ( x ) 2 i 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α = 2 i x 2 i 1 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α ,
and
D ( x ) 2 i 1 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α = 2 x 2 ( i 1 ) E n 2 + i 1 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α .
Differentiating both sides of Equation (14), we have
D F ( x ) = i = 1 λ 2 i ( x ) 2 i 1 2 2 i 1 ( i 1 ) ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α m 2 1 f 0 ( α x ) d α i = 1 λ 2 i 1 ( x ) 2 ( i 1 ) 2 2 ( i 1 ) ( i 1 ) ! ( i 1 ) ! E n 2 + i 1 0 1 ( 1 α ) i 1 α m 2 1 f 0 ( α x ) d α .
We calculate the second sum in the above expression as follows.
i = 1 λ 2 i 1 ( x ) 2 ( i 1 ) 2 2 ( i 1 ) ( i 1 ) ! ( i 1 ) ! E n 2 + i 1 0 1 ( 1 α ) i 1 α m 2 1 f 0 ( α x ) d α = λ E n 2 0 1 α n 2 1 f 0 ( α x ) d α i = 2 λ 2 i 1 ( x ) 2 ( i 1 ) 2 2 ( i 1 ) ( i 1 ) ! E n 2 + i 1 0 1 ( 1 α ) i 1 ( i 1 ) ! α n 2 1 f 0 ( α x ) d α = λ f 0 ( x ) i = 2 λ 2 i 1 ( x ) 2 ( i 1 ) 2 2 ( i 1 ) ( i 1 ) ! ( i 2 ) ! 0 1 ( 1 α ) i 2 α n 2 1 f 0 ( α x ) d α = λ f 0 ( x ) i = 1 λ 2 i + 1 ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 0 ( α x ) d α .
To sum up, we have that the function F ( x ) is a solution of Equation (14). □

4.3. Solutions of Inhomogeneous Umbral Poly-Dirac Equations

In this section, we investigate the inhomogeneous umbral poly-Dirac equation:
( D ) k g = f ( x ) u
where f ( x ) C ( Ω 0 , R 0 , n ) .
Theorem 5. 
Assume that f ( x ) C ( Ω 0 , R 0 , n ) is a real analytic function. Then, the function F ( x ) is given by
F ( x ) = i = 0 ( 1 ) i + k ( x ) 2 i + k 2 2 i + k i ! ( i + k 1 ) ! 0 1 ( 1 α ) i + k 1 α n 2 + i 1 ( D ) 2 i f ( α x ) d α + i = 0 ( 1 ) i + k 1 ( x ) 2 i + k + 1 2 2 i + k + 1 ( i + 1 ) ! ( i + k 1 ) ! 0 1 ( 1 α ) i + k 1 α n 2 + i ( D ) 2 i + 1 f ( α x ) d α
Proof of Theorem 5. 
We argue by induction. For k = 1 , we prove that the solution of Equation D g ( x ) = f ( x ) is given by
g ( x ) = i = 0 ( 1 ) i + 1 ( x ) 2 i + 1 2 2 i + 1 i ! i ! 0 1 ( 1 α ) i α n 2 + i 1 ( D ) 2 i f ( α x ) d α + i = 0 ( 1 ) i ( x ) 2 ( i + 1 ) 2 2 ( i + 1 ) ( i + 1 ) ! i ! 0 1 ( 1 α ) i α n 2 + i ( D ) 2 i + 1 f ( α x ) d α .
Then, it follows by Theorem 3 that
G ( x ) = f 0 ( x ) i = 1 ( x ) 2 i 1 2 2 i 1 ( i 1 ) ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i 1 ( α x ) d α + i = 1 ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 1 f 2 i ( α x ) d α ,
where f j ( x ) are umbral monogenic functions in Ω 0 given by the relation:
f j ( x ) = ( D ) j G ( x ) s = 1 ( 1 ) s ( x ) 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β s 1 ( s 1 ) ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s 1 G ( β x ) d β + s = 1 ( 1 ) s ( x ) 2 s 2 2 s 0 1 ( 1 β ) s 1 β s s ! ( s 1 ) ! β n 2 1 ( D ) j + 2 s G ( β x ) d β .
Using (19) and (20), we obtain
G ( x ) f 0 ( x ) = s = 1 ( 1 ) s ( x ) 2 s 1 2 2 s 1 0 1 ( 1 β ) s 1 β s 1 ( s 1 ) ! ( s 1 ) ! β n 2 1 ( D ) 2 s 1 G ( β x ) d β s = 1 ( 1 ) s ( x ) 2 s 2 2 s 0 1 ( 1 β ) s 1 β s s ! ( s 1 ) ! β n 2 1 ( D ) 2 s G ( β x ) d β = s = 0 ( 1 ) s + 1 ( x ) 2 s + 1 2 2 s + 1 s ! s ! 0 1 ( 1 α ) s α n 2 + s 1 ( D ) 2 s f ( α x ) d α + s = 0 ( 1 ) s ( x ) 2 ( s + 1 ) 2 2 ( s + 1 ) ( s + 1 ) ! s ! 0 1 ( 1 α ) s α n 2 + s ( D ) 2 s + 1 f ( α x ) d α .
The left-hand side of the above expression is a solution of Equation (16) for k = 1 ; therefore, its right-hand side is a solution as well.
Assume that Formula (17) holds for k = p . Then, we prove that Formula (17) also holds for k = p + 1 .
By setting D p u = g ( x ) for g ( x ) , we obtain the equation D g = f ( x ) ; therefore, by Theorem 1, the function g ( x ) is given by
g ( x ) = i = 0 ( 1 ) i + 1 ( x ) 2 i + 1 2 · 4 i · i ! · i ! 0 1 ( 1 α ) i α n 2 + i 1 ( D ) 2 i f ( α x ) d α + i = 0 ( 1 ) i ( x ) 2 ( i + 1 ) 4 i + 1 · ( i + 1 ) ! · i ! 0 1 ( 1 α ) i α n 2 + i ( D ) 2 i + 1 f ( α x ) d α
Moreover, by the inductive assumption, we have
u ( x ) = i = 0 ( 1 ) i + p ( x ) 2 i + p 2 2 i + p i ! ( i + p 1 ) ! 0 1 ( 1 α ) i + p 1 α n 2 + i 1 ( D ) 2 i g ( α x ) d α + i = 0 ( 1 ) i + p 1 ( x ) 2 i + p + 1 2 2 i + p + 1 ( i + p 1 ) ! ( i + 1 ) ! 0 1 ( 1 α ) i + p 1 α n 2 + i ( D ) 2 i + 1 g ( α x ) d α
Note that ( D ) p g ( x ) = ( D ) p 1 f ( x ) . From (22), we have
u ( x ) = ( 1 ) p ( x ) p 2 p ( p 1 ) ! 0 1 ( 1 α ) p 1 α n 2 1 g ( α x ) d α + i = 1 ( 1 ) i + p ( x ) 2 i + p 2 2 i + p i ! ( i + p 1 ) ! 0 1 ( 1 α ) i + p 1 α n 2 + i 1 ( D ) 2 i 1 f ( α x ) d α + i = 0 ( 1 ) i + p 1 ( x ) 2 i + p + 1 2 2 i + p + 1 ( i + p 1 ) ! ( i + 1 ) ! 0 1 ( 1 α ) i + p 1 α n 2 + i ( D ) 2 i f ( α x ) d α
Using (21), we transform the first integral in (23) as follows.
( 1 ) p ( x ) p 2 p ( p 1 ) ! 0 1 ( 1 α ) p 1 α n 2 1 g ( α x ) d α = ( 1 ) p ( x ) p 2 p ( p 1 ) ! 0 1 ( 1 α ) p 1 i = 0 ( 1 ) i + 1 ( x ) 2 i + 1 2 · 4 i i ! i ! 0 1 α ( α α β ) i ( α β ) n 2 + i 1 ( D ) 2 i f ( α β x ) d β d α + ( 1 ) p ( x ) p 2 p ( p 1 ) ! 0 1 ( 1 α ) p 1 i = 0 ( 1 ) i ( x ) 2 i + 2 4 i + 1 ( i + 1 ) ! i ! 0 1 α ( α α β ) i ( α β ) n 2 + i ( D ) 2 i + 1 f ( α β x ) d β d α = J 1 + J 2 .
We calculate the sum of the two terms in the above equation separately.
( 1 ) p ( x ) p 2 p ( p 1 ) ! i = 0 ( 1 ) i + 1 x 2 i + 1 2 · 4 i i ! i ! 0 1 0 1 ( 1 α ) p 1 ( α α β ) i ( α β ) n 2 + i 1 ( D ) 2 i f ( α β x ) d ( α β ) d α = ( 1 ) p ( x ) p 2 p ( p 1 ) ! i = 0 ( 1 ) i + 1 x 2 i + 1 2 · 4 i i ! i ! 0 1 0 α ( 1 α ) p 1 ( α β ) i ( β ) n 2 + i 1 ( D ) 2 i f ( β x ) d β d α = ( 1 ) p ( x ) p 2 p ( p 1 ) ! i = 0 ( 1 ) i + 1 x 2 i + 1 2 · 4 i i ! i ! 0 1 β n 2 + i 1 ( D ) 2 i f ( β x ) β 1 ( 1 α ) p 1 ( α β ) i d α d β = ( 1 ) p ( x ) p 2 p i = 0 ( 1 ) i + 1 ( x ) 2 i + 1 2 · 4 i i ! ( i + p ) ! 0 1 ( 1 α ) p + i α n 2 + i 1 ( D ) 2 i f ( α x ) d α ,
and
( 1 ) p ( x ) p 2 p ( p 1 ) ! 0 1 ( 1 α ) p 1 i = 0 ( 1 ) i ( x ) 2 i + 2 4 i + 1 ( i + 1 ) ! i ! 0 1 ( α α β ) i ( α β ) n 2 + i ( D ) 2 i + 1 f ( α β x ) d ( α β ) d α = ( 1 ) p x p 2 p ( p 1 ) ! i = 0 ( 1 ) i x 2 i + 2 4 i + 1 ( i + 1 ) ! i ! 0 1 0 α ( 1 α ) p 1 ( α β ) i β n 2 + i ( D ) 2 i + 1 f ( β x ) d β d α = ( 1 ) p ( x ) p 2 p ( p 1 ) ! i = 0 ( 1 ) i x 2 i + 2 4 i + 1 ( i + 1 ) ! i ! 0 1 β n 2 + i ( D ) 2 i + 1 f ( β x ) d β β 1 ( 1 α ) p 1 ( α β ) i d α = ( 1 ) p ( x ) p 2 p i = 0 ( 1 ) i ( x ) 2 i + 2 4 i + 1 ( i + 1 ) ! ( i + p ) ! 0 1 ( 1 β ) p + i β n 2 + i ( D ) 2 i + 1 f ( β x ) d β .
By replacing i i + 1 , we compute the second integral in Formula (23):
u ( x ) = ( 1 ) p ( x ) p 2 p i = 0 ( 1 ) i + 1 ( x ) 2 i + 1 2 2 i + 1 i ! ( i + p ) ! 0 1 ( 1 α ) p + i α n 2 + i 1 ( D ) 2 i f ( α x ) d α + ( 1 ) p ( x ) p 2 p i = 0 ( 1 ) i ( x ) 2 i + 2 2 2 ( i + 1 ) ( i + 1 ) ! ( i + p ) ! 0 1 ( 1 α ) p + i α n 2 + i ( D ) 2 i + 1 f ( β x ) d β + i = 0 ( 1 ) i + p ( x ) 2 i + 2 + p 2 2 i + p + 2 ( i + 1 ) ! ( i + p ) ! 0 1 ( 1 α ) i + p α n 2 + i ( D ) 2 i + 1 f ( α x ) d α + i = 0 ( 1 ) i + p ( x ) 2 i + p + 1 2 2 i + p + 1 ( i + p 1 ) ! ( i + 1 ) ! 0 1 ( 1 α ) i + p 1 α n 2 + i ( D ) 2 i f ( α x ) d α = i = 0 ( 1 ) i + p + 1 ( x ) 2 i + p + 1 2 2 i + p + 1 i ! ( i + p ) ! 0 1 ( 1 α ) i + p α n 2 + i 1 ( D ) 2 i f ( α x ) d α + i = 0 ( 1 ) i + p ( x ) 2 i + p + 2 2 2 i + p + 2 ( i + 1 ) ! ( i + p ) ! 0 1 ( 1 α ) i + p α n 2 + i ( D ) 2 i + 1 f ( α x ) d α
Thus, we have the result. □

5. Normalized System with the Base f ( x ) and Its Applications

5.1. Normalized System with the Base f ( x )

In this section, we construct normalized systems with the base f ( x ) in the setting of umbral Clifford analysis. That is to say, we establish a system of functions { G m ( x ;   f ) , m = 1 , 2 , } satisfying
D G m ( x ; f ) = G m 1 ( x ;   f ) , m = 1 , 2 , ,
where
D G 1 ( x ;   f ) = G 0 ( x ;   f ) = f ( x ) .
For m = 2 s 1 ,
G 2 s 1 ( x ;   f ) = i = 0 ( 1 ) i + 1 ( x ) 2 i + 2 s 1 2 2 i + s i ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s 1 α n 2 + i 1 ( D ) 2 i f ( α x ) d α + i = 0 ( 1 ) i ( x ) 2 ( i + s ) 2 2 i + s + 1 ( i + 1 ) ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s 1 α n 2 + i ( D ) 2 i + 1 f ( α x ) d α .
For m = 2 s ,
G 2 s ( x ; f ) = i = 0 ( 1 ) i + 1 ( x ) 2 i + 2 s 2 2 i + s + 1 i ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i 1 ( D ) 2 i f ( α x ) d α i = 0 ( 1 ) i ( x ) 2 ( i + s ) + 1 2 2 i + s + 2 ( i + 1 ) ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α .
Theorem 6. 
The function system G m ( x ;   f ) is the normalized system with respect to the umbral Dirac operator with the base f ( x ) .
Proof of Theorem 6. 
For m = 1 ,
D G 1 ( x ; f ) = i = 0 ( 1 ) i ( x ) 2 i 2 2 i i ! i ! E n 2 + i 0 1 ( 1 α ) i α n 2 + i 1 ( D ) 2 i f ( α x ) d α + i = 0 ( 1 ) i ( x ) 2 i + 1 2 2 i + 1 i ! i ! 0 1 ( 1 α ) i α n 2 + i ( D ) 2 i + 1 f ( α x ) d α + i = 0 ( 1 ) i + 1 2 ( i + 1 ) ( x ) 2 i + 1 2 2 ( i + 1 ) ( i + 1 ) ! i ! 0 1 ( 1 α ) i α n 2 + i ( D ) 2 i + 1 f ( α x ) d α + i = 0 ( 1 ) i ( x ) 2 ( i + 1 ) 2 2 ( i + 1 ) ( i + 1 ) ! i ! 0 1 ( 1 α ) i α n 2 + i + 1 ( D ) 2 i + 2 f ( α x ) d α = f ( x ) + i = 1 ( 1 ) i ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 + i ( D ) 2 i f ( α x ) d α + i = 0 ( 1 ) i ( x ) 2 i + 1 2 2 i + 1 i ! i ! 0 1 ( 1 α ) i α n 2 + i ( D ) 2 i + 1 f ( α x ) d α + i = 0 ( 1 ) i + 1 ( x ) 2 i + 1 2 2 i + 1 i ! i ! 0 1 ( 1 α ) i α n 2 + i ( D ) 2 i + 1 f ( α x ) d α + i = 1 ( 1 ) i + 1 ( x ) 2 i 2 2 i i ! ( i 1 ) ! 0 1 ( 1 α ) i 1 α n 2 + i ( D ) 2 i f ( α x ) d α = f ( x ) .
For m = 2 s ,
D G 2 s ( x ; f ) = i = 0 ( 1 ) i + 1 2 2 i + s + 1 i ! ( i + s ) ! D [ ( x ) 2 i + 2 s 0 1 ( 1 α ) i + s α n 2 + i 1 ( D ) 2 i f ( α x ) d α ] i = 0 ( 1 ) i 2 2 i + s + 2 ( i + 1 ) ! ( i + s ) ! D [ ( x ) 2 ( i + s ) + 1 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α ] = i = 0 ( 1 ) i + 1 2 ( i + s ) ( x ) 2 i + 2 s 1 2 2 i + s + 1 i ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i 1 ( D ) 2 i f ( α x ) d α i = 1 ( 1 ) i + 1 ( x ) 2 ( i + s ) 2 2 i + s + 1 i ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α + i = 0 ( 1 ) i ( x ) 2 ( i + s ) 2 2 i + s + 2 ( i + 1 ) ! ( i + s ) ! E n 2 + i + s 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α i = 0 ( 1 ) i ( x ) 2 ( i + s ) + 1 2 2 i + s + 2 ( i + 1 ) ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i + 1 ( D ) 2 i + 2 f ( α x ) d α .
We calculate the first sum and the forth sum in (29).
I 1 + I 4 = i = 0 ( 1 ) i + 1 ( x ) 2 i + 2 s 1 2 2 i + s i ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s α n 2 + i 1 ( D ) 2 i f ( α x ) d α + i = 1 ( 1 ) i + 1 ( x ) 2 i + 2 s 1 2 2 i + s ( i + s 1 ) ! i ! 0 1 ( 1 α ) i + s 1 α n 2 + i ( D ) 2 i f ( α x ) d α = i = 0 ( 1 ) i + 1 ( x ) 2 i + 2 s 1 2 2 i + s i ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s 1 α n 2 + i 1 ( D ) 2 i f ( α x ) d α .
We calculate the second sum and the third sum in (29).
I 2 + I 3 = i = 0 ( 1 ) i + 1 ( x ) 2 ( i + s ) 2 2 i + s + 1 i ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α + i = 0 ( 1 ) i + 1 ( x ) 2 ( i + s ) 2 2 i + s + 1 ( i + 1 ) ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s 1 α n 2 + i + 1 ( D ) 2 i + 1 f ( α x ) d α + i = 0 ( 1 ) i + 1 ( x ) 2 ( i + s ) 2 2 i + s + 1 ( i + 1 ) ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α = i = 0 ( 1 ) i + 1 ( x ) 2 ( i + s ) 2 2 i + s + 1 ( i + 1 ) ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s 1 α n 2 + i ( D ) 2 i + 1 f ( α x ) d α .
To sum up, we have the result. □

5.2. Applications of the Normalized System with the Base f ( x )

Consider the inhomogeneous umbral Dirac equation:
( D + λ ) g ( x ) = f ( x ) ,
where f ( x ) C ( Ω 0 , C l 0 , n ) and λ R .
Theorem 7. 
Let f ( x ) C ( Ω 0 , C l 0 , n ) . Then, the solution of Equation (30) is given by
g ( x ) = l = 0 i = 0 l ( 1 ) i + 1 λ l i ( x ) 2 l + 1 2 l + i + 1 i ! l ! 0 1 ( 1 α ) l α n 2 + i 1 ( D ) 2 i f ( α x ) d α + l = 0 i = 0 l ( 1 ) i λ l i ( x ) 2 ( l + 1 ) 2 l + i + 2 ( i + 1 ) ! l ! 0 1 ( 1 α ) l α n 2 + i ( D ) 2 i + 1 f ( α x ) d α l = 0 i = 0 l ( 1 ) i + 1 λ l i + 1 ( x ) 2 l + 2 2 l + i + 2 i ! ( l + 1 ) ! 0 1 ( 1 α ) l + 1 α n 2 + i 1 ( D ) 2 i f ( α x ) d α l = 0 i = 0 l ( 1 ) i λ l i + 1 ( x ) 2 ( l + 1 ) + 1 2 l + i + 2 ( i + 1 ) ! l ! 0 1 ( 1 α ) l + 1 α n 2 + i ( D ) 2 i + 1 f ( α x ) d α .
Proof of Theorem 7. 
From Theorem 6, we have
g ( x ) = s = 1 i = 0 ( 1 ) i + 1 λ s 1 ( x ) 2 i + 2 s 1 2 2 i + s i ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s 1 α n 2 + i 1 ( D ) 2 i f ( α x ) d α + s = 1 i = 0 ( 1 ) i λ s 1 ( x ) 2 ( i + s ) 2 2 i + s + 1 ( i + 1 ) ! ( i + s 1 ) ! 0 1 ( 1 α ) i + s 1 α n 2 + i ( D ) 2 i + 1 f ( α x ) d α s = 1 i = 0 ( 1 ) i + 1 λ s ( x ) 2 i + 2 s 2 2 i + s + 1 i ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i 1 ( D ) 2 i f ( α x ) d α s = 1 i = 0 ( 1 ) i λ s ( x ) 2 ( i + s ) + 1 2 2 i + s + 2 ( i + 1 ) ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α .
By changing the summation index as s s + 1 , we have
g ( x ) = s = 0 i = 0 ( 1 ) i + 1 λ s ( x ) 2 i + 2 s + 1 2 2 i + s + 1 i ! ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i 1 ( D ) 2 i f ( α x ) d α + s = 0 i = 0 ( 1 ) i λ s ( x ) 2 ( i + s + 1 ) 2 2 i + s + 2 ( i + 1 ) ! · ( i + s ) ! 0 1 ( 1 α ) i + s α n 2 + i ( D ) 2 i + 1 f ( α x ) d α s = 0 i = 0 ( 1 ) i + 1 λ s + 1 ( x ) 2 i + 2 s + 2 2 2 i + s + 2 i ! ( i + s + 1 ) ! 0 1 ( 1 α ) i + s + 1 α n 2 + i 1 ( D ) 2 i f ( α x ) d α s = 0 i = 0 ( 1 ) i λ s + 1 ( x ) 2 ( i + s + 1 ) + 1 2 2 i + s + 2 ( i + 1 ) ! ( i + s ) ! 0 1 ( 1 α ) i + s + 1 α n 2 + i ( D ) 2 i + 1 f ( α x ) d α
Note that s , i = 0 = l = 0 s + i = l = l = 0 i = 0 l . Then, we have
g ( x ) = l = 0 i = 0 l ( 1 ) i + 1 λ l i ( x ) 2 l + 1 2 l + i + 1 i ! l ! 0 1 ( 1 α ) l α n 2 + i 1 ( D ) 2 i f ( α x ) d α + l = 0 i = 0 l ( 1 ) i λ l i ( x ) 2 ( l + 1 ) 2 l + i + 2 ( i + 1 ) ! l ! 0 1 ( 1 α ) l α n 2 + i ( D ) 2 i + 1 f ( α x ) d α
l = 0 i = 0 l ( 1 ) i + 1 λ l i + 1 ( x ) 2 l + 2 2 l + i + 2 i ! ( l + 1 ) ! 0 1 ( 1 α ) l + 1 α n 2 + i 1 ( D ) 2 i f ( α x ) d α l = 0 i = 0 l ( 1 ) i λ l i + 1 ( x ) 2 ( l + 1 ) + 1 2 l + i + 2 ( i + 1 ) ! l ! 0 1 ( 1 α ) l + 1 α n 2 + i ( D ) 2 i + 1 f ( α x ) d α .
This completes the proof. □

6. Conclusions

The method of the normalized systems of functions is devoted to the construction of the solutions of initial- and boundary-value problems for real-valued partial differential equations. In this paper, applying the Sheffer operator, we constructed the normalized systems of functions to study Clifford-valued partial differential equations in the frame of umbral calculus. Umbral Clifford analysis based on umbral calculus is a bridge between continuous and discrete Clifford analysis. One may further bring this method to the field of discrete Clifford analysis.

Author Contributions

Writing—original draft, H.Y.; writing—review and editing, V.K. All authors have read and agreed to the published version of the manuscript.

Funding

This work was funded by the Natural Science Foundation of Hebei Province (No. A2022402007), the National Natural Science Foundation of China (No. 11426082), and the Project of Handan Municipal Science and Technology Bureau (No. 19422031008-13).

Data Availability Statement

All the data is present within the manuscript.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Riordan, J. An Introduction to Combinatorial Analysis; Wiley: New York, NY, USA, 1958; pp. 123–176. [Google Scholar]
  2. Bell, E.T. The history of Blissards symbolic calculus, with a sketch of the inventors life. Amer. Math. Mon. 1938, 45, 414–421. [Google Scholar] [CrossRef]
  3. Sheffer, I.M. Some properties of polynomial sets of type zero. Duke Math. J. 1939, 5, 590–622. [Google Scholar] [CrossRef]
  4. Pincherle, S.; Amalde, U. Le Operazioni Distributive e le loro Applicazioni al Analisi; Zanichelli: Bologana, Italy, 1901. [Google Scholar]
  5. Mullin, R.; Rota, G.C. On the Foundations of Combinatorial Theory. III. Theory of Binomial Enumeration, Graph Theory and Its Applications; Academic Press: New York, NY, USA, 1970; pp. 167–213. [Google Scholar]
  6. Di Bucchianico, A.; Loeb, D.E.; Rota, G.C. Umbral Calculus in Hilbert Space. In Mathematical Essays in Honor of Gian- Carlo Rota; Sagan, B., Stanley, R.P., Eds.; Birkhuser: Boston, MA, USA, 1998; pp. 213–238. [Google Scholar]
  7. Ren, G.; Faustino, N. Almansi theorems in umbral Clifford analysis and the quantum harmonic oscillator. Mathematic 2009, 1, 1–22. [Google Scholar]
  8. Faustino, N.; Ren, G. Discrete Almansi type decompositions: An umbral calculus framework based on osp(1|2) symmetries. Mathematics 2011, 2, 1–26. [Google Scholar] [CrossRef]
  9. Brackx, F.; Delanghe, R.; Sommen, F. Clifford Analysis; Pitman Advanced Publishing Program: London, UK, 1982. [Google Scholar]
  10. Delanghe, R.; Sommen, F.; Soucek, V. Clifford Algebra and Spinor-Valued Functions; Kluwer Acad. Publ.: Amsterdam, The Netherlands, 1992. [Google Scholar]
  11. Gilbert, J.; Murray, M. Clifford Algebra and Dirac Operators in Harmonic Analysis; Cambridge University Press: Cambridge, UK, 1991. [Google Scholar]
  12. Gurlebeck, K.; Sprossig, W. Quaternionic Analysis and Elliptic Boundary Value Problems; Akademie: Berlin, Germany, 1989. [Google Scholar]
  13. Roman, S. The Umbral Calculus; Academic Press: San Diego, CA, USA, 1984. [Google Scholar]
  14. Roman, S.; Rota, G.C. The umbral calculus. Adv. Math. 1978, 27, 95–188. [Google Scholar] [CrossRef]
  15. Rota, G.-C.; Kahane, D.; Odlyzko, A. Finite operator calculus. J. Math. Anal. Appl. 1973, 42, 685–760. [Google Scholar] [CrossRef]
  16. Karachik, V.V. Normalized system of functions with respect to the Laplace operator and its applications. J. Math. Anal. Appl. 2003, 287, 577–592. [Google Scholar] [CrossRef]
  17. Karachik, V.V. Method of Normalized Systems of Functions; Publishing Center of SUSU: Chelaybinsk, Russia, 2014. (In Russian) [Google Scholar]
  18. Karachik, V.V. Dirichlet and Neumann boundary value problems for the polyharmonic equation in the unit ball. Mathematics 2021, 9, 1907. [Google Scholar] [CrossRef]
  19. Aronszajn, N.; Creese, T.M.; Lipkin, L.J. Polyharmonic Functions; Oxfordmathematics Monographs; The Clarendon Press: New York, NY, USA; Oxford University Press: Oxford, UK, 1983. [Google Scholar]
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

Yuan, H.; Karachik, V. Solutions of Umbral Dirac-Type Equations. Mathematics 2024, 12, 344. https://doi.org/10.3390/math12020344

AMA Style

Yuan H, Karachik V. Solutions of Umbral Dirac-Type Equations. Mathematics. 2024; 12(2):344. https://doi.org/10.3390/math12020344

Chicago/Turabian Style

Yuan, Hongfen, and Valery Karachik. 2024. "Solutions of Umbral Dirac-Type Equations" Mathematics 12, no. 2: 344. https://doi.org/10.3390/math12020344

APA Style

Yuan, H., & Karachik, V. (2024). Solutions of Umbral Dirac-Type Equations. Mathematics, 12(2), 344. https://doi.org/10.3390/math12020344

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