Standing and travelling waves in a spherical brain model
Stephen Coombes
1
Rachel Nicks
2
Sid Visser
1
1
School of Mathematical Sciences, University of Nottingham
2
School of Mathematics, University of Birmingham
2nd June 2014
R. Nicks (UoB)
June 2014 1 / 31
The Nunez model
3
Model for generation of EEG signals.
Important observations:
Long range synaptic interactions excitatory while inhibitory interactions more short ranged.
Delays (local and global) important in generating robust human EEG frequencies.
Cortical white matter system topologically close to sphere - standing waves can occur via interference
Model often studied in topologies quite different to the brain (e.g. line 1 plane 2 ).
or
Two forms - damped wave equation and integro-differential equation (which we will use here with delays).
1
V K Jirsa and H Haken.
“Field theory of electromagnetic brain activity”.
In:
Physical Review Letters 77 (1996), pp. 960–963 .
2
S Coombes et al.
“Modeling electrocortical activity through improved local approximations of integral neural field equations”.
In: Physical Review E 76, 051901
(2007), p. 051901.
doi : 10.1103/PhysRevE.76.051901
3
R. Nicks (UoB) Spherical brain model June 2014 2 / 31
P L Nunez.
“The brain wave equation: a model for the EEG”.
. In: Mathematical
Biosciences 21 (1974), pp. 279–297 .
Spherical models
R. Nicks (UoB)
June 2014 3 / 31
Spherical models
R. Nicks (UoB)
June 2014 3 / 31
Overview
1
The Nunez model for the generation of EEG signals
Neural field model on a sphere.
Integro-differential equation with space-dependent delays.
R. Nicks (UoB)
June 2014 4 / 31
2
3
4
5
6
Instabilities of a homogeneous steady state.
Linear stability analysis to look for onset of spatiotemporal patterns
(standing and travelling waves) at dynamic instability.
Possible patterned states arising at Hopf bifurcation from spherical symmetry.
Equivariant bifurcation theory tells us symmetries of periodic solutions which can exist after dynamic instability...
... but which patterns are stable near the bifurcation depends on values of coefficients in amplitude equations which are model dependent.
Determining form of amplitude equations (symmetry) and values of coefficients (weakly nonlinear analysis).
Mode interactions and secondary bifurcations to quasiperiodic states.
Further work.
Overview
1
2
The Nunez model for the generation of EEG signals
Neural field model on a sphere.
Integro-differential equation with space-dependent delays.
Instabilities of a homogeneous steady state.
Linear stability analysis to look for onset of spatiotemporal patterns
(standing and travelling waves) at dynamic instability.
R. Nicks (UoB)
June 2014 4 / 31
3
4
5
6
Possible patterned states arising at Hopf bifurcation from spherical symmetry.
Equivariant bifurcation theory tells us symmetries of periodic solutions which can exist after dynamic instability...
... but which patterns are stable near the bifurcation depends on values of coefficients in amplitude equations which are model dependent.
Determining form of amplitude equations (symmetry) and values of coefficients (weakly nonlinear analysis).
Mode interactions and secondary bifurcations to quasiperiodic states.
Further work.
Overview
1
2
3
The Nunez model for the generation of EEG signals
Neural field model on a sphere.
Integro-differential equation with space-dependent delays.
Instabilities of a homogeneous steady state.
Linear stability analysis to look for onset of spatiotemporal patterns
(standing and travelling waves) at dynamic instability.
Possible patterned states arising at Hopf bifurcation from spherical symmetry.
Equivariant bifurcation theory tells us symmetries of periodic solutions which can exist after dynamic instability...
... but which patterns are stable near the bifurcation depends on values of coefficients in amplitude equations which are model dependent.
R. Nicks (UoB)
June 2014 4 / 31
4
5
6
Determining form of amplitude equations (symmetry) and values of coefficients (weakly nonlinear analysis).
Mode interactions and secondary bifurcations to quasiperiodic states.
Further work.
Overview
1
2
3
4
The Nunez model for the generation of EEG signals
Neural field model on a sphere.
Integro-differential equation with space-dependent delays.
Instabilities of a homogeneous steady state.
Linear stability analysis to look for onset of spatiotemporal patterns
(standing and travelling waves) at dynamic instability.
Possible patterned states arising at Hopf bifurcation from spherical symmetry.
Equivariant bifurcation theory tells us symmetries of periodic solutions which can exist after dynamic instability...
... but which patterns are stable near the bifurcation depends on values of coefficients in amplitude equations which are model dependent.
Determining form of amplitude equations (symmetry) and values of coefficients (weakly nonlinear analysis).
R. Nicks (UoB)
June 2014 4 / 31
5
6
Mode interactions and secondary bifurcations to quasiperiodic states.
Further work.
Overview
1
2
3
4
5
The Nunez model for the generation of EEG signals
Neural field model on a sphere.
Integro-differential equation with space-dependent delays.
Instabilities of a homogeneous steady state.
Linear stability analysis to look for onset of spatiotemporal patterns
(standing and travelling waves) at dynamic instability.
Possible patterned states arising at Hopf bifurcation from spherical symmetry.
Equivariant bifurcation theory tells us symmetries of periodic solutions which can exist after dynamic instability...
... but which patterns are stable near the bifurcation depends on values of coefficients in amplitude equations which are model dependent.
Determining form of amplitude equations (symmetry) and values of coefficients (weakly nonlinear analysis).
Mode interactions and secondary bifurcations to quasiperiodic states.
R. Nicks (UoB)
June 2014 4 / 31
6
Further work.
Overview
1
2
3
4
5
6
The Nunez model for the generation of EEG signals
Neural field model on a sphere.
Integro-differential equation with space-dependent delays.
Instabilities of a homogeneous steady state.
Linear stability analysis to look for onset of spatiotemporal patterns
(standing and travelling waves) at dynamic instability.
Possible patterned states arising at Hopf bifurcation from spherical symmetry.
Equivariant bifurcation theory tells us symmetries of periodic solutions which can exist after dynamic instability...
... but which patterns are stable near the bifurcation depends on values of coefficients in amplitude equations which are model dependent.
Determining form of amplitude equations (symmetry) and values of coefficients (weakly nonlinear analysis).
Mode interactions and secondary bifurcations to quasiperiodic states.
Further work.
R. Nicks (UoB)
June 2014 4 / 31
A little bit of geometry
Polar angle:
0 ≤ θ ≤ π
Azimuthal angle:
0 ≤ φ ≤ 2 π
Point on a sphere of radius R : r = r ( θ, φ ) = R (cos φ sin θ, sin φ sin θ, cos θ )
R. Nicks (UoB)
June 2014 5 / 31
Distance between two points r and r
0
:
α ( r | r
0
) = R cos
− 1
= R cos
− 1 r · r
0
/ ( | r || r cos θ cos θ
0
0
| )
+ sin θ sin θ
0 cos( φ − φ
0
) .
A little bit of geometry
Polar angle:
0 ≤ θ ≤ π
Azimuthal angle:
0 ≤ φ ≤ 2 π
Point on a sphere of radius R : r = r ( θ, φ ) = R (cos φ sin θ, sin φ sin θ, cos θ )
Distance between two points r and r
0
:
α ( r | r
0
) = R cos
− 1
= R cos
− 1 r · r
0
/ ( | r || r
0
| ) cos θ cos θ
0
+ sin θ sin θ
0 cos( φ − φ
0
) .
R. Nicks (UoB)
June 2014 5 / 31
The model
∂ u
∂ t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
))) d r
0
R. Nicks (UoB)
June 2014 6 / 31
The model
∂
∂ u t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
))) d r
0
O (3) invariant connectivity (synaptic kernel) : w ( r | r
0
) = w ( α ) = A
1 e
−
α
σ
1
+ A
2 e
−
α
σ
2
, σ
1
> σ
2
, A
1
A
2
< 0 .
R. Nicks (UoB)
June 2014 6 / 31
The model
∂
∂ u t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
))) d r
0
O (3) invariant connectivity (synaptic kernel) : w ( r | r
0
) = w ( α ) = A
1 e
−
α
σ
1
+ A
2 e
−
α
σ
2
, σ
1
> σ
2
, A
1
A
2
< 0 .
A
1
+ A
2
> 0
R. Nicks (UoB)
June 2014 6 / 31
The model
∂
∂ u t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
))) d r
0
O (3) invariant connectivity (synaptic kernel) : w ( r | r
0
) = w ( α ) = A
1 e
−
α
σ
1
+ A
2 e
−
α
σ
2
, σ
1
> σ
2
, A
1
A
2
< 0 .
A
1
+ A
2
< 0
R. Nicks (UoB)
June 2014 6 / 31
The model
∂ u
∂ t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
))) d r
0
Firing rate : f ( u ) =
1
1 + e − β ( u − h )
, β > 0 , h a threshold parameter, β controls the slope of the firing rate at threshold.
R. Nicks (UoB)
June 2014 7 / 31
The model
∂ u
∂ t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
) )) d r
0
Delays : τ ( r | r
0
) =
α ( r | r
0
)
+ τ
0
, v where v finite speed of action potentials.
τ
0 constant delay representing delays caused by synaptic processes.
R. Nicks (UoB)
June 2014 8 / 31
Spherical symmetry
Since we choose w ( α ( r | r
0
)) to be O (3) invariant we can write w ( α ( r | r
0
)) =
∞
X w n n =0 n
X m = − n
Y m n
( θ, φ ) Y m n
( θ
0
, φ
0
) where Y m n
( θ, φ ) are Spherical Harmonics . There are 2 n + 1 spherical harmonics of degree n .
R. Nicks (UoB)
June 2014 9 / 31
Spherical symmetry
Since we choose w ( α ( r | r
0
)) to be O (3) invariant we can write w ( α ( r | r
0
)) =
∞
X w n n =0 n
X m = − n
Y m n
( θ, φ ) Y m n
( θ
0
, φ
0
) where Y m n
( θ, φ ) are Spherical Harmonics . There are 2 n + 1 spherical harmonics of degree n .
Here
Z
π w n
= 2 π sin θ d θ w ( R θ ) P n
(cos θ ) .
0
Synaptic kernel w ( α ) is balanced if
W := w
0
=
Z
Ω w ( r
0
| r
0
) d r
0
= 0 where r
0
∈ Ω.
R. Nicks (UoB)
June 2014 9 / 31
Linear stability of homogeneous steady state
∂ u
∂ t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
))) d r
0
Homogeneous steady states u satisfy u = Wf ( u )
(so only one steady state u = 0 when W = 0).
R. Nicks (UoB)
June 2014 10 / 31
Linearising about u :
∂ u
∂ t
= − u + γ
Z
Ω w ( r | r
0
) u ( r
0
, t − τ ( r | r
0
)) d r
0 where γ = f
0
( u ).
Linear stability of homogeneous steady state
∂ u
∂ t
= − u +
Z
Ω w ( r | r
0
) f ( u ( r
0
, t − τ ( r | r
0
))) d r
0
Homogeneous steady states u satisfy u = Wf ( u )
(so only one steady state u = 0 when W = 0).
Linearising about u :
∂ u
∂ t
= − u + γ
Z
Ω w ( r | r
0
) u ( r
0
, t − τ ( r | r
0
)) d r
0 where γ = f
0
( u ).
R. Nicks (UoB)
June 2014 10 / 31
Linear stability analysis
Consider separable solutions: u ( r , t ) = ψ ( r ) e zt where ψ ( r ) satisfies
0 = L z
ψ ( r ) := (1 + z ) ψ ( r ) − γ
Z
Ω
G ( α ( r | r
0
); z ) ψ ( r
0
) d r
0 where
G ( α ; z ) = w ( α ) exp( − z τ
0
− z α/ v )
=
∞
X
G n
( z ) n =0 n
X m = − n
Y m n
( θ, φ ) Y m n
( θ
0
, φ
0
) and
G n
( z ) = 2 π
Z
π
0 sin θ d θ w ( R θ ) P n
(cos θ ) exp( − z ( τ
0
− R θ/ v )) .
(1)
R. Nicks (UoB)
June 2014 11 / 31
Then ( 1 ) has solutions of the form ψ ( r ) = Y m n
( θ, φ ) if there exists eigenvalue λ such that
E n
( λ ) := 1 + λ − γ G n
( λ ) = 0 .
Linear stability analysis
Consider separable solutions: u ( r , t ) = ψ ( r ) e zt where ψ ( r ) satisfies
0 = L z
ψ ( r ) := (1 + z ) ψ ( r ) − γ
Z
Ω
G ( α ( r | r
0
); z ) ψ ( r
0
) d r
0 where
G ( α ; z ) = w ( α ) exp( − z τ
0
− z α/ v )
=
∞
X
G n
( z ) n =0 n
X m = − n
Y m n
( θ, φ ) Y m n
( θ
0
, φ
0
) and
Z
π
G n
( z ) = 2 π sin θ d θ w ( R θ ) P n
(cos θ ) exp( − z ( τ
0
− R θ/ v )) .
0
Then ( 1 ) has solutions of the form
ψ ( r ) = Y m n
( θ, φ ) if there exists eigenvalue λ such that
E n
( λ ) := 1 + λ − γ G n
( λ ) = 0 .
R. Nicks (UoB)
June 2014
(1)
11 / 31
Linear stability analysis
Homogeneous steady state is stable if Re λ < 0 for all n .
Dynamic instability occurs if (under parameter variation) eigenvalues cross imaginary axis away from origin
Expect emergence of travelling or standing waves
Static instability occurs if eigenvalues cross along real axis
Expect emergence of time-independent patterns
R. Nicks (UoB)
June 2014 12 / 31
Remark Without delays ( τ
0
= 0 and v → ∞ ) the eigenvalues are real and given explicitly by
λ n
= − 1 + γ w n
.
i.e. Dynamic instabilities are not possible.
Linear stability analysis
Homogeneous steady state is stable if Re λ < 0 for all n .
Dynamic instability occurs if (under parameter variation) eigenvalues cross imaginary axis away from origin
Expect emergence of travelling or standing waves
Static instability occurs if eigenvalues cross along real axis
Expect emergence of time-independent patterns
Remark Without delays ( τ
0
= 0 and v → ∞ ) the eigenvalues are real and given explicitly by
λ n
= − 1 + γ w n
.
i.e. Dynamic instabilities are not possible.
R. Nicks (UoB)
June 2014 12 / 31
Dynamic instabilities
We look for dynamic instabilities:
Use inverted wizard hat connectivity - standing and travelling waves preferred to stationary patterns
Agreement with Nunez’s observation of long range excitation and short range inhibition.
R. Nicks (UoB)
June 2014 13 / 31
Set λ = i ω and look for solutions of spectral equation:
1 + i ω = γ G n
( i ω ) , for different values of n . (Remember G n
( z ) depends on parameters
A
1
, A
2
, σ
1
, σ
2
, v , τ
0
.)
For fixed values of σ
1
, σ
2
, v , τ we can plot curves in A
1
, A
2 plane where Hopf bifurcations of each mode can occur
Can similarly find solutions of 1 = γ G n
(0) to locate static instabilities.
Dynamic instabilities
We look for dynamic instabilities:
Use inverted wizard hat connectivity - standing and travelling waves preferred to stationary patterns
Agreement with Nunez’s observation of long range excitation and short range inhibition.
Set λ = i ω and look for solutions of spectral equation:
1 + i ω = γ G n
( i ω ) , for different values of n . (Remember G n
( z ) depends on parameters
A
1
, A
2
, σ
1
, σ
2
, v , τ
0
.)
R. Nicks (UoB)
June 2014 13 / 31
For fixed values of σ
1
, σ
2
, v , τ we can plot curves in A
1
, A
2 plane where Hopf bifurcations of each mode can occur
Can similarly find solutions of 1 = γ G n
(0) to locate static instabilities.
Dynamic instabilities
We look for dynamic instabilities:
Use inverted wizard hat connectivity - standing and travelling waves preferred to stationary patterns
Agreement with Nunez’s observation of long range excitation and short range inhibition.
Set λ = i ω and look for solutions of spectral equation:
1 + i ω = γ G n
( i ω ) , for different values of n . (Remember G n
( z ) depends on parameters
A
1
, A
2
, σ
1
, σ
2
, v , τ
0
.)
For fixed values of σ
1
, σ
2
, v , τ we can plot curves in A
1
, A
2 plane where Hopf bifurcations of each mode can occur
Can similarly find solutions of 1 = γ G n
(0) to locate static instabilities.
R. Nicks (UoB)
June 2014 13 / 31
30
50
-50
0
-30
λ = 0
λ = iω
R. Nicks (UoB) w
0 w
0
= 0
= c
0
-100
γA
2
γA
1
100
n = 0
n = 1
n = 2
n = 3
n = 4
June 2014 14 / 31
0
= 0
60
0
γA
2
-60
-40 γA
1
R. Nicks (UoB)
0
15
40
40
-35
λ = 0
λ = iω
-65
n = 0
n = 1
n = 2
n = 3
n = 4
n = 5 w w
0
0
= 0
= c
June 2014 15 / 31
What kind of spatiotemporal patterns can exist?
From linear stability analysis we expect to excite a dynamic pattern of the form u n c
( θ, φ, t ) = n c
X m = − n c z m e i ω c t
Y m n c
( θ, φ ) + cc , where n c and ω c determined using spectral equation. Here the z m slowly varying amplitudes and z = ( z
− n c
, . . . , z n c
) ∈
C
2 n c
+1
.
are
Near the bifurcation point we expect to see classes of solutions with symmetry that breaks the O (3) × S
1 symmetry of the homogeneous steady state u .
Equivariant bifurcation theory can tell us about these solutions using symmetry arguments alone.
R. Nicks (UoB)
June 2014 16 / 31
Symmetry arguments
V n c
= space of spherical harmonics of degree n c
The action of O (3) × S 1 z ∈
C
2 n c
+1 on u n c and u n c
∈ V n c is determined by its action on
⊕ V n c
.
The amplitudes z evolve according to ˙ = g ( z ) where
γ · g ( z ) = g ( γ · z ) for all γ ∈ O (3) .
(2)
Taylor expansion of g to any given order also commutes with action of
S
1
.
We can use symmetry to compute form of g to cubic order. These amplitude equations contain a number of coefficients which are model dependent
R. Nicks (UoB)
June 2014 17 / 31
Spatiotemporal symmetries of periodic solutions
Equivariant Hopf theorem guarantees the existence of periodic solutions of ˙ = g ( z ) with certain spatiotemporal symmetries (certain classes of subgroups of O (3) × S
1
)
( γ, ψ ) ∈ O (3) × S
1 is a spatiotemporal symmetry of a periodic solution z ( τ ) if
( γ, ψ ) · z ( τ ) ≡ γ · z ( τ + ψ ) = z ( τ ) for all τ .
(3)
The subgroups Σ ⊂ O (3) × S 1 which satisfy the Equivariant Hopf theorem fix a two-dimensional subspace of V n c
{ z ∈
C
2 n c
+1 : σ · z = z for all σ ∈ Σ }
⊕ V n c
, i.e.
is two dimensional.
Which subgroups of spatiotemporal symmetries satisfy the Equivariant
Hopf theorem depends on the value of n c for all values of n c and have been determined using group theoretic methods 4 , 5 .
4
M Golubitsky, I Stewart, and D G Schaeffer.
Singularities and Groups in Bifurcation
Theory, Volume II .
. Springer Verlag, 1988 .
5 R Sigrist.
“Hopf bifurcation on a sphere”.
In: Nonlinearity 23 (2010), pp. 3199–3225 .
R. Nicks (UoB)
June 2014 18 / 31
Example n c
= 4
Table: The C -axial subgroups of O (3) × S 1
V
4
⊕ V
4
. Here H = J ×
Z c
2
.
for the natural representations on
Σ
] )
SO ( 2 )
4
SO ( 2 )
3
SO ( 2 )
2
SO ( 2 )
1
J K
O (
O
2 ) O (
O
2 )
×
×
Z c
2
Z c
2
T
D
2
×
Z c
2
D
D
D
8
6
4
D
D
D
4
3
2
×
×
Z c
2
Z c
2
×
Z c
2
SO ( 2 )
Z
4
×
Z c
2
SO
SO
SO
(
(
(
2
2
2
)
)
)
Z
3
×
Z c
2
Z
2
×
Z c
2
Z c
2
α ( H )
1
1
Z 3
Z
2
Z 2
Z
2
S 1
S 1
S
1
S
1
Fix(Σ)
{ (
{ (
√
√
7 z , 0 ,
5
{ z ,
(0
12
0
,
, iz
0
0
,
,
,
0
0
0
,
,
, 0
−
, z ,
14
0 z
10 z
,
,
,
0
0 ,
,
0 ,
0
0 ,
, 0)
0 ,
}
5 z ) }
12 iz , 0 ,
√
7 z ) }
{ ( z , 0 , 0 , 0 , 0 , 0 , 0 , 0 , z ) }
{ (0 , z , 0 , 0 , 0 , 0 , 0 , z , 0) }
{ (0 , 0 , z , 0 , 0 , 0 , z , 0 , 0) }
{ ( z , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0) }
{ (0 , z , 0 , 0 , 0 , 0 , 0 , 0 , 0) }
{ (0 , 0 , z , 0 , 0 , 0 , 0 , 0 , 0) }
{ (0 , 0 , 0 , z , 0 , 0 , 0 , 0 , 0) }
R. Nicks (UoB)
June 2014 19 / 31
n c
= 4 standing and travelling wave solutions
R. Nicks (UoB)
Play/Pause
June 2014 20 / 31
An n c
= 4 periodic solution
Other solutions to amplitude equations may exist (in addition to those guaranteed by Equivariant Hopf theorem)
Using a bespoke numerical scheme we can simulate the (discretised) integro-differential equation near the n c
= 4 dynamic instability
New approach required to solve integro-differential equations with delays on large meshes
R. Nicks (UoB)
June 2014 21 / 31
An n c
= 4 periodic solution
R. Nicks (UoB)
Play/Pause
June 2014 21 / 31
Stability
Symmetry can tell you form of the amplitude equations to any given order and maximal solutions
For example if n c
= 1 modes become unstable at Hopf bifurcation then using equivariance, to cubic order amplitudes z = ( z
− 1
, z
0
, z
1
) satisfy z ˙ m
= µ z m
+ Az m
| z |
2
+ B ˆ m
( z
2
0
− 2 z
− 1 z
1
)
| z | 2
=
1
X
| z p
| 2
, ˆ = ( − z
1
, z
0
, − z
− 1
) .
p = − 1
R. Nicks (UoB)
June 2014 22 / 31
But which solutions are stable depends on values of coefficients model dependent.
Weakly nonlinear analysis can be used to determine values of coefficients for particular model.
Stability
Symmetry can tell you form of the amplitude equations to any given order and maximal solutions
For example if n c
= 1 modes become unstable at Hopf bifurcation then using equivariance, to cubic order amplitudes z = ( z
− 1
, z
0
, z
1
) satisfy z ˙ m
= µ z m
+ Az m
| z |
2
+ B ˆ m
( z
2
0
− 2 z
− 1 z
1
)
| z | 2
=
1
X
| z p
| 2
, ˆ = ( − z
1
, z
0
, − z
− 1
) .
p = − 1
But which solutions are stable depends on values of coefficients model dependent.
Weakly nonlinear analysis can be used to determine values of coefficients for particular model.
R. Nicks (UoB)
June 2014 22 / 31
Weakly nonlinear analysis u
1
( θ, φ, t ) = n c
X m = − n c z m
( τ ) e i ω c t
Y m n c
( θ, φ ) + cc , where τ =
2 t .
Consider perturbation expansion u = u + u
1
+
2 u
2
+
3 u
3
+ . . .
f ( u ) = f ( u ) + β
1
( u − u ) + β
2
( u − u )
2
+ β
3
( u − u )
3
+ . . .
where β
1
= β c
+
2
δ and dynamic instability occurs at β c
( δ is a measure of distance from bifurcation).
Get hierarchy of equations by balancing terms at each order in epsilon.
Solvability condition (here at order 3 ) gives values of coefficients.
R. Nicks (UoB)
June 2014 23 / 31
For the example where n c
= 1
µ =
δ (1 + i ω c
)
β c
A =
(1 + i ω c
)
10 πβ c
B =
(1 + i ω c
)
20 πβ c
2 β
2
2
(5 C
0 , 0
+ C
2 , 0
+ 3 C
2 , 2
) + 9 β
3
2 β
2
2
(5 C
0 , 2
+ 6 C
2 , 0
− 2 C
2 , 2
) + 9 β
3 where
C m , n
=
G m
( in ω c
)
1 + in ω c
− β c
G m
( in ω c
)
.
R. Nicks (UoB)
June 2014 24 / 31
More interesting solutions?
Direct numerical simulations suggest quasi-periodic behaviour is supported through interaction of modes 0 and 1. (See
when τ
0
= 0)
R. Nicks (UoB)
June 2014 25 / 31
Complex conjugate eigenvalues cross through imaginary axis simultaneously.
Two distinct (not rationally related) emergent frequencies.
Excited pattern: u
1
( θ, φ, t ) = ( w
0
Y
0
0
( θ, φ ) e i ω
0 t
+ cc) +
X m =0 ± 1
( z m
Y
1 m
( θ, φ ) e i ω
1 t
+ cc) , for slowly evolving w
0 and z m with m = 0 , ± 1, and frequencies ω
0 and ω
1
.
Amplitude equations to cubic order (from symmetry): d w
0
= µ
1 w
0
+ a
1 w
0
| w
0
|
2
+ a
2 w
0
| z |
2
, d τ d z m
= µ
2 z m
+ b
1 z m
| z |
2
+ b
2
ˆ m
( z
0
2
− 2 z
− 1 z
1
) + b
3 z m
| w
0
|
2
, d τ where ˆ = ( − z
1
, z
0
, − z
− 1
).
m = 0 , ± 1 ,
Values of the coefficients µ
1
, a
1
, a
2
, µ
2
, b
1
, b
2
, b
3 can be computed using weakly nonlinear analysis.
More interesting solutions?
Direct numerical simulations suggest quasi-periodic behaviour is supported through interaction of modes 0 and 1. (See
when τ
0
= 0)
Complex conjugate eigenvalues cross through imaginary axis simultaneously.
Two distinct (not rationally related) emergent frequencies.
Excited pattern: u
1
( θ, φ, t ) = ( w
0
Y
0
0
( θ, φ ) e i ω
0 t
+ cc) +
X m =0 ± 1
( z m
Y
1 m
( θ, φ ) e i ω
1 t
+ cc) , for slowly evolving w
0 and z m with m = 0 , ± 1, and frequencies ω
0 and ω
1
.
R. Nicks (UoB)
June 2014 25 / 31
Amplitude equations to cubic order (from symmetry): d w
0
= µ
1 w
0
+ a
1 w
0
| w
0
|
2
+ a
2 w
0
| z |
2
, d τ d z m
= µ
2 z m
+ b
1 z m
| z |
2
+ b
2
ˆ m
( z
0
2
− 2 z
− 1 z
1
) + b
3 z m
| w
0
|
2
, d τ where ˆ = ( − z
1
, z
0
, − z
− 1
).
m = 0 , ± 1 ,
Values of the coefficients µ
1
, a
1
, a
2
, µ
2
, b
1
, b
2
, b
3 can be computed using weakly nonlinear analysis.
More interesting solutions?
Direct numerical simulations suggest quasi-periodic behaviour is supported through interaction of modes 0 and 1. (See
when τ
0
= 0)
Complex conjugate eigenvalues cross through imaginary axis simultaneously.
Two distinct (not rationally related) emergent frequencies.
Excited pattern: u
1
( θ, φ, t ) = ( w
0
Y
0
0
( θ, φ ) e i ω
0 t
+ cc) +
X m =0 ± 1
( z m
Y
1 m
( θ, φ ) e i ω
1 t
+ cc) , for slowly evolving w
0 and z m with m = 0 , ± 1, and frequencies ω
0 and ω
1
.
Amplitude equations to cubic order (from symmetry): d w
0
= µ
1 w
0
+ a
1 w
0
| w
0
|
2
+ a
2 w
0
| z |
2
, d τ d z m
= µ
2 z m
+ b
1 z m
| z |
2
+ b
2
ˆ m
( z
0
2
− 2 z
− 1 z
1
) + b
3 z m
| w
0
|
2
, d τ where ˆ = ( − z
1
, z
0
, − z
− 1
).
m = 0 , ± 1 ,
Values of the coefficients µ
1
, a
1
, a
2
, µ
2
, b
1
, b
2
, b
3 can be computed using weakly nonlinear analysis.
R. Nicks (UoB)
June 2014 25 / 31
Secondary bifurcations
Secondary bifurcations to quasi-periodic solutions are possible:
Similarly to Ermentrout and Cowan
6
(two populations, no delays).
Letting z
1
= R e i φ
, w
0
= re i θ
, z
0
= z
− 1
= 0, equations for ( r , R ) and
( θ, φ ) decouple: d r d t d R d t
= r µ
R
1
+ a
R
1 r
2
+ a
R
2
R
2
= R µ
R
2
+ b
R
1
R
2
+ b
R
3 r
2
, where µ i
R = Re µ i
, a i
R = Re a i
, b i
R = Re b i
Nullclines are r -axis, the R -axis, and a pair of ellipses (which only exist for certain values of coefficients).
Suppose coefficients depend on a bifurcation parameter P then we could have ...
6 G B Ermentrout and J D Cowan.
“Secondary bifurcation in neuronal networks”.
In: SIAM Journal on Applied Mathematics
R. Nicks (UoB)
June 2014 26 / 31
Quasi-periodic solutions r
(i)
R r (iii)
R
|| ||
R. Nicks (UoB) n=0
(i)
0:1
(ii)
(iii) n=1
(iv)
P
r
(ii)
R r (iv)
R
June 2014 27 / 31
Quasi-periodic solutions
Transition from a stable n = 0 mode to a stable n = 1 mode via an intermediate stable 0:1 mode.
As noted by Ermentrout and Cowan, this would allow smooth transition from one frequency ( ∼ ω
0
) to another ( ∼ ω
1
),
R. Nicks (UoB)
June 2014 28 / 31
May provide a mechanistic explanation for the gradual transition from tonic to clonic phases during an epileptic seizure.
Stage (i) - Small amplitude bulk oscillation (tonic phase).
Stage (ii) - Stable 0:1 quasi-periodic solution (tonic-clonic transition).
Stage (iv) - Stable n = 1 mode (full clonic phase).
Quasi-periodic solutions
Transition from a stable n = 0 mode to a stable n = 1 mode via an intermediate stable 0:1 mode.
As noted by Ermentrout and Cowan, this would allow smooth transition from one frequency ( ∼ ω
0
) to another ( ∼ ω
1
),
May provide a mechanistic explanation for the gradual transition from tonic to clonic phases during an epileptic seizure.
Stage (i) - Small amplitude bulk oscillation (tonic phase).
Stage (ii) - Stable 0:1 quasi-periodic solution (tonic-clonic transition).
Stage (iv) - Stable n = 1 mode (full clonic phase).
R. Nicks (UoB)
June 2014 28 / 31
A chaotic solution?
R. Nicks (UoB)
Play/Pause
June 2014 29 / 31
Summary and further work
Summary
Wide range of spatiotemporal states can be supported in neural models of Nunez type on a sphere with only simple representations for anatomical connectivity, axonal delays and population firing rates.
Highlighted importance of delays in generating spatiotemporal patterned states.
Looked at degenerate bifurcations allowing for quasi-periodic behaviour reminiscent of evolution of some epileptic seizures.
More complex (chaotic?) solutions also found using bespoke numerical scheme.
R. Nicks (UoB)
June 2014 30 / 31
Further Work
Numerical scheme not limited to spherical geometry - can also handle folded cortical structures.
Localised states (working memory) for steep sigmoidal firing rate and
Mexican-hat connectivity.
Summary and further work
Summary
Wide range of spatiotemporal states can be supported in neural models of Nunez type on a sphere with only simple representations for anatomical connectivity, axonal delays and population firing rates.
Highlighted importance of delays in generating spatiotemporal patterned states.
Looked at degenerate bifurcations allowing for quasi-periodic behaviour reminiscent of evolution of some epileptic seizures.
More complex (chaotic?) solutions also found using bespoke numerical scheme.
Further Work
Numerical scheme not limited to spherical geometry - can also handle folded cortical structures.
Localised states (working memory) for steep sigmoidal firing rate and
Mexican-hat connectivity.
R. Nicks (UoB)
June 2014 30 / 31
Coming soon to arXiv
S Coombes, R Nicks, and S Visser.
“Standing and travelling waves in a spherical brain model: the Nunez model revisited”.
In: ()
June 2014 31 / 31 R. Nicks (UoB)