Comportamiento Caótico de algunos modelos de

nacimiento y muerte

Reinaldo Martı́nez Cruz

Alejandro José Velázquez Badillo
José Erasmo Pérez Vázquez

3er Congreso Internacional de Modelación Matemática.

Universidad Tecnológica de la Mixteca
4 y 5 de octubre de 2018.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Objetivo

En esta plática, analizaremos el comportamiento caótico de algunos modelos de

nacimiento y muerte en espacios de Banach, concretamente mostraremos:

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

a) La relación de los semigrupos−C0 con el Problema Abstracto de Cauchy.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

a) La relación de los semigrupos−C0 con el Problema Abstracto de Cauchy.

b) Veremos que, los semigrupos−C0 son solución de un sistema infinito de

ecuaciones diferenciales ordinarias generados por estos modelos.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

a) La relación de los semigrupos−C0 con el Problema Abstracto de Cauchy.

b) Veremos que, los semigrupos−C0 son solución de un sistema infinito de

ecuaciones diferenciales ordinarias generados por estos modelos.

c) En el desarrollo de esta interpretación, buscamos reunir las hipótesis de un

resultado dado por W. Desch, W. Schappacher y G.F. Webb en su trabajo:
Hypercyclic and Chaotic Semi-groups of linear operator para asegurar el fenómeno
del caos.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Semigrupos−C0

Un semigrupo fuertemente continuo ( semigrupos−C0 ) en un espacio de Banach

X es una familia de operadores acotados {T (t) : X → X|t ≥ 0} que satisface las
propiedades siguientes:
1 T (0) = I,
2 para cada t, s > 0, se tiene que T (t + s) = T (t)T (s),
3 para cada x ∈ X, se cumple que lı́mt→0+ kT (t)x − x)k = 0.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Generador infinitesimal A

Los semigrupos−C0 , {T (t) : t ≥ 0}, tienen un generador infinitesimal, usualmente

denotado por A, el cual es un operador lineal que puede ser acotado (i.e.,
continuo) o no serlo ( densamente definido y con grafico cerrado).

{ACP }
Los semigrupos−C0 , {T (t) : t ≥ 0}, guardan una estrecha relación con el
Problema Abstracto de Cauchy (ACP):
d
u(t) = Au(t), para t ≥ 0
dt
u(0) = x,
donde x ∈ X es el valor inicial y A es un operador lineal definido sobre un
subespacio denso D(A) ⊂ X.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

ACP
Si el {ACP } posee una solución única, entonces ésta es de la forma
T (t)x = u(t), para x ∈ X y t ≥ 0, y dan origen a un un semigrupo−C0 , T (t).
Recı́procamente, dado un semigrupo−C0 , {T (t) : t ≥ 0}, podemos considerar la
derivada en 0 como sigue:

1 d+ T (t)x 
Ax = lı́m+ (T (t) − I) x =  .
t→0 t dt t=0

para aquellas x ∈ X tal que el lı́mite existe.

1
D(A) = {x ∈ X : existe lı́mt→0+ (T (t) − I) x} tal que A : D(A) → X es
t
un operador lineal con gráfico cerrado, i.e, lı́m xn = x y lı́m Axn = y implican que
Ax = y.
Resulta natural preguntarse, si T (t)x = u(t) = etA x es un semigrupo−C0
solución al {ACP } asociado al operador A.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Definiciones

(a) Un semigrupo−C0 , {T (t) : t ≥ 0}, es una mezcla si para cualesquiera dos

conjuntos abiertos, no vacı́os U, V en X, existe t0 ≥ 0 tal que T (t)(U ) ∩ V 6= ∅,
para cualquier t ≥ t0 . En particular, si t = t0 , entonces decimos que es
topológicamente transitivo en X.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Definiciones

(a) Un semigrupo−C0 , {T (t) : t ≥ 0}, es una mezcla si para cualesquiera dos

conjuntos abiertos, no vacı́os U, V en X, existe t0 ≥ 0 tal que T (t)(U ) ∩ V 6= ∅,
para cualquier t ≥ t0 . En particular, si t = t0 , entonces decimos que es
topológicamente transitivo en X.

(b) x ∈ X es punto periódico de un semigrupo−C0 , {T (t) : t ≥ 0}, si existe

n ∈ N tal que T n (t)x = x. Al mı́nimo de estos números le llamamos el perı́odo de
x.
P er(T ) = {x ∈ X : x es un punto periodico de T (t)}.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Definiciones

(a) Un semigrupo−C0 , {T (t) : t ≥ 0}, es una mezcla si para cualesquiera dos

conjuntos abiertos, no vacı́os U, V en X, existe t0 ≥ 0 tal que T (t)(U ) ∩ V 6= ∅,
para cualquier t ≥ t0 . En particular, si t = t0 , entonces decimos que es
topológicamente transitivo en X.

(b) x ∈ X es punto periódico de un semigrupo−C0 , {T (t) : t ≥ 0}, si existe

n ∈ N tal que T n (t)x = x. Al mı́nimo de estos números le llamamos el perı́odo de
x.
P er(T ) = {x ∈ X : x es un punto periodico de T (t)}.

(c) Sea X un espacio de Banacha complejo separable e infinitamente dimensional,

y {T (t) : t ≥ 0} un semigrupo−C0 Decimos que {T (t) : t ≥ 0} es hipercı́clico si
para algún x ∈ X la orbita {T (t)x : t ≥ 0} es densa en X.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Caos

Sea X un espacio de Banach complejo separable e infinitamente dimensional.

Decimos que el semigrupo−C0 , {T (t) : t ≥ 0}, es caótico en X si posee las
propiedades siguientes:
1 Es Hipercı́clico.
2 P er(T ) es denso en X.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Una función f : U → X definida sobre un conjunto abierto U ⊂ C es debilmente
holomorfo si la función Fφ (λ) = hf (λ), φi es holomorfo para cada funcional
φ ∈ X?

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Una función f : U → X definida sobre un conjunto abierto U ⊂ C es debilmente
holomorfo si la función Fφ (λ) = hf (λ), φi es holomorfo para cada funcional
φ ∈ X?

Teorema (Guı́a)
Sean X un espacio de Banach complejo separable e infinitamente dimensional y
(A, D(A)) el generador infinitesimal de un semigrupo−C0 , {T (t) : t ≥ 0} en X.
Supongamos que existen un subconjunto abierto conexo U ⊂ C y una función
debilmente holomorfa f : U → X tales que:
(i) U ∩ iR1 6= ∅,
(ii) f (λ) ∈ ker(λI − A) para cada λ ∈ U ,
(iii) si para algún φ ∈ X ? la función Fφ (λ) = hf (λ), φi es identicamente cero en
U , entonces φ = 0.
Entonces los semigrupos−C0 , {Tt }t≥0 , es caótico y mezcla.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Sistemas infinitos lineales de tipo cinético
Jacek Banasiak, Miroslaw Lachowicz.
Observaron que el comportamiento caótico puede ocurrir en algunos sistemas
infinitos lineales. Un ejemplo de este tipo relacionado a los modelos cinéticos, fue
reportado ( V. Protopopescu and Y.Y. Asmy): Consideraron un medio inmóvil que
alberga partı́culas caracterizadas por un grado interno de libertad, indexadas por
n = 0, 1, 2, . . ., y relacionadas con niveles internos de excitación energética. Estas
partı́culas chocan violentamente e interactúan con el medio huésped de la
siguiente manera: Tras la colisión, las partı́culas de nivel de energı́a interna n ≥ 1
son absorbidas por el medio a una rapı́dez α > 0 y emitidas de nuevo como
partı́culas de nivel de energı́a interna n − 1 a una tasa β > α. Las partı́culas con
energı́a interna n = 0 se absorben y dejan de existir. El proceso que subyace a esta
interacción puede verse como una reacción quı́mica, un proceso biológico o como
una regla de autómata generalizado. Las partı́culas con energı́a interna n se
describen mediante funciones de distribución de una partı́cula, fn (t), que
satisfacen la ecuación de rapidez lineal:

fn0 = (Lf)n = −αfn + βfn−1 , n ∈ N0 ,

para α y β constantes
Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte
Modelos de Nacimiento y Muerte

En lo que sigue nos centraremos en el proceso biológico de algunos modelos de

Nacimiento y muerte (amplificación-deamplificación) con coeficientes variables.

Siguiento a M. Kimmel, A. Swierniak and A. Polanski, consideremos una

población de células cancerı́genas divididas en subpoblaciones de diferentes tipos,
etiquetadas por los números n = 0, 1, 2, 3, . . . ... y caracterizadas por diferentes
niveles de resistencia ante la presencia de agentes. Las células de tipo 0
pertenecen a la 0-subpoblación y son sensibles a medicinas sintéticas. Las células
de tipo n = 1, 2, 3, . . . pertenecen a la n-subpoblación y están caracterizadas a ser
más resistentes conforme se incremente el valor de n.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Debido a un evento mutacional, cada subpoblación constituida por estas células
adquieren una copia gen que hace a estas resistentes al agente (medicinas).
Cuanto más copias gen existan, cuanto más resistente la célula es, con el
entendimiento que, pueden sobrevivir bajo concentraciones mayores de la droga.
Dado que el número de copias gen puede ser muy grande en células cancerı́genas,
es razonable pensar en un modelo con un número infinito de células divididas en
subpoblaciones.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Modelo de Nacimiento
Si f(t) = {fn (t)}n∈N0 denota la función de distribución, y representa el número de
células en la n-ésima subpoblación en un tiempo t ≥ 0, entonces el modelo para el
proceso de nacimiento viene dado por

fn0 = (Lf)n = −bn fn + bn−1 fn−1 , n ∈ N0 .

Equivalentemente,

f00 = (Lf)0 = −b0 f0 ,

f10 = (Lf)1 = −b1 f1 + b0 f0 ,
.
.
. (1)
fn0 = (Lf)n = −bn fn + bn−1 fn−1
.
.
.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Graficamente

Figura: Componente conservativo (amplificación o nacimiento)

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Modelo de Muerte
fn0 = (Lf)n = −dn fn + dn+1 fn+1 , n ∈ N0 .
Equivalentemente,

f00 = (Lf)0 = −d0 f0 + d1 f1 ,

f10 = (Lf)1 = −d1 f1 + d2 f2 ,
.
.
. (2)
fn0 = (Lf)n = −dn fn + dn+1 fn+1
.
.
.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Figura: Proceso deamplificación (muerte)

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Modelo de Nacimiento y Muerte

(Lf)0 = (−b0 ) f0 + d1 f1 ,
(Lf)1 = (−b1 − d1 ) f1 + b0 f0 + d2 f2 ,
.
.
. (3)
(Lf)n = (−bn − dn ) fn + bn−1 fn−1 + dn+1 fn+1
.
.
.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Figura: Proceso de gen amplificación-deamplificación sin proliferación

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Reescribiendo el sistema (2)

df(t)
= Lf(t), (4)
dt
donde
 
−α0 β0 0 . . . .

 0 −α1 β1 0 . . . 


 0 0 −α2 β2 0 . . 

L = 
 0 0 0 −α3 β3 0 . 
.

 . . . . . . . 

 . . . . . . . 
. . . . . . .

Hemos logrado expresar la ecuación (4) en términos de su representación matricial.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Resultados previos
Con la interpretación dada anteriormente,
P∞ consideremos los espacios: para
1 ≤ p < ∞, sea lp = {{fn }n∈N0 : n=0 |fn |p < +∞} con norma

∞
! p1
X
||f||p = |fn |p
n=0

y la colección c0 = {{fn }n∈N0 : lı́m fn = 0} , con norma

kfk0 = sup |fn | . (5)

n∈N0

Tenemos que, lp y c0 son espacios Banach separables.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Un caso particular es el espacio l1 , el cual juega un papel importante
P∞ para el
proceso definido por la ecuación (2), donde la norma kfk1 = n=0 |fn |, de
cualquier elemento f en el cono positivo
1
l+ = {f ∈ l1 : fn ≥ 0, para cada n ∈ N0 },

representa el número total de células.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Supuestos
V. Protopopescu and Y.Y. Asmy estudian el proceso de nacimienyo y muerte,
haciento énfasis en la parte de muerte. siguiendo la misma linea que ellos, pero
permitiendo coeficientes variables J. Banasiak y M. Lachowicz, consideran la
ecuación general

fn0 = (Lf)n = −αn fn + βn fn+1 , n ∈ N0 .

bajo los supuestos siguientes: los coeficientes αn , βn satisfacen 0 < αn < βn para
cualquier n ∈ N0 . Además,
0 0
(A1) αn = α + an , con α≥0 y limn→∞ an = 0;
(A2) βn = βbn , para β ≥ α y limn→∞ bn = 1.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Para p ∈ [1, ∞) ∪ {0}, sea Lp : lp → lp el operador definido por

Lp (f) = L(f), para f ∈ lp ,

donde L es la matriz de coeficientes asociada al sistema (2).

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Para p ∈ [1, ∞) ∪ {0}, sea Lp : lp → lp el operador definido por

Lp (f) = L(f), para f ∈ lp ,

donde L es la matriz de coeficientes asociada al sistema (2).

Teorema
Si L : X → X es un operador acotado, entonces
∞
X (tL)n
T (t) = etL = , para t ∈ R+
n=0
n!

es un semigrupo−C0 en X con generador L. Más aún, dan solución al sistema 4

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Empecemos con el operador L1 : l1 → l1 definido por

L1 (f) = L(f), para f ∈ l1 .

La ecuación para sus eigenvectores toma la forma:

λfn = −αn fn + βn fn+1 , n ∈ N0 .

Denotemos por f(λ) los eigenvectores correspondientes al eigenvalor λ,

f(λ) = (f0 (λ), f1 (λ), . . .) .

donde
n−1
Y λ + αi
f0 (λ) = 1 y fn (λ) = , para n ≥ 1.
i=0
βi

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Empecemos mostrando la existencia de un conjunto abierto U ⊂ σP (L1 ) tal que
U ∩ iR1 6= ∅.

Lema
Sea U = {λ ∈ C: |λ + α| < β} y σP (L) el espectro puntual del operador L dado
en 4. Si (A1)-(A2) se satisfacen, entonces el cı́rculo U ⊂ σP (L) y λ = 0
pertenece al interior de σP (L).

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Para estudiar el caos de la solución, utilizaremos de aquı́ en adelante el Teorema
(guı́a) con U = {λ ∈ C : |λ + α| < β}.
Tomemos una sucesión arbitraria Φ = {Φk }k∈N0 ∈ l∞ , y consideremos la función
∞
X
FΦ (λ) = hΦ, f(λ)i = Φk fk (λ), (6)
k=0

donde la función FΦ (λ) es uniformemente converge al menos en el cı́rculo U y l∞ .

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Aplicando los supuestos (A1), (A2) y reordenando la expresión (6), obtenemos
que
X∞ k−1
Y λ + αi X∞ k−1
Y λ + α + a0 1
i
FΦ (µ) = FΦ (λ) = Φk = Φk
i=0
β i i=0
β bi
k=0 k=0
∞
X k−1
Y
= Φk (µ + ai ),
k=0 i=0

donde 0
Φk λ+α an
Φ0 = Φ0 , Φk = Qk−1 , µ= y an = .
i=0 bi β β

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Nótese que la función FΦ (µ) es análitica en la vecindad |µ| < 1. Como
{Φk }k∈N0 ∈ l∞ , entonces por (A2), tambien {Φk }k∈N0 ∈ l∞ . De aquı́ que, si
FΦ = 0, entonces Φk = 0, para cada k ∈ N0 . En lo que sigue nos centraremos en
la función FΦ .

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Pongamos

 0, para j > n;
Aj,n = 1, con n = j;
 P a . . . a , paraj < n.
0≤i1 <i2 <...<in−j ≤n−1 i1 in−j

Aplicando el principio de inducción matemática se demuestra que

n−1
Y n
X
(µ + aj ) = µj Aj,n ,
j=0 j=0

obtenemos que la serie

∞
X ∞
X
Fφ (µ) = µj Φn Aj,n (7)
j=0 n=j

es absolutamente convergente. Hemos logrado espresar Fφ como una serie de

λ+α
potencias en la variable µ = .
β

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Para demostrar que, la última hipótesis del Teorema (guı́a) se satisface,
procedemos a demostrar que, la única solución acotada del sistema infinito lineal
triangular superior es cero:

Φ0 + A0,1 Φ1 + A0,2 Φ2 + ... = 0,

Φ1 + A1,2 Φ2 + ... = 0,
(8)
Φ2 + ... = 0,
... = 0.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Para hacerlo, denotemos por A : l∞ → l∞ el operador dado por:

Af = {Ai,j }f , para cada f ∈ l∞ .

Lema
Si existen una constante q < 1 y k0 ∈ N0 tales que,

|ak | ≤ q k+1 , para cada k ≥ k0 ,

entonces A es un operador acotado en l∞ .

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Para hacerlo, denotemos por A : l∞ → l∞ el operador dado por:

Af = {Ai,j }f , para cada f ∈ l∞ .

Lema
Si existen una constante q < 1 y k0 ∈ N0 tales que,

|ak | ≤ q k+1 , para cada k ≥ k0 ,

entonces A es un operador acotado en l∞ .

Lema
Si existe una constante q < 1 tal que |ak | ≤ q k+1 para cada k ∈ N0 , entonces el
operador A es un isomorfismo en l∞ .

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Combinando los resultados dados enteriormente, obtenemos el que nos ocupa.

Teorema
Supongamos que las sucesiones {αn }n∈N0 y {βn }n∈N0 satisfacen los supuestos
(A1)-(A2) y la hipótesis del Lema 3. Entonces el semigrupo generado por el
sistema (2), es caótico en cualquier espacio lp , 1 ≤ p < ∞, y en c0 .

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Por supuesto, alguna pregunta por responder
Pregunta Será posible implementar un estudio geométrico que nos ayude a
comprender más a fondo cuando una población de células cancerı́genas transita o
retrocede de una fase a otra?

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte

Bibliografı́a

1) J. Banasiak, M. Lachowicz y M. Moszynski, Topological chaos: When Topology

Meets Medicine, Applied Mathematics Letters 16 (2003) 303-308.
2) J. Banasiak and M. Lachowicz, Topological chaos for birth-and-death-type
models with proliferation, Mathematical Models and Methods in Applied Sciences
Vol. 12, No. 6 (2002) 755-775.
3) M. Kimmel, A. Swierniak and A. Polanski, Infinite-dimensional model of
evolution of drug resistance of cancer cells, J. Math. Systems Estimation Control
8(1)(1998) 1-16.
4) A. Swierniak, A. Polanski, M. Kimmel, A. Bobrowski and J. Smieja Qualitative
analysis of controlled drug resistance model-inverse Laplace and semi-group
approach, Control and Cybernetics(28)(1999)61-73.
5) V. Protopopescu and Y.Y. Asmy. Topological chaos for a class of linear models,
Mathematical Models and Methods in Applied Sciences, Vol.2, No.1, (1992)
79-90.

Reinaldo Martı́nez Cruz Comportamiento Caótico de algunos modelos de nacimiento y muerte