arxiv: v2 [math.nt] 1 Jan 2018

Transcription

1 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II TANAY WAKHARE AND CHRISTOPHE VIGNAT arxiv:66986v [mathnt] Jan 8 Abtract Following the work of Cano and Díaz, we tudy continuou binomial coefficient and Catalan number We elore their analytic roertie, including integral identitie and generalization of dicrete convolution We alo conduct an in-deth analyi of a continuou analogue of the binomial ditribution, including a tochatic rereentation a a Goldtein-Kac roce Introduction In two recent aer [, ], Leonardo Cano and Rafael Díaz introduced continuou analogue of the binomial coefficient and Catalan number They did thi by introducing a general rocedure for tudying continuou lattice ath, then meauring the volume of a moduli ace aociated to thee continuou ath By recognizing the binomial coefficient and Catalan number a counting certain tye of lattice ath, their continuou analogue are defined a the volume of aociated moduli ace In Part I of thi work [], we focued on the geometric definition behind continuou lattice ath enumeration Our mot telling reult i that through a limiting rocedure with Todd oerator, we are able to turn reult about continuou Catalan number into reult about dicrete Catalan number Therefore, tudying the continuou cae will lead to new inight about the dicrete cae In thi current aer, we therefore ignore the geometric intuition underlying the continuou binomial coefficient and Catalan number and treat them a analytic object of indeendent interet We already have the fundamental reult: { Theorem [, Thm 4] For, the continuou binomial coefficient atifie { I I, where I ν z denote the modified Beel function of the firt kind We rove the following cloed form ereion for continuou Catalan number in Section Theorem The continuou Catalan number defined in [] are equal to C, y I y y y I y, We can regard thee ereion a definition for both object, and indeed they lead to eay analytic continuation The vat literature urrounding Beel function then mean that we can rove everal dee reult about thee two quantitie, which hould tranlate into new intuition about the dicrete cae We rove analogue of everal dicrete identitie, uch a the Chu-Vandermonde identity or Catalan convolution, and collect ome integral tranform aociated with both object Moreover, we can naturally define, a in [], the continuou binomial ditribution CB, aociated to continuou binomial It ha arameter and, and denity function 3 f, : A, {,

2 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II with [, ] The normalization contant A, i uch that f, d, and it value i given in Thm 6 Section 3 and 4 lead to everal convolution identitie and integral tranform for the continuou binomial coefficient, along with cloed form ereion for A, and the moment generating function for f, Finally, in Section 5 we are able to rove a robabilitic interretation of the continuou binomial coefficient due to it cloe connection to the Goldtein-Kac telegrah roce Continuou Catalan Number Cloed form Recall that the dicrete Catalan number C n count the number of lattice ath joining the oint, and n, that tay above the -ai Therefore, the continuou Catalan number mut atify imilar retriction - they correond to continuou analogue of lattice ath that tay above the ai Let u firt define the following olytoe, which contain all oible ath in the lane made out of n te of arbitrary length in the Eat or North direction that connect the origin to the oint y, y and remain under the line y Definition 3 For n, the conve olytoe Λ n, y i defined a the et of all,, n, y,, y n R n that atify the following inequalitie: n y y y n y y i i Thi olytoe allow to define the continuou Catalan number a follow Definition 4 [, Defn 3] The continuou Catalan number are defined by C, y : vol Λ n, y, y, where the volume i comuted with reect to the Lebegue meaure n The volume of each of thee olytoe can then be elicitly comuted a follow Lemma 5 For n, the volume of Λ n, y i equal to vol Λ n, y yn y n n y n n! n! Proof The roof of thi lemma i elementary, and follow by induction on n Namely, it i eaily checked that the right-hand ide atifie the integral recurrrence [, Pro 7] vol Λ n, y y y b together with the initial condition vol Λ, y vol Λ n a b, a da db, The roof of Theorem i now comleted by comuting the um in uing the ereion Moreover, by umming over all n, it i hown in [, Pro 9] that the continuou Catalan number obey the recurion 3 C, y y y b Ca b, a da db A a check, we can manually verify that the cloed form for the continuou Catalan number obey the ame recurion

3 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 3 Parallel between the continuou and dicrete cae The ecial cae y give the continuou Catalan function a defined in []: C, I With C n denoting the uual Catalan number, we oberve that I n n! n! n n n n! C n Therefore, the continuou Catalan function C, i related to the generating function of Catalan number by 4 C u, e u du C n n n 4 The fact that a dicrete generating function of the Catalan number i related to a continuou integral tranform of the continuou Catalan function hould not come a a urrie However, the fact that the continuou Catalan number have a imle cloed form ereion in term of Beel function lend hoe to dicovering cloed form ereion for the continuou analogue of other object that count lattice ath, uch a the Delannoy number A further arallel between the claical and continuou cae i rovided by conidering the convolution identity 5 n C k C n k C n with C n C n C n, a conequence of the fact that the generating function c z C n z n 4z n atifie the equation k c z c z z For the continuou Catalan number, we have the following reult, which i clearly a continuou analogue of the dicrete identity 5 Theorem 6 The continuou Catalan number C C, atify the convolution identity 6 Proof Since z C C z d 4 d dz C z C C, I, the continuou equivalent of thi generating function i the Lalace tranform L C C e d Since the derivative of the continuou Catalan number C d d C I ha Lalace tranform L C, we deduce the identity L C 4L C Taking the invere Lalace tranform of thi identity give the deired identity

4 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 4 3 Integral rereentation We calculate ome ueful integral rereentation for the continuou Catalan number, which enable the eay alication of Lalace-tranformation tye roof Thee alo allow u to view the continuou Catalan number a robability ditribution function, and recover variou moment ereion for the dicrete Catalan number Theorem 7 We have the integral rereentation and C, y π π e co t [co y in t C, π π y co y in t t] dt y e co t in tdt I Proof Thi follow from a traightforward alication of the generalized Schläfli formula [6, 8], ν a b Jν a b a b π e b co t co a in t νt dt π in πν π e a inh t b coh t νt dt Thi i tranfered to the Beel I function uing I ν z e ıν π J ν ız For ν we have I a b π e a co t co b in t dt, π for ν, a b I a b π e a co t co b in t t dt, a b π and for ν, I a b a b π e a co t co b in t t dt a b π Subtituting thee into the cloed form ereion from Theorem comlete the roof From thi integral rereentation, we eaily recover the ereion 4 e u C u, du π π π e u π in t π e u co t in tdtdu e u e u co t dudt in t π co t dt 4 The change of variable z co t in the econd integral rereentation in Theorem 7 alo give C, π e z z dz, which can be ereed a C, Ee Z, the moment generating function of a random variable Z ditributed according to the emi-circle ditribution π Thi i the continuou equivalent of the rereentation of Catalan number a the moment of the ame ditribution, C n π z n z dz We now rove a general integral formula involving C, y An analogue of thi formula for continuou binomial coefficient i the key element in our analyi of the continuou binomial ditribution

5 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 5 Theorem 8 Given any function Φ y uorted on [, ], the integral can be comuted a where I Φ π i the Fourier tranform of Φ I Φ C, y Φ y dy, e u ˆΦ u u du, u ˆΦt Φ y e ıyt dy Proof Conider a function Φ y with uort [, ] and the integral I Φ C, y Φ y dy Then the Lalace tranform ĨΦ of I Φ can be comuted a Ĩ Φ I Φ e d Φ y y e C, y ddy We then eloit the Lalace tranform [9, 354, 3549] to deduce y y e I y d e y y I Ĩ Φ with Φ the Lalace tranform of Φ Since y d C, y Φ y dye d e y, y e y y I y d e y Φ y e y Φ, n C n 4 n, we can write Ĩ Φ C n Φ n n n and the correonding invere Lalace tranform I Φ C n L Φ n n n dy

6 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 6 Now we can ue the reult and L Φ [ ] F L n f n t, I y Φ y dy where f n i the n th antiderivative of f Starting from the integral rereentation I y π e co θıy co θ dθ, π we have I y π Φ y dy e co θıy co θ dθφ y dy π π π e co θ dθ Φ y e ıy co θ dy Since the function Φ y ha bounded uort on [, ], the inner integral i recognized a it Fourier tranform ˆΦ comuted at co θ, and I y Φ y dy π e co θ ˆΦ co θ dθ π The antiderivative of order n in i eaily comuted a Conequently, I Φ n which i the deired reult π π n π π co θ e co θ ˆΦ n co θ dθ C n n π co θ e n π co θ ˆΦ n co θ dθ π e co θ ˆΦ co θ co θ e u ˆΦ u u du u, 3 Continuou Binomial Coefficient co θ 3 Integral Here we eamine ome of the roertie of the continuou binomial dθ {, including ome integral tranform that will allow u to rove everal more general theorem in Section 4 and 5 We tart with a general integral tranform that will later aear in the analyi of the continuou binomial ditribution Theorem 9 The function ha Lalace tranform J Φ where Φ i the Lalace tranform of Φ { Φ d J Φ e d Φ Φ,

7 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 7 A a conequence, 3 J Φ L [ where L denote the invere Lalace tranform Φ ] Φ, Proof We aly Fubini theorem to tranform the double integral { J Φ e d Φ d e d Φ e { d d The inner integral i now evaluated uing the change of variable w a { { e d e e w w dw Uing the cloed form for the continuou binomial coefficient, we deduce { e w w dw e w I w dw e w w I w dw w Thee Lalace tranform can be found in [3, 6643 and 6643] and evaluate to and We deduce 3 e w e w I w dw e, w I w dw w e, e w w I w dw e { e w w dw e e Thi i now ubtituted in the outer integral to obtain Φ e {e d Φ e d Φ e d Thee two integral are recognized a the Lalace tranform of Φ comuted reectively at and, and the reult follow There are everal imortant ecial cae Corollary Chooing Φ α e u, we deduce the value of the integral { { α e u d α u e coh 4 u log α 33 coh u log α inh 4 u log α 4 u log α Proof Chooe Φ α e u o that Φ u log α and ue formula 3 to obtain the reult Another conequence i a follow

8 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 8 Corollary The integral 34 hold, a comuted in [] { d e 3 Continuou Chu-Vandermonde formula Now that we have obtained continuou binomial coefficient with nice reduction to the dicrete cae, we can try to find continuou generalization of dicrete identitie We firt conider an averaged cae of the Chu-Vandermonde identity, k n k n, n k which can be regarded a the rototyical binomial convolution We denote the Dirac delta ditribution by δ and by the integral convolution f g f u g u du and notice that f δ f Theorem The continuou binomial coefficient atifie the identity { { { { δ δ δ δ to be comared to the dicrete verion k n k k k k n k Proof From 3, the Lalace tranform in the variable of the continuou binomial coefficient { f i F e { d e We deduce F F e e 4 e e e The decomoition 4 e give e F F F the invere Lalace tranform of which i f f f e F F F, f f f f,

9 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 9 Equivalently, { 35 { { { { { The theorem follow after rewriting thi identity in term of Dirac delta function { We can then give an analogue of the Chu-Vandermonde identity, baed on dicrete difference and differential oerator We begin with the dicrete cae: define the oerator a n n k n k m k n m k 36, o that the Chu-Vandermonde identity read n k n k n k n k k k k k k k m k k n k k kk k k where k i the forward dicrete difference oerator in the variable k, It continuou analogue i a follow k f n k f n k n k k k k Theorem 3 With, the continuou binomial coefficient atifie the differential equation { { { { { Proof Alying Thm, we have { { δ δ where i deduced from the Lalace tranform { L δ { We thu need to comute the convolution { Firt, uing the differential equation we deduce { u u u { { δ L δ { u u { u u u { u u, { u du du u u { { du { u u u { du δ,,

10 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II Thi argument alo how that an antiderivative of art give We deduce u { u u { u u u [ du u { { { du { u u ] { Finally, we deduce the convolution { { δ δ { { δ δ { { { { { { { { { { δ i { { { { δ { δ { Net, integrating by du { δ { A more direct roof involve converting every term into the Lalace tranform domain: tart with { { 4 4 L δ e e and Since it follow that ha Lalace tranform { L { e δ δ e e e, δ { e 4 δ Thi econd roof alo allow u to tate the following generalization Corollary 4 With i i, we have { { δ δ { δ

11 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II { d I, d 33 Central binomial coefficient The central binomial coefficient have elicit ereion { I I and Lalace tranform { L δ The arallel with the uual central binomial coefficient already aear in the aymtotic behavior: a it i well known, for large n, n n n πn wherea elementary aymtotic behavior reult on Beel I function give, for large, { e 4 π The net theorem give the continuou analogue of the convolution identity for central binomial coefficient n k n k 4 n, k n k k that can be deduced from the Taylor erie n n n z n 4z To make thi analogue clearer, let u firt rewrite thi identity in term of the oerator 36 a n n n 4 n n n n Theorem 5 The convolution of continuou central binomial coefficient i given by { { 37 δ δ 4e δ, or equivalently by { { Thi can be generalized to any n tule convolution a { n δ 4e L { 4e n 4 δ where L k n i the aociated Laguerre olynomial with Rodrigue formula Proof Eanding L k n e k d n e n! d n nk n 4 n roduce the invere Lalace tranform n n m 3 e m m 3 m! m n m n δ δ e n 4 m m m n m 4 m! δ 4e L n 4

12 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 4 The continuou binomial ditribution Following Cano and Díaz [], the continuou binomial coefficient allow to define a continuou verion of the dicrete binomial ditribution through the robability denity function 4 f, {, A, where and the normalization contant A, i uch that f, d Notice that the centered verion of thi ditribution, namely the ditribution of the hifted random variable Y X, where X i ditributed a in 4, i tudied in [] It denity i { 4 A,, The normalization contant A, of thi denity i not evaluated in []; we give it value a follow Theorem 6 The normalization contant of the continuou binomial ditribution i equal to { A, [ ] coh 4 log coh log inh 4 log 4 log Proof Since uing 33 with α A, { d and u yield the reult { d, Moreover, the moment generating function of the continuou binomial ditribution 4 can be comuted elicitly a follow Theorem 7 The moment generating function of the continuou binomial ditribution 4 i 43 Ee ux e u with ϕ, u coh 4 We remark that ϕ, z ϕ, In the ymmetric cae 4 u log z log u log ϕ, u ϕ,, coh inh 4 u log log, the moment can be elicitly comuted, following the aroach ued by SM Iacu and N Yohida in the cae of the telegrah roce [4]

13 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 3 Figure 4 The continuou binomial ditribution for, 3, and 4, right to left Theorem 8 The moment of a random variable X ditributed according to the ymmetric dicrete binomial ditribution 4 denity with are [ k EX k e Γ k I k I k ] k, k even,, k odd Proof The denity in the cae i o that Uing and k EX k f k f d e e k { e 4 I [ ] k I 4 d I 4 4 d, [ ] k I 4 d 4 d k k k { k Γ k Γ k I k k I k, we obtain the reult The continuou binomial ditribution i illutrated for and for the 3 value ymmetric curve, 3 and 4

14 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 4 Figure 5 A trajectory of a telegrah roce 5 A Stochatic Rereentation The continuou binomial coefficient can be related to a tochatic roce, the Goldtein-Kac telegrah roce Thi wa tudied by E Oringher in [7] and a comlete introduction to thi roce i given in [5] The Goldtein-Kac roce decribe ucceive change of a binary tate, the number of thee change following a Poion ditribution: thi imlie that the ucceive time ent in each tate - in our cae, the length traveled in each ucceive direction - are indeendently and uniformly ditributed Thi correond to the leat informative maimum entroy among all bounded uort ditribution Conider a Poion roce n t with arameter λ >, and a article that travel on the real ai, tarting from with an initial velocity equal to c or c each with robability / The velocity of the article i uoed to be v t ±c nt o that the article change intantaneouly the ign of it contant velocity c at each Poion event One trajectory of the velocity in the cae λ 3 and t [, 5] i given below The location X t of the article at time t, given by 5 X t t v τ dτ ±c t nτ dτ, define the Goldtein-Kacroce The robability function of the location of the article at time t ha two art: - The dicrete art i Pr {X t ct n t Pr {X t ct n t e λt, which i the conditional robability that the article ha reached oition ±ct at time t without any Poion event haening ince it tarted at time - Conditionally to the event n t >, the robability function, t d Pr { X t < d i continuou and it denity i given by 5, t e λt c Now take [ λi λ c c t λ c tc c t I ct and λ c t λ ] c t c

15 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 5 Figure 5 Two trajectorie induced by the integrated telegrah roce o that, t e e I 4 I 4 4 { In the dicrete etu of a centered binomial ditribution with, the uual binomial coefficient n k i roortional to the number of way that the article, tarting from, can reach the ite k after n indeendent equirobable jum to the left or to the right Auming n even, we have n k n Similarly, the continuou binomial coefficient meaure the number of continuou ath of an integrated telegrahic random roce that, tarting from,, reach the oint,, traveling horizontally during a total time c and vertically during a remaining total time c, and witching between Eat and North-Eat direction each time a Poion event haen The attached figure how two trajectorie of uch a roce Note that the denity 5 atifie the differential equation 53 c t λ t, which can be tranformed into c v λv v t with v, t e λt, t 6 Net Ste In thi work, we tudied coutinuou analog of the binomial coefficient and Catalan number, and howed that they oe everal roertie of indeendent interet Comact ereion for both in term of Beel I function hould allow u to rove everal traightforward reult about them in the future Becaue of a reduction rocedure to the dicrete cae, decribed in [], thi can otentially inform reearch about the dicrete cae

16 A CONTINUOUS ANALOGUE OF LATTICE PATH ENUMERATION: PART II 6 Reference [] L Cano and R Díaz, Indirect influence on directed manifold ArXiV:577v4[math-h] [] L Cano and R Díaz, Continuou analogue for the binomial coefficient and the Catalan number ArXiV:693v4[mathCO] [3] I S Gradhteyn and I M Ryzhik, ed, Table of integral, erie, and roduct 7th ed, Academic Pre, San Diego, 7 [4] SM Iacu and N Yohida, Etimation for the dicretely oberved telegrah roce, Theor Probability and Math Statit 78, 37-47, 9 [5] A D Kolenik, Moment analyi of the telegrah random roce, Buletinul Academiei De Stiințe a Reublicii Moldova Matematica, Number 68,, 9 7 [6] W Magnu, F Oberhettinger and R P Soni, formula and theorem for the ecial function of Mathematical Phyic, 3rd edition, Sringer, 966 [7] E Oringher, Probability law, flow function, maimum ditribution of wave-governed random motion and their connection with Kirchoff law, Stochatic Procee and their Alication, 34, 49 66, 99 [8] A P Prudnikov, Y A Brychkov and OI Marichev, Integral and Serie, Volume, Secial function, Gordon and Breach Science Publiher, 986 [9] A P Prudnikov and O Marichev, Integral and Serie, Volume, Direct Lalace tranform, Gordon and Breach Science Publiher, 99 [] T Wakhare, C Vignat, Q-N Le, and S Robin, A continuou analogue of lattice ath enumeration ArXiV:7766[mathCO] Univerity of Maryland, College Park, MD 74, USA addre: twakhare@gmailcom Tulane Univerity, New Orlean, LA 78, USA addre: cvignat@tulaneedu