• DocumentCode
    3269630
  • Title

    Lipschitz Continuous Ordinary Differential Equations are Polynomial-Space Complete

  • Author

    Kawamura, Akitoshi

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON, Canada
  • fYear
    2009
  • fDate
    15-18 July 2009
  • Firstpage
    149
  • Lastpage
    160
  • Abstract
    In answer to Ko´s question raised in 1983, we show that an initial value problem given by a polynomial-time computable, Lipschitz continuous function can have a polynomial-space complete solution. The key insight is simple: the Lipschitz condition means that the feedback in the differential equation is weak. We define a class of polynomial-space computation tableaux with equally restricted feedback, and show that they are still polynomial-space complete. The same technique also settles Ko´s two later questions on Volterra integral equations.
  • Keywords
    Volterra equations; computational complexity; differential equations; initial value problems; Lipschitz continuous ordinary differential equation; Volterra integral equation; computational complexity; initial value problem; polynomial-space complete solution; restricted feedback; Complexity theory; Computational complexity; Computer science; Differential equations; Educational institutions; Feedback; Integral equations; Mathematical analysis; Polynomials; Turing machines; Lipschitz condition; Picard–Lindelöf Theorem; Volterra integral equations; computable analysis; computational complexity; initial value problem; ordinary differential equations; polynomial space;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Complexity, 2009. CCC '09. 24th Annual IEEE Conference on
  • Conference_Location
    Paris
  • ISSN
    1093-0159
  • Print_ISBN
    978-0-7695-3717-7
  • Type

    conf

  • DOI
    10.1109/CCC.2009.34
  • Filename
    5231271