https://123dok.net/document/qmj5g55w-lower-bound-principal-eigenvalue-stokes-operator-random-domain.html