1: \section{Painlev\'e V}\label{sec-PV}
2:
3: In this Section, we prove various properties of a Riemann-Hilbert problem for Painlev\'e V
4: solution. These properties will be used in the next Section \ref{sec-rhp1} for the analysis
5: of orthogonal polynomials $\pi_k$, and also
6: for the proof of Theorem \ref{thm-PV}.
7: This section is, however, independent of other sections.
8:
9: Fix $0<a<1$. Let $\Gamma_1=\{w\in\C : |w-1|=a\}$ and $\Gamma_2=\{ w : |w+1|=a\}$. We orient
10: the circle $\Gamma_1$ counter-clockwise, and orient the circle $\Gamma_2$ clockwise. Set
11: $\Gamma=\Gamma_1\cup\Gamma_2$. Let $\Omega_1, \Omega_2$ and $\Omega_0$ be the open regions
12: as indicated in Figure \ref{fig-Gamma}.
13: \begin{figure}[ht]
14: \centerline{\epsfig{file=Gamma.eps, width=7cm}}
15: \caption{Contours $\Gamma_1$, $\Gamma_2$ and the regions
16: $\Omega_1, \Omega_2, \Omega_0$}
17: \label{fig-Gamma}
18: \end{figure}
19:
20: Let
21: \begin{equation}\label{e-Phi}
22: \Phi(w) =\Phi(w;x,N) := \frac{(1+w)^N}{(1-w)^N} e^{-\frac12xw}.
23: \end{equation}
24: Define the $2\times 2$ matrix $V(w)=V(w;x,N)$ on $\Gamma$ by
25: \begin{equation}\label{e-PV1}
26: \begin{cases}
27: V(w)=
28: \begin{pmatrix} 1& -\Phi(w) \\0&1
29: \end{pmatrix}, \quad &w\in\Gamma_1,\\
30: V(w)=
31: \begin{pmatrix} 1& 0\\ \Phi(w)^{-1}&1
32: \end{pmatrix}, \quad &w\in\Gamma_2.
33: \end{cases}
34: \end{equation}
35: Let the $2\times 2$ matrix $M(w)=M(w;x,N)=(M_{jk}(w))_{j,k=1,2}$ be the solution to the
36: following Riemann-Hilbert problem (RHP) :
37: \begin{equation}\label{e-PV2}
38: \begin{cases}
39: M(w) \quad \text{is analytic in $w\in\C\setminus \Gamma$},\\
40: M_+(w)=M_-(w)V(w), \qquad w\in\Gamma,\\
41: M(w)= I + O(w^{-1}), \qquad \text{as $w\to\infty$}.
42: \end{cases}
43: \end{equation}
44: The solution $M$ shares the following properties.
45:
46: \begin{prop}\label{prop-PV}
47: Set $\sigma_1=\bigl( \begin{smallmatrix} 0&1\\1&0
48: \end{smallmatrix} \bigr)$ and set
49: $\sigma_3=\bigl( \begin{smallmatrix} 1&0\\0&-1
50: \end{smallmatrix} \bigr)$.
51: We have the following properties :
52: \begin{enumerate}
53: \item There is a unique solution $M(w)=M(w;x,N)$ to the RHP \eqref{e-PV2}
54: for each $x>0$ and $N\in \N$, and the solution $M$ has the expansion
55: \begin{equation}\label{e-Mexpand}
56: M(w)= I + \frac{M_1}{w} +\frac{M_2}{w^2} +\cdots, \qquad w\to\infty.
57: \end{equation}
58: \item $M(w)=\overline{M(\overline{w})}$, $M(w)=\sigma_1M(-w)\sigma_1$, and
59: $\det M(w)=1$.
60: \item $M(w)$ is real for $w\in\R$, and $M_1$ and $M_2$ have the form
61: \begin{equation}\label{e-M1definealpha}
62: M_1
63: =\begin{pmatrix} -\alpha&\beta\\
64: -\beta& \alpha \end{pmatrix} , \qquad M_2
65: =\begin{pmatrix} \frac12(\alpha^2-\beta^2)&\gamma \\
66: \gamma & \frac12(\alpha^2-\beta^2) \end{pmatrix}.
67: \end{equation}
68: Here $\alpha, \beta, \gamma$ are real constants which depend on $x$ and $N$.
69: \item We have
70: \begin{equation}\label{e-Mxderi}
71: \frac{\partial}{\partial x} M = \frac14 w[M,\sigma_3]
72: + \frac12 \beta\sigma_1 M.
73: \end{equation}
74: This implies, in particular,
75: \begin{equation}\label{e-alphabetax}
76: \alpha' = \frac12 \beta^2, \qquad \beta'= \frac12(\alpha\beta-\gamma),
77: \end{equation}
78: where $'$ denotes the derivative with respect to $x$,
79: \item
80: We have
81: \begin{equation}\label{e-Mzderi}
82: \frac{\partial}{\partial w} M = \frac{1}4 x[M,\sigma_3]
83: -\frac{N}{1-w^2}M\sigma_3+ \frac{N}2\frac{1}{1-w}AM
84: - \frac{N}2\frac{1}{1+w}\sigma_1 A\sigma_1M,
85: \end{equation}
86: where
87: \begin{equation}\label{e-Aformula}
88: A= M(1)\sigma_3M(1)^{-1}
89: = \sigma_3+\frac1{N}M_1+\frac1{2N}x\beta\sigma_1(-I+M_1)
90: +\frac1{2N}x\gamma\sigma_1\sigma_3.
91: \end{equation}
92: \item Set $\theta(x)=\theta(x;N)=-\frac12 x\alpha(x)$.
93: Then $\theta$ solves the Painlev\'e V equation
94: \begin{equation}\label{e-thetaPV}
95: (x\theta'')^2=(\theta-x\theta')(\theta-x\theta'+4(\theta')^2+4N\theta').
96: \end{equation}
97: \item Fix $0<\epsilon<1/4$. For each fixed $N\in\N$, as $x\to +\infty$,
98: \begin{equation}\label{e-betaasym}
99: \beta(x)
100: = -2(-1)^NL^{(1)}_{N-1}(x)e^{-\frac12x} + O(e^{-(1-\epsilon)x}) =
101: \frac{-2x^{N-1}}{(N-1)!}e^{-\frac12x}(1+O(x^{-1}))
102: \end{equation}
103: and
104: \begin{equation}\label{e-alphaasym}
105: \alpha(x) = \int_{\infty}^x 2 L_{N-1}^{(1)}(y))^2 e^{-y}dy
106: + O(e^{-\frac32(1-\epsilon)x})
107: = \frac{2x^{2N-2}}{((N-1)!)^2}e^{-x}(1+O(x^{-1})),
108: \end{equation}
109: where $L^{(1)}_{N-1}(x)$ is the Laguerre polynomial of degree
110: $N-1$ with parameter $1$ ;
111: \begin{equation}
112: L^{(1)}_{N-1}(x)=\sum_{j=0}^{N-1} \binom{N}{j+1}\frac{(-x)^{j}}{j!}
113: = \frac{1}{2\pi i} \int_{|z|=\frac12 x} \bigl( 1+\frac{x}{z}\bigr)^{N-1}
114: e^{-z} \bigl( 1+\frac{z}{x}\bigr) \frac{dz}{z}.
115: \end{equation}
116: Also if we take $\Gamma_1$ and $\Gamma_2$ to be the circles
117: of radius $\epsilon$, centered at $1$ and $-1$, respectively,
118: we have for each fixed $w\in \C\setminus(\Gamma_1\cup\Gamma_2)$,
119: as $x\to +\infty$,
120: \begin{eqnarray}\label{e-Maswlarge}
121: M(w) = I - \begin{pmatrix} 0& \Lambda(w,x,N) \\ \Lambda(-w,x,N) &0
122: \end{pmatrix}
123: + O(e^{-(1-2\epsilon)x}),
124: \end{eqnarray}
125: where
126: \begin{equation}\label{}
127: \Lambda(w,x,N) := \frac1{2 \pi i} \int_{\Gamma_1}
128: \Phi(s) \frac{ds}{s-w}.
129: \end{equation}
130: \item
131: We have
132: \begin{equation}\label{e-Mat0}
133: M(0) = \frac12 \begin{pmatrix} \ELEN(x)^{-2}+\ELEN(x)^{2} & \ELEN(x)^{-2}-\ELEN(x)^2 \\
134: \ELEN(x)^{-2}-\ELEN(x)^2 & \ELEN(x)^{-2}+\ELEN(x)^2\end{pmatrix}
135: \end{equation}
136: where $\ELEN(x)$ is defined in \eqref{e-Edefine} with $\alpha$ in \eqref{e-M1definealpha}.
137: \end{enumerate}
138: \end{prop}
139:
140: \begin{proof}
141: \begin{itemize}
142: \item[(i)]
143: The proof of (i) is parallel to the analysis of Theorem 5.50 in \cite{DKMVZ3}. We here only
144: present an outline of the proof.
145: %The general theory of the construction of solutions of
146: %Riemann-Hilbert problems are outlined in Appendix I, \cite{DKMVZ2}.
147: Let $C$ be the Cauchy operator given by
148: \begin{equation}
149: (Cf)(w)= \frac1{2\pi i} \int_\Gamma \frac{f(s)}{s-w} ds, \qquad f\in L^2(\Gamma).
150: \end{equation}
151: Let $C_+$ be the limit from the positive side of the contour :
152: \begin{equation}
153: (C_+f)(w)= \lim_{w'\to w} (Cf)(w'), \qquad \text{$w'$ is in the $(+)$-side of
154: $\Gamma$}.
155: \end{equation}
156: Define the operator $C_V$ acting on $L^2(\Gamma)$ by
157: \begin{equation}\label{e-Cauchyoperator}
158: (C_Vf)(w):=C_+(f(I-V^{-1})(w), \qquad f\in L^2(\Gamma).
159: \end{equation}
160: From the general theory (see e.g. Appendix I, \cite{DKMVZ2}),
161: if the operator $1-C_V$ is
162: invertible in $L^2(\Gamma)$, the function $M(w)$ defined by
163: \begin{equation}\label{e-solM}
164: M(w)= I+ \frac1{2\pi i} \int_\Gamma
165: \frac{(I+(1-C_V)^{-1}(C_VI))(s)(I-V^{-1})(s)}{s-w} ds
166: \end{equation}
167: solves the RHP \eqref{e-PV2} in $L^2$ sense. But since $V$ and $V^{-1}$ are analytic on
168: $\Gamma$, the $L^2$ solution is indeed the classical solution of \eqref{e-PV2} (see e.g.
169: Proposition 5.80, \cite{DKMVZ3}). Just as in Step 1 and 2 of the proof of Theorem 5.50,
170: \cite{DKMVZ3}, $1-C_V$ is a Fredholm operator of index $0$, because the contour $\Gamma$ is
171: compact and $V$ is real analytic on $\Gamma$. Thus it is enough to show that $Ker
172: (1-C_V)=\{0\}$ in order to prove that $1-C_V$ is invertible. Now suppose $(1-C_V)f=0$ for
173: $f\in L^2(\Gamma)$. We will show that $f=0$, which will prove that $1-C_V$ is invertible.
174: Set
175: \begin{equation}\label{e-ndefine}
176: n(w):= \frac1{2\pi i} \int_\Gamma \frac{f(s)(I-V^{-1})(s)}{s-w} ds.
177: \end{equation}
178: From the properties of the Cauchy operator, $n$ satisfies
179: \begin{itemize}
180: \item $n(w)$ is analytic in $\C\setminus\Gamma$, and continuous
181: up to the boundaries.
182: \item $n_+(w)=n_-(w)V(w), \qquad w\in\Gamma$.
183: \item $n(w)= O(\frac1{w})$ as $w\to\infty$.
184: \end{itemize}
185: %The second property follows from the calculation
186: %\begin{equation}\label{e-n+f}
187: % n_+=C_+(f(I-V^{-1}))=(C_Vf)=f
188: %\end{equation}
189: %and
190: %\begin{equation}
191: % n_-= C_-(f(I-V^{-1}))= C_+(f(I-V^{-1}))-f(I-V^{-1})
192: % =f-f(I-V^{-1})=fV^{-1}.
193: %\end{equation}
194:
195: Let $\Gamma_0$ be the imaginary axis, oriented from $i \infty$ to $-i\infty$. Define $N(w)$
196: by
197: \begin{equation}
198: \begin{cases}
199: N(w)= n(w) \begin{pmatrix} 1&-\Phi(w) \\ 0&1 \end{pmatrix},
200: \qquad &w\in\Omega_0, Re(w)>0, \\
201: N(w)= n(w) \begin{pmatrix} 1&0\\ -\Phi(w)^{-1} & 1 \end{pmatrix},
202: \qquad &w\in\Omega_0, Re(w)<0, \\
203: N(w)= n(w) \qquad &w\in \Omega_1\cup\Omega_2.
204: \end{cases}
205: \end{equation}
206: Then $N$ satisfies
207: \begin{itemize}
208: \item $N(w)$ is analytic in $w\in \C\setminus \Gamma_0$.
209: \item $N_+(w)=N_-(w) \VN(w)$ for $w\in \Gamma_0$,
210: where $\VN(w)= \begin{pmatrix} 1& -\Phi(w) \\ \Phi(w)^{-1} &0 \end{pmatrix}$.
211: \item $N(w)= O(\frac1{w}e^{-\frac12x|Re(w)|})$ as $w\to\infty$.
212: \end{itemize}
213: Now consider
214: \begin{equation}
215: a(w):=N(w)\overline{N(-\overline{w})}^T.
216: \end{equation}
217: Then $a(w)$ is holomorphic in $\C\setminus \Gamma_0$,
218: and hence by Cauchy's theorem and the decay
219: property as $w\to\infty$, we have
220: \begin{equation}
221: \int_{\Gamma} a_+(w) dw=0.
222: \end{equation}
223: But from the jump condition of $N$,
224: \begin{equation}
225: a_+(w)=N_+(w)\overline{N_-(-\overline{w})}^T= N_+(w)\overline{N_-(w)}^T
226: = N_+(w)(\overline{\VN(w)}^{-1})^{T}\overline{N_+(w)}^T
227: \end{equation}
228: for $w\in\Gamma$.
229: Thus using the property $\Phi(w)^{-1}=\overline{\Phi(w)}$ for $w\in\Gamma_0$,
230: \begin{equation}
231: \begin{split}
232: 0 &=\int_\Gamma (a_+(w) + \overline{a_+(w)}^T) dw= \int_\Gamma N_+(w) \bigl(
233: (\overline{V_0(w)}^{-1})^T+V_0(w)^{-1} \bigr) \overline{N_+(w)}^T dw \\
234: &= \int_\Gamma N_+(w) \begin{pmatrix} 0&0\\0&2\end{pmatrix}
235: \overline{N_+(w)}^T dw.
236: \end{split}
237: \end{equation}
238: This implies that $(N_{12})_+(w)=(N_{22})_+(w)=0$ for almost every $w\in\Gamma$, and hence
239: by Cauchy's theorem, we have
240: \begin{equation}
241: N_{12}(w)=N_{22}(w)=0, \qquad Re(w)>0.
242: \end{equation}
243: This in turn implies, from the jump condition, that
244: \begin{equation}
245: N_{11}(w)=N_{21}(w)=0, \qquad Re(w)<0.
246: \end{equation}
247: On the other hand, from the jump condition again,
248: \begin{equation}
249: (N_{11})_+(w)=(N_{12})_-(w)e^{\frac12xw}\biggl(\frac{1-w}{1+w}\biggr)^N, \qquad w\in i\R.
250: \end{equation}
251: Set
252: \begin{equation}
253: h(w):= \begin{cases} (1+w)^NN_{11}(w), \quad & Re(w)>0,\\
254: (1-w)^Ne^{\frac12xw}N_{12}(w), \quad &Re(w)<0. \end{cases}
255: \end{equation}
256: Then $h$ is entire, and $h(w)w^{-N-1} \to 0$ as $w\to\infty$ since $N(w)$ is bounded for
257: $w\in\C$. Thus by the Liouville's theorem, $h(w)$ is a polynomial of degree at most $N$.
258: But then for $Re(w)<0$, $N_{12}(w)=h(w)(1-w)^Ne^{-\frac12xw}$ blows up as $w\to\infty$
259: unless $h=0$ identically. Therefore we obtain
260: \begin{equation}
261: \begin{split}
262: &N_{12}(w)=0, \qquad Re(w)<0, \\
263: &N_{11}(w)=0, \qquad Re(w)>0.
264: \end{split}
265: \end{equation}
266: By a similar argument, we obtain
267: \begin{equation}
268: \begin{split}
269: &N_{21}(w)=0, \qquad Re(w)>0, \\
270: &N_{22}(w)=0, \qquad Re(w)<0.
271: \end{split}
272: \end{equation}
273: Therefore we have $N(w)=0$ and hence $n(w)=0$ for all $w\in\C$.
274: Since by \eqref{e-Cauchyoperator} and \eqref{e-ndefine},
275: $n_+=C_+(f(I-V^{-1}))=C_V(f)=f$,
276: we obtain that $Ker(1-C_V)$ has dimension 0.
277: The uniqueness of the solution is standard.
278: The expansion \eqref{e-Mexpand} follows from \eqref{e-ndefine}.
279:
280: \item[(ii)] The jump matrix $V$ have the properties,
281: $V(w)=\overline{V(\overline{w})}$, $V(w)=\sigma_1V(-w)^{-1}\sigma_1$
282: and $\det V(w)=1$ for $w\in\Gamma$.
283: These properties, together with the uniqueness of the solution to the RHP,
284: imply the results.
285: \item[(iii)] The realness of $M(w)$ for $w\in\R$ follows
286: from $M(w)=\overline{M(\overline{w})}$, which also implies
287: that $M_1$ and $M_2$ are real.
288: By expanding the both sides of $M(w)=\sigma_1M(-w)\sigma_1$ as $w\to\infty$,
289: we have $M_1=-\sigma_1M_1\sigma_1$ and $M_2=\sigma_1M_2\sigma_1$, and hence
290: \begin{equation}
291: M_1
292: =\begin{pmatrix} -\alpha&\beta\\
293: -\beta& \alpha \end{pmatrix} ,
294: \qquad M_2
295: =\begin{pmatrix} (M_2)_{11}&\gamma \\
296: \gamma & (M_2)_{11} \end{pmatrix},
297: \end{equation}
298: for some $\alpha, \beta, \gamma, (M_2)_{11}$. Also since $0=\log \det M = tr \log M = tr
299: \log (I+\frac{M_1}{w}+\frac{M_2}{w^2}+\cdots)$, as $w\to\infty$, we have $tr(M_1)=0$ and
300: $tr(M_2-\frac12 M_1^2)=0$. The second identity implies that
301: $(M_2)_{11}=\frac12(\alpha^2-\beta^2)$ and we obtain the results.
302: \item[(iv)]
303: Set $f:=Me^{-\frac14 xw\sigma_3}$. Then
304: \begin{equation}
305: \begin{cases}
306: f \quad \text{is analytic in $\C\setminus\Gamma$,}\\
307: f_+=f_-v_f(w)
308: \qquad \text{for $w\in\Gamma$,}\\
309: fe^{\frac14 xw\sigma_3}\to I \qquad \text{ as $w\to\infty$.}
310: \end{cases}
311: \end{equation}
312: where
313: \begin{equation}
314: \begin{cases}
315: v_f(w)= \begin{pmatrix} 1&-(\frac{1+w}{1-w})^N \\ 0&1 \end{pmatrix}
316: \qquad &w\in\Gamma_1,\\
317: v_f(w)= \begin{pmatrix} 1&0 \\ (\frac{1-w}{1+w})^N & 1 \end{pmatrix} \qquad
318: &w\in\Gamma_2.
319: \end{cases}
320: \end{equation}
321: Note that the jump matrix does not depend on $x$. Thus
322: $f'$ and $f$ satisfy the same jump condition, and hence $f'f^{-1}$ is
323: a entire function, where $f'=\frac{\partial}{\partial x}f$.
324: On the other hand, from the condition
325: $fe^{\frac14 xw\sigma_3}\to I$ as $w\to\infty$, we obtain
326: $f'f^{-1}+\frac14wf\sigma_3f^{-1}\to 0$ as $w\to\infty$.
327: But since $M=I+\frac{M_1}{w}+O(w^{-2})$ as $w\to\infty$,
328: we have $\frac14wf\sigma_3f^{-1}=
329: \frac14w\sigma_3+\frac14[M_1,\sigma_3]+O(w^{-1})$. Thus by Liouville's theorem,
330: $f'f^{-1}=-\frac14w\sigma_3-\frac14[M_1,\sigma_3]$, which is equivalent to
331: \begin{equation}
332: M'=\frac14w[M,\sigma_3]+\frac12\beta\sigma_1M,
333: \end{equation}
334: as desired.
335:
336: By taking the limit $x\to\infty$ in \eqref{e-Mxderi} and
337: collecting the terms of order $O(w^{-1})$, we have
338: \begin{equation}
339: M_1'= \frac14 [M_2, \sigma_3] + \frac12 \beta\sigma_1M_1.
340: \end{equation}
341: This implies \eqref{e-alphabetax}.
342: \item[(v)]
343: Set $h=Me^{-\frac14xw\sigma_3}\bigl(\frac{1+w}{1-w}\bigr)^{\frac12N\sigma_3}$,
344: where
345: $\bigl(\frac{1+w}{1-w}\bigr)^{\frac12}$ is defined to be analytic
346: in $\C\setminus[-1,1]$
347: with the condition that it becomes $1$ as $w=iy\to 0$ satisfying $y>0$. Then
348: \begin{equation}
349: \begin{cases}
350: h \quad \text{is analytic in $\C\setminus([-1,1]\cup\Gamma)$,}\\
351: h_+=h_- v_h, \qquad w\in\Gamma,\\
352: h_+=(-1)^Nh_-, \qquad w\in (-1,1),\\
353: h e^{\frac14xw\sigma_3}\bigl(\frac{1+w}{1-w}\bigr)^{-\frac12N\sigma_3}
354: \to I \qquad \text{as $w\to\infty$},
355: \end{cases}
356: \end{equation}
357: where the interval $[-1,1]$ is oriented from the right to the left,
358: and the jump matrix
359: $v_h$ is given by
360: \begin{equation}
361: \begin{cases}
362: v_h= \biggl(\begin{smallmatrix} 1&-1\\ 0&1 \end{smallmatrix} \biggr)
363: \qquad &w\in\Gamma_1, \\
364: v_h= \biggl(\begin{smallmatrix} 1&0\\ 1&1 \end{smallmatrix} \biggr)
365: \qquad &w\in\Gamma_2. \\
366: \end{cases}
367: \end{equation}
368: Then
369: \begin{equation}\label{e-hdot}
370: \dot{h}h^{-1} = \dot{M}M^{-1} -\frac14xM\sigma_3M^{-1}
371: + \frac{N}{1-w^2}M\sigma_3M^{-1}
372: \end{equation}
373: is analytic in $\C\setminus\{-1,1\}$ with simple poles at $-1$ and $1$, where $\dot{h}$
374: denotes the derivative with respect to $w$. Thus, since $\dot{h}h^{-1}\to
375: -\frac14x\sigma_3$ as $w\to\infty$, we find that
376: \begin{equation}\label{e-hdot2}
377: \dot{h}h^{-1} = -\frac14x\sigma_3+ \frac{A_0}{1-w}+\frac{B_0}{1+w}
378: \end{equation}
379: with some constant matrices $A_0$ and $B_0$. By taking the limits of \eqref{e-hdot} as
380: $w\to 1, -1$, we obtain $A_0=\frac{N}2M(1)\sigma_3M(1)^{-1}$ and
381: $B_0=\frac{N}2M(-1)\sigma_3M(-1)^{-1}$. Since $M(-1)=\sigma_1M(1)\sigma_1$ from (ii), we
382: have $B_0=-\sigma_1A_0\sigma_1$.
383:
384: By combining \eqref{e-hdot} and \eqref{e-hdot2}, we obtain \eqref{e-Mzderi} with constant
385: matrix $A=M(1)\sigma_3M(1)^{-1}$. Now we take the limit $w\to\infty$ to \eqref{e-Mzderi}.
386: By collecting the terms of order $O(w^{-1})$ and noting that
387: $[M_1,\sigma_3]=-2\beta\sigma_1$, we have
388: \begin{equation}
389: A+\sigma_1A\sigma_1= -\frac1{N}x\beta\sigma_1,
390: \end{equation}
391: and by collecting the terms of order $O(w^{-2})$ and noting
392: that $[M_2,\sigma_3]=2\gamma\sigma_1\sigma_3$, we obtain
393: \begin{equation}
394: A-\sigma_1A\sigma_1= 2\sigma_3 + \frac2{N}M_1 + \frac1{N}x\beta\sigma_1M_1
395: +\frac1{N}x\gamma\sigma_1\sigma_3.
396: \end{equation}
397: These yield the second formula \eqref{e-Aformula} for $A$.
398:
399: \item[(vi)]
400: From the second formula \eqref{e-Aformula} of $A$, we have
401: \begin{equation}\label{e-Aexp}
402: A = \begin{pmatrix}
403: 1-\frac1{N}\alpha -\frac1{2N}x\beta^2 &
404: \frac1{N}-\frac1{2N}x\beta(1-\alpha)-\frac1{2N}x\gamma \\
405: -\frac1{N}-\frac1{2N}x\beta(1+\alpha)+\frac1{2N}x\gamma &
406: -1+\frac1{N}\alpha +\frac1{2N}x\beta^2
407: \end{pmatrix}.
408: \end{equation}
409: On the other hand,
410: the first formula, $A=M(1)\sigma_3 M(1)^{-1}$, of \eqref{e-Aformula}
411: implies that $\det A=-1$.
412: Thus \eqref{e-Aexp} yield the identity
413: \begin{equation}
414: -(N-\alpha-\frac12x\beta^2)^2- \frac14x^2\beta^2+(\beta+\frac12x(\alpha\beta-\gamma))^2=-N^2.
415: \end{equation}
416: By removing $\gamma$ and $\beta$ using \eqref{e-alphabetax}, we obtain
417: \begin{equation}
418: -(N-\alpha-x\alpha')^2-\frac12x^2\alpha'
419: +\frac1{2\alpha'}(2\alpha'+x\alpha'')^2=-N^2.
420: \end{equation}
421: This becomes \eqref{e-thetaPV} if we set $\theta=-\frac12x\alpha$.
422:
423: \item[(vii)]
424: We take $\Gamma$ as the union of circle of radius $\epsilon$,
425: centered at $1$ and $-1$. (We have freedom to pick a contour.)
426: Then from the formula of $V$, it is direct to check that
427: \begin{equation}\label{e-V-1est}
428: \|I-V^{-1}\|_{L^\infty(\Gamma)}\le
429: \frac{(2+\epsilon)^N}{\epsilon^N}e^{-(1-\epsilon)x/2}.
430: \end{equation}
431: Also by \eqref{e-Cauchyoperator},
432: \begin{equation}\label{e-CVest}
433: \|C_V\|_{L^2(\Gamma)\to L^2(\Gamma)}\le \|C_+\|_{L^2(\Gamma)\to L^2(\Gamma)}
434: \|I-V^{-1}\|_{L^\infty(\Sigma^M)}
435: \le c_1 \|I-V^{-1}\|_{L^\infty(\Gamma)}
436: \end{equation}
437: for some constant $c_1>0$.
438: Here $c_1$ can be taken to be independent of
439: $0<\epsilon<1/4$ from a simple scaling argument.
440: Hence for large enough $x$,
441: $\|(1-C_V)^{-1}\|_{L^2(\Gamma)\to L^2(\Gamma)}\le 1/2$,
442: and from \eqref{e-solM},
443: \begin{equation}\label{e-Mest}
444: \begin{split}
445: M(w) &= I + \frac1{2\pi i}\int_{\Gamma} \frac{(I-V^{-1})(s)}{s-w}ds
446: +O\biggl(\frac{\|I-V^{-1}\|_{L^\infty(\Gamma)}^2|\Gamma|} {dist(w,\Gamma)}\biggr),
447: \end{split}
448: \end{equation}
449: where $|\Gamma|$ is the size of $\Gamma$.
450: Also, we have
451: \begin{equation}\label{e-M1asymp}
452: \begin{split}
453: M_1 &= -\frac1{2\pi i}\int_\Gamma (I+(1-C_V)^{-1}(C_VI))(s)(I-V^{-1})(s)ds \\
454: &= - \frac1{2\pi i}\int_\Gamma (I-V^{-1})(s)ds
455: - \frac1{2\pi i}\int_\Gamma (C_VI)(s)(I-V^{-1})(s)ds \\
456: &\qquad - \frac1{2\pi i}\int_\Gamma
457: ((1-C_V)^{-1}(C_V(C_VI)))(s)(I-V^{-1})(s)ds,
458: \end{split}
459: \end{equation}
460: and the second and the third integrals on the last line are of order
461: \begin{equation}
462: O\bigl(\|I-V^{-1}\|_{L^\infty(\Gamma)}^2 \bigr),
463: \qquad O\bigl(\|I-V^{-1}\|_{L^\infty(\Gamma)}^3 \bigr),
464: \end{equation}
465: respectively.
466: Therefore, we obtain
467: \begin{equation}\label{}
468: \begin{split}
469: \beta & =(M_1)_{12} =
470: - \frac1{2\pi i}\int_\Gamma (I-V^{-1})_{12}(s)ds
471: + O\bigl(\|I-V^{-1}\|_{L^\infty(\Gamma)}^2 \bigr) \\
472: &= \frac1{2\pi i} \int_{|s-1|=\epsilon}
473: \biggl(\frac{1+s}{1-s}\biggr)^Ne^{-\frac12xs}ds + O(e^{-(1-\epsilon)x})
474: =: f_N(x) + O(e^{-(1-\epsilon)x}).
475: \end{split}
476: \end{equation}
477: After the change of variables $\frac12x(s-1) = z$, we have
478: \begin{equation}
479: f_N(x) = \frac{2(-1)^Ne^{-\frac12x}}{2\pi i}
480: \int_{|z|=\frac12x\epsilon} \bigl( 1+\frac{x}{z} \bigr)^{N-1} e^{-z}
481: \bigl(1+\frac{z}{x}\bigr) \frac{dz}{z}.
482: \end{equation}
483: This is precisely an integral representation of
484: the Laguerre polynomial $L^{(1)}_{N-1}(x)$ (see e.g., \cite{AS} 22.10.8), and
485: we find
486: \begin{equation}
487: \beta= 2(-1)^Ne^{-\frac12x} L^{(1)}_{N-1}(x) +
488: O(e^{-(1-\epsilon)x}).
489: \end{equation}
490: Similarly, from \eqref{e-M1asymp}, we have
491: \begin{equation}\label{}
492: \begin{split}
493: \alpha &= (M_1)_{22}= -\frac1{2\pi i} \int_\Gamma ((C_VI)(s)(I-V^{-1})(s))_{22} ds
494: +O( \| I-V^{-1}\|_{L^\infty(\Gamma)}^3) \\
495: & = \frac1{(2\pi i)^2} \int_{\Gamma_1} ds \int_{\Gamma_2}dt \frac{\Phi(t)^{-1}\Phi(s)}
496: {t-s} + O(e^{-3/2(1-\epsilon)x})
497: =: g_N(x) + O(e^{-3/2(1-\epsilon)x}).
498: \end{split}
499: \end{equation}
500: By a direct computation using \eqref{e-Phi}, we find that
501: \begin{equation}\label{}
502: g_N'(x)= \frac1{2(2\pi i)^2} \int_{\Gamma_1} ds \int_{\Gamma_2}dt
503: \biggl(\frac{1-t}{1+t}\biggr)^Ne^{\frac12xt} \biggl(\frac{1+s}{1-s}\biggr) e^{-\frac12xs}
504: = \frac12 (f_N(x))^2.
505: \end{equation}
506: Since $\lim_{x\to\infty} g_N(x)=0$, we find that
507: \begin{equation}\label{}
508: g_N(x)= \int_{\infty}^x \frac12 (f_N(y))^2 dy,
509: \end{equation}
510: which proves \eqref{e-alphaasym}.
511:
512: For $w\in\C$ such that $dist(w,\Gamma)\ge \frac12\epsilon$, the result
513: \eqref{e-Maswlarge} follows from \eqref{e-Mest}
514: and \eqref{e-V-1est}, \eqref{e-CVest}.
515: For $w$ such that $dist(w,\Gamma)< \frac12\epsilon$, we
516: algebraically transform the RHP so that the contour $\Gamma$ are
517: now the unions of circles of radius $2\epsilon$, centered at $1,-1$,
518: and then apply the same estimates.
519: By undoing the algebraic transformation and using the Cauchy's theorem,
520: we obtain the result \eqref{e-Maswlarge}.
521:
522: \item[(viii)]
523: From the properties (ii),
524: $M(0)$ is of the form
525: \begin{equation}\label{}
526: M(0) = \begin{pmatrix} A(x) & B(x) \\ B(x) & A(x) \end{pmatrix}
527: \end{equation}
528: for some real function $A$ and $B$ such that $A^2-B^2=1$. From the differential equation
529: \eqref{e-Mxderi} when $w=0$, we find
530: \begin{equation}\label{}
531: A'=\frac12 \beta B, \qquad B'=\frac12 \beta A.
532: \end{equation}
533: Thus we have
534: \begin{eqnarray}
535: A(x)+B(x) &=& (A(x_0)+B(x_0)) e^{\int_{x_0}^x \frac12\beta(s)ds },\\
536: A(x)-B(x) &=& (A(x_0)-B(x_0)) e^{-\int_{x_0}^x \frac12\beta(s)ds }.
537: \end{eqnarray}
538: The asymptotics \eqref{e-betaasym} and \eqref{e-Maswlarge} then yield that
539: \begin{eqnarray}
540: A(x)+B(x) &=& e^{\int_{\infty}^x \frac12\beta(s)ds },\\
541: A(x)-B(x) &=& e^{-\int_{\infty}^x \frac12\beta(s)ds },
542: \end{eqnarray}
543: which imply \eqref{e-Mat0}
544: \end{itemize}
545: \end{proof}
546:
547:
548:
549: In Proposition \ref{prop-PV} (i), the solution to the RHP exists for $x>0$.
550: Indeed it can be shown that the solution ceases to exist
551: when $x=0$ for $N\in\N$.
552: \begin{lem}
553: There is no solution to RHP \eqref{e-PV2} when $x=0$ for $N\in\N$.
554: \end{lem}
555: \begin{proof}
556: When $x=0$, $\Psi(w)=(\frac{1+w}{1-w})^N$.
557: Suppose there is a solution $M$ to the RHP \eqref{e-PV2}.
558: Let $L(w)$ be the matrix defined by
559: \begin{equation}\label{e-LbyM}
560: L(w) = \begin{cases} M(w) \begin{pmatrix} 1 & -(\frac{1+w}{1-w})^N \\
561: 0&1 \end{pmatrix}, \qquad & w\in\Omega_1, \\
562: M(w) \begin{pmatrix} 1 & 0\\ -(\frac{1-w}{1+w})^N &1
563: \end{pmatrix}, \qquad & w\in\Omega_2, \\
564: M(w), \qquad &w\in \Omega_0.
565: \end{cases}
566: \end{equation}
567: Then $L(w)$ is analytic in $\C$ except that its second column has a pole of
568: order $N$ at $w=1$ and its first column has a pole of order $N$ at $w=-1$.
569: Since $L(w)\to I$ as $w\to\infty$, we find that $L$ has the form
570: \begin{equation}\label{e-Lform}
571: L(w) = I + \sum_{j=1}^N \frac1{(1-w)^j}
572: \begin{pmatrix} 0 & a_j \\ 0& b_j \end{pmatrix}
573: + \sum_{k=1}^N \frac1{(1+w)^k} \begin{pmatrix} c_k&0 \\ d_k& 0 \end{pmatrix},
574: \end{equation}
575: for some constants $a_j, b_j, c_k, d_k$.
576: From \eqref{e-LbyM} and \eqref{e-Lform}, for $w\in\Omega_1$,
577: \begin{equation}
578: M(w)= L(w) \begin{pmatrix} 1 & (\frac{1+w}{1-w})^N \\
579: 0&1 \end{pmatrix},
580: \end{equation}
581: and especially the $12$-entry is
582: \begin{equation}\label{e-567}
583: M_{12}(w)= \bigl(\frac{1+w}{1-w}\bigr)^N + \sum_{j=1}^N \frac{a_j}{(1-w)^j}
584: + \sum_{k=1}^N \frac{c_k(1+w)^{N-k}}{(1-w)^N}.
585: \end{equation}
586: From \eqref{e-PV2}, $M$, hence $M_{12}$, is analytic at $w=1$.
587: By expanding \eqref{e-567} as a Laurant series around $w=1$,
588: and computing the coefficient of $(1-w)^{-1}$, we obtain the condition
589: \begin{equation}\label{e-568}
590: -(-1)^N2N + a_1 -(-1)^Nc_1=0.
591: \end{equation}
592: Similarly,
593: for $w\in\Omega_2$,
594: \begin{equation}
595: M_{11}(w) = 1+ \sum_{j=1}^N \frac{a_j(1-w)^{N-j}}{(1+w)^N}
596: + \sum_{k=1}^N \frac{c_k}{(1+w)^k},
597: \end{equation}
598: and by expanding $M_{11}(w)$ as a Laurant series
599: around $w=-1$, and calculating the coefficient of $(1+w)^{-1}$, we obtain the
600: second condition
601: \begin{equation}\label{e-570}
602: -(-1)^Na_1+c_1=0.
603: \end{equation}
604: But there is no such $a_1, c_1$ satisfying \eqref{e-568} and
605: \eqref{e-570} when $N\in\N$, and this is a contradiction.
606: Therefore, there is no solution $M$ to the RHP \eqref{e-PV2}.
607: \end{proof}
608: