21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

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 .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!