Skip to main content
added 7 characters in body
Source Link
sharpe
  • 721
  • 5
  • 19

I have a question about Sobolev spaces.

In the following, we assume $d \ge 2$. Let $D$ be a domain of $\mathbb{R}^d$. That is, $D$ is a connected open subset of $\mathbb{R}^d$. Note that $D$ is not necessary bounded. $H^{1}(D)$ denotes first order $L^2$-Sobolev space on $D$ with Neumann boundary condition.

I am interested in when $H^{1}(D)$ is continuously embedded into $L^{2^{\ast}}(D)$. That is, there exists $C\ge0$ such that \begin{equation*} \left( \int_{D} |f|^{2^{\ast}}\,dx\right)^{1/2} \le C \left(\int_{D}|\nabla f|^{2}\,dx+\int_{D}|f|^{2}\,dx \right)\cdots(1) \end{equation*}\begin{equation*} \left( \int_{D} |f|^{2^{\ast}}\,dx\right)^{2/2^{\ast}} \le C \left(\int_{D}|\nabla f|^{2}\,dx+\int_{D}|f|^{2}\,dx \right)\cdots(1) \end{equation*} Here $2^{\ast}=2d/(d-2)$ if $d\ge 3$, $2^{\ast}$ is any number in $(2,\infty)$ if $d=2$.

My question

In Ouhabaz's book enter link description here, it is said that $(1)$ holds when $D$ has smooth boundary. But I couldn't find the definition of smooth boundary(I think there are many styles of definition of smooth boundary) and the proof of this claim in this book. When $D$ is bounded, there are many references, though.

If you know the details, please let me know.

I have a question about Sobolev spaces.

In the following, we assume $d \ge 2$. Let $D$ be a domain of $\mathbb{R}^d$. That is, $D$ is a connected open subset of $\mathbb{R}^d$. Note that $D$ is not necessary bounded. $H^{1}(D)$ denotes first order $L^2$-Sobolev space on $D$ with Neumann boundary condition.

I am interested in when $H^{1}(D)$ is continuously embedded into $L^{2^{\ast}}(D)$. That is, there exists $C\ge0$ such that \begin{equation*} \left( \int_{D} |f|^{2^{\ast}}\,dx\right)^{1/2} \le C \left(\int_{D}|\nabla f|^{2}\,dx+\int_{D}|f|^{2}\,dx \right)\cdots(1) \end{equation*} Here $2^{\ast}=2d/(d-2)$ if $d\ge 3$, $2^{\ast}$ is any number in $(2,\infty)$ if $d=2$.

My question

In Ouhabaz's book enter link description here, it is said that $(1)$ holds when $D$ has smooth boundary. But I couldn't find the definition of smooth boundary(I think there are many styles of definition of smooth boundary) and the proof of this claim in this book. When $D$ is bounded, there are many references, though.

If you know the details, please let me know.

I have a question about Sobolev spaces.

In the following, we assume $d \ge 2$. Let $D$ be a domain of $\mathbb{R}^d$. That is, $D$ is a connected open subset of $\mathbb{R}^d$. Note that $D$ is not necessary bounded. $H^{1}(D)$ denotes first order $L^2$-Sobolev space on $D$ with Neumann boundary condition.

I am interested in when $H^{1}(D)$ is continuously embedded into $L^{2^{\ast}}(D)$. That is, there exists $C\ge0$ such that \begin{equation*} \left( \int_{D} |f|^{2^{\ast}}\,dx\right)^{2/2^{\ast}} \le C \left(\int_{D}|\nabla f|^{2}\,dx+\int_{D}|f|^{2}\,dx \right)\cdots(1) \end{equation*} Here $2^{\ast}=2d/(d-2)$ if $d\ge 3$, $2^{\ast}$ is any number in $(2,\infty)$ if $d=2$.

My question

In Ouhabaz's book enter link description here, it is said that $(1)$ holds when $D$ has smooth boundary. But I couldn't find the definition of smooth boundary(I think there are many styles of definition of smooth boundary) and the proof of this claim in this book. When $D$ is bounded, there are many references, though.

If you know the details, please let me know.

Source Link
sharpe
  • 721
  • 5
  • 19

Continuous Sobolev embedding

I have a question about Sobolev spaces.

In the following, we assume $d \ge 2$. Let $D$ be a domain of $\mathbb{R}^d$. That is, $D$ is a connected open subset of $\mathbb{R}^d$. Note that $D$ is not necessary bounded. $H^{1}(D)$ denotes first order $L^2$-Sobolev space on $D$ with Neumann boundary condition.

I am interested in when $H^{1}(D)$ is continuously embedded into $L^{2^{\ast}}(D)$. That is, there exists $C\ge0$ such that \begin{equation*} \left( \int_{D} |f|^{2^{\ast}}\,dx\right)^{1/2} \le C \left(\int_{D}|\nabla f|^{2}\,dx+\int_{D}|f|^{2}\,dx \right)\cdots(1) \end{equation*} Here $2^{\ast}=2d/(d-2)$ if $d\ge 3$, $2^{\ast}$ is any number in $(2,\infty)$ if $d=2$.

My question

In Ouhabaz's book enter link description here, it is said that $(1)$ holds when $D$ has smooth boundary. But I couldn't find the definition of smooth boundary(I think there are many styles of definition of smooth boundary) and the proof of this claim in this book. When $D$ is bounded, there are many references, though.

If you know the details, please let me know.