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 #13problemas 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 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 GiribetSignificado #16ecuació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 un problema específico dentro de la clasificación de Fefferman, denominado 'problema A'. Este problema se centra en determinar si ciertas condiciones iniciales bien definidas en una simulación de fluidos llevan a la divergencia del campo de velocidades o la energía.
Habla: Gastón GiribetPalabras #10problema a de feffermanecuaciones navier stokes divergenciacondiciones iniciales simulación fluidosexistencia de soluciones problema a…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 velocidades o la energía. En realidad, la pregunta es acerca de la existencia de soluciones. Después hay otra versión, que es la versión B, pero está relacionada con eso, porque uno es, si estoy en el triespacio y el otro es, si estoy en el tritoro, que es un espacio con condiciones de contorno periódicas en las tres dimensiones espaciales, lo que un…
Héctor Socas aclara a los oyentes que el objetivo del problema no es resolver ecuaciones de fluidos con condiciones suaves, sino demostrar algo más fundamental.
Habla: Héctor SocasSignificado #19ecuaciones fluidos condiciones suavesdemostrar algo fundamentalresolver ecuaciones en situación determinada…se comporta un fluido cuando comienza comportándose bien. La misma ecuación que gobierna la dinámica de un fluido puede hacer que de repente en algún tiempo finito se comporte mal: ese es el problema del milenio. En general, el problema del milenio se llamó Déjame incidir en una cosa para los oyentes, que como clarificación, no se trata de decir: voy a resolver estas 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…
Gastón Giribet explica que el Instituto Klein de Matemáticas propuso una serie de problemas hace más de 25 años, algunos relacionados con la física debido a su conexión con ecuaciones físicas.
Habla: Gastón GiribetPalabras #20problemas instituto klein matemáticasecuaciones navier stokes físicaderivadas en ecuaciones físicasmotivación problemas matemática física…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…
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 GiribetSignificado #17ecuaciones 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 aclara que el problema de valores iniciales, pero no las condiciones de contorno, está incluido en el premio del milenio, específicamente el problema de Cochis.
Habla: Francis VillatoroPalabras #3problema cochis premio mileniofefferman director tesis diego córdobavariedades problema fefferman…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…
Francis Villatoro describe un método para abordar el problema del milenio relacionado con las ecuaciones de Navier-Stokes, que implica introducir un campo de velocidad arbitrario y calcular los operadores diferenciales para obtener una fuerza o 'forzamiento'. Este proceso permite generar una solución al problema C.
Habla: Francis VillatoroSignificado #2ecuaciones navier stokes problema ccampo velocidad arbitrario forzamientoflujo incomprensible campo presiones univocosingularidad calculo campo 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 unívoca el campo de presiones, con lo que yo elijo un 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…
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ón…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…
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 #3nú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 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 #5problemas 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…
Gastón Giribet explica que Buckmaster sugirió otorgar la medalla Fields a Diego Córdoba, quien tiene alrededor de 53 o 55 años, y reconoce su importante contribución al problema en el límite de Euler.
Habla: Gastón GiribetSignificado #1 · Palabras #1medalla fields a diego córdobaproblema en el límite de euleraportación de diego córdobaresultados de cuatro problemas oiler…y entre los dos, siguiendo un poco esa vía de ataque que habían abierto estos matemáticos españoles, ellos habían hecho un avance. Dándoles todo el crédito al trabajo de los españoles como trabajos seminales de esta línea de investigación. Ahí no está la controversia. De hecho, Buckmaster decía que debían darle la medalla Fields a Diego Córdoba. Diego Cotoba ya tiene cincuenta y tantos, 53 o 55; igual ellos dicen, reconocen que el gran aporte es el de Diego, no hay duda de eso. Y ellos lo que hacen es un ataque al problema en el límite de Euler. Bueno, analizaron, trataron cuatro problemas, más problemas, pero tienen resultados de cuatro problemas, pero publicaron tres porque no están muy seguros de uno de ellos. Es el problema de Oiler, o sea, sin viscosidad; hay otro problema más, que es un caso particular: el de los medios porosos. Son casos como particulares. Son casos particulares; uno de los preprints es la generalización de lo de Córdoba y Martínez. Al caso de forzado suave. Por no entretenernos con la parte técnica: tres preprints y hay un cuarto en el que están trabajando para asegurarse, por un lado, para certificar el resultado y por otro lado para escribir el paper. La idea es que ellos estuvieron…