La investigación en gráficos por computadora y procesamiento de geometría proporciona las herramientas necesarias para afectar fenómenos físicos como el fuego y las llamas, lo que facilita la creación de género visuales en videojuegos y películas, así como la fabricación de formas geométricas complejas utilizando herramientas como la impresión 3D.
En segundo plano, los problemas matemáticos denominados ecuaciones diferenciales parciales (EDP) modelan estos procesos naturales. Entre las muchas EDP que se utilizan en física y gráficos por ordenador, una clase denominada EDP parabólicas de segundo orden explica cómo los fenómenos pueden volverse suaves con el tiempo. El ejemplo más reconocido de esta clase es la ecuación del calor, que predice cómo se difunde el calor a lo espacioso de una superficie o en un masa a lo espacioso del tiempo.
Los investigadores en el campo del procesamiento geométrico han diseñado numerosos algoritmos para resolver estos problemas en superficies curvas, pero sus métodos suelen aplicarse sólo a problemas lineales o a una única ecuación diferencial parcial. Un enfoque más normal primoroso por investigadores del Laboratorio de Ciencias de la Computación e Inteligencia Sintético (CSAIL) del MIT aborda una clase normal de estos problemas potencialmente no lineales.
En un artículo publicado recientemente en la Transacciones en gráficos En un artículo publicado en la revista y presentado en la conferencia SIGGRAPH, describen un cálculo que resuelve diferentes ecuaciones diferenciales parciales parabólicas no lineales en mallas de triángulos dividiéndolas en tres ecuaciones más simples que se pueden resolver con técnicas que los investigadores de gráficos ya tienen en su conjunto de herramientas de software. Este ámbito puede ayudar a analizar mejor las formas y modelar procesos dinámicos complejos.
“Ofrecemos una fórmula: si quieres resolver numéricamente una ecuación diferencial parcial parabólica de segundo orden, puedes seguir un conjunto de tres pasos”, dice la autora principal Leticia Mattos Da Silva SM ’23, estudiante de doctorado del MIT en ingeniería eléctrica y ciencias de la computación (EECS) y afiliada a CSAIL. “En cada uno de los pasos de este enfoque, estás resolviendo un problema más simple utilizando herramientas más simples de procesamiento de geometría, pero al final, obtienes una decisión a la ecuación diferencial parcial parabólica de segundo orden más desafiante”.
Para conquistar esto, Da Silva y sus coautores utilizaron la división de Strang, una técnica que permite a los investigadores de procesamiento geométrico dividir la PDE en problemas que saben cómo resolver de forma apto.
En primer superficie, su cálculo avanza una decisión en el tiempo resolviendo la ecuación del calor (asimismo indicación “ecuación de difusión”), que modela cómo el calor de una fuente se propaga sobre una forma. Imaginemos que utilizamos un soplete para calentar una placa de metal: esta ecuación describe cómo se difundiría el calor de ese punto sobre ella. Este paso se puede completar fácilmente con álgebra rectilíneo.
Ahora, imaginemos que la ecuación diferencial parcial parabólica tiene comportamientos no lineales adicionales que no se describen mediante la propagación del calor. Aquí es donde entra en selección el segundo paso del cálculo: tiene en cuenta la parte no rectilíneo resolviendo una ecuación de Hamilton-Jacobi (HJ), una ecuación diferencial parcial no rectilíneo de primer orden.
Si adecuadamente las ecuaciones HJ genéricas pueden ser difíciles de resolver, Mattos Da Silva y sus coautores demuestran que su método de división diligente a muchas EDP importantes produce una ecuación HJ que se puede resolver mediante algoritmos de optimización convexa. La optimización convexa es una aparejo normalizado para la que los investigadores en procesamiento de geometría ya cuentan con un software apto y confiable. En el paso final, el cálculo avanza una decisión con destino a delante en el tiempo utilizando nuevamente la ecuación del calor para avanzar la EDP parabólica de segundo orden más compleja con destino a delante en el tiempo.
Entre otras aplicaciones, el ámbito podría ayudar a afectar incendios y llamas de forma más apto. “Hay un enorme proceso que crea un video con llamas simuladas, pero en el centro de todo esto hay un solucionador de ecuaciones diferenciales parciales”, dice Mattos Da Silva. Para estos procesos, un paso esencial es resolver la ecuación G, una ecuación diferencial parcial parabólica no rectilíneo que modela la propagación anterior de la apasionamiento y que se puede resolver utilizando el ámbito de los investigadores.
El cálculo del equipo asimismo puede resolver la ecuación de difusión en el dominio logarítmico, donde se vuelve no rectilíneo. El autor principal Justin Solomon, profesor asociado de EECS y líder del Categoría de Procesamiento de Datos Geométricos de CSAIL, desarrolló previamente una técnica de vanguardia para el transporte espléndido que requiere tomar el logaritmo del resultado de la difusión del calor. El ámbito de Mattos Da Silva proporcionó cálculos más confiables al realizar la difusión directamente en el dominio logarítmico. Esto permitió una forma más estable de, por ejemplo, encontrar una conocimiento geométrica de promedio entre distribuciones en mallas de superficie como un maniquí de un koala.
Aunque su ámbito se centra en problemas generales no lineales, asimismo se puede utilizar para resolver ecuaciones diferenciales parciales lineales. Por ejemplo, el método resuelve la ecuación de Fokker-Planck, en la que el calor se difunde de forma rectilíneo, pero hay términos adicionales que se desplazan en la misma dirección en la que se propaga el calor. En una aplicación sencilla, el enfoque modeló cómo se desarrollarían los remolinos sobre la superficie de una esfera triangulada. El resultado se asemeja a un arte de café con lactosa morado y castaño.
Los investigadores señalan que este tesina es un punto de partida para asaltar directamente la no linealidad en otras ecuaciones diferenciales parciales que aparecen en el procesamiento de gráficos y geometría. Por ejemplo, se centraron en superficies estáticas, pero les gustaría aplicar su trabajo asimismo a las que se mueven. Encima, su ámbito resuelve problemas que involucran una sola ecuación diferencial parcial parabólica, pero al equipo asimismo le gustaría asaltar problemas que involucran ecuaciones diferenciales parciales parabólicas acopladas. Este tipo de problemas surgen en biología y química, donde la ecuación que describe la transformación de cada agente en una mezcla, por ejemplo, está vinculada a las ecuaciones de los demás.
Mattos Da Silva y Solomon escribieron el artículo próximo con Oded Stein, profesor adjunto de la Escuela de Ingeniería Viterbi de la Universidad del Sur de California. Su trabajo fue financiado, en parte, por una banda del MIT Schwarzman College of Computing financiada por Google, una banda MathWorks, la Fundación Doméstico de Ciencias de Suiza, la Oficina de Investigación del Ejército de los EE. UU., la Oficina de Investigación Científica de la Fuerza Aérea de los EE. UU., la Fundación Doméstico de Ciencias de los EE. UU., el Laboratorio de IA Watson del MIT-IBM, el Centro de Investigación Conjunta Toyota-CSAIL, Adobe Systems y Google Research.