Notas 7

Función Beta
Como complemento al trabajo realizado con la función Gamma podemos definir una nueva
función que conoceremos como función Beta.
Para esto, escribamos el siguiente producto:
𝛤(𝜈)𝛤(𝛼) = ∫
∞

s - e-sds∫ t - e-t dt
𝜈 1
∞
𝛼 1

Haciendo nuevamente: s u y t v , tenemos que el producto se puede expresar como:

0 0

2 2
= =

𝛤(𝜈)𝛤(𝛼) = 4∫
0
∞

∫
0
∞

u - v - e- u v dudv
2𝜈 1 2𝛼 1
2
+
2

nuevamente llevando estas integrales a las coordenadas polares u = r cos 𝜃 ,v = r sin 𝜃 , se tiene:

𝛤(𝜈)𝛤(𝛼) = 4∫
0
𝜋/2

∫
0
∞

r 2𝜈 - 1
cos
2𝜈 - 1
𝜃 r 2𝛼 - 1
sin
2𝛼 - 1
e-r rdrd
𝜃
2
𝜃

= 4∫
0
𝜋/2

∫
0
∞

r 2(𝜈+𝛼 - 1)
sin
2𝛼 - 1
𝜃 cos
2𝜈 - 1
e-r rdrd
𝜃
2
𝜃

= 4∫
0
𝜋/2

∫
0
∞

r 2(𝜈+𝛼) - 1
sin
2𝛼 - 1
𝜃 cos
2𝜈 - 1
e-r drd
𝜃
2
𝜃

Haciendo un nuevo cambio de variable z = r , obtenemos que:

2

𝛤(𝜈)𝛤(𝛼) = 4∫
0
𝜋/2

∫
0
∞

z 𝜈+𝛼
sin
2𝛼 - 1
𝜃 cos
2𝜈 - 1
𝜃 e-zz- z- dzd 1/2

2
1/2

pues: dz = rdr, r z
2 =
1/2

dr =
z- dz 1/2

Así:
𝛤(𝜈)𝛤(𝛼) = 2∫
0
𝜋/2

∫
0
∞

z 𝜈+𝛼 - e -z
1
sin
2𝛼 - 1
𝜃 cos
-
2𝜈 1
𝜃 dzd 𝜃

= ∫
0
∞

z 𝜈+𝛼 - e -z dz
1
2∫
0
𝜋/2

sin
2𝛼 -1
𝜃 cos
2𝜈 -
1
d
𝜃 𝜃

De donde:
𝛤(𝜈)𝛤(𝛼) = 𝛤(𝜈 + 𝛼) B (𝜈, 𝛼) (1)
Luego la función Beta B (𝜈, 𝛼) será:

B
(𝜈, 𝛼) = 2∫
0
𝜋/2

sin
2𝛼 - 1
𝜃 cos
2𝜈 -
1
𝜃 𝜃 d (2)
ó

B (𝜈, 𝛼) =
𝛤(𝜈)𝛤(𝛼)

𝛤(𝜈 + 𝛼)
(3)

Tarea:
Demostrar que: 𝛤(𝜈)𝛤(1 - 𝜈) =
𝜋

sin 𝜈𝜋

Ecuaciones diferenciales parciales

Son en general ecuaciones diferenciales en dos o más variables.
El objetivo de nuestro curso será inicialmente estudiar el problema de ecuaciones diferenciales
parciales de segundo orden en dos variables. Sin pérdida de generalidad nuestro tratamiento
puede ampliarse a más órdenes de las ecuaciones o a más variables.
Consideremos la ecuación diferencial parcial lineal de segundo orden en dos variables. Dichas
ecuaciones en forma general pueden escribirse como
a uxx a uxy a uyy b ux b uy cu f
11
+2 12
+ 22
+ 1
+ 2
+ + = 0 (4)
Donde los coeficientes a a a b b c f son funciones de x y y.
11
, 12
, 22
, 1
, 2
, ,

Démonos cuenta que la forma de esta ecuación puede ser asociada a la forma general de una
cónica. Las cónicas pueden representarse por una forma algebraica general, de la siguiente
manera:
Ax 2
+2 Bxy cy Dx Ey F
+
2
+ + + = 0 (5)
Hagámonos la siguiente pregunta: ¿ Podemos hacer un cambio a nuevas variables independientes,
de tal manera que la ecuación en cuestión quede de una forma más simple ? La respuesta a esta
pregunta es Sí.
Para hacer esto propongamos la siguiente transformación:
𝜉 = 𝜑( xy , ) y 𝜂 = 𝜓( xy , )

La anterior ecuación la escribiré de la siguiente manera:

a uxx a uxy a uyy F x y ux uy
11
+2 12
+ 22
+ ( , , , ) = 0 (6)
con F = b ux b uy cy f . A partir de las transformaciones propuestas
1
+ 2
+ +

ux u x u x =
∂ ∂𝜉
+
∂ ∂𝜂

ux u x u x
∂𝜉 ∂ ∂𝜂 ∂

= 𝜉
𝜉 + 𝜂
𝜂 (7)
 uy u y u y
=
∂ ∂𝜉
+
∂ ∂𝜂

uy u y u y
∂𝜉 ∂ ∂𝜂 ∂

= 𝜉
𝜉 + 𝜂
𝜂 (8)

uxx =
x ux
∂

u u
∂

x x x
∂ ∂ ∂𝜉 ∂ ∂𝜂
= +
∂ ∂𝜉 ∂ ∂𝜂 ∂

u 2
u u u 2 2 2

xx x xx x
∂ ∂𝜉 ∂ ∂ 𝜉 ∂ ∂𝜂 ∂ ∂ 𝜂
= + + +
2 2
∂𝜉∂ ∂ ∂𝜉 ∂ ∂𝜂∂ ∂ ∂𝜂 ∂

u 2
u u 2
2 2

x xx
∂ ∂𝜉 ∂ ∂𝜂 ∂𝜉 ∂ ∂ 𝜉
=
∂𝜉
2
∂ x +
∂𝜂∂𝜉 ∂ ∂
+
∂𝜉 ∂
2

u 2
u u 2
2 2

x xx
∂ ∂𝜂 ∂ ∂𝜉 ∂𝜂 ∂ ∂ 𝜂
+
∂𝜂
2
x
∂
+
∂𝜂∂𝜉 ∂ ∂
+
∂𝜂 ∂
2

uxx = u x u x x u x u xx u xx
𝜉𝜉
𝜉
2
+2 𝜉𝜂
𝜉 𝜂 + 𝜂𝜂
𝜂
2
+ 𝜉
𝜉 + 𝜂
𝜂 (9)

De manera análoga:
uyy u = 𝜉𝜉 𝜉 y 2
+2 u 𝜉𝜂 𝜉 y y
𝜂 + u 𝜂𝜂 𝜂 y
2
+ u 𝜉𝜉 yy + u 𝜂𝜂 yy (10)

también:

uxy u u
y x x
∂ ∂ ∂𝜉 ∂ ∂𝜂
= +
∂ ∂𝜉 ∂ ∂𝜂 ∂

u u
y x y x
∂ ∂ ∂𝜉 ∂ ∂ ∂𝜂
= +
∂ ∂𝜉 ∂ ∂ ∂𝜂 ∂

u 2
u u u 2 2 2

y x xy yx xy
∂ ∂𝜉 ∂ ∂ 𝜉 ∂ ∂𝜂 ∂ ∂ 𝜂
= + + +
∂ ∂𝜉 ∂ ∂𝜉 ∂ ∂ ∂𝜂∂ ∂ ∂𝜂 ∂ ∂

u 2
u u 2 2

yx yx xy
∂ ∂𝜉 ∂𝜉 ∂ ∂𝜂 ∂𝜉 ∂ ∂ 𝜉
= + +
2

u u u
∂𝜉 ∂ ∂ ∂𝜉∂𝜂 ∂ ∂ ∂𝜉 ∂ ∂
2 2 2

xy xy xy
∂ ∂𝜂 ∂𝜂 ∂ ∂𝜂 ∂𝜉 ∂ ∂ 𝜂
+ + +
2
∂ ∂ ∂𝜉∂𝜂 ∂ ∂ ∂𝜂 ∂ ∂

uxy u x y u x y y x u x y u xy u
∂𝜂

= 𝜉𝜉 𝜉 𝜉 + 𝜉𝜂 (𝜉 𝜂 +𝜉 𝜂 )+ 𝜂𝜂 𝜂 𝜂 + 𝜉𝜉 + 𝜂𝜂 xy (11)

Sustituyendo estas expresiones en nuestra ecuación inicial, obtenemos:

a u x u x x u x u xx u xx
11 𝜉𝜉 𝜉
2
+2 𝜉𝜂 𝜉 𝜂 + 𝜂𝜂 𝜂
2
+ 𝜉𝜉 + 𝜂𝜂

+ 2a u xy u xy yx u xy u
12 { 𝜉𝜉 𝜉 𝜉 + 𝜉𝜂 (𝜉 𝜂 +𝜉 𝜂 )+ 𝜂𝜂 𝜂 𝜂 + 𝜂𝜂 xy + u 𝜉𝜉 xy }

+ a u y u y y u y u yy u yy
22 𝜉𝜉 𝜉
2
+2 𝜉𝜂 𝜉 𝜂 + 𝜂𝜂 𝜂
2
+ 𝜉𝜉 + 𝜂𝜂

+ b u x u x b u y u y cu f
1{ 𝜉𝜉 + 𝜂𝜂 }+ 2{ 𝜉𝜉 + 𝜂𝜂 }+ + = 0 (12)
que reordenando nos queda:
a 11
𝜉 x
2
+2 a 12 xy
𝜉 𝜉 + a 22
𝜉 y
2
u 𝜉𝜉

+ 2{ a xx a xy 𝜉 𝜂 + (𝜉 𝜂 +𝜉 𝜂 )+ y x a y y u 𝜉 𝜂 }

a x a xy a y u
11 12 22 𝜉𝜂

2 2
+ 11
𝜂 +2 12
𝜂 𝜂 + 22
𝜂 𝜂𝜂

+ { a xx a xy a 𝜉 +2 𝜉 + 𝜉 yy b x b y u
+ 𝜉 + 𝜉 }

a xx a xy a yy b x b y u
11 12 22 1 2 𝜉

+ { 𝜂 +2 𝜂 + 𝜂 + 𝜂 + 𝜂 }

cu f
11 12 22 1 2 𝜂

+ + = 0 (13)

Finalmente esto podemos expresarlo como:

a⏨ u
11 𝜉𝜉
+2 a⏨ u a⏨ u ⏨b u ⏨b u cu f
12 𝜉𝜂
+
22 𝜂𝜂
+
1 𝜉
+
2 𝜂
+ + = 0 (14)

donde:
a⏨ = a 𝜉 x
2
+2 a 𝜉 𝜉 xy a + 𝜉 y
2

a⏨ a a a
11 11 12 22

= 𝜉 𝜂 x x + x y
(𝜉 𝜂 +𝜉 𝜂 )+ y x y y
𝜉 𝜂

a⏨ a a x y a
12 11 12 22

= 𝜂 x
2
+2 𝜂 𝜂 + 𝜂 y2

⏨b a a xy a b b
22 11 12 22

= 𝜉 xx +2 𝜉 + 𝜉 yy + 𝜉 x + 𝜉 y
⏨b a a xy a b b
1 11 12 22 1 2

2
= 11
𝜂 xx +2 12
𝜂 + 22
𝜂 yy + 1
𝜂 x + 2
𝜂 y

Démonos cuenta que los términos de derivadas de primer orden contribuyen solo a los nuevos
términos de derivadas de primer orden. Buscando simplificar la ecuación escojamos las variables
𝜉 y de tal manera que a⏨ .
𝜂
11
= 0

Para esto consideremos la ecuación:

a zx a zx zy a zy
11
2
+2 12
+ 22
2
= 0 (15)

y sea z xy
una solución particular a dicha ecuación. Si hacemos x y , es claro que
a⏨ . De esta manera, si podemos resolver este último problema, podremos encontrar la
= 𝜑( , ) 𝜉 = 𝜑( , )

= 0

escogencia de las variables y que hacen a⏨ .

11

𝜉 𝜂 = 0
11

Para resolver este problema demostraremos los siguientes lemas

1. Si z = 𝜑( xy
, ) es una solución particular a la ecuación
a zx a zx zy a zy
11
2
+2 12
+ 22
2
= 0, (16)

la relación 𝜑( x y c es una integral general de la ecuación diferencial ordinaria

, ) =

a dy - a dxdy a dx 11
2
2 12 + 22
2
= 0 (17)

2. Si 𝜑( x y C es una integral general de la ecuación diferencial ordinaria

, ) = de la ecuación
 diferencial ordinaria
a dy - a dxdy a dx
11
2
2 12 + 22
2
= 0, (18)

la función z = 𝜑( xy
, ) satisface la ecuación
a zx a zx zy a zy
11
2
+2 12
+ 22
2
= 0, (19)

Demostración:
Para probar el lema 1, procedemos de la siguiente manera, como z xy es una solución
particular a la ecuación, entonces z la satisface, por lo tanto,
= 𝜑( , )

a zzxy - a - zzxy a
2

11
2 12
+ 22
= 0
2

ó lo que es igual:

z 2
z
a x -a - x a
∂ ∂

∂ ∂
11
z 2 12
z + 22
= 0

y y
∂ ∂

∂ ∂

Ahora, d 𝜑 =
∂x dx y dy
∂𝜑
+
∂𝜑

Si
𝜑( xy C d
, ) = → 𝜑 = 0

dy x
dx -
∂𝜑

∴ =
∂
(20)
y
∂𝜑

Por lo tanto, la ecuación diferencial descrita anteriormente se convierte en una ecuación

diferencial ordinaria,

dy - a dy a
a dx
2

11
dx 2 12
+ 22
= 0

ó
a dy - a dxdy a dx
11
2
2 12 + 22
2
= 0

Con lo que queda demostrado el primer lema.

En le caso del lema 2, como x y C y𝜑( , ) = → = f x C , en este caso se cumple entonces que
( , )

dy - x
∂𝜑

(21)
dx
∂
=

y y f xC
∂𝜑

∂
= ( , )
démonos cuenta que y f x C nos indica que y es dependiente de x.
= ( , )

Como por hipótesis se cumple que

a dy - a dxdy a dx
11
2
2 12 + 22
2
= 0

ó lo que es igual

dy - a dy a
a dx
2

11
dx 2 12
+ 22
= 0

a - x a xy a
2
𝜑 𝜑
+2 + = 0
y y f xC
11 12 22
𝜑
= ( , )
𝜑
y f xC
= ( , )

Como C es arbitrario se tendrán todas las curvas de nivel que forman la superficie y por lo tanto
se cumplirá:
a 11
𝜑 x
2
+2 a 12 x y
𝜑 𝜑 + a 22
𝜑 y
2
= 0

que tiene como solución general z = 𝜑( xy , ).

dy de dicha ecuación
De los resultados anteriores tomaré el primer lema. Despejando la derivada dx
cuadrática se tiene que:

dy - a dy a
a dx
2

(22)
11
dx 2 12 + 22 = 0

dy a ± a -a a
2

(23)
dx a
12 12 11 22
=
11

Ecuaciones Características
De ellas obtendremos las transformaciones a las nuevas variables que nos llevan a las formas
canónicas de dichas ecuaciones diferenciales parciales.
Debe notarse que el discriminante de estas ecuaciones características nos determina la familia de
ecuaciones parciales. Así:

Si a 2
-a a > 0 la ecuación es hiperbólica
Si a -a a
12 11 22

2
= 0 la ecuación es parabólica (24)
Si a -a a
12 11 22

2
12 11 22
< 0 la ecuación es elíptica

Revisaremos como aplicar esta teoría en casos particulares.

Ejemplo: Reduzca a sus formas canónicas la ecuación
 uxx xyuyy + = 0

para x ∈ ( -
∞, ∞) y -
∈ ( ∞, ∞)

De esta situación propuesta tenemos las siguientes regiones de acuerdo al discriminante:

a
a a -a a - xy - xy
11
= 1
2
(25)
a xy
12
= 0 11 22
= 0 (1)( ) =
12

22
=

La ecuación será hiperbólica si

( x > 0 ∧ y < 0) ∨ ( x < 0 ∧ y > 0)

La ecuación será elíptica si

( x > 0 ∧ y > 0) ∨ ( x < 0 ∧ y < 0)

Si x y y el comportamiento será parabólico.

= 0 = 0

Examinemos por ejemplo el primer caso. Las ecuaciones características serán

dy xy
dx = ±

Donde explícitamente se ha escrito el signo del producto y por lo tanto ahora x > 0 yy > 0

dy xdx
y
= ±

Si integramos a ambos lados de la ecuación, tendremos:

y
2
1/2
= ±
2

3
x 3/2
+ C
y 1/2
= ±
1

3
x 3/2
+ C
Entonces nuestras nuevas variables serán:

𝜉 = y - x
1/2
1

3
3/2
, 𝜂 = y 1/2
+
1

3
x 3/2

Entonces la ecuación
uxx xyuyy + = 0

Recordando que:
uxx u = 𝜉 x
2
+2 u x x
𝜉 𝜂 + u 𝜂x 2
+ u 𝜉 xx + u 𝜂xx
uyy u u u u u
𝜉𝜉 𝜉𝜂 𝜂𝜂 𝜉 𝜂

= 𝜉𝜉
𝜉 y
2
+2 𝜉𝜂 y y
𝜉 𝜂 + 𝜂𝜂
𝜂 y
2
+ 𝜉
𝜉 yy + 𝜂
𝜂 yy

con esto:
 𝜉 x = -x 1

2
1/2
𝜉 xx = - x-1

4
1/2

𝜂 x = x
1

2
1/2
𝜂 xx =
1

4
x- 1/2

entonces

uxx =
1

4
u x - xu u x - x- u
𝜉𝜉
1

2
𝜉𝜂
+ 𝜂𝜂
1

4
1

4
1/2
𝜉
+
1

4
u x-
𝜂
1/2

𝜉 y =
1

2
y- 1/2
𝜉 yy = - y-1

4
3/2

𝜂 y =
1

2
y- 1/2
𝜂 yy = - y-1

4
3/2

uyy =
1

4
y- u 1
𝜉𝜉 +
1

2
u y- u y- - y- u - u y-
𝜉𝜂
1
+ 𝜂𝜂
1

4
1
1

4
3/2
𝜉
1

4
𝜂
3/2

Reemplazando
uxx - xyuyy = 0

u x - xu xu - x- u x- u
1

4
𝜉𝜉
1

2
𝜉𝜂 +
1

4
𝜂𝜂
1

4
1/2
𝜉 +
1

4
1/2
𝜂

-xy y- u u y- u y- - u y- - u y-
1

4
1
𝜉𝜉
+
1

2
𝜉𝜂
1
+
1

4
𝜂𝜂
1
1

4
𝜉
3/2
1

4
𝜂
3/2
= 0

u x - xu xu - x- u x- u
1

4
𝜉𝜉
1

2
𝜉𝜂 +
1

4
𝜂𝜂
1

4
1/2
𝜉 +
1

4
1/2
𝜂

- u x - xu - xu xy- u u xy-
1

4
𝜉𝜉
1

2
𝜉𝜂
1

4
𝜂𝜂 +
1

4
1/2
𝜉 +
1

4
𝜂
1/2
= 0

-xu xy- - x- u x- xy- u

𝜉𝜂 +
1

4
1/2 1/2
𝜉 +
1

4
1/2
+
1/2
𝜂 = 0

u - x xy- - x- u - x x-
𝜉𝜂
4
1 1/2 1/3
𝜉
1

4
1/2
+ xy- u 1/2
𝜂
= 0

Forma hiperbólica
(Este resultado se asemeja a tener en las cónicas
xy c, lo cual es una hipérbola)
=

u - y- - x- u - x-
𝜉𝜂
1

4
1/2 3/2
𝜉
1

4
3/2
+ y- u 1/2
𝜂
= 0
De las transformaciones, tenemos:
𝜉+𝜂 = 2 y 1/2
→ y- 1/2
=
2

𝜉+𝜂

𝜂 - 𝜉 = x
2

3
3/2
→ x- 3/2
=
2

3(𝜉 + 𝜂)

Tarea
• Graficar 𝛤(𝜈) = x - e-xdx, es decir
∫
∞

y darse cuenta de la forma funcional.

𝜈 1
(𝜈, 𝛤(𝜈))

• Demostrar: ∫ x m e -xn dx n mn , para m , n

0

∞
1 +1
= 𝛤 > 1 > 0
0

• Demostrar que: ∫ nd n
𝜋/2
-ntan 𝜃 𝜃 =
1
𝛤
+1
𝛤
1

0 2 2 2