¿Evaluar integrales\begin{align} I{1} &= \int{0}^{1} \ln^{2n}(x) \ \ln\left(\ln\left(\frac{1}{x}\right)\right) dx \end {Alinee el} y \begin{align} I{2} = \int{0}^{1} \ln^{2n}(x) \ \ln^{2}\left(\ln\left(\frac{1}{x}\right)\right) dx. \end{align} de los valores resultantes de los integrales arriba es posible evaluar la integral\begin{align} I{3} = \int{0}^{1} \left( x^{a} + \frac{1}{x^{a}} \right) \ \ln^{p}\left(\ln\left(\frac{1}{x}\right)\right) dx \end {Alinee el} donde $p=1,2$ en forma? Por favor, mostrar todo el trabajo en las soluciones.
Respuestas
¿Demasiados anuncios?
$I_j$ $j = 1,2$ puede ser calculada de la siguiente manera:
Sustituto $u = -\ln x$, $\,dx = e^{-u} \,du$ para obtener \begin{align} I_1 &= \int_0^{\infty} x^{2n}e^{-x} \ln x \,dx = \partial_{\mu}|_0\int_0^{\infty} x^{2n+\mu}e^{-x}\,dx \\ &=\partial_{\mu}|_0 \,\Gamma(2n+\mu+1) \\ &= \Gamma(2n+1) \ \psi(2n+1) \end{align} y del mismo modo, mediante la diferenciación de dos veces antes de configuración de $\mu=0$, obtenemos \begin{align} I_{2} = \Gamma(2n+1) \ \left[\psi(2n+1)^2+\psi_1(2n+1)\right]. \end{align}
Ahora vamos a usar estos resultados (con $n = 0$) para probar algunos de los lemas. Primer aviso de que para $b>0$, tenemos \begin{align} \int_0^{\infty} e^{-bx} \ln x \,dx &= \frac{1}{b}\int_0^{\infty} e^{-x} (\ln x - \ln b)\,dx \\ &= - \frac{\ln b}{b}+ \frac{1}{b}\int_0^{\infty} x^0e^{-x} \ln x \,dx \\ &= - \frac{\ln b}{b}+ \frac{1}{b}\psi(1)\Gamma(1) \\ &= - \frac{\ln b+\gamma}{b} \end{align} donde he utilizado el conocido valor de $\psi(1) = -\gamma$. También tenga en cuenta que \begin{align} \int_0^{\infty} e^{-bx} \ln^2 x \,dx &= \frac{1}{b}\int_0^{\infty} e^{-x} \left(\ln^2 x - 2 \ln b \ln x + \ln^2 b\right)\,dx \\ &= \frac{1}{b}\int_0^{\infty} e^{-x} (\ln^2 x - 2 \ln b \ln x + \ln^2 b)\,dx \\ &= \frac{1}{b} \left(\pi^2/6+\gamma^2 + 2 \gamma \ln b + \ln^2 b \right) \\ &= \frac{\pi^2/6+(\gamma+\ln b)^2}{b} \end{align} donde he utilizado ese $\psi_1(1) = \zeta(2) = \pi^2/6$.
Ahora sustituye $u = -\ln x$ obtener por $p = 1$ \begin{align} \int_0^{1} \left(x^a + x^{-a} \right) \ln\left( \ln \frac{1}{x} \right) \,dx &= \int_0^{\infty} \left(e^{-(1+a)x} + e^{-(1-a)x} \right) \ln x \,dx \\ &= \frac{2 \gamma}{1-a^{2}} - \frac{\ln (1-a)}{1-a}- \frac{\ln (1+a)}{1+a}, \end{align} donde $a \neq 1$, y para $p = 2$ \begin{align} \int_0^{1} \left(x^a + x^{-a} \right) \ln^2\left( \ln \frac{1}{x} \right) \,dx &= \int_0^{\infty} \left(e^{-(1+a)x} + e^{-(1-a)x} \right) \ln^2 x \,dx \\ &= \frac{\pi^{2}}{3(1-a^{2})} + \frac{(\gamma+\ln (1-a))^2}{1-a} + \frac{(\gamma+\ln (1+a))^2}{1+a}, \end{align} donde $a \neq 1$.
Felix Marin
Puntos
32763
$\newcommand{\+}{^{\daga}} \newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\down}{\downarrow} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\isdiv}{\,\left.\a la derecha\vert\,} \newcommand{\cy}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert} \newcommand{\wt}[1]{\widetilde{#1}}$ $\ds{{\cal I}_{n}\pars{\mu} \equiv\int_{0}^{1}\ln^{2n}\pars{x}\ln^{\mu}\pars{\ln\pars{1 \over x}}\,\dd x:\ {\large ?}.\qquad n,\mu \in {\mathbb N}}$.
Con $\ds{x = \expo{-t}\quad\imp\quad t = -\ln\pars{x}}$: \begin{align} {\cal I}_{n}\pars{\mu}& =\int_{\infty}^{0}\ln^{2n}\pars{\expo{-t}}\ln^{\mu}\pars{\ln\pars{\expo{t}}} \,\bracks{\expo{-t}\pars{-\dd t}} =\int_{0}^{\infty}t^{2n}\ln^{\mu}\pars{t}\expo{-t}\,\dd t \\[3mm]&=\lim_{\alpha \to 2n}\partiald[\mu]{}{\alpha} \int_{0}^{\infty}t^{\alpha}\expo{-t}\,\dd t =\lim_{\alpha \to 2n}\partiald[\mu]{\Gamma\pars{\alpha + 1}}{\alpha} \end{align} donde $\ds{\Gamma\pars{z}}$ es la Función Gamma.
\begin{align} {\cal I}_{n}\pars{\mu}& =\lim_{\alpha \to 2n}\left\lbrace% \begin{array}{ll} \Gamma\pars{\alpha + 1}\Psi\pars{\alpha + 1}\,, & \quad\mu = 1 \\[2mm] \Gamma\pars{\alpha + 1} \bracks{\Psi^{2}\pars{\alpha + 1} + \Psi'\pars{\alpha + 1}}\,, & \quad\mu = 2 \end{array}\right. \end{align} $\ds{\Psi\pars{z} \equiv \totald{\ln\pars{\Gamma\pars{z}}}{z}}$ es la Función Digamma.
\begin{align} \color{#00f}{\large{\cal I}_{n}\pars{\mu}}& =\color{#00f}{\large\left\lbrace% \begin{array}{ll} \pars{2n}!\,\Psi\pars{2n + 1}\,, & \quad\mu = 1 \\[2mm] \pars{2n}!\,\bracks{\Psi^{2}\pars{2n + 1} + \Psi'\pars{2n + 1}}\,, & \quad\mu = 2 \end{array}\right.} \end{align} donde hemos utilizado La Recurrencia De La Fórmula${\bf\mbox{6.1.15}}$: $\ds{\Gamma\pars{m + 1} = m!\,,\quad m \in {\mathbb N}}$.
$\color{#f00}{\ds{I_{3}\equiv\int_{0}^{1}\pars{x^{a} + {1 \over x^{a}}} \ln^{p}\pars{\ln\pars{1 \over x}}\,\dd x:\ {\large ?}}}$ \begin{align} I_{3}&=\int_{\infty}^{0}\pars{\expo{-at} + \expo{at}} \ln^{p}\pars{\ln\pars{\expo{t}}}\,\pars{-\expo{-t}\,\dd t} \\[3mm]&=\int_{0}^{\infty}\ln^{p}\pars{t}\expo{-\pars{1 + a}t}\,\dd t \int_{0}^{\infty}\ln^{p}\pars{t}\expo{-\pars{1 - a}t}\,\dd t \\[3mm]&=\lim_{\alpha \to 0}\partiald[p]{}{\alpha}\bracks{% \int_{0}^{\infty}t^{\alpha}\expo{-\pars{1 + a}t}\,\dd t \int_{0}^{\infty}t^{\alpha}\expo{-\pars{1 - a}t}\,\dd t} \end{align} Tanto las integrales convergen simultáneamente al $\ds{\Re\pars{\alpha} > - 1}$ y $\ds{\verts{\Re\pars{a}} < 1}$. En ese caso \begin{align} I_{3}&=\lim_{\alpha \to 0}\partiald[p]{}{\alpha}\bracks{% \pars{1 + a}^{-\alpha - 1} + \pars{1 - a}^{-\alpha - 1}}\Gamma\pars{\alpha + 1} \end{align}
$$\color{#00f}{\large% \a la izquierda.I_{3}\right\vert_{p\ =\ 1} =-\,{\pars{1}\ln\pars{1 + a} + \pars{1 + a}\ln\pars{1} + 2\gamma \más de 1 - un^{2}}}\,,\quad \verts{\Re\pars{un}} < 1 $$
$$\color{#00f}{\large% \a la izquierda.I_{3}\right\vert_{p\ =\ 2} = {Num \más de 3\pars{1 - a^{2}}}} $$
\begin{align} \color{#00f}{Num}&=\color{#00f}{3 (a+1) \ln^2(1-a)-3 (a-1) \ln^2(a+1)+6 \gamma (a+1) \ln(1-a)} \\[3mm]&\color{#00f}{-6 \gamma(a-1)\ln(a+1)+6 \gamma ^2+\pi^{2}} \,,\quad \verts{\Re\pars{a}} < 1 \end{align} $\ds{\gamma}$ es el de Euler-Mascheroni Constante ${\bf\mbox{6.1.3}}$.
