Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For a Hilbert triple $V \subset H \subset V^*$, and for $u,v \in L^2(0,T;V)$ with $u',v' \in L^2(0,T;V^*)$

Why is it true that

$$\frac{d}{dt}(u(t),v(t))_{H} = \langle u'(t), v(t)\rangle_{V^*,V} + \langle v'(t), u(t)\rangle_{V^*,V}?$$

I just saw this result on MO and tried to look in Evans but he does it for the $L^2$ case. Can someone tell me the proof? Thanks.

share|cite|improve this question
Have you tried following the proof of $(uv)'=u'v+v'u$ and if so, where have you encountered a problem? – user53153 Jan 20 '13 at 18:00
@5PM But $uv$ is not defined in general, right? We don't know what kind of space $H$ is. – george.s Jan 20 '13 at 18:02
I meant the ordinary calculus proof for real valued functions $u,v$. It proceeds through things like $u(t+h)v(t+h)-u(t)v(t) = (u(t+h)-u(t))v(t)+(v(t+h)-v(t))u(t+h)$, which apply equally well to all bilinear forms, not just scalar multiplication. – user53153 Jan 20 '13 at 18:03
@5PM Thankyou, I will try it out. – george.s Jan 20 '13 at 18:31
@5PM I tried it and I get the RHS with the pairing turned into inner product in $H$. I think $\frac{d}{dt}$ is weak derivative, so we cannot do this way maybe. – george.s Jan 20 '13 at 18:37
up vote 1 down vote accepted

I would suggest the following:

  1. Prove the equation for $u,v \in H^1(0,T, V)$.

  2. Recall that $$(u,v)_H = (i \, u, v)_{V^*,V}$$ for all $u,v \in V$. Here, $i : V \to V^*$ is the embedding from $V$ into $V^*$ defined via the Hilbert triplet.

  3. Now, a density argument shows that the formula holds for $u,v$ in the desired space.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.