Escolar Documentos
Profissional Documentos
Cultura Documentos
44
8.1. Se p a r a ció n d e va r ia b le s p a r a lo s p r o b le m a s clá sico s.
Consideremos primero varios problemas para la ecuación del calor.
45
Este método de separación de variables nos proporciona una posible
solución de [P1]: la serie [6] con coeficientes dados por [7].
Pero esta solución es sólo formal mientras no se compruebe que la
convergencia de la serie es suficientemente buena para asegurar
que realmente cumple la ecuación y todas las demás condiciones (en
principio una suma infinita de funciones derivables podría ser no
derivable). Si f(x) es C1 a trozos, se puede probar que la serie
converge en [0,L]x(0,∞) hacia una función continua y que ut y uxx se
pueden calcular derivando término a término (y así se satisface la
ecuación). Para x=0 y x=L está claro que la u se anula. Y la
condición inicial se satisface en el siguiente sentido: la u(x,t)
definida por la serie para t>0 y por u(x,0)=f(x) es una función
continua salvo en los puntos de t=0 en que la f es discontinua.
[Observemos que aunque f sea discontinua, la solución es continua para
valores de t>0 arbitrariamente pequeños: a diferencia de lo que ocurría en la
ecuación de ondas, las discontinuidades desaparecen aquí instantáneamente].
Observemos también que como cada un→0 cuando t→∞ (y es buena la
convergencia), se tiene que u(x,t)→0 cuando t→∞ para todo x∈[0,L]
(la barra tiende a ponerse a 0 grados, como era de esperar).
∞
u(x,t) = T1 + [T2 -T1 ] xL + ∑ cn e-kn π t/L sennπx
y, por tanto: 2 2 2
n=1 L
Esta v(x) tiene un significado físico claro: como w→0 para t→∞,
v(x) es la distribución estacionaria de temperaturas hacia la que
tienden las temperaturas en la varilla, independientemente de las
condiciones iniciales.
[Si T1 y T2 fuesen funciones de t , la v(x,t) definida como arriba seguiría
cumpliendo las condiciones de contorno, pero la ecuación para la w sería no
homogénea y para resolver el problema resultante hay que esperar a la próxima
sección; dicha v, dependiente de t, pierde además su significado físico].
46
u(x,0)
ut-uxx=0, x∈(0,1),t>0
Ejemplo 1. u(x,0)=1 distr.
u(0,t)=1 , u(1,t)=0 estac. w(x,0)
∞ n+1
-n2π2t sen(nπx)
Operando se llega a: u(x,t) = 1-x+ π2 ∑ [-1] e
n n=1
y la distribución estacionaria hacia la que tiende es v(x)=1-x .
[No nos importa que para t=0 sea incoherente el dato inicial con el
de contorno en x=1; la solución será una función continua para t>0].
ut-kuxx=0, x∈(0,L),t>0
[P2] u(x,0)=f(x)
ux(0,t)=ux(L,t)=0
∫0 f(x) cosnπx
L
cn = L2 dx , n=0,1,2,…
L
∫0 f(x) dx
co L
2 = L1
47
En el tercer problema para la ecuación del calor que tratamos la
condición de x=0 representa la radiación libre hacia un medio a 0
grados (el flujo de calor es proporcional a la temperatura en x=0;
si es positiva el calor sale y entra si es negativa). En x=1
fijamos el flujo de calor que entra en la varilla (al ser ux>0 las
temperaturas crecen cerca de x=1 y el flujo es hacia la izquierda)
ut-kuxx=0, x∈(0,1),t>0
[P3] u(x,0)=f(x)
ux(0,t)-au(0,t)=0, a>0
ux(1,t)=1
wt-kwxx=0
1
w = u-v → w(x,0)=f(x)-x- a
wx(0,t)-aw(0,t)=wx(1,t)=0
Separando variables se llega a T'+λkT = 0 y al problema de contorno:
X"+λX = 0
que no tiene autovalores ≤0. Para λ>0:
X'(0)-aX(0)=X'(1)=0
X = c1 coswx+c2senwx , w = √
λ → X'(0)-aX(0)=c2w-ac1 =0 → c2= w c1
a
a a
→ X'(1)=c1 (w cosw-senw)=0 → tanw = w tanw
∫0[f(x)-x- 1a]Xn(x)dx
1
48
Resolvamos el problema para la cuerda vibrante con extremos
fijos (ya resuelto en 6.1 extendiendo y aplicando D'Alembert):
utt-c2uxx=0, x∈[0,L],t∈R
[P4] u(x,0)=f(x) , ut(x,0)=g(x)
u(0,t)=u(L,t)=0
X" X"+λ X =0
u(x,t)= X(x)T(t) → = 12 T" = -λ →
X c T T"+λ c2 T =0
Las condiciones de contorno imponen X(0)=X(L)=0 y por tanto:
n2π2
λ n = L2 , Xn = { sennπx } , n=1,2,… .
L
Las soluciones correspondientes para T son combinaciones lineales
de sen(nπct/L) y cos(nπct/L). Así, funciones de la forma:
un(x,t) = [ kn cosnπct + cn sennπct ] sennπx , n=1,2,…
L L L
satisfacen la EDP y las condiciones de contorno. Probamos, pues:
∞
u(x,t) = ∑ [ kn cosnπct nπct nπx
L
+ cn sen L ] sen L
n=1
49
Utilicemos, por último, el método de separación de variables en
el estudio de diversos problemas relativos a la ecuación de
Laplace en recintos especialmente simples, comenzando por el
problema de Dirichlet en un rectángulo, es decir:
f (x)
∆u = 0 en (0,a)x(0,b)
b
b
[P5] u(x,0)=fo(x) , u(x,b)=fb(x) go(y) ga(y)
u(0,y)=go(y) , u(a,y)=ga(y) a
fo(x)
∞
Probamos: u(x,y) = ∑ cn shnπ[b-y] sennπx
n=1 a a
50
Resolvamos el problema de Dirichlet en un círculo:
∆u = 0 en r<R R
[P6]
u(R,θ)=f(θ) , θ∈[0,2π
Θ"+λ Θ =0
= - Θ"
2 f(θ)
u(r,θ)= R(r)Θ(θ) → r R"+rR' =λ → 2
R Θ r R"+rR'-λ R =0
Parece que no hay condiciones para la Θ, pero está claro que la
solución u(r,θ) debe ser 2π–periódica en θ , o lo que es lo mismo,
debe ser Θ(0)=Θ(2π),Θ'(0)=Θ'(2π). Este problema de Sturm-Liouville
periódico tiene los siguientes autovalores y autofunciones:
λ n = n2 , n=0,1,2,… , Θ0(θ) = {1} , Θn(θ) = { cos nθ,sen nθ} .
Las soluciones correspondientes de R son (ecuación de Euler):
R0(r) = c1 +c2 lnr y Rn(r) = c1 rn +c2 r-n si n≥1 .
Parece lógico imponer por consideraciones físicas que la solución
debe permanecer acotada cuando r→0 (y matemáticamente la solución
también debe estarlo si debe ser derivable), así que debe ser c2=0
en ambos casos. Por tanto, probamos soluciones de la forma:
a ∞
u(r,θ) = 2o + ∑ rn [an cos nθ + bn sen nθ ]
n=1
Debe ser
a ∞
u(R,θ) = 2o + ∑ Rn [an cos nθ + bn sen nθ ] = f(θ) , θ∈[0,2π)
n=1
y por tanto:
∫0 ∫0
2π 2π
an = 1 n f(θ)cos nθ dθ , n=0,1,… , bn = 1 n f(θ)sen nθ dθ , n=1,2,…
πR πR
∫0
1 2π R2 - r2 fórmula integral
u(r,θ) = 2π R2 -2Rr cos(θ-φ)+r2
f(φ) dφ de Poisson
1 2π
Haciendo r=0 deducimos que u(0,θ) = 2π ∫ 0 f(φ)dφ : si ∆u=0, el valor de u
en el centro de un círculo es el valor medio de u sobre la frontera.
Como en los otros casos habría que probar que las u obtenidas para
[P5] y [P6] son realmente soluciones. Para [P6] se demuestra que si
f es continua a trozos, la u satisface ∆u=0 en r<R y que alcanza
51
el valor de contorno con continuidad en todos θ en que f es
continua (y que sigue habiendo unicidad) [análogo para [P5]].
52
Resolvamos ahora el problema de Neumann en un círculo:
∆u = 0 en r<R
[P7]
ur(R,θ)=f(θ) , θ∈[0,2π
∫ ∫
1 2π 1 2π
an = n-1 0
f(θ)cos nθ dθ , bn = n-1 0
f(θ)sen nθ dθ , n=1,2,…
nπR nπR
siempre que no tenga término independiente el desarrollo en senos
y cosenos de f(θ); es decir, una condición necesaria para que el
problema se pueda resolver por este método es que se cumpla:
∫0
2π
f(θ) dθ = 0 ∫ f ds = ∫∫ F dxdy = 0 ]
[confirma lo visto en 5.3: debía ser o
∂D D
∆u=0 en r<1
Ejemplo 2. No es necesario calcular integrales:
ur(1,θ)=sen3θ
∞ 3sen θ sen3θ
ur(1,θ) = ∑ n[an cos nθ + bn sen nθ ] = sen3θ = 4
- 4
n=1
Por tanto, b1 =3/4 , b3 =-1/12 y los demás coeficientes son cero.
3 1
La solución es: u(r,θ) = C + 4 r sen θ - 12 r3sen3θ , con C cualquiera.
π/2
→ 4
cn = [2n-1]π ∫0 f(θ)cos(2n-1)θ dθ , n=1,2,… (solución única)
53
8.2. Pr o b le m a s n o h o m o g é n e o s
Las autofunciones del [Ph] eran {sen nx}, n=1,2,… Probamos en [PF] la
siguiente serie que ya satisface las condiciones de contorno:
∞
uF(x,t) = ∑ Tn(t) sen nx
n=1
2
Entonces para cada n debe ser: T'
n+ kn Tn = Bn .
∞
Y del dato incial: uF(x,0) = ∑ Tn(0) sen nx = 0 deducimos Tn(0) = 0 .
n=1
Resolviendo la ecuación ordinaria con el dato inicial (utilizando
la fórmula de variación de las constantes; para una F concreta a
lo mejor hay métodos más rápidos) hallamos la Tn y por tanto:
∞
uF(x,t) = ∑ [ ∫t0 e-kn2[t-s] Bn(s)ds ] sen nx
n=1
54
Ejemplo 2. u -c2uxx = x, x∈[0,π],t∈R
[P2] tt
u(x,0)=ut(x,0)=u(0,t)=u(π,t)=0
Las autofunciones del homogéneo (lo vimos en 8.1) son las de [Ph]:
∞
u(x,t) = ∑ Tn(t) sen nx (ya se anula en x=0 y x=π). Entonces:
n=1
2 π 2[-1]n+1 2[-1]n+1
π ∫0
T"
n+c2 2
n Tn = x sen nx dx = → Tn = c1 cosnct+c2 sennct+
n c2n3
Imponiendo Tn(0)=T'
n(0)=0 (pues u(x,0)=ut(x,0)=0 ) deducimos que:
∞ n+1
u(x,t) = 22 ∑ [-1]3 [1 - cos nct] sen nx .
c n
n=1
55
Ejemplo 4. ∆ u = 4 en r<1
[P4]
u(1,θ)=cos 2θ
Podríamos descomponerlo en dos subproblemas (el de ∆u=0 lo vimos
en 8.1), pero lo resolvemos directamente. Las autofunciones del
problema homogéneo nos llevan a probar la serie:
∞
u(r,θ) = a0(r) + ∑ [an(r) cos nθ + bn(r) sen nθ ] →
n=1
∞ 2 2
1
0+ ∑
0 + r a'
a" ([an" + r1 a'n - rn2 an]cos nθ + [bn" + r1 b'n - rn2 bn]sen nθ) = 4
n=1
Para todos los ejemplos que hemos visto hasta ahora en esta
sección habíamos resuelto previamente el problema homogéneo. Si
nos enfrentásemos a un problema nuevo, deberíamos comenzar con el
cálculo de las autofunciones del homogéneo, como en el siguiente:
56
∆ u = 0 , 1<r<2 , 0< θ <π
Ejemplo 5. [P5] u(1,θ)=u(2,θ)=u(r,0)=0
u (r,π)=r2
θ
∞
Probamos entonces la serie: w(r,θ) = ∑ Rn(r) sen [2n-1]θ →
n=1 2
∞ ∞
1 [2n-1]2 [2n-1]θ
∑ [Rn" + r R'
n- 2 Rn]sen = -4θ = 4 ∑ Bn sen [2n-1]θ
n=1 4r 2 2 n=1
π n
Bn = 2π ∫0 - θ sen 2 dθ = 2[-1]
[2n-1]θ
con
π[n-1/2]2
1 2
Resolvemos pues: r2Rn" + rR'
n - [n- 2 ] Rn = 4Bn r
2
con Rn(1)= Bn , Rn(2)= 4Bn .
n 4B
Rnp =Ar2 [λ=2 no autovalor] → A = → Rn=c1rn-1/2+c2r-(n-1/2)+Ar2
4-(n-1/2)2
c.contorno [2q+2-1][Bn-A] 2q [2q -4][Bn-A] 1
→ c1 = , c2 = llamando q=n- 2
22q -1 22q -1
Simplificando un poco:
2 [-1]n
Rn(r)= ([2q+2-1]q2 rq + 2q [2q -4]q2 r-q - 4[22q -1] r2 )
πq2[q2-4][22q -1]
La solución final es u = r2θ +w donde la w es la serie de arriba con
sus coeficientes dados por la última expresión.
57
8.3. Alg u n o s pr o b le m a s en tr e s va r ia b le s
Comenzamos estudiando las series de Fourier dobles, de teoría
semejante a las de una variable. Sean Xm(x), x∈[a,b] e Yn(y), y∈[c,d]
las autofunciones de dos problemas de Sturm-Liouville con pesos
respectivos r(x) y s(y), y sea f(x,y)∈C1([a,b]x[c,d]). Entonces, para
cada (x,y)∈(a,b)x(c,d) se puede escribir f como la serie:
∞ ∞
∫a ∫c f(x,y) Xm Yn rs dydx
1 1 b d
f(x,y) = ∑ ∑ cmn Xm Yn con cmn = 〈X ,X 〉 〈Y ,Y 〉
m=1 n=1 m m n n
b d
[ 〈u,v〉 designa, desde luego, ∫a uvrdx ó ∫c uvsdy ]
∞ 〈f(x,y),Y 〉
pues para x fijo se puede poner f(x,y) = ∑ Cn(x)Yn , Cn(x)= 〈Y ,Y 〉n ,
n=1 n n
∞ 〈Cn(x),Xm 〉
y con Cn(x)= ∑ cmn Xm , cmn = 〈X ,X 〉 se tiene la expresión de arriba.
m=1 m m
4 π π 0 si n≠1
amn = π2 ∫0 ∫0 xcos y cos mxcos nydydx = π si n=1,m=0 →
2([-1]m-1)/(πm2) si n=1,m>0
∞
π 4 1
xcosy = 2 cos y - π ∑ [2m-1]2 cos[2m-1]x cosy (ya estaba desarrollado en y)
m=1
58
Resolvamos por separación de variables varios ejemplos de
problemas en tres variables. Primero, la ecuación del calor en un
cuadrado: estudiamos la evolución de las temperaturas de una placa
cuadrada (dadas las iniciales) si el borde se mantiene a 0 grados:
π
ut-k[uxx +uyy] =0, (x,y)∈(0,π)x(0,π),t>0
u(x,y,0)=f(x,y)
u(x,0,t)=u(x,π,t)=u(0,y,t)=u(π,y,t)=0 π
Y"+λ Y =0
→ Y"
= 1 T'
- X"
= -λ → X"
= λ + k1 T' →
X"+λ X =0
Y k T X = -µ
X T T'+k[λ +µ]T =0
Las condiciones de contorno exigen: X(0)=X(π)=Y(0)=Y(π)=0. Así pues:
µ=m 2 , Xm = { sen mx} , m=1,2,… 2 2
→ Tmn = {e-[m +n ]kt} .
λ =n 2 , Yn = { sen ny} , n=1,2,…
Probamos, pues, la serie:
∞ ∞ 2 2
u(x,y,t) = ∑ ∑ bmn e-[m +n ]kt sen mx sen ny
m=1 n=1
X"+λ X =0 , X(0)=X(π)=0
u = XYZ →
Y" Z"
+Z = - X" =λ →
Z"
- λ = - Y" =µ → Y"+µY=0, Y'(0)=Y'(π)=0
Z"-[λ +µ]Z =0, Z(π)=0
Y X Z Y
59
Resolvamos el problema de Dirichlet en una esfera con datos
independientes de φ. La laplaciana en esféricas tiene la forma:
ur uθθ cosθ uθ uφφ
∆u = urr + + + + θ
r r2 senθ r2 sen2θ r2
r
Si intentásemos resolver el problema general:
φ
∆u = 0, r<R, θ∈[0,π], φ∈[0,2π
u(R,θ,φ)=f(θ,φ)
urr + ur + θθ +
u cosθ uθ
= 0, r<R r2R"+2rR'-λ R =0
r r2 senθ r2 u = RΘ →
u(R,θ)=f(θ) , θ∈[0,π] sen θ Θ"+cos θ Θ'+λ sen θ Θ=0
Probamos: ∞
u(r,θ) = ∑ an rn Pn(cosθ)
n=0
Debe ser:
∞ π
u(r,θ) = ∑ an Rn Pn(cosθ) = f(θ) →
n=0
an = 2n+1
n 2R ∫0 f(θ)Pn(cosθ) senθ dθ , n=0,1,…
Ya que el peso es r(θ)=sen θ [(sen θ Θ')'+ λ sen θ Θ=0 ] y es sabido que:
π
∫0 [Pn(cosθ)]2 senθ dθ = ∫-1 [Pn(t)]2 dt =
1 2
2n+1
∫-1 t2 Pn(t) dt
1
Por ejemplo, si R=1 y f(θ)=cos2θ se tiene: an = 2n+1
2
Por tanto:
2
a0 = 21 ∫-1 t2 dt = 31
1 2
, a2 = … = y los demás an =0 → u(r,θ) = 1-r +r2cos2θ
3 3
2 3 1 1 2 1
[o tanteando: cos2θ = 3 [2cos2θ - 2 ]+ 3 → a2 = 3 , a0 = 3 ]
60
Si los problemas con simetría esférica llevan a la ecuación de
Legendre, los de simetría cilíndrica llevan a la de Bessel, como
en el siguiente problema de vibración de una membrana circular:
1 ∞ ∞ ∞
→ ∑ c0k J0(r √
2 k=1 λ0k ) + ∑ ∑ [cmk cos mθ + dmk sen mθ ] Jm(r √
λmk ) = f(r,θ)
m=1 k=1
∞
1
Para r fijo, f(r,θ) = 2 A0(r) + ∑ [Am(r)cos mθ + Bm(r)sen mθ ] , con
m=1
∞ ∞
Desarrollando: Am(r)= ∑ cmk Jm(r √
λmk ) , Bm(r)= ∑ dmk Jm(r √
λmk )
k=1 k=1
∫0∫ 0
2 1 2π
cmk = r f(r,θ)cos mθ Jm(r √
λmk ) dr dθ
(√
λmk )
2
πJm+1
∫0∫ 0
2 1 2π
dmk = r f(r,θ)sen mθ Jm(r √
λmk ) dr dθ
(√
λmk )
2
πJm+1
61