Chemical Reaction Network Theory

Chemical Reaction Network Theory (CRNT) untersucht das qualitative Verhalten der steady state Konzentrationen eines chemischen Reaktionsnetzwerkes ohne Verwendung der kinetischen Parameter. Sie definiert eine allgemeine Beziehung zwischen der Netzwerkstruktur und der Menge der Fixpunkte des entsprechenden Systems an gewöhnlichen Differenzialgleichungen. Für eine Unterklasse an chemischen Systemen ist dieser Ansatz in der Lage, die Existenz von multiplen Steady states algebraisch vorherzusagen oder auszuschließen, und kommt demnach ohne die Verwendung numerischer Verfahren aus.

Das System gewöhnlicher Differenzialgleichungen, das einem chemischen Reaktionsnetzwerk entspricht, besteht aus Polynomen mit im Prinzip beliebigem Grad. Demzufolge kann eine analytische Untersuchung der Fixpunkte eines solchen Problems im Allgemeinen nicht mit linearer Algebra erfolgen. Zusätzlich ergibt sich die Schwierigkeit, dass jeder Reaktion, die dem Massenwirkungsgesetz folgt, ein kinetischer Parameter zugeordnet ist, der oft nicht oder nicht genau bekannt ist. Zur numerischen Lösung des Differenzialgleichungssystems ist aber die Kenntnis der kinetischen Parameter notwendig. Als Folge dessen existieren im schlechtesten Fall zwei Mengen an Unbekannten: (i) die kinetischen Parameter und (ii) die Konzentrationen der einzelnen Spezies an einem Fixpunkt. Selbst bei Kenntnis der kinetischen Parameter und der numerischen Ermittlung eines Fixpunktes ist es nicht klar, ob multiple Fixpunkte existieren; d. h. ob bei einer anderen Wahl der Startkonzentrationen (die im gleichen linearen Unterraum wie die Vorherigen liegen, siehe stöchiometrischer Unterraum und stöchiometrische Kompatibilitätsklasse) ein anderer Fixpunkt existiert. CRNT kann diese Frage durch die Berechnung eines Index, der sogenannten Defizienz (siehe weiter unten), für eine Teilmenge der chemischen Reaktionsnetzwerke ohne Kenntnis der kinetischen Parameter oder der Konzentrationen beantworten. In O-Notation erfolgt die Berechnung der Defizienz in  O ( 1 ) {\displaystyle {\mathcal {O}}(1)} wenn die Erstellung des chemischen Reaktionsnetzwerks in  O ( n ) {\displaystyle {\mathcal {O}}(n)} erfolgt.

## Geschichte

[Bearbeiten | Quelltext bearbeiten]

Erste Grundlagen der CRNT wurden von Horn und Jackson[1] entwickelt und von Martin Feinberg und Mitarbeitern ausgearbeitet und weiterentwickelt.[2][3][4]

## Grundlagen

[Bearbeiten | Quelltext bearbeiten]

Die CRNT beschreibt chemische Reaktionsnetzwerke, die dem Massenwirkungsgesetz zugrunde liegen. In diesem Absatz wird der Begriff „Reaktionsnetzwerk“ als ein Satz an Reaktionen aufgefasst, wie man ihn in einem Lehrbuch der Biochemie finden kann (z. B. alle Reaktionen der Glykolyse). Im Absatz Klassische CRNT wird der Begriff im Sinne der CRNT exakt definiert.

Reversible Reaktionen, das heißt Reaktionen, die in Vorwärts- und Rückwärtsrichtung ablaufen können, müssen hierbei in zwei irreversible Reaktionen aufgesplittet werden: eine irreversible Reaktion für jede Richtung. Demzufolge beschreibt CRNT nur Reaktionsnetzwerke, welche aus irreversiblen Reaktionen bestehen. Ein solches Netzwerk wird in vier Mengen aufgeteilt:

* 1\. Die Menge der Spezies  S {\displaystyle {\mathcal {S}}} :

Die Menge der Spezies besteht aus den einzelnen Substraten und Produkten der Reaktionen des Reaktionsnetzwerkes.

* 2\. Die Menge der Komplexe  C {\displaystyle {\mathcal {C}}} :

Diese Menge wird aus der Gesamtheit der Spezies, welche von einer Reaktion konsumiert oder produziert werden, gebildet. Bei den Elementen aus  C {\displaystyle {\mathcal {C}}} handelt es sich um Multimengen. Das heißt,  C {\displaystyle {\mathcal {C}}} besteht aus der Gesamtheit der Mengen der Spezies links und rechts von den Reaktionspfeilen.

* 3\. Die Menge der Reaktionen  R {\displaystyle {\mathcal {R}}} :

Diese Menge besteht aus allen Reaktionen des betrachteten chemischen Reaktionsnetzwerkes.

* 4\. Die Menge der kinetischen Ratenkonstanten K {\displaystyle {\mathcal {K}}} :

Diese Menge besteht aus den Ratenkonstanten aller Reaktionen des betrachteten chemischen Reaktionsnetzwerkes.

Bemerkung zur Notation: Es existieren zwei äquivalente Darstellungen eines Komplexes:[4] (i) als Element der Menge  C {\displaystyle {\mathcal {C}}} wie oben definiert; und (ii) als Vektor aus  N | S | . {\displaystyle \mathbb {N} ^{\vert {\mathcal {S}}\vert }.} Sei  y ( s ) {\displaystyle y(s)} die Funktion, die den stöchiometrischen Koeffizienten von Spezies  s ∈ S {\displaystyle s\in {\mathcal {S}}} in Komplex  y ∈ C {\displaystyle y\in {\mathcal {C}}} zurückliefert, d. h.  y ( s ) ≥ 1 , {\displaystyle y(s)\geq 1,} wenn  s ∈ y {\displaystyle s\in y} und  y ( s ) = 0 {\displaystyle y(s)=0} andernfalls. Der Index  s {\displaystyle s} in  y s {\displaystyle y_{s}} ist dann als Funktion zu verstehen, die den Eintrag von Spezies  s ∈ S {\displaystyle s\in {\mathcal {S}}} in Vektor  y ∈ N | S | {\displaystyle y\in \mathbb {N} ^{\vert {\mathcal {S}}\vert }} liefert, also

y s = { y ( s ) , wenn s ∈ y 0 , andernfalls . {\displaystyle y_{s}={\begin{cases}y(s),&{\text{wenn }}s\in y\\\0,&{\text{andernfalls}}\end{cases}}.}

Hierfür wird natürliche eine festgelegte Ordnung (z. B. lexikographische Ordnung) der Spezies im Vektor  y ∈ N | S | {\displaystyle y\in \mathbb {N} ^{\vert {\mathcal {S}}\vert }} vorausgesetzt.

### Beispiel 1

[Bearbeiten | Quelltext bearbeiten]

Das chemische Reaktionsnetzwerk, bestehend aus der einzigen Reaktion  A + A -> B {\displaystyle {\text{A}}+{\text{A}}\rightarrow {\text{B}}} mit Ratenkonstante  k A + A -> B , {\displaystyle k_{{\text{A}}+{\text{A}}\rightarrow {\text{B}}},} besitzt:

* die Spezies  S = { A , B } ; {\displaystyle {\mathcal {S}}=\\{{\text{A}},{\text{B}}\\};}
* die Komplexe …
* … als Menge:  C = { { A , A } , { B } } {\displaystyle {\mathcal {C}}=\\{\\{{\text{A}},{\text{A}}\\},\\{{\text{B}}\\}\\}} (hierbei sind die Komplexe  { A , A } {\displaystyle \\{{\text{A}},{\text{A}}\\}} und  { 2 A } {\displaystyle \\{2{\text{A}}\\}} äquivalent (andere Notation));
* … als Vektoren:  { [ 2 , 0 ] T , [ 0 , 1 ] T } {\displaystyle \\{[2,0]^{T},[0,1]^{T}\\}} (mit lexikographischer Ordnung der Spezies);
* die Reaktionen  R = { A + A -> B } ; {\displaystyle {\mathcal {R}}=\\{{\text{A}}+{\text{A}}\rightarrow {\text{B}}\\};}
* die Ratenkonstanten  K = { k A + A -> B } . {\displaystyle {\mathcal {K}}=\\{k_{{\text{A}}+{\text{A}}\rightarrow {\text{B}}}\\}.}

Die wichtigste Menge ist hierbei  C . {\displaystyle {\mathcal {C}}.} Zwei Komplexe, die zur gleichen Reaktion gehören, können nun z. B. wie folgt beschrieben werden:  y , y ′ ∈ C {\displaystyle y,y'\in {\mathcal {C}}} mit  y -> y ′ ∈ R . {\displaystyle y\rightarrow y'\in {\mathcal {R}}.}

## Klassische CRNT

[Bearbeiten | Quelltext bearbeiten]

Siehe auch[1][2][3].[4] Seien  P := { x ∈ R | x > 0 } {\displaystyle \mathbb {P} :=\\{x\in \mathbb {R} \ \vert \ x>0\\}} die Menge aller reellen Zahlen größer Null und  P ¯ := P ∪ { 0 } {\displaystyle {\overline {\mathbb {P} }}:=\mathbb {P} \cup \\{0\\}} die Menge aller reellen Zahlen größer oder gleich Null.

### Definitionen

[Bearbeiten | Quelltext bearbeiten]

#### Positiver Steady state

[Bearbeiten | Quelltext bearbeiten]

Sei  c {\displaystyle c} der Vektor der Konzentrationen des chemischen Reaktionsnetzwerkes (Massenwirkungsgesetz). Das System ist in einem positiven Steady state wenn  d c / d t = 0 {\displaystyle {\text{d}}c/{\text{d}}t=0} und  c ∈ P {\displaystyle c\in \mathbb {P} } .

#### Reaktionsnetzwerk

[Bearbeiten | Quelltext bearbeiten]

Ein Reaktionsnetzwerk ist ein Tripel  ( S , C , R ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}})} mit  S {\displaystyle {\mathcal {S}}} als Menge der Spezies; mit  C {\displaystyle {\mathcal {C}}} als Menge der Komplexe; mit  R {\displaystyle {\mathcal {R}}} als Menge der Reaktionen.

Für Beispiel 1 gilt dann  ( S , C , R ) = ( { A , B } , { { A , A } , { B } } , { A + A -> B } ) . {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}})=(\\{{\text{A}},{\text{B}}\\},\\{\\{{\text{A}},{\text{A}}\\},\\{{\text{B}}\\}\\},\\{{\text{A}}+{\text{A}}\rightarrow {\text{B}}\\}).}

#### Chemisches Reaktionsnetzwerk

[Bearbeiten | Quelltext bearbeiten]

Ein chemisches Reaktionsnetzwerk ( S , C , R , K ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}},{\mathcal {K}})} ist ein Reaktionsnetzwerk, welches mit einer Kinetik ausgestattet ist. D.h. mit jeder Reaktion des Reaktionsnetzwerks ist eine positive Ratenkonstante assoziiert.

Für Beispiel 1 gilt dann  ( S , C , R , K ) = ( { A , B } , { { A , A } , { B } } , { A + A -> B } , { k A + A -> B } ) . {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}},{\mathcal {K}})=(\\{{\text{A}},{\text{B}}\\},\\{\\{{\text{A}},{\text{A}}\\},\\{{\text{B}}\\}\\},\\{{\text{A}}+{\text{A}}\rightarrow {\text{B}}\\},\\{k_{{\text{A}}+{\text{A}}\rightarrow {\text{B}}}\\}).}

Ein Komplex  y {\displaystyle y} ist direkt verlinkt mit  y ′ {\displaystyle y'} , wobei  y , y ′ ∈ C {\displaystyle y,y'\in {\mathcal {C}}} , auch geschrieben  y ↔ y ′ {\displaystyle y\leftrightarrow y'} , wenn entweder  y -> y ′ ∈ R {\displaystyle y\rightarrow y'\in {\mathcal {R}}} oder  y ′ -> y ∈ R {\displaystyle y'\rightarrow y\in {\mathcal {R}}} . D.h. zwei Komplexe sind direkt verlinkt, wenn eine Reaktion in  R {\displaystyle {\mathcal {R}}} existiert, welche diese verbindet.

#### Linkageklasse

[Bearbeiten | Quelltext bearbeiten]

Seien  y , y ′ ∈ C {\displaystyle y,y'\in {\mathcal {C}}} . Komplex  y {\displaystyle y} ist verlinkt mit Komplex  y ′ {\displaystyle y'} , gekennzeichnet durch  y ∼ y ′ {\displaystyle y\sim y'} , wenn entweder  y = y ′ {\displaystyle y=y'} oder es existieren  y 1 , … , y m ∈ C {\displaystyle y_{1},\ldots ,y_{m}\in {\mathcal {C}}} so dass  y = y 1 ↔ … ↔ y m = y ′ {\displaystyle y=y_{1}\leftrightarrow \ldots \leftrightarrow y_{m}=y'} . Die Äquivalenzrelation ∼ {\displaystyle \sim } induziert eine Partition von  C {\displaystyle {\mathcal {C}}} in Äquivalenzklassen, welche als Linkageklassen bezeichnet werden.

##### Beispiel 2

[Bearbeiten | Quelltext bearbeiten]

Gegeben sei das Reaktionsnetzwerk  ( S , C , R ) = ( { A , B , C } , { { 2 A } , { B } , { 2 B } , { C } , { 2 C } } , { R 1 , R 2 , R 3 , R 4 } ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}})=(\\{{\text{A}},{\text{B}},{\text{C}}\\},\\{\\{2{\text{A}}\\},\\{{\text{B}}\\},\\{2{\text{B}}\\},\\{{\text{C}}\\},\\{2{\text{C}}\\}\\},\\{R_{1},R_{2},R_{3},R_{4}\\})} mit

R 1 := 2 A -> B , R 2 := B -> 2 A , R 3 := B -> C , R 4 := 2 C -> 2 B . {\displaystyle {\begin{array}{crcl}R_{1}:=&2{\text{A}}&\rightarrow &{\text{B}},\\\R_{2}:=&{\text{B}}&\rightarrow &2{\text{A}},\\\R_{3}:=&{\text{B}}&\rightarrow &{\text{C}},\\\R_{4}:=&2{\text{C}}&\rightarrow &2{\text{B}}.\end{array}}}

Der Graph, welcher das Reaktionsnetzwerk aus Beispiel 2 repräsentiert. Die Linkageklassen bestehen aus den zusammenhängenden Komponenten des Graphen (l = 2). Die Knoten des Graphen sind äquivalent zu den Komplexen (n = 5). Die starken Linkageklassen werden durch die Knoten in den eingerahmten Teilgraphen markiert. Die terminalen starken Linkageklassen sind durch Knoten mit doppeltem Rahmen markiert.

Die Linkageklassen bestehen dann aus  L 1 = { { 2 A } , { B } , { C } } {\displaystyle {\mathcal {L}}_{1}=\\{\\{2{\text{A}}\\},\\{{\text{B}}\\},\\{{\text{C}}\\}\\}} und  L 2 = { { 2 B } , { 2 C } } {\displaystyle {\mathcal {L}}_{2}=\\{\\{2{\text{B}}\\},\\{2{\text{C}}\\}\\}} . Eine intuitive Methode die Linkageklassen zu bestimmen besteht darin, die Menge der Reaktionen als Graph aufzuzeichnen, wobei Reaktionen an den Enden "zusammengebaut" werden, wo sie gleiche Komplexe aufweisen (siehe Abbildung).

#### Starke Linkageklasse

[Bearbeiten | Quelltext bearbeiten]

Seien  y , y ′ ∈ C {\displaystyle y,y'\in {\mathcal {C}}} . Komplex  y {\displaystyle y} reagiert ultimativ zu Komplex  y ′ {\displaystyle y'} , geschrieben  y ⇒ y ′ {\displaystyle y\Rightarrow y'} , wenn entweder  y = y ′ {\displaystyle y=y'} oder es existieren  y 1 , … , y m ∈ C {\displaystyle y_{1},\ldots ,y_{m}\in {\mathcal {C}}} so dass  y = y 1 -> … -> y m = y ′ {\displaystyle y=y_{1}\rightarrow \ldots \rightarrow y_{m}=y'} . Komplex  y {\displaystyle y} ist stark verlinkt mit  y ′ {\displaystyle y'} , geschrieben  y ≈ y ′ {\displaystyle y\approx y'} , wenn  y ⇒ y ′ {\displaystyle y\Rightarrow y'} und  y ′ ⇒ y {\displaystyle y'\Rightarrow y} . Die Äquivalenzrelation  ≈ {\displaystyle \approx } induziert eine Partition von  C {\displaystyle {\mathcal {C}}} in Äquivalenzklassen, welche als starke Linkageklassen bezeichnet werden.

Die starken Linkageklassen von Beispiel 2 sind gegeben durch  L ¯ 1 = { { 2 A } , { B } } {\displaystyle {\overline {\mathcal {L}}}_{1}=\\{\\{2{\text{A}}\\},\\{{\text{B}}\\}\\}} ,  L ¯ 2 = { { C } } {\displaystyle {\overline {\mathcal {L}}}_{2}=\\{\\{{\text{C}}\\}\\}} ,  L ¯ 3 = { { 2 B } } {\displaystyle {\overline {\mathcal {L}}}_{3}=\\{\\{2{\text{B}}\\}\\}} und  L ¯ 4 = { { 2 C } } {\displaystyle {\overline {\mathcal {L}}}_{4}=\\{\\{2{\text{C}}\\}\\}} . Die starken Linkageklassen lassen sich wieder leicht bestimmen, wenn das Reaktionsnetzwerk als Graph repräsentiert wird. Es gilt dann für jedes Paar  y , y ′ ∈ C {\displaystyle y,y'\in {\mathcal {C}}} an Knoten einer starken Linkageklasse, dass ein gerichteter Pfad von  y {\displaystyle y} zu  y ′ {\displaystyle y'} und zurück existiert. Im unteren Graph sind die starken Linkageklassen durch Rahmen markiert (siehe Abbildung).

#### Terminale starke Linkageklasse

[Bearbeiten | Quelltext bearbeiten]

Eine terminale starke Linkageklasse ist eine starke Linkageklasse, in welcher kein Komplex zu einem Komplex einer anderen starken Linkageklasse reagiert.

Die terminalen starken Linkageklassen von Beispiel 2 sind gegeben durch  L ¯ 2 = { { C } } {\displaystyle {\overline {\mathcal {L}}}_{2}=\\{\\{{\text{C}}\\}\\}} und  L ¯ 3 = { { 2 B } } {\displaystyle {\overline {\mathcal {L}}}_{3}=\\{\\{2{\text{B}}\\}\\}} . Wenn man das Reaktionsnetzwerk wieder als Graph auffasst, dann ist eine terminale starke Linkageklasse eine Linkageklasse, aus welcher kein Reaktionspfeil auf eine andere starke Linkageklasse zeigt. Im unteren Graph sind die starken Linkageklassen durch doppelte Rahmen markiert (siehe Abbildung).

Die folgende Definition und die daraus abgeleiteten Aussagen gelten nur für Reaktionsnetzwerke, welche exakt eine terminale starke Linkageklasse pro Linkageklasse enthalten.[4]

#### Defizienz

[Bearbeiten | Quelltext bearbeiten]

Die Defizienz eines Reaktionsnetzwerks (abgekürzt mit  δ {\displaystyle \delta } ) ist definiert durch

δ := n − l − q , {\displaystyle \delta :=n-l-q,}

wobei  n {\displaystyle n} für die Anzahl der Komplexe,  l {\displaystyle l} für die Anzahl der Linkageklassen und  q {\displaystyle q} für den Rang der stöchiometrischen Matrix N {\displaystyle N} des gegebenen Reaktionsnetzwerkes steht.

Die stöchiometrische Matrix N {\displaystyle N} von Beispiel 2 ist gegeben durch

N = [ − 2 2 0 0 1 − 1 − 1 2 0 0 1 − 2 ] . {\displaystyle N=\left[{\begin{array}{rrrr}-2&2&0&0\\\1&-1&-1&2\\\0&0&1&-2\end{array}}\right].}

Demzufolge ergibt sich  q = rang ( N ) = 2 {\displaystyle q={\text{rang}}(N)=2} . Die Defizienz von Beispiel 2 ist dann  δ = 5 − 2 − 2 = 1 {\displaystyle \delta =5-2-2=1} .

#### Schwache Reversibilität

[Bearbeiten | Quelltext bearbeiten]

Ein Reaktionsnetzwerk heißt schwach reversibel wenn jede Linkageklasse aus einer terminalen starken Linkageklasse besteht.

Bei Beispiel 2 handelt es sich um kein schwach reversibles Reaktionsnetzwerk.

#### Stöchiometrischer Unterraum

[Bearbeiten | Quelltext bearbeiten]

Der stöchiometrische Unterraum (abgekürzt mit  S {\displaystyle S} ) eines Reaktionsnetzwerkes  ( S , C , R ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}})} ist die lineare Hülle seiner Reaktionsvektoren. D.h.,

S := span ( { y − y ′ ∈ R | S | | y -> y ′ ∈ R } ) . {\displaystyle S:={\text{span}}(\\{y-y'\in \mathbb {R} ^{\vert {\mathcal {S}}\vert }{\text{ }}\vert {\text{ }}y\rightarrow y'\in {\mathcal {R}}\\}).}

Da die Menge der Reaktionsvektoren identisch zu den Spalten der stöchiometrischen Matrix  N {\displaystyle N} sind, ist der stöchiometrische Unterraum äquivalent zum Spaltenraum von  N {\displaystyle N} .

#### Stöchiometrische Kompatibilitätsklasse

[Bearbeiten | Quelltext bearbeiten]

Zwei Vektoren  c , c ′ ∈ P ¯ | S | {\displaystyle c,c'\in {\overline {\mathbb {P} }}^{\vert {\mathcal {S}}\vert }} sind stöchiometrisch kompatibel, wenn  c − c ′ ∈ S {\displaystyle c-c'\in S} . Stöchiometrische Kompatibilität ist eine Äquivalenzrelation, welche  P ¯ | S | {\displaystyle {\overline {\mathbb {P} }}^{\vert {\mathcal {S}}\vert }} in Äquivalenzklassen, die stöchiometrischen Kompatibilitätsklassen, aufteilt.

Demzufolge muss die Trajektorie der zeitlichen Entwicklung der Konzentrationen immer in der gleichen stöchiometrischen Kompatibilitätsklasse liegen wie die Konzentrationen zum Zeitpunkt t = 0.

### Theoreme

[Bearbeiten | Quelltext bearbeiten]

#### Deficiency-Zero Theorem

[Bearbeiten | Quelltext bearbeiten]

Sei  ( S , C , R ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}})} ein Reaktionsnetzwerk mit Defizienz Null.

* (i) Wenn das Netzwerk nicht schwach reversibel ist, dann nimmt das entsprechende System an gewöhnlichen Differenzialgleichungen weder einen positiven Steady state noch einen periodischen Orbit in  P | S | {\displaystyle \mathbb {P} ^{\vert {\mathcal {S}}\vert }} an (unabhängig von der Wahl der kinetischen Ratenkonstanten).
* (ii) Wenn das Netzwerk schwach reversibel ist, dann hat das entsprechende System aus gewöhnlichen Differenzialgleichungen für eine beliebige Wahl der kinetischen Ratenkonstanten folgende Eigenschaften: Jede positive stöchiometrische Kompatibilitätsklasse enthält genau einen positiven Steady state; dieser positive Steady state ist asymptotisch stabil; und es existieren keine nichttrivialen periodischen Orbits in  P | S | {\displaystyle \mathbb {P} ^{\vert {\mathcal {S}}\vert }} .

Siehe[2] oder[3] für einen Beweis.

#### Deficiency-One Theorem

[Bearbeiten | Quelltext bearbeiten]

Sei  ( S , C , R ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}})} ein Reaktionsnetzwerk mit Defizienz  δ {\displaystyle \delta } . Und seien  δ L i {\displaystyle \delta _{{\mathcal {L}}_{i}}} mit  1 ≤ i ≤ l {\displaystyle 1\leq i\leq l} die Defizienzen der Linkageklassen. Weiterhin sei vorausgesetzt:

* (i)  δ L i ≤ 1 {\displaystyle \delta _{{\mathcal {L}}_{i}}\leq 1} mit  1 ≤ i ≤ l {\displaystyle 1\leq i\leq l} ;
* (ii)  ∑ i = 1 l δ L i = δ {\displaystyle \sum _{i=1}^{l}\delta _{{\mathcal {L}}_{i}}=\delta } ;
* (iii) jede Linkageklasse enthält nur eine terminale starke Linkageklasse.

Wenn die entsprechenden gewöhnlichen Differenzialgleichungen für eine Wahl der kinetischen Ratenkonstanten einen positiven Steady state annehmen, dann existiert genau ein positiver Steady state in jeder stöchiometrischen Kompatibilitätsklasse. Wenn das Netzwerk schwach reversibel ist, dann nehmen die entsprechenden gewöhnlichen Differenzialgleichungen einen positiven Steady state für jede Wahl der kinetischen Ratenkonstanten an.

Siehe[2] oder[3] für einen Beweis.

## Beziehung zu den Differenzialgleichungen

[Bearbeiten | Quelltext bearbeiten]

Das System an gewöhnlichen Differenzialgleichungen eines chemischen Reaktionsnetzwerkes sei gegeben durch die Funktion f ( c ) := d c / d t {\displaystyle f(c):={\text{d}}c/{\text{d}}t} . Die Funktion  f ( c ) {\displaystyle f(c)} eines jeden chemischen Reaktionsnetzwerkes kann nun in vier unabhängige Abbildungen, eine nicht lineare und drei lineare Abbildungen, zerlegt werden[4][5][6]

f ( c ) = Y I a I k ψ ( c ) , {\displaystyle f(c)=YI_{a}I_{k}\psi (c),}

welche im Folgenden definiert werden.

### Definitionen

[Bearbeiten | Quelltext bearbeiten]

#### Basisvektoren des Komplexraums

[Bearbeiten | Quelltext bearbeiten]

Wenn  U ⊆ C {\displaystyle {\mathcal {U}}\subseteq {\mathcal {C}}} , dann sei

ω U = { 1 , wenn y ∈ U 0 , andernfalls. {\displaystyle \omega _{\mathcal {U}}={\begin{cases}1,&{\text{wenn }}y\in {\mathcal {U}}\\\0,&{\text{andernfalls.}}\end{cases}}}

Die Basisvektoren des Komplexraums  R | C | {\displaystyle \mathbb {R} ^{\vert {\mathcal {C}}\vert }} sind dann gegeben durch die Menge  { ω { y } | y ∈ C } {\displaystyle \\{\omega _{\\{y\\}}{\text{ }}\vert {\text{ }}y\in {\mathcal {C}}\\}} .

Die Menge der Basisvektoren, repräsentiert als Matrix und eine entsprechende Sortierung der Vektoren vorausgesetzt, ist die Einheitsmatrix E | C | {\displaystyle E_{\vert {\mathcal {C}}\vert }} .

#### Die nichtlineare Abbildung ψ

[Bearbeiten | Quelltext bearbeiten]

Sei  ( S , C , R , K ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}},{\mathcal {K}})} ein chemisches Reaktionsnetzwerk. Die nicht lineare Abbildung  ψ : R | S | -> R | C | {\displaystyle \psi :\mathbb {R} ^{\vert {\mathcal {S}}\vert }\rightarrow \mathbb {R} ^{\vert {\mathcal {C}}\vert }} ist gegeben durch

ψ ( c ) := ∑ y ∈ C ω { y } c y , {\displaystyle \psi (c):=\sum _{y\in {\mathcal {C}}}\omega _{\\{y\\}}c^{y},}

mit

c y := ∏ s ∈ S c s y s . {\displaystyle c^{y}:=\prod _{s\in {\mathcal {S}}}c_{s}^{y_{s}}.}

#### Matrix Ik

[Bearbeiten | Quelltext bearbeiten]

wird noch ergänzt

#### Matrix Ia

[Bearbeiten | Quelltext bearbeiten]

Sei  ( S , C , R , K ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}},{\mathcal {K}})} ein chemisches Reaktionsnetzwerk. Die lineare Abbildung  I a : R | R | -> R | C | {\displaystyle I_{a}:\mathbb {R} ^{\vert {\mathcal {R}}\vert }\rightarrow \mathbb {R} ^{\vert {\mathcal {C}}\vert }} ist gegeben durch

I a ( v ) := ∑ y -> y ′ ∈ R ( ω { y ′ } − ω { y } ) v y -> y ′ , {\displaystyle I_{a}(v):=\sum _{y\rightarrow y'\in {\mathcal {R}}}(\omega _{\\{y'\\}}-\omega _{\\{y\\}})v_{y\rightarrow y'},}

mit  v ∈ R | R | {\displaystyle v\in \mathbb {R} ^{\vert {\mathcal {R}}\vert }} .

#### Matrix Y

[Bearbeiten | Quelltext bearbeiten]

Sei  ( S , C , R , K ) {\displaystyle ({\mathcal {S}},{\mathcal {C}},{\mathcal {R}},{\mathcal {K}})} ein chemisches Reaktionsnetzwerk. Die lineare Abbildung  Y : R | C | -> R | S | {\displaystyle Y:\mathbb {R} ^{\vert {\mathcal {C}}\vert }\rightarrow \mathbb {R} ^{\vert {\mathcal {S}}\vert }} ist definiert durch  Y ( ω { y } ) := y {\displaystyle Y(\omega _{\\{y\\}}):=y} mit  y ∈ N | S | {\displaystyle y\in \mathbb {N} ^{\vert {\mathcal {S}}\vert }} .

Es gilt hierbei  N = Y I a {\displaystyle N=YI_{a}} und  v ( c ) = I k ψ ( c ) {\displaystyle v(c)=I_{k}\psi (c)} so dass  f ( c ) {\displaystyle f(c)} auch vereinfacht geschrieben werden kann als  f ( c ) = N v ( c ) {\displaystyle f(c)=Nv(c)} (siehe auch stöchiometrische Matrix).

### Beispiel

[Bearbeiten | Quelltext bearbeiten]

Das System an gewöhnlichen Differenzialgleichungen von Beispiel 2 ist gegeben durch

d c A d t = − 2 k R 1 c A 2 + 2 k R 2 c B d c B d t = k R 1 c A 2 − k R 2 c B − k R 3 c B + 2 k R 4 c C 2 d c C d t = k R 3 c B − 2 k R 4 c C 2 {\displaystyle {\begin{array}{rcrrcrcrcr}{\frac {{\text{d}}c_{\text{A}}}{{\text{d}}t}}&=&-&2k_{R_{1}}c_{\text{A}}^{2}&+&2k_{R_{2}}c_{\text{B}}&&&&\\\\{\frac {{\text{d}}c_{\text{B}}}{{\text{d}}t}}&=&&k_{R_{1}}c_{\text{A}}^{2}&-&k_{R_{2}}c_{\text{B}}&-&k_{R_{3}}c_{\text{B}}&+&2k_{R_{4}}c_{\text{C}}^{2}\\\\{\frac {{\text{d}}c_{\text{C}}}{{\text{d}}t}}&=&&k_{R_{3}}c_{\text{B}}&-&2k_{R_{4}}c_{\text{C}}^{2}&&&&\end{array}}}

## Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]

1. ↑ a b F. Horn and R. Jackson: General mass action kinetics. Arch Rational Mech Anal 1972.
2. ↑ a b c d M. Feinberg: Lectures on chemical reaction networks. 1979.
3. ↑ a b c d M. Feinberg: The existence and uniqueness of steady states for a class of chemical reaction networks. Arch Rational Mech Anal 1995.
4. ↑ a b c d e J. Gunawardena: Chemical reaction network theory for in-silico biologists. 2003.
5. ↑ K. Gatermann, M. Eiswirth and A. Sensse: Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems. Journal of Symbolic Computation 2005.
6. ↑ C. Conradi, D. Flockerzi, J. Raisch and J. Stelling: Subnetwork analysis reveals dynamic features of complex (bio)chemical networks. Proc Natl Acad Sci U S A 2007.