睡眠周期的数学模型

这是对 A mathematical model of the sleep/wake cycle(2010)这篇论文理论部分的一个总结。

生物学模型

下图描述了这篇论文建立的生物学模型：

先解释上图的名词，再介绍它们之间的相互关系：

1. SCN是视交叉上核或称下丘脑视交叉上核（suprachiasmatic nucleus, SCN）是昼夜节律调节系统的中枢结构；
2. ORX是食欲肽（orexin），又名下丘脑泌素（hypocretin），它的作用是使中枢神经处于清醒状态，也掌控食欲；
3. VLPO是The ventrolateral preoptic nucleus (VLPO)，它是sleep-promoting
   nuclei的一部分，可以简单理解成促进睡眠的；
4. AMIN是wake-promoting monoaminergic cell groups，可以简单理解为（通过单胺类神经递质的传递）让人清醒的细胞群；
5. HOM是睡眠稳态调节器，它不是某个具体的生物组织，而是一种负反馈，清醒的时候会增加，睡着的时候会减少；
6. REM是rapid eye movement，快速动眼期，它是睡眠的一个阶段，在此阶段时眼球会快速移动，同时身体肌肉放松，大脑的神经元的活动与清醒的时候相同，多数在醒来后能够回忆起来的梦都是在REM睡眠发生的。与之相对的是非快速动眼期NREM，non-rapid eye movement，在这段睡眠期间，大脑的活动下降到最低，使得人体能够得到完全的舒缓。不同于快速动眼睡眠，在这段期间眼球几乎没有运动，也很少做梦。同一个睡眠周期中，REM和NREM是交替进行的。REM-on是启动REM的神经，REM-off是抑制REM的神经。
7. eVLPO（extended VLPO）是VLPO细胞群的一部分。Rempe, Best, Terman (2010)在模型中把VLPO分为clustered VLPO与extended VLPO，eVLPO会抑制REM-off，clVLPO会抑制eVLPO；
8. 左右的那两个I表示给对应的神经区域一定的刺激；

现在讨论他们之间的相互关系：
促进睡眠的VLPO与促进清醒的AMIN是互相抑制的关系，在睡着的时候如果遇到了外界刺激，比如突然被人泼了一盆水，AMIN会被激活，开始抑制VLPO，但幸好我们有HOM，当AMIN被激活之后，HOM数量会上升，它会在激活VLPO的同时抑制AMIN，避免接受了一点外界刺激就会清醒，所以叫睡眠稳态调节器。SCN也会抑制VLPO，虽然它和VLPO之间的神经联系比较稀疏，但它可以通过其他细胞群（比如DMH，Chou et al 2002）影响VLPO，此外SCN还会分泌ORX，ORX会刺激AMIN，进而也会抑制VLPO。

在一个完整的睡眠中，REM和NREM是交替进行的。REM-on会激活REM，REM-off抑制REM使身体进入NREM状态，二者是互相抑制的关系。另外eVLPO会抑制REM-off，AMIN会抑制REM-on，但eVLPO会被VLPO抑制。

数学模型

睡眠-清醒

VLPO和AMIN可以用ODE建模，这个模型叫Morris–Lecar system，睡眠-清醒的调节过程用处理神经元激活/抑制的Hodgkin–Huxley model的简化版本。记$x_V$与$x_A$表示促进睡眠的细胞群的活动以及促进清醒的细胞群的活动，如果$x_A<0$称生物系统是睡着的，如果$x_A>0$称它是清醒的。VLPO可以用模型表示为：
$$\begin{gathered} {\delta }_V{x}_V^{\prime }=f_V(x_V,y_V)-I_{AMIN}-I_{SCN}+I_{HOM}+(I_0^V+I_n^V) \\ {y}_V^{\prime }=g_V(x_V,y_V) \end{gathered}$$

AMIN可以表示为：
$${\delta }_A{x}_A^{\prime }=f_A(x_{}$$