Up to this point we have largely been concerned with
- Deriving linear systems of algebraic equations (from
considerations of static equilibrium) and
- The solution of such systems via Gaussian elimination.
In this module we hope to begin to persuade the reader that
our tools extend in a natural fashion to the class of dynamic
processes. More precisely, we shall argue that
- Matrix Algebra plays a central role in the derivation of
mathematical models of dynamical systems and that,
- With the aid of the Laplace transform in an analytical setting
or the Backward Euler method in the numerical setting, Gaussian
elimination indeed produces the solution.
A nerve fiber's natural electrical stimulus is not direct current but
rather a short burst of current, the so-called
nervous impulse. In such a dynamic environment the
cell's membrane behaves not only like a leaky conductor but also
like a charge separator, or capacitor.
The typical value of a cell's membrane capacitance is
c=1μFcm2
c
1
μF
cm
2
where
μF
μF
denotes micro-Farad. Recalling
our variable
conventions, the capacitance of a single compartment is
C
m
=2πalNc
C
m
2
a
l
N
c
and runs parallel to each
R
m
R
m
,
see Figure 1. This figure also
differs from
the simpler circuit from the introductory electrical
modeling module in that it possesses two edges to the left of the
stimuli. These edges serve to mimic that portion of the stimulus
current that is shunted by the cell body. If
A
cb
A
cb
denotes the surface area of the cell body, then it has
- Definition 1: capacitance of cell body
C
cb
=
A
cb
c
C
cb
A
cb
c
- Definition 2: resistance of cell body
R
cb
=
A
cb
ρ
m
R
cb
A
cb
ρ
m
.
We ask now how the
static Strang Quartet of the introductory electrical module
should be augmented.
Regarding
(S1') we proceed as before. The voltage drops are
e
1
=
x
1
e
1
x
1
e
2
=
x
1
−
E
m
e
2
x
1
E
m
e
3
=
x
1
−
x
2
e
3
x
1
x
2
e
4
=
x
2
e
4
x
2
e
5
=
x
2
−
E
m
e
5
x
2
E
m
e
6
=
x
2
−
x
3
e
6
x
2
x
3
e
7
=
x
3
e
7
x
3
e
8
=
x
3
−
E
m
e
8
x
3
E
m
and so
e=b−Ax
where
b=-
E
m
01001001
and
A=-100-100-1100-100-100-1100-100-1
e
b
A
x
where
b
E
m
010
010
01
and
A
-100
-100
-110
0-10
0-10
0-11
00-1
00-1
To update (S2)
we must now augment Ohm's law with
- Definition 3: Voltage-current law obeyed by a capacitor
The current through a capacitor is proportional
to the time rate of change of the potential across
it.
This yields, (denoting derivative by '),
y
1
=
C
cb
e
1
′
y
1
C
cb
e
1
y
2
=
e
2
R
cb
y
2
e
2
R
cb
y
3
=
e
3
R
i
y
3
e
3
R
i
y
4
=
C
m
e
4
′
y
4
C
m
e
4
y
5
=
e
5
R
m
y
5
e
5
R
m
y
6
=
e
6
R
i
y
6
e
6
R
i
y
7
=
C
m
e
7
′
y
7
C
m
e
7
y
8
=
e
8
R
m
y
8
e
8
R
m
or, in matrix terms,
y=Ge+C
e
′
y
G
e
C
e
where
G=0000000001
R
cb
000000001
R
i
000000000000000001
R
m
000000001
R
i
000000000000000001
R
m
G
00
000
000
0
1
R
cb
000
000
00
1
R
i
00
000
00
000
000
00
00
1
R
m
000
00
000
1
R
i
00
00
000
000
00
000
00
1
R
m
and
C=
C
cb
00000000000000000000000000
C
m
00000000000000000000000000
C
m
000000000
C
C
cb
00
00
000
00
000
000
00
000
000
000
C
m
000
0
00
000
000
00
000
000
000
000
C
m
0
00
000
000
are the conductance and capacitance matrices.
As Kirchhoff's Current law is insensitive to the type of
device occupying an edge, step (S3) proceeds exactly as
before.
i
0
−
y
1
−
y
2
−
y
3
=0
i
0
y
1
y
2
y
3
0
y
3
−
y
4
−
y
5
−
y
6
=0
y
3
y
4
y
5
y
6
0
y
6
−
y
7
−
y
8
=0
y
6
y
7
y
8
0
or, in matrix terms,
ATy=-f
where
f=
i
0
00T
A
y
f
where
f
i
0
00
Step (S4) remains one of assembling,
ATy=-f⇒ATGe+C
e
′=-f⇒ATGb−Ax+C
b
′−A
x
′=-f
A
y
f
A
G
e
C
e
f
A
G
b
A
x
C
b
A
x
f
becomes
ATCA
x
′+ATGAx=ATGb+f+ATC
b
′
.
A
C
A
x
A
G
A
x
A
G
b
f
A
C
b
.
(1)
This is the general form of the potential equations for an
RC circuit. It presumes of the user knowledge of the
initial value of each of the potentials,
x0=X
x
0
X
(2)
Regarding the circuit of
Figure 1, and letting
G=1R
G
1
R
, we find
ATCA=
C
cb
000C000C
,
ATGA=
G
cb
+
G
i
-
G
i
0-
G
i
2
G
i
+
G
m
-
G
i
0-
G
i
G
i
+
G
m
A
C
A
C
cb
00
0
C
0
00
C
,
A
G
A
G
cb
G
i
G
i
0
G
i
2
G
i
G
m
G
i
0
G
i
G
i
G
m
ATGb=
E
m
G
cb
G
m
G
m
and
ATC
b
′=000
A
G
b
E
m
G
cb
G
m
G
m
and
A
C
b
0
0
0
and an initial (rest) potential of
x0=
E
m
111T
x
0
E
m
111
We shall now outline two modes of attack on such
problems. The Laplace
Transform is an analytical tool that produces exact,
closed-form solutions for small tractable systems and
therefore offers insight into how larger systems 'should'
behave. The Backward-Euler method is a technique for
solving a discretized (and therefore approximate) version of
Equation 1. It is highly
flexible, easy to code, and works on problems of great
size. Both the Backward-Euler and Laplace Transform methods
require, at their core, the algebraic solution of a linear
system of equations. In deriving these methods we shall find
it more convenient to proceed from the generic system
x
′=Bx+g
x
B
x
g
(3)
With respect to our fiber problem
B=-ATCA-1ATGA=-
G
cb
+
G
i
C
cb
G
i
C
cb
0
G
i
C
m
-2
G
i
+
G
m
C
m
G
i
C
m
0
G
i
C
m
-
G
i
+
G
m
C
m
B
A
C
A
A
G
A
G
cb
G
i
C
cb
G
i
C
cb
0
G
i
C
m
2
G
i
G
m
C
m
G
i
C
m
0
G
i
C
m
G
i
G
m
C
m
(4)
and
g=ATCA-1ATGb+f=
G
cb
E
m
+
i
0
C
cb
E
m
G
m
C
m
E
m
G
m
C
m
g
A
C
A
A
G
b
f
G
cb
E
m
i
0
C
cb
E
m
G
m
C
m
E
m
G
m
C
m