Equação de Fitzhugh-Nagumo: mudanças entre as edições
(38 revisões intermediárias pelo mesmo usuário não estão sendo mostradas) | |||
Linha 2: | Linha 2: | ||
O objetivo deste trabalho é implementar e estudar a dinâmica do modelo FitzHungh-Nagumo, e das equações que o compõem, para potenciais | O objetivo deste trabalho é implementar e estudar a dinâmica do modelo FitzHungh-Nagumo, e das equações que o compõem, para potenciais | ||
de ação em células e tecidos excitáveis. | de ação em células e tecidos excitáveis. Os métodos computacionais utilizado para resolver os problemas e implementar o modelo foi o | ||
FTCS (Forward Time Centered Space) e o método de Crank-Nicolson. | FTCS (Forward Time Centered Space) e o método de Crank-Nicolson. | ||
Linha 33: | Linha 33: | ||
*Caso o estímulo não atinja o limiar, ele deve desaparecer rapidamente. | *Caso o estímulo não atinja o limiar, ele deve desaparecer rapidamente. | ||
Podemos | Podemos então definir <math>\upsilon</math> como a variável normalizada que fará o papel do potencial elétrico no axônio, sendo que <math>\upsilon = 0</math> é definido como o potencial de repouso, <math>\upsilon = 1</math> é o estímulo máximo e <math>\upsilon = \alpha</math> é o limiar de voltagem <math>(0<\alpha<1)</math>. Desta forma podemos escrever as condições acima como | ||
<math> | <math> | ||
Linha 41: | Linha 41: | ||
\end{cases} | \end{cases} | ||
</math> | </math> | ||
Pode-se dizer que estas condições impõem que <math>v=0</math> e <math>v=1</math> sejam pontos de equilíbrio estável, enquanto <math>v=\alpha</math> seja um ponto de equilíbrio instável. | |||
Assim, a variação temporal do potencial elétrico na célula pode ser dada por | Assim, a variação temporal do potencial elétrico na célula pode ser dada por | ||
<center><math> \frac{\partial \upsilon}{\partial t} = f(\upsilon)</math></center> | <center><math> \frac{\partial \upsilon}{\partial t} = f(\upsilon)\qquad (1)</math></center> | ||
Onde <math>f(\upsilon)</math> é alguma função que faz <math>v</math> satisfazer as condições do potencial. | |||
No modelo de Nagumo, utiliza-se o polinômio de terceiro grau <math>f_N(\upsilon)= -v(v-\alpha)(v-1)</math>. | |||
Substituindo <math>f_N(v)</math> em <math>(1)</math>, é fácil notar que <math>v=0</math>, <math>v = \alpha</math> e <math>v=1</math> são pontos de equilíbrio de <math>v</math>. Por outro lado, como podemos ver na Figura 3, se <math>0<v<\alpha</math>, temos que <math> \frac{\partial \upsilon}{\partial t} < 0,</math> logo o valor de <math>v</math> diminui até atingir o ponto de equilíbrio em <math>v=0</math>. Se <math>\alpha<v<1,</math> <math> \frac{\partial \upsilon}{\partial t} > 0,</math> fazendo o potencial <math>v</math> crescer até atingir o valor máximo em <math>v=1</math>. Desta forma, temos que <math>v=1</math> e <math>v=0</math> são pontos de equilíbrio estável, enquanto que <math>v=\alpha</math> é um ponto de equilíbrio instável, assim como se esperava pelas condições do potencial. | |||
[[Arquivo:graph.png|400px|thumb|center|'''Figura 3''' — Curva de <math>f_N(v) \times v</math> com <math>\alpha=0.4</math>]] | |||
Em outras palavras, vemos o caráter "tudo ou nada" do potencial quando utilizamos o polinômio <math>f_N(v)</math>. Se o valor do estímulo inicial se encontrar entre <math>0</math> e <math>\alpha</math>, o estímulo desaparece, porém se o estímulo inicial estiver entre <math>\alpha</math> e <math>1</math>, o estímulo é amplificado até o valor máximo. Entretanto, neste modelo inicial o PA não é propagado por todo axônio, ele atua apenas localmente, onde ocorreu o estímulo. Além disso, uma vez estimulado o neurônio nunca volta para o seu estado de repouso, permanecendo no valor máximo de potencial. | |||
===Equação de Nagumo difusiva=== | |||
Para resolver o problema do modelo | |||
===FitzHung-Nagumo=== | |||
==Método de Crank-Nicolson== | ==Método de Crank-Nicolson== | ||
Linha 63: | Linha 76: | ||
O sistema de EDP's em 2 dimensões, assumindo uma difusão isotrópica, é dado por | O sistema de EDP's em 2 dimensões, assumindo uma difusão isotrópica, é dado por | ||
<math>\frac{\partial v}{\partial t} = D\left(\frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2}\right) + f_N(v) - w </math> | <math>\frac{\partial v}{\partial t} = D\left(\frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2}\right) + f_N(v) - w </math> | ||
Linha 68: | Linha 82: | ||
<math>\frac{\partial w}{\partial t} = \epsilon\left(v - \gamma w\right) </math> | <math>\frac{\partial w}{\partial t} = \epsilon\left(v - \gamma w\right) </math> | ||
Como a equação de recuperação já foi discretizada, e não depende da dimensão do problema, precisamos apenas aplicar o FTCS na equação difusiva de naumo em 2D, assumindo <math>\Delta x = \Delta y</math> | |||
Como a equação de recuperação já foi discretizada, e não depende da dimensão do problema, precisamos apenas aplicar o FTCS na equação difusiva de naumo em 2D, assumindo <math>\Delta x = \Delta y</math>, temos | |||
<math>\frac{v_{i,j}^{n+1} - v_{i,j}^{n}}{\Delta t} = \frac{D}{(\Delta x)^2} \left[ (v_{i-1,j}^{n} - 2 v_{i,j}^{n} + v_{i+1,j}^{n}) + (v_{i,j-1}^{n} - 2 v_{i,j}^{n} + v_{i,j+1}^{n})\right] + f_{N i,j}^{n} - w_{i,j}^{n}</math> | <math>\frac{v_{i,j}^{n+1} - v_{i,j}^{n}}{\Delta t} = \frac{D}{(\Delta x)^2} \left[ (v_{i-1,j}^{n} - 2 v_{i,j}^{n} + v_{i+1,j}^{n}) + (v_{i,j-1}^{n} - 2 v_{i,j}^{n} + v_{i,j+1}^{n})\right] + f_{N i,j}^{n} - w_{i,j}^{n}</math> | ||
<math>v_{l,j}^{n+1} = v_{l,j}^{n} + \frac{D \Delta t}{(\Delta x)^2} \left[ (v_{l-1,j}^{n} - 2 v_{l,j}^{n} + v_{l+1,j}^{n}) + (v_{l,j-1}^{n} - 2 v_{l,j}^{n} + v_{l,j+1}^{n})\right] + \Delta t f_{N l,j}^{n} - \Delta t w_{l,j}^{n}</math> | |||
<math>v_{l,j}^{n+1} = v_{l,j}^{n} + \frac{D \Delta t}{(\Delta x)^2} \left[ v_{l-1,j}^{n} + v_{l+1,j}^{n} + v_{l,j-1}^{n} + v_{l,j+1}^{n} - 4 v_{l,j}^{n}\right] + \Delta t f_{N l,j}^{n} - \Delta t w_{l,j}^{n}</math> | |||
onde os índices <math>i</math> e <math>j</math> se referem às coordenadas <math>x</math> e <math>y</math> respectivamente; e o índice <math>n</math> referente ao tempo. | |||
Vamos verificar as condições de estabilidade do problema por modos de Fourier: | |||
*substituindo <math>v_{l,j}^{n} = A^{n}e^{i(xq_x +yq_y)} = A^{n}e^{i\beta}</math> | |||
*usando <math>k = \frac{D \Delta t}{(\Delta x)^2}</math> | |||
*por simplicidade, como fizemos na seção 3.1, vamos linearizar <math>f_{N l,j}^{n} \rightarrow -\alpha v_{l,j}^{n} =-\alpha A^{n}e^{i\beta}</math> | |||
*por fim, desconsiderar <math>\Delta t w_{l,j}^{n}</math> | |||
<math>A^{n+1}e^{i\beta} = A^{n}e^{i\beta} + kA^{n} \left[ e^{i((x-\Delta x)q_x +yq_y)} + e^{i((x+\Delta x)q_x +yq_y)} + e^{i(xq_x +(y-\Delta y)q_y)} + e^{i(xq_x +(y+\Delta y)q_y)} - 4 e^{i\beta}\right] -\Delta t \alpha A^{n}e^{i\beta}</math> | |||
<math>A^{n+1}e^{i\beta} = A^{n}e^{i\beta} + kA^{n}e^{i\beta} \left[ e^{-i\Delta xq_x} + e^{i\Delta xq_x} + e^{-i\Delta yq_y} + e^{i\Delta yq_y} - 4\right] -\Delta t \alpha A^{n}e^{i\beta}</math> | |||
Dividindo os dois lados da equação por <math>A^{n}e^{i\beta}</math> temos | |||
<math>\frac{A^{n+1}}{A^{n}} = 1 + k\left[ e^{-i\Delta xq_x} + e^{i\Delta xq_x} + e^{-i\Delta yq_y} + e^{i\Delta yq_y} - 4\right] -\Delta t \alpha</math> | |||
Sabendo as seguintes identidades trigonométricas: | |||
*<math>e^{-i\theta} + e^{i\theta} = 2\cos(\theta)</math> | |||
*<math>\cos(2\theta) = 1 - 2\sin^2(\theta)</math> | |||
Aplicando consecutivamente a equação | |||
<math>\frac{A^{n+1}}{A^{n}} = 1 + 2k\left[ \cos(\Delta xq_x) + \cos(\Delta yq_y) - 2\right] -\Delta t \alpha</math> | |||
<math>\frac{A^{n+1}}{A^{n}} = 1 + 2k\left[ (1 - 2\sin^2(\Delta xq_x/2)) + (1 - 2\sin^2(\Delta yq_y/2)) - 2\right] -\Delta t \alpha</math> | |||
<math>\frac{A^{n+1}}{A^{n}} = 1 + 4k\left[ \sin^2(\Delta xq_x/2) + \sin^2(\Delta yq_y/2)\right] -\Delta t \alpha</math> | |||
Sabemos que a condição de estabilidade por modos de Fourier é obtida quando <math>\left|\frac{A^{n+1}}{A^{n}}\right| < 1</math>, portanto | |||
<math>\left|1 -\Delta t \alpha + 4k\left[ \sin^2(\Delta xq_x/2) + \sin^2(\Delta yq_y/2)\right]\right| < 1</math> | |||
Como <math>0<\Delta t<1</math> e <math>0< \alpha <1</math>, no pior dos casos os termos de senos ao quadrado são 1, e a condição de estabilidade fica | |||
<math>\frac{\alpha \Delta t}{8} < k < \frac{2 + \alpha \Delta t}{8}</math> | |||
==Resultados== | ==Resultados== | ||
Linha 82: | Linha 152: | ||
==Discussão== | ==Discussão== | ||
(Contextualizar resultados --> Bernardo) | (Contextualizar resultados --> Bernardo) | ||
Os resultados obtidos pela implementação da equação difusiva de Nagumo são análogos ao comportamento "tudo ou nada" de resposta em uma célula excitável, já que um estimulo acima do limiar levar ao aumento do potencial até um valor fixo. Embora esse valor não atinja o pico de ultrapassagem para todo estimulo inicial que esteja entre o limiar e a despolarização máxima da célula, essa peculiaridade é prevista pelo modelo[2]. | |||
Mas outra questão importante de se observar é a forma como diferentes larguras de estimulo inicial interferem na difusão do potencial elétrico na membrana. Um fenômeno que é verificável é que pulsos maiores difundem mais rápido sobre o axônio, já que os efeitos de inversão de campo elétrico na região do estímulo podem ser percebidos nas proximidades mesmo antes do estímulo chegar ali[1]. | |||
Quanto a implementação do Sistema FitzHung-Nagumo com potencial difusivo sobre a membrana, vemos que o potencial(nos gráficos de v por t) de ação é gerado com um perfil bem semelhante a um PA convencional de axônio. Para manter o sentido fisiológico escolhemos fazer as simulações para um <math>\alpha > 0</math> [1],que como mencionado na secção 2.3 não consegue reagir a estímulos contínuos, nem após o período refratário, ainda é muito confiável para simular estímulos únicos. | |||
A maioria dos estudos no modelo FitzHung-Nagumo utiliza as soluções oscilatórias decorrentes <math>\alpha < 0</math>, mas embora essa abordagem leve a uma gama maior de resultados para estímulo contínuo[2,4] o sentido fisiológico é prejudicado, principalmente pelo fato de não possuir um limiar[2]. | |||
==Programas== | ==Programas== |
Edição atual tal como às 10h45min de 3 de abril de 2021
Grupo: Bernardo Boatini, Murilo Kessler Azambuja e Natália Ferrazzo
O objetivo deste trabalho é implementar e estudar a dinâmica do modelo FitzHungh-Nagumo, e das equações que o compõem, para potenciais de ação em células e tecidos excitáveis. Os métodos computacionais utilizado para resolver os problemas e implementar o modelo foi o FTCS (Forward Time Centered Space) e o método de Crank-Nicolson.
Potencial de Ação em Neurônios
A células vivas são sistemas eletricamente sensíveis, ou seja, podem reagir a estímulos elétricos. Isso se dá devido ao fato de que substâncias carregadas estão naturalmente vinculadas a seus processos internos de interação com o ambiente, principalmente por intermédio de canais iônicos e proteínas transmebrana como, por exemplo, a Bomba de Sódio e Potássio(Bomba Na⁺/K⁺ ATPase)[1].
Naturalmente todas as células vivas possuem um potencial de repouso(PR) elétrico, ou seja, uma diferença de potencial elétrico, em relação ao meio(cerca de 0,1); mantida por um equilíbrio químico de concentração de íons dentro e fora da membrana plasmática.
Existem células que reagem estímulos elétricos apenas reestabelecendo o PR original por transporte passivo(sem gasto de energia) através da membrana, e estas são ditas células não-excitáveis.
Por outro lado, existem células que sob a ação do mesmo estímulo produzem um tipo de resposta bem característica: potencial de ação(PA); um pulso elétrico intenso(capaz de inverter a polarização do Potencial de Membrana) que se propaga ao longo da membrana da célula, sustentado por uma cadeia de transportes ativos(com gasto de energia) e que não decai ao longo do tempo e espaço; a esse tipo de células damos o nome de excitáveis[1].
Os Neurônios são as células excitáveis do tecido nervoso(que constituem o encéfalo e medula espinhal, gânglios e nervos do reino animal) e com já vimos são capazes de gerar PA. Um potencial de ação pode assumir diversos formatos, mas ao longo do axônio(Figura 1) de um neurônio eles tendem a uma curva como a da Figura 2.
Olhando para Figura 2 vemos alguns aspectos importantes:
- O potencial de ação necessita de um estímulo mínimo(limiar) para ser ativado, abaixo desse valor o estímulo decai como em uma célula não excitável;
- Acima desse limiar a célula segue o principio de "Tudo ou Nada", ou seja, assume o valor máximo possivel dentro de sua capacidade, independente do estímulo aplicado;
- A etapa de despolarização(crescimento) é brusca e varia mais rapidamente que a repolarização(decaimento);
- O período que contém a repolarização e hiperpolarização da membrana é chamado período refratário, e se caracteriza por não permitir que ocorra nenhum disparo até que a membrana atinja o potencial de repouso.
Modelo
Equação de Nagumo
Para iniciar a modelagem do sistema, devemos antes enfatizar três condições básicas que o potencial deve obedecer para que seja um PA:
- Deve existir um limiar de voltagem para que um estímulo desencadeie o PA;
- Uma vez atingido o limiar, a voltagem deve aumentar até o máximo possível;
- Caso o estímulo não atinja o limiar, ele deve desaparecer rapidamente.
Podemos então definir como a variável normalizada que fará o papel do potencial elétrico no axônio, sendo que é definido como o potencial de repouso, é o estímulo máximo e é o limiar de voltagem . Desta forma podemos escrever as condições acima como
Pode-se dizer que estas condições impõem que e sejam pontos de equilíbrio estável, enquanto seja um ponto de equilíbrio instável.
Assim, a variação temporal do potencial elétrico na célula pode ser dada por
Onde é alguma função que faz satisfazer as condições do potencial.
No modelo de Nagumo, utiliza-se o polinômio de terceiro grau .
Substituindo em , é fácil notar que , e são pontos de equilíbrio de . Por outro lado, como podemos ver na Figura 3, se , temos que logo o valor de diminui até atingir o ponto de equilíbrio em . Se fazendo o potencial crescer até atingir o valor máximo em . Desta forma, temos que e são pontos de equilíbrio estável, enquanto que é um ponto de equilíbrio instável, assim como se esperava pelas condições do potencial.
Em outras palavras, vemos o caráter "tudo ou nada" do potencial quando utilizamos o polinômio . Se o valor do estímulo inicial se encontrar entre e , o estímulo desaparece, porém se o estímulo inicial estiver entre e , o estímulo é amplificado até o valor máximo. Entretanto, neste modelo inicial o PA não é propagado por todo axônio, ele atua apenas localmente, onde ocorreu o estímulo. Além disso, uma vez estimulado o neurônio nunca volta para o seu estado de repouso, permanecendo no valor máximo de potencial.
Equação de Nagumo difusiva
Para resolver o problema do modelo
FitzHung-Nagumo
Método de Crank-Nicolson
(explicar o método --> Natália)
Equação de Nagumo Difusiva 1D
(aplicar o método na equação e testar estabilidade --> Natália)
Método FTCS
(explicar o método --> Murilo)
Equação de Recuperação 1D
(aplicar o método na equação e testar estabilidade --> Murilo))
Modelo FitzHung-Nagumo 2D
(aplicar o método na equação e testar estabilidade --> Bernardo)
O sistema de EDP's em 2 dimensões, assumindo uma difusão isotrópica, é dado por
Como a equação de recuperação já foi discretizada, e não depende da dimensão do problema, precisamos apenas aplicar o FTCS na equação difusiva de naumo em 2D, assumindo , temos
onde os índices e se referem às coordenadas e respectivamente; e o índice referente ao tempo.
Vamos verificar as condições de estabilidade do problema por modos de Fourier:
- substituindo
- usando
- por simplicidade, como fizemos na seção 3.1, vamos linearizar
- por fim, desconsiderar
Dividindo os dois lados da equação por temos
Sabendo as seguintes identidades trigonométricas:
Aplicando consecutivamente a equação
Sabemos que a condição de estabilidade por modos de Fourier é obtida quando , portanto
Como e , no pior dos casos os termos de senos ao quadrado são 1, e a condição de estabilidade fica
Resultados
Equação de Nagumo Difusiva 1D
(explicar os testes e os gráficos/animações --> Natália)
Modelo FitzHung-Nagumo 1D
(explicar os testes e os gráficos/animações --> Murilo)
Modelo FitzHung-Nagumo 2D
(explicar os testes e os gráficos/animações --> Bernardo)
Discussão
(Contextualizar resultados --> Bernardo)
Os resultados obtidos pela implementação da equação difusiva de Nagumo são análogos ao comportamento "tudo ou nada" de resposta em uma célula excitável, já que um estimulo acima do limiar levar ao aumento do potencial até um valor fixo. Embora esse valor não atinja o pico de ultrapassagem para todo estimulo inicial que esteja entre o limiar e a despolarização máxima da célula, essa peculiaridade é prevista pelo modelo[2].
Mas outra questão importante de se observar é a forma como diferentes larguras de estimulo inicial interferem na difusão do potencial elétrico na membrana. Um fenômeno que é verificável é que pulsos maiores difundem mais rápido sobre o axônio, já que os efeitos de inversão de campo elétrico na região do estímulo podem ser percebidos nas proximidades mesmo antes do estímulo chegar ali[1].
Quanto a implementação do Sistema FitzHung-Nagumo com potencial difusivo sobre a membrana, vemos que o potencial(nos gráficos de v por t) de ação é gerado com um perfil bem semelhante a um PA convencional de axônio. Para manter o sentido fisiológico escolhemos fazer as simulações para um [1],que como mencionado na secção 2.3 não consegue reagir a estímulos contínuos, nem após o período refratário, ainda é muito confiável para simular estímulos únicos.
A maioria dos estudos no modelo FitzHung-Nagumo utiliza as soluções oscilatórias decorrentes , mas embora essa abordagem leve a uma gama maior de resultados para estímulo contínuo[2,4] o sentido fisiológico é prejudicado, principalmente pelo fato de não possuir um limiar[2].
Programas
Referências
- 1. Jorge A. Quillfeldt,"ORIGEM DOS POTENCIAIS ELÉTRICOS DAS CÉLULAS NERVOSAS"
- 2. Eugene M. Izhikevich and Richard FitzHugh, "FitzHugh-Nagumo model"
- 3. Gabriel Perry Natanni Garcia, "NUMERICAL SIMULATION OF THE NAGUMO EQUATION BY FINITE DIFFERENCEMETHOD"
- 4. Binbin Xu, Stéphane Binczak, Sabir Jacquir, Oriol Pont, Hussein Yahia "Parameters Analysis of FitzHugh-Nagumo Model for a Reliable Simulation"