1. Introduction
$$\begin{array}{c}-{\Phi}^{\prime \prime}\left(X\right)+W\left(X\right)\Phi \left(X\right)=0,\end{array}$$ | (1) |
2. Stokes multipliers
$$\begin{array}{c}{\Phi}_{0}\left(X\right)\simeq {X}^{{r}_{m}}{e}^{-S(X,a)}\left[1+O\left({X}^{-1/2}\right)\right]\end{array}$$ | (2) |
$$\begin{array}{c}{\Phi}_{0}^{\prime}\left(X\right)\simeq {X}^{\frac{m}{2}+{r}_{m}}{e}^{-S(X,a)}\left[-1+O\left({X}^{-1/2}\right)\right]\end{array}$$ | (3) |
$$\begin{array}{c}\begin{array}{cc}\sqrt{W\left(X\right)}& ={X}^{\frac{m}{2}}{\left\{1+{a}_{1}{X}^{-1}+\cdots +{a}_{m}{X}^{-m}\right\}}^{1/2}\\ & ={X}^{\frac{m}{2}}\left\{1+{\sum}_{k=1}^{\infty}{b}_{k}\left(a\right){X}^{-k}\right\}\\ \end{array}\end{array}$$ | (4) |
$$\begin{array}{c}{r}_{m}\left(a\right)=\{\begin{array}{cc}-m/4& formodd\\ -m/4-{b}_{1+m/2}\left(a\right)& formeven\\ \end{array}\end{array}$$ | (5) |
$$\begin{array}{c}{\Phi}_{k}(X,a):={\Phi}_{0}({\omega}^{-k}X,{\omega}_{-k}(a\left)\right).\end{array}$$ | (6) |
$$\begin{array}{c}{S}_{k}:=\left\{|arg(X)-\frac{k2\pi}{m+2}|<\frac{\pi}{m+2}\right\}.\end{array}$$ | (7) |
$$\begin{array}{c}\mathsf{W}\mathsf{r}({\Phi}_{k},{\Phi}_{k+1})=2(-1{)}^{k}{\omega}^{\frac{km}{2}-{r}_{m}\left({\omega}_{-k-1}\right(a\left)\right)}\end{array}$$ | (8) |
$$\begin{array}{c}{\Phi}_{k-1}={C}_{k}\left(a\right){\Phi}_{k}+{\stackrel{~}{C}}_{k}\left(a\right){\Phi}_{k+1}\end{array}$$ | (9) |
$$\begin{array}{c}\begin{array}{cc}& {\Phi}_{1}(X,a):={\omega}^{-m/2-{r}_{m}\left(a\right)}{\Phi}_{0}({\omega}^{-1}X,{\omega}_{-1}(a\left)\right)\\ and& {\Phi}_{-1}(X,a):={\omega}^{m/2+{r}_{m}\left(a\right)}{\Phi}_{0}(\omega X,\omega (a\left)\right)\\ \end{array}\end{array}$$ | (10) |
$$\begin{array}{c}{\Phi}_{-1}=C\left(a\right){\Phi}_{0}+{\Phi}_{1},\end{array}$$ | (11) |
$$\begin{array}{c}\overline{C\left(a\right)}+C\left(\overline{a}\right)=0.\end{array}$$ | (12) |
$$\begin{array}{c}\overline{{\Phi}_{0}(X,a)}={\Phi}_{0}(\overline{X},\overline{a}).\end{array}$$ | (13) |
$$\begin{array}{c}{\Phi}_{-1}(\overline{X},\overline{a})=\overline{{\Phi}_{1}(X,a)}\end{array}$$ | (14) |
3. The simpleness of zeros of Stokes multiplier
3.1. A special case: ${a}_{1}=0,\dots ,{a}_{m-1}=0$
$$\begin{array}{c}-{\Phi}^{\prime \prime}\left(X\right)+({X}^{m}+\lambda )\Phi \left(X\right)=0\end{array}$$ | (15) |
$$\begin{array}{c}\begin{array}{cc}& {\Phi}_{0}(X,\lambda )\simeq {X}^{-m/4}{e}^{-\frac{2}{m+2}{X}^{\frac{m+2}{2}}}\left[1+O\left({X}^{-1/2}\right)\right]\\ and& {\Phi}_{0}^{\prime}(X,\lambda )\simeq {X}^{m/4}{e}^{-\frac{2}{m+2}{X}^{\frac{m+2}{2}}}\left[-1+O\left({X}^{-1/2}\right)\right]\\ \end{array}as{S}_{0}\ni X\to \infty \end{array}$$ | (16) |
$$\begin{array}{c}{\Phi}_{0}(X,\lambda )={f}_{0}\left(\lambda \right)+{\sum}_{j=1}^{\infty}{f}_{j}\left(\lambda \right){X}^{j},\end{array}$$ | (17) |
$$\begin{array}{c}\begin{array}{c}{\Phi}_{1}(X,\lambda )={\omega}^{-m/4}{\Phi}_{0}({\omega}^{-1}X,{\omega}^{2}\lambda )={\omega}^{-m/4}\left\{{f}_{0}\left({\omega}^{2}\lambda \right)+{\sum}_{j=1}^{\infty}{f}_{j}\left({\omega}^{2}\lambda \right)({\omega}^{-1}X{)}^{j}\right\}\\ {\Phi}_{-1}(X,\lambda )={\omega}^{m/4}{\Phi}_{0}(\omega X,{\omega}^{-2}\lambda )={\omega}^{m/4}\left\{{f}_{0}\left({\omega}^{-2}\lambda \right)+{\sum}_{j=1}^{\infty}{f}_{j}\left({\omega}^{-2}\lambda \right)(\omega X{)}^{j}\right\}\\ \end{array}\end{array}$$ | (18) |
$$\begin{array}{c}C\left(\lambda \right){f}_{0}\left(\lambda \right)={\omega}^{m/4}{f}_{0}\left({\omega}^{-2}\lambda \right)-{\omega}^{-m/4}{f}_{0}\left({\omega}^{2}\lambda \right).\end{array}$$ | (19) |
$$\begin{array}{c}{w}^{\prime \prime}\left(z\right)-f\left(z\right)w\left(z\right)=0.\end{array}$$ | (20) |
$$\begin{array}{c}\overline{w\left(z\right)}{w}^{\prime}\left(z\right){|}_{{z}_{1}}^{{z}_{2}}:=\overline{w\left({z}_{2}\right)}{w}^{\prime}\left({z}_{2}\right)-\overline{w\left({z}_{1}\right)}{w}^{\prime}\left({z}_{1}\right)={\int}_{{z}_{1}}^{{z}_{2}}\left|{w}^{\prime}\right(z){|}^{2}d\overline{z}+{\int}_{{z}_{1}}^{{z}_{2}}f(z\left)\right|w\left(z\right){|}^{2}dz\end{array}$$ | (21) |
$$\begin{array}{c}\overline{w\left(z\right)}{w}^{\prime}\left(z\right){|}_{{z}_{1}}^{{z}_{2}}={e}^{-i\theta}{\int}_{0}^{r}\left|{w}^{\prime}\right(z\left(t\right)){|}^{2}dt+{e}^{i\theta}{\int}_{0}^{r}|w\left(z\right(t\left)\right){|}^{2}f\left(z\right(t\left)\right)dt.\end{array}$$ | (22) |
$$\begin{array}{c}\overline{{\Phi}_{0}(t,\lambda )}{\Phi}_{0}^{\prime}(t,\lambda ){|}_{0}^{X}={\int}_{0}^{X}\left|{\Phi}_{0}^{\prime}\right(t,\lambda ){|}^{2}dt+{\int}_{0}^{X}({t}^{m}+\lambda \left)\right|{\Phi}_{0}(t,\lambda ){|}^{2}dt.\end{array}$$ | (23) |
$$\begin{array}{c}{f}_{0}\left(\lambda \right)={A}^{\infty}{\prod}_{n=0}\left(1-\frac{\lambda}{{\lambda}_{n}}\right)\end{array}$$ | (24) |
$$\begin{array}{c}A{{\omega}^{m/4}}^{\infty}{\prod}_{n=0}\left(1-\frac{{\omega}^{-2}{\lambda}^{*}}{{\lambda}_{n}}\right)=A{{\omega}^{-m/4}}^{\infty}{\prod}_{n=0}\left(1-\frac{{\omega}^{2}{\lambda}^{*}}{{\lambda}_{n}}\right)\end{array}$$ | (25) |
$$\begin{array}{c}{}^{\infty}{\prod}_{n=0}\left|\frac{{\omega}^{2}{\lambda}_{n}-{\lambda}^{*}}{{\omega}^{2}{\lambda}_{n}-\overline{{\lambda}^{*}}}\right|=1\mathsf{O}\mathsf{n}\mathsf{t}\mathsf{h}\mathsf{e}\mathsf{s}\mathsf{i}\mathsf{m}\mathsf{p}\mathsf{l}\mathsf{e}\mathsf{n}\mathsf{e}\mathsf{s}\mathsf{s}\mathsf{o}\mathsf{f}\mathsf{z}\mathsf{e}\mathsf{r}\mathsf{o}\mathsf{s}\mathsf{o}\mathsf{f}\mathsf{S}\mathsf{t}\mathsf{o}\mathsf{k}\mathsf{e}\mathsf{s}\mathsf{m}\mathsf{u}\mathsf{l}\mathsf{t}\mathsf{i}\mathsf{p}\mathsf{l}\mathsf{i}\mathsf{e}\mathsf{r}\mathsf{s}\end{array}$$ | (26) |
$$\begin{array}{c}\overline{{\Phi}_{1}(X,{\lambda}^{*})}{\Phi}_{1}^{\prime}(X,{\lambda}^{*}){|}_{0}^{\omega \infty}={\omega}^{-1}{\int}_{0}^{\infty}\left|{\Phi}_{1}^{\prime}\right(\omega t,{\lambda}^{*}){|}^{2}dt+\omega {\int}_{0}^{\infty}|{\Phi}_{1}(\omega t,{\lambda}^{*}){|}^{2}\left(\right(\omega t{)}^{m}+{\lambda}^{*})dt\end{array}$$ | (27) |
$$\begin{array}{c}\frac{{g}^{\prime}\left({\lambda}^{*}\right)}{g\left({\lambda}^{*}\right)}\in \mathbb{R}.\end{array}$$ | (28) |
$$\begin{array}{c}\frac{{g}^{\prime}\left(\lambda \right)}{g\left(\lambda \right)}={\sum}_{n=0}^{\infty}\frac{1}{\lambda -{\lambda}_{n}{\omega}^{2}}.\end{array}$$ | (29) |
3.2. General case
$$\begin{array}{c}-{\Phi}^{\prime \prime}\left(X\right)+({X}^{m}+{a}_{1}{X}^{m-1}+\cdots +{a}_{m-1}X+\lambda )\Phi \left(X\right)=0\end{array}$$ | (30) |
$$\begin{array}{c}{\Phi}_{0}(X,a,\lambda )={f}_{0}(a,\lambda )+{\sum}_{j=1}^{\infty}{f}_{j}(a,\lambda ){X}^{j}\end{array}$$ | (31) |
$$\begin{array}{c}\begin{array}{c}{\Phi}_{1}(X,a,\lambda )={\omega}^{-m/2-{r}_{m}\left(a\right)}{\Phi}_{0}({\omega}^{-1}X,{\omega}_{-1}(a),{\omega}^{-m}\lambda )\\ {\Phi}_{-1}(X,a,\lambda )={\omega}^{m/2+{r}_{m}\left(a\right)}{\Phi}_{0}(\omega X,{\omega}_{1}(a),{\omega}^{m}\lambda )\\ \end{array}\end{array}$$ | (32) |
$$\begin{array}{c}C(a,\lambda ){f}_{0}(a,\lambda )={\omega}^{m/2+{r}_{m}\left(a\right)}{f}_{0}\left({\omega}_{1}\right(a),{\omega}^{m}\lambda )-{\omega}^{-m/2-{r}_{m}\left(a\right)}{f}_{0}\left({\omega}_{-1}\right(a),{\omega}^{-m}\lambda ).\end{array}$$ | (33) |
$$\begin{array}{c}-{Y}^{\prime \prime}\left(X\right)+({X}^{m}+{a}_{1}{\omega}^{1}{X}^{m-1}+\cdots +{a}_{m-1}{\omega}^{m-1}X+{\lambda}_{n}{\omega}^{m})Y\left(X\right)=0\end{array}$$ | (34) |
$$\begin{array}{c}\text{There exists an index}j,1\le j\le m/2\text{such that}(j-k){a}_{k}\ge 0\text{for all}k.\end{array}$$ | (H ) |
$$\begin{array}{c}\text{If}\left(H\right)\text{occurs for}m=4\mathsf{a}\mathsf{n}\mathsf{d}j=2,\mathsf{t}\mathsf{h}\mathsf{e}\mathsf{n}{a}_{2}\le 0.\end{array}$$ | (s) |
$$\begin{array}{ccc}0& =& {e}^{-i\theta}{\int}_{0}^{+\infty}|{Y}^{\prime}{|}^{2}dt+\end{array}$$ |
$$\begin{array}{ccc}& & +{e}^{i\theta}{\int}_{0}^{+\infty}\left|Y{|}^{2}\right({e}^{i4\theta}{t}^{4}+{a}_{1}\omega {e}^{i3\theta}{t}^{3}+{a}_{2}{\omega}^{2}{e}^{i2\theta}{t}^{2}+{a}_{3}{\omega}^{3}{e}^{i\theta}t+{\lambda}_{n}{\omega}^{4})dt\end{array}$$ |
$$\begin{array}{c}\begin{array}{ccc}0& =& {b}_{0}sin(2\pi /3-2\theta )+{b}_{1}sin(2\pi /3+4\theta )+{b}_{2}{a}_{1}sin(\pi +3\theta )+\\ & & +{b}_{3}{a}_{2}sin(4\pi /3+2\theta )+{b}_{4}{a}_{3}sin(5\pi /3+\theta )+{b}_{5}Im{\lambda}_{n}\\ \end{array}\end{array}$$ | (35) |
$$\begin{array}{c}{g}_{a}\left({\lambda}^{*}\right)=\overline{{g}_{a}\left({\lambda}^{*}\right)}\text{and}\left({g}_{a}{)}_{\lambda}^{\prime}\right({\lambda}^{*})=\overline{\left({g}_{a}{)}_{\lambda}^{\prime}\right({\lambda}^{*})}\end{array}$$ | (36) |
^{ $\text{1}$ } The other one is nothing but $\overline{{g}_{a}\left(\overline{\lambda}\right)}$ .
^{ $\text{2}$ } In fact, it holds for any real ${a}_{1}$ .
4. Conclusion