1: $ (by Lemma \ref{lem:pestimate}),

2: one gets weak convergence of gradient

3: $