Función de Clausen

Gráfico de la función de Clausen $\mathrm {Cl} _{2}(\theta )$ (rojo) y $\mathrm {Cl} _{4}(\theta )$ (verde)

Función de Clausen

En matemáticas, la función de Clausen, introducida por Thomas Clausen en 1832, es una función especial transcendental de una sola variable.

Se puede expresar en la forma de una integral definida, de una serie trigonométrica y a partir de otras funciones especiales. Está conectada íntimamente con el polilogaritmo, la integral de la tangente inversa, la función poligamma, la función zeta de Riemann, la función eta de Dirichlet y la función beta de Dirichlet.

La función de Clausen de orden 2, frecuentemente referida como la «función de Clausen», siendo una de sus muchas clases, viene dada por la integral:

$\operatorname {Cl} _{2}(\varphi )=-\int _{0}^{\varphi }\log \left|2\sin {\frac {x}{2}}\right|\,dx:$

En el rango $0<\varphi <2\pi \,$, la función seno carece del signo de valor absoluto por ser estrictamente positiva, de manera que el símbolo del valor absoluto puede omitirse.

La función de Clausen también se puede representar en serie de Fourier:

$\operatorname {Cl} _{2}(\varphi )=\sum _{k=1}^{\infty }{\frac {\sin k\varphi }{k^{2}}}=\sin \varphi +{\frac {\sin 2\varphi }{2^{2}}}+{\frac {\sin 3\varphi }{3^{2}}}+{\frac {\sin 4\varphi }{4^{2}}}+\cdots$

Las funciones Clausen, como una clase de funciones, se utilizan ampliamente en numerosas áreas de investigación de la matemática moderna, sobre todo en relación con la evaluación de muchas clases de integrales logarítmicas y polilogarítmicas, tanto definidas como indefinidas. También tienen diversas aplicaciones para el cálculo de series hipergeométricas, sumas que impliquen la inversa del coeficiente binomial central, sumas de la función poligamma y series L de Dirichlet.

Propiedades básicas

La función de Clausen (de orden 2) tiene ceros simples en todo (número entero) múltiplo de $\pi ,\,$ ya que si $k\in \mathbb {Z} \,$ es un número entero, $\sin k\pi =0$:

$\operatorname {Cl} _{2}(m\pi )=0,\quad m=0,\,\pm 1,\,\pm 2,\,\pm 3,\,\cdots$

Tiene un máximo en: $\theta ={\frac {\pi }{3}}+2m\pi \quad [m\in \mathbb {Z} ]$

$\operatorname {Cl} _{2}\left({\frac {\pi }{3}}+2m\pi \right)=1.01494160\ldots$

y un mínimo en: $\theta =-{\frac {\pi }{3}}+2m\pi \quad [m\in \mathbb {Z} ]$

$\operatorname {Cl} _{2}\left(-{\frac {\pi }{3}}+2m\pi \right)=-1.01494160\ldots$

Las siguientes propiedades son consecuencia inmediata de la definición de serie:​

$\operatorname {Cl} _{2}(\theta +2m\pi )=\operatorname {Cl} _{2}(\theta )$

$\operatorname {Cl} _{2}(-\theta )=-\operatorname {Cl} _{2}(\theta )$

Definición general

Funciones estándar de Clausen

Funciones de Glaisher-Clausen

Con un carácter más amplio, se definen las dos funciones generalizadas de Clausen:

$\operatorname {S} _{z}(\theta )=\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{z}}}$

$\operatorname {C} _{z}(\theta )=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{z}}}$

que son válidas en el campo complejo z con Re z >1. La definición se puede extender a todo el plano complejo a través de su extensión analítica.

Cuando z es reemplazado por un número entero no-negativo, las funciones estándar de Clausen se definen mediante la serie de Fourier siguiente:

$\operatorname {Cl} _{2m+2}(\theta )=\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+2}}}$

$\operatorname {Cl} _{2m+1}(\theta )=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}$

$\operatorname {Sl} _{2m+2}(\theta )=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+2}}}$

$\operatorname {Sl} _{2m+1}(\theta )=\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}$

Cabe notar que las funciones de Clausen de tipo SL tienen la notación alternativa $\operatorname {Gl} _{m}(\theta )\,$ y se denominan en ocasiones como las funciones de Glaisher-Clausen (de James Whitbread Lee Glaisher, de ahí la notación GL).

Relación con los polinomios de Bernoulli

Las funciones de Clausen del tipo SL son polinomiales en $\,\theta \,$, y están estrechamente relacionadas con los polinomios de Bernoulli. Esta conexión se desprende de las representaciones de la serie de Fourier de los polinomios de Bernoulli:

$B_{2n-1}(x)={\frac {2(-1)^{n}(2n-1)!}{(2\pi )^{2n-1}}}\,\sum _{k=1}^{\infty }{\frac {\sin 2\pi kx}{k^{2n-1}}}.$

$B_{2n}(x)={\frac {2(-1)^{n-1}(2n)!}{(2\pi )^{2n}}}\,\sum _{k=1}^{\infty }{\frac {\cos 2\pi kx}{k^{2n}}}.$

Configurando $\,x=\theta /2\pi \,$ en la expresión anterior y reordenando después los términos resultan las siguientes expresiones (polinomiales) de forma cerrada:

$\operatorname {Sl} _{2m}(\theta )={\frac {(-1)^{m-1}(2\pi )^{2m}}{2(2m)!}}B_{2m}\left({\frac {\theta }{2\pi }}\right),$

$\operatorname {Sl} _{2m-1}(\theta )={\frac {(-1)^{m}(2\pi )^{2m-1}}{2(2m-1)!}}B_{2m-1}\left({\frac {\theta }{2\pi }}\right),$

donde los polinómios de Bernoulli $\,B_{n}(x)\,$ se definen en función de los números de Bernoulli $\,B_{n}\equiv B_{n}(0)\,$ por la relación:

$B_{n}(x)=\sum _{j=0}^{n}{\binom {n}{j}}B_{j}x^{n-j}.$

Las ecuaciones explícitas deducidas de las anteriores incluyen:

$\operatorname {Sl} _{1}(\theta )={\frac {\pi }{2}}-{\frac {\theta }{2}},$

$\operatorname {Sl} _{2}(\theta )={\frac {\pi ^{2}}{6}}-{\frac {\pi \theta }{2}}+{\frac {\theta ^{2}}{4}},$

$\operatorname {Sl} _{3}(\theta )={\frac {\pi ^{2}\theta }{6}}-{\frac {\pi \theta ^{2}}{4}}+{\frac {\theta ^{3}}{12}},$

$\operatorname {Sl} _{4}(\theta )={\frac {\pi ^{4}}{90}}-{\frac {\pi ^{2}\theta ^{2}}{12}}+{\frac {\pi \theta ^{3}}{12}}-{\frac {\theta ^{4}}{48}}.$

Fórmula de duplicación

Para $0<\theta <\pi$, se puede probar directamente la fórmula de duplicación en la definición de integral:​

$\operatorname {Cl} _{2}(2\theta )=2\operatorname {Cl} _{2}(\theta )-2\operatorname {Cl} _{2}(\pi -\theta )$

Las consecuencias immediatas de la fórmula de duplicación, junto con el uso del valor especial $\operatorname {Cl} _{2}\left({\frac {\pi }{2}}\right)=G$, incluyen las relaciones:

$\operatorname {Cl} _{2}\left({\frac {\pi }{4}}\right)-\operatorname {Cl} _{2}\left({\frac {3\pi }{4}}\right)={\frac {G}{2}}$

$2\operatorname {Cl} _{2}\left({\frac {\pi }{3}}\right)=3\operatorname {Cl} _{2}\left({\frac {2\pi }{3}}\right)$

Para las funcions de Clausen de orden superior, las fórmulas de duplicación se pueden obtener de la expuesta anteriormente; simplemente sustituyendo $\,\theta \,$ con la variable libre $\,x\,$ e integrando en el intervalo $\,[0,\theta ].\,$Aplicando el mismo proceso repetidamente, se tiene que:

$\operatorname {Cl} _{3}(2\theta )=4\operatorname {Cl} _{3}(\theta )+4\operatorname {Cl} _{3}(\pi -\theta )$

$\operatorname {Cl} _{4}(2\theta )=8\operatorname {Cl} _{4}(\theta )-8\operatorname {Cl} _{4}(\pi -\theta )$

$\operatorname {Cl} _{5}(2\theta )=16\operatorname {Cl} _{5}(\theta )+16\operatorname {Cl} _{5}(\pi -\theta )$

$\operatorname {Cl} _{6}(2\theta )=32\operatorname {Cl} _{6}(\theta )-32\operatorname {Cl} _{6}(\pi -\theta )$

Y más en general, con la inducción de $\,m,\,\,m\geq 1$

$\operatorname {Cl} _{m+1}(2\theta )=2^{m}{\Bigg [}\operatorname {Cl} _{m+1}(\theta )+(-1)^{m}\operatorname {Cl} _{m+1}(\pi -\theta ){\Bigg ]}$

El uso generalizado de la fórmula de duplicación permite una extensión del resultado de la función de Clausen de orden 2, relacionándola con la constante de Catalan. Para $\,m\in \mathbb {Z} \geq 1\,$

$\operatorname {Cl} _{2m}\left({\frac {\pi }{2}}\right)=2^{2m-1}\left[\operatorname {Cl} _{2m}\left({\frac {\ }{p}}i4\right)-\operatorname {Cl} _{2m}\left({\frac {3\pi }{4}}\right)\right]=\beta (2m)$

Donde $\,\beta (x)\,$ es la función beta de Dirichlet.

Demostración de la fórmula de duplicación

A partir de la definición integral,

$\operatorname {Cl} _{2}(2\theta )=-\int _{0}^{2\theta }\log {\Bigg |}2\sin {\frac {x}{2}}{\Bigg |}\,dx$

y aplicando la fórmula de duplicación de la funció seno, $\sin 2x=2\sin {\frac {x}{2}}\cos {\frac {x}{2}}$, se obtiene

${\begin{aligned}&-\int _{0}^{2\theta }\log {\Bigg |}\left(2\sin {\frac {x}{4}}\right)\left(2\cos {\frac {x}{4}}\right){\Bigg |}\,dx\\={}&-\int _{0}^{2\theta }\log {\Bigg |}2\sin {\frac {x}{4}}{\Bigg |}\,dx-\int _{0}^{2\theta }\log {\Bigg |}2\cos {\frac {x}{4}}{\Bigg |}\,dx\end{aligned}}$

Aplicando la sustitución $x=2y,dx=2\,dy$ en las dos integrales:

${\begin{aligned}&-2\int _{0}^{\theta }\log {\Bigg |}2\sin {\frac {x}{2}}{\Bigg |}\,dx-2\int _{0}^{\theta }\log {\Bigg |}2\cos {\frac {x}{2}}{\Bigg |}\,dx\\={}&2\,\operatorname {Cl} _{2}(\theta )-2\int _{0}^{\theta }\log {\Bigg |}2\cos {\frac {x}{2}}{\Bigg |}\,dx\end{aligned}}$

En esta última integral, substituyendo $y=\pi -x,\,x=\pi -y,\,dx=-dy$ y utilizando la identidad trigonométrica $\cos(x-y)=\cos x\cos y-\sin x\sin y$, se puede ver que:

${\begin{aligned}&\cos \left({\frac {\pi -y}{2}}\right)=\sin {\frac {y}{2}}\\\Longrightarrow \qquad &\operatorname {Cl} _{2}(2\theta )=2\,\operatorname {Cl} _{2}(\theta )-2\int _{0}^{\theta }\log {\Bigg |}2\cos {\frac {x}{2}}{\Bigg |}\,dx\\={}&2\,\operatorname {Cl} _{2}(\theta )+2\int _{\pi }^{\pi -\theta }\log {\Bigg |}2\sin {\frac {y}{2}}{\Bigg |}\,dy\\={}&2\,\operatorname {Cl} _{2}(\theta )-2\,\operatorname {Cl} _{2}(\pi -\theta )+2\,\operatorname {Cl} _{2}(\pi )\end{aligned}}$

$\operatorname {Cl} _{2}(\pi )=0\,$

Por tanto,

$\operatorname {Cl} _{2}(2\theta )=2\,\operatorname {Cl} _{2}(\theta )-2\,\operatorname {Cl} _{2}(\pi -\theta )\,.\,\Box$

Derivadas de las funciones de Clausen de orden general

Derivando directamente los desarrollos en serie de Fourier de las funciones de Clausen, se obtiene:

${\frac {d}{d\theta }}\operatorname {Cl} _{2m+2}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+2}}}=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}=\operatorname {Cl} _{2m+1}(\theta )$

${\frac {d}{d\theta }}\operatorname {Cl} _{2m+1}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}=-\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m}}}=-\operatorname {Cl} _{2m}(\theta )$

${\frac {d}{d\theta }}\operatorname {Sl} _{2m+2}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+2}}}=-\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}=-\operatorname {Sl} _{2m+1}(\theta )$

${\frac {d}{d\theta }}\operatorname {Sl} _{2m+1}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m}}}=\operatorname {Sl} _{2m}(\theta )$

Aplicando el primer teorema fundamental del cálculo, también se tiene que:

${\frac {d}{d\theta }}\operatorname {Cl} _{2}(\theta )={\frac {d}{d\theta }}\left[-\int _{0}^{\theta }\log {\Bigg |}2\sin {\frac {x}{2}}{\Bigg |}\,dx\,\right]=-\log {\Bigg |}2\sin {\frac {\theta }{2}}{\Bigg |}=\operatorname {Cl} _{1}(\theta )$

Relación con la integral de la tangente inversa

Se define la integral de la tangente inversa en el intervalo $0<z<1$ con

$\operatorname {Ti} _{2}(z)=\int _{0}^{z}{\frac {\tan ^{-1}x}{x}}\,dx=\sum _{k=0}^{\infty }(-1)^{k}{\frac {z^{2k+1}}{(2k+1)^{2}}}$

Tiene la siguiente forma cerrada en términos de la función de Clausen:

$\operatorname {Ti} _{2}(\tan \theta )=\theta \log(\tan \theta )+{\frac {1}{2}}\operatorname {Cl} _{2}(2\theta )+{\frac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )$

Demostración de la relación con la integral de la tangente inversa

De la definición de la integral de la tangente inversa, se tiene

$\operatorname {Ti} _{2}(\tan \theta )=\int _{0}^{\tan \theta }{\frac {\tan ^{-1}x}{x}}\,dx$

Realizando una integración por partes

$\int _{0}^{\tan \theta }{\frac {\tan ^{-1}x}{x}}\,dx=\tan ^{-1}x\log x\,{\Bigg |}_{0}^{\tan \theta }-\int _{0}^{\tan \theta }{\frac {\log x}{1+x^{2}}}\,dx=$

$\theta \log \tan \theta -\int _{0}^{\tan \theta }{\frac {\log x}{1+x^{2}}}\,dx$

Aplicando las sustituciones $x=\tan y,\,y=\tan ^{-1}x,\,dy={\frac {dx}{1+x^{2}}}\,$ se obtiene

$\theta \log \tan \theta -\int _{0}^{\theta }\log(\tan y)\,dy$

En la última integral, se debe aplicar la transformación $y=x/2,\,dy=dx/2\,$ y se consigue

${\begin{aligned}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left(\tan {\frac {x}{2}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left({\frac {\sin(x/2)}{\cos(x/2)}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left({\frac {2\sin(x/2)}{2\cos(x/2)}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left(2\sin {\frac {x}{2}}\right)\,dx+{\frac {1}{2}}\int _{0}^{2\theta }\log \left(2\cos {\frac {x}{2}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta +{\frac {1}{2}}\operatorname {Cl} _{2}(2\theta )+{\frac {1}{2}}\int _{0}^{2\theta }\log \left(2\cos {\frac {x}{2}}\right)\,dx.\end{aligned}}$

Finalmente, como con la prueba de la fórmula de duplicación, la sustitución $x=(\pi -y)\,$ reduce esta última parte de la integral a

$\int _{0}^{2\theta }\log \left(2\cos {\frac {x}{2}}\right)\,dx=\operatorname {Cl} _{2}(\pi -2\theta )-\operatorname {Cl} _{2}(\pi )=\operatorname {Cl} _{2}(\pi -2\theta )$

así

$\operatorname {Ti} _{2}(\tan \theta )=\theta \log \tan \theta +{\frac {1}{2}}\operatorname {Cl} _{2}(2\theta )+{\frac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )\,.\,\Box$

Relación con la función G-Barnes

Para los números reales $0<z<1$, la función de Clausen de orden 2 se puede expresar en términos de la función G-Barnes y la función Gamma (de Euler):

$\operatorname {Cl} _{2}(2\pi z)=2\pi \log \left({\frac {G(1-z)}{G(1+z)}}\right)-2\pi \log \left({\frac {\sin \pi z}{\pi }}\right)$

o de forma equivalente​

$\operatorname {Cl} _{2}(2\pi z)=2\pi \log \left({\frac {G(1-z)}{G(z)}}\right)-2\pi \log \Gamma (z)-2\pi \log \left({\frac {\sin \pi z}{\pi }}\right)$

Relación con el polilogaritmo

Las funciones de Clausen representen las partes real e imaginaria del polilogaritmo en la circunferencia unidad:

$\operatorname {Cl} _{2m}(\theta )=\Im (\operatorname {Li} _{2m}(e^{i\theta })),\quad m\in \mathbb {Z} \geq 1$

$\operatorname {Cl} _{2m+1}(\theta )=\Re (\operatorname {Li} _{2m+1}(e^{i\theta })),\quad m\in \mathbb {Z} \geq 0$

También se puede comprobar fácilmente acudiendo a la definición de la serie del polilogaritmo.

$\operatorname {Li} _{n}(z)=\sum _{k=1}^{\infty }{\frac {z^{k}}{k^{n}}}\quad \Longrightarrow \operatorname {Li} _{n}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\left(e^{i\theta }\right)^{k}}{k^{n}}}=\sum _{k=1}^{\infty }{\frac {e^{ik\theta }}{k^{n}}}$

Por el teorema de Euler,

$e^{i\theta }=\cos \theta +i\sin \theta$

y por el teorema de De Moivre (fórmula de De Moivre)

$(\cos \theta +i\sin \theta )^{k}=\cos k\theta +i\sin k\theta \quad \Rightarrow \operatorname {Li} _{n}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{n}}}+i\,\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{n}}}$

por tanto

$\operatorname {Li} _{2m}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m}}}+i\,\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m}}}=\operatorname {Sl} _{2m}(\theta )+i\operatorname {Cl} _{2m}(\theta )$

$\operatorname {Li} _{2m+1}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}+i\,\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}=\operatorname {Cl} _{2m+1}(\theta )+i\operatorname {Sl} _{2m+1}(\theta )$

Relación con la función poligamma

Las funciones de Clausen están íntimamente relacionadas con la función poligamma. De hecho, es posible expresar las funciones de Clausen con combinaciones lineales de funciones de senos y de la función poligamma. Una de estas relaciones se demuestra a continuación:

$\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)={\frac {1}{(2p)^{2m}(2m-1)!}}\,\sum _{j=1}^{p}\sin \left({\tfrac {qj\pi }{p}}\right)\,\left[\psi _{2m-1}\left({\tfrac {j}{2p}}\right)+(-1)^{q}\psi _{2m-1}\left({\tfrac {j+p}{2p}}\right)\right]$

Sean $\,p\,$i $\,q\,$ dos números enteros positivos, tal que $\,q/p\,$ es un número racional $\,0<q/p<1\,$ y, a continuación, por la definición de las series para la función de orden superior de Clausen (de índice par):

$\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)=\sum _{k=1}^{\infty }{\frac {\sin(kq\pi /p)}{k^{2m}}}$

se divide este sumatorio exactamente en p partes, de manera que la primera serie contenga todos, y no más, los términos congruentes con $\,kp+1,\,$ la segunda serie contiene todos los términos congruentes con $\,kp+2,\,$ etc., quedando la parte final de orden p, que contiene todos los términos congruentes con $\,kp+p\,$

${\begin{aligned}&\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)\\={}&\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+1){\frac {q\pi }{p}}\right]}{(kp+1)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+2){\frac {q\pi }{p}}\right]}{(kp+2)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+3){\frac {q\pi }{p}}\right]}{(kp+3)^{2m}}}+\cdots \\&\cdots +\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+p-2){\frac {q\pi }{p}}\right]}{(kp+p-2)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+p-1){\frac {q\pi }{p}}\right]}{(kp+p-1)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+p){\frac {q\pi }{p}}\right]}{(kp+p)^{2m}}}\end{aligned}}$

Se pueden indexar estos sumatorios para formar una sumatorio doble:

${\begin{aligned}&\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)=\sum _{j=1}^{p}{\Bigg \{}\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+j){\frac {q\pi }{p}}\right]}{(kp+j)^{2m}}}{\Bigg \}}\\={}&\sum _{j=1}^{p}{\frac {1}{p^{2m}}}{\Bigg \{}\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+j){\frac {q\pi }{p}}\right]}{(k+(j/p))^{2m}}}{\Bigg \}}\end{aligned}}$

Aplicando la fórmula de adición para la función seno,$\,\sin(x+y)=\sin x\cos y+\cos x\sin y,\,$ el término sinusoidal en el numerador se convierte en:

$\sin \left[(kp+j){\frac {q\pi }{p}}\right]=\sin \left(kq\pi +{\frac {qj\pi }{p}}\right)=\sin kq\pi \cos {\frac {qj\pi }{p}}+\cos kq\pi \sin {\frac {qj\pi }{p}}$

$\sin m\pi \equiv 0,\quad \,\cos m\pi \equiv (-1)^{m}\quad \Longleftrightarrow m=0,\,\pm 1,\,\pm 2,\,\pm 3,\,\ldots$

$\sin \left[(kp+j){\frac {q\pi }{p}}\right]=(-1)^{kq}\sin {\frac {qj\pi }{p}}$

y como consecuencia

$\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)=\sum _{j=1}^{p}{\frac {1}{p^{2m}}}\sin \left({\frac {qj\pi }{p}}\right)\,{\Bigg \{}\sum _{k=0}^{\infty }{\frac {(-1)^{kq}}{(k+(j/p))^{2m}}}{\Bigg \}}$

Para convertir el sumatorio interior del doble sumatorio en una suma no alterna, se divide exactamente en dos partes de la misma manera que el sumatorio interior anterior se dividió en p partes:

${\begin{aligned}&\sum _{k=0}^{\infty }{\frac {(-1)^{kq}}{(k+(j/p))^{2m}}}=\sum _{k=0}^{\infty }{\frac {(-1)^{(2k)q}}{((2k)+(j/p))^{2m}}}+\sum _{k=0}^{\infty }{\frac {(-1)^{(2k+1)q}}{((2k+1)+(j/p))^{2m}}}\\={}&\sum _{k=0}^{\infty }{\frac {1}{(2k+(j/p))^{2m}}}+(-1)^{q}\,\sum _{k=0}^{\infty }{\frac {1}{(2k+1+(j/p))^{2m}}}\\={}&{\frac {1}{2^{p}}}\left[\sum _{k=0}^{\infty }{\frac {1}{(k+(j/2p))^{2m}}}+(-1)^{q}\,\sum _{k=0}^{\infty }{\frac {1}{(k+\left({\frac {j+p}{2p}}\right))^{2m}}}\right]\end{aligned}}$

Para $\,m\in \mathbb {Z} \geq 1\,$, la función poligamma se puede representar con la serie

$\psi _{m}(z)=(-1)^{m+1}m!\sum _{k=0}^{\infty }{\frac {1}{(k+z)^{m+1}}}$

Por tanto, en términos de la función poligamma, el sumatorio anterior se convierte en:

${\frac {1}{2^{2m}(2m-1)!}}\left[\psi _{2m-1}\left({\tfrac {j}{2p}}\right)+(-1)^{q}\psi _{2m-1}\left({\tfrac {j+p}{2p}}\right)\right]$

Aplicando este término en el sumatorio doble, se obtiene el resultado deseado

$\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)={\frac {1}{(2p)^{2m}(2m-1)!}}\,\sum _{j=1}^{p}\sin \left({\tfrac {qj\pi }{p}}\right)\,\left[\psi _{2m-1}\left({\tfrac {j}{2p}}\right)+(-1)^{q}\psi _{2m-1}\left({\tfrac {j+p}{2p}}\right)\right]$

Relación con la integral log-seno generalizada

La integral log-seno generalizada se define por:

${\mathcal {L}}s_{n}^{m}(\theta )=-\int _{0}^{\theta }x^{m}\log ^{n-m-1}{\Bigg |}2\sin {\frac {x}{2}}{\Bigg |}\,dx$

En esta notación generalizada, la función de Clausen se puede expresar en la forma:

$\operatorname {Cl} _{2}(\theta )={\mathcal {L}}s_{2}^{0}(\theta )$

La relación de Kummer

Ernst Kummer y Rogers dieron la relación

$\operatorname {Li} _{2}(e^{i\theta })=\zeta (2)-\theta (2\pi -\theta )/4+i\operatorname {Cl} _{2}(\theta )$

válida para $0\leq \theta \leq 2\pi$.

Relación con la función de Lobachewsky

La función de Lobachevski (Λ o Л) es esencialmente la misma función con un cambio de variable:

$\Lambda (\theta )=-\int _{0}^{\theta }\log |2\sin(t)|\,dt=\operatorname {Cl} _{2}(2\theta )/2$

aunque históricamente el nombre de «función de Lobachevski» no es del todo precisa, dado que las fórmules de Lobachevski para el volumen hiperbólico que utilicen la función ligeramente diferente

$\int _{0}^{\theta }\log |\sec(t)|\,dt=\Lambda (\theta +\pi /2)+\theta \log 2.$

Relación con las series L de Dirichlet

Para los valores racionales de $\theta /\pi$ (es decir, para $\theta /\pi =p/q$ con los números enteros p i q), la función $\sin(n\theta )$ puede ser utilizada para representar una órbita periódica de un elemento en el grupo cíclico, y por tanto $\operatorname {Cl} _{s}(\theta )$ se puede expresar con una simple suma que implica la función zeta de Hurwitz. También permite que las relaciones entre ciertas series L de Dirichlet se puedan calcular fácilmente.

Aceleración de la serie

Una aceleración de la serie para la función de Clausen viene dada por

${\frac {\operatorname {Cl} _{2}(\theta )}{\theta }}=1-\log |\theta |+\sum _{n=1}^{\infty }{\frac {\zeta (2n)}{n(2n+1)}}\left({\frac {\theta }{2\pi }}\right)^{2n}$

válida para $|\theta |<2\pi$. Aquí, {$\zeta (s)$ es la función zeta de Riemann. Una forma de convergencia más rápida viene dada por

${\frac {\operatorname {Cl} _{2}(\theta )}{\theta }}=3-\log \left[|\theta |\left(1-{\frac {\theta ^{2}}{4\pi ^{2}}}\right)\right]-{\frac {2\pi }{\theta }}\log \left({\frac {2\pi +\theta }{2\pi -\theta }}\right)+\sum _{n=1}^{\infty }{\frac {\zeta (2n)-1}{n(2n+1)}}\left({\frac {\theta }{2\pi }}\right)^{n}.$

El factor $\zeta (n)-1$ ayuda a la convergencia acercándola rápidamente a cero para valores grandes de n.​

Valores especiales

Algunos valores especiales incluyen

$\operatorname {Cl} _{2}\left({\frac {\pi }{2}}\right)=G$

$\operatorname {Cl} _{2}\left({\frac {\pi }{3}}\right)=3\pi \log \left({\frac {G\left({\frac {2}{3}}\right)}{G\left({\frac {1}{3}}\right)}}\right)-3\pi \log \Gamma \left({\frac {1}{3}}\right)+\pi \log \left({\frac {2\pi }{\sqrt {3}}}\right)$

$\operatorname {Cl} _{2}\left({\frac {2\pi }{3}}\right)=2\pi \log \left({\frac {G\left({\frac {2}{3}}\right)}{G\left({\frac {1}{3}}\right)}}\right)-2\pi \log \Gamma \left({\frac {1}{3}}\right)+{\frac {2\pi }{3}}\log \left({\frac {2\pi }{\sqrt {3}}}\right)$

$\operatorname {Cl} _{2}\left({\frac {\pi }{4}}\right)=2\pi \log \left({\frac {G\left({\frac {7}{8}}\right)}{G\left({\frac {1}{8}}\right)}}\right)-2\pi \log \Gamma \left({\frac {1}{8}}\right)+{\frac {\pi }{4}}\log \left({\frac {2\pi }{\sqrt {2-{\sqrt {2}}}}}\right)$

$\operatorname {Cl} _{2}\left({\frac {3\pi }{4}}\right)=2\pi \log \left({\frac {G\left({\frac {5}{8}}\right)}{G\left({\frac {3}{8}}\right)}}\right)-2\pi \log \Gamma \left({\frac {3}{8}}\right)+{\frac {3\pi }{4}}\log \left({\frac {2\pi }{\sqrt {2+{\sqrt {2}}}}}\right)$

$\operatorname {Cl} _{2}\left({\frac {\pi }{6}}\right)=2\pi \log \left({\frac {G\left({\frac {11}{12}}\right)}{G\left({\frac {1}{12}}\right)}}\right)-2\pi \log \Gamma \left({\frac {1}{12}}\right)+{\frac {\pi }{6}}\log \left({\frac {2\pi {\sqrt {2}}}{{\sqrt {3}}-1}}\right)$

$\operatorname {Cl} _{2}\left({\frac {5\pi }{6}}\right)=2\pi \log \left({\frac {G\left({\frac {7}{12}}\right)}{G\left({\frac {5}{12}}\right)}}\right)-2\pi \log \Gamma \left({\frac {5}{12}}\right)+{\frac {5\pi }{6}}\log \left({\frac {2\pi {\sqrt {2}}}{{\sqrt {3}}+1}}\right)$

Valores especiales generalizados

Algunos valores especiales para funciones de Clausen de orden superior incluyen

$\operatorname {Cl} _{2m}t(0)=\operatorname {Cl} _{2m}(\pi )=\operatorname {Cl} _{2m}(2\pi )=0$

$\operatorname {Cl} _{2m}\left({\frac {\pi }{2}}\right)=\beta (2m)$

$\operatorname {Cl} _{2m+1}(0)=\operatorname {Cl} _{2m+1}(2\pi )=\zeta (2m+1)$

$\operatorname {Cl} _{2m+1}(\pi )=-\eta (2m+1)=-\left({\frac {2^{2m}-1}{2^{2m}}}\right)\zeta (2m+1)$

$\operatorname {Cl} _{2m+1}\left({\frac {\pi }{2}}\right)=-{\frac {1}{2^{2m+1}}}\eta (2m+1)=-\left({\frac {2^{2m}-1}{2^{4m+1}}}\right)\zeta (2m+1)$

donde $G=\beta (2)$ es la constante de Catalan, $\beta (x)$ es la función beta de Dirichlet, $\eta (x)$ es la función eta de Dirichlet, y $\zeta (x)$ es la función zeta de Riemann.

$\beta (x)=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k+1)^{x}}}$

Integrales de la función directa

Las siguientes integrales se demuestran fácilmente a partir de las representaciones de la serie de la función de Clausen:

$\int _{0}^{\theta }\operatorname {Cl} _{2m}(x)\,dx=\zeta (2m+1)-\operatorname {Cl} _{2m+1}(\theta )$

$\int _{0}^{\theta }\operatorname {Cl} _{2m+1}(x)\,dx=\operatorname {Cl} _{2m+2}(\theta )$

$\int _{0}^{\theta }\operatorname {Sl} _{2m}(x)\,dx=\operatorname {Sl} _{2m+1}(\theta )$

$\int _{0}^{\theta }\operatorname {Sl} _{2m+1}(x)\,dx=\zeta (2m+2)-\operatorname {Cl} _{2m+2}(\theta )$

Evaluación de integrales que implican la función directa

Un gran número de las integrales trigonométricas y logaritmo-trigonométricas pueden ser evaluadas en términos de la función de Clausen, y diversas constantes matemáticas comunes con $\,G\,$ (constante de Catalan), $\,\log 2\,$, y los casos especiales de la función zeta, $\,\zeta (2)\,$i $\,\zeta (3)\,$.

Los ejemplos que figuran a continuación son una consecuencia directa de la representación integral de la función de Clausen, y sus demostraciones requieren poco más que trigonometría básica, la integración por partes, y la integración ocasional término a término de las definiciones de las series de Fourier de las funciones de Clausen.

$\int _{0}^{\theta }\log(\sin x)\,dx=-{\tfrac {1}{2}}\operatorname {Cl} _{2}(2\theta )-\theta \log 2$

$\int _{0}^{\theta }\log(\cos x)\,dx={\tfrac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )-\theta \log 2$

$\int _{0}^{\theta }\log(\tan x)\,dx=-{\tfrac {1}{2}}\operatorname {Cl} _{2}(2\theta )-{\tfrac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )$

$\int _{0}^{\theta }\log(1+\cos x)\,dx=2\operatorname {Cl} _{2}(\pi -\theta )-\theta \log 2$

$\int _{0}^{\theta }\log(1-\cos x)\,dx=-2\operatorname {Cl} _{2}(\theta )-\theta \log 2$

$\int _{0}^{\theta }\log(1+\sin x)\,dx=2G-2\operatorname {Cl} _{2}\left({\frac {\pi }{2}}+\theta \right)-\theta \log 2$

$\int _{0}^{\theta }\log(1-\sin x)\,dx=-2G+2\operatorname {Cl} _{2}\left({\frac {\pi }{2}}-\theta \right)-\theta \log 2$

Bibliografía

• Abramowitz, Milton; Stegun, Irene Ann (1964). "Chapter 27.8". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (en inglés). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards: Dover Publications. p. 1005. ISBN 978-0-486-61272-0. 
• Adamchik, Viktor S (2003). Contributions to the Theory of the Barnes Function (en inglés). 
• Borwein, Jonathan M; Bradley, David M; Crandall, Richard E (2000). Computational Strategies for the Riemann Zeta Function (en inglés). J. Comp. App. Math. 121. p. 247–296. doi:10.1016/s0377-0427(00)00336-8. 
• Borwein, Jonathan M; Straub, Armin (2013). Relations for Nielsen Polylogarithms (en inglés). J. Approx. Theory. 193. p. 74-88. doi:10.1016/j.jat.2013.07.003. 
• Clausen, Thomas (1832). Über die Function sin f + (1/22) sin 2f + (1/32) sin 3f + etc (en alemán). Journal für die reine und angewandte Mathematik. 8. p. 298-300.  ISSN 0075-4102
• Kalmykov, Mikahil Yu; Sheplyakov, A (2005). LSJK – a C++ library for arbitrary-precision numeric evaluation of the generalized log-sine integral (en inglés). Comput. Phys. Comm. 172. p. 45–59. doi:10.1016/j.cpc.2005.04.013. 
• Kölbig, Kurt Siegfried (1995). Chebyshev coefficients for the Clausen function Cl2(x) (en inglés). J. Comput. Appl. Math. 64 (3). p. 295-297. doi:10.1016/0377-0427(95)00150-6. 
• Lewin, Leonard (1991). Structural Properties of Polylogarithms (en inglés). Providence, RI: American Mathematical Society. ISBN 0-8218-4532-2. 
• Lu, Hung Jung; Perez, Christopher A (1992). Massless one-loop scalar three-point integral and associated Clausen, Glaisher, and L-functions (en inglés). 
• Mathar, R. J (2013). A C99 implementation of the Clausen sums (en inglés). 
• Wood, Van E (1968). Efficient calculation of Clausen's integral (en inglés). Math. Comp. 22 (104). p. 883-884. doi:10.1090/S0025-5718-1968-0239733-9. 

• Datos: Q823290
• Multimedia: Clausen functions / Q823290