Búsqueda · 30 momentos en 12 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetecuaciones fluidos condiciones suavesdemostrar algo fundamentalresolver ecuaciones en situación determinadaecuaciones de fluidos con condiciones suavessolución se comporta bien francisproblema para matemáticos condición inicialFrancis VillatoroGastón GiribetFefermanNavier StokesDiego CórdobaPremio del MilenioProblema de CochisFeffermanproblema CHéctor SocasR3 dividido Z3Instituto Klein de MatemáticasAverstockOpenAIProblema del MilenioIgnacio Crespo
Problema para Matemáticos condición inicial
Con
0:000:301:001:302:002:303:003:31
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.
…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 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…
Significado #1 · Palabras #2
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 #19ecuación física problemas mileniocomplejidad matemática ecuación físicasoluciones ecuaciones físicasunicidad existencia soluciones…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…
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 GiribetSignificado #2 · Palabras #4ecuaciones 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 feffermanproblema a de feffermanecuaciones navier stokes divergenciacondiciones iniciales simulación fluidosexistencia de soluciones problema a…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 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…
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 #10clasificació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 #1 · Palabras #2ecuaciones fluidos condiciones suavesdemostrar algo fundamentalresolver ecuaciones en situación determinadaecuaciones de fluidos con condiciones suavessolución se comporta bien francisproblema para matemáticos condición inicial…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 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…
Gastón Giribet explica que se han logrado avances en la demostración del problema matemático, incluyendo pruebas en una dimensión más baja y con condiciones de contorno específicas.
Habla: Gastón GiribetPalabras #8problema matemático dimensión bajacondiciones de contorno específicassubresultados demostración matemáticahector problema contraejemplo…bien o encontrar un contraejemplo Al menos encontrar un contraejemplo en el que muestres que no es así. Demostrar eso. El problema de milenio es demostrar eso. Hay cuatro versiones y hay un montón independientes y hay un montón de resultados preliminares. Se ha logrado en una dimensión más baja probar algunas cosas, mucho. Se ha probado también con condiciones de contorno que son pequeñas. Hay un montón de subresultados sobre esto. La idea, que el problema es, como dice, como enfatiza Héctor, es demostrar que es así, o dame un contraejemplo. Para mostrar que no es así. Es decir, que yo puedo ver que, habiendo comenzado comportándose bien el fluido en un tiempo finito, en tiempo finito, puede ser largo pero finito, se comporta enfermamente. Es decir, alguna cantidad física relevante, la energía,…
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 GiribetSignificado #10problemas 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…
Ignacio Crespo reflexiona sobre la motivación para resolver problemas matemáticos complejos, planteando un escenario hipotético donde se le ofrece un millón de dólares a cambio de resolver uno de estos problemas.
Habla: Ignacio CrespoSignificado #20millón de dólares por problema matemáticoignacio crespo resuelve problemas matemáticospremio sin reconocimiento para ignacio crespo…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 quienes parece que están detrás de esas resoluciones no lo tienen como meta y Otro detalle, no sé vosotros; yo jamás resolveré uno, pero me pongo en la situación de que me dicen: has resuelto uno de estos problemas, puedes elegir el millón de dólares, pero nadie sabe que lo has resuelto, jamás o que todo el mundo sepa, pero no recibes el premio y mi vida está resuelta en el segundo de los casos, en el que no me dan el millón, pero. Todo el mundo lo sabe. Esa es la forma inteligente de decir lo que dije yo antes, que no me salía decirlo así; es exactamente lo que dice Ignacio. Yo estoy seguro que cualquier matemático, académico, porque después la lógica de las compañías la desconozco;…
Francis Villatoro explica cómo, en el año 2000, la mayoría de los expertos en ecuaciones de Navier-Stokes creían que un flujo con una condición inicial regular se mantendría regular indefinidamente.
Habla: Francis VillatoroSignificado #6 · Palabras #1condiciones 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 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 VillatoroPalabras #7condició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 cómo la percepción sobre una formulación específica para el Premio del Milenio cambió alrededor del año 2010 dentro de la comunidad matemática que trabaja en Averstock.
Habla: Francis VillatoroPalabras #11comunidad matemática averstockcondición inicial suave fluido suavepremio del milenio averstock…la leyó en 1998, y estamos hablando de que esto lo propuso en el año 2000 para el Premio del Milenio, cuando lo invitaron a hacer la formulación. Este camino no había sido muy explorado; mucha gente había pensado que era un camino tramposo y que tenía más espinas de lo que parecía, pero alrededor del año 2010 fue cambiando la comunidad de matemáticos que trabajan en Averstock, que es un poco la sensación, y mucha gente empezó a pensar que realmente la idea original de que condición inicial suave conduce a fluido suave siempre, en todo tiempo. no era correcta y que puede haber fluidos que generen singularidades y eso cambia el foco y ahora la gente ya no se concentra en el problema A, en la formulación A, sino en la formulación C y uno de ellos pues el propio equipo de Diego Córdoba, entonces ellos…
Gastón Giribet continúa una analogía sobre cómo alguien podría aprovechar el trabajo de otro para avanzar en sus propios descubrimientos, y ahora plantea la idea de que un matemático resuelve un problema y una empresa se apropia del resultado argumentando que avanza el conocimiento.
Habla: Gastón GiribetSignificado #14matemático resuelve problema empresaavanza conocimiento humanidad empresadiscusión créditos matemático empresa…mi canal para tu podcast. Claro, exacto; entonces a alguien se le ocurre encontrar soluciones con R al cuadrado en 10 dimensiones usando como base manifold, la grasmaniana que es rich y flat y no con formally flat y le tienen la métrica ahí. Aprende OpenAI. Acá hay un, la idea es, che, loco, la idea es que un matemático humano resuelve este problema. Ahora viene una empresa y dice: acá hay un doble juego, ojo, el resultado está buenísimo, avanza el conocimiento de la humanidad y como resultado vale la pena, y listo, yo me quedo con eso. Ahora, después está la discusión de los créditos, del dinero, de la gloria, del ego, todas esas cosas que son importantes también de las acciones. Esas discusiones de: hay que repensar la autoría, hay que repensar el concepto de original, hay que repensar muchas cosas. Vamos a jugar un toy model. Supongamos que todo el conocimiento de todos los científicos del mundo, que estamos todos usando sistemas,…