https://123dok.net/document/q2n7465e-existence-ginzburg-landau-solutions-plane-direct-variational-method.html