1: \section{Proof of theorem \ref{theorem1}}
2:
3: The connection (\ref{airy=extairy}) shows that we can prove the theorem by
4: studying the largest particle in the extended
5: Airy point process at times $t_1, \ldots , t_m$.
6:
7: The appearance of $C$ in formulae below should be interpreted as follows:
8: There exists a positive constant which may depend on $p_i$, $s_i$,
9: $i=2, \ldots , m$,
10: validating the inequality to the left when inserted instead of $C$. Other
11: error terms will typically also depend on $p_i$, $s_i$.
12:
13: Set $J_1 = [p_1 - \delta_1, p_1] \subset \R_{t_1}$ and
14: $J_i = [p_i - \sqrt{\epsilon} \delta_i,p_i] \subset \R_{t_i}$,
15: $2 \leq i \leq m$, where $\delta_i > 0$ and
16: $p_i = p_{i-1} + y_i \sqrt{\epsilon}$, $y_i \in \R$.
17: We also set $I_i = ( p_i,\infty)$, $i=1, \ldots , m$.
18:
19: We will show that
20: \begin{multline}\label{target}
21: \lim_{\scriptstyle{\delta_1 , \ldots , \delta_m \rightarrow 0^+}}
22: \frac{1}{\delta_2 \cdots \delta_m}
23: \frac{\Prob \lp[ \# J_1 \geq 1, \ldots, \# J_m \geq 1,
24: \# I_1 = \ldots = I_m = 0 \rp]}
25: {\Prob \lp[\# J_1 \geq 1, \# I_1 = 0 \rp]} \\
26: = \frac{1}{\sqrt{(4 \pi)^{m-1} s_2 \cdots s_{m}}}
27: e^{-\frac{y_2^2}{4s_2} - \ldots -\frac{y_m^2}{4s_m}}
28: + \mathcal{O}(\sqrt{\epsilon} \log{\epsilon}),
29: \end{multline}
30: implying Theorem \ref{theorem1}.
31:
32: The first step is to show that the probabilities in the numerator and
33: denominator above can be approximated by appropriate expected values.
34:
35: For $k,n \in \Z_+$ we shall use the common notation
36: \begin{equation*}
37: n^{[k]} = n (n-1) \cdots (n-k+1).
38: \end{equation*}
39: Let $J$ be an interval on some
40: time line and $\chi_A$ be the indicator function for the event $A$.
41: Since
42: \begin{eqnarray*}
43: \#J - \chi_{\{ \#J \geq 1\}} & = & \Bigg\{
44: \begin{array}{ll}
45: k-1 & \quad \, ; \, \#J = k \geq 2 \\
46: 0 & \quad \, ; \, \#J = 0,1
47: \end{array} \\
48: \#J^{[2]} = \#J(\#J - 1) & = & \Bigg\{
49: \begin{array}{ll}
50: k(k-1) & ; \, \#J = k \geq 2 \\
51: 0 & ; \, \#J = 0,1
52: \end{array}
53: \end{eqnarray*}
54: it holds that
55: \begin{equation} \label{ineq1}
56: 0 \leq \#J - \chi_{\{ \#J \geq 1\}} \leq \#J^{[2]}.
57: \end{equation}
58: This together with the following facts will be useful:
59: \begin{multline}\label{prob_approx}
60: \Prob \lp[ \# J_1 \geq 1, \ldots, \# J_m \geq 1, \# I_1 = 0 \rp] \\
61: - \Prob \lp[ \# J_1 \geq 1, \ldots, \# J_m \geq 1,
62: \# I_1 = \ldots = \# I_m = 0 \rp] =
63: \end{multline}
64: \begin{multline*}
65: = \Prob \lp[ \# J_1 \geq 1, \ldots, \# J_m \geq 1, \#I_1 = 0,
66: (\# I_2 = \ldots = \# I_m = 0)^c \rp] \\
67: = \Prob \lp[ \# J_1 \geq 1, \ldots, \# J_m \geq 1, \#I_1 = 0,
68: \cup_{i=2}^m \{ \# I_i \neq 0 \} \rp] \\
69: \leq \sum_{i=2}^m
70: \Prob \lp[ \# J_1 \geq 1, \ldots, \# J_m \geq 1, \#I_i \neq \#I_1 \rp]
71: \end{multline*}
72: We now express the probabilities in terms of expected values. If we set
73: \begin{equation}
74: T(J_i) = \# J_i - \chi_{\{ \# J_i \geq 1 \}} .
75: \end{equation}
76: then
77: \begin{align*}
78: \Prob \big[ \# J_1 \geq 1, & \ldots, \# J_m \geq 1, I_1 = 0 \big] \\
79: & = \E \lp[ ( \# J_1 - T(J_1)) \cdots ( \# J_m - T(J_m))
80: \cdot \chi_{\{ \#I_1 = 0 \}} \rp] \\
81: & = \E \lp[ (\# J_1 \cdots \# J_m + U(J_1, \ldots , J_m))
82: \cdot \chi_{\{ \#I_1 = 0 \}} \rp]
83: \end{align*}
84: where $U$ is defined by the last equality.
85: In view of (\ref{ineq1}) and (\ref{corr_eq}) we get, for example,
86: \begin{multline*}
87: \E \lp[ T(J_1) \cdot \# J_2 \cdots \# J_m \rp] \leq
88: \E \lp[ \# J_1^{[2]} \cdot \# J_2 \cdots \# J_m \rp] \\
89: = \int_{J_1^2 \times J_2 \cdots \times J_m} R (x_1,x_2,\ldots,x_{m+1}) \udx =
90: \mathcal{O} (\delta_1^2 \cdot \delta_2 \cdots \delta_m).
91: \end{multline*}
92:
93: Since $U(J_1, \ldots , J_m)$ is a sum of terms like this one (at least one
94: $T(J_i)$) we see that
95: \begin{equation*}
96: \lim_{\scriptstyle{\delta_1 , \ldots , \delta_m \rightarrow 0^+}}
97: \frac{1}{\delta_1 \cdots \delta_m}
98: \E \lp[ U(J_1, \ldots , J_m) \cdot \chi_{\{ \#I_1 = 0 \}} \rp] = 0.
99: \end{equation*}
100: Repetition of this argument shows together with (\ref{prob_approx}) that
101: \begin{align*}
102: \lim_{\scriptstyle{\delta_1, \ldots ,\delta_m \rightarrow 0^+}} &
103: \frac{1}{\delta_1 \cdots \delta_m} \Prob \lp[ \# J_1 \geq 1,
104: \ldots, \# J_m \geq 1,
105: \# I_1 = \ldots = I_m = 0 \rp] \\
106: & = \lim_{\scriptstyle{\delta_1 , \ldots , \delta_m \rightarrow 0^+}}
107: \frac{1}{\delta_1 \cdots \delta_m}
108: \E \lp[ \# J_1 \cdots \# J_m \cdot \chi_{\{I_1 = 0\}} \rp] \\
109: & \, \, \, \, \, \,
110: + \mathcal{O} \lp(\sum_{i=2}^m \lim_{\scriptstyle{\delta_1, \ldots ,
111: \delta_m \rightarrow 0^+}} \frac{1}{\delta_1 \cdots \delta_m}
112: \E \lp[ \# J_1 \cdots \# J_m \cdot \chi_{\{\#I_i \neq \#I_1\}} \rp] \rp)
113: \end{align*}
114: and also that
115: \begin{equation*}
116: \lim_{\scriptstyle{\delta_1 \rightarrow 0^+}}
117: \frac{1}{\delta_1} \Prob \lp[ \# J_1 \geq 1,
118: \# I_1 = 0 \rp] =
119: \lim_{\scriptstyle{\delta_1 \rightarrow 0^+}}
120: \frac{1}{\delta_1} \E \lp[ \# J_1 \cdot \chi_{\{I_1 = 0\}} \rp] .
121: \end{equation*}
122: Later it will be shown that
123: \begin{equation}\label{uggly_eq}
124: \lim_{\scriptstyle{\delta_1 , \ldots ,\delta_m \rightarrow 0^+}}
125: \frac{1}{\delta_1 \cdots \delta_m}
126: \E \lp[ \# J_1 \cdots \# J_m \cdot \chi_{\{\#I_i \neq \#I_1\}} \rp] =
127: \mathcal{O}(\sqrt{\epsilon} \log{\epsilon})
128: \end{equation}
129: but let us first be constructive.
130:
131: We want to show that
132: \begin{multline} \label{constr_eq}
133: \lim_{\scriptstyle{\delta_1 , \ldots , \delta_m \rightarrow 0^+}}
134: \frac{1}{\delta_1 \cdots \delta_m}
135: \E \lp[ \# J_1 \cdots \# J_m \cdot \chi_{\{I_1 = 0\}} \rp] \\
136: = \lim_{\scriptstyle{\delta_1 \rightarrow 0^+}}
137: \frac{1}{\delta_1} \E \lp[ \# J_1 \cdot \chi_{\{I_1 = 0\}} \rp] \\
138: \times \frac{1}{\sqrt{(4 \pi)^{m-1} s_2 \cdots s_{m}}}
139: \, e^{-\frac{y_2^2}{4s_2} - \ldots -\frac{y_m^2}{4s_m}}
140: + \mathcal{O}(\sqrt{\epsilon}) .
141: \end{multline}
142: To start with we need to find a representation of the left hand side
143: of (\ref{constr_eq}) that is suitable for analysis.
144: \begin{align*}
145: \E \big[ \# J_1 \cdots \# J_m \cdot \chi_{\{I_1 = 0\}} \big]
146: & = \E \lp[ \# J_1 \cdots \# J_m \cdot
147: \lim_{\lambda \rightarrow \infty}e^{- \lambda \#I_1} \rp] \\
148: & = \E \lp[ \# J_1 \cdots \# J_m \cdot \lim_{\lambda \rightarrow \infty}
149: \sum_{k=0}^{\infty} \frac{(e^{-\lambda} - 1)^k}{k!} I_1^{[k]} \rp] \\
150: &= \E \lp[ \# J_1 \cdots \# J_m \cdot
151: \sum_{k=0}^{\infty} \frac{(- 1)^k}{k!} I_1^{[k]} \rp]
152: \\ & = \sum_{k=0}^{\infty} \frac{(-1)^k}{k!}
153: \E \lp[ \# J_1 \cdots \# J_m \cdot \# I_1^{[k]} \rp]
154: \end{align*}
155: In the second equality we have used the formula
156: \begin{equation} \label{comb_formula}
157: e^{\lambda n} = \sum_{k=0}^{\infty} \frac{({e}^{\lambda} -1)^k}{k!} n^{[k]}.
158: \end{equation}
159: In the fourth equality we take the sum out of the expectation.
160: By Fubini's theorem we are allowed to do this since
161: \begin{multline*}
162: \E \lp[ \# J_1 \cdots \# J_m \cdot
163: \sum_{k=0}^{\infty} \frac{\# I_1^{[k]}}{k!} \rp]
164: \leq \E \lp[ \# J_1 \cdots \# J_m \cdot
165: \sum_{k=0}^{\infty} \frac{\# I_1^{k}}{k!} \rp] \\
166: = \E \lp[ \# J_1 \cdots \# J_m \cdot e^{\# I_1} \rp] \leq
167: \E \lp[ \# J_1^2 \cdots \# J_m^2 \rp]^{1/2} \,
168: \E \lp[ e^{2 \# I_1} \rp]^{1/2} < \infty.
169: \end{multline*}
170: In fact $\E \lp[ z^{\# I_1} \rp]$ is an entire function in $z$, \cite{So}.
171:
172: Another technical issue we need to deal with is to prove that
173: \begin{align*}
174: \lim_{\scriptstyle{\delta_1, \ldots ,\delta_m \rightarrow 0^+}} &
175: \frac{1}{\delta_1 \cdots \delta_m}
176: \sum_{k=0}^{\infty} \frac{(-1)^k}{k!}
177: \E \lp[ \# J_1 \cdots \# J_m \cdot \# I_1^{[k]} \rp] \\
178: & = \sum_{k=0}^{\infty} \frac{(-1)^k}{k!}
179: \lim_{\scriptstyle{\delta_1, \ldots ,\delta_m \rightarrow 0^+}}
180: \frac{1}{\delta_1 \cdots \delta_m}
181: \E \lp[ \# J_1 \cdots \# J_m \cdot \# I_1^{[k]} \rp] \\
182: & = \sum_{k=0}^{\infty} \frac{(-1)^k}{k!}
183: \int_{I_1^k} (\sqrt{\epsilon})^{m-1} R (p_1,\ldots ,p_m, x_1,\ldots,x_k) \, \udx.
184: \end{align*}
185: Please recall definition (\ref{corr_def}) and note that the second equality
186: is immediate from (\ref{corr_eq}).
187: Define $G_k(z_1, \ldots , z_m)$, $z_i \in \R_{t_i}$, by
188: \begin{equation}
189: G_k(z_1, \ldots , z_m) = \frac{(-1)^k}{k!}
190: \int_{I_1^k} R (z_1,\ldots ,z_m, x_1,\ldots,x_k) \, \udx.
191: \end{equation}
192: The identity sought for is
193: \begin{multline} \label{sought}
194: \lim_{\scriptstyle{\delta_1, \ldots ,\delta_m \rightarrow 0^+}}
195: \frac{1}{\delta_1 \cdots \delta_m}
196: \sum_{k=0}^{\infty}
197: \int_{J_1 \times \cdots \times J_m} G_k(z_1, \ldots, z_m) \, \udz \\ =
198: \sum_{k=0}^{\infty} (\sqrt{\epsilon})^{m-1} G_k(p_1, \ldots, p_m) .
199: \end{multline}
200: This will hold if for some neighbourhood
201: $\Omega$ of $(p_1, \ldots, p_m)$ there exist constants $C_k > 0$ such that
202: \begin{equation*}
203: |G_k(z_1, \ldots , z_m)| \leq C_k
204: \end{equation*}
205: if $(z_1, \ldots , z_m) \in \Omega$ and
206: \begin{equation*}
207: \sum_{k=0}^{\infty} C_k < \infty.
208: \end{equation*}
209: That this is indeed the case follows from calculations similar to the
210: ones appearing in the proof of Lemma \ref{princ_lemma} which is given
211: at the end of this section.
212:
213: The following lemma can be found in \cite{Ok}:
214: \begin{lemma} \label{phi_theorem}
215: Let $\alpha > 0$, then
216: \begin{equation*}
217: \int_{-\infty}^{\infty} e^{\alpha z} \ai(x+z) \ai(y+z) \, \udz =
218: \frac{1}{\sqrt{4 \pi \alpha}} e^{-\frac{(x-y)^2}{4 \alpha} -
219: \frac{\alpha}{2}(x+y) + \frac{\alpha^3}{12}}.
220: \end{equation*}
221: \end{lemma}
222: In this section we call this function $\phi_{\alpha}(x,y)$ or simply
223: $\phi(x,y)$ when it is clear what $\alpha$ is.
224: From Lemma \ref{phi_theorem} and the definition of the Airy kernel it
225: follows that, for $s<t$
226: \begin{multline*}
227: A_{s,t}(x,y) = \int_{0}^{\infty} e^{z(t-s)} \ai(x+z) \ai(y+z) \, \udz
228: - \phi_{t-s}(x,y) \\
229: =: \widetilde{A}_{s,t}(x,y) - \phi_{t-s}(x,y).
230: \end{multline*}
231: For $s \geq t$ it is convenient to set
232: $\widetilde{A}_{s,t}(x,y) = A_{s,t}(x,y)$.
233: \begin{lemma} \label{princ_lemma}
234: Suppose that $1 \leq v \leq m$, $v \in \Z$. Then, for some $C$ depending on
235: $p_1, \ldots , p_m$,
236: \begin{align} \label{D_u(k)} \nonumber
237: & (\sqrt{\epsilon})^{m-1} \,
238: \int_{I_v^k} R(p_1, \ldots , p_m, x_1, \ldots , x_k) \, \udx \\
239: & \qquad \qquad = (\sqrt{\epsilon})^{m-1} \phi(p_1,p_2) \phi(p_2,p_3) \cdots
240: \phi(p_{m-1},p_m) \\ \nonumber
241: & \qquad \qquad \qquad \qquad
242: \times \int_{I_1^k} R(p_1, x_1, \ldots , x_k) \, \udx
243: + \sqrt{\epsilon} \, \mathcal{O} \lp( (Ck)^{\frac{k+m}{2}} \rp).
244: \end{align}
245: Furthermore, if $v \geq 2$ then
246: \begin{align} \label{D_{1,v}} \nonumber
247: & (\sqrt{\epsilon})^{m-1} \,
248: \int_{I_1} \udx \int_{I_v} \udy \,
249: R(p_1, \ldots , p_m, x, y) \\
250: & \qquad = (\sqrt{\epsilon})^{m-1} \,
251: \phi(p_1,p_2) \phi(p_2,p_3) \cdots \phi(p_{m-1},p_m) \\ \nonumber
252: & \qquad \qquad \times \lp( \int_{I_1^2} R(p_1,x_1,x_2) \, \udx +
253: \int_{I_1} R(p_1,x) \, \udx \rp)
254: + \mathcal{O}(\sqrt{\epsilon} \log{\epsilon}).
255: \end{align}
256: \end{lemma}
257: \noindent From (\ref{D_u(k)}) we now get (\ref{constr_eq}).
258:
259: We turn now to (\ref{uggly_eq}).
260: Clearly
261: \begin{multline*}
262: \E \lp[ \# J_1 \cdots \# J_m \cdot \chi_{\{\#I_i \neq \#I_1\}} \rp]
263: \leq \E \lp[ \# J_1 \cdots \# J_m \cdot (\#I_i - \#I_1)^2 \rp] \\
264: = \E \lp[ \# J_1 \cdots \# J_m \cdot (\#I_i^{[2]} + \#I_1^{[2]}
265: + \#I_i + \#I_1 -2 \#I_1 \#I_i ) \rp].
266: \end{multline*}
267: We now obtain (\ref{uggly_eq}) since
268: \begin{align}\label{corr_eq_2} \nonumber
269: (\sqrt{\epsilon})^{m-1} &
270: \bigg( \int_{I_i^2} R(p_1, \ldots , p_m,x,y) \, \udx \udy +
271: \int_{I_1^2} R(p_1, \ldots , p_m,x,y) \, \udx \udy \\
272: & \qquad + \int_{I_i} R(p_1, \ldots , p_m,x) \, \udx +
273: \int_{I_1} R(p_1, \ldots , p_m,x) \, \udx \\ \nonumber
274: & \qquad \qquad \qquad
275: - 2 \int_{I_1 \times I_i} R(p_1, \ldots , p_m,x,y) \, \udx \udy \bigg) =
276: \mathcal{O} (\sqrt{\epsilon} \log{\epsilon})
277: \end{align}
278: by Lemma \ref{princ_lemma}.
279:
280: To get (\ref{target}) we need one more result, namely that
281: \begin{equation} \label{pos}
282: \lim_{\delta_1 \rightarrow 0^+} \frac{1}{\delta_1}
283: \E [ \# J_1 \chi_{\{ \# I_1 = 0 \}}] > 0.
284: \end{equation}
285: Let $F_2(s)$ be the Tracy-Widom distribution function corresponding to
286: the largest eigenvalue in the GUE, \cite{TW}. Then
287: \begin{align}\label{twprimeq} \nonumber
288: \lim_{\delta_1 \rightarrow 0^+} \frac{1}{\delta_1} &
289: \E [ \# J_1 \chi_{\{ \# I_1 = 0 \}}] \\ & =
290: \lim_{\delta_1 \rightarrow 0^+} \frac{1}{\delta_1}
291: \sum_{k=0}^{\infty} \frac{(-1)^k}{k!}
292: \int_{J_1} dx_0 \int_{I_1^k} d^k x \, \fdet (A(x_i,x_j))_{0 \leq i,j \leq k} \\
293: & = \sum_{k=0}^{\infty} \frac{(-1)^k}{k!} \nonumber
294: \int_{I_1^k} \fdet (A(x_i,x_j))_{0 \leq i,j \leq k} d^k x = F'_2(p_1)
295: \end{align}
296: where in the last row $x_0 = p_1$. The last equality can be obtained by
297: differentiating the corresponding equality for the distribution function
298: $F_2(t)$, \cite{TW}, we omit the details here. The first equality
299: has been shown above and the second is a special case of
300: (\ref{sought}). Since $F_2'(s) > 0$ for all $s \in \R$, see \cite{TW},
301: we obtain (\ref{pos}).
302:
303: What is still left is to prove Lemma \ref{princ_lemma}.
304:
305: \noindent \textbf{Proof of Lemma \ref{princ_lemma}:}
306: We start with (\ref{D_u(k)}). For $0 \leq r \leq m-1$ and
307: $k \geq 1$ define $D_r(k)$ by
308: \begin{multline*}
309: D_r(k) = (\sqrt{\epsilon})^r \phi(p_1,p_2) \phi(p_2,p_3)\cdots \phi(p_r,p_{r+1})
310: \int_{I_v^k} \udx \\ \times \lp|
311: \begin{array}{ccccc}
312: A(p_{r+1},p_1) & \sqrt{\epsilon} A(p_{r+1},p_{r+2}) & \ldots &
313: \sqrt{\epsilon} A(p_{r+1},p_{m}) & A(p_{r+1},x_j) \\
314: \vdots & \vdots & \, & \vdots & \vdots \\
315: A(p_{m},p_1) & \sqrt{\epsilon} A(p_{m},p_{r+2}) & \ldots &
316: \sqrt{\epsilon} A(p_{m},p_{m}) & A(p_{m},x_j) \\
317: A(x_i,p_1) & \sqrt{\epsilon} A(x_i,p_{r+2}) & \ldots &
318: \sqrt{\epsilon} A(x_i,p_{m}) & A(x_i,x_j)
319: \end{array} \rp| .
320: \end{multline*}
321: In the determinant $1 \leq i,j \leq k$ and for $r=0$ we set the
322: empty product in front of the integral to 1.
323: Please note that $D_0(k)$ is equal to the left hand side in (\ref{D_u(k)}).
324: We let $\widetilde{D}_r(k)$ be almost the same as $D_r(k)$.
325: The only difference is
326: that we put in $\widetilde{A}(p_{r+1},p_{r+2})$ in position (1,2)
327: in the matrix instead
328: of $A(p_{r+1},p_{r+2})$. By using induction we shall now prove that
329: \begin{equation} \label{ind_eq}
330: D_0(k) = D_r(k) + \sqrt{\epsilon} \, \mathcal{O} \lp( (Ck)^{\frac{k+m}{2}} \rp)
331: \end{equation}
332: for $0 \leq r \leq m-1$. Clearly (\ref{ind_eq}) holds if $r=0$.
333: Suppose now that (\ref{ind_eq}) holds for some $r$ such that
334: $0 \leq r \leq m-2$.
335: By expanding the determinant in $D_r(k)$ along the first row we see that
336: \begin{equation}
337: D_r(k) = D_{r+1}(k) + \widetilde{D}_r(k).
338: \end{equation}
339: What has to be proved is hence that
340: \begin{equation*}
341: \widetilde{D}_r(k) = \sqrt{\epsilon} \,
342: \mathcal{O} \lp( (Ck)^{\frac{k+m}{2}} \rp).
343: \end{equation*}
344: To do this, Hadamard's inequality will come in handy but before we
345: recall this inequality we present a lemma which will be frequently
346: used from now on.
347: The proof is readily obtained from Lemma
348: \ref{phi_theorem} and the standard estimates, see \cite{Ol},
349: \begin{align*}
350: |\ai(x)| & \leq C_M e^{-2 |x|^{3/2}/3} \\
351: |\dai(x)| & \leq C_M \sqrt{|x|} e^{-2 |x|^{3/2}/3}
352: \end{align*}
353: that hold for $x \geq - M$.
354: \begin{lemma}\label{K_approx}
355: Suppose that $s<t$ and $M > 0$. For $x,y \geq -M$ and any $\lambda > 0$
356: it holds that
357: \begin{align*}
358: |A_{t,s}(x,y)| & \leq C_{M,\lambda} e^{-\lambda(x+y)} \\
359: A_{t,s}(x,y) & = A_{t,t}(x,y) + \mathcal{O}(t-s) \,
360: e^{-\lambda(x+y)} \\
361: A_{s,t}(x,y) & = A_{t,t}(x,y) - (1 + \mathcal{O}(t-s))
362: \frac{1}{\sqrt{4 \pi (t-s)}} \, e^{-\frac{(x-y)^2}{4 (t-s)}} \\
363: & \hspace{7cm} + \mathcal{O}(t-s) \, e^{-\lambda(x+y)}.
364: \end{align*}
365: The errors depend only on $M$ and $\lambda$. Moreover,
366: \begin{equation*}
367: |A_{s,s}(x+\alpha,y) - A_{s,s}(x,y)| \leq \alpha \, C_{M,\lambda} e^{-\lambda (x+y)}
368: \end{equation*}
369: for all $\alpha > 0$.
370: \end{lemma}
371: Let $B = (b_{i,j})_{1\leq i,j \leq n}$, $b_{i,j} \in \R$ be a matrix.
372: Hadamard's inequality states that
373: \begin{equation}
374: |\fdet B| \leq \lp( \prod_{i=1}^n \sum_{j=1}^n b_{ji}^2 \rp)^{1/2}.
375: \end{equation}
376: Below we find upper bounds for the equivalent to $\sum_{j=1}^n b_{ji}^2$
377: in the matrix appearing in $\widetilde{D}_r(k)$.
378:
379: Column 1:
380: \begin{equation*}
381: \sum_{j=r+1}^m A^2(p_{r+1},p_1) + \sum_{j=1}^k A^2(x_j,p_1) \leq C (k+m)
382: \end{equation*}
383:
384: Column 2:
385: \begin{multline*}
386: \epsilon \, \lp( \widetilde{A}^2(p_{r+1},p_{r+2}) +
387: \sum_{j=r+2}^m A^2(p_{j},p_{r+2}) + \sum_{j=1}^k A^2(x_j,p_{r+2}) \rp) \\
388: \leq \epsilon \, \bigg\{
389: \begin{array}{ll}
390: C (k+m) & \mathrm{if} \, \, v \geq r+2 \\
391: Cm + C \sum_{j=1}^k (\widetilde{A}(x_j,p_{r+2}) - \phi(x_j,p_{r+2}))^2 &
392: \mathrm{if} \, \, v < r+2
393: \end{array}
394: \end{multline*}
395:
396: Columns $3, \ldots , m-r$ ($r+3 \leq i \leq m$):
397: \begin{equation*}
398: \epsilon \, \lp(
399: \sum_{j=r+1}^m A^2(p_{j},p_{i}) + \sum_{j=1}^k A^2(x_j,p_i) \rp) \leq
400: C (k+m)
401: \end{equation*}
402:
403: Last $k$ columns ($1 \leq i \leq k$):
404: \begin{multline*}
405: \sum_{j=r+1}^m A^2(p_{j},x_i) + \sum_{j=1}^k A^2(x_j,x_i) \\ \leq \Bigg\{
406: \begin{array}{ll}
407: \sum_{j=r+1}^{v-1} \lp( \widetilde{A}(p_{j},x_i) - \phi(p_{j},x_i) \rp)^2 +
408: C k e^{-2x_i} & \textrm{if } v \geq r+2 \\
409: C (k+m) e^{-2x_i} & \textrm{if } v < r+2
410: \end{array}
411: \end{multline*}
412: Next we multiply everything together, take the square root and then integrate.
413: Assume that $v<r+2$.
414: \begin{multline*}
415: \int_{I_v^k} \Bigg[ C(k+m) \, \epsilon
416: \lp( C + C \sum_{j=1}^k (\widetilde{A}(x_j,p_{r+2}) - \phi(x_j,p_{r+2}))^2 \rp)\\
417: \times (C(m+k))^{m-r-2}
418: \, (C(k+m))^k e^{-2(x_1 + \ldots + x_k)} \Bigg]^{1/2} \, \udx \\
419: \leq \sqrt{\epsilon} \, (Ck)^{\frac{k+m}{2}} \int_{I_v^k}
420: e^{-(x_1 + \ldots + x_k)} \lp(
421: 1 + \sum_{j=1}^k (1 + \phi(x_j,p_{r+2})) \rp) \, \udx \\
422: \leq \sqrt{\epsilon} \, (Ck)^{\frac{k+m}{2}}
423: \end{multline*}
424: The case $v \geq r+2$ can be treated similarly.
425:
426: To obtain (\ref{D_u(k)}) it remains to show that
427: \begin{multline*}
428: \int_{I_v^k} \fdet \lp[
429: \begin{array}{cc}
430: A(p_m,p_1) & A(p_m,x_j) \\
431: A(x_i,p_1) & A(x_i,x_j)
432: \end{array} \rp]_{1 \leq i,j \leq k} \, \udx \\
433: = \int_{I_1^k} \fdet \lp[
434: \begin{array}{cc}
435: A(p_1,p_1) & A(p_1,x_j) \\
436: A(x_i,p_1) & A(x_i,x_j)
437: \end{array} \rp]_{1 \leq i,j \leq k} \, \udx
438: + \sqrt{\epsilon} \, \mathcal{O} \lp( (Ck)^{\frac{k+m}{2}} \rp).
439: \end{multline*}
440: This is quite easily achieved using Hadamard's inequality and
441: Lemma \ref{K_approx}.
442: We do not present the details here but instead go on to
443: prove (\ref{D_{1,v}}).
444:
445: The first part of the proof will be similar to the proof of (\ref{D_u(k)}) and
446: the second part is an application of Lemma \ref{approx_delta} below.
447:
448: Let $D_r(2)$
449: and $\widetilde{D}_r(2)$ be as defined above with the exception that
450: the variables $x_1$ and $x_2$ are now integrated over $I_1$ and $I_v$
451: respectively. By construction $D_0(2)$ equals the left hand side in
452: (\ref{D_{1,v}}). If we can show that
453: \begin{equation} \label{D_r(2)}
454: \widetilde{D}_r(2) = \mathcal{O}(\sqrt{\epsilon})
455: \end{equation}
456: then by the same argument as above
457: \begin{equation*}
458: D_0(2) = D_{m-1}(2) + \mathcal{O}(\sqrt{\epsilon}).
459: \end{equation*}
460: To see this we shall only need the trivial fact that
461: \begin{equation*}
462: |\fdet B| \leq \prod_{i=1}^n \sum_{j=1}^n |b_{ji}|
463: \end{equation*}
464: where as before $B$ is a real $n \times n$ matrix.
465: Define $B$ as the $(m+2-r) \times (m+2-r)$ matrix appearing in
466: $\widetilde{D}_r(2)$. We now estimate the column sums
467: \begin{equation*}
468: B_i := \sum_{j=1}^n |b_{ji}| .
469: \end{equation*}
470:
471: Column 1:
472: \begin{equation*}
473: B_1 = |A(p_{r+1},p_1)| + \ldots + |A(p_{m},p_1)| +
474: |A(x_1,p_1)| + |A(x_2,p_1)| \leq Cm
475: \end{equation*}
476:
477: Column 2:
478: \begin{multline*}
479: B_2 = \sqrt{\epsilon} \, \bigg(
480: |\widetilde{A}(p_{r+1},p_{r+2})| + |A(p_{r+2},p_{r+2})| + \ldots
481: + |A(p_{m},p_{r+2})| \\
482: \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad
483: + |A(x_1,p_{r+2})| + |A(x_2,p_{r+2})| \bigg) \\
484: \leq \sqrt{\epsilon} \,
485: \lp( Cm + |A(x_1,p_{r+2})| + |A(x_2,p_{r+2})| \rp)
486: \end{multline*}
487:
488: Middle columns (if any) ($r+3 \leq i \leq m$):
489: \begin{equation*}
490: B_i = \sqrt{\epsilon} \, \lp( |A(p_{r+1},p_i)| + \ldots + |A(p_{m},p_i)| +
491: |A(x_1,p_i)| + |A(x_2,p_i)| \rp) \leq Cm
492: \end{equation*}
493:
494: Last two columns:
495: \begin{multline*}
496: B_{m-r+1} = |A(p_{r+1},x_1)| + \ldots + |A(p_{m},x_1)| \\ +
497: |A(x_1,x_1)| + |A(x_2,x_1)| \leq Cm e^{-x_1}
498: \end{multline*}
499: \begin{multline*}
500: B_{m-r+2} = |A(p_{r+1},x_2)| + \ldots + |A(p_{m},x_2)| \\ +
501: |A(x_1,x_2)| + |A(x_2,x_2)| \leq
502: C e^{-x_2} + \phi(x_1,x_2) + \sum_{k=r+1}^{v-1} \phi(p_k,x_2)
503: \end{multline*}
504: Consider the estimates above for $B_2$ and $B_{m-r+2}$.
505: The function $A(x_2,p_{r+2})$ will contain a $\phi$-function
506: if and only if $v < r+2$, but in this case the sum
507: \begin{equation*}
508: \sum_{k=r+1}^{v-1} \phi(p_k,x_2)
509: \end{equation*}
510: is empty. This means that we do not get terms like
511: \begin{equation*}
512: \phi(x_2,p_{r+2}) \phi(p_k,x_2)
513: \end{equation*}
514: in the product $B_2 B_{m-r+2}$. Given this
515: observation it is easy to see that
516: \begin{equation*}
517: \int_{I_1 \times I_v} B_2 B_{m-r+1} B_{m-r+2} \, \udx =
518: \mathcal{O}(\sqrt{\epsilon})
519: \end{equation*}
520: and this proves (\ref{D_r(2)}).
521:
522: The second part of the proof consists of showing that
523: \begin{multline} \label{sec_part}
524: \int_{I_1 \times I_v} \fdet \lp[
525: \begin{array}{ccc}
526: A(p_m,p_1) & A(p_m,x_1) & A(p_m,x_2) \\
527: A(x_1,p_1) & A(x_1,x_1) & A(x_1,x_2) \\
528: A(x_2,p_1) & A(x_2,x_1) & A(x_2,x_2)
529: \end{array} \rp] \, \udx \\ =
530: \int_{I_1^2} R(p_1,x_1,x_2) \, \udx +
531: \int_{I_1} R(p_1,x) \, \udx
532: + \mathcal{O}(\sqrt{\epsilon} \log{\epsilon}).
533: \end{multline}
534: The left hand side is equal to
535: \begin{multline*}
536: \int_{I_1 \times I_v} \fdet \lp[
537: \begin{array}{ccc}
538: A(p_m,p_1) & A(p_m,x_1) & A(p_m,x_2) \\
539: A(x_1,p_1) & A(x_1,x_1) & \widetilde{A}(x_1,x_2) \\
540: A(x_2,p_1) & A(x_2,x_1) & A(x_2,x_2)
541: \end{array} \rp] \, \udx \\ +
542: \int_{I_1 \times I_v} \phi(x_1,x_2) \, \fdet \lp[
543: \begin{array}{cc}
544: A(p_m,p_1) & A(p_m,x_1) \\
545: A(x_2,p_1) & A(x_2,x_1)
546: \end{array} \rp] \, \udx .
547: \end{multline*}
548: In view of Lemma \ref{K_approx} and (\ref{appr_delta_2})
549: in Lemma \ref{approx_delta} below we obtain (\ref{sec_part}).
550: \begin{lemma} \label{approx_delta}
551: Suppose that $f: \R \rightarrow \R$ has a continuous derivative and that
552: $g: \R^2 \rightarrow \R$ has continuous first partial derivatives. Assume that
553: \begin{equation*}
554: |f(x)|, \, |f'(x)| \leq C e^{-x}
555: \end{equation*}
556: \begin{equation*}
557: |g(x,y)|, \, |g'(x,y)| \leq C e^{-x-y}.
558: \end{equation*}
559: Then, for $1 \leq i,j \leq m$, it holds that
560: \begin{equation}\label{appr_delta_1}
561: \int_{I_i} \frac{1}{\sqrt{4 \pi \epsilon}}
562: e^{-\frac{(x-p_j)^2}{4 \epsilon}} f(x) \, \udx
563: = f(p_j) \, \int_{\frac{p_i-p_j}{\sqrt{\epsilon}}}^{\infty}
564: \frac{1}{\sqrt{4 \pi}}
565: e^{-\frac{x^2}{4}} \, \udx + \mathcal{O}(\sqrt{\epsilon})
566: \end{equation}
567: \begin{equation} \label{appr_delta_2}
568: \int_{I_i} \int_{I_j}
569: \frac{1}{\sqrt{4 \pi \epsilon}}
570: e^{-\frac{(x-y)^2}{4 \epsilon}} g(x,y) \, \udx \udy =
571: \int_{I_i} g(x,x) \, \udx + \mathcal{O}(\sqrt{\epsilon}\log{\epsilon}).
572: \end{equation}
573: \end{lemma}
574: \begin{prf}
575: \begin{multline*}
576: \int_{p_i}^{\infty} \frac{1}{\sqrt{4 \pi \epsilon}}
577: e^{-\frac{(x-p_j)^2}{4 \epsilon}} f(x) \, \udx =
578: \lp[ z = \frac{x-p_j}{\sqrt{\epsilon}} \rp ] \\
579: = \int_{\frac{p_i-p_j}{\sqrt{\epsilon}}}^{\infty} \frac{1}{\sqrt{4 \pi}}
580: e^{-\frac{z^2}{4}} f(p_j + \sqrt{\epsilon} z) \, \udz
581: \end{multline*}
582: By Taylors theorem
583: \begin{equation*}
584: f(p_j + \sqrt{\epsilon} z)
585: = f(p_j) + \sqrt{\epsilon} z f'(p_j + \theta_{\epsilon}(z))
586: \end{equation*}
587: where $\theta_{\epsilon}(z)$ is a number between $0$ and $\sqrt{\epsilon}z$.
588: Since by assumption
589: \begin{equation*}
590: |f'(p_j + \theta_{\epsilon}(z))| \leq C e^{-p_j + \sqrt{\epsilon} |z|}
591: \end{equation*}
592: we obtain (\ref{appr_delta_1}).
593:
594: \begin{multline*}
595: \int_{p_i}^{\infty} \int_{p_j}^{\infty}
596: \frac{1}{\sqrt{4 \pi \epsilon}}
597: e^{-\frac{(x-y)^2}{4 \epsilon}} g(x,y) \, \udx \udy
598: = \lp[ z = \frac{y-x}{\sqrt{\epsilon}} \rp ] \\
599: = \int_{p_i}^{\infty} \int_{\frac{p_j-x}{\sqrt{\epsilon}}}^{\infty}
600: \frac{1}{\sqrt{4 \pi}}
601: e^{-\frac{z^2}{4}} g(x,x + \sqrt{\epsilon} z) \, \udx \udz
602: \end{multline*}
603: By Taylors theorem
604: \begin{equation*}
605: g(x,x + \sqrt{\epsilon} z)
606: = g(x,x) + \sqrt{\epsilon} z g'(x, x + \theta_{\epsilon}(x,z))
607: \end{equation*}
608: where $\theta_{\epsilon}(x,z)$ lies between $0$ and $\sqrt{\epsilon}z$.
609: The error can be discarded since
610: \begin{multline*}
611: \int_{p_i}^{\infty} \int_{\frac{p_j-x}{\sqrt{\epsilon}}}^{\infty}
612: \frac{1}{\sqrt{4 \pi}} e^{-\frac{z^2}{4}}
613: |z g'(x,x + \theta_{\epsilon}(x,z))| \, \udx \udz \\
614: \leq C \int_{p_i}^{\infty} \, \udx \int_{- \infty}^{\infty}
615: \frac{1}{\sqrt{4 \pi}} |z|
616: e^{-\frac{z^2}{4} - 2x + \sqrt{\epsilon} |z|} \, \udz
617: \leq C .
618: \end{multline*}
619: We now split the main term into two terms.
620: \begin{multline*}
621: \int_{p_i}^{\infty} \, \udx \int_{\frac{p_j-x}{\sqrt{\epsilon}}}^{\infty} \, \udz
622: \frac{1}{\sqrt{4 \pi}} e^{-\frac{z^2}{4}} g(x,x) \\
623: = \int_{p_i}^{p_i - \sqrt{\epsilon \log{\epsilon}}} \, \udx
624: \int_{\frac{p_j-x}{\sqrt{\epsilon}}}^{\infty} \, \udz
625: \frac{1}{\sqrt{4 \pi}} e^{-\frac{z^2}{4}} g(x,x) \\ +
626: \int_{p_i - \sqrt{\epsilon \log{\epsilon}}}^{\infty} \, \udx
627: \int_{\frac{p_j-x}{\sqrt{\epsilon}}}^{\infty} \, \udz
628: \frac{1}{\sqrt{4 \pi}} e^{-\frac{z^2}{4}} g(x,x) =: \int_1 + \int_2
629: \end{multline*}
630: We can estimate the first integral by
631: \begin{equation*}
632: \lp| \int_1 \rp| \leq C \int_{p_i}^{p_i - \sqrt{\epsilon \log{\epsilon}}} \, \udx
633: \int_{-\infty}^{\infty} \, \udz \, e^{-\frac{z^2}{4} - 2x} \leq
634: -C \sqrt{\epsilon} \log{\epsilon}.
635: \end{equation*}
636: If $x \geq p_j - \sqrt{\epsilon} \log{\epsilon}$ then
637: $\frac{p_j-x}{\sqrt{\epsilon}} \leq C \log{\epsilon}$ and hence
638: \begin{multline*}
639: \int_{\frac{p_j - x}{\sqrt{\epsilon}}}^{\infty}
640: \frac{1}{\sqrt{4 \pi}} e^{-\frac{z^2}{4}} \, \udz \\
641: = \int_{-\infty}^{\infty} \frac{1}{\sqrt{4 \pi}}
642: e^{-\frac{z^2}{4}} \, \udz +
643: \int_{-\infty}^{\frac{p_j - x}{\sqrt{\epsilon}}}
644: \frac{1}{\sqrt{4 \pi}} e^{-\frac{z^2}{4}}
645: = 1 + \mathcal{O}\lp( e^{- \frac{(\log{\epsilon})^2}{4}} \rp).
646: \end{multline*}
647: We finally get
648: \begin{multline*}
649: \int_2 = \int_{p_i - \sqrt{\epsilon} \log{\epsilon}}^{\infty}
650: \lp( 1 + \mathcal{O}\lp( e^{- \frac{(\log{\epsilon})^2}{4}} \rp) \rp)
651: g(x,x) \, \udx \\ = \int_{p_i}^{\infty} g(x,x) \, \udx +
652: \mathcal{O}(\sqrt{\epsilon} \log{\epsilon})
653: \end{multline*}
654: This concludes the proof of the lemma.
655: \end{prf}
656: