Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Introduccin
o Solucin analtica
Variables separables
o Solucin numrica
Elementos finitos
Terminologa
En esta seccin y las dos siguientes preparamos el terreno para construir las Series de Fourier que
se trabajara ms adelante. La nocin de funciones ortogonales es fundamental para toda la
discusin.
U .V u1* * v1 u 2 * v2 [1]
2
Definimos norma de U como U U .U U
i-) U 0 si y solo si U 0
iii-) U V U V
Nota: la nocin que se trabaja aqu de ortogonal es una generalizacin de perpendicularidad, sin
embargo, la nocin geomtrica de esta es espacios vectoriales de dimensin superior se pierde
DEFINICIN 10.2 Dos funciones m y n se dicen ortogonales en un intervalo a < x < b si
b
a
1 ( x )2 ( x) dx 0
EJEMPLO
1
1 ( x) 2 ( x)dx
1
1
x 2 x 3 dx
1 6
6
x 1
1
1
6
1 (1) 6 0
1 ( x ), 2 ( x ),..., n ( x )
a
b
m ( x )n ( x ) dx 0 ,
0 ,
m n
m n. (1)
b
n2 ( x ) dx
2
Al nmero positivo n ( x ) (2)
a
b
n ( x) a
n2 ( x) dx
Es la norma de la funcin n(x). Cuando ||n(x)|| = 1 para n = 0,1,2,, el conjunto {n(x)} se dice
ortonormal en el intervalo.
EJEMPLO
Solucin: Si hacemos la identificacin 0(x) = 1 y n(x) = cos nx, entonces debemos demostrar que
0 ( x)n ( x) dx 0, n>0 y que
m ( x)n ( x) dx 0, m>0, n>0, mn. En el
primer caso tenemos:
1
0 ( x )n ( x ) dx cos nx dx
n
sen n x
1
sen nx sen(n ) 0, n 0,
n
0 ( x )n ( x) dx cos mx cos nx dx
1
cos(m n) x cos( m n) x dx
2
1 sen (m n) x sen (m n) x
0, mn
2 mn mn
EJEMPLO
Encuentre la norma de cada una de las funciones pertenecientes al conjunto ortogonal dado en el
ejemplo precedente.
dx 2 .
2
0 ( x)
2
de modo que 0 ( x ) 2 .
cos 2 nx dx
2
n ( x)
1
1 cos 2 nx dx .
2
1 cos x cos 2 x
, , ,... Es ortonormal en - x
2
Volvamos nuevamente a 2 y tomemos dos elementos; que cumplen una propiedad importante,
para este ejemplo, U 1 (1,1) y U 2 (1,1) , que son vectores ortogonales en 2 ;
tomemos un elemento cualquiera que pertenece a 2 , y observemos que este elemento se
puede escribir como una combinacin lineal de U 1 y U 2 ; es mas, cualquier elemento se puede
escribir como combinacin lineal de estos dos (Esto que significa?).
6
Entonces c1 3
2
Insertar grafica
1, cos( x), cos(2 x), cos(3 x),..., cos(nx),..., sen( x), sen( 2 x),...sen( mx ),... , El cual es
ortogonal en p x p .
Definamos
a0
f ( x) a1 cos(x) a2 cos(2 x) ... an cos(nx) ... b1sen( x) b2 sen(2 x) ... bm sen(mx) ...
2
(1)
Aplicando el mismo procedimiento utilizado en el ejemplo anterior, si queremos saber el valor del
coeficiente an , multiplicamos a ambos lados por cos(nx ) y utilizando la ortogonalidad definida
en funciones, cada termino en el miembro derecho de la ltima ecuacin es cero excepto m = n. En
este caso tenemos:
p p p p
a0
p
f ( x) cos(nx) dx p 2 cos(nx)dx pa1 cos( x) cos(nx)dx pa2 cos(2 x) cos(nx)dx ...
p p p
p
an cos(nx) cos(nx)dx a1sen( x) cos(nx)dx
p
a
p
2 sen( 2 x) cos(nx) dx ...
p
a m sen( mx) cos(nx)dx ...
p p
p
f ( x) cos(nx)dx a p
n cos(nx) cos(nx) dx
Despejando an obtenemos
p p
f ( x) cos(nx)dx f ( x) cos(nx)dx 1
p
f ( x) cos(nx)dx
p p
an an (2)
p
cos(nx) cos(nx)dx
p
p
1
bn
p
f ( x) sen(nx)dx (3)
1
f x dx.
p
Y el trmino independiente a0
p p
(4)
a0
n n
f ( x) a n cos x bn sen x . (5)
2 n 1 p p
1
Hemos elegido escribir el primer coeficiente en la serie (5) como a 0 2 en lugar de escribirlo como a 0 . Esto se hace slo por
conveniencia; la frmula para a n se reducir entonces a a 0 cuando n 0.
2
Debe su nombre al matemtico francs J. Fourier (1768 1830), quien us dicha serie en sus investigaciones sobre la teora del
calor.
Tal como en la presentacin de la serie de Fourier generalizada en la seccin precedente, la
suposicin bsica de que f poda ser representada mediante una serie tal como (5) y la posterior
determinacin de los coeficientes correspondientes a esta suposicin fueron, ambas, estrictamente
formales. Supusimos que f era integrable en el intervalo y que tanto (5) como las series obtenidas
mx mx
multiplicando por cos y sen convergan de tal manera que se poda integrar trmino a
p p
trmino. Mientras no se demuestre que, para una funcin dada, f, (5) converge, el signo igual es
usualmente reemplazado por el smbolo .
EJEMPLO
x 0
f ( x)
0,
Desarrolle x,
0 x (12)
Solucin: El grafico de f se da en la figura 10.1. Con p = , por (9) y (10) tenemos que:
1 1 0 1 x2
0dx x dx x
a0 f x dx ,
0 2 0 2
1
an f x cos nx dx
y
1 0 0dx x cos nx dx
0
1 sen nx
1
x sen nx dx
n 0 n 0
1 cos nx cos n 1 1 (1) n
.
n n 0 n 2 n 2
- x
Figura 10.1 En forma anloga, de (11) obtenemos que
1 1
bn
x sen nx dx n
0
1 (1) n 1
Por lo tanto, f ( x ) cos(nx) sen( nx) (13)
4 n 1 n 2
n
Ntese que an , definido por (10), se reduce a a 0 , dado por (9), cuando hacemos n = 0. Sin
embargo, tal como el ltimo ejemplo lo muestra, es posible que despus de calculada la integral
para an , esto no se produzca.
El siguiente teorema da condiciones suficientes para la convergencia de una serie de Fourier a f(x).
TEOREMA 10.1
Sean f y f continuas a trozos en p < x < p, esto es, sean f y f continuas excepto en un
nmero finito de puntos en el intervalo en los cuales ellas tienen solamente discontinuidades finitas.
Entonces, en un punto de continuidad, la serie de Fourier de f en el intervalo converge a f(x). En un
punto de discontinuidad, la serie de Fourier converger al promedio:
f x f x
,
2
f ( 0 ) f ( 0 ) 0
.
2 2 2
Extensiones peridicas
Obsrvese que las funciones pertenecientes al conjunto bsico (1) tienen un perodo comn 2p.
Por lo tanto el miembro derecho de (2) es peridico. Concluimos que una serie de Fourier no
solamente representa a la funcin en el intervalo p < x < p, sino que tambin da una extensin
peridica de f fuera de este intervalo. Ahora podemos aplicar el teorema 10.1 a la extensin
peridica de f, o podemos suponer de partida que la funcin dada es peridica de perodo 2p (esto
es, f(x+2p) = f(x)). Cuando f es continua a trozos y las derivadas por la derecha y por la izquierda
existen en x = -p x = p, respectivamente, entonces la serie (8) converger al promedio [f(p-) + f(-
p+)]/2 en estos puntos extremos, y a este valor extendido peridicamente a 3p, 5p, 7p, etc.
EJEMPLO
La serie de Fourier (13) converge a la extensin peridica de (12) en todo el eje x. Los puntos,
dados en la figura 10.2 representan el valor:
f (0 ) f (0 )
2 2
f ( ) f ( )
0.
2
3
Esto es, si x es un punto en el intervalo y h<0,
Funciones pares y funciones impares El lector recuerda que una funcin f es par si f(-x) = f(x). Y
si f(-x9 = -f(x), entonces la funcin es impar.
EJEMPLO
Tal como se ilustra en las figuras 10.3 y 10.4, el grfico de una funcin para es simtrico con
respecto al eje y, y el grfico de una funcin impar es simtrico con respecto al origen.
EJEMPLO
Puesto que cos(-x) = cos x y sen (-x) = -sen x, el coseno es una funcin par y el
Si f es una funcin par en p < x < p, considerando las propiedades precedentes, se tiene que los
coeficientes (9), (109 y (11) se transforman en:
1 p 2 p
a0 f x dx f x dx
p p p 0
1 n 2 n
f x cos f x cos
p p
an
p
p p
xdx
p
0 p
xdx
PAR
1 n
f x sen
p
bn
p
p p
xdx 0
IMPAR
2 n
f x sen
p
an = 0, n = 0, 1, 2,, bn
p
0 p
xdx
La serie de Fourier de una funcin par en el intervalo p < x < p es la serie de cosenos:
a0
n
f ( x) an cos x , (14)
2 n 1 p
2 p
f x dx
p 0
Donde a0 (15)
2 n
f x cos
p
an
p 0 p
xdx.
(16)
La serie de Fourier de una funcin impar en el intervalo p < x < p es la serie de senos:
n
f ( x ) bn sen x , (17)
n 1 p
2 n
f x sen
p
Donde bn
p
0 p
xdx. (18)
EJEMPLO
Solucin: Desarrollamos f en una serie de senos, puesto que un examen de a figura 10.5 muestra
que la funcin es impar en el intervalo -2 < x < 2. Con la identificacin 2p = 4, o p = 2, podemos
escribir (18) como Para 0(x) = 1, obtenemos de (2)
2 n
bn
0
x sen
2
xdx.
4( 1) n1
bn .
n
4
(1) n 1 n
Por lo tanto, f ( x)
n 1 n
sen x ,
2
(20)
EJEMPLO
La funcin (19) del ejemplo precedente satisface las condiciones del teorema 10.1. Por lo tanto la
serie (20) converge a la funcin en -2 < x < 2 y a la extensin peridica (de perodo 4) dada en la
figura 10.6.
En la discusin precedente se consider que la funcin f estaba definida en un intervalo cuyo punto
medio era el origen, esto es, -p < x < p. Sin embargo, en muchos casos nos interesa representar,
mediante una serie trigonomtrica, una funcin que slo est definida en 0 < x < L. Esto puede
hacerse de muchas maneras diferentes dando una definicin arbitraria de la funcin para el
intervalo L < x < 0. Para ser breves, consideraremos los dos casos ms importantes, conocidos
como desarrollos en medio intervalo.
Si y = f(x) est definida en 0 < x < L,
O bien:
Ntese que los coeficientes de las series (149 y 817) slo usan la definicin de la funcin en 0 < x
< p (esto es, la mitad el intervalo p < x < p). Por lo tanto, en la prctica no hay necesidad real de
efectuar las reflexiones descritas en (i) y (ii); si f esta definida en 0 < x < L, simplemente
identificamos el semi-periodo p con la longitud L del intervalo. Las frmulas para los coeficientes y
las series producirn una extensin peridica par, o bien impar (del periodo 2L), de la funcin
original.
EJEMPLO
(a) Tenemos
2 L 2 2 2
a0
L 0
x dx L ,
3
E integrando por partes,
n
L
Lx 2 sen x
2 n 2 2L n
xdx
L L
L
an
L
0
x 2 cos
L
xdx
L n
n
0
xsen
L
0
n L
Lx cos x
4 L n 4 L2 ( 1) n
L xdx
L
an
n
n
n
0
cos
L n 2 2
.
0
Por consiguiente :
L2 4 L2
( 1) n n
f ( x)
3
2
n 1 n2
cos
L
x.
2 n
bn
L x 2 sen
L
xdx
bn
2 L2 ( 1) n1
n
4 L2
3 3 1 1 .
n
n
Por lo tanto,
1 n1
n
2 L2 2
f ( x)
n 1 n
3 3 (1) n 1 sen
n L
x.
Hacemos notar que las series en (a) y (b) del ejemplo precedente convergen a la extensin
peridica par y a la extensin peridica impar de f dadas en las figuras 10.8(a) y 10.8(b)
respectivamente.
10.2 Ecuaciones Diferenciales Parciales Separables
Cuando abordamos las Ecuaciones Diferenciales Parciales (EDP); nos referimos exclusivamente a
las que son separables, ya que esta teora es demasiada compleja y no se tratara en este libro; si
se quiere ampliar este tema ver : Introduction to Partial Differential Equations de Donald
Greenspan.
2u 2u 2u u u
A B C D E Fu G
x 2 xy y 2 x y
Donde los coeficientes A,B,C,D,E,F,G son funciones que estn en trminos de x y y; si adems se
cumple que G(x,y)=0 se dice que la EDP es homognea de lo contrario es no homognea.
2u 2u 2u 2u u
U xx U yy U yx U xy Ux
x 2 y 2 xy yx x
u
Uy
y
Observemos algunos ejemplos de EDO homogneas y no homogneas:
2u
Ux homognea
x 2
U xx 3U xy 2U yy U x 0 homognea
2u
k U y , k 0 homognea
x 2
2u 2u
a2 5 No homognea
x 2 y 2
U x X Y U y XY U xy X Y U xx X Y U yy XY
Al plantearse la EDP se aplica este remplazo y tratamos de agrupar trminos semejantes, de forma
tal, que se pueda generar una igualdad que garantice que en cada lado de la igualdad exista una sola
variable; una vez logrado esto, llegamos a un sistema de ecuaciones diferenciales ordinario,
independiente en cada lado de la igualdad.
Ejemplo.
2U 2U
Dada la siguiente EDP, U resolverla
x 2 y 2
Resolver
x
2 y a la vez
x
y y"
2
y
x 2 x 0
m 2 2 0 m 2 (1 2 ) 0
1 2 y 1 2 y
X ( x)Y ( y ) (c1ex c2e x )(c3e c4e );0 1
CLASIFICACION
Al trabajar con EDP lineales de orden 2, se presentan tres ecuaciones que son muy importantes
u 2u 2u 2u 2u 2u
k 2 (Calor), 2 a 2 2 ( Onda) , 2 a 2 2 (Laplace), que son ecuaciones
t x t x t x
que modelan algunos problemas de fenmenos fsicos; aplicando la transformada de Fourier a
cada una de ellas podemos ver formas conocidas y trabajadas en la geometra analtica, que son
parbola, hiprbola y elipse respectivamente, cualquier EDP lineal de orden 2 con coeficientes
constantes es muy similar a una de esta tres ecuaciones (va la transformada de Fourier)
La siguiente forma de clasificarlas es precisamente ver el parecido que tienen la forma general con
alguna de nuestras tres ecuaciones fundamentales (calor onda y Laplace)
Definiremos el discriminante d B 2 4 AC
Definicin: Una ecuacin Diferencial Parcial con coeficientes, lineal y de orden 2 se dice
parablica si d B 2 4 AC 0 .
Definicin: Una ecuacin Diferencial Parcial con coeficientes, lineal y de orden 2 se dice Elptica
si d B 2 4 AC 0 .
Hiperblica si B 2 4 AC 0
Parablica si B 2 4 AC 0
Elptica si
Parabolica ; k>0
Hiperbolica
Eliptica
TRANSFORMACIONES A FIN
U xx 3U xy 2U yy U x 0 1
Al separar sus variables
X ( x) X
U ( x, y ) X ( x )Y ( y ) Donde
Y ( y) Y
As U x X Y U xy X Y U xx X Y U yy XY
X Y 3 X Y 2 XY X Y 0
Aqu es fcil ver que no es posible separar las variables; ya que no se puede generar ningn tipo de
Considerar una transformacin afn, para esto primero clasificaremos la E.D.P 1 ,la cual tiene
A 1 B 3 C 2 as el discriminante es B 2 4 AC 17 0 es decir la ecuacin es
hiperblica y como A, B, C 0 usamos.
B
V X 2Y
A
B 2 4 AC
W X
A
Asi 1 3 2 17 1 2 2 0
Es decir
V 3 X 2Y
W 17 x
As despejando X , Y tenemos
w
X
17
17V 3W v 3
Y w
2 17 2 2 17
Con esta transformacin afn, buscamos llegar a las nuevas variables de la ecuacin de la onda, la
cual podemos escribir como:
3 17
U vv U ww Uv Uw 2
17 17
f (v ) f
U (v, w) f (v ) g (v ) As escribimos
g ( w) g
U v f g
U w fg
Reescribiendo
2 llegamos a
U ww fg
3 17
f g fg f g fg
17 17
en la cual es fcil ver, despus de manipular algebraicamente que las variables se pueden separar
3 17
f f g g
17 17
f g
3
f f
1 17 C
f
17
g g
2 17 C
g
Trabajamos la parte 1.
3
1 f f Cf 0
17
3
m2 mC 0
17
3 9
41 C
17 289 Lo cual nos lleva a tres casos
m
2
9 9
1. 4C 0 es decir C
289 4 289
As
3 3
m1 m2
4 4
3v 3v
Por lo tanto f v C1e 34
C2 e 34
Y as para 2
17 9
g g g 0
17 1156
Nuevamente con la ecuacin auxiliar llegamos a
26 17 26 17
m1 m2
34 34
Por tanto
26 17
26 17 w
w
g w d1e
34 34
d2e
Por lo tanto
86 17 26 17
3v 3v w
w
d 1 e
U v, w
34 34
C1 e 34
C 2 e 34
d 2e
26 17 26 17
3v
3 x 2 y 17 x 17 x
d 1e
3v
U x, y C 2 3 x 2 y 34
3 x 2 y 34 34
C1e
34
d 2e
9 9
4C 0 es decir C
289 1156
17
g g cg 0
17
La auxiliar
17
m2 g Cg 0
17
1
Consideremos solo 4C 0
17 1 17
4C
17 17
m
2
17
1
4C
17 1
4C
17 17 17 17
w w
2 2
g w
d1e
d 2e
Caso #1 PARABOLICO
Calor
Caso #2 ELIPTICA
Laplace
Caso #3 HIPERBOLICA
Onda
T T
kAB t kDC t
x x x x x
T T
ky t
x x x x x
T T
x
kyt x x x
x x
x
(14)
Por otra parte el calor acumulado entre las paredes BC y AD esta dado por
la expresin siguiente:
T T
y y y y y
kxt y (15)
y
El total del calor acumulado en el elemento es la suma de las cantidades
(14) y (15), es decir:_
T T T T
y
y
x x x x x y y y
kxyt
x y
(cxy ) T
T T T T
y
y
x x x x x y y y
kxyt
x y (17)
En donde el factor cxy es la capacidad calorfica del elemento y
C es la capacidad calorfica por unidad de superficie. De (17) se recibe
entonces que:
T T T T
T k x x x x x y y y y y
t
c x y (18)
Tomando a x, y y t como infinitsimos, la ecuacin (18) puede
escribirse as:
T 2T 2T k
2 2 2 2 (19)
t x y c
T 2T 2T 2T
2 2 2 2
t x y z
Una vez obtenida la ecuacin del calor se procede a su solucin analtica;
recordemos que lo primero que hacemos es comprobar, que realmente, es
una ecuacin parablica, tomando la forma general de una ecuacin
diferencial parcial de segundo orden lineal.
2u 2u 2u u u
A B C D E Fu G
x 2
xy y 2
x y
A su forma cannica
U (t , x) T ( x) X ( x) [2]
[3]
[5]
[6]
Y la EDO en la variable x
[7]
Y de forma anloga
Esto es
Obtenemos:
+
As
Como
Obtenemos
[9]
ahora,
X ( x ) A cos x Bsen x
necesitamos que
k 2
y as los valores que puede tomar son para cada k Z
l2
k 2 2
xk Bk sen 2 x (10)
l
T (t )
T (t )
ln T (t ) t
k 2 2
t
T (t ) e l2
k 2 2
t
Tk (t ) e l2 [11]
Combinando [2], [10] y [11] obtenemos una familia de soluciones para [1]
k 2 2
k
As U k (t , x) bk sen l2
t
x e
l
Ahora necesitamos ver quines son los coeficientes b k y ver que estos no
daen la convergencia de la serie [12].
Para ver quines son, usamos la condicin inicial es el problema [1]
k
U (0, x ) bk sen x [13]
1 l
Para la solucin numrica; tomaremos un ejercicio para que sea mas clara
la explicacin de este mtodo.
Recordemos el problema a solucionar:
Sea f ( x) x 2 2 x (18)
Recordemos que este es el problema de medir el calor en cada punto (T,X) de una
barra delgada de la longitud 2, as escogemos una particin en x y otra en t
(dependiendo de la exactitud que se requiera) por ejemplo haremos
t 0,4 y x 1 Esto crea un conjunto de puntos en el plano (veamos la
figura) los cuales demostraremos por:
u ij al punto de coordenadas
Donde;
(19)
Rescribiendo tenemos
(20)
Esta relacin (20) se tiene para los puntos interiores, para los puntos en las
fronteras se usan las condiciones inciales y las de las fronteras del problema
(17). As rescribiendo (20) para nuestro ejemplo obtenemos.
(21)
uc2( x ) c( x )
2
i tu = u
x
u =u = 0, t 0
u =
Donde c( ) y = =0
Las EDP en (1.77) y (1.110) son muy similares, pero con diferentes
propiedades; para obtener una solucin formal de (1.110) emplearemos el
mtodo de separacin de variables. Que en este caso nos lleva a:
u =X T
iX T = -X T
i =- =
i T` = T
=-i
=-i
T =c
As lleva a:
i T` =- T
T c2 ( ) c( )), t 0
-X = X de a que 0
u =X T = 0 entonces X =0
u =X T =0 entonces X =0
Ahora
- X = X entonces X + X =0
X =A X+B X
X =A=0
X =B l =k donde k Z+
As lo valores son:
Y las soluciones
Xk = Bk
Ahora como
T =c
Tenemos para estas
Tk =ck
uk =bk
u = (1.112)
u = =
Multiplicando por:
Tenemos:
dx = bk dx
bk= dx (1.94)
Adems (1.113) no es suficiente para asegurar que la serie puede ser derivada
termino a trmino.
ix 2 2
knx t ix 2 2 2
| bk sen
2 2 | 2
k b 2
x
k 1 k 1
As necesitamos que x
k 1
2
bk
kb
k 1
k
Consideremos el problema.
c2 o, 0, 0. 0,
t2 t , x c 2 2x t , x , t , x 0, 0,
t ,0 t , 0 t0
0, x x c 2 0,
t 0, x x c ' 0,
Ahora vamos X(x)T(t) que satisfacen las primeras tres condiciones de (1.114) es
fcil verificar que x es de nuevo determinada por (1.111).
Veamos
As
x '' ( x ) T '' (t )
2
x( x ) c T ( x)
As
x ( 0) 0 x (t , ) x ()T (t ) 0
x () 0
k 2 2
k
2
Y la eigen funciones
senkx
xk ( x ) B x
Ahora para
Tenemos
T (t ) A cos ct Bsn ct
kct kct
Tk (t ) A cos Bsen
Bk ck kx
t.u (0, x ) sen ( x)
k 1 l l
nx
Multiplicando por sen e integrando tenemos:
l
kx
l
l.2
Bk
ckl 0
( x) sen
l
dx
kx
l
2
Bk
ck 0
( x) sen
l
dx
Ecuacin (1.117)
ckt kx ckt kx
u (t , x ) Ak cos sen Bk sen sen
k 1 l l l l
1 ckt kx kx ckt 1 kx ckt kx ckt
u (t , x ) Ak sen sen Bk cos cos
k 1 2 l l 2 l l
ckt kx ckt kx
u (t , x ) Ak cos sen Bk sen sen
k 1 l l l l
k
u (t , x )
1
Ak sen x ct sen k x ct Bk cos k x ct cos k x ct
2 k 1 l l l l
x ct x ct Bk cos k x ct cos k x ct
1
u (t , x )
2 k 1 l l
Ecuacin (1.118)
Bk cos
k 1 l
B
k 1
k ( x)
As (1.118) queda:
x ct x ct Bk ( x ct ) Bk ( x ct )
1
u (t , x )
2 k 1 k 1
1
u (t , x ) x ct x ct ( x ct ) ( x ct )
2
x ct
1 1
u (t , x ) x ct x ct
2c x ct
( y )dy
2
Ecuacin (1.120)
u=0 en (1.57)
u / d g
v
origen, adems si tiene radio p>0 tomando el cambio de variable r p
_
Si ( x1 , x 2 ) , escribimos:
v ( r , ) u ( r cos , rsen ).
_
Ya que u c 2 () c () , tenemos que v c c ((1,1) x) c([0,1]x)
Definicin 1.70
Proposicin 1.71
a T T
a
f ( x ) dx
0
f ( x ) dx
d 2 v 1 d 2 v 1 dv
u (r cos , rsen )
dr 2 r r 2 r dr
Obtenemos:
v c 2 ([0,1] x) c ([0,1] x)
v ( r , 2 ) v ( r , )
( r , ) [0,1] x
d 2v dv d 2v
r2 ( r , ) r ( r , ) 0 (r , ) [0,1]x
dr 2 dr d 2
r 2 R 2 (r ) rR (r ) 2 ( )
R(r ) ( )
R c 2 ([0,1]) xc([0,1])
r 2 R 2 (r ) rR( r ) R ( r ) 0 (1.125)
c 2 ()
( 2 ) ( ) (1.126)
2 ( ) ( )
d
diferencial 2 con condiciones en la frontera peridicas.
d
Un argumento similar al empleado en la demostracin del lema 1.54 y el corolario
1.55 implica los siguientes resultados
Lema 1.72
COROLARIO
Proposicin 1.74
(1.127)
Demostracin:
(1.128)
Imponiendo las condiciones de frontera
(1.129)
(1.130)
Note que los eigen espacios asociados a los eigen valores son dos
(1.131)
Proposicin 1.75
(1.132)
Nota: no est hecha la del Iorio pg. 59 ya que no la entend para esta
utilice el ejercicio 38 pag. 176 Nayle cuarta edicin.
Consideremos
Usemos la sustitucin
As
( 11
As
Y as
Ya que
As queda probado.
Recordemos que
(I.I34)
Notemos que la serie converge para
(I.I35)
(1.136)
Teorema 1.76 Sea (r,) [0,1) x R y sean Cx dados por (1.136). Entonces
la serie en (1.134) converge
absoluta y uniformemente sobre cualquier disco cerrado {(r,): }
con .
[0,1) x R (1.137)
Demostracin
Ya que h es una funcin continua, tenemos:
Falta demostracin
Como ya que
Satisface
Veamos
Como en el problema del flujo del calor en una barra, podemos escribir la
solucin formal v en trminos de un operador integral.
(1.138)
Donde
Ncleo de Poisson
P(r, ) (1.139)
Demostracin:
V( r, ) =
Ahora veamos,
As tenemos,
Proposicin 1.78
en [0,1) |R (1.140)
BIBLIOGRAFIA