You are on page 1of 119

Universidade de Aveiro Departamento de Matemtica

2006

Tnia Cristina
Gonalves Robalo

Sries hipergeomtricas generalizadas no contexto


da teoria das funes hipercomplexas

Universidade de Aveiro Departamento de Matemtica


2006

Tnia Cristina
Gonalves Robalo

Sries hipergeomtricas generalizadas no contexto


da teoria das funes hipercomplexas

dissertao apresentada Universidade de Aveiro para cumprimento dos


requisitos necessrios obteno do grau de Mestre em Matemtica, realizada
sob a orientao cientfica do Professor Doutor Helmuth Robert Malonek,
Professor Catedrtico do Departamento de Matemtica da Universidade de
Aveiro.

o jri
presidente

Prof. Doutor Domingos Moreira Cardoso


Professor Catedrtico do Departamento de Matemtica da Universidade de Aveiro.

vogal

Prof. Doutora Maria Irene Falco de Carvalho Ribeiro Almeida Falco


Professora Associada do Departamento de Matemtica da Universidade do Minho

vogal

Prof. Doutor Helmuth Robert Malonek (Orientador)


Professor Catedrtico do Departamento de Matemtica da Universidade de Aveiro

agradecimentos

Em primeiro lugar gostaria de agradecer ao Professor Doutor Helmuth Robert


Malonek pela sua orientao, pacincia e apoio ao longo destes dois anos.
Gostaria de deixar uma saudao especial ao meu colega de Mestrado, o Lus,
pelas suas sugestes, apoio, amizade e companheirismo.
O meu agradecimento a todos aqueles que acreditaram nas minhas
capacidades e me incentivaram a no desistir nos momentos difceis.
Aos meus pais, pelo apoio e presena constante ao longo destes anos de
trabalho.
Aos meus amigos, pelo incentivo e amizade.
Ao Diogo, pela ajuda prestada e sua compreenso pelas minhas ausncias.

palavras-chave

Srie de Gauss, srie hipergeomtrica generalizada, srie de Appell,


polinmios ortogonais, Anlise de Clifford, extenso de CauchyKowalewskaya, funes monognicas.

resumo

O principal objectivo deste trabalho consiste em estudar sries


hipergeomtricas com uma ou duas variveis e suas generalizaes no
contexto da Anlise de Clifford.
No primeiro captulo referimos as definies e resultados essenciais sobre as
sries hipergeomtricas. So apresentados vrios teoremas e identidades
fundamentais.
O segundo captulo dedicado relao entre as sries hipergeomtricas
generalizadas e os polinmios ortogonais clssicos.
No terceiro captulo referimos alguns fundamentos da Anlise de Clifford.
Apresentamos o conceito de diferenciabilidade hipercomplexa de funes com
valores na lgebra de Clifford. Mostramos que a classe de funes
diferenciveis hipercomplexas coincide com a classe de funes monognicas,
definidas como solues de um sistema generalizado de Cauchy-Riemann.
Abordamos o produto n-rio que pode ser aplicado para construir a analogia
de sries de potncias, para que estas gerem funes monognicas.
Finalmente discutimos o conceito da extenso de Cauchy-Kowalewskaya
como aplicao para obter, a partir de sries de potncias de vrias variveis
reais, sries em termos de duas ou mais variveis totalmente regulares.
No quarto e ltimo captulo aplicamos os conceitos do captulo anterior para
estudar funes monognicas, dadas em termos de duas variveis
hipercomplexas conjugadas, isto , em termos de x e x . Obtm-se funes
monognicas e suas sries hipercomplexas correspondentes que permitem
uma interpretao como um novo tipo de sries hipergeomtricas
generalizadas (generalizaes da funo exponencial e do polinmio
associado de Laguerre, entre outras).

keywords

Gauss series, generalized hypergeometric series, Appell series, convergence,


differential equation, orthogonal polynomials, Clifford Analysis, CauchyKowalewskaya extension, monogenic functions.

abstract

The main objective of this work consists in studying hypergeometric series with
one or two variables and their generalizations in the Clifford Analysis context.
In the first chapter the definitions and the essential results about
hypergeometric series are referred. Several theorems and fundamental
identities are presented.
The second chapter is about the relations between the generalized
hypergeometric series and the classical orthogonal polynomials.
In the third chapter we mention some fundamentals of the Clifford Analysis. We
present the hypercomplex differentiability concept of functions with values in a
Clifford Algebra. We show that the class of hypercomplex differentiable
functions coincides with the class of monogenic functions defined as solutions
of a generalized Cauchy- Riemann-system of partial differential equations. We
describe an n-nary product that can be applied for constructing the analogue of
power series, thereby generating monogenic functions. Finally we explain the
concept of Cauchy- Kowalewskaya-extension as application for getting from
power series of some real variables, generalized power series in terms of two
or more total regular variables.
In the fourth and last chapter we use the concepts of the previous chapter to
study monogenic functions, in terms of two hypercomplex variables, that is, in
terms of x and x . We obtain monogenic functions and their corresponding
representations as hypercomplex series which allow us an interpretation as a
new type of generalized hypergeometric series (generalization of the
exponential function and the associated Laguerre polynomials, among others).

Contedo
Introduo

iii

1 Sries hipergeomtricas

1.1 Srie de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2 Convergncia da srie de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3 Equao de Gauss e outras propriedades diferenciais . . . . . . . . . . . . . .

1.4 Sries hipergeomtricas generalizadas . . . . . . . . . . . . . . . . . . . . . . .

1.5 Convergncia das sries hipergeomtricas generalizadas . . . . . . . . . . . . .

11

1.6 Identicao de uma srie hipergeomtrica . . . . . . . . . . . . . . . . . . . .

13

1.7 Teoremas e Identidades fundamentais . . . . . . . . . . . . . . . . . . . . . . .

14

1.8 Sries de Appell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

1.9 Convergncia das sries duplas . . . . . . . . . . . . . . . . . . . . . . . . . .

32

1.10 Equaes diferenciais parciais satisfeitas pelas sries de Appell . . . . . . . . .

34

2 Sries hipergeomtricas e polinmios ortogonais clssicos

37

2.1 Relao entre sries hipergeomtricas e equaes diferenciais . . . . . . . . . .

37

2.2 Polinmios ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

40

3 Elementos da Anlise de Clifford

47

3.1 Denio de lgebra de Clifford . . . . . . . . . . . . . . . . . . . . . . . . . .

48

3.2 Diferenciabilidade Hipercomplexa . . . . . . . . . . . . . . . . . . . . . . . . .

50

3.2.1 Denio de derivada hipercomplexa . . . . . . . . . . . . . . . . . . .

53

3.2.2 Diferenciabilidade hipercomplexa e monogenicidade . . . . . . . . . . .

54

3.2.3 Produto Permutacional . . . . . . . . . . . . . . . . . . . . . . . . . .

58

3.3 Extenso Cauchy-Kowalewskaya . . . . . . . . . . . . . . . . . . . . . . . . . .

68

ii

Contedo

4 Funes monognicas em termos de duas variveis hipercomplexas


4.1
4.2
4.3
4.4
4.5

A denio de funes monomiais particulares . . . . . . . . . . . . . . . .


Propriedades dos Tsk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Derivada hipercomplexa de uma funo monomial . . . . . . . . . . . . . .
O caso n = 2 em termos de variveis totalmente regulares . . . . . . . . .
Sries hipergeomtricas hipercomplexas em termos de funes monomiais .

71
.
.
.
.
.

.
.
.
.
.

71
71
79
81
83

Concluso

93

A Funes representadas por sries hipergeomtricas

97

B Srie de Kamp de Friet

101

C Sries Lauricella

103

Bibliograa

105

Introduo
O termo "hipergeomtrico" (do grego , superior ou alm de), foi usado por John
Wallis (1616-1703), no seu trabalho Arithmetica Innitorum (1655), para denotar qualquer
srie que vai para alm da srie geomtrica ordinria
1 + x + x2 + x3 + . . . .

Em particular, estudou a srie


1 + a + a(a + 1) + a(a + 1)(a + 2) + . . . .

Durante os seguintes cento e cinquenta anos, muitos outros matemticos estudaram sries
similiares, notavelmente, o suo L. Euler (1707-1783) que apresentou entre muitos outros
resultados, a famosa relao (primeira identidade de Euler)
2 F1 [n, b; c; z]

= (1 z)c+nb 2 F1 [c + n, c b; c; z],

e o teorema, uma extenso do teorema binomial, na forma


2 F1 [n, b; c; 1]

(c b)(c b + 1)(c b + 2) . . . (c b + n 1)
.
c(c + 1)(c + 2)(c + 3) . . . (c + n 1)

Durante os seguintes quarenta anos, C. F. Hindenburg (1741-1808) na escola combinatria de


Gttingen, empregou muitos esforos em vrias extenses complicadas dos teoremas binomial
e multinomial. Vericou-se uma alterao dramtica, quando em 20 de Janeiro de 1812,
C. F. Gauss (1777-1855) entregou o seu famoso artigo Disquisitiones generales circa seriem
innitam, diante da Knigliche Gesellschaft der Wissenschaften. Nele, deniu a srie innita
1+

ab z
a(a + 1)b(b + 1) z 2 a(a + 1)(a + 2)b(b + 1)(b + 2) z 3
+
+
+ ...
c 1!
c(c + 1)
2!
c(c + 1)(c + 2)
3!

iii

(1)

iv

Introduo

e introduziu a notao F [a, b; c; z]. Tambm provou o seu famoso teorema


2 F1 [a, b; c; 1]

(c)(c a b)
(c a)(c b)

e apresentou relaes entre duas ou mais destas sries. Mostrou claramente que estava a
considerar 2 F1 [a, b; c, z] como uma srie de quatro variveis, em lugar de uma srie em z .
Uma nota apresentada em 10 de Fevereiro de 1812, suscitou uma notvel discusso acerca da
convergncia de tais sries.
Uma das maiores contribuies foi dada por E. E. Kummer (1810-1893), no ano de 1836,
que usou pela primeira vez o termo "hipergeomtrico", s para as sries do tipo (1). Mostrou
que a equao diferencial
z(1 z)

dy
d2 y
+ {c (1 + a + b)z}
aby = 0,
dz 2
dz

satisfeita pela srie


2 F1 [a, b; c; z],

e tem no total vinte e quatro solues similares srie de Gauss. Em 1857, B. Riemann
(1826-1866) estendeu esta teoria introduzindo novas funes, as quais de certo modo, so generalizaes da srie de Gauss. Riemann discutiu a teoria geral da transformao da varivel
numa equao diferencivel e a sua teoria foi aplicada ao trabalho de Kummer por J. Thomae
(1840-1921), que em 1879 descobriu em detalhe as relaes entre as vinte e quatro solues
de Kummer.
O trabalho de Riemann foi de tal forma inuente, que a comunidade matemtica que
considerava as sries hipergeomtricas, passou a estud-las quase exclusivamente do ponto de
vista das equaes diferenciais.
A extenso da srie de Gauss parece ter ocorrido pela primeira vez em 1828 no trabalho de
Clausen (1801-1885), onde o nmero de parmetros foi aumentado. Exemplos de extenses de
sries hipergeomtricas com vrias variveis encontram-se nos trabalhos de Appell (1855-1930)
em 1880 e mais extensivamente no ano de 1926 com Appell e Kamp de Friet (1893-1982).
Euler mostrou que vlido
2 F1 [n, b; c; z]

n!
c(c + 1)(c + 2) . . . (c + n 1)

tn+1 (1 t)c+n1 (1 tz)b dt.

A ideia de representar uma funo por um integral de contorno com funes Gama sobre a
qual a integrao se estende, julgamos dever-se a S. Pincherle (1835-1936), que usou contornos

Introduo

de um tipo, que foram inuenciados pelo trabalho de Riemann. Este assunto foi desenvolvido
extensivamente por R. Mellin (1854-1933) e E. W. Barnes (1874-1953). Em 1907, Barnes
publicou o integral de contorno representativo das vinte e quatro sries de Kummer e posteriormente, em 1910, provou o integral anlogo ao Teorema de Gauss
1
2i

(a + s)(b + s)(c s)(d s)ds =

(a + c)(a + d)(b + c)(b + d)


.
(a + b + c + d)

Enquanto Euler, Gauss, Riemann e outros grandes matemticos publicaram artigos importantes e inuentes sobre sries hipergeomtricas, j nos anos 1846, 1847, 1878 Heine (18211881) introduziu uma generalizao que hoje a base das sries q-hipergeomtricas. No caso
de Heine, a srie tem a forma
1+

(1 q a )(1 q b )
(1 q a )(1 q a+1 )(1 q b )(1 q b+1 ) 2
z+
z + . . . , para |q| < 1.
(1 q)(1 q c )
(1 q)(1 q 2 )(1 q c )(1 q c+1 )

Anlogamente notao de Gauss, Heine usou (a, b, c, q, z) para estas sries.


Todas as teorias das funes especiais, entre elas as sries hipergeomtricas, podem ser
tratadas atravs de mtodos combinatrios e algbricos, recorrendo aos espaos simtricos de
Riemann e aos grupos de Lie (1842-1899) semi-simples (ver [6] e [13]).
A aplicao dos computadores teoria das sries hipergeomtricas, mais especicamente
o software matemtico simblico Maple e o pacote Hyp, desenvolvido por C. Krattenthaler
(ver [23]), permitem simplicar muitos dos clculos, os quais se revelavam tediosos.
Neste trabalho apresentamos um estudo das sries hipergeomtricas generalizadas passando ao estudo das funes monognicas. No primeiro captulo referimos resultados bsicos
necessrios das sries hipergeomtricas. Como ponto de partida, analismos a srie de Gauss,
introduzida por este autor em 1812, que levou posterior discusso da sua convergncia e ao
estudo da equao hipergeomtrica, descoberta por Euler em 1769, que a satisfaz. Paralelamente passmos ao estudo das sries hipergeomtricas generalizadas que surgiram a partir da
extenso do nmero de parmetros da srie de Gauss. Da anlise das sries hipergeomtricas
surgem vrias identidades importantes e teoremas fundamentais. Para nalizar este captulo,
referenciamos as sries de Appell, que se traduzem na generalizao da srie de Gauss, atravs
do aumento do nmero de variveis.
No segundo captulo, a par da equao hipergeomtrica satisfeita pela srie de Gauss,
procedemos ao estudo da equao diferencial satisfeita pela srie hipergeomtrica generalizada.
Nesta sequncia,procuramos a srie hipergeomtrica que satisfaz uma determinada equao.

vi

Introduo

Terminamos com os polinmios ortogonais clssicos denidos como solues de equaes diferenciais.
No terceiro captulo descrevemos um conceito elementar de diferenciabilidade hipercomplexa de funes com valores em Cl0,n denidas num subconjunto aberto Rn+1 , onde
Cl0,n uma lgebra de Cliord sobre o corpo dos nmeros reais. Usando uma nova estrutura
hipercomplexa de Rn+1 , obtemos uma generalizao muito natural da abordagem de Cauchy
s funes holomorfas. Por outro lado, mostramos que a classe de funes diferenciveis
hipercomplexas coincide com a classe de funes monognicas, isto , soluo de um sistema
generalizado de Cauchy-Riemann. Indicamos uma generalizao elementar da abordagem de
Weierstrass para a teoria das funes holomorfas na teoria das funes hipercomplexas. A
extenso de Cauchy-Kowalewskaya usada para exprimir sries de potncias generalizadas
em termos de variavis hipercomplexas.
O ltimo captulo dedicado s funes monognicas em termos de duas variveis hiper

complexas, onde se procede ao estudo dos P (k) (x) =

k
Ts xks xs , sua derivada hipercom
s=0

plexa, e s propriedades dos Tsk . Em particular, referenciada a ligao entre a funo


monomial e a soluo fundamental de Cauchy Riemann. As ltimas seces referem-se ao
estudo dos P (k) (x) para n = 2, para qual o uso de uma aproximao directa especial da srie
de potncias pode gerar funes monognicas.

Captulo 1

Sries hipergeomtricas
Neste captulo explicamos o conceito das sries hipergeomtricas clssicas e referimos
algumas das suas propriedades. Apresentamos a denio geral de sries hipergeomtricas
generalizadas motivada por Gauss, terminando com vrios resultados inerentes a estas sries.

1.1 Srie de Gauss


Em 1812, Gauss apresentou Knigliche Gesellschaft der Wissenschaften o seu famoso
artigo onde considerou a srie innita
1+

a(a + 1)b(b + 1) z 2 a(a + 1)(a + 2)b(b + 1)(b + 2) z 3


ab z
+
+
+ ...
c 1!
c(c + 1)
2!
c(c + 1)(c + 2)
3!

(1.1)

como uma funo de a, b, c, z . A varivel z , podendo ser real ou complexa; a, b, c F


(corpo) so denominados por parmetros da funo onde c = 0, 1, 2, . . ., de tal modo que
no aparecem factores nulos nos termos dos denominadores da srie. Do ponto de vista do
artigo de Gauss, a srie frequentemente denominada por srie de Gauss. Contudo, uma vez
que o caso especial a = 1, b = c, resulta na srie geomtrica
1 + z + z2 + z3 + . . . ,

esta tambm denominada por srie hipergeomtrica ordinria ou srie hipergeomtrica de


Gauss. Usualmente, representada por
2 F1 [a, b; c; z].

Sries hipergeomtricas

Nesta notao, a srie de Gauss torna-se

2 F1 [a, b; c; z]

=
n=0

(a)n (b)n n
z ,
(c)n n!

onde para quaisquer a F e n inteiro no negativo, o factorial generalizado ou smbolo


de Pochhammer denido da seguinte forma

(a)n :=

1 se n = 0

a(a + 1)(a + 2) . . . (a + n 1) se n = 1, 2, . . .

n factores

onde (1)n = n!. Ento


(a)n =

(a + n)
(a)

(1.2)

e
lim (a)n =

1
.
(a)

Se a igual a um inteiro negativo m, ento


(a)n = (m)n se m n

e
(a)n = 0

se m < n,

de tal forma que (4)4 = (4)(3)(2)(1) = 24, mas (4)5 = 0.


Assim, se qualquer um dos parmetros a ou b da srie de Gauss igual a zero ou a um
inteiro negativo n, a srie tem um nmero nito de termos e reduz-se ao polinmio
2 F1 [n, b; c; z].

Exemplo 1.1.1 Suponhamos que na srie de Gauss a = 2, ento esta torna-se


2 F1 [2, b; c; z]

=1+

(2)b z
(2)(1)b(b + 1) z 2
+
+ 0,
c 1!
c(c + 1)
2!

que igual a
2 F1 [2, b; c; z]

=1

2bz b(b + 1)z 2


+
,
c
c(c + 1)

uma vez que todos os termos seguintes so nulos.

1.1. Srie de Gauss

Mas se c zero ou um inteiro negativo, a srie no denida, uma vez que termos da srie se
tornam innitos.
Lebedev [17] arma que se os parmetros a e b so permutados, obtem-se a propriedade

de simetria
F [a, b; c; z] = F [b, a; c; z].

Slater [26] apresenta algumas notaes alternativas para a srie de Gauss, as quais citamos
de seguida:
Appell (1926) e Bailey (1935a),

a, b

; z = 2 F1 [a, b; c; z],

2 F1

F (a, b; c; z) = 2 F1 [a, b; c; z],

Meijer (1935c),
[a, b; c; z] = 2 F1 [a, b; c; z]/(c),

MacRobert (1947),
E(2; a, b; 1; c; 1/z) =

(a)(b)
2 F1 [a, b; c; z],
(c)

Meijer (1941a),

a, b

= (a)(b) 2 F1 [a, b; c; z],

(c)z

G12 z
22
1, c

Riemann (1857),
P

1c

cab

= 2 F1 [a, b; c; z].

Sries hipergeomtricas

1.2 Convergncia da srie de Gauss


O crculo de convergncia da srie hipergeomtrica de Gauss o crculo unitrio |z| = 1.
O comportamento desta srie no seu crculo de convergncia foi estudado por Slater [26].
Seja un =

(a)n (b)n
, ento
(c)n (1)n
(1 + n)(c + n)un+1 = (a + n)(b + n)un .

O quociente de dois termos sucessivos, un e un+1 da srie de Gauss dado por


(a + n)(b + n)
(1 + a/n)(1 + b/n)
z=
z,
(c + n)(1 + n)
(1 + c/n)(1 + 1/n)

de modo que quando n , o quociente


|un+1 /un | |z|.

Consequentemente, pelo Critrio de D'Alembert, a srie convergente para todos os valores


de z , reais ou complexos tal que |z| < 1, e divergente para todos os valores de z reais ou
complexos, tal que |z| > 1.
Quando |z| = 1,
|un+1 /un | =
=

1+c
a+b
+ O(1/n2 )
1
+ O(1/n2 )
n
n
a+bc1
1+
+ O(1/n2 )
n
1+

1 + {Re(a + b c 1)/n} + O(1/n2 ).

Assim, quando z = 1, pelo Critrio de Raabe, a srie convergente se Re(c a b) > 0, e


divergente se Re(c a b) < 0.
igualmente divergente quando Re(c a b) = 0. Neste caso
|un+1 /un | > 1

onde C uma constante.

1
C
2,
n n

1.3. Equao de Gauss e outras propriedades diferenciais

Quando |z| = 1, mas z = 1, a srie absolutamente convergente quando Re(c a b) > 0,


mas no absolutamente convergente se
1 < Re(c a b) 0,

e divergente quando Re(c a b) < 1. Se Re(c a b) = 1, so necessrios mais testes.


Neste caso, temos
|un+1 /un | = 1

Re(a + b ab + 1)
+ O(1/n3 ).
n2

Consequentemente a srie convergente se Re(a + b) > Re(ab), e divergente se Re(a + b)


Re(ab).

De realar que
(a)n (b)n
0 quando n , se 0 < Re(1 + c a b) < 1.
(c)n n!

1.3 Equao de Gauss e outras propriedades diferenciais


Segundo Kummer, a srie de Gauss, 2 F1 [a, b; c; z] para |z| < 1, satisfaz uma equao linear
diferencial, denominada por equao de Gauss ou equao hipergeomtrica, a qual
dada por
z(1 z)

d2 y
dy
+ {c (1 + a + b)z}
aby = 0,
2
dz
dz

(1.3)

onde z uma varivel complexa e a, b, c so parmetros que podem assumir diversos valores
reais ou complexos. A equao foi descoberta por Euler (1769), estudada exaustivamente por
Gauss (1812) e Kummer (1836). Esta tem no total vinte e quatro solues similares srie
de Gauss (ver [26]), podendo ser vericada por diferenciao directa da srie e consequente
substituio na equao diferencial. Para alm desta vericao Slater [26], apresenta a prova.
Prova:
Uma forma alternativa de escrever a equao de Gauss
d
dz

d
+c1 y =
dz

d
+a
dz

d
+ b y.
dz

Sries hipergeomtricas

Substituindo y = 2 F1 [a, b; c; z] na equao obtemos


z

d
+a y =
dz

n=0

(a)n (b)n
(n + a)z n ,
(c)n n!

e
z

d
+a
dz

d
+b y =
dz

n=0

(a)n+1 (b)n+1 n
z .
(c)n n!

Anlogamente
z

d
+c1 y =
dz

n=1

(a)n (b)n n
z ,
(c)n1 n!

derivando em relao a z
d
dz

d
+c1 y =
dz

n=1

=
n=0

(a)n (b)n n1
nz
(c)n1 n!
(a)n+1 (b)n+1 n
z
(c)n n!

obtemos a mesma srie.

A equao de Gauss pode ser reescrita


d2 y
+
dz 2

c
1+a+b

z(1 z)
1z

dy
ab

y=0
dz z(1 z)
1

onde podemos observar que 0 e 1 so singularidades regulares. Se escrevermos em vez de


z
z , vericamos que o igualmente uma singularidade regular da equao de Gauss.
Para alm da equao diferencial, a srie de Gauss satisfaz algumas propriedades diferenciais.
Se a srie de Gauss diferencivel termo por termo em z, ento segundo [17]
d
ab
{2 F1 [a, b; c; z]} = 2 F1 [a + 1, b + 1; c + 1; z] .
dz
c

1.3. Equao de Gauss e outras propriedades diferenciais

Prova:
d
{2 F1 [a, b; c; z]} =
dz

d
dz

=
n=0

n=0

(a)n (b)n n
z
(c)n n!

=
n=1

(a)n (b)n n1
nz
(c)n n!

(a)n+1 (b)n+1
(n + 1)z n =
(c)n+1 (n + 1)!

n=0

(a)n+1 (b)n+1 n
z
(c)n+1 n!

uma vez que (a)n+1 = a(a + 1) . . . (a + n) = a(a + 1)n , logo


d
{2 F1 [a, b; c; z]} =
dz
=

n=0

a(a + 1)n b(b + 1)n n ab


z =
c(c + 1)n n!
c

n=0

(a + 1)n (b + 1)n n
z
(c + 1)n n!

ab
2 F1 [a + 1, b + 1; c + 1; z] .
c

Quando este processo repetido, vemos que no geral


(a)n (b)n
dn
{ F [a, b; c; z]} =
2 F1 [a + n, b + n; c + n; z] , n = 1, 2, . . . .
n 2 1
dz
(c)n

De acordo com [18] seguem-se outras propriedades diferenciais que podem ser provadas de
uma forma semelhante:
dn
z a+n1 2 F1 [a, b; c; z] = (a)n z a1 2 F1 [a + n, b; c; z] ,
dz n

(1.4)

dn
z ca+n1 (1 z)a+bc 2 F1 [a, b; c; z] =
dz n
= (c a)n z ca1 (1 z)a+bcn 2 F1 [a n, b; c; z] , (1.5)

dn
(c a)n (c b)n
(1 z)a+bc 2 F1 [a, b; c; z] =
(1 z)a+bcn 2 F1 [a, b; c + n; z] , (1.6)
n
dz
(c)n

dn
z c1 2 F1 [a, b; c; z] = (c n)n z cn1 2 F1 [a, b; c n; z] ,
dz n

(1.7)

dn
(1)n (a)n (c b)n (1 z)a1
(1 z)a+n1 2 F1 [a, b; c; z] =
2 F1 [a + n, b; c + n; z] , (1.8)
dz n
(c)n

Sries hipergeomtricas

dn
z c1 (1 z)bc+n 2 F1 [a, b; c; z] = (c n)n z c1n (1 z)bc 2 F1 [a n, b; c n; z] ,
dz n

(1.9)

dn
z c1 (1 z)a+bc 2 F1 [a, b; c; z] =
dz n
= (c n)n z c1n (1 z)a+bcn 2 F1 [a n, b n; c n; z] . (1.10)

1.4 Sries hipergeomtricas generalizadas


A ideia de estender o nmero de parmetros da srie de Gauss parece ter ocorrido pela
primeira vez no trabalho de Clausen (1828), que introduziu uma srie com trs parmetros
numerador e dois parmetros denominador.
A srie formal de potncias
1+

a1 a2 . . . ap z
a1 (a1 + 1) . . . ap (ap + 1)
z2
+
+ ...
b1 b2 . . . bq 1! b1 (b1 + 1)b2 (b2 + 1) . . . bq (bq + 1) 2!

=
n=0

(a1 )n (a2 )n . . . (ap )n z n


(b1 )n (b2 )n . . . (bq )n n!

(1.11)

denominada por srie generalizada de Gauss ou srie hipergeomtrica generalizada. Tem p parmetros numerador a1 , a2 , a3 , . . . , ap F ; q parmetros denominador
b1 , b2 , b3 , . . . , bq F e uma varivel z . Qualquer um destes parmetros pode ser real ou
complexo, mas os parmetros b no podem ser inteiros negativos, o que tornaria a srie indenida. Se qualquer um dos parmetros a um inteiro negativo, a srie reduz-se a um
polinmio. A soma da srie, quando existe, denotada por

p Fq

a1 , . . . , ap

;z

ou

p Fq [a1 , . . . , ap ; b1 , . . . , bq ; z].

b1 , . . . , b q

De acordo com Slater [26], estas notaes podem ser reduzidas para

n=0

((a)p )n z n
= p Fq [(a); (b); z].
((b)q )n n!

(1.12)

1.4. Sries hipergeomtricas generalizadas

De igual modo, para um produto de vrias funes Gama, escrevemos

a1 , a2 , . . . , ap
(a1 )(a2 )(a3 ) . . . (ap )
= [(a); (b)],
=
(b1 )(b2 )(b3 ) . . . (bq )
b1 , b 2 , . . . , b q

onde se deve entender que h sempre p parmetros a e q parmetros b, caso no seja mostrado
explcitamente.
Se um parmetro numerador igual a um parmetro denominador, este pode ser cancelado,
exemplicando-se: 2 F2 [a, b; a, c; z] = 1 F1 [b; c; z].
Entendemos por p Fq [. . . ; cz], as sries (1.11) com o factor cn inserido no n-simo coeciente,
ou seja,

n=0

(a1 )n (a2 )n . . . (ap )n


(cz)n .
(b1 )n (b2 )n . . . (bq )n n!

O caso p = q = 1 denominado por srie hipergeomtrica "conuent" ou srie de


Kummer. Segundo Slater [25] a notao introduzida por Pochhammer (1870) e modicada
por Barnes (1908a,b) foi 1 F1 [a; b; z]. Outras notaes para a srie so: M (a, b, z) usada por

Airey and Webb (1918); o smbolo (a; b; z) introduzido por Humbert (1920); u (a, b, z) usado
por Magnus e Oberhettinger (1948) e o smbolo original usado por Kummer F (, , z). A srie
de Kummer pode ser deduzida como um caso especial da srie de Gauss, como comprovamos:
lim {2 F1 [a, b; c; z/b]} = M (a, c, z).

1
1
zn
Exemplo 1.4.1 A srie 1 + z + z 2 + . . . =
2
3
n+1
n=0
1
(1)n
=
para n = 0, 1, . . .
mtrica, notando que
n+1
(2)n

Assim,

pode ser escrita na forma hipergeo-

1
1
1 + z + z 2 + . . . = 2 F1 [1, 1; 2; z].
2
3

Slater [26] descreve vrias notaes alternativas para a srie hipergeomtrica generalizada. Assim, para evitar a diculdade de restringir os parmetros b a valores que no sejam
negativos, vrios autores usam
p Fq [a1 , a2 , . . . , ap ; b1 , b2 , . . . , bq ; z]

= p Fq [(a); (b); z]/[b1 , b2 , . . . , bq ].

Esta forma de srie denida numericamente nos pontos, onde p Fq [z] no denida. Uma
notao alternativa
p q [a1 , a2 , . . . , ap ; b1 , b2 , . . . , bq ; z]

= p Fq [(a); (b); z]/[b1 , b2 , . . . , bq ].

10

Sries hipergeomtricas

Vrias notaes especiais tm sido usadas para representar as formas assimptticas da


srie. A mais usada entre elas
E (p; a1 , a2 , . . . , ap ; q; b1 , b2 , . . . , bq ; 1/z) = [(a); (b)]p Fq [(a); (b); z].

Esta a E-funo de MacRobert. A mais recente teoria geral tem sido desenvolvida nos
termos da G-funo de Meijer

G1
p

1 a1 , 1 a2 , . . . , 1 ap

= [(a); (b)]p Fq [(a); (b); z].

q p +1

0, 1 b1 , 1 b2 , . . . , 1 bq

Como resumo das sries clssicas, Gauss e hipergeomtricas generalizadas, referimos a


denio geral de uma srie hipergeomtrica [23].

Denio 1.4.2 Uma srie

tn

denominada hipergeomtrica se t0 = 1, o quociente de

n0

P (n)

onde P e Q so
dois termos consecutivos for uma funo racional em n, isto , n+1 =
tn
Q(n)
polinmios em n e a factorizao dos polinmios em n, for dada por
(n + a1 )(n + a2 ) . . . (n + ap )
tn+1
P (n)
=
=
z,
tn
Q(n)
(n + b1 )(n + b2 ) . . . (n + bq )(n + 1)

(1.13)

onde z constante.
Normalizando, ou seja, fazendo t0 = 1, denotamos a srie hipergeomtrica, cujos termos so
os tn , isto , a srie
tn por (1.12). Ou seja, o primeiro termo 1 e a razo do (n+1)n0

simo termo e do n-simo dada por (1.13). Torna-se evidente que os exemplos apresentados
satisfazem esta relao.
A denio de uma srie hipergeomtrica foi alargada por Whipple. Este apresentou as
denominaes: Saalschutzian, bem equilibrada e quase equilibrada.

1.5. Convergncia das sries hipergeomtricas generalizadas

11

Denio 1.4.3 [3] A srie hipergeomtrica


p+1 Fp [a0 , . . . , ap ; b1 , . . . , bq ; z]

denominada por k - equilibrada onde k um inteiro positivo, se z = 1; se um dos ai 's


um inteiro negativo e se
p

k+

ai =
i=0

bi .
i=1

No caso k = 1 a srie denominada de equilibrada

ou Saalschtzian.

Denio 1.4.4 [3] Se os parmetros da srie hipergeomtrica generalizada satisfazem as


relaes
a0 + 1 = a1 + b1 = . . . = ap + bp ,

a srie designa-se bem equilibrada. Se todos os pares, excepto um dos pares de parmetros,
satisfazem as relaes, a srie designa-se quase equilibrada. Uma vez que a ordem dos
parmetros pode ser sempre permutada na srie sem a alterar, o par de parmetros desiguais
pode ser sempre trazido para ocupar ou o primeiro ou o ltimo lugar na sequncia. Estas
sries designam-se por quase equilibradas do primeiro tipo ou do segundo, respectivamente.

1.5 Convergncia das sries hipergeomtricas generalizadas


Aplicando o teste do quociente podemos determinar a convergncia da srie (1.11). Partindo
de
tn+1
tn

|a1 + n||a2 + n| . . . |ap + n||z|


|b1 + n||b2 + n| . . . |bq + n|(1 + n)
|z|npq1 (1 + |a1 |/n|) . . . (1 + |ap |/n)
(1 + 1/n)(1 + |b1 |/n) . . . (1 + |bq |/n)

em [3] temos como consequncia imediata os seguintes teoremas:

Teorema 1.5.1 A srie p Fq [a1 , . . . , ap ; b1 , . . . , bq ; z] converge absolutamente para todo o z se


p q e para |z| < 1 se p = q + 1, sendo divergente para todo o z = 0 se p > q + 1 e se a srie
for innita.

12

Sries hipergeomtricas

Demonstrao:
evidente que se p < q , |tn+1 /tn | 0 quando n . Para p = q+1, lim |tn+1 /tn | = |z|,
n
e para p > q + 1, |tn+1 /tn | quando n . Isto prova o teorema.

Teorema 1.5.2 A srie q+1 Fq [a1 , . . . , aq+1 ; b1 , . . . , bq ; z] com |z| = 1 converge absolutamente
se Re ( bi ai ) > 0. A srie converge condicionalmente se z = ei = 1 e 1 <
Re ( bi ai ) 0, sendo divergente se Re ( bi ai ) 1.
Demonstrao:
O coeciente do n-simo termo em q+1 Fq dado por
(a1 )n . . . (aq+1 )n
.
(b1 )n . . . (bq )n n!

Por (1.2) e pela representao innitesimal de Euler n (z) :=


lim

nz n!
, ento
(z)n+1

(n + x) yx (x)
(x)n yx (x) (y)
n
=
lim
n
=
= 1.
(n + y)
(y) n (y)n
(y) (x)

O que implica que o n-simo termo

(bi )
n
(ai )

P aP b1

quando n . As armaes de convergncia absoluta e divergncia seguem imediatamente.


A parte do teorema relativa convergncia condicional pode ser provada pela adio por
partes.

Exemplo 1.5.3 A srie 3 F2 [a, b, c; d, e; z] convergente se |z| < 1,


ou se z = 1 e Re (d + e a b c) > 0
ou se z = 1 e Re (d + e a b c) > 1.

1.6. Identicao de uma srie hipergeomtrica

13

1.6 Identicao de uma srie hipergeomtrica


O ponto fulcral desta seco passa pela identicao de uma srie dada como hipergeomtrica da forma p Fq [. . .] com base em [23]. Os passos so os seguintes:

tn devemos alterar o ndice n do somatrio, de modo que a

1. Dada uma srie F =


n

soma comece em n = 0, com um termo diferente de zero. Extrair o factor comum (fc),
que o termo correspondente a n = 0, de modo a que o primeiro termo da soma seja 1.
2. Simplicar o quociente tn+1 /tn de modo a ter-se P (n)/Q(n), onde P , Q so polinmios.
Caso seja impossvel, pela Denio 1.4.2, torna-se evidente que a srie no hipergeomtrica.
3. Escrever o quociente na forma
(n + a1 )(n + a2 ) . . . (n + ap )
P (n)
=
z.
Q(n)
(n + b1 )(n + b2 ) . . . (n + bq )(n + 1)

Se o factor n + 1 no constar no denominador, devemos coloc-lo e compensar, inserindo


um factor extra n + 1 no numerador.
4. Assim identicamos as sries de entrada. A srie hipergeomtrica F :

F = (f c) p Fq [a1 , a2 , . . . , ap ; b1 , b2 , . . . , bq ; z]

O factor comum (fc) extraido em 1, deve ser multiplicado pela srie.

14

Sries hipergeomtricas

Exemplo 1.6.1 A funo de Bessel, para p 0 dada por

Jp (z) =
n=0

O factor comum t0 =

z
2
p!
tn+1
tn

z 2n+p
2
.
n!(n + p)!

(1)n

e o quociente de dois termos consecutivos


(1)n+1
=

z
2

2n+2+p

n!(n + p)!

(n + 1)!(n + p + 1)!(1)n

z
2

2n+p

z2
4
.
(n + p + 1)(n + 1)

A srie hipergeomtrica estandardizada comea com o termo igual a 1. Porm t0 = 1, logo


devemos multiplicar a srie 0 F1 pelo factor comum (fc). Conclumos que a funo de Bessel
realmente hipergeomtrica, a qual pode ser escrita da seguinte forma:
Jp (z) =

z
2
p!

p
0 F1

p + 1;

z2
4

1.7 Teoremas e Identidades fundamentais


Na teoria das sries hipergeomtricas so vrias as identidades e teoremas fundamentais.
A primeira identidade de Euler dada por
1 F0 [c

+ n b; z]2 F1 [n, b; c; z] = 2 F1 [c + n, c b; c; z]

(1.14)

ou
2 F1 [n, b; c; z]

= (1 z)c+nb 2 F1 [c + n, c b; c; z],

uma vez que 1 F0 [c + n b; z] = (1 z)(c+nb) .


A demonstrao pode ser consultada em [26].

(1.15)

1.7. Teoremas e Identidades fundamentais

15

A frmula de Clausen (1828)


2

1
2 F1 a, b; a + b + ; z
2

1
= 3 F2 2a, 2b, a + b; 2a + 2b, a + b + ; z ,
2

onde |z| < 1, mostra um exemplo raro do quadrado de uma srie hipergeomtrica que expresso numa srie hipergeomtrica.
Prova:
Pelo Teorema de Cayley (ver [4])

(1 z)a+bc F [2a, 2b; 2c; z] =

an z n ,
n=0

ento
1
1
F a, b; c + ; z F c a, c b; c + ; z =
2
2

n=0

(c)n
1
c+ 2

an z n .

(1.16)

Quando c = a + b, o Teorema de Cayley torna-se


1
2 F1 a, b; a + b + ; z
2

1
= 3 F2 2a, 2b, a + b; 2a + 2b, a + b + ; z ,
2

um resultado que se deve a Clausen.

Antes de avanarmos para o estudo dos teoremas apresentamos alguns resultados associados srie binomial e ao smbolo de Pochhammer, que sero necessrios nas suas demonstraes.
Se a for um elemento de F e P uma srie formal de potncias, de acordo com Henrici

[14], a equao diferencial que dene a srie binomial


P =

a
P.
1+z

(1.17)

16

Sries hipergeomtricas
Prova:
Seja P = b0 + b1 z + b2 z 2 + . . .. A relao funcional dada equivalente a
(1 + z) b1 + 2b2 z + 3b3 z 2 + . . . = a (b0 + b1 z + . . .) .

Pelo produto de Cauchy, obtemos


b1 + (2b2 + b1 ) z + (3b3 + 2b2 ) z 2 + . . . = ab0 + ab1 z + . . .

Comparando os coecientes, temos


nbn + (n 1)bn1 = abn1 bn =

an+1
bn1 , n = 1, 2, . . .
n

a
(a n + 1) . . . (a 1)a
b0 =
b0 .
n!
n
Assim, P satisfaz (1.17) se e s se P = b0 Ba , onde b0 o coeciente de z 0 de P e

Segue que bn =

Ba := 1 +

a
a 2
z+
z + ...
1
2

denominada por srie binomial em a.

Conforme Henrici [14], para um a arbitrrio e b um elemento de F


Ba Bb = Ba+b .

(1.18)

Prova:
Seja P = Ba Bb Ba+b . Diferenciando P e usando (1.17) obtemos:
P

= Ba Bb + Ba Bb Ba+b
a
b
a+b
=
Ba Bb + Ba
Bb
Ba+b
1+z
1+z
1+z
1
=
[(a + b) (Ba Bb Ba+b )]
1+z
a+b
=
P.
1+z

a+b
a+b 2
z+
z + . . . proporcional a Ba+b ou seja, P =
1
2
= b0 Ba+b , ento Ba Bb Ba+b = b0 Ba+b . A partir do coeciente de z 0 de P obtemos

Como P = b0 1 +

b0 = 0, pois 1.1 1 = b0 1. Logo, P = 0Ba+b = 0 e por sua vez Ba Bb = Ba+b .

1.7. Teoremas e Identidades fundamentais

17

Para qualquer b F e quaisquer n, k inteiros no negativos tais que n > k e assumindo

que b = n 1, n 2, . . . , n k
(b)nk =

(b)n (n)k (n k)!


.
n!(b n + 1)k

(1.19)

Prova:
(b)n (n)k (n k)!
=
n!(b n + 1)k
(b)(b + 1) . . . (b + n 1)(n)(n + 1) . . . (n + k 1)(n k)!
=
n!(b n + 1)(b n + 2) . . . (b n + k)
n b(b 1) . . . (b n + 1)(1)k n(n 1) . . . (n k + 1)(n k)!
(1)
=
n(n 1) . . . (n k + 1)(n k)!(b n + 1) . . . (b n + k)
b(b 1) . . . (b n + k + 1)(b n + k) . . . (b n + 1)
= (1)n+k
(b n + 1) . . . (b n + k)
= (1)n+k b(b 1) . . . (b n + k + 1)
= (b)(b + 1) . . . (b + n k 1) = (b)nk .

Para quaisquer n, k inteiros no negativos


1
(n)k (1)k
=
.
(n k)!
n!

(1.20)

Prova:
Por denio de coeciente binomial temos
n
k

n!
(n k)!

(1.21)

e para qualquer a F e qualquer k inteiro no negativo


a
k

=
=
=

a!
a(a 1) . . . (a k + 1)(a k)!
=
(a k)!k!
(a k)!k!
k (a)(a + 1) . . . (a + k 1)
(1)
k!
(1)k (a)k
.
k!

(1.22)

18

Sries hipergeomtricas
Igualando (1.21) a (1.22) obtemos
1
(n)k (1)k
=
.
(n k)!
n!

Segundo Henrici [14], para qualquer b F e quaisquer n, k inteiros no negativos tais

que n > k e assumindo que b = n 1, . . . , n k


b
nk

= (1)n

(n)k
(b)n
(1)k
n!
(b n + 1)k

(1.23)

Prova:
Por (1.22)

b
nk

= (1)nk
b
nk

(b)nk
. Ento, com o auxlio de (1.19) observa-se que
(n k)!

(b)n (n)k (n k)!


1
(n k)! n!(b n + 1)k
(n)k
(b)n
(1)k
.
= (1)n
n!
(b n + 1)k
= (1)nk

Para qualquer a F e n inteiro no negativo


(a)n = (1)n (a n + 1)n .

(1.24)

Prova:
(a)n = a (a + 1) . . . (a + n 1) = (1)n (a) (a 1) . . . (a n + 1)

Mas, (a n + 1)n = (a n + 1) (a n + 2) . . . (a 1) (a).


Logo, (a)n = (1)n (a n + 1)n .

Para qualquer a F e quaisquer n, k inteiros no negativos


(a + 2k)nk =

(a)n+k
.
(a)2k

(1.25)

1.7. Teoremas e Identidades fundamentais

19

Prova:
(a)n+k
(a)2k

a(a + 1) . . . (a + 2k 1)(a + 2k) . . . (a + n + k 1)


a(a + 1) . . . (a + 2k 1)
= (a + 2k) . . . (a + n + k 1)
=

= (a + 2k)nk .

Para qualquer a F e quaisquer n, k inteiros no negativos

(a)n+k = (a)n (a + n)k = (a)k (a + k)n .

(1.26)

Prova:
(a)n (a + n)k = a(a + 1) . . . (a + n 1)(a + n) . . . (a + n + k 1) = (a)n+k .

(a)k (a + k)n = a(a + 1) . . . (a + k 1)(a + k) . . . (a + k + n 1) = (a)n+k .

Para qualquer a F e qualquer k inteiro no negativo


(a)2k = 22k

1
a
2

1
1
a+
2
2

(1.27)
k

Prova:

22k

1
a
2

1
1
a+
2
2

=
k

= 22k

1
2

a(a+2) . . . (a+2k 2)

1
2

(a+1)(a+3) . . . (a+2k 1)

= a(a + 1)(a + 2)(a + 3) . . . (a + 2k 2)(a + 2k 1) = (a)2k .

20

Sries hipergeomtricas

No Teorema de Chu-Vandermonde, um dos parmetros numerador um inteiro negativo,


sendo 2 F1 uma soma nita.

Teorema 1.7.1 (Teorema de Chu-Vandermonde) [26]


2 F1 [n, b; c; 1]

(c b)n
(c)n

Demonstrao:
Por denio temos

2 F1 [n, b; c; 1]

=
k=0

(b)k (n)k k
1 .
(c)k k!

Calculando o n-simo coeciente de Ba Bb , obtemos


a
0

b
a
+
n
1

que pela relao (1.18) igual a

b
a
+ ... +
n1
n

a+b
. Assim,
n

usando (1.22) e (1.23) temos


n
k=0

n
k=0

a
k

b
,
0
b
nk

a+b
n

e por sua vez,

(1)k (a)k
(a + b)!
(b)n
(n)k
=
(1)n
(1)k

k!
n!
(b n + 1)k
(a + b n)!n!
n

k=0
n

k=0

(a)k (n)k
(a + b) . . . (a + b n + 1)
=

k!(b n + 1)!
(1)n (b)n

(a b) . . . (a b + n 1)
(a)k (n)k
=

k!(b n + 1)!
(b)n
n

k=0

(a)k (n)k
(a b)n
=
.
k!(b n + 1)!
(b)n

Substituindo a por b e b n + 1 por c obtemos

k=0

(b)k (n)k
(b (c + n 1))n
((c b) n + 1)n (1)n
=
=
.
k!(c)k
(c n + 1)n
(c n + 1)n (1)n

Usando (1.24) vericamos que


k=0

(b)k (n)k
(c b)n
=
, ou seja
k!(c)k
(c)n

2 F1 [n, b; c; 1]

(c b)n
.
(c)n

1.7. Teoremas e Identidades fundamentais

21

O primeiro resultado importante para uma srie p Fq com p > 2 e q > 1 provavelmente o
Teorema de Pfaff-Saalschtz. Foi descoberto por Pfaff (1797) e posteriormente redescoberto
por Saalschtz (1890). frequentemente designado por Teorema de Saalschtz cuja nomenclatura no honra Pfaff.

Teorema 1.7.2 (Teorema de Pfaff-Saalschtz) [14]


3 F2 [n, a, b; c, a

+ b + 1 c n; 1] =

(c a)n (c b)n
, n = 0, 1, . . .
(c)n (c a b)n

Demonstrao:
Como base para esta demonstrao comparamos os coecientes da primeira identidade de
Euler 1.14, substituindo a por n,
1 F0 [c

a b; z]2 F1 [a, b; c; z] = 2 F1 [c a, c b; c; z].

O coeciente de z n no lado esquerdo da identidade dado por


n
k=0

(a)k (b)k (c a b)nk


(c a b)n
=
3 F2 [a, b, n; c, a + b c n + 1; 1]
(c)k k!
(n k)!
n!

e no lado direito
(c a)n (c b)n
.
(c)n n!

Assim, igualando os coecientes de z n obtemos


3 F2 [a, b, n; c, a

+ b c n + 1; 1] =

(c a)n (c b)n
.
(c)n (c a b)n

Este resultado apresentado por Pfaff (1797), soma a srie


3 F2 [1 , 2 , 3 ; 1 , 2 ; 1]

quando 1 + 2 = 1 + 2 + 3 + 1 e um dos parmetros numerador um inteiro negativo. O


teorema reduz-se ao Teorema de Gauss (1813) quando o limite n .

22

Sries hipergeomtricas

Teorema 1.7.3 (Teorema de Gauss) [26]


2 F1 [a, b; c; 1]

(c)(c a b)
, Re(c a b) > 0.
(c a)(c b)

Demonstrao:
Como base para esta demonstrao comeamos por provar a relao existente entre trs
sries de Gauss
(c a)(c b) 2 F1 [a, b; c + 1; z]
= c(c a b) 2 F1 [a, b; c; z] + ab(1 z) 2 F1 [a + 1, b + 1, c + 1; z], (1.28)

onde |z| < 1.


O coeciente de z n na direita
c(c a b)

(a + 1)n (b + 1)n
(a + 1)n1 (b + 1)n1
(a)n (b)n
+ ab
ab
(1)n (c)n
(1)n (c + 1)n
(1)n1 (c + 1)n1

(a)n (b)n
{( c a b)(c + n) + (a + n)(b + n) n(c + n)}
(1)n (c + 1)n

(a)n (b)n
(c a)(c b),
(1)n (c + 1)n

que igual ao coeciente de z n na esquerda de (1.28).


Se Re(c a b) > 0 e a, b, c forem diferentes de zero e no forem inteiros negativos, as trs
sries existem e tm valores nitos. Por isso, se z 1, vemos que
2 F1 [a, b; c; 1]

(c a)(c b)
2 F1 [a, b; c + 1; 1].
c(c a b)

Aplicando a frmula n vezes, temos


2 F1 [a, b; c; 1]

(c a)n (c b)n
2 F1 [a, b; c + n; 1],
(c)n (c a b)n

a frmula de reduo de Gauss. Atendendo a (1.2)


(c a)n (c b)n
(c)n (c a b)n

(c)(c a b)(c a + n)(c b + n)


(c a)(c b)(c + n)(c a b + n)
(c)(c a b)
,
(c a)(c b)

(1.29)

1.7. Teoremas e Identidades fundamentais

23

quando n . Tambm

|2 F1 [a, b; c + n; 1]| 1 +
m=1

(|a|)m (|b|)m
m!(n |c|)m

|a||b|
2 F1 [|a| + 1, |b| + 1; n |c| + 1; 1]
n |c|
|a||b|
M,
1+
n |c|
1+

para n > |c|, onde M constante, e tende para um quando n tende para innito.
Na sequncia
(c a)n (c b)n
(c)(c a b)
,
2 F1 [a, b; c + n; 1]
(c)n (c a b)n
(c a)(c b)

quando n , de modo que por (1.29),


2 F1 [a, b; c; 1]

(c)(c a b)
,
(c a)(c b)

tendo em conta que Re(c a b) > 0.

No Teorema de Gauss, quando b um inteiro negativo n, este torna-se no Teorema de


Chu-Vandermonde 1.7.1.

Teorema 1.7.4 (Teorema de Kummer) [26]


2 F1 [a, b; 1

1
1
+ a b; 1] = 1 + a b, 1 + a; 1 + a b, 1 + a , Re(b) < 1.
2
2

Demonstrao:
Comeamos por provar a transformao quadrtica de Kummer
2 F1 [a, b; 1

+ a b; z] = (1 z)a 2 F1

1 1 1
a, + a b; 1 + a b; 4z/(1 z)2 ,
2 2 2

(1.30)

onde |4z| |1 z|2 para que as sries sejam convergentes. Dentro do crculo |z| < 3 2 2,
as sries podem ser expandidas em potncias crescentes de z .
De acordo com [3], a srie da direita dada por

k=0

1
2a k

1
2

+ 1a b
2
(1 + a b)k k!

(4z)k (1 z)a2k =
k=0

1
2a k

1
2

+ 1a b
2
(1 + a b)k k!

(4z)k
j=0

(a + 2k)j j
z .
j!

24

Sries hipergeomtricas

O coeciente de z n na ltima expresso


n

1
2a k

1
2

k=0

+ 1 a b k (4)k (a + 2k)nk
2
.
(1 + a b)k k!(n k)!

(1.31)

Observamos que por (1.25), (1.26) e (1.27)


(a)n (a + n)k
(a)n+k
= 2k 1
1
1
(a)2k
2
2a k 2 + 2a

(a + 2k)nk =

e com base em (1.20), constatamos que (1.31) igual a


(a)n
n!

n
k=0

1
2

+ 1a b
2

(a + n)k (n)k
1
2

(1 + a b)k

+ 1a
2

k!

Aplicando o Teorema de Pfaff-Saalschtz 1.7.2 vericamos que a srie 3 F2 equilibrada igual


a
(a)n (1 b n)n
n!(1 + a b)n

1
2

1
2

+ 1a
2
1
2a

(a)n (b)n
,
n!(1 + a b)n

coeciente de
na esquerda de (1.30).
Pela continuao analtica, este resultado verdadeiro em todo o lado, dentro do lacete da
curva
xn

|4z| = |1 z|2

que circunda a origem.


Agora seja z 1, ponto que ca na curva acima referida, de forma que, pelo Teorema
de Abel (ver [27]),
2 F1 [a, b; 1

+ a b; 1] = 2a 2 F1

1 1 1
a, + a b; 1 + a b; 1 .
2 2 2

A srie do lado direito pode ser somada pelo Teorema de Gauss 1.7.3, que resulta
1
1
1 1
1
1
2a 1 + a b, ; 1 + a b, + a = 1 + a b, 1 + a; 1 + a b, 1 + a ,
2
2
2 2
2
2

uma vez que 1 + 1 a 1 a = 21a 2 (a), 1 = 2 e (x + 1) = x(x).


2
2
2
2
Pelo Teorema 1.5.2, as sries hipergeomtricas so convergentes, se
1

Re(1 2b) > 1,

isto , Re(b) < 1.


Desta forma obtemos o Teorema de Kummer
2 F1 [a, b; 1

1
1
+ a b; 1] = 1 + a b, 1 + a; 1 + a b, 1 + a , Re(b) < 1.
2
2

1.7. Teoremas e Identidades fundamentais

25

A srie somada por este teorema, conhecida por srie de Kummer, a mais simples srie
bem equilibrada.
O Teorema de Dixon foi provado pela primeira vez em 1903. Uma demonstrao directa
deve-se a Watson, baseada na permuta da ordem da adio de uma srie dupla, fazendo uso
da adio dos Teoremas de Gauss e Kummer. Essa demonstrao foi apresentada em detalhe
por Bailey, que no ser exposta neste trabalho. Porm a seguinte demonstrao alternativa
deve-se originalmente a Bailey.

Teorema 1.7.5 (Teorema de Dixon) [26]


+ a b, 1 + a c; 1] =
1
1
1
1
= 1 + a, 1 + a b c, 1 + a b, 1 + a c; 1 + a, 1 + a b c, 1 + a b, 1 + a c ,
2
2
2
2

3 F2 [a, b, c; 1

Re(a 2b 2c) > 3.

Demonstrao:
Comeamos por mostrar a seguinte relao entre trs sries 3 F2 Saalschutzian:
ab(1 z) 3 F2 [a + 1, b + 1, c; 1 + a b, 2 + a c; z]+
+ (a c + 1)(a 2b 2c + 2) 3 F2 [a, b, c, 1 + a b, 1 + a c; z] =
= (a 2c + 2)(a b c + 1) 3 F2 [a, b, c 1; 1 + a b, 2 + a c; z]. (1.32)

O coeciente da esquerda
ab

(a + 1)n (b + 1)n (c)n


(a + 1)n1 (b + 1)n1 (c)n1
ab
+
(1 + a b)n (2 + a c)n (1)n
(1 + a b)n1 (2 + a c)n1 (1)n1
+(a c + 1)(a 2b 2c + 2)

(a)n (b)n (c)n


=
(1 + a b)n (1 + a c)n (1)n

(a)n (b)n (c 1)n


{(a + n)(b + n)(c + n 1) (a b + n)(a c + n + 1)n +
(1 + a b)n (2 + a c)n (1)n
+(a 2b 2c + 2)(c + n 1)(1 + a c + n)} /(c 1) =

= (a 2c + 2)(a b c + 1)

(a)n (b)n (c 1)n


,
(1 + a b)n (2 + a c)n (1)n

26

Sries hipergeomtricas

que igual ao coeciente na direita de (1.32).


Seja z 1 na relao anterior. Para as sries serem convergentes, Re(a 2b 2c) > 0. Ento,
F

3 F2 [a, b, c; 1 + a b, 1 + a c; 1]
1 + 1 a c (1 + a b c)
2
3 F2 [a, b, c
1
(1 + a c) 1 + 2 a b c

1; 1 + a b, 2 + a c; 1].

Agora escrevendo c 1 em vez de c, e repetindo o processo n vezes, temos


F =

1
1 + 2a c

(1 + a b c)n

(1 + a c)n 1 + 1 a b c
2

3 F2 [a, b, c

n; 1 + a b, 1 + a c + n; 1].

Quando n ,
(c n)r
(1)r ,
(1 + a c + n)r

de forma que, se Re(b) < 1,


1
1
F = 1 + a c, 1 + a b c; 1 + a c, 1 + a b c
2
2

2 F1 [a, b; 1

+ a b; 1].

A srie 2 F1 [1] pode ser somada pelo Teorema de Kummer 1.7.4. Assim,
+ a b, 1 + a c; 1] =
1
1
1
1
= 1 + a, 1 + a b c, 1 + a b, 1 + a c; 1 + a, 1 + a b c, 1 + a b, 1 + a c .
2
2
2
2
3 F2 [a, b, c; 1

Por continuao analtica, podemos dispensar a condio Re(b) < 1, de forma a que o resultado
1
possua a condio de convergncia Re 2 a b c > 1 Re(a 2b 2c) > 3.

O Teorema de Dixon apresenta a soma de uma srie 3 F2 [1] bem equilibrada. Em particular,
se c = n, o resultado reduz-se a
3 F2 [a, b, n, 1 + a b, 1 + a + n; 1] =

(1 + a)n 1 + 1 a b
2
1 + 1a
2

(1 + a b)n
n

Finalmente, quando c , o Teorema de Dixon reduz-se ao Teorema de Kummer.


O ltimo resultado no grupo dos teoremas fundamentais o Teorema de Dougall que
apresenta a soma de uma srie 7 F6 [1] bem equilibrada.

1.7. Teoremas e Identidades fundamentais

27

Teorema 1.7.6 (Teorema de Dougall) [26] Se 1 + 2a = b + c + d + e n


7 F6

1
1
a, 1 + 2 a, b, c, d, e, n; 2 a, 1 + a b, 1 + a c, 1 + a d, 1 + a e, 1 + a + n; 1 =

(1 + a)n (1 + a b c)n (1 + a b d)n (1 + a c d)n


.
(1 + a b)n (1 + a c)n (1 + a d)n (1 + a b c d)n

(1.33)

Demonstrao:
Substituindo n por f e tendo em conta (1.2), (1.33) passa a
7 F6

a, 1 + 1 a, b, c, d, e, f ; 1 a, 1 + a b, 1 + a c, 1 + a d, 1 + a e, 1 + a f ; 1 =
2
2

(1 + a b)(1 + a c)(1 + a d)(1 + a f )(1 + a b c d)(1 + a b c f )

(1 + a)(1 + a b c)(1 + a b d)(1 + a c d)(1 + a b f )(1 + a c f )

(1 + a b d f )(1 + a c d f )
.
(1 + a d f )(1 + a b c d f )

O resultado verdadeiro quando f = 0. Vamos supor que verdadeiro quando f =


= 1, 2, . . . , 1 n. As funes Gama, do lado direito, so simtricas em b, c, d e f . Consequentemente, por esta simetria, o resultado verdadeiro quando c = 0, 1, 2, . . . , 1 n, e f
tem um valor qualquer, e quando d = 0, 1, 2, . . . , 1 n, e f tem um valor qualquer. Mas,
d = 1 + 2a b c e f.

Por conseguinte o resultado tambm verdadeiro quando c tem um dos 2n valores


0, 1, 2, . . . , 1 n, 1 + 2a b d e, 1 + 2a b d e + 1, . . . , 1 + 2a b d e + n 1,

e f tem um valor qualquer. Em particular, verdadeiro quando f = n. Neste caso (1.33)


pode ser rescrito como
(1 + a b)n (1 + a c)n (1 + a d)n (1 + a b c d)n 7 F6 [1]
= (1 + a)n (1 + a b c)n (1 + a b d)n (1 + a c d)n .

(1.34)

Esta equao expressa uma igualdade entre dois polinmios em c, ambos de grau 2n, quando
c assume qualquer um dos 2n valores anteriores. Vamos supor que em (1.34), c = a + n. Este
valor no um dos 2n valores, mas um plo do ltimo termo da srie 7 F6 . Podemos conferir
que (1.34) se verica para c = a + n, pois visto tratar-se de um plo, usamos apenas o ltimo
termo. Suponhamos que (1.34) vlida para f = 0, 1, 2, . . . , 1 n e para 2n + 1 valores c,
sendo a equao de grau 2n em relao a c. Esta equao tambm tem de ser satisfeita para
todos os valores de c quando f = n. Por induo verica-se para f = 0, f = 1 e assim
sucessivamente at f = n, para todos os valores de c.

28

Sries hipergeomtricas

Para alm das identidades e dos teoremas referidos, a segunda identidade de Euler e a
identidade de Kummer so de particular interesse.
A segunda identidade de Euler [26] dada por
2 F1 [a, c

b; c; z] = (1 z)a 2 F1 a, b; c;

z
1z

1
2

se |z| < 1 e Re(z) < .

Prova:
A srie da direita dada por

k=0

(a)k (b)k
(z)k (1 z)ak =
(c)k k!

k=0

(a)k (b)k
(z)k
(c)k k!

j=0

(a + k)j j
z .
j!

O coeciente de z n na ltima expresso


n
k=0

(a)k (b)k (1)k (a + k)nk


.
(c)k k!(n k)!

(1.35)

Observamos que
(a)n
a(a + 1) . . . (a + k 1)(a + k) . . . (a + n 1)
=
= (a + k)nk .
(a)k
a(a + 1) . . . (a + k 1)

e por (1.20)

1
(n)k (1)k
=
. Ento (1.35) igual a
(n k)!
n!
(a)n
n!

n
k=0

(b)k (n)k
.
(c)k k!

Aplicando o Teorema de Chu-Vandermonde 1.7.1, vericamos que a expresso anterior igual


ao coeciente da esquerda
(a)n (c b)n
.
n!(c)n

1.7. Teoremas e Identidades fundamentais

29

A primeira identidade de Kummer [14] dada por


0 F0 [z]1 F1 [a; c; z]

= 1 F1 [c a; c; z] .

Prova:
O primeiro factor a funo exponencial. O coeciente de z n , pelo produto de Cauchy,
das duas sries formais de potncias da esquerda, dado por
n
k=0

(a)k (1)k
1
(c)k k! (n k)!

Igualando (1.21) a (1.22) obtemos

1
n!

(a)k (1)k
n!
(c)k
k!(n k)!

1
n!

n
k=0

(a)k (1)k
n!
.
(c)k
k!(n k)!

(1)k (n)k
n!
=
e por sua vez
k!(n k)!
k!
n

(a)k (1)k (1)k (n)k


1
=
(c)k
k!
n!

1
n!

k=0

1
F [a, n; c; 1].
n!

k=0

k=0

(a)k (n)k
(c)k k!

(c a)

n
Pelo Teorema de Chu-Vandermonde 1.7.1, F [a, n; c; 1] =
. O resultado o
n!
(c)n n!
n-simo coeciente da srie da direita.

Henrici [14] menciona que numa srie hipergeomtrica do tipo p Fq quando q = p + 1


vlido o seguinte teorema:

Teorema 1.7.7 Sries do tipo


smbolos de Pochhammer.

p+1 Fp

podem ser expressas como produtos e quocientes de

Seguidamente apresentamos alguns exemplos de sries que podem ser expressas de acordo
com o teorema:
A srie 1 F0 com argumento um pode ser sempre somada e tem o valor zero:
1 F0 [n; 1]

= 0, n = 1, 2, . . . .

30

Sries hipergeomtricas

A srie 2 F1 com argumento um pode ser sempre somada pelo Teorema de Chu-Vandermonde
1.7.1:
2 F1 [a, n; c; 1]

(c a)n
, n = 0, 1, 2, . . . .
(c)n

A srie 3 F2 com argumento um pode ser somada pelo Teorema de Pfaff-Saalschtz 1.7.2,
se a soma dos parmetros denominador exceder em uma unidade a soma dos parmetros
numerador.
3 F2 [n, a, b; c, a

+ b + 1 c n; 1] =

(c a)n (c b)n
, n = 0, 1, 2, . . . .
(c)n (c a b)n

Outro caso da srie 3 F2 que pode ser somada, dada pelo Teorema de Dixon 1.7.5:
3 F2 [a, b, c; 1

+ a b, 1 + a c; 1] =

1
1
1
1
= 1 + a, 1 + a b, 1 + a c, 1 + a b c; 1 + a, 1 + a b, 1 + a c, 1 + a b c ,
2
2
2
2
1
Re 1 + a b c
2

> 0.

1.8 Sries de Appell


Na ponto 1.4 generalizmos a srie de Gauss aumentando o nmero de parmetros. Outra
forma de a generalizar passa pelo aumento do nmero de variveis que leva ao estudo das
sries duplas com duas variveis, designadas por sries de Appell. No captulo 4 estudaremos
funes de duas variveis totalmente regulares que so a base das funes da Anlise de
Cliord. Segundo Slater [26], o caso mais simples o produto de duas sries de Gauss

2 F1 [a, b; c; x] 2 F1 [a , b ; c ; y] =
m=0 n=0

(a)m (a )n (b)m (b )n xm y n
.
(c)m (c )n m!n!

Esta srie, em si mesma, no assinala nada de indito, mas se um ou mais dos trs pares de
produtos
(a)m (a )n , (b)m (b )n , (c)m (c )n

for substituido por um produto composto do tipo


(a)m+n ,

somos conduzidos para algumas sries completamente novas.

1.8. Sries de Appell

31

Surgem cinco possibilidades,

m=0 n=0

(a)m+n (b)m+n xm y n
(c)m+n m!n!

=
N =0 m=0

(a)N (b)N xm y N m
=
(c)N (N m)!m!

2 F1 [a, b; c; x

N =0

(a)N (b)N (x + y)N


(c)N N !

+ y].

Isto somente uma srie ordinria de Gauss. A soma obtida pelo teorema binomial. Agora

F1 [a; b, b ; c; x, y]
m=0 n=0

(a)m+n (b)m (b )n xm y n
.
(c)m+n m!n!

Esta a srie de Appell do primeiro tipo, que existe para todos os valores reais ou complexos
a, b, b , c, x e y , excepto se c for um inteiro negativo.

F2 [a; b, b ; c, c ; x, y]
m=0 n=0

(a)m+n (b)m (b )n xm y n
,
(c)m (c )n m!n!

existe para todos os valores reais ou complexos a, b, b , c, c , x e y , excepto se c, c forem


inteiros negativos.

F3 [a, a ; b, b ; c; x, y]
m=0 n=0

(a)m (a )n (b)m (b )n xm y n
,
(c)m+n m!n!

existe para todos os valores excepto se c for inteiro negativo.

F4 [a; b; c, c ; x, y]
m=0 n=0

(a)m+n (b)m+n xm y n
,
(c)m (c )n m!n!

existe para todos os valores excepto se c, c forem inteiros negativos.


O trabalho destas sries deve-se a Appell e a Kamp de Frit (1926) (ver Apndice B).
Uma grande parte do trabalho de investigao foi tambm realizado por Jakob Horn, que
publicou uma considervel documentao onde deniu trinta tipos de sries duplas (ver [15]),
incluindo sries com suxos do tipo m n, como os normais m + n suxos. Por outro lado,
as sries de Lauricella (ver Anexo C) so exemplos da generalizao a vrias variveis.
Podemos rescrever as sries em termos da srie de Gauss, de forma que

F1 [a; b, b ; c; x, y] =
m=0

(a)m (b)m xm
2 F1 [a + m, b ; c + m; y],
(c)m m!

F2 [a; b, b ; c, c ; x, y] =
m=0

(a)m (b)m xm
2 F1 [a + m, b ; c ; y],
(c)m m!

32

Sries hipergeomtricas

F3 [a, a ; b, b ; c; x, y] =
m=0

F4 [a; b; c, c ; x, y] =
m=0

(a)m (b)m xm
2 F1 [a , b ; c + m; y],
(c)m m!

(a)m (b)m xm
2 F1 [a + m, b + m; c ; y].
(c)m m!

Todas as quatro sries de Appell reduzem-se a sries ordinrias de Gauss 2 F1 [x] quando
y = 0. As primeiras trs sries tambm se reduzem a sries ordinrias 2 F1 [x] quando b zero.

1.9 Convergncia das sries duplas


Slater [26] prova que as quatro sries duplas F1 , F2 , F3 e F4 so convergentes, sob algumas
condies. O termo geral de F1
Amn xm y m c, a + m + n, b + m, b + n; a, b, b , c + m + n, m + 1, n + 1 xm y n .

Pela frmula de Stirling (ver [3]), o comportamento assimpttico para grandes valores de m
e n,
Amn c; a, b, b mb1 nb 1 (m + n)ac .

Seja N um inteiro negativo, tal que


N > c; a, b, b

ento
|Amn xm y n | < N |x|m |y|n (m + n)Re(ca) mRe(b)1 nRe(b )1 ,

de forma que F1 convergente quando |x| < 1 e |y| < 1. Reciprocamente, esta srie
divergente se |x| > 1 ou |y| > 1.
De igual modo, se o termo geral para F2 Amn xm y n , ento
|Amn xm y n | < N

(1)m+n
(m + n)Re(a)1 mRe(bc) nRe(b c ) |x|m |y|n .
(1)m (1)n

Se k um nmero positivo, tal que


k > max Re(b c), Re(b c ) ,

1.9. Convergncia das sries duplas

33

ento
mRe(bc) nRe(b c ) < mk nk

2k

1
(m + n)
2

de forma que

N
4k

|Amn xm y n | <
m=0 n=0

N
4k

<

(1)m+n
(m + n)2k+Re(a)1 |x|m |y|n
(1)m (1)n

m=0 n=0

2k+Re(a)1

(|x| + |y|) ,

r=0

onde r = m + n. Esta srie convergente quando |x| + |y| < 1. Logo, F2 convergente quando
|x| + |y| < 1.
Para a srie F3 , antende-se que
|Amn xm y n | < N mRe(a+b)2 nRe(a +b )2 (m + n)1Re(c)

(1)m (1)n m n
|x| |y| ,
(1)m+n

a qual
|Amn xm y n | < N mRe(a+b)2 nRe(a +b )2 (m + n)1Re(c) |x|m |y|n ,

logo a srie convergente quando |x| < 1 e |y| < 1.


Finalmente, para F4 , vemos
m n

Re(a+b)2

|Amn x y | < N (m + n)

1Re(c) 1Re(c )

(1)m+n
(1)m (1)n

|x|m |y|n .

Novamente, se k um nmero positivo tal que


k > max 1 Re(c), 1 Re(c ) ,

ento

|Amn xm y n | <
m=0 n=0

N
4k

(m + n)2k+Re(a+b)2
m=0 n=0

r2k+Re(a+b)2

<
r=0

s=0

r2k+Re(a+b)2

<

r
s

|x| +

(1)m+n
(1)m (1)n

|x|m |y|n

|x|rs |y|s , onde r = m + n


|y|

2r

r=0

sendo a srie convergente se


condio.

|x| +

|y| < 1. Por conseguinte F4 convergente sob a mesma

34

Sries hipergeomtricas

1.10 Equaes diferenciais parciais satisfeitas pelas sries de


Appell
De acordo com Slater [26], se

Amn xm y n ,

F1 =
m=0 n=0

ento
Am+1,n =

(a + m + n)(b + m)
Am,n
(1 + m)(c + m + n)

Am,n+1 =

(a + m + n)(b + n)
Am,n .
(1 + n)(c + m + n)

Seja
x

e y
x
y

ento F1 , satisfaz o sistema de equaes diferenciais

Seja agora p

1
( + + a)( + b) x ( + + c 1) z = 0
1
( + + a)( + b ) x ( + + c 1) z = 0.

z
z
z z
z 2
z 2
, q
, r
, s
e t 2.
x
y
x y
x2
y

Ento F1 satisfaz as equaes

x(1 x)r + y(1 x)s + {c (a + b + 1)x} p byq abz = 0


y(1 y)t + x(1 y)s + {c (a + b + 1)y} q b xp ab z = 0.

De igual modo, F2 satisfaz as equaes

x(1 x)r xys + {c (a + b + 1)x} p byq abz = 0

y(1 y)t xys + {c (a + b + 1)y} q b xp ab z = 0,


F3 satisfaz

x(1 x)r + ys + {c (a + b + 1)x} p abz = 0


y(1 y)t + xs + {c (a + b + 1)y} q a b z = 0,

1.10. Equaes diferenciais parciais satisfeitas pelas sries de Appell


e F4 satisfaz

x(1 x)r y 2 t 2xys + cp (a + b + 1)(xp + yq) abz = 0


y(1 y)t x2 r 2xys + c q (a + b + 1)(xp + yq) abz = 0.

35

36

Sries hipergeomtricas

Captulo 2

Sries hipergeomtricas e polinmios


ortogonais clssicos
2.1 Relao entre sries hipergeomtricas e equaes diferenciais
A maioria das sries hipergeomtricas satisfazem equaes diferenciais particulares. Neste
ponto, com base em Henrici [14] partimos da srie hipergeomtrica generalizada para chegarmos equao diferencial e vice-versa.
Seja o operador diferencial que transforma z n em nz n1 . Para propsitos formais trabalhamos com o operador diferencivel := z em vez de . Ento para n = 0, 1, 2, . . .,
z n = nz n . Produtos, somas e multiplicaes escalares de sa denidos da mesma forma.

Exemplo 2.1.1 O operador 2 3 + 1 aplicado a z n , tranforma-se em


mesmo resultado pode ser obtido pelo operador z 2 2 2z + 1.

n2 3n + 1 z n .

Seja Pn o n-simo termo da srie hipergeomtrica generalizada, ou seja,

Pn =

(a1 )n . . . (ap )n n
z .
(b1 )n . . . (bq )n n!

37

38

Sries hipergeomtricas e polinmios ortogonais clssicos

Operando em P com + c (c = 0, b1 1, . . . , bq 1), acrescentamos o operador n + c ao


numerador, ou seja,
(a1 )n . . . (ap )n n(n + b1 1) . . . (n + bq 1) n
z
(b1 )n . . . (bq )n n!
(a1 )n . . . (ap )n
=
zn
(b1 )n1 . . . (bq )n1 (n 1)!
= z ( + a1 ) . . . ( + ap ) Pn1 .
(2.1)

( + b1 1) . . . ( + bq 1) Pn =

Teorema 2.1.2 Sejam a1 , a2 , . . . , ap ; b1 , b2 . . . , bq elementos arbitrrios de F tal que nenhum bi zero ou um inteiro negativo. Ento a srie hipergeomtrica generalizada

p Fq [a1 , . . . , ap ; b1 , . . . , bq ; z]

=
n=0

(a1 )n (a2 )n . . . (ap )n z n


(b1 )n (b2 )n . . . (bq )n n!

a nica soluo da equao diferencial formal


( + b1 1) . . . ( + bq 1) P = z ( + a1 ) . . . ( + ap ) P,

(2.2)

onde o coeciente de z 0 1.

Demonstrao:
P = F a soluo, que pode ser observada comparando os termos envolvendo z n em

ambos os lados de (2.2), usando (2.1). Seja P = c0 + c1 z + c2 z 2 + . . . a soluo, e assuma-se


que
cm =

(a1 )m . . . (ap )m
(b1 )m . . . (bq )m m!

verdade para m = n. Ento o coeciente de z n+1 na direita de (2.2)


(a1 + n) . . . (ap + n) cn

(2.3)

(n + 1) (b1 + n) . . . (bq + n) cn+1 .

(2.4)

e na esquerda
Igualando (2.3) a (2.4) e visto que nenhum dos factores n + 1, b1 + n, . . . , bq + n nulo, temos
cn+1 =

(a1 + n) . . . (ap + n)
cn .
(b1 + n) . . . (bq + n)(n + 1)

O resultado por induo em relao a n.

2.1. Relao entre sries hipergeomtricas e equaes diferenciais

39

A equao (2.2) pode ser reescrita como


z

d
dz

d
+ b1 1
dz

d
d
+ b2 1 . . . z
+ bq 1
dz
dz
d
d
d
z
z z
+ a1
+ a2 . . . z
+ ap
dz
dz
dz

P = 0,

denominada por equao diferencial hipergeomtrica generalizada.

Exemplo 2.1.3 Vamos determinar a equao satisfeita pela srie de Gauss F [a, b; c; z]. Pelo
Teorema 2.1.2, a srie a nica soluo formal, com coeciente inicial igual a 1 da equao
( + c 1)P = z( + a)( + b)P.

Na notao convencional aparece como


z(1 z)P + [c (a + b + 1)z] P abP = 0.

Expressando em termos de , a equao diferencial (2.2) assume a forma


z q+1 q+1 + sq z q q + . . . + s1 z P = z z p p + rp1 z p1 p1 + . . . + r0 P

(2.5)

onde r0 , . . . , rp1 e s1 , . . . , sq so constantes dependentes de ai e bj , respectivamente.


Uma questo surge-nos: todas as equaes diferenciais na forma anterior, podem ser
solucionadas formalmente por um srie conveniente?
Num primeiro plano h que escrever os operadores diferenciais que aparecem dentro dos
parentses em (2.5) como polinmios em . De forma a utilizar o Teorema 2.1.2, escrevemos
estes polinmios como produtos dos factores lineares + bj 1 e + ai , respectivamente. Ou
seja, no campo dos nmeros complexos, a equao diferencial (2.5) pode ser sempre reduzida
forma (2.2). Se bj zero ou um inteiro negativo, no existe soluo na forma de srie
hipergeomtrica generalizada.
As equaes diferenciais na forma (2.5) so facilmente reconhecidas, se denirmos o peso
do termo z n m por n m, onde os mais pesados de todos os termos em (2.5) so 0 e 1.

Exemplo 2.1.4 Consideramos a equao zP + (c z)P aP = 0.


Os termos mais pesados so 0 e 1. Tornam-se 1 e 0 se multiplicarmos a equao por z,
z 2 2 + cz P = z (z + a) P.

40

Sries hipergeomtricas e polinmios ortogonais clssicos

Como z 2 2 = 2 , ento
2 + (c 1) P = z( + a)P

est na forma indicada para se utilizar o Teorema 2.1.2, onde p = q = 1, a1 = a, b1 = c.


Assim, se c = 0, 1, 2, . . . a equao tem a soluo formal P = 1 F1 [a; c; z], a nica soluo
com o coeciente z 0 igual a 1.

2.2 Polinmios ortogonais


Os polinmios ortogonais clssicos podem ser escritos como sries hipergeomtricas atravs
do processo referido no ponto 1.6, onde so calculados os seus factores comuns e o quociente
entre dois dos seus termos consecutivos. Do ponto de vista das sries hipergeomtricas conseguimos provar com base no Teorema 2.1.2, que o polinmio associado de Laguerre satisfaz
uma equao diferencial. Os restantes polinmios no satisfazem o teorema pois as variveis
so modicadas, ou seja, so combinaes da varivel z . Neste ponto utilizamos as sries ordinrias que denem os polinmios ortogonais e as equaes diferenciais satisfeitas por estes,
que constam nas obras [2] e [24].
O polinmio associado de Laguerre

L (z)
n

(1)k

=
k=0

n + zk
com 0 z ,
n k k!

> 1 e n = 0, 1, 2, . . ., pode ser escrito como srie hipergeomtrica da forma


L (z) =
n

( + 1)n
1 F1 [n; + 1; z]
n!

(2.6)

e satisfaz a equao diferencial


z (L (z)) + (1 + z) (L (z)) + nL (z) = 0.
n
n
n

Se = 0 est-se perante o usual polinmio de Laguerre.

(2.7)

2.2. Polinmios ortogonais

41

Prova:
n+
. O quociente de dois termos consecutivos
n

O factor comum t0 =
tk+1
tk

=
=

(1)(n k)!( + k)!k!


z
(n k 1)!( + k + 1)!(k + 1)!
kn
z.
(k + + 1)(k + 1)

Logo escrevemos o polinmio da seguinte forma


L (z) =
n

( + 1)n
1 F1 [n; + 1; z] .
n!

Pelo Teorema 2.1.2 o polinmio associado de Laguerre satisfaz a equao diferencial


( + )L (z) = z( n)L (z).
n
n

Na notao convencial, surge como


z(z + )L (z) = z(z n)L (z) z (L (z)) + (1 + z) (L (z)) + nL (z) = 0.
n
n
n
n
n

O polinmio de Legendre Pn (z) =

n
k=0

n
k

n 1
k

1z
2

n = 0, 1, 2, . . ., pode ser escrito como srie hipergeomtrica da forma


Pn (z) = 2 F1 n, n + 1; 1;

1z
2

e satisfaz a equao diferencial


(1 z 2 )Pn (z) 2zPn (z) + n(n + 1)Pn (z) = 0.

com 1 z 1 e

42

Sries hipergeomtricas e polinmios ortogonais clssicos


Prova:
O factor comum t0 = 1. O quociente de dois termos consecutivos
tk+1
tk

=
=

k!(n k)!k!(n k 1)!


(k + 1)!(n k 1)!(k + 1)!(n k 2)!
(k n)(k + n + 1) 1 z
.
(k + 1)(k + 1)
2

1z
2

Logo podemos escrever o polinmio da seguinte forma


Pn (z) = 2 F1 n, n + 1; 1;

O polinmio de Hermite Hn (z) = n!

m
k=0

1z
.
2

(1)k (2z)n2k
com < z < , m =
k!(n 2k)!

= Int(n/2) e n = 0, 1, 2, . . ., pode ser escrito como srie hipergeomtrica da forma


n 1n
; z 2
Hn (z) = (2z)n 2 F0 ,
2
2

e satisfaz a equao diferencial


Hn (z) 2zHn (z) + 2nHn (z) = 0.

Prova:
O factor comum t0 = (2z)n . O quociente de dois termos consecutivos
tk+1
(1)(2z)2 k!(n 2k)!
=
=
tk
(k + 1)!(n 2k 2)!

n
2

n 1
+
2 2

k+1

Logo, o polinmio pode ser apresentado da seguinte forma


n 1n
Hn (z) = (2z)n 2 F0 ,
; z 2 .
2
2

z 2 .

2.2. Polinmios ortogonais

43
m

n
(1)k n k
(2z)n2k com
O Polinmio de Chebyshev da espcie Tn (z) =
2
nk
k
k=0
1 z 1, m = Int(n/2) e n = 1, 2, 3, . . ., pode ser escrito como srie hipergeomtrica da
1a

forma
n n 1
Tn (z) = 2n1 z n 2 F1 , + ; n + 1; z 2
2
2 2

e satisfaz a equao diferencial


(1 z 2 )Tn (z) zTn (z) + n2 Tn (z) = 0.

Prova:
O factor comum t0 = 2n1 z n . O quociente de dois termos consecutivos
tk+1
tk

(1)(n k 1)!(n k)k!(n 2k)!


(2z)2
(n k 1)(k + 1)!(n 2k 2)!(n k)!
n
n 1
k
k +
2
2 2 2
z .
(k + 1)(k n + 1)

Logo podemos escrever o polinmio da seguinte forma


n n 1
Tn (z) = 2n1 z n 2 F1 , + ; n + 1; z 2 .
2
2 2

O Polinmio de Chebyshev da

2a

espcie

(1)k

Un (z) =
k=0

nk
(2z)n2k com
k

1 z 1, m = Int(n/2) e n = 0, 1, 2, . . ., pode ser escrito como srie hipergeomtrica da

forma
n n 1
Un (z) = (2z)n 2 F1 , + ; n; z 2
2
2 2

e satisfaz a equao diferencial


(1 z 2 )Un (z) 3zUn (z) + n(n + 2)Un (z) = 0.

44

Sries hipergeomtricas e polinmios ortogonais clssicos


Prova:
O factor comum t0 = (2z)n . O quociente de dois termos consecutivos
tk+1
tk

(1)(n k 1)!k!(n 2k)!


(2z)2
(k + 1)!(n 2k 2)!(n k)!
n 1
n
k +
k
2
2 2 2
z .
(k n)(k + 1)

O polinmio escrito da seguinte forma


n n 1
Un (z) = (2z)n 2 F1 , + ; n; z 2 .
2
2 2

O Polinmio de Gegenbauer

Cn (z)

1
=
()

(1)k
k=0

( + n k)
(2z)n2k com 1
k!(n 2k)!

z 1, m = Int(n/2), n = 0, 1, 2, . . ., > 1 e = 0, pode ser escrito como srie hipergeo2

mtrica da forma

Cn (z) =

( + n)
n n 1
(2z)n 2 F1 , + ; n + 1; z 2
()n!
2
2 2

e satisfaz a equao diferencial

(1 z 2 ) (Cn (z)) 2( + 1)z (Cn (z)) + n(n + 2)Cn (z) = 0.

Prova:
O factor comum t0 =
tk+1
tk

( + n)
(2z)n . O quociente de dois termos consecutivos
n!

=
=

(1)( + n k 2)!k!(n 2k)!


(2z)2
( + n k 1)!(k + 1)!(n 2k 2)!
(k n )(k n + 1 ) 2
2
2
2
z .
(k n + 1)(k + 1)

2.2. Polinmios ortogonais

45

Por conseguinte, escrevemos o polinmio da seguinte forma


n n 1
( + n)
(2z)n 2 F1 , + ; n + 1; z 2 .
()n!
2
2 2

Cn (z) =

1
n+ n+
(z 1)nk (z + 1)k com
n
2
k
nk
k=0
1 z 1, n = 0, 1, 2, . . ., > 1 e > 1 pode ser escrito como srie hipergeomtrica da
(,)
O Polinmio de Jacobi Pn (z) =

forma
(,)
Pn
(z) =

1 n+
z+1
(z 1)n 2 F1 n , n; beta + 1;
n
n
2
z1

e satisfaz a equao diferencial


(,)
(z)
(1 z 2 ) Pn

(,)
+ ( ( + + 2)z) Pn
(z)

(,)
+ n(n + + + 1)Pn
(z) = 0.

Prova:
n+
O factor comum t0 =
(z 1)n . O quociente de dois termos consecutivos
n

tk+1
tk

=
=

(n + k)!(n k)!( + k)!k!


z+1
(n + k 1)!(n k 1)!( + k + 1)!(k + 1)! z 1
(k n )(k n) z + 1
.
(k + + 1)(k + 1) z 1

O polinmio escrito da seguinte forma


(,)
Pn
(z) =

z+1
1 n+
(z 1)n 2 F1 n , n; beta + 1;
.
n
n
2
z1

Outra forma de representao do polinmio de Jacobi, Gn (p, q, z), que depende de Pn


Gn (p, q, z) =

n!(n + p) (pq,q1)
P
(2z 1).
(2n + p) n

46

Sries hipergeomtricas e polinmios ortogonais clssicos

Captulo 3

Elementos da Anlise de Clifford

Este captulo baseado essencialmente nas obras [7, 8, 9, 19, 20, 21, 22].
A Anlise de Clifford uma designao atribuida a todos as reas da Anlise multidimensional que trabalham na base de fundamentos algbricos mais gerais, que o corpo dos nmeros
complexos. O nmeros de reas muito extenso e inclui, alm de outras a anlise harmnica,
a teoria do potencial e a geometria diferencial.
Uma lgebra de dimenso nita, com um elemento unidade no corpo dos nmeros reais
ou complexos, foi antigamente conhecida como um sistema hipercomplexo. A denio de
sistema hipercomplexo de nmeros pode incluir a exigncia da multiplicao associativa.
Como exemplos de sistemas hipercomplexos, temos os nmeros reais e os complexos, os
quaternies, os nmeros de Cayley, os nmeros de Clifford (para n = 3 so conhecidos como
nmeros de Clifford-Lipschitz) e as lgebras de matrizes sobre R. Os nmeros de Clifford
tm uma representao isomrca como elementos de uma matriz algbrica (2n 2n ). A
representao matricial dos nmeros complexos e dos quaternies so os casos especiais mais
conhecidos. As lgebras de Clifford, como lgebras associativas no comutativas sobre o
corpo dos nmeros reais ou complexos podem ser denidas atravs de mtodos diferentes,
mas a forma mais fcil introduzir a base da lgebra, atravs das regras da multiplicao de
uma base ortonormal (ONB) sobre o espao vectorial de dimenso n.
47

48

Elementos da Anlise de Clifford

3.1 Denio de lgebra de Clifford


Denio 3.1.1 Seja {e1 , . . . , en } uma base ortonormada (ONB) de Rn com um produto de
acordo com as regras da multiplicao
(3.1)

ek el + el ek = 2kl e0 (k, l = 1, . . . , n)

onde kl o smbolo de Kronecker. Este produto no comutativo, gera a lgebra de Clifford


C 0,n sobre R de dimenso 2n . A lgebra de Cliord C 0,n construda sobre R o conjunto
de todos os nmeros Cl0,n tal que
=

A eA
A

com a base {eA : A {1, . . . , n}} formada por


eA = eh1 eh2 . . . ehr , 1 h1 < . . . < hr n, e = e0 = 1, ei = e{i} (i = 1, 2, . . . , n)

onde as componentes A so nmeros reais. O conjugado do elemento denido por


=
A eA , onde
A

eA = ehr ehr1 . . . eh1 ; ek = ek (k = 1, . . . , n); e0 = e0 = 1.

Para quaisquer , C

0,n

denimos um produto interno em C


(, ) =

0,n

da seguinte forma

A A
A

e denimos uma norma


|| =

1
2

|A |

(3.2)

com

|| 2n ||||.

Neste sentido, C
de Hilbert.

0,n

uma lgebra linear, associativa mas no comutativa sobre R e um espao

Por outro lado, seja C

0,n

o subespao real constituido pelos elementos da forma especial


m

k ek
k=0

(m n),

3.1. Denio de lgebra de Clifford

49

que so denominados por nmeros hipercomplexos. Assim, para os nmeros hipercomplexos ,


m
2

2
k

= || =
k=0

|| = ||||,

onde para cada = 0 C

0,n

o seu inverso
1 =

.
||2

De salientar que o vector x = (x1 , . . . , xn ) Rn aparece como um elemento de C 0,n na


forma x = x = x1 e1 . . . xn en denominado, 1-vector, enquanto que o escalar real x0 na forma
x = x0 e0 = x0 designa-se por 0-vector. Neste sentido usual considerar uma graduao dos
elementos de C 0,n em relao cardinalidade de A {1, . . . , n}, que conduz aos subconjuntos
de n 2 vectores ou bi-vectores, n 3 vectores at 1 = n 2n vectores.
n
3
2
A teoria das funes complexas de vrias variveis complexas, usa para a descrio do conjunto do domnio, a lgebra dos nmeros complexos combinando 2n variveis reais (x1 , . . . , xn ,
y1 , . . . , yn ) R2n com um vector de n variveis complexas (z1 , . . . , zn ) Cn , zk = xk + iyk ,
k = 1, . . . , n. Logo possvel realizar a transformao inversa da varivel do complexo para o
real, com o auxlio do vector dos seus conjugados (z 1 , . . . , z n ) na forma
1
xk = (z k + zk )
2

(3.3)

i
(3.4)
yk = (z k zk ),
2
para k = 1, . . . , n. Neste caso identicamos R2n Cn . Em particular, a propriedade local
=

da diferenciabilidade complexa de uma funo f : Cn C implica que f pode ser


considerada como uma funo de zk , k = 1, . . . , n e no de z k , k = 1, . . . , n. Tal deve-se
ao facto de ser localmente aproximvel por uma aplicao linear (o diferencial) do vector
(dz1 , . . . , dzn ). Uma importante consequncia a representao de f : Cn C, usando
sries de potncias mltiplas em (z1 , . . . , zn ).
De forma a termos o domnio de uma estrutura hipercomplexa, usual identicarmos
pontos de Rn+1 denotados por x = (x0 , . . . , xn ) = (x0 , x) com a varivel hipercomplexa
z = x0 + x1 e1 + . . . + xn en C

0,n

:= spanR {1, e1 , . . . , en },

50

Elementos da Anlise de Clifford

denominada para-vector, o que signica 0 vector + 1 vector. O conjugado de z dado


por z = x0 x1 e1 . . . xn en .
A extenso de (3.2) para a norma de C 0,n faliciosa e conduz-nos a
1
2

1
2

2
A

A diferenciabilidade usual generalizada para a teoria das funes hipercomplexas, considera funes com valores C 0,n da forma f (z) =
fA (z)eA , fA (z) R, como aplicaes
A

f : Rn+1 C
=

0,n

0,n .

Uma segunda estrutura hipercomplexa de Rn+1 consiste no seguinte isomorsmo


Rn+1 Hn = {z : z = (z1 , . . . , zn ), zk = xk x0 ek ; x0 , xk R} ,
=

o qual signica realizar n copias Ck de C onde i ek , (k = 1, . . . , n); x0 Re z ; xk Im z


=
=
=
n o produto cartesiano Hn := C . . . C e as funes
onde z C e Ck := ek C. Ento H
1
n
f (z) =
fA (z)eA com valores Cl0,n , so consideradas como aplicaes
A

f : Rn+1 Hn C
=

0,n .

3.2 Diferenciabilidade Hipercomplexa


A abordagem de Cauchy para funes holomorfas de uma varivel complexa est relacionada com o conceito de diferenciabilidade complexa. O primeiro passo para a conveniente
generalizao dessa abordagem na teoria das funes hipercomplexas resulta pela considerao
da estrututa da aplicao linear L(Hn ; C 0,n ).
Para determinarmos a forma geral da aplicao linear de Hn em C 0,n , temos de ter em
conta que a aplicao linear usada tem de ser C 0,n -linear e que gera apenas um mdulo sobre
o anel no comutativo, a no ser que n = 1.
Hn um subconjunto especial do n-simo produto cartesiano (C 0,n )n de C 0,n , mas no
um submdulo C 0,n , desde que
z, z Hn R.

3.2. Diferenciabilidade Hipercomplexa

51

Contudo, o embebimento de Hn no mdulo esquerdo (direito) (Cl0,n )n permite-nos usar


as propriedades de C 0,n para descrever a aplicao linear C 0,n de Hn em C 0,n .

Denio 3.2.1 Se u, v (C

n
0,n )

eC

0,n

ento

: Hn (C

n
0,n )

denomina-se aplicao linear de Hn em (Cl0,n )n se


(u + v) = (u) + (v),

no caso de uma aplicao linear esquerda se


(u + v) = (u) + (v)

denomina-se aplicao linear direita.

Teorema 3.2.2 [22] Qualquer aplicao L ( R ) L(Hn ; C 0,n ), C


direita) pode ser representada de uma nica maneira, na forma

0,n

linear esquerda (

L (z)

0,n

(3.5)

R (z)

onde Ak C

= z 1 A1 + . . . + zn An
= A1 z 1 + . . . + An zn ,

(3.6)

, (k = 1, . . . , n).

Demonstrao:
Seja sk = (0, . . . , 0, 1, 0, . . . , 0), (k = 1, . . . , n) elementos da base cannica do mdulo
(C 0,n )n . Ento temos a representao da base cannica esquerda ( direita)
z = z1 s1 + . . . + zn sn
z = s1 z1 + . . . + sn zn

de z Hn , considerado como um elemento de (C 0,n )n .


Uma vez que zk sk Hn , apenas o embebimento de Hn em (C
estas representaes, que nos conduzem a
L (z)

= z 1 A1 + . . . + zn An

R (z)

= A1 z1 + . . . + An zn

n
0,n )

permite-nos escrever

52

Elementos da Anlise de Clifford

com Ak =

L (sk ),

respectivamente Ak =

R (sk ),

k = 1, . . . , n.

A unicidade segue do facto de as componentes de z formarem uma base para o dual


algbrico LL (Hn , C 0,n ), respectivamente LR (Hn , C 0,n ) de Hn . De facto, z1 , . . . , zn so C 0,n
linearmente independentes esquerda ( direita). Por exemplo, no caso direita
1 z1 + . . . + n zn = 1 x1 + . . . + n xn x0 (1 e1 + . . . + n en ) = 0,

com k C

0,n ,

k = 1, . . . , n, temos k 0. O mesmo acontece no caso esquerda.

Segue como corolrio que as componentes de z formam uma base para os duais algbricos
n
n
n
n
n
L (H ; (C 0,n ) ), respectivamente R (H ; (C 0,n ) ) de H .
Estamos agora em condies de denir o produto interno para vrias variveis complexas
n

(z, ) = (, z) =

(3.7)

zk k ,
k=1

consequentemente
1

z = (z, z) 2

1
2

zk zk
k=1
1

= (nx2 + x2 + . . . + x2 ) 2 .
0
1
n

Geralmente para (n 1) no existe uma relao isomtrica entre Rn+1 e Hn tal como entre
R2 e C; mas para x Rn+1 e z Hn ,
1

n 2 z |z| = |x| z .

(3.8)

3.2. Diferenciabilidade Hipercomplexa

53

3.2.1 Denio de derivada hipercomplexa

Denio 3.2.3 Seja f uma aplicao contnua numa vizinhana de z Hn em C 0,n . Ento f denominada por derivada hipercomplexa esquerda (respectivamente derivada
hipercomplexa direita) em z se existe uma aplicao linear C 0,n esquerda (respectivamente direita) tal que
lim

z0

|f (z + z) f (z ) (z)|
= 0.
z

A funo f diferencivel hipercomplexa


hipercomplexa em todos os pontos de .
A aplicao linear
da funo f .

L( R)

em Rn+1 Hn
=

(3.9)

se for diferencivel

designa-se derivada hipercomplexa esquerda ( direita) fL (fR )

Nota: Com base em (3.5), (3.6) e (3.8) a relao (3.9) equivalente a

f ( + ) f ( ) = z1 A1 + . . . + zn An + o( z ),
z
z
z

no caso diferencivel hipercomplexo esquerda onde Ak C


lim

z0

0,n

(3.10)

o( z )
= 0.
z

(Anlogamente para o caso diferencivel direita). #


Relembramos que para uma aplicao f de C

0,n

em C

0,n

obtemos

f (z + z) f (z) = Az + o(|z|),

como exige a denio de diferenciabilidade.


Hn

Como consequncia do teorema relativo representao nica das aplicaes lineares de


em C 0,n , segue o teorema:

Teorema 3.2.4 Se f (z) diferencivel hipercomplexa esquerda ( direita), ento a correspondente aplicao linear (derivada esquerda ( direita)) determinada de forma nica.

54

Elementos da Anlise de Clifford

3.2.2 Diferenciabilidade hipercomplexa e monogenicidade


De forma a observarmos que o conceito de diferenciabilidade hipercomplexa representa a
abordagem de Cauchy na teoria das funes monognicas, provemos o seguinte teorema:

Teorema 3.2.5 Seja f = f (z) diferencivel real continuamente num conjunto aberto
Hn . Ento f diferencivel hipercomplexa esquerda ( direita) em se e s se Df = 0
(f D = 0) em , onde D o operador diferencial hipercomplexo
D=

+ e1
+ . . . + en
,
x0
x1
xn

(3.11)

que actua na funo f a partir da esquerda (respectivamente direita) como indica a sua posio
no lado esquerdo (direito) de f .

Demonstrao:
Consideramos apenas funes diferenciveis esquerda. A demonstrao para as funes
diferenciveis direita anloga. Da suposio da diferenciabilidade real, segue que o incremento de f (z) tem a forma
f (z + z) f (z) =

f
o (|x|)
f
x0 + . . . +
xn + o (|x|) onde lim
= 0.
x0 |x|
x0
xn

Atravs da transformao
x0 = z0 , xk = z0 ek + zk , k = 1, . . . , n

(3.12)

com o inverso
z0 = x0 , zk = xk x0 ek , k = 1, . . . , n

juntamente com a propriedade da norma (3.8), obtemos


f (z) = z0 Df + z1

f
f
+ . . . + zn
+ o ( z ) .
x1
xn

(3.13)

Df = 0 condio necessria para a diferenciabilidade esquerda, que segue da forma do

incremento de uma funo diferencivel hipercomplexa, a nica determinao de L e a C 0,n


independncia linear de z0 , z1 , . . . , zn , isto , do Teorema 3.2.2. Df = 0 tambm uma
condio suciente para a diferenciabilidade esquerda, que surge da Denio 3.2.3.

3.2. Diferenciabilidade Hipercomplexa

55

Nota:
1. Para a demonstrao do caso de diferenciabilidade direita, (3.12) tem de ser substituido
pela transformao "direita" x0 = z0 e xk = ek z0 + zk .
2. Obtemos o mesmo resultado pela aplicao de
1
(z + e1 z1 + . . . + en zn )
n+1

(3.14)

1
(ek z + ek e1 z1 + . . . + nzk + . . . + ek en zn )
n+1

(3.15)

x0 =
xk =

para k = 1, . . . , n, a transformao que inversa a


z = x0 e1 x1 . . . en xn , zk = ek x0 + xk , k = 1, . . . , n.

(3.16)

Em vez de (3.13), f (z) torna-se igual a


f (z) =

1
f Dz +
n+1

f
1
f De1 z1 + . . . +
+
x1 n + 1
f
1
+
+
f Den zn + o( z )
xn n + 1
1

e D pode ser alterado por


D, o que ilustra o papel do factor na derivada parcial
n+1
2
complexa (3.19) (o caso n = 1).
3. Para n = 1, (3.13) toma a seguinte forma
f
f
f
+
e1 z0 +
z1 + o( z1 )
x0 x1
x1
f
= f Dz0 +
z1 + o( z1 ).
x1

f (z) =

Comparando com a forma complexa usual


1
1
f (z) = f Dz + f Dz + o( z )
2
2

e vemos que em vez de D o gradiente


importante.
#

,...,
x1
xn

(3.17)

(ver [28]) tem um papel mais

56

Elementos da Anlise de Clifford

Exemplo 3.2.6 Consideremos o polinmio


1
h(x) = x1 x2 x0 x2 e1 x0 x1 e2 = [z1 z2 + z2 z1 ],
2

(3.18)

ento
1
h(z) = [(z1 + z1 )(z2 + z2 ) + (z2 + z2 )(z1 + z1 ) (z1 z2 + z2 z1 )]
2
1
= [(z1 z2 + z1 z2 + z2 z1 + z2 z1 ) + (z1 z2 + z2 z1 )]
2
= z1 z2 + z2 z1 + o( z )
= z1 z2 + z2 z1 + o( z ).

Uma vez que z1 z2 + z1 z2 = z2 z1 + z2 z1 , segue pela denio (3.2.3), que h(z) diferencivel hipercomplexa esquerda ( direita).
A relao do operador diferencial D denido por (3.11), com o operador diferencial parcial
complexo
1

=
+i
,
(3.19)
z

x0

x1

onde z = x0 + ix1 evidente.

Denio 3.2.7 O operador D denominado por operador generalizado de CauchyRiemann e as solues de Df = 0 (respectivamente f D = 0) so denominadas por funes
monognicas esquerda ( direita). O operador
D=

designa-se por operador

e1
. . . en
x0
x1
xn

(3.20)

generalizado conjugado de Cauchy-Riemann.

Exemplos 3.2.8

As variveis hipercomplexas
1
fk (z) = zk := xk x0 ek = [zek + zek ], k = 1, . . . , n
2

so funes monognicas esquerda e direita.

A funo f (z) = z C
= 1 n.

0,n

apenas monognica se n = 1, uma vez que Df = f D =

3.2. Diferenciabilidade Hipercomplexa

57

Potncias de z , isto , f (z) = z n e produtos de variveis totalmente regulares zj zk ,


j = k , no so monognicas.

Produtos simtricos de variveis totalmente regulares na forma


1
[zj zk + zk zj ] = xj xk x0 xk ej x0 xj ek
2

so monognicas esquerda e direita.

Em C para uma funo holomorfa


f
df
f
i
=2
= 2f .
x0
x1
dz
1
Usamos 2 Df como a derivada hipercomplexa de uma funo monognica f e adoptamos
a notao f = 1 Df .
2

Salientamos que as funes monognicas zk = xk x0 ek , k = 1, . . . , n foram usadas pela


primeira vez por Fueter [10, 11] e posteriormente denominadas por "variveis totalmente regulares", tendo em conta o seu papel fundamental como variveis hipercomplexas monognicas.
A abordagem generalizada de Cauchy teoria das funes hipercomplexas, como explicada
em [22], baseia-se desde o incio na utilizao deste tipo de n variveis hipercomplexas.

Corolrio 3.2.9 A forma do diferencial df como a parte linear do incremento, segue atravs
de (3.13)
df = f Ddz0 + f (

x , dz)

= dz0 Df + (dz,

x )f.

Usando os resultados anteriores, representamos D e o seu conjugado na forma


D=

onde

x,

(
x0

x , ) ,

D=

+(
x0

x , ) ,

representa o gradiente de f em relao a x. Ento inversamente temos

1
= (D + D)
x0
2
(

x , )

1
= (D D).
2

(3.21)
(3.22)

58

Elementos da Anlise de Clifford

Teorema 3.2.10 Se f (z) monognica direita ( esquerda) em Hn Rn+1 e fR


=
(fL ) a sua derivada hipercomplexa direita ( esquerda) que desaparece em , ento f (z)
constante, isto , uma funo monognica determinada exactamente a menos de uma
constante pela sua derivada hipercomplexa.
Demonstrao:
Consideremos as funes monognicas direita. Pela denio de diferenciabilidade hipercomplexa equivalente a f D = 0, segue de (3.22) que
f(

x , )

1
= f D = 0.
2

Por outro lado, por (3.21)


f
= 0.
x0

Alm disso, o gradiente de f , em relao a x = (x0 , x), desaparece e f constante.

3.2.3 Produto Permutacional


A utilizao do conjunto Hn na descrio de funes monognicas conduz-nos a sries de
potncias em vrias variveis hipercomplexas. As componentes zk de z Hn so uma espcie
de projeco de z C 0,n em direco base cannica dos vectores sk Hn , obtida pela
multiplicao simtrica por ek , isto ,
zk =

Para z = ej C

0,n ,

zek + ek z
= zek , k = 1, . . . , n.
2

j = 1, . . . , n e z = e0 = 1 C

(3.23)

0,n ,

ej ek = jk , 1 ek = ek , j, k = 1, . . . , n

e consequentemente
ek = (0, . . . , 1, 0, . . . , 0) = sk

(3.24)

1 = (e1 , . . . , en ) = Hn .

(3.25)

3.2. Diferenciabilidade Hipercomplexa

59

De (3.24) e (3.25) segue que z = x0 1 + x1 e1 + . . . + xn en e com o auxlio do produto interno


(3.7), temos
(ek , z) = zk , (, z) = nx0 + x1 e1 + . . . + xn en .

As diferentes relaes de x Rn+1 em relao a z C


z = x0 + (, x) C

0,n ,

0,n

e z Hn so ilustradas por

z = x + x0 Hn

(3.26)

z = x0 (, x), z = x x0 ,

consequentemente obtemos
1
1
x0 = Re z = (z + z), x = Re z = (z + z)
2
2
1
1
1
1

x = Im z = (z z) = (z z), x0 = Im z =

(z z, ) =
(, z z),

2
2
2n
2n

onde x representa a parte real de z e x0 a parte imaginria.


Comparando com o conceito de diferenciabilidade, na teoria de funes de n variveis
complexas, a aplicao de n variveis monognicas hipercomplexas conduz-nos questo, se
todos os produtos de zk so tambm monognicos ou no. J sabemos que a resposta
negativa, pelo que apresentamos o seguinte exemplo: f (z1 , z2 ) = z1 z2 no monognica. Por
este motivo introduziu-se no artigo (ver [22]) o produto permutacional.

Denio 3.2.11 Seja V+,. um anel comutativo ou no comutativo, ak V com k = 1, . . . , n,


ento o - produto denido por
a1 a2 . . . an =

1
n!

ai1 ai2 . . . ain ,

(3.27)

(i1 ,...,in )

onde a soma percorre todas as permutaes de todos os (i1 , . . . , in ).


O n-simo produto (3.27) o produto simtrico com as seguintes propriedades:
1. A operao permutativa, ou seja, a permutao dos factores no altera o resultado.
2. Para anis comutativos, em particular para V = C e V = R, simplesmente o produto
ordinrio de n elementos.

60

Elementos da Anlise de Clifford


3. A operao distributiva em relao adio desde que V seja distributivo.
4. A permutabilidade, no caso de anis no comutativos, conseguida custa da associatividade, por exemplo,
a1 (a2 a3 ) = (a1 a2 ) a3 .

A perda da associatividade do produto simtrico compensada para um certo grau por uma
relao recursiva, que iremos referir mais adiante.

Teorema 3.2.12 Para todos os inteiros n 1


a1 a2 . . . an =

1
[a1 (a2 . . . an ) + . . . + an (a1 a2 . . . an1 )]
n

(3.28)

a1 a2 . . . an =

1
[(a2 . . . an )a1 + . . . + (a1 a2 . . . an1 )an ] .
n

(3.29)

Demonstrao:
Se agruparmos os elementos em (3.27), de acordo com o primeiro (ou ltimo) factor ak
(k = 1, . . . , n), ento o restante exactamente
(n 1)!a1 . . . ak1 ak+1 . . . an ,

o que prova o teorema.

Corolrio 3.2.13 Se ak Cl0,n Cl0,n , (k = 1, . . . , n), ento tambm a1 a2 . . . an


Cl0,n .
A demonstrao segue da adio de (3.28) e (3.29), diviso por dois e adicionalmente por
induo. Para o caso em que os factores se repetem no produto (3.27), estabelecemos:

Conveno
Se o factor aj ocorre j -vezes em (3.27) temos
a1 . . . a1 . . . an . . . an = a1 a2 . . . an ,
n
1
2
1

(3.30)

3.2. Diferenciabilidade Hipercomplexa

61

e colocamos parnteses se as potncias so entendidas no caso ordinrio, isto ,


a2 a2 = a1 a1 a2 = a1 a2 a1 = a2 a1 a1
1

mas
(a1 )2 a2 = (a1 a1 ) a2 = (a1 a1 ) a2 .

Frmula geral recursiva


Atravs do multi-ndice = (1 , 2 , . . . , n ), onde || = 1 + 2 + . . . + n e ! =
= 1 !2 ! . . . n ! a frmula recursiva pode ser extendida para a seguinte expresso
a1 a2 . . . an =
n
1
2
=

1
1 a1 a1 1 a2 . . . an + . . . + n an a1 a2 . . . an 1
n
n
1
2
1
2
||

e
a1 a2 . . . an =
n
1
2
=

1
1 a1 1 a2 . . . an a1 + . . . + n a1 a2 . . . an 1 an .
n
n
1
2
2
1
||

Alm disso, o produto permutacional muito til para generalizar a frmula polinomial
de um anel no comutativo.

Frmula polinomial
Teorema 3.2.14 Potncias de uma soma de n elementos diferentes a1 , . . . , an , de um anel
V comutativo (ou no comutativo) arbitrrio, podem ser desenvolvidas pelo produto simtrico
na forma usual aplicando (3.30), isto ,
(a1 + a2 + . . . + an )k =
||=k

onde

k!
; = a1 a2 . . . an ; k N.
a
n
1
2
!

k
,
a

62

Elementos da Anlise de Clifford

Demonstrao:
Tendo em considerao a repetio de elementos em (3.30) obtemos pela Denio 3.2.11
a1 a2 . . . an =
n
1
2

!
||!

ai1 ai2 . . . ai|| ,


(i1 ,...,i|| )

onde a soma percorre todas as permutaes distintas. Isto prova o teorema.

Como exemplo temos


(a1 + a2 )3 = a3 + (a1 a1 a2 + a1 a2 a1 + a2 a1 a1 ) + (a1 a2 a2 + a2 a1 a2 + a2 a2 a1 ) + a3
1
2
= a3 + 3a2 a2 + 3a1 a2 + a3
1
1
2
2
=
||=3

3 1
a a2 .
2
1

Por outro lado, directamente pela multiplicao com o produto -


(a1 + a2 )3 = (a1 + a2 ) (a1 + a2 ) (a1 + a2 )
= a1 a1 a1 + 3a2 a2 + 3a1 a2 + a2 a2 a2 .
1
2

Relembramos que uma funo f = f (z) C1 (, C 0,n ) denomina-se por diferencivel


hipercomplexa esquerda ( direita) em , se a funo for aproximada numa vizinhana
de z por uma aplicao C 0,n - linear esquerda ( direita) de Hn em C 0,n , isto ,
f (z + z) f (z) = z1 A1 + . . . + zn An + o( z )

(3.31)

f (z + z) f (z) = A1 z1 + . . . + An zn + o( z ),

(3.32)

o( z )

onde lim
= 0 e Ak C 0,n com k = 1, . . . , n. Os Ak so as derivadas parciais
z0
z
xk
e a diferenciabilidade hipercomplexa equivalente monogenicidade.

Teorema 3.2.15 Suponhamos que = (1 , 2 , . . . , n ) um multi-ndice arbitrrio, z Hn ,


ento a funo

f (z) = z = z1 1 z2 2 . . . zn n

diferencivel hipercomplexa esquerda e direita.

(3.33)

3.2. Diferenciabilidade Hipercomplexa

63

Demonstrao:
A demonstrao segue por induo sobre ||, com o auxlio da frmula geral recursiva.
Vamos apenas provar a diferenciabilidade hipercomplexa direita, visto que a diferenciabilidade esquerda anloga. Para || = 1 trivial. Supondo que para um arbitrrio ||, z
diferencivel hipercomplexo, isto , por (3.32)
n

(z + z) z =

i z i zi + o( z ),

(3.34)

i=1

onde i um multi-ndice com 1 no lugar de i e zero nos restantes casos. Para o caso de
|| at || + 1 utilizamos a segunda igualdade da frmula geral recursiva (respectivamente, a
primeira igualdade no caso da diferenciabilidade esquerda), que resulta
n

(i + ik )[(z + z)+k i (zi + zi ) z +k i zi ] =

(|| + 1)[(z + z)+k z +k ] =


i=1

(i + ik )(z + z)+k i zi .

(i + ik ) (z + z)+k i z +k i zi +

i=1

i=1

(3.35)
Atendendo linearizao do segundo termo do lado direito e com as propriedades do
produto, temos
n

n
+k i

(i + ik )(z + z)

(i + ik )z +k i zi + o( z ).

zi =
i=1

i=1

Por (3.34) e pelo primeiro termo de (3.35)


n

(i + ik )[(z + z)+k i z +k i ]zi =

Bji zj zi + o( z ),
i,j=1

i=1

onde
Bji = (i + ik )(j + jk ji )z +k i j ,

para k = 1, . . . , n. Bji = Bij para todo k = 1, . . . , n onde i = j e


(zj )zi + (zi )zj = zi zj + zj zi

(i, j = 1, . . . , n)

com (i = j), respectivamente


zi zi = zi zi

(i = 1, . . . , n).

Finalmente, as ltimas relaes tornam possvel representar o primeiro termo de (3.35), como
uma combinao linear direita de zk , com k = 1, . . . , n, o qual prova o teorema.

64

Elementos da Anlise de Clifford

Na adio, o facto de zk = z ek , k = 1, . . . , n, exprime uma dependncia explcita dos


polinmios de Fueter (3.33), na varivel usual z C 0,n , nomeadamente
f (z) = P (z) = (1)|| (z e1 )1 (z e2 )2 . . . (z en )n .

(3.36)

Denio 3.2.16 Seja = (1 , 2 , . . . , n ) um multi-ndice logo


c (z a)

P (a, z) =

(z a) c ,

P (z, a) =

onde c C

0,n ,

k = 1, . . . , n,

a = + 0 Hn , ((0 , ) Rn+1 ), ak = k e0 0 ek , k R

so denominadas de

com

sries de potncias hipercomplexas mltiplas di-

reita e respectivamente esquerda.

Como sries de potncias ordenadas pelos polinmios

homogneos, so tambm consideradas

P (a, z) =

k=0

c (z a) , P (z, a) =

||=k

(z a) c .

k=0

(3.37)

||=k

Em geral, vamos apenas considerar as sries de potncias mltiplas direita, com centro
em a = 0. A restrio de z Hn para x Rn , conduz-nos directamente usual srie de
potncias em x , cuja utilidade fundamental na conexo com problemas de continuao
analtica. A construo similar a esta na teoria das funes complexas multidimensionais.
Neste contexto, considera-se o domnio U (r) em Hn , da forma de acoplamento atravs de x0
em forma de policilindros com (vector) - raios r = (r1 , r2 , . . . , rn ) denidos por
U (r) = {z Hn : |zk | = x2 + x2
0
k

1
2

< rk , k = 1, . . . , n}.

Teorema 3.2.17 Com


c z

(3.38)

|c ||z |.

(3.39)

P (z) =

consideramos
P (z) =

Se a srie de potncias formal real (3.39) converge para qualquer ponto Hn , ento (3.38)
converge absolutamente e uniformemente em qualquer subconjunto compacto K do policilindro
U () com raios = (1 , . . . , n ), k = ||, k = 1, . . . , n.

3.2. Diferenciabilidade Hipercomplexa

65

A demonstrao idntica ao caso das sries de potncias mltiplas reais ou complexas.


Tomando especial ateno a |c z | 2n |c ||z1 |1 . . . |zn |n .
Do ponto de vista usual, ao considerar sries de potncias em relao a z C 0,n possvel
obter uma verso anloga do mesmo modo que |z | = |(z e1 )1 . . . (z en )n | |z||| .
Alm disso, os domnios de convergncia so bolas. Para sries de potncias ordenadas da
forma (3.37), uma frmula de Cauchy-Hadamard anloga pode ser encontrada para raios de
convergncia na forma
1
k

r=

max |c |

lim

||=k

Usamos agora o mtodo clssico para provar a diferenciabilidade hipercomplexa de (3.38).


Pela diferenciao parcial formal de (3.38),
P (z)
=
xi

(3.40)

c i z i (i = 1, . . . , n).

Torna-se elementar vericar que (3.40) converge no mesmo domnio que P (z) sendo uniformemente contnua em relao a z , em qualquer subconjunto compacto K U (r). Por outro
lado, pelo Teorema 3.2.15,
n

(3.41)

i z i zi + ( z ) z ,

(z + z) z =
i=1

onde ( z ) em qualquer compacto K continuamente dependente de z e 0,


quando z 0.

Teorema 3.2.18 Seja P (a, z) uma srie de potncias mltipla direita. Se P (a, z) converge
em algum domnio policilindrico da forma
U(r, a) = z Hn : |zk ak | = (x0 0 )2 + (xk k )2

1
2

< rk ,

para k = 1, . . . , n, ento P (a, z) diferencivel hipercomplexa direita em U(r, a) e as


derivadas parciais em relao a xk so obtidas pela diferenciao formal, como
P (z)
=
xk

c k (z a)k ,

(3.42)

onde k o multi-ndice com 1 no lugar de k e zero nos outros casos, ou seja, k = (0, . . . , 0, 1,
0, . . . , 0).

66

Elementos da Anlise de Clifford

Demonstrao:
Seja z U (r) e k tal que
|zk | < k < rk

(k = 1, . . . , n)

e
|zk | k |zk |,

ento
|zk + zk | |zk | + |zk | k < rk .

Consideramos
n

G(z) = P (z + z) P (z)
i=1

P (z)
zi .
xi

Recorrendo a (3.41),
n

G(z) =

c i z i zi

c ( z ) z +
||=1

||=N

i=1

i=1

i c z i zi

||=N

onde N escolhido sucientemente grande, que para o resto temos


|c z i i | <
||=N

,
3m

(3.43)

onde > 0 e i = 1, . . . , n. Tendo em conta


c ( z ) 0,
||=1

quando z converge uniformemente para zero, temos

||=1

c ( z ) < ,
3

(3.44)

para z < sucientemente pequeno. Se agora estimarmos a norma de G(z), ento de


(3.43) e (3.44) segue
|G(z)|

|c i z i | < ,

c ( z ) + 2m
||=1

||=N

3.2. Diferenciabilidade Hipercomplexa

67

quando z < . Assim provamos que


n

P (z + z) P (z)
i=1

lim

P
zi
xi
= 0.

z0

so as derivadas parciais de P (z).


Pela denio da diferenciabilidade hipercomplexa,
xi
Alm disso, tendo em conta (3.40), estas tambm so funes monognicas.

Por conseguinte, apresentamos uma denio indutiva da diferenciabilidade hipercomplexa


direita de ordens maiores (o caso de diferenciabilidade esquerda anlogo). Assumindo
que fR existe em qualquer ponto de Hn , ento fR uma funo que atribui para qualquer
z um elemento de C 1,n = LR (Hn , C 0,n ). Alm disso f (z) uma funo com valores
C 0,n de z , fR , uma funo com valores C 1,n de z .

Denio 3.2.19 Seja f (z) uma aplicao contnua de uma vizinhana de a Hn Rn+1
=
n, C
em C 0,n e C p,n = LR (H
p1,n ), p = 1, 2, . . . como denida anteriormente. A aplicao
f (z) designa-se p-vezes diferencivel hipercomplexa direita em a se existe uma aplicao C 0,n linear LR (Hn , C p1,n ), tal que
(p1)

lim

fR

(p1)

(a + z) fR

(a) (z)

z0

denominada por p-sima

derivada direita de f em a.
(p)

(p1)

fR (a) = [fR

= 0.

(3.45)

(p)
Alm disso, fR (a) C

p,n

(z)]z=a .

A frmula (3.42) mostra que as derivadas tambm representam funes monognicas no


mesmo domnio de convergncia. Por induo segue:

Teorema 3.2.20 Toda a srie de potncias generalizada esquerda ( direita) innitamente


diferencivel hipercomplexa esquerda ( direita) no seu domnio de convergncia.
Calculando as derivadas parciais das potncias generalizadas (z a) em z = a, temos

! se =
(z a) =
.
0 se =
x
||

68

Elementos da Anlise de Clifford

O teorema pode ser extendido s funes monognicas. Geralmente supe-se que o inverso
est provado, isto , que qualquer funo monognica pode ser localmente expandida numa
srie de Taylor. De registar que a ordem dos zeros de f (z) pode ser denida com o auxlio da
Denio 3.2.19.

Teorema 3.2.21 Toda a srie de potncias convergente direita produz no interior do seu
domnio de convergncia uma funo monognica f (z) e a coincide com a srie de Taylor de
f (z), ou seja, numa vizinhana de z = a
f (z) =

1 || f (a)
(z a)
! x

e ordenada

f (z) =
k=0

1
k!

||=k

k || f (a)
(z a)

(de modo idntico para as sries esquerda).


Alm disso podemos obter a expresso para z C
f (z) =

0,n

na forma

(1)|| || f (a)
[(z a) e1 ]1 . . . [(z a) en ]n
!
x

ordenada

f (z) =
k=0

(1)||

k!

||=k

|| f (a)
x

[(z a) e1 ]1 . . . [(z a) en ]n .

Para determinar os coecientes da srie de Taylor de uma funo monognica, podemos


formular o teorema da unicidade para sries de Taylor generalizadas.

Teorema 3.2.22 Se os coecientes de duas sries de Taylor generalizadas direita ( esquerda) coincidem numa pequena vizinhana arbitrria do ponto comum do desenvolvimento
a, ento coincidem identicalmente.

3.3 Extenso Cauchy-Kowalewskaya


O teorema da unicidade a base para a extenso de Cauchy-Kowalewskya de uma funo
com valores Cl0,n real-analtica em Rn , dada pelo seguinte resultado.

3.3. Extenso Cauchy-Kowalewskaya

69

Teorema 3.3.1 Seja f (x) real analtica no paraleleppedo


V(r) = {x Rn : |xk | < rk , k = 1, 2, . . . , n} .

Ento uma continuao analtica de f para uma funo monognica direita ou esquerda
em
U(r) = {z Hn : |zk | < rk , k = 1, 2, . . . , n}

dada de uma forma nica pela funo

fR (z) =
||=0

1 || f (0)
z
! x

(3.46)

1 || f (0)
! x

(3.47)

respectivamente

fL (z) =

onde

fR (z)|x0 =0 = fL (z)|x0 =0 = f (z)|Rn = f (x).

Demonstrao:
Dentro de V(r), a funo f (x) tem a representao numa srie de Taylor
f (x) =
||=0

1 || f (0)
x
! x

(3.48)

fR (z)|x0 =0 = fL (z)|x0 =0 = f (z)|Rn = f (x)

(3.49)

torna-se bvio. A convergncia de (3.46) e respectivamente a de (3.47), em U(r) garantida


pela convergncia de (3.48) em V(r) e a unicidade surge do teorema de unicidade para sries
de potncias generalizadas.

As funes fR (z) e fL (z) so designadas de extenses de Cauchy-Kowalewskaya direita


(respectivamente esquerda). Com o auxlio da extenso de Cauchy-Kowalewskaya o seu
produto, referido por Delanghe em [8], pode ser denido por

g = (f ( )|x0 =0 g( )|x0 =0 ) .
z
z

70

Elementos da Anlise de Clifford

Ento a utilizao de Hn permite um tratamento bastante fcil do produto de CauchyKowalewskaya de duas sries de potncias direita P e Q da forma
c (z)

P (z) =
||=0

e
d (z) .

Q(z) =
||=0

O produto de Cauchy-Kowalewskaya simplesmente dado pela srie de potncias formal


direita da forma
P

b z

Q(z) =
||=0

com coecientes
c d .

b =
+=

Anlogamente, o produto de Cauchy-Kowalewskaya de duas sries de potncias formais


esquerda, pode ser obtido.
Uma aplicao imediata da extenso de Cauchy-Kowalewskaya a passagem da representao de uma funo f (x) monognica direita, dada na forma de uma srie em termos
das variveis reais x0 , x1 , . . . , xn , para a sua representao em termos das variveis hipercomplexas z1 , . . . , zn . Considerando a sua restrio ao hiperplano x0 = 0 obtemos a frmula (3.48)
de f (x) = f (x)|x0 =0 . Substituindo x por z como na frmula (3.46) obtemos a continuao

de f (x) para Rn+1 na forma fR (z). Uma vez que a funo f (x) coincide com fR (teorema
da unicidade), pelo facto de ser monognica direita, atravs deste processo obtemos a sua
representao (mais concretamente a sua representao em forma de srie) em termos das
variveis z1 , . . . , zn . Por analogia trata-se do caso de uma funo monognica esquerda e
sua representao numa srie esquerda. O mtodo descrito vai ser utilizado no prximo
captulo.

Captulo 4

Funes monognicas em termos de


duas variveis hipercomplexas
4.1 A denio de funes monomiais particulares
A funo monomial de grau k em relao varivel hipercomplexa x = x0 +x1 e1 +. . .+xn en
e ao seu conjugado x = x0 x1 e1 . . . xn en (n 2, arbitrrio) denida por

P (k) (x) =

k
Ts xks xs ,

(4.1)

s=0

onde

k
Ts =

n+1
2
ks
(k s)!

n1
2
s!

e k = 0, 1, . . . .

(4.2)

Em [9], Falco, Cruz e Malonek mostram que a funo monomial P (k) (x) monognica.

4.2 Propriedades dos Tsk


Antes de avanarmos para o estudo dos Tsk demonstramos algumas relaes do smbolo de
Pochhammer, que sero necessrias na formulao das suas propriedades.
71

72

Funes monognicas em termos de duas variveis hipercomplexas

So vrias as factorizaes para a expresso (a)nl . Para qualquer a F e quaisquer n, l


inteiros no negativos:
(4.3)

(a)nl = (a)l (a + l)n2l

uma vez que, (a)l (a + l)n2l = a(a + 1) . . . (a + l 1)(a + l) . . . (a + l + n 2l 1)


= a(a + 1) . . . (a + n l 1) = (a)nl .

(a)nl = (a)nl1 (a + n l 1)

(4.4)

pois, (a)nl1 (a + n l 1) = a(a + 1) . . . (a + n l 2)(a + n l 1) = (a)nl .

(a)nl = (a)l1 (a + l 1)n2l+1

(4.5)

uma vez que, (a)l1 (a+l1)n2l+1 = a(a+1) . . . (a+l2)(a+l1) . . . (a+l1+n2l+11)


= a(a + 1) . . . (a + n l 1) = (a)nl .

Por sua vez,


a+nl
(a + l + 1)n2l
=
(a + l)n2l
a+l

pois,

(4.6)

(a + l + 1)n2l
(a + l + 1) . . . (a + l + 1 + n 2l 2)(a + l + 1 + n 2l 1)
=
(a + l)n2l
(a + l)(a + l + 1) . . . (a + l + n 2l 1)
a+nl
=
.
a+l

No estudo dos Tsk podemos observar uma aluso ao tringulo de Pascal


0
T0
1
T0
2
T0
3
T0

1
T1
2
T1

3
T1

2
T2
3
T2

...

3
T3

4.2. Propriedades dos

73

k
Ts

onde podemos vericar as propriedades que se seguem, que so semelhantes s propriedades


dos coecientes binomiais.

Propriedade 4.2.1 A relao entre dois elementos consecutivos de uma linha com um elemento da linha anterior dada por
k
k
k1
(k s)Ts + (s + 1)Ts+1 = (n + k 1)Ts , k > s, n = 1, 2, . . . .

Prova:

k
k
(k s)Ts + (s + 1)Ts+1

n+1
2
ks
= (k s)
(k s)!

n1
2
s!

n+1
2
ks1
+(s + 1)
(k s 1)!
=

1
(k s 1)!s!

n+1
2

uma vez que por (4.4),


n1
2
=

=
s+1

n1
2

1
(k s 1)!s!

n+1
2

n1
2

ks

+
s

n+1
=
2
ks
n + 2s 1
2

ks1

n+1
2
n+1
2

n + 2k 2s 1
2
+

n+k1
(k s 1)!s!

n+1
2

ks1

n1
2

ks1

n1
2

ks1

n + 2k 2s 1
2

n1
2
n+1
2

n1
2
s+1
=
(s + 1)!

s+1

e por (1.26),

+
s

ks1

n1
2

n + 2s 1
2

k1
= (n + k 1)Ts .
s

Propriedade 4.2.2 A relao entre o primeiro e o ltimo elemento de uma linha, o segundo
e o penltimo elemento de uma linha e assim sucessivamente dada por
k
Tks =

Para n = 1, k = s.

2s + n 1
T k , n = 1, 2, . . . .
2(k s) + n 1 s

74

Funes monognicas em termos de duas variveis hipercomplexas

Prova:
n+1
2
ks
(k s)!

2s + n 1
2s + n 1
k
Ts =
2(k s) + n 1
2(k s) + n 1

uma

vez

n1
2

que

=
s

por

n+1
2

(4.3),

n1
2
ks
, para
n1
+s
2
k2s

1
2s + n 1
2(k s) + n 1 (k s)!s!

n+1
2

n+1
+s
2
n1
+s
2

uma vez que por (4.6),

k2s

ks

n+1
+s
2

e
k2s

=0
k2s

n+1
+s
2

k2s

n1
2
ks
n1
+s
2
k2s

n 1 + 2k 2s
n 1 + 2s

k2s

2s + n 1
1
2(k s) + n 1 (k s)!s!

1
(k s)!s!

n+1
2

n+1
2

n1
+s
2

n1
2
s!

n1
2

n+1
2

n1
2

ks

n 1 + 2k 2s
n 1 + 2s

k
= Tks .
ks

Propriedade 4.2.3 A relao entre dois elementos consecutivos que se encontram na diagonal (partindo da esquerda para a direita) dada por
k
Ts =

n + 2s 3 k1
Ts1 , s = 0, n = 1, 2, . . . .
2s

4.2. Propriedades dos

75

k
Ts

Prova:
n + 2s 3 k1 n + 2s 3
Ts1 =
2s
2s

uma vez que por (4.4),

n1
2

=
s1

n1
2
3n
s
, para s =
n1
2
+s1
2

n + 2s 3
1
2s
(k s)!(s 1)!
1
(k s)!s!

n+1
2

n1
2
s1
(s 1)!

n+1
2
ks
(k s)!

ks

n+1
2

n1
2

n1
2
s
n1
+s1
2

ks

k
= Ts .
s

Propriedade 4.2.4 A relao entre dois elementos consecutivos de uma linha dada por
k
k
Ts+1 = Ts

ks
2s + n 1
, n = 1, 2, . . . .
2(k s) + n 1 s + 1

Para n = 1, k = s.
Prova:

k
Ts

ks
2s + n 1
=
2(k s) + n 1 s + 1

uma vez que por (4.4),

n+1
2
ks
(k s)!

n+1
2

=
ks

n+1
2

1
ks
2s + n 1
(k s)!s! 2(k s) + n 1 s + 1

uma vez que por (1.26),

n1
2

=
s

n1
2
s!

ks1

n+1
2

ks
2s + n 1
2(k s) + n 1 s + 1

n1
+ks
2

ks1

n1
+ks
2

n1
2
n1
s+1
, para s =
n1
2
+s
2

n1
2

76

Funes monognicas em termos de duas variveis hipercomplexas

1
k s 2s + n 1
(k s)!s! 2
s+1

ks
1
(k s)!s! s + 1

1
(k s 1)!(s + 1)!

n+1
2

n+1
2

ks1

n1
2

ks1

n1
2

s+1

n+1
2

s+1

n1
2
s+1
n1
+s
2

k
= Ts+1 .
ks1

Propriedade 4.2.5 A relao entre o segundo e o ltimo elemento de uma linha, o terceiro
e o penltimo elemento de uma linha, e assim sucessivamente dada por
k
Ts =

ks+1 k
Tks+1 , s = 0, n = 1, 2, . . . .
s

Prova:
n+1
n1
2
2
ks+1
s1
ks+1
s
(s 1)!
(k s + 1)!
n+1
n1
1
(k s)!s!
2
2
s1
ks+1

ks+1 k
Tks+1 =
s
=

uma vez que por (4.5),

uma vez que por (4.3),

n+1
2

=
s1

1
(k s)!s!
n1
2

n+1
2
n1
+s
2

n+1
2
n1
+s
2
=
ks+1

1
(k s)!s!

n+1
2
n1
+s
2

1
(k s)!s!

n+1
2

ks

, para

ks

n1
+s
2

=0
k2s+1

k2s+1

n1
2

ks

ks+1

k2s+1

n1
2

ks

n1
+s
2

n1
2

k2s+1

n1
2

k
= Ts .
s

k2s+1

n1
+s
2

k2s+1

4.2. Propriedades dos

77

k
Ts

Propriedade 4.2.6 A soma dos coecientes Tsk dada por


k
k
Ts =
s=0

Prova:

(n)k
, n = 1, 2, . . .
k!

Denota-se k :=

k
Ts . Usando a Propriedade 4.2.1,
s=0
k1

k1

(k

k
s)Ts

s=0

k1

(s +

k
1)Ts+1

s=0

k1
(n + k 1)Ts ,

=
s=0

temos
k1

k1

k1
k
k
(s + 1)Ts+1 sTs

k
kTs +
s=0

k
k
kTs + kTk = (n + k 1)k1

= (n + k 1)k1
s=0

s=0
k
k
kTs = (n + k 1)k1 .

s=0

Ento provmos que k =


k =
=

n+k1
k1 ,
k

o que signica

n+k1
(n + k 1)(n + k 2)
(n + k 1)(n + k 2) . . . n
k1 =
k2 = . . . =
0
k
k(k 1)
k(k 1) . . . 1
(n)k
.
k!

Propriedade 4.2.7 Para n = 2, a soma alternada dos coecientes Tsk dada por
k
k
Ts (1)s =
s=0

(k + 1)!!

k!!

(2m + 1)!!
=

(2m)!!

k!!
(k 1)!!

se

par,

se k mpar.

Prova:
k1

Denota-se ck1 :=

k
k1
Ts (1)s e ck :=

s=0

k
Ts (1)s , logo
s=0

k
k
k
k
k
ck = T0 T1 + T2 . . . + (1)k1 Tk1 + (1)k Tk .

78

Funes monognicas em termos de duas variveis hipercomplexas


k
Pela Propriedade 4.2.1, (k + 1)Tsk1 = (k s)Tsk + (s + 1)Ts+1 , assim

k1
k
k
(k + 1)T0
= kT0 + 1T1
k1
k
k
(k + 1)T1
= (k 1)T1 2T2
k1
k
k
(k + 1)T2
= (k 2)T2 + 3T3
k1
k
k
(k + 1)T3
= (k 3)T3 4T4

.
.
.
k1
k
k
(1)k2 (k + 1)Tk2 = (1)k2 (k k + 2)Tk2 + (1)k2 (k 1)Tk1
k1
k
k
(1)k1 (k + 1)Tk1 = (1)k1 (k k + 1)Tk1 + (1)k1 kTk

e por sua vez,


k
k
k
k
k
(k + 1)ck1 = kck + 2T1 2.2T2 + 2.3T3 + . . . + (1)k 2(k 1)Tk1 + (1)k1 2kTk

= kck + xk ,
k
k
k
k
k
onde xk = 2 T1 2T2 + 3T3 + . . . + (1)k (k 1)Tk1 + (1)k1 kTk .

Para k = 2m
2m
2m
2m
2m
2m
x2m = 2 T1 2T2 + 3T3 + . . . + (2m 1)T2m1 2mT2m .
k
Pela Propriedade 4.2.5, sTsk (k (s 1))Tk(s1) = 0,

2m
2m
1T1 2mT2m = 0
2m
2m
2T2 + (2m 1)T2m1 = 0

e assim sucessivamente. Logo, x2m = 0.


Para k = 2m + 1
2m+1
2m+1
2m+1
2m+1
2m+1
x2m+1 = 2 T1
2T2
+ 3T3
+ . . . (2m)T2m + (2m + 1)T2m+1 .

4.3. Derivada hipercomplexa de uma funo monomial

79

k1
Pela Propriedade 4.2.3, (2s)Tsk = (2s 1)Ts1 , logo

2m
2m
2m
2m
2m
x2m+1 = T0 3T1 + 5T2 . . . (4m 1)T2m1 + (4m + 1)T2m
2m
2m
2m
2m
= c2m 2 T1 2T2 + . . . + (2m 1)T2m1 (2m)T2m

= c2m x2m = c2m .

Assim,
(k + 1)ck1 =

kck

kck + ck1

se k = 2m,
se k = 2m + 1.

Para k = 2m

(2m + 1)c2m1 = 2mc2m c2m =

2m + 1 2m1
c
,
2m

para k = 2m + 1
(2m + 2)c2m = (2m + 1)c2m+1 + c2m c2m+1 = c2m .

Logo,
k

ck =

k
Ts (1)s =
s=0

(k + 1)!!

k!!

(2m + 1)!!
=

(2m)!!

k!!
(k 1)!!

se

k par,

se k mpar.

4.3 Derivada hipercomplexa de uma funo monomial


Neste ponto ser apresentada a derivada hipercomplexa de P (k) (x). Pelo facto do polinmio
ser uma funo monognica, esta derivada coincide com a derivada em relao a x0 .

P
P
P
+ e1
+ . . . + en
P =0
= e1
. . . en
x0
x1
xn
x0
x1
xn
1
1

DP =
e1
. . . en
P =
+
P =
P.
2
2 x0
x1
xn
2 x0 x0
x0

DP =

80

Funes monognicas em termos de duas variveis hipercomplexas

Lema 4.3.1 A derivada hipercomplexa de P (k) (x) obtida da seguinte forma:


(k)
P (x) = (n + k 1)P (k1) (x), para k = 1, 2, 3, . . . e n = 1, 2, 3, . . . .
x0

Demonstrao:
Para n = 1
k

(k)

P (x) =
x0
x0

Ts xks xs

s=0

k
k
k
k

T0 xk + T1 xk1 x + . . . + Tk1 xxk1 + Tk xk .


x0

Vericamos que

(1)k
= 1 se s = 0
(1)ks (0)s
k
k!
=
Ts =
,

(k s)! s!
0
se s = 1, . . . , k
k
logo, P k (x) = T0 xk = xk .
Assim,

(k)

xk = kxk1 .
P (x) =
x0
x0

(4.7)

Por sua vez, com base no lado direito da relao expressa no lema, temos
k1
kP (k1) (x) = kT0 xk1 = kxk1 .

Comparando (4.7) e (4.8) observamos que para n = 1 reduz-se a

(4.8)
(k)
P (x) = kP (k1) (x).
x0

Para n = 2, 3, . . .
(k)

P (x) =
x0
x0
=x

k1

k
kT0

k
T1

k
s=0

Ts xks xs

k
k
k
k

T0 xk + T1 xk1 x + . . . + Tk1 xxk1 + Tk xk


x0

k
k
k
k

+xk2 (k 1)T1 x + 2T2 x +. . .+x 2Tk2 xk2 + (k 1)Tk1 xk2 +


k
k

+ x0 Tk1 xk1 + kTk xk1 =

k1

xks1 xs

k
k
(k s)Ts + (s + 1)Ts+1 .

s=0

(4.9)

4.4. O caso n = 2 em termos de variveis totalmente regulares

81

Pela Propriedade 4.2.1, temos


k
k
k1
(k s)Ts + (s + 1)Ts+1 = (n + k 1)Ts ,

logo
(k)
P (x) =
x0

k1

xks1 xs (n + k 1)Tsk1

s=0

= (n + k 1)P (k1) (x).

4.4 O caso n = 2 em termos de variveis totalmente regulares


O objectivo deste ponto consiste na alterao das variveis no monognicas x e x pelas
variveis hipercomplexas monognicas.
Utilizando (4.1), obtemos os seguintes casos particulares, para n = 2:

P (0) (x) = 1

P (1) (x) =

P (2) (x) =

P (3) (x) =

P (4) (x) =

3
1

x+ x
2
2

15 2 3
3

x + xx + x2
8
4
8

35 3 15 2
9
5

x + x x + xx2 + x3
16
16
16
16

45
15
35 4
315 4 35 3

x + x x + x2 x2 + xx3 +
x
128
32
64
32
128

82

Funes monognicas em termos de duas variveis hipercomplexas

Para obtermos P (k) (x), em termos de z1 e z2 , ser utilizada a extenso de CauchyKowalewskaya (Teorema 3.3.1).
Sejam x = x0 + x1 e1 + . . . + xn en e x = x1 e1 + . . . + xn en , ento x = x0 + x, logo
xks xs |x0 =0 = xks (x)s = xks (1)s xs = (1)s xk .

Ento, com base na Propriedade 4.2.7, relativa soma alternada dos coecientes Tsk , observamos que a funo (4.1), restringida a x0 = 0, pode ser escrita da seguinte forma:
k

(k)

k
Ts (1)s xk

(x)|x0 =0 =

k
Ts (1)s

=x

= xk ck ,

s=0

s=0

onde c =
k

(k+1)!!
k!!
k!!
(k1)!!

se k par,
se k mpar.

(4.10)

Usando a frmula polinomial (Teorema 3.2.14) para a potncia da parte vectorial de x, a


funo monomial P (k) (x), tem a forma
P (k) (x) = ck
||=k

k 1 2
x1 x2 . . . xn e1 e2 . . . en .
n
n
1
2

Na forma usual, substituindo os produtos x1 x2 . . . xn por z1 1 z2 2 . . . zn n , a extenso


n
1
2
de Cauchy-Kowalevskaya de P (k) (x) P (k) (x) obtida como
=

z 1 1 z2 2 . . . z n n

P (k) (x) = P (k) (z) = ck


||=k

k 1
e1 e2 . . . en .
n
2

(4.11)

Devido ao teorema da unicidade para as sries de Taylor de uma funo monognica,


P (k) (z) coincide com a funo monognica inicial P (k) (x).
Ento os casos particulares apresentados anteriormente para n = 2, em termos de z1 e z2 ,
so dados por
P (0) (z) = 1

P (1) (z) = z1 e1 + z2 e2

P (2) (z) =

3 2
2
z + z2
2 1

4.5. Sries hipergeomtricas hipercomplexas em termos de funes monomiais83

P (3) (z) =

3 3
3
2
2
z e1 + z2 e2 + z1 z2 e2 + z2 z1 e1
2 1

P (4) (z) =

15 4
15 2
4
2
z + z 2 + z1 z2 ,
8 1
4

onde zk = xk x0 ek , para k = 1, . . . , n.

4.5 Sries hipergeomtricas hipercomplexas em termos de funes


monomiais
Neste ponto utilizaremos uma abordagem s sries hipergeomtricas atravs de sries de
potncias em termos de funes monomiais. Iniciamos com a funo monomial
k

P (k) (x) =

Tsk xks xs ,

(4.12)

s=0

onde os Tsk so coecientes modicados em relao aos estudados anteriormente. A modicao tem como objectivo adaptar as funes monomiais a certas condies, que permitam
obter sries hipergeomtricas particulares no mbito da Anlise de Clifford. Os P (k) , para
k = 0, 1, . . . formam um conjunto bastante restricto de polinmios homogneos monognicos,
devido ao facto dos polinmios gerais homogneos monognicos direita (respectivamente
monognicos esquerda) terem a forma
P (k) (x) =

c z

(ou P (k) (x) =

||=k

z c , respectivamente),
||=k

onde = (1 , . . . , n ) Nn , z = z1 1 z2 2 . . . znn , com zk := xk x0 ek ; k = 1, . . . , n, no


sentido do produto permutacional, com c C 0,n .

Mas o importante denir polinmios P (k) (x) que se comportem como funes monomiais
no sentido das potncias complexas z k = (x0 + ix1 )k , para k = 1, 2, . . . e permitam uma
construo de funes especiais monognicas como sries da forma

ak P (k) (x)

(x) =
k=0

(ou

P (k) (x)ak , respectivamente),


k=0

84

Funes monognicas em termos de duas variveis hipercomplexas

com coecientes devidamente escolhidos. Notamos que no caso complexo n = 1, P (k) (x)
pode ser escolhido na forma (4.12) simplesmente tomando T0k = 1 e Tsk = 0, para s > 0
(uma vez que as funes holomorfas em C tem uma expanso em srie, que envolve apenas
z = x0 + ix1 e no envolve a varivel conjugada z = x0 ix1 ). Para n > 1, os P (k) (x)

dependem obviamente dos valores dos Tsk que tm de ser denidos, de tal forma que todos os
P (k) sejam monognicos.
Vamos analisar os polinmios P (k) de grau k = 0 e k = 1, com n 2 arbitrrio, deduzir
k
uma propriedade geral de recursividade para o conjunto Tsk s=0 e considerar o caso n = 2
de forma mais completa, incluindo a construo de uma funo exponencial diferente das
normalmente consideradas.
bvio que para k = 0, temos P (0) = T00 e uma vez que temos interesse em manter,

tanto quanto possvel, as propriedades do conjunto z k k=0 , z C, normalizamos o conjunto


k
P (k) s=0 , escolhendo T00 = 1. O caso k = 1 corresponde a
P (1) (x) = T01 x + T11 x, T01 , T11 R.

(4.13)

Exigindo que P (1) (x) seja monognico (precisamos apenas de tratar um dos casos de monogenicidade esquerda ou direita, uma vez que P (k) (x) monognico em ambos os lados,
com o mesmo coeciente Tks ), segue
0 = DP (1) = T01 + T11 + e1 (T01 e1 T11 e1 ) + . . . + en (T01 en T11 en )
= (1 n)T01 + (1 + n)T11 .

(4.14)

Como uma segunda condio, para a determinao nica de T01 e T11 podemos xar o valor
de P (1) (x) no ponto x = 1 exigindo que
P (1) (1) = 1 = T01 + T11 .

(4.15)

Parece bastante natural fazer o mesmo para todos os graus de homogenicidade, isto , para
k = 0, 1, 2, . . . onde se impe que P (k) (1) = 1, como z k |z=1 = 1.
As frmulas (4.14) e (4.15) juntas implicam

T01 + T11 = 1
T1T1 = 1
0

e substituindo na equao (4.13) obtemos a soluo


P (1) (x) =

n+1
n1
x+
x.

2n
2n

4.5. Sries hipergeomtricas hipercomplexas em termos de funes monomiais85


De realar, que para esta funo linear monognica monomial com P (1) (0) = 0, P (1) (1) = 1,
a derivada hipergeomtrica
n+1 n1
1 (1)
DP (x) := P (1) (x) =
+
= 1 = P (0) (x),
2
2n
2n
d
obtida como em C, dz z = 1. Isto sugere a seguinte questo:
Ser possvel denir, em geral, o conjunto de todos os Tsk k , para k = 1, 2, . . ., de tal
s=0
modo que temos, no apenas P (0) (x) = 1, P (k) (0) = 0, P (k) (1) = 1, mas tambm

P (k) (x) = kP (k1) (x),

(4.16)

d
generalizando assim a regra de potncia da diferenciao complexa na forma dz z k = kz k1 ?
A resposta armativa e permite, quase automaticamente, gerar funes monognicas,
com propriedades herdadas numa forma no trivial de funes holomorfas correspondentes.
Por exemplo, no caso k = 2, isto , P (2) (x) = T02 x2 + T12 x + T22 x2 , a propriedade de
x

(2) (x) = 0 equivalente ao sistema determinado


monogenicidade DP

(1 n)T02 + T12 + (1 + n)T22 = 0


.
T 2 2T 2 = 0
1

(4.17)

Juntando a condio P (2) (1) = 1, isto , completando (4.17) com


T02 + T12 + T22 = 1,

(4.18)

obtemos como soluo do sistema (4.17), os valores


T02 =

3+n
n1
n1
, T12 =
, T22 =
,
4n
2n
4n

por clculo directo.


Se estudarmos (4.16), vericamos que
n1 2
3+n 2 n1
x +
x +
x
x

4n
2n
4n
3+n
n1
n1
n1
= 2
x+
x+

x+2
x

4n
2n
2n
4n
n+1
n1
=
x+
x = 2P (1) (x).

n
n

P (2) (x) = 0 P (2) (x) = 0

No caso n = 3, a determinao do sistema de equaes algbricas que dene Tsk para uma
dimenso arbitrria n 2 e o grau homgeneo geral k, k 2, na forma como descrevemos
anteriormente, bastante tedioso.

86

Funes monognicas em termos de duas variveis hipercomplexas

Em vez de usarmos a condio de monogenicidade na forma das equaes de CauchyRiemann DP (k) (x), juntamente com a condio P (k) (1) = 1, usaremos a expresso cannica
de P (k) (x) em termos das variveis hipercomplexas zk = xk x0 ek , para k = 1, 2, . . . , n.
k

Como j vimos anteriormente,

P (k) (x)

k
Ts xks xs monognica e a extenso de

=
s=0

Cauchy-Kowalevskaya de P (k) (x) igual a

z1 1 z2 2 . . . z n n

P (k) (x) = P (k) (z) = ck


||=k

onde ck =

k 1
e1 e2 . . . en ,
n
2

(k + 1)!!

k!!

se

k par,

(4.19)

k!!
(k 1)!!

se k mpar.

Aplicando (4.19), a condio P (k) (1) = 1 implica que


1

ck =

(1)k

||=k

k
2
(e1 . . . en )
n
1

(4.20)

dando a expresso explcita do ck , denido exclusivamente em funo do valor inicial P (k) (1) =
= 1 para todo k . Escolhendo os valores de ck na forma (4.20), vericamos que os Tsk tm de
ser solues da equao
(4.21)

T0k T1k + . . . + (1)k Tkk = ck .

Como vemos a seguir, a equao (4.21) pode ser usada como uma das equaes independentes de um sistema algbrico de ordem k + 1 para determinar os desconhecidos Tsk . As
outras k equaes podem ser obtidas da seguinte forma. Uma vez que P (k) (x) monognico,
signica que a derivada P (k) (x) coincide com a derivada parcial 0 P (k) e como exigimos em
(4.16), a regra de potncia ser cumprida, isto , 0 P (k) (x) = kP (k1) (x). Com base em (4.9),
terminamos com
k1

k1

Tsk (k
s=0

s) +

k
Ts+1 (s

k1s s

+ 1) x

Tsk1 xk1s xs .

x =k

(4.22)

s=0

Uma vez que as potncias da forma xk1s xs so linearmente independentes sobre o corpo

dos nmeros reais, podemos comparar as expresses de ambos os lados de (4.22) e obter um

4.5. Sries hipergeomtricas hipercomplexas em termos de funes monomiais87


sistema de k equaes que relaciona k + 1 valores de Tsk , para s = 0, 1, . . . , k, com os k valores
de Trk1 , r = 0, 1, . . . , k 1. Mais precisamente, obtemos o sistema de equaes
T0k1
T1k1

k1
k
1 Tk1 + kTkk = k Tk1

T0k

+1

T1k

= k

(k 1) T1k + 2 T2k = k

.
.
.

(4.23)

o qual, juntamente com (4.21), tem que ser cumprido pelos Tsk , para termos uma funo
monomial monognica P (k) (x). Logo, mostraremos para isso que (4.21) e (4.23) formam um
sistema (k + 1) (k + 1) bem denido de equaes lineares algbricas e ento permitem
k1
determinar recursivamente os valores T0k , T1k , . . . , Tkk , se os valores de T0k1 , T1k1 , . . . , Tk1
e ck forem conhecidos. De facto, fcil vermos que a matriz correspondente

1 1
1
1 . . . (1)k1 (1)k

1
0
0
0
0

0 k1

2
0
0
0

M=
,
0
0
k2 3
0
0

.
.
...

.
.
.

0
0
0
k1
0

0
0
0
0
1
k

a qual no singular, uma vez que


det(M ) = k!2k .

Para vericarmos, temos de desenvolver sucessivamente o determinante em relao aos elementos da primeira coluna.
J vimos que a construo proposta de funes especiais P k (x) no restricta a uma
dimenso especial. Em relao ao grau de homogenicidade k segue um esquema recursivo.
Consideramos o caso especial n = 2. Aps alguma manipulao, podemos vericar que os
valores explcitos de Tsk e ck , so dados por
3

Tsk

1
2 ks 2 s
=
k + 1 (k s)!s!

88

Funes monognicas em termos de duas variveis hipercomplexas

ck =

(k 1)!!

k!!

k!!
(k + 1)!!

se

k par,

se k mpar.

Prova:
Com base na Propriedade 4.2.1, para n = 2, podemos observar que
k
(k s)Tsk + (s + 1)Ts+1 =

k+1
1
(k s 1)!s! k + 1
1
k
k (k s 1)!s!

3
2

3
2

1
2

ks1

ks1

1
2

= kTsk1 .
s

Assim, a partir da expresso (4.9) do Lema 4.3.1, a derivada de P (k) (x) em relao a x0
dada por
(k)
P (x) =
x0

k1

k1
k
xks1 xs (k s)Tsk + (s + 1)Ts+1 =

s=0

xks1 xs kTsk1 = kP (k1) (x).

s=0

Pela Propriedade 4.2.7 temos que para os antigos Tsk

ck =

(k + 1)!!

k!!

k!!
(k 1)!!

se

k par,

se k mpar.

Para obter os Tsk (novos), basta multiplicar os Tsk (antigos) por

ck =

(k + 1)!!
(k 1)!!
=
k!!(k + 1)
k!!

k!!
k!!
=
(k 1)!!(k + 1)
(k + 1)!!

se

1
k+1 ,

ento

k par,

se k mpar.

4.5. Sries hipergeomtricas hipercomplexas em termos de funes monomiais89


Os primeiros P (k) (x), segundo Falco, Cruz e Malonek em [9], so:

k ck

Tsk

P (k) (x)

T00 = 1

P (0) (x) = 1

1
2

3
4
T11 = 1
4
5
2
T0 = 8
1
T12 = 4
1
T22 = 8
35
T03 = 64
15
T13 = 64
9
T23 = 64
5
3
T3 = 64

P (1) (x) = 3 x + 1 x

4
4

1
2

3
8

T01 =

1
1
P (1) (z1 , z2 ) = 2 (z1 e1 + z2 e2 ) = 2 (e1 z1 + e2 z2 )

P (2) (x) = 5 x2 + 1 x + 1 x2
x 8
8
4
1
2
2
P (2) (z1 , z2 ) = 2 (z1 + z2 )

35 3
15
5
x + 64 x2 x + 64 x2 + 64 x3
9 x

64
3
2
2
3
8 (z1 e1 + z1 z2 e2 + z1 z2 e1 +
2
2
3
3 (e1 z1 + e2 z1 z2 + e1 z1 z2 +
8

P (3) (x) =
P (3) (z1 , z2 ) =
=

3
z2 e2 )
3
e2 z2 )

Tabela 4.1: Polinmios P (k) (x); k=0, 1, 2, 3.


Apresentamos como uma aplicao outra funo que generaliza, em algum sentido, a
funo complexa exponencial. A funo exponencial pode ser escrita como srie hipergeom

trica na forma

ez

=
k=0

zk
=
k!

0 F0 [z].

Uma vez que P (k) (x) = kP (k1) (x), propomos para

n = 2, a seguinte funo exponencial

3 (x) :=
k=0

P (k) (x)
,
k!

substituindo z k por P (k) (x).

Teorema 4.5.1 [9] A funo exponencial (4.24) tem as propriedades:


1. D3 (x) = 3 (x)D = 0, x R3 ;
2. 3 (x) = 3 (x), R3 ;
3. 3 (x0 , 0, 0) = ex0 , x0 R.

(4.24)

90

Funes monognicas em termos de duas variveis hipercomplexas

Demonstrao:
A propriedade 1 surge por construo. As outras propriedades seguem da homogenicidade
de P (k) (x). De facto,
P (k) (x) = k P (k) (x), R

e ento

3 (x) =
k=0

k P (k) (x)
.
k!

Recordando que P (k) (1) = 1 e P (k) (x) = kP (k1) (x), obtemos

3 () =
k=0

3 (x) =
k=1

k
= e , R,
k!

k1 P (k1)
= 3 (x), R.
(k 1)!

Do mesmo modo passamos agora para a aplicao dos polinmios P (k) (x) na generalizao
de alguns polinmios ortogonais. Como j vimos no ponto 2.2 o polinmio associado de
Laguerre pode ser escrito

(1)k

L (z) =
n
k=0

n + zk
( + 1)n
k
.
=
1 F1 n; + 1; z
n k k!
n!

possvel obter uma generalizao substituindo z k por P (k) (x)

L (x)
n

(1)k

=
k=0

n + P (k) (x)
( + 1)n
(k)
=
(x) .
1 F1 n; + 1; P
nk
k!
n!

Os P (k) (x) so polinmios homogneos, isto , P (k) (tx) = tk P (k) (x), t > 0. Para x = 1,
P (k) = 1, k = 0, 1, . . . o que implica que P (k) (t) = tk P (k) (1) = tk . Assim, L (x)|x=0 =
n
(x ) = L (x ) e 0 x . Quando restringimos x a x no polinmio associado de
= Ln 0
0
0
n 0
(x) obtemos o polinmio ordinrio L (x).
Laguerre Ln
n
No ponto (2.2) vimos que o polinmio associado de Laguerre satisfaz a equao diferencial
z (L (z)) + (1 + z) (L (z)) + nL (z) = 0.
n
n
n

Uma equao anloga que utiliza em vez da derivada ordinria a derivada hipercomplexa e
substitui L (z) por L (x) da forma
n
n
P (1) (x) (L (x)) + (1 + P (1) (x)) (L (x)) + nL (x) = 0.
n
n
n

4.5. Sries hipergeomtricas hipercomplexas em termos de funes monomiais91


Porm esta no se verica, uma vez que sugere uma relao de um produto de dois polinmios
P (k) (x) da forma P (k) (x)P (l) (x) = P (k+l) (x). Por isso ser necessrio encontrarmos uma outra
equao diferencial que tem como soluo os polinmios L (x), mas este problema ultrapassou
n
o objectivo deste trabalho.

92

Funes monognicas em termos de duas variveis hipercomplexas

Concluso
As sries hipergeomtricas so de bastante relevo na Matemtica. Estas generalizam
muitas funes especiais, incluindo a: exponencial, logartmica, trigonomtrica, binomial e as
funes de Bessel; no deixando de parte os polinmios ortogonais de Legendre, Chebyshev,
Laguerre, Hermite, entre outros.
A srie de Gauss foi o ponto de partida para o estudo das sries hipergeomtricas generalizadas, pois estas resultam da extenso do seu nmero de parmetros. A identicao de uma
srie como hipergeomtrica provm da extraco do factor comum, termo correspondente a
n = 0 e simplicao do quociente entre dois termos consecutivos.
As identidades e teoremas analisados no primeiro captulo permitem a simplicao de
algumas sries hipergeomtricas. O Teorema de Chu-Vandermonde referente a uma soma
nita. A primeira identidade de Euler foi a base para a demonstrao do Teorema de PfaSaalschtz e quando o limite n traduz-se no Teorema de Gauss. Por sua vez, este ltimo
pode traduzir-se no Teorema de Chu-Vandermonde. No Teorema de Kummer, a srie somada
a mais simples srie bem equilibrada. O Teorema de Dixon pode reduzir-se ao Teorema
de Kummer. O Teorema de Dougall traduz a simplicao de uma srie bem equilibrada
composta por vrios parmetros. A primeira e segunda identidades de Euler expressam numa
srie hipergeomtrica, o produto de uma srie binomial com outra srie hipergeomtrica.
O mesmo se processa com a identidade de Kummer, com a srie exponencial. A srie de
Clausen expressa o quadrado de uma srie hipergeomtrica, o qual traduzido numa srie
hipergeomtrica.
O estudo das equaes diferenciais que satisfazem a srie de Gauss e a srie hipergeomtrica
generalizada contribuiram para uma viso diferente sobre a teoria das sries hipergeomtricas.
Este permitiu a determinao de sries que satisfaam uma equao, desde que consigamos
93

94

Concluso

que os pesos dos termos mais pesados sejam 0 e 1, onde o peso do termo z n m n m. A
determinao de uma equao satisfeita por uma srie foi tratada de acordo com o Teorema
2.1.2. Podemos vericar que se a varivel aparecer como uma combinao da varivel z , a
determinao da equao atravs do teorema mais complexa ou mesmo impossvel. Tal
reectiu-se na seco referente aos polinmios ortogonais, onde apenas conseguimos determinar atravs do teorema, a equao diferencial satisfeita pelo polinmio associado de Laguerre.
As sries hipergeomtricas foram generalizadas por Appell, para duas variveis. A teoria
demorou a emergir, pois o trabalho com mais de uma varivel torna-se complexo. Todavia
no deixmos de parte o estudo da convergncia e das equaes diferenciais satisfeitas por
estas sries duplas. A investigao realizada por Lauricella (a extenso a mltiplas somas)
torna-se ainda mais complexa do que as sries de Appell.
No terceiro captulo estudmos a Anlise de Cliord onde denimos a sua lgebra, associativa mas no comutativa. Embora tenhamos usado uma abordagem relativamente elementar
na generalizao, foram vrias as diculdades sentidas na utilizao de uma lgebra no comutativa. A abordagem de Cauchy est relacionada com o conceito de diferenciabilidade
complexa. Para generalizarmos a abordagem de Cauchy, na teoria das funes hipercomplexas, considermos a estrutura da aplicao linear L(Hn ; C 0,n ). Assim, apresentmos
a denio de derivada hipercomplexa direita e esquerda.
O estudo das funes monognicas em termos de x e x, ou seja, dos P (k) (x) conduziu-nos

anlise de propriedades dos Tsk e derivada hipercomplexa dos P (k) (x). Obtemos os P (k) (x)
para n = 2, em termos de z1 e z2 com o auxlio da extenso de Cauchy-Kowalewskaya. Houve
necessidade de determinar novos Tsk e ck de modo a que P (k) (x) = kP (k1) (x). Aps este
resultado, proposemos uma funo que generaliza, em algum sentido, a funo complexa exponencial usando os polinmios P (k) (x) e pelo que passmos aplicao destes na generalizao
do polinmio associado de Laguerre. Em particular, num trabalho futuro, ser interessante
obter a equao diferencial hipercomplexa que ter como soluo o polinmio associado de
Laguerre. As funes monognicas foram analisadas em alguns casos, somente para n = 2,
tendo por certo que se verica para um n qualquer, ou seja, para dimenses superiores. Este
trabalho resume-se a um estudo inicial, pois face exgua literatura/investigao sobre este
tema, muito poder ainda ser desenvolvido.
A redaco desta dissertao revelou-se um desao, pois, para alm da reviso de conceitos, teorias com referncias aos seus diversos autores, apresentmos novas concluses. Num

Concluso

95

tratamento mais extenso teriamos certamente resultados mais gerais para outras dimenses
e classes de funes. Um trabalho sistemtico e mais pormenorizado, projectaria novos caminhos na Anlise de Clifford. Mas toda a teoria das sries um assunto que necessita de
mtodos adequados para ser bem sucedida, o que exige um software adequado.
Termino este trabalho com a seguinte citao:

"A Matemtica a rainha das cincias


e a Teoria dos Nmeros a rainha da Matemtica."
Carl Friedrich Gauss

96

Concluso

Apndice A

Funes representadas por sries


hipergeomtricas
Muitas das funes elementares tm representao como srie hipergeomtrica. Com base
nas sries ordinrias que constam em [5] apresentamos alguns exemplos:

Srie geomtrica

zn =

1 + z + z2 + . . . =

1 F0 [1; z] .

n=0

Srie binomial com expoente positivo

(1 + z)

Cm z n =
n

1 F0 [m; z] ,

m > 0, |z| 1.

n=0

(1 z)m =

(1)n Cm z n =
n

1 F0 [m; z] ,

n=0

97

m > 0, |z| 1.

98

Funes representadas por sries hipergeomtricas


Srie binomial com expoente negativo

(1 + z)

(1)n

=
n=0

(1 z)m =
n=0

(m)n n
z =
n!

(m)n n
z =
n!

1 F0 [m; z] ,

1 F0 [m; z] ,

m > 0, |z| < 1.

m > 0, |z| < 1.

Funes trigonomtricas

(1)n

3 z2
1
z 2n+1 = z 0 F1 ;
, |z| < .
(2n + 1)!
2
4

(1)n

z 2n
=
(2n)!

sen z =
n=0

cos z =
n=0

0 F1

1 z2
;
, |z| < .
2
4

Funo exponencial

ez

=
n=0

zn
=
n!

|z| < .

0 F0 [z] ,

Funes logartmicas

ln z = 2
n=0

(z 1)2n+1
z1
1
3
=2
, 1; ;
2 F0
2n+1
(2n + 1)(z + 1)
z+1
2
2

(1)n

ln z = (z 1)
n=0

ln z = (z 1)
n=0

(1)n
n=0

ln(1 z) = z
n=0

ln

, z > 0.

(z 1)n
= (z 1) 2 F1 [1, 1; 2; z + 1] , 0 < z 2.
(n + 1)

z n+1
= z 2 F1 [1, 1; 2; z] , 1 < z 1.
n+1

zn
= z 2 F1 [1, 1; 2; z] , 1 z < 1.
n+1

1+z
1z

(z 1)n z (n+1)
z1
z1
1
=
, z> .
2 F1 1, 1; 2;
(n + 1)
z
z
2

ln(1 + z) =

z1
z+1

= 2 Arg tgh z = 2
n=0

z 2n+1
1
3
= 2z 2 F1 , 1; ; z 2 , |z| < 1.
2n + 1
2
2

99

ln

z+1
z1

= 2 Arg cotgh z = 2
n=0

1
z (2n+1)
3
= z 1 2 F1 , 1; ; z 2 , |z| > 1.
(2n + 1)
2
2

Funes trigonomtricas inversas

arc sen z =
n=0

1 1 3
(2n 1)!!
z 2n+1 = z 2 F1 , ; ; z 2 , |z| < 1.
(2n)!!(2n + 1)
2 2 2

(2n + 1)!!
z n+1
(2z) 2 1 +
2(n+1) (2n + 3)(n + 1)!
2
2
n=0
3 3
5
z
z
, , 1; , 2;
, |z| < 2.
1+
3 F2
12
2 2
2
2

arc sen (1 z) =
=

(2z) 2
2

arc cos z =

n=0

(1)n

arc tg z =
n=0

arc tg z =

(2n 1)!!

1 1 3
z 2n+1 = z 2 F1 , ; ; z 2 , |z| < 1.
(2n)!!(2n + 1)
2
2 2 2

+
2

z 2n+1
1
3
= z 2 F1 , 1; ; z 2 , |z| < 1.
2n + 1
2
2

n=0

Toma-se o primeiro termo


arc cotg z =

z (2n+1)

1
3
= z 1 2 F1 , 1; ; z 2 , |z| > 1.
2n + 1
2
2
2
com o sinal "+" para z > 1 e com o sinal "" para z < 1.

(1)n+1

(1)n
n=0

1
z 2n+1

3
= z 2 F1 , 1; ; z 2 , |z| < 1.
(2n + 1)
2
2
2

Funes hiperblicas

senh z =
n=0

cosh z =
n=0

z 2n+1
3 z2
= z 0 F1 ;
, |z| < .
(2n + 1)!
2 4
z 2n
=
(2n)!

0 F1

1 z2
;
, |z| < .
2 4

Funes hiperblicas inversas

(1)n

Arg senh z =
n=0

(2n 1)!!
1 1 3
z 2n+1 = z 2 F1 , ; ; z 2 , |z| < 1.
(2n)!!(2n + 1)
2 2 2

100

Funes representadas por sries hipergeomtricas

Arg cosh z = ln(2z)


n=0

(2n + 1)!!
z 2(n+1)
(2n + 2)!!2(n + 1)

3
1
= ln(2z) z 2 3 F2 , 1, 1; 2, 2; z 2 , |z| > 1.
4
2

Arg tgh z =
n=0

z 2n+1
1
3
= z 2 F1 , 1; ; z 2 , |z| < 1.
2n + 1
2
2

Arg cotgh z =
n=0

z (2n+1)
1
3 1
= z 1 1 F0 , 1; ; 2 , |z| > 1.
(2n + 1)
2
2 z

Apndice B

Srie de Kamp de Friet


A srie de Kamp de Friet1 generaliza a srie hipergeomtrica generalizada de duas
variveis e inclui como um caso especial a srie hipergeomtrica de Appell F1 [a; b, b ; c; x, y].
A srie pode representar derivadas de sries hipergeomtricas generalizadas com respeito aos
seus parmetros.
As sries de Kamp de Friet so escritas na notao

cp ar

p,r,t
Fq,s,u

x, y .

dq

bs

Casos especiais,

1,1,1
F1,0,0

1,1,1
F1,0,0

contedo

do

1
2

1
2

1
2

3
2

1
2

1
2

1
2

3
2

apndice

1
1
x ,
x, y = E sin

y
x

1
x, y = F

sin1

x ,

y
x


em

questo,

tem

por

http://mathworld.wolfram.com (acedido em Fevereiro de 2006).

101

base

consulta

anlise

do

site:

102

Srie de Kamp de Friet

para x = 0 e |x|, |y| 1, onde E(x, k) o integral elptico incompleto do segundo tipo e
F (x, k) o integral elptico incompleto do primeiro tipo, como tambm

1
2

1
2

1,1,1
F1,0,0

(1; x, y)

2
x, y =

para |x|, |y| 1, onde


adicionais so dadas

(n; x, k) o integral elptico incompleto do terceiro tipo. Identidades

0, cp ar

1+p,r,t
Fq,s,u

x, y = 1

dq

cp ar

bs

cp , ar

p+r
x, 0 = Fq+s

p,r,t
Fq,s,u

dq

bs

cp ar 0, t

dq , d s

cp , ar

p+r
x, y = Fq+s

p,r,1+t
Fq,s,u

dq

bs

x .

dq , d s

Apndice C

Sries Lauricella
O conceito de sries hipergeomtricas duplas pode ser extendido para triplas, quadrplas
ou mltiplas somas, o que torna em geral, os resultados progressivamente mais complicados.
Tais sries foram estudadas em primeiro por Lauricella (1893). A teoria das sries mltiplas
gerais foi investigada mais completamente por Appell (1926).
Segundo Slater [26], Lauricella deniu quatro sries
FA [a, b1 , b2 , . . . , bn , c1 , c2 , . . . , cn , x1 , x2 , . . . , xn ]

...
m1 =0

mn =0

(a)m1 +m2 +...+mn (b1 )m1 (b2 )m2 . . . (bn )mn


xm1 xm2 . . . xmn ,
n
(c1 )m1 (c2 )m2 . . . (cn )mn (1)m1 (1)m2 . . . (1)mn 1 2

onde, para a convergncia,


|x1 | + |x2 | + . . . + |xn | < 1.
FB [a1 , a2 , . . . , an , b1 , b2 , . . . , bn , c, x1 , x2 , . . . , xn ]

...
m1 =0

mn =0

(a1 )m1 (a2 )m2 . . . (an )mn (b1 )m1 (b2 )m2 . . . (bn )mn m1 m2
x1 x2 . . . xmn ,
n
(c)m1 +m2 +...+mn (1)m1 (1)m2 . . . (1)mn

onde, para a convergncia


|x1 | < 1, |x2 | < 1, . . . , |xn | < 1.
FC [a, b, c1 , c2 , . . . , cn , x1 , x2 , . . . , xn ]

...
m1 =0

mn =0

(a)m1 +m2 +...+mn (b)m1 +m2 +...+mn


xm1 xm2 . . . xmn ,
n
(c1 )m1 (c2 )m2 . . . (cn )mn (1)m1 (1)m2 . . . (1)mn 1 2

103

104

Sries Lauricella

onde, para a convergncia


1

2
2
2
|x1 | + |x2 | + . . . + |xn | < 1.

FD [a, b1 , b2 , . . . , bn , c, x1 , x2 , . . . , xn ]

...
m1 =0

mn =0

(a)m1 +m2 +...+mn (b1 )m1 (b2 )m2 . . . (bn )mn m1 m2


x x . . . xmn ,
n
(c)m1 +m2 +...+mn (1)m1 (1)m2 . . . (1)mn 1 2

onde, para a convergncia


|x1 | < 1, |x2 | < 1, . . . , |xn | < 1.

Se n = 2, ento as sries reduzem-se as sries hipergeomtricas de Appell F2 , F3 , F4 e F1 ,


respectivamente. Se n = 1, as quatro sries tornam-se sries hipergeomtricas de Gauss 2 F1 .

Bibliograa
[1] Ablamowicz, R.; Sobczyk, G.; Lectures on Cliord (Geometric) Algebras and Applications, Birkhuser Boston - Basel - Berlin, 2004.
[2] Abramowitz, M.; Stegun, I. A.; Handbook of Mathematical Functions, with formulas,
graphs, and mathematical tables, Dover Publications, 1965.
[3] Andrews, G.; Askey, R.; Roy, R.; Special Functions, Encyclopedia of Mathematics and
its Aplications, Cambridge University Press,volume 71, 1999.
[4] Bailey, W.; Generalized Hypergeometric Series, Stechert Hafner Service Agency, 1964.
[5] Bronstein, I.; Semendiaev, K.; Manual de Matemtica para Engenheiros e Estudantes,
Mir Moscou, 1979.
[6] Carlson, B. C.; Special Functions of Applied Mathematics, New york, Academic, 1977.
[7] Cnops, J.; Malonek, H.; An Introduction to Clifford Analysis, Departamento de
Matemtica da Universidade de Coimbra, 1995.
[8] Delanghe, R.; Sommen, F.; Souek, V.; Cliord Algebra and Spinor - Valued Functions.
A Function Theory for the Dirac Operator, Kluwer Academic Publishers, 1992.
[9] Falco, M.; Cruz, J.; Malonek, H.; Remarks on the Generation of Monogenic Functions. K. Grlebeck and C. Knke, eds. IKM, 17, Weimar, 2006: proceedings http://epub.uniweimar.de/volltexte.
[10] Fueter, R.; Analytische Funktionen einer Quaternionenvariablen, Comment. Math.
Helv. 4 (1932), 9-20.
105

106

BIBLIOGRAFIA

[11] Fueter, R.; Uber die analytische Darstellung der regulren Funktionen einer Quaternionenvariablen, Comment. Math. Helv. 8 (1935-36), 371-378.
[12] Gasper, G.; Rahman, M.; Basic Hypergeometric Series, Encyclopedia of Mathematics
and its Aplications, Cambridge University Press, Volume 96, 2004.
[13] Grosshans, F.; Rota, G. C.; Stein, J. A.; Invariant Theory and Superalgebras, AMS,
1987.
[14] Henrici, P.; Applied and Computational Complex Analysis, A Wiley - Interscience Publication, Volume 1, 1974.
[15] Kamp de Friet Function em http://mathworld.wolfram.com (acedido em Fevereiro de
2006).
[16] Koelink, E.; Assche, W.; Lecture Notes in Mathematics, Orthogonal Polynomials and
Special Functions, Springer, 2002.
[17] Lebedev, N. N.; Special Functions and their Applications, Dover Publications, Inc.,
1972.
[18] Magnus, W.; Oberhettinger, R.; Soni, R. P.; Formulas and Theorems for the Special
Functions of Mathematical Physics, Springer, 1966.
[19] Malonek, H.; A New Hypercomplex Structure of the Euclidean Space Rm+1 and the
Concept of Hypercomplex Dierentiability em: Complex Variables, 1990, Vol. 14, pp.
25-33.
[20] Malonek, H.; Hypercomplex Dierentiability and its Applications em: F. Brackx et
al. (eds.), Clifford Algebras and their Applications in Mathematical Physics, Kluwer
Academic Publishers, 1993, 141-150.
[21] Malonek, H.; Power Series Representation for Monogenic Functions in Rm+1 Based on
a Permutational Product em: Complex Variables, 1990, Vol. 15, pp. 181-191.
[22] Malonek, H. R.; Selected Topics in Hypercomplex Function Theory em: Cliord Algebras and Potencial Theory, (ed. Eriksson, S. - L.), University of Joensuu, Report Series
7, (2004), pp. 111-150.

BIBLIOGRAFIA

107

[23] Petrovsek, M.; Wilf, H.; Zeilberger, D., A=B, Publishers of science and technology,

1996.
[24] Spanier, J.; Oldham, K.; An Atlas of Functions, Hemisphere Publishing Corporation,
1987.
[25] Slater, L. J.; Lit., D.; D., Ph.; Conuent Hypergeometric Functions, Cambridge University Press, 1960.
[26] Slater, L. J.; Generalized Hypergeometric Functions, Cambridge University Press, 1966.
[27] Smirnov, V.; A Course of Higher Mathematics, Pergamon Press, Volume III, 1964.
[28] Spiegel, Murray R.; Variveis Complexas, Editora Mc Graw-Hill do Brasil, LTDA, 1977.
[29] Whittaker, E. T.; Watson, G. N.; A course of Modern Analysis, Cambridge University
Press, 1963.