1: \input epsf
2: \magnification=\magstep1
3: \documentstyle{amsppt}
4: %\pagewidth{5.4truein}\hcorrection{0.55in}
5: %\pageheight{7.5truein}\vcorrection{0.75in}
6: \pagewidth{6.48truein}\hcorrection{0.0in}
7: \pageheight{9.0truein}\vcorrection{0.0in}
8: \TagsOnRight
9: \NoRunningHeads
10: \catcode`\@=11
11: \def\logo@{}
12: \footline={\ifnum\pageno>1 \hfil\folio\hfil\else\hfil\fi}
13: \topmatter
14: \title Rotational invariance of quadromer correlations on the hexagonal lattice
15: %II: the asymptotics
16: %\title Tilings and electric charges I: Rotational invariance of quadromer correlations
17: %on the hexagonal lattice
18: \endtitle
19: \author Mihai Ciucu\endauthor
20: \thanks Research supported in part by NSF grants DMS 9802390 and DMS 0100950.
21: \endthanks
22: \affil
23: School of Mathematics, Georgia Institute of Technology\\
24: Atlanta, Georgia 30332-0160
25: \endaffil
26: %\date November, 2001\enddate
27: \abstract
28: In 1963 Fisher and Stephenson \cite{FS} conjectured that the monomer-monomer
29: correlation on the square lattice is rotationally invariant. In this paper we
30: prove a closely related statement on the hexagonal lattice. Namely, we consider
31: correlations of two quadromers (four-vertex subgraphs consisting of a monomer and its
32: three neighbors) and show that they are rotationally invariant.
33: \endabstract
34: \endtopmatter
35: \document
36:
37: %\def\mysec#1{\bigskip\centerline{\bf #1}\message{ * }\nopagebreak\par}
38: \def\mysec#1{\bigskip\centerline{\bf #1}\message{ * }\nopagebreak\par\bigskip}
39: \def\subsec#1{\medskip{\it\noindent #1}\nopagebreak\par}
40: \def\myref#1{\item"{[{\bf #1}]}"}
41: \def\same#1{\underbar{\phantom{#1}}}
42: \def\pf{{\it Proof.\ }}
43: \def\endpf{\hbox{\qed}\bigskip}
44: \def\cite#1{\relaxnext@
45: \def\nextiii@##1,##2\end@{[{\bf##1},\,##2]}%
46: \in@,{#1}\ifin@\def\next{\nextiii@#1\end@}\else
47: \def\next{[{\bf#1}]}\fi\next}
48: \def\proclaimheadfont@{\smc}
49:
50: \def\pf{{\it Proof.\ }}
51: \define\N{{\Bbb N}}
52: \define\Z{{\Bbb Z}}
53: \define\Q{{\Bbb Q}}
54: \define\R{{\Bbb R}}
55: \define\C{{\Bbb C}}
56: \define\M{\operatorname{M}}
57: \define\wt{\operatorname{wt}}
58: \define\w{\operatorname{w}}
59: \define\twoline#1#2{\line{\hfill{\smc #1}\hfill{\smc #2}\hfill}}
60:
61: \def\epsfsize#1#2{0.80#1}
62: %\def\mypic#1{\epsffile{papers/#1}}
63: \def\mypic#1{\epsffile{figs/#1}}
64:
65: %\topinsert
66: %\centerline{\mypic{1-2.eps}}
67: %\centerline{{\smc Figure~1.3.} {\rm $H_{(2,4),(3,5)}(7,8,3)$.}}
68: %\endinsert
69:
70: %\topinsert
71: %\twoline{\mypic{1-0.eps}}{\mypic{1-0b.eps}}
72: %\twoline{Figure~1.1{\rm (a). The hexagon $H$ for $a=5$, $b=5$ and $k=3$.}}
73: %{Figure~1.1{\rm (b). A tiling of $H$.}}
74: %\endinsert
75:
76: \mysec{1. Introduction}
77:
78: The lines of the square grid divide the plane into unit squares called {\it monomers}.
79: A {\it dimer} is the union of two monomers that share an edge, and a collection
80: of disjoint dimers is said to be a {\it dimer tiling} of the planar region
81: obtained as their union. We denote by $\M(R)$ the number of dimer tilings of the
82: region $R$.
83:
84: Let $S_n$ be the square $[0,2n]\times[0,2n]$. Denote by $S_n(r,s;p,q)$ the region
85: obtained from $S_n$ by removing the two monomers whose lower left corners have
86: coordinates $(r,s)$ and $(r+p,s+q)$, $0\leq r,s,r+p,s+q\leq 2n-1$.
87:
88: The {\it boundary-influenced} correlation of the two removed monomers is defined in
89: \cite{FS} as
90: $$\omega_b(r,s;p,q):=\lim_{n\to\infty}\frac{\M(S_n(r,s;p,q))}{\M(S_n)}.\tag1.1$$
91:
92: If the monomers of $S_n$ are colored in a chessboard fashion, every dimer consists of
93: one monomer of each color, and one sees that
94: $\omega_b(r,s;p,q)=0$ unless the two removed monomers have opposite colors. Therefore
95: in the following discussion we assume that the latter condition holds (this amounts to
96: $p$ and $q$ having opposite parities).
97:
98: The correlation at the {\it center} is then defined as
99: $$\omega(p,q):=\lim_{r,s\to\infty}\omega_b(r,s;p,q).\tag1.2$$
100:
101: The results in \cite{FS} provide explicit exact values for $\omega(p,q)$ for small,
102: concrete values of $p$ and $q$. In the cases $q=0$ (or $q=1$) and $p=q+1$---which
103: correspond to a lattice and a lattice diagonal direction, respectively---,
104: Fisher and Stephenson \cite{FS}
105: computed the values of these correlations for the first thirteen
106: (respectively, first 22)
107: values of $p$. These tables provide strong evidence that the correlations
108: $\omega(p,q)$ decay to zero at exactly the same rate (namely, as the inverse
109: square root of the distance between the monomers, with exactly the same constant
110: of proportionality) along this two
111: inequivalent directions\footnote{Hartwig \cite{H} proved that the correlations decay
112: as predicted by Fisher and Stephenson along the lattice diagonal direction.}.
113: After making this remark, Fisher and Stephenson continue in \cite{FS} by stating:
114: ``This equality suggests that the monomer correlations decay
115: isotropically (with full angular symmetry).'' This conjecture was the starting point
116: of the present paper.
117:
118: %in fact the
119: %monomer-monomer correlations $\omega(p,q)$ have full rotational symmetry, i.e.,
120: %that $$\lim_{p\to\infty}\frac{\omega(p,q_1p)}{\omega(p,q_2p)}=1$$
121: %for any rational numbers $q_1$ and $q_2$.
122: %that as $p,q\to\infty$ having {\it any} fixed ratio $\alpha$, the
123: %correlation $\omega(p,q)$ decays to zero at a rate independent of $\alpha$.
124:
125: Clearly, these considerations can also be made on the triangular lattice. A monomer is
126: then a unit equilateral triangle, and the dimers are the unit rhombi consisting of the
127: union of two monomers with a common edge.
128:
129: Each dimer covers one up-pointing and one
130: down-pointing monomer, so the two orientations of monomers play in this case the role
131: of the two colors in the chessboard coloring of the square lattice.
132: Therefore, the natural analog of the conjecture of Fisher and Stephenson would be the
133: statement that the correlation of two monomers of opposite orientation is rotationally
134: invariant.
135:
136: A {\it quadromer} is by definition the union
137: of any monomer with the three monomers adjacent to it. Clearly, this is just a
138: lattice triangle of side two.
139:
140: It is correlations of two quadromers that we prove are rotationally invariant in this
141: paper. Our method of proof is based on exact counting of dimer coverings of certain
142: regions on the triangular lattice, and the reduction of the problem to these exact
143: counts works only when we remove triangles of side two---quadromers---, and not when
144: monomers are removed. In essence, this is due to the fact that two is an even number,
145: and this allows to express the relevant quantities as convenient determinants, evaluate
146: them and obtain the asymptotics of the resulting expressions.
147:
148: We note that removing a quadromer from a region is equivalent to removing any two of
149: its outer monomers---such a pair could be called a {\it bimer}. Indeed, any dimer
150: covering of the region resulting by removal of a bimer must contain the unit rhombus
151: fitting in its notch, thus extending it to a quadromer.
152:
153: In order to define quadromer correlations, we need a family of regions on the
154: triangular lattice to play the role the squares $S_n$ played on the square lattice. The
155: choice of these regions is perhaps the single most crucial part in our proof.
156:
157: To this end, for any integer $n\geq1$ we define the region $P_n$ as follows.
158: Fix a vertex $O$ of the triangular lattice and
159: consider the zig-zag lattice path $L_u$ of length $2n$ extending upward from $O$ and
160: taking alternate steps northeast and northwest (see Figure~1.1).
161: Let $O'$ be the southwestern neighbor
162: of $O$, and consider a second zig-zag lattice path $L_d$ of length $2n$, extending
163: downward from $O'$ and taking alternate steps southeast and southwest. The union of
164: these two lattice paths and the segment $OO'$ forms the eastern boundary of $P_n$. The
165: rest of its boundary is defined by moving from the lowest vertex of $L_d$ successively
166: $n$ units west, $2n$ units northwest, $2n+1$ units northeast and $n$ units
167: east, along lattice lines throughout, to arrive at the topmost vertex of $L_u$.
168: Our region $P_n$ is the region traced out this way, with the additional requirement
169: that the $n$ dimer positions closest to $L_u$ have weight 1/2 (these positions are
170: indicated by shaded ellipses in Figure 1.1): what this means is that a
171: dimer covering of $P_n$ using precisely $k$ of these dimers gets weight $1/2^k$, and
172: $\M(P_n)$ is the {\it weighted} count of the dimer coverings of $P_n$, i.e., the sum
173: of all their weights.
174:
175: \def\epsfsize#1#2{0.33#1}
176: \topinsert
177: \twoline{\mypic{1-1.eps}}{\mypic{1-2.eps}}
178: \medskip
179: \twoline{Figure~1.1.{ $P_{4}$.}}
180: {Figure~1.2.{ $P_{4}(3,0;2,1)$.}}
181: \endinsert
182:
183: Let $\ell$ be the vertical line through $O$.
184: Denote by $D(R,v)$ the down-pointing quadromer
185: whose base is centered $R$ units to the left of $\ell$ and lies on a
186: horizontal lattice line crossing $L_d$ $2v+1$ units below $O'$.
187: Let $U(R,v)$ be the up-pointing quadromer whose base is centered
188: $R$ units to the left of $\ell$ and lies on a horizontal lattice line crossing $L_u$
189: $2v$ units above $O$ (Figure 1.2 shows quadromers
190: $D(3,0)$ and $U(2,1)$)\footnote{Considering the relative
191: position to $L_u$ and $L_d$, there are two distinct types of both up-pointing
192: and down-pointing quadromers. The reason we made the indicated choice
193: out of the total of four possibilities is that it provides even vertical separations
194: between the bases of the quadromers. The other three choices would entail only minor
195: alterations to the considerations in this paper.} .
196:
197: Let $P_n(R_1,v_1;R_2,v_2)$ be the region obtained from $P_n$ by removing the
198: quadromers $D(R_1,v_1)$ and $U(R_2,v_2)$, where $R_1,R_2\geq1$ and $v_1,v_2\geq0$ (see
199: Figure 1.2 for an example).
200:
201: Paralleling (1.1), we define the
202: boundary-influenced correlation of two removed qua\-dro\-mers as
203:
204: $$\omega_b(R_1,v_1;R_2,v_2):=
205: \lim_{n\to\infty}\frac{\M(P_n(R_1,v_1;R_2,v_2))}{\M(P_n)}.\tag1.3$$
206:
207: In analogy to (1.2), we define the correlation of the quadromers at the center, with
208: horizontal separation $r$ and vertical separation $\sqrt{3}u\geq\sqrt{3}$, by
209: $$\omega(r,u):=
210: \lim_{R\to\infty}\omega_b(R+r,u-1;R,0).\tag1.4$$
211:
212: When making the separation $(r,u)$ of the two quadromers
213: grow to infinity it is natural to do it so that $u=qr+c$, where $q$ and $c$ are fixed
214: rational numbers.
215:
216: The main theorem of this paper is the following.
217:
218: \proclaim{Theorem 1.1} As $r$ and $u$ approach infinity so that $u=qr+c$, with
219: $q\geq0$ and $c$ fixed rational numbers $($$c\geq1$ if $q=0$$)$,
220: $$\omega(r,u)=\frac{3}{4\pi^2(r^2+3u^2)}+o(r^{-2}).\tag1.5$$
221: \endproclaim
222:
223: Since the parenthesis in
224: the denominator in (1.5) is just the square of the distance between the centers
225: of the bases of the removed quadromers, this theorem shows in particular that the
226: quadromer correlation $\omega(r,u)$ is rotationally invariant.
227:
228: \smallpagebreak
229: \flushpar
230: {\smc Remark 1.2.} An alternative (and perhaps more natural) way to define the
231: correlation of the two removed quadromers would be to consider say regular hexagons $H_n$ of
232: side $n$ instead of our regions $P_n$. One could even remove the two quadromers from near the center
233: of $H_n$, and then the analog of (1.3) would define directly the correlation at the center.
234:
235: However, when carrying out the line of approach of our proof in this set-up, instead of the
236: well-behaved regions $P_n[k_1,k_2;l_1,l_2]$ of Section 2, one is lead to regions obtained from $H_n$
237: by removing pairs of unit triangles from along two of its opposite sides---and these turn out not to
238: possess a simple product formula for the number of their tilings. This precludes having an analog of
239: Lemma 2.1, which is the first key step in our proof.
240:
241:
242:
243:
244: \mysec{2. A quadruple sum for quadromer correlations}
245:
246: The reason we chose the regions $P_n$ as above is that they have, as shown in
247: \cite{C}, the
248: remarkable property that quite general alterations of their eastern boundary create
249: regions whose weighted dimer counts are given by simple product formulas.
250:
251: To state this precisely, view the lattice paths $L_u$ and $L_d$ on the eastern
252: boundary as consisting of $n$ {\it bumps} each---successions of two lattice steps
253: forming an angle opening to the left (one sample bump on each of $L_d$ and $L_u$ is indicated in
254: Figure 1.1). Label the bumps on each path successively by
255: $0,1,\dotsc,n-1$, starting from the bumps closest to $O$\footnote{Note that this
256: differs from the labeling used in \cite{C}, which is obtained by increasing the
257: present labels by 1.} (see Figure 2.1). Let $B$ be a bump on $L_d$, and consider the unique
258: down-pointing quadromer $D$ that contains $B$. By removing bump $B$ from $P_n$ we mean removing the
259: three monomers of $D$ contained in $P_n$. We define removal of a bump of $L_u$ analogously, via
260: the unique {\it up}-pointing quadromer containing it. Figure 2.1 illustrates the effect of removing
261: bumps 0 and 2 of $L_d$ and bumps 1 and 2 of $L_u$ from the region $P_4$.
262:
263: %Any bump of $L_u$ is allowed
264: %to be ``removed'' by placing an up-pointing quadromer across it and discarding the
265: %three monomers of $P_n$ it covers. Similarly, one can remove a bump from $L_d$ by
266: %placing a down-pointing quadromer across it and discarding the three monomers of $P_n$
267: %covered by it (these bump removals are illustrated in Figure 2.1).
268:
269: \def\epsfsize#1#2{0.33#1}
270: \topinsert
271: \centerline{\mypic{2-1.eps}}
272: \medskip
273: \centerline{{\smc Figure~2.1.} {\rm $P_4[0,2;1,2]$.}}
274: \endinsert
275:
276: Let $P_n[k_1,k_2;l_1,l_2]$ be the region obtained from $P_n$ by removing bumps $k_1$
277: and $k_2$ from $L_d$ and bumps $l_1$ and $l_2$ from $L_u$, where
278: $0\leq k_1<k_2\leq n-1$ and $0\leq l_1<l_2\leq n-1$ (Figure 2.1 shows $P_4[0,2;1,2]$).
279: In \cite{C,(2.2),\,(1.1)--(1.6)} explicit
280: simple product formulas (i.e., with factors of size at most linear in the parameters)
281: are given for the weighted count of dimer coverings of a family of regions
282: $\bar{R}_{\bold l,\bold q}(x)$ that includes the $P_n[k_1,k_2;l_1,l_2]$'s
283: (${\bold l}$ and ${\bold q}$ are lists of strictly increasing positive integers,
284: and $x$ is a nonnegative integer; in the notation of \cite{C},
285: $\bar{R}_{[1,\dotsc,k_1,k_1+2,\dotsc,k_2,k_2+2,\dotsc,n],
286: [1,\dotsc,l_1,l_1+2,\dotsc,l_2,l_2+2,\dotsc,n]}(n)$ is the
287: region that we denote here $P_n[k_1,k_2;l_1,l_2]$). Thus we obtain simple product
288: formulas for the numbers $\M(P_n[k_1,k_2;l_1,l_2])$. Using them, one obtains after
289: straightforward if somewhat lengthy manipulations that
290: $$
291: \align
292: \lim_{n\to\infty}\frac{\M(P_n[k_1,k_2;l_1,l_2])}{\M(P_n)}
293: =&\frac{2^{-4}(2k_1+1)!\,(2k_2+1)!\,(2l_1+1)!\,(2l_2+1)!}
294: {2^{2k_1+2k_2+2l_1+2l_2}k_1!\,(k_1+1)!\,k_2!\,(k_2+1)!\,l_1!^2\,l_2!^2}\\
295: \times&\frac{(k_2-k_1)(l_2-l_1)}{(k_1+l_1+2)(k_1+l_2+2)(k_2+l_1+2)(k_2+l_2+2)}.\tag2.1
296: \endalign
297: $$
298: \proclaim{Lemma 2.1} The boundary-influenced correlation $\omega_b(R_1,v_1;R_2,v_2)$
299: is given by
300: $$\align
301: \omega_b(R_1,v_1;R_2,v_2)=&2^{-4}R_1R_2(R_2-1/2)(R_2+1/2)\\
302: \times|\sum_{a,b=0}^{R_1}\sum_{c,d=0}^{R_2}&(-1)^{a+b+c+d}
303: \frac{(R_1+a-1)!\,(R_1+b-1)!}
304: {(2a)!\,(R_1-a)!\,(2b)!\,(R_1-b)!}\\
305: \times&\frac{(R_2+c-1)!\,(R_2+d-1)!}
306: {(2c+1)!\,(R_2-c)!\,(2d+1)!\,(R_2-d)!}\\
307: \times&\frac{(2v_1+2a+1)!\,(2v_1+2b+1)!}
308: {2^{2(2v_1+a+b)}(v_1+a)!\,(v_1+a+1)!\,(v_1+b)!\,(v_1+b+1)!}\\
309: \times&\frac{(2v_2+2c+1)!\,(2v_2+2d+1)!}
310: {2^{2(2v_2+c+d)}(v_2+c)!^2\,(v_2+d)!^2}\\
311: \times&\frac{(b-a)^2(d-c)^2}
312: {(u+a+c)(u+a+d)(u+b+c)(u+b+d)}|,\tag2.2
313: \endalign$$
314: where $u=v_1+v_2+2$.
315: \endproclaim
316:
317: To prove this Lemma we will need the following special case of the
318: Lindstr\"om-Gessel-Viennot theorem on non-intersecting lattice paths.
319:
320: Our lattice paths will be paths on the directed grid graph $\Z^2$, with edges
321: oriented so that they point in the positive direction. We allow the edges of $\Z^2$ to
322: be weighted, and define the weight of a lattice path to be the product of the weights
323: on its steps. The weight of an $N$-tuple of lattice paths is the product of the
324: individual weights of its members.
325: The weighted count of a set of $N$-tuples of
326: lattice paths is the sum of the weights of its elements.
327:
328: Let ${\bold u}=(u_1,\dotsc,u_N)$ and ${\bold v}=(v_1,\dotsc,v_N)$ be two fixed sets of
329: starting and ending points on $\Z^2$, and let $\Cal N({\bold u},{\bold v})$ be the set
330: of non-intersecting lattice paths with these starting and ending points. For
331: ${\bold P}\in\Cal N({\bold u},{\bold v})$, let $\sigma_{\bold P}$ be the permutation
332: induced by ${\bold P}$ on the set consisting of the $N$ indices of its starting and
333: ending points.
334:
335: \proclaim{Theorem 2.2 (Lindstr\"om-Gessel-Viennot \cite{GV})}
336: $$\sum_{{\bold P}\in\Cal N({\bold u},{\bold v})}(-1)^{\sigma_{\bold P}}\wt({\bold P})=
337: \det\left((a_{ij})_{1\leq i,j\leq n}\right),$$
338: where $a_{ij}$ is the weighted count of the lattice paths from $u_i$ to $v_j$.
339: \endproclaim
340:
341: What makes possible the use of this result in our setting is a well-known procedure of
342: encoding dimer coverings by families of
343: non-intersecting ``paths of dimers:'' given a dimer covering $T$ of a region $R$ on the
344: triangular lattice and a lattice line direction $d$, the dimers of $T$ parallel to $d$
345: (i.e., having two sides parallel to $d$) can naturally be grouped into
346: non-intersecting paths joining the lattice segments on the boundary of $R$ that are
347: parallel to $d$, and conversely this family of paths determines the dimer covering
348: (see Figure 2.2 for an illustration of this and e.g. \cite{C} for a more detailed
349: account).
350:
351: We will find it convenient to view the paths of dimers directly as lattice paths on
352: $\Z^2$, thus bypassing the ``extra steps'' of bijecting them with lattice paths on a
353: lattice of rhombi with angles of 60 and 120 degrees, and then deforming this to the
354: square lattice. In this context, the ``points'' of our lattice $\Cal L$ are the
355: edges of the triangular lattice parallel to a chosen lattice line direction $d$---we
356: call them {\it segments}---, and the ``lines''of $\Cal L$ are sequences of adjacent
357: dimers extending along the two lattice line directions different from $d$. The dimers
358: that these lines consist of are the {\it edges} of $\Cal L$.
359:
360: \smallpagebreak
361: {\it Proof of Lemma 2.1.}
362: %This follows by Laplace expansion and (2.1).
363: %Use p.35 + p.51, c.I and last page, c.0.
364: Choose the lattice line direction $d$ in the above encoding procedure to be the
365: southwest-northeast direction, and choose the positive directions in the lattice
366: $\Cal L$ so that they point
367: east and southeast. Encode the dimer coverings of
368: $P_n(R_1,v_1;R_2,v_2)$ by $(2n+3)$-tuples of non-intersecting paths consisting of
369: dimers parallel to $d$ (see Figure 2.2; there and in the following figures the dimer
370: positions weighted by 1/2 are not distinguished, but are understood to carry that
371: weight).
372:
373: Let ${\bold P}$ be such a $(2n+3)$-tuple. Consider the
374: permutation $\sigma_{\bold P}$ induced by ${\bold P}$ on the set of the $2n+3$ indices
375: of its starting and ending points. We claim that the sign of $\sigma_{\bold P}$ is
376: independent of ${\bold P}$. Indeed, denote by $U$ and $D$
377: the removed up-pointing and down-pointing quadromers, respectively. While the way in
378: which the starting and ending points of ${\bold P}$---clearly independent of ${\bold
379: P}$---are matched up depends on ${\bold P}$, it is always the case that the two paths
380: ending on $U$ start at consecutive starting points, and the two starting at $D$ end at
381: consecutive ending points. It is easy to see that this implies that all
382: $\sigma_{\bold P}$'s have the same sign.
383:
384: \def\epsfsize#1#2{0.33#1}
385: \topinsert
386: \twoline{\mypic{2-2.eps}}{\mypic{2-3.eps}}
387: \medskip
388: \twoline{Figure~2.2.{ }}
389: {Figure~2.3.{ }}
390: \twoline{{ \rm A dimer covering of $P_4(3,0;2,1)$}}
391: {{ \rm The effect of Laplace expansion over}}
392: \twoline{{\rm encoded by paths of rhombi.}}
393: {{\rm the rows indexed by $\alpha$ and $\beta$.}}
394: \endinsert
395:
396: Weight by 1/2 the edges of our ``path-encoding'' lattice $\Cal L$ corresponding to
397: dimer positions weighted by 1/2 in $P_n(R_1,v_1;R_2,v_2)$. Weight all other edges of
398: $\Cal L$ by 1.
399: Then the weight of the dimer covering encoded by ${\bold P}$ is just $\wt({\bold P})$,
400: and we obtain by Theorem 2.2 and the constancy of the sign of $\sigma_{\bold P}$ that
401: $$\M(P_n(R_1,v_1;R_2,v_2))=\left|\det A\right|,\tag2.3$$
402: where $A$ is the $(2n+3)\times(2n+3)$ matrix recording the weighted counts of the
403: lattice paths with given starting and ending points (note that the right hand side of
404: (2.3) is independent of the ordering of these starting and ending points).
405:
406: We deduce (2.2) by applying Laplace expansion to the determinant in (2.3). Recall that
407: for any $m\times m$ matrix $M$ and any $s$-subset $S$ of $[m]:=\{1,\dotsc,m\}$,
408: Laplace expansion along the rows with indices in $S$ states that
409: $$\det M=
410: \sum_K(-1)^{\epsilon(K)}\det M_S^K\det M_{[m]\setminus S}^{[m]\setminus K},\tag2.4$$
411: where $K$ ranges over all $s$-subsets of $[m]$,
412: %the upper bar denotes complementation in $[m]$,
413: $\epsilon(K):=\sum_{k\in K}(k-1)$ and $M_I^J$ is the
414: submatrix of $M$ with row-index set $I$ and column-index set $J$.
415:
416: The rows and columns of the matrix $A$ in (2.3) are indexed by the starting and ending
417: points of the $(2n+3)$-tuples of non-intersecting lattice paths encoding the dimer
418: coverings of $P_n(R_1,v_1;R_2,v_2)$. The starting points are the $2n+1$ unit segments
419: along the northwestern boundary of $P_n(R_1,v_1;R_2,v_2)$, together with the two
420: segments $\alpha$ and $\beta$ of $D$ parallel to $d$ (see Figure 2.2).
421: The ending points are the $2n+1$
422: segments parallel to $d$ on the eastern boundary of $P_n(R_1,v_1;R_2,v_2)$, together
423: with two more such segments on $U$.
424:
425: Apply Laplace expansion to the matrix $A$ of (2.3) along the two rows indexed by
426: $\alpha$ and $\beta$ (see Figure 2.2).
427: The first determinant in the summand in (2.4) is then just a two
428: by two determinant. Its entries are weighted counts of lattice paths on $\Cal L$ that
429: start at $\alpha$ or $\beta$ and end at some segment on $L_d$. There are only
430: $R_1+1$ segments on $L_d$ that can be reached this way. Label them consecutively from
431: top to bottom by $0,1,\dotsc,R_1$. We can restrict summation in (2.4) to the
432: two-element subsets $K$ of this set of segments: all other terms have at least
433: one zero column in the two by two determinant. Therefore we obtain from (2.3) that
434: $$\M(P_n(R_1,v_1;R_2,v_2))=\left|\sum_{0\leq a,b\leq R_1}(-1)^{a+b}
435: \det A_{\{\alpha,\beta\}}^{\{a,b\}}
436: \det A_{[2n+3]\setminus\{\alpha,\beta\}}^{[2n+3]\setminus\{a,b\}}\right|.\tag2.5$$
437: Choosing the origin of $\Cal L$ to be at $\alpha$, one sees that $\beta$ has
438: coordinates $(-1,1)$
439: and the segment labeled $j$ on $L_d$ has coordinates $(R_1-1-j,2j)$, $j=0,\dotsc,R_1$.
440: Since the lattice paths counted by the entries of $A_{\{\alpha,\beta\}}^{\{a,b\}}$
441: have all steps weighted by 1, the determinant of this matrix is
442: $$
443: \det A_{\{\alpha,\beta\}}^{\{a,b\}}=\det\left[\matrix
444: {R_1-1+a\choose 2a} {R_1-1+b\choose 2b}\\
445: {R_1-1+a\choose 2a-1} {R_1-1+b\choose 2b-1}
446: \endmatrix\right]=
447: 2R_1\frac{(b-a)(R_1+a-1)!\,(R_1+b-1)!}{(2a)!\,(R_1-a)!\,(2b)!\,(R_1-b)!}.\tag2.6
448: $$
449: On the other hand, the second determinant in the summand in (2.5) can be interpreted
450: as being the weighted count of dimer coverings of the region
451: $P_n^{[a,b]}(R_2,v_2)$ obtained from
452: $P_n(R_1,v_1;R_2,v_2)$ by placing back quadromer D and removing the two monomers (i.e., unit
453: triangles) that
454: contain the segments labeled $a$ and $b$ on $L_d$, under the labeling of the preceding paragraph
455: (see Figure 2.3 for an illustration). Indeed, the
456: Lindstr\"om-Gessel-Viennot matrix of this region is precisely
457: $A_{[2n+3]\setminus\{\alpha,\beta\}}^{[2n+3]\setminus\{a,b\}}$, and by the argument
458: that proved (2.3) we
459: obtain that $\M(P_n^{[a,b]}(R_2,v_2))$ is equal to
460: $\det A_{[2n+3]\setminus\{\alpha,\beta\}}^{[2n+3]\setminus\{a,b\}}$, up to a sign that
461: is independent of $a$ and $b$ (indeed, the permutations $\sigma_{\bold P}$ that occur
462: when applying Theorem 2.2 to the region $P_n^{[a,b]}(R_2,v_2)$ are independent of $a$
463: and $b$).
464: Therefore, using (2.6) we can rewrite (2.5) as
465: $$\align
466: \M(P_n&(R_1,v_1;R_2,v_2))=\\
467: &2R_1\left|\sum_{0\leq a<b\leq R_1}(-1)^{a+b}
468: \frac{(b-a)(R_1+a-1)!\,(R_1+b-1)!}{(2a)!\,(R_1-a)!\,(2b)!\,(R_1-b)!}
469: \M(P_n^{[a,b]}(R_2,v_2))\right|.\tag2.7
470: \endalign$$
471: In turn, $\M(P_n^{[a,b]}(R_2,v_2))$ can be expressed by a formula similar to the one
472: above. To obtain this, encode the tilings of $P_n^{[a,b]}(R_2,v_2)$ by lattice paths,
473: choosing this time the lattice direction $d$ to be the southeast-northwest direction,
474: and the positive directions in the encoding lattice $\Cal L$ to point east and
475: northeast. As in the previous encoding, weight by 1/2 those segments of $\Cal L$ that
476: correspond to dimer positions weighted 1/2 in $P_n^{[a,b]}(R_2,v_2)$, and weight all
477: its remaining segments by 1.
478:
479: Each tiling of $P_n^{[a,b]}(R_2,v_2)$ gets encoded this way by a
480: $(2n+2)$-tuple ${\bold P}$ of non-intersecting lattice paths on $\Cal L$, starting at
481: the unit segments on its southwestern boundary or at the unit segments $\gamma$
482: and $\delta$ of $U$ that are parallel to $d$, and ending at the unit segments
483: parallel to $d$ on its eastern boundary (see Figure 2.4).
484: As in the argument that proved (2.3), the sign of the permutation $\sigma_{\bold P}$
485: is independent of ${\bold P}$. Therefore, we obtain by Theorem 2.2 that
486: $$\M(P_n^{[a,b]}(R_2,v_2))=\epsilon\det B,\tag2.8$$
487: where $B$ is the $(2n+2)\times(2n+2)$ matrix recording the weighted counts of the
488: lattice paths with specified starting and ending points, and the sign $\epsilon$ in
489: front of the determinant is the same for all choices of $a$ and $b$.
490:
491: \def\epsfsize#1#2{0.33#1}
492: \topinsert
493: \twoline{\mypic{2-4.eps}}{\mypic{2-5.eps}}
494: \medskip
495: \twoline{Figure~2.4.{ }}
496: {Figure~2.5.{ }}
497: \twoline{{ \rm A dimer covering of $P_4^{[1,2]}(2,1)$}}
498: {{ \rm The effect of Laplace expansion over}}
499: \twoline{{\rm \!\!\!\!\! encoded by paths of rhombi.}}
500: {{\rm the rows indexed by $\gamma$ and $\delta$.}}
501:
502: \endinsert
503:
504: Apply Laplace expansion in $\det B$ along the two rows indexed by $\gamma$ and
505: $\delta$. The first determinant in the summand of (2.4) is again two by two, and
506: records weighted counts of lattice paths starting at $\gamma$ or $\delta$ and ending
507: at some segment on $L_u$ (see Figure 2.4).
508: There are $R_2+1$ segments on $L_u$ that can be
509: reached this way; label them consecutively from bottom to top by $0,1,\dotsc,R_2$.
510: As with our previous Laplace expansion, we can restrict the summation range in (2.4)
511: to obtain
512: $$\M(P_n^{[a,b]}(R_2,v_2))=\epsilon\sum_{0\leq c<d\leq R_1}(-1)^{c+d-1}
513: \det B_{\{\gamma,\delta\}}^{\{c,d\}}
514: \det B_{[2n+2]\setminus\{\gamma,\delta\}}^{[2n+2]\setminus\{c,d\}}.\tag2.9$$
515:
516: Centering $\Cal L$ at $\gamma$, $\delta$ has coordinates $(-1,1)$ and the segment
517: labeled $j$ on $L_u$ has coordinates $(R_2-1-j,2j+1)$, $j=0,1,\dotsc,R_2$. The
518: weighted counts involved in the entries of $B_{\{\gamma,\delta\}}^{\{c,d\}}$
519: (which involve this time some steps of weight 1/2) are easily calculated and one obtains
520: $$\align
521: \det B_{\{\gamma,\delta\}}^{\{c,d\}}=&\det\left[\matrix
522: \frac{1}{2}{R_2-1+c\choose 2c}+{R_2-1+c\choose 2c+1}
523: \ \ \frac{1}{2}{R_2-1+d\choose 2d}+{R_2-1+d\choose 2d+1}\\
524: \frac{1}{2}{R_2-1+c\choose 2c-1}+{R_2-1+c\choose 2c}
525: \ \ \frac{1}{2}{R_2-1+d\choose 2d-1}+{R_2-1+d\choose 2d}
526: \endmatrix\right]\\
527: =&2R_2(R_2-1/2)(R_2+1/2)\frac{(d-c)(R_2+c-1)!\,(R_2+d-1)!}
528: {(2c+1)!\,(R_2-c)!\,(2d+1)!\,(R_2-d)!}.\tag2.10
529: \endalign$$
530: On the other hand, by applying Theorem 2.2 one more time one sees that
531: $$\det B_{[2n+2]\setminus\{\gamma,\delta\}}^{[2n+2]\setminus\{c,d\}}=
532: \epsilon'\M(P_n^{[a,b][c,d]}),\tag2.11$$
533: where $P_n^{[a,b][c,d]}$ is the region obtained from $P_n^{[a,b]}(R_2,v_2)$ by placing
534: back quadromer $U$ and removing the two monomers near $L_u$ containing segments $c$
535: and $d$, and the sign $\epsilon'$ is independent of $c$ and $d$. Furthermore,
536: $P_n^{[a,b][c,d]}$ differs from the region
537: $P_n[v_1+a,v_1+b;v_2+c,v_2+d]$ considered at the beginning of this section
538: only in that the former contains four more dimers, which are weighted by 1 and forced
539: to be part of all its dimer coverings (see Figure 2.6); so the two regions have equal
540: weighted counts of dimer coverings. Therefore, by (2.7), (2.9), (2.10) and (2.11) we
541: obtain that
542: \def\epsfsize#1#2{0.33#1}
543: \topinsert
544: \centerline{\mypic{2-6.eps}}
545: \medskip
546: \centerline{{\smc Figure~2.6.}}
547: \centerline{{ \rm The regions $P_4^{[1,2][0,1]}$ and $P_4[1,2;1,2]$}}
548: \centerline{{ \rm differ only by four dimers.}}
549: \endinsert
550: $$
551: \align
552: \M(P_n&(R_1,v_1;R_2,v_2))=4R_1R_2(R_2-1/2)(R_2+1/2)\\
553: &\times|\sum_{0\leq a<b\leq R_1}\sum_{0\leq c<d\leq R_1}
554: (-1)^{a+b+c+d}
555: \frac{(b-a)(R_1+a-1)!\,(R_1+b-1)!}{(2a)!\,(R_1-a)!\,(2b)!\,(R_1-b)!}\\
556: &\ \ \ \ \ \ \ \ \ \ \ \ \ \times
557: \frac{(d-c)(R_2+c-1)!\,(R_2+d-1)!}{(2c+1)!\,(R_2-c)!\,(2d+1)!\,(R_2-d)!}\\
558: &\ \ \ \ \ \ \ \ \ \ \ \ \ \times\M(P_n[v_1+a,v_1+b;v_2+c,v_2+d])|.\tag2.12
559: \endalign
560: $$
561: Dividing (2.12) by $\M(P_n)$, letting $n\to\infty$ and using (2.1), one
562: obtains an expression for $\omega_b(R_1,v_1;R_2,v_2)$ as a quadruple sum in which the
563: summation indices need to satisfy $a<b$ and $c<d$.
564:
565: The fortunate situation is that, on
566: the one hand, when $a=b$ or $c=d$ the summand becomes zero, and on the other, (2.12)
567: and (2.1) combine to produce a summand which is invariant under
568: independently transposing $a$ with $b$ and $c$ with $d$ (because the differences $b-a$
569: and $d-c$ end up appearing at the second power). Therefore the summation range may
570: be extended to the one shown in (2.2), at the expense of a multiplicative factor of
571: $1/4$.
572: This leads precisely to the quadruple sum given in the statement of the Lemma. \endpf
573:
574: \mysec{3. Four double sums, with integral representations}
575:
576: A simple partial fraction decomposition of part of the summand in (2.2) affords a
577: great deal of simplification in the expression (2.2) of the boundary-influenced
578: correlation.
579:
580: Indeed, one readily checks that
581: $$\align
582: &\frac{(b-a)(d-c)}{(u+a+c)(u+a+d)(u+b+c)(u+b+d)}\\
583: &\ \ \ \ \ \ \ \ \ \ \ \ \ \ =\frac{1}{(u+a+c)(u+b+d)}-\frac{1}{(u+a+d)(u+b+c)}.
584: \endalign$$
585: Using this, the portion of the summand contained in the last line of (2.2) becomes
586: $$\align
587: &\frac{(b-a)(d-c)}{(u+a+c)(u+b+d)}-\frac{(b-a)(d-c)}{(u+a+d)(u+b+c)}\\
588: &\ \ \ \ \ \ \ \ \ \ \ \ \ \
589: =\frac{ac+bd-ad-bc}{(u+a+c)(u+b+d)}-\frac{ac+bd-ad-bc}{(u+a+d)(u+b+c)}.\tag3.1
590: \endalign$$
591: Using this, the fourfold sum of (2.2) becomes a difference of two fourfold sums. The
592: advantage of this expression is that each of the latter two fourfold sums
593: can be written as the product of two double sums. Indeed, in all the factors of the
594: summand in (2.2) except the last line of (2.2), the summation variables can be
595: separated. Furthermore, the variables $\{a,c\}$ can be separated from $\{b,d\}$
596: in the first term on the right hand side of (3.1), while $\{a,d\}$ can be separated
597: from $\{b,c\}$ in the second term of the right hand side of (3.1). The double sums
598: arising this way are all of the form
599: $$\align
600: M_\nu(R_1,R_2):=
601: \sum_{a=0}^{R_1}\sum_{c=0}^{R_2}&(-1)^{a+c}\frac{(R_1+a-1)!}{(2a)!\,(R_1-a)!}
602: \frac{(R_2+c-1)!}{(2c+1)!\,(R_2-c)!}\\
603: \times&\frac{2v_1+2a+1)!}{2^{2v_1+2a}(v_1+a)!\,(v_1+a+1)!}
604: \frac{2v_2+2c+1)!}{2^{2v_2+2c}(v_2+c)!^2}\frac{\nu}{u+a+c},\tag3.2
605: \endalign$$
606: where $\nu$ has one of the values 1, $a$, $c$ and $ac$. For notational convenience
607: we will often write simply $M_\nu$ instead of $M_\nu(R_1,R_2)$.
608:
609: More precisely, consider the term $ac$ of the numerator of the first fraction on the
610: right hand side of (3.1). When summing over $a$, $b$, $c$ and $d$ as required by
611: (2.2), this term gives rise to $M_{ac}M_1$. Similarly, the remaining terms of that
612: numerator, $bd$, $-ad$ and $-bc$, give rise to $M_1M_{ac}$, $-M_aM_c$ and $-M_aM_c$,
613: respectively. In the same fashion, the second term on the right hand side of (3.1)
614: generates the products $-M_aM_c$, $-M_aM_c$, $M_{ac}M_1$ and $M_1M_{ac}$, respectively.
615: Therefore, we obtain by (2.2) that
616: $$
617: \align
618: \omega_b(R_1,v_1;R_2,v_2)&=2^{-4}R_1R_2(R_2-1/2)(R_2+1/2)|4M_1M_{ac}-4M_aM_c|\\
619: &=2^{-2}R_1R_2(R_2-1/2)(R_2+1/2)|M_1M_{ac}-M_aM_c|.
620: \tag3.3
621: \endalign
622: $$
623: Thus, the asymptotic study of the correlation reduces to studying the asymptotics
624: of these four double sums. By their definition (3.2), had it not been for the factor
625: $1/(u+a+c)$, these double sums would further be separable as products of simple sums.
626: We can get around the obstacle posed by this factor by expressing it as an
627: integral
628: \footnote{This useful trick was pointed out to the author independently by
629: Ira Gessel and Doron Zeilberger. Its use allows a shorter proof for the asymptotics
630: of the four double sums than our original proof, which relied on the expansion
631: $$\frac{1}{u+a+b}=\frac{1}{u}\left\{1-\frac{a+c}{u}+\frac{(a+c)(a+c-1)}{u(u+1)}-
632: \frac{(a+c)(a+c-1)(a+c-2)}{u(u+1)(u+2)}+\cdots\right\}.$$}:
633: $$\frac{1}{u+a+c}=\int_0^1x^{u+a+c-1}dx.\tag3.4$$
634: Indeed, substituting this into (3.2), we obtain that for instance $M_1$ is expressed as
635: $$\align
636: M_1=\int_0^1&\left(\sum_{a=0}^{R_1}(-1)^a\frac{(R_1+a-1)!}{(2a)!\,(R_1-a)!}
637: \frac{(2v_1+2a+1)!}{2^{2v_1+2a}(v_1+a)!\,(v_1+a+1)!}x^a\right)\\
638: \times&\left(\sum_{c=0}^{R_2}(-1)^c\frac{(R_2+c-1)!}{(2c+1)!\,(R_2-c)!}
639: \frac{(2v_2+2c+1)!}{2^{2v_2+2c}(v_2+c)!^2}x^c\right)x^{u-1}dx.\tag3.5
640: \endalign$$
641: It is not difficult (indeed, with access to a computer algebra package like Maple, it
642: is immediate) to see that the two sums in the above integral can be expressed in
643: terms of hypergeometric functions\footnote{The hypergeometric function of parameters
644: $a_1,\dotsc,a_p$ and $b_1,\dotsc,b_q$ is defined by
645: $${}_p F_q\!\left[\matrix a_1,\dotsc,a_p\\ b_1,\dotsc,b_q\endmatrix;
646: z\right]=\sum _{k=0} ^{\infty}\frac {(a_1)_k\cdots(a_p)_k}
647: {k!\,(b_1)_k\cdots(b_q)_k} z^k\ ,$$
648: where $(a)_0:=1$ and $(a)_k:=a(a+1)\cdots (a+k-1)$ for $k\geq1$.
649: } as
650: $$\align
651: \sum_{a=0}^{R_1}(-1)^a\frac{(R_1+a-1)!}{(2a)!\,(R_1-a)!}
652: &\frac{(2v_1+2a+1)!}{2^{2v_1+2a}(v_1+a)!\,(v_1+a+1)!}x^a\\
653: &=\frac{1}{R_1}\frac{(2v_1+1)!}{2^{2v_1}v_1!\,(v_1+1)!}
654: \,{} _3 F_2\!\left[\matrix{-R_1,R_1,v_1+{3\over2}}\\{{1\over2},v_1+2}\endmatrix;
655: {\displaystyle {x\over4}}\right]\tag3.6
656: \endalign$$
657: and
658: $$\align
659: \sum_{c=0}^{R_2}(-1)^c\frac{(R_2+c-1)!}{(2c+1)!\,(R_2-c)!}
660: &\frac{(2v_2+2c+1)!}{2^{2v_2+2c}(v_1+c)!^2}x^c\\
661: &=\frac{1}{R_2}\frac{(2v_2+1)!}{2^{2v_2}v_2!^2}
662: \,{} _3 F_2\!\left[\matrix{-R_2,R_2,v_2+{3\over2}}\\{{3\over2},v_2+1}\endmatrix;
663: {\displaystyle {x\over4}}\right].\tag3.7
664: \endalign$$
665: Replacing these formulas in (3.5) we obtain the following result.
666:
667: \proclaim{Proposition 3.1} The double sum $M_1$ has the integral representation
668: $$\align
669: M_1=\frac{1}{R_1R_2}&\frac{(2v_1+1)!\,(2v_2+1)!}{2^{2v_1+2v_2}v_1!\,(v_1+1)!\,v_2!^2}\\
670: \times&\int_0^1
671: {} _3 F_2\!\left[\matrix{-R_1,R_1,v_1+{3\over2}}\\{{1\over2},v_1+2}\endmatrix;
672: {\displaystyle {x\over4}}\right]
673: \,{} _3 F_2\!\left[\matrix{-R_2,R_2,v_2+{3\over2}}\\{{3\over2},v_2+1}\endmatrix;
674: {\displaystyle {x\over4}}\right]x^{u-1}dx.\tag3.8
675: \endalign
676: $$
677: \endproclaim
678:
679: \smallpagebreak
680: When applying the same reasoning to the remaining double sums $M_a$, $M_c$ and
681: $M_{ac}$, two more sums besides (3.6) and (3.7) need to be expressed in terms of
682: hypergeometric functions. These are
683: $$\align
684: \sum_{a=0}^{R_1}(-1)^a&\frac{(R_1+a-1)!}{(2a)!\,(R_1-a)!}
685: \frac{2v_1+2a+1)!}{2^{2v_1+2a}(v_1+a)!\,(v_1+a+1)!}x^aa\\
686: &=-R_1x\frac{(2v_1+3)(2v_1+1)!}{2^{2v_1+2}v_1!\,(v_1+2)!}
687: \,{} _3 F_2\!\left[\matrix{-R_1+1,R_1+1,v_1+{5\over2}}\\{{3\over2},v_1+3}\endmatrix;
688: {\displaystyle {x\over4}}\right]\tag3.9
689: \endalign$$
690: and
691: $$\align
692: \sum_{c=0}^{R_2}(-1)^c&\frac{(R_2+c-1)!}{(2c+1)!\,(R_2-c)!}
693: \frac{2v_2+2c+1)!}{2^{2v_2+2c}(v_1+c)!^2}x^cc\\
694: &=-\frac{R_2x}{3}\frac{(2v_2+3)(2v_2+1)!}{2^{2v_2+2}v_2!\,(v_2+1)!}
695: \,{} _3 F_2\!\left[\matrix{-R_2+1,R_2+1,v_2+{5\over2}}\\{{5\over2},v_2+2}\endmatrix;
696: {\displaystyle {x\over4}}\right].\tag3.10
697: \endalign$$
698: Using (3.2), (3.4), (3.6), (3.7), (3.9) and (3.10), we obtain the following result.
699:
700: \proclaim{Proposition 3.2} The double sums $M_a$, $M_c$ and $M_{ac}$ have the integral
701: representations
702:
703: $$\align
704: M_a=-\frac{R_1}{R_2}&\frac{(2v_1+3)(2v_1+1)!\,(2v_2+1)!}
705: {2^{2v_1+2v_2+2}v_1!\,(v_1+2)!\,v_2!^2}\\
706: \times&\int_0^1
707: {} _3 F_2\!\left[\matrix{-R_1+1,R_1+1,v_1+{5\over2}}\\{{3\over2},v_1+3}\endmatrix;
708: {\displaystyle {x\over4}}\right]
709: \,{} _3 F_2\!\left[\matrix{-R_2,R_2,v_2+{3\over2}}\\{{3\over2},v_2+1}\endmatrix;
710: {\displaystyle {x\over4}}\right]x^{u}dx\tag3.11\\ \\
711: M_c=-\frac{R_2}{3R_1}&\frac{(2v_1+1)!\,(2v_2+1)!\,(2v_2+3)}
712: {2^{2v_1+2v_2+2}v_1!\,(v_1+1)!\,v_2!\,(v_2+1)!}\\
713: \times&\int_0^1
714: {} _3 F_2\!\left[\matrix{-R_1,R_1,v_1+{3\over2}}\\{{1\over2},v_1+2}\endmatrix;
715: {\displaystyle {x\over4}}\right]
716: \,{} _3 F_2\!\left[\matrix{-R_2+1,R_2+1,v_2+{5\over2}}\\{{5\over2},v_2+2}\endmatrix;
717: {\displaystyle {x\over4}}\right]x^{u}dx\tag3.12\\ \\
718: M_{ac}=\frac{R_1R_2}{3}&\frac{(2v_1+3)(2v_1+1)!\,(2v_2+3)(2v_2+1)!}
719: {2^{2v_1+2v_2+4}v_1!\,(v_1+2)!\,v_2!\,(v_2+1)!}\\
720: \times\int_0^1&
721: {} _3 F_2\!\left[\matrix{-R_1+1,R_1+1,v_1+{5\over2}}\\{{3\over2},v_1+3}\endmatrix;
722: {\displaystyle {x\over4}}\right]
723: \,{} _3 F_2\!\left[\matrix{-R_2+1,R_2+1,v_2+{5\over2}}\\{{5\over2},v_2+2}\endmatrix;
724: {\displaystyle {x\over4}}\right]x^{u+1}dx.\tag3.13
725: \endalign
726: $$
727: \endproclaim
728:
729: \mysec{4. Jacobi polynomials}
730:
731: The $_3F_2$'s of the preceding section can be expressed in terms of $_2F_1$'s by
732: the formula
733: %(2) on page 497 of \cite{PBM}
734: $$_3F_2\!\left[\matrix{a,\,b,\,c}\\{a-n,d}\endmatrix;z\right]=\frac{1}{(1-a)_n}
735: \sum_{k=0}^n (-1)^k{n\choose k}(1-a)_{n-k}\frac{(b)_k(c)_k}{(d)_k}z^k\,
736: _2F_1\!\left[\matrix{b+k,c+k}\\{d+k}\endmatrix;z\right],\tag4.1
737: $$
738: where $n$ is a nonnegative integer. This follows for instance by comparing the coefficients of the
739: powers of $z$ and applying the Chu-Vandermonde summation (for the latter, see e.g.
740: \cite{GR,(1.2.9),\,p.2}).
741:
742: Applying this to the $_3F_2$'s in (3.6) and (3.7),
743: one obtains
744: $$\align
745: \!\!\!\!\!\!\!\!\!
746: &_3F_2\!\left[\matrix{-R_1,R_1,v_1+{3\over2}}\\{{1\over2},v_1+2}\endmatrix;
747: {\displaystyle {x\over4}}\right]=\frac{1}{(-v_1-{1\over2})_{v_1+1}}\\
748: \!\!\!\!&\times
749: \sum_{k=0}^{v_1+1} (-1)^k{v_1+1\choose k}(-v_1-{1\over2})_{v_1+1-k}
750: \frac{(-R_1)_k(R_1)_k}{(v_1+2)_k}\frac{x^k}{4^k}\,
751: _2F_1\!\left[\matrix{-R_1+k,R_1+k}\\{v_1+2+k}\endmatrix;{\displaystyle {x\over4}}
752: \right]\tag4.2
753: \endalign
754: $$
755: and
756: $$\align
757: _3F_2\!&\left[\matrix{-R_2,R_2,v_2+{3\over2}}\\{{3\over2},v_2+1}\endmatrix;
758: {\displaystyle {x\over4}}\right]=\frac{1}{(-v_2-{1\over2})_{v_2}}\\
759: &\times
760: \sum_{l=0}^{v_2} (-1)^l{v_2\choose l}(-v_2-{1\over2})_{v_2-l}
761: \frac{(-R_2)_l(R_2)_l}{(v_2+1)_l}\frac{x^l}{4^l}\,
762: _2F_1\!\left[\matrix{-R_2+l,R_2+l}\\{v_2+1+l}\endmatrix;{\displaystyle {x\over4}}
763: \right].\tag4.3
764: \endalign
765: $$
766: In turn, the resulting $_2F_1$'s can be expressed in terms of the Jacobi polynomials
767: $P_n^{(\alpha,\beta)}(x)$ using
768: the formula (found for instance in \cite{Sz2,(4.21.2),\,p.62})
769: $$
770: _2F_1\!\left[\matrix{n+\alpha+\beta+1,-n}\\{1+\alpha}\endmatrix;
771: {\displaystyle {1-x\over2}}\right]=\frac{n!\,\Gamma(1+\alpha)}{\Gamma(n+1+\alpha)}
772: P_n^{(\alpha,\beta)}(x).\tag4.4
773: $$
774: We obtain for the $_2F_1$'s of (4.2) and (4.3) the expressions
775: $$
776: _2F_1\!\left[\matrix{-R_1+k,R_1+k}\\{v_1+2+k}\endmatrix;
777: {\displaystyle {x\over4}}\right]=\frac{(R_1-k)!\,(v_1+k+1)!}{(R_1+v_1+1)!}
778: P_{R_1-k}^{(v_1+k+1,k-v_1-2)}\left(1-{x\over2}\right)\tag4.5
779: $$
780: and
781: $$
782: _2F_1\!\left[\matrix{-R_2+l,R_2+l}\\{v_2+1+l}\endmatrix;
783: {\displaystyle {x\over4}}\right]=\frac{(R_2-l)!\,(v_2+l)!}{(R_2+v_2)!}
784: P_{R_2-l}^{(v_2+l,l-v_2-1)}\left(1-{x\over2}\right).\tag4.6
785: $$
786: Substituting (4.2), (4.3), (4.5) and (4.6) in the integral representation (3.8) of
787: $M_1$, we obtain that
788: $$
789: M_1=\sum_{k=0}^{v_1+1}\sum_{l=0}^{v_2} \frac{c_{kl}}{R_1R_2}
790: \frac{(-R_1)_k(R_1)_k}{(R_1-k+1)_{v_1+k+1}}
791: \frac{(-R_2)_l(R_2)_l}{(R_2-l+1)_{v_2+l}} I_{kl}(R_1,R_2),\tag4.7
792: $$
793: where $c_{kl}$ depends only on $k$, $l$, $v_1$ and $v_2$, and for $0\leq k\leq v_1+1$
794: and $0\leq l\leq v_2$,
795: $$
796: I_{kl}(R_1,R_2):=\int_0^1 P_{R_1-k}^{(v_1+k+1,k-v_1-2)}\left(1-{x\over2}\right)
797: P_{R_2-l}^{(v_2+l,l-v_2-1)}\left(1-{x\over2}\right)x^{k+l+u-1}dx.\tag4.8
798: $$
799: By (1.4) and (3.3), we need the asymptotics of $M_1$ for $v_1=u-1$, $v_2=0$, $R_1=R+r$
800: and $R_2=R$, where $r\geq0$ and $u\geq1$ are fixed and
801: $R\to\infty$.
802:
803: By (4.7), the study of this asymptotics of $M_1$ reduces to the asymptotics of the
804: $I_{kl}$'s. The asymptotics of the Jacobi polynomials $P_n^{(\alpha,\beta)}$ for large
805: $n$ is given by the Darboux formula (see e.g. \cite{Sz2, Theorem 8.21.8,\,p.196})
806: $$\align
807: P_n^{(\alpha,\beta)}(\cos\theta)&=D_n^{(\alpha,\beta)}(\cos\theta)
808: +E_n^{(\alpha,\beta)}(\cos\theta)\\
809: D_n^{(\alpha,\beta)}(\cos\theta)&=
810: \frac{\cos\left\{\left[n+{\displaystyle{\alpha+\beta+1\over2}}\right]\theta-
811: \left({\displaystyle{\alpha\over2}+{1\over4}}\right)\pi\right\}}
812: {\sqrt{\pi n}\left(\sin{\displaystyle{\theta\over2}}\right)^{\alpha+{1\over2}}
813: \left(\cos{\displaystyle{\theta\over2}}\right)^{\beta+{1\over2}}}\tag4.9\\
814: E_n^{(\alpha,\beta)}(\cos\theta)&=O(n^{-3/2}),
815: \endalign
816: $$
817: where $\alpha,\beta\in\R$ and $0<\theta<\pi$ are fixed.
818:
819: We show in Lemma 4.2 below that replacing in $I_{kl}$ the Jacobi polynomials by their
820: Darboux approximations leaves the asymptotics of $I_{kl}$ unchanged. This will follow
821: from the following inequalities due to Szeg\H o \cite{Sz1} (see also
822: \cite{Sz2,\, p.197}).
823:
824: \proclaim{Proposition 4.1 (Szeg\H o \cite{Sz1,(46'),\,(48'),\,{\rm p.77}}\cite{Sz2})} $(a)$ Let
825: $\alpha\geq-1/2$, $\beta\in\R$ and $\epsilon>0$. Then there exists a constant $A$
826: depending only on $\alpha$, $\beta$ and $\epsilon$ so that
827: $$
828: \left|P_n^{(\alpha,\beta)}(x)\right|\leq\frac{A}
829: {\sqrt{n}}\frac{1}{(1-x)^{{\alpha\over2}+{1\over4}}},
830: \ \ \ \ \ -1+\epsilon\leq x\leq1.\tag4.10
831: $$
832: $(b)$ Let $\alpha,\beta\in\R$ and $\epsilon,c>0$. Then there exists a
833: constant $B$ depending only on $\alpha$, $\beta$, $\epsilon$ and $c$ so that
834: $$
835: \left|E_n^{(\alpha,\beta)}(\cos\theta)\right|\leq\frac{B}{n^{3/2}}
836: \frac{1}{\theta^{\alpha+{3\over2}}},
837: \ \ \ \ \ cn^{-1}\leq\theta\leq\pi-\epsilon.\tag4.11
838: $$
839: \endproclaim
840:
841: One readily checks that
842: $$
843: \cos^{-1}(x)\geq\sqrt{2}\sqrt{1-x}, \ \ \ \ \ 0\leq x\leq1.\tag4.12
844: $$
845: Indeed, if $f(x):=\cos^{-1}(x)-\sqrt{2}\sqrt{1-x}$, one has
846: $f'(x)=(1-x)^{-1/2}(2^{-1/2}-(1+x)^{-1/2})<0$, for $x\in[0,1)$, and as $f(1)=0$,
847: (4.12) follows.
848:
849: Using (4.12) and Proposition 4.1(b) one obtains that for any $\epsilon>0$ there exists
850: constants $B_\epsilon$ and $N_\epsilon$ depending only on $\alpha$, $\beta$ and
851: $\epsilon$ so that
852: $$
853: \left|E_n^{(\alpha,\beta)}(x)\right|\leq\frac{B_\epsilon}{n^{3/2}}
854: \frac{1}{(1-x)^{{\alpha\over2}+{3\over4}}},
855: \ \ \ \ \ {1\over2}\leq x\leq1-\epsilon,\ n\geq N_\epsilon.\tag4.13
856: $$
857: By Proposition 4.1(a), there exists a constant $A$ depending only on $\alpha$ and
858: $\beta$ so that
859: $$
860: \left|P_n^{(\alpha,\beta)}(x)\right|\leq\frac{A}
861: {\sqrt{n}}\frac{1}{(1-x)^{{\alpha\over2}+{1\over4}}},
862: \ \ \ \ \ {1\over2}\leq x\leq1.\tag4.14
863: $$
864: Using (4.9) and the fact that $\sin(\cos^{-1}(x)/2)=\sqrt{(1-x)/2}$ and
865: $\cos(\cos^{-1}(x)/2)=\sqrt{(1+x)/2}$, one obtains that the Darboux approximants
866: satisfy an inequality of the same form as (4.14): there exists a constant $A'$ such
867: that
868: $$
869: \left|D_n^{(\alpha,\beta)}(x)\right|\leq\frac{A'}
870: {\sqrt{n}}\frac{1}{(1-x)^{{\alpha\over2}+{1\over4}}},
871: \ \ \ \ \ {1\over2}\leq x\leq1.\tag4.15
872: $$
873: By (4.14) and (4.15),
874: $E_n^{(\alpha,\beta)}(x)=P_n^{(\alpha,\beta)}(x)-D_n^{(\alpha,\beta)}(x)$
875: also satisfies an inequality of the same type, so there exists a constant $A''$
876: depending only on $\alpha$ and $\beta$ so that
877: $$
878: \left|E_n^{(\alpha,\beta)}(x)\right|\leq\frac{A''}
879: {\sqrt{n}}\frac{1}{(1-x)^{{\alpha\over2}+{1\over4}}},
880: \ \ \ \ \ {1\over2}\leq x\leq1.\tag4.16
881: $$
882: We are now ready to prove the announced invariance of the asymptotics of
883: $I_{kl}(R_1,R_2)$ under replacement of the Jacobi polynomials by their Darboux
884: approximants. Define
885: $$
886: J_{kl}(R_1,R_2):=\int_0^1 D_{R_1-k}^{(v_1+k+1,k-v_1-2)}\left(1-{x\over2}\right)
887: D_{R_2-l}^{(v_2+l,l-v_2-1)}\left(1-{x\over2}\right)x^{k+l+u-1}dx.\tag4.17
888: $$
889:
890: \proclaim{Lemma 4.2} Let $r$, $v_1$, $v_2$, $0\leq k\leq v_1+1$ and
891: $0\leq l\leq v_2$ be fixed, and
892: assume that not all of $v_1$, $v_2$, $k$ and $l$ are zero. Then we have
893: $$
894: \lim_{R\to\infty}R\left(I_{kl}(R+r,R)-J_{kl}(R+r,R)\right)=0.
895: $$
896: \endproclaim
897:
898: \pf Denoting for simplicity
899: $f(x):=P_{R_1-k}^{(v_1+k+1,k-v_1-2)}(x)$, $g(x):=P_{R_2-l}^{(v_2+l,l-v_2-1)}(x)$,
900: $F(x):=D_{R_1-k}^{(v_1+k+1,k-v_1-2)}(x)$ and $G(x):=D_{R_2-l}^{(v_2+l,l-v_2-1)}(x)$,
901: we obtain
902: $$
903: \align
904: &\left|I_{kl}(R_1,R_2)-J_{kl}(R_1,R_2)\right|\\
905: &=\left|\int_0^1\left\{f(1-x/2)g(1-x/2)-F(1-x/2)G(1-x/2)\right\}x^{k+l+u-1}dx\right|\\
906: &=|\int_0^1\{f(1-x/2)g(1-x/2)-f(1-x/2)G(1-x/2)+f(1-x/2)G(1-x/2)\\
907: &\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
908: \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -F(1-x/2)G(1-x/2)\}x^{k+l+u-1}dx|
909: \\
910: &\leq\int_0^1\left|f(1-x/2)\right|\left|g(1-x/2)-G(1-x/2)\right|x^{k+l+u-1}dx\\
911: &\ \ \ \ \ \ \ \ \ \ \ \ \ +\int_0^1 \left|G(1-x/2)\right|\left|
912: f(1-x/2)-F(1-x/2)G(1-x/2)\right|x^{k+l+u-1}dx.
913: \endalign
914: $$
915: Therefore, to prove the Lemma it suffices to show that for $R_1=R+r$ and $R_2=R$,
916: $$
917: \lim_{R\to\infty}R\int_0^1\left|P_{R_1-k}^{(v_1+k+1,k-v_1-2)}(1-x/2)\right|
918: \left|E_{R_2-l}^{(v_2+l,l-v_2-1)}(1-x/2)\right|x^{k+l+u-1}dx=0\tag4.18
919: $$
920: and
921: $$
922: \lim_{R\to\infty}R\int_0^1\left|E_{R_1-k}^{(v_1+k+1,k-v_1-2)}(1-x/2)\right|
923: \left|D_{R_2-l}^{(v_2+l,l-v_2-1)}(1-x/2)\right|x^{k+l+u-1}dx=0.\tag4.19
924: $$
925: By the Cauchy-Schwarz inequality, for $h$ with integrable square we have
926: $$
927: \left(\int_0^1h(x)dx\right)^2\leq\int_0^1h^2(x)dx.\tag4.20
928: $$
929: Let $0<\epsilon<1$ be arbitrary. By (4.20) we have
930: $$
931: \align
932: &\left(\int_0^1\left|P_{R_1-k}^{(v_1+k+1,k-v_1-2)}(1-x/2)\right|
933: \left|E_{R_2-l}^{(v_2+l,l-v_2-1)}(1-x/2)\right|x^{k+l+u-1}dx\right)^2\\
934: &\leq\int_0^{1-\epsilon}\left|P_{R_1-k}^{(v_1+k+1,k-v_1-2)}(1-x/2)\right|^2
935: \left|E_{R_2-l}^{(v_2+l,l-v_2-1)}(1-x/2)\right|^2 x^{2(k+l+u-1)}dx\\
936: &+\int_{1-\epsilon}^{1}\left|P_{R_1-k}^{(v_1+k+1,k-v_1-2)}(1-x/2)\right|^2
937: \left|E_{R_2-l}^{(v_2+l,l-v_2-1)}(1-x/2)\right|^2 x^{2(k+l+u-1)}dx.\tag4.21
938: \endalign
939: $$
940: Denote the two integrals on the right hand side of (4.21) by $I_1$ and $I_2$,
941: respectively. By (4.13) and (4.14), we have
942: $$\align
943: &I_1\leq\frac{A^2B_\epsilon^2}
944: {(R_1-k)(R_2-l)^3}\int_0^{1-\epsilon}(x/2)^{-(v_1+k+1+{1\over2})}
945: (x/2)^{-(v_2+l+{3\over2})}x^{2(k+l+u-1)}dx\\
946: &\leq\frac{M_\epsilon}{R_1R_2^3}\int_0^{1-\epsilon}x^{v_1+v_2+k+l-1}dx,\tag4.22
947: \endalign
948: $$
949: where $M_\epsilon$ depends on $v_1$, $v_2$, $k$, $l$ and $\epsilon$, but is
950: independent of $R_1$ and $R_2$ (here we used that $u=v_1+v_2+2$).
951: Since by hypothesis $v_1$, $v_2$, $k$ and $l$ are not all equal to zero, the exponent
952: of the integrand in (4.22) is nonnegative and we obtain
953: $$
954: I_1\leq\frac{M_\epsilon}{R_1R_2^3}.\tag4.23
955: $$
956: On the other hand, by (4.14) and (4.16), we have that
957: $$
958: \align
959: &I_2\leq\frac{AA''}{(R_1-k)(R_2-l)}\int_{1-\epsilon}^1
960: (x/2)^{-(v_1+k+1+{1\over2})}(x/2)^{-(v_2+l+{1\over2})}x^{2(k+l+u-1)}dx\\
961: &\leq\frac{M'}{R_1R_2}\int_{1-\epsilon}^1x^{v_1+v_2+k+l}dx\\
962: &\leq\frac{\epsilon M'}{R_1R_2},\tag4.24
963: \endalign
964: $$
965: where $M'$ is independent of $\epsilon$, $R_1$ and $R_2$, depending just on
966: $v_1$, $v_2$, $k$ and $l$.
967:
968: By (4.21), (4.23) and (4.24), for $R_1=R+r$ and $R_2=R$ the first term in (4.21) is
969: majorized by
970: $$
971: I_1+I_2\leq\frac{\epsilon M'}{R^2}+\frac{M_\epsilon}{R^4}\leq\frac{1}{R^2}
972: \left(\sqrt{\epsilon M'}+\frac{\sqrt{M_\epsilon}}{R}\right)^2.
973: $$
974: Extracting the square root we obtain
975: $$
976: \align
977: &\int_0^1\left|P_{R_1-k}^{(v_1+k+1,k-v_1-2)}(1-x/2)\right|
978: \left|E_{R_2-l}^{(v_2+l,l-v_2-1)}(1-x/2)\right|x^{k+l+u-1}dx\\
979: &\leq\frac{\sqrt{\epsilon M'}}{R}+\frac{\sqrt{M_\epsilon}}{R^2}.
980: \endalign
981: $$
982: Multiplying the previous inequality by $R$, we obtain that the quantity whose limit is
983: taken in (4.18) is majorized by $\sqrt{\epsilon M'}+\sqrt{M_\epsilon}/R$. This
984: quantity can be made arbitrarily small by first choosing $\epsilon$ so as to make
985: $\sqrt{\epsilon M'}$ arbitrarily small, and then requiring $R$ to be large enough to
986: make $\sqrt{M_\epsilon}/R$ arbitrarily small. This proves (4.18).
987:
988: A similar argument proves (4.19). This completes the proof of the Lemma. \endpf
989:
990: %\newpage
991: \mysec{5. The asymptotics of $M_1$}
992:
993: The following result will be needed several times during the remaining part of the
994: paper.
995:
996: \proclaim{Lemma 5.1}
997: Let $\alpha(t)$, $k(t)$ and $h(t)$ be complex-valued functions that are real for real
998: $t$ and analytic in a domain ${\bold T}\subset\C$ containing the interval $(0,1]$.
999: Let $q>0$ be fixed. Then
1000: $$
1001: \align
1002: \int_0^1t^{Rq}h(t)&\cos[R\alpha(t)+k(t)]dt\\
1003: &=
1004: \frac{h(1)}{R\sqrt{q^2+(\alpha'(1))^2}}\cos\left[R\alpha(1)+k(1)
1005: -\arctan\frac{\alpha'(1)}{q}\right]+O(R^{-2}).\tag5.1
1006: \endalign
1007: $$
1008: \endproclaim
1009:
1010: \pf We have
1011: $$
1012: \align
1013: \int_0^1t^{Rq}&h(t)\cos[R\alpha(t)+k(t)]dt\\
1014: &=\frac{1}{2}\int_0^1e^{Rq\ln t}
1015: \left[e^{i(R\alpha(t)+k(t))}+e^{-i(R\alpha(t)+k(t))}\right]h(t)dt\\
1016: &=-\frac{1}{2}\left\{\int_1^0e^{-R[-q\ln t-i\alpha(t)]}e^{ik(t)}h(t)dt
1017: +\int_1^0e^{-R[-q\ln t+i\alpha(t)]}e^{-ik(t)}h(t)dt\right\}.\tag5.2
1018: \endalign
1019: $$
1020: The asymptotics for large $R$ of each of the two integrals on the last line of (5.2)
1021: can be found by the Laplace method as it is described for example in \S6,
1022: Chapter 4 of \cite{O}.
1023: Indeed, consider the first integral. The only requirement of the hypothesis of
1024: Theorem 6.1 of \cite{O,\,p.\,125} that
1025: needs to be checked is that the real part of the coefficient of $-R$ in the first
1026: exponential in the integrand attains its minimum at $t=1$. This indeed holds, since
1027: $-\ln t$ has its minimum at $t=1$.
1028: The relevant quantities are easily found to be, in the notation
1029: of the quoted theorem of \cite{O}, $\lambda=\mu=1$, $p_0=-q-i\alpha'(1)$,
1030: $q_0=e^{ik(1)}h(1)$ and $p(1)=-i\alpha(1)$. By that theorem, the value of the integral
1031: is $a_0e^{-Rp(1)}/R+O(R^{-2})$, where $a_0=q_0/(\mu p_0^{\lambda/\mu})$. Therefore, we
1032: obtain by Theorem 6.1 of \cite{O,\,p.\,125} that
1033: $$
1034: \int_1^0e^{-R[-q\ln t-i\alpha(t)]}e^{ik(t)}h(t)dt=
1035: -\frac{e^{i(R\alpha(1)+k(1))}h(1)}{q+i\alpha'(1)}\frac{1}{R}
1036: +O(R^{-2}).\tag5.3
1037: $$
1038: The two integrals on the last line of (5.2) are complex conjugates, so the
1039: coefficients of their asymptotic expansions are also complex conjugates. We obtain
1040: from (5.3) that
1041: $$
1042: \int_1^0e^{-R[-q\ln t+i\alpha(t)]}e^{-ik(t)}h(t)dt=
1043: -\frac{e^{-i(R\alpha(1)+k(1))}h(1)}{q-i\alpha'(1)}\frac{1}{R}
1044: +O(R^{-2}).\tag5.4
1045: $$
1046: However, it is readily checked that
1047: $$
1048: \frac{e^{i\varphi}}{q+ib}+\frac{e^{-i\varphi}}{q-ib}=\frac{2}{\sqrt{q^2+b^2}}
1049: \cos(\varphi-\theta),\tag5.5
1050: $$
1051: where $\theta=\arctan(b/q)$.
1052: By (5.2)--(5.5) we obtain the statement of the Lemma. \endpf
1053:
1054: \proclaim{Lemma 5.2} For fixed $r$, $v_1$ and $v_2$ we have
1055: $$
1056: \align
1057: &I_{v_1+1,v_2}(R+r,R)\\
1058: &\ \ \
1059: =\frac{(-4)^{v_1+v_2+1}}{2R\pi}\int_0^1\left(\frac{4-x}{x}\right)^{1/2}x^{v_1+v_2+1}
1060: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)\right]dx
1061: +o(R^{-1}).\tag5.6
1062: \endalign
1063: $$
1064: \endproclaim
1065:
1066: \pf By Lemma 4.2, it is enough to show that $J_{v_1+1,v_2}(R+r,R)$ has the asymptotics
1067: given by (5.6). Using (4.17), (4.9) and the fact that
1068: $\sin(\cos^{-1}(1-x/2)/2)=(x/4)^{1/2}$,
1069: $\cos(\cos^{-1}(1-x/2)/2)=((4-x)/4)^{1/2}$ and $\cos(z-n\pi)=(-1)^n\cos(z)$,
1070: one obtains that
1071: $$
1072: \align
1073: &J_{v_1+1,v_2}(R+r,R)\\
1074: &=\frac{(-4)^{v_1+v_2+1}}{\pi\sqrt{R+r-v_1-1}\sqrt{R-v_2}}
1075: \int_0^1\left(\frac{4-x}{x}\right)^{1/2}x^{v_1+v_2+1}
1076: \cos\left[(R+r)\cos^{-1}\left(1-{x\over2}\right)-{\pi\over4}\right]\\
1077: &\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
1078: \times\cos\left[R\cos^{-1}\left(1-{x\over2}\right)-{\pi\over4}\right]dx.\tag5.7
1079: \endalign
1080: $$
1081: Converting the product of cosines into a sum, we obtain that
1082: $$
1083: J_{v_1+1,v_2}(R+r,R)=\frac{(-4)^{v_1+v_2+1}}{2\pi\sqrt{R+r-v_1-1}\sqrt{R-v_2}}
1084: (J_1+J_2),\tag5.8
1085: $$
1086: where
1087: $$
1088: \align
1089: J_1&=\int_0^1\left(\frac{4-x}{x}\right)^{1/2}x^{v_1+v_2+1}
1090: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)\right]dx,\tag5.9\\
1091: J_2&=\int_0^1\left(\frac{4-x}{x}\right)^{1/2}x^{v_1+v_2+1}
1092: \cos\left[(2R+r)\cos^{-1}\left(1-{x\over2}\right)-{\pi\over2}\right]dx.
1093: \endalign
1094: $$
1095: By Lemma 5.1, $J_2=O(1/R)$. Therefore, (5.7)--(5.9) imply that
1096: the asymptotics of $J_{v_1+1,v_2}(R+r,R)$ is given by the right hand side of (5.6). As
1097: noted in the beginning of the proof, this completes the proof of the Lemma. \endpf
1098:
1099: We are now ready to give the asymptotics of $M_1$.
1100:
1101: \proclaim{Proposition 5.3}
1102: For fixed $r$, $v_1$ and $v_2$, we have
1103: $$
1104: M_1(R+r,R)=\frac{1}{R^3}\frac{1}{\pi}\int_0^1\left(\frac{4-x}{x}\right)^{1/2}x^{u-1}
1105: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)\right]dx
1106: +o(R^{-3}),\tag5.10
1107: $$
1108: where $u=v_1+v_2+2$.
1109: \endproclaim
1110:
1111: \pf Using the bounds (4.14) for the Jacobi polynomials, we obtain from (4.8) that
1112: $$
1113: \align
1114: &I_{kl}(R_1,R_2)\leq\frac{M}{\sqrt{R_1-k}\sqrt{R_2-l}}
1115: \int_0^1 \frac{1}{\left({\displaystyle {x\over2}}\right)^{{v_1+k+1\over2}+{1\over4}}}
1116: \frac{1}{\left({\displaystyle {x\over2}}\right)^{{v_2+l\over2}+{1\over4}}}
1117: x^{v_1+v_2+k+l+1}dx\\
1118: &\leq\frac{M'}{\sqrt{R_1}\sqrt{R_2}}\int_0^1 x^{v_1+v_2+k+l\over2}dx,\tag5.11
1119: \endalign
1120: $$
1121: where the constants $M$ and $M'$ depend just on $v_1$, $v_2$, $k$ and $l$.
1122: Therefore, we obtain that
1123: $$
1124: I_{kl}(R+r,R)=O\left({1\over R}\right),\ \ \ \ \ 0\leq k\leq v_1+1, 0\leq l\leq v_2
1125: .\tag 5.12
1126: $$
1127: %Substituting (4.9) in (4.17), we obtain after simplifications that
1128: %$$
1129: %\align
1130: %&J_{kl}(R_1,R_2)=\frac{4^{k+l}}{\pi\sqrt{R_1-k}\sqrt{R_2-l}}\\
1131: %&\times\int_0^1 x^{v_1+v_2+k+l\over2}(4-x)^{{v_1+v_2-k-l\over2}+1}
1132: %\cos\left[R_1\cos^{-1}\left(1-{x\over2}\right)-\left({v_1+k+1\over2}+{1\over4}
1133: %\right)\pi\right]\\
1134: %&\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \times
1135: %\cos\left[R_2\cos^{-1}\left(1-{x\over2}\right)-\left({v_2+l\over2}+{1\over4}
1136: %\right)\pi\right]dx.
1137: %\endalign
1138: %$$
1139: Consider now the representation of $M_1$ given by (4.7). For $R_1=R+r$ and $R_2=R$, the
1140: coefficient of each $I_{kl}(R_1,R_2)$ with $(k,l)\neq(v_1+1,v_2)$ is $O(R^{-3})$. Thus,
1141: by (5.12) we obtain from (4.7) that
1142: $$
1143: M_1(R+r,R)=\frac{c_{v_1+1,v_2}}{R^2}I_{v_1+1,v_2}(R+r,R)+O\left({1\over R^4}\right).
1144: \tag5.13
1145: $$
1146: By (3.8), (4.2), (4.3), (4.5) and (4.6) we obtain after simplifications that
1147: $$
1148: c_{v_1+1,v_2}=\frac{2}{(-4)^{v_1+v_2+1}}.
1149: $$
1150: Substituting this value into (5.13) and using Lemma 5.2 we obtain the statement of the
1151: Proposition. \endpf
1152:
1153: \mysec{6. The asymptotics of $M_a$, $M_c$ and $M_{ac}$}
1154:
1155: Our analysis of the asymptotics of $M_1$ can be repeated for the remaining double sums
1156: $M_a$, $M_c$ and $M_{ac}$. We obtain the following result.
1157:
1158: \proclaim{Proposition 6.1}
1159: For fixed $r$, $v_1$ and $v_2$, we have
1160: $$
1161: \align
1162: M_a(R+r,R)&=-\frac{1}{R^2}\frac{1}{\pi}\int_0^1x^{u-1}
1163: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)-{\pi\over2}\right]dx
1164: +o(R^{-2})\tag6.1\\ \\
1165: M_c(R+r,R)&=\frac{1}{R^2}\frac{1}{\pi}\int_0^1x^{u-1}
1166: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)-{\pi\over2}\right]dx
1167: +o(R^{-2})\tag6.2\\ \\
1168: M_{ac}(R+r,R)&=\frac{1}{R}\frac{1}{\pi}\int_0^1\left(\frac{4-x}{x}\right)^{-1/2}x^{u-1}
1169: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)\right]dx
1170: +o(R^{-1})\tag6.3
1171: \endalign
1172: $$
1173: where $u=v_1+v_2+2$.
1174: \endproclaim
1175:
1176: \pf By (4.1) we can express the $_3F_2$'s of (3.9) and (3.10) as
1177: $$
1178: \align
1179: \!\!\!\!\!\!\!\!\!
1180: &_3F_2\!\left[\matrix{-R_1+1,R_1+1,v_1+{5\over2}}\\{{3\over2},v_1+3}\endmatrix;
1181: {\displaystyle {x\over4}}\right]=\frac{1}{(-v_1-{3\over2})_{v_1+1}}
1182: \sum_{k=0}^{v_1+1} (-1)^k{v_1+1\choose k}(-v_1-{3\over2})_{v_1+1-k}\\
1183: &\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
1184: \times\frac{(-R_1+1)_k(R_1+1)_k}{(v_1+3)_k}\frac{x^k}{4^k}\,
1185: _2F_1\!\left[\matrix{-R_1+1+k,R_1+1+k}\\{v_1+3+k}\endmatrix;{\displaystyle {x\over4}}
1186: \right]\tag6.4
1187: \endalign
1188: $$
1189: and
1190: $$
1191: \align
1192: &_3F_2\!\left[\matrix{-R_2+1,R_2+1,v_2+{5\over2}}\\{{5\over2},v_2+2}\endmatrix;
1193: {\displaystyle {x\over4}}\right]=\frac{1}{(-v_2-{3\over2})_{v_2}}
1194: \sum_{l=0}^{v_2} (-1)^l{v_2\choose l}(-v_2-{3\over2})_{v_2-l}\\
1195: &\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
1196: \times\frac{(-R_2+1)_l(R_2+1)_l}{(v_2+2)_l}\frac{x^l}{4^l}\,
1197: _2F_1\!\left[\matrix{-R_2+1+l,R_2+1+l}\\{v_2+2+l}\endmatrix;{\displaystyle {x\over4}}
1198: \right].\tag6.5
1199: \endalign
1200: $$
1201: By (4.4), the resulting $_2F_1$'s are expressed in terms of Jacobi polynomials as
1202: $$
1203: _2F_1\!\left[\matrix{-R_1+1+k,R_1+1+k}\\{v_1+3+k}\endmatrix;
1204: {\displaystyle {x\over4}}\right]=\frac{(R_1-k-1)!\,(v_1+k+2)!}{(R_1+v_1+1)!}
1205: P_{R_1-k-1}^{(v_1+k+2,k-v_1-1)}\!\left(1-{x\over2}\right)\tag6.6
1206: $$
1207: and
1208: $$
1209: _2F_1\!\left[\matrix{-R_2+1+l,R_2+1+l}\\{v_2+2+l}\endmatrix;
1210: {\displaystyle {x\over4}}\right]=\frac{(R_2-l-1)!\,(v_2+l+1)!}{(R_2+v_2)!}
1211: P_{R_2-l-1}^{(v_2+l+1,l-v_2)}\left(1-{x\over2}\right).\tag6.7
1212: $$
1213: Substituting the expansions (6.4) and (4.3) and the formulas (6.6) and (4.6) into the
1214: integral representation (3.11) of $M_a$, we obtain that
1215: $$
1216: M_a=\sum_{k=0}^{v_1+1}\sum_{l=0}^{v_2} \frac{c_{kl}'R_1}{R_2}
1217: \frac{(-R_1+1)_k(R_1+1)_k}{(R_1-k)_{v_1+k+2}}
1218: \frac{(-R_2)_l(R_2)_l}{(R_2-l+1)_{v_2+l}} I_{kl}'(R_1,R_2),\tag6.8
1219: $$
1220: where $c_{kl}'$ depends only on $k$, $l$, $v_1$ and $v_2$, and for $0\leq k\leq v_1+1$
1221: and $0\leq l\leq v_2$,
1222: $$
1223: I_{kl}'(R_1,R_2):=\int_0^1 P_{R_1-k-1}^{(v_1+k+2,k-v_1-1)}\left(1-{x\over2}\right)
1224: P_{R_2-l}^{(v_2+l,l-v_2-1)}\left(1-{x\over2}\right)x^{k+l+u}dx.\tag6.9
1225: $$
1226: Similarly, we get from (3.12) that
1227: $$
1228: M_c=\sum_{k=0}^{v_1+1}\sum_{l=0}^{v_2} \frac{c_{kl}''R_2}{R_1}
1229: \frac{(-R_1)_k(R_1)_k}{(R_1-k+1)_{v_1+k+1}}
1230: \frac{(-R_2+1)_l(R_2+1)_l}{(R_2-l)_{v_2+l+1}} I_{kl}''(R_1,R_2),\tag6.10
1231: $$
1232: where $c_{kl}''$ depends only on $k$, $l$, $v_1$ and $v_2$, and for $0\leq k\leq v_1+1$
1233: and $0\leq l\leq v_2$,
1234: $$
1235: I_{kl}''(R_1,R_2):=\int_0^1 P_{R_1-k}^{(v_1+k+1,k-v_1-2)}\left(1-{x\over2}\right)
1236: P_{R_2-l-1}^{(v_2+l+1,l-v_2)}\left(1-{x\over2}\right)x^{k+l+u}dx.\tag6.11
1237: $$
1238: An analogous calculation yields from (3.13) that
1239: $$
1240: M_{ac}=\sum_{k=0}^{v_1+1}\sum_{l=0}^{v_2} c_{kl}'''R_2R_1
1241: \frac{(-R_1+1)_k(R_1+1)_k}{(R_1-k)_{v_1+k+2}}
1242: \frac{(-R_2+1)_l(R_2+1)_l}{(R_2-l)_{v_2+l+1}} I_{kl}'''(R_1,R_2),\tag6.12
1243: $$
1244: where $c_{kl}'''$ depends only on $k$, $l$, $v_1$ and $v_2$, and for
1245: $0\leq k\leq v_1+1$ and $0\leq l\leq v_2$,
1246: $$
1247: I_{kl}'''(R_1,R_2):=\int_0^1 P_{R_1-k-1}^{(v_1+k+2,k-v_1-1)}\left(1-{x\over2}\right)
1248: P_{R_2-l-1}^{(v_2+l+1,l-v_2)}\left(1-{x\over2}\right)x^{k+l+u+1}dx.\tag6.13
1249: $$
1250: As seen in the proof of Lemma 5.2 for the case of $I_{kl}$, the bounds (4.14) imply that
1251: for fixed $r$, $v_1$, $v_2$ and fixed $0\leq k\leq v_1+1$ and $0\leq l\leq v_2$, the
1252: integrals $I_{kl}'(R+r,R)$, $I_{kl}''(R+r,R)$ and $I_{kl}'''(R+r,R)$ are $O(1/R)$.
1253: Indeed, the only change from that case is that now the parameters of the
1254: Jacobi polynomials $P_n^{(\alpha,\beta)}(x)$ that occur are slightly changed. The key
1255: fact needed to prove (5.12) was that the exponent of $x$ in the last integral of
1256: (5.11) was nonnegative. However, the analogous exponents for the case of
1257: $I_{k,l}'$, $I_{k,l}''$ and $I_{k,l}'''$ are readily seen to be nonnegative
1258: as well (by (4.14), this exponent goes down half a unit for each unit of increase
1259: in the $\alpha$-parameter of the Jacobi polynomials that occur; the $\alpha$-parameters
1260: of the pairs
1261: of Jacobi polynomials $P_n^{(\alpha,\beta)}(x)$ appearing in $I_{kl}'$, $I_{kl}''$ and
1262: $I_{kl}'''$ are increased by $(1,0)$, $(0,1)$ and $(1,1)$, respectively; the increase
1263: in the exponent of $x$ in (3.11)--(3.13), namely $1$, $1$, and $2$ units, respectively,
1264: makes up for the decrease due to the change in the $\alpha$-parameters).
1265:
1266: Using this, it can be shown that, just as it was the case for the expansion (4.7) of
1267: $M_1$, the asymptotics of the double
1268: sums (6.8), (6.10) and (6.12) for $r$, $v_1$, $v_2$ fixed and $R_1=R+r$, $R_2=R$,
1269: $R\to\infty$ are given by the contribution of the terms with $(k,l)=(v_1+1,v_2)$.
1270:
1271: To work these out, note first that analogs of Lemma 4.2 hold for $I_{v_1+1,v_2}'$,
1272: $I_{v_1+1,v_2}''$ and $I_{v_1+1,v_2}'''$, with $J_{v_1+1,v_2}'$, $J_{v_1+1,v_2}''$ and
1273: $J_{v_1+1,v_2}'''$ defined by replacing the Jacobi polynomials in the integrands of
1274: the $I$-integrals by their Darboux approximants. Indeed, the only difference from the
1275: calculations in the proof of Lemma 4.2 is that now the $\alpha$-parameters of the pairs
1276: of Jacobi polynomials $P_n^{(\alpha,\beta)}(x)$ appearing in the $I$-integrals are
1277: increased by $(1,0)$, $(0,1)$ and $(1,1)$, respectively. However, just as was the case
1278: in the previous paragraph, the increase in the exponent of $x$ in (6.9), (6.11) and
1279: (6.13) (of $1$, $1$ and $2$ units, respectively) compensates the decrease due to the
1280: change in the $\alpha$-parameters. Therefore, arguments parallel to the ones in the
1281: proof of Lemma 4.2 lead to analogs of the majorizations (4.22) and (4.24) that
1282: maintain the key feature of having non-negative exponents of $x$ in the integrand, and
1283: thus prove the claimed analogs of Lemma 4.2.
1284:
1285: Second, using these analogs of Lemma 4.2, one can easily deduce analogs of Lemma 5.2,
1286: yielding
1287: $$
1288: \align
1289: &I'_{v_1+1,v_2}(R+r,R)\\
1290: &\ \ \
1291: =-\frac{(-4)^{v_1+v_2+2}}{2R\pi}\int_0^1x^{v_1+v_2+1}
1292: \cos\left[(r-1)\cos^{-1}\left(1-{x\over2}\right)\right]dx
1293: +o(R^{-1})\tag6.14\\ \\
1294: &I''_{v_1+1,v_2}(R+r,R)\\
1295: &\ \ \
1296: =\frac{(-4)^{v_1+v_2+2}}{2R\pi}\int_0^1x^{v_1+v_2+1}
1297: \cos\left[(r+1)\cos^{-1}\left(1-{x\over2}\right)\right]dx
1298: +o(R^{-1})\tag6.15\\ \\
1299: &I'''_{v_1+1,v_2}(R+r,R)\\
1300: &\ \ \
1301: =\frac{(-4)^{v_1+v_2+3}}{2R\pi}\int_0^1\left(\frac{4-x}{x}\right)^{-1/2}x^{v_1+v_2+1}
1302: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)\right]dx
1303: +o(R^{-1}).\tag6.16
1304: \endalign
1305: $$
1306: And third, replacing in (3.11)--(3.13) the expansions (4.2), (4.3), (6.4) and (6.5)
1307: and formulas (4.5), (4.6), (6.6) and (6.7), the constants $c_{v_1+1,v_2}'$,
1308: $c_{v_1+1,v_2}''$ and $c_{v_1+1,v_2}'''$ are found, after simplifications, to be
1309: $$
1310: \align
1311: &c_{v_1+1,v_2}'=\frac{2}{(-4)^{v_1+v_2+2}}\\
1312: &c_{v_1+1,v_2}''=-\frac{2}{(-4)^{v_1+v_2+2}}\\
1313: &c_{v_1+1,v_2}'''=\frac{2}{(-4)^{v_1+v_2+3}}.
1314: \endalign
1315: $$
1316: Substituting these and (6.14)--(6.16) into (6.8), (6.10) and (6.12) we obtain the
1317: statements (6.1)--(6.3) of the Proposition. \endpf
1318:
1319: \mysec{7. The asymptotics of the correlation $\omega(r,u)$}
1320:
1321: Substituting the asymptotics of the double sums $M_1$, $M_a$, $M_c$ and $M_{ac}$ given
1322: by Propositions 5.3 and 6.1 into the formula (3.3), we obtain the following result.
1323:
1324: \proclaim{Proposition 7.1} For fixed $r$, $v_1$ and $v_2$, we have
1325: $$
1326: \omega_b(R+r,v_1;R,v_2)=\frac{1}{4\pi^2}|S_1S_{ac}+S_aS_c|+o(R^{-1}),
1327: $$
1328: where
1329: $$
1330: \align
1331: S_1&=\int_0^1\left(\frac{4-x}{x}\right)^{1/2}x^{u-1}
1332: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)\right]dx\\
1333: S_a&=\int_0^1x^{u-1}
1334: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)-{\pi\over2}\right]dx\\
1335: S_c&=\int_0^1x^{u-1}
1336: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)-{\pi\over2}\right]dx\\
1337: S_{ac}&=\int_0^1\left(\frac{4-x}{x}\right)^{-1/2}x^{u-1}
1338: \cos\left[r\cos^{-1}\left(1-{x\over2}\right)\right]dx
1339: \endalign
1340: $$
1341: and $u=v_1+v_2+2$.
1342: \endproclaim
1343: \flushpar
1344: {\smc Remark 7.2.} By the above result, for fixed $r$, $v_1$ and $v_2$ the
1345: asymptotics of $\omega_b(R+r,v_1;R,v_2)$ as $R\to\infty$ depends only on the sum
1346: $v_1+v_2$, and not individually on $v_1$ and $v_2$. This is consistent with the
1347: expectation that the quadromer correlation at the center should depend only on the
1348: separation vector $(r,u)$.
1349:
1350: %OBS: Looks like we will need separate analysis of case q=0 in statement of Theorem
1351: %1.1. This can be done using section 13, Ch. 3 of Olver.
1352:
1353: \medskip
1354: In the statement of Theorem 1.1, the coordinates of the separation vector $(r,u)$ are
1355: related by $u=qr+c$, where $q\geq0$ and $c$ are fixed rational numbers. When $q>0$,
1356: the asymptotics of $\omega_b(R+r,v_1;R,v_2)$ as $R\to\infty$ can be obtained from
1357: Lemma 5.1. To handle the case $q=0$ we need the following result.
1358:
1359: \proclaim{Lemma 7.3}
1360: Let $\alpha$, $k$ and $h$ be real-valued functions that are analytic in an open
1361: interval containing $(0,1]$. Assume $\alpha'(t)>0$ in $(0,1)$ and
1362: $\lim_{t\to0^+}h(t)/\alpha'(t)=0$.
1363: Then
1364: $$
1365: \align
1366: \int_0^1h(t)&\cos[R\alpha(t)+k(t)]dt\\
1367: &=
1368: \frac{h(1)}{R\alpha'(1)}\cos\left[R\alpha(1)+k(1)
1369: -{\pi\over2}\right]+O(R^{-2}).\tag7.1
1370: \endalign
1371: $$
1372: \endproclaim
1373:
1374: \pf As in the proof of Lemma 5.1, express the integrand in terms of exponentials as
1375: $$
1376: \align
1377: \int_0^1&h(t)\cos[R\alpha(t)+k(t)]dt\\
1378: &=\frac{1}{2}\left\{\int_0^1e^{iR\alpha(t)}e^{ik(t)}h(t)dt
1379: +\int_0^1e^{-iR\alpha(t)}e^{-ik(t)}h(t)dt\right\}.\tag7.2
1380: \endalign
1381: $$
1382: Consider the first integral on the right hand side of (7.2). Make the change
1383: of variables $y=1-t$ to obtain
1384: $$
1385: \int_0^1e^{iR\alpha(t)}e^{ik(t)}h(t)dt=
1386: \int_0^1e^{-iR\gamma(t)}\delta(t)dt,\tag7.3
1387: $$
1388: where $\gamma(y)=-\alpha(1-y)$ and $\delta(y)=e^{ik(1-y)}h(1-y)$.
1389: These functions $\gamma(y)$ and $\delta(y)$ are readily checked to satisfy the
1390: conditions in the hypothesis of Theorem 13.2 of \cite{O,\,p.\,102} with $i$
1391: replaced by $-i$ throughout (clearly, by complex conjugation, the statement of the
1392: quoted theorem remains true when $i$ is replaced by $-i$ throughout; we need to apply
1393: this modified version of the quoted theorem because its hypothesis requires
1394: $\gamma(y)'>0$; compare with the beginning of \S13.1 of \cite{O}).
1395: Since the functions $\alpha(t)$, $k(t)$ and $h(t)$ of (7.1) are analytic at $t=1$, it
1396: follows that $\gamma(y)$ and $\delta(y)$ are analytic at $y=0$. Therefore, the
1397: exponents $\lambda$ and $\mu$ of (13.02) \cite{O} are both equal to 1. Thus,
1398: Theorem 13.2 of \cite{O} is applicable and, since we are assuming
1399: $\lim_{t\to0^+}h(t)/\alpha'(t)=0$, it yields
1400: $$
1401: \int_0^1e^{-iR\gamma(t)}\delta(t)dt=\frac{\delta(0)}{\gamma'(0)}
1402: \frac{e^{-iR\gamma(0)}}{iR}+o(R^{-1})\tag7.4
1403: $$
1404: (since $i$ is now replaced by $-i$ throughout Theorem 13.2 of \cite{O}). By
1405: (7.3), (7.4) and the definition of $\gamma(t)$ and $\delta(t)$ we obtain that
1406: $$
1407: \int_0^1e^{iR\alpha(t)}e^{ik(t)}h(t)dt=
1408: \frac{e^{ik(1)}h(1)}{\alpha'(1)}\frac{e^{iR\alpha(1)}}{iR}+o(R^{-1})\tag7.5
1409: $$
1410: The two integrals on the right hand side of (7.2) are complex conjugates, so the
1411: coefficients of their asymptotic expansions are also complex conjugates. We obtain
1412: from (7.5) that
1413: $$
1414: \int_0^1e^{-iR\alpha(t)}e^{-ik(t)}h(t)dt=
1415: -\frac{e^{-ik(1)}h(1)}{\alpha'(1)}\frac{e^{-iR\alpha(1)}}{iR}+o(R^{-1})\tag7.6
1416: $$
1417: By (7.2)--(7.6) we obtain the statement of the Lemma. \endpf
1418:
1419: We are now ready to prove our main result.
1420:
1421: {\it Proof of Theorem 1.1.} Let $u=qr+c$, where $q\geq0$ and $q,c\in\Q$ are fixed.
1422: Then the integral $S_1$ of Proposition 7.1 becomes
1423: $$
1424: S_1=\int_0^1\left(\frac{4-t}{t}\right)^{1/2}t^{qr+c-1}
1425: \cos\left[r\cos^{-1}\left(1-{t\over2}\right)\right]dt.
1426: $$
1427: For $q>0$, we can apply Lemma 5.1 with $h(t)=t^{c-3/2}(4-t)^{1/2}$,
1428: $\alpha(t)=\cos^{-1}(1-t/2)$ and $k(t)=0$ to obtain
1429: $$
1430: S_1=\frac{1}{r}\frac{\sqrt{3}}{\sqrt{q^2+1/3}}
1431: \cos\left({r\pi\over3}-\arctan{1\over q\sqrt{3}}\right)+o(r^{-1}),\ \ \ \ \ q>0.\tag7.7
1432: $$
1433: If $q=0$, we have $u=c$ and $S_1$ becomes
1434: $$
1435: S_1=\int_0^1\left(\frac{4-t}{t}\right)^{1/2}t^{c-1}
1436: \cos\left[r\cos^{-1}\left(1-{t\over2}\right)\right]dt.
1437: $$
1438: This has the form of the integral in (7.1), with $h(t)=t^{c-1/2}(4-t)^{1/2}$,
1439: $\alpha(t)=\cos^{-1}(1-t/2)$ and $k(t)=0$. Clearly, $\alpha'(t)=(4t-t^2)^{-1/2}>0$
1440: in $(0,1)$, and it is readily checked that $\lim_{t\to0^+}h(t)/\alpha'(t)=0$
1441: (in checking this we need to use the fact that $c=u\geq1$). Therefore, Lemma 7.2 yields
1442: $$
1443: S_1=\frac{3}{r}
1444: \cos\left({r\pi\over3}-{\pi\over2}\right)+o(r^{-1}),\ \ \ \ \ q=0.\tag7.8
1445: $$
1446: A conceptual way of viewing (7.7) and (7.8) together is to say that (7.7) also holds
1447: in the limit $q\to0^+$.
1448: Similar applications of Lemma 5.1 to the integrals $S_a$, $S_c$ and
1449: $S_{ac}$ of Proposition 7.1 yield, for $q>0$, that
1450: $$
1451: \align
1452: S_a&=\frac{1}{r}\frac{1}{\sqrt{q^2+1/3}}
1453: \cos\left({r\pi\over3}-{\pi\over2}-\arctan{1\over q\sqrt{3}}\right)+o(r^{-1})\tag7.9\\
1454: S_c&=\frac{1}{r}\frac{1}{\sqrt{q^2+1/3}}
1455: \cos\left({r\pi\over3}-{\pi\over2}-\arctan{1\over q\sqrt{3}}\right)+o(r^{-1})\tag7.10\\
1456: S_{ac}&=\frac{1}{r}\frac{1}{\sqrt{3}\sqrt{q^2+1/3}}
1457: \cos\left({r\pi\over3}-\arctan{1\over q\sqrt{3}}\right)+o(r^{-1}),\tag7.11
1458: \endalign
1459: $$
1460: the formulas also holding, by Lemma 7.3, in the limit $q\to0^+$.
1461:
1462: By (1.4), Proposition 7.1, (7.7), (7.9)--(7.11) and the fact that the latter four
1463: relations hold also in the limit $q\to0^+$, we obtain
1464: $$
1465: \align
1466: \omega(u&,r)=\frac{1}{4\pi^2}|S_1S_{ac}+S_aS_c|\\
1467: &=\left|\frac{1}{4\pi^2r^2(q^2+1/3)}
1468: \left\{\cos^2\!\!\left({r\pi\over3}-\arctan{1\over q\sqrt{3}}\right)
1469: +\sin^2\!\!\left({r\pi\over3}-\arctan{1\over q\sqrt{3}}\right)\right\}+o(r^{-2})\right|\\
1470: &=\left|\frac{3}{4\pi^2(3q^2r^2+r^2)}+o(r^{-2})\right|\\
1471: &=\frac{3}{4\pi^2(r^2+3u^2)}+o(r^{-2}).
1472: \endalign
1473: $$
1474: This proves Theorem 1.1. \endpf
1475:
1476: \medskip
1477: \flushpar
1478: {\bf Acknowledgments.} I would like to thank Jeff Geronimo for useful discussions and for pointing
1479: out to me Laplace's method for the asymptotics of integrals, and the referee for the careful reading
1480: of the manuscript and helpful suggestions.
1481:
1482: \mysec{References}
1483: {\openup 1\jot \frenchspacing\raggedbottom
1484: \roster
1485: \myref{C}
1486: M. Ciucu, Plane partitions I: A generalization of MacMahon's
1487: formula, preprint (available at the Los Alamos
1488: archive, at http://arxiv.org/ps/math.CO/9808017).
1489:
1490: \myref{FS}
1491: M. E. Fisher and J. Stephenson, Statistical mechanics of dimers on a plane
1492: lattice. II. Dimer correlations and monomers, {\it Phys. Rev. (2)} {\bf 132} (1963),
1493: 1411--1431.
1494:
1495: \myref{GR}
1496: G. Gasper and M. Rahman, ``Basic hypergeometric series,'' Cambridge University Press, Cambridge,
1497: 1990.
1498:
1499: \myref{GV}
1500: I. M. Gessel and X. Viennot, Binomial determinants, paths, and hook length formulae, {\it Adv.
1501: in Math.} {\bf 58} (1985), 300--321.
1502:
1503: %\myref{GR}
1504: % I. S. Gradshtein and I. M. Ryzhik, ``Table of integrals, series, and
1505: %products,'' Academic Press, New York, 1980.
1506:
1507: \myref{H}
1508: R. E. Hartwig, Monomer pair correlations, {\it J. Mathematical Phys.} {\bf 7}
1509: (1966), 286--299.
1510:
1511: \myref{O}
1512: F. W. J. Olver, Asymptotics and special functions, Academic Press, New York, 1974.
1513:
1514: %\myref{PBM}
1515: % A.P. Prudnikov, Yu.A. Brychkov and O.I. Marichev, ``Integrals and series,'' vol. 3,
1516: %Gordon and Breach Science Publishers, New York, 1986.
1517:
1518: \myref{Sz1} G. Szeg\H o, Asymptotische Entwicklungen der Jacobischen Polynome, {\it Schriften
1519: K\"o\-nigs\-ber\-ger Gel. Ges.}, (1933), 35--112; re\-prin\-ted in R. Askey (ed.),
1520: ``Collected papers of G\'abor Szeg\H o,'' vol. 2, 399--478, Birkh\"auser, Boston, 1982.
1521:
1522: \myref{Sz2}
1523: G. Szeg\H o, ``Orthogonal polynomials,'' American Mathematical Society,
1524: Providence, R.I., 1975.
1525:
1526:
1527:
1528: \endroster\par}
1529:
1530: \enddocument
1531: