Numerical Methods in Cancer Models: Doron Levy
Numerical Methods in Cancer Models: Doron Levy
Numerical Methods in Cancer Models: Doron Levy
Properties
numerical methods
Stability in the delays space
Doron Levy
Department of Mathematics
and
Center for Scientific Computation and Mathematical Modeling (CSCAMM)
University of Maryland, College Park
Plan
1 What is cancer?
2 Delayed di↵erential equations
3 Agent-based models
4 PDEs
Doron Levy
Department of Mathematics
and
Center for Scientific Computation and Mathematical Modeling (CSCAMM)
University of Maryland, College Park
Outline
1 Motivation
Cancer Immunology
Stem Cell Transplantation
2 Properties
Zero Crossings
Time Scales
3 Numerical Methods
Outline
1 Motivation
Cancer Immunology
Stem Cell Transplantation
2 Properties
Zero Crossings
Time Scales
3 Numerical Methods
What is leukemia?
CML
3 phases
Chronic: uncontrolled proliferation
Accelerated
Acute: Uncontrolled proliferations. Cells
do not mature
Philadelphia chromosome
Translocation (9;22)
Oncogenic BCR-ABL gene fusion
The ABL gene expresses a tyrosine
kinase. Growth mechanisms
Easy to diagnose
Drug targeting this genetic defect (a
tyrosine kinase inhibitor)
Treating leukemia
Chemotherapy
Bone Marrow or Stem Cell transplant
Chemo + radiotherapy +
transplantation
Imatinib (Gleevec)
Molecular targeted therapy -
suppresses the corrupted control
system
$32K-$98K/year
Question:
What is the relation between the dynamics of the cancer, the drug, and
the immune response?
A mathematical model
x2n
ry divide nτ
Ingredients:
Leukemia cells: stem cells, , fully functional cells
Mutations, Drug (Imatinib), Anti leukemia immune response
Kim, Lee, Levy: PLoS Computational Biology, ’08
Michor et al. (Nature 05). Cronkite and Vincent (69), Rubinow (69), Rubinow & Lebowitz (75), Fokas,
Keller, and Clarkson (91), Mackey et al (99,...), Neiman (00), Moore & Li (04), Michor et al (05), Komarova & Woodarz (05).
Anti-cancer T cells:
0.06
No immune
0.05
response
Cell Concentration (k/µL)
0.04
Leukemia
0.03
0.02
0.01
T cells
0
0 10 20 30 40 50
Time (months)
40
Leukemia
35
30
Cell Concentration (k/µL)
1000 x T cell
25 concentration
20
15
10
Imatinib removed
at month 12
5
0
0 5 10 15 20
Time (months)
log10[concentration]
0.45 Leukemia cells -5
-10
0.4 -10
Cell Concentration (k/µL)
0.35 -15
-15
0.3
Anti-leukemia T cells -20
0 5 10 15
-20
0 5 10 15
0.25
DC TC
0.2 Inactivated leukemia 0 5
log10[concentration]
0.15 cells (vaccines) -5 0
0.1 -10 -5
0 -20 -15
0 2 4 6 8 10 12 14 16 0 5 10 15 0 5 10 15
Time (months) Time (months) Time (months)
Anti-cancer T cells
Model populations
Host Cells
Cancer
Anti-donor T cells
General blood cells
Donor cells
Anti-cancer T cells
(cancer-specific)
Anti-host T cells
General blood cells
Anti-Cancer T Cells
σ σ
TD /TC Interaction
TC /C Interaction
Anti-Host T Cells
σ σ
TH /TD Interaction
TH /C Interaction
pT2H /C pT2H/TD
Ignore pT2D/TH Survive Ignore
pT2H /H nτ dTH
Ignore υ
Die or qT2H/H Killed by TD
React pT1H /H qT1H /H
become
anergic
ρ Death
Anti-Donor T Cells
σ σ
TD /TH Interaction
TD /TC Interaction
pT2D/TC pT2D/TH
Ignore pT2H/TD Survive Ignore
nτ
Ignore pT2D/D υ dTD
No flow Killed by TH
qT3D/TC = 0 qT1D /D qT2D /D
React pT1D/D
ρ Death
D H
pT1D/DkDTD pT1H/H kHTH
TD /D Interaction
TH /H Interaction
dD Perish dH Perish
ρ ρ
Death Death
Cancer Cells
logistic growth
C/TC Interaction
C/TH Interaction
rC
pC/T
1
H kT C
H pC/T
1
C kT C
C
Perish Perish
C
Death rate is included
in net logistic growth term
ρ ρ
Death
Equations...
dTH
= dTH TH kCTH kTD TH kHTH
dt
T /C T /T T /T
+ p2 H kC (t )TH (t ) + p2 D H p2 H D kTD (t )TH (t )
TH /H
+p 2 kH(t )TH (t )
+ 2n p
TH /C TH /C
1 q 1 kC (t ⇢ n⌧ )TH (t ⇢ n⌧ )
n TH /H TH /H
+2 p 1 q 1 kH(t ⇢ n⌧ )TH (t ⇢ n⌧ )
n TD /TH TH /TD TH /TD
+2 p 2 p 1 q 1 kTD (t ⇢ n⌧ )TH (t ⇢ n⌧ )
TH /C TH /C
+p 1 q 2 kC (t ⇢ )TH (t ⇢ )
TH /H TH /H
+p 1 q 2 kH(t ⇢ )TH (t ⇢ )
TD /TH TH /TD TH /TD
+p 2 p 1 q 2 kTD (t ⇢ )TH (t ⇢ ).
Time Delays
Relapse
−6
x 10
2 1.2
General host cells H
Cell Concentration in 10 3 cells /µL
0.4
0.5
0.2
never goes to 0
0 0
0 20 40 60 80 100 0 200 400 600 800
Time in Days Time in Days
Remission
−6
x 10
4 1.2
General host cells H Cancer cells C
Cell Concentration in 10 3 cells /µL
2 0.6
1.5
0.4
1
0.2 C = 0 at time 25.7276
0.5
0 0
0 20 40 60 0 20 40 60
Time in Days Time in Days
Oscillations
0.2 0.6
0.15
0.4
0.1
0.2
0.05
0 0
0 500 1000 1500 0 500 1000 1500
Time in Days Time in Days
10
Cancer cells C
5 15
−5 10
Cancer cells C
−25 0
8 8.05 8.1 8.15 0 2 4 6 8
Time in Days Time in Days
Unresolved
14
Higher initial host blood cell
concentrations improve the
Initial anti−host T cell concentration TH,0
12
5.7
5.6
remission
5.5
5.4
Higher cancer growth rate make
5.3 complete remission slightly
5.2 more likely
5.1
5
0.03 0.035 0.04 0.045 0.05
Cancer growth rate rC (1/day)
Outline
1 Motivation
Cancer Immunology
Stem Cell Transplantation
2 Properties
Zero Crossings
Time Scales
3 Numerical Methods
A simple DDE:
dx
= rx(t 1), x(t) = 1, t < 0.
dt
A simple DDE:
dx
= rx(t 1), x(t) = 1, t < 0.
dt
Proceed: t 2 [1, 2)
dx
= rx(t 1) = r + r 2t r2
dt
Then
r2
x =1 rt + (t 1)2 .
2
Question:
For what r does that exist a T 2 [n, n + 1) such that
n+1
X (T k + 1)k
( r )k = 0?
k!
k=0
Question:
For what r does that exist a T 2 [n, n + 1) such that
n+1
X (T k + 1)k
( r )k = 0?
k!
k=0
Time Scales
A toy problem
xn+1 = (1 yn )xn
yn+1 = xn2 + k + yn
Time Scales
A toy problem
xn+1 = (1 yn )xn
yn+1 = xn2 + k + yn
Outline
1 Motivation
Cancer Immunology
Stem Cell Transplantation
2 Properties
Zero Crossings
Time Scales
3 Numerical Methods
Approach #1
A set of meshpoints:
= {t0 , t1 . . . , tN = tf },
Assume a constant delay. In the first interval [t0 , t0 + ⌧ ] the DDE has the
form: ⇢ 0
y (t) = f (y (t), (t ⌧ )),
y (t0 ) = (t0 ).
In the second interval [t0 + ⌧, t0 + 2⌧ ], define y1 = y (t ⌧ ) and
y2 (t) = y (t). Then:
8 0
>
> y (t) = f (t ⌧, y1 (t), (t 2⌧ )),
< 10
y2 (t) = f (t, y2 (t), y1 (t)),
>
> y1 (t0 + ⌧ ) = (t0 ),
:
y2 (t0 + ⌧ ) = y (t0 + ⌧ )
And so on...
For every timestep, a larger system. However, this system can be solved
using standard methods for ODEs.
where
g⌘ (f , y ) = f (t, y , ⌘(t ⌧ (t, y ))).
This is how every Matlab routine provides solutions at the sampled
points
where 8
< (s), s t0 ,
x(s) = ⌘(s), t 0 s tn ,
:
wn+1 (s), tn s tn+1 ,
and ⌘ is the continuous extension interpolant.
Additional Reading
Outline
1 Motivation
Cancer Immunology
Stem Cell Transplantation
2 Properties
Zero Crossings
Time Scales
3 Numerical Methods
T
d 2x dx dx(t ⌧1 ) dx(t ⌧2 )
!+ + + + 8x = 0
´
dt"2 dt dt dt
´
D XDT DXDT DXT´ T DT DXT´T DT X T T T T
D XDT
DXDT DXT´
D XDT T DT DXT´T
DXDT DXT´ T DT DXT´T
DT X
DT X X
T T
T T
5NMARKED AREAS IN THE FIGURE ABOVE
"
REPRESENT STABLE REGIONS
!
4HE NUMBERS DENOTE THE NUMBER OF
! !
#
EIGENVALUES IN THE RIGHT HALF PLANE
# #
.OTICE THAT # REPRESENTS AN ISOLATED
STABLE REGION
T
T
´
´
´
! !
´ ´
´
´
"LUE LINES DENOTE BRANCHES CORRESPONDING ´
´
T
" " ´
TO INDICES OF TYPE U V
´ ´
´
'REEN LINES DENOTE BRANCHES CORRESPONDING
T T
TO INDICES OF TYPE U
V
T T T T
X
T T
T T
5NMARKED AREAS IN THE FIGURE ABOVE
X
X
5NMARKED AREAS IN THE FIGURE ABOVE
"
5NMARKED AREAS IN THE FIGURE ABOVE
´
´ ´
´
´
´
"LUE LINES DENOTE BRANCHES CORRESPONDING ´ ´
TO INDICES OF TYPE U V "LUE LINES DENOTE BRANCHES CORRESPONDING
"LUE LINES DENOTE BRANCHES CORRESPONDING
TO INDICES OF TYPE U V
TO INDICES OF TYPE U V
´
´
´ ´
'REEN LINES DENOTE BRANCHES CORRESPONDING
TO INDICES OF TYPE U
V
'REEN LINES DENOTE BRANCHES CORRESPONDING
'REEN LINES DENOTE BRANCHES CORRESPONDING
TO INDICES OF TYPE U
V
TO INDICES OF TYPE U
V
T T
T T
T T
# Doron Levy Montréal, May 2013
Motivation
Properties
numerical methods
Stability in the delays space
Ref:
Gu, Niculescu, Chen, On stability crossing curves for general systems with
two delays, J. Mathematical Analysis & Applications, 311 (2005), pp.
231–253.
⌧1 s ⌧2 s
a(s, ⌧1 , ⌧2 ) = 1 + a1 (s)e + a2 (s)e = 0.
and u0± , v0± are the smallest possible integers such that the
corresponding ⌧1,2 are nonnegative.
• The
Any curvesofglue
interval together
!’s(symmetrical,
defines aincollection
different arrangements,
of curves in Rdepending
because imaginary roots come in conjugate pairs) 2 on
which triangle inequalities correspond to the endpoints of the
Theintervals.
general case is a union of the following sets:
Example
DDE:
dx
Regions are marked with
= 2x(t ⌧1 ) + x(t ⌧2 ).
dtthe number
of zeros in right half plane.