Does Peano's theorem apply to spaces with infinite dimension?

Question

Does Peano's theorem apply to spaces with infinite dimension? Or is there a counterexample?

Here, Peano's theorem is:

Let $E$ be a space with finite dimension. Consider a point $(t_0,x_0) \in \Re \times E$, constants $ a, b > $ 0 and a continuous function $$F: [t_0 - a, t_0 + a] \times B_b[x_0] \longrightarrow E$$ Then for every $ M> $ 0 satisfying $$\sup \{||F(t,x)||:(t,x) \in [t_0 - a, t_0 + a] \times B_b[x_0]\} < M$$ the Cauchy problem $$x'(t)=F(t,x(t));\ \ x(t_0)=x_0$$ admits at least one solution in the interval: $$\big[t_0 - \min(a,\frac{b}{M}),t_0 + \min(a,\frac{b}{M})\big] $$ An infinite-dimensional counterexample would be of great help. Thank you very much.

Answer 1

No, Peano's existence theorem fails completely in infinite-dimensional spaces: there are counterexamples in every infinite-dimensional Banach space. This is a theorem of Godunov [1], while the first counterexample in some Banach space was due to Dieudonné [2].

It's not hard to see that the finite-dimensional proof fails (the weak point is generally when Arzelà–Ascoli is applied), but I still find it surprising that the theorem fails as well, since it naively sounds like it should obviously be true.

[1] Godunov, A. N., Peano’s theorem in Banach spaces, Funct. Anal. Appl. 9, 53-55 (1975); translation from Funkts. Anal. Prilozh. 9, No. 1, 59-60 (1975). ZBL0314.34059.

[2] Dieudonné, Jean, Deux exemples singuliers d’équations différentielles, Acta Sci. Math., Szeged 12 B, 38-40 (1950). ZBL0037.06002.

Answer 2

Since your questions refers to infinite dimensional spaces and not specifically to Banach spaces, it might interest you that there are positive results for locally convex spaces. These all to a certain extent rely on the fact that in general lcs's, in contrast to Banach spaces, (for example, in Montel spaces or reflexive Banach spaces with the weak topology), one can have large compact sets. The main principle behind the results is that in the presence of compactness one can employ the finite dimensional case by reducing to projective limits of spectra of finite dimensional spaces. One possible reference is Astala, Kari, On Peano’s theorem in locally convex spaces, Stud. Math. 73, 213-223 (1982). ZBL0507.34047.

Answer 3

Though the answer of Henry Cohn is great, let me mention that Peano's theorem fails in a much broader sense as well, as shown in

B. M. Garay, Deleting Homeomorphisms and the Failure of Peano's Existence Theorem in Infinite-Dimensional Banach Spaces, Funkcialaj Ekvacioj, 34 (1991), 85--93