Gastón Giribet explica que la ecuación de la física, relacionada con los problemas del milenio, es muy compleja desde el punto de vista matemático.
Habla: Gastón GiribetSignificado #12ecuación física problemas mileniocomplejidad matemática ecuación físicasoluciones ecuaciones físicasunicidad existencia solucionesecuaciones einstein nunca resolviósoluciones schwarzschild ecuaciones einsteinresolución ecuaciones diferenciales complejasproblemas particulares soluciones einstein…del milenio; uno de ellos está relacionado con la ecuación, que es una ecuación de la física, a pesar de que los problemas del milenio son problemas abiertos en matemática, porque es una ecuación que nace de la física y es muy importante para la física. Ahora Vamos a hablar de qué es, pero por otro lado es un problema que desde el punto de vista matemático es muy complejo, porque la ecuación es muy, aparte de ser importante para la física, es muy muy difícil decirlo. Algo de ellas, entonces algo de sus soluciones, algo acerca de la existencia de sus soluciones, algo acerca de la unicidad de existencia de sus soluciones y algo acerca del buen comportamiento de las soluciones que existen. Es una ecuación diferencial, en física ocurre mucho que uno escribe una ecuación diferencial, pero esa ecuación diferencial al ser no lineal, al ser muy compleja, no quiere decir que sea fácil resolverla. Por ejemplo, conocemos las ecuaciones de Einstein, que Einstein nunca resolvió, por ejemplo, de manera exacta; es decir, la resolvió Schwarzschild, la resolvió Kerr, la resolvió, no sé, Robinson, mucha gente. Pero las ecuaciones las escribió Einstein, pero una cosa es escribir unas ecuaciones. Las ecuaciones dicen mucho sobre la física, pero sus soluciones se aplican a problemas particulares y a veces es muy difícil resolver esas soluciones, o incluso saber si es posible resolver esas soluciones. La ecuación de Navier-Stokes es una ecuación que gobierna la dinámica de los fluidos. ¿Qué quiere decir esto? De todo fluido; absolutamente todo fluido. Fluido de gases, líquidos. Por supuesto, uno puede pensar en diferentes condiciones. Hay fluidos que…
Gastón Giribet explica que el objetivo no es resolver ecuaciones de fluidos con condiciones suaves, sino demostrar algo fundamental: que la solución se comporta bien para cualquier condición inicial.
Habla: Gastón GiribetSignificado #19ecuaciones de fluidos con condiciones suavessolución se comporta bien francisproblema para matemáticos condición inicial…ecuaciones en una determinada situación en la que le pongo un fluido en unas condiciones suaves y voy a resolverlo, no; se trata de demostrar. No es que yo diga: ah pues sí, yo lo resolví para estas condiciones y me salió que todo iba bien, no; no tienes que Demostrar que siempre, para cualquier condición que pongas, cualquier condición inicial que pongas, aquello se va a seguir comportando bien. Claro, pero eso es un problema para matemáticos, ¿no? O sea, gente como Francis se dedica a esas cosas, que son mucho más complicadas que el problema. Resolver esas situaciones es complicado, pero siempre las estarás resolviendo en unas condiciones particulares. Pero esto es que para cualquier, que puedas demostrar que para cualquier, da igual lo que tú le pongas de entrada, se va a comportar bien o encontrar un contraejemplo Al menos encontrar un contraejemplo en el que muestres que no es así. Demostrar eso. El…
Francis Villatoro continúa explicando las dificultades para generar singularidades en fluidos cuando todo es infinitamente diferenciable, introduciendo un concepto llamado 'forzamiento'. Menciona una posible solución relacionada con las formulaciones C y D.
Habla: Francis VillatoroSignificado #11 · Palabras #3forzamiento infinitamente diferenciable feffermansingularidad en el fluidocampo de velocidades infinitamente diferenciablesingularidades en fluidos infinitamente diferenciablesconcepto forzamiento para singularidadformulaciones c y d de feffermanespacio abierto en r3contención cotoroperiódica en el troide…que es metiendo un forzamiento. Entonces yo meto un forzamiento, una fuerza externa, que genere en el fluido una singularidad. Esto en principio parece fácil: que si yo meto en el forzamiento algún tipo de origen de la singularidad, automáticamente. En el fluido genera la singularidad. Entonces lo que plantea Fefferman es que el forzamiento sea suave, que sea infinitamente diferenciable. Entonces el estado inicial del fluido, es decir, su campo de velocidades y su campo de presiones, la presión y la velocidad, tienen que ser infinitamente diferenciables y el forzamiento también. entonces como todo es infinitamente diferenciable aparece una dificultad generar metiendo un forzamiento que aparezca una singularidad parece una cosa muy difícil pero hay una trampa que tiene esta formulación C y D, la formulación C es en el infinito en el R3 en el espacio abierto y la D es en contención de cotoroperiódica en el troide hay una trampa y la trampa es que Yo puedo, en lugar de plantearme, generar un campo de fuerza; si yo pongo una solución, una solución cualquiera, de hecho ni siquiera tiene que ser una solución de las ecuaciones de Navier-Stokes, una función cualquiera, un campo de velocidad cualquiera, lo…
Francis Villatoro explica cómo se puede obtener una solución al problema C introduciendo una condición inicial suave que simula una explosión o 'blowout' en la solución.
Habla: Francis VillatoroSignificado #16 · Palabras #4condición inicial suave problema cblowout simula explosión soluciónsingularidad generada por blowoutcampo de fuerza no diferenciable…campo de velocidades que me genere una singularidad. Calculo automáticamente el campo de presiones y eso calcula automáticamente el campo de fuerza. Entonces, yo ya tengo una solución del problema C; ah, pero eso tiene un problema, cuando yo hago eso, cuando Yo cojo una solución en principio suave como condición inicial, que yo sé que tiene un perfil típico de lo que es un blowout, de una explosión de la solución, algo que va a generar la singularidad. Lo que ocurre es que el campo de fuerza que me resulta no es infinitamente diferenciable. El hecho de que esta solución que yo he metido aquí, con este truco, fijaros, esto es un truco, porque no estoy resolviendo las ecuaciones de never stops, no estoy cogiendo una condición inicial y evolucionando la ecuación en el tiempo para obtener cómo se…
Francis Villatoro recuerda lo que estaba diciendo sobre la formulación C del problema del milenio, explicando que implica introducir un campo de velocidad arbitrario en la ecuación y buscar una singularidad.
Habla: Francis VillatoroSignificado #14campo de velocidad arbitrario problema mileniosingularidad en ecuaciones navier stokesforzamiento infinitamente diferenciable problema milenio…bueno, tampoco es que, uff. Sí, sí, tampoco, para vosotros que sois gringos tenéis mucho más dinero en los proyectos de la NSF. Dice Tomás Vila que ahí en Guayú un millón de dólares lo que cuesta un café. Bueno, puede que no tanto con un café de especialidad. Plantearos: Recordemos lo que yo estaba diciendo. Fijaros, esta formulación C del problema del milenio consiste en, yo meto un campo de velocidad cualquiera, el que me dé la gana en el miembro derecho de la ecuación; tenía que estar igualado a cero, pero no está igualado a cero. Está igualado a una fuerza que yo construyo a partir de ese campo. Y ahora lo que tengo que hacer es buscar la manera de que el campo de velocidad que yo meto por un lado produzca una singularidad, porque no tiene singularidad, es regular; produzca una singularidad y, por otro lado, que el forzamiento que produzca, el residuo de aplicar la ecuación, sea infinitamente diferenciable. Esta línea de ataque es lo que comenzó a trabajar Diego Córdoba con su equipo para su segundo proyecto, para el proyecto de la Embase Grand sobre 2018. Y en ese proyecto se defiende la tesis doctoral de Luis Martínez Zoroa, que por lo que cuenta Diego es uno…
Francis Villatoro describe una solución matemática que implica un vórtice central y chorros de fluido hacia arriba y abajo, explicando las dificultades para conectar esta solución con funciones infinitamente diferenciables.
Habla: Francis VillatoroSignificado #1 · Palabras #2vórtice central en fluidochorros de fluido hacia arriba abajosolución infinitamente diferenciableproblema fefferman c y dsoporte compacto de la solucióncampo de velocidades con propiedades específicasinfinitamente diferenciable fuerza aplicadaconstrucción campo velocidades francis villatoro…en un plano el fluido está dando en espiral hacia el interior. Claro, cuando eso ocurre, estamos metiendo fluido hacia el centro; ese fluido tiene que escapar por algún lado y escapa de manera transversal, entonces tengo un chorro transversal a ese plano. a ese disquito que estoy cayendo en espiral con un vórtice y tengo un chorro hacia arriba y un chorro hacia abajo. Yo evacuo el fluido hacia arriba y hacia abajo. Entonces yo tengo una solución de ese tipo. Claro, conectar esta solución con algo que sea infinitamente diferenciable es difícil y además lo que se pretendía era resolver el problema C y también el problema D. y para eso lo más natural es que la solución que yo fabrique tenga soporte compacto, es decir, que sea exactamente cero a partir de cierta distancia. Yo tengo como una caja y todo ocurre dentro de esa caja; dentro de una distancia máxima y desde las paredes de esa caja hasta el infinito tengo exactamente cero. Entonces, yo quiero construir un campo de velocidades que me da un campo de presiones y que me da una fuerza aplicada que sea infinitamente diferenciable y que sea exactamente cero a partir de cierta distancia. ¿Qué ventaja tiene eso? Una ventaja muy sencilla para el problema de condiciones de contorno lo único que tengo que hacer es poner que las condiciones de contorno, es decir, el toroide, estén más lejos que el tamaño de esa caja. Si esto me cabe en una caja de tamaño 1, pues pongo un…
Francis Villatoro explica cómo conectar un vórtice, que acumula vorticidad al acercarse al centro, con una solución infinitamente diferenciable.
Habla: Francis VillatoroSignificado #2 · Palabras #1vórtice acumula vorticidadecuación del calor y vórticesconexión vorticidad solución diferenciablenúcleo vórtice problema capasanillo rodea núcleo problemasolución decae exponencialmente ecuación calorecuación del calor comportamiento solución…de contorno, es decir, el toroide, estén más lejos que el tamaño de esa caja. Si esto me cabe en una caja de tamaño 1, pues pongo un problema de tamaño 1,1 y automáticamente la misma solución me sirve para los dos problemas, para el C y para el D. Bien, Pero claro, ¿cómo yo conecto ese vórtice? Ese vórtice que tiene vorticidad y que va acumulando vorticidad conforme se acerca al centro, ¿cómo lo conecto con una solución infinitamente diferenciable? Pues lo más natural es que la cola de esa solución infinitamente diferenciable que cae hasta cero sea una solución de la ecuación del calor. Entonces yo tengo un problema, digamos, de capas; tengo el núcleo, que es el vórtice, tengo un anillo que rodea el núcleo y tengo una solución que decae exactamente a cero y que su comportamiento básicamente es de ecuación del calor. Yo puedo filtrar básicamente una ecuación del calor y cortarla en un cierto punto y hacer que vaya a cero de manera infinitamente diferenciable. Entonces yo tengo esos tres regímenes. Claro, yo tengo inicialmente esa solución; yo genero un campo de fuerza, y ahora, ¿cómo uso el campo de fuerza para que la solución, que es regular, que no tiene ningún tipo de singularidad, se vaya acercando a una solución que tenga una singularidad? Claro,…
Francis Villatoro explica que, tras un proceso iterativo de inyección de energía, se logra una velocidad infinita en el centro del campo, junto con la convergencia de sus derivadas hacia infinito.
Habla: Francis VillatoroSignificado #13 · Palabras #14convergencia de derivadas hacia infinitocampo de velocidad en el origensolución regular en tiempo finitonormalización del tiempo a la unidad…Recordemos, son de soporte compacto, los chorros no llegan hasta infinito, llegan hasta una distancia finita. Entonces, esa distancia crece y con este mecanismo hecho infinitas veces, yo acabo logrando que la velocidad en el centro acabe siendo infinito. Pero uno dice, y tiene que haber una trampa; es decir, yo tenía una solución regular en tiempo finito, el tiempo finito se normaliza a la unidad; yo consigo que el campo de velocidad en el centro tenga no solo una velocidad que tiende a infinito, justo en el centro, en el origen, nada más; el resto de los puntos, los valores son infinitos, pero además consigo que todas las derivadas, el gradiente y todas las derivadas también tiendan a infinito. Es decir, es un blow-up verdadero, porque si solamente tengo amplitud que tiende a infinito, no tengo garantías de que las derivadas estén bien acotadas y podría haber, como yo estoy normalizando siempre el tiempo de blow-up a la unidad, yo podría falsear el…
Francis Villatoro describe un mecanismo para aplicar un campo de fuerza infinitamente diferenciable, comparándolo con una idea similar desarrollada por Diego Córdoba y su equipo.
Habla: Francis VillatoroSignificado #5 · Palabras #8campo de fuerza infinitamente diferenciableidea diego córdoba y su equipotruco trivial aplicado por francis villatoro…evalúas el campo al cuadrado, la norma de la velocidad al cuadrado y calculas la integral y te da que su valor está reduciéndose. Entonces, cuando la velocidad se vuelve infinito, la energía cinética en el origen se vuelve cero. Más acotado que cero no hay. Y todo esto con un mecanismo que me garantiza que el campo de fuerza que estoy aplicando en todo momento es infinitamente diferenciable. Es decir, todo esto tiene una serie de ajustes finos; la idea es muy tonta, es un truco extremadamente trivial, es exactamente la misma idea que tenían Diego Córdoba y su equipo pero aplicada de una manera tan sutil y tan concreta que todo acaba encajando y todo acaba funcionando. Entonces, esto por supuesto es una solución de interés única y exclusivamente matemático; es decir, no tiene ningún tipo de, en principio, aplicación física, aunque probablemente haya que buscarle en los próximos meses una aplicación física. Fijaros que lo…