Skip to main content
deleted 1 character in body
Source Link
Denis Serre
  • 52.4k
  • 10
  • 146
  • 300

The answer to the follow-up question is negative too. For consider the half-ball $\Omega=\{x\,;\,x_3>0,\,|x|<1\}$. Choose a number $\alpha\in(1,\frac32)$, and a function $\phi\in C^\infty({\mathbb R}^3$$\phi\in C^\infty({\mathbb R}^3)$ such that $\phi(x)\equiv1$ for $|x|<\frac13$, while $\phi(x)\equiv0$ for $|x|>\frac23$,. Then the function $u(x)=r^{-\alpha}x_3\phi(x)$ belongs to $H^1(\Omega)\cap C(\Omega)$. Its trace, being an element of $H^{1/2}(\partial\Omega)$, is a square-integrable function, hence can be determined by looking away from a negligible Lebesgue set. Thus we look at the trace away from the origin, where $u$ is continuous and vanishes at the boundary. Therefore the trace is $\equiv0$, that is $u\in H^1_0(\Omega)$. Yet, it is not a bounded function.

The answer to the follow-up question is negative too. For consider the half-ball $\Omega=\{x\,;\,x_3>0,\,|x|<1\}$. Choose a number $\alpha\in(1,\frac32)$, and a function $\phi\in C^\infty({\mathbb R}^3$ such that $\phi(x)\equiv1$ for $|x|<\frac13$, while $\phi(x)\equiv0$ for $|x|>\frac23$,. Then the function $u(x)=r^{-\alpha}x_3\phi(x)$ belongs to $H^1(\Omega)\cap C(\Omega)$. Its trace, being an element of $H^{1/2}(\partial\Omega)$, is a square-integrable function, hence can be determined by looking away from a negligible Lebesgue set. Thus we look at the trace away from the origin, where $u$ is continuous and vanishes at the boundary. Therefore the trace is $\equiv0$, that is $u\in H^1_0(\Omega)$. Yet, it is not a bounded function.

The answer to the follow-up question is negative too. For consider the half-ball $\Omega=\{x\,;\,x_3>0,\,|x|<1\}$. Choose a number $\alpha\in(1,\frac32)$, and a function $\phi\in C^\infty({\mathbb R}^3)$ such that $\phi(x)\equiv1$ for $|x|<\frac13$, while $\phi(x)\equiv0$ for $|x|>\frac23$. Then the function $u(x)=r^{-\alpha}x_3\phi(x)$ belongs to $H^1(\Omega)\cap C(\Omega)$. Its trace, being an element of $H^{1/2}(\partial\Omega)$, is a square-integrable function, hence can be determined by looking away from a negligible Lebesgue set. Thus we look at the trace away from the origin, where $u$ is continuous and vanishes at the boundary. Therefore the trace is $\equiv0$, that is $u\in H^1_0(\Omega)$. Yet, it is not a bounded function.

Source Link
Denis Serre
  • 52.4k
  • 10
  • 146
  • 300

The answer to the follow-up question is negative too. For consider the half-ball $\Omega=\{x\,;\,x_3>0,\,|x|<1\}$. Choose a number $\alpha\in(1,\frac32)$, and a function $\phi\in C^\infty({\mathbb R}^3$ such that $\phi(x)\equiv1$ for $|x|<\frac13$, while $\phi(x)\equiv0$ for $|x|>\frac23$,. Then the function $u(x)=r^{-\alpha}x_3\phi(x)$ belongs to $H^1(\Omega)\cap C(\Omega)$. Its trace, being an element of $H^{1/2}(\partial\Omega)$, is a square-integrable function, hence can be determined by looking away from a negligible Lebesgue set. Thus we look at the trace away from the origin, where $u$ is continuous and vanishes at the boundary. Therefore the trace is $\equiv0$, that is $u\in H^1_0(\Omega)$. Yet, it is not a bounded function.