Skip to main content

All Questions

Filter by
Sorted by
Tagged with
21 votes
5 answers
18k views

When is Sobolev space a subset of the continuous functions?

If we let $\Omega\subset\mathbb{R}^d$ with $d=1,2,3$ and define $\mathcal{H}^1(\Omega)=(w\in L_2(\Omega): \frac{\partial w}{\partial x_i}\in L_2(\Omega), i=1,...,d)$. My tutor has repeated several ...
2 votes
0 answers
153 views

Riesz’s representation theorem in a weak form

Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^N$ $(N\geq 3)$, $\phi\in H_0^1(\Omega)$ is a solution of $$ \begin{cases}\Delta \phi+ \phi=h & \text { in } \Omega, \\ \phi=0 &...
1 vote
0 answers
89 views

Domain where the fractional Laplacian operator is a closed operator

Consider the fractional Laplacian defined by $$(-\Delta)^s u(x) = P.V. \int_{\mathbb{R}^N} \frac{u(x) - u(y)}{|x - y|^{N + 2s}}dy, \ s \in (0,1).$$ Also consider that $$D((-\Delta)^s) = \{u \in H^s(\...
6 votes
2 answers
1k views

Exercise 8.13 - Brezis

Let $1 \leq p < \infty$ and $u \in W^{1,p}(\mathbb{R}$). Set $$ D_{h}u(x) = \frac{1}{h}(u(x+h) - u(x)), \ \ x \in \mathbb{R}, h> 0 $$ Show that $D_{h}u \to u'$ in $L^{p}(\mathbb{R}$) as $h \to ...
6 votes
0 answers
113 views

A continuity argument for a dispersive $gKdV$ estimate

I'm learning about the gKdV equation, following Schlag & Muscalu vol II. We're looking at $$\begin{cases} u_t + u_{xxx} + F(u)_x = 0 \\ u_0 = g\end{cases}$$ where $F(u) = u^5$ (for example). The ...
1 vote
1 answer
170 views

A time dependent variational problem coming from a second order linear PDE

Fix $u_0\in H^1(\Omega)$ and $f=f(x,y,t)\in L^2(\Omega\times [0,T])$ where $\Omega$ is a sufficiently smooth bounded domain in $\mathbb{R}^2$. Consider the problem of finding $u:\Omega\times[0,T]\to\...
3 votes
1 answer
724 views

Continuous extension of functions

Let $\Omega$ be a bounded open set in $\mathbb{R}^n$ and $f \in W^{1,p} (\partial \Omega)$. Can $f$ be extended to a function $u \in W^{1,p}(\Omega)$ such that $u|_{\partial \Omega}=f$ and $$\lVert u\...
4 votes
0 answers
258 views

Orthonormal Basis of Multi-Dimensional Sobolev Space of Different Orders without Reproducing Kernel

Let $\Omega$ be an open subset of $\mathbb{R}^d$. Under regularity conditions, we know that the $s$-th order Sobolev space $H^s(\Omega)$ with $s \geq d/2$ is a reproducing kernel Hilbert space. In ...
1 vote
1 answer
158 views

Nonlinear elliptic problem involving the p-laplacian, Hölder inequality

I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan. I have a problem understanding one step ...
8 votes
1 answer
392 views

Proving that a space is Hilbert

Let $H=H_0^1(0,\ell)\times H_*^1(0,\ell)\times H_*^1(0,\ell)$ be equipped with the norms \begin{align*} \|(\varphi,\psi,w)\|_1^2&=A\|\varphi_x+\psi+lw\|_{L^2}^2+B\|w_x-l\varphi\|_{L^2}^2+C\|\psi_x\...