En esta sección vamos a tratar de expresar una función f : R R periódica como suma de una cierta serie.

Documentos relacionados
Apéndice sobre ecuaciones diferenciales lineales

CONCEPTOS BASICOS DE LA TRANSFORMADA DE LAPLACE LA TRANSFORMADA DE LAPLACE

Fundamentos matemáticos. Tema 8 Ecuaciones diferenciales

Ecuaciones Diferenciales Ordinarias

Transformada de Laplace

Funciones de Clase C 1

CAPITULO 7.SERIES DE FOURIER Sistemas de funciones ortogonales

2 Métodos de solución de ED de primer orden

Operador Diferencial y Ecuaciones Diferenciales

Algebra lineal y conjuntos convexos

MATEMÁTICAS APLICADAS A LAS C.C. SOCIALES

T0. TRANSFORMADAS DE LAPLACE

Tema 6: Ecuaciones diferenciales lineales.

1 Ecuaciones diferenciales

Unidad 3: Razones trigonométricas.

Modelos Estocásticos I Tercer Examen Parcial Respuestas

Teoremas de Convergencia

Unidad II. Si una función f(x) tiene primitiva, tiene infinitas primitivas, diferenciándose todas ellas en unaconstante.

Teoremas de convergencia y derivación bajo el signo integral

Series de Fourier Trigonométricas

Sistem as de ecuaciones lineales

RESOLUCIÓN DE SISTEMAS MEDIANTE DETERMINANTES

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

CÁLCULO II. Grado M+I. Sucesiones y series de funciones. Sucesiones y series de funciones 1 / 27. Grado M+I () CÁLCULO II

DERIVACIÓN DE LAS FUNCIONES ELEMENTALES

Sistemas de Ecuaciones Lineales y Matrices

May 4, 2012 CAPÍTULO 5: OPTIMIZACIÓN

Cálculo I (Grado en Ingeniería Informática) Problemas adicionales resueltos

1. Construcción de la Integral

Problema 1. Calcula las derivadas parciales de las siguientes funciones: (d) f(x, y) = arctan x + y. (e) f(x, y) = cos(3x) sin(3y),

Algunas Aplicaciones de la Transformada de Laplace

1. ECUACIONES DIFERENCIALES ORDINARIAS

VARIABLE COMPLEJA Y ANÁLISIS FUNCIONAL

Anexo C. Introducción a las series de potencias. Series de potencias

Fabio Prieto Ingreso 2003

RESOLUCIÓN DE SISTEMAS MEDIANTE DETERMINANTES

Transformada de Laplace: Aplicación a vibraciones mecánicas

Espacios vectoriales reales.

Matemáticas de 2º de bachillerato página 1 Integral indefinida. Integral indefinida

Transformada de Laplace - Conceptos Básicos. e -st f(t)dt. L { f (t) } = F(s) =

Semana03[1/17] Funciones. 16 de marzo de Funciones

Modelización por medio de sistemas

Soluciones de la ecuación diferencial lineal homogénea

1 Método de la bisección. 1.1 Teorema de Bolzano Teorema 1.1 (Bolzano) Contenido

Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad

Derivadas 6 ACTIVIDADES. 1. Página 140. Función f(x) x 2 1: Función g(x) x 3 7: 2. Página Página Página

Espacios topológicos. 3.1 Espacio topológico

Métodos Matemáticos 2 Ecuaciones Diferenciales de Orden Superior

VELOCIDAD Y ACELERACION. RECTA TANGENTE.

UNIDAD 2: LÍMITES DE FUNCIONES.CONTINUIDAD = 3 2

NÚMEROS COMPLEJOS: C

Funciones reales de variable real

Análisis Dinámico: Ecuaciones diferenciales

Teorema del valor medio

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros

ECUACIONES.

Conjunto R 3 y operaciones lineales en R 3

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Lección 4. Ecuaciones diferenciales. 1. Ecuaciones diferenciales de primer orden. Trayectorias ortogonales.

Tema 1: MATRICES. OPERACIONES CON MATRICES

Convergencia y existencia de la serie de Fourier

Continuidad. 5.1 Continuidad en un punto

Ecuaciones Diferenciales Ordinarias de Orden Superior al primero

Introducción a la Teoría Analítica de Números

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}

Problemas métricos. 1. Problemas afines y problemas métricos

Funciones integrables en R n

Tema 2.- Formas Cuadráticas.

Ecuaciones diferenciales homogéneas y no homogéneas lineales a coeficientes constantes. Búsqueda de la solución particular.

Integrales múltiples

Evidentemente, la superficie es un triángulo rectángulo de base 1 y altura también la unidad, por tanto su área es 1/2.

Dos matrices son iguales cuando tienen la misma dimensión y los elementos que ocupan el mismo lugar en ambas son iguales

Tema 3: Sistemas de ecuaciones lineales

TEMA 5. FUNCIONES DERIVABLES. TEOREMA DE TAYLOR

Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes

Esta expresión polinómica puede expresarse como una expresión matricial de la forma; a 11 a 12 a 1n x 1 x 2 q(x 1, x 2,, x n ) = (x 1, x 2,, x n )

ECUACIONES DIFERENCIALES ORDINARIAS LINEALES DE SEGUNDO ORDEN

7 Ecuación diferencial ordinaria de orden n con coecientes constantes

TRANSFORMADA DE LAPLACE. Definición: Transformada de Laplace. Sea f(t) una función definida para t 0; a la expresión

2. El conjunto de los números complejos

TEMA 1. MATRICES, DETERMINANTES Y APLICACIÓN DE LOS DETERMINANTES. CONCEPTO DE MATRIZ. LA MATRIZ COMO EXPRESIÓN DE TABLAS Y GRAFOS.

sobre un intervalo si para todo de se tiene que. Teorema 1 Sean y dos primitivas de la función en. Entonces,

Figura 1. Círculo unidad. Definición. 1. Llamamos número π (pi) al valor de la integral

Apuntes de dibujo de curvas

FUNCIONES REALES 1º DE BACHILLERATO CURSO

x = t 3 (x t) 2 + x t. (1)

MÉTODO DE VARIACIÓN DE PARÁMETROS

Ejercicios Resueltos de Cálculo III.

Límites y continuidad de funciones reales de variable real

Notas sobre el teorema minimax

Una norma en un espacio lineal (o vectorial) X es una función. : X R con las siguientes propiedades: (a) x 0, para todo x X (no negatividad);

(a, 0) + (b, 0) = (a + b, 0), (a, 0) (b, 0) = (ab, 0),

7. Difracción n de la luz

La cuerda vibrante. inicialmente se encuentra sobre el eje de abscisas x la posición de un punto de la cuerda viene descrita por su posición vertical

Lección 2: Funciones vectoriales: límite y. continuidad. Diferenciabilidad de campos

INTEGRACIÓN NUMÉRICA

1. Teorema Fundamental del Cálculo

de la forma ), i =1,..., m, j =1,..., n, o simplemente por (a i j ).

Transcripción:

Capítulo 8 Series de Fourier 8.. Desarrollo en serie de Fourier En esta sección vamos a tratar de expresar una función f : R R periódica como suma de una cierta serie. Recordemos que una función f : R R es periódica si existe T R tal que f(t+mt ) = f(t), m Z, t R Llamaremos periodo (también se llama periodo fundamental) al menor valor T > que verifica la relación anterior. Para dar una medida del número de repeticiones por unidad de t se define la frecuencia de una función periódica como. También es habitual usar el concepto frecuencia circular T ω = π T. Ejemplo 8. Las funciones sen(t) y cos(t) son periódicas y de periodo π. Su frecuencia es y su frecuencia circular es. π Ejemplo 8. La función A sen(λt + φ) es periódica de periodo π/λ. Las funciones de la forma A sen(λt + φ) se llaman funciones con comportamiento armónico donde A es la amplitud y φ la fase. Una función periódica con periodo T con comportamiento no armónico y que satisface ciertas condiciones que se estudiarán, puede escribirse como la suma de funciones armónicas de diferentes amplitudes, fases y periodos, esto es: f(t) = A + A sen(ωt + φ ) + A sen(ωt + φ ) + + A n sen(nωt + φ n ) + (8.) 56

57 Donde A k y φ k son constantes y ω es la frecuencia circular de f. Al término A n sen(nωt + φ n ) le llamaremos componente n ésima armónica de f, o simplemente n ésima armónica de f, a A n amplitud de la n ésima armónica y a φ n su ángulo fase. Como A n sen(nωt + φ n ) = A n cos φ }{{ n sen(nωt) + A } n sen φ n cos(nωt), }{{} b n a n el desarrollo 8. de f puede escribirse como: f(t) = A + (a n cos(nωt) + b n sen(nωt)) (8.) [ Debido a la periodicidad de la función y de la serie será suficiente trabajar en el intervalo T, T ], aunque podríamos elegir cualquier intervalo de longitud T Lo primero que debemos plantearnos es cómo [ elegir los coeficientes. Para ello multiplicamos por cos (mωt) e integramos en el intervalo T, T ], suponiendo que en efecto se cumple la igualdad, que las integrales obtenidas existen y que puede permutarse el sumatorio con la integral se obtiene: T/ T/ f(t) cos (mωt) dt = A cos (mωt) dt+ ( T/ T/ ) T/ + a n cos (nωt) cos (mωt) dt + b n sen (nωt) cos (mωt) dt T/ T/ T/ Para la resolución de las integrales dadas son útiles las relaciones siguientes, conocidas como relaciones de Euler: para m, n N y ω = π se verifica T T/ T/ { si m n, cos (nωt) cos (mωt) dt = T si m = n. (8.3) T/ T/ { si m n, sen (nωt) sen (mωt) dt = T si m = n. (8.4) T/ T/ sen (nωt) cos (mωt) dt = (8.5) T/ T/ cos (nωt) dt = { si n, T si n =. (8.6)

58 T/ T/ sen (nωt) dt = (8.7) Utilizando los resultados 8.3, 8.5 y 8.6 e llega a las expresiones: A = T T/ T/ f(t) dt (8.8) a m = T T/ T/ f(t) cos (mωt) dt (8.9) Para unificar la definición se suele llamar a al coeficiente A, por lo que la condición 8.9 se generaliza para todo m =,,... Si ahora multiplicamos por sen (mωt) y procedemos como antes, utilizando los resultados 8.4, 8.5 y 8.7, obtenemos: b m = T T/ T/ f(t) sen (mωt) dt (8.) A la vista de 8.9 y 8. es razonable realizar la siguiente definición: [ Definición 8. Sea f : T, T ] R, se llama desarrollo en serie de Fourier de f en [ el intervalo T, T ] a la serie donde w = π T a + (a n cos (nωt) + b n sen (nωt)) (8.) y para n =,,, los coeficientes vienen dados por a n = T T/ T/ f(t) cos (nωt) dt b n = T T/ T/ f(t) sen (nωt) dt (8.) siempre que existan dichas integrales. Suele escribirse f(t) a + (a n cos (nωt) + b n sen (nωt)) (8.3)

59 aunque también, es frecuente sustituir símbolo por =. Cuando se estudie la convergencia de la serie de Fourier se matizará esta cuestión. Para que la serie de Fourier exista únicamente debe exigirse que existan las integrales que aparecen [ en 8.. Esto sucede, por ejemplo, si f es una función continua a trozos en el intervalo T, T ]. Este tipo de funciones cubre un amplio número de casos aunque pueden darse condiciones más generales. Recordemos que una función f es contiua a trozos en un intervalo [a, b] si existe una partición a = x < x < < x n = b tal que f es continua en (x k, x k ) para k =,,, n y existen los límites laterales de la función en todos los puntos. Esto conlleva que f ha de ser acotada en [a, b]. Dado que los coeficientes de Fourier se calculan a partir de integrales definidas, se observa que éstos coinciden en funciones que sólo difieren en un número finito de puntos, por lo que se suele hacer un abuso de lenguaje y trabajar indistintamente en el intervalo abierto, cerrado o semiabierto, e incluso hacer los cálculos en funciones que no se han definido en un número finito de puntos, siempre que las integrales planteadas existan. Más adelante hablaremos de lo que ocurre con la convergencia en estos casos. Ejemplo 8.3 Halle la serie de Fourier de la función f(t) = { si π t, si < t π. Solución: 4 π sen((n )t) n Observemos que el valor que toma la función en el punto o en los extremos del intervalo no influye en el cálculo de los coeficientes de la serie, por lo tanto, admitiremos que la serie anterior también es la serie de Fourier de la función { si π t <, f(t) = si < t π. a pesar de que el valor de f en el punto no está definido. Ejemplo 8.4 Halle la serie de Fourier de la función f(t) = t, t [ π, π]. ( ) n Solución: sen(nt) n

6 Ejemplo 8.5 Halle la serie de Fourier de la función f(t) = t, t [ π, π]. Solución: π 3 + 4 ( ) n cos(nt) n Ejemplo 8.6 Halle la serie de Fourier de la función definida sobre [ π, π]: f(t) = t. Solución: π 4 π cos ((n )t) (n ) Veamos ahora dos propiedades de las series de Fourier muy sencillas de demostrar. La primera relativa a casos particulares de simetría y la segunda a la linealidad. [ Proposición 8. Sea f : T, T ] R y sea a + de Fourier. Se verifica entonces: (a n cos (nωt) + b n sen (nωt)) su serie (a) Si f es par b n =, n =,,... y a n = 4 T T f(t) cos (nωt) dx (8.4) (b) Si f es impar a n =, n =,,... y b n = 4 T T f(t) sen (nωt) dx (8.5) [ Proposición 8. Sean f y g dos funciones definidas en el intervalo T, T ] cuyos coeficientes de Fourier son respectivamente a n, b n y a n, b n. Se verifica entonces que, λ, µ R los coeficientes de la serie de Fourier de λf + µg son a n = λa n + µa n y b n = λb n + µb n. Ejemplo 8.7 Halle los coeficientes de la serie de Fourier de f(t) = t + t, t [ π, π]. 8.. Convergencia de la serie de Fourier Teorema 8. Sea f : [ T, T ] R una función que cumple Una función par es la que verifica f(t) = f( t) t Una función impar es la que verifica f(t) = f( t) t

6 a) f tiene un número finito de discontinuidades y existen los límites laterales en todo el intervalo y b) f tiene un número finito de máximos y mínimos aislados. Entonces su serie de Fourier es convergente t [ T, T ]. Además: si f es continua en el punto t ] T, T [, la serie de Fourier converge a f(t) y, si t es un punto de discontinuidad de f entonces la serie de Fourier converge al valor 3 (f(t+ ) + f(t )) Para t = ± T la serie converge a ( ( T ) ( f + f T + )) Ejemplo 8.8. Estudie si las funciones siguientes verifican las condiciones del teorema 8. en el intervalo [ π, π]: ( ) 3 t, sen, t, t { si π t, si < t π. OBSERVACIÓN : Las condiciones del teorema 8., llamadas habitualmente condiciones de Dirichlet, son condiciones suficientes de convergencia de la serie de Fourier, no necesarias, por lo que puede haber funciones que no las verifiquen cuya serie de Fourier sea convergente. OBSERVACIÓN : Si la función f : R R es periódica de [ periodo T, pueden estudiarse las condiciones de Dirichlet para cualquier intervalo de la forma d T, d + T ], donde d R cualquiera. OBSERVACIÓN 3: Es habitual utilizar las series de Fourier para aproximar funciones por un número finito de sumandos. En este sentido conviene observar que en torno a los puntos de discontinuidad de la función la suma parcial de la serie posee unas oscilaciones que no desaparecen si se aumenta el número de términos, esto es conocido como fenómeno de Gibs. 3 Notación: f(t + ) = lím y t + f(y), f(t ) = lím y t f(y)

6 8.3. Series en senos y en cosenos Veamos cómo desarrollar una función f : [, T ] R en series de senos y de cosenos, es decir, buscamos desarrollos en serie como sigue: f(t) a + ( ) nπt a n cos T f(t) ( ) nπt b n sen T Recordemos que para desarrollar en serie de Fourier una función partíamos de la hipótesis de que la función es periódica, [ aunque sólo es necesario conocer su expresión en un intervalo de longitud T, por ejemplo, T, T ]. En nuestro caso buscamos realizar el desarrollo sólo en el intervalo de definición de la función, pero vamos a utilizar las propiedades estudiadas para funciones periódicas, extendiéndola y construyendo a partir de ella una función periódica definida en todo R. Definición 8. Sea f : [, T ] R una función, llamaremos su extensión periódica par a la función F : R R par y periódica de periodo T definida como sigue: F (t) = { f(t) t T f( t) T t F (t + T ) = f(t) Si f satisface las condiciones de Diritchlet en [, T ], también las cumple F en [ T, T ], y podemos realizar el desarrollo de Fourier, que, al ser F es una función par, verificará b n =, por lo que obtenemos que, si t [, T ] donde f(t) a + ( ) nπt a n cos T a n = T T ( ) nπt f(t) cos dt T Al desarrollo obtenido se le denomina desarrollo en serie de Fourier de cosenos. Definición 8.3 Sea f : [, T ] R una función, llamaremos su extensión periódica impar a la función G: R R par y periódica de periodo T definida como sigue: G(t) = { f(t) t T f( t) T t G(t + T ) = f(t)

63 Si f satisface las condiciones de Diritchlet en [, T ], también las cumple G en [ T, T ], y podemos realizar el desarrollo de Fourier, que, y dado que G es una función impar, verificará b n =, por lo que obtenemos que, si t [, T ] donde f(t) b n = T T ( ) nπt b n sen T ( ) nπt f(t) sen dt T Al desarrollo obtenido se le denomina desarrollo en serie de Fourier de senos. Ejemplo 8.9 Se considera la función f(t) = t definida en el intervalo [, 4], obtener un desarrollo en serie de cosenos y un desarrollo en serie de senos. Dibuja las gráficas de las extensiones periódicas par e impar de la función f en el intervalo [, ] 8.4. Forma compleja de la serie de Fourier Veremos ahora otra forma de expresar la serie de Fourier utilizando la exponencial compleja. Proposición 8.3 Sea f : [ T, T ] R. La serie de Fourier puede escribirse como f(t) n= n=n c n e intω = lím N donde, para n Z, los coeficientes vienen dados por n= N c n e intω (8.6) c n = T T/ T/ f(t)e intω dt Además, si a n y b n son los coeficientes de su serie de Fourier expresada en la forma 8., se verifican las relaciones. c = a, c n = a n ib n, c n = c n = a n + ib n, para n N (8.7) Ejemplo 8. Obtener la forma compleja de la serie de Fourier de la función diente de sierra f(t) definida por f(t) = t con t ], T ], f(t + mt ) = f(t) con t R, m Z T

64 Otro fenómeno que se observa en los ejemplos, conocido como fenómeno de Gibs, es que cuando se trunca la serie, en los puntos de discontinuidad de la función aparecen unas oscilaciones. Éstas no desaparecen si se aumenta el número de términos de la serie, sino que se ciñen más al punto. (Ver figuras 8. y 8.) Serie truncada en n=3 4 4 6 Serie truncada en 4 4 6 Serie truncada en n= 4 4 6 Figura 8.: Extensión periódica de la función f(x) = para n = 3, n = y n = { si x ], [ si x [, [, y su serie truncada 8.5. Integración y derivación de una serie de Fourier Proposición 8.4 Sea f una función de periodo T que satisface las condiciones de Dirichlet en [ T/, T/] y sea f(t) a + (a n cos(wnt) + b n sen(wnt)) su serie de Fourier. Dados t, t [ T/, T/], t < t, la expresión anterior puede integrarse término a término en [t, t] verificándose t f(t) dt = a t t (t t ) + (a n cos(wnt) + b n sen(wnt)) dx (8.8) t Si integramos se obtiene: t t f(t) dt = a t + A + ( bn wn cos(nwt) + a ) n wn sen(nwt) (8.9)

65 Serie truncada en 3 8 6 4 4 6 8 Serie truncada en n=3 3 8 6 4 4 6 8 Serie truncada en 3 8 6 4 4 6 8 Figura 8.: Extensión periódica de la función f(x) = x, en x ] π, π[ y su serie truncada para n =, n = 3 y n = siendo A = a t + ( an wn sen(wnt ) + b ) n wn cos(wnt ) Observe que el lado derecho de 8.9 no es una serie de Fourier debido al término a t. Pasando éste al primer miembro queda la serie de Fourier de la función g(t) = t f(t) dt a t t Ejercicio 8. Se considera la función f(x) = x en [ π, π]. Integrando su serie de Fourier, halle la serie de Fourier de g(x) = 3 x3 π x en [ π, π]. 3 Proposición 8.5 Sea f una función de periodo T que satisface las condiciones de Dirichlet en [ T/, T/] y sea f(t) a + (a n cos(wnt) + b n sen(wnt)) su serie de Fourier. Supongamos que f continua t R y que su derivada verifica las condiciones de Dirichlet en [ T/, T/]. Entonces, la serie de Fourier de f puede hallarse derivando la serie de Fourier de f, f (t) (a n cos(wnt) + b n sen(wnt))

66 Ejercicio 8. Aplique la proposición anterior para obtener la serie de Fourier de f(x) = x derivando la serie de Fourier de la función f(x) = x en [ π, π].

Capítulo 9 Ecuaciones en derivadas parciales 9.. Edp lineales con coeficientes constantes Las edp surgen en el estudio de fenómenos en los que la incógnita es una función que depende de dos o más variables independientes. Una edp de segundo orden en dos variables puede escribirse en la forma A u x (x, y) + B u x y (x, y) + C u y u (x, y) + D x u (x, y) + E (x, y) + F u(x, y) = f(x, y) y donde u(x, y) es la incógnita, f es una función dada y A, B, C, D, E y F pueden ser constantes o funciones de x e y. Estas ecuaciones se clasifican en elípticas: si B 4AC < parabólicas: si B 4AC = hiperbólicas: si B 4AC > Tres modelos básicos son: la ecuación de Laplace (elíptica) u xx (x, y) + u yy (x, y) = la ecuación del calor (parabólica) u t (x, t) ku xx (x, t) = 67

68 la ecuación de ondas (hiperbólica) u tt (x, t) cu xx (x, t) = En la formulación de un problema concreto estas ecuaciones deben completarse con condiciones de contorno y, en su caso, condiciones iniciales. En lo que sigue estudiaremos cómo resolver estas ecuaciones usando el método de separación de variables. 9.. La ecuación de Laplace. Se considera la ecuación u xx (x, y) + u yy (x, y) = (9.) El método de separación de variables consiste en buscar una solución de la forma u(x, y) = X(x) Y (y) (9.) Sustituyendo en la ecuación 9. se obtiene la relación X (x) X(x) = Y (y) Y (y) Puesto que el primer miembro depende de x y el segundo de y concluimos que ha de existir λ l - R tal que se verifiquen las dos ecuaciones diferenciales ordinarias X (x) + λx(x) = (9.3) Y (y) λy (y) = (9.4) La soluciones generales de estas ecuaciones para los distintos valores de λ son: Si λ =, Si λ >, Si λ <, X(x) = a x + b Y (y) = c y + d X(x) = a cos( λx) + b sen( λx) Y (y) = ce λy + de λy X(x) = ae λx + be λx Y (y) = c cos( λy) + d sen( λy)

69 donde a, b, c y d son constantes arbitrarias. Se llega a las siguientes posibilidades de soluciones linealmente independientes para u: Si λ =,, x, y, xy Si λ >, e λy cos( λx), e λy cos( λx), e λy sen( λx), e λy sen( λx) Si λ <, e λx cos( λy), e λx cos( λy), e λx sen( λy), e λx sen( λy) Combinaciones lineales de estas funciones verifican la ecuación 9.. Ahora completaremos la ecuación de Laplace con condiciones de contorno y expondremos un método para obtener la solución basado en series de Fourier. Sea D = [, ] [, ] y f, f, g, g funciones definidas en [, ]. Consideramos el problema con las condiciones de contorno u xx (x, y) + u yy (x, y) =, (x, y) o D (9.5) u(x, ) = f (x), x [, ] (9.6) u(x, ) = f (x), x [, ] (9.7) u(, y) = g (y), y [, ] (9.8) u(, y) = g (y), y [, ] (9.9) Supondremos en primer lugar que f = g = g =. Aplicando la técnica de separación de variables y teniendo en cuenta las condiciones de contorno 9.8 y 9.9, buscamos X solución del problema X (x) + λx(x) = x [, ] (9.) con las condiciones de contorno X() = X() = (9.) Observemos que la función X(x) = x [, ] es solución para cualquier valor de λ. La solución de la ecuación 9.5 que origina es la solución trivial, u(x, y) = (x, y) D, que no verifica las condiciones de contorno, a menos que f =. Buscamos una solución no trivial de 9. y 9. y para ello analizamos las soluciones obtenidas anteriormente según los valores de λ. Imponiendo las condiciones de contorno, se obtiene que, si λ = o si λ <, el problema sólo admite la solución idénticamente nula.

7 Para el caso λ > se obtiene solución para los valores λ n = n π, para n =,, (9.) y la solución es X n (x) = a n sen(πnx) (9.3) donde a n es una constante arbitraria. Para estos valores de λ buscamos ahora una función Y (y) que verifique la ecuación Y (y) n π Y (y) = (9.4) con la condición de contorno Y () = (9.5) Se obtiene como solución donde b n es una constante arbitraria. Tenemos pues que las funciones Y n (y) = b n senh(nπ( y)) (9.6) u n (x, y) = sen(nπx) senh(nπ( y)) (9.7) son una familia de soluciones de las ecuaciones 9.5, 9.7, 9.8 y 9.9 y, como la ecuación de Laplace es lineal, cualquier combinación lineal de ellas también las verificará. Sólo falta que se verifique la condición 9.6. Extendiendo la combinación lineal al caso de una suma infinita, buscamos la solución u de la forma u(x, y) = c n u n (x, y) (9.8) Para determinar los coeficientes c n imponemos la condición 9.6 obteniendo la relación c n sen(nπx) senh(nπ) = f (x) (9.9) de donde concluimos que c n senh(nπ) han de ser los coeficientes del desarrollo de Fourier de f en el intervalo [,] en serie de senos. La función obtenida verifica formalmente todas las ecuaciones del problema y se dice que es una solución formal. Para justificar que efectivamente es solución del problema habría que estudiar la convergencia, continuidad y derivabilidad de la serie. Siguiendo un proceso análogo hallaríamos ahora otra solución del la ecuación de Laplace imponiendo las condiciones f = g = g = y f no nula. Después repetiríamos el procedimiento para obtener dos soluciones más donde las únicas condiciones de contorno no nulas serían respectivamente g y g. De este modo se obtienen cuatro soluciones de la ecuación de Laplace que verifican cada una de ellas las condiciones de contorno mencionadas. La suma de las cuatro seria solución del problema formulado originalmente.

7 9.3. La ecuación del calor Se considera el problema transmisión de calor u t (x, t) ku xx (x, t) = F (x, t), < x < L, t > u(x, ) = u (x), x L Au(, t) + Bu x (, t) = U (t), t > Au(L, t) + Bu x (L, t) = U (t), t > Consideramos el caso homogéneo, F =, U =, U = y por simplicidad supondremos k =, A = C =, B = D =. El problema queda entonces u t (x, t) u xx (x, t) =, < x < L, t > (9.) u(x, ) = u (x), x L (9.) u x (, t) =, t > (9.) u x (L, t) =, t > (9.3) Aplicamos el método de separación de variables para buscar una solución de la forma u(x, t) = X(x) T (t) Sustituyendo en la ecuación 9. obtenemos la relación X (x) X(x) = T (t) T (t) Puesto que el primer miembro depende de x y el segundo de t concluimos que ha de existir λ l - R tal que se verifique X (x) X(x) = T (t) T (t) = λ lo que conduce a las dos ecuaciones diferenciales ordinarias X (x) + λx(x) = T (t) + λt (t) = Teniendo en cuenta las condiciones de contorno se considera el problema X (x) + λx(x) =, < x < L (9.4)

7 X () = X (L) =, (9.5) Para hallar u hemos de resolver este problema para distintos valores de λ. Teniendo en cuenta las condiciones de contorno se obtiene que hay solución no trivial para los valores λ n = n π, para n =,, (9.6) L y que la solución es X n (x) = a n cos( nπx L ) (9.7) donde a n es una constante arbitraria. Para estos valores de λ buscamos ahora una función T (t) que verifique la ecuación T (t) + λt (t) = (9.8) Se obtiene como solución donde b n es una constante arbitraria. T n (t) = b n e n π L t (9.9) Tenemos pues que las funciones u n (x, t) = cos( nπx L ) n π e L t (9.3) son una familia de soluciones de las ecuaciones 9., 9., y 9.3, y también cualquier combinación lineal de ellas las verificará. Para encontrar la solución del problema sólo falta que se verifique la 9.. Buscamos una solución formal u del tipo u(x, t) = c n u n (x, t) (9.3) Para determinar los coeficientes c n imponemos la condición inicial 9. c n cos( nπx L ) = u (x) (9.3) de donde concluimos que las constantes c n han de ser los coeficientes del desarrollo de Fourier de u en el intervalo [,L] en serie de cosenos. 9.4. La ecuación de ondas Se considera el problema u tt (x, t) cu xx (x, t) = F (x, t), < x < L, t >

73 u(x, ) = u (x), x L u t (x, ) = u (x), x L Au(, t) + Bu x (, t) = U (t), t > Au(L, t) + Bu x (L, t) = U (t), t > Consideramos el caso homogéneo, F =, U =, U = y por simplicidad supondremos c =, A = C =, B = D =. El problema queda entonces u tt (x, t) u xx (x, t) =, < x < L, t > (9.33) u(x, ) = u (x), x L (9.34) u t (x, ) = u (x), x L (9.35) u(, t) = u(l, t) =, t > (9.36) Aplicando el método de separación de variables, se busca una solución de la forma y se llega la relación u(x, t) = X(x) T (t) X (x) X(x) = T (t) T (t) = λ donde λ l - R. Se obtienen las ecuaciones diferenciales X (x) λx(x) = T (t) λt (t) = Teniendo en cuenta las condiciones de contorno, se considera el problema X (x) λx(x) =, < x < L (9.37) X() = X(L) =, (9.38) Para hallar u hemos de resolver este problema para distintos valores de λ. Teniendo en cuenta las condiciones de contorno se obtiene que hay solución para los valores λ n = n π, para n =,, (9.39) L y la solución es X n (x) = a n sen( nπx L ) (9.4) donde a n es una constante arbitraria.

74 Para estos valores de λ buscamos ahora una función T (t) que verifique la ecuación T (t) λt (t) = (9.4) Se obtiene que como solución donde c n y d n son constantes arbitrarias. Buscamos entonces u de la forma T n (t) = c n cos( nπt L ) + d n sen( nπt L ) (9.4) u(x, t) = c n u n (x, t) (9.43) siendo u n (x, t) = (a n cos( nπt L ) + b n sen( nπt )) sen(nπx L L ) Podemos considerar los coeficientes c n incluidos en a n y b n quedando u(x, t) = (a n cos( nπt L ) + b n sen( nπt )) sen(nπx L L ) (9.44) Para determinar los coeficientes imponemos las condiciones iniciales. De 9.34 se obtiene a n sen( nπx L ) = u (x) (9.45) de donde concluimos que las constantes a n han de ser los coeficientes del desarrollo de Fourier de u en el intervalo [,L] en serie de senos. De la ecuación 9.35, derivando formalmente, se obtiene b n nπ L sen(nπx L ) = u (x) (9.46) de donde obtenemos las constantes b n a partir de los coeficientes del desarrollo de Fourier de u en el intervalo [,L] en serie de senos.

Capítulo Transformada de Fourier El objetivo de este capítulo es el estudio de la transformada de Fourier y su aplicación a la resolución de edp. Definición. Sea f : l - R l - R. Se llama tranformada de Fourier de f a la función ˆf : l - R lc definida por ˆf(s) = l - R e ist f(t) dt (.) suponiendo que la integral existe. Si f es absolutamente integrable en l - R se garantiza la existencia de transformada de Fourier. La transformada también suele denotarse por F(f) o por F(f(t)). De la teoría de integración sabemos que si dos funciones f y g se diferencian en un número finito de puntos entonces sus integrales son iguales. Deducimos entonces que si dos funciones coinciden salvo en un número finito de puntos, sus transformadas de Fourier son iguales. Ejemplo. Sean α, A l - R, α >. Halle la transformada de Fourier de f(t) = { si t < A e αt si t Solución: ˆf(s) = A is + α Ejercicio. Halle, si existen, las transformadas de Fourier de las funciones siguientes: (a) f(t) = c, (c R) 75

76 (b) La función de Heaviside H(t) = { si t < si t > (c) g(t) = H(t) H(t ) Veremos algunas propiedades de la transformada de Fourier. Proposición. (linealidad) Sean f y g dos funciones absolutamente integrables en l - R y λ, µ l - R. Se verifica entonces que F(λf + µg) = λf(f) + µf(g) (.) Proposición. (retraso) Sea f función absolutamente integrable en l - R y t l - R. Se considera la función g(t) = f(t t ). Se verifica entonces que ĝ(s) = e ist ˆf(s) (.3) Proposición.3 (cambio de escala) Sea f función absolutamente integrable en l - R y α l - R, α. Se considera la función g(t) = f(αt). Se verifica entonces que ĝ(s) = α ˆf( s α ) (.4) Proposición.4 Sea f función derivable con derivada continua en todo l - R y supongamos f y f absolutamente integrables en l - R. Se verifica entonces que f (s) = (is) ˆf(s) (.5) Para el caso en que la derivada f sea continua a trozos la fórmula anterior debe ser modificada convenientemente. Por extensión, repitiendo el argumento n veces se obtiene f n) (s) = (is) n ˆf(s) (.6) Proposición.5 Sea f absolutamente integrable en l - R y c l - R. Si g(x) = cos(cx)f(x) y h(x) = sen(cx)f(x) se verifica que ĝ(s) = ( ) ˆf(s c) + ˆf(s + c) ĥ(s) = ( ) ˆf(s c) ˆf(s + c) i (.7) (.8)

77 Definición. Sean f y g dos funciones absolutamente integrables en l - R. Se llama convolución de f y g a la función (f g)(x) = l - f(t)g(x t) dt (.9) R Se verifica que la convolución es conmutativa, f g = g f, y asociativa, (h g) f = h (g f). Proposición.6 Sean f y g dos funciones absolutamente integrables en l - R y sea h = f g. Se verifica entonces que ĥ(s) = ˆf(s) ĝ(s) (.) TABLA DE ALGUNAS TRANSFORMADAS H(t a) H(t b), a < b H(t + b) H(t b), b > e at H(t), a > e a t, a > t + c, c > e at, a > e ias e ibs is sen(bs) s a + is a s + a π c e c s π s a e 4a Ejercicio. Demuestre las proposiciones. y.. { 3x si π < x <, Ejercicio.3 Sea f(x) = Halle la transformada de Fourier de f y de x si < x < π. f. Estudie si se verifica la proposición.4 Ejercicio.4 Halle las transformadas de las funciones siguientes (a)f(x) = e ax (b)g(x) = + x (c)h(x) = x + x

78 Indicaciones: - Para el ejercicio (a) aplique el teorema de los residuos considerando el contorno rectangular de extremos R, R, R i s a y R i s y luego halle el límite cuando R tiende a. Utilice a π que l - R e ax dx = a. - Para el ejercicio (c) aplique el teorema de los residuos y utilice la acotación sen(t) π/t si t π/. Observe que aquí se calcula el valor principal de Cauchy. Definición.3 Dada g absolutamente integrable en l - R, se define su transformada inversa de Fourier como la función f(t) = π l - R eist g(s) ds (.) Teorema. Sea f absolutamente integrable en l - R y supongamos que satisface las condiciones de Dirichlet en cualquier intervalo acotado. Entonces: - si f es continua en el punto t, π R ˆf(s)e ist ds = f(t) (.) - si f no es continua en el punto t, ˆf(s)e ist ds = (f(t+) + f(t )) (.3) π R La relación anterior suele expresarse f(t) ( π R R ) e isx f(x) dx e ist ds (.4).. Aplicación a edp En esta segunda parte de la lección veremos algunas aplicaciones de la transformada de Fourier a las ecuaciones diferenciales. En edo resulta útil pues puede transformarlas en ecuaciones algebraicas. En edp tiene utilidad pues, por un lado, puede transformar una edp en una edo; por otro, puede reducir una edp en n variables a una edp en n- variables. Veremos algunos ejemplos. Ejemplo. (La ecuación del calor)

79 Se considera el problema u t (x, t) u xx (x, t) =, x l - R, t > (.5) u(x, ) = u (x), x l - R (.6) Suponemos además que u tiene que estar acotada para que la solución sea única. Para cada t >, llamamos U(s, t) a la transformada de Fourier de u(x, t) respecto de la variable x, admitiendo que la transformada existe, U(s, t) = û(, t) = e isx u(x, t) dx Aplicando transformadas y admitiendo que U t (s, t) = û(, t) = el problema se convierte en R R e isx u t (x, t) dx U t (s, t) + s U(s, t) =, s l - R, t > (.7) La solución general de la ecuación.7 es de la forma U(s, ) = û (s), s l - R (.8) U(s, t) = e st c(s) donde c es una función que depende de s. Para determinarla imponemos la condición inicial obteniendo c(s) = û (s) Para hallar la solución u(x, t) del problema original se hallaría la transformada inversa de U(s, t) = e stû (s). Habría que verificar que la función así obtenida es solución. Ejemplo.3 Resuelva el problema del calor para el caso u (x) = e x. Hallamos la transformada de Fourier de u que es πe s 4 Teniendo en cuenta los razonamientos anteriores, se obtiene que la transformada de Fourier de la solución es U(s, t) = û (s) e st = πe s (t+ 4 ) Calculamos ahora la transformada inversa que es u(x, t) = 4t + e x 4t+

8 En general, el cálculo de la transformada inversa para obtener la solución del problema del calor no suele resultar sencillo. No obstante, puede obtenerse una expresión de u utilizando la convolución y teniendo en cuenta que la transformada de la convolución de dos funciones es el producto de las transformadas. Utilizando la tabla de transformadas obtenemos que la transformada inversa de la función e st, para cada t >, es g(x, t) = x πt e 4t De aquí obtenemos para u la expresión u(x, t) = (u g(, t))(x) = l - R u (y) g(x y, t) dy (.9) Ejemplo.4 Halle la solución al problema del calor para el caso u (x) = H(x) H(x ). Según vimos anteriormente la solución es u(x, t) = πt x e 4t [H(x) H(x )] = (x y) πt l - R e 4t [H(y) H(y )] dy = πt e (x y) 4t La función a integrar no tiene una primitiva en términos de funciones elementales por lo que no podemos encontrar una expresión más explícita de la solución. No obstante, si podemos obtener valores de la integral en puntos concretos (por ejemplo con MATLAB) y conseguir así una representación gráfica de la solución. dy Ejemplo.5 La ecuación de ondas Se considera el problema u tt (x, t) u xx (x, t) =, x l - R, t > (.) u(x, ) = u (x), x l - R (.) u t (x, ) =, x l - R (.) Procediendo como en el caso del calor, para cada t >, llamamos U(s, t) a la transformada de Fourier de u(x, t) respecto de la variable x U(s, t) = û(, t) = l - R e isx u(x, t) dx

8 El problema se convierte en U tt (s, t) + s U(s, t) =, s l - R, t > (.3) U(s, ) = û (s), s l - R (.4) U t (s, ) =, s l - R (.5) La solución general de la ecuación.3 es U(s, t) = a(s)e ist + b(s)e ist Teniendo en cuenta las condiciones iniciales obtenemos Luego a(s) = b(s) a(s) + b(s) = û (s) U(s, t) = û(s) (eist + e ist ) y de aquí, aplicando la propiedad del retraso, obtenemos u(x, t) = (u (x t) + u (x + t))