La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Espacios de dimensión infinita El espacio de Hilbert Espacios de Funciones Espacios L 2 Bases de espacios L 2 Bases ortogonales Series de Fourier Aproximación.

Presentaciones similares


Presentación del tema: "Espacios de dimensión infinita El espacio de Hilbert Espacios de Funciones Espacios L 2 Bases de espacios L 2 Bases ortogonales Series de Fourier Aproximación."— Transcripción de la presentación:

1

2 Espacios de dimensión infinita El espacio de Hilbert Espacios de Funciones Espacios L 2 Bases de espacios L 2 Bases ortogonales Series de Fourier Aproximación de Funciones Polinomios de Legendre Curso Propedéutico de Matemáticas DEPFIE M. C. José Juan Rincón Pasaye

3 El Espacio de Hilbert El espacio R contiene las sucesiones de números reales de la forma: [x 1,x 2,x 3,...], por ejemplo: [0, 3, 6, 9, 12, 15,...] (sucesión aritmética) [1, ½, ¼, 1/8,...] (Sucesión geométrica) [1, ½, 1/3, ¼,...] (Sucesión armónica) [1, 1, 2, 3, 5, 8,...] (Sucesión de Fibonacci) [0, sen(1), sen(2), sen(3),....] Etc.. Este espacio es demasiado grande y con pocas propiedades interesantes, ya que la norma de sus vectores puede ser infinita.

4 El Espacio de Hilbert Si nos restringimos a considerar solamente sucesiones de longitud finita o norma euclideana finita obtenemos un espacio Vectorial llamado Espacio de Hilbert o espacio l 2. Así, un vector [x 1,x 2,x 3,...] está en el espacio de Hilbert si ||x|| 2 =x 1 2 +x 2 2 +x 3 2,+... Es un número finito.

5 El Espacio de Hilbert Ejemplo: Averiguar si la sucesión geométrica de razón q: [q 0,q 1,q 2,q 3,...,] pertenece al espacio de Hilbert: Solución: Sea S = 1+q 2 +q 4 +q q 2n Es fácil ver que q 2 S = S-1+q 2n+2, despejando S Tomando el límite cuando n, la suma es finita si y sólo si |q|<1.

6 El Espacio de Hilbert Tarea: Averiguar si la sucesión siguiente: [p, 2p, 3p, 4p,...] pertenece al espacio de Hilbert. Para ello, a)Sea S = p 2 +2p 2 +3p np 2. Encontrar una expresión compacta para S. b)Tomar el límite de S cuando n. c)Concluir para diferentes casos de p.

7 El Espacio de Hilbert El espacio de Hilbert es de interés especial porque en él está bien definido el producto interno (no se hace infinito). Así, para dos vectores arbitrarios x= [x 1,x 2,x 3,...], y= [y 1,y 2,y 3,...] en este espacio: = x 1 y 1 +x 2 y 2 +x 3 y 3... <

8 El Espacio de Hilbert De hecho, al igual que en todo espacio vectorial, se cumple la desigualdad de Schwartz-Cauchy: | | ||x|| ||y|| Y como x, y tienen norma finita, será finito.

9 El Espacio de Hilbert Ejemplo: ¿qué significa la desigualdad de Schwartz para vectores en R 3 ? Solución. Sean dos vectores arbitrarios en R 3, x=[x 1,x 2,x 3 ], y= [y 1,y 2,y 3 ], la desigualdad de Schwartz garantiza que: |x 1 y 1 +x 2 y 2 +x 3 y 3 | 2 (x 1 2 +x 2 2 +x 3 2 )(y 1 2 +y 2 2 +y 3 2 ) Por ejemplo, sean x=[1 2 3], y= [4 5 6], la desigualdad da: 1024 (14)(77)=1078

10 El Espacio de Hilbert Tarea: 1)Usando la desigualdad de Schwartz en R n, demostrar que para cualesqiera n números x 1,x 2,...,x n, se cumple que: |x 1 +x x n | 2 n (x 1 2 +x x n 2 ) Dar un ejemplo en R 3. 2) Demostrar que la desigualdad de Schwartz se convierte en igualdad cuando los vectores son Linealmente Dependientes en R n. Dar un ejemplo en R 3.

11 Espacios de Funciones Los vectores en el espacio R se pueden pensar como funciones evaluadas en valores discretos de una variable, por ejemplo, la sucesión geométrica [1, 1/2, 1/4, 1/8,...] es la función f(x)=(1/2) x, valuada en x=0,1,2,3,... En forma similar, la sucesión aritmética [2, 4, 6, 8, 10,...] Se expresa como la función f(x) =2x+2 valuada en x=0,1,2,3,... ¿y qué pasa si x toma valores continuos?

12 Espacios de Funciones Si x toma valores continuos en el intervalo de números reales [a,b] los vectores se transforman en funciones de valor real en ese intervalo. Sin embargo, este conjunto de funciones es demasiado extenso y sólo algunos subconjuntos son de interés, especialmente los de funciones de norma finita. ¿Pero y... Como se define la norma de una función?

13 Espacios de Funciones La manera natural de redefinir el producto interno para funciones, es transformando la sumatoria en una integral, así, para las funciones f, g definidas en el intervalo [a,b]: De acuerdo a esto, la norma de la función f, será

14 Espacios de Funciones Ejemplo: Para las funciones f(x) = sen(x), g(x)=cos(x), definidas en el intervalo [0,2 ] a)Producto interno: = 0, es decir, son funciones ortogonales. b)Normas: = = c)Normalización: las siguientes funciones son ortonormales:

15 Espacios de Funciones Ejemplo: a)¿Cuál es el ángulo entre las funciones del ejemplo anterior?, es decir, =90° b)¿cuál es la proyección ortogonal de la función h(x) = sin(x+ ) sobre sin(x)? =cos( ) sin(x) Lo cual era de esperarse, ¿porqué?

16 Espacios de Funciones Tarea: a)¿Cuál es el ángulo de la función h(x)=cos(x+ ), respecto a f(x)=sin(x)? b)¿Cuál es la proyección ortogonal de h sobre f? c)¿y sobre g(x)=cos(x)? d)¿Cuál es la norma de h(x)?

17 Espacios L 2 Las Normas l p definidas para vectores en R se transforman en las normas L p que se definen para una función f(x) en el intervalo [a,b]como sigue Así, las funciones de norma L 2 finita conforman el conjunto de funciones de cuadrado integrable o Espacio L 2.

18 Espacios L 2 Ejemplo: ¿Para que valores de r la siguiente función está en L 2 considerando el intervalo [0,1]? f(x) = x r Solución: como Entonces la función x r pertenece a L 2 si y sólo si r > -1/2

19 Espacios L 2 La siguiente gráfica representa la función f(x)=x r para diferentes valores de r

20 Bases de Espacios L 2 Si tuvieramos una base para un espacio de funciones podríamos expresar cualquier función como una Combinación Lineal (serie) de funciones de la base. Algunas bases comúnmente utilizadas son: {1,x,x 2,x 3,...} Series de Taylor {1,senx,cosx,sen2x,cos2x,...} Series de Fourier {1,senx+cosx,sen2x+cos2x,...} Series de Hartley

21 Bases Ortogonales Dada una base {f 1,f 2,f 3,...} de L 2 es posible obtener la serie correspondiente de una función arbitraria f calculando los coeficientes c 1,c 2,... de dicha serie: f= c 1 f 1 +c 2 f 2 +c 3 f Esto en general es complicado, pero si la base es ortogonal el problema se vuelve simple. De hecho, el planteamiento es válido para cualquier espacio vectorial. Y los coeficientes calculados no son más que las coordenadas del vector f en la base dada.

22 Bases Ortogonales Sea por ejemplo {b 1,b 2,b 3,...b n } una base de R n, y sea x=[x 1,x 2,x 3,...,x n ] un vector arbitrario en R n, entonces: x= c 1 b 1 +c 2 b 2 +c 3 b c n b n Si la base no es ortogonal, esto conduce a un sistema de n ecuaciones con n incógnitas. Pero si la base es ortogonal, tomando el producto interno con b 1 tenemos = c 1 +c c n De donde

23 Bases Ortogonales En forma similar: Y si la base es ortonormal: las expresiones se reducen a:

24 Bases Ortogonales Ejemplo: En R 2, sea la base a)Verificar que es una base ortonormal b)Encontrar las coordenadas del vector arbitrario x=[x 1,x 2 ] en esta base. Solución: a)En efecto, = =1 y =0. b)c 1 = = (x 1 -x 2 )/ 2 c 2 = = (x 1 +x 2 )/ 2

25 Bases Ortogonales Tarea: a)En R 2, proponer una base ortonormal diferente a la del ejemplo anterior y encontrar las coordenadas del vector arbitrario x=[x 1,x 2 ] en dicha base. b)Sea {b 1,b 2,...b n } una base no ortogonal de R n, y sea x=[x 1,x 2,...,x n ] un vector arbitrario en R n, usar el producto interno para expresar la matriz A del sistema Ac=x, donde x es el vector arbitrario y c es el vector de las coordenadas c 1,c 2,...,c n de x la base dada

26 Series de Fourier Al igual que en cualquier espacio vectorial, en L 2 las bases ortogonales facilitan el cálculo de las coordenadas de un vector arbitrario. Una base ortogonal en el intervalo [0,2 ] para L 2 es la siguiente {1, sen(x), cos(x), sen(2x), cos(2x),...} Ya que:

27 Series de Fourier Así, una función arbitraria f(x) definida en el intervalo [0,2 ], se puede expresar en ese intervalo como Combinación Lineal (Serie de Fourier) de las funciones de la base anterior, como: f(x)=a 0 +a 1 cos(x)+a 2 cos(2x)+a 3 cos(3x)+... +b 1 sen(x)+b 2 sen(2x)+b 3 sen(3x)+... Donde los coeficientes a 0,a 1,a 2,a 3,...,b 1,b 2,b 3,... Son las coordenadas de la función f(x) en la base dada y se calculan como ya se dijo, es decir:

28 Series de Fourier Para k=0,1,2,3,4,... La serie obtenida para f(x) será válida solamente en el intervalo [0,2 ] si f(x) está en L 2. Si queremos generalizar la serie de Fourier para cualquier valor de x f(x) deberá cumplir las condiciones de Dirichlet

29 Series de Fourier Ejemplo: Encontrar la serie de Fourier para la siguiente función:

30 Series de Fourier Solución: Calculamos los coeficientes a k : en forma similar para los coeficientes b k : Por lo cual, la serie de fourier queda:

31 Propedéutico de Matemáticas DEPFIE Fourier Series In the same way a vector can be decomposed and represented in a basis of vectors, a function can be represented in a basis of functions. Similarly to geometry or linear algebra, an appropriate basis can make the problem easier. For harmonic problems, which compose many, if not most, mathematical and physical problems the Fourier Series is an invaluable tool. In the following, we will consider only the 2π periodic functions. First, let us consider the representation of the function in some orthonormal basis: Orthonormality of the basis means that the scalar product of different basis functions equals 0, and of the function with itself equals 1: (1) (2)

32 Propedéutico de Matemáticas DEPFIE Fourier Series How to find c n in (1) ? Let us multiply (1) by φ n (x): Here we used the orthonormality of the basis {φ n (x)}. If the basis functions are,then the series With a n and b n generated by (3) is called a Fourier series, generated by f. (3)

33 Propedéutico de Matemáticas DEPFIE La base {sen(klx), cos(klx)}: Series de Fourier Vamos a obtener una base ortogonal en el espacio vectorial de Hilbert de las funciones de cuadrado sumable en el intervalo (a,b) a partir de las siguientes funciones: donde el índice l toma valores enteros y k debe ser determinado para que se cumpla la ortogonalidad de las funciones:

34 Propedéutico de Matemáticas DEPFIE

35

36

37

38

39 Para que se cumplan las anteriores relaciones de ortogonalidad: la condición que debe verificarse es:

40 Propedéutico de Matemáticas DEPFIE Luego la siguiente familia de funciones constituye una base ortogonal: y las respectivas normas son:

41 Propedéutico de Matemáticas DEPFIE

42

43 Por tanto, una función, f(x), de cuadrado integrable en el intervalo (a,b) se puede descomponer en esta base ortogonal. A ese desarrollo se le da el nombre de serie de Fourier de la función f(x): Dentro del intervalo (a,b) la función f(x) es idéntica a su desarrollo en serie de Fourier. Sin embargo, fuera del intervalo (a,b), el desarrollo en serie cumple una propiedad de periodicidad (que no tendría por qué tener la f(x) fuera de (a,b)), porque las funciones de la base ortogonal son periódicas.

44 Propedéutico de Matemáticas DEPFIE

45 La base {exp(iklx)}: Teniendo en cuenta la fórmula de Euler: se ve que los elementos de la base ortogonal de senos y cosenos se pueden escribir en función de exponenciales complejas:

46 Propedéutico de Matemáticas DEPFIE Además puede comprobarse que estas exponenciales complejas cumplen la condición de ortogonalidad: Luego, efectivamente:

47 Propedéutico de Matemáticas DEPFIE Además el producto de una exponencial compleja por sí misma; es decir, la norma al cuadrado de una exponencial compleja es: Luego el conjunto de las exponenciales complejas {exp(iknx)} con k=2 /(b-a) y n un número entero es una base ortogonal del espacio de Hilbert de las funciones de cuadrado sumable en el intervalo (a,b) :

48 Propedéutico de Matemáticas DEPFIE Por tanto, una función, f(x), de cuadrado integrable en el intervalo (a,b) se puede descomponer en esta base ortogonal: Hay que tener en cuenta que, ahora, los escalares del desarrollo, es decir, los a l serán, en general, números complejos. Dentro del intervalo (a,b) la función f(x) será idéntica a su desarrollo en función de las exponenciales. Sin embargo, fuera del intervalo (a,b), el desarrollo cumple una propiedad de periodicidad porque las funciones de la base ortogonal son periódicas, (periodicidad que no tendría por qué tener la f(x) fuera de (a,b))

49 Propedéutico de Matemáticas DEPFIE Si queremos calcular los a l del desarrollo de una función, f(x), haciendo uso de la ortogonalidad tendremos lo siguiente:

50 Propedéutico de Matemáticas DEPFIE Si la función f(x) es una función real, se cumplirá lo siguiente:

51 Propedéutico de Matemáticas DEPFIE Por tanto, si la función f(x) es una función real, tenemos: Pero, para cualquier función: Por tanto, si la función f(x) es una función real, se cumple que:

52 Propedéutico de Matemáticas DEPFIE Vamos a utilizar lo anterior para ver cómo podemos, para el caso de una función real, encontrar la relación entre los coeficientes de la base ortogonal de las exponenciales complejas y los coeficientes de la serie de Fourier, es decir, de la base ortogonal de senos y cosenos: Si la función f(x) es una función real:

53 Propedéutico de Matemáticas DEPFIE Si escribimos los a l del siguiente modo: que es equiparable a la serie de Fourier de la función real, f(x):

54 Propedéutico de Matemáticas DEPFIE donde: o, equivalentemente:

55 Aproximación de Funciones En ocasiones se busca expresar una función f(x) en términos de otra función, o funciones más sencillas, esto es especialmente útil para simplificar cálculos o modelar comportamientos en forma aproximada. En este caso es posible simplemente truncar una serie a partir de algún término, o bien, obtener la aproximación mediante proyección ortogonal.

56 Aproximación de Funciones Sea una función f que se desea aproximar como la C. L. finita siguiente: f =c 1 g 1 +c 2 g c n g n Donde g 1,g 2,...,g n son n funciones arbitrarias, mediante las cuales se desea expresar f. Tomando el producto interno con cada función g, obtenemos: = c 1 +c c n... = c 1 +c c n

57 Aproximación de Funciones Lo cual puede ser expresado en forma matricial como:

58 Aproximación de Funciones Ejemplo: ¿cómo aproximar la función f(x) = x mediante una recta que pasa por el origen en el intervalo [0,1]? Solución: sea g(x)=x, buscamos la aproximación f(x)=cg(x), donde c= /, es decir:

59 Aproximación de Funciones Ejemplo: ¿cómo aproximar la función f(x) = x mediante una recta que no pasa por el origen en el intervalo [0,1]? Solución: sea g 1 (x)=1, g 2 (x)=x, buscamos la aproximación f(x)=c 1 g 1 (x)+c 2 g 2 (x), resolvemos el sistema de ecuaciones: Es decir, De donde c 1 =4/15 c 2 =4/5

60 Aproximación de Funciones Con lo cual, la recta obtenida es f(x)= x

61 Aproximación de Funciones Tarea: Obtener el polinomio de grado 2 que aproxima a f(x)= x en el intervalo [0,1] y dibujar las dos gráficas juntas

62 Polinomios de Legendre Si continuamos incrementando el grado del polinomio deseado (hasta n-1), llegaríamos a plantear un sistema cuya matriz es la siguiente: La cual para n regularmente grande es una matriz mal condicionada.

63 Polinomios de Legendre Por ello, los polinomios {1, x, x 2, x 3,...,x n } no resultan muy prácticos para aproximar funciones, de hecho, no son ortogonales en el intervalo [0,1] Existe una gran variedad de familias de polinomios ortogonales en algún intervalo dado. Por ejemplo, los polinomios de Legendre son ortogonales en el intervalo [-1,1] Otras familias de polinomios ortogonales son los polinomios de Chevichev, Laguerre, Bessel, etc.

64 Polinomios de Legendre Los siguientes son los primeros 6 polinomios de Legendre nP n (x) 01 1x 2½(3x 2 -1) 3½(5x 3 -3x) 4 1 / 8 (35x 4 -30x 2 +3) 5 1 / 8 (63x 5 -70x 3 +15)

65 Polinomios de Legendre Tarea: Verificar la ortogonalidad de los primeros cuatro polinomios de Legendre. Verificar también si son ortonormales. nP n (x) 01 1x 2½(3x 2 -1) 3½(5x 3 -3x)

66 Polinomios de Legendre Ejemplo: Expresar la función h(x)=cos( x) mediante un polinomio de grado 2, usando los polinomios de Legendre. Solución: obtendremos los coeficientes de la aproximación cos( x) c 0 P 0 (x)+c 1 P 1 (x)+C 2 P 2 (x):

67 Polinomios de Legendre Con lo cual, la aproximación obtenida es cos( x) f(x) = 2 / + 10 / P 2 (x)

68 Polinomios de Legendre Tarea: Hallar una aproximación para la función h(x)=sen( x) en el intervalo [-1,1], usando un polinomio de grado 2, usando polinomios de Legendre. Graficar juntas la función h(x) y el polinomio obtenido.


Descargar ppt "Espacios de dimensión infinita El espacio de Hilbert Espacios de Funciones Espacios L 2 Bases de espacios L 2 Bases ortogonales Series de Fourier Aproximación."

Presentaciones similares


Anuncios Google