Professional Documents
Culture Documents
(www.contractil.com)
FUNCIÓN BETA
APLICACIONES DE LA SERIE DE FUNCIONES BETA
(Beta Function)
URRA-SAAVEDRA
UNIVERSIDAD DE ORIENTE
VENEZUELA, FEBRERO - 2006
Descargado de http://www.contractil.com
Sin embargo, nos pareció apropiado adelantar parte de su contenido, extrayendo una
separata que contiene material referente a la serie de funciones beta.- Material que, con
especial interés hacemos llegar a los lectores de contractil.com.
Urra – Saavedra
2
Descargado de http://www.contractil.com
Preámbulos.
∑ β ( x, y + k )
k =n
, x, y > 0 , n = 0,1,...
2.1.- Si x > 1 ,
∑ β ( x, y + k ) = β ( x − 1, y + n )
k =n
, y > 0 , n = 0,1,...
2.2.- Si x > 1 ,
∑ β ( x, k ) = β ( x − 1, n )
k =n
, n = 1, 2,...
Palabras Clave
Función Beta
Keywords
Beta Function
3
Descargado de http://www.contractil.com
∞ ∞
xr
∑∫ dx , p > 0, r > −1
(1 + x p )
k
k =n 0
Solución.- Para que la serie (1) sea convergente, debe serlo la integral impropia
∞
xr
1.1 ∫ dx
(1 + x p )
k
0
r +1
Donde debe ser necesariamente, k > >0 , k ≥n
p
Luego,
∞ ∞
xr ∞
1 ⎛ r +1 r +1⎞
1.3 ∑∫ dx = ∑ β⎜ ,k − ⎟
k =n 0 (1 + x ) p k
k =n p ⎝ p p ⎠
r +1
k> >1 , k ≥ n
p
1
∞ ∞ 2
x
∑∫ dx
(1 + x )
k+ 3
k =5 0 2
4
Descargado de http://www.contractil.com
Solución.-
1
∞ ∞
x 2 ∞
1 ⎛ 1+ 2 1+ 2 ⎞
2.1 ∑∫ dx = ∑ β ⎜⎜ ,k + 3 − ⎟
2 ⎟⎠
(1 + x )
k+ 3
k =5 0 2 k =5 2 ⎝ 2
1 ⎛ 2 −1 9 + 2 3 − 2 ⎞
= β⎜ , ⎟⎟
2 ⎜⎝ 2 2 ⎠
= 2.229234046
π
∞ 2
cos 2 k x
∑ ∫
k = 2 0 2k − 1
dx
Solución.-
2 β ( 2 , 2)
∞ 2 ∞ 1 2 k +1 1
cos 2 k x
3.1 ∑ ∫
k = 2 0 2k − 1
dx = ∑
k =2 2k − 1
1 ∞ ⎛ 2k − 1 3 ⎞
= ∑β ⎜ , ⎟
2 k =2 ⎝ 2 2 ⎠
1 ⎛3 1⎞
= β⎜ , ⎟
2 ⎝2 2⎠
π
=
4
Solución.-
3
∞ ∞ ∞ ∞ ∞
x2 ⎛5 1⎞
4.1 ∑∑ ∫
n =1 k = n 0 (1 + x )
k +3
dx = ∑∑
n =1 k = n
β ⎜ ,k + ⎟
⎝2 2⎠
∞
⎛3 1⎞
= ∑ β ⎜ ,n + ⎟
n =1 ⎝2 2⎠
⎛1 3⎞
=β⎜ , ⎟
⎝2 2⎠
π
=
2
5
Descargado de http://www.contractil.com
∞ ∞
k!
∑∑ ( n + 2 )( n + 3)( n + 4 ) ... ( n + 2 + k )
n =3 k = 2
Solución.-
∞ ∞ ∞ ∞
k!
5.1. ∑∑
n = 3 k = 2 ( n + 2 )( n + 3 )( n + 4 ) ... ( n + 2 + k )
= ∑∑
n =3 k = 2
β ( n + 2, k + 1)
∞
= ∑ β ( n + 1,3)
n =3
= β ( 4, 2 )
1
=
20
∞ ∞
∑∑ k β ( 3 + α , k )
n =1 k = n
, α >0
Solución.
∞ ∞ ∞ ∞
6.1.- ∑∑ k β ( 3 + α , k ) = ∑∑ ( 2 + α ) β ( 2 + α , k + 1)
n =1 k = n n =1 k = n
∞
= ∑ ( 2 + α )β (1 + α , n + 1)
n =1
= ( 2 + α ) β (α , 2 )
2 +α
= , α >0
α (α + 1)
∞ ∞
β ( 3, k + 1)
∑∑ β (
n =1 k = n
1
, k + 1)
2
Solución.-
∞ ∞
β ( 3, k + 1) ∞ ∞ β ( 12 + 52 , k + 1)
7.1 ∑∑
n =1 k = n β ( 2 , k + 1)
1
= ∑∑
n =1 k = n β ( 12 , k + 1)
6
Descargado de http://www.contractil.com
∞ ∞
β ( 52 , k + 32 )
= ∑∑
n =1 k = n β ( 12 , 52 )
∞
β ( 32 , n + 32 )
=∑
n =1 β ( 12 , 52 )
β ( 12 , 52 )
=
β ( 12 , 52 )
=1
∑∑ ∫ (1 − )
∞ k+ 2
3
x dx
n =3 k = n 0
Solución.-
∞ 1
∑∑ ∫ (1 − )
∞ ∞ ∞
k+ 2
(k + )
dx = ∑∑1
2 1
3
8.1 x 3
n =3 k = n 0 n =3 k = n
( )
∞ ∞
= ∑∑ 3β 3, k + 1 + 2
n =3 k = n
( )
∞
= 3∑ β 2, n + 1 + 2
n =3
= 3β 1, 4 + 2( )
3
=
4+ 2
Solución.-
∞
β (α , k + 1) ∞
9.1 ∑ k ( k − 1)
k =2
= ∑ β (α , k + 1).β ( k − 1, 2 )
k =2
∞
= ∑ β (α , k − 1 + 2 ) .β ( k − 1, 2 )
k =2
∞
= ∑ β (α + 2, k − 1) .β (α , 2 )
k =2
= β (α + 1,1) .β (α , 2 )
7
Descargado de http://www.contractil.com
1
= ,α > 0
α (α + 1)
2
∞
β (α , k + 1) Γ (α )
∑ k ( k − 1)( k − 2 ) ... ( k − n ) = α + n Γ α + n , α > 0, n = 1, 2,...
( ) ( )
2
k = n +1
Solución.-
∞
β (α , k + 1) ∞
β (α , k + 1) β ( k − n, n + 1)
10.1 ∑ k ( k − 1)( k − 2 ) ... ( k − n ) ∑
k = n +1
=
k = n +1 n!
1 ∞
= ∑ β (α , k − n + n + 1) β ( k − n, n + 1)
n ! k = n +1
1 ∞
= ∑ β (α + n + 1, k − n ) β (α , n + 1)
n ! k = n +1
β (α + n,1) β (α , n + 1)
=
n!
Γ (α ) Γ ( n + 1)
=
n !(α + n ) Γ (α + n + 1)
Γ (α )
= , α > 0 , n = 1, 2,...
(α + n ) Γ (α + n )
2
⎛ 9⎞ 3
∞
β ⎜ 7 − ,k + ⎟
⎝ 5 5 ⎠
=∑
⎛ 3 9⎞
k =3
β⎜ 7− , ⎟
⎝ 5 5⎠
8
Descargado de http://www.contractil.com
⎛ 8 24 ⎞
β⎜ 7− , ⎟
= ⎝
5 5 ⎠
⎛ 3 9⎞
β⎜ 7− , ⎟
⎝ 5 5⎠
= 0.9827507787
−1
∞
⎛n+ k ⎞
∑ ⎜
k =1 ⎝ n ⎠
⎟
⎛n+ k ⎞ 1
12.1 ⎜ ⎟ β ( n, k + 1) =
⎝ n ⎠ n
luego,
−1
∞
⎛n+ k ⎞ ∞
12.2 ∑ ⎜
k =1 ⎝ n ⎠
⎟ = ∑
k =1
nβ ( n, k + 1)
−1
∞
⎛n+ k ⎞
12.3 ∑ ⎜
k =1 ⎝ n ⎠
⎟ = nβ ( n − 1, 2 )
1
= , n>1
n −1
∑∑ β (α + n, p + k ) = β (α , p ) ,
n =1 k =1
α, p > 0
Solución.-
∞ ∞ ∞
13.1. ∑∑ β (α + n, p + k ) = ∑ β (α + n − 1, p + 1)
n =1 k =1 n =1
= β (α , p )
9
Descargado de http://www.contractil.com
∞
1.- Sea ∑a
k =1
k una serie convergente de términos positivos. Si λ es el valor límite y λn la
∞
1.1 λ = λn + ∑a
k = n +1
k , n = 1,2,…
Sea σ n una sucesión de números reales que satisface las siguientes condiciones:
1.2 lim σ n = 0
n →∞
∑a
k =n
k ≤ σn , n > n0
Considerando ahora, la desigualdad λn < λ , junto a las relaciones 1.1 y 1.3 se tiene,
1.4 λn < λ ≤ λn + σ n +1 , n ≥ n0
⎛ σ n +1 ⎞
1.5 λ = ⎜ λn + ⎟±ε , n ≥ n0
⎝ 2 ⎠
σ n +1
donde ε es un número real positivo que satisface la relación ε ≤ .
2
La fórmula 1.5 permite hacer una estimación del valor límite λ de la serie (1) con
la aproximación deseada.
Si se desea hacer una estimación del valor de λ con un error ε < 10−α , siendo α un
número entero positivo, bastará resolver la inecuación,
σ n +1
1.6 < 10−α
2
10
Descargado de http://www.contractil.com
⎛ σ n +1 ⎞
1.7 λ = ⎜ λn + ⎟±ε , n ≥ ne , 0 < ε < 10− α
⎝ 2 ⎠
2.- Problema.- Determinar con un error ε < 10−3 el valor límite λ de la serie
∞
1
∑⎛
k =1 3⎞
(
⎜ k + ⎟ k + 5 (k + π )
⎝ 2⎠
)
Solución.- Obsérvese que,
1 1
2.1 < , k ≥1.
( k + 1)( k + 2 )( k + 3)
⎛
⎝
3⎞
(
⎜ k + ⎟ k + 5 (k + π )
2⎠
)
Esta desigualdad sugiere que es apropiado elegir como sucesión asociada,
∞
1
2.2 σn = ∑
k = n ( k + 1)( k + 2 )( k + 3 )
1 ∞
= ∑ β ( k + 1,3)
2 k =n
1
= β ( n + 1, 2 )
2
11
Descargado de http://www.contractil.com
⎛ σ n +1 ⎞ σ n +1
2.3 λ = ⎜ λn + ⎟±ε , n = 1, 2,... , 0 < ε ≤
⎝ 2 ⎠ 2
Donde
k =n
1
2.4 λn = ∑
k =1 ⎛ 3⎞
(
⎜ k + ⎟ k + 5 (k + π )
⎝ 2⎠
)
Para un error ε < 10−3 , hay que resolver la inecuación.
σ n +1
2.5 < 10−3
2
1
β ( n + 2, 2 ) < 10−3 , ( 2.2 )
4
1
< 10−3
4 ( n + 2 )( n + 3)
⎛⎛ ⎞ ⎞
⎜ ⎜ k =14 1 ⎟ 1 ⎟⎟
2.6 λ = ⎜∑
⎜ ⎟+ ±ε
⎜ ⎜ k =1 ⎛
⎜⎜
⎝⎝ ⎝
3⎞
2⎠
(⎟
⎜ k + ⎟ k + 5 (k +π ) ⎟
⎠
1088 ⎟
⎟
⎠
)
0 < ε < 10−3
El cálculo interactivo arroja el valor estimado,
3.- Problema.- Determinar con un error ε < 10−3 el valor límite λ de la serie
∞ ( k + 61 ) ( k + π )3
∑
k =1 (k + )(
10 k + 19 )( k + 29 )( k + )(
37 k + 51 )
Solución.- La siguiente sucesión es apropiada como sucesión asociada,
12
Descargado de http://www.contractil.com
3.1 σn = ∑
∞
( k + 8)( k + 32 )
k = n ( k + 3 )( k + 4 )( k + 5 )( k + 6 )( k + 7 )
Luego,
σn = ∑
∞
( k + 8 )( k + 32 ) β
3.2 ( k + 3,5)
k =n 24
1 ∞
= ∑ ( k + 8) ( 4β ( k + 4, 4 ) + 29 β ( k + 3,5) )
24 k = n
1 ∞
= ∑ (12 β ( k + 5,3) + 132β ( k + 4, 4 ) + 145β ( k + 3,5) )
24 k = n
1
= (12 β ( n + 5, 2 ) + 132 β ( n + 4,3) + 145 β ( n + 3, 4 ) )
24
De donde,
1 ⎛ 44 145 ⎞
3.3 σn = ⎜⎜ 2 + + ⎟
4(n + 5)(n + 6) ⎝ n + 4 ( n + 3)( n + 4 ) ⎟⎠
Por lo tanto,
σ n +1 1 ⎛ 44 145 ⎞
3.4 = ⎜⎜ 2 + + ⎟
2 8(n + 6)(n + 7) ⎝ n + 5 ( n + 4 )( n + 5 ) ⎟⎠
σ n +1 1
< ( 2 + 8 + 5)
8 ( n + 6)
2
2
15
=
8 ( n + 6)
2
15
3.5 < 10− 3
8 ( n + 6)
2
13
Descargado de http://www.contractil.com
σ 38 1 ⎛ 44 145 ⎞
3.6 = ⎜2+ + ⎟
2 8.43.44 ⎝ 42 41.42 ⎠
= 0.000206912
⎛ σ 38 ⎞ σ 38
3.7 λ = ⎜ λ37 + ⎟±ε , 0<ε ≤ < 10− 3
⎝ 2 ⎠ 2
Donde,
k =37 ( k + 61 ) ( k + π ) 3
3.8 λ37 = ∑
k =1 (k + )(
10 k + 19 )( k + 29 )( k + )(
37 k + 51 )
= 0.086912487
σ 20
3.10 = 0.000787695
2
⎛ σ 20 ⎞ σ 20
3.11 λ = ⎜ λ19 + ⎟±ε , 0<ε ≤ < 10− 3
⎝ 2 ⎠ 2
Esto es,
4.- Problema.- Determinar con un error ε < 10− 4 , el valor límite λ de la serie.
( k + 13 )
3
∞
∑
(k + 5 ) (k + π )(k + )
π
k =1 17
14
Descargado de http://www.contractil.com
( k + 13 )
3
( k + 4)
2
4.1.- <
(k + 5 ) (k + π )(k + 17 ) ( k + 2 ) ( k + 3)( k + 4 )
π 3
<
( k + 4) , k = 1, 2,...
k ( k + 1)( k + 2 )( k + 3)
las desigualdades 4.1 sugieren que es apropiado elegir como sucesión asociada,
∞
k+4
4.2 σn = ∑ , n = 1, 2,...
k = n k ( k + 1)( k + 2 )( k + 3 )
∞
k +4
=∑ β ( k, 4)
k =n 6
1 ∞
= ∑ ( 3β ( k + 1,3) + 4 β ( k , 4 ) )
6 k =n
1
= ( 3β ( n + 1, 2 ) + 4 β ( n,3) )
6
1⎛ 3 8 ⎞
= ⎜⎜ + ⎟
6 ⎝ ( n + 1)( n + 2 ) n ( n + 1)( n + 2 ) ⎟⎠
1 ⎛ 8⎞
= ⎜3+ ⎟
6 ( n + 1)( n + 2 ) ⎝ n⎠
luego,
σ n +1 1 ⎛ 8 ⎞
4.3 = ⎜3+ ⎟
2 12 ( n + 2 )( n + 3) ⎝ n +1⎠
⎛ σ n +1 ⎞ σ n +1
4.4 λ = ⎜ λn + ⎟±ε , 0<ε ≤
⎝ 2 ⎠ 2
Si se toma n = 50 , se tiene
σ 51 1 ⎛ 8⎞
4.5 = ⎜3+ ⎟
2 12.52.53 ⎝ 51 ⎠
= 0.000095454
< 10− 4
Por lo tanto,
15
Descargado de http://www.contractil.com
⎛ σ 51 ⎞
4.6 λ = ⎜ λ50 + ⎟±ε , 0 < ε < 10− 4
⎝ 2 ⎠
Donde
( )
3
k = 50 k + 13
4.7 λ50 = ∑
(k + 5) (k + π )(k + )
π
k =1 17
= 0.03246258
(
5.- Problema.- Determinar el valor de ζ 1 + 10 con un error ε < 10− 5 , siendo ζ la )
función Zeta de Riemann.
Solución.-
( )
∞
1
5.1 ζ 1 + 10 = ∑
k =1 k 1+ 10
k =n ∞
1 1
=∑ 1+ 10
+ ∑ 1+ 10
k =1 k k = n +1 k
Pero
∞ ∞
1 1
5.2 ∑
k = n +1 k 1+ 10
≤ ∑
k = n +1 k
4
∞
1
≤ ∑ k ( k − 1)( k − 2 )( k − 3)
k = n +1
, n≥3
∞
β ( k − 3, 4 )
= ∑
k = n +1 6
β (n − 2,3)
=
6
1
= , n≥3
3 ( n − 2 )( n − 1) n
luego,
16
Descargado de http://www.contractil.com
( ⎛ k =n 1
) ⎞
k =n
1 1
5.3 ∑k
k =1
1+ 10
≤ ζ 1 + 10 ≤ ⎜ ∑ 1+ 10
⎝ k =1 k
⎟ + 3n n − 1 n − 2
⎠ ( )( )
, n≥3
Por lo tanto,
5.4
⎛ ⎛ k =n ⎞ ⎞
(
ζ 1 + 10 = ⎜⎜ ⎜ ∑ 1+ ) 1
10
1 1
⎟ + 6n n − 1 n − 2 ⎟⎟ ± ε , n ≥ 3, 0 < ε ≤ 6n(n − 1)(n − 2)
( )( )⎠
⎝ ⎝ k =1 k ⎠
Para n = 27 se tiene,
1 1
5.5 0<ε ≤ = < 10− 5
6.27.26.25 105300
Además,
k = 27
1
5.6 ∑k
k =1
1+ 10
= 1.071939199
De donde se obtiene,
5.7 ( )
ζ 1 + 10 = 1.07194869 ± ε , 0 < ε < 10− 5
Para obtener esta aproximación a partir de la serie original, habría que sumar más
de 120 términos.
6.- Problema.- Determinar con un error ε < 10− 5 el valor límite λ de la serie
∞
1
∑2
k =1
k3
Solución.-
∞ ∞
1 1
6.1 λ =∑ 3 = λn + ∑ 3
k =1 2 k
k = n +1 2k
donde
k =n
1
6.2 λn = ∑ 3
k =1 2k
Pero,
17
Descargado de http://www.contractil.com
∞ ∞
1 1
6.3 ∑
k = n +1 2k
3 ≤∑
k = n +1 k
6
∞
1
≤ ∑ k ( k − 1)( k − 2 )( k − 3)( k − 4 )( k − 5)
k = n +1
,n≥5
1 ∞
= ∑ β ( k − 5, 6 ) , n ≥ 5
120 k = n +1
1
= β ( n − 4,5 ) ,n≥5
120
luego,
⎛ β ( n − 4,5 ) ⎞ β ( n − 4,5 )
6.4 λ = ⎜ λn + ⎟±ε , 0<ε ≤
⎝ 240 ⎠ 240
Para n = 10 se tiene,
⎛ β ( 6,5 ) ⎞ β ( 6,5 ) 1
6.5 λ = ⎜ λ10 + ⎟±ε ,0<ε ≤ = < 10− 5
⎝ 240 ⎠ 240 302400
Donde,
k =10
1
6.6 λ10 = ∑ 3 = 0.5039062575
k =1 2k
7.- Problema.- Determinar con un error ε < 10− 6 el valor límite λ de la serie,
∞ π
∑2
k =1
−k 3
2α > α 2 ,α ≥ 4
18
Descargado de http://www.contractil.com
2α > α 3 , α ≥ 10
y obtener así una sucesión asociada a la serie (7), que se reduce a una evaluación de la
función beta.
Pero existe otra opción.-
Solución del Problema 7.-
k =n π
Sea λn = ∑ 2− k
3
7.1
k =1
Luego,
∞ π
7.2 λ = λn + ∑2
k = n +1
−k3
Pero,
∞ π ∞
7.3 ∑2
k = n +1
−k3
≤ ∑2
k = n +1
−k
∞
= ∑ (1 ⊕ 1)
k
k = n +1
= 2 (1 ⊕ 1)
n+1
1
=
2n
Por lo tanto,
⎛ 1 ⎞ 1
7.4 λ = ⎜ λn + ⎟±ε , 0<ε ≤
⎝ 2n +1 ⎠ 2n +1
1
7.5 n +1
< 10− 6
2
Para n = 19 se tiene,
⎛ 1 ⎞ 1 1
7.6 λ = ⎜ λ19 + 20 ⎟
± ε , 0 < ε ≤ 20 = < 10− 6
⎝ 2 ⎠ 2 1048576
Donde,
19
Descargado de http://www.contractil.com
k =19 π
λ19 = ∑ 2− k = 0.9459361087
3
7.7
k =1
Si se desea obtener el valor límite λ de la serie (7) con un error ε < 10− 8 , es
suficiente tomar n = 27 . En tal caso,
⎛ 1 ⎞ 1
7.9 λ = ⎜ λ27 + ⎟±ε , 0<ε ≤ < 10− 8
⎝ 228 ⎠ 2 28
Donde,
k = 27 π
λ 27 = ∑ 2− k = 0.94593631306635
3
7.10
k =1
20
Descargado de http://www.contractil.com
2.- Proposición.-
yτ z ( x, y ) = z (τ z +1 ( x, y ) − τ z ( x, y ) )
⎛ 1 ⎞
⎜⎜ z −1,1 ⎟
y ⎟⎠
2.1 β ( z + 1, y ) = β ( z, y ) .1 ⎝
⎛ z⎞
= β ( z, y ) ⎜1 ⊕ ⎟
⎝ y⎠
z
= β ( z, y )
z+ y
De 2.1 se obtiene,
y z z
2.2 = −
β ( z , y ) β ( z + 1, y ) β ( z, y )
De donde,
y β ( x, y ) ⎛ β ( x, y ) β ( x, y ) ⎞
2.3 = z ⎜⎜ − ⎟⎟
β ( z, y ) ⎝ β ( z + 1, y ) β ( z , y ) ⎠
Luego,
2.4 yτ z ( x, y ) = z (τ z +1 ( x, y ) − τ z ( x, y ) )
├
2.5 yτ z = z (τ z +1 − τ z )
21
Descargado de http://www.contractil.com
2.6 yτ z ( x, u ) = z (τ z +1 ( x, u ) − τ z ( x, u ))
= uτ z ( x, u ) (Prop. 2)
Entonces,
i = n +1 i −1 i
yϕ ( x, y ) = ∑
i =1 ai
τ ( x, y )
ai −1 i
Con la condición adicional, a0 = an +1 = 0
Demostración.-
i =n
3.1 yϕ ( x, y ) = ∑ ai y τ i ( x, y )
i =1
⎛ i=n ⎞
= ⎜ ∑ ai i (τ i +1 − τ i ) ⎟ ( x, y )
⎝ i =1 ⎠
= ( a1 (τ 2 − τ 1 ) + 2a2 (τ 3 − τ 2 ) + ... + nan (τ n +1 − τ n ) ) ( x, y )
= ( −a1τ 1 + ( a1 − 2a2 ) τ 2 + ... + nanτ n +1 ) ( x, y )
⎛ 0 1 1 2 n n +1 ⎞
=⎜ τ1 + τ 2 + ... + τ n +1 ⎟ ( x, y ) , an +1 = 0
⎝ a1 a0 a2 a1 an +1 an ⎠
i = n +1 i −1 i
= ∑i =1 ai ai −1
τ i ( x, y )
β ( x − z, y + z )
τ z ( x, y ) =
β ( x − z, z )
4.1 β ( x − z, y + z ) β ( z, y ) = β ( x − z + z, y ) β ( x − z, z )
├
22
Descargado de http://www.contractil.com
5. Teorema.- Para cada número entero positivo n, existen números reales a1 ,..., an tales que,
i=n
y n β ( x, y ) = ∑ ai τ i ( x, y ) , x, y > 0
i =1
β ( x, y )
5.1 n =1 , y β ( x, y ) = = τ ( x, y ) , x, y > 0
β (1, y ) 1
i=n
5.4 y n β ( x, y ) = ∑ ai τ i ( x, y ) , x, y > 0
i =1
n =1 1
n=2 −1 1
n=3 1 −3 2
n=4 −1 7 − 12 6
n=5 1 − 15 50 − 60 24
n=6 −1 31 − 180 390 − 360 120
Por ejemplo,
23
Descargado de http://www.contractil.com
6.- Teorema.- Para cada número entero positivo n las funciones τ 1 ,..., τ n son linealmente
independientes.
Demostración.- Sea
i =n
6.1 ∑a τ
i =1
i i =0
luego,
i =n
ai
6.3 ∑ β ( i, y ) = 0
i =1
, y>0
Esto es,
a1 a2 an
6.4 + + ... + =0 , y>0
β (1, y ) β ( 2, y ) β ( n, y )
6.5
a3 y ( y + 1)( y + 2 ) a y ( y + 1) ... ( y + n − 1)
a1 y + a2 y ( y + 1) + + ... + n =0 , y>0
2! ( n − 1)!
En efecto, sea
Consideremos un entero k, 1 ≤ k ≤ n
6.7 β ( x, y ) = β ( k , y ) τ k ( x, y ) , x, y > 0
24
Descargado de http://www.contractil.com
∑ τ ( x, k )
k =n
z , x > 0, z ≥ 0, n = 1, 2,...
β ( x, k )
τ z ( x, k ) = ≥1 , k = 1, 2,...
β ( z, k )
∞
( )
∞
β x, k
∑ τ ( x, k ) = ∑ β ( z , k )
k =n
z
k =n
∞
β ( x − z, k + z )
=∑
k =n β ( x − z, z )
la última serie escrita en 7.2 es una serie de funciones beta. Por lo tanto, converge si
x − z > 1 y diverge si x − z ≤ 1 .
├
25
Descargado de http://www.contractil.com
∑τ (1 + x + z, k ) = τ ( x, z ) τ ( x + z, n )
k =n
z 1+ x z , n = 1, 2,...
Demostración.-
∞
β (1 + x + z, k )
∞
8.1 ∑τ (1 + x + z, k ) = ∑ β ( z, k )
k =n
z
k =n
∞
β (1 + x, k + z )
=∑ (Prop. 4)
k =n β (1 + x, z )
β ( x, n + z )
=
β (1 + x, z )
β ( x, z ) β ( x, n + z )
=
β (1 + x, z ) β ( x, z )
= τ 1+ x ( x, z ) τ z ( x + z , n )
├
z
8.2 τ z ( x,1) = , x, z > 0
x
z ( z + 1) ... ( z + k − 1)
8.3 τ z ( x, k ) = , x, z > 0 , k = 2,3,...
x ( x + 1) ... ( x + k − 1)
1
8.4 τ z (1, x ) = , x, z > 0
x β ( z, x )
8.5 τ z (k, x) =
( k − 1)! , x, z > 0 , k = 2,3,...
x ( x + 1) ... ( x + k − 1) β ( z, x )
8.6 τ z ( z + x, y ) = τ z ( z + y , x ) , x, y , z > 0
8.6.1 τ z ( z + k , y ) = τ z ( z + y, k )
z ( z + 1) ... ( z + k − 1)
= , ( 8.3)
( z + y )( z + y + 1) ... ( z + y + k − 1)
Veamos un ejemplo numérico.
26
Descargado de http://www.contractil.com
= τ 7 ( 7 + 35, 2 )
= τ 7 ( 42, 2 )
7.8
=
42.43
4
=
129
∑τ (1 + x + z, y + k ) = τ ( x, z ) τ ( x + z, y + n )
k =n
z 1+ x z , n = 1, 2,...
Demostración.-
∞
β (1 + x + z , y + k )
∞
9.1 ∑τ (1 + x + z, y + k ) = ∑ β ( z, y + k )
k =n
z
k =n
∞
β (1 + x, y + k + z )
=∑
k =n β (1 + x, z )
β ( x, y + n + z )
=
β (1 + x, z )
β ( x, z ) .β ( x, y + n + z )
=
β (1 + x, z ) .β ( x, z )
= τ 1+ x ( x, z ) .τ z ( y + n + z , x )
= τ 1+ x ( x, z ) .τ z ( x + z , y + n ) , ( 8.6 )
├
∞
a ( a + 1) ... ( a + k )
∑ b ( b + 1) ...( b + k )
k =0
∞
a ( a + 1) ... ( a + k ) ∞
10.1 ∑
k = 0 b ( b + 1) ... ( b + k )
= ∑ τ a ( b, k + 1)
k =0
, (8.3)
27
Descargado de http://www.contractil.com
∞
= ∑ τ a ( b, k )
k =1
∞
10.2 λ = ∑ τ a (1 + ( b − a − 1) + a, k )
k =1
= τ b − a ( b − a − 1, a ) .τ a ( b − 1,1) , (Teor. 8)
β ( b − a − 1, a ) a
= . , (8.2)
β ( b − a, a ) b − 1
10.3 β ( b − a, a ) = β ( b − a − 1 + 1, a )
⎛ 1⎞
⎜ b − a − 2 ,1 ⎟
= β ( b − a − 1, a ) .1⎝ a⎠
, (L2.B-5.169)
⎛ b − a −1 ⎞
= β ( b − a − 1, a ) ⎜1 ⊕ ⎟
⎝ a ⎠
b − a −1
= β ( b − a − 1, a ) .
b −1
a
10.4 λ=
b − a −1
∞
a ( a + 1)… ( a + k ) a
10.5 ∑ b ( b + 1)…( b + k ) = b − a − 1
k =0
El método que se ha usado aquí para resolver el Prob. 10., fue propuesto por Urra y
Saavedra.-
No es fácil intuir una solución simple para este problema.
Consideramos útil ilustrar la fórmula 10.5 mediante un ejemplo numérico.
∞ 3 ( ) (
3 +1 … 3+k )= 3
10.6 ∑
k =0 π (π + 1)… (π + k ) π − 3 −1
28
Descargado de http://www.contractil.com
1 33.1.2 43.1.2.3
+ + + ...
7 7.8.9 7.8.9.10
k !( k + 1)
3
∞
11.1 λ =∑
k =1 7. ( 7 + 1)… ( 7 + k )
∞
= ∑ ( k + 1) .β ( 7, k + 1)
3
k =1
∞
= ∑ k 3 .β ( 7, k )
k =2
∞
11.2 λ = ∑ (τ 1 ( 7, k ) − 3τ 2 ( 7, k ) + 2τ 3 ( 7, k ) )
k =2
∞
11.3 λ = ∑ (τ 1 (1 + 5 + 1, k ) − 3τ 2 (1 + 4 + 2, k ) + 2τ 3 (1 + 3 + 3, k ) )
k =2
luego,
De donde,
39
11.6 λ=
70
Esto es
1 33.1.2 43.1.2.3 39
11.7 + + + ... =
7 7.8.9 7.8.9.10 70
29
Descargado de http://www.contractil.com
∞ 3 ( ) (
3 +1 … 3+k ) = 3+ 2 3
∑
k =0 ( k + 3) ! 2
Solución.- Podemos dar a esta serie, la forma de la serie presentada en el Prob. 10 y aplicar
en consecuencia, el resultado proporcionado en la fórmula 10.5
∞ 3 ( ) (
3 +1 … 3+k )=1 ∞ 3 ( 3 +1 …) ( 3+k )
12.1 ∑
k =0 ( k + 3)! 2
∑
k =0 3 ( 3 + 1)… ( 3 + k )
1 3
= .
2 3 − 3 −1
3+ 2 3
=
2
∞
k!
∑ ( k + 4 )!
k =1
Mostraremos tres métodos para resolver este problema. Los tres son
extraordinariamente breves.
∞
k! 1 ∞ 1(1 + 1)… (1 + k − 1)
13.1 ∑
k =1 ( k + 4 ) !
= ∑
4! k =1 5 ( 5 + 1)… ( 5 + k − 1)
1 ∞ 1(1 + 1)… (1 + k )
= ∑
4! k =0 5 ( 5 + 1)… ( 5 + k )
1 1
= . , (10.5)
4! 5 − 1 − 1
1
=
72
∞ ∞
k! 1
13.2 ∑
k =1 ( k + 4 ) !
= ∑
k =1 ( k + 1)( k + 2 )( k + 3 )( k + 4 )
1 ∞
= ∑ β ( k + 1, 4 )
3! k =1
30
Descargado de http://www.contractil.com
1
= β ( 2,3)
3!
1
=
72
−1
∞
k! 1 ∞ ⎛ k + 4⎞
13.3 ∑
k =1 ( k + 4 ) !
= ∑⎜ ⎟
4! k =1 ⎝ 4 ⎠
1 1
= . , (A- 12.3)
4! 4 − 1
1
=
72
14. Sucesiones Laterales.- Las sucesiones
An = ( −1)
n −1
14.1 , n = 1, 2,...
14.2 Bn = ( n − 1) ! , n = 1, 2,...
⎧⎪1 si n = 1
14.3 Cn = ⎨
⎪⎩( −1) (1 + 2 Cn −1 ) si n = 2,3,...
n −1
14.4 Dn = −
( n + 1)! , n = 1, 2,...
2
Las siguientes figuras muestran el proceso de construcción del triángulo tau-beta, partiendo
de las sucesiones laterales. Los elementos que faltan (X) se obtienen con arreglo al método
proporcionado en 5.4.
31
Descargado de http://www.contractil.com
Fig. 1
Fig. 2
-1 1
1 -3 2
-1 7 -12 6
1 -15 X -60 24
-1 31 X X -360 120
32