On the convergence properties of basic series representing Clifford valued functions

PII. S0161171203201083 http://ijmms.hindawi.com © Hindawi Publishing Corp.

ON THE CONVERGENCE PROPERTIES OF BASIC SERIES

REPRESENTING CLIFFORD VALUED FUNCTIONS

M. A. ABUL-EZ and D. CONSTALES

Received 21 January 2002

It is shown that certain classes of special monogenic functions cannot be repre-sented by the basic series in the whole space. New definitions for the order of basis of special monogenic polynomials are given, together with theorems on the representation of classes of special monogenic functions in certain balls and at a point.

2000 Mathematics Subject Classification: 30G35, 41A10.

1. Introduction. The regular functions considered in the present paper have values in a Clifford algebra and are nullsolutions of a linear differential oper-ator which linearizes the Laplacian (see [4,5,6,7]).

First, recall the definition of the real 2m-dimensional Clifford algebraᏭmas the real algebra freely generated by the standard basise0,e1,...,em inRm+1

subject to the conditionse0=1 andejek+ekej= −2δjk, for 1≤jandk≤m

(we refer to [4,5] for the basic facts on Ꮽm). Note that, for example, Ꮽ0 is the field of real numbers,Ꮽ1is the field of complex numbers, andᏭ2=His the quaternionic skew field, respectively. We canonically embedRm+1_inᏭm.

Forx∈Ꮽm, Rex, the real part ofx, will stand for thee0-component ofxand

Imx:=x−(Rex)e0. We also equipᏭmwith the Euclidean norm|x|2:=Re(xx)¯ ,

where the conjugation ¯·is the unique linear morphism ofᏭmfor which ¯e0=e0,

¯

ej= −ejfor 1≤j≤m, andxy=y¯x¯for allx,y∈Ꮽm. AsᏭmis isomorphic

toR2m_{, we may provide it with theR}2m_{-norm|a|, and we easily see that, for}

anya,b∈Ꮽm,|a·b| ≤2m/2|a| · |b|, wherea=A⊆MaAeAandMstands for

{1,2,...,m}.

Suggested by the casem=1, call anᏭm-valued functionfinRm+1_Clifford

analytic (monogenic) provided that it is annihilated by the generalized Cauchy-Riemann operatorD:=mj=0ej(∂/∂xj), that is,Df=0.

The rightᏭm-moduleᏭm[x], defined by

Ꮽm[x]=span_Ꮽmzn(x):n∈N, (1.1)

(see [2])

zn(x)=

i+j=n

(m−1)/2_i(m+1)/2_j i!j! x

i_xj_{, (1.2)}

where, forb∈R,(b)lstands forb(b+1)···(b+l−1), ¯xis the conjugate of

x,x∈Rm+1_{, andR}m+1_{is identified with a subset ofᏭm.}

IfPn(x)is homogeneous special monogenic polynomial of degreeninx,

then (see [2])

Pn(x)=zn(x)α, (1.3)

αis some constant inᏭm, and

sup |x|=R

_zn(x)=Cm+n−1

n Rn=(m)_n!nRn, (1.4)

where(m)n/n!=(m+n−1)!/n!(m−1)!.

2. Definitions. LetΩbe a connected open subset ofRm+1_{containing 0, then}

a monogenic functionfinΩis said to bespecial monogenicinΩif and only if its Taylor series near zero (which is known to exist) has the form

f (x)=

∞

n=0

zn(x)cn, cn∈Ꮽm. (2.1)

A functionfis said to be special monogenic on ¯B(r )if it is special monogenic on some connected open neighborhoodΩf of ¯B(r ). The set of all functions

which are special monogenic on ¯B(r )is denoted by SM(r ). Clearly,SM(r ) is a submodule of the rightᏭm-moduleM(_{B(r ))}¯ of the functions which are monogenic in a neighborhood of ¯B(r ).

The fundamental reference for special monogenic functions are [6,7]. A setβ= {Pk(x):k∈N}of special monogenic polynomials is calledbasicif

and only if it is a base for the spaceᏭ_m[x]of special monogenic polynomials, that is,

(i) everyzn(x)can be expressed as a rightᏭm-linear combination of

ele-ments fromβ. Then we have

zn(x)=

∞

k=0

Pk(x)πnk, πnk∈Ꮽm; (2.2)

where only a finite number of terms differ from zero andPk(x)is given

byPk(x)=kj=0zj(x)Pkj,Pkj∈Ꮽm;

(ii) letq∈Nand leta0,a1,...,aq∈Ꮽmbe such thatq0Pk(x)ak=0. Then,

ON THE CONVERGENCE PROPERTIES OF BASIC SERIES... 719

LetNn denote the number of nonzeroπnkin (2.2). If lim supn→∞Nn1/n=1,

the basic setβis called aCannon basic set, and if this condition is not satisfied, the basic set will be calledgeneral.

Letf (x)∈SM(r )be given as above, then there is formally an associated basic series given by (see [2])

∞

k=0

Pk(x)  ∞

n=0

πnkck 

_. (2.3)

When this associated basic series (2.3) converges normally to f (x)in some domain, it is said to representf (x)in that domain. Thus, if (2.3) converges normally tof (x)in ¯B(R), then it is said that the basic series representsf (x) in ¯B(R).

Writing

ωn(R)=

i

sup |x|=R

_Pi(x)πni, (2.4)

Whittaker [8] introduced the idea of the order and type of a Cannon set in complex setting. These order and type of a Cannon basic set have been adapted to the Clifford case and introduced in [2] as follows.

The order is

ω=lim

R→∞lim supn→∞

logωn(R)

nlogn . (2.5)

If 0< ω <∞, the type is

γ=lim

R→∞ e

ωlim supn→∞

ωn(R)1/nω

n . (2.6)

As in the case of entire special monogenic functions [1,3], a basic set will be of increase less than orderp, typeq, if its orderωand typeγsatisfy one of the conditions (i)ω < pand (ii)ω=p,γ < q. The orderρand typeσ of the entire special monogenic functionf (x)=∞n=0zn(x)cnis given in [2] by

ρ= lim sup

n→∞, cn≠0, cn≠1

nlogn

log 1/cn=lim supr→∞

log log sup_|x|=rf (x)

logr . (2.7)

If 0< ρ <∞, then

σ= 1

eρlim supn→∞ n

_cnρ/n_{=lim sup} r→∞

log sup_|x|=rf (x)

rρ . (2.8)

Lemma_2.1. _{If the special monogenic function}f (x)=∞

n=0zn(x)cnis such

that∞_n=0|cn|ωn(R)converges, then the basic series (2.3) converges normally

tof (x)in_B(R)¯ , or the basic series (2.3) representsfin_B(R)¯ .

Lemma2.2. If{P_n(x)}is a Cannon set of orderω, typeγ, then the associated

basic series will represent all entire special monogenic functions of increase less than order1/ωand type1/γin the whole spaceRm+1_.

Lemma_2.3. _If {P_n(x)}_{is a Cannon set, then the necessary and sufficient}

condition for the basic series to represent all entire special monogenic functions of increase less than orderp, typeq, is that

lim sup

n→∞

_epq

n

1/p

ωn(R)1/n≤1 (2.9)

for allR≥0.

We need the following lemma in the sequel.

Lemma2.4. IfR≥r >0andD_nis the degree of the polynomial of the highest

degree in expression (2.2), then

ωn(R)≤2mNnDn+1

(m) Dn

Dn! _R

r

Dn

ωn(r ). (2.10)

Proof. From the expression (2.4), we get

λn(R)=

∞

k=0

sup |x|=R

_Pk(x)πnk

≤2m/2 ∞

k=0

sup |x|=R

_Pk(x)πnk

≤2m/2 ∞

k=0

2m/2

Dn

j=0

sup |x|=R

_{zj(x)Pkjπnk.}

(2.11)

Relying on Cauchy’s inequality (cf. [3]) for the special monogenic polynomial inPk(x), we have

_Pkj≤ k! (m)k

sup_|x|=rPk(x)

rj

=

k! (m)k

Mk(r )

ON THE CONVERGENCE PROPERTIES OF BASIC SERIES... 721

Using this inequality and the supremum ofzj(x), we get

ωn(R)≤2m

∞

k=0 Dn

j=0

(m)j

j! Rj

k! (m)k

Mk(r )

rj πnk

≤2mDn+1(m)_DDn n!

_R

r

Dn∞

k=0

k!

(m)kMk(r ) _πnk

≤2mDn+1(m)_DDn n!

_R

r

Dn

Nnmax∞ k=0

k!

(m)kMk(r ) _πnk

=2mDn+1(m)_DDn n!

_R r Dn Nn Dn!

(m)DnMDn(r ) _πnDn

≤2mNnDn+1

(m) Dn

Dn! _R

r

Dn

ωn(r ).

(2.13)

Then the lemma follows.

3. Aim of the work. The purpose of this note is to study the convergence properties of a basic series representing entire special monogenic functions, not necessary in the whole ofRm+1_{. It will be convenient now to use the}

fol-lowing new definitions. If 0< ρ <∞, then

(A) a Cannon series is said to have propertyTρ in a closed ball ¯B(R) if it

represents all entire special monogenic functions of order less thanρ in ¯B(R).

(B) a Cannon series is said to have property Tρ in an open ballB(R) if it

represents all entire special monogenic functions of order less thanρ inB(R).

(C) a Cannon series is said to have property Tρ at the origin (i.e., when

R→0) if it represents every entire special monogenic function of order less thanρin some ball surrounding the origin, the size of the ball being dependent onf (x).

There are, as we might expect, cases in whichωn(R)either

(i) tends to infinity asRtends to infinity, or

(ii) is infinite for all values ofRgreater than a certain constant, which may be zero.

In such cases, the above results (Lemmas2.1,2.2,2.3, and2.4) will no more hold and representation in the whole space ofRm+1_{can never occur. Thus, new}

Let

Ω(r )=lim sup

n→∞

logωn(r )

nlogn . (3.1)

SinceΩ(r )is an increasing function ofr, then

lim

r→R−0Ω(r )=Ω

R−_{, (3.2)}

lim

r→R+0Ω(r )=Ω

R+ _(3.3)

exist,Ω(R−_{)forR >0 andΩ(R}+_)forR≥0.

We define the order of a Cannon set on ¯B(R)as equal toΩ(R)and the order inB(R)as equal toΩ(R−_{). IfR=0 in (3.3), thenΩ(0}+_{)is said to be the order} of a Cannon set at the origin.

Note thatΩ(R−_{),Ω(R), andΩ(R}+_{)can all be different asExample 3.1} illus-trates.

Example3.1. Choosea₂> a₁and let

P0(x)=1,

Pn(x)=zn(x) (neven),

Pn(x)=na1n+zn(x)+na2n·z2n2(x) (nodd).

(3.4)

Then,Ω(r )=a1forr <1,Ω(r )=a2forr=1, andΩ(r )= ∞forr >1; that

is,Ω(1−)=a1,Ω(1)=a2, andΩ(1+)= ∞, and they are all different.

There is naturally a definite correspondence between Whittaker’s order and the ordersΩ(0+),Ω(R−_{), andΩ(R}+_).

The functionDn inLemma 2.4is an accurate guide to such a

correspon-dence.

4. Results of the work. Our first theorem can be stated as follows.

Theorem4.1. Let{P_n(x)}be a Cannon set for which

Dn=o(nlogn). (4.1)

Then, Whittaker’s order, the order at the origin, the order in a ball, and the order on a ball are all equal.

Notice that a basic set satisfying (4.1) is also a Cannon set andExample 4.2

ON THE CONVERGENCE PROPERTIES OF BASIC SERIES... 723

Example_4.2. _{Choose a sequence}µ₁,µ₂,...,µ_n,..._{of prime numbers and let}

P0(x)=1,

Pn(x)=1+zn(x)+zµn(x), nis not a prime number, (4.2)

Pn(x)=zn(x), nis a prime number.

It is well known that ifhn is thenth prime number, thenhn/nlogn→1 as

n→ ∞.

Therefore,Ω(R)=logRforR >1 so that, if 1< R1< R2, thenΩ(R2) >Ω(R1).

Hence,Theorem 4.1is false if (4.1) is not satisfied.

Having now definedTρ of a basic series, the order of a Cannon set at the

origin, in and on a ball, we can state the theorems concerning the convergence properties of a Cannon series.

Theorem4.3. If{P_n(x)}is a Cannon set, then the necessary and sufficient

condition for the associated basic series to have (a) propertyTρinB(R)¯ isΩ(R)≤1/ρ,

(b) propertyTρinB(R)isΩ(R−)≤1/ρ,

(c) propertyTρat the origin isΩ(0+)≤1/ρ.

Also,Theorem 4.1leads to the following interesting result.

Theorem4.4. Let{P_n(x)}be a Cannon set satisfying (4.1). If the basic series

has propertyTρat the origin, inB(r )or inB(r )¯ , then it will have propertyTρ

in the whole ofRm+1_{, that is, the basic series will represent all entire special}

monogenic functions of order less thanρin the whole ofRm+1_.

Proof ofTheorem4.1. FromLemma 2.4, we have

ωn(R)≤2mNnDn+1 Dn!

(m)Dn _R

r

Dn

ωn(r ), ∀R≥r >0. (4.3)

Since (4.1) is satisfied, it follows that

Ω(R)≤Ω(r ), ∀R≥r >0. (4.4)

Also, sinceωn(r )is an increasing function, then

ωn(R)≥ωn(r ), ∀R≥r >0. (4.5)

It follows that

Combining (4.4) and (4.6), we get

Ω(R)=Ω(r ), ∀R≥r >0. (4.7)

Hence, the only possibilities are

(i) Ω(r )is a finite constant≥0 for allr >0, (ii) Ω(r )is infinite for allr >0.

So, it is evident in both cases that Whittaker’s order, the order at the origin, the order in a ball, and the order on a ball are all equal.Theorem 4.1follows.

To prove Theorems4.3and4.4, we need the following two lemmas.

Lemma_4.5. _{A cannon set of}

(i) orderΩ(R)on_B(R)¯ has propertyT1/Ω(R)in the closed ballB(R)¯ ,

(ii) orderΩ(R−_{)in the open ballB(R)has propertyT1/Ω(R−)in the open ball} B(R),

(iii) orderΩ(0+)at the origin has propertyT1/Ω(0+)at the origin.

Lemma4.6. Letbe a Cannon series for whichΩ(R+) >1/λfor someλ >0,

R ≥0. If ρ is such that1/λ <1/ρ ≤Ω(R+_{), then there is an entire special} monogenic function of orderρ < λ, which does not represent in any ball enclosing_B(R)¯ .

Proof ofLemma4.5. (i) Letρ=Ω(R)=lim sup_n→∞(logω_n(R)/nlogn),

and chooseρ1> ρ, so that ωn(R) < nnρ1 _{for all} n > n_{1. An entire special} monogenic functionf =∞n=0zn(x)cn of order 1/λ >1/ρ, (0< λ <∞); its

Taylor coefficient will satisfy the inequality|cn|<1/nnλ. Thus,|cn|ωn(R) <

1/nn(λ−ρ1)_{. Now,} ρ_{1 can be chosen very near to}ρ_{, so that} ∞

n=0|cn|ωn(R)

converges. Appealing toLemma 2.2, the basic series represents every entire special monogenic function of order 1/ρin ¯B(R).

(ii) Suppose thatρ=Ω(R−_)=lim

r→R−0lim sup_n→∞(logωn(r )/nlogn). Thus, Ω(r )≤ρfor all 0< r < R. Ifρ2> ρ, then we haveωn(r ) < nnρ2_{for all}n > n₂ and all 0< r < R.

Again,f (x)of order 1/µ <1/ρ (0< µ <∞)is such that its Taylor coefficient cnwill satisfy the inequality|cn|<1/nnµ. Therefore,|cn|ωn(R) <1/nn(µ−ρ2) and ρ2 can be chosen very near toρ, so that ∞_n=0|cn|ωn(r )converges for

allr < R. It follows that∞_n=0|cn|ωn(r )converges for all r < R. It follows

fromLemma 2.2that the basic series represents every entire special mono-genic function of order<1/ρinB(R).

(iii) Letf (x)be an entire special monogenic function of orderν <1/Ω(0+), (0< ν <∞). SinceΩ(0+) <1/ν, it follows that we can chooser >0 such that

ON THE CONVERGENCE PROPERTIES OF BASIC SERIES... 725

represented in some ball surrounding the origin. Thus, the proof ofLemma 4.5

is completed.

Proof ofLemma4.6. A method very similar to that of Whittaker [9] can

be used. The reader will not find it difficult to justify the truth of the lemma if they use the ideas of Whittaker in his paper [9].

Corollary _4.7. _{Let be a Cannon series and let}Ω(R) >₁/λ _{for some}

λ >0, R >0. Ifρis such that1/λ <1/ρ≤Ω(R), then there exists an entire special monogenic function of orderρ < λnot represented byin_B(R)¯ . The proof follows immediately fromLemma 4.6.

Proof ofTheorem_4.3. _{(a) The condition is sufficient for, if}ρ≤₁/Ω(R)_,

then, byLemma 4.5(i), the basic series will have propertyTρin ¯B(R).

The condition is necessary for, if Ω(R) >1/ρ, then we can find ρ1 such

that 1/ρ <1/ρ1≤Ω(R). Hence, byCorollary 4.7, there is an entire special

monogenic function of orderρ1< ρwhich is not represented by Cannon series

in ¯B(R).

(b) The condition is sufficient for, ifρ≤1/Ω(R−_{), so, byLemma 4.5(ii), the} basic series will have propertyTρinB(R).

The condition is necessary for, if Ω(R−_{) >1/ρ, then we can find r1< R} such thatΩ(r1) >1/ρ. Chooseρ2 such that 1/ρ <1/ρ2≤Ω(r1). Hence, by Corollary 4.7, there is an entire special monogenic function of orderρ2< ρfor

which the basic series does not represent in ¯B(r1), that is, inB(R).

(c) The condition is sufficient for, ifρ≤1/Ω(0+), then, byLemma 4.5(iii), the basic series will have propertyTρat the origin.

The condition is necessary for, ifΩ(0+) >1/ρ, then we can findρ3such that

1/ρ <1/ρ3≤Ω(0+). It follows fromLemma 4.6that there is an entire special

monogenic function of orderρ3< ρnot represented by the basic series in any

ball enclosing the origin. Hence,Theorem 4.3is established.

Proof ofTheorem_4.4. _{Suppose that the basic series has property}T_ρin

¯

B(r ). It follows that Ω(r )≤1/ρ. But since (4.1) is satisfied, it follows from

Theorem 4.1that Ω(R)=Ω(r ) for allR≥r >0. Hence, Ω(R)≤1/ρ for all R >0. Thus the basic series has propertyTρin the whole spaceRm+1.

Again, if the basic series has propertyTρin the open ballB(r ), thenΩ(r−)≤

1/ρ, that is, for somer1< r, we haveΩ(r1)≤1/ρ. Since (4.1) is true, then, by Theorem 4.1,Ω(R)=ω(r1)for allR≤r1. Therefore,Ω(R)≤1/ρfor allR >0,

that is to say that the basic series has propertyTρin the whole spaceRm+1.

Finally, let the basic series possess propertyTρat the origin. Hence,Ω(0+)≤

1/ρ, so, we can choose r >0 such that Ω(r )≤1/ρ. But the basic series is subject to (4.1), so, byTheorem 4.1,Ω(R)=Ω(r )for allR≥r. It follows that

Ω(R)≤1/ρfor allR >0. Hence, the basic series has propertyTρin the whole

spaceRm+1_{. This completes the proof ofTheorem 4.4.}

Acknowledgment. _{D. Constales gratefully acknowledges support from}

Project BOF/GOA 12051 598 of Ghent University.

References

[1] M. A. Abul-Ez,Basic sets of polynomials in complex and Clifford analysis, Ph.D. thesis, State University of Gent, Belgium, 1989.

[2] M. A. Abul-Ez and D. Constales,Basic sets of polynomials in Clifford analysis, Com-plex Variables Theory Appl.14(1990), no. 1-4, 177–185.

[3] ,Linear substitution for basic sets of polynomials in Clifford analysis, Portu-gal. Math.48(1991), no. 2, 143–154.

[4] F. Brackx, R. Delanghe, and F. Sommen,Clifford Analysis, Research Notes in Math-ematics, vol. 76, Pitman (Advanced Publishing Program), Massachusetts, 1982.

[5] R. Delanghe, F. Sommen, and V. Souˇcek,Clifford Algebra and Spinor-Valued Func-tions. A Function Theory for the Dirac Operator, Mathematics and Its Appli-cations, vol. 53, Kluwer Academic Publishers, Dordrecht, 1992.

[6] P. Lounesto and P. Bergh,Axially symmetric vector fields and their complex poten-tials, Complex Variables Theory Appl.2(1983), no. 2, 139–150.

[7] F. Sommen,Plane elliptic systems and monogenic functions in symmetric domains, Rend. Circ. Mat. Palermo (2)6(1984), 259–269.

[8] J. Whittaker,Interpolatory Function Theory, Cambridge Tracts in Mathematics and Mathematical Physics, no. 33, Cambridge University Press, London, 1935. [9] ,On effectiveness at a point, Proc. Math. Phys. Soc. Egypt2(1943), no. 3,

5–13.

M. A. Abul-Ez: Department of Mathematics, Faculty of Science, South Valley Univer-sity, Sohag 82524, Egypt