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.
…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, 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 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 #1 · Palabras #6problemas del milenio matemáticaecuación física problemas del mileniogastón giribet problemas del milenioecuació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, 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, 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 la relación entre la ecuación de Navier-Stokes y la magnetohidrodinámica, señalando que esta última incluye ecuaciones más complejas para fluidos cargados.
Habla: Gastón GiribetSignificado #20ecuación de navier stokes y magnetohidrodinámicafluidos neutros sin carga eléctricamagnetohidrodinámica incluye ecuaciones complejasgastón giribet explica navier stokes…que gobierna cualquier fluido, los gases o los líquidos, cualquiera, desde el flujo de la sangre hasta cómo se hace un avión, porque el avión no es nada más que algo moviéndose en un fluido, o el agua, todo eso está gobernado por una ecuación diferencial que Se conoce como ecuación de Navier-Stokes. Me veo obligado, Gastón, perdón, es de formación profesional, puede ser muy petardo, pero me veo obligado a hacer una puntualización: cualquier fluido neutro ¿Cómo? Cualquier fluido neutro, sin carga y sin 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…
Gastón Giribet explica cómo se aborda la resolución de la ecuación de Navier-Stokes, mencionando diversas estrategias para simplificar el problema cuando una solución directa es inalcanzable.
Habla: Gastón GiribetSignificado #9ecuación navier stokes simplificaciónfluido casi bidimensionalcálculos perturbativos viscosidad pequeñaaproximaciones solución ecuación navier stokes…muchísimo tiempo. Son preprints que parecen serios, que parecen bien hechos, un poco apresurados pero bien hechos, pero igual todo lo que vamos a decir es provisional. Hay que ver si está bien hecha la demostración, pero va a haber varios resultados acá. resolver esta ecuación se puede resolver en varios casos simples, uno lo hace en la universidad se resuelve esta ecuación en varios casos simples, se puede resolver de manera numérica en casos más complejos y hay teoremas sobre no poder resolverla pero si existe la posibilidad de resolverla en otros casos entonces hay diferentes cosas que uno puede hacer con este problema muy complejo que uno puede simplificar por ejemplo pensar que el fluido es casi bidimensional, es decir que es muy chatito o puede pensar que, o sea que básicamente el problema es en dos dimensiones, o puede pensar que lo perturbo pero de manera muy poquita y hacer 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…
Gastón Giribet explica que la ecuación de Navier-Stokes tiene una escala mínima a la cual deja de ser válida, conocida en física como 'cut-off ultravioleta'. Esta escala marca el límite inferior para considerar un fluido como tal.
Habla: Gastón GiribetPalabras #10ecuación navier stokes cut-off ultravioletafluido escala mínima físicamoléculas de agua como fluidomasa de fluido escalas pequeñas…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 moléculas de hidrógeno y oxígeno, si fuera agua. Entonces, uno sabe que hay una escala mínima a la cual va a dejar de valer, lo que se llama en física un cut-off ultravioleta; es decir, una escala mínima, muy pequeña, en la cual no tiene sentido pensar cuatro moléculas de agua como si fuera un fluido. Entonces nosotros sabemos que cualquier conclusión que tengamos solución explícita o afirmación acerca de la solución a esta ecuación, bueno, puede ser extrapolada, puede ser confiada como 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…
Gastón Giribet explica la diferencia entre cómo los físicos y los matemáticos abordan las ecuaciones de Navier-Stokes, señalando que los físicos suelen trabajar con ellas numéricamente mientras que los matemáticos lo hacen analíticamente.
Habla: Gastón GiribetSignificado #4problemas instituto klein matemáticasecuaciones navier stokes físicaderivadas en ecuaciones físicasmotivación problemas matemática físicaecuaciones de navier stokes para físicosdificultad comprender papers navier stokesexpertos en fluidos gastón giribetecuaciones de navier stokes numéricasnavier stokes en más dimensionesfísicos y matemáticos ecuaciones navier stokesecuaciones navier stokes soluciones numéricassimulación numérica en ordenadorfísicos validan ecuaciones experimentos…pedís a un estudiante, demuestre o busque un contraejemplo y la respuesta es que no hay ningún contraejemplo, es como, no sé, no sos docente Es como buscar un contraejemplo al teorema de Pitágoras, ¿no? Te puedes tirar un rato largo Inténtalo, ¿no? Inténtalo La idea es que hace más de 25 años la Klein Mathematical, ¿cómo se llama? Society Instituto Klein de Matemáticas Instituto, eso, claro, CMI El Instituto Klein de Matemáticas propuso una serie de problemas, siete si no recuerdo mal en los cuales algunos están muy relacionados con la física no porque el problema en sí sea físico, el problema es de matemática, pero bueno, de ecuaciones que tienen que ver con la física que vienen de ahí porque uno podría inventarse cualquier ecuación a hacerse estas preguntas, ¿no? Por ejemplo, podría complicar la ecuación de Unanivestock poniendo otro término más complicado con tres derivadas sería más inasequible el problema, pero también más irrelevante, porque los fluidos no tienen ese término entonces hay como una comunicación entre física y matemática aquí, pero solo en la motivación del problema El problema es un problema de matemática, es probar o buscar un contraejemplo, y es muy complicado, por ejemplo, cualquier Físico aprende en la carrera la ecuación de Navier-Stokes, o la vio alguna vez; pero agarras uno de estos papers y es imposible leerlos, o sea, incluso para mis amigos expertos en fluidos como físicos, no podrían entender estos papers. Ellos dirían que algunos los conocen, son medio pedantones, pero no podrían, créeme. Perdona, Gastón, es que la clave es que los físicos. Normalmente trabajan con estas ecuaciones pero no de forma matemática analítica sino numérica. Bueno, hay como un degradé; hay físicos que se dedican más a aspectos matemáticos, por ejemplo, hay gente que hace la ecuación de Navier-Stokes en más dimensiones y eso es algo académico para un físico. Hay muchas cosas, ahí hay un degradé entre físicos y matemáticos. Pero típicamente, cuando tú decías que tiene aplicación, yo que sé, para cómo vuelan los aviones, cómo corre un Fórmula 1, cómo cae la materia en un agujero negro Claro, en esos casos uno lo que hace es o experimentos o cosas numéricas, porque quiere y con eso alcanza para convencerse, ¿no? O aproximaciones semi-analíticas cuando tiene algún parámetro bajo control Pero acá estamos hablando de otra cosa Un ordenador y va ejecutando una simulación numérica en un ordenador, pero no te preocupa tanto la matemática de las ecuaciones No quiero pecar de pragmático, no quiero pecar de apologeta de lo concreto, pero eso es lo que haría un físico. Ahora los matemáticos están interesados en esto y si están buscando un contraejemplo, no importa cuán ridículamente especial sea esta condición de contorno, si encuentran un contraejemplo y parten de que el fluido se comporta bien, pero la evolución temporal…
Francis Villatoro explica una alternativa para abordar el problema del milenio, proponiendo la introducción de un campo de fuerza o función de velocidad arbitraria en las ecuaciones de Navier-Stokes.
Habla: Francis VillatoroPalabras #15campo de fuerza en navier stokesfunción de velocidad arbitrariaecuaciones de navier stokes francis villatoro…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 meto en las ecuaciones de Navier-Stokes, en el miembro derecho. Y calculo los operadores diferenciales, obtengo una fuerza, un forzamiento. El forzamiento calculado en plan tramposo, como un truco, a partir de meter el campo de velocidades; de hecho, para un flujo incomprensible el campo de velocidades termina de forma…
Francis Villatoro explica que la solución obtenida mediante un truco no resuelve las ecuaciones de Navier-Stokes ni simula la evolución natural del fluido para generar una singularidad.
Habla: Francis VillatoroSignificado #15ecuaciones de navier stokes sin resolversingularidad generada artificialmentefluido evoluciona naturalmenteesforzamiento artificial de la ecuaciónsolución feferman ecuaciones navier stokesfísica de los fluidos problema milenioformulacion c trampa feferman…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 comporta el fluido y que el fluido de manera natural evolucione y genere la singularidad. Yo estoy metiendo yo la solución generando ese residuo residual de la ecuación, ese esforzamiento artificial y gracias a tener ese esforzamiento artificial yo puedo meter cualquier cosa. Puedo meter en cualquier campo de velocidad, el que yo quiera, pero entonces eso no te ayuda a entender la física de los fluidos, ¿no? Y a quién le importa; es que es la formulación C, es la trampa que nos metió Feferman, ese camino alternativo que Feferman pensaba que no se iba a cumplir porque no se podía dar por las circunstancias de la ecuación, pero creo que ahora hemos visto que es un camino razonable para resolver el problema del milenio, aunque es un camino que no nos va a aportar mucha información sobre la física del problema, aunque bueno, eso es tematizado. Francis, por supuesto te acuerdo con lo que dijiste de todo. Déjame solamente moderar una comentación; es cierto lo que decís y en ese sentido trampa te tomo la acepción también. Es una forma de hacer un problema para el que es más fácil pensar que uno podría…
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 VillatoroPalabras #9problemas fluidos tipo blow-upecuaciones de una dimensiónsolución autosemejante en fluidosecuación de autosemejanza iafrancis villatoro analiza soluciones…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…