Aquí abordaremos la integral:
\begin {Ecuación} I = \int_ { \frac {1}{2}}^1 \frac { \ln (x)}{1 - x}\\N:dx \end {Ecuación}
Primero observamos que:
\begin {Ecuación} \frac { \partial }{ \partial a} x^a = x^a \ln (x) \Longrightarrow \ln (x) = \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} x^a \end {Ecuación}
Así,
\begin {Ecuación} I = \int_ { \frac {1}{2}}^1 \frac { \ln (x)}{1 - x}\\N:dx = \int_ { \frac {1}{2}}^1 \frac { \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} x^a }{1 - x}\:dx \end {Ecuación}
Que por la regla integral de Leibniz se convierte en: \begin {Ecuación} I = \int_ { \frac {1}{2}}^1 \frac { \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} x^a }{1 - x}\:dx = \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} \int_ { \frac {1}{2}}^1 \frac {x^a}{1 - x}\:dx \end {Ecuación}
Ahora empleamos la serie de Taylor para $\frac{1}{1 - x}$ (que es convergente en los límites de la integral):
\begin {Ecuación} \frac {1}{1 - x} = \sum_ {n = 0}^{ \infty } x^n \end {Ecuación}
Así, nuestra integral se convierte en: \begin {align} I &= \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} \int_ { \frac {1}{2}}^1 \frac {x^a}{1 - x}\:dx = \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} \int_ { \frac {1}{2}}^1 x^a \sum_ {n = 0}^{ \infty } x^n \:dx = \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} \sum_ {n = 0}^{ \infty } \int_ { \frac {1}{2}} x^{a + n} \N - dx \nonumber \\ &= \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} \sum_ {n = 0}^{ \infty } \left [ \frac {x^{a + n + 1}}{a + n + 1} \right ]_{ \frac {1}{2}}^1 = \lim_ {a \rightarrow 0^+} \frac { \partial }{ \partial a} \sum_ {n = 0}^{ \infty } \left [ \frac {1}{a + n + 1} - \frac { \left ( \frac {1}{2} \right )^{a + n + 1}}{a + n + 1} \right ] \nonumber \\ &= \lim_ {a \rightarrow 0^+} \sum_ {n = 0}^{ \infty } \left [ \frac {-1}{ \left (a + n + 1 \right )^2} - \frac { \left ( \frac {1}{2} \right )^{a + n + 1}}{ \left (a + n + 1 \right )^2} + \frac { \ln\left ( \frac {1}{2} \right ) \left ( \frac {1}{2} \right )^{a + n + 1}}{a + n + 1} \right ] \nonumber \\ &= \sum_ {n = 0}^{ \infty } \left [ \frac {-1}{ \left (n + 1 \right )^2} - \frac { \left ( \frac {1}{2} \right )^{n + 1}}{ \left ( n + 1 \right )^2} + \frac { \ln\left ( \frac {1}{2} \right ) \left ( \frac {1}{2} \right )^{n + 1}}{n + 1} \right ] \nonumber \\ &= - \sum_ {n = 0}^{ \infty } \frac {1}{(n + 1)^2} - \frac {1}{2} \sum_ {n = 0}^{ \infty } \frac { \left ( \frac {1}{2} \right )^n}{(n + 1)^2} + \frac { \ln\left ( \frac {1}{2} \right )}{2} \sum_ {n = 0}^{ \infty } \frac { \left ( \frac {1}{2} \right )^n}{n + 1} \nonumber \\ &= - \Phi\left (1,1,2 \right ) - \frac {1}{2} \Phi\left ( \frac {1}{2},1,2 \right ) + \ln ( \sqrt {2}) \Phi\left ( \frac {1}{2},1,1 \right ) \end {align} Dónde $\Phi(\cdot, \cdot, \cdot, \cdot)$ es la función transcedente de Lerch.