Condiciones de frontera periódicas

Daniel Quijano, Jonathan Góngora

12 de noviembre de 2014

Hemos tratado problemas de flujo de calor donde sus eigenfunciones son senos y
otras donde son cosenos. Veamos ahora problemas con eigenfunciones que son a la vez
senos y cosenos.
Formularemos la debida ecuación si un alambre delgado (con lados laterales aislados)
es doblado en la forma de un cı́rculo. Supongamos que el alambre tiene longitud 2L.
2L L
Como la circunferencia de un cı́rculo es 2πr, el radio es r = = . Si el alambre es
2π π
suficientemente delgado, es razonable asumir que la temperatura en él es constante a lo
largo de la sección transversal del alambre doblado. En esta situación el alambre debe
satisfacer una ecuación de calor unidimensional, donde la distancia es actualmente la
longitud de arco x a lo largo del alambre:

∂u ∂ 2u
= k 2. (1)
∂t ∂x
Supongamos que el alambre tiene propiedades térmicas constantes. Es conveniente
medir el arco de longitud x que tenga rango de −L a L. Asumamos que el alambre esta
bien conectado ası́ mismo en los finales (x = −L a x = L). Las condiciones de contacto
térmico perfecto deben mantenerse ahı́. Como la temperatura u(x, t) es continua ahı́:

u(−L, t) = u(L, t). (2)

Además, ya que el flujo de calor debe ser continuo ahı́ (y la conductividad térmica
es constante en todas partes), la derivada de la temperatura también es continua:

∂u ∂u
(−L, t) = (L, t). (3)
∂x ∂x
La condición inicial es que la temperatura inicial sea una función dada por la posición
a lo largo del alambre:

u(x, 0) = f (x). (4)

El problema matemático consiste del EDP (1) junto con las condiciones de fron-
tera (2) y (3). Para resolverlo aplicaremos separación de variables. Ası́, como vimos
anteriormente, la solución está dada por el producto

1
 u(x, t) = φ(x)G(t), con G(t) = ce−λkt . (5)

Como (5) satisface el EDP (1) con sus condiciones de frontera (2) y (3), entonces
podemos hallar φ(x) resolviendo el siguiente problema con valores en la frontera

d2 φ
= −λφ (6a)
dx2
φ(−L) = φ(L) (6b)
dφ dφ
(−L) = (L) (6c)
dx dx
Las condiciones de frontera (6b) y (6c) son conocidas como condiciones de fron-
tera periódicas ya que el problema puede pensarse como fı́sicamente definido para
−L < x < L, se piensa que es definida periódicamente para toda x; la temperatura
también será periódica (x = x0 es el mismo punto fı́sico que x = x0 + 2L, y ası́ tiene la
misma temperatura).
Si λ > 0, la solución general de (6a) es

√ √
φ = c1 cos λx + c2 sin λx.

La condición de frontera (6b) implica que

√ √ √ √
c1 cos λ(−L) + c2 sin λ(−L) = c1 cos λ(L) + c2 sin λ(L)

Ya que el coseno es una función par y el seno es impar entonces

√ √ √ √
cos λ(−L) = cos λ(L) ∧ sin λ(−L) = − sin λ(L) (7)

ası́, la condición de frontera (6b) se cumple si y solo si

√
c2 sin λL = 0. (8)
Por otro lado, derivando φ tenemos

dφ √ √ √
= λ(−c1 sin λx + c2 cos λx).
dx
Usando (7) se tiene que la condición de frontera (6c) se cumple si y solo si

√ √
c1 λ sin λL = 0. (9)
√
De (8) y (9) podemos ver que si λL 6= 0, entonces c1 = 0 y c2 = 0, la cual es solución
trivial. Para soluciones no triviales
√
sin λL = 0,

2
 √
que determina el valor propio λ. Luego λL = nπ o equivalentemente
2
nπ

λ= , n = 1, 2, 3, · · ·
L
En este problema no hay
 restricciones
 que 
c1 y c2 deban satisfacer ası́ que ambos son
nxπ nxπ

arbitrarios. Entonces sin y cos son funciones propias correspondientes
2 L L
nπ

al valor propio λ =
L

nxπ nxπ
φ(x) = cos , sin , n = 1, 2, 3, · · ·
L L

de hecho, cualquier combinación linea es una eigenfunción,

nxπ nxπ
φ(x) = c1 cos + c2 sin ,
L L
entonces, existen dos familias infinitas de soluciones de la ecuación diferencial parcial,

nxπ −( nπ
 2

u(x, t) = cos e L ) kt y
L
nxπ −( nπ
  2
u(x, t) = sin e L ) kt .
L
Recordemos que todas estas corresponden a λ > 0. Si λ = 0, la solución general
de (6a) es
φ(x) = c1 + c2 x.
La condición de frontera (6b) implica que

c1 − c2 L = c1 + c2 L
dφ
De aquı́, c2 = 0, φ(x) = c1 y = 0. Luego, la condición de frontera (6c) se cumple
dx
automáticamente. Notemos que cualquier constante φ(x) = c1 es una eigenfunción
correspondiente al eigenvalor cero. Para λ < 0 no existen eigenfunciones.
El principio de superposición debe ser usado antes de aplicar la condición inicial.
La solución más general obtenible por el método de separación de variables consiste en
una combinación lineal arbitraria de todas las soluciones:
∞ ∞
nxπ −( nπ nxπ −( nπ
  2 2
 
e L ) kt + e L ) kt .
X X
u(x, t) = A0 + An cos Bn sin (10)
n=1 L n=1 L

La constante A0 es el producto solución correspondiente a λ = 0, mientras que dos

familias de coeficientes arbitrarios, An y Bn , son necesarios para λ > 0. La condición
inicial (4) se cumple si
∞ ∞
nxπ nxπ
X X    
f (x) = A0 + An cos + Bn sin . (11)
n=1 L n=1 L

3
Esta función f (x) es una combinación lineal de senos y cosenos (y una constante), a
diferencia de problemas anteriores, donde cualquiera de los dos, senos o cosenos (inclu-
yendo el término constante), eran usados. Otra diferencia crucial es que (10) debe ser
valido para el anillo entero, lo cual significa que −L ≤ x ≤ L, mientras que las series
de solo senos o cosenos eran válidas para 0 ≤ x ≤ L. La teorı́a de las series de Fourier
muestra que (10) es valida, y, más importante, las series de solo senos o cosenos son
casos especiales de esta.
Ahora nos propondremos a determinar los coeficientes A0 , An , Bn de (10). De nuevo,
las eigenfunciones forman un conjunto ortogonal de la table de integrales se verifican
las siguientes condiciones de ortogonalidad:

Z L n 6= m 0

nxπ mxπ
    
cos cos dx = L n = m 6= 0 (12a)
−L L L 

2L n = m = 0

Z L
nxπ

mxπ
 0 n 6= m 
sin sin dx = (12b)
−L L L L n = m 6= 0
Z L
nxπ mxπ
   
sin cos dx = 0 (12c)
−L L L
donde m y n son enteros arbitrarios no negativos. La eigenfunción constante corresponde
a n = 0 o m = 0. Las integrales de los cuadrados de senos o cosenos (n =  m) son
nxπ

evaluadas por la regla de mitad del largo del intervalo. Note que, por ejemplo, cos
L
es ortogonal a cada otra eigenfunción.
Los coeficientes se calculan ahorrando algunos pasos si notamos que (11) es equiva-
lente a
∞ ∞
nxπ nxπ
X  X  
f (x) = An cos + Bn sin .
n=0 L n=1 L

mxπ mxπ
   
Si multiplicamos por cos y sin y después integramos sobre el intervalo
L L
[−L, L], obtenemos
   
mxπ ) ∞ (cos mxπ )
cos
Z L ( Z L
nxπ

L X L
f (x)   dx = An cos   dx
−L sin Lmxπ
n=0 −L L sin mxπ
L
 
∞ Z L (cos mxπ )
nxπ

X L
+ Bn sin   dx.
n=1 −L L sin mxπ
L

Si usamos (12), tenemos que

Z L Z L
mxπ mxπ
   
f (x) cos dx = Am cos2 dx
−L L −L L
Z L Z L
mxπ 2 mxπ
   
f (x) sin dx = Bm sin dx.
−L L −L L

4
Resolviendo de manera usual conseguimos, para m ≥ 1
1 ZL

A0 = f (x)dx


2L −L 


 
1 Z L
mxπ
 

Am = f (x) cos dx (13)
L −L L 
 
1ZL mxπ
 


Bm = f (x) sin dx


L −L L
Ası́, la solución al problema es (10), donde los coeficientes estan dados por (13).