Demuestre$\text{Li}_2(e^{-2 i x})+\text{Li}_2(e^{2 i x})=\frac{1}{3} (6 x^2-6 \pi x+\pi ^2)$ cuando$0<x<\pi$

Question

Esta es una identidad deduje cuando se juega con el inicial-valor en la frontera problema de conducción de calor, la ecuación de pedido aquí. Es fácil comprobar numéricamente con Mathematica:

Plot[{PolyLog[2, E^(-2 I x)] + PolyLog[2, E^(2 I x)], 
  1/3 (π^2 - 6 π x + 6 x^2)}, {x, -1, 4}, 
 PlotStyle -> {Automatic, {Thick, Dashed}}]

Sin embargo, Mathematica no sabe cómo simplificar $\text{Li}_2(e^{-2 i x})+\text{Li}_2(e^{2 i x})$ a $\frac{1}{3} (6 x^2-6 \pi x+\pi ^2)$ simbólicamente, entonces, me pregunto, ¿cómo puedo probarlo en la mano?

Answer 1

$$ \ operatorname {Li} _2 (e ^ {- 2 ix}) + \ operatorname {Li} _2 (e ^ {2 ix}) \\ = 2 \ Re \ operatorname {Li} _2 (e ^ {2i x }) \\ = 2 \ operatorname {Sl} _2 (2x) \\ = 2 (\ frac {\ pi ^ 2} {6} + \ pi x + x ^ 2) $$ Donde $\operatorname{Sl}$ es el Función de Clausen tipo SL .

Answer 2

$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove armada]{\displaystyle{#1}}\,} \newcommand{\llaves}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} &\bbox[10px,#ffd]{\left.\vphantom{\LARGE A}% \mrm{Li}_{2}\pars{\expo{-2\ic x}} + \mrm{Li}_{2}\pars{\expo{2\ic x}}\,\right\vert_{\ 0\ <\ x\ <\ \pi}} = \mrm{Li}_{2}\pars{\exp\pars{2\pi\ic\,{x \over \pi}}} + \mrm{Li}_{2}\pars{\exp\pars{-2\pi\ic\,{x \over \pi}}} \\[5mm] = &\ -\,{\pars{2\pi\ic}^{2} \over 2!}\,\mathrm{B}_{2}\pars{x \over \pi} \end{align}

que es Jonqui$\grave{\mrm{e}}$re la Inversión de la Fórmula. $\ds{\mrm{B}_{n}}$ es un Polinomio de Bernoulli.

Tenga en cuenta que $\ds{\mrm{B}_{2}\pars{z} = z^{2} - z + {1 \over 6}}$ tales que

\begin{align} &\bbox[10px,#ffd]{\left.\vphantom{\LARGE A}% \mrm{Li}_{2}\pars{\expo{-2\ic x}} + \mrm{Li}_{2}\pars{\expo{2\ic x}}\,\right\vert_{\ 0\ <\ x\ <\ \pi}} = 2\pi^{2}\bracks{\pars{x \over \pi}^{2} - {x \over \pi} + {1 \over 6}} \\[5mm] = &\ \bbx{2x^{2} - 2\pi x + {\pi^{2} \over 3}} \end{align}

Answer 3

Pruebe una expansión de la serie alrededor de $x=0$ y obtenga $$\text{Li}_2\left(e^{-2 i x}\right)+\text{Li}_2\left(e^{2 i x}\right)=\frac{\pi ^2}{3}-2 \pi x+2 x^2+O\left(x^{99}\right)$ $