Después de la sustitución de la variable x con t, el primer paso es iniciar el proceso iterativo de la integración en el log(t) en lugar de 1/t. El enésimo antiderivada del logaritmo natural está dada por la siguiente.
Si
$
n\geq 0\in \mathbb{Z}\de la tierra t>0\in \mathbb{R}
$
a continuación,
$$
\displaystyle \log ^{(n)}(t)=\frac{t^n} {n!)^2}(n! \log (t)+\cos (n \pi ) S_{n+1}^{(2)})
$$
La prueba, por inducción sobre n.
La proposición a n:
$
\displaystyle \log ^{(n)}(t)=\frac{\cos (n \pi ) S_{n+1}^{(2)} t^n} {n!)^2}+\frac{t^n \log (t)}{n!}
$
La proposición en n=0:
El número de Stirling de primera especie plazo evalúa a cero,
$
S_1^{(2)}=0
$
.
Sustituir y simplificar.
$
\displaystyle \log ^{(0)}(t)=0+\frac{t^0 \log (t)}{0!}=\log (t)
$
La proposición en n+1:
Integrar la propuesta de n con adecuado antiderivada límites.
$$
\displaystyle \int_0^t \log ^{(n)}(u) \, du=\frac{\cos (n \pi ) S_{n+1}^{(2)}}{(n!)^2}\int_0^t u^n \, du+\frac{1}{n!}\int _0^tu^n \log (u)du
$$
Evaluar la primera integral.
$
\int_0^t \log ^{(n)}(u) \, du=\log ^{(-(n+1))}(t)-\log ^{(-(n+1))}(0)
$
Si n>0, entonces el siguiente es verdadero.
$
\displaystyle \lim_{t\to 0} \, \log ^{(n)}(t)=\log ^{(n)}(0)
$
$
\displaystyle \log ^{(n)}(0)=\lim_{t\to 0} \, \left(\frac{\cos (n \pi ) S_{n+1}^{(2)} t^n} {n!)^2}+\frac{t^n \log (t)}{n!}\right)
$
$
\displaystyle \log ^{(n)}(0)=\lim_{t\to 0} \, \frac{\cos (n \pi ) S_{n+1}^{(2)} t^n} {n!)^2}+\lim_{t\to 0} \, \frac{t^n \log (t)}{n!}
$
$
\displaystyle \log ^{(n)}(0)=0+0
$
$
\displaystyle \log ^{(-(n+1))}(0)=0
$
Sustituyendo,
$
\displaystyle \int_0^t \log ^{(n)}(u) \, du=\log ^{(-(n+1))}(t)
$
Evaluar la segunda integral.
$
\displaystyle \frac{\cos (n \pi ) S_{n+1}^{(2)}}{(n!)^2}\int_0^t u^n \, du=\frac{\cos (n \pi ) S_{n+1}^{(2)}}{(n!)^2} \frac{t^{n+1}}{(n+1)}
$
Evaluar la tercera integral.
$
\displaystyle \frac{1}{n!}\int _0^tu^n \log (u)du=-\frac{t^{n+1}}{(n+1)^2 n!}+\frac{t^{n+1} \log (t)}{(n+1)!}
$
Montar la proposición de n+1 ecuaciones.
$
\displaystyle \log ^{(-(n+1))}(t)=\frac{\cos (n \pi ) S_{n+1}^{(2)}}{(n!)^2} \frac{t^{n+1}}{(n+1)}-\frac{t^{n+1}}{(n+1)^2 n!}+\frac{t^{n+1} \log (t)}{(n+1)!}
$
Ahora la estrategia es mostrar que la siguiente es verdadero.
$
\displaystyle \frac{\cos ((n+1)\pi ) S_{n+2}^{(2)} t^{n+1}}{((n+1)!)^2}=\frac{\cos (n \pi ) S_{n+1}^{(2)}}{(n!)^2} \frac{t^{n+1}}{(n+1)}-\frac{t^{n+1}}{(n+1)^2 n!}
$
Simplificar la ecuación anterior.
$
\displaystyle \frac{\cos ((n+1)\pi ) S_{n+2}^{(2)} t^{n+1}}{((n+1)!)^2}=\frac{\cos (n \pi ) S_{n+1}^{(2)}}{(n!)^2} \frac{(n+1) t^{n+1}}{(n+1)^2}-\frac{n! t^{n+1}}{(n+1)^2 (n!)^2}
$
$
\displaystyle -\cos (n \pi ) S_{n+2}^{(2)}=\cos (n \pi ) S_{n+1}^{(2)} (n+1)-n!
$
$
\displaystyle n! \cos (n \pi )= (n+1) S_{n+1}^{(2)}+S_{n+2}^{(2)}
$
Utilizar los siguientes identidades de la Biblioteca Digital de Funciones Matemáticas.
-
(1) $ \displaystyle \quad S_n^{(1)}=(-1)^{n-1} (n-1)!$
-
(2) $ \displaystyle \quad S_n^{(k)}=S_{n-1}^{(k-1)}-(n-1) S_{n-1}^{(k)}$
Cambio y aplicar la identidad de la primera.
$
\displaystyle n=n+1
$
$
\displaystyle S_{n+1}^{(1)}=n! \cos (n \pi )
$
$
\displaystyle S_{n+1}^{(1)}=(n+1) S_{n+1}^{(2)}+S_{n+2}^{(2)}
$
Cambio, reorganizar y comparar la segunda identidad..
$
\displaystyle n=n+2
$
$
\displaystyle S_{n+2}^{(k)}=S_{n+1}^{(k-1)}-(n+1) S_{n+1}^{(k)}
$
$
\displaystyle S_{n+1}^{(k-1)}=(n+1) S_{n+1}^{(k)}+S_{n+2}^{(k)}
$
La proposición en n+1 es equivalente a la anterior identidad con la variable k=2. Por lo tanto, la proposición en n+1 es verdadera.
$
\displaystyle \Cuadro
$
Muy posiblemente por primera vez en la historia humana, ahora somos capaces de mirar a la googolplexth antiderivada del logaritmo natural:)
$$
\displaystyle \frac{t^{10^{10^{100}}}}{\a la izquierda(10^{10^{100}}!\right)^2} \left(10^{10^{100}}! \log (t)+S_{10^{10^{100}}+1}^{(2)} \cos \left(\pi 10^{10^{100}}\right)\right)+C
$$
Historia:
Es extraño! Debo haber mirado este problema un trillón de veces antes y nunca lo vi. Pero esta vez la solución cayó. Me genera el siguiente repitió la integración de la tabla.
$
t^k \log (t)\\ \frac{t^{k+1} \log (t)}{k+1}-\frac{t^{k+1}}{(k+1)^2}\\ \frac{t^{k+2} \log (t)}{k^2+3 k+2}-\frac{(2 k+3) t^{k+2}}{(k+1)^2 (k+2)^2}\\ \frac{t^{k+3} \log (t)}{k^3+6 k^2+11 k+6}-\frac{\left(3 k^2+12 k+11\right) t^{k+3}}{(k+1)^2 (k+2)^2 (k+3)^2}\\ \frac{t^{k+4} \log (t)}{(k+1) (k+2) (k+3) (k+4)}-\frac{2 \left(2 k^3+15 k^2+35 k+25\right) t^{k+4}}{(k+1)^2 (k+2)^2 (k+3)^2 (k+4)^2}\\ \frac{t^{k+5} \log (t)}{(k+1) (k+2) (k+3) (k+4) (k+5)}-\frac{\left(5 k^4+60 k^3+255 k^2+450 k+274\right) t^{k+5}}{(k+1)^2 (k+2)^2 (k+3)^2 (k+4)^2 (k+5)^2}\\ \frac{t^{k+6} \log (t)}{(k+1) (k+2) (k+3) (k+4) (k+5) (k+6)}-\frac{\left(6 k^5+105 k^4+700 k^3+2205 k^2+3248 k+1764\right) t^{k+6}}{(k+1)^2 (k+2)^2 (k+3)^2 (k+4)^2 (k+5)^2 (k+6)^2}\\ \frac{t^{k+7} \log (t)}{(k+1) (k+2) (k+3) (k+4) (k+5) (k+6) (k+7)}-\frac{\left(7 k^6+168 k^5+1610 k^4+7840 k^3+20307 k^2+26264 k+13068\right) t^{k+7}}{(k+1)^2 (k+2)^2 (k+3)^2 (k+4)^2 (k+5)^2 (k+6)^2 (k+7)^2}
$
Me preguntaba si la Enciclopedia en Línea de Secuencias de Enteros tenía información sobre lo siguiente.
$
\displaystyle \{7,168,1610,7840,20307,26264,13068\}
$
En oeis.org/A196837 he encontrado una fórmula de Stirling Triángulo. Todo fue cuesta abajo desde allí. Se me ocurrió una fórmula para el coeficiente constante términos y sea k ir a cero.
En conclusión, aquí es una tabla de los primeros siete antiderivatives del logaritmo natural.
$
\displaystyle \begin{array}{ll}
\text{n} & \text{antiderivada} \\
\hline
0 & \log (t) \\
1 & t (\log (t)-1) \\
2 & t^2 \left(\frac{\log (t)}{2}-\frac{3}{4}\right) \\
3 & t^3 \left(\frac{\log (t)}{6}-\frac{11}{36}\right) \\
4 & t^4 \left(\frac{\log (t)}{24}-\frac{25}{288}\right) \\
5 & t^5 \left(\frac{\log (t)}{120}-\frac{137}{7200}\right) \\
6 & t^6 \left(\frac{\log (t)}{720}-\frac{49}{14400}\right) \\
7 & t^7 \left(\frac{\log (t)}{5040}-\frac{121}{235200}\right)
\end{array}
$
La paz