Two Bessel Bridges Conditioned Never to Collide, Double Dirichlet Series, and Jacobi Theta Function
It is known that the moments of the maximum value of a one-dimensional conditional Brownian motion, the three-dimensional Bessel bridge with duration 1 started from the origin, are expressed using the Riemann zeta function. We consider a system of two Bessel bridges, in which noncolliding condition is imposed. We show that the moments of the maximum value is then expressed using the double Dirichlet series, or using the integrals of products of the Jacobi theta functions and its derivatives. Since the present system will be provided as a diffusion scaling limit of a version of vicious walker model, the ensemble of 2-watermelons with a wall, the dominant terms in long-time asymptotics of moments of height of 2-watermelons are completely determined. For the height of 2-watermelons with a wall, the average value was recently studied by Fulmek by a method of enumerative combinatorics.
KeywordsBessel process Bessel bridge Noncolliding diffusion process Riemann zeta function Jacobi theta function Double Dirichlet series Dyck path Vicious walk
Unable to display preview. Download preview PDF.
- 7.de Bruijn, N.G., Knuth, D.E., Rice, S.O.: The average height of planted plane trees. In: Read, R.C. (ed.) Graph Theory and Computing, pp. 15–22. Academic Press, San Diego (1972) Google Scholar
- 9.Feierl, T.: The height of watermelons with wall. arXiv:math.CO/0802.2691 Google Scholar
- 12.Gillet, F.: Asymptotic behaviour of watermelons. arXiv:math.PR/0307204 Google Scholar
- 22.Kuijlaars, A.B.J., Martínez-Finkelshtein, A., Wielonsky, F.: Non-intersecting squared Bessel paths and multiple orthogonal polynomials for modified Bessel weights. arXiv:math.CA/0712.1333 Google Scholar
- 23.Revuz, D., Yor, M.: Continuous Martingales and Brownian Motion, 3rd edn. Springer, Now York (1998) Google Scholar