MÉTODOS MATEMÁTICOS DE LA FÍSICA (1er semestre 2018)

Prof. Olivera Mišković; Ayudante Francisco Javier Moreno

SOLUCIONES DE PROBLEMAS
I. Ecuaciones diferenciales
Problema 1. Comenzamos con la EDP
∂ 2ψ ∂ 2ψ ∂ 2ψ
 
∂ψ ∂ψ
a(x, y) 2 + b(x, y) + c(x, y) 2 = F̃ , , ψ, x, y
∂x ∂x∂y ∂y ∂x ∂y


y cambiamos las variables (x, y) a las variables ξ(x, y), η(x, y) . Usando la regla de la
cadena se obtiene
∂ψ ∂ξ ∂ψ ∂η ∂ψ
= + , (1)
∂x ∂x ∂ξ ∂x ∂η
∂ψ ∂ξ ∂ψ ∂η ∂ψ
= + . (2)
∂y ∂y ∂ξ ∂y ∂η
Para las segundas derivadas primero usamos la regla de Leibniz,

∂ 2ψ ∂ 2 ξ ∂ψ ∂ξ ∂ ∂ψ ∂ 2 η ∂ψ ∂η ∂ ∂ψ
   
= + + 2 + , (3)
∂x2 ∂x2 ∂ξ ∂x ∂x ∂ξ ∂x ∂η ∂x ∂x ∂η
∂ 2ψ ∂ 2 ξ ∂ψ ∂ξ ∂ ∂ψ ∂ 2 η ∂ψ ∂η ∂ ∂ψ
   
= + + + , (4)
∂x∂y ∂x∂y ∂ξ ∂y ∂x ∂ξ ∂x∂y ∂η ∂y ∂x ∂η
∂ 2ψ ∂ 2 ξ ∂ψ ∂ξ ∂ ∂ψ ∂ 2 η ∂ψ ∂η ∂ ∂ψ
   
= + + 2 + , (5)
∂y 2 ∂y 2 ∂ξ ∂y ∂y ∂ξ ∂y ∂η ∂y ∂y ∂η

y ahora aplicamos la regla de la cadena,

∂ξ ∂ 2 ψ ∂η ∂ 2 ψ
 
∂ ∂ψ
= + ,
∂x ∂ξ ∂x ∂ξ 2 ∂x ∂ξ∂η
∂ξ ∂ 2 ψ ∂η ∂ 2 ψ
 
∂ ∂ψ
= + ,
∂x ∂η ∂x ∂ξ∂η ∂x ∂η 2
∂ξ ∂ 2 ψ ∂η ∂ 2 ψ
 
∂ ∂ψ
= + ,
∂y ∂ξ ∂y ∂ξ 2 ∂y ∂ξ∂η
∂ξ ∂ 2 ψ ∂η ∂ 2 ψ
 
∂ ∂ψ
= + .
∂y ∂η ∂y ∂ξ∂η ∂y ∂η 2

1
Las segundas derivadas se convierten a
 2 2  2 2
∂ 2ψ ∂ξ ∂ ψ ∂η ∂ ψ ∂ 2 ξ ∂ψ ∂ξ ∂η ∂ 2 ψ ∂ 2 η ∂ψ
= + + + 2 + ,
∂x2 ∂x ∂ξ 2 ∂x ∂η 2 ∂x2 ∂ξ ∂x ∂x ∂ξ∂η ∂x2 ∂η
∂ 2ψ ∂ξ ∂ξ ∂ 2 ψ ∂η ∂η ∂ 2 ψ ∂ 2 ξ ∂ψ ∂ξ ∂η ∂η ∂ξ ∂ 2 ψ ∂ 2 η ∂ψ
 
= + + + + + ,
∂x∂y ∂y ∂x ∂ξ 2 ∂y ∂x ∂η 2 ∂x∂y ∂ξ ∂y ∂x ∂y ∂x ∂ξ∂η ∂x∂y ∂η
 2 2  2 2
∂ 2ψ ∂ξ ∂ ψ ∂η ∂ ψ ∂ 2 ξ ∂ψ ∂ξ ∂η ∂ 2 ψ ∂ 2 η ∂ψ
= + + + 2 + .
∂y 2 ∂y ∂ξ 2 ∂y ∂η 2 ∂y 2 ∂ξ ∂y ∂y ∂ξ∂η ∂y 2 ∂η
Reemplazando estas expresiones en la ecuación original y reagrupando los términos
2 ∂2ψ 2
multiplicando ∂∂ξψ2 , ∂η∂ξ y ∂∂ηψ2 , se obtiene
"    2 # 2 "    2 # 2
2 2
∂ξ ∂ξ ∂ξ ∂ξ ∂ ψ ∂η ∂η ∂η ∂η ∂ ψ
a +b +c + a + b + c
∂x ∂y ∂x ∂y ∂ξ 2 ∂x ∂y ∂x ∂y ∂η 2
" #
∂ξ ∂η ∂ 2 ψ
   
∂ξ ∂η ∂ξ ∂η ∂η ∂ξ ∂ψ ∂ψ
+ 2a +b + + 2c =F , , ψ, ξ, η
∂x ∂x ∂y ∂x ∂y ∂x ∂y ∂y ∂ξ∂η ∂ξ ∂η

donde los términos lineales en las derivada han sido absorbidos en la función F ,
   
∂ψ ∂ψ ∂ξ ∂ψ ∂η ∂ψ ∂ξ ∂ψ ∂η ∂ψ
F , , ψ, ξ, η = F̃ + , + , ψ, x(ξ, η), y(ξ, η)
∂ξ ∂η ∂x ∂ξ ∂x ∂η ∂y ∂ξ ∂y ∂η
! !
∂ 2ξ ∂ 2ξ ∂ 2 ξ ∂ψ ∂ 2η ∂ 2η ∂ 2 η ∂ψ
− a 2 +b +c 2 − a 2 +b +c 2 .
∂x ∂x∂y ∂y ∂ξ ∂x ∂x∂y ∂y ∂η

Claramente, ahora la ecuación tiene la forma

∂ 2ψ ∂ 2ψ ∂ 2ψ
 
∂ψ ∂ψ
A(ξ, η) 2 + B(ξ, η) + C(ξ, η) 2 = F , , ψ, ξ, η ,
∂ξ ∂ξ∂η ∂η ∂ξ ∂η
donde, comparando las dos ecuaciones, se identifican los coeficientes,
 2  2
∂ξ ∂ξ ∂ξ ∂ξ
A = a +b +c ,
∂x ∂x ∂y ∂y
 
∂ξ ∂η ∂ξ ∂η ∂η ∂ξ ∂ξ ∂η
B = 2a +b + + 2c ,
∂x ∂x ∂x ∂y ∂x ∂y ∂y ∂y
 2  2
∂η ∂η ∂η ∂η
C = a +b +c .
∂x ∂x ∂y ∂y
Para factorizar los coeficientes A y C , denominamos
∂ξ ∂η
X= , Y = ,
∂x ∂x
2
encontrando que A y C son los polinomios de orden dos en las variables X y Y , respecti-
vamente,
 2
2 ∂ξ ∂ξ
A = aX + b X +c ,
∂y ∂y
 2
2 ∂η ∂η
C = aY + b Y +c .
∂y ∂y
Por lo tanto, la factorización se realiza como
A = a (X − X+ ) (X − X− ) ,
C = a (Y − Y+ ) (Y − Y− ) ,
donde
√
b2 − 4ac
−b ± ∂ξ
X± = ,
2a ∂y
√
−b ± b2 − 4ac ∂η
Y± = .
2a ∂y
Reemplazando estos factores en A y C se obtiene
√ ! √ !
2
−b + b − 4ac ∂ξ 2
−b − b − 4ac ∂ξ
A = a X− X−
2a ∂y 2a ∂y
√ ! √ !
2
∂ξ b − b − 4ac ∂ξ 2
∂ξ b + b − 4ac ∂ξ
= a + + ,
∂x 2 ∂y ∂x 2a ∂y
y similarmente
√ ! √ !
b2 − 4ac ∂η
−b + −b − b2 − 4ac ∂η
C = a Y − Y −
2a ∂y 2a ∂y
√ ! √ !
∂η b − b2 − 4ac ∂η ∂η b + b2 − 4ac ∂η
= a + + .
∂x 2 ∂y ∂x 2a ∂y
Claramente, los coeficientes A y C tienen forma deseada
  
∂ξ ∂ξ ∂ξ ∂ξ
A = α +β α̃ + β̃ ,
∂x ∂y ∂x ∂y
  
∂η ∂η ∂η ∂ξ
C = α +β α̃ + β̃ ,
∂x ∂y ∂x ∂y
donde las funciones α, β, α̃ y β̃ se leen
√
b− b2 −4ac
α = a, β = 2
,
√
b+ b2 −4ac
α̃ = 1 , β̃ = 2a
.

3
Problema 2.

a) Partimos de la EDP

∂ 2ψ ∂ 2ψ 2
2∂ ψ ∂ψ ∂ψ
x2 2
− 2xy + y 2
+x +y = 0. (6)
∂x ∂x∂y ∂y ∂x ∂y
Una ecuación de este tipo se dice parabólica si su discriminante es nulo, en este caso

∆(x, y) = (−2xy)2 − 4x2 y 2 = 0. (7)

Por lo tanto, la EDP (6) es parabólica ∀x, y.

b) La transformación ξ = x, η = xy es invertible si el determinante del Jacobiano

J(x, y) es no-nulo. Para la EDP dada vemos que
   
∂ξ ∂ξ 
  ∂x 1 0 
  
∂y 
det J(x, y) =  ∂η ∂η =  = x, (8)
 ∂x ∂y  y x
 

y como x > 0, entonces la transformación es invertible.

c) Para encontrar la forma canónica vamos a transformar cada uno de los términos
de la EDP y a expresarlos en términos de las nuevas coordenadas ξ y η. Usando
las expresiones encontradas tras aplicar la regla de la cadena en las ecuaciones (1)
a (5) e introduciendo tanto los elementos del Jacobiano J(x, y) en (8) como las
expresiones de las nuevas coordenadas, vemos que los términos de nuestra ecuación
resultan ser
!
2 2 2 2 2 2
∂ ψ ∂ ψ ∂ ψ ∂ ψ 2∂ ψ 2∂ ψ ∂ 2ψ
x2 2 = x2 + y 2
+ 2y = ξ + η + 2ξη ,
∂x ∂ξ 2 ∂η 2 ∂ξ∂η ∂ξ 2 ∂η 2 ∂ξ∂η
!
∂ 2ψ ∂ 2ψ ∂ 2ψ ∂ψ ∂ 2ψ ∂ 2ψ ∂ψ
2xy = 2xy xy 2 + x + = 2η 2 2 + 2ξη + 2η ,
∂x∂y ∂η ∂ξ∂η ∂η ∂η ∂ξ∂η ∂η
∂ 2ψ 2
2 2∂ ψ
2
2∂ ψ
y2 = x y = η ,
∂y 2 ∂η 2 ∂η 2
 
∂ψ ∂ψ ∂ψ ∂ψ ∂ψ
x = x +y =ξ +η ,
∂x ∂ξ ∂η ∂ξ ∂η
∂ψ ∂ψ ∂ψ
y = xy =η .
∂y ∂η ∂η
Sustituyendo las expresiones encontradas en la EDP (6) y sumándolas obtenemos
la ecuación canónica
∂ 2ψ ∂ψ
ξ2 2 + ξ = 0. (9)
∂ξ ∂ξ

4
 Problema 3. Consideramos el oscilador armónico amortiguado tiene forma
ẍ + λ ẋ + ω 2 x = f (t) , t ∈ (−∞, +∞) ,
−αt2
con la fuerza externa f (t) = e .
a) La transformada de Fourier se puede aplicar si las funciones tienden a cero cuando
t → ±∞. Eso se cumple claramente para la fuerza, f (±∞) → 0. En el infinito,
ẍ+λ ẋ+ω 2 x = 0 tiene una solución particular x = 0, tal que x(±∞) → 0 también se
cumple. Para encontrar la transformada de Fourier del desplazamiento del equilibrio,
X(k) = F{x(t)}, aplicamos la transformada en la ecuación diferencial. F es lineal,
tal que se obtiene
n 2
o
F{ẍ} + λF{ẋ} + ω 2 X(k) = F e−αt . (10)
Por otro lado, podemos calcular las transformadas
F{ẍ} = −k 2 X(k) ,
F{ẋ} = ik X(k) ,
n 2
o 1 k2
F e−αt = √ e− 4α .
α
Reemplazando en la ec.(10), se obtiene
1 k2
−k 2 X(k) + ikλ X(k) + ω 2 X(k) = √ e− 4α ,
α
del cual se resuelve X(k),
k2
e− 4α
X(k) = √ .
α (ω 2 − k 2 + ikλ)
La solución anterior se puede racionalizar multiplicando el denominador y numera-
dor por ω 2 − k 2 − ikλ,
k2
e− 4α ω 2 − k 2 − ikλ


X(k) = √ ,
α (ω 2 − k 2 + ikλ) (ω 2 − k 2 − ikλ)
k2
e− 4α ω 2 − k 2 − ikλ


⇒ X(k) = √ h i.
α (ω 2 − k 2 )2 − k 2

b) Sin amortiguación, la solución es

k2
e− 4α
X(k) = √ .
α (ω 2 − k 2 )
La resonancia ocurre cuando X(k) → ∞, es decir, cuando ω 2 − k 2 = 0. Eso se
cumple cuando la frecuencia externa, ω, coincide con la frecuencia propia, ω = k.

5
 Problema 4. Consideramos el oscilador
ẍ + λ ẋ + ω 2 x = 0 , t ≥ 0,
que cumple con las condiciones iniciales x(0) = x0 y ẋ(0) = v0 . Esta ecuación permite
aplicar la transformada de Laplace al desplazamiento del equilibrio, X(s) = L{x(t)}.
Usando el hecho que L es el operador lineal, encontramos
L{ẍ} + λL{ẋ} + ω 2 X(s) = 0 . (11)
Cada término de esta ecuación se calcula como
L{ẍ} = s2 X(s) − s x(0) − ẋ(0) = s2 X(s) − s x0 − v0 ,
L{ẋ} = s X(s) − x(0) = s X(s) − x0 ,
dando en (11
s2 X(s) − s x0 − v0 + λ s X(s) − x0 + ω 2 X(s) = 0 .

La solución de esta ecuación, algebraica en X(s), es

(λ + s) x0 + v0
X(s) = .
s2 + λs + ω 2

Para calcular la transformada inversa x(t) = L−1 {X(s)}, nos interesa el discriminante
del binomio en el denominador. En el caso q de una amortiguación pequeña, λ2 < 4ω 2 ,
2
podemos definir una constante positiva β = ω 2 − λ4 , y mostrar que este discriminante
es negativo,
∆ = λ2 − 4ω 2 = −4β 2 < 0 ,
y por tanto s2 + λs + ω 2 no se puede escribir como un producto de dos monomios. A su
vez, este binomio se escribe como
2
λ2

2 2 λ
s + λs + ω = s+ + ω2 −
2 4
 2
λ
= s+ + β2 .
2
Ahora buscamos la transformada inversa de la función
 

 
 (s + λ) x + v  
−1 −1 0 0
x(t) = L {X(s)} = L  2
 s + λ2 + β 2 

 

   
   
 λ 
  λx   
−1
 s + 2 0 −1
 1 
= x0 L 2 + + v0 L 2 .
2
 
λ 2 λ 2
 s+ 2 +β   s+ 2 +β 

 
 
 


6
Primero aplicamos la propiedad de sustitución, L−1 F (s + a) = e−at L−1 F (s) ,
 

 
 
 λ   
−1
 s + 2

− λt −1 s
L 2 = e L2 ,
s2 + β 2

λ 2
s + + β

 

 2 
 

 
  
−1
 1 
− λt −1 1
L 2 = e 2L ,
s2 + β 2

λ 2
 s+ 2 +β 

 


y después aplicamos las transformadas de Laplace inversas conocidas,

 
−1 s
L = cos βt ,
s2 + β 2
 
−1 β
L = sin βt.
s2 + β 2

Como el resultado, se obtiene

 
− λt λx0 + 2v0
x(t) = e 2 x0 cos βt + sin βt .
2β

Problema 5. Tenemos que mostrar la equivalencia de las funciones

(
ξ−L
L
x, 0≤x≤ξ,
G1 (x, ξ) = ξ (12)
L
(x − L) , ξ ≤ x ≤ L ,

y
∞    
X 2L nπξ nπx
G2 (x, ξ) = − sin sin ,
n=1
n2 π 2 L L
en el intervalo x ∈ [0, L]. Entonces, comenzamos por G1 y la desarrollamos en la serie de
Fourier de tipo seno,
∞
an (ξ) sin nπx
P

G1 (x, ξ) = L
.
n=1

Los coeficientes se calculan según la formula

ZL  
2 nπx
an (ξ) = dx G1 (x, ξ) sin .
L L
0

7
 RL Rξ RL
Usando la propiedad 0
= 0
+ ξ
, obtenemos

Zξ   ZL  
2 nπx 2 nπx
an (ξ) = dx G1 (x, ξ) sin + dx G1 (x, ξ) sin
L L L L
0 ξ

Zξ   ZL  
2 ξ−L nπx 2 ξ nπx
= dx x sin + dx (x − L) sin ,
L L L L L L
0 ξ

donde en la segunda lı́nea se reemplazó la función G1 usando la ec.(12).

Ahora se calculan los siguientes integrales indefinidos,
Z    
nπx L nπx
dx sin = − cos ,
L nπ L
L2
Z      
nπx nπx Lx nπx
dx x sin = sin − cos .
L n2 π 2 L nπ L

Usando cos (nπ) = (−1)n y sin (nπ) = 0, se obtienen los integrales definidos

Zξ
L2
     
nπx nπξ Lξ nπξ
dx x sin = sin − cos ,
L n2 π 2 L nπ L
0
ZL    
nπx L L nπξ
dx sin = − (−1)n + cos ,
L nπ nπ L
ξ
ZL
L2 L2
     
nπx nπξ Lξ nπξ
dx x sin = − (−1)n − 2 2 sin + cos .
L nπ nπ L nπ L
ξ

n
Insertando estas expresiones en los
 coeficientes an , los términos con (−1) se cancelan
 y
también los términos con sin L . Como esperado, quedan solo los términos cos nπξ
nπξ
L
.
Se encuentra
2L  
an (ξ) = − 2 2 sin nπξ L
,
nπ
dando exactamente
G1 (x, ξ) = G2 (x, ξ) .

8
  
d d
Problema 6. Si el operador de Sturm-Liouville es L̂ = dx p(x) dx − s(x), en el
dominio x ∈ [a, b], calculamos el operador adjunto como
 ∗
   ∗ Zb
v, L̂† u = u, L̂v =  dx u∗ (x) L̂v(x)
 

a
 ∗
Zb h i

0
=  dx u∗ p v 0 − sv 
 

Zb h i

0
= dx p v ∗0 u − sv ∗ u .
a

Ahora calculamos la integral por partes para el primer término, obteniendo

Zb

b
  
† ∗0
puv  + dx −pv ∗0 u0 − sv ∗ u .


v, L̂ u = 
a
a

De nuevo calculamos la integral por partes para el primer término bajo la integral, en-
contrando
Zb

b
   h i
†

0
v, L̂ u = ∗0 ∗ 0
pv u − pv u  + dx v ∗ pu0 − su
a
a
Zb

b

= p v u − v u  + dx v ∗ L̂u .
∗0 ∗ 0 

a
a

Notando que podemos definir el Wronskiano

 
 u(x) v ∗ (x)
 
W (x) =  0  = v ∗0 u − v ∗ u0 ,

 u (x) v ∗0 (x) 

el resultado es
  b  
†

v, L̂ u = pW  + v, L̂u .
a
 
 
El operador hermı́tico cumple v, L̂† u = v, L̂u . Para que se satisfaga esta condi-
ción, se necesitan las condiciones del contorno tal que pW |ba = 0.
Entonces, aplicamos las condiciones de contorno particulares.

9
a) Para las condiciones de borde de tipo Dirichlet, u(a) = 0 y u(b) = 0, tenemos

W (a) = v ∗0 (a)u(a) − v ∗ (a)u0 (a) = 0 ,

|{z} | {z }
0 0
W (b) = v ∗0 (b)u(b) − v ∗ (b)u0 (b) = 0 ,
|{z} | {z }
0 0

por lo cuál pW |ba = 0 y

   
†
v, L̂ u = v, L̂u ⇒ L̂† = L̂ ,

dando el operador L̂ hermı́tico en el intervalo [a, b] .

b) Ahora suponemos las condiciones de contorno de tipo intermedio Dirichlet-

Neumann, u0 (a) = u(a) , u0 (b) = u(b). Encontramos

W (a) = v ∗0 (a)u(a) − v ∗ (a)u0 (a) = v ∗ (a)u(a) − v ∗ (a)u(a) = 0 ,

W (b) = v ∗0 (b)u(b) − v ∗ (b)u0 (b) = v ∗ (b)u(b) − v ∗ (b)u(b) = 0 .

Se concluye que pW |ba = 0, tal que L̂ es hermı́tico.

c) De la experiencia anterior, vemos que es suficiente tener W (a) = 0 y W (b) = 0 para

que L̂ sea hermı́tico.

i. Un ejemplo de cuando eso se cumple serı́an las condiciones de contorno de tipo

Neumann, u0 (a) = 0 y u0 (b) = 0. En este caso,

W (a) = v ∗0 (a)u(a) − v ∗ (a)u0 (a) = 0 ,

| {z } | {z }
0 0
∗0 ∗ 0
W (b) = v (b)u(b) − v (b)u (b) = 0 ,
| {z } |{z}
0 0

y L̂ es hermı́tico.

ii. Para ver un ejemplo completamente diferente que los anteriores, consideramos las
condiciones de borde periódicas, u(a) = u(b) (o más general u(x + b − a) = u(x)
para todo x). En consecuencia, las funciones u0 , v ∗ y v ∗0 son también periódicas y
encontramos
W (a) = v ∗0 (a) u(a) − v ∗ (a) u0 (a) = W (b) ,
| {z } |{z} | {z } | {z }
v ∗0 (b) u(b) v ∗ (b) u0 (b)

por lo cuál

pW |ba = p(b)W (b) − p(a)W (a) = p(b) − p(a) W (a) .

 

10
Entonces, L̂ no es hermı́tico para cualquier p(x), sino solo cuando la función
p(x) es periódica también,
p(a) = p(b) .

Cumpliéndose la periodicidad de p(x), el operador L̂ es hermı́tico.

11