Use o método de variação dos parâmetros para determinar a solução geral da equação diferencial dada.
8. y^{\prime \prime \prime}-y^{\prime}=\csc t, \quad 0<t<\pi
Passo 1
O enunciado pede: determinar a solução geral da equação diferencial
onde usei a primitiva conhecida de \csc t. Aqui C é uma constante de integração. Vou, por ora, separar a parte \ln\!\bigl|\tan\frac{t}{2}\bigr| e lembrar que a constante pode ser absorvida depois nos constantes gerais da solução.
Passo 3
Pequena demonstração de \int \csc t\,dt=\ln\!\bigl|\tan\frac{t}{2}\bigr|+C:
basta observar que
\frac{d}{dt}\ln\!\bigl(\tan\frac{t}{2}\bigr)=\frac{1}{\tan(t/2)}\cdot\frac12\operatorname{sec}^2\!\frac{t}{2} =\frac{1}{2}\frac{1}{\sin(t/2)\cos(t/2)}=\frac{1}{\sin t}=\csc t.
Logo a primitiva usada está correta. (No intervalo 0<t<\pi podemos omitir as barras de valor absoluto se desejar, mas deixo a forma geral.)
Passo 4
Agora resolvemos a equação de segunda ordem obtida:
y''-y=\ln\!\bigl|\tan\frac{t}{2}\bigr| + C.
A equação homogênea associada é
y''-y=0,
com equação característica r^2-1=0, raízes r=\pm1. Portanto um sistema fundamental é
y_1(t)=e^{t},\qquad y_2(t)=e^{-t}.
A solução geral da homogênea é y_h=D_1 e^{t}+D_2 e^{-t}.
A parte constante C do lado direito admite solução particular constante y=-C (pois ( -C)'' -(-C)=0-C = -C, portanto para o lado +C a solução particular é -C). Essa constante será absorvida nas constantes arbitrárias finais; por simplicidade tratarei apenas do termo não-constante g(t)=\ln\!\bigl|\tan\frac{t}{2}\bigr| e acrescentarei a liberdade das constantes no final.
Como expliquei, a constante resultante da primeira integração (quando reduzimos a ordem) pode ser absorvida em uma solução constante; assim a solução geral da equação original de terceira ordem tem três constantes arbitrárias. É prático escolher integrais definidas a partir de um ponto t_0 dentro do intervalo (por exemplo t_0=\tfrac{\pi}{2}, onde \tan(t_0/2)=1 e \ln 1=0) para eliminar constantes de integração implícitas nas primitivas. Tomando integrais definidas de t_0=\tfrac{\pi}{2} até t, obtemos uma forma explícita e única para a parte integral.
Passo 7
Reunindo tudo: a solução geral da equação original é a soma da solução homogênea de terceira ordem (que inclui a solução constante 1) e da parte particular obtida acima. Posso escrever a solução geral com três constantes arbitrárias C_1,C_2,C_3 e as integrais definidas a partir de t_0=\tfrac{\pi}{2} para ficar mais limpo:
C_1,C_2,C_3 são constantes arbitrárias (a constante C_1 corresponde à solução constante da homogênea y\equiv 1);
os termos integrais constituem uma solução particular; ao escolher o ponto inferior \pi/2 as integrais ficam nulas em t=\pi/2, o que fixa uma convenção para as primitivas sem perder generalidade.