Búsqueda · 27 momentos en 13 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetclasificación de fefferman problemas a bforzado externo al sistema fluidocondiciones iniciales bien comportadasproblemas fefferman breakdownsingularidad solución físicaecuación dinámica fluidoproblema del milenio singularidadGastón Giribetproblema CFrancis VillatoroNavier StokesFeffermanIsaac AsimovMultivacR3 dividido Z3Problema del milenioForzamientoDiego CórdobaFormulación CNSFProblemas del MilenioGrigori PerelmanSan PetersburgoOpenAI
Solución problema C d
Con
0:000:301:001:302:002:303:003:31
Gastón Giribet explica cómo los problemas C y D dentro de la clasificación de Fefferman buscan un contraejemplo para demostrar un 'breakdown', que ocurre cuando una solución adquiere una singularidad.
…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 bien, cómo 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…
Significado #4 · Palabras #1
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 GiribetSignificado #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…
Gastón Giribet explica cómo los problemas C y D dentro de la clasificación de Fefferman buscan un contraejemplo para demostrar un 'breakdown', que ocurre cuando una solución adquiere una singularidad.
Habla: Gastón GiribetSignificado #4 · Palabras #1clasificación de fefferman problemas a bforzado externo al sistema fluidocondiciones iniciales bien comportadasproblemas fefferman breakdownsingularidad solución físicaecuación dinámica fluidoproblema del milenio singularidad…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 bien, cómo 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…
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 #15ecuaciones 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…
Gastón Giribet continúa explicando la complejidad de los problemas matemáticos relacionados con las ecuaciones de Navier-Stokes, haciendo referencia a la resolución de uno de los Problemas del Milenio.
Habla: Gastón GiribetSignificado #17ecuaciones de navier stokesresolución problemas millenium…se le ofreció la medalla Field, porque la medalla Field te la dan, si hiciste ese resultado a menor de los 40 años, También rechazó la medalla Field y también rechazó posiciones de profesor en todo el planeta y terminó viviendo con su mamá en San Petersburgo Bueno, esto un poco para mostrar cuán complicados estos problemas. Solo uno ha sido resuelto en décadas, solo uno y no solamente eso, sino que si bien había muchos resultados que se iban acercando a este segundo. Creíamos que no iba a ser resuelto ya. Entonces, en ninguna de sus versiones, esta versión de FF, una clasificación, había gente que se estaba acercando mucho; entonces ahora voy a dejar que hay un físico que estaba en Harvard y que ahora trabaja para…
Francis Villatoro explica que Fefferman incluyó una solución improvisada en el problema del milenio para darle una oportunidad a quienes intentaban resolverlo.
Habla: Francis VillatoroSignificado #12 · Palabras #7solución improvisada problema del mileniofefferman y ecuaciones navier stokesversiones c y d fefferman problemas…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 hace, que hombre se está perdiendo la olla completamente de hecho a nivel de divulgación nadie mencionaba las versiones 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…
Francis Villatoro continúa explicando las dificultades para generar singularidades en fluidos cuando todo es infinitamente diferenciable, introduciendo un concepto llamado 'forzamiento'. Menciona una posible solución relacionada con las formulaciones C y D.
Habla: Francis VillatoroSignificado #7 · Palabras #2singularidades en fluidos infinitamente diferenciablesconcepto forzamiento para singularidadformulaciones c y d de feffermanespacio abierto en r3contención cotoroperiódica en el troide…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 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…
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 #3 · Palabras #12ecuaciones navier stokes problema ccampo velocidad arbitrario forzamientoflujo incomprensible campo presiones univocosingularidad calculo campo fuerzacondición inicial suave problema cblowout simula explosión soluciónsingularidad generada por blowoutcampo de fuerza no diferenciable…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 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 reflexiona sobre una solución propuesta por Fefferman al problema del milenio relacionado con las ecuaciones de Navier-Stokes, señalando que, si bien es un camino razonable para resolver el problema, no proporciona mucha información sobre la física subyacente.
Habla: Francis VillatoroPalabras #20solución feferman ecuaciones navier stokesfísica de los fluidos problema milenioformulacion c trampa feferman…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 recuerda lo que estaba diciendo sobre la formulación C del problema del milenio, explicando que implica introducir un campo de velocidad arbitrario en la ecuación y buscar una singularidad.
Habla: Francis VillatoroSignificado #16campo de velocidad arbitrario problema mileniosingularidad en ecuaciones navier stokesforzamiento infinitamente diferenciable problema milenio…bueno, tampoco es que, uff. Sí, sí, tampoco, para vosotros que sois gringos tenéis mucho más dinero en los proyectos de la NSF. Dice Tomás Vila que ahí en Guayú un millón de dólares lo que cuesta un café. Bueno, puede que no tanto con un café de especialidad. Plantearos: Recordemos lo que yo estaba diciendo. Fijaros, esta formulación C del problema del milenio consiste en, yo meto un campo de velocidad cualquiera, el que me dé la gana en el miembro derecho de la ecuación; tenía que estar igualado a cero, pero no está igualado a cero. Está igualado a una fuerza que yo construyo a partir de ese campo. Y ahora lo que tengo que hacer es buscar la manera de que el campo de velocidad que yo meto por un lado produzca una singularidad, porque no tiene singularidad, es regular; produzca una singularidad y, por otro lado, que el forzamiento que produzca, el residuo de aplicar la ecuación, sea infinitamente diferenciable. Esta línea de ataque es lo que comenzó a trabajar Diego Córdoba con su equipo para su segundo proyecto, para el proyecto de la Embase Grand sobre 2018. Y en ese proyecto se defiende la tesis doctoral de Luis Martínez Zoroa, que por lo que cuenta Diego es uno…
Francis Villatoro describe cómo el equipo de Diego Córdoba abordó la formulación C del problema del milenio, inyectando soluciones y generando forzamientos para perturbar las mismas.
Habla: Francis VillatoroSignificado #13 · Palabras #13formulación c problema del mileniosoluciones inyectadas por diego córdobaforzamientos para perturbar solucionesproceso de bad reaction…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 Atacaron básicamente con esta idea: la idea de yo inyecto una solución, meto, genero automáticamente un forzamiento, utilizo ese forzamiento para perturbar la solución que he obtenido, esa solución perturbada me vuelve a generar un nuevo forzamiento que me vuelvo a utilizar para que perturbe y hago un proceso de bad reaction, de retrorreacción en el que voy metiendo, forzando; el forzamiento me sugiere una modificación que lo acerca a Singularidad y gracias a eso probaron la aparición de singularidades en versiones mucho más simplificadas de este problema, como la ecuación de medios porosos y en algunas variantes de la ecuación de Euler, que es sin viscosidad. E incluso en las ecuaciones…
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 #2 · Palabras #3vó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 explica una ventaja sencilla relacionada con el problema de condiciones de contorno, indicando que basta con alejar el toroide del tamaño de una caja.
Habla: Francis VillatoroSignificado #1 · Palabras #4condiciones de contorno toroidetoroide alejado cajaproblema tamaño 1 1solución problema c d…tengo exactamente cero. Entonces, yo quiero construir un campo de velocidades que me da un campo de presiones y que me da una fuerza aplicada que sea infinitamente diferenciable y que sea exactamente cero a partir de cierta distancia. ¿Qué ventaja tiene eso? Una ventaja muy sencilla para el problema de condiciones de contorno lo único que tengo que hacer es poner que las condiciones de contorno, es decir, el toroide, estén más lejos que el tamaño de esa caja. Si esto me cabe en una caja de tamaño 1, pues pongo un problema de tamaño 1,1 y automáticamente la misma solución me sirve para los dos problemas, para el C y para el D. Bien, Pero claro, ¿cómo yo conecto ese vórtice? Ese vórtice que tiene vorticidad y que 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…
Francis Villatoro explica que Fefferman propuso en la versión C del problema que la energía cinética debe ser finita, lo cual es un punto difícil de lograr en este tipo de soluciones.
Habla: Francis VillatoroSignificado #6 · Palabras #10energía cinética finita feffermanproblema fefferman versión cvórtice origen energía cinética…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 la energía cinética, como tengo un vórtice en el origen, es una función decreciente por la manera en la que yo estoy inyectando el momento. Angular es decir, la energía cinética que pasa de tener un valor constante conforme la velocidad crece, resulta que decrece. Esto parece un sin sentido, pero es una integral en la que evalúas el campo al cuadrado, la norma de la velocidad al cuadrado y…
Francis Villatoro reflexiona sobre una solución al premio del milenio y expresa un sentimiento agridulce al considerar su impacto limitado.
Habla: Francis VillatoroPalabras #18premio del milenio villatoromal gusto problema millenium…años de varios matemáticos muestren que hay una nueva manera de originar turbulencia y que en ese sentido sí tiene impacto sobre la turbulencia. pero a priori la solución es una solución completamente para obtener el premio del milenio y punto pelota. Resolver el problema C y no hacer nada más. Entonces es una cosa que te deja un poco de mal gusto, de regusto malo. Pero aún así, ya os digo, el artículo se lee, no es difícil de entender. Las ideas, la primera explicación de las ideas de lo que se hace en la demostración es prácticamente lo mismo que aparece después formalizado. Todo es extremadamente sencillo, la verdad; no hay ningún tipo de idea feliz que tú digas. Hay una creatividad, no hay creatividad; no es una solución creativa, bueno, bueno; pero esto no lo ha hecho ningún humano, lo ha hecho una máquina. Luego, la máquina…
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 #18matemá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,…