Вы находитесь на странице: 1из 20
FACULTAD DE INGENIERIAS Y ARQUITECTURA ´ ´ ESCUELA ACAD EMICO PROFESIONAL DE INGEN IERIA CIVIL

FACULTAD DE INGENIERIAS Y ARQUITECTURA

´

´

ESCUELA ACAD EMICO PROFESIONAL DE INGEN IERIA CIVIL

´

´

M ETODO DE SEPARACI ON DE VARIABLES:

´

C ALCULO VECTORIAL

DOCENTE:

´

JUAREZ PULACHE, JOS E CARLOS

ALUMNOS:

HUAMANI GALINDO, Henrry

JAULIS ESPINOZA, Vladimir, Edy

LOPEZ ZAGA, Armando

ACHAHUANCO FLORES, Fredy

´

AYACUCHO - PER U

2015

“TRABAJO SEMESTRAL”

´

Indice

´

Indice

1

1. Ecuaciones Diferenciales

2

2. Ecuaciones Diferenciales De Primer Orden, Separaci´on De Variables Se- parables

2

3. M´etodo de separaci´on de variables

 

3

3.1. Separaci on´ de variables

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

3.1.1. Introducci on´

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

3.1.2. El problema de la conducci on´ del calor en una varilla con temperatura cero en los extremos

3

3.1.3. El problema de la conducci on´ del calor en una varilla con

 

extremos aislados .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

9

3.1.4. Ecuaci on´ de Laplace en un disco

 

11

3.2. Series de Fourier

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

13

3.2.1. Introducci on´

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

13

3.2.2. Teorema de convergencia

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

14

3.2.3. Series de Fourier de senos y de cosenos

 

1 5

3.2.4. Otros resultados sobre series de Fourier

 

16

1

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

1. Ecuaciones Diferenciales

Una ecuaci on´ diferencial es una ecuaci on´ que relaciona la variable independiente con la variable dependiente y sus derivadas. Por ejemplo:

xy +

d 2 y

dx

2

+

dy

dx

= 0 mboxEc ,2 do . orden

El orden de la ecuaci on´ diferencial es el orden de la m´axima derivada. El orden

de las ecuaciones nos indica el n umero´

de constantes y constantes arbitrarias en

la soluci on.´ Por ejemplo, para la ecuaci on´ anterior:

y = C 1 y 1 + C 2 y 2

2. Ecuaciones Diferenciales De Primer Orden, Sepa- raci´on De Variables Separables

Dada la ecuaci on´ deferencial:

M(x , y)dx + N(x , y)dy = 0

Si la ecuaci on´ diferencial se puede colocar de la forma:

M(x)dxx + N(y)dy = 0

Es de variables separables, y a la soluci on´ est´a dada por la integral directa.

A continuaci on´ se muestran una serie de ejemplos. Antes de comenzar a anali-

zarlos se debe considerar que una constante (marcada con azul) al momento de ser multiplicada por un n umero´ cualquiera, su valor cambia , y por tanto se con-

vierte en una nueva constante. La constante indica que la ecuaci on´ pertenece a una familia de curvas, cuyo valor debe ser determinado dada las condiciones de

la misma ecuaci on,´ por lo pronto no se determinaran los valores de dichas cons-

tantes. Otra cosa que debe tomarse en cuenta es que, la expresi on´ final de una ecuaci on´ diferencial, puede representarse en varias form as, y por tanto, la expre- si on´ final ser´a aquella que sea m´as conveniente trabajar p ara nosotros.

2

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

3. M´etodo de separaci´on de variables

3.1. Separaci´on de variables

3.1.1. Introducci´on

Un operador lineal es una aplicaci on´ que satisface

L(k 1 v 1

+ k 2 v 2 )= k 1 L(v 1 )+ k 2 L(v 2 )

para todas ls funciones v 1 , v 2 y constantes k 1 , k 2 . Una ecuaci on´ lineal es u es una ecuaci on´ de la forma

L(u) = f ,

(1)

donde L es un poerador lineal y f es conocida. si f = 0, entonces (1) se transforma en L(u) = 0, que se denomina ecuaci on´ lineal homog´enea.

3.1.2. El problema de la conducci´on del calor en una varilla con temperatura cero en los extremos

El m´etodo de separaci on´ de variables permite tratar ecuaciones en derivadas par- ciales lineales ho mog´eneas, cuyas condiciones iniciales y de contorno sean linea- les. Vamos a ilustrar dicho m´etodo mediante un ejemplo. Con sideremos la ecua- ci on´ del calor en una varilla unidimensional 0 x L , 0 0 con todos los coeficientes constantes y datos de contorno cero, es decir, l a ecuaci on´ en deriva- das parciales

u

t

con la condici on´ inicial

=

k 2 u ,

x 2

0 < x < L

T > 0

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

0 < x < L ,

y con las condiciones de contorno nulas

3

(2)

(3)

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

u( 0, t) = 0 u(L , t) = 0,

t > 0.

(4)

El m´etodo de separaci on´ de variales consiste en buscar sol uciones que sean de la forma

u(x , t) = ϕ(x)T(t) ,

(5)

donde ϕ(x) donde ϕ(x) es una funci on´ que depende solo´ de x y T(t) es una fun- ci on´ que depende solo´ de t . La funci on´ definida en (5) debe cumplir la ecuaci on´ en derivadas parciales lineal homog´enea (2) y las condiciones de contorno ho- mog´eneas (4). No impondremos de momento la condici on´ inicial (3) a u(x , t) = ϕ(x)T(t) . Sustituyendo esta u(x , t) = ϕ(x)T(t) en la ecuaci on´ (2) se obtiene:

ϕ(x) dT dt

=

k d 2 ϕ T(t)

dx

2

(6)

Si dividimos los dos miembros de (6) por k (x)T(t) , obtenemos:

1

dT

kT dt

= 1

d 2 ϕ ϕ dx 2

Podemos ver que las variables est´an separadas en el sentido de que el lado iz- quierdo es una funci on´ que depende solo´ de t y el lado derech o es una funci on´ que depende solo´ de x. Por tanto, ambos lados de la formula´ d eben ser constantes, y escribiremos:

1

dT

kT dt

= 1

d 2 ϕ ϕ dx 2

= λ

(7)

donde λ es una constante arbitraria. Por supuesto, podr´ıamos habe r elegido es- cribir λ en lugar de λ , pero as´ı quedar´an los c´alculos m´as “bonitos”

La ecuaci on´ (2.7) se desglosa en dos ecuaciones diferencia les ordinarias, una para ϕ(x) y la otra para T(t):

d 2 ϕ

dx 2

= λϕ

4

(8)

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

dT

dt

= λkT .

(9)

Tengamos presente que λ es una constante y que es la misma en las dos ecuacio- nes (8) y (9). Como las soluciones u(x , t) = ϕ(x)T(t) deben cumplir tambi´en las dos condiciones de contorno homog´eneas, de u( 0, t) = 0 deducimos que ϕ( 0 )T(t) = 0. Si T(t) es id´enticamente cero para todo t , llegaremos a la soluci on´ trivial u(x , t) 0 que no nos interesa; por tanto, tendremos que pedir:

ϕ( 0 ) = 0

(10)

La otra condici on´ de contorno u(L , t) = 0, permite obtener de forma similar:

ϕ(L) = 0

(11)

La funci on´ ϕ(x) debe cumplir la ecuaci on´ diferencial ordinaria (8) y las condicio- nes de contorno (10) y (11). La funci on´ T(t) debe cumplir la e cuaci on´ diferencial ordinaria (9).

La ecuaci on´ diferencial ordinaria (EDO) de T(t) , dependiente del tiempo t , es:

cuya soluci on´ es:

dT

dt

=

ϕkT

T(t) = ce ϕkt ,

(12)

donde c es una constante arbitraria.

La funci on´ ϕ(x) , dependiente de la variable espacial x , satisface lo que se deno- mina un problema de contorno, es decir, una EDO de segundo ord en con dos condiciones de contorno:

d 2 ϕ

   dx 2          
 dx 2
 

= λ ,

ϕ = 0,

ϕ(L) = 0.

5

(13)

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

Veremos ahora que no existen soluciones no triviales (no id´enticamente cero) de (13) para todos los valores de λ , sino que solo´ hay algunos valores de λ , llamados autovalores , para los que existen soluciones no triviales. Esta soluci on´ no trivial ϕ(x) , que existe solamente para algunos valores de λ , se llama autofunci on´ co- rrespondiente al autovalor λ .

Intentemos determinar los autovalores λ . Para ello procedemos a resolver (13). Como la EDO de segundo orden es lineal, homog´enea y con coeficientes constan- tes, consideramos su polinomio caracter´ıstico r 2 = λ . Distinguimos ahora tres casos diferentes (en funci on´ de los valores de λ ):

1. Si λ < 0 entonces las dos ra´ıces son reales y distintas r = ± λ .

2. λ = 0, entonces r = 0, en una ra´ız doble.

3. λ > 0 entonces existen dos ra´ıces imaginaria puras r = ± λ .

En el caso (1) las soluciones son de la forma

ϕ(x)= c 1 e λx + c 2 e λx ,

donde c 1 , c 2 son constantes arbitrarias.

En el caso (2) las soluciones son de la forma

ϕ(x) = c 1 sen( λx)+ c 2 cos( λx) ,

donde c 1 , c 2 son constantes arbitrarias.

˜

es f A¡cil comprobar que, en los casos (1) y (2), las condiciones d e contorno (10) y (11) implican c 1 = 0 y c 2 = 0, por lo que solo´ se obtiene la soluci on´ trivial ϕ(x) 0. Por tanto, no existen autovalores λ 0.

Tratemos ahora el caso (3): si λ > 0, entonces como ya hemos visto ϕ(x) = c 1 sen( λ)x + c 2 cos( λx) . La condici on´ de contorno ϕ( 0 ) = 0 implica que c 2 = 0. La otra condici on´ de contorno ϕ(L) = 0 implica que

0 = c 1 sen( λL) .

Esta igualdad se verifica si c 1 = 0 o´ bien si sen( λL) = 0. Si c 1 = 0, entonces ϕ(x) 0 ya que tambi´en tenemos c 2 = 0, y obtenemos la soluci on´ trivial, que no nos interesa. Por tanto, los autovalores deben cumplir

6

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

sen( λL)= 0

Es decir, λ L debe ser un cero de la funci on´ seno y, por tanto, λ = n π , donde n es un entero positivo ya que λ > 0. Los autovalores λ son, por tanto,

λ =( nπ ) 2 ,

L

n = 1, 2, 3,

la autofunci on´ correspondiente al autovalor λ = λ n =(nπ / L) 2 es

ϕ(x)=

c 1 sen λ n x = c 1 sen nπx L

,

donde c 1 es una constante arbitraria.

Por tanto, hemos conseguido soluciones en forma de producto u(x , t) = ϕ(x)T(t) para la ecuaci on´ del calor u / t = k2 u / x 2 , y las condiciones de contorno u( 0, t) = 0 y u(L , t) = 0, con T(t) = ce λkt y ϕ(x) = c 1 sen λx , siendo λ = (nπ / L) 2 y n un entero positivo. Por tanto, para cada n las soluciones obtenidas de la ecuaci on´ del calor son

u(x , t) = Csen nπx e k(nπ / L 2 )t ,

L

n = 1, 2,

donde C es una constante arbitraria ( C = cc 1 ). Por el principio de superposici on´ (es decir, la suma de soluciones de una ecuaci on´ lineal homog´enea tambi´en es soluci on´ de dicha ecuaci on),´ sabemos que

u(x , t) =

M

n= 1

C n sen nπx

L

e k(nπ / L) 2 t

resuelve la ecuaci on´ del calor con condiciones de contorno cero para cualesquiera

n umeros´

reales C-n y cualquier entero positivo M. De hecho, si la serie

u(x , t) =

C n sen nπx

n= 1

L

e k(nπ / L) 2 t

converge apropiadamente , tambi´en ser´a soluci on´ de la ecuaci on´ del calor con con- diciones de contorno cero.

7

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

Ocup´emonos ahora de la condici on´ inicial. Fourier afirm o´ que cualquier condi- ci on´ inicial f (x) puede escribirse como una combinaci on´ lineal infinita de funcio- nes sen nπx / L , lo que se conoce como serie de Fourier :

f (x) =

B n sen nπx

n= 1

L

(14)

Si ahora imponemos la condici on´ inicial u(x , 0 ) = f (x) , se obtiene

n= 1

B n sen nπx

L

=

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

n= 1

C n sen nπx L

,

por lo que se verificar´a la condici on´ inicial si y solo´

B n son los coeficientes de Fourier de f (x ). Por tanto, para resolver nuestro proble-

ma solo´ necesitamos saber como´ funci on.´

Usando el siguiente hecho, que se obtiene por integraci on´ e lemental:

calcular los coeficientes d e Fourier de cualquier

si C n = B n para todo n , donde

0

L

sen nπx sen mπx

L

L

dx = 0 L /2

m = n

m = n ,

(15)

donde m y n son enteros positivos, podemos calcular los coeficientes B n . Fijado

un n umero´ para obtener:

natural m , basta multiplicar los dos lados de ( 2,14 ) por sen mπx / L

f (x) sen mπx L

=

n= 1

B n sen nπx sen mπx

L

L

(16)

Si integramos ( 2,16 ) en el intervalo [ 0, L] y suponemos que podemos cambiar el orden en la integral y la sumacon,´ deducimos:

0

L

sen mπx dx = B n

L

0

L

Usando ahora (2.15), deducimos:

sen nπx sen mπx dx

L

L

0

L

f (x) sen mπx dx = B m

L

0

L

sen 2 mπx dx

L

8

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

Finalmente, despejando B m :

B m =

L

0

f (x) sen mπx dx

L

L

0

sen 2 mπx dx

L

Por tanto, recapitulando todo lo que hemos hecho, la soluci on´ de nuestro proble- ma de conducci on´ del calor es:

con

u(x , t) =

n= 1

B n sen nπx

L

e k(nπ / L) 2 t

B n =

2

L

0

L

f (x) sen nπx dx .

L

Dado que (u , v) = u(x)v(x)dx define un producto escalar en el espacio de funciones de cuadrado integrable, decimos que las funcione s u(x) y v(x) son or- togonales en [a , b] si u(x)v(x)dx = 0. Un conjunto de funciones { ϕ(x) } n se denomina conjunto ortogonal de funciones si ϕ m (x) es ortogonal a ϕ n (x) para

todo m = n . Por tanto, ( 2,15 ) nos dice que { sen nπx / L }

A las formulas´ (2.15) se las conoce como relaciones de ortogonalidad.

es ortogonal en [ 0, L] .

b

a

b

a

n

3.1.3. El problema de la conducci´on del calor en una varilla con extremos ais- lados

Consideremos la ecuaci on´ del calor en una varilla unidimen sional 0 x L , t 0con extremos aislados, es decir, la ecuaci on´ en derivadas parciales

cons la condici o´ inicial

u

t =

k 2 u

x 2

0 < x < L

t > 0

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

0 < x < L ,

y con las condiciones de contorno nulas

9

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

u x ( 0, t) = 0

u x (L , t) = 0,

t > 0

Siguiendo un razonamiento similar al del caso anterior, buscamos soluciones de la forma u(x , t) = ϕ(x)T(t) . Todos los c´alculos son iguales, salvo que las dos condiciones de contorno homog´eneas ahora implican ϕ ( 0 ) = 0, ϕ (L) = 0. Por tanto, ϕ(x) satisface el problema de contorno:

  ϕ = λ ϕ ,


ϕ = 0,

ϕ (L) .

Los c´alculos permiten probar que los autovalores son tambien:´

λ =( nπ ) 2 ,

L

n = 1, 2, 3,

pero las autofunciones correspondientes son cosenos en vez de senos:

Por tanto, si

entonces

ϕ(x)= c 1 cos nπx ,

L

n = 1, 2, 3,

f (x) = A 0 +

A n cos nπx L

n= 1

,

u(x , t) = A 0 +

A n cos nπx

n= 1

L

e (nπ / L) 2 kt

Para hallar los coeficientes A n en este caso, debemos usar las formulas:´

10

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

0

L

cos nπx cos mπx dx =

L

L

  0

n = m

n = m = 0

n = m = 0

para n y m enteros no negativos. Si n=0 o´ m = 0, estamos conside rando la auto- funci on´ ϕ 0 (x) = 1.

Usando estas relaciones de ortogonalidad, pueden obtenerse los valores de A n :

para n 1

A 0 =

1

L

0

L

f (x)dx ,

A n =

2

L

0

L

f (x)cos nπx dx ,

L

3.1.4. Ecuaci´on de Laplace en un disco

Queremos resolver la ecuaci on´ de Laplace

δu = x 2 u 2

+

2 u y 2

=

0

en el disco de centro (0,0) y radio a . Como el dominio presenta una simetr´ıa cir- cular, es razonable plantear el problema en coordenadas pol ares:

δu = x 2 u 2

+

2 u y 2

δu = 1

r

r (r u

r

)+

1 2 u r 2 ∂θ 2

= 0,

=

0

u(a , θ) = f (θ) .

Conviene darse cuenta de que tenemos condiciones impl´ıcitas en el problema; est´a la condici on´ de acotaci on:´

| u( 0, θ) | < ,

11

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

y las condiciones de periodicidad propias de las coordenada s polares:

u(r , π) = u(r , π) ,

u (r , π) = u (r , π) .

∂θ

∂θ

Si buscamos soluciones de la EDP (y de las condiciones impl´ı citas) en forma de producto u(r , θ) = ϕ(θ)R(r) , el problema que obtenemos para la funci on´ angular es:

ϕ = λϕ ,

Los autovalores son:

( π) = ϕ(π) ,

λ = n 2 ,

ϕ ( π) = ϕ (π) .

y las correspondientes autofunciones:

sen nθ

y

cos nθ .

En el caso n = 0 obtenemos la autofunci on´ 1. El problema radial es la ecuaci on´ de Euler:

r 2 R + rR n 2 R = 0,

con la condici on´ de acotaci on´ | R( 0 ) | < . Los c´alculos muestran que la soluci on´ es:

R(r) = c 1 r n

n 0,

que es una constante arbitraria cuando n = 0. Por tanto, la soluci on´ de la ecuaci on´ de Laplace en un c´ırculo es:

u(x , θ) =

f (θ) =

n= 1

A n r n cosnθ +

A n a n cosnθ +

B n r n sen nθ ,

B n a n sen nθ .

n= 0

n= 0

n= 1

12

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

Usando las relaciones de ortogonalidad (para n y m enteros no negativos):

L

L

cos nπx cos mπx dx =

L

L

  0

 

n = m

L n = m = 0

2 L

n = m = 0

L

L

sen nπx sen mπx

L

L

dx = 0

L

n = m n = m = 0

L

L

sen nπx cos mπx dx = 0,

L

L

y tomando L = π , se sigue que:

A 0 =

2 π π f (θ) dθ

1

π

(ngeq 1 )

B n =

A n =

πa n π f (θ)cos nθ dθ ,

1

π

πa n π f (θ)sen nθ dθ ,

1

π

3.2. Series de Fourier

3.2.1.

Introducci´on

Si tenemos una funci on´ f (x) en el intervalo [ L , L] , su serie de Fourier es:

f (x) = a 0 +

n= 1

a n cos nπx

L +

n= 1

b n cos nπx

L

donde los coeficientes de Fourier se definen por medio de las formulas:´

a 0 =

2 L L f (x)dx ,

1

L

13

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

a n =

b n =

1

L

1

L

L

L

L

L

f (x)cos nπx dx ,

L

f (x)sen nπx dx .

L

Ahora nos plantearemos un problema crucial: la convergenci a de la serie. Se dice que una funci on´ f (x) es C 1 a trozos en [-L,L] si el intervalo se puede dividir en subintervalos, tales que en cada uno de ellos la funci on´ f (x) y su derivada f (x) sean continuas en el siguiente sentido: f (x) y f (x) son continuas en cada subin- tervalo abierto, y existen sus correspondientes l´ımites l aterales en los extremos de los subintervalos; es decir, en los extremos de los interval os tanto f (x) como f (x) pueden presentar discontinuidades de salto. Decimos que f (x) tiene una discon- tinuidad de salto en el punto x = a , si existen tanto el l´ımite por la izquierda l´ım t a f (x) = f (a ) como el l´ımite por la derecha l´ım t a + f (x) = f (a + ) , y son distintos. La serie de Fourier de f (x) en [-L,L] es 2L-peri odica´ (es decir, peri odica´ de periodo 2L), pero como f (x ) no es necesariamente peri odica,´ para estudiar la convergencia de la serie es necesario considerar la extensi on´ peri odica´ de f (x) .

3.2.2. Teorema de convergencia

En principio, una funci on´ f(x) puede ser diferente de su serie de Fourier en el intervalo [-L,L], con los coeficientes definidos por (2.17), ya que la serie puede no converger y si converge, puede que no converja a f(x). Por tanto, usaremos la notaci on´

f (x)

n= 1

a n sen nπx

L +

n= 1

b n sen nπx L

,

donde el s´ımbolo significa que la serie es la serie de Fourier de f(x), aunque la serie diverja o converja en algun´ punto x a un valor que no sea f(x).

Teorema de convergencia de las series de Fourier. Si f(x) es C 1 a trozos en el [-L,L], entonces la serie de Fourier de f(x) converge

la extensi on´ peri odica´ de f(x), en aquellos puntos x para los que la exten- x para los que la exten-

a

si

on´ peri odica´ de f sea continua,

la media de los dos l´ımites lateralesx para los que la exten- a si on´ peri odica´ de f sea continua, a

a

1

2 ( f (x+) + f (x ) ,

14

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

en aquellos puntos x para los que la extensi on´ peri odica´ nuidad de salto.

de f tenga una disconti-

3.2.3. Series de Fourier de senos y de cosenos

Consideremos ahora las series que solo´ contienen senos y la s que solo´ contienen cosenos, que son casos especiales de series de Fourier.

Series de Fourier de senos

Una funci on´ f (x ) es impar si f ( x) = f (x) . Los coeficientes de Fourier de una funci on´ impar verifican a n = 0 para todo n 0, dado que el integrando f (x)cos nπx / L que aparece en la definici on´ de dichos coeficientes es una fun ci on´ impar. Por tanto, las funciones coseno no aparecen en la seri e de Fourier de una funci on´ impar. La serie de Fourier de una funci on´ impar es una serie de senos (que son funciones impares):

f (x)

b n sen nπx L

n= 1

,

donde los coeficientes verifican:

b n =

1

L

L

L

f (x)sen nπx dx =

L

2

L

0

L

f (x)sen nπx dx .

L

Si f(x) est´a definida en el intervalo [0,L], como suced´ıa al estudiar la propagaci on´ del calor en una varilla con temperatura cero en los extremos, podemos definir su extensi on´ impar peri odica´ como la funci on´ 2L-peri od´ ica que vale f (x ) si x [ 0, L] , y que vale f (x) = f ( x) si x ( L , 0 ) . Entonces, est´a claro que la serie de Fourier de senos de f (x) en [0,L] que hall´abamos en el cap´ıtulo anterior es igual a la serie de Fourier de la extensi on´ impar de f(x) en [-L,L].

Series de Fourier de cosenos

Una funci on´ f (x) es par si f ( x) = f (x) . Los coeficientes de Fourier de una fun- ci on´ par verifican b n = 0 para todo n 1, dado que el integrando f (x)sen nπx / L que aparece en la definici on´ de dichos coeficientes es una fun ci on´ impar. Por tan- to, las funciones seno no aparecen en la serie de Fourier de una funci on´ par. La serie de Fourier de una funci on´ par es una serie de cosenos (q ue son funciones pares):

15

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

f (x) a 0 +

a n cos nπx

n= 1

L

donde los coeficientes verifican:

a 0 =

a 0 =

2 L L f (x)dx =

1

L

1

L

L

L

f (x)cos nπx dx =

L

1

L

0

L

f (x)dx

2

L

0

L

f (x)cos nπx dx

L

Si f (x) est´a definida en el intervalo [0,L] como suced´ıa al estudia r la propagaci on´ del calor en una varilla con extremos aislados, podemos defin ir su extensi on´ par peri odica´ como la funci on´ 2L-peri odica´ que vale f (x ) si x [ 0, L] , y que vale

f (x) = f ( x) si x ( L , 0 ) . Entonces, est´a claro que la serie

cosenos de f (x) en [0,L] que hall´abamos en el cap´ıtulo anterior es igual a l a serie

de Fourier de la extensi on´ par de f (x) en [-L,L].

Continuidad de las series de Fourier

Como consecuencia de todo lo anterior se tienen los tres siguientes resultados.

de Fourier de

Teorema de continuidad de las series de Fourier. Si f (x) es C 1 a trozos en [-L,L], entonces la serie de Fourier de f (x) es continua si y solo´ si f (x) es continua en [-L,L] y f ( L) = F(L) .

Teorema de continuidad de las series de cosenos. Si f (x) es C 1 a trozos en [0,L], entonces la serie de Fourier de cosenos de f (x) es continua si y solo´ si f (x) es continua en [0,L].

Teorema de continuidad de las series de senos. Si f (x) es C 1 a trozos en [0,L], en-

tonces la serie de Fourier de senos de f (x) es continua si y solo´ si f (x) es continua

en [0,L], f ( 0 ) = 0 y f (L) = 0.

3.2.4. Otros resultados sobre series de Fourier

Al considerar series de Fourier para resolver EDP, son necesarios algunos resul- tados que se incluyen a continuaci on.´

Proposici´on.

16

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

Si la serie de Fourier de f ( x ) es continua y f ′ ( x ) es C 1 f (x) es continua y f (x) es C 1 a trozos, entonces la serie de Fourier de f (x) se puede derivar t´ermino a t´ermino, y la serie obtenida es la serie de Fourier de f (x) (que converge a f (x) en los puntos de continuidad de f (x) ).

Si f ( x ) es continua en [0,L] y f ′ ( x ) es f (x) es continua en [0,L] y f (x) es C 1 a trozos en [0,L], entonces la serie de Fourier de cosenos de f (x) se puede derivar t´ermino a t´ermino, y la serie obtenida es la serie de Fourier de senos de f (x) (que converge a f (x) en los puntos de continuidad de f (x) ).

Si f ( x ) es continua en [0,L] y f ′ ( x ) es f (x) es continua en [0,L] y f (x) es C 1 a trozos en [0,L], entonces se puede derivar t´ermino a t´ermino la serie de Fourier de senos de f (x) si y solo´ si f ( 0 ) = f (L) = 0. En el caso de que se pueda derivar t´ermino a t´ermino, la serie obtenida es la serie de Fourier de cosenos de f (x) (que converge a f (x) en los puntos de continuidad de f (x) ).

En general, para el tercer caso de la proposici on´ anterior p uede probarse que:

Si f (x) es continua en [0,L] y f (x) es C 1 a trozos, entonces la serie de Fourier de senos de f (x) :

f (x)

B n sen nπx L

n= 1

,

no se puede derivar t´ermino a t´ermino en general, pero se ti ene

1

f (x) L (F(L) F( 0 )) +

n= 1

( nπx

L

B n +

2

L (( 1 ) n f (L) f ( 0 )))cos nπx L

,

que, como puede verse directamente, coincide con la derivad a t´ermino a t´ermino de la serie de Fourier de senos de f (x) si y solo´ si f ( 0 ) = f (L) = 0.

Proposici´on. Si u(x , t) es una funci on´ continua en [ L , L]x[ L , > y adem´as u

t

es C 1 a trozos como funci on´ de x [ L , L] para cada t [ 0, > , entonces su serie de Fourier

u(x , t) = a 0 (t)+

a n (t)cos nπx

n= 1

L +

b n (t)sen nπx L

n= 1

,

se puede derivar t´ermino a t´ermino con respecto al par´ame tro t, obteniendo

17

´ E.A.P. INGENIER IA CIVIL 2015

´

E.A.P. INGENIER IA CIVIL

2015

u

t

(x , t) a

0 (t)+

n= 1

a n (t)cos nπx L

+

b n (t)sen nπx

n= 1

L

Proposici´on. Si f (x) es C 1 a trozos, entonces sus tres series de Fourier se pueden integrar t´ermino a t´ermino, y el resultado es una serie que converge para todo x [ L , L] a la integral de f (x