First, we prove Item (1). By (3.51) we have
| (3.97) |
|
|
|
for a function . The function is given by
| (3.98) |
|
|
|
Now we compute the expansion of . Applying the expansions of , and in Lemma 3.4, one can directly obtain the following,
| (3.99) |
|
|
|
|
| (3.100) |
|
|
|
|
| (3.101) |
|
|
|
|
Plugging (3.100) and (3.101) into (3.99),
| (3.102) |
|
|
|
Let be the inverse of the matrix . Since by (3.76), so it follows that
| (3.103) |
|
|
|
Plugging (3.101) into the above,
| (3.104) |
|
|
|
Therefore, substituting (3.102) and (3.104) into (3.98),
| (3.105) |
|
|
|
which completes the proof of Item (1).
Now we prove Item (2).
For each , we can write
| (3.106) |
|
|
|
Taking point-wise wedge product with , and noticing , are both zero, then we obtain
| (3.107) |
|
|
|
| (3.108) |
|
|
|
Therefore, by (3.51) and (3.87) we get
| (3.109) |
|
|
|
Similarly taking wedge product with and respectively, and again by (3.87) we obtain
that
| (3.110) |
|
|
|
These imply that
| (3.111) |
|
|
|
where , and .
∎