12
$\begingroup$

Let $\Omega$ be a bounded Lipschitz domain with boundary $\partial\Omega$.

There are two ways to define a space $H^1(\partial\Omega)$:

  1. By using charts, we can define $H^1(\partial\Omega)$ to contain functions $u\colon \partial\Omega \to \mathbb{R}$ such that $u\circ g_i \in H^1(D_i)$ for all $i$ where $g_i\colon D_i \subset \mathbb{R}^{n-1} \to \mathbb{R}$ is a chart map. The norm is the obvious norm.

  2. We can define a tangential gradient on $\partial\Omega$ as: $$\nabla_S \varphi = \nabla \varphi - (\nabla \varphi \cdot \nu)\nu$$ where $\nu$ is the unit normal vector on $\partial\Omega$ and $\nabla$ is the usual gradient. Here $\varphi$ is smooth. We can get a weak version of the tangential gradient by using the integration by parts formula on surface, let's call the weak tangential gradient $\nabla_T.$ Then we can define $H^1(\partial\Omega)$ as functions $u:\partial\Omega \to \mathbb{R}$ such that $u \in L^2(\partial\Omega)$ and $\nabla_T u \in L^2(\partial\Omega)$, and give it the obvious norm.

My question: are these definitions equivalent in some way? Do we have equivalence of norms? The second definition is not very common or popular, why is that?

$\endgroup$
5
  • $\begingroup$ What is the domain of $\varphi$? $\endgroup$
    – Tomás
    Dec 29, 2013 at 18:40
  • $\begingroup$ It is $\partial\Omega.$ The formula should strictly be $\nabla_S \varphi = \nabla \tilde \varphi - (\nabla \tilde \varphi \cdot \nu)\nu$ where $\tilde \varphi$ is an extension of $\varphi$ into ambient space. $\endgroup$
    – soup
    Dec 29, 2013 at 18:44
  • 1
    $\begingroup$ I just checked the book of Ben Schweizer on PDE (german) and there the second definition is used. Basically it is introduced when consdering the Laplace Beltrami operator. Have you checked litearture on that? $\endgroup$ Jan 13, 2014 at 23:30
  • $\begingroup$ @Quickbeam2k1 sadly that book is not here in my library (so I can't attempt to decipher the German). I will take alook at Laplace-Beltrami.. $\endgroup$
    – soup
    Jan 15, 2014 at 20:23
  • $\begingroup$ The books is also quite new. But at least the "Laplace-Beltrami" buzzword should help $\endgroup$ Jan 15, 2014 at 21:42

1 Answer 1

1
$\begingroup$

The two definitions are the same. For a reference see page 294 in Dziuk, Gerhard and Elliott, Charles M.. (2013) Finite element methods for surface PDEs. Acta Numerica, Vol.22 http://wrap.warwick.ac.uk/53966/1/WRAP_Elliott_DziEll13a.pdf

I'm not certain one can give an exact answer as to why the first definition is more popular. My personal opinion is that the first definition is a useful tool for showing many results about surface calculus and partial differential equations posed on surfaces. However, in the above reference, the authors manage to show many important results using the second formulation.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .