Ajude a manter o site livre, gratuito e sem propagandas. Colabore!
A maior parte dos métodos iterativos para a resolução de sistemas lineares podem ser vistos como métodos de projeção. A ideia básica é resolver o sistema linear
(1.150) |
buscando uma solução aproximada de dimensão . é chamado de subespaço de busca. Uma forma de garantir que a aproximação seja boa é impor as chamadas condições de Petrov2323endnote: 23Georgi Iwanowitsch Petrov, 1912 - 1987, engenheiro soviético. Fonte: Wikipedia.-Galerkin2424endnote: 24Boris Galerkin, 1871 - 1945, engenheiro e matemático soviético. Fonte: Wikipédia., em que o resíduo
(1.151) |
é ortogonal a um dado subespaço de dimensão . Os métodos de projeção são classificados em métodos ortogonais, quando , e métodos oblíquos, quando .
Sejam uma matriz não singular, e dois subespaços de de dimensão e uma aproximação inicial da solução do sistema linear . O método de projeção consiste em encontrar uma aproximação da solução do sistema, tal que
(1.152) |
com , satisfazendo a condição de Petrov-Galerkin
(1.153) |
ou, equivalentemente,
(1.154) |
Em resumo, o método de projeção determina a solução aproximada pelas iterações
(1.155) | |||
(1.156) |
A seguir, vamos apresentar três métodos de projeção unidimensionais. Embora estes métodos não sejam geralmente usados na prática (por não serem eficientes), eles foram a base metodológica para o desenvolvimento de métodos mais eficientes, como o método GMRES.
Métodos de projeção unidimensionais são aqueles em que . Assim, temos e , para dados vetores . Com isso, a aproximação é dada por
(1.157) |
onde é tal que
(1.158) |
ou seja,
(1.159) |
A iteração da descida mais íngrime (ou método do gradiente) é um método de projeção ortogonal em que . Assim, a aproximação é dada por
(1.160) |
onde
(1.161) |
Notemos que, para uma matriz simétrica positiva definida, o método da descida mais íngrime é equivalente ao método do gradiente discutido na Seção 1.4, observando que , onde
(1.162) | ||||
(1.163) |
onde é a solução do sistema linear .
Para detalhes sobre a implementação, consulte o Código 6.
Para uma matriz apenas positiva definida (i.e. simétrica positiva definida), a iteração do mínimo resíduo é um método de projeção oblíquo em que e . Assim, a aproximação é dada por
(1.164) |
onde
(1.165) |
Aqui, cada iterada minimiza
(1.166) |
na direção do resíduo .
Consideremos o seguinte problema de difusão-advecção 2D
(1.167) | |||
(1.168) |
onde é o coeficiente de difusão, é o campo de advecção e a fonte é dada por
(1.169) |
Assumimos uma malha espacial uniforme de , com tamanho de malha . Denotamos , onde e , para . Aplicando um espuema upwind para a advecção e diferenças finitas centrais para a difusão, obtemos o seguinte esquema de diferenças finitas
(1.170) | |||
(1.171) |
para , onde . As condições de contorno são dadas por , para . Por fim, consideramos a enumeração dos nodos da malha para obtermos o sistema linear
(1.172) |
onde é uma matriz esparsa de ordem , é o vetor das incógnitas e é o vetor da fonte.
Observando que é apenas positiva definida (i.e. é simétrica positiva definida), aplicamos a iteração do mínimo resíduo para resolver o sistema linear. A seguinte tabela mostra o número de iterações necessárias para a convergência do método, para diferentes tamanhos de malha. O critério de parada é dado por e . Verifique!
IMR | |
---|---|
11 | 129 |
21 | 469 |
41 | 1761 |
81 | 6770 |
A iteração da descida mais íngrime do resíduo é um método de projeção oblíquo em que e . Assim, a aproximação é dada por
(1.173) |
onde
(1.174) |
Notemos que esta iteração é equivalente à do mínimo resíduo aplicada às equações normais
(1.175) |
Logo, se é não-singular, o método converge para a solução do sistema linear .
Aplique a iteração da descida mais íngrime para resolver o sistema linear , com
(1.176) |
e . Usando uma aproximação inicial , faça uma análise geométrica das iterações.
Dica: faça um gráfico de contorno da norma e mostre as iterações do método sobre o gráfico.
Aplique a iteração do mínimo resíduo para resolver o sistema linear , com
(1.177) |
e . Usando uma aproximação inicial , faça uma análise geométrica das iterações do método.
Dica: faça um gráfico de contorno da norma e mostre as iterações do método sobre o gráfico.
Aplique a iteração da descida mais íngrime resíduo para resolver o sistema linear , com
(1.178) |
e . Usando uma aproximação inicial , faça uma análise geométrica das iterações do método.
Dica: faça um gráfico de contorno da norma e mostre as iterações do método sobre o gráfico.
Considere o problema de difusão-advecção 2D do Exemplo 1.5.1, discretizado com o esquema upwind. Aplique a iteração da descida mais íngrime do resíduo para resolver o sistema linear resultante para os seguintes coeficientes de advecção:
;
;
.
Analise a convergência do método para diferentes tamanho de malha.
Dica: lembre-se que o esquema upwind deve ser adaptado para cada caso.
Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!
Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.
Ajude a manter o site livre, gratuito e sem propagandas. Colabore!
A maior parte dos métodos iterativos para a resolução de sistemas lineares podem ser vistos como métodos de projeção. A ideia básica é resolver o sistema linear
(1.150) |
buscando uma solução aproximada de dimensão . é chamado de subespaço de busca. Uma forma de garantir que a aproximação seja boa é impor as chamadas condições de Petrov2323endnote: 23Georgi Iwanowitsch Petrov, 1912 - 1987, engenheiro soviético. Fonte: Wikipedia.-Galerkin2424endnote: 24Boris Galerkin, 1871 - 1945, engenheiro e matemático soviético. Fonte: Wikipédia., em que o resíduo
(1.151) |
é ortogonal a um dado subespaço de dimensão . Os métodos de projeção são classificados em métodos ortogonais, quando , e métodos oblíquos, quando .
Sejam uma matriz não singular, e dois subespaços de de dimensão e uma aproximação inicial da solução do sistema linear . O método de projeção consiste em encontrar uma aproximação da solução do sistema, tal que
(1.152) |
com , satisfazendo a condição de Petrov-Galerkin
(1.153) |
ou, equivalentemente,
(1.154) |
Em resumo, o método de projeção determina a solução aproximada pelas iterações
(1.155) | |||
(1.156) |
A seguir, vamos apresentar três métodos de projeção unidimensionais. Embora estes métodos não sejam geralmente usados na prática (por não serem eficientes), eles foram a base metodológica para o desenvolvimento de métodos mais eficientes, como o método GMRES.
Métodos de projeção unidimensionais são aqueles em que . Assim, temos e , para dados vetores . Com isso, a aproximação é dada por
(1.157) |
onde é tal que
(1.158) |
ou seja,
(1.159) |
A iteração da descida mais íngrime (ou método do gradiente) é um método de projeção ortogonal em que . Assim, a aproximação é dada por
(1.160) |
onde
(1.161) |
Notemos que, para uma matriz simétrica positiva definida, o método da descida mais íngrime é equivalente ao método do gradiente discutido na Seção 1.4, observando que , onde
(1.162) | ||||
(1.163) |
onde é a solução do sistema linear .
Para detalhes sobre a implementação, consulte o Código 6.
Para uma matriz apenas positiva definida (i.e. simétrica positiva definida), a iteração do mínimo resíduo é um método de projeção oblíquo em que e . Assim, a aproximação é dada por
(1.164) |
onde
(1.165) |
Aqui, cada iterada minimiza
(1.166) |
na direção do resíduo .
Consideremos o seguinte problema de difusão-advecção 2D
(1.167) | |||
(1.168) |
onde é o coeficiente de difusão, é o campo de advecção e a fonte é dada por
(1.169) |
Assumimos uma malha espacial uniforme de , com tamanho de malha . Denotamos , onde e , para . Aplicando um espuema upwind para a advecção e diferenças finitas centrais para a difusão, obtemos o seguinte esquema de diferenças finitas
(1.170) | |||
(1.171) |
para , onde . As condições de contorno são dadas por , para . Por fim, consideramos a enumeração dos nodos da malha para obtermos o sistema linear
(1.172) |
onde é uma matriz esparsa de ordem , é o vetor das incógnitas e é o vetor da fonte.
Observando que é apenas positiva definida (i.e. é simétrica positiva definida), aplicamos a iteração do mínimo resíduo para resolver o sistema linear. A seguinte tabela mostra o número de iterações necessárias para a convergência do método, para diferentes tamanhos de malha. O critério de parada é dado por e . Verifique!
IMR | |
---|---|
11 | 129 |
21 | 469 |
41 | 1761 |
81 | 6770 |
A iteração da descida mais íngrime do resíduo é um método de projeção oblíquo em que e . Assim, a aproximação é dada por
(1.173) |
onde
(1.174) |
Notemos que esta iteração é equivalente à do mínimo resíduo aplicada às equações normais
(1.175) |
Logo, se é não-singular, o método converge para a solução do sistema linear .
Aplique a iteração da descida mais íngrime para resolver o sistema linear , com
(1.176) |
e . Usando uma aproximação inicial , faça uma análise geométrica das iterações.
Dica: faça um gráfico de contorno da norma e mostre as iterações do método sobre o gráfico.
Aplique a iteração do mínimo resíduo para resolver o sistema linear , com
(1.177) |
e . Usando uma aproximação inicial , faça uma análise geométrica das iterações do método.
Dica: faça um gráfico de contorno da norma e mostre as iterações do método sobre o gráfico.
Aplique a iteração da descida mais íngrime resíduo para resolver o sistema linear , com
(1.178) |
e . Usando uma aproximação inicial , faça uma análise geométrica das iterações do método.
Dica: faça um gráfico de contorno da norma e mostre as iterações do método sobre o gráfico.
Considere o problema de difusão-advecção 2D do Exemplo 1.5.1, discretizado com o esquema upwind. Aplique a iteração da descida mais íngrime do resíduo para resolver o sistema linear resultante para os seguintes coeficientes de advecção:
;
;
.
Analise a convergência do método para diferentes tamanho de malha.
Dica: lembre-se que o esquema upwind deve ser adaptado para cada caso.
Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!
Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.