Revista de Matemática: Teorı́a y Aplicaciones 2(1): 57–68 (1995) series de fourier aplicadas a problemas de cálculo de variaciones con retardo Lorena Salazar Solórzano1 Resumen En este artı́culo presentamos una aproximación de la función que minimiza el funcional Z T J[X] = F (t, X(t), X(t − τ ), Ẋ(t)) dt 0 aproximando X(t) por medio de expansiones de la serie de Fourier Coseno Xn (t). Se dan condiciones bajo las cuales J[Xn (t)] −→ J[X(t)] cuando n → ∞. Abstract In this article we present an approximation of the minimizing function of the functional Z T F (t, X(t), X(t − τ ), Ẋ(t)) dt J[X] = 0 by approximating X(t) with Cosine Fourier series expansions Xn (t). We give conditions under which J[Xn (t)] −→ J[X(t)] as n → ∞. 1 Introducción El problema que se trata de resolver aquı́ es un problema en cálculo de variaciones con retardo. Más especı́ficamente, se intenta minimizar el funcional: J[X] = Z T F [t, X(t), X(t − τ ), Ẋ(t)] dt, (1) 0 entre todas las funciones X(t) ∈ D, donde D es el conjunto de las funciones admisibles definidas por D = {X : [−τ, T ] → R : X(t) = φ(t), −τ ≤ t ≤ 0, X ∈ PC1 [0, T ], y X(T ) = B, B constante } 1 Escuela de Matemática, Universidad de Costa Rica 57 58 l. salazar Aquı́ PC1 [0, T ] denota el conjunto de las funciones continuas en [0, T ] con derivadas continuas a trozos, y φ es una función dada continua a trozos en [−τ, 0]. Asumimos además que la función F : [0, T ] × IR × IR × IR → IR ∂F es continua y posee derivadas parciales ∂X y ∂∂F continuas. Ẋ Dado que la mayorı́a de los fenómenos no ocurren instantáneamente, resulta más apropiado permitir que las variables dependan no sólo del momento actual, sino también de su pasado. En otras palabras, es más natural permitir un retardo en el tiempo. Ası́, en lugar de tener como condición inicial un sólo punto, la condición más natural es tener una función inicial φ que refleje la historia del fenómeno en cierto intervalo [−τ, 0]. Esta es una situación más realista en diferentes dominios de aplicación como en fı́sica, ingenerı́a, biologı́a, medicina, economı́a, etc. Ası́, se trata de buscar una extensión de φ(t) en el futuro hacia una función X(t) la cual satisfaga el problema anterior. Con el fin de tener continuidad necesitamos que X(0) = φ(0). Este tipo de problemas pueden ser formulados de diferentes maneras. Uno de los métodos clásicos para resolver un problema de cálculo de variaciones sin retardo, consiste en resolver la ecuación diferencial de Euler-Lagrange asociada al problema. D. Hughes [5], presenta la ecuación diferencial de Euler-Lagrange análoga para el caso en que existe retardo. Esta es: d FẊ [t, X(t), X(t − τ ), Ẋ(t)] = dt FX [t, X(t), X(t − τ ), Ẋ(t)] + FX [t + τ, X(t + τ ), X(t), Ẋ (t + τ )] en [0, T − τ ] FX [t, X(t), X(t − τ ), Ẋ(t)], en [T − τ, T ] Note que esta ecuación diferencial resulta bastante complicada, pues no sólo tiene un retardo sino que también tiene un adelanto en el tiempo. Tal enfoque no da un buen camino a seguir, dado que para resolver la ecuación se necesitarı́a información no sólo del pasado sino también del futuro, lo cual no tiene sentido en la práctica. 2 Aproximación por medio de Series de Fourier Para aproximar la solución, se seguirá un camino más directo. Se trata de aproximar la solución óptima, la cual se asume que existe, usando la serie Coseno de Fourier. Problema original: J[X] = Z T F (t, X(t), X(t − τ ), Ẋ(t)) dt 0 X(t) = φ(t) X(T ) = B, t ∈ [−τ, 0] B constante. series de fourier en problemas de cálculo de variaciones con retardo 59 Aproximación del problema: J[Xn ] = Z T F (t, Xn (t), Xn (t − τ ), Ẋn (t)) dt 0 Xn (t) = φ(t) t ∈ [−τ, 0] Xn (T ) = B, B constante, donde Xn (t) es la n-ésima suma parcial de la serie Coseno de Fourier X(t), i.e; Xn (t) = satisfaciendo las condiciones: a0 2 + φ(t) Pn k=1 ak Xn (0) = Xn (T ) = si cos( ktπ T ) si t≥0 −τ ≤t≤0 n a0 X + ak = φ(0) 2 k=1 n a0 X + (−1)k ak = B. 2 k=1 Dado que es común trabajar con expansiones trigonométricas con un perı́odo estándar de 2π, se hace un cambio de variable de [0, T ] a [0, π], por medio de: t= sT π (2) Entonces, la expansión de la serie Coseno de Fourier de X(t) puede ser escrita como: X(s) ∼ ∞ a0 X ak cos(ks), + 2 k=1 y sólo al final de esta discusión, se volverá a la expansión original X(t) en el intervalo [0, T ]. Se asumirá también la extensión natural de la función X(t) al intervalo [−T, 0]. El objetivo es probar el siguiente resultado: Si F es continua en todas sus variables, y si X(t) es continua, periódica de perı́odo 2π, y con una derivada suave a trozos, entonces la serie de Fourier Xn (t) de X(t) satisface lim J[Xn (t)] = J[X(t)] n→∞ Se usarán seis conocidos lemas para probar este resultado. Las pruebas de los lemas pueden encontrarse en [12]; sin embargo, aquı́ los enunciados han sido modificados al caso en que la serie de Fourier incluye sólo los términos con coseno. Pruebas de estos lemas ya modificados pueden encontrarse en [9]. 60 l. salazar Lema 1 Si u ∈ [0, π] , entonces: n 1 X sen[(n + 1/2)u] + cos(ku) = 2 k=1 2sen(u/2) Lema 2 Si X(t) es periódica de perı́odo 2π, y si: X(t) ∼ entonces: Xn (t) = 1 π Z ∞ a0 X + ak cos(kt) 2 k=1 π [X(t + u) + X(u − t)] 0 sen[(n + 1/2)u] du. 2sen(u/2) Lema 3 Cualquier función X(t) puede ser expresada como: X(t) = 2 π π Z X(t) 0 sen[(n + 1/2)u] du. 2sen(u/2) (3) Lema 4 Si X(t) es continua y periódica con perı́odo 2π y con una derivada absolutamente integrable, y si W (u) es una función con derivada continua para α ≤ u ≤ β, entonces para cualquier > 0 se tiene: Z β X(t + u)W (u)sen(mu) du ≤ , α para m > 0 suficientemente grande. Lema 5 Para cualquier m, la integral: Z 0 u sen(ms) ds 2sen(s/2) es acotada para 0 ≤ u ≤ π. Lema 6 2 Si f (t) es una función absolutamente integrable, entonces: lim Z b m→∞ a f (t) sen(mt) dt = lim Z b m→∞ a f (t) cos(mt) dt = 0, donde m no es necesariamente un entero. Con el uso de estos lemas, se pueden establecer algunos criterios de convergencia para la sucesión de funciones {Xn (t)}∞ n=1 . Para ello se asumen además las siguientes condiciones para las funciones admisibles: 2 Este resultado es usualmente conocido como el lema de Riemann-Lebesgue series de fourier en problemas de cálculo de variaciones con retardo 61 (A.1) X(t) es continua y periódica de perı́odo 2π, (A.2) Ẋ(t) es absolutamente integrable, (A.3) Ẋ(t) es suave a trozos. Las condiciones (A.1) y (A.2) son suficientes para garantizar que Xn (t) converge uniformemente a X(t) en [0, π], como se mostrará en el Teorema 1 . La condición (A.3) es agregada con el fin de asegurar la convergencia puntual casi por doquier de Ẋn (t) a Ẋ(t) en [0, π]. Las pruebas de los siguientes teoremas en el caso en que no hay retardo, pueden encontrarse en diferentes textos como en [12], [3], [6] y [7]. Sin embargo, aquı́ se hacen adaptaciones a estos resultados, para el caso en que sı́ existe retardo. Teorema 1 Si X(t) es continua, periódica de perı́odo 2π y Ẋ(t) es absolutamente integrable, entonces su serie de Fourier Coseno Xn (t) converge uniformemente a X(t) en [0, π]. demostración: Por los lemas 1 y 2: Xn (t) − X(t) Z sen(n + 1/2)u 1 π [X(u + t) + X(u − t) − 2X(t)] du = π 0 2sen(u/2) Z Z 1 π sen(mu) 1 π sen(mu) = [X(u + t) − X(t)] du + [X(u − t) − X(t)] du π 0 2sen(u/2) π 0 2sen(u/2) = I1 + I2 donde m = n + 1/2. Se probará el resultado para I1 . El resultado para I2 sigue el mismo argumento cambiando X(u + t) por X(u − t). La prueba se basa en dividir el intervalo [0, π] en dos subintervalos [0, δ] y [δ, π], donde δ > 0 es cualquier número real con 0 < δ < π. Luego se subdivide I1 en dos subintegrales, digamos I11 , I12 , sobre estos subintervalos respectivamente. Se probará que |I1 | < /2. Empezamos con el intervalo [0, δ]: I11 = 1 π Z δ [X(u + t) − X(t)] 0 sen(mu) du. 2sen(u/2) Integrando I11 por partes, z = X(u + t) − X(t) dz = Ẋ(t + u) R sen(ms) sen(mu) dv = 2sen(u/2) v = 0u 2sen(s/2) ds resulta: I11 = = u sen(ms) u sen(ms) δ 1 1 δ [X(u + t) − X(t)] ds − ds du Ẋ(u + t) π π 0 0 2sen(s/2) 0 2sen(s/2) 0 Z δ Z u Z sen(ms) sen(ms) 1 δ 1 [X(δ + t) − X(t)] ds − ds du. Ẋ(u + t) π 2sen(s/2) π 2sen(s/2) 0 0 0 Z Z Z 62 l. salazar Como X(t) es continua y 2π-periódica, es acotada. Por lo tanto X(t) es uniformemente continua. Entonces para cada η > 0 existe un δ = δ(η) tal que si s, t son numeros reales con |s − t| < δ, entonces: |X(s) − X(t)| < η. Por lo tanto para > 0 se puede seleccionar δ1 > 0, tal que para todo t > 0 y 0 < δ < δ1 : |X(t + δ) − X(t)| < π/4M , donde M > 0 es una cota superior para: Z u 0 sen(ms) ds, 2sen(s/2) la cual existe por el lema 5. Por otro lado, como Ẋ(t) es absolutamente integrable, se tiene que para > 0 existe un δ2 > 0 tal que para 0 < δ < δ2 se tiene: Z Si 0 < δ < min{δ1 , δ2 }, se tiene: |I11 | ≤ ≤ t+δ t Ẋ(s) ds ≤ π/4M . Z 1 |X(t + δ) − X(t)| π 0 δ sen(ms) ds 2sen( 2s ) Z ! Z u sen(ms) 1 δ ds du + Ẋ(u + t) s π 0 0 2sen( 2 ) 1 π 2 π 4M M= . 2 Para el otro intervalo I12 sobre [δ, π], la observación esencial es que: W (u) = 1/2sen(u/2) es continua y tiene derivadas continuas. Entonces se tiene: |I12 | = ≤ ≤ Z π 1 sen(mu) [X(u + t) − X(t)] du π 2sen(u/2) δ Z π Z π 1 1 sen(mu) sen(mu) + X(u + t) X(t) du du π 2sen(u/2) π δ 2sen(u/2) δ Z π Z π 1 1 X(u + t)W (u)sen(mu) du + X(t)W (u)sen(mu) du . π π δ δ Usando el lema 4, se obtiene para m = n + 1/2 suficientemente grande: |I12 | ≤ , 2 por lo que se obtiene que |I1 | < . Ası́ mismo se prueba para I2 . Ası́: |Xn (t) − X(t)| ≤ 2 series de fourier en problemas de cálculo de variaciones con retardo 63 para todo t y para todo n suficientemente grande, lo que implica que: Xn (t) −→ X(t) uniformemente cuando n → ∞, como se querı́a. Teorema 2 Si X(t) es continua, periódica de perı́odo 2π con una derivada absolutamente integrable, entonces la serie de Fourier Coseno de Ẋ(t) puede ser obtenida de la serie de Fourier de X(t) diferenciando término a término. demostración: Por el Teorema 1, se sabe que Xn (t) → X(t) uniformemente cuando n → ∞. Por lo tanto: X(t) = ∞ a0 X + ak cos(kt). 2 k=1 Sean A0k , Bk0 los coeficientes de la serie de Fourier de Ẋ(t), i.e: n A00 X + {A0k cos(kt) + Bk0 sen(kt))}. 2 k=1 Ẋ(t) ∼ Entonces por definición: A00 = = 1 π 1 π = 0, Z π Ẋ(t) dt = −π 1 [X(π) − X(−π)] π ∞ a0 X + ak (−1)k 2 k=1 ! 1 − π ∞ a0 X + ak (−1)k 2 k=1 ! y 1 π Ẋ(t) cos(kt) dt π −π π Z k π −k X(t)sen(kt) dt X(t)sen(kt) + = 2π π −π −π Z π 1 = 0+k X(t)sen(nkt) dt . π −π A0k = Z Como solo estamos considerando la serie de Fourier Coseno de X(t), los términos con seno Rπ X(t)sen(kt) dt = 0, entonces: son cero; es decir los coeficientes bk = −π A0k = kbk = 0. Además, Bk0 = = 1 π Ẋ(t)sen(kt) dt π −π π Z k π 1 [kX(t) cos(kt)] − X(t) cos(kt) dt π π −π −π Z = 0−k Z = −kak , π X(t) cos(kt) dt −π 64 l. salazar ası́: Ẋ(t) ∼ ∞ X −kak sen(kt) k=1 lo cual coincide con la diferenciación término a término de la serie: X(t) = ∞ a0 X + ak cos(kt). 2 k=1 El siguiente teorema, también conocido dentro de la teorı́a de series de Fourier, plantea la convergencia de Ẋn (t) hacia Ẍ(t). Teorema 3 Si X(t) es continua, periódica de perı́odo 2π y Ẋ(t) es suave a trozos y absolutamente integrable en [0, π], entonces la serie de Fourier de Ẋ(t) converge casi por doquier (a.e.) en [0, π]. demostración: Dado que Ẋ(t) es suave a trozos en [0, π], Ẍ(t) existe excepto en un número finito de puntos. Sea t uno de los puntos donde Ẍ(t) existe. Se probará que: Ẋn (t) → Ẋ(t) cuando n → ∞. Por el lema 2: Xn (t) = 1 π Z π [X(t + u) + X(u − t)] 0 sen(n + 1/2)u du. 2sen(u/2) Como Ẋ(t) puede ser obtenida de X(t) diferenciando término a término, se tiene: 1 Ẋn (t) = π Z π [Ẋ(t + u) − Ẋ(u − t)] 0 sen(n + 1/2)u du. 2sen(u/2) También por el lema 3: 2 Ẋ(t) = π Z 0 π Ẋ(t) sen(n + 1/2)u du. 2sen(u/2) Entonces: Ẋn (t) − Ẋ(t) Z sen(n + 1/2)u 1 π [Ẋ(t + u) − Ẋ(u − t) − 2Ẋ(t)] du = π 0 2sen(u/2) Z sen(n + 1/2)u 1 π = [Ẋ(t + u) − Ẋ(t)] + [Ẋ(u − t) − Ẋ(t)] du π 0 2sen(u/2) = 1 π Z 0 π Ẋ(t + u) − Ẋ(t) Ẋ(u − t) − Ẋ(t) + u u ! u sen(n + 1/2)u du. 2sen(u/2) series de fourier en problemas de cálculo de variaciones con retardo 65 Dado que Ẋ es suave a trozos, también lo son Ẋ(t + u) − Ẋ(t) y Ẋ(u − t) − Ẋ(t) como funciones de u. Dividiendo entre u, ellas siguen siendo suaves a trozos, dado que la única posible dificultad es que en u = 0 este cociente no tendiera a un lı́mite finito. Pero: Ẋ(t + u) − Ẋ(t) u Ẋ(u − t) − Ẋ(t) lim u→0 u lim u→0 = Ẍ(t) = Ẍ(−t) son finitos dado que se asumió que Ẍ(t) existe. Por otro lado, se ve que: u = 1 < ∞. u→0 2sen(u/2) lim Por lo tanto, si se define: W (u) = " # Ẋ(t + u) − Ẋ(t) Ẋ(u − t) − Ẋ(t) u + , u u 2sen(u/2) se tiene que W (u) es absolutamente integrable, por ser el producto de una función absolutamente integrable con una función acotada. Entonces para n suficientemente grande, Ẋn (t) − Ẋ(t) Z 1 π W (u)sen(n + 1/2)u) du = π 0 Z Z 1 π 1 π W (u)sen(nu) cos(1/2) du + W (u)sen(1/2) cos(nu) du = π 0 π 0 ≤ , por el lema 6 (Riemman-Lebesgue). Entonces Ẋn (t) → Ẋ(t) cuando n → ∞ para casi todo t ∈ [0, π], como se querı́a. Hasta ahora se ha probado que si X(t) es continua, periódica, con derivada Ẋ(t) suave a trozos y absolutamente integrable, entonces Xn (t) = Xn (t − τ ) = Ẋn (t) = n a0 X ktπ + ak cos( ) −→ X(t) 2 T k=1 uniformemente. n a0 X k(t − τ )π + ak cos( ) −→ X(t − τ ) 2 T k=1 n X k=1 −kak sen( ktπ ) −→ Ẋ(t) T uniformemente. a.e. para n → ∞. Nótese que se hizo el cambio a las variables originales [0, T ]. Finalmente se probará el resultado mencionado al comienzo de esta discusión. 66 l. salazar Teorema 4 Si F es continua en todos sus argumentos, y si la función X(t) satisface la condiciones [A.1], [A.2] y [A.3], entonces J[Xn ] → J[X] cuando n → ∞, i.e. Z T F [t, Xn (t), Xn (t − τ ), Ẋn (t)] dt −→ 0 Z T F [t, X(t), X(t − τ ), Ẋ(t))] dt 0 demostración: Sea Fn = F (t, Xn (t), Xn (t − τ ), Ẋn (t)), entonces: |J[Xn ] − J[X]| ≤ Z T |Fn (t) − F (t)| dt 0 = Z 0 T F (t, Xn (t), Xn (t − τ ), Ẋn (t)) − F (t, X(t), X(t − τ ), Ẋ(t)) dt. Como F es continua en todos sus argumentos y como: Xn (t) −→ X(t) a.e. Xn (t − τ ) −→ X(t − τ ) a.e. Ẋn (t) −→ Ẋ(t) a.e., entonces: F (t, Xn (t), Xn (t − τ ), Ẋn (t)) −→ F (t, X(t), X( t − τ ), Ẋ(t)) a.e. Por otro lado, como F es acotada, existe un M > 0 tal que: F (t, Xn (t), Xn (t − τ ), Ẋn (t)) ≤ M para todo t ∈ [0, T ] y para todo n. Ası́ se tiene una sucesión de funciones medibles {Fn } tal que |Fn | ≤ M para todo t ∈ [0, T ] y tal que Fn −→ F a.e. Por lo tanto, por el Teorema de Convergencia Acotada se tiene que: lim Z n→∞ 0 T Fn (t) dt = Z T lim Fn (t) dt, n→∞ 0 por lo que: lim |J[Xn ] − J[X]| ≤ n→∞ = lim Z n→∞ 0 Z T 0 T |Fn (t) − F (t)| dt lim |Fn (t) − F (t)| dt n→∞ = 0, lo cual da el resultado que se querı́a: J[Xn (t)] −→ J[X(t)] as n → ∞. series de fourier en problemas de cálculo de variaciones con retardo 3 67 Conclusión Los problemas en Cálculo de Variaciones con retardo difieren mucho de los problemas sin retardo. Los métodos comúnmente usados cuando no hay efectos hereditarios, fallan o no son apropiados con la introducción del retardo. Es necesario desarrollar métodos que sean más directos; es decir, métodos que aproximen la solución óptima por medio de la construcción de una sucesión de funciones que converge a la función deseada. El método presentado aquı́ podrı́a considerarse uno de ellos. Todos los resultados usados son conocidos y clásicos de la teorı́a de Fourier. El resultado es un método muy sencillo, una alternativa que podrı́a usarse como una primera aproximación, con hipótesis fáciles de verificar y las cuales son satisfechas por una amplia variedad de funcionales. Además, el método presentado aquı́ podrı́a ser programado fácilmente. En particular, ésto se logra usando un paquete comercial llamado GAMS [2], como se presenta en [10]. Referencias [1] Akhiezer, N. (1962) The Calculus of Variations. Blaisdell Publishing Company, New York, London. [2] Brooke, A.; Kendrick, D. and Meeraus, A. (1988) GAMS A User’s Guide. The Scientific Press. [3] Davis, H. (1989) Fourier Series and Orthogonal Functions. Dover Publications, New York. [4] Gelfand, I. M. and Fomin, S.V (1963) Calculus of Variations. Prentice-Hall Inc., New Jersey. [5] Hughes, D. (1968) “Variational and optimal control problems with delayed argument”, Journal of Optimization Theory and Applications, 2(1): 1–15. [6] Powers, D. (1979) Boundary Value Problems. Academic Press, New York. [7] Rees, Ch. (1980) Theory and Applications of Fourier Analysis. Marcel Decker Inc., New York. [8] Rosenblueth, J.F. (1988) “Systems with time delay in the calculus of variations: a variational approach”, IMA Journal of Mathematical Control and Information, Vol. 5: 125–145. [9] Salazar, L. (1994) Using GAMS to solve Optimization Problems with time Delay. Tesis de Maestrı́a, The University of Toledo, Ohio, Estados Unidos. Julio de 1994. [10] Salazar, L. (1995) “GAMS: un paquete de optimización usado en cálculo de variaciones”. en Memorias IX Simposio Métodos Matemáticos Aplicados a las Ciencias, J. Trejos (ed.), Universidad de Costa Rica–Instituto Tecnológico de Costa Rica, Turrialba. 68 l. salazar [11] Styczen, K. (1988) “Generalized trigonometric approximation of optimal periodic control problems”, Int. J. Control 47(2): 459–476. [12] Tolstov, G. (1976) Fourier Series. Dover Publications, New York. [13] Weinstock, R. (1974) Calculus of Variations with Applications to Physics and Engineering, Stanford University, Dover Publications, New York.