Limite fundamental exponencial (Euler)

Comprovação com uso da análise da existência do limite fundamental de Euler

Neste post será comprovada a existência do limite fundamental exponencial.

Para isto, será utilizado o seguinte teorema e a seguinte proposição:

O limite a ser calculado é dado por:

Assim, definimos

Temos que a função f(x) acima tem seu domínio no conjunto dos reais exceto o zero. Como queremos o limite para x tendendo ao infinito, então o zero não será um problema. Neste caso, podemos definir a sequência xn = n, onde n são números inteiros e portanto a sequência esta contida no domínio da função f(x), podendo ser aplicado o Teorema 1.

Desta forma:

Porém, como n é inteiro, podemos escrever f(n) em binômio de Newton na forma de uma série:

Para seguir com os cálculos é importante saber se f(n) é crescente ou decrescente, pois isso irá nos permitir concluir se existe o limite exponencial.

Sabemos que:

Agora, para verificar se é crescente ou decrescente, irei iniciar o estudo supondo que a função é crescente e assim, saber se isso é verdadeiro ou não. Se ela for crescente, então f(n) < f(n+1), ou seja:

Na etapa (3) acima, é possível verificar que o termos de dentro do somatório do lado esquerdo é negativo e portanto a desigualdade é verdadeira, o que garante que f(n) é crescente como suposto inicialmente.

Agora, um passo importante é saber se f(n) é limitado, ou seja, que existe um K tal que, para qualquer n, f(n) < K. Com isso, da Proposição 1, é possível garantir que f(n) converge.

Verificando se f(n) é limitada superiormente:

O somatório obtido acima é a soma de uma PG, que é facilmente calculado:

Logo, temos que f(n) é limitada superiormente e crescente, o que garante que o limite existe. O valor do limite não é possível ser calculado sem o uso de um software ou mesmo de recursos envolvendo derivada ou série de Taylor, que a meu entender são conteúdos que estão a frente destes aplicados aqui.

Porém, caso deseja-se calcular este limite, pode ser feito com o uso da regra de L'Hopital, por exemplo:

Substituindo a variável 1/x = y e após isso aplicando L'Hopital, temos: