Lower semicontinuity of energy integrals under pointwise $C^1$ convergence in a symplectization

Initializing...

Lower semicontinuity of energy integrals under pointwise $C^1$ convergence in a symplectization · Prove2Me