2007001090

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].
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].
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
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
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
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
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
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
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 .
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
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)
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
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
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
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)
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
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
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
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.
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
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
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
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
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
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
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
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

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

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

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 .
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

(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

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

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
(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)
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

(,)
(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
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
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
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
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)
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
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.
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
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 =
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
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)
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

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)
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
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)
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
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.
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
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
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
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
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
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
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
75
k
Ts
Prova:
n + 2s 3 k1 n + 2s 3
Ts1 =
2s
2s
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
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
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
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
=
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
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

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
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
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
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

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
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

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
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.

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
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

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
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

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

|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.

2007001090

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

2007001090

Uploaded by

Copyright:

Available Formats

Universidade de Aveiro Departamento de Matemtica

Sries hipergeomtricas generalizadas no contexto

Universidade de Aveiro Departamento de Matemtica

Sries hipergeomtricas generalizadas no contexto

dissertao apresentada Universidade de Aveiro para cumprimento dos

Prof. Doutor Domingos Moreira Cardoso

Prof. Doutora Maria Irene Falco de Carvalho Ribeiro Almeida Falco

Prof. Doutor Helmuth Robert Malonek (Orientador)

Em primeiro lugar gostaria de agradecer ao Professor Doutor Helmuth Robert

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

O principal objectivo deste trabalho consiste em estudar sries

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

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 . . . . . . . . . . . . .

1.6 Identicao de uma srie hipergeomtrica . . . . . . . . . . . . . . . . . . . .

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

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

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

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

2 Sries hipergeomtricas e polinmios ortogonais clssicos

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

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

3 Elementos da Anlise de Clifford

3.1 Denio de lgebra de Clifford . . . . . . . . . . . . . . . . . . . . . . . . . .

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

3.2.1 Denio de derivada hipercomplexa . . . . . . . . . . . . . . . . . . .

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

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

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

4 Funes monognicas em termos de duas variveis hipercomplexas

A denio de funes monomiais particulares . . . . . . . . . . . . . . . .

A Funes representadas por sries hipergeomtricas

B Srie de Kamp de Friet

Em particular, estudou a srie

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

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

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

satisfeita pela srie

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

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

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

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

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

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

1.1 Srie de Gauss

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

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

esta tambm denominada por srie hipergeomtrica ordinria ou srie hipergeomtrica de

Nesta notao, a srie de Gauss torna-se

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

onde (1)n = n!. Ento

Se a igual a um inteiro negativo m, ento

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

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

2bz b(b + 1)z 2

uma vez que todos os termos seguintes so nulos.

1.1. Srie de Gauss

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

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

1.2 Convergncia da srie de Gauss

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

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

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

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

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

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

Denio 1.4.2 Uma srie

Denio 1.4.3 [3] A srie hipergeomtrica

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

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

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

1.6. Identicao de uma srie hipergeomtrica

1.6 Identicao de uma srie hipergeomtrica

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

Comparando os coecientes, temos