We study the generalized growth of special monogenic functions. The characterizations of generalized order, generalized lower order, generalized type, and generalized lower type of special monogenic functions have been obtained in terms of their Taylor’s series coefficients.
1. Introduction
Clifford analysis offers the possibility of generalizing complex function theory to higher dimensions. It considers Clifford algebra valued functions that are defined in open subsets of ℝn for arbitrary finite n∈ℕ and that are solutions of higher-dimensional Cauchy-Riemann systems. These are often called Clifford holomorphic or monogenic functions.
In order to make calculations more concise, we use the following notations, where m=(m1,…,mn)∈ℕ0n is n-dimensional multi-index and x∈ℝn:
(1)xm=x1m1,…,xnmn,m!=m1!,…,mn!,|m|=m1+⋯+mn.
Following Almeida and Kraußhar [1] and Constales et al. [2, 3], we give some definitions and associated properties.
By {e1,e2,…,en} we denote the canonical basis of the Euclidean vector space ℝn. The associated real Clifford algebra Cl0n is the free algebra generated by ℝn modulo x2=-||x||2e0, where e0 is the neutral element with respect to multiplication of the Clifford algebra Cl0n. In the Clifford algebra Cl0n, the following multiplication rule holds:
(2)eiej+ejei=-2δije0,i,j=1,2,…,n,
where δij is Kronecker symbol. A basis for Clifford algebra Cl0n is given by the set {eA:A⊆{1,2,…,n}} with eA=el1el2…elr, where 1≤l1<l2<⋯<lr≤n, eϕ=e0=1. Each a∈Cl0n can be written in the form a=∑AaAeA with aA∈ℝ. The conjugation in Clifford algebra Cl0n is defined by a-=∑AaAe-A, where eA¯=e-lre-lr-1,…,e-l1 and e-j=-ej for j=1,2,…n, e-0=e0=1. The linear subspace spanR{1,e1,…,en}=ℝ⊕ℝn⊂Cl0n is the so-called space of paravectors z=x0+x1e1+x2e2+⋯+xnen which we simply identify with ℝn+1. Here, x0=Sc(z) is scalar part and x=x1e1+x2e2+⋯+xnen=Vec(z) is vector part of paravector z. The Clifford norm of an arbitrary a=∑AaAeA is given by
(3)∥a∥=(∑A|aA|2)1/2.
Also, for b∈Cl0n, we have ∥ab∥≤2n/2∥a∥∥b∥. Each paravector z∈ℝn+1∖{0} has an inverse element in ℝn+1 which can be represented in the form z-1=z¯/||z||2. In order to make calculations more concise, we use the following notation:
(4)iiiiiikm=(n+|m|-1|m|)=(n)mm!,(n)m=n(n+1),…,(n+|m|-1).
The generalized Cauchy-Riemann operator in ℝn+1 is given by
(5)D≡∂∂x0+∑i=1nei∂∂xi.
If U⊆ℝn+1 is an open set, then a function g:U→Cl0n is called left (right) monogenic at a point z∈U if Dg(z)=0 (gD(z)=0). The functions which are left (right) monogenic in the whole space are called left (right) entire monogenic functions.
Following Abul-Ez and Constales [4], we consider the class of monogenic polynomials pm of degree |m|, defined as
(6)pm(z)=∑i+j=|m|∞((n-1)/2)ii!((n+1)/2)jj!(z¯)izj.
Let wn be n-dimensional surface area of n+1-dimensional unit ball and let Sn be n-dimensional sphere. Then, the class of monogenic polynomials described in (6) satisfies (see [5], pp. 1259)
(7)1wm∫Snpm(z)¯pl(z)dSz=kmδ|m||l|.
Also following Abul-Ez and De Almeida [5], we have
(8)max∥z∥=r∥pm(z)∥=kmrm.
2. Preliminaries
Now following Abul-Ez and De Almeida [5], we give some definitions which will be used in the next section.
Definition 1.
Let Ω be a connected open subset of ℝn+1 containing the origin and let g(z) be monogenic in Ω. Then, g(z) is called special monogenic in Ω, if and only if its Taylor’s series near zero has the form (see [5], pp. 1259)
(9)g(z)=∑|m|=0∞pm(z)cm,cm∈Cl0n.
Definition 2.
Let g(z)=∑|m|=0∞pm(z)cm be a special monogenic function defined on a neighborhood of the closed ball B(0,r). Then,
(10)∥cm∥≤1kmM(r,g)r-m,
where M(r,g)=max∥z∥=r∥g(z)∥ is the maximum modulus of g(z) (see [5], pp. 1260).
Definition 3.
Let g:ℝn+1→Cl0n be a special monogenic function whose Taylor’s series representation is given by (9). Then, for r>0 the maximum term of this special monogenic function is given by (see [5], pp. 1260)
(11)μ(r)=μ(r,g)=max|m|≥0{∥am∥kmrm}.
Also the index m with maximal length |m| for which maximum term is achieved is called the central index and is denoted by (see [5], pp. 1260)
(12)ν(r)=ν(r,f)=m.
Definition 4.
Let g:ℝn+1→Cl0n be a special monogenic function whose Taylor’s series representation is given by (9). Then, the order ρ and lower order λ of g(z) are defined as (see [5], pp. 1263)
(13)ρλ=limr→∞supinfloglogM(r,g)logr.
Definition 5.
Let g:ℝn+1→Cl0n be a special monogenic function whose Taylor’s series representation is given by (9). Then, the type σ and lower type ω of special monogenic function g(z) having nonzero finite generalized order are defined as (see [5], pp. 1270)
(14)σω=limr→∞supinflogM(r,g)rρ.
For generalization of the classical characterizations of growth of entire functions, Seremeta [6] introduced the concept of the generalized order and generalized type with the help of general growth functions as follows.
Let L0 denote the class of functions h(x) satisfying the following conditions:
h(x) is defined on [a,∞) and is positive, strictly increasing, and differentiable, and it tends to ∞ as x→∞,
limx→∞(h[{1+1/ψ(x)}x]/h(x))=1,
for every function ψ(x) such that ψ(x)→∞ as x→∞.
Let Λ denote the class of functions h(x) satisfying conditions (i) and
limx→∞(h(cx)/h(x))=1,
for every c>0; that is, h(x) is slowly increasing.
Following Srivastava and Kumar [7] and Kumar and Bala ([8–10]), here we give definitions of generalized order, generalized lower order, generalized type, and generalized lower type of special monogenic functions. For special monogenic function g(z) and functions α(x)∈Λ,β(x)∈L0, we define the generalized order ρ(α,β,g) and generalized lower order λ(α,β,g) of g(z) as
(15)ρ(α,β,g)λ(α,β,g)=limr→∞supinfα[logM(r,g)]β(logr).
If in above equation we put α(r)=logr and β(r)=r, then we get definitions of order and lower order as defined by Abul-Ez and De Almeida (see [5], pp. 1263). Hence, their definitions of order and lower order are special cases of our definitions.
Further, for α(x),β-1(x),γ(x)∈L0, we define the generalized type σ(α,β,ρ,g) and generalized lower type of special monogenic function g(z) having nonzero finite generalized order as
(16)σ(α,β,ρ,g)ω(α,β,ρ,g)=limr→∞supinfα[logM(r,g)]β[{γ(r)}ρ].
If in above equation we put α(r)=r, β(r)=r, and γ(r)=r, then we get definitions of type and lower type as defined by Abul-Ez and De Almeida (see [5], pp. 1270). Hence, their definitions of type and lower type are special cases of our definitions.
Abul-Ez and De Almeida [5] have obtained the characterizations of order, lower order, type, and lower type of special monogenic functions in terms of their Taylor’s series coefficients. In the present paper we have obtained the characterizations of generalized order, generalized lower order, generalized type and generalized lower type of special monogenic functions in terms of their Taylor’s series coefficients. The results obtained by Abul-Ez and De Almeida [5] are special cases of our results.
3. Main Results
We now prove the following.
Theorem 6.
Let g:ℝn+1→Cl0n be a special monogenic function whose Taylor’s series representation is given by (9). If α(x)∈Λ and β(x)∈L0, then the generalized order ρ of g(z) is given as
(17)ρ=ρ(α,β,g)=lim|m|→∞supα(|m|)β{log∥cm∥-1/|m|}.
Proof.
Write
(18)θ=lim|m|→∞supα(|m|)β{log∥cm∥-1/|m|}.
Now, first we prove that ρ≥θ. The coefficients of a monogenic Taylor’s series satisfy Cauchy’s inequality; that is,
(19)∥cm∥≤1kmM(r,g)r-|m|.
Also from (15), for arbitrary ε>0 and all r>r0(ε), we have
(20)M(r,g)≤exp[α-1{ρ¯β(logr)}],ρ¯=ρ+ε.
Now, from inequality (19), we get
(21)∥cm∥≤1kmr-|m|exp[α-1{ρ¯β(logr)}].
Since (1/km)≤1, (see [11], pp. 148) so the above inequality reduces to
(22)∥cm∥≤r-|m|exp[α-1{ρ¯β(logr)}].
Putting r=exp[β-1{α(|m|)/ρ¯}] in the above inequality, we get, for all large values of |m|,
(23)∥cm∥≤exp[|m|-|m|β-1{α(|m|)ρ¯}]
or
(24)β-1{α(|m|)/ρ¯}≤1-1|m|{log∥cm∥}
or
(25)α(|m|)β{1+log∥cm∥-1/|m|}≤ρ¯
or
(26)α(|m|)β{log∥cm∥-1/|m|}≤ρ¯β{1+log∥cm∥-1/|m|}β{log∥cm∥-1/|m|}.
Since β(x)∈L0, β(1+x)≃β(x). Hence, proceeding to limits as |m|→∞, we get
(27)θ=lim|m|→∞supα(|m|)β{log∥cm∥-1/|m|}≤ρ¯.
Since ε>0 is arbitrarily small, so finally we get
(28)θ≤ρ.
Now, we will prove that θ≥ρ. If θ=∞, then there is nothing to prove. So let us assume that 0≤θ<∞. Therefore, for a given ε>0 there exists n0∈ℕ such that, for all multi-indices m with |m|>n0, we have
(29)0≤α(|m|)β{log∥cm∥-1/|m|}<θ+ε=θ¯
or
(30)∥cm∥≤exp[-|m|β-1{α(|m|)θ¯}].
Now, from the property of maximum modulus (see [11], pp. 148), we have
(31)M(r,g)≤∑|m|=0∞∥cm∥kmr|m|
or
(32)M(r,g)≤∑|m|=0∞kmr|m|exp[-|m|β-1{α(|m|)θ¯}].
On the lines of the proof of the theorem given by Srivastava and Kumar (see [7], Theorem 2.1, pp. 666), we get
(33)ρ≤θ.
Combining this with inequality (28), we get (17). Hence, Theorem 6 is proved.
Next, we prove the following.
Theorem 7.
Let g:ℝn+1→Cl0n be a special monogenic function whose Taylor’s series representation is given by (9). Also let α(x),β(x),γ(x)∈L0 and 0<ρ<∞; then the generalized type σ of g(z) is given as
(34)σ=σ(α,β,ρ,g)=lim|m|→∞supα(|m|/ρ)β[{γ(e1/ρ∥cm∥-1/|m|)}ρ].
Proof.
Write
(35)η=lim|m|→∞supα(|m|/ρ)β[{γ(e1/ρ∥cm∥-1/|m|)}ρ].
Now, first we prove that σ≥η. From (16), for arbitrary ε>0 and all r>r0(ε), we have
(36)M(r,g)≤exp[α-1{σ¯β[{γ(r)}ρ]}],
where σ¯=σ+ε. Now, using (19), we get
(37)∥cm∥≤1kmr-|m|exp[α-1{σ¯β[{γ(r)}ρ]}].
Now, as in the proof of Theorem 6, here this inequality reduces to
(38)∥cm∥≤r-|m|exp[α-1{σ¯β[{γ(r)}ρ]}].
Putting r=γ-1([β-1{(1/σ¯)α(|m|/ρ)}]1/ρ), we get
(39)∥cm∥≤{γ-1([β-1{1σ¯α(|m|ρ)}]1/ρ)}-|m|×exp(|m|ρ)
or
(40)∥cm∥-1/|m|≥{γ-1([β-1{1σ¯α(|m|ρ)}]1/ρ)}exp(-1ρ)
or
(41)α(|m|/ρ)β[{γ(e1/ρ∥cm∥-1/|m|)}ρ]≤σ¯.
Now, proceeding to limits as |m|→∞, we get
(42)η≤σ¯.
Since ε>0 is arbitrarily small, so finally we get
(43)η≤σ.
Now, we will prove that η≥σ. If η=∞, then there is nothing to prove. So let us assume that 0≤η<∞. Therefore, for a given ε>0 there exists n0∈ℕ such that, for all multi-indices m with |m|>n0, we have
(44)0≤α(|m|/ρ)β[{γ(e1/ρ∥cm∥-1/|m|)}ρ]≤η+ε=η¯
or
(45)∥cm∥≤(γ-1{[β-1{1η¯α(|m|ρ)}]1/ρ})-|m|e|m|/ρ.
Now, from the property of maximum modulus (see [11], pp. 148), we have
(46)M(r,g)≤∑|m|=0∞∥cm∥kmr|m|
or
(47)M(r,g)≤∑|m|=0∞kmr|m|ghh×(γ-1{[β-1{1η¯α(|m|ρ)}]1/ρ})-|m|e|m|/ρ.
On the lines of the proof of the theorem given by Srivastava and Kumar (see [7], Theorem 2.2, pp. 670), we get
(48)σ≤η.
Combining this with (43), we get (34). Hence, Theorem 7 is proved.
Next, we have the following.
Theorem 8.
Let g:ℝn+1→Cl0n be a special monogenic function whose Taylor’s series representation is given by (9). If α(x)∈Λ and β(x)∈L0then the generalized lower order λ of g(z) satisfies
(49)λ=λ(α,β,g)≥lim|m|→∞infα(|m|)β{log∥cm∥-1/|m|}.
Further, if
(50)ψ(t)=max|m|=t{∥cm∥km∥cm′∥km′,|m′|=|m|+1}
is a nondecreasing function of t, then equality holds in (49).
Proof.
The proof of the above theorem follows on the lines of the proof of Theorem 6 and [7] Theorem 2.4 (pp. 674). Hence, we omit the proof.
Next, we have the following.
Theorem 9.
Let g:ℝn+1→Cl0n be a special monogenic function whose Taylor’s series representation is given by (9). Also let (x),β(x),γ(x)∈L0 and 0<ρ<∞; then the generalized lower type ω of g(z) satisfies
(51)ω=ω(α,β,ρ,g)≥lim|m|→∞infα(|m|/ρ)β[{γ(e1/ρ∥cm∥-1/|m|)}ρ].
Further, if
(52)ψ(t)=max|m|=t{∥cm∥km∥cm′∥km′,|m′|=|m|+1}
is a nondecreasing function of t, then equality holds in (51).
Proof.
The proof of the above theorem follows on the lines of the proof of Theorem 7 and [7] Theorem 2.4 (pp. 674). Hence, we omit the proof.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The author is very thankful to the referee for the valuable comments and observations which helped in improving the paper.
de AlmeidaR.KraußharR. S.On the asymptotic growth of entire monogenic functions200524479181310.4171/ZAA/1268MR2200112ConstalesD.de AlmeidaR.KraussharR. S.On the growth type of entire monogenic functions200788215316310.1007/s00013-006-1790-yMR2299038ZBL1109.30040ConstalesD.de AlmeidaR.KraussharR. S.On the relation between the growth and the Taylor coefficients of entire solutions to the higher-dimensional Cauchy-Riemann system in ℝn+12007327276377510.1016/j.jmaa.2006.04.055MR2279963ZBL1108.30041Abul-EzM. A.ConstalesD.Basic sets of polynomials in Clifford analysis1990141–4177185MR104871710.1080/17476939008814416ZBL0663.41009Abul-EzM. A.De AlmeidaR.On the lower order and type of entire axially monogenic functions2013633-41257127510.1007/s00025-012-0267-5MR3057368ZBL1270.30017SeremetaM. N.On the connection between the growth of the maximum modulus of an entire function and the moduli of the coefficients of its power series expansion1970882291301SrivastavaG. S.KumarS.On the generalized order and generalized type of entire monogenic functions2013464663677KumarS.BalaK.Generalized type of entire monogenic functions of slow growth20113295102MR2879382ZBL1273.30044KumarS.BalaK.Generalized order of entire monogenic functions of slow growth201256418425MR2968482KumarS.BalaK.Generalized growth of monogenic Taylor series of finite convergence radius201359112714010.1007/s11565-012-0161-9MR3046820Abul-EzM. A.ConstalesD.Linear substitution for basic sets of polynomials in Clifford analysis1991482143154MR1127117ZBL0737.30029