Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

(As usual $V \subset H$ are separable Hilbert spaces)

In a book I read this about existence of the solutions to parabolic PDEs:

the approximate solution $u_n(t)$ solves the equation $$(u_n', w_j) + (Au_n, w_j) = \langle f, w_j \rangle\tag{1}$$ for $j=1,...,N$. Here $w_j$ is the set of basis functions associated with the problem. We can write this as $$u_n' + Au_n = f$$ as an equality in $L^2(0,T;V').$

Surely this is not an equality in $L^2(0,T;V')$ but an equality in (I think) $L^2(0,T;V_n')$ where $V_n$ is the finite dimensional subset of $V$ spanned on $w_j$ for $j=1,...,N$? Because we only have that $(1)$ holds for everything in $V_n$ (by linearity).

The author then obtains a bound on $u_n'$ using this equality -- any elaboration would be useful.

I posted this in MSE (http://math.stackexchange.com/questions/418443/an-equality-in-l20-tv-weak-solution-to-pde-via-galerkin-approximations), please see for some discussion if you like.

share|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.