Abstract
Teodorescu operator, or T-operator, plays an important role in Vekua equation systems and the generalized analytic function theory. It is a generalized solution to the nonhomogeneous Dirac equation. The properties of T operators play a key role in the study of boundary value problems and integral representation of the solutions. In this paper, we first define a Teodorescu operator with B-M kernel in the complex Clifford analysis and prove the boundedness of this operator. Then we give an inequality similar to the classical Hile lemma about real vector which plays a key role in the following proof. Finally, we prove the Hölder continuity and γ-integrability of this operator.
Similar content being viewed by others
1 Introduction
In some way, there are two branches of Clifford analysis. The first one is the real Clifford analysis introduced by Brack, Delanghe, and Sommen in [1] which studied function theory with values in a real Clifford algebra defined on a nonempty subset of the Euclidean space \(R^{n+1} \). Many important theoretic results, such as the Cauchy integral formula, the Cauchy theorem, the Taylor and the Laurent series expansion, the Liouville theorem, and the Morera theorem, have been obtained, and they are the extensions of the well-known classical theorems in one complex variable. Beyond these, a lot of scholars have studied many properties of function theory in the real Clifford analysis. Eriksson and Leutwiler [2–5] introduced the hypermonogenic function and studied some properties of it. Huang [6], Qiao [7–9], Xie [10–12], and Yang [13–15] obtained many results in Clifford analysis.
The second one is the complex Clifford analysis. In the early 1990s, Ryan [16–19] introduced the definition of the complex regular function and obtained the Cauchy integral formula whose method is similar to the classical function with one complex variable. In recent years, Ku, Du [20, 21] obtained some properties of complex regular functions using the isotonic function.
Based on the above theoretical study and practical background, we construct an analogue of Bochner–Martinelli kernel in several complex variables. We first define a Teodorescu operator with B-M kernel in the complex Clifford analysis and prove the boundedness of this operator. Then we give an inequality similar to the classical Hile lemma about real vector which plays a key role in the following proof. Finally, we prove the Hölder continuity and γ-integrability of this operator.
2 Preliminaries
Let \(\mathrm{Cl}_{0,n}(C)\) be a complex Clifford algebra over n+1-dimensional Euclidean space \({\mathbf{C}}^{n+1}\). \(\mathrm{Cl}_{0,n}(C)\) has the basis \(e_{0}, e_{1}, e_{2}, \ldots, e_{n}; e_{1}e_{2}, e_{1}e_{3}, \ldots, e_{1}e_{n}; e_{2}e_{3}, \ldots, e_{2}e_{n}; \ldots; e_{n-1}e_{n}; \ldots; [4] e_{1}\cdots{e_{n}}\). Hence, an arbitrary element of the basis may be written as \(e_{A}=e_{\alpha_{1}}\cdots e_{\alpha_{h}}\), where \(A=\{\alpha_{1}, \ldots, \alpha_{h} \}\subseteq\{1, \ldots, n\}\), \(1\le\alpha_{1}<\alpha_{2}<\cdots<\alpha_{h}\le n\) and when \(A=\emptyset\), \(e_{A}=e_{0}=1\). So, the complex Clifford algebra is composed of elements having the type \(a=\sum_{A}z_{A}e_{A}\), where \(z_{A}\) are complex numbers.
The basis in Clifford algebra satisfies
Define the norm of Clifford numbers as follows:
Let \(\Omega\subset\mathbf{C}^{n+1}\) be an open connected nonempty set. Then the function which is defined on Ω and valued in \(\mathrm{Cl}_{0,n}(C)\) can be expressed as \(f(z)=\sum_{A}{f_{A}(z)e_{A}}\), where \(f_{A}(z)\) are complex-valued functions. Let
Dirac operators are introduced as follows [6]:
Definition 2.1
([16])
If \(\Omega\subset C^{n+1}\), \(f: \Omega\rightarrow \mathrm{Cl}_{0,n}(C)\) satisfies:
-
(1)
\(f_{A}(z)\) is a holomorphic function for any \(z_{j}\in\Omega\),
-
(2)
\(D_{l}f(z)=0\), \(\forall z\in\Omega\),
then \(f(z)\) is called a complex left regular function on Ω.
Definition 2.2
([16])
If \(\Omega\subset C^{n+1}\), \(f: \Omega\rightarrow \mathrm{Cl}_{0,n}(C)\) satisfies:
-
(1)
\(f_{A}(z)\) is a holomorphic function for any \(z_{j}\in\Omega\),
-
(2)
\(D_{r}f(z)=0\), \(\forall z\in\Omega\),
then \(f(z)\) is called a complex right regular function on Ω.
Lemma 2.1
(Hadamard lemma [22])
Let \(\Omega\subset R^{n+1}\) be a bounded domain, \(n\geq2\). If α, β satisfy \(0<\alpha,\beta <n+1\), and \(\alpha+\beta>n+1\), then for any \(x_{1},x_{2}\in R^{n+1}\), \(x_{1}\neq x_{2}\), we have
where \(J_{1}\) is a positive constant related to α and β.
Lemma 2.2
([22])
Let \(\Omega\subset R^{n+1}\) be a bounded domain, when \(\alpha< n+1\), for any \(y\in R^{n+1}\), we have
where M is a positive constant only related to α and the size of Ω.
Lemma 2.3
(Hölder inequality [23])
If \(f_{k}\in L^{p_{k}}(\Omega)\), \(k=1,2,\ldots,n\), and
then \({f_{1}f_{2}\cdots f_{n}\in L^{p}(\Omega)}\), and
Lemma 2.4
(Minkowski inequality [23])
If \({f_{1},f_{2},\ldots,f_{n}\in L^{p}(\Omega)}\), then \(f_{1}+f_{2}+\cdots+f_{n}\in L^{p}(\Omega)\), and
Lemma 2.5
([23])
Let \(L^{p}(\Omega,\mathrm{Cl}_{0,n}(R))\) represent the set of all p order integrable functions which are defined on the bounded domain \(\Omega \subset R^{n+1}\), and with values in the real Clifford algebra \(\mathrm{Cl}_{0,n}(R)\), define the norm of φ as follows:
when \(1\leq r \leq p\),
is true.
The notations used in this paper are as follows:
-
(1)
\(\omega_{2n+2}\) represents the surface area of unit sphere in a \(2n+2\)-dimensional real Euclidean space.
-
(2)
\(M_{i}\) \(\{i=1,2,3\}\), \(K_{i}\) \(\{i=1,\dots,16\}\) are constants only related to n and the size of domain Ω in this paper.
-
(3)
\(dV_{\xi}=d\zeta_{0}\wedge d\zeta_{1}\wedge\cdots\wedge d\zeta_{n}\wedge d\eta_{0}\wedge d\eta_{1}\wedge\cdots\wedge d\eta _{n}\), \(\zeta_{j}\in R\), \(\eta_{j}\in R\), (\(j=0, 1, \ldots, n\)), \(\xi_{j}=\zeta _{j}+i\eta_{j}\).
-
(4)
\(d\bar{\xi}\wedge d{\xi}=d\bar{\xi}_{0}\wedge d\bar{\xi}_{1}\wedge \cdots d\bar{\xi}_{n}\wedge d{\xi_{0}}\wedge d{\xi_{1}}\dots\wedge d{\xi_{n}}\).
-
(5)
\(d\bar{\xi}\wedge d{\xi}=(2i)^{n+1}\,dV_{\xi}\).
3 Some properties of a T operator with B-M kernel in the complex Clifford analysis
In this section, we discuss some properties of a singular integral operator.
Definition 3.1
Let \(\Omega\subset C^{n+1}\) be a bounded domain, \(\varphi\in L^{p}(\overline{\Omega},\mathrm{Cl}_{0,n}(C))\), \(z\in C^{n+1}\), then
is called T operator with B-M kernel.
Theorem 3.1
Let \(\Omega\subset C^{n+1}\) be a bounded domain, \(\varphi\in L^{p}(\overline{\Omega},\mathrm{Cl}_{0,n}(C))\), \(p>n+1\), then T is bounded on \(L^{p}(\Omega)\), and
Proof
Choose \(q>1\) such that \(\frac{1}{p}+\frac{1}{q}=1\), when \(p>2(n+1)\), we have \(1< q<\frac{2(n+1)}{2n+1}\), using Hölder’s inequality, we have
Because \(1< q<\frac{2(n+1)}{2n+1}\), we have \((2n+1)q<2(n+1)\). Using Lemma 2.2, for \(\forall z\in\Omega\), we have
So we have
Hence,
Let \(M_{1}=K_{4}K_{5} (\int_{\Omega}\,dV_{z} )^{\frac{1}{p}}\), we have
□
Theorem 3.2
Let \(z=z_{0}e_{0}+z_{1}e_{1}+z_{2}e_{2}+\cdots+z_{n}e_{n}\), \(\xi=\xi _{0}e_{0}+\xi_{1}e_{1}+\xi_{2}e_{2}+\cdots+\xi_{n}e_{n}\in\mathrm{Cl}_{0,n}(C)\), \(z\neq0\), \(\xi\neq0\), and \(|z|\neq|\xi|\), n (≥2), m (≥0) be integers, then for any i, \(0\leq i\leq n\), we have
where
Proof
Suppose \(|z|\leq|\xi|\) and insert the term \(z_{i}|z|^{m+2}\) in the following formula, then we have
When \(|\xi|\leq|z|\), insert \(\xi_{i}|\xi|^{m+2}\) in the above formula, we can prove the above inequality in a similar way. □
Remark 1
Because the original Hile lemma cannot be used directly in the complex Clifford analysis, we give the conclusion of Theorem 3.2 which is similar to the classical Hile lemma and plays an important role in proving the properties of T-operators and Cauchy operators. We insert the appropriate items according to the situation and prove that inequality (2) holds. Inequality (2) is similar to the Hile lemma of the classical real vector and is complete symmetry with respect to the variable ξ, z. It is a good tool to prove the Hölder continuity of the T operator with B-M kernel in the complex Clifford analysis.
Theorem 3.3
Let \(\Omega\subset C^{n+1}\) be a bounded domain, \(\varphi\in L^{p}(\Omega)\), \(p>2(n+1)\), then for any \(z_{1},z_{2}\in\Omega\), we have
and Tφ is Hölder continuous on Ω, where \(\alpha= 1-\frac{2(n+1)}{p}\).
Proof
Case 1. When \(|z_{1}-z_{2}|\geq1\), using Theorem 3.2 we have
Case 2. When \(|z_{1}-z_{2}|<1\), we have
Let
According to Theorem 3.2, we can get
For \(I_{1}\), we have
Using Hölder’s inequality we have
Because \(p>2n+2\), \(\frac{1}{p}+\frac{1}{q}=1\), we can get
So
\(0\leq k\leq2n\), we get
and
By Hadamard’s lemma, we have
So we have
As to \(I_{2}\), using Hölder’s inequality we have
Since \(p>2n+2\) and \(\frac{1}{p}+\frac{1}{q}=1\), we get
So
From Hadamard’s lemma, we get
So
Hence
Using Hölder’s inequality, we obtain
□
Remark 2
In Case 2 of this theorem, we use the inequality of Theorem 3.3, Hölder’s inequality, and Hadamard’s lemma. This result enriches the theoretical system of the complex Clifford analysis.
Theorem 3.4
Let \(\Omega\subset C^{n+1}\) be a bounded domain, \(\varphi\in L^{p}(\Omega)\), \(1< p<2n+2\), γ is an arbitrary constant which satisfies \(1<\gamma<\frac{(2n+2)p}{(2n+2)-p}\), then Tφ is γ-integrable on Ω, that is, \(T\varphi \in L^{\gamma}(\Omega)\), and the following inequality
is true.
Proof
For convenience, we introduce the notation b, suppose \(b=\frac {1}{\gamma}-\frac{1}{p}+\frac{1}{2n+2}\), then from\(1<\gamma<\frac{(2n+2)p}{(2n+2)-p}\) we know \(b>0\). Here are two cases to prove that Tφ is γ-integrable on Ω.
Case 1. When \(p<\gamma<\frac{(2n+2)p}{(2n+2)-p}\), \(0<\frac{p}{\gamma }<1\), thus \(0< p(\frac{1}{p}-\frac{1}{\gamma})=1-\frac{p}{\gamma}<1\), again
Choose \(q>0\) such that \(\frac{1}{p}+\frac{1}{q}=1\), then we have
Therefore,
Because \(1< p<\gamma\), \(\frac{1}{\gamma}+(\frac{1}{p}-\frac{1}{\gamma })+\frac{1}{q}=1\), using Hölder’s inequality we get
Because \(b>0\), we have
From Lemma 2.2 we can know that two integrals are meaningful, we assume that \(K_{11}= \sup_{\xi\in\Omega} \int_{\Omega}|\xi -z|^{(2n+2)(\frac{qb}{2}-1)}\,dV_{\xi}\).
Therefore we have
Let \(K_{12}= \sup_{\xi\in\Omega} \int_{\Omega}|\xi -z|^{(2n+2)(\frac{\gamma b}{2}-1)}\,dV_{z}\), so we have
where \(K_{13}= (\frac{2}{\omega_{2n+2}} )^{\gamma}K_{11}^{\frac {\gamma}{q}}K_{12}\).
Hence, we get
where \(K_{14}= K_{13}^{\gamma}\).
(2) When \(p\geq\gamma>1\), choose m such that \(0<\frac{(2n+2)\gamma }{(2n+2)+\gamma}<m<\gamma\), and m is an arbitrary positive constant satisfying \(m<\gamma<\frac {(2n+2)m}{(2n+2)+m}\). Because \(\varphi\in L^{p}(\Omega)\), \(m< p\), we have \(\varphi\in L^{m}(\Omega)\).
Choose \(\frac{1}{p}+\frac{1}{q}=\frac{1}{m}\). Therefore, from the proof process of (1) and Lemma 2.5, we get
Therefore Tφ is γ integrable on Ω. If we choose \(M_{3}=\max\{K_{14},K_{16}\}\), then
□
References
Brack, F., Delanghe, R., Sommen, F.: Clifford Analysis. Pitman, Boston (1982)
Eriksson, S.L., Leutwiler, H.: Hypermonogenic function. In: Clifford Algebras and Their Applications in Mathematical Physics, pp. 287–302. Birkhäuser, Boston (2000)
Eriksson, S.L.: Integral formulas for hypermonogenic functions. Bull. Belg. Math. Soc. Simon Stevin 11, 705–718 (2004)
Eriksson, S.L., Leutwiler, H.: An improved Cauchy formula for hypermonogenic functions. Adv. Appl. Clifford Algebras 19, 269–282 (2009)
Eriksson, S.L., Leutwiler, H.: Hypermonogenic functions and their Cauchy-type theorems. In: Advances in Analysis and Geometry, pp. 97–112 (2004)
Huang, S., Qiao, Y.Y., Wen, G.C.: Real and Complex Clifford Analysis. Springer, New York (2006)
Qiao, Y.Y., Ryan, J.: Orthogonal projections on hyperbolic space. In: Harmonic Analysis, Signal Processing, and Complexity. Progress in Mathematics, vol. 238, pp. 111–120. Birkhaäuser, Boston (2005)
Qiao, Y.Y., Bernstein, S., Eriksson, S.L.: Function theory for Laplace and Dirac–Hodge operators on hyperbolic space. J. Anal. Math. 98, 43–63 (2006)
Li, Z.F., Yang, H.J., Qiao, Y.Y., Guo, B.C.: Some properties of T-operator with bihypermonogenic kernel in Clifford analysis. Complex Var. Elliptic Equ. 62, 938–956 (2017)
Xie, Y.H., Zhang, X.F., Tang, X.M.: Some properties of k-hypergenic functions in Clifford analysis. Complex Var. Elliptic Equ. 61, 1614–1626 (2016)
Xie, Y.H.: Boundary properties of hypergenic-Cauchy type integrals in Clifford analysis. Complex Var. Elliptic Equ. 59, 599–615 (2014)
Xie, Y.H., Yang, H.J., Qiao, Y.Y.: Complex k-hypermonogenic functions in complex Clifford analysis. Complex Var. Elliptic Equ. 58, 1467–1479 (2013)
Yang, H.J., Zhao, X.H.: The fixed point and Mann iterative of a kind of higher order singular Teodorescu operator. Complex Var. Elliptic Equ. 60, 1658–1667 (2015)
Yang, H.J., Qiao, Y.Y., Xie, Y.H., Wang, L.P.: Cauchy integral formula for k-monogenic function with α-weight applied Clifford algebra. Adv. Appl. Clifford Algebras 28, 1–14 (2018)
Yang, H.J., Qiao, Y.Y., Huang, S.: Some properties of Cauchy-type singular integrals in Clifford analysis. J. Math. Res. Appl. 32, 189–200 (2012)
Ryan, J.: Complexied Clifford analysis. Complex Var. Theory Appl. 1, 119–149 (1982)
Ryan, J.: Singularities and Laurent expansions in complex Clifford analysis. Appl. Anal. 16, 33–49 (1983)
Ryan, J.: Iterated Dirac operators in \(C^{n}\). Z. Anal. Anwend. 9, 385–401 (1990)
Ryan, J.: Intrinsic Dirac operators in \(C^{n}\). Adv. Math. 118, 93–133 (1996)
Ku, M., Du, J.Y., Wang, D.S.: Some properties of holomorphic Cliffordian functions in complex Clifford analysis. Acta Math. Sci. 30, 747–768 (2010)
Ku, M., Du, J.Y., Wang, D.S.: On generalization of Martinelli–Bochner integral formula using Clifford analysis. Adv. Appl. Clifford Algebras 20, 351–366 (2010)
Gilbert, R.P., Buchanan, J.L.: First Order Elliptic Systems, a Function Theoretic Approach. Academic Press, New York (1983)
Vekua, I.N.: Generalized Analytic Functions. Pergamon, Oxford (1962)
Funding
This work was supported by the National Science Foundation of China (Nos. 11571089 and 11871191 ), the Natural Science Foundation of Hebei Province (No. A2016205218, No. CXZZBS2017085, No. A2015205012), and the Key Foundation of Hebei Normal University (No. L2018Z01).
Author information
Authors and Affiliations
Contributions
ZFL has presented the main purpose of the article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, Z., Qiao, Y. & Cao, N. Some properties of a T operator with B-M kernel in the complex Clifford analysis. J Inequal Appl 2018, 226 (2018). https://doi.org/10.1186/s13660-018-1816-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1816-6