Modelo de Gray-Scott: mudanças entre as edições

De Física Computacional
Ir para navegação Ir para pesquisar
Sem resumo de edição
 
(160 revisões intermediárias por 2 usuários não estão sendo mostradas)
Linha 1: Linha 1:
==Análise de estabilidade==
'''Grupo:''' Paula Pandolfo, Ramiro de Souza e Wallace Carvalho


O modelo de Gray-Scott depende dos parâmetros <math>F, k</math> e dos coeficientes de difusão <math>D_{u}, D_{v}</math>. É fácil mostrar que, ignorando os termos de difusão, o sistema possui estado de equilíbrio em <math>(u^{*}, v^{*}) = (1, 0)</math>.
'''Objetivo:''' Este trabalho tem como objetivo principal implementar numericamente o modelo de Gray-Scott bidimensional, um tipo particular de sistema de reação-difusão, a fim de ilustrar, entre outras características, a emergência da complexidade através de equações de relativa simplicidade matemática. Para isso, primeiramente, será introduzida a formalidade do modelo: suas equações diferenciais e seus estados estacionários. Analisar-se-ão, também, as condições em que tais estados são estáveis ou não, e se aqueles que forem estáveis assim permanecem após a introdução de processos difusivos. Os resultados da implementação serão comparados com aqueles obtidos por uma das referências principais, ''Introduction to the Modeling and Analysis of Complex Systems'', por Hiroki Sayama. A comparação mostrará uma boa concordância qualitativa, apesar de ficarem também perceptíveis discrepâncias com as simulações feitas por Sayama, indicando, possivelmente, uma alta sensibilidade dos resultados com a resolução e/ou condições iniciais utilizadas.


'''Afirmação''': O modelo de Gray-Scott possui estado de equilíbrio homogêneo em <math>(u^{*}, v^{*}) = (1, 0)</math>.
== Introdução ==


'''Demonstração''': Resolvendo o sistema de equações do modelo com <math>\frac{\partial u}{\partial t} = 0</math> e <math>\frac{\partial v}{\partial t} = 0</math> e fazendo <math>D_{u} = D_{v} = 0</math>, temos
''Sistemas de reação-difusão'' são modelos matemáticos de grande importância, que podem ser aplicados a múltiplas situações. Sua principal aplicação, como o nome sugere, é na descrição da cinética química; mais especificamente, em como evoluem no tempo as concentrações de múltiplas substâncias em cada ponto do espaço, dado um determinado conjunto de reações associadas a essas espécies químicas que, ademais, também podem se difundir no meio. As equações diferenciais que descrevem tal sistema são um conjunto de equações em que a variação temporal das concentrações <math>f_{i}</math> depende de termos '''de reação''' (funções <math>R_{i}</math> associadas às reações químicas e à reposição ou não das espécies envolvidas) e '''de difusão''' (termos proporcionais ao laplaciano <math>\nabla^2 f_{i}</math>):<ref name=Sayama259>Sayama, p. 259</ref>


:<math>\begin{align}
\frac{\partial{f_{1}}}{\partial{t}} & = &R_{1}(f_{1},f_{2},...,f_{n}) + D_{1}\nabla^2 f_{1}\\
\frac{\partial{f_{2}}}{\partial{t}} & = &R_{2}(f_{1},f_{2},...,f_{n}) + D_{2}\nabla^2 f_{2}\\
&...&\\
\frac{\partial{f_{n}}}{\partial{t}} & = &R_{n}(f_{1},f_{2},...,f_{n}) + D_{n}\nabla^2 f_{n}\\
\end{align}</math>


<math>0 = -uv^2 + F(1-u)</math>
Sistemas descritos por equações como essas oferecem uma descrição matemática relativamente simples, com separação clara entre dinâmica não espacial e espacial, sendo a última ainda mais facilitada por ser descrita apenas por um termo laplaciano, que simplifica incorporar difusão a um problema que, inicialmente, possui apenas termos de reação. Além disso, a forma das equações atalha a análise de estabilidade, obtida através da matriz Jacobiana dos termos de reação.<ref name=Sayama259/>


<math>0 = uv^2 - (F+k)v</math>
Dentre as mais diversas possibilidades de reações químicas e reagentes envolvidos, vamos estudar um caso simples: o modelo de Gray-Scott. Este modelo foi primeiramente introduzido por Peter Gray e Steve Scott entre os anos de 1983 e 1985,<ref name=GS1>P. Gray and S. Scott, “Autocatalytic reactions in the isothermal, continuous stirred tank reactor: isolas and other forms of multistability,” Chemical Engineering Science, vol. 38, no. 1, pp. 29–43, 1983.</ref><ref name=GS2>P. Gray and S. Scott, “Autocatalytic reactions in the isothermal, continuous stirred tank reactor: Oscillations and instabilities in the system A+2B → 3B; B → C,” Chemical Engineering
Science, vol. 39, no. 6, pp. 1087–1097, 1984.</ref><ref name=GS3>P. Gray and S. Scott, “Sustained oscillations and other exotic patterns of behavior in isothermal reactions,” Journal of Physical Chemistry, vol. 89, no. 1, pp. 22–32, 1985.</ref> e foi popularizado por John Pearson nos anos 1990.<ref name=Pearson>J. E. Pearson, “Complex patterns in a simple system,” Science, vol. 261, no. 5118, pp. 189–192, 1993. [https://webspace.science.uu.nl/~frank011/Classes/complexity/Literature/Pearson.pdf PDF]</ref> Como Pearson sugere já no título de seu texto ("Padrões Complexos em um Sistema Simples", em português), tal dinâmica de reação-difusão produz, a partir de um modelo matematicamente simples, um conjunto variado de padrões complexos, não dessemelhantes àqueles encontrados na evolução de células biológicas,<ref name=Pearson/><ref name=Sayama266>Sayama, p. 266</ref> sendo, portanto, de profundo interesse enquanto exemplo de emergência de complexidade na natureza.


== Descrição do modelo ==


É então trivial que o sistema acima é satisfeito quando <math>(u^{*}, v^{*}) = (1, 0)</math>.
O modelo de Gray-Scott descreve uma reação '''autocatalítica'''. Sejam duas substâncias químicas cujas concentrações em um dado ponto do espaço são dadas pelas variáveis <math>u</math> e <math>v</math>, a reação pode ser representada como


Esse estado de equilíbrio é estável no modelo de Gray-Scott para quaisquer valores positivos de <math>F, k, D_{u}</math>, e <math>D_{v}</math>. É possível mostrar isso a partir da determinação dos autovalores da matriz
:<math>u + 2v \to 3v</math>


Isso significa que uma molécula da substância <math>u</math> é transformada em uma molécula da substância <math>v</math> por meio da ação de outras duas moléculas da substância <math>v</math>, ou seja, <math>v</math> é um catalisador de sua própria produção (daí o termo '''autocatálise''').<ref name=Sayama266/> Além dessa reação, ambas as substâncias difundem-se pelo meio (por isso este modelo pertence à classe mais geral de modelos '''reativos-difusivos''') e, dessa forma, as concentrações <math>u</math> e <math>v</math> mudam com o tempo e diferem em cada ponto. Por simplicidade, assume-se que a reação reversa (i.e., <math>3v \to u + 2v</math>) não ocorre.


<math>\left(J - D \omega^2\right)\Bigg|_{f = f_{eq}}</math>
O comportamento geral do sistema pode ser descrito pelas equações diferenciais parciais abaixo:<ref name=Sayama266/>


:<math>\begin{align}
\frac{\partial{u}}{\partial{t}} & = - uv^2 + F(1-u) + D_u\nabla^2u \\
\frac{\partial{v}}{\partial{t}} & =  uv^2 - (F+k)v + D_v\nabla^2v  \quad (1)\\
\end{align}</math>


Aqui, <math>J</math> é a matriz jacobiana dos termos de reação, <math>D</math> é a matriz diagonal dos termos de difusão e <math>\omega</math> é o parâmetro que determina a frequência espacial das perturbações. A demonstração da validade desse método pode ser encontrada na referência<ref name=Sayama260>H. Sayama, "Introduction to the Modeling and Analysis of Complex Systems", p. 287. Open SUNY Textbooks, Geneseo, NY, 2015.</ref>. Aplicando ao modelo de Gray-Scott em <math>(u^{*}, v^{*}) = (1, 0)</math>
A primeira das equações acima pode ser interpretada da seguinte forma: em um dado ponto, a variação na concentração <math>u</math> aumenta proporcionalmente ao laplaciano de <math>u</math> naquele ponto — ou seja, quando a concentração <math>u</math> na vizinhança desse ponto é alta —, e proporcionalmente à taxa <math>F</math> de reposição de <math>u</math> (taxa de alimentação, ou ''feed rate''); a concentração <math>u</math> diminui com o termo reativo <math>-uv^2</math>, que representa a reação <math>u + 2v \to 3v</math>.


Já na segunda equação, a concentração <math>v</math> aumenta com o termo reativo <math>uv^2</math> e também proporcionalmente ao laplaciano de <math>v</math> naquele ponto, mas diminui com a remoção de <math>v</math> a uma taxa <math>F+k</math>, mais rápida, portanto, do que a reposição de <math>u</math>.


<math>\left( \left(\begin{array}{cc}-F-v^2&-2uv\\v^2&-F-k+2uv\end{array} \right) - \left(\begin{array}{cc}D_u&0\\0&D_v\end{array} \right) \omega^2  \right) \Bigg|_{(u,v) = (1,0)} = \left(\begin{array}{cc}-F - D_u \omega^2&0\\0&-F -k - D_v \omega^2\end{array} \right)  </math>
Assim, tem-se que <math>F</math> e <math>k</math> são os parâmetros do modelo, juntamente com os coeficientes de difusão <math>D_{u}</math> e <math>D_{v}</math>.


Uma maneira de compreender esse sistema é imaginá-lo como consistindo de duas substâncias <math>u</math> e <math>v</math>, envoltas por uma membrana semipermeável e imersas em um meio em que essas mesmas duas substâncias estão presentes. A membrana permite a entrada da substância <math>u</math>, mas não da substância <math>v</math>, e permite a saída da substância <math>v</math>, mas não da substância <math>u</math>.<ref name=reaction-difusion>[https://mrob.com/pub/comp/xmorphia/#ready Reaction-Diffusion by the Gray-Scott Model: Pearson's Parametrization]</ref>


Para que o estado de equilíbrio <math>(u^{*}, v^{*}) = (1, 0)</math> seja estável é necessário que o determinante da matriz acima seja positivo e o seu traço seja negativo. Obtém-se então
== Análise de estabilidade linear ==
'''Nota''': A análise em toda esta seção pressupõe sempre que os parâmetros e coeficientes de difusão são positivos.


=== Soluções estacionárias sem difusão ===
O modelo de Gray-Scott depende dos parâmetros <math>F, k</math> e dos coeficientes de difusão <math>D_{u}, D_{v}</math> das espécies químicas. Ignorando em um primeiro momento os termos de difusão, percebe-se que, por inspeção, o sistema possui uma solução estacionária em <math>(u^{*}, v^{*}) = (1, 0)</math> para quaisquer valores dos parâmetros. Esse ponto, no entanto, não é a única solução estacionária do sistema; para encontrar as outras, é necessário impor <math>\partial u/\partial t = \partial v/\partial t = 0</math> nas equações do sistema. Fazendo isso e dispensando os termos de difusão (<math>D_{u} = D_{v} = 0</math>), obtém-se o seguinte sistema de equações:


<math>(F+D_{u}\omega^2)(F+k+D_{v}\omega^2) > 0</math>
:<math>\begin{align}
- & uv^2  + F(1-u) = 0\\
  & uv^2 - (F+k)v = 0 \quad (2)\\
\end{align}</math>


<math>-2F - (D_{u}+D_{v})\omega^2 - k < 0</math>
Somando essas duas equações, relacionamos as variáveis <math>u</math> e <math>v</math>:


:<math> F(1-u) - (F+k)v = 0 \Rightarrow u = 1 - \gamma v \quad (3) </math>


Ambas desigualdades são imediatamente satisfeitas para quaisquer valores positivos de <math>F, k, D_{u}</math>, e <math>D_{v}</math>. Portanto, o estado de equilíbrio <math>(u^{*}, v^{*}) = (1, 0)</math> é estável no modelo de Gray-Scott nessas condições.
onde definiu-se o parâmetro auxiliar <math>\gamma = \frac{F+k}{F}</math>.


Como o modelo claramente exibe padrões complexos para diversos valores positivos de <math>F, k, D_{u}</math>, e <math>D_{v}</math>, devem então existir outros estados de equilíbrio e pelo menos um deles deve ser instável para determinados valores dos parâmetros. De fato, há outros dois estados de equilíbrio.<ref name=Wang>Tingting Wang et al., "Fractional Gray–Scott model: Well-posedness, discretization, and simulations, Computer Methods in Applied Mechanics and Engineering", Volume 347, 2019, pp. 1030-1049, ISSN 0045-7825, https://doi.org/10.1016/j.cma.2019.01.002.</ref>
Substituindo <math>u</math> na segunda equação do sistema (2) (e reescrevendo <math>F+k =\gamma F</math>), ficamos com:


Os outros estados de equilíbrio do modelo de Gray-Scott, ditos não triviais, são <math>(u_{+},v_{-})</math> e <math>(u_{-},v_{+})</math>, com
:<math>\left(1 - \gamma v \right)v^2 -\gamma F v = 0 \Rightarrow -\gamma v^3 + v^2 - \gamma F v = 0 \quad (4)</math>


Evidentemente, <math>v = 0</math> é solução dessa equação, implicando em <math>u = 1</math>, como já havíamos inspecionado. Alternativamente, considerando <math>v \neq 0</math>, podemos dividir (4) por <math>v</math>, ficando com <math>-\gamma v^2 + v - \gamma F = 0</math>. Resolvendo esta equação quadrática, obtemos duas novas soluções estacionárias para <math>v</math>:


<math>u_{\pm} = \frac{1}{2}(1 \pm \sqrt{1 4\gamma^2F})</math>
:<math>v_{\pm} = \frac{1}{2\gamma}(1 \pm \sqrt{1 - 4\gamma^2 F})</math>


Disso, pela relação (3), temos que os valores correspondentes para <math>u</math> são:


:<math>u_{\mp} = \frac{1}{2}(1 \mp \sqrt{1 - 4\gamma^2 F})</math>
É necessário apontar que, para que as duas últimas soluções (não-triviais) existam — isto é, sejam números reais — o fator dentro da raiz quadrada tem de ser positivo ( <math>1 - 4\gamma^2 F \geq 0</math> ). Por consequência:
:<math>4\gamma^2 F \leq 1 \Rightarrow 4 \left(\frac{F+k}{F}\right)^2 F \leq 1 \Rightarrow F \geq 4(F+k)^2</math>, para que existam as soluções não-triviais.
Nesse caso, então, há três soluções estacionárias <math>(u^{*}_{i}, v^{*}_{i})</math> do sistema:<ref name=Gros113>Gros, p. 113</ref>
:<math>\begin{align}
& u^{*}_{0} = 1    & v^{*}_{0} & = 0 & \\
& u^{*}_{1} = \frac{1}{2}(1 + \sqrt{1 - 4\gamma^2 F})  & v^{*}_{1} & = \frac{1}{2\gamma}(1 - \sqrt{1 - 4\gamma^2 F}) &\quad (5)  \\
& u^{*}_{2} = \frac{1}{2}(1 - \sqrt{1 - 4\gamma^2 F})  & v^{*}_{2} & = \frac{1}{2\gamma}(1 + \sqrt{1 - 4\gamma^2 F}) & \\
\end{align}</math>
=== Estabilidade dos estados estacionários (sem difusão) ===
Para avaliar a estabilidade das soluções acima, faz-se necessário obter a matriz Jacobiana dos termos de reação, <math>R_{i}(u,v)</math>. Explicitamente, analisando o sistema (1) de equações, temos que <math>R_{1}(u,v) = -uv^2 + F(1-u)</math> e <math>R_{2}(u,v) = uv^2 - (F+k)v</math>. A matriz Jacobiana do sistema é então dada por:
:<math>J_{R}(u,v) = \begin{bmatrix}\partial_{u} R_{1}& \partial_{v} R_{1}\\ \partial_{u} R_{2}& \partial_{v} R_{2}\end{bmatrix} = \begin{bmatrix} -v^2 -F& -2uv\\ v^2 & 2uv - (F+k)\end{bmatrix} \quad (6)</math>
Analisemos a estabilidade para os três pares <math>(u^{*}_{i},v^{*}_{i})</math> de soluções estacionárias:
* Para <math>(u^{*}_{0},v^{*}_{0}) = (1, 0)</math>:
:<math>J_{R}(u^{*}_{0},v^{*}_{0}) = \begin{bmatrix}-F& 0\\ 0 & -(F+k)\end{bmatrix} \quad (7)</math>
:Por essa ser uma matriz diagonal, os autovalores <math>\lambda_{i}</math> são justamente as entradas das diagonais; ou seja, <math>\lambda_{1} = -F</math> e <math>\lambda_{2} = -(F+k)</math>. Uma vez que <math>F</math> e <math>k</math> são parâmetros positivos, os dois autovalores são reais e negativos, e portanto o ponto <math>(u^{*}_{0},v^{*}_{0})</math> é '''sempre estável'''.
* Para <math>(u^{*}_{1,2},v^{*}_{1,2}) = \left(\frac{1}{2}(1 \pm \sqrt{1 - 4\gamma^2 F}), \frac{1}{2\gamma}(1 \mp \sqrt{1 - 4\gamma^2 F})\right)</math>, podemos utilizar uma estratégia que simplifica as contas. Em particular, nota-se que os dois pontos obedecem à segunda equação do sistema (2) com <math>v \neq 0</math>. Desse modo, se dividirmos tal equação por <math>v</math>, percebemos que ambos os pontos obedecem a:
:<math>u^{*}_{i} v^{*}_{i} - (F+k) = 0 \quad (8)</math>
:Dessa equação, podemos calcular as entradas da segunda coluna da matriz jacobiana com facilidade:
:<math>-2u^{*}_{i} v^{*}_{i} = -2(F+k)</math>
:<math>2u^{*}_{i} v^{*}_{i} - (F+k) = (F+k)</math>
:Assim, a matriz jacobiana desses pontos fica:
:<math>J_{R}(u^{*}_{i},v^{*}_{i}) = \begin{bmatrix} -(v^{*}_{i})^2 - F & -2(F+k)\\ (v^{*}_{i})^2 & (F+k)\end{bmatrix}, \quad i = 1,2 \quad (9)</math>
:Sabemos que o produto dos autovalores dessa matriz é igual ao seu determinante. Calculando-o, obtém-se:
:<math>\Delta_{i} := \operatorname{det}\left(J_{R}(u^{*}_{i},v^{*}_{i})\right) = (F+k)\left[(v^{*}_{i})^2 -F \right] \quad (10)</math>
:Dividindo por <math>F(F+k)</math>:<ref name=Gros113/>
:<math>\frac{\Delta_{i}}{F(F+k)} = \frac{(v^{*}_{i})^2}{F} -1 = \left[\frac{1 \mp \sqrt{1-4(\gamma \sqrt{F})^2}}{2(\gamma \sqrt{F})} \right]^2 -1 = \left[\frac{1 \mp \sqrt{1-4a^2}}{2a} \right]^2 -1</math>
:onde se definiu <math>a = \gamma \sqrt{F}</math> ('''observação:''' este é o <math>\gamma</math> definido no Gros<ref name=Gros113/>). Nota-se que a condição de existência <math>a^2 \leq 1/4</math> para os dois pontos não-triviais é equivalente a <math>F \geq 4(F+k)^2</math>. Expandindo os termos, é possível mostrar que a expressão acima pode ser reescrita como:
:<math>\frac{\Delta_{i}}{F(F+k)} = \frac{\sqrt{1-4a^2}}{2a^2} \left(\sqrt{1-4a^2} \mp 1\right) \quad (11)</math>
[[Arquivo:bifurcacao_gray_scott.png|right|thumb|600px|'''Figura 1:''' Diagrama de fase do termo de reação do modelo de Gray-Scott. A linha azul mais externa corresponde a equação <math>F = 4 (F+k)^2</math>, que separa as regiões onde os estados estacionários não-triviais existem (esquerda da linha) e não existem (direita da linha). A linha vermelha, caracterizada por <math>(F+k)^2 = F \sqrt{k}</math> separa a região interna à linha azul em duas partes: uma maior, onde o ponto <math>(u^{*}_{2}, v^{*}_{2})</math> é estável, e outra menor, onde ele é instável. Por fim, a linha verde separa as regiões em que esse ponto é um nó (esquerda da linha) ou um foco (direita da linha), a depender do sinal de <math>(\operatorname{Tr}(J_{R}))^2 - 4 \operatorname{det}(J_{R})</math>. Ressalta-se que o encontro das linhas azul e vermelha ocorre em <math>(1/16, 1/16)</math>, sendo o ponto em que os estados <math>(u^{*}_{1}, v^{*}_{1})</math> e <math>(u^{*}_{2}, v^{*}_{2})</math> tornam-se o mesmo estado (quando <math>1-4a^2=0</math>).<ref name=Gros114/>]]
:* Para o caso <math>i = 1</math> (sinal negativo em (11)), temos a cota superior <math>1-4a^2 < 1</math>. Portanto, <math>\Delta_{1} < 0</math> para todo <math>a</math> que satisfaça a condição de existência. Como o determinante é negativo, sabemos que os autovalores são reais ('''comentário:''' como as entradas da matriz são reais, se os autovalores fossem complexos, seriam também conjugados, de modo que o produto deles fosse igual ao módulo ao quadrado de qualquer um, que seria um valor positivo). Ademais, como seu produto é negativo, eles têm sinais opostos; isto é, um deles é positivo, de modo que o ponto <math>(u^{*}_{1}, v^{*}_{1})</math> '''nunca seja estável'''. Assim, esse ponto sempre será um ''ponto de sela''.<ref name=Gros113/> Depreendemos desse raciocínio que o determinante da matriz jacobiana de entradas reais ser positivo é uma condição necessária para que haja estabilidade do ponto.
:* Já para <math>i = 2</math> (sinal positivo em (11)), temos sempre que <math>\Delta_{2} > 0</math>. Para verificar a estabilidade, temos que agora calcular o traço da matriz jacobiana, pois o traço é a soma dos autovalores: se os autovalores são reais, eles têm o mesmo sinal por seu determinante ser positivo, de modo que o traço compartilhe o sinal com os dois autovalores; se os autovalores <math>\lambda_{i}</math> são complexos, eles serão conjugados e o traço será <math>\operatorname{Tr}(J_{R}) = 2 \operatorname{Re}(\lambda_{i})</math>, de modo que a parte real dos autovalores tenha o mesmo sinal do traço. Assim, ''basta que o traço seja negativo para que o ponto seja estável, e que seja positivo para que seja instável''. No caso, temos que:
::<math>\operatorname{Tr}(J_{R}(u^{*}_{2},v^{*}_{2})) = k - (v^{*}_{2})^2</math>
::Esse traço é negativo quando <math>(v^{*}_{2})^2 > k</math> e positivo quando <math>(v^{*}_{2})^2 < k</math>; ou seja, <math>(u^{*}_{2}, v^{*}_{2})</math> '''é estável quando''' <math>v^{*}_{2} > \sqrt{k}</math> '''e instável quando''' <math>v^{*}_{2} < \sqrt{k}</math> (lembrando que <math>v^{*}_{2} > 0</math> para todo <math>F</math> e <math>k</math>). Desse modo, pode-se caracterizar uma transição de estabilidade quando <math>v^{*}_{2} = \sqrt{k}</math>.
::Utilizando simultaneamente as equações (3) e (8), obtemos:<ref name=Gros113/>
::<math>\frac{F+k}{v^{*}_{2}} = u^{*}_{2} = 1 - \gamma v^{*}_{2} = 1 - \frac{F+k}{F} v^{*}_{2} \Rightarrow (F+k)\frac{F+ (v^{*}_{2})^2}{F} = v^{*}_{2}</math>
::Substituindo <math>v^{*}_{2} = \sqrt{k}</math>, obteremos ao final:<ref name=Gros113/>
::<math>(F+k)^2 = F \sqrt{k} \quad (12)</math>
::Que é uma relação entre <math>F</math> e <math>k</math> que caracteriza a fronteira de estabilidade para o ponto <math>(u^{*}_{2},v^{*}_{2})</math>.
::Como um fato adicional, podemos separar quando <math>(u^{*}_{2},v^{*}_{2})</math> é um nó estável (''stable node'') de quando ele é um foco estável (''stable focus''). Um nó estável ocorre quando os autovalores da matriz jacobiana forem reais, enquanto o foco ocorrem quando forem complexo-conjugados. Sabendo que os autovalores podem ser escritos como<ref name=Sayama123>Sayama, p. 123</ref>
::<math>\lambda_{\pm} = \frac{\operatorname{Tr}(J_{R}) \pm \sqrt{(\operatorname{Tr}(J_{R}))^2 -4 \operatorname{det}(J_{R})}}{2}</math>
::Vemos que a fronteira entre nó e foco para o ponto é caracterizada por <math>(\operatorname{Tr}(J_{R}))^2 = 4 \operatorname{det}(J_{R})</math>. O resultado de todas essas fronteiras é o diagrama de fases da '''Figura 1''', baseado no gráfico feito por Gros.<ref name=Gros114>Gros, p. 114</ref>
=== Estabilidade dos estados estacionários (com difusão) ===
Precisamos agora analisar a estabilidade dos pontos estacionários na presença de difusão, como prescreve o sistema de equações (1), que descreve o modelo. Para isso, é necessário levar em consideração, para cada um dos estados de equilíbrio, os autovalores da matriz <math>\left(J_{R} - D \omega^2\right)\Bigg|_{(u^{*}_{i}, v^{*}_{i})}</math>, em que <math>D</math> é a matriz diagonal cujas entradas são <math>D_{u}</math> e <math>D_{v}</math>:<ref name=Sayama287-289>Sayama, pp. 287-289</ref>
:<math>D = \begin{bmatrix} D_{u} & 0 \\ 0 & D_{v} \end{bmatrix}</math>
Se escrevermos, genericamente, que <math>J_{R}(u^{*}_{i}, v^{*}_{i}) = \begin{bmatrix} a & b \\ c & d \end{bmatrix}</math>, teremos a seguinte matriz jacobiana de reação-difusão:
:<math>\left(J_{R} - D \omega^2\right)\Bigg|_{(u^{*}_{i}, v^{*}_{i})} = \begin{bmatrix} a - D_{u}\omega^2 & b \\ c & d - D_{v}\omega^2 \end{bmatrix}</math>
Como já detalhado acima, para que o ponto seja estável, tal matriz tem que ter a parte real de todos os seus autovalores negativa, de modo que seu determinante seja positivo (<math>\operatorname{det}\left(J_{R} - D \omega^2\right) > 0</math>) e seu traço negativo (<math>\operatorname{Tr}\left(J_{R} - D \omega^2\right) < 0</math>).<ref name=Sayama124>Sayama, p. 124</ref> Impondo tais condições à matriz acima, obteremos, após manipulações:<ref name=Sayama287-289/>
:<math>\begin{align}
a D_{v}\omega^2 + d D_{u}\omega^2 - D_{u} D_{v}\omega^4 & < \operatorname{det}(J_{R}) & \quad (13)\\
D_{u}\omega^2 + D_{v}\omega^2 & > \operatorname{Tr}(J_{R}) & \quad(14)\\
\end{align}</math> 
Se o traço é negativo, vemos que a segunda equação é imediatamente satisfeita, pois o lado esquerdo é positivo em qualquer situação.<ref name=Sayama287-289/> Para este trabalho, interessa-nos apenas verificar se o estado estacionário <math>(u^{*}_{0},v^{*}_{0})</math> permanece estável após a introdução da difusão. Dispensaremos a análise do ponto <math>(u^{*}_{2},v^{*}_{2})</math>, pois nossas simulações não o incluirão como ponto estável, nem mesmo desconsiderando difusão.
Para o ponto <math>(u^{*}_{0},v^{*}_{0})</math>, utilizamos a matriz (7), obtendo as seguintes desigualdades:
:<math>\begin{align}
-FD_{v}\omega^2 -(F+k) D_{u}\omega^2 - D_{u} D_{v}\omega^4 & < F(F+k)\\
D_{u}\omega^2 + D_{v}\omega^2 & > -2F-k \\
\end{align}</math>
Que são, evidentemente, satisfeitas, por análise simples de sinais de cada lado. Portanto, conclui-se que o ponto <math>(u^{*}_{0},v^{*}_{0})</math> '''é sempre estável, inclusive na presença de difusão.'''
Esse é um resultado, à primeira vista, surpreendente. Em geral, o surgimento de padrões complexos e não homogêneos em sistemas reativos-difusivos está relacionado à desestabilização de um ou mais estados de equilíbrio homogêneo causada pela introdução dos coeficientes de difusão (conhecida como instabilidade de Turing).<ref name=biology>[http://mcb111.org/w13/w13-lecture.html#the-gray-scott-model Week 13, MCB111: Mathematics in Biology (Fall 2021)]</ref> Entretanto, no caso do modelo de Gray-Scott, '''o surgimento de padrões complexos e não homogêneos não decorre da instabilidade de Turing,''' uma vez que o surgimento de padrões não-triviais neste modelo ocorre mesmo quando apenas o estado de equilíbrio trivial <math>(u^{*}_{0}, v^{*}_{0}) = (1, 0)</math> existir,<ref name=Gros115>Gros, p. 115</ref> como veremos nas simulações da seção de resultados.
== Implementação numérica ==
O método usado para integrar as equações diferenciais parciais do modelo foi o FTCS (Foward Time Central Space). Como existem explicações do método em toda literatura e em outras entradas da Wiki (ver, por exemplo, [[Modelo de Turing]]), a explicação aqui será sucinta.
O método consiste em discretizar a derivada parcial em relação ao tempo para frente e discretizar as derivadas parciais de segunda ordem em relação ao espaço centralmente (isto é, levando em consideração os pontos adjacentes ao ponto em que ela é calculada). Para uma função <math>f(x,y,t)</math>: 
:<math>\frac{\partial f}{\partial t} \approx \frac{f(x, y, t + \Delta t) - f(x, y, t)}{\Delta t}</math>
:<math>\frac{\partial^2 f}{\partial x^2} \approx \frac{f(x + \Delta x, y, t) - 2f(x, y, t) + f(x - \Delta x, y, t)}{\Delta x^2}</math>
:<math>\frac{\partial^2 f}{\partial y^2} \approx \frac{f(x, y + \Delta y,t) - 2f(x,y,t) + f(x, y - \Delta y,t)}{\Delta y^2}</math>
Das duas últimas equações acima, é fácil mostrar que o laplaciano em duas dimensões, presente nas equações do sistema (1) deste trabalho, pode ser escrito como
:<math> \nabla^2 f(x,y,t) \approx \frac{f(x + \Delta x, y, t) - 2f(x, y, t) + f(x - \Delta x, y, t)}{\Delta x^2} + \frac{f(x, y + \Delta y, t) - 2f(x, y, t) + f(x, y - \Delta y, t)}{\Delta y^2}</math>
Utilizando passos de mesmo tamanho nas direções <math>x</math> e <math>y</math>, ou seja, fazendo <math>\Delta x = \Delta y = \Delta h</math>, pode-se simplificar a discretização do laplaciano para
:<math> \nabla^2 f(x,y,t) \approx \frac{1}{\Delta h^2} \left[f(x + \Delta h, y, t) + f(x - \Delta h, y, t) + f(x, y + \Delta h,t) + f(x, y - \Delta h,t) - 4f(x, y, t) \right]</math>
Usando a notação <math>f(x_{i}, y_{j}, t_{n}) \equiv f^{n}_{i, j}</math> e definindo as separações de pontos como <math>t_{n+1} = t_{n} + \Delta t</math>, <math>x_{i+1} = x_{i} + \Delta h</math>, <math>y_{j+1} = y_{j} + \Delta h</math>, fica possível então escrever as equações do modelo de forma discretizada:
:<math>\begin{align}
u_{i,j}^{n+1} = u_{i,j}^{n} & + \left[ -u_{i,j}^{n}(v_{i,j}^{n})^{2} + F(1-u_{i,j}^{n}) + D_u\frac{u_{i+1,j}^{n} + u_{i-1,j}^{n} + u_{i,j+1}^{n} + u_{i,j-1}^{n} - 4u_{i,j}^{n}}{\Delta h^2}\right]\Delta t\\
v_{i,j}^{n+1} = v_{i,j}^{n} & + \left[ u_{i,j}^{n}(v_{i,j}^{n})^{2} - (F+k)v_{i,j}^{n} + D_v\frac{v_{i+1,j}^{n} + v_{i-1,j}^{n} + v_{i,j+1}^{n} + v_{i,j-1}^{n} - 4v_{i,j}^{n}}{\Delta h^2}\right]\Delta t\\
\end{align}</math>
Utilizou-se uma rede quadrada de tamanho <math>69 \times 69</math>. O estado inicial do sistema é aquele em que todos os pontos estão no estado de equilíbrio estável trivial <math>(u, v) = (1, 0)</math>, exceto o ponto central, em que é introduzida uma perturbação com <math>(u, v) = (0, 1)</math>.
Foram usadas condições de fronteira totalmente periódicas. Cada elemento na matriz tem quatro vizinhos, denominados U (''Up''), D (''Down''), L (''Left''), R (''Right''). Na '''Figura 2''', o elemento <math>1</math>, possui os vizinhos <math>U=2</math>, <math>D=6</math>, <math>L=31</math>, <math>R=7</math>; o elemento <math>6</math> possui como vizinhos <math>U=1</math>, <math>D=5</math>, <math>L=36</math>, <math>R=12</math>; o elemento <math>31</math> tem vizinhos <math>U=32</math>, <math>D=36</math>, <math>L=25</math>, <math>R=1</math>; e, finalmente, os vizinhos de <math>36</math> são <math>U=31</math>, <math>D=35</math>, <math>L=30</math> e <math>R=6</math>.
<center>
<li style="display: inline-block;">[[Arquivo:Condicao_fronteira.png|600px|left|thumb|center|'''Figura 2 -''' Grid para exemplificar as condições de fronteira usadas na simulação.]]</li>
</center>
== Resultados e discussão ==
As simulações abaixo reproduzem algumas condições simuladas por Sayama.<ref name=Sayama268> Sayama, p. 268</ref>
<center>
{| class="wikitable" style="text-align: center;"
!colspan="2"|Simulações do Modelo de Gray-Scott para a concentração <math>u</math>, com <math>(D_u, D_v) = (2\times10^{-5}, 10^{-5})</math>.<br/> A concentração é '''maior''' nas áreas mais claras.
|-
|[[Arquivo:U_Gs_f_0.015_k_0.055.gif|thumb|upright=4|none|alt=Alt text| Concentração de <math>u</math> para <math>(k, F) = (0.055, 0.015)</math>, de t=0 até t=2000.|500px]]
|[[Arquivo:U_gs_f_0.020_k_0.050.gif|thumb|upright=4|none|alt=Alt text| Concentração de <math>u</math> para <math>(k, F) = (0.05, 0.02)</math>, de t=0 até t=2000.|500px]]
|-
|}
{| class="wikitable" style="text-align: center;"
!colspan="2"|Simulações do Modelo de Gray-Scott para a concentração <math>u</math>, com <math>(D_u, D_v) = (2\times10^{-5}, 10^{-5})</math>.<br/> Nos dois casos abaixo, a concentração é '''menor''' nas áreas mais claras.
|-
|[[Arquivo:U_Gs_f_0.030_k_0.055.gif|thumb|upright=4|none|alt=Alt text| Concentração de <math>u</math> para <math>(k, F) = (0.055, 0.030)</math>,<br/> de t=0 até t=2000.|500px]]
|[[Arquivo:U_gs_f_0.030_k_0.060.gif|thumb|upright=4|none|alt=Alt text| Concentração de <math>u</math> para <math>(k, F) = (0.060, 0.030)</math>,<br/> de t=0 até t=2000.|500px]]
|-
|}
</center>
Em geral, todas as simulações apresentaram boa concordância qualitativa com os padrões simulados por Sayama;<ref name=Sayama268/> entretanto, as imagens não são isomorficamente equivalentes. Seguem abaixo mais exemplos de simulações:
<center>
<li style="display: inline-block;">[[Arquivo:Geral.png|700px|left|thumb|center|'''Figura 3'''. Amostragem de simulações realizadas da concentração <math>u</math>, para diversos valores de <math>F</math> e <math>k</math>, em diversos tempos, com <math>(D_u, D_v) = (2\times10^{-5}, 10^{-5})</math>. As imagens apresentam concentração maior de <math>u</math> nas áreas mais claras. Os números sequenciais (1, 2, 3, ..., 16) se referem aos pontos no diagrama de fases da '''Figura 4'''. Tentou-se, sempre que possível, mostrar o comportamento dos sistemas nos mesmos tempos, exceto onde destacado em vermelho. '''A escolha de tempos diferentes nesses casos é meramente para melhor representar o comportamento dinâmico do sistema''', não se tentou mascarar nenhum resultado. Na simulação 4, para tempos grandes, a dinâmica do sistema é muito instável e os pontos estão sempre em transformação, apagando, ressurgindo e formando padrões. Nas simulações 15 e 16, os pontos apenas começam a se multiplicar para tempos grandes.]]</li>
</center>
Uma explicação possível para as discrepâncias observadas é o tamanho do grid utilizado e a aplicação das condições iniciais. Possivelmente, Sayama usou um grid de tamanho par, como <math>100 \times 100</math>, por exemplo, e escolheu dois ou quatro pontos no centro da matriz como condição inicial. Como se trata da simulação de um sistema não linear, os resultados são muito sensíveis às condições iniciais. Além disso, observamos uma forte dependência de alguns padrões formados em relação à resolução espacial, <math>\Delta h</math>, e em relação à resolução temporal, <math>\Delta t</math> (os valores que utilizamos no programa mostraram a melhor concordância com o comportamento qualitativo conhecido nos pontos testados).
Segue abaixo uma amostragem de algumas simulações realizadas e suas posições no diagrama de fases do modelo:
<center>
<li style="display: inline-block;">[[Arquivo:Desmos.png|500px|left|thumb|center|'''Figura 4.''' Diagrama de fases do modelo de Gray-Scott com amostragem de pontos simulados, conforme a '''Figura 3''' e a '''Tabela 1'''. As curvas são as mesmas da '''Figura 1''' (ver [https://fiscomp.if.ufrgs.br/index.php/Modelo_de_Gray-Scott#An.C3.A1lise_de_estabilidade]). ]]</li>
</center>
Na '''Figura 4''' é possível observar que a grande maioria das condições que geram padrões complexos está na vizinhança da curva <math>F=4(F+k)^{2}</math>, próximo à saliência, no intervalo <math>0.07<k<0.04</math> e <math>0.015<F<0.06</math>. 
Nota-se que, de fato, muitos padrões são gerados com a condição <math>F<4(F+k)^{2}</math> (à direita da curva azul), ou seja, na região onde o único estado de equilíbrio é o estado trivial <math>(u, v) = (1, 0)</math>. Como esse estado é sempre estável (ver [https://fiscomp.if.ufrgs.br/index.php/Modelo_de_Gray-Scott#An.C3.A1lise_de_estabilidade]), independentemente dos valores dos coeficientes de difusão, '''a instabilidade de Turing não explica a formação de padrões''' nesses casos.
Ainda em relação à '''Figura 4''', o ponto em vermelho (classificado como "R" por Pearson<ref name=Pearson/>), com <math>(k, F) = (0.06, 0.1)</math>, é um exemplo em que a taxa de alimentação de <math>u</math> é muito grande em relação à taxa de eliminação (<math>F+k</math>) de <math>v</math>, de modo que o sistema rapidamente atinge o equilíbrio trivial <math>(u, v) = (1, 0)</math> em todos os pontos. De outro lado, o ponto em azul (classificado como "B" por Pearson<ref name=Pearson/>), com <math>(k, F) = (0.03, 0.02)</math>, é um exemplo contrário, em que a taxa de eliminação (<math>F+k</math>) de <math>v</math> é muito grande em relação à taxa de alimentação de <math>u</math>, de modo que, para tempos longos, também não há formação de padrões, mas o estado que se atinge é tal que a concentração de <math>u</math> é próxima de <math>0</math>.
O modelo de Gray-Scott é reconhecido por exibir grande riqueza de padrões. Esses padrões foram originalmente classificados por Pearson.<ref name=Pearson/>  Uma classificação aprimorada, mais recente, pode ser encontrada nas referências.<ref name=pearson_classification>[https://mrob.com/pub/comp/xmorphia/pearson-classes.html#alp Pearson's Classification (Extended) of Gray-Scott System Parameter Values]</ref> A classificação, de acordo com letras do alfabeto grego (<math>\alpha</math>, <math>\beta</math>, <math>\gamma</math>, etc), leva em consideração a dinâmica e a formação de padrões complexos estáveis ou não para tempos longos, em que os sistemas, para dadas condições, atingem uma espécie de equilíbrio. Alguns dos padrões formados são linhas (''stripes''), manchas, pontos, padrões hexagonais. Essas formas estão em constante transformação por um período, interagindo umas com as outras, dividindo-se, mesclando-se. Eventualmente, dependendo das condições, alguns sistemas atingem um padrão estável; outros nunca se estabilizam. Alguns são mais lentos, outros mais rápidos. Por exemplo, padrões do tipo <math>\nu</math> levam muito tempo para se formar (não conseguimos observar padrões desse tipo). Outros sistemas dependem muito mais do que outros do tamanho do grid e das condições iniciais (por exemplo, sistemas do tipo <math>\xi</math>, que também não conseguimos observar).
<center>
<li style="display: inline-block;">[[Arquivo:Tabela.png|700px|left|thumb|center|'''Tabela 1.''' Relação entre os pontos simulados e a classificação apresentada na referência.<ref name=pearson_classification/>]]</li>
</center>
A '''Tabela 1''' é uma tentativa de classificar os resultados observados nas simulações de acordo com a padronização normalmente adotada. A descrição é informal e relata parcialmente o que foi observado. Obviamente pode conter erros, mas demonstra, no geral, que a simulação conseguiu reproduzir o comportamento qualitativo esperado dos pontos mostrados no espaço de fases da '''Figura 4''', o que é um resultado notável para um método tão simples como o FCTS, com um grid pequeno e tempo/recurso computacional limitados.
== Programa ==
* [[Simulação do Modelo de Gray-Scott]]
== Referências ==


<references/>
<references/>
== Bibliografia principal ==
* C. Gros, "Complex and Adaptive Dynamical Systems". Springer-Verlag, Berlim, 2015.
* H. Sayama, "Introduction to the Modeling and Analysis of Complex Systems". Open SUNY Textbooks, Geneseo, NY, 2015.

Edição atual tal como às 15h16min de 5 de março de 2022

Grupo: Paula Pandolfo, Ramiro de Souza e Wallace Carvalho

Objetivo: Este trabalho tem como objetivo principal implementar numericamente o modelo de Gray-Scott bidimensional, um tipo particular de sistema de reação-difusão, a fim de ilustrar, entre outras características, a emergência da complexidade através de equações de relativa simplicidade matemática. Para isso, primeiramente, será introduzida a formalidade do modelo: suas equações diferenciais e seus estados estacionários. Analisar-se-ão, também, as condições em que tais estados são estáveis ou não, e se aqueles que forem estáveis assim permanecem após a introdução de processos difusivos. Os resultados da implementação serão comparados com aqueles obtidos por uma das referências principais, Introduction to the Modeling and Analysis of Complex Systems, por Hiroki Sayama. A comparação mostrará uma boa concordância qualitativa, apesar de ficarem também perceptíveis discrepâncias com as simulações feitas por Sayama, indicando, possivelmente, uma alta sensibilidade dos resultados com a resolução e/ou condições iniciais utilizadas.

Introdução

Sistemas de reação-difusão são modelos matemáticos de grande importância, que podem ser aplicados a múltiplas situações. Sua principal aplicação, como o nome sugere, é na descrição da cinética química; mais especificamente, em como evoluem no tempo as concentrações de múltiplas substâncias em cada ponto do espaço, dado um determinado conjunto de reações associadas a essas espécies químicas que, ademais, também podem se difundir no meio. As equações diferenciais que descrevem tal sistema são um conjunto de equações em que a variação temporal das concentrações depende de termos de reação (funções associadas às reações químicas e à reposição ou não das espécies envolvidas) e de difusão (termos proporcionais ao laplaciano ):[1]

Sistemas descritos por equações como essas oferecem uma descrição matemática relativamente simples, com separação clara entre dinâmica não espacial e espacial, sendo a última ainda mais facilitada por ser descrita apenas por um termo laplaciano, que simplifica incorporar difusão a um problema que, inicialmente, possui apenas termos de reação. Além disso, a forma das equações atalha a análise de estabilidade, obtida através da matriz Jacobiana dos termos de reação.[1]

Dentre as mais diversas possibilidades de reações químicas e reagentes envolvidos, vamos estudar um caso simples: o modelo de Gray-Scott. Este modelo foi primeiramente introduzido por Peter Gray e Steve Scott entre os anos de 1983 e 1985,[2][3][4] e foi popularizado por John Pearson nos anos 1990.[5] Como Pearson sugere já no título de seu texto ("Padrões Complexos em um Sistema Simples", em português), tal dinâmica de reação-difusão produz, a partir de um modelo matematicamente simples, um conjunto variado de padrões complexos, não dessemelhantes àqueles encontrados na evolução de células biológicas,[5][6] sendo, portanto, de profundo interesse enquanto exemplo de emergência de complexidade na natureza.

Descrição do modelo

O modelo de Gray-Scott descreve uma reação autocatalítica. Sejam duas substâncias químicas cujas concentrações em um dado ponto do espaço são dadas pelas variáveis e , a reação pode ser representada como

Isso significa que uma molécula da substância é transformada em uma molécula da substância por meio da ação de outras duas moléculas da substância , ou seja, é um catalisador de sua própria produção (daí o termo autocatálise).[6] Além dessa reação, ambas as substâncias difundem-se pelo meio (por isso este modelo pertence à classe mais geral de modelos reativos-difusivos) e, dessa forma, as concentrações e mudam com o tempo e diferem em cada ponto. Por simplicidade, assume-se que a reação reversa (i.e., ) não ocorre.

O comportamento geral do sistema pode ser descrito pelas equações diferenciais parciais abaixo:[6]

A primeira das equações acima pode ser interpretada da seguinte forma: em um dado ponto, a variação na concentração aumenta proporcionalmente ao laplaciano de naquele ponto — ou seja, quando a concentração na vizinhança desse ponto é alta —, e proporcionalmente à taxa de reposição de (taxa de alimentação, ou feed rate); a concentração diminui com o termo reativo , que representa a reação .

Já na segunda equação, a concentração aumenta com o termo reativo e também proporcionalmente ao laplaciano de naquele ponto, mas diminui com a remoção de a uma taxa , mais rápida, portanto, do que a reposição de .

Assim, tem-se que e são os parâmetros do modelo, juntamente com os coeficientes de difusão e .

Uma maneira de compreender esse sistema é imaginá-lo como consistindo de duas substâncias e , envoltas por uma membrana semipermeável e imersas em um meio em que essas mesmas duas substâncias estão presentes. A membrana permite a entrada da substância , mas não da substância , e permite a saída da substância , mas não da substância .[7]

Análise de estabilidade linear

Nota: A análise em toda esta seção pressupõe sempre que os parâmetros e coeficientes de difusão são positivos.

Soluções estacionárias sem difusão

O modelo de Gray-Scott depende dos parâmetros e dos coeficientes de difusão das espécies químicas. Ignorando em um primeiro momento os termos de difusão, percebe-se que, por inspeção, o sistema possui uma solução estacionária em para quaisquer valores dos parâmetros. Esse ponto, no entanto, não é a única solução estacionária do sistema; para encontrar as outras, é necessário impor nas equações do sistema. Fazendo isso e dispensando os termos de difusão (), obtém-se o seguinte sistema de equações:

Somando essas duas equações, relacionamos as variáveis e :

onde definiu-se o parâmetro auxiliar .

Substituindo na segunda equação do sistema (2) (e reescrevendo ), ficamos com:

Evidentemente, é solução dessa equação, implicando em , como já havíamos inspecionado. Alternativamente, considerando , podemos dividir (4) por , ficando com . Resolvendo esta equação quadrática, obtemos duas novas soluções estacionárias para :

Disso, pela relação (3), temos que os valores correspondentes para são:

É necessário apontar que, para que as duas últimas soluções (não-triviais) existam — isto é, sejam números reais — o fator dentro da raiz quadrada tem de ser positivo ( ). Por consequência:

, para que existam as soluções não-triviais.

Nesse caso, então, há três soluções estacionárias do sistema:[8]

Estabilidade dos estados estacionários (sem difusão)

Para avaliar a estabilidade das soluções acima, faz-se necessário obter a matriz Jacobiana dos termos de reação, . Explicitamente, analisando o sistema (1) de equações, temos que e . A matriz Jacobiana do sistema é então dada por:

Analisemos a estabilidade para os três pares de soluções estacionárias:

  • Para :
Por essa ser uma matriz diagonal, os autovalores são justamente as entradas das diagonais; ou seja, e . Uma vez que e são parâmetros positivos, os dois autovalores são reais e negativos, e portanto o ponto é sempre estável.
  • Para , podemos utilizar uma estratégia que simplifica as contas. Em particular, nota-se que os dois pontos obedecem à segunda equação do sistema (2) com . Desse modo, se dividirmos tal equação por , percebemos que ambos os pontos obedecem a:
Dessa equação, podemos calcular as entradas da segunda coluna da matriz jacobiana com facilidade:
Assim, a matriz jacobiana desses pontos fica:
Sabemos que o produto dos autovalores dessa matriz é igual ao seu determinante. Calculando-o, obtém-se:
Dividindo por :[8]
onde se definiu (observação: este é o definido no Gros[8]). Nota-se que a condição de existência para os dois pontos não-triviais é equivalente a . Expandindo os termos, é possível mostrar que a expressão acima pode ser reescrita como:
Figura 1: Diagrama de fase do termo de reação do modelo de Gray-Scott. A linha azul mais externa corresponde a equação , que separa as regiões onde os estados estacionários não-triviais existem (esquerda da linha) e não existem (direita da linha). A linha vermelha, caracterizada por separa a região interna à linha azul em duas partes: uma maior, onde o ponto é estável, e outra menor, onde ele é instável. Por fim, a linha verde separa as regiões em que esse ponto é um nó (esquerda da linha) ou um foco (direita da linha), a depender do sinal de . Ressalta-se que o encontro das linhas azul e vermelha ocorre em , sendo o ponto em que os estados e tornam-se o mesmo estado (quando ).[9]
  • Para o caso (sinal negativo em (11)), temos a cota superior . Portanto, para todo que satisfaça a condição de existência. Como o determinante é negativo, sabemos que os autovalores são reais (comentário: como as entradas da matriz são reais, se os autovalores fossem complexos, seriam também conjugados, de modo que o produto deles fosse igual ao módulo ao quadrado de qualquer um, que seria um valor positivo). Ademais, como seu produto é negativo, eles têm sinais opostos; isto é, um deles é positivo, de modo que o ponto nunca seja estável. Assim, esse ponto sempre será um ponto de sela.[8] Depreendemos desse raciocínio que o determinante da matriz jacobiana de entradas reais ser positivo é uma condição necessária para que haja estabilidade do ponto.
  • Já para (sinal positivo em (11)), temos sempre que . Para verificar a estabilidade, temos que agora calcular o traço da matriz jacobiana, pois o traço é a soma dos autovalores: se os autovalores são reais, eles têm o mesmo sinal por seu determinante ser positivo, de modo que o traço compartilhe o sinal com os dois autovalores; se os autovalores são complexos, eles serão conjugados e o traço será , de modo que a parte real dos autovalores tenha o mesmo sinal do traço. Assim, basta que o traço seja negativo para que o ponto seja estável, e que seja positivo para que seja instável. No caso, temos que:
Esse traço é negativo quando e positivo quando ; ou seja, é estável quando e instável quando (lembrando que para todo e ). Desse modo, pode-se caracterizar uma transição de estabilidade quando .
Utilizando simultaneamente as equações (3) e (8), obtemos:[8]
Substituindo , obteremos ao final:[8]
Que é uma relação entre e que caracteriza a fronteira de estabilidade para o ponto .
Como um fato adicional, podemos separar quando é um nó estável (stable node) de quando ele é um foco estável (stable focus). Um nó estável ocorre quando os autovalores da matriz jacobiana forem reais, enquanto o foco ocorrem quando forem complexo-conjugados. Sabendo que os autovalores podem ser escritos como[10]
Vemos que a fronteira entre nó e foco para o ponto é caracterizada por . O resultado de todas essas fronteiras é o diagrama de fases da Figura 1, baseado no gráfico feito por Gros.[9]

Estabilidade dos estados estacionários (com difusão)

Precisamos agora analisar a estabilidade dos pontos estacionários na presença de difusão, como prescreve o sistema de equações (1), que descreve o modelo. Para isso, é necessário levar em consideração, para cada um dos estados de equilíbrio, os autovalores da matriz , em que é a matriz diagonal cujas entradas são e :[11]

Se escrevermos, genericamente, que , teremos a seguinte matriz jacobiana de reação-difusão:

Como já detalhado acima, para que o ponto seja estável, tal matriz tem que ter a parte real de todos os seus autovalores negativa, de modo que seu determinante seja positivo () e seu traço negativo ().[12] Impondo tais condições à matriz acima, obteremos, após manipulações:[11]

Se o traço é negativo, vemos que a segunda equação é imediatamente satisfeita, pois o lado esquerdo é positivo em qualquer situação.[11] Para este trabalho, interessa-nos apenas verificar se o estado estacionário permanece estável após a introdução da difusão. Dispensaremos a análise do ponto , pois nossas simulações não o incluirão como ponto estável, nem mesmo desconsiderando difusão.

Para o ponto , utilizamos a matriz (7), obtendo as seguintes desigualdades:

Que são, evidentemente, satisfeitas, por análise simples de sinais de cada lado. Portanto, conclui-se que o ponto é sempre estável, inclusive na presença de difusão.

Esse é um resultado, à primeira vista, surpreendente. Em geral, o surgimento de padrões complexos e não homogêneos em sistemas reativos-difusivos está relacionado à desestabilização de um ou mais estados de equilíbrio homogêneo causada pela introdução dos coeficientes de difusão (conhecida como instabilidade de Turing).[13] Entretanto, no caso do modelo de Gray-Scott, o surgimento de padrões complexos e não homogêneos não decorre da instabilidade de Turing, uma vez que o surgimento de padrões não-triviais neste modelo ocorre mesmo quando apenas o estado de equilíbrio trivial existir,[14] como veremos nas simulações da seção de resultados.

Implementação numérica

O método usado para integrar as equações diferenciais parciais do modelo foi o FTCS (Foward Time Central Space). Como existem explicações do método em toda literatura e em outras entradas da Wiki (ver, por exemplo, Modelo de Turing), a explicação aqui será sucinta.

O método consiste em discretizar a derivada parcial em relação ao tempo para frente e discretizar as derivadas parciais de segunda ordem em relação ao espaço centralmente (isto é, levando em consideração os pontos adjacentes ao ponto em que ela é calculada). Para uma função :





Das duas últimas equações acima, é fácil mostrar que o laplaciano em duas dimensões, presente nas equações do sistema (1) deste trabalho, pode ser escrito como


Utilizando passos de mesmo tamanho nas direções e , ou seja, fazendo , pode-se simplificar a discretização do laplaciano para

Usando a notação e definindo as separações de pontos como , , , fica possível então escrever as equações do modelo de forma discretizada:



Utilizou-se uma rede quadrada de tamanho . O estado inicial do sistema é aquele em que todos os pontos estão no estado de equilíbrio estável trivial , exceto o ponto central, em que é introduzida uma perturbação com .

Foram usadas condições de fronteira totalmente periódicas. Cada elemento na matriz tem quatro vizinhos, denominados U (Up), D (Down), L (Left), R (Right). Na Figura 2, o elemento , possui os vizinhos , , , ; o elemento possui como vizinhos , , , ; o elemento tem vizinhos , , , ; e, finalmente, os vizinhos de são , , e .

  • Figura 2 - Grid para exemplificar as condições de fronteira usadas na simulação.
  • Resultados e discussão

    As simulações abaixo reproduzem algumas condições simuladas por Sayama.[15]

    Simulações do Modelo de Gray-Scott para a concentração , com .
    A concentração é maior nas áreas mais claras.
    Alt text
    Concentração de para , de t=0 até t=2000.
    Alt text
    Concentração de para , de t=0 até t=2000.
    Simulações do Modelo de Gray-Scott para a concentração , com .
    Nos dois casos abaixo, a concentração é menor nas áreas mais claras.
    Alt text
    Concentração de para ,
    de t=0 até t=2000.
    Alt text
    Concentração de para ,
    de t=0 até t=2000.

    Em geral, todas as simulações apresentaram boa concordância qualitativa com os padrões simulados por Sayama;[15] entretanto, as imagens não são isomorficamente equivalentes. Seguem abaixo mais exemplos de simulações:

  • Figura 3. Amostragem de simulações realizadas da concentração , para diversos valores de e , em diversos tempos, com . As imagens apresentam concentração maior de nas áreas mais claras. Os números sequenciais (1, 2, 3, ..., 16) se referem aos pontos no diagrama de fases da Figura 4. Tentou-se, sempre que possível, mostrar o comportamento dos sistemas nos mesmos tempos, exceto onde destacado em vermelho. A escolha de tempos diferentes nesses casos é meramente para melhor representar o comportamento dinâmico do sistema, não se tentou mascarar nenhum resultado. Na simulação 4, para tempos grandes, a dinâmica do sistema é muito instável e os pontos estão sempre em transformação, apagando, ressurgindo e formando padrões. Nas simulações 15 e 16, os pontos apenas começam a se multiplicar para tempos grandes.
  • Uma explicação possível para as discrepâncias observadas é o tamanho do grid utilizado e a aplicação das condições iniciais. Possivelmente, Sayama usou um grid de tamanho par, como , por exemplo, e escolheu dois ou quatro pontos no centro da matriz como condição inicial. Como se trata da simulação de um sistema não linear, os resultados são muito sensíveis às condições iniciais. Além disso, observamos uma forte dependência de alguns padrões formados em relação à resolução espacial, , e em relação à resolução temporal, (os valores que utilizamos no programa mostraram a melhor concordância com o comportamento qualitativo conhecido nos pontos testados).

    Segue abaixo uma amostragem de algumas simulações realizadas e suas posições no diagrama de fases do modelo:

  • Figura 4. Diagrama de fases do modelo de Gray-Scott com amostragem de pontos simulados, conforme a Figura 3 e a Tabela 1. As curvas são as mesmas da Figura 1 (ver [1]).
  • Na Figura 4 é possível observar que a grande maioria das condições que geram padrões complexos está na vizinhança da curva , próximo à saliência, no intervalo e .


    Nota-se que, de fato, muitos padrões são gerados com a condição (à direita da curva azul), ou seja, na região onde o único estado de equilíbrio é o estado trivial . Como esse estado é sempre estável (ver [2]), independentemente dos valores dos coeficientes de difusão, a instabilidade de Turing não explica a formação de padrões nesses casos.


    Ainda em relação à Figura 4, o ponto em vermelho (classificado como "R" por Pearson[5]), com , é um exemplo em que a taxa de alimentação de é muito grande em relação à taxa de eliminação () de , de modo que o sistema rapidamente atinge o equilíbrio trivial em todos os pontos. De outro lado, o ponto em azul (classificado como "B" por Pearson[5]), com , é um exemplo contrário, em que a taxa de eliminação () de é muito grande em relação à taxa de alimentação de , de modo que, para tempos longos, também não há formação de padrões, mas o estado que se atinge é tal que a concentração de é próxima de .


    O modelo de Gray-Scott é reconhecido por exibir grande riqueza de padrões. Esses padrões foram originalmente classificados por Pearson.[5] Uma classificação aprimorada, mais recente, pode ser encontrada nas referências.[16] A classificação, de acordo com letras do alfabeto grego (, , , etc), leva em consideração a dinâmica e a formação de padrões complexos estáveis ou não para tempos longos, em que os sistemas, para dadas condições, atingem uma espécie de equilíbrio. Alguns dos padrões formados são linhas (stripes), manchas, pontos, padrões hexagonais. Essas formas estão em constante transformação por um período, interagindo umas com as outras, dividindo-se, mesclando-se. Eventualmente, dependendo das condições, alguns sistemas atingem um padrão estável; outros nunca se estabilizam. Alguns são mais lentos, outros mais rápidos. Por exemplo, padrões do tipo levam muito tempo para se formar (não conseguimos observar padrões desse tipo). Outros sistemas dependem muito mais do que outros do tamanho do grid e das condições iniciais (por exemplo, sistemas do tipo , que também não conseguimos observar).

  • Tabela 1. Relação entre os pontos simulados e a classificação apresentada na referência.[16]
  • A Tabela 1 é uma tentativa de classificar os resultados observados nas simulações de acordo com a padronização normalmente adotada. A descrição é informal e relata parcialmente o que foi observado. Obviamente pode conter erros, mas demonstra, no geral, que a simulação conseguiu reproduzir o comportamento qualitativo esperado dos pontos mostrados no espaço de fases da Figura 4, o que é um resultado notável para um método tão simples como o FCTS, com um grid pequeno e tempo/recurso computacional limitados.

    Programa

    Referências

    1. 1,0 1,1 Sayama, p. 259
    2. P. Gray and S. Scott, “Autocatalytic reactions in the isothermal, continuous stirred tank reactor: isolas and other forms of multistability,” Chemical Engineering Science, vol. 38, no. 1, pp. 29–43, 1983.
    3. P. Gray and S. Scott, “Autocatalytic reactions in the isothermal, continuous stirred tank reactor: Oscillations and instabilities in the system A+2B → 3B; B → C,” Chemical Engineering Science, vol. 39, no. 6, pp. 1087–1097, 1984.
    4. P. Gray and S. Scott, “Sustained oscillations and other exotic patterns of behavior in isothermal reactions,” Journal of Physical Chemistry, vol. 89, no. 1, pp. 22–32, 1985.
    5. 5,0 5,1 5,2 5,3 5,4 J. E. Pearson, “Complex patterns in a simple system,” Science, vol. 261, no. 5118, pp. 189–192, 1993. PDF
    6. 6,0 6,1 6,2 Sayama, p. 266
    7. Reaction-Diffusion by the Gray-Scott Model: Pearson's Parametrization
    8. 8,0 8,1 8,2 8,3 8,4 8,5 Gros, p. 113
    9. 9,0 9,1 Gros, p. 114
    10. Sayama, p. 123
    11. 11,0 11,1 11,2 Sayama, pp. 287-289
    12. Sayama, p. 124
    13. Week 13, MCB111: Mathematics in Biology (Fall 2021)
    14. Gros, p. 115
    15. 15,0 15,1 Sayama, p. 268
    16. 16,0 16,1 Pearson's Classification (Extended) of Gray-Scott System Parameter Values

    Bibliografia principal

    • C. Gros, "Complex and Adaptive Dynamical Systems". Springer-Verlag, Berlim, 2015.
    • H. Sayama, "Introduction to the Modeling and Analysis of Complex Systems". Open SUNY Textbooks, Geneseo, NY, 2015.