Francis Villatoro describe una demostración 'maquinal' similar a las que él realiza al resolver problemas de fluidos tipo 'blow-up', comparándola con su experiencia en ecuaciones más sencillas.
…problema. El problema es cuando ya empieza la demostración como tal, cuando empieza esa; es la discusión de cómo se ha demostrado cuáles son los puntos clave de la demostración. Después vienen las 140 páginas o 130 páginas porque la bibliografía es amplia. En esas páginas viene la demostración y claro, viene una demostración extremadamente maquinal. O sea, una demostración de máquina. Es decir, por ejemplo, yo cuando resuelvo un problema de fluidos de tipo blow-up, que yo he estudiado blow-up en varias ecuaciones, mucho más sencillas que en la Navidad de Stops, ecuaciones en una dimensión, cosas muy sencillitas. Claro, aquí uno de los puntos clave es que la solución que se obtiene es una solución autosemejante, que es la solución típica en fluidos o en física para obtener blow-up, es obtener un perfil autosemejante. La ecuación de autosemejanza de este artículo que genera la IA son dos ecuaciones diferenciales acopladas con dos parámetros, eso con absoluta seguridad tiene muchas soluciones; un matemático humano nunca continuaría la demostración sin analizar en detalle esas soluciones y sin clasificarlas, y Francis tampoco. parece muy natural porque yo me he encontrado en alguno de los problemas que yo he estudiado por ejemplo tengo una ecuación que tiene varias ramas o sea varias soluciones autosemejantes y me he encontrado que cuando se aproxima la solución al blow up va por una rama y ocurre una transición y pasa a una rama diferente y si tu método numérico se queda en la rama sin acoplar la transición a la otra rama resulta que el método numérico se desvía y te da un resultado incorrecto que depende mucho de cómo haya llegado a ese punto porque no ha visto esa transición entre ramas, esas transiciones ocurren, me ha ocurrido el método numérico y es una cosa que cuando yo hago cosas con inteligencia artificial pues a veces le tienes que decir, cuidado que te puede pasar esto, mira a ver si te está pasando. porque a veces pues a uno se alegra cuando acierta, ¿eh? Otras veces uno no acierta y no se alegra, pero se alegra cuando no acierta. Pues eso, con toda seguridad, puede estar pasando en este problema, pero como eso es irrelevante para el desarrollo de la…
Gastón Giribet introduce el tema de los problemas del milenio, explicando que uno de ellos está relacionado con una ecuación de la física.
Habla: Gastón GiribetPalabras #17problemas del milenio matemáticaecuación física problemas del mileniogastón giribet problemas del milenio…del milenio, por qué son tan importantes y cuál es el problema en concreto que supuestamente ha resuelto una inteligencia artificial y que sería una noticia realmente muy importante de confirmarse. Gastón, por ejemplo, quiere plantearnos tú el problema. Claro, sí, bueno, primero es la lista de los problemas 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,…
Gastón Giribet explica que las ecuaciones diferenciales complejas, aunque revelan información valiosa sobre la física, pueden ser extremadamente difíciles de resolver.
Habla: Gastón GiribetPalabras #16ecuaciones einstein nunca resolviósoluciones schwarzschild ecuaciones einsteinresolución ecuaciones diferenciales complejasproblemas particulares soluciones einstein…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 cómo las ecuaciones del fluido, como las de Navier-Stokes, se acoplan con otras ecuaciones para describir fenómenos más complejos, incluyendo la relación con las ecuaciones de Maxwell en el caso de un plasma.
Habla: Gastón GiribetPalabras #11ecuaciones navier stokes y maxwellacoplamiento ecuaciones del fluidoplasma como fluido neutro…campos eléctricos. Es verdad, pero si se quiere un fluido que esté cargado, tiene las ecuaciones mucho más complejas que son las de magnetohidrodinámica, pero que en particular incluyen a de Navier-Stokes. No es que uno se olvide de ahí y empieza de nuevo. Ahí, por supuesto, hay otras ecuaciones que es el acoplamiento entre las ecuaciones del fluido, las de Navier-Stokes y otras que tienen que ver con, por ejemplo, si es compresible o no es compresible u otras cosas así. Pero luego acopladas a las ecuaciones de Maxwell, porque, por ejemplo, un plasma es un fluido que es neutro pero que tiene cargas que se mueven a pesar de que netamente no esté cargado, eso genera campo magnético y entonces eso afecta al mismo fluido. Pero en ese caso el sistema de ecuaciones es mucho más complejo que es el de la magnetohidrodinámica, pero en particular uno de esos renglones es la versión para el…
Gastón Giribet explica que cuando un término relacionado con la viscosidad se desprecia en la ecuación de Navier-Stokes, esta se convierte en la ecuación de Euler.
Habla: Gastón GiribetPalabras #18ecuación de euler por leonard eulerviscosidad despreciada en navier stokesmatemático prolífico siglo xviii…con unidades, que se suele escribir como nu; en la forma en la que estoy escribiendo sería nu dividido la densidad de masa, porque la pasé dividiendo del otro lado, por un término que es la segunda derivada, más precisamente el laplaciano, de la velocidad. Cuando este último término falla, no está ahí, no porque falle, sino porque se lo desprecia, se lo desdeña, porque el fluido no es muy viscoso; esa ecuación se conoce como la ecuación de Euler, por Leonard Euler, el matemático, el famoso matemático y físico prolífico del siglo XVIII, 1707-1783; matemático prolífico que, dime, dime, Francis Pero Gastón, las ecuaciones. en principio son ecuaciones de Euler, pero eran sin viscosidad y Navier y Stockes de manera independiente le añadieron el término de viscosidad Exactamente, por eso Navier y Stockes ya con el término de viscosidad y sin el término de viscosidad se llama…
Gastón Giribet explica que la ecuación de Navier-Stokes es compleja, pero menos que otros problemas físicos como la magnetoidrodinámica o la teoría del campo gravitacional, y señala un aspecto importante: no es una ecuación fundamental de la física.
Habla: Gastón GiribetPalabras #10teoría del campo gravitacional más complejanavier stokes no es fundamental física…cálculos perturbativos o puedo pensar aproximaciones en las cuales la viscosidad está pero es muy pequeña y lo puedo tratar de manera perturbativa hay diferentes resultados que uno puede hacer aproximándose a la solución cuando no tiene la solución a mano Es muy compleja esa ecuación, no es la ecuación más compleja de la física. O sea, empalidece al lado de cuando uno acopla estas con la magnetroidodinámica, como dice Héctor, porque es mucho más compleja. También empalidece al lado de la teoría del campo gravitacional. Recordemos, por otro lado, hay una cosa importante para saber de la ecuación de Navier-Stock. La ecuación de Navier -Stock no es una ecuación fundamental de la física. Por dos razones: primero, porque es el comportamiento colectivo de las moléculas que componen un fluido es una teoría efectiva; describe un fluido, pero no sabemos que el fluido en realidad, al fin y al cabo, no es más que el comportamiento colectivo de…
Gastón Giribet explica las limitaciones de la ecuación de Navier-Stokes en relación con la velocidad del fluido.
Habla: Gastón GiribetPalabras #20ecuación navier stokes limitacionesvelocidad del fluido límite superiorfluido velocidad luz ecuación…solución física; matemáticamente podemos hablar de lo que quieras, pero física a ciertas escalas lo suficientemente pequeñas, pero no tan pequeñas como para dejar de pensar esta masa de fluido como un fluido, ya no como una colección de unas pocas moléculas. Por otro lado, también sabemos que esta ecuación es una ecuación que va a dejar de valer a muy altas velocidades, porque a muy altas velocidades el fluido no puede adquirir una velocidad extremadamente alta, porque cuando el fluido tiene velocidades comparables a la velocidad de la luz, la ecuación. Cambia, empieza a adquirir correcciones relativistas que dan cuenta, por ejemplo, de que para que la velocidad siga aumentando hay una inyección de energía que tiene que tender a infinito. Hay correcciones relativistas a la ecuación de Navier-Stokes. Más aún,…
Gastón Giribet explica cómo una simulación de fluidos con condiciones iniciales específicas puede llevar a un fenómeno conocido como 'blow up', donde la velocidad en algún punto del fluido tiende a infinito.
Habla: Gastón GiribetSignificado #4 · Palabras #4ecuaciones navier stokesblow up en fluidosvelocidad infinita en fluidosdinámica de ecuaciones diferenciales…una cubeta con ciertas condiciones de contorno y tal que si las condiciones iniciales que yo le doy al fluido, es decir, si yo doy todo el campo de velocidades del fluido a tiempo cero, originalmente, le saco una foto como el fluido está evolucionando? cada velocidad de cada molécula del fluido en cada punto a tiempo igual a cero, si yo dejo evolucionar ese sistema en el tiempo con la misma dinámica de las ecuaciones, si eso puede dar lugar a la evolución en el tiempo de algún punto al menos algún punto del fluido adquiere velocidad infinita es decir diverge es decir lo que se dice explota porque el tipo de divergencia particular es un blow up explota es decir puede la dinámica la ecuación que gobierna la dinámica 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…
Gastón Giribet introduce la transición a lo que se sabe actualmente sobre el problema de las ecuaciones de Navier-Stokes, anticipando la intervención de Francis Villatoro y recapitulando la pregunta central del desafío: demostrar o encontrar un contraejemplo para una afirmación sobre la evolución temporal de fluidos.
Habla: Gastón GiribetPalabras #6ecuaciones navier stokes problemafrancis villatoro y ecuacionesproblema del milenio millón dólaresevolución temporal fluido divergencia…forzada de este problema, basan su trabajo en el trabajo de dos matemáticos españoles, de los que hablaremos en un segundo; supongo que Francis mencionará. Hay mucha gente que se iba acercando, pero nadie esperaba que el problema fuera resuelto. Bueno. Vamos a entonces hacer la transición a qué se sabe ahora del problema, que va a hablar Francis, pero espero que haya quedado claro: El comportamiento es, la pregunta era, ¿me puedes demostrar o al menos dar un contraejemplo que muestre que no es cierto la siguiente afirmación? Yo comienzo con un fluido que está siempre bien comportado y la evolución temporal del comportamiento de este fluido en un tiempo finito me produce una divergencia, un infinito, un blow up, un sin sentido matemático. Ese es el problema del milenio. Y hay un millón de dólares de premio para los problemas del milenio. O sea que hay mucha gente trabajando muy duro en los últimos 26 años en intentar resolver esos problemas. Estos problemas son tan importantes que el dinero no importa. Y créeme eso. Un matemático estaría feliz con un millón de dólares, seguro. Yo también. Pero como científico, esto no es de ser un idealista; como científico, la relevancia, el capital simbólico, la fama, el prestigio que te daría resolver un problema de…
Francis Villatoro explica cómo las ecuaciones de Navier-Stokes son esencialmente fórmulas de Newton, comparándolas con la ecuación f = ma (fuerza es igual a masa por aceleración).
Habla: Francis VillatoroSignificado #15ecuaciones navier stokes fórmulas newtonfuerza masa aceleración newtondensidad derivada operador aceleración velocidadgastón ecuaciones igual a cero…C y D del problema, parecían irrelevantes, es la idea de forzar la ecuación de Navier-Stokes, en la ecuación de Navier-Stokes tengo viscosidad constante, densidad constante, por lo tanto es un fluido incomprensible, incomprensible, perdón, incomprensible Pero puedo añadir la ecuación igual a cero, como lo ha contado Gastón; era la parte de la formulación tipo de ecuación de Newton. Las ecuaciones de Navier-Stokes básicamente son las fórmulas de Newton: f igual a masa por aceleración. La masa por aceleración es la fuerza, hay una densidad multiplicada por un operador de derivada que actúa como aceleración que actúa sobre la velocidad, sobre un pequeño volumen de fluido y eso lo igualo a las densidades de fuerza que tengo externas. Pero la formulación estándar de poner viscosidad, presión como fuerzas externas, pero no externas, incluida la interlocación y la derivada de la velocidad, es decir, la aceleración a un lado y lo igualo a cero, esa es la formulación estándar y es lo que todo…
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 #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 explica las implicaciones de un 'blow-up' en un sistema físico, distinguiendo entre un aumento simple de amplitud y el caso donde también las derivadas tienden a infinito.
Habla: Francis VillatoroSignificado #2 · Palabras #3blow-up con derivadas infinitasnormalización del tiempo de blow-upamplitud tiende a infinito velocidadespresión también tiende a infinito…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 asunto y ir haciendo que ese tiempo creciera, pero como lo normalizo siempre, no darme cuenta de que en realidad la amplitud tiende a infinito para las velocidades, no. Con el mecanismo que se propone, la velocidad y todas sus derivadas tienden a infinito, a la presión también Pero claro, este mecanismo tiene un gran problema, una de Las cosas que proponía Fefferman, Fefferman proponía en la versión C del problema un punto importante. La energía cinética tiene que ser finita; eso es un punto muy importante y muy difícil de lograr en este tipo de soluciones, pero claro, el secreto es que…
Francis Villatoro describe una demostración 'maquinal' similar a las que él realiza al resolver problemas de fluidos tipo 'blow-up', comparándola con su experiencia en ecuaciones más sencillas.
Habla: Francis VillatoroSignificado #1 · Palabras #1problemas fluidos tipo blow-upecuaciones de una dimensiónsolución autosemejante en fluidosecuación de autosemejanza iafrancis villatoro analiza solucionesecuación con varias ramas autosemejantesmétodo numérico y transición de ramasblow up en ecuacionesinteligencia artificial y transiciones…problema. El problema es cuando ya empieza la demostración como tal, cuando empieza esa; es la discusión de cómo se ha demostrado cuáles son los puntos clave de la demostración. Después vienen las 140 páginas o 130 páginas porque la bibliografía es amplia. En esas páginas viene la demostración y claro, viene una demostración extremadamente maquinal. O sea, una demostración de máquina. Es decir, por ejemplo, yo cuando resuelvo un problema de fluidos de tipo blow-up, que yo he estudiado blow-up en varias ecuaciones, mucho más sencillas que en la Navidad de Stops, ecuaciones en una dimensión, cosas muy sencillitas. Claro, aquí uno de los puntos clave es que la solución que se obtiene es una solución autosemejante, que es la solución típica en fluidos o en física para obtener blow-up, es obtener un perfil autosemejante. La ecuación de autosemejanza de este artículo que genera la IA son dos ecuaciones diferenciales acopladas con dos parámetros, eso con absoluta seguridad tiene muchas soluciones; un matemático humano nunca continuaría la demostración sin analizar en detalle esas soluciones y sin clasificarlas, y Francis tampoco. parece muy natural porque yo me he encontrado en alguno de los problemas que yo he estudiado por ejemplo tengo una ecuación que tiene varias ramas o sea varias soluciones autosemejantes y me he encontrado que cuando se aproxima la solución al blow up va por una rama y ocurre una transición y pasa a una rama diferente y si tu método numérico se queda en la rama sin acoplar la transición a la otra rama resulta que el método numérico se desvía y te da un resultado incorrecto que depende mucho de cómo haya llegado a ese punto porque no ha visto esa transición entre ramas, esas transiciones ocurren, me ha ocurrido el método numérico y es una cosa que cuando yo hago cosas con inteligencia artificial pues a veces le tienes que decir, cuidado que te puede pasar esto, mira a ver si te está pasando. porque a veces pues a uno se alegra cuando acierta, ¿eh? Otras veces uno no acierta y no se alegra, pero se alegra cuando no acierta. Pues eso, con toda seguridad, puede estar pasando en este problema, pero como eso es irrelevante para el desarrollo de la…