A Equação equidimensional de Euler (ou de Cauchy) é uma equação diferencial ordinária linear (EDOL) da forma
onde \(n\in N\) que fornece a ordem da equação se \(a_n\neq 0\) e os \(a_k\) são números reais (\(k=0,1,2,...,n\)).
Na sequência tratamos apenas das EDOL de Euler que são homogêneas. Para resolver as EDOL de Euler não homogêneas, deve-se usar o método da variação dos parâmetros.
Solução: Para resolver esta equação, procuramos obter números reais ou complexos \(r\) de forma que \(y(x)=x^r\), seja solução da EDOL dada, para cada \(r\) possível.
Assim, obtemos \(n\) soluções LI que resolvem a EDOL homogênea associada à equação dada. Sob esta hipótese, temos que:
onde \(A(r,k)=r(r-1)(r-2)...(r-k+1)\) é o arranjo de \(r\) elementos com a taxa \(k\).
Para facilitar os trabalhos, vamos considerar o caso geral de uma EDOL não homogênea de Euler de ordem \(n=2\), isto é:
A equação homogênea associada aqui é \(ax^2y''+bxy'+cy=0\) e substituindo tanto a função \(y=y(x)\) como as suas derivadas obtemos:
Como procuramos soluções linearmente independentes (LI), devemos ter que
que simplificada, nos fornece a equação indicial da EDOL de Euler:
Como esta equação indicial é do segundo grau, temos três possibilidades: duas raízes reais e distintas, duas raízes reais e iguais e duas raízes complexas conjugadas. Realizaremos agora uma análise desse casos:
Duas raízes reais e distintas: Se \(r\) e \(s\) são as tais raízes, \(y_1(x)=x^r\) e \(y_2(x)=x^s\), e a solução da homogênea será:
Exemplo: Seja a EDOL de Euler \(L(y)=x^2y''-2xy'+2y=0\). A equação indicial associada é \(r^2-3r+2=0\) cujas raízes são \(r=1\) e \(r=2\), logo a solução geral é:
Duas raízes reais e iguais: Se \(r\) é uma raiz dupla, \(y_1(x)=x^r\) e a segunda função é dada pela multiplicação de \(x^r\) por \(\ln(x)\), isto é:
logo a solução da homogênea será:
Exemplo: Seja a EDOL de Euler \(L(y)=x^2y''-3xy'+4y=0\). Tomando \(y(x)=x^r\), obtemos:
Assim a equação indicial associada é \(r^2-4r+4=(r-2)^2=0\), que tem uma raíz dupla r=2, logo uma solução é:
e a segunda solução tem a forma:
Justificativa: Vamos retomar a expressão já obtida antes e realizar um detalhamento para justificar esta multiplicação por \(\ln(x)\).
Como:
então, aplicando o operador diferencial em relação a variável \(r\), aqui denotado por D_r, obtemos:
Como os operadores diferenciais \(D_r\) e \(L\) comutam, podemos reescrever esta última expressão como:
Como estamos fazendo a derivada em relação à variável \(r\), nosso trabalho é um pouco maior e neste caso:
o que garante que
Neste caso, sabemos que o autovalor é \(r=2\) e tomando \(r=2\) na última expressão obtemos:
Como o operador \(L\) aplicado a esta função fornece um resultado nulo, segue que esta é uma outra solução da EDOL de Euler, ou seja:
Como o conjunto formado pelas funções \(y_1\) e \(y_2\) é linearmente independente, podemos escrever a solução geral como:
ou seja
Exemplo: Seja agora uma EDOL de Euler de terceira ordem \(x^3y^{(3)}+6x^2y''+7xy'+y=0\). Tomando \(y(x)=x^r\) segue que:
Observamos que a equação indicial (característica) é:
e tem a raiz tripla \(r=-1\), garantindo uma primeira solução:
Com um processo similar ao do exemplo anterior, multiplicamos \(y_1\) por \(\ln(x)\) para obter:
e multiplicamos \(y_2\) por \(\ln(x)\) para obter:
e a solução geral desta EDOL de Euler é:
Duas raízes complexas conjugadas: Se as raízes são dadas por \(r_1=a+bi\) e \(r_2=a-bi\), poderíamos usar as funções complexas, como:
mas isto nem sempre é adequado, pois procuramos funções reais válidas para x>0.
Vamos operar com as partes real e imaginária do número complexo \(r=a+bi\) para obter a solução da EDOL homogênea de Euler. Usando a relação de Euler, que afirma que \(\exp(pi)=\cos(p)+i\text{sen}(p)\), podemos escrever:
Desse modo, tomamos as partes real e imaginária desta última função como as duas soluções LI procuradas, que são as funções reais:
e a solução geral da EDOL homogênea associada é:
Exemplo: A EDOL de Euler \(L(y)=x^2y''+xy'+4y=0\) tem equação indicial \(r^2+4=0\), cujas raízes são \(r=2i=0+2i\) e \(r=-2i=0-2i\), assim:
e a solução geral da EDOL homogênea associada é: