Bourbaki

Exercise 7, § 2

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

Functions of a Real Variable, IV, 205

a) Let t↦A(t)t \mapsto A(t) be a map from an interval J⊂RJ \subset \mathbf{R} into L(E)\mathscr{L}(E), such that, for every x∈Ex \in E, the map t↦A(t).xt \mapsto A(t).x of JJ into EE is continuous. Show that t↦∥A(t)∥t \mapsto \|A(t)\| is bounded on every compact interval K⊂JK \subset J (use Gen. Top., IX, p. 194, th. 2). Under these conditions show that, for every point (t0,x0)∈J×E(t_0, x_0) \in J \times E the equation dx/dt=A(t).x+b(t)d\mathbf{x}/dt = A(t).\mathbf{x} + \mathbf{b}(t) has one and only one solution defined on JJ and equal to x0\mathbf{x}_0 at the point t0t_0. Further, if one denotes this solution by u(t,t0,x0)\mathbf{u}(t, t_0, \mathbf{x}_0), the map x0↦u(t,t0,x0)\mathbf{x}_0 \mapsto \mathbf{u}(t, t_0, \mathbf{x}_0) is a bijective bicontinuous linear map C(t,t0)C(t, t_0) of EE onto itself, which satisfies the relations (6) (IV, p. 179) and (7) (IV, p. 181); further, the map (s,t)↦C(s,t)(s, t) \mapsto C(s, t) is continuous from J×JJ \times J into L(E)\mathscr{L}(E).

b) Take for EE the space of sequences x=(xn)n∈N\mathbf{x} = (x_n)_{n \in \mathbf{N}} of real numbers such that lim⁡n→∞xn=0\lim_{n \to \infty} x_n = 0, endowed with the norm ∥x∥=sup⁡∣xn∣\|\mathbf{x}\| = \sup |x_n|, under which EE is complete. For each t∈J=[0,1]t \in J = [0, 1], let A(t)A(t) be the linear map of EE into itself such that

A(t).x=(11+ntxn)n∈N A(t).\mathbf{x} = \left( \frac{1}{1 + nt} x_n \right)_{n \in \mathbf{N}}

Show that A(t)A(t) satisfies the conditions of a) but that the map t↦A(t)t \mapsto A(t) of JJ into L(E)\mathscr{L}(E) is not continuous at the point t=0t = 0, and that the resolvent C(t,t0)C(t, t_0) of the equation dx/dt=A(t).xd\mathbf{x}/dt = A(t).\mathbf{x} is such that the map t↦C(t,t0)t \mapsto C(t, t_0) of JJ into L(E)\mathscr{L}(E) is not differentiable at the point t=0t = 0.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.