EXISTENCIA DE SOLUCIONES PARA LA ECUACIÓN DE BOLTZMANN CON TÉRMINO FUERZA

POR MEDIO DE UN TEOREMA DE PUNTO FIJO

JULIO JAIME CISNEROS LORDUY

Universidad de Cartagena
Facultad de Ciencias Exactas.
Maestría en Matemáticas
Cartagena, Colombia
2018
EXISTENCIA DE SOLUCIONES PARA LA ECUACIÓN DE BOLTZMANN CON TÉRMINO FUERZA
POR MEDIO DE UN TEOREMA DE PUNTO FIJO

Julio Jaime Cisneros Lorduy

Trabajo de grado presentado como requisito parcial para optar al título de:
Magister en Matemáticas

Director:
Rafael Galeano Andrade

Línea de Investigación:
Ecuaciones de tipo cinético
Grupo de Investigación:
Ecuaciones diferenciales parciales

Universidad de Cartagena
Facultad de Ciencias Exactas.
Maestría en Matemáticas.
Cartagena, Colombia
2018
Las matemáticas son tan antiguas
como el hombre.
Stefan Banach
Agradecimientos

Gracias a Dios por la inspiración.

Para todos los docentes de la maestría mis sinceros agradecimientos, en especial al

profesor Rafael Galeano Andrade, por sus contribuciones y aportes al presente trabajo.

Su gestión ha sido muy importante en la creación y el desarrollo de la Maestría en

Matemáticas de la Universidad de Cartagena.

Al grupo de compañeros de la maestría, que compartieron momentos enriquecedores

y me enseñaron diversos temas.

A mi familia por el ánimo que me dan para seguir con esta labor.

Y a todos mis amigos.

Resumen V

Resumen
El presente trabajo de grado se divide en tres secciones principales. La primera parte

describe el problema a desarrollar, citando algunos resultados importantes y recientes

relacionados con el tema, mencionando los objetivos alcanzados. En la segunda parte

se analiza la ecuación de Boltzmann sin término fuerza y se demuestra la existencia de

solución basado en el Teorema de la Aplicación Contractiva. En la última parte se

extiende el análisis de la ecuación añadiendo un término fuerza, haciendo

consideraciones que guardan relación con el Análisis Funcional y la Teoría de

Operadores.

El propósito principal de este trabajo es mostrar existencia de solución para la ecuación

de Boltzmann con término fuerza. Se formula un Problema de Cauchy planteado en

forma integral y se recurre a un teorema de punto fijo.

Palabras clave: Ecuación de Boltzmann, fuerza externa, punto fijo, teoría cinética.
Abstract

Abstract
Grade work is divided into three major sections. The first part describes the problem to

be developed, some important and recent results related to the topic and the objectives

are mentioned. In the second part the Boltzmann equation is analyzed with no force

term and its solution based on the Contraction Application Theorem is shown. In the

latter part we extend the analysis of the equation by adding a term force, making

considerations that relate to Functional Analysis and Operator Theory.

The main goal of this work is to show existence of solution for the Boltzmann equation

with term force. We formulate a Cauchy Problem that is integrally rethought and a fixed

point theorem is used.

Keywords: Boltzmann equation. External force. Fixed point. Kinetic theory.

Contenido
Pág.

Resumen ......................................................................................................................... V

Lista de Símbolos y abreviaturas ................................................................................... 8

Introducción ..................................................................................................................... 9

1. Generalidades ......................................................................................................... 12
1.1 Estado actual del problema ............................................................................21

2. Ecuación de Boltzmann ......................................................................................... 23

3. Ecuación de Boltzmann con término fuerza ......................................................... 41

3.1 Conjunto convexo ...........................................................................................44
3.2 Operador continuo..........................................................................................45
3.3 Operador compacto ........................................................................................48
3.4 Operador contractivo ......................................................................................51
3.5 Teorema de Krasnoselskii ..............................................................................54

4. Consideraciones finales ......................................................................................... 57

Bibliografía ..................................................................................................................... 59
 8

Lista de Símbolos y abreviaturas

La mayoría de símbolos y notaciones usadas en el presente trabajo se detallan a continuación.

Símbolos usados
Símbolo Término Unidad SI Definición

Función de densidad Kg.s/m ( ) ( )

EB
Derivada parcial con respecto al tiempo
velocidad ⁄ EB
Operador de transporte EB
Fuerza externa N EBTF
Gradiente de velocidad EB
( ) Operador de colisión EB
Parámetro positivo
Constante de proporcionalidad
( ) Función de peso { (| | | | )}
Vector unitario paralelo al segmento que
une los centros de las esferas en el
instante de la colisión
( ) Función de densidad redefinida Kg.s/m ( )
‖ ‖ Norma de en el espacio normado
Semiesfera unitaria ∬
Operador continuo y compacto Cap. 3
Operador contractivo Cap. 3




Abreviaturas
Abreviatura Término

EB Ecuación de Boltzmann
EBTF Ecuación de Boltzmann con término fuerza
Introducción
La ecuación de Boltzmann (EB) es una de las ecuaciones más importantes de la

física matemática y es fundamental en la teoría cinética de los gases. Ludwig

Boltzmann la dedujo en 1872, se trata de una ecuación integro-diferencial no-lineal que

describe cómo evoluciona un gas hacia un estado de equilibrio. A pesar de los

esfuerzos, no hubo una demostración rigurosa de la existencia de soluciones. Pasaron

140 años antes de que alguien pudiera resolverla. Dos matemáticos de la Universidad

de Pennsylvania, Gressman y Strain, hallaron la solución en el año 2010 [13].

Adicionalmente, si se considera una fuerza externa ejercida sobre las partículas, se

llega a la ecuación general. A partir de un modelo simplificado, se supone que las

moléculas son esferas rígidas que colisionan de manera elástica y que la energía

cinética del sistema se conserva.

La teoría cinética es un modelo en el cual un gas es representado como una

colección de moléculas cuyo movimiento en el espacio de fase es analizado, dicho

espacio es el producto cartesiano de la posición y la velocidad en tres dimensiones. La

función de distribución de la velocidad contiene una cantidad de información que puede

ser utilizada para describir las propiedades del gas a nivel macroscópico [11]. Lo que

se espera es poder encontrar una función positiva que tienda a cero conforme la
Introducción 10

rapidez de las moléculas aumente. El problema de existencia y unicidad de dicha

solución no está, en general, plenamente resuelto.

El objetivo del presente trabajo es mostrar existencia de solución al problema de

Cauchy para la ecuación de Boltzmann no lineal con término fuerza, vía Teorema del

Punto Fijo de Krasnoselskii [4]. Una limitante del teorema es que no asegura unicidad

de solución.

En este desarrollo, primero se definen espacios adecuados donde las soluciones

tienen lugar, dentro del espacio de funciones continuas para luego extenderlas al

espacio de Lebesgue , con una norma apropiada, esto es, unos espacios normados

completos. Luego se debilita el problema planteándolo en forma integral lo que

conduce a identificar un operador en una ecuación cuya solución es un punto fijo del

mismo. Finalmente se logra establecer que ese punto fijo existe dado que se cumplen

las premisas de un teorema que lo garantiza, denominado Teorema del Punto Fijo de

Krasnoselkii. Esto implica que el operador inicial sea expresado como la suma de dos

operadores: uno de los cuales es contractivo y el otro continuo y compacto.

Las primeras pruebas de existencia datan de la década de los ochenta con

Shinbrot, Kaniel y Cercignani [5] que se basaron en esquemas iterativos encontrando

sucesiones monótonas que convergen a un límite que satisface la ecuación de

Boltzmann. El presente trabajo aborda este mismo problema usando teoremas de

punto fijo, como un método alternativo.

Introducción 11

Se espera que este aporte sirva como motivación para futuros análisis de

sistemas dinámicos en diferentes entornos de aplicación que se extienden más allá de

la física estadística y las teorías estocásticas.

1. Generalidades
La experiencia ha demostrado lo difícil que es obtener teorías matemáticas

acerca de las soluciones de las ecuaciones diferenciales parciales tanto lineales como

no lineales. Una primera aproximación cuando se quiere resolver un problema consiste

en mostrar la existencia de su correspondiente solución. Este arduo camino conlleva

generalmente al uso de lemas y teoremas que terminan enriqueciendo a dichas teorías.

En la actualidad se dispone de una serie de técnicas para mostrar existencia,

una de las cuales se denomina Técnica de Punto Fijo, la cual es usada aquí para

obtener los resultados.

A lo largo del trabajo consideraremos el siguiente espacio solución: Sea ( )

un espacio de medida de Lebesgue donde ( ) ).

La ecuación de Boltzmann con término fuerza es una ecuación diferencial parcial

no lineal, cuya solución es una función ( ) que satisface

⃗ ⃗ ( )

y dato inicial

( ) ( )
Capítulo 1 13

Siendo ⃗ ⃗( ) un campo de fuerza externo.

El propósito principal de este trabajo es determinar algunas condiciones que

permitan asegurar que este problema de valor inicial es resoluble. Se quiere mostrar

existencia con dato pequeño, esto es, cerca al vacío [11]. Cuando son pocas

moléculas, la distancia promedio entre ellas es mucho mayor que su tamaño. El gas es

eléctricamente neutro y se consideran sólo las colisiones binarias. En ausencia de

fuerzas externas, el movimiento de las moléculas es rectilíneo uniforme.

El operador de colisión es no lineal, local en ( ) y actúa sobre las velocidades:

( )( ) ( )

∫ ∫ ( ) ( ) ( ) ( ) ( )]

Es usual expresar de manera abreviada ( )( ) como ( ).

En donde

{ }

constante proporcional al área de las esferas

Las velocidades y quedan determinadas por y mediante:

( )
Capítulo 1 14

La cantidad de movimiento se conserva. La figura 1-1 muestra el choque de dos

moléculas con velocidades y que, tras la colisión, adquieren nuevas velocidades

y , respectivamente.

y la energía también es conservada:

| | | | | | | |

Figura 1-1: Colisión binaria

El siguiente ejemplo muestra a nivel macroscópico, el cambio de velocidades

tras una colisión, y se ilustra el Principio de Conservación de la Energía.

Ejemplo. Dos esferas metálicas de masa y el mismo radio, chocan con velocidades ⃗⃗ ̂

̂y ⃗ ̂ de forma tal que en el instante del impacto sus centros quedan alineados sobre la

vertical. Determine las velocidades finales y compare la energía cinética del sistema.

Solución. El vector unitario que une sus centros ⃗⃗ ̂, por tanto

( ) ̂ ( ̂ ̂)
Capítulo 1 15

̂ ̂ ̂ ̂ ̂

̂ ̂ ̂

En cuanto a la energía:

| | | | | | | |

Se mantiene constante

| | | | | | | |

Si se tiene en cuenta la acción de la gravedad, las esferas se moverán bajo el

efecto de la fuerza gravitacional describiendo, en general, trayectorias curvilíneas; La

evolución de las velocidades de todas las partículas en un gas es determinada por

cierta función ( ) la cual existirá en algún espacio lineal.

Definición. Sea ( ) un espacio métrico. Una aplicación es una

contracción en si existe un número real positivo tal que para todo

( ) ( )

La noción de espacio métrico es más general. Todo espacio normado es a su vez un

espacio métrico, pues basta con definir ( ) ‖ ‖. Todas las nociones de los

espacios métricos son heredadas por los espacios normados.

Definimos los siguientes espacios para hallar la solución ( ). Denotamos el

conjunto ( ) ) como el conjunto de funciones continuas en el espacio

( ) ).

Dado , sea
Capítulo 1 16

( ) ) | ( )| (| | | | )
{ }

Con su norma

‖ ‖ (| | | | )| ( )|

Y el espacio

| ( )| (| | | | )
{ }

con la misma norma.

A pesar de que hasta el momento se sabe de la existencia y unicidad para dicho

problema usando Esquemas Iterativos [15], no se ha hecho una investigación de las

propiedades que goza dicha solución mediante el Teorema de Punto Fijo de

Krasnoselskii.

La ecuación de Boltzmann (EB) ha sido estudiada durante décadas y ha dado

origen a varios problemas, algunos de los cuales se encuentran actualmente abiertos,

entre los cuales se destaca la existencia de solución para la EB relativista [7].

Se ha mostrado en [6] la existencia y estabilidad global débil en el problema de

Cauchy para EB con kernels de colisiones generales, probando que las sucesiones

acotadas de soluciones, convergen débilmente a una solución en L1. Usan un método

con base en los resultados de compacidad para obtener los promedios de velocidad,

una nueva formulación de EB con normalización no lineal. Posteriormente, Galeano [8]

prueba un teorema de existencia y unicidad de la solución de la EB con término fuerza

y dato inicial, cerca al vacío. Enuncia otro teorema de existencia y unicidad local para la
Capítulo 1 17

ecuación de Boltzmann homogénea con término fuerza integrable con respecto al

tiempo [9]. Y obtiene los puntos críticos de un funcional definido sobre , que

coinciden con las soluciones estacionarias de EB [2].

A su vez, Gamba y colaboradores [3] usan la interacción Kaniel-Shinbrot con el

fin de establecer la existencia de soluciones para EB sobre un dominio espacial en

para ciertos datos iniciales. Cuando estas soluciones son globales en el tiempo, se

consiguen resultados sobre sus asintóticas en un tiempo largo.

Finalmente, en [11] se aborda el problema de Cauchy para EB con moléculas de

Maxwell, mostrando que cumple el efecto regularizador Gelfand-Shilov, haciendo que la

solución satisfaga la regularidad fuerte en la clase Gevrey aplicando el método de

descomposición espectral del operador no lineal.

Uno de los principales objetivos de la teoría cinética es describir las propiedades

macroscópicas de los gases, como presión, temperatura, conductividad térmica y

difusión, a partir de cantidades microscópicas de las moléculas que componen el gas,

como la masa, velocidad, energía cinética y las interacciones o colisiones que ocurren

a lo largo del tiempo [12].

Cuando hablamos de un gas rarificado, entendemos que su densidad es muy

baja (dato pequeño) y a su vez la presión interna es mucho menor que la presión

atmosférica (cercana al vacío). Esto significa que la distancia promedio entre las

moléculas es mucho mayor que sus tamaños. Se consideran sólo las colisiones

binarias. El gas es eléctricamente neutro y se descartan las fuerzas intermoleculares.

Capítulo 1 18

El estado de un gas cambia a lo largo del tiempo debido a un sin número de

colisiones entre las moléculas. Como parte del modelo suponemos que las partículas

que conforman el gas son esferas rígidas que no se deforman con el impacto, que los

choques son elásticos, y que la cantidad de movimiento se conserva así como la

energía. Para cada posición en tres dimensiones tenemos una distribución de

velocidades en tres componentes, esto exige trabajar en un espacio de seis

dimensiones denominado espacio de fase. La evolución temporal de estos estados los

describe la función de densidad ( ) con . La diferencia entre

las funciones de distribución en un lapso infinitesimal determina el operador de

colisión :

( ) ( ) ( )

Por lo que se escribe en notación diferencial

( ) ( ) ( )

Se conoce como ecuación de Boltzmann con término fuerza

( )

Diferentes consideraciones se han venido haciendo desde que la ecuación se

propuso en 1872. Un importante investigador fue Carlo Cercignani [5] quien demostró

el Teorema H para gases poliatómicos, lo que significa que la entropía del sistema

siempre aumenta hasta el equilibrio. La pregunta de existencia y unicidad de soluciones

para la ecuación espacialmente homogénea sin término fuerza fue abordada por
Capítulo 1 19

Carleman. Finalmente, Gressman y Strain hallan la solución a la ecuación sin término

fuerza para potenciales suaves pero sólo cuando el gas ha alcanzado un estado de

equilibrio perfecto [13]. La ecuación con término fuerza ha sido poco estudiada. Una

idea más precisa se puede encontrar en los trabajos de Polewczac [14].

Muchas de las demostraciones de existencia de solución se basan en los

teoremas de punto fijo, donde la ecuación diferencial es expresada en forma integral

( ) ( ) ∫ ( ) ( )

Siendo un operador y un elemento del espacio de funciones donde la

solución existe. Decimos de es un punto fijo de si ( ). No toda transformación

tiene un punto fijo. Pero si la transformación es contractiva siempre tiene uno. Stefan

Banach lo enunció en su teorema: ”Sea ( ) un espacio métrico completo y sea

una aplicación contractiva en . Entonces existe un único punto fijo de .”

(ver [1]).

Hay una versión local del Principio de Contracción de Banach para espacios

normados que será útil para mostrar existencia de solución local al problema débil.

Teorema 2.3. Sea ( ‖ ‖) un espacio normado completo y sea la bola abierta en el

espacio definida como ( ) { ‖ ‖ } , donde y .

Supongamos que ( ) es una contracción tal que

‖ ‖ ( )

Entonces, tiene un único punto fijo en ( ).

Capítulo 1 20

Prueba. Sea ) tal que ‖ ‖ ( ) , y sea ̅̅̅̅̅̅̅̅̅̅̅

( ). Entonces,

‖ ‖ ‖ ‖ ‖ ‖ ‖ ‖ ( )

Como ̅̅̅̅̅̅̅̅̅̅̅
( ) , se puede afirmar que ‖ ‖

Así

‖ ‖ ( )

Luego

‖ ‖

Entonces ̅̅̅̅̅̅̅̅̅̅̅
( ) , lo que equivale a decir que ̅̅̅̅̅̅̅̅̅̅̅
( ) ̅̅̅̅̅̅̅̅̅̅̅
( ) y dado que

̅̅̅̅̅̅̅̅̅̅̅
( )

la bola ( ) es completa, y por el Principio de Contracción de Banach, existe un

único ̅̅̅̅̅̅̅̅̅̅̅
( ) tal que . Puesto que ̅̅̅̅̅̅̅̅̅̅̅
( ) ̅̅̅̅̅̅̅̅̅̅
( ) se concluye que

tiene un único punto fijo en ( ).

Capítulo 1 21

1.1 Estado actual del problema

El término EB se refiere a cualquier ecuación cinética que describe la evolución

de un sistema termodinámico. Puede tratarse de un gas, un fluido o incluso una

galaxia. Resolver la EB equivale a obtener una función que permita explicar las

propiedades macroscópicas de un fluido como la viscosidad, la conductividad eléctrica

o la conductividad térmica.

Se ha mostrado existencia de solución para la ecuación de Boltzmann sin

término fuerza, usando el Teorema de Punto Fijo de Banach [12]. También se ha

probado un teorema de existencia, unicidad y positividad de la solución de la ecuación

de Boltzmann con término fuerza y dato inicial cerca al vacío, sin hacer uso hasta ahora

de la teoría del punto fijo de Krasnoselskii [8], que es una extensión del Teorema de

Schauder.

Teorema 1.1. Teorema de Schauder. Sea un espacio vectorial localmente convexo, y

sea un conjunto no vacío, compacto y convexo. Entonces cualquier aplicación

continua tiene un punto fijo.

El procedimiento usual para mostrar existencia de solución en ecuaciones no

lineales, consiste en debilitar el problema, convirtiendo la ecuación diferencial no lineal

en una ecuación integral y diseñar un esquema iterativo para mostrar convergencia de

una sucesión de Cauchy en un espacio de Banach. Esto significa solucionar el

Capítulo 1 22

problema débil. Luego se mira si esa solución es diferenciable con respecto al tiempo,

conformando así la solución fuerte.

El aporte principal del presente trabajo es demostrar existencia de solución al

problema de Cauchy para la ecuación de Boltzmann no lineal, con término fuerza y

dato pequeño, cuando se conoce una condición inicial, usando el Teorema del punto

fijo de Krasnoselskii. Esta técnica consiste en plantear el problema de Cauchy para la

ecuación de Boltzmann con término fuerza como un problema equivalente a la

existencia de un punto fijo de un operador. A su vez se analizan algunos tópicos

pertinentes al problema de Cauchy de la ecuación de Boltzmann no lineal, con el fin de

aclarar la terminología y contextualización del problema en las ecuaciones

diferenciales, la teoría de operadores y el análisis funcional. En el capítulo 3 se

transforma el problema de Cauchy de la ecuación de Boltzmann no lineal de forma que

éste cumpla las hipótesis del teorema del punto fijo de Krasnoselskii y se muestra que

ese operador se puede descomponer en la suma de un operador continuo y compacto,

y otro contractivo. Básicamente el trabajo consiste en adaptar el problema inicial a las

condiciones que impone el teorema principal.

2. Ecuación de Boltzmann
El objetivo principal de este capítulo es probar existencia global de solución para

el siguiente problema de Cauchy, en el caso de esferas rígidas y cerca del vacío, esto

significa que la distancia promedio entre las moléculas es mucho mayor que su tamaño

(dato pequeño), sin considerar ninguna fuerza externa que actúa sobre un gas.

Adicionalmente se verifica la unicidad de solución.

Resolver el problema de Cauchy para la ecuación de Boltzmann significa encontrar una

función que satisfaga

( )
{ ( )
( ) ( )

Suponemos que la condición inicial ( ) es una función acotada. Como la ecuación

es no lineal, planteamos el anterior problema como un problema de punto fijo, para esto

se definen los siguientes espacios.

Para , sea

( ) | ( )| (| | | | )
{ }

Con norma

‖ ‖ | ( )| (| | | | )

Y de forma similar
Capítulo 2 24

( ) | ( )| (| | | | )
{ }

en casi toda parte.

El conjunto es distinto de vacío pues al menos contiene la función idénticamente nula

( ) .

Definimos una norma en el espacio

‖ ‖ | ( )| (| | | | )

Esta norma está bien definida. Para toda se tiene que

| ( )| (| | | | )

Y todo conjunto acotado tiene supremo.

Luego existe

| ( )| (| | | | )

Esta norma satisface:

1. No negatividad. Para toda de la norma es positiva. Además la norma es cero, si

y sólo si .

2. Homogeneidad. Para todo real se satisface ‖ ‖ | |‖ ‖

3. Desigualdad triangular. Sean entonces

‖ ‖ ‖ ‖ ‖ ‖

Prueba:

‖ ‖ | ( ) (| | | | )
( )|

| ( )| | ( )|] (| | | | )

| ( )| (| | | | )
| ( )| (| | | | )

‖ ‖ ‖ ‖

Se concluye que ( ‖ ‖ ) es un espacio normado.

Capítulo 2 25

Nota. Una norma siempre induce una métrica en : ( ) ‖ ‖

Definición. A una sucesión { } en un espacio normado ( ‖ ‖ ) se le denomina

sucesión de Cauchy, si se cumple que

‖ ‖

Lema 2.1. Toda sucesión convergente es de Cauchy.

Prueba. Existe un elemento tal que { } , entonces

‖ ‖

‖ ‖

‖ ‖ ‖ ‖ ‖ ‖ ‖ ‖

Luego ‖ ‖ para todo . La sucesión { } es de Cauchy.

Definición. Un espacio normado ( ‖ ‖ ) se llama completo si toda sucesión de

Cauchy en es convergente.

Lema 2.2. El espacio normado ( ‖ ‖ ) es de Banach.

Prueba. Sea { } una sucesión de Cauchy en . Esto es, para todo , existe

tal que para todo

‖ ‖

Así,

‖ ‖ | ( ) ( )| (| | | | )
Capítulo 2 26

Entonces,

| ( ) ( )| (| | | | )

Para cada ( ) fijo en ) se tiene que { ( )} es una sucesión

de Cauchy. En efecto, para

| ( ) ( )| (| | | | )

Por tanto, para cada ( ) la sucesión { ( )} tiene límite en .

Dado que para cada ( ) existe un número real que es el límite de dicha

sucesión, existirá una función definida puntualmente en el dominio de forma que para

todo ( ) existe un único ( ) tal que

( ) ( )

Dado que todas las están en ( ) entonces ( ) .

Veamos ahora que ( ) . En efecto, si en

| ( ) ( )| (| | | | )

Tenemos que

| ( ) ( )| (| | | | )

Lo que implica que | ( ) ( )|

Capítulo 2 27

Para cada elemento ( ) existirá alguna constante tal que

| ( )| (| | | | )

Como toda sucesión de Cauchy es acotada, existirá el supremo :

Sea { } con

Por la desigualdad triangular:

| ( )| | ( ) ( ) ( )| | ( ) ( )| | ( )|

Así,

| ( )| (| | | | ) | ( ) ( )| (| | | | )
( )| (| | | | )
|

Esto es,

| ( (| | | | )
)|

Entonces se puede concluir que { } converge a , un elemento de .

Luego es completo.
Capítulo 2 28

Se puede mostrar que la ecuación (2.1) admite una solución.

Definición. Un punto fijo de un operador es un elemento tal que .

Definición. ( ) ( ) con ,

Por medio de un cambio de variables, si entonces la matriz

jacobiana satistace

( )
| |
( )

El jacobiano del cambio de variables es igual a la unidad.

La ecuación de Boltzmann (2.1) puede ser reescrita como

( ) ( )( )

En efecto,

( ) ( )( )

De manera que la ecuación diferencial se expresa en forma integral así:

( ) ∫ ( )

Se define el operador en el espacio como

( ) ∫ ( )
Capítulo 2 29

Que a su vez se traduce en un problema de punto fijo

El Teorema del punto fijo de Banach garantiza la existencia de un único punto fijo del

operador , siempre y cuando sea una contracción.

Teorema 2.1. Consideremos un espacio métrico ( ) distinto de vacío. Supongamos

que es completo y sea una contracción en . Entonces, tiene un único

punto fijo.

Idea: Construir una sucesión ( ) y probar que es de Cauchy, luego converge en

que es completo. Tomamos el límite ( ) siendo un punto fijo y mostrar que

ese es único. Ver libro de R. Agarwal [1]

Demostración. Por hipótesis ( ) ( )

Elijamos un arbitrario y formemos la sucesión

luego .

Dado que , entonces

( ) ( )

( )

( )

( )

( )
Capítulo 2 30

Se concluye que ( ) ( )

Debido a la desigualdad triangular para

( ) ( ) ( ) ( )

] ( )

Teniendo en cuenta que

Resulta así

( )

( )

( ) ( )

Entonces

( ) ( ) ( ) ( ) ( ) ( )

( ) ( )
Capítulo 2 31

Como ( ) , conforme va a ocurrir que

( )

Por lo tanto ( ) es una sucesión de Cauchy, y al ser completo,

Así

Luego

En efecto,

( ) ( ) ( ) ( ) ( )

Se concluye que ( ) . Esto es, es un punto fijo de .

Ahora se muestra que dicho punto es único:

Supongamos que y ̃ son ambos puntos fijos de , esto es y ̃ ̃. Luego

( ̃) ( ̃) ( ̃) y debido a que , debe ser que ( ̃) . En

consecuencia ̃. El teorema está probado.

Se puede analizar ahora el siguiente operador integral con la intención de mostrar que

es contractivo localmente.
Capítulo 2 32

Definamos siendo

( ) | ( )| (| | | | )
{ }

De la siguiente manera:

( ) ∫ ( )

Lema 2.3. Sea ( ) . Si entonces el operador satisface:

1. .

2. es una contracción.

Prueba.

La idea es mostrar que para todo , existe una constante tal que

| | (| | | | )

En efecto, ( ) tiene su norma y la integral de es acotada.

A partir del operador de colisión:

( ) ∫ ∫ ( ) ( ) ( ) ( ) ( )]

Luego

( ) ∫ ∫ ( ) ( ) ( ) ( ) ( )]

∫ | | ( ) ( ) ( ) ( )]
Capítulo 2 33

Por la desigualdad triangular:

| ( )| ∫ | |[| ( ) ( )| | ( ) ( )|]

∫ | || ( ) ( )| ∫ | || ( ) ( )|

∫ | || ( )|| ( )| ∫ | || ( )|| ( )|

(| ( )| | | ) (| ( )| | | ) (| ( )| | | ) (| ( )| | | )
∫ | || ( )| | ( )|

(| )| | | ) (| | | | ) (| ( )| | | ) (| ( )| | | )
∫ | || ( )| | ( )|

(| ( )| | | ) (| ( )| | | )
∫ | |‖ ‖ ‖ ‖

∫ | |‖ (| | | | ) (| ( )| | | )
‖ ‖ ‖

(| ( )| | | ) (| ( )| | | )
‖ ‖ ∫ | |

(| | | | ) (| ( )| | | )
‖ ‖ ∫ | |

(| ( )| | | | ( )| | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |

(|( ) | | | |( ) | | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |
Capítulo 2 34

(( ) ( ) | | | | ( ) ( ) | | | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |

( ( ) ( ) ( ) (| | | | ) | | | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |

Por hipótesis: y además | | | | | | | |

( ( ) ( ) ( ) (| | | | ) | | | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |

(( ) ( ) | | ( ) ( ) | | | | | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |

(| | | | | | | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |

(| | | ( )| | | | | )
‖ ‖ ∫ | |

(| | | | | ( )| | | )
‖ ‖ ∫ | |

(| | | ( )| | | | | )
‖ ‖ ∫ | |
Capítulo 2 35

(| | | | )
∫ | | (| ( )| | | )
‖ ‖

Entonces,

( )| (| | | | )
∫ | | (| ( )| ) | |
| ‖ ‖

E integrando a lado y lado de la desigualdad:

∫| ( )| (| | | | )
∫ | | [∫ (| ( )| )
] | |
‖ ‖

(| | | | )
∫ | | [∫ (| ( )| )
] | |
‖ ‖

(| | | | ) | |
‖ ‖ √ ∫ | |

(| | | | ) (| | | | )
‖ ‖ √ (√ ) ‖ ‖

La integral de es acotada. Por lo tanto,

| | | ( ) ∫ ( ) | | ( )| ∫| ( )|

| ( )| (| | | | ) (| | | | )
∫| ( )|
| |

| ( )| (| | | | ) (| | | | ) (| | | | )
| | ‖ ‖

‖ ‖ (| | | | ) (| | | | )
| | ‖ ‖

En consecuencia,
Capítulo 2 36

(| | | | ) ‖ ‖
| | ‖ ‖

(| | | | )
| |

Conclusión: siempre que . O sea,

Teorema 2.2. El operador es contractivo localmente.

Prueba. Sean y dos elementos del espacio . Entonces,

| | | ( )| |∫ ( ) ( )] |

| ∫ | | ( ) ( ) ( ) ( )

( ) ( ) ( ) ( )] |

∫ | || ( ) ( ) ( ) ( )

( ) ( ) ( ) ( )|

Sumando y restando , la integral queda así:

∫ | |[| ( ) ( ) ( ) ( ) ( ) ( )

( ) ( )|
| ( ) ( ) ( ) ( ) ( ) ( )
( ) ( )|]

∫ | |[| ( ) ( ) ( )] ( ) ( ) ( )]|

| ( ) ( ) ( )] ( ) ( ) ( )]|]

∫ | |[ ( )| ( ) ( )| ( )| ( ) ( )|

( )| ( ) ( )| ( )| ( ) ( )|]
Capítulo 2 37

∫ | |[| ( )|| ( ) ( )| | ( )|| ( ) ( )|

| ( )|| ( ) ( )| | ( )|| ( ) ( )|]

Para relacionar cada término con la norma en el espacio, se multiplica por adecuado.
De esta manera,

(| ( )| | | ) (| ( )| | | )
∫ | | [| ( )| | ( )

(| ( )| | | ) (| ( )| | | )
( )|
(| ( )| | | ) (| ( )| | | )
| ( )| | ( )
(| ( )| | | ) (| ( )| | | )
( )|
( )| (| | | | ) (| | | | ) ( )
| |
( )| (| ( )| | | ) (| ( )| | | )

( )| (| ( )| | | ) (| ( )| | | ) ( )
| |
( )| (| | | | ) (| | | | )
]

(| ( )| | | ) (| ( )| | | )
∫ | | [‖ ‖ ‖ ‖

(| ( )| | | ) (| ( )| | | )
‖ ‖ ‖ ‖
(| | | | ) (| ( )| | | )
‖ ‖ ‖ ‖
(| ( )| | | ) (| | | | )
‖ ‖ ‖ ‖ ]

(| ( )| | | ) (| ( )| | | )
‖ ‖∫ | | [‖ ‖

(| ( )| | | ) (| ( )| | | )
‖ ‖
(| | | | ) (| ( )| | | ) (| ( )| | | ) (| | | | )
‖ ‖ ‖ ‖ ]

(| ( )| | | | ( )| | | )
‖ ‖∫ | | [‖ ‖

(| ( )| | | | ( )| | | ) (| | | | | ( )| | | )
‖ ‖ ‖ ‖
(| ( )| | | | | | | )
‖ ‖ ]

(| ( )| | | | ( )| | | )
‖ ‖∫ | | [(‖ ‖ ‖ ‖)

(| ( )| | | | | | | )
(‖ ‖ ‖ ‖) ]
Capítulo 2 38

‖ ‖(‖ ‖
(| ( )| | | | ( )| | | ) (| ( )| | | | | | | )
‖ ‖) ∫ | |[ ]

‖ ‖(‖ ‖
(|( ) | | | |( ) )| | | ) (| ( )| | | | | | | )
‖ ‖) ∫ | |[ ]

( | | ( )( ) (| | | | ) | | | | )
‖ ‖(‖ ‖ ‖ ‖) ∫ | |[
(| ( )| | | | | | | )
]

Suponemos que los choques son elásticos: | | | | | | | | y que la cantidad

de movimiento se conserva: ’ ; al simplificar resulta

( | | ( )( ) (| | | | ) | | | | )
‖ ‖(‖ ‖ ‖ ‖) ∫ | |[
(| ( )| | | | | | | )
]

‖ ‖(‖ ‖ ‖ ‖) ∫ | |[ (| | | | | ( )| | | ) (| ( )| | | | | | | )
]

‖ ‖(‖ ‖
(| | | | ) | ( )| | | | ( )| | | (| | | | )
‖ ‖) ∫ | |[ ]

(| | | | ) | ( )| | |
‖ ‖(‖ ‖ ‖ ‖) ∫ | |[ ]

Esta integral es acotada por ser de tipo gaussiana

∫ √

Se concluye que

(| | | | ) | |
| | ‖ ‖(‖ ‖ ‖ ‖)√ ∫ | |

(| | | | )
| | ‖ ‖(‖ ‖ ‖ ‖)
Capítulo 2 39

(| | | | )
| | ‖ ‖(‖ ‖ ‖ ‖)

‖ ‖ ‖ ‖(‖ ‖ ‖ ‖)

Definición. El conjunto de funciones con norma menor o igual a se denomina y

representa una bola cerrada en el espacio .

Se expresa así:

{ ‖ ‖ }

De manera que si y entonces ‖ ‖ ‖ ‖

‖ ‖ ‖ ‖

Para todo existe de forma tal que

Con lo que se concluye que el operador es una contracción siempre que sea lo

suficientemente pequeño.

Definición. Se dice que ( ) es una solución suave del problema de valor inicial

( ) si satisface

( ) ∫ ( )
Capítulo 2 40

Lema 2.4. El operador tiene un único punto fijo dentro de una bola de radio

para pequeños valores de ‖ ‖ y de

Prueba. Se tiene en cuenta la hipótesis de dato pequeño, de manera que ( ) es

acotada. En particular si y si además , entonces nombrando la función

(| | | | )
de peso ( ) se verifica

| | ( ) ‖ ‖ ( ) ‖ ‖ ( ) [ ]

( ) [ ] ( )

Siempre y cuando

Con estos supuestos se puede establecer que

Luego, para suficientemente pequeño, es contractivo, por lo tanto existe

un único que satisface la ecuación .

En otras palabras, existe solución local para la ecuación integral dentro de la bola de

radio

( ) ∫ ( )
3. Ecuación de Boltzmann con término fuerza
La teoría de punto fijo constituye una parte importante del análisis funcional no

lineal y es de suma utilidad para probar existencia de solución tanto en ecuaciones

diferenciales como de ecuaciones integro-diferenciales. En el capítulo anterior se

mostró existencia de solución para la ecuación sin término fuerza, usando el Teorema

de punto fijo de Banach. Surge la pregunta: ¿Qué pasa cuando el sistema de partículas

es perturbado con una fuerza externa? Veremos que es necesario recurrir al Teorema

del Punto fijo de Krasnoselskii [4].

La ecuación de Boltzmann con término fuerza define el siguiente problema de Cauchy:

⃗ ⃗ ( )
{ ( )
( ) ( )

Siendo ⃗ un campo de fuerza externo.

( ) ⃗( ) ( ( ) ( ) ( ))

El operador de colisión ( ) ( )( ) está determinado, para el caso esferas

rígidas, como:
Capítulo 3 42

( ) ∫ ∫ ( ) ( ) ( ) ( ) ( )]

El objetivo es mostrar existencia de la solución ( ) con ; , por

medio de un teorema de punto fijo en el siguiente espacio lineal:

Para , sea

( ) | ( )| (| | | | )
{ }

en casi toda parte.

Con norma:

(| | | | )
( ) (| | | | )
‖ ‖ { | ( )| | | }

El espacio normado ( ‖ ‖) es un espacio de Banach.

Extendiendo la definición de vista anteriormente, se redefine

( ) ( )

Para calcular la derivada de con respecto al tiempo, introducimos las variables

Capítulo 3 43

Así,

( ) ( )
( )

( ) ( )

( ( ) )( ) ( )

Conclusión:

( )
( )

Nótese que si la fuerza externa ⃗ es independiente del tiempo, el último término se

anula.

En forma integral

( ) ( ) ∫ ( ) ∫

Se definen entonces dos operadores

( ) ( ) ( ) ( )
Capítulo 3 44

Donde

( ) ( )( ) ∫ ( )

( ) ( )( ) ( ) ∫

Se mostrará entonces que el operador es contractivo mientras que el

operador es completamente continuo. La suma define un operador , el cual

satisface las hipótesis del Teorema de Krasnoselskii, por lo tanto admite un punto fijo.

3.1 Conjunto convexo

Definición. El conjunto en un espacio lineal se llama convexo si, y sólo si, para todo

y implica que ( ) .

Proposición. Sea un espacio normado, y sea , dado. Entonces, la bola

{ ‖ ‖ } es convexa.

Prueba. Si y , entonces

‖ ( ) ‖ ‖ ( ) ( )( )‖

‖ ( )‖ ‖( )( )‖

‖( )‖ ( )‖( )‖ ( )

Por lo tanto ‖ ( ) ‖ . Luego ( ) .

Capítulo 3 45

3.2 Operador continuo

Sean e dos espacios lineales normados sobre el mismo campo escalar .

Se dice que un operador lineal es continuo en un punto si existe una sucesión

( ) en tal que ‖ ‖ cuando implica que ‖ ‖ cuando

. Esto es, en cuando implica que en cuando

. Lo que es equivalente a la idea que para todo existe un tal que ‖

‖ , siempre que ‖ ‖ .

Definición. Sean e dos espacios normados y un operador lineal. Entonces,

es continuo si, y sólo si, existe una constante tal que :‖ ‖ ‖ ‖

Lema 3.1. El operador cumple que

Prueba. Sea

| | |∫ ( ) | ∫| ( )|

Por definición

( ) ∫ ∫ ( ) ( ) ( ) ( ) ( )]

∫ | | ( ) ( ) ( ) ( )]

Por la desigualdad triangular:

Capítulo 3 46

| ( )| ∫ | || ( ) ( )| | ( ) ( )|]

∫ | || ( ) ( )| ∫ | || ( ) ( )|

∫ | || ( )|| ( )| ∫ | || ( )|| ( )|

El lema 2.3 del capítulo anterior muestra el cálculo detallado que dicho operador es

acotado.

Se integra en ]

( )| ‖ ‖ (| | | | ) (| ( )| ) | |
∫| ∫ | | [∫ ]

‖ ‖ (| | | | ) (| ( )| ) | |
∫ | | [∫ ]

‖ ‖ (| | | | ) | |
√ ∫ | |

‖ ‖ (| | | | )
‖ ‖ (| | | | )
√ (√ )

De donde

( )| ‖ ‖ (| | | | )
∫|

Así
Capítulo 3 47

( ) (| | | | )
‖ ‖
{|∫ | }

Se concluye que

∫ ( )

Esto prueba que , luego

Teorema 3.1. Sea un operador definido por

( )( ) ∫ ( )

Entonces es continuo.

Prueba. Del lema anterior se desprende que

( ) (| | | | )
| (| | | | )
‖ ‖ ‖ ‖
{|∫ | } {| }

( ‖ ‖) ‖ ‖ ‖ ‖

‖ ‖ ‖ ‖

Siendo la constante

‖ ‖
Capítulo 3 48

3.3 Operador compacto

En el espacio ( ) de operadores lineales, se encuentra el espacio formado

por los operadores acotados ( ) siendo e espacios normados. Un subconjunto

importante son los llamados operadores compactos debido a sus propiedades y a las

relaciones que guarda con las sucesiones.

Un operador compacto implica que para toda sucesión acotada { } en , la

sucesión { ( )} tiene una sub-sucesión convergente en , y viceversa.

Definición. Un conjunto se dice que es compacto (secuencialmente compacto) si, y

sólo si, cualquier sucesión { } tiene una sub-sucesión convergente a un elemento

que pertenece a . En caso de que no pertenezca a , el conjunto se denomina

relativamente compacto. El conjunto es compacto si, y sólo si, es relativamente

compacto y cerrado.

Todo conjunto que sea relativamente compacto es acotado.

Definición. Sea ( ) un espacio de probabilidad y sea un subconjunto de ( ).

Decimos que es equi-integrable si para todo existe algún tal que para

cualquier con ( ) y para toda ,

∫| |

Teorema de Dunford-Pettis. Sea un conjunto acotado de ( ). Entonces tiene

clausura compacta en la topología débil ( ) si, y sólo si, es equi-integrable,

esto es,
Capítulo 3 49

( ) { | |
∫ | |

| |
( ) { | |
∫

Otra forma de mostrar que un conjunto sea relativamente compacto es probando que

es acotado y además equi-integrable.

Definición. El conjunto de funciones integrables con norma menor o igual a se

denomina { ‖ ‖ }

Teorema 3.2. Sea un operador definido por

( )( ) ∫ ( )

Entonces es compacto.

Prueba.

Sea medible, tal que ( ) y .

∫| | ∫∫ ( ) ‖ ‖ ( )

Dado existe tal que

Capítulo 3 50

∫| | ‖ ‖ ( ) ( )

De otra parte, se elige un conjunto cerrado con tal que

( )

Luego

∫| | ∫∫| ( )| ∫ ‖ ‖ ∫ ( )

Finalmente, el conjunto { }, es acotado, a la vez que es un

operador continuo y es acotado.

Para cualquier , existe un conjunto cerrado , tal que la medida exterior

( )

El operador es compacto en la topología débil ( ).

Capítulo 3 51

3.4 Operador contractivo

Definición. Sea ( ) un espacio métrico. Un mapeo se dice Lipschitziano si

existe una constante que satisface para todo

( ( ) ( )) ( )

La mínima para la cual la desigualdad es verdadera, se denomina constante de

Lipschitz para y se denota por . Si decimos que es una contracción. En el

caso que se dice que es no expansiva.

En la situación particular que simplemente se cumpla para todo

( ( ) ( )) ( )

diremos que es una pseudo-contracción.

Una pseudo-contracción podría no tener ningún punto fijo aunque sea

completo. Por ejemplo, ) con ( ) . No obstante, es suficiente con

que sea compacto para que exista un único punto fijo.

Teorema 3.3. Si es un espacio métrico compacto y el operador satisface

para todo con , que

‖ ‖ ‖ ‖

Entonces tiene un único punto fijo en .

Capítulo 3 52

Prueba. La aplicación ‖ ‖ es continua en ; como es compacto dicha

aplicación alcanza su valor mínimo en un punto , por lo que es un punto fijo de

, porque de otra forma se tendría que ‖ ( ) ‖ ‖ ‖, lo cual es una

contradicción.

Para la unicidad suponemos que tiene dos puntos fijos diferentes: y .

Entonces ‖ ‖ ‖ ‖, así que ‖ ‖ ‖ ‖ lo cual es absurdo, por lo

que . El punto fijo es único.

Lema 3.2. Sea un operador definido por

( ) ( ) ∫

Siendo ⃗ un campo vectorial diferenciable Lipschitz continuo. Entonces es

contractivo.

Prueba. Sean ( )y ( ) dos elementos del espacio solución :

| | |∫ ( ) | ∫| | | ( )|

( )
∫ | ( )| ∫ |∑ |

Por el Teorema del Valor Medio las componentes son acotadas por , entonces

para todo se tiene que

Capítulo 3 53

| |

| |

{| |

| | { }

Luego

( ) ( )
| | ∫ |∑ | ∫ ∑| |

(| | | | ) (| | | | )
( )
∫ ∑| |

(| | | | )
‖ ‖ (| | | | )
∫ (∫ )‖ ‖

(| | | | )
‖ ‖

Finalmente,

| | (| | | | )
‖ ‖ ‖ ‖

Para cierto intervalo ] en donde

De manera que existe una constante contractiva de , tal que ‖

‖ ‖ ‖.

El operador es contractivo.
Capítulo 3 54

3.5 Teorema de Krasnoselskii

Para mostrar el teorema principal, se debe disponer de un conjunto convexo y de

un operador , que sea expresado como la suma de un operador contractivo, con

otro operador continuo y compacto.

Lema 3.3. Si es una contracción entonces es un homeomorfismo

de hacia ( ) .

Teorema 3.4. Sea un conjunto convexo no-vacío y una aplicación

( ) ( ) ( )

Con las siguientes condiciones:

i) ( ) ( ) ( )

ii) es una contracción.

iii) es continuo y compacto.

Entonces, tiene un punto fijo.

Prueba. Para cada , la ecuación: ( ) ( ) tiene una única solución en

debido a que la correspondencia ( ) ( ) define una aplicación contractiva

de en . Luego ( ) está en . Del lema 3.3 se desprende que el

operador ( ) es continuo y compacto de en . Por el Teorema de

Schauder, Teorema 1.1, se desprende que ( ) tiene un punto fijo en .

Una prueba detallada puede ser consultada en las notas de clase: Análisis Funcional

No Lineal, de R. Galeano. [14]

Capítulo 3 55

El Teorema anterior puede ser reformulado de la siguiente manera:

Teorema 3.5. Sea un subconjunto convexo, cerrado y acotado de un espacio de

Banach y sean dos operadores tales que

i) ( ) ( ) ( )

ii) es una contracción, y

iii) es completamente continuo.

Entonces la ecuación ( ) ( ) tiene una solución.

Sea el subconjunto definido como { ‖ ‖ } el conjunto de

funciones con norma menor o igual a . Según se probó en la sección 3.1 toda bola de

radio es convexa. Además es cerrado y acotado.

Para todo se cumple que

( ) ∫ ( ) ∫

El operador

( ) ( ) ∫

es un operador contractivo.
Capítulo 3 56

El operador

( ) ∫ ( )( )

es compacto.

Luego se puede establecer que la ecuación

( ) ( ) ∫ ( ) ∫

admite una solución. Lo que asegura que el problema de Cauchy inicialmente

planteado, es resoluble:

⃗ ⃗ ( )
{
( ) ( )

Este resultado ha sido el aporte principal del presente trabajo.

4. Consideraciones finales
El resultado principal de este trabajo establece que el problema de Cauchy para

la ecuación de Boltzmann, caso esferas rígidas, cuando el dato inicial tiende a cero, es

resoluble. El método usado es la técnica de Punto Fijo, tanto en ausencia como en

presencia de una fuerza externa. Cuando un sistema de partículas alcanza su estado

de equilibrio y es perturbado por algún agente externo, durante un tiempo finito, el

comportamiento cambia transitoriamente, pero el estado anterior se restablece. De esta

manera se puede concluir que una fuerza externa no altera la existencia de la función

de distribución ( ).

La existencia y unicidad de la solución fue probada cuando la fuerza externa es

constante, mientras que para el caso de fuerza externa variable se alcanzó a probar la

mera existencia. Para abordar la unicidad se debe recurrir a otras técnicas.

El caso de las colisiones elásticas es ideal y sirve como punto de partida para

analizar choques reales. Lo que sigue es abordar el caso de colisiones inelásticas, con

un coeficiente de restitución. Otros modelos se siguen investigando entre los que se

cuentan el caso relativista, y la ecuación de Vlasov en física del plasma.

 58

El uso de la teoría de punto fijo a la resolución de ecuaciones diferenciales e

integrales no lineales y depende de una plausible elección de los teoremas en cuestión

y de la forma en que se eligen los operadores al momento de ser sumados.

De un operador contractivo se garantiza existencia y unicidad de solución; de la suma

de dos operadores contractivos no puede concluirse nada; y de un operador contractivo

con otro compacto se asegura existencia solamente. El camino sigue abierto.

 59

Bibliografía

[1] Agarwal,R., Meehan, M., & O´Regan, D. (2001). Fixed point theory and applications.

(Vol. 141). Cambridge university press.

[2] Almanza, M., Galeano, R. & Ortega, P. (2012). Stationary Boltzmann equation

with boundary data depending on the Maxwellian. Boletín de Matemáticas. 20(2).

[3] Bardos, C., Gamba, I., Golse, F. (2014). Global solutions of the Boltzmann equation over

near Global Maxwellians with small Mass. arXiv preprint arXiv: 1409-1430.

[4] Burton, T.A. (1998). A fixed-point theorem of Krasnoselskii. Applied Mathematics

Letters, 11(1), 85-88.

[5] Cercignani, C. (1988).The Boltzmann equation and its applications. Applied

Mathematical Sciences 67. New York: Springer-Verlag.

[6] DiPerna, R.J., & Lions, P.L. (1989). Global weak solutions of Vlasov-Maxwell
systems. Communications on Pure and Applied Mathematics, 42(6), 729-757.

[7] Galeano, R., Orozco B. & Vásquez O. (2005). Ecuación Relativística de

Boltzmann cerca al vacío. Boletín de Matemáticas, 5(1), 53-61

[8] Galeano, R. (2007). The Boltzmann equation with Force Term near the Vacuum.
Revista de la Unión Matemática Argentina, 48(1), 55-63.

[9] Galeano, R. (2012). Ecuación homogénea de Boltzmann con término fuerza. Boletín de

Matemáticas, 15(2), 84-91.

[10] Galeano, R. (2017). Análisis Funcional No Lineal. Notas de clase.

[11] Glangetas, L., Li, H. (2015). Sharp regularity properties for the non-cutoff spatially
homogeneous Boltzmann equation.

[12] Glassey, R. T. (1996). The Cauchy Problem in Kinetic Theory. SIAM.

 60

[13] Gressman, P. & Strain, R. (2010). Global Classical Solutions of the Boltzmann equation

with long-range interactions and soft potentials. Proceedings of the National Academy of

Sciences, 107(13), 5744-2749.

[14] Polewczak, J. (1988).Classical solution of the Nonlinear Boltzmann equation in all

: Asymptotic Behavior of Solutions, J. Stat. Phys., 50 (3&4), 611-632.

[15] Shinbrot, M and Kaniel, S. (1978).The Boltzmann equation: Uniqueness and local

existence, Comm. Math. Phys. 58, 65-84.