series de fourier aplicadas a problemas de cálculo de variaciones

Anuncio
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.
Descargar