Demostrar la existencia y unicidad de soluciones de una ecuación en derivadas parciales no lineal no es fácil, pero es uno de los logros más perseguidos por muchos analistas (matemáticos que se dedican al análisis matemático).
Para las ecuaciones más famosas, ampliamente usadas en física,
este tipo de demostración copa titulares en prensa y conlleva premios y fama.
Sin embargo, para la mayoría de los físicos que usan dichas ecuaciones, este tipo de demostraciones tiene poco valor y aportan muy poco en la práctica.
La ecuación de los gases diluidos introducida por Boltzmann en 1872
es una de estas ecuaciones. Boltzmann “demostró” de forma no rigurosa la existencia de soluciones.
Para los físicos es suficiente, pero para los matemáticos su demostración no tiene valor alguno pues nadie ha sabido obtener una versión rigurosa de sus argumentos que convierta su ”idea de demostración” en una demostración de verdad.
El problema no es fácil.
En 1933, Carleman probó la existencia y unicidad de soluciones con simetría radial y coeficientes constantes.
Ukai generalizó dicho trabajo en 1974 a coeficientes no constantes. Illner y Shinbrot (1984), DiPerna y Lions (1989), Alexandre y Villani (2002), Guo (2003) y Liu, Yang y Yu (2004), entre otros, hicieron avances importantes (lograron demostraciones rigurosas en ciertos casos particulares).
La ecuación de Boltzmann es clave en la teoría cinética de los gases y describe como un gas (una distribución arbitraria de moléculas cada con una posición y velocidad dadas y que pueden colisionar entre sí de forma elástica) evoluciona hacia un estado de equilibrio que corresponde a un gas ideal.
Sin entrar en detalles técnicos, ni de física estadística ni de matemáticas, la ecuación de Boltzmann describe la densidad de partículas en un gas diluido e incluye un término que depende del modelo utilizado para las colisiones entre partículas.
Este modelo utiliza un potencial (con simetría esférica) repulsivo que da cuenta del cambio en la velocidad de las moléculas tras cada colisión intermolecular.
Lo habitual es utilizar un potencial de tipo Maxwell (1866) que depende de la distancia entre moléculas de la forma r-(p-1) , con p>2 .
Para demostrar la existencia y unicidad de las soluciones hay
que demostrar que una condición inicial suficientemente general
para el gas evoluciona gracias a la ecuación de Boltzmann sin producir ningún tipo de singularidad que provoque que la solución se vuelva infinita en un tiempo finito, que la solución explote (técnicamente se usa el término blow up). De esta forma se demustra que toda condición inicial arbitraria (suficientemente regular, diría un matemático) evoluciona hacia un estado de equilibrio.
Gressman y Strain han demostrado la existencia y unicidad
de soluciones de la ecuación de Boltzmann utilizando técnicas
de análisis armónico y de ecuaciones en derivadas parciales
no lineales.
No han sido los únicos, ya que Alexandre et al. lo han logrado para
el caso particular p=5 , demostración que utiliza otras herramientas diferentes y que, parece ser, han podido generalizar
(aunque a posteriori de la demostración de Gressman y Strain).
En ambas demostraciones el teorema H de Boltzmann, que él utilizó para su “demostración” no rigurosa, ha sido clave, pero las herramientas matemáticas utilizadas son modernas (desarrolladas en los últimos 50 años).
Quizás es más técnica de lo necesario.
No hay comentarios:
Publicar un comentario