The Fisher-KPP equation — universality ∂ t h = ∂ 2 x h + h − h 2 v c = 2 , γ c = 1 v ( γ )= γ + γ − 1 Diffusion, linear growth ( h = 0 is unstable), saturation ( h = 1 is stable). Iff ∫ d x h 0 ( x ) xe γ c x < ∞ , then µ t = v c t − 2 γ c ln t + C + o ( 1 ) 3 If h 0 ( x ) ∼ e − γ x and γ < γ c , then v = v ( γ ) > v c ∂ t h = ∂ 2 x h + h − h 42 , May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 7 / 19
The Fisher-KPP equation — universality ∂ t h = ∂ 2 x h + h − h 2 v c = 2 , γ c = 1 v ( γ )= γ + γ − 1 Diffusion, linear growth ( h = 0 is unstable), saturation ( h = 1 is stable). Iff ∫ d x h 0 ( x ) xe γ c x < ∞ , then µ t = v c t − 2 γ c ln t + C + o ( 1 ) 3 If h 0 ( x ) ∼ e − γ x and γ < γ c , then v = v ( γ ) > v c ∂ t h = ∂ 2 x h + h − h 42 , h ( x , t + 1 ) = min [ 1 , 2 ∫ 0 d ǫ h ( x − ǫ, t )] . 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 7 / 19
The Fisher-KPP equation — universality ∂ t h = ∂ 2 x h + h − h 2 v c = 2 , γ c = 1 v ( γ )= γ + γ − 1 Diffusion, linear growth ( h = 0 is unstable), saturation ( h = 1 is stable). Iff ∫ d x h 0 ( x ) xe γ c x < ∞ , then µ t = v c t − 2 γ c ln t + C + o ( 1 ) 3 If h 0 ( x ) ∼ e − γ x and γ < γ c , then v = v ( γ ) > v c ∂ t h = ∂ 2 x h + h − h 42 , h ( x , t + 1 ) = min [ 1 , 2 ∫ 0 d ǫ h ( x − ǫ, t )] . 1 v c = 2, γ c = 1 v c = 0 . 815172 ... , γ c = 5 . 26208 ... May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 7 / 19
The Fisher-KPP equation — universality ∂ t h = ∂ 2 x h + h − h 2 v c = 2 , γ c = 1 v ( γ )= γ + γ − 1 Diffusion, linear growth ( h = 0 is unstable), saturation ( h = 1 is stable). Iff ∫ d x h 0 ( x ) xe γ c x < ∞ , then µ t = v c t − 2 γ c ln t + C + o ( 1 ) 3 If h 0 ( x ) ∼ e − γ x and γ < γ c , then v = v ( γ ) > v c ∂ t h = ∂ 2 x h + h − h 42 , h ( x , t + 1 ) = min [ 1 , 2 ∫ 0 d ǫ h ( x − ǫ, t )] . 1 v c = 2, γ c = 1 v c = 0 . 815172 ... , γ c = 5 . 26208 ... v ( γ ) = γ + 1 v ( γ ) = 1 γ ln [ 2 e γ − 1 γ ] , γ , v v c γ γ c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 7 / 19
The Fisher-KPP equation — universality ∂ t h = ∂ 2 x h + h − h 2 v c = 2 , γ c = 1 v ( γ )= γ + γ − 1 Diffusion, linear growth ( h = 0 is unstable), saturation ( h = 1 is stable). Iff ∫ d x h 0 ( x ) xe γ c x < ∞ , then µ t = v c t − 2 γ c ln t + C + o ( 1 ) 3 If h 0 ( x ) ∼ e − γ x and γ < γ c , then v = v ( γ ) > v c ∂ t h = ∂ 2 x h + h − h 42 , h ( x , t + 1 ) = min [ 1 , 2 ∫ 0 d ǫ h ( x − ǫ, t )] . 1 v c = 2, γ c = 1 v c = 0 . 815172 ... , γ c = 5 . 26208 ... v ( γ ) = γ + 1 v ( γ ) = 1 γ ln [ 2 e γ − 1 γ ] , γ , v To find v ( γ ) : v c γ γ c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 7 / 19
The Fisher-KPP equation — universality ∂ t h = ∂ 2 x h + h − h 2 v c = 2 , γ c = 1 v ( γ )= γ + γ − 1 Diffusion, linear growth ( h = 0 is unstable), saturation ( h = 1 is stable). Iff ∫ d x h 0 ( x ) xe γ c x < ∞ , then µ t = v c t − 2 γ c ln t + C + o ( 1 ) 3 If h 0 ( x ) ∼ e − γ x and γ < γ c , then v = v ( γ ) > v c ∂ t h = ∂ 2 x h + h //// − h 42 , h ( x , t + 1 ) = //// min [ 1 , 2 ∫ 0 d ǫ h ( x − ǫ, t )/ 1 ] . v c = 2, γ c = 1 v c = 0 . 815172 ... , γ c = 5 . 26208 ... v ( γ ) = γ + 1 v ( γ ) = 1 γ ln [ 2 e γ − 1 γ ] , γ , v To find v ( γ ) : linearise v c γ γ c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 7 / 19
The Fisher-KPP equation — universality ∂ t h = ∂ 2 x h + h − h 2 v c = 2 , γ c = 1 v ( γ )= γ + γ − 1 Diffusion, linear growth ( h = 0 is unstable), saturation ( h = 1 is stable). Iff ∫ d x h 0 ( x ) xe γ c x < ∞ , then µ t = v c t − 2 γ c ln t + C + o ( 1 ) 3 If h 0 ( x ) ∼ e − γ x and γ < γ c , then v = v ( γ ) > v c ∂ t h = ∂ 2 x h + h //// − h 42 , h ( x , t + 1 ) = //// min [ 1 , 2 ∫ 0 d ǫ h ( x − ǫ, t )/ 1 ] . v c = 2, γ c = 1 v c = 0 . 815172 ... , γ c = 5 . 26208 ... v ( γ ) = γ + 1 v ( γ ) = 1 γ ln [ 2 e γ − 1 γ ] , γ , v To find v ( γ ) : linearise h ( x , t ) ∝ e − γ ( x − vt ) v c γ γ c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 7 / 19
The Fisher-KPP front — precise position ∂ t h = ∂ 2 x h + h − h 2 , µ t is the position: h ( µ t , t ) = 1 initial condition h 0 , 2 . Theorem (Bramson 1983) µ t = v c t − 3 ln t + cste + o ( 1 ) for large t 2 γ c if and only if ∫ d x h 0 ( x ) x e γ c x < ∞ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 8 / 19
The Fisher-KPP front — precise position ∂ t h = ∂ 2 x h + h − h 2 , µ t is the position: h ( µ t , t ) = 1 initial condition h 0 , 2 . Theorem (Bramson 1983) µ t = v c t − 3 ln t + cste + o ( 1 ) for large t 2 γ c if and only if ∫ d x h 0 ( x ) x e γ c x < ∞ Conjecture (Ebert and van Saarloos 2000) √ µ t = v c t − 3 ln t + cste − 3 2 π + ⋯ c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� � iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ??? ??? May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 8 / 19
The Fisher-KPP front — precise position ∂ t h = ∂ 2 x h + h − h 2 , µ t is the position: h ( µ t , t ) = 1 initial condition h 0 , 2 . Theorem (Bramson 1983) µ t = v c t − 3 ln t + cste + o ( 1 ) for large t 2 γ c if and only if ∫ d x h 0 ( x ) x e γ c x < ∞ Conjecture (Ebert and van Saarloos 2000) √ µ t = v c t − 3 ln t + cste − 3 2 π + ⋯ c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� � iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ??? ??? May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 8 / 19
The Fisher-KPP front — precise position ∂ t h = ∂ 2 x h + h − h 2 , µ t is the position: h ( µ t , t ) = 1 initial condition h 0 , 2 . Theorem (Bramson 1983) µ t = v c t − 3 ln t + cste + o ( 1 ) for large t 2 γ c if and only if ∫ d x h 0 ( x ) x e γ c x < ∞ Conjecture (Ebert and van Saarloos 2000) √ µ t = v c t − 3 ln t + cste − 3 2 π + ⋯ c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� � iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ??? ??? May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 8 / 19
The Fisher-KPP front — precise position ∂ t h = ∂ 2 x h + h − h 2 , µ t is the position: h ( µ t , t ) = 1 initial condition h 0 , 2 . Theorem (Bramson 1983) µ t = v c t − 3 ln t + cste + o ( 1 ) for large t 2 γ c if and only if ∫ d x h 0 ( x ) x e γ c x < ∞ Conjecture (Ebert and van Saarloos 2000) √ µ t = v c t − 3 ln t + cste − 3 2 π + ⋯ c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� � iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ??? ??? May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 8 / 19
The Fisher-KPP front — precise position ∂ t h = ∂ 2 x h + h − h 2 , µ t is the position: h ( µ t , t ) = 1 initial condition h 0 , 2 . Theorem (Bramson 1983) µ t = v c t − 3 ln t + cste + o ( 1 ) for large t 2 γ c if and only if ∫ d x h 0 ( x ) x e γ c x < ∞ Conjecture (Ebert and van Saarloos 2000) √ µ t = v c t − 3 ln t + cste − 3 2 π + ⋯ c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� � iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ??? ??? Conjecture (Our contribution) √ µ t = v c t − 3 ln t + cste − 3 2 π + c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ∫ d x h 0 ( x ) x 2 e γ c x < ∞ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 8 / 19
The Fisher-KPP front — precise position ∂ t h = ∂ 2 x h + h − h 2 , µ t is the position: h ( µ t , t ) = 1 initial condition h 0 , 2 . Theorem (Bramson 1983) µ t = v c t − 3 ln t + cste + o ( 1 ) for large t 2 γ c if and only if ∫ d x h 0 ( x ) x e γ c x < ∞ Conjecture (Ebert and van Saarloos 2000) √ µ t = v c t − 3 ln t + cste − 3 2 π + ⋯ c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� � iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ??? ??? Conjecture (Our contribution) √ µ t = v c t − 3 ln t + cste − 3 2 π + K ln t + O ( 1 t ) c v ′′ ( γ c ) t − 1 2 2 γ c γ 5 t �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ∫ d x h 0 ( x ) x 2 e γ c x < ∞ if ∫ d x h 0 ( x ) x 3 e γ c x < ∞ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 8 / 19
Precise position — strategy ∂ t h = ∂ 2 x h + h − h 2 Diffusion, linear growth, saturation May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 9 / 19
Precise position — strategy ∂ t h = ∂ 2 x h + h − h 2 Diffusion, linear growth, saturation There must be some saturation term May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 9 / 19
Precise position — strategy ∂ t h = ∂ 2 x h + h − h 2 Diffusion, linear growth, saturation There must be some saturation term Otherwise, essentially linear May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 9 / 19
Precise position — strategy ∂ t h = ∂ 2 x h + h − h 2 Diffusion, linear growth, saturation There must be some saturation term Otherwise, essentially linear The results are universal May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 9 / 19
Precise position — strategy ∂ t h = ∂ 2 x h + h − h 2 Diffusion, linear growth, saturation There must be some saturation term Otherwise, essentially linear The results are universal We construct an equation with the simplest possible saturation term May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 9 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ ∂ t h ( n , t ) = ⎨ ⎪ ⎪ if h ( n , t ) = 1 , ⎩ 0 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 10 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ ∂ t h ( n , t ) = ⎨ ⎪ ⎪ if h ( n , t ) = 1 , ⎩ 0 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 10 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ ∂ t h ( n , t ) = ⎨ ⎪ ⎪ if h ( n , t ) = 1 , ⎩ 0 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 10 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ ⎪ if h ( n , t ) = 1 , ⎩ reaches 1 0 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 10 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ ⎪ if h ( n , t ) = 1 , ⎩ reaches 1 0 Main result Assuming h 0 ( 0 ) = 0 and h 0 ( n ) ↘ e λ ( n − e λ + 1 t n ) − e λ ] h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 ∑ λ n ≥ 1 n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 10 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ ⎪ if h ( n , t ) = 1 , ⎩ reaches 1 0 Main result Assuming h 0 ( 0 ) = 0 and h 0 ( n ) ↘ e λ ( n − e λ + 1 t n ) − e λ ] h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 ∑ λ n ≥ 1 n ≥ 1 From there, extrain asymptotic behaviour of t n as n → ∞ . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 10 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] Let µ t be the position where the front saturates: h ( x , t ) = 1 if x < µ t . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 11 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] Let µ t be the position where the front saturates: h ( x , t ) = 1 if x < µ t . On the right of µ t , be linear: ∂ t h = ∂ 2 x h + h if x > µ t . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 11 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] Let µ t be the position where the front saturates: h ( x , t ) = 1 if x < µ t . On the right of µ t , be linear: ∂ t h = ∂ 2 x h + h if x > µ t . Assume h is continuous and differentiable at µ t : h ( µ t , t ) = 1 , ∂ x h ( µ t , t ) = 0. May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 11 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] Let µ t be the position where the front saturates: h ( x , t ) = 1 if x < µ t . On the right of µ t , be linear: ∂ t h = ∂ 2 x h + h if x > µ t . Assume h is continuous and differentiable at µ t : h ( µ t , t ) = 1 , ∂ x h ( µ t , t ) = 0. ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = 1 , ∂ x h ( µ t , t ) = 0 . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 11 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] Let µ t be the position where the front saturates: h ( x , t ) = 1 if x < µ t . On the right of µ t , be linear: ∂ t h = ∂ 2 x h + h if x > µ t . Assume h is continuous and differentiable at µ t : h ( µ t , t ) = 1 , ∂ x h ( µ t , t ) = 0. ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = 1 , ∂ x h ( µ t , t ) = 0 . Both h ( x , t ) and µ t are unknown quantities! May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 11 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] Let µ t be the position where the front saturates: h ( x , t ) = 1 if x < µ t . On the right of µ t , be linear: ∂ t h = ∂ 2 x h + h if x > µ t . Assume h is continuous and differentiable at µ t : h ( µ t , t ) = 1 , ∂ x h ( µ t , t ) = 0. ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = 1 ∂ x h ( µ t , t ) = 0 / α, / β. Both h ( x , t ) and µ t are unknown quantities! May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 11 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] Let µ t be the position where the front saturates: h ( x , t ) = 1 if x < µ t . On the right of µ t , be linear: ∂ t h = ∂ 2 x h + h if x > µ t . Assume h is continuous and differentiable at µ t : h ( µ t , t ) = 1 , ∂ x h ( µ t , t ) = 0. ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = 1 ∂ x h ( µ t , t ) = 0 / α, / β. Both h ( x , t ) and µ t are unknown quantities! Can be solved with same method as First approach. But is it a well-posed problem ? May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 11 / 19
✶ Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] For any given µ t ⎧ ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ ⎨ ⎪ h ( µ t , t ) = 0 ⎪ ⎩ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
✶ Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] For any given µ t ⎧ ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ ⎨ ⎪ h ( µ t , t ) = 0 ⎪ ⎩ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
✶ Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] For any given µ t ⎧ ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ ⎨ ⎪ h ( µ t , t ) = 0 ⎪ ⎩ h ( x , t ) = ∫ d y h 0 ( y ) E y [ δ ( B t − x ) ] May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
✶ Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] For any given µ t ⎧ ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ ⎨ ⎪ h ( µ t , t ) = 0 ⎪ ⎩ h ( x , t ) = e t ∫ d y h 0 ( y ) E y [ δ ( B t − x ) ] May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] For any given µ t ⎧ ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ ⎨ ⎪ h ( µ t , t ) = 0 ⎪ ⎩ h ( x , t ) = e t ∫ d y h 0 ( y ) E y [ δ ( B t − x ) ✶ { B s > µ s , ∀ s < t } ] May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] h ( µ t + z , t ) → 0 For any given µ t ⎧ if µ t grows too fast, ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ if µ t grows too slowly, h ( µ t + z , t ) → ∞ ⎨ ⎪ h ( µ t , t ) = 0 h ( µ t + z , t ) → ω ( z ) ⎪ ⎩ if µ t grows just right, h ( x , t ) = e t ∫ d y h 0 ( y ) E y [ δ ( B t − x ) ✶ { B s > µ s , ∀ s < t } ] May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] h ( µ t + z , t ) → 0 For any given µ t ⎧ if µ t grows too fast, ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ if µ t grows too slowly, h ( µ t + z , t ) → ∞ ⎨ ⎪ h ( µ t , t ) = 0 h ( µ t + z , t ) → ω ( z ) ⎪ ⎩ if µ t grows just right, h ( x , t ) = e t ∫ d y h 0 ( y ) E y [ δ ( B t − x ) ✶ { B s > µ s , ∀ s < t } ] What are the µ t such that h ( µ t + z , t ) → ω ( z ) ? May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
Three approaches First approach, on the lattice [Joint work with B. Derrida] ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ t n = [ when h ( n , t ) ∂ t h ( n , t ) = ⎨ ] ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 reaches 1 Third approach, in the continuum [Joint work with B. Derrida & J. Berestycki] ∂ t h = ∂ 2 x h + h if x > µ t , h ( µ t , t ) = α, ∂ x h ( µ t , t ) = β. Both h ( x , t ) and µ t are unknown quantities! Second approach, in the continuum [Joint work with J. Berestycki, M. Roberts & S. Harris. Also studied by C. Henderson] h ( µ t + z , t ) → 0 For any given µ t ⎧ if µ t grows too fast, ⎪ ∂ t h = ∂ 2 x h + h if x > µ t ⎪ if µ t grows too slowly, h ( µ t + z , t ) → ∞ ⎨ ⎪ h ( µ t , t ) = 0 h ( µ t + z , t ) → ω ( z ) ⎪ ⎩ if µ t grows just right, h ( x , t ) = e t ∫ d y h 0 ( y ) E y [ δ ( B t − x ) ✶ { B s > µ s , ∀ s < t } ] What are the µ t such that h ( µ t + z , t ) → ω ( z ) ? With a fast convergence rate? May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 12 / 19
Let us get more technical We focus on ⎧ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ⎪ ∂ t h ( n , t ) = ⎨ ⎪ 0 if h ( n , t ) = 1 . ⎪ ⎩ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 13 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 t n = [ when h ( n , t ) reaches 1 ] . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 t n = [ when h ( n , t ) reaches 1 ] . Looking for h ( n , t ) ∼ e − γ ( n − vt ) : γ v = 1 + e γ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , v ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 v t n = [ when h ( n , t ) reaches 1 ] . v c Looking for h ( n , t ) ∼ e − γ ( n − vt ) : γ v = 1 + e γ v ( γ ) = 1 + e γ γ c = 1 . 27856 ..., v c = 3 . 59112 ... γ γ 1 γ c γ 2 γ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , v ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 v t n = [ when h ( n , t ) reaches 1 ] . v c Looking for h ( n , t ) ∼ e − γ ( n − vt ) : γ v = 1 + e γ v ( γ ) = 1 + e γ γ c = 1 . 27856 ..., v c = 3 . 59112 ... γ γ 1 γ c γ 2 γ h 0 ( n ) e λ n = e λ [ n − v ( λ ) t n ] − e λ ] e λ + 1 [ 2 ∑ 1 ∑ Assuming h 0 ( 0 ) = 0 and h 0 ( n ) ↘ n ≥ 1 n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , v ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 v t n = [ when h ( n , t ) reaches 1 ] . v c Looking for h ( n , t ) ∼ e − γ ( n − vt ) : γ v = 1 + e γ v ( γ ) = 1 + e γ γ c = 1 . 27856 ..., v c = 3 . 59112 ... γ γ 1 γ c γ 2 γ h 0 ( n ) e λ n = e λ [ n − v ( λ ) t n ] − e λ ] e λ + 1 [ 2 ∑ 1 ∑ Assuming h 0 ( 0 ) = 0 and h 0 ( n ) ↘ n ≥ 1 n ≥ 1 [Solve for t ∈ [ t n , t n + 1 ] with a generating function, and then glue things together] May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , v ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 v t n = [ when h ( n , t ) reaches 1 ] . v c Looking for h ( n , t ) ∼ e − γ ( n − vt ) : γ v = 1 + e γ v ( γ ) = 1 + e γ γ c = 1 . 27856 ..., v c = 3 . 59112 ... γ γ 1 γ c γ 2 γ h 0 ( n ) e λ n = e λ [ n − v ( λ ) t n ] − e λ ] e λ + 1 [ 2 ∑ 1 ∑ Assuming h 0 ( 0 ) = 0 and h 0 ( n ) ↘ n ≥ 1 n ≥ 1 [Solve for t ∈ [ t n , t n + 1 ] with a generating function, and then glue things together] Basic observation: if h 0 ( n ) ∼ Ae − γ n with γ < γ c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , v ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 v t n = [ when h ( n , t ) reaches 1 ] . v c Looking for h ( n , t ) ∼ e − γ ( n − vt ) : γ v = 1 + e γ v ( γ ) = 1 + e γ γ c = 1 . 27856 ..., v c = 3 . 59112 ... γ γ 1 γ c γ 2 γ h 0 ( n ) e λ n = e λ [ n − v ( λ ) t n ] − e λ ] e λ + 1 [ 2 ∑ 1 ∑ Assuming h 0 ( 0 ) = 0 and h 0 ( n ) ↘ n ≥ 1 n ≥ 1 [Solve for t ∈ [ t n , t n + 1 ] with a generating function, and then glue things together] Basic observation: if h 0 ( n ) ∼ Ae − γ n with γ < γ c pick λ = γ − ǫ ; then ∑ n ≥ 1 h 0 ( n ) e λ n ∼ A / ǫ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
Model on the lattice ⎧ ⎪ ⎪ h ( n , t ) + h ( n − 1 , t ) if h ( n , t ) < 1 , v ∂ t h ( n , t ) = ⎨ ⎪ if h ( n , t ) = 1 , ⎪ ⎩ 0 v t n = [ when h ( n , t ) reaches 1 ] . v c Looking for h ( n , t ) ∼ e − γ ( n − vt ) : γ v = 1 + e γ v ( γ ) = 1 + e γ γ c = 1 . 27856 ..., v c = 3 . 59112 ... γ γ 1 γ c γ 2 γ h 0 ( n ) e λ n = e λ [ n − v ( λ ) t n ] − e λ ] e λ + 1 [ 2 ∑ 1 ∑ Assuming h 0 ( 0 ) = 0 and h 0 ( n ) ↘ n ≥ 1 n ≥ 1 [Solve for t ∈ [ t n , t n + 1 ] with a generating function, and then glue things together] Basic observation: if h 0 ( n ) ∼ Ae − γ n with γ < γ c pick λ = γ − ǫ ; then ∑ n ≥ 1 h 0 ( n ) e λ n ∼ A / ǫ one must have t n ∼ n / v ( γ ) to reproduce the singularity in the R.H.S.: v ( γ )] = n ǫ v ′ ( γ ) [ n − v ( γ − ǫ ) n v ( γ ) May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 14 / 19
v The case h 0 = 0 h 0 ( n ) e λ n = e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ γ 1 γ c γ 2 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ ∑ If h 0 = 0: 2 n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ ∑ If h 0 = 0: 2 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c Take now λ = γ c − ǫ and use λ [ 1 − v ( λ ) v c ] ≈ − γ c v ′′ ( γ c ) ǫ 2 =∶ − Q ǫ 2 . 2 v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c Take now λ = γ c − ǫ and use λ [ 1 − v ( λ ) v c ] ≈ − γ c v ′′ ( γ c ) ǫ 2 =∶ − Q ǫ 2 . 2 v c (nice function of ǫ ) ≈ ∑ e − nQ ǫ 2 − r n n − α n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c Take now λ = γ c − ǫ and use λ [ 1 − v ( λ ) v c ] ≈ − γ c v ′′ ( γ c ) ǫ 2 =∶ − Q ǫ 2 . 2 v c (nice function of ǫ ) ≈ ∑ e − nQ ǫ 2 − r n n − α n ≥ 1 Remark: ∑ e − nu n − 1 . 7 = n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c Take now λ = γ c − ǫ and use λ [ 1 − v ( λ ) v c ] ≈ − γ c v ′′ ( γ c ) ǫ 2 =∶ − Q ǫ 2 . 2 v c (nice function of ǫ ) ≈ ∑ e − nQ ǫ 2 − r n n − α n ≥ 1 Remark: ∑ e − nu n − 1 . 7 = 2 . 05 − 4 . 27 u 0 . 7 + 2 . 78 u − 0 . 15 u 2 + 0 . 007 u 3 + ⋯ n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c Take now λ = γ c − ǫ and use λ [ 1 − v ( λ ) v c ] ≈ − γ c v ′′ ( γ c ) ǫ 2 =∶ − Q ǫ 2 . 2 v c (nice function of ǫ ) ≈ ∑ e − nQ ǫ 2 − r n n − α n ≥ 1 Remark: ∑ e − nu n − 1 . 7 = 2 . 05 − 4 . 27 u 0 . 7 + 2 . 78 u − 0 . 15 u 2 + 0 . 007 u 3 + ⋯ ⎧ ⎪ Γ ( 1 − α ) u α − 1 ⎪ n ≥ 1 ⎨ ∈ N ∗ ) ∑ (if α / e − nu n − α = (nice function of u ) + ⎪ ⎪ ( α − 1 ) ! u α − 1 ln u ( − 1 ) α ⎩ (if α ∈ N ∗ ) n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c Take now λ = γ c − ǫ and use λ [ 1 − v ( λ ) v c ] ≈ − γ c v ′′ ( γ c ) ǫ 2 =∶ − Q ǫ 2 . 2 v c (nice function of ǫ ) ≈ ∑ e − nQ ǫ 2 − r n n − α ≈ (nice function of ǫ 2 ) + cste ( ǫ 2 ) α − 1 n ≥ 1 Remark: ∑ e − nu n − 1 . 7 = 2 . 05 − 4 . 27 u 0 . 7 + 2 . 78 u − 0 . 15 u 2 + 0 . 007 u 3 + ⋯ ⎧ ⎪ Γ ( 1 − α ) u α − 1 ⎪ n ≥ 1 ⎨ ∈ N ∗ ) ∑ (if α / e − nu n − α = (nice function of u ) + ⎪ ⎪ ( α − 1 ) ! u α − 1 ln u ( − 1 ) α ⎩ (if α ∈ N ∗ ) n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
v The case h 0 = 0 e λ [ n − v ( λ ) t n ] − e λ ] v 1 ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ v c n ≥ 1 n ≥ 1 γ e n λ [ 1 − v ( λ ) vc ] − λ v ( λ ) γ 1 γ c γ 2 e λ [ n − v ( λ ) t n ] = e λ = ∑ ∑ λ c vc ( α ln n + r n ) If h 0 = 0: 2 n ≥ 1 n ≥ 1 v c + α ln n + r n where r n = O( 1 ) . Use t n = n γ c v c Take now λ = γ c − ǫ and use λ [ 1 − v ( λ ) v c ] ≈ − γ c v ′′ ( γ c ) ǫ 2 =∶ − Q ǫ 2 . 2 v c (nice function of ǫ ) ≈ ∑ e − nQ ǫ 2 − r n n − α ≈ (nice function of ǫ 2 ) + cste ( ǫ 2 ) α − 1 n ≥ 1 α = 3 2 to have a term of order ǫ Remark: ∑ e − nu n − 1 . 7 = 2 . 05 − 4 . 27 u 0 . 7 + 2 . 78 u − 0 . 15 u 2 + 0 . 007 u 3 + ⋯ ⎧ ⎪ Γ ( 1 − α ) u α − 1 ⎪ n ≥ 1 ⎨ ∈ N ∗ ) ∑ (if α / e − nu n − α = (nice function of u ) + ⎪ ⎪ ( α − 1 ) ! u α − 1 ln u ( − 1 ) α ⎩ (if α ∈ N ∗ ) n ≥ 1 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 15 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 t n = n + v c γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n + 2 γ c v c γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n Bramson! + 2 γ c v c γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n Bramson! + 2 γ c v c γ c v c If h 0 ( n ) ∼ An α e − γ c n May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n Bramson! + 2 γ c v c γ c v c If h 0 ( n ) ∼ An α e − γ c n Then Ψ ( γ c − ǫ ) ≋ ∑ An α e − ǫ n n May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n Bramson! + 2 γ c v c γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + ǫ 2 + k ǫ 2 ln ǫ + ⋯ α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ Then α = − 2 . 2 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 2 + ⋯ Ψ ( γ c − ǫ ) ≋ ∑ An α e − ǫ n α = − 2 ∶ Ψ ( γ c − ǫ ) = a + k ǫ ln ǫ + ⋯ n α = − 1 . 7 ∶ Ψ ( γ c − ǫ ) = a + k ǫ 0 . 7 + ⋯ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n Bramson! + 2 γ c v c γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + ǫ 2 + k ǫ 2 ln ǫ + ⋯ α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ Then α = − 2 . 2 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 2 + ⋯ Ψ ( γ c − ǫ ) ≋ ∑ An α e − ǫ n α = − 2 ∶ Ψ ( γ c − ǫ ) = a + k ǫ ln ǫ + ⋯ n α = − 1 . 7 ∶ Ψ ( γ c − ǫ ) = a + k ǫ 0 . 7 + ⋯ 2 ln t term is there if α < − 2. Bramson’s 3 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n Bramson! + 2 γ c v c γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + ǫ 2 + k ǫ 2 ln ǫ + ⋯ α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ Then α = − 2 . 2 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 2 + ⋯ Ψ ( γ c − ǫ ) ≋ ∑ An α e − ǫ n α = − 2 ∶ Ψ ( γ c − ǫ ) = a + k ǫ ln ǫ + ⋯ n α = − 1 . 7 ∶ Ψ ( γ c − ǫ ) = a + k ǫ 0 . 7 + ⋯ 2 ln t term is there if α < − 2. Bramson’s 3 In fact, Bramson’s term is there iff Ψ ( γ c − ǫ ) = a + b ǫ + ⋯ . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
Bramson’s term Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] ; pick λ = γ c − ǫ n ≥ 1 n ≥ 1 If h 0 = 0, to get the term of order ǫ right, one must take 2 ln n + O( 1 ) 3 ⇔ µ t = v c t − 3 ln t + O( 1 ) t n = n Bramson! + 2 γ c v c γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + ǫ 2 + k ǫ 2 ln ǫ + ⋯ α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ Then α = − 2 . 2 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 2 + ⋯ Ψ ( γ c − ǫ ) ≋ ∑ An α e − ǫ n α = − 2 ∶ Ψ ( γ c − ǫ ) = a + k ǫ ln ǫ + ⋯ n α = − 1 . 7 ∶ Ψ ( γ c − ǫ ) = a + k ǫ 0 . 7 + ⋯ 2 ln t term is there if α < − 2. Bramson’s 3 In fact, Bramson’s term is there iff Ψ ( γ c − ǫ ) = a + b ǫ + ⋯ . Which means that Bramson’s term is there iff ∑ n ≥ 1 h 0 ( n ) n < ∞ . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 16 / 19
The term from Ebert and van Saarloos Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] , and pick λ = γ c − ǫ n ≥ 1 n ≥ 1 Bramson’s term to get the ǫ term right iff ∑ n ≥ 1 h 0 ( n ) n < ∞ : ⇔ 2 γ c ln t + O( 1 ) 3 2 ln n +O ( 1 ) 3 t n = n v c + µ t = v c t − γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 17 / 19
The term from Ebert and van Saarloos Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] , and pick λ = γ c − ǫ n ≥ 1 n ≥ 1 Bramson’s term to get the ǫ term right iff ∑ n ≥ 1 h 0 ( n ) n < ∞ : ⇔ 2 γ c ln t + O( 1 ) 3 2 ln n +O ( 1 ) 3 t n = n v c + µ t = v c t − γ c v c Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ 3 2 ln n + C For t n = n exactly: v c + γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 17 / 19
The term from Ebert and van Saarloos Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] , and pick λ = γ c − ǫ n ≥ 1 n ≥ 1 Bramson’s term to get the ǫ term right iff ∑ n ≥ 1 h 0 ( n ) n < ∞ : ⇔ 2 γ c ln t + O( 1 ) 3 2 ln n +O ( 1 ) 3 t n = n v c + µ t = v c t − γ c v c Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ 3 2 ln n + C For t n = n exactly: v c + γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ Remember: α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 17 / 19
The term from Ebert and van Saarloos Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] , and pick λ = γ c − ǫ n ≥ 1 n ≥ 1 Bramson’s term to get the ǫ term right iff ∑ n ≥ 1 h 0 ( n ) n < ∞ : ⇔ 2 γ c ln t + O( 1 ) 3 2 ln n +O ( 1 ) 3 t n = n v c + µ t = v c t − γ c v c Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ 3 2 ln n + C For t n = n exactly: v c + γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ Remember: α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ If α < − 3, there is no ǫ 2 ln ǫ term May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 17 / 19
The term from Ebert and van Saarloos Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] , and pick λ = γ c − ǫ n ≥ 1 n ≥ 1 Bramson’s term to get the ǫ term right iff ∑ n ≥ 1 h 0 ( n ) n < ∞ : ⇔ 2 γ c ln t + O( 1 ) 3 2 ln n +O ( 1 ) 3 t n = n v c + µ t = v c t − γ c v c Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ 2 ln n + C 3 For t n = n exactly: v c + γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ Remember: α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ If α < − 3, there is no ǫ 2 ln ǫ term 2 ln n + C + K + o ( 1 ) 3 √ n The only way to get rid of it is to pick t n = n + v c γ c v c May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 17 / 19
The term from Ebert and van Saarloos Ψ ( λ ) ∶= ∑ h 0 ( n ) e λ n = e λ + 1 [ 2 ∑ 1 e λ [ n − v ( λ ) t n ] − e λ ] , and pick λ = γ c − ǫ n ≥ 1 n ≥ 1 Bramson’s term to get the ǫ term right iff ∑ n ≥ 1 h 0 ( n ) n < ∞ : ⇔ 2 γ c ln t + O( 1 ) 3 2 ln n +O ( 1 ) 3 t n = n v c + µ t = v c t − γ c v c Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ 2 ln n + C 3 For t n = n exactly: v c + γ c v c α = − 3 . 1 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + c ǫ 2 + k ǫ 2 . 1 + ⋯ Remember: α = − 3 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 2 ln ǫ + ⋯ If h 0 ( n ) ∼ An α e − γ c n α = − 2 . 9 ∶ Ψ ( γ c − ǫ ) = a + b ǫ + k ǫ 1 . 9 + ⋯ If α < − 3, there is no ǫ 2 ln ǫ term 2 ln n + C + K + o ( 1 ) 3 √ n The only way to get rid of it is to pick t n = n + v c γ c v c This is the van Saarloos term, present iff Ψ ( γ c − ǫ ) = a + b ǫ + o ( ǫ 2 ln ǫ ) (which is nearly the same as ∑ n h 0 ( n ) e γ c n n 2 < ∞ ) . May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 17 / 19
√ Thank you for listening! µ t = v c t − 3 ln t + cste − 3 2 π + K ln t + O( 1 t ) c v ′′ ( γ c ) t − 1 2 γ 5 2 γ c t �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ∫ d x h 0 ( x ) x 2 e γ c x < ∞ if ∫ d x h 0 ( x ) x 3 e γ c x < ∞ May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 18 / 19
√ Thank you for listening! µ t = v c t − 3 ln t + cste − 3 2 π + K ln t + O( 1 t ) c v ′′ ( γ c ) t − 1 2 γ 5 2 γ c t �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ∫ d x h 0 ( x ) x 2 e γ c x < ∞ if ∫ d x h 0 ( x ) x 3 e γ c x < ∞ By matching singularities in a model on the lattice É. Brunet and B. Derrida, An exactly solvable travelling wave equation in the Fisher-KPP class , Journal of Statistical Physics 2015, 161 (4), 801. May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 18 / 19
√ Thank you for listening! µ t = v c t − 3 ln t + cste − 3 2 π + K ln t + O( 1 t ) c v ′′ ( γ c ) t − 1 2 γ 5 2 γ c t �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ∫ d x h 0 ( x ) x 2 e γ c x < ∞ if ∫ d x h 0 ( x ) x 3 e γ c x < ∞ By matching singularities in a model on the lattice É. Brunet and B. Derrida, An exactly solvable travelling wave equation in the Fisher-KPP class , Journal of Statistical Physics 2015, 161 (4), 801. Second approach, by computing some expectation of Brownian paths J.Berestycki, É.Brunet, S.C.Harris and M.I.Roberts, Vanishing corrections for the position in a linear model of FKPP fronts , Comm. in Mathematical Physics 2017, 349 , 857 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 18 / 19
√ Thank you for listening! µ t = v c t − 3 ln t + cste − 3 2 π + K ln t + O( 1 t ) c v ′′ ( γ c ) t − 1 2 γ 5 2 γ c t �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ∫ d x h 0 ( x ) x 2 e γ c x < ∞ if ∫ d x h 0 ( x ) x 3 e γ c x < ∞ By matching singularities in a model on the lattice É. Brunet and B. Derrida, An exactly solvable travelling wave equation in the Fisher-KPP class , Journal of Statistical Physics 2015, 161 (4), 801. Second approach, by computing some expectation of Brownian paths J.Berestycki, É.Brunet, S.C.Harris and M.I.Roberts, Vanishing corrections for the position in a linear model of FKPP fronts , Comm. in Mathematical Physics 2017, 349 , 857 Third approach, by matching singularities in a model in the continuum J.Berestycki, É.Brunet and B. Derrida, Exact solution and precise asymptotics of a Fisher-KPP type front , https://arxiv.org/abs/1705.08416 May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 18 / 19
√ Thank you for listening! µ t = v c t − 3 ln t + cste − 3 2 π + K ln t + O( 1 t ) c v ′′ ( γ c ) t − 1 2 γ 5 2 γ c t �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� �ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ�ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ� iff ∫ d x h 0 ( x ) x e γ c x < ∞ if ∫ d x h 0 ( x ) x 2 e γ c x < ∞ if ∫ d x h 0 ( x ) x 3 e γ c x < ∞ By matching singularities in a model on the lattice É. Brunet and B. Derrida, An exactly solvable travelling wave equation in the Fisher-KPP class , Journal of Statistical Physics 2015, 161 (4), 801. Second approach, by computing some expectation of Brownian paths J.Berestycki, É.Brunet, S.C.Harris and M.I.Roberts, Vanishing corrections for the position in a linear model of FKPP fronts , Comm. in Mathematical Physics 2017, 349 , 857 Third approach, by matching singularities in a model in the continuum J.Berestycki, É.Brunet and B. Derrida, Exact solution and precise asymptotics of a Fisher-KPP type front , https://arxiv.org/abs/1705.08416 Remark: for a step initial condition, with µ t = 2 t + δ t : May the 3 rd , 2017, Paris Éric Brunet Vanishing corrections for FKPP 18 / 19
Recommend
More recommend