¿Lo que ' s el derivado de #%-th de $n$% #%?

Question

Quiero encontrar el derivado de #%-th de $n$% #%, es decir, $$ \frac{d^n\ln(\sin x)} {dx ^ n} $$ donde $\ln(\sin x)$ tal que $x\in (0,\pi/2)$. Para hacer el problema definitivamente, supone $\sin x>0$. En wolframalpha, sabemos que $x=\pi/4$, tenemos $n=1,2,\cdots$. ¿Cuál es el comportamiento general de lo derivados w.r.t. $1,-2,4,-16,80,-512,\cdots$?

Answer 1

Sugerencia. Se puede observar que la $$ \frac{d\ln(\sin x)}{dx}= \cot x \tag1 $$ da $$ \left.\frac{d^n\ln(\sin x)}{dx^n}\right|_{\large x=\frac{\pi}4}=\left.\frac{d^{n-1}}{dx^{n-1}}\left( \cot x\right)\right|_{\large x=\frac{\pi}4}\tag2 $ De$ un enfoque es el uso de la reflexión de la fórmula para la función digamma: $$ \cot{ x}=\frac1\pi\left(\psi\left(1-\frac{x}{\pi}\right)-\psi\left(\frac{x}{\pi}\right)\right)\tag3 $$

Entonces, para $x$ suficientemente cerca de a $\dfrac{\pi}4$, tenemos $$ \begin{align} \cot{x} &=\frac1\pi\left(\psi\left(1-\frac{x}{\pi}\right)-\psi\left(\frac{x}{\pi}\right)\right)\\ &=\frac1\pi\int^1_0\frac{t^{x/\pi-1}-t^{-x/\pi}}{1-t}\:{\rm d}t\\ &=\frac1\pi\sum_{k=0}^\infty\int^1_0\left(t^{x/\pi+k-1}-t^{-x/\pi+k}\right){\rm d}t\\ &=\sum_{k=0}^\infty\left(\frac{1}{x+k\pi}+\frac{1}{x-(k+1)\pi}\right)\\ &=\sum_{k=0}^\infty\left(\frac{1}{x-\pi/4+(k+1/4)\pi}+\frac{1}{x-\pi/4-(k+3/4)\pi}\right)\\ &=\sum^\infty_{k=0}\sum^\infty_{n=0}\left(\frac{(-1)^n}{\pi^{n+1}(k+1/4)^{n+1}}-\frac{1}{\pi^{n+1}(k+3/4)^{n+1}}\right)\left(x-\frac{\pi}4\right)^n\\ &=1+\sum^\infty_{n=1}\frac{(-1)^n\zeta(n+1,1/4)-\zeta(n+1,3/4)}{\pi^{n+1}}\left(x-\frac{\pi}4\right)^n \end{align} $$ where $\zeta(\cdot,\cdot)$ es la zeta de Hurwitz función.

Por lo tanto, por la expansión en series de Taylor de la fórmula, se obtiene, para $n=2,3,4,\cdots$,

$$ \left.\frac{d^n\ln(\sin x)}{dx^n}\right|_{\large x=\frac{\pi}4}=(n-1)!\:\frac{(-1)^{n-1}\zeta(n,1/4)-\zeta(n,3/4)}{\pi^{n}}\tag4 $$

que uno eventualmente puede reescribir como

$$ \left.\frac{d^n\ln(\sin x)}{dx^n}\right|_{\large x=\frac{\pi}4}=(-1)^{n(n-1)/2}\left(2^{n-1}E_{n-1}+2^{2n-1}\left(2^n-1\right)\frac{B_n}n\right) \tag5 $$

donde $E_n$ $B_n$ son de Euler y los números de Bernoulli , respectivamente.