Clculo avanzado con Mathematica.

nb

85

5.2.7 EJERCICIOS
1.-Resolver nmericamente
a) x'[t]=(t^2-x[t])/(t+x[t]^2) con condicin inicial x[0]=1
b) Obtener x'[0]
c) Representarla grficamente
d)Obtener el nmero de pasos empleados por el mtodo para resolver la ecuacin
e)Resolver la ecuacin nmericamente utilizando el mtodo de Runge-Kutta y obtener el nmero de pasos empleados. Dibujar la solucin.
f)Con cul de los dos mtodos se resuelve en menos pasos la ecuacin?
2.-a) Resolver nmericamente la siguiente ecuacin de ondas
D[y[x, t], t, t] == D[y[x, t], x, x] es la ecuacin de ondas con condiciones y de contorno
y[x, 0] == Exp[-x^2], Derivative[0,1][y][x, 0] == 0,y[-5, t] == y[5, t].
b) Dibujar la solucin como superficie de R3 y como curva en R2 para diferentes valores de t.
3.- Idem para la ecuacin de Sine-Gordon
D[y[x, t], t, t] == D[y[x, t], x, x] + Sin[y[x, t]] con condiciones iniciales y de contorno
y[x, 0] == Exp[-x^2], Derivative[0,1][y][x, 0] == 0, y[-5, t] == y[5, t] .
4.-a) Resolver de forma exacta el sistema
x'[t]=x-y+1
y'[t]=x+3y+e^(-t)
con condiciones iniciales x[0]=0,y[0]=1.
b) Dibujar la curva solucin
c) Resolverlo de forma aproximada
d) Dibujar la solucin

CAPITULO Vl
APLICACIONES AL CLCULO:
FUNCIONES ESPECIALES
Mathematica incluye definiciones de funciones especiales de fsica-matemtica, tales como la funcin gamma, la
funcin beta, funciones de Bessel......

86

Clculo avanzado con Mathematica.nb

6.1. FUNCIN GAMMA DE EULER Y FUNCIONES RELACIONADAS

6.1.1. LA FUNCIN GAMMA
La funcin gamma se define como
G(z)=

tz-1 e-t dt

La funcin Gamma puede verse como una generalizacin de la funcin factorial para argumentos no enteros, ya
que Gamma[p]=(p-1)!, si p es entero
La sintaxis es la siguiente:
Gamma[x] da el valor de la funcin Gamma para x
Mathematica da el resultado exacto para algunos valores particulares de la funcin
1
GammaB F
2

Gamma@3D
2

En cambio cuando el resultado exacto no es conocido

12
GammaB
7
12
GammaB
7

F
F

es posible obtener un valor aproximado con //N

N@%D
0.911423339638174
?? Gamma
Gamma@zD is the Euler gamma function. Gamma@a,
zD is the incomplete gamma function. Gamma@a, z0, z1D is the
generalized incomplete gamma function Gamma@a, z0D - Gamma@a, z1D.
Attributes@GammaD = 8Listable, NumericFunction , Protected<

La funcin Gamma es una funcin con el atributo Listable

1
GammaB: , 7>F
2
: , 720>

El grfico de la funcin Gamma es el siguiente

Clculo avanzado con Mathematica.nb

Plot@N@Gamma@xDD, 8x, - 10, 10<D

6
4
2

-10

-5

10

-2
-4

Graphics

Mathematica conoce propiedades analticas de la funcin, como su derivada

x Gamma@xD
Gamma@xD PolyGamma@0, xD

Algunas integrales definidas se pueden calcular en trminos de la funcin Gamma

x E-x x

6.1.2. LA FUNCIN BETA

La funcin Beta de Euler se define como
(a,b)= ta-1 H1 - tLb-1 t
1

y est relacionada con la funcin Gamma por la frmula

(a,b)=G(a) G(b) / G(a+b)
La sintaxis es la siguiente
Beta[a,b]

87

88

Clculo avanzado con Mathematica.nb

6.1.3. OTRAS FUNCIONES RELACIONADAS

Gamma[a,z] la funcin Gamma incompleta, se define como
G(a,z)=

ta-1 e-t dt

Gamma[a,z0,z1] la funcin gamma incompleta generalizada se define como

G(a, z0 , z1 )= ta-1 e-t dt
z1

z0

Beta[z,a,b] la funcin Beta incompleta se define como

z (a,b)= ta-1 H1 - tLb-1 t
z

PolyGamma[z] la funcin digamma se define como la derivada logaritmica de la funcin gamma

(z)=G'(z) / G(z)

6.1.4. EJERCICIOS
1. Calcular las siguientes integrales eulerianas
a)

x e-x x

b)

x2 p-1 e-x x

2.- Calcular las siguientes integrales eulerianas

a)

b)

Sin@xDn x

Cot@xDn x

6.2. LA FUNCIN DE ERROR Y FUNCIONES RELACIONADAS

La funcin de error , Erf[z], es la integral de la distribucin gaussiana dada por
erf(z)=2 / e-t t
z

Clculo avanzado con Mathematica.nb

89

Plot@Erf@xD, 8x, - 10, 10<D

1

0.5

-10

-5

10

-0.5

-1

Graphics

La funcin de error es una funcin importante en muchos clculos estadisticos

Algunas funciones relacionadas con la funcin de error son:

Erfc[z] funcin complementaria de la funcin de error definida por erfc(z)=1-erf(z)
InverseErf[z] funcin inversa de la funcin de error. La funcin inversa de la funcin de error aparece
en algunos algoritmos para generar nmeros aleatorios
Las integrales de Fresnel: FresnelC[z] y FresnelS[z] se definen como
CHzL = 0 cosI t 2 2M d t
z

SHzL = 0 sinI t 2 2M d t
z

Las integrales de Fresnel aparecen en teoria de la difraccin

6.2.1. EJERCICIOS
1.-Calcular SinAt2 E t
n

2.-Calcular C@D y S@D

3.- Dibujar FresnelC . Derivar FresnelS

6.3 FUNCIONES DE BESSEL, FUNCIONES DE AIRY

6.3.1. FUNCIONES DE BESSEL
Las funciones de Bessel BesselJ[n,z] y BesselY[n,z] son soluciones linealmente independientes de la
ecuacin diferencial z^2 y''+z y'+(z^2-n^2)y=0
BesselY[n,z] toma valores complejos para z negativo. Bessel J[n,z] es real para z reales.
BesselY@2, - 2D N
- 0.617408 + 0.705668 I

90

Clculo avanzado con Mathematica.nb

BesselJ@2, - 2D N
0.352834
BesselJ@2, 2D N
0.352834

Jn (z) se suele llamar funcin de Bessel de primer tipo y Yn (z) se suele llamar funcin de Bessel de segundo tipo o
funcin de Weber
Jn (z) es simtrica respecto del eje OZ.

Las funciones de Bessel aparecen al resolver ecuaciones diferenciales con simetria cilindrica
DSolve@z ^ 2 y ' '@zD + z y '@zD + Hz ^ 2 - n ^ 2L y@zD == 0, y, zD
::y BesselJB- n,

12 F C@1D + BesselJBn,

12 F C@2D & >>

Dibujamos funciones de Bessel de primera especie para distintos valores de n

array = Table@Plot@BesselJ@n, zD, 8z, - 100, 100<D, 8n, 1, 20, 4<D;

General::spell1 : Possible spelling error: new

symbol name "array" is similar to existing symbol "Array".
0.6
0.4
0.2

-100

-50

50

100

50

100

-0.2
-0.4
-0.6

0.3
0.2
0.1
-100

-50
-0.1
-0.2
-0.3

Clculo avanzado con Mathematica.nb

0.3
0.2
0.1

-100

-50

50

100

50

100

50

100

50

100

-0.1
-0.2
-0.3

0.2
0.1

-100

-50
-0.1
-0.2

0.2
0.1

-100

-50
-0.1
-0.2

Apply@Show, arrayD
0.4

0.2

-100

-50

-0.2

-0.4

Graphics

91

92

Clculo avanzado con Mathematica.nb

6.3.2.FUNCIONES DE AIRY
Las funciones de Airy AiryAi[z] y AiryBi[z] son dos soluciones independientesde la ecuacin diferencial y''-z
y=0.
Ai(z) tiende a cero cuando z tiende a Infinity.
Las funciones de Airy aparecen al resolver problemas de contorno en electromagnetismo y mecnica cuntica.
Dibujamos la funcin de Airy, AiryAi
Plot@AiryAi@xD, 8x, - 100, 100<D

0.4

0.2

-100

-50

50

100

-0.2

-0.4

Graphics
Plot@AiryAi@xD, 8x, 0, 1<D
0.35

0.3

0.25

0.2

0.4

0.6

0.8

10

0.15

Graphics
Plot@AiryAi@xD, 8x, 0, 10<D
0.014
0.012
0.01
0.008
0.006
0.004
0.002
2

Graphics

AiryAi tiende a cero cuando x-> y es oscilante cuando x->-

Clculo avanzado con Mathematica.nb

93

AiryAi tiende a cero cuando x-> y es oscilante cuando x->-

6.3.4. EJERCICIOS
1.- Dibujar funciones de Bessel de segunda especie para distintos valores de n.
2.- Dibujar la funcin de AiryBi. A partir del dibujo deducir propiedades asintoticas de la funcin.

6.4 FUNCIONES DE LEGENDRE Y FUNCIONES RELACIONADAS

Las funciones de Legendre y las funciones de Legendre asociadas satisfacen la ecuacin diferencial
I1 - z2 M y - 2 z y + AnHn + 1L - m2 I1 - z2 ME y = 0
Las funciones de Legendre de primer tipo LegendreP[n,z] y LegendreP[n,m,z] se reducen a los polinomios de
Legendre cuando n y m son enteros. Las funciones de Legendre de segundo tipo LegendreQ[n,z] y LegendreQ[n,m,z] dan la segunda solucin linealmente independiente de la ecuacin
DSolve@H1 - z ^ 2L * y ' '@zD - 2 z * y '@zD + Hn * Hn + 1L - m ^ 2 H1 - z ^ 2LL * y@zD == 0, y, zD
::y C@1D Hypergeometric2F1 B

C@2D Hypergeometric2F1 B

n
+

1
,

n
-

n
,-

2
n

, 1+
2

, 12 F +
3

,
2

, 12 F 1 & >>

Las funciones de Legendre aparecen en mecnica cuantica

6.5. FUNCIN ZETA DE RIEMANN Y FUNCIONES RELACIONADAS

-s
La funcin zeta de Riemann Zeta[s] se define del siguiente modo HsL =
(s>1)
k=1 k

La funcin zeta para argumentos complejos es central en teoria de nmeros

La funcin zeta para argumentos enteros aparece al evaluar algunas sumas e integrales.
Mathematica da el resultado exacto para los argumentos enteros para los que se conoce y sino se pueden obtener
valores aproximados con //N
Veamos algunos ejemplos:
Sum@1 k ^ 2, 8k, 1, Infinity<D
2
6
Zeta@2D
2
6
Zeta@4D
4
90

94

Clculo avanzado con Mathematica.nb

Zeta@6D
6
945
Zeta@3D
Zeta@3D
% N
1.20206

No se sabe calcular de modo exacto la suma de las series armnicas de exponente impar , es decir no se conocen
valores exactos para (s) con s entero impar

6.6. FUNCIONES CONFLUENTES HIPERGEOMETRICAS

Muchas de las funciones especiales que hemos estudiado hasta ahora se pueden ver como casos particulares de las
funciones hipergeometricas.
Esta funcin se define como la suma de la siguiente serie
F1 Ha; b; zL = 1 + a z b + a Ha + 1L b Hb + 1L z2 2 ! + = HaLk HbLk zk k!

k=0

Su sintaxis en Mathematica es: Hypergeometric1F1[a,b,z]

Es una solucin de la ecuacin diferencial de Kummer z y''+(b-z)y'-a y=0 con condciones de frontera 1F1(a,b,0)=1,
La funcin 1F1 se puede representar tambin por medio de una integral
F1 Ha; b; zL = G HbL @G Hb - aL G HaLD ez t ta-1 H1 - tLb-a-1 d t.
1

Entre las funciones especiales que obtenemos como casos particulares de funciones hipergeometricas estn las
funciones de Bessel, la funcin de error, la funcin gamma incompleta.....
La funcin 1F1 se denota a veces por F(a;b;z) y se le llama funcin de Kummer
La funcin HypergeometricU[a,b,z] da otra solucin linealmente independiente con la anterior de la ecuacin
de Kummer
La funcin U(a,b,z) tiene la siguiente representacin integral
U Ha, b, zL = 1 G HaL

e-z t Ita-1 H1 + tLM

b-a-1

dt

La funcin U tambin se conoce por el nombre de funcin de Kummer y con frecuencia se denota por Y.
Una forma frecuente en la que aparecen las funciones hipergeometricas es en un caso lmite Hypergeometric0F1[a,z]. Esta funcin se obtiene del lmite
0

F1 H; a; zL = limq 1 F1 Hq; a; z qL

Esta funcin 0F1 satisface la siguiente ecuacin diferencial:

z y''+a y'-y=0

Clculo avanzado con Mathematica.nb

95

Una forma frecuente en la que aparecen las funciones hipergeometricas es en un caso lmite Hypergeometric0F1[a,z]. Esta funcin se obtiene del lmite
0

F1 H; a; zL = limq 1 F1 Hq; a; z qL

Esta funcin 0F1 satisface la siguiente ecuacin diferencial:

z y''+a y'-y=0

6.7. FUNCIONES HIPERGEOMETRICAS Y GENERALIZACIONES

La funcin hipergeometrica Hypergeometric2F1[a,b,c,z] es una solucin de la ecuacin diferencial
z(1-z)y''+(c-(a+b+1)z)y'-aby=0
La funcin hipergeometrica tambin se puede escribir como una integral
F1 Ha, b; c; zL = GHcL @GHbL GHc - bLD 0 tb-1 H1 - tL
1

c-b-1

H1 - t zL-a d t

La funcin hipergeometrica tambin se representa como una serie

2

k
F1 Ha, b; c; zL =
k=0 HaLk HbLk HcLk z k !

La funcin hipergeometrica a veces se denota por F y es conocida por el nombre de serie de Gauss o serie de
Kummer
Las funciones de Legendre y otras funciones que son generalizaciones de polinomios ortogonales se pueden
expresar en trminos de la funcin hipergeometrica

La funcin hipergeometrica generalizada HypergeometricPFQ[8"\!\H\*StyleBox@\"\\\"a\\\"\", \"TI\"D\L"1 ,

"\!\H\*StyleBox@\"\\\"a\\\"\", \"TI\"D\L" p <,

8"\!\H\*StyleBox@\"\\\"b\\\"\", \"TI\"D\L"1 ,

"\!\H\*StyleBox@\"\\\"b\\\"\", \"TI\"D\L"q <, z] se define por la siguiente expansin en serie

p

k
Fq H"a"; "b"; zL =
k=0 Ha1 Lk ... Ia p Mk AHb1 Lk ... Ibq Mk E z k !

La

funcin

MeijerG

Meijer

G [8 8 "\!\H\*StyleBox@\"\\\"a\\\"\", \"TI\"D\L"1 , ,"\!\H\*StyleBox@\"\\\"a\\\"\", \"TI\"D\L"n < ,

8 "\!\H\*StyleBox@\"\\\"a\\\"\", \"TI\"D\L"n+1 , ,"\!\H\*StyleBox@\"\\\"a\\\"\", \"TI\"D\L" p < < ,
8 8 "\!\H\*StyleBox@\"\\\"b\\\"\", \"TI\"D\L"1 , ,"\!\H\*StyleBox@\"\\\"b\\\"\", \"TI\"D\L"m < ,

8"\!\H\*StyleBox@\"\\\"b\\\"\", \"TI\"D\L"m+1 ,,"\!\H\*StyleBox@\"\\\"b\\\"\", \"TI\"D\L"q <<, z] se define por la siguiente integral

Gmp qn Kz

a1 ,,a p

O = 1 2 i GH1 - a1 - sL GH1 - an - sL

GHb1 + sL GHbm + sL GHan+1 + sL GIa p + sM GH1 - bm+1 - sL GI1 - bq - sM z-s d s

b1 ,,bq

MeijerG esun tipo muy general de funcin especial cuyos casos particulares cubren la mayoria de las funciones
especiales que hemos visto