Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
[SEC. 5.5: COMPACTIFICATIONS 71<br />
Exercise 5.3. The Frobenius norm for tensors T i1···ip<br />
j 1···j q<br />
n∑<br />
‖T ‖ F = √ |T i1···ip<br />
j 1···j q<br />
| 2<br />
i 1,··· ,j q=1<br />
The unitary group acts on the variable j 1 by composition:<br />
is<br />
T i1···ip<br />
j 1···j q<br />
U<br />
<br />
N<br />
∑<br />
k=1<br />
T i1···ip<br />
k···j q<br />
U k j 1<br />
.<br />
Show that the Frobenius norm is invariant for the U(n)-action. Deduce<br />
that it is invariant when U(n) acts simultaneously on all lower<br />
(or upper) indices. Deduce that Weyl’s norm is invariant by unitary<br />
action f f ◦ U.<br />
Exercise 5.4. This is another proof that the inner product defined<br />
in (5.2) is U(n + 1)-invariant. Show that for all f ∈ H d ,<br />
‖f‖ 2 = 1 ∫<br />
2 d ‖f(x)‖ 2 1<br />
/2<br />
d! C (2π) n+1 dV (x).<br />
e−‖x‖2<br />
n+1<br />
The integral is the L 2 norm of f with respect to zero average, unit<br />
variance probability measure. Conclude that ‖f‖ is invariant.<br />
Exercise 5.5. Show that if F = H d , then the induced norm defined<br />
in Lemma 5.10 is d times the Fubini-Study metric. Hint: assume<br />
without loss of generality that x = e 0 .