For every real , the gauge transform has the same norm as . Since , the variational bound from part 1 gives . Expanding its gradient giveswhereThis quadratic polynomial is nonnegative for every , so its discriminant is nonpositive. Thereforewhich is the desired estimate.
Articles by others on the same topic
There are currently no matching articles.