I have a question. If $u$ and $u_h$ are the solutions of the continuous and discrete variational equations, respectively, then for $u\in H^1_0$, how does one prove that $\lim_{h\rightarrow 0} \|u - u_h\| = 0$ where the norm is taken in the $H^1(\sigma)$. Sigma is the domain. Thank you.
Error estimation in $H^1(\sigma)$
0
$\begingroup$
ordinary-differential-equations
numerical-methods
-
0Let me know if this is correct, and take a look at the edits to see how it's done :) – 2012-07-05
1 Answers
0
This is a broadly posed question, so I'll paint a picture in similarly broad strokes.
Let $E$ denote the functional you are minimizing on some space $V$. Let $E_*=\inf_V E$, and assume it's attained at $u_*$. You need two ingredients:
(*) $\qquad \forall \epsilon>0$ $\exists \delta>0$ such that $E(u)
(**)$\qquad$The union of all finite-dimensional subspaces $V_h\subset V$ (which correspond to discretization of the problem) is dense in $V$.
Given $\epsilon>0$, pick $\delta>0$ from (*). Since the set $\Omega_\delta=\{u\in V\colon E(v)