modelling and simulation of biological systems · modelling and simulation of biological systems....

33
Gabriel Wittum G-CSC University of Frankfurt Modelling and Simulation of Biological Systems

Upload: ngonhan

Post on 29-Aug-2019

225 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Modelling and Simulation of

Biological Systems

Page 2: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

1

Modelling and Simulation

Page 3: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Modelling and Simulation

Page 4: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Aim

• Quantitative understanding of biosystems

• Relation of form and function

• Scale interaction

• Application in pharmacy and medicine

Page 5: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Model Properties

1. Answer, requires question

Page 6: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Model Properties

1. Answer, requires question

2. Complexity:

As simple as possible, as complex as necessary

in order to answer the question asked

Page 7: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Model Properties

1. Answer, requires question

2. Complexity:

As simple as possible, as complex as necessary

3. Approximation of reality - contains errors

Page 8: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Model Properties

1. Answer, requires question

2. Complexity:

As simple as possible, as complex as necessary

3. Approximation of reality - contains errors

4. Reliability - prognostic quality

Page 9: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Reliability

• Model based on first principles

Conservation laws: Balance of

mass, energy, momentum, angular momentum

Maxwell‘s equations

Page 10: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Prognostic Quality

• Given an initial state and boundary conditions

Task: Describe the state of the system at a later time

Page 11: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

History

• “Modellum”

wooden models used by artists and architects in Renaissance to demonstrate their ideas to sponsors

idea: show the essence of an object by abstraction

Page 12: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

History

Mathematical abstraction goes back to Pythagoras (500 b.c.)

Page 13: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

History

Description of harmony in musics

Page 14: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

History

• sounds nice, if the length of the strings generating two sounds are harmonic, i.e. integral multiples of each other

q1L1 = q2L2

• the smaller q1 and q2 are, the nicer the interval sounds

Page 15: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Pythagoras Idea

• Describe the world by numbers

• Everything is number!

=> mathematical abstraction

Page 16: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Diffusion

Page 17: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Diffusion

• Let c(x,t) describe the concentration of a substance in space and time inside a given volume V.

• Let there be no sources and sinks in V and the substance be incompressible, i.e. no change of density.

Page 18: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Mass Balance

• Temporal change of concentration in V must be effected by flux across the boundary of V

• Balance�

V

dc

dt= −

∂V

−→j ·−→n

Page 19: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Constitutive Law

• Closing the model, i.e. formulating it in one unknown quantity

• Relation between flux j and concentration c needed => constitutive law

Page 20: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Constitutive Law

• Closing the model, i.e. formulating it in one unknown quantity

• Relation between flux j and concentration c needed => constitutive law

• Fick‘s first law�j = −D∇u

Page 21: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Adolf Fick

• German Physiologist

1829 - 1901

• Professor in medicine Zürich and Würzburg

• Mathematical description of biological processes

Page 22: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Fick‘s First Law

• D “diffusivity”

• 2d tensor, i.e. 3x3 matrix

• symmetric and positive definite

�j = −D∇u

Page 23: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Fick‘s First Law

• Described by A. Fick in 1855 merely phenomenological derivation

• Confirmed by A. Einstein, 1906 by homogenization of Brownian motion

�j = −D∇u

Page 24: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Diffusion• Using the constitutive law

• Using Gauß theorem of integration

V

dc

dt= −

∂V

�j · �n =�

∂VD ·∇xc(�x, t) · �n

V

dc

dt=

VdivD∇xc(�x, t)

Page 25: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Diffusion

• In differential form

dc

dt= divD∇xc(�x, t)

Page 26: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Definition: Model etc.• A mathematical object is called a model, if it is

used in the context of Fig. 1.1.1 to describe a real process.

• A process is something going on in time described by it‘s state.

• The state of a process is a function u(t,…)

• Biological processes happen in physical space: described by u(t,x,…)

Page 27: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Biosystems Difficulties

• complex geometries and processes

• cells are intelligent

• process details often unknown

• experts often have wrong imagination

• life scientists lack deeper understanding of math.

Page 28: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Modelling Steps

• Model morphology

• Geometry

• Materials

• Model processes

Page 29: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

Ink on Blotting Paper

t=0 t=T>0

c(t=0,x) c(T,x)

Page 30: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

1.1 Modeling GeometryDomain Ω = {(x,y), 0 < x, y < 1}

Page 31: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

1.2 Modelling MaterialsDiffusivity D of the blotting paper (direction dependent)

Page 32: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

2. Process: DiffusionTransport of ink by diffusion in the paper c(t,x).

Page 33: Modelling and Simulation of Biological Systems · Modelling and Simulation of Biological Systems. Gabriel Wittum G-CSC University of Frankfurt 1 Modelling and Simulation. Gabriel

Gabriel WittumG-CSC

University of Frankfurt

2. Process: DiffusionTransport of ink by diffusion in the paper c(t,x).