1: $-convergence, to the (multiple of the) Dirichlet integral

2: $