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 emplea-
dos. 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 R
3
y como curva en R
2
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......
Clculo avanzado con Mathematica.nb 85
6.1. FUNCIN GAMMA DE EULER Y FUNCIONES RELACIONADAS
6.1.1. LA FUNCIN GAMMA
La funcin gamma se define como
I(z)=
_
0
o
t
z1
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
Gamma_
1
2
_

Gamma[3]
2
En cambio cuando el resultado exacto no es conocido
Gamma_
12
7
_
Gamma
12
7

es posible obtener un valor aproximado con //N

N[]
0.911423339638174
?? Gamma
Gammaz is the Euler gamma function. Gammaa,
z is the incomplete gamma function. Gammaa, z0, z1 is the
generalized incomplete gamma function Gammaa, z0 Gammaa, z1.
AttributesGamma Listable, NumericFunction, Protected
La funcin Gamma es una funcin con el atributo Listable
Gamma__
1
2
, 7__
, 720
El grfico de la funcin Gamma es el siguiente
86 Clculo avanzado con Mathematica.nb
Plot[N[Gamma[x]], {x, 10, 10}]
-10 -5 5 10
-4
-2
2
4
6
Graphics
Mathematica conoce propiedades analticas de la funcin, como su derivada

x
Gamma[x]
Gammax PolyGamma0, x
Algunas integrales definidas se pueden calcular en trminos de la funcin Gamma
_
0

x E
x
x

2
6.1.2. LA FUNCIN BETA
La funcin Beta de Euler se define como
(a,b)=
_
0
1
t
a1
(1 t)
b1
dt
y est relacionada con la funcin Gamma por la frmula
(a,b)=I(a) I(b) / I(a+b)
La sintaxis es la siguiente
Beta[a,b]
Clculo avanzado con Mathematica.nb 87
6.1.3. OTRAS FUNCIONES RELACIONADAS
Gamma[a,z] la funcin Gamma incompleta, se define como
I(a,z)=
_
z
o
t
a1
e
t
dt
Gamma[a,z0,z1] la funcin gamma incompleta generalizada se define como

I(a, z
0
, z
1
)=
_
z
0
z
1
t
a1
e
t
dt
Beta[z,a,b] la funcin Beta incompleta se define como


z
(a,b)=
_
0
z
t
a1
(1 t)
b1
dt
PolyGamma[z] la funcin digamma se define como la derivada logaritmica de la funcin gamma

(z)=I'(z) / I(z)

6.1.4. EJERCICIOS
1. Calcular las siguientes integrales eulerianas
a)
_
0
o
x e
x
3
d x
b)
_
0
o
x
2 p1
e
x
2
d x
2.- Calcular las siguientes integrales eulerianas
a)
_
0

2
Sin[x]
n
d x
b)
_
0

2
Cot[x]
n
d 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 /
_
0
z
e
t
2
dt
88 Clculo avanzado con Mathematica.nb
Plot[Erf[x], {x, 10, 10}]
-10 -5 5 10
-1
-0.5
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
C(z) =
]
0
z
cos| t
2
2] d t S(z) =
]
0
z
sin| t
2
2] d t
Las integrales de Fresnel aparecen en teoria de la difraccin
6.2.1. EJERCICIOS
1.Calcular
_
0
n
Sint
2
j dt
2.Calcular C[o] y S[o]
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, 2] // N
0.617408 0.705668 I
Clculo avanzado con Mathematica.nb 89
BesselJ[2, 2] // N
0.352834
BesselJ[2, 2] // N
0.352834
J
n
(z) se suele llamar funcin de Bessel de primer tipo y Y
n
(z) se suele llamar funcin de Bessel de segundo tipo o
funcin de Weber
J
n
(z) es simtrica respecto del eje OZ.
Las funciones de Bessel aparecen al resolver ecuaciones diferenciales con simetria cilindrica
DSolve[z^2 y''[z] z y'[z] (z^2 n^2) y[z] 0, y, z]
y BesselJn, 1
2
C1 BesselJn, 1
2
C2 &
Dibujamos funciones de Bessel de primera especie para distintos valores de n
array Table[Plot[BesselJ[n, z], {z, 100, 100}], {n, 1, 20, 4}];
General::spell1 : Possible spelling error: new
symbol name "array" is similar to existing symbol "Array".
-100 -50 50 100
-0.6
-0.4
-0.2
0.2
0.4
0.6
-100 -50 50 100
-0.3
-0.2
-0.1
0.1
0.2
0.3
90 Clculo avanzado con Mathematica.nb
-100 -50 50 100
-0.3
-0.2
-0.1
0.1
0.2
0.3
-100 -50 50 100
-0.2
-0.1
0.1
0.2
-100 -50 50 100
-0.2
-0.1
0.1
0.2
Apply[Show, array]
-100 -50 50 100
-0.4
-0.2
0.2
0.4
Graphics
Clculo avanzado con Mathematica.nb 91
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[x], {x, 100, 100}]
-100 -50 50 100
-0.4
-0.2
0.2
0.4
Graphics
Plot[AiryAi[x], {x, 0, 1}]
0.2 0.4 0.6 0.8 1
0.15
0.25
0.3
0.35
Graphics
Plot[AiryAi[x], {x, 0, 10}]
2 4 6 8 10
0.002
0.004
0.006
0.008
0.01
0.012
0.014
Graphics
AiryAi tiende a cero cuando x->o y es oscilante cuando x->-o
92 Clculo avanzado con Mathematica.nb
AiryAi tiende a cero cuando x->o y es oscilante cuando x->-o
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 diferen-
cial
|1 z
2
] y

2 z y

+ n(n + 1) m
2
|1 z
2
]j 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[(1 z^2) y''[z] 2 z y'[z] (n (n 1) m^2 / (1 z^2)) y[z] 0, y, z]
y C1 Hypergeometric2F1
1
2

n
2
,
n
2
,
1
2
, 1
2

C2 Hypergeometric2F1
1
2

n
2
, 1
n
2
,
3
2
, 1
2
1 &
Las funciones de Legendre aparecen en mecnica cuantica
6.5. FUNCIN ZETA DE RIEMANN Y FUNCIONES RELACIONADAS
La funcin zeta de Riemann Zeta[s] se define del siguiente modo (s) = _
k=1
o
k
s
(s>1)
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, {k, 1, Infinity}]

2
6
Zeta[2]

2
6
Zeta[4]

4
90
Clculo avanzado con Mathematica.nb 93
Zeta[6]

6
945
Zeta[3]
Zeta3
// 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
1
F
1
(a; b; z) = 1 + a zf b + a (a + 1) f b (b + 1) z
2
2! + = _
k=0
o
(a)
k
f (b)
k
z
k
k!
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
1
F
1
(a; b; z) = I (b) f [I (b a) I (a)]
_
0
1
e
z t
t
a1
(1 t)
ba1
d t.
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 T(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(a, b, z) = 1f I (a)
_
0
o
e
z t
|t
a1
(1 + t)]
ba1
d t
La funcin U tambin se conoce por el nombre de funcin de Kummer y con frecuencia se denota por T.
Una forma frecuente en la que aparecen las funciones hipergeometricas es en un caso lmite Hypergeomet-
ric0F1[a,z]. Esta funcin se obtiene del lmite
0
F
1
(; a; z) = lim
qo1
F
1
(q; a; zf q)
Esta funcin 0F1 satisface la siguiente ecuacin diferencial:
z y''+a y'-y=0
94 Clculo avanzado con Mathematica.nb
Una forma frecuente en la que aparecen las funciones hipergeometricas es en un caso lmite Hypergeomet-
ric0F1[a,z]. Esta funcin se obtiene del lmite
0
F
1
(; a; z) = lim
qo1
F
1
(q; a; zf q)
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
2
F
1
(a, b; c; z) = I(c) f [I(b) I(c b)]
]
0
1
t
b1
(1 t)
cb1
(1 t z)
a
d t
La funcin hipergeometrica tambin se representa como una serie
2
F
1
(a, b; c; z) = _
k=0
o
(a)
k
(b)
k
f (c)
k
z
k
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["\!\(\-StyleBox[\"\\\"a\\\"\", \"TI\"]\)"
1
,
, "\!\(\-StyleBox[\"\\\"a\\\"\", \"TI\"]\)"
p
, "\!\(\-StyleBox[\"\\\"b\\\"\", \"TI\"]\)"
1
, ,
"\!\(\-StyleBox[\"\\\"b\\\"\", \"TI\"]\)"
q
, z] se define por la siguiente expansin en serie
p
F
q
("a"; "b"; z) = _
k=0
o
(a
1
)
k
... |a
p
]
k
(b
1
)
k
... |b
q
]
k
j z
k
k !
La funcin MeijerG Meijer
G [ "\!\(\-StyleBox[\"\\\"a\\\"\", \"TI\"]\)"
1
, ,"\!\(\-StyleBox[\"\\\"a\\\"\", \"TI\"]\)"
n
,
"\!\(\-StyleBox[\"\\\"a\\\"\", \"TI\"]\)"
n+1
, ,"\!\(\-StyleBox[\"\\\"a\\\"\", \"TI\"]\)"
p
,
"\!\(\-StyleBox[\"\\\"b\\\"\", \"TI\"]\)"
1
, ,"\!\(\-StyleBox[\"\\\"b\\\"\", \"TI\"]\)"
m
,
"\!\(\-StyleBox[\"\\\"b\\\"\", \"TI\"]\)"
m+1
,,"\!\(\-StyleBox[\"\\\"b\\\"\", \"TI\"]\)"
q
, z] se define por la sigu-
iente integral
G
p q
mn
_z _
a
1
,,a
p
b
1
,,b
q
= 12 i
_
I(1 a
1
s) I(1 a
n
s)
I(b
1
+ s) I(b
m
+ s) I(a
n+1
+ s) I|a
p
+ s] I(1 b
m+1
s) I|1 b
q
s] z
s
d s
MeijerG esun tipo muy general de funcin especial cuyos casos particulares cubren la mayoria de las funciones
especiales que hemos visto
Clculo avanzado con Mathematica.nb 95