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.
MSC:
30G35; 58C50; 35Q41
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 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 to be the partial derivative we define the umbral Dirac operator by
where Here, is the Kronecker symbol. The null solutions of this operator are umbral monogenic functions.
2.2. Umbral Euler Operator
Let Then, where are nonnegative integers.
In umbral Clifford analysis, we take the delta operator as the momentum operators and take
as the position operators, where is the Pincherle derivative. They satisfy the Heisenberg–Weyl relations:
Let Then, the basic polynomials are given by
where This is known as the Rodrigues formula.
The operator:
is called the umbral Euler operator. This operator allows us to have
2.3. Sheffer Operator
The Sheffer operator is defined by
where is a polynomial sequence. The inverse of this linear operator is given by Furthermore, we have the intertwining relations, i.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 satisfying
where That is to say, the function is an umbral monogenic function.
First of all, we give the following definitions:
Definition 1
([19]). Let the open connected set If and satisfy that , then it is the so-called star domain with center 0. It is denoted by .
Definition 2.
Let The operator is defined by
where
Definition 3.
Let be as stated before. Let I be the identical operator. Then, the operator is defined by
where Note that Thus, we have
Now, we consider the relations between the operators and
Lemma 1
([7]). Let , and be as stated before. Then, we have the following intertwining relations:
Lemma 2.
Let Then,
where
For more details on the proof of Lemma 2, the reader can refer to [7].
Lemma 3.
Let Then, for
Proof of Lemma 3.
Let and Then,
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 satisfies the equation Then, the sequence of functions in is the 0-normalized system of functions with respect to the operator where
Proof of Theorem 1.
It is easy to see that We only need to prove that for any For applying Lemmas 2 and 3, we obtain
For 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 Then
where
Proof of Lemma 4.
Let Then, By computation, we have
Let Then, and
Thus, we have the result. □
Theorem 2.
Let If then
where are umbral monogenic, and
Proof of Theorem 2.
First of all, we first prove that are umbral monogenic. Using Lemmas 2 and 4, we have
By computing the first integral of the equality, we have
Thus, we have
Substituting (10) into (9), we have
where
We calculate
Let Then,
We consider the second integral of the above equality as follows.
Let Then,
Let Then,
It is well-known that the Euler beta function is given by
After a simple calculation, we obtain
Note that
where
We have
Thus, we have
Similarly, we obtain as follows. The theorem is proven. □
In the following part of this paper, we suppose that all infinite series converge absolutely and uniformly in 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 , then
where umbral monogenic functions are given by
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 and the inhomogeneous umbral poly-Dirac equation.
4.2. Solutions of the Equation
Let be a real number. Then, we consider the Dirac-type equation in umbral Clifford analysis:
Theorem 4.
4.3. Solutions of Inhomogeneous Umbral Poly-Dirac Equations
In this section, we investigate the inhomogeneous umbral poly-Dirac equation:
where
Theorem 5.
Assume that is a real analytic function. Then, the function is given by
Proof of Theorem 5.
We argue by induction. For , we prove that the solution of Equation is given by
Then, it follows by Theorem 3 that
where are umbral monogenic functions in given by the relation:
Using (19) and (20), we obtain
The left-hand side of the above expression is a solution of Equation (16) for ; therefore, its right-hand side is a solution as well.
Assume that Formula (17) holds for Then, we prove that Formula (17) also holds for
By setting for , we obtain the equation ; therefore, by Theorem 1, the function is given by
Moreover, by the inductive assumption, we have
Note that From (22), we have
Using (21), we transform the first integral in (23) as follows.
We calculate the sum of the two terms in the above equation separately.
and
By replacing we compute the second integral in Formula (23):
Thus, we have the result. □
5. Normalized System with the Base and Its Applications
5.1. Normalized System with the Base
In this section, we construct normalized systems with the base in the setting of umbral Clifford analysis. That is to say, we establish a system of functions satisfying
where
For
For
Theorem 6.
The function system is the normalized system with respect to the umbral Dirac operator with the base
Proof of Theorem 6.
For
For
We calculate the first sum and the forth sum in (29).
We calculate the second sum and the third sum in (29).
To sum up, we have the result. □
5.2. Applications of the Normalized System with the Base
Consider the inhomogeneous umbral Dirac equation:
where and
Theorem 7.
Let Then, the solution of Equation (30) is given by
Proof of Theorem 7.
From Theorem 6, we have
By changing the summation index as we have
Note that Then, we have
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
- Riordan, J. An Introduction to Combinatorial Analysis; Wiley: New York, NY, USA, 1958; pp. 123–176. [Google Scholar]
- 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]
- Sheffer, I.M. Some properties of polynomial sets of type zero. Duke Math. J. 1939, 5, 590–622. [Google Scholar] [CrossRef]
- Pincherle, S.; Amalde, U. Le Operazioni Distributive e le loro Applicazioni al Analisi; Zanichelli: Bologana, Italy, 1901. [Google Scholar]
- 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]
- 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]
- Ren, G.; Faustino, N. Almansi theorems in umbral Clifford analysis and the quantum harmonic oscillator. Mathematic 2009, 1, 1–22. [Google Scholar]
- 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][Green Version]
- Brackx, F.; Delanghe, R.; Sommen, F. Clifford Analysis; Pitman Advanced Publishing Program: London, UK, 1982. [Google Scholar]
- Delanghe, R.; Sommen, F.; Soucek, V. Clifford Algebra and Spinor-Valued Functions; Kluwer Acad. Publ.: Amsterdam, The Netherlands, 1992. [Google Scholar]
- Gilbert, J.; Murray, M. Clifford Algebra and Dirac Operators in Harmonic Analysis; Cambridge University Press: Cambridge, UK, 1991. [Google Scholar]
- Gurlebeck, K.; Sprossig, W. Quaternionic Analysis and Elliptic Boundary Value Problems; Akademie: Berlin, Germany, 1989. [Google Scholar]
- Roman, S. The Umbral Calculus; Academic Press: San Diego, CA, USA, 1984. [Google Scholar]
- Roman, S.; Rota, G.C. The umbral calculus. Adv. Math. 1978, 27, 95–188. [Google Scholar] [CrossRef]
- Rota, G.-C.; Kahane, D.; Odlyzko, A. Finite operator calculus. J. Math. Anal. Appl. 1973, 42, 685–760. [Google Scholar] [CrossRef]
- 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][Green Version]
- Karachik, V.V. Method of Normalized Systems of Functions; Publishing Center of SUSU: Chelaybinsk, Russia, 2014. (In Russian) [Google Scholar]
- Karachik, V.V. Dirichlet and Neumann boundary value problems for the polyharmonic equation in the unit ball. Mathematics 2021, 9, 1907. [Google Scholar] [CrossRef]
- 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. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).