1
vote
1answer
185 views

Proving Fréchet differentiability

Am learning about Fréchet differentials and was wondering if for a real matrix $X$ and positive semidefinite real matrices $A,B$ the function $f(X)=TrX^TAX-X^TBX$ is twice Fréchet differentiable or ...
0
votes
1answer
145 views

Averaging differential forms

Let $M$ be a manifold with a circle action, i.e. with a 1-parameter group of diffeomorphisms $\phi_t:M\to M$ of period 1. I think of the average of a differential form $\omega \in \Omega^n(M)$ with ...