Let T>0 and d be as in the definition of the Lebesgue space L2([0,T];Rd), and let ⟨⋅,⋅⟩L2 be the pairing of that definition. Let (un)n∈N be a sequence in L2([0,T];Rd) and let u∈L2([0,T];Rd).
The sequence (un)n∈N converges weakly to u, written un⇀u, if for every v∈L2([0,T];Rd) the real sequence (⟨un,v⟩L2)n∈N has limit ⟨u,v⟩L2. In that case u is called a weak limit of the sequence.