[juansanro]

Hola, agradecería si alguien pudiera ayudarme a resolver el siguiente problema:

Encontrar un mínimo del siguiente funcional:
\( F(y)=(\displaystyle\int_{0}^{T}{y''dt})^2 \). Teniendo en cuenta las siguientes restricciones: \( y''(t)\geq{0} \), \( y''(t)\leq{A} \)  \( \forall{t\in{[0,T]}} \) ;\( y(T)=L;y(0)=0, \)\( y'(0)=0. \)

En clase solo hemos visto este tipo de problemas cuando el funcional que tenemos es la integral de alguna función, pero en este caso esta integral está al cuadrado y no sé muy bien como hacerlo.
Según tengo entendido este problema es bastante común en el cálculo de variaciones y está relacionado con la búsqueda de la aceleración óptima que permite recorrer una distancia L utilizando la menor cantidad de energía posible.

Gracias de antemano.

[Masacroso]

Elevar al cuadrado no afecta a los máximos o los mínimos en este contexto, al menos si la integral es positiva, por tanto puedes considerar la ecuación \( G(y):=\int_0^t y''(t)\,\mathrm dt \) y luego, entre las soluciones que encuentres, ver cuál minimiza a \( F \).

[juansanro]

Elevar al cuadrado no afecta a los máximos o los mínimos en este contexto, al menos si la integral es positiva, por tanto puedes considerar la ecuación \( G(y):=\int_0^t y''(t)\,\mathrm dt \) y luego, entre las soluciones que encuentres, ver cuál minimiza a \( F \).

Gracias por tu respuesta. Una vez que aplico lo que me cabas de decir encuentro otro problema y es que alguna de las restricciones que tengo vienen dadas con desigualdades; y no sé trabajar con ellas.

[Masacroso]

Elevar al cuadrado no afecta a los máximos o los mínimos en este contexto, al menos si la integral es positiva, por tanto puedes considerar la ecuación \( G(y):=\int_0^t y''(t)\,\mathrm dt \) y luego, entre las soluciones que encuentres, ver cuál minimiza a \( F \).

Gracias por tu respuesta. Una vez que aplico lo que me cabas de decir encuentro otro problema y es que alguna de las restricciones que tengo vienen dadas con desigualdades; y no sé trabajar con ellas.

Supongo que en principio deberías mirar que funciones minimizan tu problema con las otras restricciones y luego de entre ellas buscar cuales cumplen que \( A\ge y''(t)\ge 0 \) para \( t\in[0,T] \). Pero la verdad es que no me he encontrado un ejercicio de este tipo antes así que no sé si eso te servirá.

[juansanro]

Elevar al cuadrado no afecta a los máximos o los mínimos en este contexto, al menos si la integral es positiva, por tanto puedes considerar la ecuación \( G(y):=\int_0^t y''(t)\,\mathrm dt \) y luego, entre las soluciones que encuentres, ver cuál minimiza a \( F \).

Gracias por tu respuesta. Una vez que aplico lo que me cabas de decir encuentro otro problema y es que alguna de las restricciones que tengo vienen dadas con desigualdades; y no sé trabajar con ellas.

Supongo que en principio deberías mirar que funciones minimizan tu problema con las otras restricciones y luego de entre ellas buscar cuales cumplen que \( A\ge y''(t)\ge 0 \) para \( t\in[0,T] \). Pero la verdad es que no me he encontrado un ejercicio de este tipo antes así que no sé si eso te servirá.

He intentado lo que me has comentado pero sigo sin poder solucionarlo, al hacer la Ecuación de Euler Lagrange no me sale nada

[Masacroso]

He intentado lo que me has comentado pero sigo sin poder solucionarlo, al hacer la Ecuación de Euler Lagrange no me sale nada

Ni idea. El otro día miré por encima en los libros que tengo de cálculo de variaciones y no encontré nada semejante, me refiero en concreto a tener la limitación de \( 0\le f''(t)\le A \) para algún \( A \). Pregúntale a tu profesor, y luego pon aquí la respuesta, así me entero yo también de cómo se resolvía.

[robinlambada]

Hola.

He intentado lo que me has comentado pero sigo sin poder solucionarlo, al hacer la Ecuación de Euler Lagrange no me sale nada

No podemos aplicar la ecuación de Euler-Lagrange, pues estas son válidas para funcionales que dependen a lo sumo de la 1ª derivada. \( L(x,y,y') \) y no derivadas sucesivas como es tu caso.

Para ello en este enlace "Apuntes de Métodos variacionales de A. Cañada" (tienes en la página 33 como es la condición de extremal de la funcional para derivadas superiores: la ecuación 2.70). Pero no te sirve para nada pues los dos miembros de la ecuación se anulan sale 0=0)

Al ser \( y''\geq{}0 \) y \( t\in{[0.T]} \) , el integrando es mayor o igual a cero y la integral será mayor o igual a cero.
Una posible solución que podría ser es la trivial \( y''=0 \). pero con las condiciones iniciales  \( y'(t)=cte=y'(0)=0\Leftrightarrow{} \)\( y(t)=cte \),   pero se contradice por que \( y(0)\neq{}y(T)
 \).

Pregúntale a tu profesor, y luego pon aquí la respuesta, así me entero yo también de cómo se resolvía.

Me interesa mucho a mí también que solución te da tu profesor, te pido que si la conoces la compartas con nosotros.

Muchas gracias.

P.D.: A no ser que los extremos no sean fijos

[Masacroso]

Hay un texto sobre problemas variacionales con desigualdades como condicionantes:
https://ac.els-cdn.com/0022247X62900562/1-s2.0-0022247X62900562-main.pdf?_tid=b12f13d9-af23-4f5a-9d17-48fa0f98f056&acdnat=1520775871_878febeb3a1a12738e400e7fd5ab459f

y en este otro texto se trata el mismo tema (básicamente se define una variable auxiliar para escribir la desigualdad como una igualdad):

http://www.math.utah.edu/~cherk/teach/12calcvar/constrained.pdf

Y en el siguiente enlace se habla de un problema muy parecido al que plantea el OP

https://math.stackexchange.com/questions/1613613/calculus-of-variation-with-inequality-constraints

Y en la wiki inglesa tienen las ecuaciones de Euler-Lagrange generalizadas a varios casos, entre ellos considerando derivadas de mayor grado que 1, como es este caso:

https://en.wikipedia.org/wiki/Euler%E2%80%93Lagrange_equation