Esses dias resolvi retomar o conhecimento de cálculo numérico que tive na faculdade. O primeiro tópico que abordei foi os métodos iterativos de obter zeros reais de funções. Tomei como base o livro de Cálculo Numérico que tive na faculdade.
Alguns desses métodos utilizam o Teorema de Bolzano que é um caso específico do Teorema do Valor Intermediário para garantir que existe uma raiz dado um determinado intervalo e com isso desenvolvem técnicas para encontrar ess raiz. De maneira simplificada, o Teorema de Bolzano diz que se uma função assume valor negativo para um determinado ponto e um valor positivo para um determinado ponto
(ou vice versa, positivo pra
e negativo pra
), vai existir pelo menos uma raíz entre esse intervalo se a função for contínua. Isto é: Se
, existe raiz real. Veja a seguinte função:
Seja o intervalo , para o valor de
,
assume valor negativo e para
,
assume valor positivo, portanto,
e pelo gráfico podemos ver que existe um valor entre
e
que é raíz dessa função. Nesse exemplo a função é
. Aplicando valores reais:
e
, então
. Portanto, existe raiz entre
e
para a função
.
Com isso em mente, nesse tópico vamos abordar um método para encontrar esse raiz: o método da bissecção. Esse método consiste em tentar achar uma raiz em um intervalo subdividindo esse intervalo em duas metades a cada iteração, utilizando o teorema de Bolzano para verificar em qual metade está a raiz até atingir a precisão requerida. É um método simples, mas não necessariamente eficiente. Abaixo temos o código para esse método:
for (long k = 0; k < maxIter; k++) { // x = (a + b)/2 BigDecimal x = a.add(b).divide(CommonValues.TWO.getValue()); // (b - a) < precision if (b.subtract(a).compareTo(precision) < 0) { // result a or b is ok too return x; } // m = f(a) BigDecimal m = f.evaluate(a); // m*f(x) > 0 if (m.multiply(f.evaluate(x)).compareTo(BigDecimal.ZERO) > 0) { a = x; } else { b = x; } }
Dado um intervalo , na linha 4 dividimos o nosso intervalor na metade, na linha 7 verificamos se já atingimos a precisão alvo, se sim, retornamos um valor entre o intervalo
(linha 9). Caso contrário, aplicamos o teorema de bolzano:
(linha 13 e 16) para verificar se a raiz está entre
e
ou
e
. Mudamos o intervalo de acordo com essa condição (linha 17 ou 19) e continuamos nesse loop (linha 1), até atingir a precisão correta (linha 7) ou até um determinado número de iterações (linha 1).
Como esse método é simples e previsível (sempre divisões ao meio) fica fácil calcular o número de iterações necessárias para ele encontrar a raiz dada uma precisão:
Onde é o número de iterações e
é a precisão desejada. O código para esse método e exemplos de execução encontram-se nos seguintes endereços: Github e Google Code.