Gastón Giribet aclara una observación anterior sobre las condiciones de contorno en problemas matemáticos, diferenciando entre R3 y T3.
…el 2000 y el año 2010, se demostró que en la interfase entre dos fluidos de densidad constante, cada uno es de densidad constante, la interfase se puede curvar en ciertas circunstancias formando una especie como de ola que rompe y en el centro de esa ola se genera una singularidad Sí, pero déjame hacer una aclaración en mi defensa nada más, con contorno, me refiero al contorno en el sentido amplio, por ejemplo, no es lo mismo en R3 que en T3, es decir, no es lo mismo pensar en R3 como en un toro y eso también es contorno Eso sí, pero eso son condiciones de contorno periódicas que simulan al problema de valores iniciales, ¿vale? Pero el problema de valores iniciales y condiciones de contorno no está incluido dentro del premio del milenio, solo el problema de valores iniciales, lo que sería el problema de Cochis. Es el único problema que es relevante en la formulación. Entonces, los dos problemas que ha comentado Gastón, de los cuatro problemas, de las cuatro variedades, esto es una cosa que puso Feferman; Feferman fue el director de la tesis doctoral del padre de Diego Córdoba y fue el director de la tesis doctoral de Diego Córdoba. En su momento, en el año 2000, todo el mundo pensaba, bueno, todo el mundo, gran parte, la mayoría de los expertos en la matemática de las ecuaciones de Navidad-Stokes pensaba que si yo parto de una condición inicial regular, que no tiene singularidades, el flujo se va a mantener regular eternamente entonces ese es el problema que se formula como lo que Gastón ha dicho, la condición A, la formulación A y la formulación B la formulación A, el problema de valores iniciales en infinito, en un sistema abierto y la formulación B en un problema con condiciones de contorno periódicas que el fluido que sale por una pared reentra por la otra pared, que eso simula también condiciones iniciales pero Feferman pensaba que ese problema era tan difícil que lo mismo había que darle una pequeña vidilla a los que querían atacar el problema del milenio entonces decidió incluir algo que se sacó de la manga y que en aquel momento nadie entendió, dijo la gente, pero Feferman que…
Gastón Giribet explica cómo una simulación de fluidos con condiciones iniciales bien definidas puede llevar a un fenómeno donde ciertas cantidades físicas, como la velocidad o la energía, tienden al infinito.
Habla: Gastón GiribetPalabras #17ecuaciones navier stokes y divergenciacondiciones iniciales en fluidoscantidad física relevante divergesimulación de fluidos con gastón giribet…de un fluido partir de una situación totalmente bien comportada donde donde la velocidad de cada punto del fluido es final La energía, la densidad de energía del fluido es finita y todas las cantidades son finitas, pero si lo dejo evolucionar en el tiempo, en algún momento alguna de las cantidades físicas relevantes, puede ser la velocidad, pero puede ser también la energía, el fluido de repente tiende a infinito, diverge, solo, puede darse eso, puede darse que, fijada en las condiciones de contorno bien comportadas, la evolución temporal del sistema me lleve a que alguna cantidad física relevante se diverja, se vuelva infinito, explote. ¿Se entiende la pregunta? Porque es como el mismo gobierno, es la misma dinámica física parte de una situación que tiene sentido y termina una situación que no tiene sentido. Porque recordemos que en física el infinito no es mucho, es un sinsentido. No quiere…
Gastón Giribet explica que si una simulación de fluidos muestra velocidades tendiendo a infinito, esto indica que la ecuación utilizada deja de ser válida debido a efectos relativistas.
Habla: Gastón GiribetPalabras #2ecuaciones diferenciales condiciones inicialesvelocidad tiende a infinito relativistasproblema para matemáticos ecuaciones diferencialescorrecciones relativistas ecuación de la luzproblema abierto condiciones inicialesclasificación fefferman problemasdificultad y relevancia física fefferman…quiere decir que las leyes de la física se rompan, quiere decir que esa ley de la que estoy hablando deja de valer, por ejemplo. No sabemos que hay leyes que no son fundamentales, lo dijimos al principio, la ecuación de Navier-Stokes vale en cierto régimen. Si, por ejemplo, yo descubriera que sí, que en efecto, la velocidad de una parte del fluido de repente extiende a infinito, yo ya sé lo que pasa. Y bueno, a partir de cierto valor de la velocidad deja de valer esta ecuación porque se está acercando a la de la luz y la ecuación recibe correcciones relativistas y empieza a valer otra ecuación. Pero la pregunta estaba bien postulada porque es un problema muy importante para los matemáticos, muy interesante y difícil para los matemáticos; es el problema de condiciones iniciales o condiciones de contorno para ecuaciones diferenciales. Iniciales es en el tiempo, el contorno es en el espacio, pero básicamente es lo mismo; en algunos casos se habla mal y pronto de la misma manera la idea es si yo fijo ciertas Condiciones bien comportadas, si la misma dinámica de la evolución física me va a llevar a situaciones que no tienen sentido porque alguna cantidad física relevante diverge, eso es un problema abierto que luego se formuló de diferentes maneras; es el problema original pero después hay una clasificación de problemas similares, no equivalentes, pero similares en cuanto a dificultad y relevancia física que son la clasificación de Fefferman que dio diferentes problemas. Un problema era este: el problema original que se llama el problema A de Fefferman, que es si dadas ciertas condiciones bien comportadas para el campo de fluidos al comienzo, la misma evolución de Navier Stokes te va a llevar a que diverja el campo de…
Gastón Giribet explica las diferencias entre los casos A y B de la clasificación de Fefferman, y luego introduce los casos C y D, que involucran un forzado externo al sistema fluido.
Habla: Gastón GiribetPalabras #6clasificación de fefferman problemas a bforzado externo al sistema fluidocondiciones iniciales bien comportadas…Z es como agarrar un segmento y replicarlo, entonces eso se llama un círculo. R dividido Z es un círculo, una forma muy pija, dicen ustedes, muy concheta, muy cuica para los chilenos, de llamar el círculo. R dividido Z. Bueno, R3 dividido Z3 es un tres toro. Bueno, entonces el caso A y el caso B son diferentes condiciones de contorno, diferentes topologías de contorno. Pero después hay la versión C y versión D de la clasificación de Fefferman, que es un problema un poquito distinto: que es el caso en el cual hay un forzado; yo estoy forzando al sistema, es un fluido en el que las condiciones iniciales están bien comportadas. Pero yo lo fuerzo externamente, pero lo fuerzo de una manera que también sea suave porque si, es decir, que tampoco diverja, porque si yo a un fluido le doy un golpe infinito no me sorprende que la velocidad del fluido al que gira infinita velocidad. La idea es con un forzado suave y condiciones iniciales suaves y no se puede dar lugar a una, a una, en realidad el problema C y el problema. D es buscar un contraejemplo: mostrar que hay un breakdown. Las versiones CID son las versiones del breakdown, que es cuando en efecto uno ve que la solución adquiere una singularidad; es un problema de cómo se comporta la física cuando comienza comportándose…
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 #9ecuaciones 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…
Héctor Socas y Ignacio Crespo comentan la importancia del reconocimiento asociado a los premios científicos, como el Nobel, para impulsar el interés en problemas complejos.
Habla: Ignacio CrespoPalabras #12relevancia del problema y premios nobelreflexión rápida sobre la relevancia…una pizarra, no; que es una cosa, es como decir, el premio Nobel tiene un prestigio y tal, pero tiene una dotación económica importante también, o sea; van un poco relacionadas las dos cosas, o sea, no es la motivación por la cual uno trabaja en estas cosas. Pero da una idea de la relevancia que tiene el problema y contribuye a dar un empujón inicial para darle valor al premio, que también creo que es interesante. Evidentemente ahora eso ya es algo que va por libre. Y como reflexión rápida antes de que sigamos con el tema. Pensemos una cosa. Perelman, que hablamos antes de él, rechaza el premio. Por ahora, un caso de uno que conocemos de haber resuelto problemas del milenio lo rechaza. Este tiene pinta de que va por el mismo camino por otros motivos; así que ojo hasta qué punto…
Francis Villatoro aclara aspectos relacionados con el problema de valores iniciales de las ecuaciones de Navier Stokes, señalando la irrelevancia de los contornos debido a su capacidad para generar singularidades.
Habla: Francis VillatoroSignificado #15 · Palabras #8ecuaciones navier stokes problema valores inicialescontornos irrelevantes ecuaciones navier stokessingularidades generadas por contornosfluido núcleo singular…es más famoso que cualquier otro matemático que haya ganado la Phil Medal Salmo, Salmo, Andrew Weil o alguno de esos Al final el tipo no pudo escapar de su fama, le sacan fotos todo el tiempo en el metro Se hizo un efecto Streisand, ¿no? ¿No se llamaba así? Bueno, pues adelante Francis, cuéntanos un poco. Quizás hay que aclarar un par de cositas de lo que ha dicho Gastón, que creo que son relevantes. En el problema del milenio se plantea el problema de valores iniciales de las ecuaciones de Navier Stokes. ¿Eso qué significa? Significa que no se consideran los contornos. Los contornos son irrelevantes, ¿por qué? Porque sabemos que los contornos generan singularidades. Yo puedo con un contorno generar un núcleo singular que se propaga el fluido y genera la singularidad en el fluido. Eso está demostrado hace muchísimo tiempo. Entonces, tanto con contornos como con propiedades físicas que cambian. Por ejemplo, si tengo dos fluidos, un fluido y otro fluido. Diego Córdoba, el español, durante uno de los claves en lo que vamos a hablaros después, como entre el 2000 y el año 2010, se demostró que en la interfase entre dos fluidos de densidad constante, cada uno es de densidad constante, la interfase se puede curvar…
Gastón Giribet aclara una observación anterior sobre las condiciones de contorno en problemas matemáticos, diferenciando entre R3 y T3.
Habla: Gastón GiribetSignificado #1 · Palabras #14condiciones de contorno en r3contorno como toro t3problema de valores inicialesproblema cochis premio mileniofefferman director tesis diego córdobavariedades problema feffermanecuaciones navier stokes condición inicialflujo regular navidad stokescondición a fefferman problemasproblema valores iniciales infinito…el 2000 y el año 2010, se demostró que en la interfase entre dos fluidos de densidad constante, cada uno es de densidad constante, la interfase se puede curvar en ciertas circunstancias formando una especie como de ola que rompe y en el centro de esa ola se genera una singularidad Sí, pero déjame hacer una aclaración en mi defensa nada más, con contorno, me refiero al contorno en el sentido amplio, por ejemplo, no es lo mismo en R3 que en T3, es decir, no es lo mismo pensar en R3 como en un toro y eso también es contorno Eso sí, pero eso son condiciones de contorno periódicas que simulan al problema de valores iniciales, ¿vale? Pero el problema de valores iniciales y condiciones de contorno no está incluido dentro del premio del milenio, solo el problema de valores iniciales, lo que sería el problema de Cochis. Es el único problema que es relevante en la formulación. Entonces, los dos problemas que ha comentado Gastón, de los cuatro problemas, de las cuatro variedades, esto es una cosa que puso Feferman; Feferman fue el director de la tesis doctoral del padre de Diego Córdoba y fue el director de la tesis doctoral de Diego Córdoba. En su momento, en el año 2000, todo el mundo pensaba, bueno, todo el mundo, gran parte, la mayoría de los expertos en la matemática de las ecuaciones de Navidad-Stokes pensaba que si yo parto de una condición inicial regular, que no tiene singularidades, el flujo se va a mantener regular eternamente entonces ese es el problema que se formula como lo que Gastón ha dicho, la condición A, la formulación A y la formulación B la formulación A, el problema de valores iniciales en infinito, en un sistema abierto y la formulación B en un problema con condiciones de contorno periódicas que el fluido que sale por una pared reentra por la otra pared, que eso simula también condiciones iniciales pero Feferman pensaba que ese problema era tan difícil que lo mismo había que darle una pequeña vidilla a los que querían atacar el problema del milenio entonces decidió incluir algo que se sacó de la manga y que en aquel momento nadie entendió, dijo la gente, pero Feferman que…
Francis Villatoro explica cómo Fefferman propone un método para abordar el problema del milenio, centrándose en la necesidad de que el 'forzamiento', una fuerza externa introducida para generar una singularidad en el fluido, sea infinitamente diferenciable.
Habla: Francis VillatoroPalabras #4forzamiento infinitamente diferenciable feffermansingularidad en el fluidocampo de velocidades infinitamente diferenciable…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…
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 #17 · Palabras #5condició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 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 #7vórtice central en fluidochorros de fluido hacia arriba abajosolución infinitamente diferenciableproblema fefferman c y dsoporte compacto de la solución…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…
Francis Villatoro describe la estructura de un problema, identificando un núcleo central (vórtice), un anillo circundante y una solución que decae exponencialmente siguiendo el comportamiento de una ecuación del calor.
Habla: Francis VillatoroSignificado #16núcleo vórtice problema capasanillo rodea núcleo problemasolución decae exponencialmente ecuación calorecuación del calor comportamiento solución…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 #11 · Palabras #13chorros astrofísicos arriba abajovórtice con soporte compactovelocidad infinita en el centromecanismo repetido infinitas vecesconvergencia de derivadas hacia infinitocampo de velocidad en el origensolución regular en tiempo finitonormalización del tiempo a la unidad…hago infinitas veces. Yo hago infinitas inyecciones de energía en el sistema de momento angular en el vórtice, de tal manera que en cada ocasión el vórtice reduce su tamaño, digamos, en el plano, reduce el disco que ocupa, pero claro, en vertical se alarga. Entonces, imaginaos un vórtice que tenía los chorros arriba y abajo, que eran chorros astrofísicos. Un chorro arriba y otro abajo, pues en la parte central se comprime; los chorros transversales crecen de tamaño porque son de soporte compacto. 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…