a new lower boun o th hilber number for quarti system
play

A New Lower Boun o th Hilber Number for Quarti System 1,2 - PowerPoint PPT Presentation

Oct 27, 2022 •38 likes •1.2k views

JNCF 2019, CIRM, Marseill A New Lower Boun o th Hilber Number for Quarti System 1,2 1 2

  1. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  2. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  3. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  4. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  5. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  6. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  7. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  8. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  9. + Infinitesimal Hilbert’s 16th Problem 1 . 4 1 . 2 H ( x , y ) = ( x 2 − 0 . 9 ) 2 + ( y 2 − 1 . 1 ) 2 y 1 ⎧ x = 4 y ( y 2 − 1 . 1 ) 0 . 8 ⎪ ˙ ⎪ ⎨ y = 4 x ( x 2 − 0 . 9 ) − 0 . 4 y + 0 . 46 x 2 y ⎪ ˙ ⎪ ⎩ 0 . 6 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  10. + Infinitesimal Hilbert’s 16th Problem Infinitesimal Hilbert’s 16th problem For a given integer n , what is the maximal 1 . 4 number Z( n ) of limit cycles a perturbed Hamiltonian vector field of the form: 1 . 2 ⎧ ⎪ x = − ∂ y H ( x , y ) + ε f ( x , y ) ˙ ⎪ ⎨ y ⎪ ˙ y = ∂ x H ( x , y ) + ε g ( x , y ) 1 ⎪ ⎩ can have when ε → 0, with: 0 . 8 H ( x , y ) a polynomial potential function of degree n + 1 0 . 6 f , g polynomial perturbations of degree n 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x T. Johnson, A quartic system with twenty-six limit cycles, Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  11. + Infinitesimal Hilbert’s 16th Problem Infinitesimal Hilbert’s 16th problem For a given integer n , what is the maximal 1 . 4 number Z ( n ) of limit cycles a perturbed Hamiltonian vector field of the form: 1 . 2 ⎧ ⎪ x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎪ ˙ ⎨ ⎪ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ y ⎩ ˙ 1 can have when ε → 0, with: 0 . 8 H ( x , y ) a polynomial potential function of degree n + 1 0 . 6 f , g polynomial perturbations of degree n 0 . 4 0 . 6 0 . 8 1 1 . 2 1 . 4 x Z ( n ) < ∞ for all n T. Johnson, A quartic system with twenty-six limit cycles, Pessimistic upper bounds Experimental Mathematics , 2011 A New Lower Bound on H(4) 2/17

  12. + A Fundamental Tool: the Poincaré-Pontryagin Theorem 1 . 2 1 . 1 y h 1 0 . 9 0 . 9 1 1 . 1 1 . 2 1 . 3 x x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ ⎨ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ ˙ ⎪ ⎩ A New Lower Bound on H(4) 3/17

  13. + A Fundamental Tool: the Poincaré-Pontryagin Theorem 1 . 2 Poincaré first return map P ( h ) 1 . 1 y P ( h ) h 1 0 . 9 0 . 9 1 1 . 1 1 . 2 1 . 3 x x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ ⎨ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ ˙ ⎪ ⎩ A New Lower Bound on H(4) 3/17

  14. + A Fundamental Tool: the Poincaré-Pontryagin Theorem 1 . 2 Poincaré first return map P ( h ) 1 . 1 y P 3 ( h ) P 2 ( h ) P ( h ) h 1 0 . 9 0 . 9 1 1 . 1 1 . 2 1 . 3 x x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ ⎨ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ ˙ ⎪ ⎩ A New Lower Bound on H(4) 3/17

  15. + A Fundamental Tool: the Poincaré-Pontryagin Theorem 1 . 2 Poincaré first return map P ( h ) 1 . 1 Displacement d ( h ) = P ( h ) − h d ( h ) y P 3 ( h ) P 2 ( h ) P ( h ) h 1 0 . 9 0 . 9 1 1 . 1 1 . 2 1 . 3 x x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ ⎨ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ ˙ ⎪ ⎩ A New Lower Bound on H(4) 3/17

  16. + A Fundamental Tool: the Poincaré-Pontryagin Theorem 1 . 2 Poincaré first return map P ( h ) 1 . 1 Displacement d ( h ) = P ( h ) − h d ( h ) y Limit cycle ⇔ isolated zero of d P 3 ( h ) P 2 ( h ) P ( h ) h 1 0 . 9 0 . 9 1 1 . 1 1 . 2 1 . 3 x x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ ⎨ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ ˙ ⎪ ⎩ A New Lower Bound on H(4) 3/17

  17. + A Fundamental Tool: the Poincaré-Pontryagin Theorem 1 . 2 Poincaré first return map P ( h ) 1 . 1 Displacement d ( h ) = P ( h ) − h d ( h ) y Limit cycle ⇔ isolated zero of d P 3 ( h ) P 2 ( h ) P ( h ) h Abelian integral I ( h ) : 1 ∮ H − 1 ( h ) f ( x , y ) d y − g ( x , y ) d x 0 . 9 0 . 9 1 1 . 1 1 . 2 1 . 3 x x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ ⎨ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ ˙ ⎪ ⎩ A New Lower Bound on H(4) 3/17

  18. + A Fundamental Tool: the Poincaré-Pontryagin Theorem 1 . 2 Poincaré first return map P ( h ) 1 . 1 Displacement d ( h ) = P ( h ) − h d ( h ) y Limit cycle ⇔ isolated zero of d P 3 ( h ) P 2 ( h ) P ( h ) h Abelian integral I ( h ) : 1 ∮ H − 1 ( h ) f ( x , y ) d y − g ( x , y ) d x 0 . 9 0 . 9 1 1 . 1 1 . 2 1 . 3 x Poincaré-Pontryagin theorem The Abelian integral I ( h ) approximates the x = − ∂ y H ( x , y ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ displacement function d ( h ) for small ε : ⎨ y = ∂ x H ( x , y ) + ε g ( x , y ) ⎪ ˙ ⎪ d ( h ) = ε ( I ( h ) + O ( ε )) when ε → 0 ⎩ A New Lower Bound on H(4) 3/17

  19. + A Pseudo-Hamiltonian Quartic System Hamiltonian system: x = − 4 y ( y 2 − 1 . 1 ) ⎧ ⎪ ˙ ⎪ y = 4 x ( x 2 − 0 . 9 ) ⎨ ⎪ ˙ ⎪ ⎩ 1 y 0 − 1 − 1 0 1 x A New Lower Bound on H(4) 4/17

  20. + A Pseudo-Hamiltonian Quartic System pseudo- Hamiltonian system: x = − 4 y y ( y 2 − 1 . 1 ) ⎧ ⎪ ˙ ⎪ y = 4 y x ( x 2 − 0 . 9 ) ⎨ ⎪ ˙ ⎪ ⎩ 1 y 0 − 1 − 1 0 1 x A New Lower Bound on H(4) 4/17

  21. + A Pseudo-Hamiltonian Quartic System pseudo- Hamiltonian system: x = − 4 y y ( y 2 − 1 . 1 ) ⎧ ⎪ ˙ ⎪ y = 4 y x ( x 2 − 0 . 9 ) ⎨ ⎪ ˙ ⎪ ⎩ • • 1 same geometric orbits after rescaling y 0 • − 1 • • − 1 0 1 x A New Lower Bound on H(4) 4/17

  22. + A Pseudo-Hamiltonian Quartic System pseudo- Hamiltonian system: x = − 4 y y ( y 2 − 1 . 1 ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ y = 4 y x ( x 2 − 0 . 9 ) + ε g ( x , y ) ⎨ ⎪ ˙ ⎪ ⎩ • • 1 same geometric orbits after rescaling ≃ perturbations without rescaling: f ( x , y ) , g ( x , y ) ⟨ x i y j , i ⩾ 0 , j ⩾ − 1 , i + j ⩽ 3 ⟩ y 0 • ∈ y y − 1 • • − 1 0 1 x A New Lower Bound on H(4) 4/17

  23. + A Pseudo-Hamiltonian Quartic System pseudo- Hamiltonian system: x = − 4 y y ( y 2 − 1 . 1 ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ y = 4 y x ( x 2 − 0 . 9 ) + ε g ( x , y ) ⎨ ⎪ ˙ ⎪ ⎩ • • 1 same geometric orbits after rescaling ≃ perturbations without rescaling: f ( x , y ) , g ( x , y ) ⟨ x i y j , i ⩾ 0 , j ⩾ − 1 , i + j ⩽ 3 ⟩ y 0 • ∈ y y Generalized Poincaré-Pontryagin theorem The generalized Abelian integral: − 1 • • f ( x , y ) d y − g ( x , y ) d x I ( h ) = ∮ H − 1 ( h ) y − 1 0 1 x approximates the displacement function d ( h ) for small ε : d ( h ) = ε ( I ( h ) + O ( ε )) when ε → 0 A New Lower Bound on H(4) 4/17

  24. + A Pseudo-Hamiltonian Quartic System pseudo- Hamiltonian system: x = − 4 y y ( y 2 − 1 . 1 ) + ε f ( x , y ) ⎧ ⎪ ˙ ⎪ y = 4 y x ( x 2 − 0 . 9 ) + ε g ( x , y ) ⎨ ⎪ ˙ ⎪ ⎩ 1 same geometric orbits after rescaling ≃ perturbations without rescaling: f ( x , y ) , g ( x , y ) ⟨ x i y j , i ⩾ 0 , j ⩾ − 1 , i + j ⩽ 3 ⟩ 4 × ? + 2 × ? = ? y 0 ∈ y y Generalized Poincaré-Pontryagin theorem − 1 The generalized Abelian integral: f ( x , y ) d y − g ( x , y ) d x I ( h ) = ∮ H − 1 ( h ) y − 1 0 1 x ⇒ The finiteness of Z ( 4 ) does not apply, approximates the displacement function but we still have some tools of the d ( h ) for small ε : Hamiltonian case! d ( h ) = ε ( I ( h ) + O ( ε )) when ε → 0 A New Lower Bound on H(4) 4/17

  25. + Choice of Perturbations x 2 f ( x , y ) = 1 x y xy y 2 x 3 x 2 y xy 2 y 3 x 4 x 3 y x 2 y 2 xy 3 y 4 x 2 g ( x , y ) = 1 x y xy y 2 x 3 x 2 y xy 2 y 3 x 4 x 3 y x 2 y 2 xy 3 y 4 A New Lower Bound on H(4) 5/17

  26. + Choice of Perturbations x 2 f ( x , y ) = 1 x y xy y 2 x 3 x 2 y xy 2 y 3 x 4 x 3 y x 2 y 2 xy 3 y 4 x 2 g ( x , y ) = 1 x y xy y 2 x 3 x 2 y xy 2 y 3 x 3 y xy 3 x 4 x 2 y 2 y 4 symmetry requirements f ( x , y ) g ( x , y ) linear relations from Green’s formula: ∂ x ∝ ∂ y y y α 00 + α 20 x 2 + α 22 x 2 y 2 + α 40 x 4 + α 04 y 4 I( h ) = ∮ H − 1 ( h ) d x y A New Lower Bound on H(4) 5/17

  27. + Numerically Optimizing the Number of Zeros ▸ Find coefficients of I( h ) = α 00 I 00 ( h ) + α 20 I 20 ( h ) + α 22 I 22 ( h ) + α 40 I 40 ( h ) + α 04 I 04 ( h ) . 4 3 2 1 0 − 1 − 2 − 3 x 2 y 2 − 4 y 4 1 x 2 − 5 x 4 − 6 − 0 . 5 − 0 . 45 − 0 . 4 − 0 . 35 − 0 . 3 − 0 . 25 h A New Lower Bound on H(4) 6/17

  28. + Numerically Optimizing the Number of Zeros = -0.78622148667854837664 α 00 = 0.87723523612653436051 α 20 = 1 α 22 = 0.23742713894293038223 α 40 = -0.21823846173078863753 α 04 2 ( × 10 − 4 ) 1 0 − 1 h − 2 − 0 . 5 − 0 . 45 − 0 . 4 − 0 . 35 − 0 . 3 − 0 . 25 A New Lower Bound on H(4) 6/17

  29. + Numerically Optimizing the Number of Zeros = -0.78622148667854837664 α 00 = 0.87723523612653436051 α 20 = 1 α 22 = 0.23742713894293038223 α 40 = -0.21823846173078863753 α 04 2 ( × 10 − 4 ) 1 0 − 1 h − 2 − 0 . 5 − 0 . 45 − 0 . 4 − 0 . 35 − 0 . 3 − 0 . 25 1 ( × 10 − 7 ) 0 . 5 0 − 0 . 5 h − 1 -0.315 -0.310 -0.305 A New Lower Bound on H(4) 6/17

  30. + Numerically Optimizing the Number of Zeros = -0.78622148667854837664 α 00 = 0.87723523612653436051 α 20 = 1 α 22 = 0.23742713894293038223 α 40 = -0.21823846173078863753 α 04 2 ( × 10 − 4 ) 1 0 − 1 h − 2 − 0 . 5 − 0 . 45 − 0 . 4 − 0 . 35 − 0 . 3 − 0 . 25 1 ( × 10 − 7 ) 0 . 5 0 − 0 . 5 h − 1 -0.315 -0.310 -0.305 4 × 5 + 2 × 2 = 24 A New Lower Bound on H(4) 6/17

  31. Outline 1 A quartic example for Hilbert 16th problem 2 Computing Abelian integrals with rigorous polynomial approximations 3 Wronskian and extended Chebyshev systems 4 Conclusion A New Lower Bound on H(4)

  32. + Computing Abelian Integrals √ 0 < r ( = h ) < 0 . 9 2 y 2 1 0 0 1 2 x 2 1 y 0 − 1 − 1 0 1 x A New Lower Bound on H(4) 7/17

  33. + Computing Abelian Integrals √ 0 < r ( = h ) < 0 . 9 2 x min = 0 . 9 − x max = 0 . 9 + √ r √ r 2 2 y 2 1 x min = 1 . 1 − √ r x max = 1 . 1 + √ r 2 2 0 0 1 2 x 2 1 y 0 − 1 − 1 0 1 x A New Lower Bound on H(4) 7/17

  34. + Computing Abelian Integrals √ 0 < r ( = h ) < 0 . 9 2 x min = 0 . 9 − x max = 0 . 9 + √ r √ r 2 2 y 2 1 x min = 1 . 1 − √ r x max = 1 . 1 + √ r 2 2 √ √ r 2 − ( x 2 − 0 . 9 ) 2 0 y up ( x ) = 1 . 1 + 0 1 2 √ x 2 √ r 2 − ( x 2 − 0 . 9 ) 2 y down ( x ) = 1 . 1 − √ √ r 2 − ( y 2 − 1 . 1 ) 2 x left ( y ) = 0 . 9 − √ √ 1 r 2 − ( y 2 − 1 . 1 ) 2 x right ( y ) = 0 . 9 + y 0 − 1 − 1 0 1 x A New Lower Bound on H(4) 7/17

  35. + Computing Abelian Integrals √ 0 < r ( = h ) < 0 . 9 2 x min = 0 . 9 − x max = 0 . 9 + √ r √ r 2 2 y 2 1 x min = 1 . 1 − √ r x max = 1 . 1 + √ r 2 2 √ √ r 2 − ( x 2 − 0 . 9 ) 2 0 y up ( x ) = 1 . 1 + 0 1 2 √ x 2 √ r 2 − ( x 2 − 0 . 9 ) 2 y down ( x ) = 1 . 1 − √ √ r 2 − ( y 2 − 1 . 1 ) 2 x left ( y ) = 0 . 9 − √ √ 1 r 2 − ( y 2 − 1 . 1 ) 2 x right ( y ) = 0 . 9 + y 0 g ( x , y ) ( g ( x , y up ( x )) − g ( x , y down ( x )) I( h ) = ∮ H − 1 ( h ) d x = ∫ ) d x max − 1 y up ( x ) y down ( x ) y x min y 2 − 1 . 1 ( g ( x left ( y ) , y ) + g ( x right ( y ) , y ) − 1 0 1 +∫ ) √ y max r 2 − ( y 2 − 1 . 1 ) 2 d y . x left ( y ) x right ( y ) x y min A New Lower Bound on H(4) 7/17

  36. + Computing Abelian Integrals √ 0 . 9 < r ( = h ) < 1 . 1 2 y 2 1 0 0 1 2 x 2 1 y 0 − 1 − 1 0 1 x A New Lower Bound on H(4) 7/17

  37. + Computing Abelian Integrals √ 0 . 9 < r ( = h ) < 1 . 1 2 x min = 0 . 9 − x max = 0 . 9 + √ r √ r 2 2 y 2 1 x min = 1 . 1 − √ r x max = 1 . 1 + √ r 2 2 √ √ r 2 − ( x 2 − 0 . 9 ) 2 0 y up ( x ) = 1 . 1 + 0 1 2 √ x 2 √ r 2 − ( x 2 − 0 . 9 ) 2 y down ( x ) = 1 . 1 − √ √ r 2 − ( y 2 − 1 . 1 ) 2 x left ( y ) = 0 . 9 − √ √ 1 r 2 − ( y 2 − 1 . 1 ) 2 x right ( y ) = 0 . 9 + y 0 g ( x , y ) ( g ( x , y up ( x )) − g ( x , y down ( x )) I( h ) = ∮ H − 1 ( h ) d x = ∫ ) d x max − 1 y up ( x ) y down ( x ) y − x max g ( x right ( y ) , y )( y 2 − 1 . 1 ) − 1 0 1 + 2 ∫ √ y max r 2 − ( y 2 − 1 . 1 ) 2 d y . x x right ( y ) y min A New Lower Bound on H(4) 7/17

  38. + Rigorous Polynomial Approximations Definition A pair ( P , ε ) ∈ R [ X ] × R + is a rigorous polynomial approximation (RPA) of f for a given norm ∥ ⋅ ∥ if ∥ f − P ∥ ⩽ ε . � 0 × K − + H F G A New Lower Bound on H(4) 8/17

  39. + Rigorous Polynomial Approximations Definition A pair ( P , ε ) ∈ R [ X ] × R + is a rigorous polynomial approximation (RPA) of f for a given norm ∥ ⋅ ∥ if ∥ f − P ∥ ⩽ ε . Example: sup-norm over [ − 1 , 1 ] : f ∈ ( P , ε ) ⇔ ∣ f ( t ) − P ( t )∣ ⩽ ε ∀ t ∈ [ − 1 , 1 ] � 0 × K − + H F G A New Lower Bound on H(4) 8/17

  40. + Rigorous Polynomial Approximations Definition A pair ( P , ε ) ∈ R [ X ] × R + is a rigorous polynomial approximation (RPA) of f for a given norm ∥ ⋅ ∥ if ∥ f − P ∥ ⩽ ε . Example: sup-norm over [ − 1 , 1 ] : Example: r ( t ) = f ( t ) + g ( t ) f ∈ ( P , ε ) ⇔ ∣ f ( t ) − P ( t )∣ ⩽ ε ∀ t ∈ [ − 1 , 1 ] � 0 Some elementary operations: × ( P , ε ) + ( Q , η ) ∶ = ( P + Q , ε + η ) , K − + H F G A New Lower Bound on H(4) 8/17

  41. + Rigorous Polynomial Approximations Definition A pair ( P , ε ) ∈ R [ X ] × R + is a rigorous polynomial approximation (RPA) of f for a given norm ∥ ⋅ ∥ if ∥ f − P ∥ ⩽ ε . Example: sup-norm over [ − 1 , 1 ] : Example: r ( t ) = f ( t ) + g ( t ) − h ( t ) f ∈ ( P , ε ) ⇔ ∣ f ( t ) − P ( t )∣ ⩽ ε ∀ t ∈ [ − 1 , 1 ] � 0 Some elementary operations: × ( P , ε ) + ( Q , η ) ∶ = ( P + Q , ε + η ) , ( P , ε ) − ( Q , η ) ∶ = ( P − Q , ε + η ) , K − + H F G A New Lower Bound on H(4) 8/17

  42. + Rigorous Polynomial Approximations Definition A pair ( P , ε ) ∈ R [ X ] × R + is a rigorous polynomial approximation (RPA) of f for a given norm ∥ ⋅ ∥ if ∥ f − P ∥ ⩽ ε . Example: sup-norm over [ − 1 , 1 ] : Example: r ( t ) = k ( t )( f ( t ) + g ( t ) − h ( t )) f ∈ ( P , ε ) ⇔ ∣ f ( t ) − P ( t )∣ ⩽ ε ∀ t ∈ [ − 1 , 1 ] � 0 Some elementary operations: × ( P , ε ) + ( Q , η ) ∶ = ( P + Q , ε + η ) , ( P , ε ) − ( Q , η ) ∶ = ( P − Q , ε + η ) , K − ( P , ε ) ⋅ ( Q , η ) ∶ = ( PQ , ∥ Q ∥ η + ∥ P ∥ ε + ηε ) + H F G A New Lower Bound on H(4) 8/17

  43. + Rigorous Polynomial Approximations Definition A pair ( P , ε ) ∈ R [ X ] × R + is a rigorous polynomial approximation (RPA) of f for a given norm ∥ ⋅ ∥ if ∥ f − P ∥ ⩽ ε . Example: sup-norm over [ − 1 , 1 ] : Example: r ( t ) = ∫ 0 k ( s )( f ( s ) + g ( s ) − h ( s )) d s t f ∈ ( P , ε ) ⇔ ∣ f ( t ) − P ( t )∣ ⩽ ε ∀ t ∈ [ − 1 , 1 ] � 0 Some elementary operations: × ( P , ε ) + ( Q , η ) ∶ = ( P + Q , ε + η ) , ( P , ε ) − ( Q , η ) ∶ = ( P − Q , ε + η ) , K − ( P , ε ) ⋅ ( Q , η ) ∶ = ( PQ , ∥ Q ∥ η + ∥ P ∥ ε + ηε ) ∫ 0 ( P , ε ) ∶ = ( ∫ 0 P ( s ) d s , ε ) t + H F G A New Lower Bound on H(4) 8/17

  44. + Rigorous Polynomial Approximations Definition A pair ( P , ε ) ∈ R [ X ] × R + is a rigorous polynomial approximation (RPA) of f for a given norm ∥ ⋅ ∥ if ∥ f − P ∥ ⩽ ε . Example: sup-norm over [ − 1 , 1 ] : Example: r ( t ) = ∫ 0 k ( s )( f ( s ) + g ( s ) − h ( s )) d s t f ∈ ( P , ε ) ⇔ ∣ f ( t ) − P ( t )∣ ⩽ ε ∀ t ∈ [ − 1 , 1 ] √ ? � ÷ ? 0 Some elementary operations: × ( P , ε ) + ( Q , η ) ∶ = ( P + Q , ε + η ) , ( P , ε ) − ( Q , η ) ∶ = ( P − Q , ε + η ) , K − ( P , ε ) ⋅ ( Q , η ) ∶ = ( PQ , ∥ Q ∥ η + ∥ P ∥ ε + ηε ) ∫ 0 ( P , ε ) ∶ = ( ∫ 0 P ( s ) d s , ε ) t + H F G A New Lower Bound on H(4) 8/17

  45. + Banach Fixed-Point Theorem for A Posteriori Validation ▸ Fixed-point equation T ⋅ ϕ = ϕ with T contracting, ▸ Approximation ϕ ○ to exact solution ϕ ⋆ , General scheme ▸ Compute a posteriori error bounds with Banach theorem. A New Lower Bound on H(4) 9/17

  46. + Banach Fixed-Point Theorem for A Posteriori Validation ▸ Fixed-point equation T ⋅ ϕ = ϕ with T contracting, ▸ Approximation ϕ ○ to exact solution ϕ ⋆ , General scheme ▸ Compute a posteriori error bounds with Banach theorem. Banach Fixed-Point Theorem If ( X , d ) is complete and T contracting of ratio λ < 1, ▸ T admits a unique fixed-point ϕ ⋆ , and ▸ For all ϕ ○ ∈ X , d ( ϕ ○ , T ⋅ ϕ ○ ) ⩽ d ( ϕ ○ , ϕ ⋆ ) ⩽ d ( ϕ ○ , T ⋅ ϕ ○ ) . 1 + λ 1 − λ A New Lower Bound on H(4) 9/17

  47. + Banach Fixed-Point Theorem for A Posteriori Validation ▸ Fixed-point equation T ⋅ ϕ = ϕ with T contracting, ▸ Approximation ϕ ○ to exact solution ϕ ⋆ , General scheme ▸ Compute a posteriori error bounds with Banach theorem. Banach Fixed-Point Theorem If ( X , d ) is complete and T contracting of ratio λ < 1, ▸ T admits a unique fixed-point ϕ ⋆ , and ▸ For all ϕ ○ ∈ X , d ( ϕ ○ , T ⋅ ϕ ○ ) ⩽ d ( ϕ ○ , ϕ ⋆ ) ⩽ d ( ϕ ○ , T ⋅ ϕ ○ ) . 1 + λ 1 − λ ▸ Newton’s method = reformulate F ⋅ ϕ = 0 as T ⋅ ϕ = ϕ with: T ⋅ ϕ = ϕ − A ⋅ F ⋅ ϕ, A New Lower Bound on H(4) 9/17

  48. + Banach Fixed-Point Theorem for A Posteriori Validation ▸ Fixed-point equation T ⋅ ϕ = ϕ with T contracting, ▸ Approximation ϕ ○ to exact solution ϕ ⋆ , General scheme ▸ Compute a posteriori error bounds with Banach theorem. Banach Fixed-Point Theorem If ( X , d ) is complete and T contracting of ratio λ < 1, ▸ T admits a unique fixed-point ϕ ⋆ , and ▸ For all ϕ ○ ∈ X , d ( ϕ ○ , T ⋅ ϕ ○ ) ⩽ d ( ϕ ○ , ϕ ⋆ ) ⩽ d ( ϕ ○ , T ⋅ ϕ ○ ) . 1 + λ 1 − λ ▸ Newton’s method = reformulate F ⋅ ϕ = 0 as T ⋅ ϕ = ϕ with: A ≈ ( D F ( ϕ ○ )) − 1 T ⋅ ϕ = ϕ − A ⋅ F ⋅ ϕ, and check T is contracting. A New Lower Bound on H(4) 9/17

  49. + Banach Fixed-Point Theorem for A Posteriori Validation ▸ Fixed-point equation T ⋅ ϕ = ϕ with T contracting, ▸ Approximation ϕ ○ to exact solution ϕ ⋆ , General scheme ▸ Compute a posteriori error bounds with Banach theorem. Banach Fixed-Point Theorem If ( X , d ) is complete and T contracting of ratio λ < 1, ▸ T admits a unique fixed-point ϕ ⋆ , and ▸ For all ϕ ○ ∈ X , d ( ϕ ○ , T ⋅ ϕ ○ ) ⩽ d ( ϕ ○ , ϕ ⋆ ) ⩽ d ( ϕ ○ , T ⋅ ϕ ○ ) . 1 + λ 1 − λ ▸ Newton’s method = reformulate F ⋅ ϕ = 0 as T ⋅ ϕ = ϕ with: A ≈ ( D F ( ϕ ○ )) − 1 T ⋅ ϕ = ϕ − A ⋅ F ⋅ ϕ, and check T is contracting. ▸ Applications to numerous function space problems. A New Lower Bound on H(4) 9/17

  50. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 A New Lower Bound on H(4) 10/17

  51. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 A New Lower Bound on H(4) 10/17

  52. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 A New Lower Bound on H(4) 10/17

  53. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 A New Lower Bound on H(4) 10/17

  54. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 ▸ Newton-like operator T with unique fixed point ϕ ⋆ = x 2 y down ( x ) : T ⋅ ϕ = ϕ − ψ ( y down ϕ − x 2 ) ψ ( x ) ≈ 1 / y down ( x ) A New Lower Bound on H(4) 10/17

  55. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 ▸ Newton-like operator T with unique fixed point ϕ ⋆ = x 2 y down ( x ) : T ⋅ ϕ = ϕ − ψ ( y down ϕ − x 2 ) ψ ( x ) ≈ 1 / y down ( x ) ▸ Is T contracting? ∥ D T ∥ = ∥ 1 − ψ y down ∥ = λ < 1 A New Lower Bound on H(4) 10/17

  56. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 ▸ Newton-like operator T with unique fixed point ϕ ⋆ = x 2 y down ( x ) : T ⋅ ϕ = ϕ − ψ ( y down ϕ − x 2 ) ψ ( x ) ≈ 1 / y down ( x ) ▸ Is T contracting? ∥ D T ∥ = ∥ 1 − ψ y down ∥ = λ < 1 ▸ Apply the Banach fixed-point theorem: ∥ ϕ ○ − T ⋅ ϕ ○ ∥ = ∥ ψ ( y down ϕ ○ − x 2 )∥ ⩽ η A New Lower Bound on H(4) 10/17

  57. + Division of RPAs ▸ Approximation ϕ ○ ( x ) of ϕ ⋆ = x 2 / y down ( x ) using Chebyshev interpolation: 0 . 8 2 0 . 75 0 . 7 1 . 5 0 . 65 1 0 . 6 0 . 55 0 . 5 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 0 . 6 0 . 7 0 . 8 0 . 9 1 1 . 1 1 . 2 ▸ Newton-like operator T with unique fixed point ϕ ⋆ = x 2 y down ( x ) : T ⋅ ϕ = ϕ − ψ ( y down ϕ − x 2 ) ψ ( x ) ≈ 1 / y down ( x ) ▸ Is T contracting? ∥ D T ∥ = ∥ 1 − ψ y down ∥ = λ < 1 ▸ Apply the Banach fixed-point theorem: ∥ ϕ ○ − T ⋅ ϕ ○ ∥ = ∥ ψ ( y down ϕ ○ − x 2 )∥ ⩽ η ⇒ ∥ ϕ ○ − ϕ ⋆ ∥ ⩽ η /( 1 − λ ) = ε + A New Lower Bound on H(4) 10/17

  58. + Square Root of a RPA √ f ( x ) where f ( x ) = 0 . 8 − ( x 2 − 0 . 9 ) 2 . ▸ ϕ ○ ( x ) ≈ A New Lower Bound on H(4) 11/17

  59. + Square Root of a RPA √ f ( x ) where f ( x ) = 0 . 8 − ( x 2 − 0 . 9 ) 2 . ▸ ϕ ○ ( x ) ≈ √ ▸ ϕ ⋆ = f unique fixed point of: √ 2 ( ϕ 2 − f ) ψ ( x ) ≈ 1 / ϕ ○ ( x ) ≈ 1 / f ( x ) T ⋅ ϕ = ϕ − ψ A New Lower Bound on H(4) 11/17

  60. + Square Root of a RPA √ f ( x ) where f ( x ) = 0 . 8 − ( x 2 − 0 . 9 ) 2 . ▸ ϕ ○ ( x ) ≈ √ ▸ ϕ ⋆ = f unique fixed point of: √ 2 ( ϕ 2 − f ) ψ ( x ) ≈ 1 / ϕ ○ ( x ) ≈ 1 / f ( x ) T ⋅ ϕ = ϕ − ψ ▸ Is T contracting? ∥ D T ( ϕ )∥ = ∥ 1 − ψ ϕ ∥ ⩽ ∥ 1 − ψϕ ○ ∥ + ∥ ψ ∥∥ ϕ − ϕ ○ ∥ A New Lower Bound on H(4) 11/17

  61. + Square Root of a RPA √ f ( x ) where f ( x ) = 0 . 8 − ( x 2 − 0 . 9 ) 2 . ▸ ϕ ○ ( x ) ≈ √ ▸ ϕ ⋆ = f unique fixed point of: √ 2 ( ϕ 2 − f ) ψ ( x ) ≈ 1 / ϕ ○ ( x ) ≈ 1 / f ( x ) T ⋅ ϕ = ϕ − ψ ▸ Is T contracting? ∥ D T ( ϕ )∥ ⩽ ∥ 1 − ψϕ ○ ∥ + ∥ ψ ∥ r sup λ = ∥ ϕ − ϕ ○ ∥⩽ r 1 . 5 1 . 5 1 1 0 . 5 0 . 5 0 0 0 0 . 2 0 . 4 0 . 6 0 . 8 1 0 0 . 2 0 . 4 0 . 6 0 . 8 1 r r A New Lower Bound on H(4) 11/17

  62. + Square Root of a RPA √ f ( x ) where f ( x ) = 0 . 8 − ( x 2 − 0 . 9 ) 2 . ▸ ϕ ○ ( x ) ≈ √ ▸ ϕ ⋆ = f unique fixed point of: √ 2 ( ϕ 2 − f ) ψ ( x ) ≈ 1 / ϕ ○ ( x ) ≈ 1 / f ( x ) T ⋅ ϕ = ϕ − ψ ▸ Is T contracting? ▸ Stable neighborhood for ϕ ○ : ∥ D T ( ϕ )∥ ⩽ ∥ 1 − ψϕ ○ ∥ + ∥ ψ ∥ r ∥ ϕ ○ − T ⋅ ϕ ○ ∥ + λ r ⩽ r sup λ = ∥ ϕ − ϕ ○ ∥⩽ r 1 . 5 1 . 5 1 1 0 . 5 0 . 5 0 0 0 0 . 2 0 . 4 0 . 6 0 . 8 1 0 0 . 2 0 . 4 0 . 6 0 . 8 1 r r A New Lower Bound on H(4) 11/17

  63. + Square Root of a RPA √ f ( x ) where f ( x ) = 0 . 8 − ( x 2 − 0 . 9 ) 2 . ▸ ϕ ○ ( x ) ≈ √ ▸ ϕ ⋆ = f unique fixed point of: √ 2 ( ϕ 2 − f ) ψ ( x ) ≈ 1 / ϕ ○ ( x ) ≈ 1 / f ( x ) T ⋅ ϕ = ϕ − ψ ▸ Is T contracting? ▸ Stable neighborhood for ϕ ○ : ∥ D T ( ϕ )∥ ⩽ ∥ 1 − ψϕ ○ ∥ + ∥ ψ ∥ r ∥ ψ ( ϕ ○ 2 − f )/ 2 ∥ + r (∥ 1 − ψϕ ○ ∥ + ∥ ψ ∥ r ) ⩽ r sup λ = ∥ ϕ − ϕ ○ ∥⩽ r 1 . 5 1 . 5 1 1 0 . 5 0 . 5 0 0 0 0 . 2 0 . 4 0 . 6 0 . 8 1 0 0 . 2 0 . 4 0 . 6 0 . 8 1 r r A New Lower Bound on H(4) 11/17

  64. + Square Root of a RPA √ f ( x ) where f ( x ) = 0 . 8 − ( x 2 − 0 . 9 ) 2 . ▸ ϕ ○ ( x ) ≈ √ ▸ ϕ ⋆ = f unique fixed point of: √ 2 ( ϕ 2 − f ) ψ ( x ) ≈ 1 / ϕ ○ ( x ) ≈ 1 / f ( x ) T ⋅ ϕ = ϕ − ψ ▸ Is T contracting? ▸ Stable neighborhood for ϕ ○ : ∥ D T ( ϕ )∥ ⩽ ∥ 1 − ψϕ ○ ∥ + ∥ ψ ∥ r ∥ ψ ( ϕ ○ 2 − f )/ 2 ∥ + r (∥ 1 − ψϕ ○ ∥ + ∥ ψ ∥ r ) ⩽ r sup λ = ∥ ϕ − ϕ ○ ∥⩽ r 1 . 5 1 . 5 1 1 0 . 5 0 . 5 0 0 0 0 . 2 0 . 4 0 . 6 0 . 8 1 0 0 . 2 0 . 4 0 . 6 0 . 8 1 r r ▸ Apply the Banach fixed-point theorem! A New Lower Bound on H(4) 11/17

  65. + Rigorous Computation of an Abelian Integral Using Degree N = 10 √ 0 . 8 − ( x 2 − 0 . 9 ) 2 : ▸ · 10 − 5 1 0 − 1 0 . 6 0 . 8 1 1 . 2 A New Lower Bound on H(4) 12/17

  66. + Rigorous Computation of an Abelian Integral Using Degree N = 10 √ 0 . 8 − ( x 2 − 0 . 9 ) 2 : ▸ · 10 − 5 1 0 − 1 √ √ 0 . 6 0 . 8 1 1 . 2 0 . 8 − ( x 2 − 0 . 9 ) 2 : ▸ y down ( x ) = 1 . 1 − · 10 − 5 1 0 − 1 0 . 6 0 . 8 1 1 . 2 A New Lower Bound on H(4) 12/17

  67. + Rigorous Computation of an Abelian Integral Using Degree N = 10 √ 0 . 8 − ( x 2 − 0 . 9 ) 2 : ▸ · 10 − 5 1 0 − 1 √ √ 0 . 6 0 . 8 1 1 . 2 0 . 8 − ( x 2 − 0 . 9 ) 2 : ▸ y down ( x ) = 1 . 1 − · 10 − 5 1 0 − 1 √ √ 0 . 6 0 . 8 1 1 . 2 0 . 8 − ( x 2 − 0 . 9 ) 2 : ▸ x 2 / y down ( x ) = x 2 / y down ( x ) = 1 . 1 − 1 · 10 − 4 0 . 5 0 − 0 . 5 − 1 0 . 6 0 . 8 1 1 . 2 A New Lower Bound on H(4) 12/17

  68. + Validation of Our Result 2 ( × 10 − 4 ) 1 0 − 1 h − 2 − 0 . 5 − 0 . 45 − 0 . 4 − 0 . 35 − 0 . 3 − 0 . 25 1 ( × 10 − 7 ) 0 . 5 0 − 0 . 5 h − 1 -0.315 -0.310 -0.305 A New Lower Bound on H(4) 13/17

  69. + Validation of Our Result 2 ( × 10 − 4 ) N = 12 N = 22 1 0 N = 24 − 1 N = 16 h − 2 − 0 . 5 − 0 . 45 − 0 . 4 − 0 . 35 − 0 . 3 − 0 . 25 1 ( × 10 − 7 ) N = 80 0 . 5 0 N = 130 − 0 . 5 N = 100 N = 240 h − 1 -0.315 -0.310 -0.305 A New Lower Bound on H(4) 13/17

  70. + Validation of Our Result 4 × 5 + 2 × 2 = 24 A New Lower Bound on H(4) 13/17

  71. Outline 1 A quartic example for Hilbert 16th problem 2 Computing Abelian integrals with rigorous polynomial approximations 3 Wronskian and extended Chebyshev systems 4 Conclusion A New Lower Bound on H(4)

  72. + Wronskian and Extended Chebyshev Systems ( f 0 , f 1 , . . . , f n ) extended Chebyshev system if all combination α 0 f 0 + ⋅ ⋅ ⋅ + α i f i has at most i zeros, for 0 ⩽ i ⩽ n . A New Lower Bound on H(4) 14/17

  73. + Wronskian and Extended Chebyshev Systems ( f 0 , f 1 , . . . , f n ) extended Chebyshev system if all combination α 0 f 0 + ⋅ ⋅ ⋅ + α i f i has at most i zeros, for 0 ⩽ i ⩽ n . ⇔ W 0 ( x ) , . . . , W n ( x ) ≠ 0 for all x : � � � f 0 ( x ) f 1 ( x ) f i ( x ) � � � � � � . . . � � � � 0 ( x ) 1 ( x ) i ( x ) � � � � f ′ f ′ f ′ � . . . W i ( x ) = � � � � ⋮ ⋮ ⋱ ⋮ � � � � � � � � � � � � ( x ) ( x ) ( x ) � � f ( i ) f ( i ) f ( i ) � � . . . 0 1 i A New Lower Bound on H(4) 14/17

Recommend

Implications of case and agreement patterns in three Caucasian dialects spoken in Turkey: Pazar

Implications of case and agreement patterns in three Caucasian dialects spoken in Turkey: Pazar

Conference on Caucasian Languages balkiz.ozturk@boun.edu.tr Max Planck Institute for Evolutionary Anthropology omer.demirok@boun.edu.tr Leipzig, May 13-15, 2011 gokselas@boun.edu.tr Implications of case and agreement patterns in three Caucasian

359 views • 11 slides
Complex numbers The complex number system is an extension of the real number system. It unifies

Complex numbers The complex number system is an extension of the real number system. It unifies

Complex numbers The complex number system is an extension of the real number system. It unifies the mathematical number system and explains many mathematical phenomena. Elementary Functions We introduce a number i = 1 defined to satisfy

429 views • 9 slides
Beyond the segment Markus A. P ochtrager ( markus.pochtrager@boun.edu.tr ) ci University

Beyond the segment Markus A. P ochtrager ( markus.pochtrager@boun.edu.tr ) ci University

Outline Length English paves the way for Estonian Bisyllabic sequences Conclusion References Beyond the segment Markus A. P ochtrager ( markus.pochtrager@boun.edu.tr ) ci University Bo gazi Istanbul, Turkey CUNY Conference

1.11k views • 44 slides
NDALs Research Activities A. Nazl BAAK http://www.ndal.boun.edu.tr/posters.php

NDALs Research Activities A. Nazl BAAK http://www.ndal.boun.edu.tr/posters.php

NDALs Research Activities A. Nazl BAAK http://www.ndal.boun.edu.tr/posters.php Neurodegenerative Diseases have tremendous adverse effects on the aging population..... people of all nations, races, ethnicity are affected.....

1.27k views • 78 slides
Proposed Boun dary Chan ges J an uary 23, 20 20 Proposed Boundary Changes Reasons for

Proposed Boun dary Chan ges J an uary 23, 20 20 Proposed Boundary Changes Reasons for

Proposed Boun dary Chan ges J an uary 23, 20 20 Proposed Boundary Changes Reasons for attendance boundary changes now Terra Vista Elementary enrollment Changes proposed for 2020-21 Process Update Completed 1 Staff Input Meeting

1.16k views • 6 slides
Exa Examining ining Boun oundari daries of Elec of Electoral toral Wards in ards in Kwa

Exa Examining ining Boun oundari daries of Elec of Electoral toral Wards in ards in Kwa

Exa Examining ining Boun oundari daries of Elec of Electoral toral Wards in ards in Kwa Kwa-Zul ulu Nat u Natal: al: Delim elimit itati ation on Re Requirem uiremen ents and Sp and Spati atial Com al Complianc liance Ntobeko

732 views • 33 slides
1 PRESE PRESENT NTATION TION ON ON MUNIC MUNICIP IPAL AL BOUN BOUNDAR ARY Y RE

1 PRESE PRESENT NTATION TION ON ON MUNIC MUNICIP IPAL AL BOUN BOUNDAR ARY Y RE

Beyond Boundaries 1 PRESE PRESENT NTATION TION ON ON MUNIC MUNICIP IPAL AL BOUN BOUNDAR ARY Y RE RE-DETERMIN DETERMINATIO TION, N, WAR WARD D DELIMIT DELIMITATION TION PR PROCESSE OCESSES AND S AND MDB MDB CONFERENCE

883 views • 17 slides
Epi Epist stemi emic c Is Issu sues es Co Conc ncernin erning g Bo Boun undary dary

Epi Epist stemi emic c Is Issu sues es Co Conc ncernin erning g Bo Boun undary dary

Epi Epist stemi emic c Is Issu sues es Co Conc ncernin erning g Bo Boun undary dary &amp; &amp; In Initial tial Co Cond nditi ition ons s in n MOD MODSIM SIM Dennis M. Bushnell Chief Scientist NASA Langley Research

1.15k views • 65 slides
Lower bounds for the number of small convex k -holes Oswin Aichholzer 1 , Ruy Fabila-Monroy 2 ,

Lower bounds for the number of small convex k -holes Oswin Aichholzer 1 , Ruy Fabila-Monroy 2 ,

Institute for Software Technology Graz University of Technology P 23629N18 Lower bounds for the number of small convex k -holes Oswin Aichholzer 1 , Ruy Fabila-Monroy 2 , Thomas Hackl 1 , Clemens Huemer 3 , Alexander Pilz 1 , and Birgit

831 views • 72 slides
On the development of an implantable - biomechatronic system for the rehabilitation of lower

On the development of an implantable - biomechatronic system for the rehabilitation of lower

On the development of an implantable - biomechatronic system for the rehabilitation of lower limb neuro-muscular disabilities. V.N. Syrimpeis a , L.L. Chiou a , V.C. Moulianitis a , N.A. Aspragathos a , E.C Panagiotopoulos b a Department of

555 views • 17 slides
i D = d r i = i n . : radix point r : base or radix dp-1 : the

i D = d r i = i n . : radix point r : base or radix dp-1 : the

Number Systems And Codes Positional Number System General form of a number : d d ... d d . d d ... d p 1 p 2 1 0 1 2 n The value of the number : p 1 i D = d r i = i n

551 views • 4 slides
How can we help lower the number of older people being admitted to A&amp;E? Report on a survey

How can we help lower the number of older people being admitted to A&amp;E? Report on a survey

How can we help lower the number of older people being admitted to A&amp;E? Report on a survey undertaken by Rotherham Older Peoples Forum, 2015 Rotherham Clinical Commissioning Group Who did the survey? What did we fjnd out? Rotherham

362 views • 14 slides
Testing Service Oriented Architectures Using Stateful Service Virtualization Via Machine Learning

Testing Service Oriented Architectures Using Stateful Service Virtualization Via Machine Learning

Testing Service Oriented Architectures Using Stateful Service Virtualization Via Machine Learning Hasan Ferit Eni ser, Alper Sen { hasan.eniser,alper.sen } @boun.edu.tr depend.cmpe.boun.edu.tr Department of Computer Engineering Bo gazi

1.14k views • 94 slides
CmpE 596: Service-Oriented Computing Pnar Yolum pinar.yolum@boun.edu.tr Department of

CmpE 596: Service-Oriented Computing Pnar Yolum pinar.yolum@boun.edu.tr Department of

CmpE 596: Service-Oriented Computing Pnar Yolum pinar.yolum@boun.edu.tr Department of Computer Engineering Bo gazic i University CmpE 596: Service-Oriented Computing p.1/53 Course Information Topics Work Schedule Grading

827 views • 53 slides
Chapter 1 Analog vs. Digital Positional Number Systems Number Systems And Codes

Chapter 1 Analog vs. Digital Positional Number Systems Number Systems And Codes

Chapter Outline Chapter 1 Analog vs. Digital Positional Number Systems Number Systems And Codes Positional Number System Conversions Binary System operations Computer Application Encoding Techniques Flaxer Eli - ComputerAppl

447 views • 8 slides
Lower Bounds for Number-in-Hand Multiparty Communication Complexity Jeff M. Phillips Elad

Lower Bounds for Number-in-Hand Multiparty Communication Complexity Jeff M. Phillips Elad

Lower Bounds for Number-in-Hand Multiparty Communication Complexity Jeff M. Phillips Elad Verbin, Qin Zhang Univ. of Utah CTIC/MADALGO, Aarhus Univ. SODA 2012, Kyoto Jan. 17, 2012 1-1 The multiparty communication model x 1 = 010011 x 2 =

762 views • 40 slides
SS7 Signaling System Number 7 1 SS7 A Brief Overview Defined by ITU-T in its

SS7 Signaling System Number 7 1 SS7 A Brief Overview Defined by ITU-T in its

SS7 Signaling System Number 7 1 SS7 A Brief Overview Defined by ITU-T in its Q.700-series, ANSI, and ETSI Out-of-band signaling system Designed for call control, remote network management, and maintenance Combines

1.19k views • 64 slides
System Modeling: Complex Number and Harmonic Motion Prof. Seungchul Lee Industrial AI Lab.

System Modeling: Complex Number and Harmonic Motion Prof. Seungchul Lee Industrial AI Lab.

System Modeling: Complex Number and Harmonic Motion Prof. Seungchul Lee Industrial AI Lab. Complex Number 2 Complex Number Add 3 Euler's Formula Complex number in complex exponential 4 Complex Number Multiply 5 Geometrical

358 views • 34 slides
Video 1: Rounding errors -0 A number system can be represented as ! = 1. &amp; ! &amp; &quot;

Video 1: Rounding errors -0 A number system can be represented as ! = 1. &amp; ! &amp; &quot;

Video 1: Rounding errors -0 A number system can be represented as ! = 1. &amp; ! &amp; &quot; &amp; # &amp; $ 2 % for ! [6,6] and ( ! {0,1} . = Lets say you want to represent the decimal number 19.625 using the binary number

277 views • 25 slides
Lower Costs Agenda Overview The current state of the U.S. healthcare system

Lower Costs Agenda Overview The current state of the U.S. healthcare system

December 1, 2015 Spreading and Scaling Healthcare Innovations That Improve Quality and Lower Costs Agenda Overview The current state of the U.S. healthcare system About the Peterson Center on Healthcare The role

578 views • 18 slides
Lower Darling June 2018 Introduction Current System Update Operations 2016-18

Lower Darling June 2018 Introduction Current System Update Operations 2016-18

Lower Darling June 2018 Introduction Current System Update Operations 2016-18 Forecast Operation Releases and storage levels Water Quality Block Banks, Pooncarie Weir General Business Timeline of Consultation

591 views • 20 slides
CmpE 473: Internet Programming Pnar Yolum pinar.yolum@boun.edu.tr Department of Computer

CmpE 473: Internet Programming Pnar Yolum pinar.yolum@boun.edu.tr Department of Computer

CmpE 473: Internet Programming Pnar Yolum pinar.yolum@boun.edu.tr Department of Computer Engineering Bo gazic i University CmpE 473: Internet Programming p. 1 WSDL CmpE 473: Internet Programming p. 2 Web Service Description

874 views • 18 slides
The Power of Binary 0, 1, 10, 11, 100, 101, 110, 111... What is Binary? a binary number

The Power of Binary 0, 1, 10, 11, 100, 101, 110, 111... What is Binary? a binary number

The Power of Binary 0, 1, 10, 11, 100, 101, 110, 111... What is Binary? a binary number is a number expressed in the binary numeral system, or base-2 numeral system, which represents numeric values using two different symbols: typically

485 views • 19 slides
WORLD-CLASS TRAIL SYSTEM ALONG THE APPOMATTOX RIVER The Lower Appomattox River ~23 miles

WORLD-CLASS TRAIL SYSTEM ALONG THE APPOMATTOX RIVER The Lower Appomattox River ~23 miles

COLLABORATIVE PARTNERSHIPS TO BUILD A WORLD-CLASS TRAIL SYSTEM ALONG THE APPOMATTOX RIVER The Lower Appomattox River ~23 miles from Lake Chesdins Brasfield Dam To City Point in Hopewell A River Connects Us The Scenic Appomattox

374 views • 36 slides

More recommend