Fine structure of the asymptotic expansion of cyclic integrals

\ensuremath{\sum\limits_{\sigma=\pm}^{}} {\ensuremath{ \mathchoice {\dfrac{1}{N}} {\dfrac{1}{N}} {\frac{1}{N}} {\frac{1}{N}} }} \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{ i g'_{\sigma} }{ p'_{\sigma} }} {\dfrac{ i g'_{\sigma} }{ p'_{\sigma} }} {\frac{ i g'_{\sigma} }{ p'_{\sigma} }} {\frac{ i g'_{\sigma} }{ p'_{\sigma} }} }}\right)}^N \nu^2_{\sigma} \; .

\ensuremath{\ensuremath{\mathrm{e}}^{\sigma \ensuremath{\left(g_+-g_-\right)}}} \ensuremath{\sum\limits_{k=0}^{n}} \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{i g_+' }{p'_+}} {\dfrac{i g_+' }{p'_+}} {\frac{i g_+' }{p'_+}} {\frac{i g_+' }{p'_+}} }}\right)}^k \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{i g_-' }{p'_-}} {\dfrac{i g_-' }{p'_-}} {\frac{i g_-' }{p'_-}} {\frac{i g_-' }{p'_-}} }}\right)}^{n-k} \ensuremath{\widetilde{O}}_{n,\, k}\ensuremath{\left[ \sigma \, \nu\right]} \; .

\begin{aligned} \ensuremath{\widetilde{O}}_{n,\, k}\ensuremath{\left[\nu\right]} &= {\ensuremath{ \mathchoice {\dfrac{ \ensuremath{\left[2q x\right]}^{2\ensuremath{\left(\nu_+ + \nu_-\right)}} }{ \ensuremath{\left(2q\right)}^2 }} {\dfrac{ \ensuremath{\left[2q x\right]}^{2\ensuremath{\left(\nu_+ + \nu_-\right)}} }{ \ensuremath{\left(2q\right)}^2 }} {\frac{ \ensuremath{\left[2q x\right]}^{2\ensuremath{\left(\nu_+ + \nu_-\right)}} }{ \ensuremath{\left(2q\right)}^2 }} {\frac{ \ensuremath{\left[2q x\right]}^{2\ensuremath{\left(\nu_+ + \nu_-\right)}} }{ \ensuremath{\left(2q\right)}^2 }} }} {p'_+}^{2\nu_+-1} {p'_-}^{2 \nu_- -1 } {\ensuremath{ \mathchoice {\dfrac{ \Gamma\ensuremath{\left(1-\nu_-\right)} \Gamma\ensuremath{\left(1-\nu_+\right)} \kappa^2_{-}}{ \Gamma\ensuremath{\left(\nu_-\right)} \Gamma\ensuremath{\left(\nu_+\right)} \kappa_+^2 }} {\dfrac{ \Gamma\ensuremath{\left(1-\nu_-\right)} \Gamma\ensuremath{\left(1-\nu_+\right)} \kappa^2_{-}}{ \Gamma\ensuremath{\left(\nu_-\right)} \Gamma\ensuremath{\left(\nu_+\right)} \kappa_+^2 }} {\frac{ \Gamma\ensuremath{\left(1-\nu_-\right)} \Gamma\ensuremath{\left(1-\nu_+\right)} \kappa^2_{-}}{ \Gamma\ensuremath{\left(\nu_-\right)} \Gamma\ensuremath{\left(\nu_+\right)} \kappa_+^2 }} {\frac{ \Gamma\ensuremath{\left(1-\nu_-\right)} \Gamma\ensuremath{\left(1-\nu_+\right)} \kappa^2_{-}}{ \Gamma\ensuremath{\left(\nu_-\right)} \Gamma\ensuremath{\left(\nu_+\right)} \kappa_+^2 }} }} {\ensuremath{ \mathchoice {\dfrac{ \ensuremath{\left(2 \nu_+-1\right)}_k \ensuremath{\left(2\nu_{-}-1\right)}_{n-k} }{ k! \ensuremath{\left(n-k\right)}!}} {\dfrac{ \ensuremath{\left(2 \nu_+-1\right)}_k \ensuremath{\left(2\nu_{-}-1\right)}_{n-k} }{ k! \ensuremath{\left(n-k\right)}!}} {\frac{ \ensuremath{\left(2 \nu_+-1\right)}_k \ensuremath{\left(2\nu_{-}-1\right)}_{n-k} }{ k! \ensuremath{\left(n-k\right)}!}} {\frac{ \ensuremath{\left(2 \nu_+-1\right)}_k \ensuremath{\left(2\nu_{-}-1\right)}_{n-k} }{ k! \ensuremath{\left(n-k\right)}!}} }} \; \; , \\ \ensuremath{\mathrm{with}} \; \; \ln\kappa\ensuremath{\left(\lambda\right)} & =& \ensuremath{\int\limits_{-q}^{q}} {\ensuremath{ \mathchoice {\dfrac{\nu\ensuremath{\left(\lambda\right)}-\nu\ensuremath{\left(\mu\right)}}{\lambda-\mu}} {\dfrac{\nu\ensuremath{\left(\lambda\right)}-\nu\ensuremath{\left(\mu\right)}}{\lambda-\mu}} {\frac{\nu\ensuremath{\left(\lambda\right)}-\nu\ensuremath{\left(\mu\right)}}{\lambda-\mu}} {\frac{\nu\ensuremath{\left(\lambda\right)}-\nu\ensuremath{\left(\mu\right)}}{\lambda-\mu}} }} \mathrm{d} \mu \;. \end{aligned}

{\ensuremath{ \mathchoice {\dfrac{\ensuremath{\left(-1\right)}^{n-1}}{\ensuremath{\left(n-1\right)}!}} {\dfrac{\ensuremath{\left(-1\right)}^{n-1}}{\ensuremath{\left(n-1\right)}!}} {\frac{\ensuremath{\left(-1\right)}^{n-1}}{\ensuremath{\left(n-1\right)}!}} {\frac{\ensuremath{\left(-1\right)}^{n-1}}{\ensuremath{\left(n-1\right)}!}} }} \ensuremath{\sum\limits_{\sigma=\pm}^{}} {\ensuremath{ \mathchoice {\dfrac{1}{N}} {\dfrac{1}{N}} {\frac{1}{N}} {\frac{1}{N}} }} \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{ i g'_{\sigma} }{ p'_{\sigma} }} {\dfrac{ i g'_{\sigma} }{ p'_{\sigma} }} {\frac{ i g'_{\sigma} }{ p'_{\sigma} }} {\frac{ i g'_{\sigma} }{ p'_{\sigma} }} }}\right)}^N \ensuremath{\left(F_{\sigma} \right)}^n { \ensuremath{\partial_{\gamma}}^n \ensuremath{\left(\nu^2_{0}\right)} }_{\mid_{\gamma=0} } \quad \ensuremath{\mathrm{where}} \quad \nu_0= {\ensuremath{ \mathchoice {\dfrac{i}{2\pi}} {\dfrac{i}{2\pi}} {\frac{i}{2\pi}} {\frac{i}{2\pi}} }} \ln \ensuremath{\left(1+\gamma\right)} \; .

{\ensuremath{ \mathchoice {\dfrac{ \ensuremath{\left(-1\right)}^{n-1} }{ \ensuremath{\left(n-1\right)}!}} {\dfrac{ \ensuremath{\left(-1\right)}^{n-1} }{ \ensuremath{\left(n-1\right)}!}} {\frac{ \ensuremath{\left(-1\right)}^{n-1} }{ \ensuremath{\left(n-1\right)}!}} {\frac{ \ensuremath{\left(-1\right)}^{n-1} }{ \ensuremath{\left(n-1\right)}!}} }} \ensuremath{\ensuremath{\mathrm{e}}^{\sigma \ensuremath{\left(g_+-g_-\right)}}} \ensuremath{\sum\limits_{k=0}^{N}} \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{i g_+' }{p'_+}} {\dfrac{i g_+' }{p'_+}} {\frac{i g_+' }{p'_+}} {\frac{i g_+' }{p'_+}} }}\right)}^k \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{i g_-' }{p'_-}} {\dfrac{i g_-' }{p'_-}} {\frac{i g_-' }{p'_-}} {\frac{i g_-' }{p'_-}} }}\right)}^{N-k} \ensuremath{\partial_{\gamma}}^n \ensuremath{\widetilde{O}}_{N,\, k}\ensuremath{\left[\sigma \nu\right]}_{\mid_{\gamma=0} } \; .

x^{-N}I_n^{ \ensuremath{\left(N;0\right)} }\ensuremath{\left[\ensuremath{\mathcal{F}}_n\right]} = \ensuremath{\ensuremath{\mathrm{e}}^{x \ensuremath{\mathcal{G}} + \ln x \ensuremath{\mathcal{H}} }} W \ensuremath{\left\{{\ensuremath{ \mathchoice {\dfrac{\ensuremath{\left(-1\right)}^{n-1}}{ \ensuremath{\left(n-1\right)}! }} {\dfrac{\ensuremath{\left(-1\right)}^{n-1}}{ \ensuremath{\left(n-1\right)}! }} {\frac{\ensuremath{\left(-1\right)}^{n-1}}{ \ensuremath{\left(n-1\right)}! }} {\frac{\ensuremath{\left(-1\right)}^{n-1}}{ \ensuremath{\left(n-1\right)}! }} }} \ensuremath{\partial_{\gamma}}^n \ensuremath{\left(\nu_0\right)}_{\mid_{\gamma=0}} \right\}} \ensuremath{\sum\limits_{\sigma=\pm }^{}} {\ensuremath{ \mathchoice {\dfrac{1}{N}} {\dfrac{1}{N}} {\frac{1}{N}} {\frac{1}{N}} }}\ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{i \ensuremath{\mathcal{G}}'\ensuremath{\left(\sigma q\right)}}{p'\ensuremath{\left(\sigma q\right)}}} {\dfrac{i \ensuremath{\mathcal{G}}'\ensuremath{\left(\sigma q\right)}}{p'\ensuremath{\left(\sigma q\right)}}} {\frac{i \ensuremath{\mathcal{G}}'\ensuremath{\left(\sigma q\right)}}{p'\ensuremath{\left(\sigma q\right)}}} {\frac{i \ensuremath{\mathcal{G}}'\ensuremath{\left(\sigma q\right)}}{p'\ensuremath{\left(\sigma q\right)}}} }}\right)}^N \ensuremath{\mathcal{V}}^N\ensuremath{\left(\sigma q\right)} \; +\ensuremath{\mathrm{o}}\ensuremath{\left(1\right)} \;.

\begin{aligned} \ensuremath{\mathcal{G}}=\ensuremath{\mathcal{G}}_0\ensuremath{\ensuremath{\left(\begin{array}{c} \cdot \\ \cdot \end{array} \right)}} = \ensuremath{\mathcal{G}}_1\ensuremath{\ensuremath{\left(\begin{array}{c} z \\ z \end{array} \right)}} \; , \quad \ensuremath{\mathcal{H}}=\ensuremath{\mathcal{H}}_0\ensuremath{\ensuremath{\left(\begin{array}{c} \cdot \\ \cdot \end{array} \right)}} \; , \quad \ensuremath{\mathcal{W}}=\ensuremath{\mathcal{W}}_0\ensuremath{\ensuremath{\left(\begin{array}{c} \cdot \\ \cdot \end{array} \right)}} \; , \\ \quad \ensuremath{\mathcal{V}}\ensuremath{\left(\lambda\right)}=\ensuremath{\mathcal{V}}\ensuremath{\ensuremath{\left( \lambda \left| \begin{array}{c} \cdot \\ \cdot \end{array} \right. \right)}} \; \;\; , \qquad \quad \ensuremath{\mathcal{G}}'\ensuremath{\left(\lambda\right)}= \ensuremath{\partial_{\epsilon}}\ensuremath{\mathcal{G}}_1\ensuremath{\ensuremath{\left(\begin{array}{c} \lambda \\ \lambda+\epsilon \end{array} \right)}} _{\mid_{\epsilon=0}} \; . \end{aligned}

\begin{gathered} {\ensuremath{ \mathchoice {\dfrac{I_n^{ \ensuremath{\left(N;m\right)} }\ensuremath{\left[\ensuremath{\mathcal{F}}_n\right]}}{x^{N}}} {\dfrac{I_n^{ \ensuremath{\left(N;m\right)} }\ensuremath{\left[\ensuremath{\mathcal{F}}_n\right]}}{x^{N}}} {\frac{I_n^{ \ensuremath{\left(N;m\right)} }\ensuremath{\left[\ensuremath{\mathcal{F}}_n\right]}}{x^{N}}} {\frac{I_n^{ \ensuremath{\left(N;m\right)} }\ensuremath{\left[\ensuremath{\mathcal{F}}_n\right]}}{x^{N}}} }}= x^{-2}\ensuremath{\mathcal{W}}^{\ensuremath{\left(m\right)}}\ensuremath{\ensuremath{\mathrm{e}}^{x \ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}} + \ln x \ensuremath{\mathcal{H}}^{\ensuremath{\left(m\right)}} }} \ensuremath{\sum\limits_{k=0}^{N}} \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_+ }{p'_+}} {\dfrac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_+ }{p'_+}} {\frac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_+ }{p'_+}} {\frac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_+ }{p'_+}} }}\right)}^k \ensuremath{\left({\ensuremath{ \mathchoice {\dfrac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_- }{p'_-}} {\dfrac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_- }{p'_-}} {\frac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_- }{p'_-}} {\frac{i \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'_- }{p'_-}} }}\right)}^{N-k} \ensuremath{\partial_{\gamma}}^n \ensuremath{\widetilde{O}}_{N,\, k}\ensuremath{\left[\sigma \nu^{\ensuremath{\left(m\right)}}\right]}_{\mid_{\gamma=0} } \; + \; \ensuremath{\mathrm{o}}\ensuremath{\left(x^{-2}\right)} \\ \; \ensuremath{\mathrm{with}} \quad \nu^{\ensuremath{\left(m\right)}}\ensuremath{\left(z\right)}={\ensuremath{ \mathchoice {\dfrac{i}{2\pi}} {\dfrac{i}{2\pi}} {\frac{i}{2\pi}} {\frac{i}{2\pi}} }} \ln \ensuremath{\left( 1+ \gamma \ensuremath{\mathcal{V}}^{\ensuremath{\left(m\right)}}\ensuremath{\left(z\right)} \right)} \; . \end{gathered}

\begin{gathered} \ensuremath{\mathcal{W}}^{\ensuremath{\left(m\right)}}=\ensuremath{\mathcal{W}}_1\ensuremath{\ensuremath{\left(\begin{array}{c} -mq \\ mq \end{array} \right)}} \; ,\quad \ensuremath{\mathcal{H}}^{\ensuremath{\left(m\right)}}\ensuremath{\left(z\right)}=\ensuremath{\mathcal{H}}_1\ensuremath{\ensuremath{\left(\begin{array}{c} -mq \\ mq \end{array} \right)}} \; , \quad \ensuremath{\mathcal{V}}^{\ensuremath{\left(m\right)}}\ensuremath{\left(z\right)}=\ensuremath{\mathcal{V}}_1\ensuremath{\ensuremath{\left( z \left| \begin{array}{c} -mq \\ mq \end{array} \right. \right)}} \; , \\ \ensuremath{\mathrm{as}} \, \ensuremath{\mathrm{well}} \, \ensuremath{\mathrm{as}} \qquad \ensuremath{\left(\ensuremath{\mathcal{G}}^{\ensuremath{\left(m\right)}}\right)}'\ensuremath{\left(z\right)}=\ensuremath{\partial_{\epsilon}} \ensuremath{\mathcal{G}}_2\ensuremath{\ensuremath{\left(\begin{array}{c} -mq, z \\ mq , z+\epsilon \end{array} \right)}} \; . \hspace{5cm} \end{gathered}