**5**

votes

**1**answer

210 views

### Are Sobolev spaces on non-compact manifolds separable?

If $M$ is a Riemannian manifold that is not compact, is it true that the Sobolev spaces on $M$, $W^{k,p}(M)$, still be separable (for $p < \infty$)?

**8**

votes

**1**answer

521 views

### $\int\limits_{\Omega}{uvdx}<\infty,\forall v\in H_0^1(\Omega)$ implies $u\in L^{6/5}(\Omega)$

I posted this question first in Math.StackExchange one week ago here, but I didn't get an answer or a helpful comment so I repost it here:
Let $d=3$ and $\Omega\subset \mathbb R^d$ is a bounded ...

**2**

votes

**0**answers

51 views

### Doubts regarding pre-compactness of bounded sequence of measure valued functions

Given:
$\phi(x,\lambda) : \Omega$X$\mathbb R \to \mathbb R^{n}$ be a Caratheodory vector such that for each $M \gt 0 $, $\alpha_{M}(x) = max_{|u| \leq M} |\phi(x,u)| \in L^{2}_{loc} (\Omega)$ .
...

**1**

vote

**0**answers

106 views

### Strong convergence

From this paper: https://www.researchgate.net/profile/Claudianor_Alves/publication/264957577_Existence_and_multiplicity_of_solution_for_a_class_of_quasilinear_equations/links/54d5e9a00cf25013d02c1e25....

**1**

vote

**2**answers

129 views

### Convergence of Sobolev functions near the boundary

Let $B_0(1)$ be the unit ball in $\mathbb R^n$, $n\geq2$. Let $f\in W_0^{1,2}(B_0(1))$, and $W^{1,2}(B_0(1))\ni f_i\to f$ in the sense of $L^2(B_0(1))$-norm, as $i\to \infty$.
Question 1: Can we ...

**2**

votes

**1**answer

72 views

### Convergence of energy of Sobolev functions near the boundary

Let $B_0(1)$ be the unit ball in $\mathbb R^n$, $n\geq2$. $h\in W_0^{1,2}(B_0(1))$. For $r\in (0,1)$, define a function $f_r(x):[0,1]\rightarrow \mathbb R$ by
\begin{equation}
f_r(x):=
\begin{cases}
...

**1**

vote

**0**answers

56 views

### What is $(L^2(M), H^1_0(M))_{\frac 12}$ on a smooth manifold with boundary?

Let $M$ be a smooth compact manifold. If $M$ is closed, we have that the interpolation space
$$(L^2(M), H^1(M))_{\frac 12}=H^{\frac 12}(M)$$
(see Taylor's book on PDE for example). Suppose $M$ has a ...

**0**

votes

**0**answers

46 views

### Interior of positive cone in Sobolev space

In Sobolev spaces $W^{1,p}(\Omega),\Omega\subseteq \mathbb{R}^n,p<n$, positive cone has empty interior. How does one prove that? Is it a consequence of some more general result like the embedding ...

**3**

votes

**1**answer

123 views

### Rellich-Kondrachov compacteness Theorem for the Euclidean space with Gaussian measure

Let $\gamma_n: \mathbb{R}^n\to\mathbb{R}$ be the Gaussian distribution function defined by
$$
\gamma_n(x):=(2 \pi)^{-\frac{n}{2}} e^{-\frac{|x|^2}{2}}.
$$
Let $d\gamma_n$ denote the following measure ...

**4**

votes

**1**answer

387 views

### A continuous path between two Sobolev functions

Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in H^1(\...

**0**

votes

**0**answers

70 views

### Derivatives of Mollified functions

I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...

**3**

votes

**0**answers

54 views

### Traces of fractional Sobolev spaces $W^{s,p}$ with $0<s<1/p$

I've stumbled upon a problem involving the trace of a function in a fractional Sobolev space of the form $W^{s,2}(H)$, where $H$ is a half-plane in $\mathbb{R}^2$. Would it be possible to define a ...

**1**

vote

**1**answer

103 views

### How to prove the Hölder continuity of a function $u$ by evaluating $\int_{B_{\rho}(x_0)}\frac{|Du(x)|^{2}}{|x-x_0|^{n-2}} dx$?

I'm looking at a video on thin obstacle problem given by Arshak Petrosyan.
In his lecture, he uses the following results:
Let $0<\alpha<1$, and $B_1$ be the unit ball centered at origin in $\...

**1**

vote

**1**answer

119 views

### Compact embedding and fractional Sobolev spaces in unbounded domain

It is known that there exists a compactness results involving fractional sobolev spaces in bounded domain. What about unbounded domain? More precisely, Under which conditions, we can extend the ...

**2**

votes

**1**answer

68 views

### Definitions of negative order Sobolev spaces

I am having a problem with the definition of the space $W^{-k,p}$. I use Adams's definition
$$
W^{-k,p} = \left\{T \in D'(\Omega) \ \middle| \sum \limits_{0 \leq |i| \leq k} (-1)^{|i|} \int_{\Omega} ...

**12**

votes

**2**answers

372 views

### When is the closed unit ball in a smaller Banach space closed in a larger Banach space?

Recently I saw an interesting lemma:
For any $s>0$, the closed unit ball in $H^s$ is also closed in the $L^2$ norm. That is, suppose $u_j\in H^s$ and $\|u_j\|_{H^s}\le 1$. Suppose $u_j\to u$ in $L^...

**2**

votes

**1**answer

84 views

### Getting an estimate of the form $\lVert u(t+h)-u(t) \rVert_{L^1(\Omega)} \leq \frac{Ch}{t}$ on solution of PDE

Let $u$ be a weak solution (i.e. $u \in C([0,T];L^1(\Omega))$ of some degenerate or nondegenerate parabolic equation $u' - Au = f$ on a bounded domain. (For my purpose it is enough to have this for ...

**0**

votes

**0**answers

18 views

### Difference between $W^{k,p}([0,1]^d)$ and $W^{k,p}(\mathbb{T}^d)$

Let $\mathbb{T}^d \sim \mathbb{R}^d/\mathbb{Z}^d$. I know that $$W^{k,2}(\mathbb{T})\equiv\{f\in W^{k,2}([0,1]); f^{(i)}(0) = f^{(i)}(1), i = 0, \ldots, k-1\}.$$
Are there similar characterizations ...

**2**

votes

**0**answers

39 views

### Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$

Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...

**0**

votes

**0**answers

46 views

### The properties of the solution pf minimizing problem with different parameters

I asked an similar problem before but received no respond. Here I modified the problem, add in more informations and assumptions, and with an extra question...
Let $\Omega\subset \mathbb R^2$ be open ...

**3**

votes

**0**answers

114 views

### Compact embedding of ${\rm L}^1_{loc}$ space

I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely:
Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle
1,2\rangle$. ...

**1**

vote

**0**answers

26 views

### The jump set of $SBV$ function over a hyper surface

Assume $\Omega\subset \mathbb R^N$ is open bounded, smooth boundary. Also assume $S\subset \Omega$ is a smooth hyper surface such that $0<\mathcal H^{N-1}(S)<+\infty$.
Now, given a positive ...

**1**

vote

**0**answers

98 views

### A Question about compactness of an embedding into $L^p$ spaces

Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} \...

**2**

votes

**0**answers

89 views

### Rellich Embedding Theorem for the $2$-Sphere

I'm trying to understand the Rellich-Embedding Theorem in the non-flat case by looking at the $2$-sphere. To be precise, for $S$ the spinor bundle of $S^2$; $L^2(S^2)$ the space of square integrable ...

**2**

votes

**1**answer

114 views

### Fractional Sobolev spaces on the circle with a Littlewood-Paley characterisation

Fractional Sobolev space $H^s_p(\mathbb R), s>0, 1<p<\infty$ is a space of tempered distributions $f$ that satisfy $F^{-1}((1+|\xi|^2)^{s/2} F(f)) \in L_p(\mathbb R)$.
Here, $F$ denotes the ...

**2**

votes

**0**answers

79 views

### elliptic regularity for Neumann BVP on square

I am interested in the regularity of ellitpic equations like
$$ -\Delta u(x) +a(x) \cdot \nabla u(x) + C(x) u(x) =f(x) \quad \Omega$$ with $ \partial_\nu u =0$ on $ \partial \Omega$ where $ \Omega=(...

**2**

votes

**0**answers

69 views

### Optimal condition for the weak convergence of the jacobian determinant

Whenever $n<q,$ it is known that given a sequence $\{ u_{k} \}$ which is weakly convergent in $W^{1,q}(U)$ one has that the Jacobian determinants $\text{det} Du_{k}$ converge weakly in $L^{q/n}(U).$...

**5**

votes

**3**answers

300 views

### A space of distributions vanishing on the boundary

The revised question
After more reflection on the problem, I might have found the answer by myself. Let $U$ be an open subset of $M$, irrespective of whether it has a boundary or not. Let
$$\mathcal ...

**2**

votes

**1**answer

74 views

### interpret of Picone inequality for non-regular functions

Assume $\Omega \subset \mathbb{R}^N$, $ N>4 $ is open set.
There is a well-known picone identity that says
Let $u,v \in C^2(\Omega)$ satisfy $v>0$ and $-\Delta v \geq 0$ in $\Omega$. The ...

**1**

vote

**0**answers

36 views

### Sobolev spaces, Finite Element Error Analysis

Let $\Omega\subset \mathbb{R}^{2}$ be a bounded, convex, polygonal domain and $H=\{(u_{1},u_{2})\in H^{\epsilon-\frac{1}{2}}(\Omega)\times H^{\epsilon-\frac{1}{2}}(\Omega),0<\epsilon<\frac{1}{2}:...

**1**

vote

**0**answers

46 views

### How to define Biharmonic operator for second order sobolev spaces

I am studying an article Link of Article. There author assumes that $\Omega \subset \mathbb{R}^N$, $ N>4 $ . Some where in the paper we have
$$ \Delta^2 (\cdot) - \frac{\lambda}{|x|^4} (\cdot) : W^...

**0**

votes

**1**answer

62 views

### Characterization of Sobolev spaces

Assume that for some smooth bounded open subset $\Omega$ in $\mathbb{R}^n$ and some $u\in H^{1,2}(\mathbb{R}^n)$ we know that $\chi_{\Omega} u\in H^{1,2}(\mathbb{R}^n)$. Is it then true that $u\in H^{...

**0**

votes

**1**answer

71 views

### When is the identity Hilbert-Schmidt between weighted Sobolev spaces?

Set $w(x) = (1 + |x|^2)^{1/2}$ with $|\cdot|$ the Euclidian norm on $\mathbb{R}^n$. For $s,\mu \in \mathbb{R}$, we define the Sobolev space
$$H_2^{s}(\mathbb{R}^n) = \left\{f : \lVert f \rVert_{s} := \...

**6**

votes

**0**answers

174 views

### Are Sobolev trace spaces equal from both sides of the boundary?

Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure.
Assume $\partial\Omega=\partial\Omega'$.
Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...

**1**

vote

**0**answers

80 views

### Existence of at least one positive solution for semilinear biharmonic equation with critical exponent

Let $\Omega \subset \mathbb{R}^N$, $N\geq 5$. Now assume the biharmonic problem with singular term as follow
\begin{cases} \Delta^2u=\lambda \dfrac{u}{|x|^4}+u^{p} & \mathrm{in}\hspace{...

**3**

votes

**1**answer

129 views

### Fractional Sobolev spaces and extension by zero

The all-wise Wikipedia suggest (https://en.wikipedia.org/wiki/Sobolev_space#Extension_by_zero) that for $s > 1/2$ any function from $H^s_0(\Omega)$ can be extended by zero
to whole $\mathbb{R}^n$ (...

**1**

vote

**0**answers

71 views

### Weighted Sobolev spaces over open/closed intervals

I am escalating this question from SE, as I have been unable to obtain any guidence in relation to a possible solution.
Some context, I am working with weighted Sobolev spaces of the form $W^{m,2}(I,...

**2**

votes

**1**answer

184 views

### Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that I could not find it any where.
Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm
$$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{...

**5**

votes

**0**answers

227 views

### The Spectrum of certain differential operators

We fix a Hilbert space isomorphism $\phi:H^{1}\to H^{2}$. Here by $H^{s},\;s=1,2,\;$ we mean the sobolev space on $\mathbb{R}^{2}$ or $S^{2}$.
We consider the following polynomial vector field on ...

**1**

vote

**1**answer

124 views

### Extension by zero in Sobolev spaces

Let $\Omega$ be an open bounded set of $R^n$, and let $\omega$ be an open subset of $\Omega$ s.t $\overline{\omega} \subset \Omega.$
For $f\in H_0^1(\omega)$, it is known that the extension of $f$ to ...

**0**

votes

**0**answers

42 views

### The Best Korn's constant for bounded deformation

I am studying the following version of Korn's inequality. For $u\in BD(\Omega)$, $BD$ denotes the bounded deformation space, we have, there exists a $r(u)\in \operatorname{ker}\mathcal E$ such that
$$...

**0**

votes

**1**answer

78 views

### Does this time-dependent trace space have a name?

This question is a follow up to this question.
Let $\Omega \subset \mathbb{R}^d$ be an open connected set. For each $t\in \mathbb{R}^+$ let $u_d:\partial\Omega \to \mathbb{R}$ be in $H^{1/2}(\...

**0**

votes

**0**answers

83 views

### Second order differentiability of subharmonic function almost everywhere?

The following general definition of subharmonic function comes from the classical text book [elliptic partial differential equations of second order] by Gilbarg and Trudinger.
We call a function $u$ ...

**2**

votes

**0**answers

22 views

### Is this function $u\in SBV(\Omega)$ also belongs to $L^\infty(\Omega)$?

Some early discussion can be found here.
My question:
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Also $\mathcal H^{N-1}(\partial\Omega))<\infty$.
Let $u\in SBV(\...

**0**

votes

**1**answer

199 views

### Is this set of function belongs to $L^\infty$?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...

**2**

votes

**0**answers

60 views

### Points are removable for weakly differentiable functions

If $\Omega \subseteq \mathbb{R}^N$ is an open set and $N \ge 2$, then any point $a \in \Omega$ is removable for weakly differentiable maps: for each function $u \in W^{1, 1} (\Omega \setminus \{a\})$, ...

**2**

votes

**0**answers

187 views

### One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...

**3**

votes

**0**answers

53 views

### Are functions whose partial derivatives are simple functions dense in $W^{1,\infty}$?

In a 2D domain, are the functions whose partial derivatives are simple functions dense in $W^{1,\infty}$ ?

**3**

votes

**1**answer

219 views

### Are piecewise linear functions dense in $W^{1,\infty}$?

Are piecewise linear functions dense in $W^{1,\infty}$ ?

**1**

vote

**0**answers

73 views

### biharmonic equation with L^1 data and Navier Condition

I am reading an article that, a section of it is mentioned below . I have some question about this section. I will ask my question after the section below. I am thanksed if some one could help me , ...