Buenos días a todos los presentes, gracias a los miembros del comité por acudir hoy a esta

exposición, y gracias en especial a Matteo Bonforte por toda la ayuda prestada durante este

año para el desarrollo de este Trabajo.

Diapositiva 1
El tema de estudio principal de este TFG es EL MODELO DE CHEMOTAXIS de Keller-Segel en
dimensión 2. La chemotaxis es el proceso que describe el movimiento activo de organismos
influenciados por gradientes químicos Se trata de una ecuación parabólico-elíptica en
derivadas parciales del tipo concentración-difusión que tiene la siguiente forma SEÑALAR
MODELO

La función n(x, t) representa la densidad celular, c(x, t) la concentración del quimioatrayente

que induce la fuerza de difusión, la cual resuelve la ecuación de Poisson −∆c = n. El parámetro χ
> 0 es una constante que representa la sensibilidad de la bacteria al quimioatrayente, que
induce la no-linealidad en el sistema.

Consideraremos este sistema en todo el espacio R 2 , puesto que los efectos en los bordes no
nos interesan. La primera ecuación describe el movimiento celular hacia la mayor
concentración del quimioatrayente, mientras se sigue un movimiento Browniano por
interacciones externas, es decir, las celulas se mueven en busca de alimento, mientras se ven
atraídas entre ellas por la producción del quimioatrayente. En la segunda ecuación se describe
la producción celular del quimioatrayente y la difusión de éste hacia el entorno. Esta segunda
ecuación tiene una derivada temporal que en este modelo ha sido obviada asumiendo que la
relajación de la concentración es mucho más rápida que la escala de tiempo del movimiento
celular.

y, ha sido estudiado tanto experimental como teóricamente por un gran número de autores. El
primer modelo matemático para la chemotaxis fue establecido por Clifford S. Patlak en 1953.
Para ello, primero obtuvo una ecuación de Fokker-Planck modificada utilizando los supuestos
de que las partículas tienen una distribución de tiempos y velocidades de viaje y que el tiempo
promedio de viaje entre giros no necesita ser cero. Posteriormente, realizó aplicaciones al
estudio de la difusión. En 1970 esté modelo fue estudiado y mejorado por Keller y Segel.

Diapositiva 2
Una propiedad básica de este sistema es que puede ser escrito en forma de divergencia
representando la derivada temporal de n como la divergencia de este campo vectorial. Es decir
la ecuación para n se sostiene en el sentido de las distribuciones.

Se describe la masa total del sistema como SEÑALAR FÓRMULA. Las condiciones de
decaimiento que veremos en la siguiente diapositiva, junto con la divergencia del término
∆n−χ∇(n∇c) implican que la masa total del sistema se conserva, es decir, asumimos que no
existe mortalidad ni multiplicación celular, al menos para soluciones suficientemente suaves y
decrecientes. La demostración de la conservación de la masa se realiza a través de la
derivación con respecto al tiempo de la misma, observando que tiende a 0.

Una herramienta fundamental para resolver este sistema es el funcional de energía libre el
cual es un buen estimador a priori. De hecho las soluciones a este modelo vienen dadas por las
funciones n(x, t) que de alguna manera minimizan este funcional de energía.
El segundo momento de n es una medida de dispersión de la población que utilizaremos más
adelante.

DIAPOSITIVA 3
En esta slide enunciamos el resultado principal de este TFG que es el teorema para demostrar
la existencia de soluciones globales débiles en caso de masa subcrítica: Sea el n0 dato inicial
del sistema L1 en este dominio, es decir, sea integrable con Masa inicial finita y segundo
momento finito, y n0logn0 L1 integrable y finito. Si la masa total del sistema es menos que 8
pi/chi entonces el sistema de KS tiene una solución débil no negativa con dato inicial n0 tal que
cumple estas tres condiciones. Para todo t positivo.

DIAPOSITIVA 4
En el sentido de distribuciones, en lo que concierne a la parte espacial, que es a la cual
dedicaremos nuestra atención, podemos definir el término de solución débil para n con
integral finita en R2 y tiempo positivo, usando la simetría del gradiente y, diremos que n es
solución de KS si para toda función test de soporte compacto al menos dos veces diferenciable
en R2 se tiene que la derivada con respecto al tiempo de la integral de n por fi, es igual a la
integral del laplaciano de fi por n menos Chi/4pi por la doble integral de gradiente fi de x
menos gradiente fi de y por n de x n de Para alcanzar esta igualdad sustituimos la derivada
temporal de n por el lado derecho de la primera ecuación del modelo, integramos por partes 2
veces el primer término(laplaciano de n) y 1 vez el segundo. Por último utilizando la definición
del gradiente de c como solución a la ecuación de poisson lapc= -n y tomando la mitad de la
suma de sus expresiones para x e y, obtenemos esta igualdad.

DIAPOSITIVA 5
Para calcular la masa crítica, vamos a utilizar como estimador la tasa de producción del
segundo momento de n.

Previo a esto, se hace necesario construir una función φε(x) = |x|^2ϕε(x) de soporte compacto
y que tienda a |x|^2 conforme ε → 0. Aplicamos a esta función la definición de solución débil
explicada anteriormente e introducimos el límite de epsilon dentro de la integral usando el
TCD Lebesgue.

Entonces calculamos la tasa de producción del segundo momento introduciendo la derivada

con respecto al tiempo dentro de la integral, se la aplicamos a n y sustituimos la derivada
temporal de n por su expresión: SEÑALAR DIAPOSITIVA. Lo siguiente que hacemos es integrar
por partes como en la diapositiva anterior para obtener la siguiente expresión SEÑALAR
DIAPOSITIVA donde laplaciano de |x|^2 es igual a 4 y su gradiente es 2x. Por último, definimos
c directamente como SEÑALAR DIAPOSITIVA donde su gradiente es -1/2pi int x-y/|x-y|^2 ny ,
sustituyendo esto en SEÑALAR DIAPOSITIVA llegamos a que para cualquier función test fi de x
como la utilizada para construir la aproximación de |x|^2 estas funciones son iguales SEÑALAR
DIAPOSITIVAS, intercambiando los límites de integración obtenemos esta igualdad, y si
aplicamos un menos dentro y fuera de la integral obtenemos la misma función pero el
gradiente evaluado en variables distintas. Sumando estas dos expresiones SEÑALAR
DIAPOSITIVA y dividiendo por la mitad (teniendo en cuenta que ese gradiente es x y este es y)
el numerados y denominador de esta fracción se anulan, obteniendo así la expresión SEÑALAR
DIAPOSITIVA donde sabemos que la integral de n es igual a la masa.

DIAPOSITIVA 6
Una de las hipótesis del teorema de existencia es que el momento inicial está acotado, por
tanto, integrando en la fórmula anterior con respecto a t obtenemos: SEÑALAR DIAPOSITIVA.

Distinguiendo entonces 3 regiones distintas en función del valor de la masa:

 Si M < 8π entonces el el segundo momento crece linealmente a lo largo del tiempo

conservando su masa, y por tanto, la solución se "difunde". En resumen, la solución existe
∀t > 0. En este caso la ecuación se comporta, más o menos, como la ecuación de difusión
estándar.
 Si M = 8π el segundo momento se preserva a lo largo del tiempo pues el término que
multiplica a la t se vuelve 0. Este caso se sigue estudiando a día de hoy, pero gracias a los
estudios de [14] se ha demostrado la existencia global y el blow-up para tiempo infinito
por l´ım t→∞ knk∞ = ∞.
 Si M > 8π la solución dejaría de ser suave a partir de algún valor de t, puesto que para t
suficientemente grande, todo el lado derecho se haría negativo y obtendríamos una
contradicción. Así pues, se produciría el fenómeno conocido como blow-up en un tiempo
finito.

DIAPOSITIVA 7
Demostramos que en caso de masa subcrítica la entropía del sistema es decreciente. Para ello
calculamos el comportamiento de la entropía a lo largo del tiempo. Introducimos el límite
dentro de la integral y calculamos la derivada temporal de nlogn cuya expresión es SEÑALAR
DIAPOSITIVA multiplicamos laplaciano de n por logn+1 y lo mismo con el otro término,
integrando por partes 1 vez el primer término obteniendo gradiente de n al cuadrado partido
de n que es igual a 4 veces…SEÑALAR DIAPOSITIVA, e integrando 2 veces por partes el segundo
término llegamos a nlapc que es igual a -n^2. Esto muestra que la evolución a través del
tiempo de la entropía se basa en la competición de dos términos, el conocido como término de
difusión basado en la disipación de la entropía y la producción hiperbólica de entropía. Este
resultado es importante para calcular el valor límite que haga que la entropía sea decreciente,
esto es. Para ello, primero aplicamos la desigualdad de Gagliardo-Niernberg-Sobolev: SEÑALAR
DIAPOSITIVA tomando p = 4 y u = √ n.
Observamos entonces que, la entropía decrecerá cuando χM ≤ 4 C2 GNS . El valor óptimo para
CGNS ha sido calculado, y tras realizar los cálculos necesarios se consigue CGNS = q 1 2π, por lo
tanto chi M tiene que ser menor que 8pi para que la entropía sea decreciente.

DIAPOSITIVA 8
Para obtener estimaciones más precisas y probar un resultado de existencia global usaremos el
Funcional de energía libre mencionado anteriormente. El primer término de F es la entropía, y
el segundo se corresponde con un término de energía potencial. Usamos el siguiente lema
demostrar que para toda solución n de KS,F[n(·, t)] es monótona decreciente.
El lema nos dice que si n es una solución positiva de KS con Masa finita, segundo momento y
entropía acotados, que este término (grad raíz n) es integrable al cuadrado por lo visto en GNS
sabemos que sí, y que el gradiente de c está acotado entonces F[n(·, t)] es monótona
decreciente. El término es conocido como la producción de energía libre o la Información de
Fisher relativa generalizada.

DIAPOSITIVA 9
Tras haber demostrado el decrecimiento monótono del funcional de energía libre, nuestro
siguiente paso es dar estimadores “a priori” de los términos involucrados en él. Para ello
hacemos uso del siguiente lema, el cual nos permite estimar, bajo estas hipótesis la entropía y
la información de Fisher.

Para demostrar estas estimaciones primero hemos escrito el funcional de energía libre de tal
forma que podamos aplicar la desigualdad logarítmica de HLS. Tras haber aplicado esta
desigualdad, basta con usar la monotonía decreciente del funcional para acotar superiormente
la entropía. Para la acotación inferior usamos el crecimiento del segundo momento si M<8pi
para aplicar la Desig de JENSEN.
Para la información de Fisher simplemente integramos ésta con respecto al tiempo para
utilizar las estimaciones del funcional de energía y completar así su estimación.

DIAPOSITIVA 10
Una vez demostrado los estimadores de nuestro modelo, el siguiente paso consiste en la
construcción de un modelo regularizado usando una aproximación del núcleo de convolución
donde K1 es esta función. Entonces si sustituimos esto en nuestro sistema obtenemos lo
siguiente SEÑALAR DIAPOSITIVA. Donde c es la convolución de Keps y neps.

DIAPOSITIVA 11
Para demostrar la existencia de soluciones al problema regularizado hacemos uso de la
ecuación de reacción de difusión lineal. La resolvemos usando un método de punto fijo, y tras
encontrar una solución establecemos algunos estimadores a priori en este modelo que nos
permitan aplicar el lema de compacidad de Lions Aubins. Tras haber demostrado la existencia
de soluciones para la ec lineal, utilizaremos este mismo método del punto fijo, para demostrar
la existencia de soluciones del sistema regularizado, aplicando el método de punto fijo de
Schauder.

DIAPOSITIVA 12
Los estimadores a priori del modelo regularizado son los mostrados en esta diapositiva, todos
uniformes con respecto a épsilon proporcionándonos las estimaciones necesarias para poder
aplicar el paso al límite.
DIAPOSITIVA 13
Todas las aproximaciones vistas permiten aplicar el paso al límite simultáneamente en el dato
inicial y en la aproximación del núcleo. Haciendo uso del lema citado, cuando eps subk
converge a 0 nepssubk converge a una solución n del sistema original en el sentido de las
distribuciones. La demostración se basa en la convergencia de los estimadores más
complicados usando la semicontinuidad débil, la convexidad, convergencia fuerte basada en la
estimación del núcleo de convolución, conceptos que sobrepasan el nivel de este TFG.

DIAPOSITIVA 14
Por todo lo visto anteriormente, queda demostrada la existencia de soluciones en KS en caso
de dato inicial definido como hipótesis, masa subcrítica y n solución que cumpla esas
condiciones.

MUCHAS GRACIAS POR SU ATENCIÓN.