| | | | |

2.2 Estudo assintótico de equações lineares

Ajude a manter o site livre, gratuito e sem propagandas. Colabore!

Nesta seção, vamos introduzir aspectos básicos sobre o comportamento assintótico de soluções de equações a diferenças de primeira ordem e lineares.

Seja

y(n+1)=f(y(n),n),nn0, (2.89)

uma equação a diferenças com valor inicial y(n0). Dizemos que y* é ponto de equilíbrio da equação, quando y* é tal que

f(y*,n)=y*, (2.90)

para todo nn0. Neste caso, ao escolhermos y(n0)=y*, então a solução de equação a diferenças (2.89) é

y(n)=y*. (2.91)
Exemplo 2.2.1.

Vamos calcular o(s) ponto(s) de equilíbrio de

y(n+1)=43y(n)1,n0. (2.92)

Neste caso, por comparação com (2.89), temos f(y(n),n)=43y(n)1. Para calcularmos o(s) ponto(s) de equilíbrio, resolvemos

f(y*,n)=y* (2.93)
43y*1=y* (2.94)
(431)y*=1 (2.95)
13y*=1 (2.96)
y*=3. (2.97)

Com isso, concluímos que y*=3 é o único ponto de equilíbrio de (2.92).

Notamos que, de fato, ao escolhermos y(0)=3, temos

y(1) =43y(0)1=3 (2.98)
y(2) =43y(1)1=3 (2.99)
y(3) =43y(1)1=3 (2.100)
(2.101)
y(n) =3. (2.102)

Seja a equação a diferenças de primeira ordem, linear e com coeficientes constantes

y(n+1)=ay(n)+b,nn0, (2.103)

Se a=1 e b=0, então todo número real y* é ponto de equilíbrio de (2.103). Agora, se a=1 e b0, então (2.103) não tem ponto de equilíbrio. Por fim, se a1, então

y*=b1a (2.104)

é o único ponto de equilíbrio de (2.103). Este é o caso do Exemplo 2.2.1.

Um ponto de equilíbrio é um atrator global quando

limny(n)=y*, (2.105)

para qualquer valor inicial y(n0). Neste caso, também dizemos que y* é um ponto de equilíbrio assintoticamente globalmente estável.

Uma equação a diferenças da forma

y(n+1)=ay(n),nn0, (2.106)

com 1<a<1, tem y*=0 como atrator global. De fato, a solução desta equação a diferenças é

y(n) =[i=n0n1a]y(n0) (2.107)
=ann0y(n0). (2.108)

Logo, temos

limny(n) =limnann00y(n0) (2.109)
=0. (2.110)
Exemplo 2.2.2.

Para a equação a diferenças

y(n+1)=12y(n),n0, (2.111)

temos que y*=0 é um ponto de equilíbrio assintoticamente globalmente estável.

Um equação a diferenças da forma

y(n+1)=ay(n)+b,nn0, (2.112)

com 1<a<1, tem

y*=b1a (2.113)

como ponto de equilíbrio assintoticamente globalmente estável. De fato, a solução desta equação é

y(n)=[i=n0n1a]y(n0)
+i=n0n1[j=i+1n1a]b (2.114)
=ann0y(n0)+i=n0n1an1ib (2.115)
=ann0y(n0)+an1bi=n0n1ai (2.116)
=ann0y(n0)+an1bj=0nn01ajn0 (2.117)
=ann0y(n0)+ann01bj=0nn01aj (2.118)
=ann0y(n0)+ann01b(1a(nn0))1a1 (2.119)
=ann0y(n0)+ann01bann01ann0a1a (2.120)
=ann0y(n0)+b1ann01a (2.121)
=(y(n0)b1a)ann0+b1a. (2.122)

Observamos que esta última equação, confirma que

y*=b1a (2.123)

é ponto de equilíbrio de (2.112) e é assintoticamente globalmente estável, pois

limny(n) =limn[(y(n0)b1a)ann00+b1a] (2.124)
=b1a. (2.125)
Exemplo 2.2.3.

A equação a diferenças

y(n+1)=4y(n)1,n0, (2.126)

tem y*=1/3 como ponto de equilíbrio, o qual não é um atrator global. De fato, para qualquer escolha de y(0)y*, temos

y(n)=(y(0)13)04n+13. (2.127)

Logo, vemos que y(n)± quando n, onde o sinal é igual ao do termo y(0)1/3.

Observamos as seguintes computações no Python:

1    In : y=1/3
2    ...: for i in range(1,31):
3    ...:     y=4*y-1
4    ...:
5    ...: y
6    Out: -21.0

Ou seja, y(30)=21.0 computando por iterações recorrentes, enquanto que o valor esperado é y(30)=1/3, sendo este um ponto de equilíbrio da equação a diferenças.

O que está ocorrendo nestas computações é um fenômeno conhecido como cancelamento catastrófico em máquina. No computador, o valor inicial y(0)=1/3 é computado com um pequeno erro de arredondamento. Do que vimos acima, se y(0)1/3, então y(n)± quando n.

No Python, podemos fazer as computações exatas na aritmética dos números racionais. Para tanto, podemos usar o seguinte código:

1    In : from sympy import Rational
2    ...: y=Rational(1,3)
3    ...: for i in range(1,31):
4    ...:     y=4*y-1
5    ...:
6    ...: y
7    Out: 1/3

Exercícios resolvidos

ER 2.2.1.

Calcule os pontos de equilíbrio de

y(n+1)=ny(n),n0. (2.128)
Solução.

Temos que y* é ponto de equilíbrio da equações a diferenças, quando

y*=ny* (2.129)
(1n)y*=0 (2.130)

para todo n0. Logo, y*=0 é ponto de equilíbrio da equação a diferenças.

ER 2.2.2.

Verifique se y*=0 é ponto de equilíbrio assintoticamente globalmente estável de

y(n+1)=1n+1y(n),n0. (2.131)
Solução.

Primeiramente, confirmamos que y*=0 é ponto de equilíbrio, pois

1n+1y*=0=y*,n0. (2.132)

Por fim, a solução da equação a diferenças é

y(n) =[i=0n11i+1]y(0) (2.133)
=1n!y(0). (2.134)

Daí, vemos que

limn1n!y(0)=0=y*. (2.135)

Logo, concluímos que y*=0 é ponto de equilíbrio assintoticamente globalmente estável da equação a diferenças dada.

Exercícios

E. 2.2.1.

Calcule o ponto de equilíbrio de

y(n+1)=y(n)+1 (2.136)
Resposta.

1/2

E. 2.2.2.

O ponto de equilíbrio da equação a diferenças do Exercício 2.2.1 é um atrator global? Justifique sua resposta.

Resposta.

não

E. 2.2.3.

Encontre o ponto de equilíbrio de

y(n+1)=12y(n)+12,n2, (2.137)

e diga se ele é um atrator global. Justifique sua resposta.

Resposta.

y*=1; atrator global

E. 2.2.4.

Encontre o ponto de equilíbrio de

y(n+1)=2y(n)+1,n2, (2.138)

e diga se ele é assintoticamente globalmente estável. Justifique sua resposta.

Resposta.

y*=1; não é assintoticamente globalmente estável

E. 2.2.5.

Considere um financiamento de valor $100 com taxa de juros 1% a.m. e amortizações fixas mensais de valor $a. O valor devido y(n+1) no n+1-ésimo mês pode ser modelado pela seguinte equações a diferenças

y(n+1)=1,01y(n)a,n0, (2.139)

com valor inicial y(0)=100. Calcule o valor a mínimo a ser amortizado mensalmente de forma que o valor devido permaneça sempre constante.

Resposta.

a=1


Envie seu comentário

As informações preenchidas são enviadas por e-mail para o desenvolvedor do site e tratadas de forma privada. Consulte a Política de Uso de Dados para mais informações. Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!