Bourbaki

Corollary 1

Tag 08BW, permanent. Cite it as [Bourbaki, Tag 08BW].

Functions of a Real Variable, chapter IV, § 1. EXISTENCE THEOREMS

If H = E and J ≠ I then f(t, u(t)) is not bounded on J, if, further, E is finite dimensional, then ∥u(t)∥\|u(t)\| has left limit +∞+\infty at the right-hand endpoint of J.

The first part is an immediate consequence of the third part of th. 2 If E is finite dimensional then every closed ball S ⊂ E is compact, so the second part of th. 2 shows that there exists a γ ∈ J such that u(t) ∉ S for t > γ.

If E is finite dimensional it can happen that J ≠ I but that ∥u(t)∥\|u(t)\| remains bounded as t tends to the right-hand endpoint of J (IV, p. 200, exerc. 5).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.