8

Let $V$ be a seperable Banach space, which is dense and continuously embedded in a Hilbert Space $H$. Let $(V_m)$ be a Galerkin scheme (See definition below) for $V$.

Using the embedding we can regard the $(V_m)$ as subspaces of $H$. Then let $(P_m)$ be the orthogonal projections onto $(V_m)$. Using the embedding again, we can regard those as Operators in $V$.

For certain choices of $V, H, (V_m)$ one can prove, that the series of orthogonal projections is stable in $V$. This means, that there is a constant $C$ such that $$||P_m || = \sup_{x \in V\backslash\{0\}} \frac{||P_m(x)||}{||x||} \leq C \ .$$

Proves for certain choices of $V,H,(V_m)$ can be found for example in a Paper of M. Crouzeix and V. Thomée ($V=L_p, H=L_2$) and more recently in a Paper of E. Emmrich and D. Siska (See Remark 3.8. and Lemma 4.2).

Being fairly new to this subject, I am trying to figure out, why this property should not allways hold. So my question is if anyone can think of a nice counterexample, i.e. a set $V, H, (V_m)$ for which the property is not fullfilled.

Update

  • Definition of a Galerkin scheme

Let $(V, || \cdot||)$, be a Banach space. A Galerkin scheme is a series $\{V_m\}$ of finite dimensional subspaces $V_m \subset V$ that fullfills $$\lim_{m \rightarrow \infty} \text{dist}(v,V_m) \rightarrow 0 \qquad \forall v \in V$$ Where the distance is defined as $$\text{dist}(v,V_m) := \inf_{w \in V_m} ||v-w||$$

Haatschii
  • 1,037
  • 1
    Could you define "Galerkin scheme"? – Julien Jul 03 '13 at 02:34
  • @julien: Added the definition (how I know it). – Haatschii Jul 03 '13 at 02:47
  • How can a Banach space be dense but not the whole space? Is the map not norm-preserving? – Brian Rushton Jul 03 '13 at 02:53
  • 1
    @BrianRushton For instance, $\ell^\infty$ is continuously embedded in $\ell^2$ by $(x_n)\longmapsto (x_n/n)$, with dense range. I believe that is what is meant, but I am not sure. – Julien Jul 03 '13 at 03:07
  • @BrianRushton I think one prominent example is $L_p([0,1])$, $p>2$, which is dense in $L_2([0,1])$. With $L_2$ being a Hilbert space and $L_p$ a Banach space. – Haatschii Jul 03 '13 at 03:18
  • @Haatschii Sorry to interrupt but this Q is similar to mine (http://math.stackexchange.com/questions/430963/is-this-projection-operator-onto-a-subspace-of-a-hilbert-space-bounded). I am wondering if your Galerkin scheme is the same as the usual Galerkin finite dimensional subspace thing in parabolic pde. – michael_faber Jul 03 '13 at 21:19
  • @michael_faber, yes its quite similar, except V is not a Hilbert space here. Can you give a definition (link) of the "usual Galerkin finite dimensional subspace"? But I would guess that it is the same. – Haatschii Jul 03 '13 at 21:44
  • This is a typical question on finite element approximation for incompressible Stokesian flow. – Shuhao Cao Jul 03 '13 at 23:20
  • @Haatschii The definition is: $V_m$ is a m-dimensional subspace of $V$ with the property that $\cup_m V_m$ is dense in $V$. So for every $v \in V$, there is a sequence ${v_m}$ with $v_i \in V_i$ for each $i$ such that $v_m \to v$ as $m \to \infty.$ – michael_faber Jul 04 '13 at 07:56
  • @michael_faber, yea that is equivalent. – Haatschii Jul 04 '13 at 15:02

2 Answers2

5

This is a typical question in finite element approximation for incompressible Stokesian flow. Also since you mentioned the paper of Crouzeix and Thomée, both of whom are very famous in finite element community, a finite element counter-example here seems appropriate.

The question is:

Is the projection bounded? If we project $L^2$-regular divergence-free vector fields into a finite dimensional subspace of $H^1$-regular divergence-free vector fields.

The answer is No.

Spaces: Consider $\Omega\in \mathbb{R}^2$ being a simply-connected bounded smooth domain $$\newcommand{\b}{\boldsymbol} H = \{\b{v}\in L^2(\Omega): \mathrm{div}\,\b{v} = 0 \}, $$ and $$ V = \{\b{v}\in H^1(\Omega): \mathrm{div}\,\b{v} = 0 \}. $$

$V$ is then dense in $H$ (for a proof please refer to my answer here: Relation of the kernels of one bounded operator and its extension , basically I modified Tartar's argument in his book for $C^{\infty}$-vector fields, a much simpler argument would be simply using $C^{\infty}(\Omega)\subset H^1(\Omega)\subset L^2(\Omega)$ and density of $C^{\infty}$-vector fields).

Norms and continuous embedding: Norms for $H$ is the $H(\mathrm{div})$-norm : $$ \|\cdot \|_{H(\mathrm{div})} := \left(\|\cdot \|_{L^2}^2 + \|\mathrm{div }\cdot \|_{L^2}^2\right)^{1/2}. $$ Norm for $V$ is the standard $H^1$-norm: $$ \|\cdot \|_{H^1} := \left(\|\cdot \|_{L^2}^2 + \|\nabla (\cdot) \|_{L^2}^2\right)^{1/2}. $$ Clearly for every $\b{v}\in V$: $$\left(\|\b{v} \|_{L^2}^2 + \|\mathrm{div }\,\b{v} \|_{L^2}^2\right)^{1/2} = \|\b{v}\|_{H}\leq \|\b{v}\|_{V}=\left(\|\b{v}\|_{L^2}^2 + \|\nabla \b{v}\|_{L^2}^2\right)^{1/2}$$ because the divergence's $L^2$-norm is bounded by the full gradient's $L^2$-norm, not just the incompressible ones (incompressible means divergence free), hence continuously embeddedness is true as well.

Going into finite dimension: Let $V_m \subset V$ be a finite element space, of which each element is a piecewise continuous polynomial vector field. Please see Thomasset's book in finite element for Navier-Stokes equation for a construction on a Delaunay triangulation, or Brenner and Scott's finite element book exercise 11.x.24, both of which have the formula for the polynomial vector fields.

Now consider the projection $$P_m: H\to V_m\cap\{\b{v} = 0\text{ on }\partial \Omega\}\subset V$$ where the orthogonality is in $H$'s inner product: for any $\b{w}_i\in V_m$ $$ (P_m \b{v} - \b{v},\b{w}_i)_{L^2} + (\mathrm{div}(P_m \b{v} - \b{v}),\mathrm{div}\,\b{w}_i)_{L^2} = 0. $$ Notice this is the same as orthogonality in $L^2$ because of divergence free: $$ (P_m \b{v} - \b{v},\b{w}_i)_{L^2} =0. $$ This only implies the projection is stable when measured under $L^2$-norm. Now rewrite $\b{v}$'s $H^1$-norm if it vanishes on the boundary: $$ \|\b{w}\|^2_{H^1} = \|\b{w}\|^2_{L^2} + \|\mathrm{div}\,\b{w}\|^2_{L^2} + \|\mathrm{curl}\,\b{w}\|^2_{L^2} . $$ Also notice $\b{v}$ is divergence free, therefore the stability we want to get is bounded by $$ \frac{\|P_m \b{v}\|_{V}}{\|\b{v}\|_{H}} = \frac{\|P_m \b{v}\|_{H^1}}{\|\b{v}\|_{H(\mathrm{div})}} = \frac{\left(\|P_m \b{v}\|_{L^2}^2 + \|\mathrm{curl}(P_m \b{v})\|_{L^2}^2\right)^{1/2}}{\|\b{v}\|_{L^2 }}.\tag{1} $$ Notice that the curl of the projection $\b{v}$ can be unbounded for $m\to \infty$, for the curl's $L^2$-norm can be written as the sum of the norm on each element $K$ in this triangulation $$ \|\mathrm{curl}(P_m \b{v})\|_{L^2}^2 = \sum_{K\in \mathcal{T}}\|\mathrm{curl}(P_m \b{v})\|_{L^2(K)}^2 $$ Now use Poincaré inequality for divergence free vector fields with vanished boundary: $$ \|\b{p} - \bar{\b{p}}|_M\|_{L^2(D)} \leq C(D) \|\mathrm{curl}\,\b{p}\|_{L^2(D)}, $$ where $\bar{\b{p}}_D = \frac{1}{|D|}\int_D \b{p} \,d\b{x}$ is the averaging vector field on $D$. and the Poincaré constant is the same order as the $n$-th root of measure of $D$ where $n$ is the dimension of the $D$, in our case the dimension is $n=2$. Therefore $$ \sum_{K\in \mathcal{T}}\|\mathrm{curl}(P_m \b{v})\|_{L^2(K)}^2 = \sum_{K\in \mathcal{T}}\|\mathrm{curl}(P_m \b{v} - \overline{P_m \b{v}}_K)\|_{L^2(K)}^2 \\ \geq \sum_{K\in \mathcal{T}} O(|K|^{-1}) \| P_m \b{v} - \overline{P_m \b{v}}_K \|_{L^2(K)}^2 \\ \geq \min_{K\in \mathcal{T}} |K|^{-1} \sum_{K\in \mathcal{T}} \| P_m \b{v} - \overline{P_m \b{v}}_K \|_{L^2(K)}^2 \geq O(M)\| P_m \b{v} - \overline{P_m \b{v}} \|_{L^2 }^2,\tag{2} $$ where $M = \dim V_m$, which is the number of element in this finite dimensional approximation space $V_m\subset V$. $\overline{P_m \b{v}}$ restricted on $K$ is the local averaging vector field.

To see why (1) may be unbounded, we can choose a highly oscillated sequence $\{\b{v}_m\}\subset H^1$ so that its oscillation can not be resolved by the density of this triangulation at level $m$, so that for every $V_m$: $$ \| P_m \b{v}_m - \overline{P_m \b{v}_m} \|_{L^2 }\sim \| P_m \b{v}_m\|_{L^2 }. $$ Think divergence free vector field sequence $$ \b{v}_m = \big(\sin(Mx)\cos(My), -\cos(Mx)\sin(My)\big)\in H^1([0,\pi]^2), $$ where $M$ is the number of the simplices (triangles in this case) in level $m$ triangulation $\mathcal{T}_m$.

Inequality in (2) is true for the dimension of $V_m$ depends on the number of the simplices in this triangulation of $\Omega$, so that if we say $|\Omega| = O(1)$, then $O(|K|^{-1})$ is the same order as $M$. If the triangulation goes finer and finer, $|K|\to 0$ for every $K\in \mathcal{T}$, $M\to \infty$, and (1) becomes unbounded for this sequence.


Backstory if you are interested in finite element for incompressible flow: using $H^1$-divergence free elements to approximate $H(\mathrm{div})$-regular vector fields is not a good idea based on this.

Shuhao Cao
  • 19,689
2

I hope I understood the question correctly.

Take $V=\mathcal C(\mathbb T)$, the space of all continuous functions on the circle $\mathbb T$ and $V_m={\rm span} \{ e_n;\; \vert n\vert\leq m\}$, where $(e_n)_{n\in\mathbb Z}$ is the trigonometrical system. Then $V$ is continously embedded in $H=L^2(\mathbb T)$ and $P_m:V\to V$ is given by $P_mf=\sum_{n=-m}^m \widehat f(n) e_n$. The operators $P_m$ cannot be uniformly bounded, because this would imply that the Fourier series of any $f\in\mathcal C(\mathbb T)$ converges to $f$ with respect to the norm of $\mathcal C(\mathbb T)$.

Etienne
  • 13,978
  • 1
  • 29
  • 60
  • Thanks for your answer. But could you be more explicit why the operators cannot be uniformly bounded? E.g. why can't the fourier series of $f$ converges to $f$, and why would a uniform bounding imply this convergence? – Haatschii Jul 03 '13 at 21:33
  • 1
    What I had in mind is the following. Obviously, $P_mu\to u$ with respect to the norm of $\mathcal C(\mathbb T)$ for any trigonometric polynomial $u$ (because $P_mu=u$ if $m\geq {\rm deg}(u)$). If the $P_m$ were uniformly bounded then, since the trigonometric polynomials are dense in $\mathcal C(\mathbb T)$, this would imply (by a simple approximation argument) that $P_mf\to f$ for any $f\in\mathcal C(\mathbb T)$. But it is well known that this is not true : there are explicit examples of continuous functions whose Fourier series is divergent at $0$ (see any book on Harmonic Analysis). – Etienne Jul 03 '13 at 21:46
  • 1
    One can also prove directly that the $P_m$ are not uniformly bounded. In fact, it can be shown that the norm of the linear functional $f\mapsto P_mf(0)$ acting on $V=\mathcal C(\mathbb T)$ is the $L^1$ norm of the Dirichlet kernel $D_m(t)=\frac{\sin (m+\frac12 t)}{\sin t2}$, and that the order of magnitude of $\Vert D_m\Vert_1$ is $\log m$. (See again any book on Harmonic Analysis for details). Actually, the unboundedness of the functionals $f\mapsto P_mf(0)$ can be used to show that there exists continuous functions with divergent Fourier series. – Etienne Jul 03 '13 at 21:55