Solução Numérica de EDO's Através do Método de Picard

No post Considerações Gerais Sobre EDO's, apresentamos um teorema sobre a existência e unicidade de soluções de um PVI devido conhecido por teorema de Cauchy-Lipschitz-Picard. A prova foi omitida devido aos detalhes técnicos que não são relevantes no momento.

Mas a demonstração baseada no teorema do ponto fixo, estabelece um processo
iterativo de aproximação da solução do PVI

conhecido por método de Picard (1856 - 1941) é equivalente a determinar continuamente diferenciável, que verifica

converge para a única solução de .

Exemplo 1: Use o método de Picard e resolva o PVI:

Resolução: Note que este PVI é equivalente a

de modo que,

e assim por diante. Por indução finita sobre , a enésima iterada é dada por

o qual é a enésima soma parcial da série de Mc-Laurin de . Logo,

Exemplo 2: Resolva o PVI abaixo através do método de Picard.

Resolução: Sendo , segue que

donde segue que a solução aproximada é dada por

Gostará de ler também:
- Equações Diferenciais Exatas;
- EDO's e Juros Continuamente Compostos;
- O Método do Ponto Fixo (Parte 1);
- O Método do Ponto Fixo (Parte 2).

Segmentos Parabólicos Via Geometria Analítica

Introdução:

Historicamente os gregos abordavam as parábolas, elipses e hipérboles através das seções cônicas que são resultantes da interseção de um plano com um sólido gerado pela rotação de um reta em torno de um eixo vertical (clepsidra). As seções cônicas possuem diversas aplicações na Matemática, na Física, principalmente em Astronomia.

Arquimedes (287-212 a.C.) em seu livro Quadratura da Parábola apresentou dois métodos para calcular a área de um segmento parabólico: o método da alavanca e o método da exaustão. Ele não conseguiu determinar a área de um segmento elíptico e hiperbólico, pois enquanto que a quadratura de um segmento parabólico envolve apenas um polinômio, a quadratura de segmentos elípticos e hiperbólicos envolvem funções transcendentes, mas é interessante observar que ele descobriu que a área de uma elipse é equivalente a área de um círculo cujo raio é a média geométrica dos semi-eixos da elipse.

Neste artigo, apresentaremos algumas propriedades dos segmentos parabólicos usando as ferramentas da Geometria Analítica. A reta tangente a um segmento parabólico serão abordados de forma elementar, acessível a um estudante que não teve contato com o Cálculo Diferencial e Integral.

Conceitos e Propriedades:

Definição 1: Um segmento de uma curva convexa (tal como uma parábola, elipse ou hipérbole) é a região limitada por uma reta secante e a porção da curva. (ver figura acima)

Neste texto, a curva convexa é a parábola e a reta secante é a reta determinada pelos pontos e sobre . Assim, um segmento parabólico denotado por é a região limitada pelo segmento e pela parábola .

Definição 2: Seja o segmento parabólico sobre a parábola

Então:
i) O segmento chama-se base do segmento parabólico ;
ii) O ponto sobre mais afastado de sua base é chamado de vértice;
iii) A distância do vértice a base é a sua altura.

Dizer que o ponto está mais afastado da base significa que entre todos os segmentos perpendiculares e limitados pela base e por , é o maior deles.

Proposição 1: Sejam os pontos e sobre a parábola . Então a abscissa do vértice sobre é a média aritmética das abscissas dos pontos e , isto é,

Demonstração: Sejam um ponto sobre de modo que é paralelo ao eixo , a equação da reta que passa pelos pontos e e , conforme a figura abaixo:

Note que , de modo que

Sendo

e

segue da expressão anterior que

Por definição, é o maior entre todos o segmentos perpendiculares traçados da base . Mas isto ocorre se é a abscissa do vértice da função quadrática acima, ou seja,

Por outro lado, de modo que

Assim,

Substituindo em , temos

Note que o eixo da parábola é paralelo ao eixo . Assim, esta Proposição afirma que toda reta paralela ao eixo da parábola passando pelo vértice de passa pelo ponto médio da base .

Dada a parábola e a reta , existem somente três posições relativas entre elas:

i) e são secantes;
ii) e são tangentes;
iii) e não possuem pontos em comum.

Em cada um dos casos acima, o discriminante da equação quadrática

é positivo, nulo e negativo respectivamente. Assim, podemos definir o conceito de reta tangente ao segmento parabólico de forma algébrica:

Definição 3: Dizemos que é uma reta tangente ao segmento parabólico definido por no ponto se o discriminante da expressão

é nulo.

Proposição 2: A reta é tangente no ponto definido por se .
Demonstração: De fato, sendo , então, pela definição acima, o discriminante da equação quadrática

ou

é nulo, isto é,

donde segue o resultado.

Proposição 3: A reta tangente que passa pelo vértice do segmento parabólico definido por é paralela a base .

Demonstração: Pela Prop. 1, a abscissa do vértice do segmento parabólico é . Pela Prop. 2, o coeficiente angular da reta tangente passando por é

Por outro lado,

De e segue o resultado.

Exercício Proposto: Sejam o ponto médio de , o vértice do segmento parabólico sobre a parábola e a reta tangente passando pelo ponto . Se é a interseção de com o prolongamento de , então .

Gostará de ler também:
- A Parábola e as Funções Quadráticas;
- Cálculo Mental das Raízes de Algumas Equações Quadráticas;
- A Propriedade Refletora da Parábola;
- O Problema da Bola na Cesta;
- Regra de Descartes e a Equação Quadrática;
- O Volume do Barril Parabólico.