A Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself and its derivatives up to a given order.

learn more… | top users | synonyms

4
votes
1answer
382 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 ...
0
votes
0answers
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
0answers
52 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
1answer
100 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
1answer
108 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
1answer
66 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
2answers
371 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 ...
2
votes
1answer
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
0answers
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
0answers
38 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
0answers
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
0answers
112 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
0answers
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
0answers
97 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
0answers
88 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
1answer
111 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
0answers
78 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 $ ...
2
votes
0answers
65 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 ...
5
votes
3answers
295 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
1answer
73 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
0answers
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 ...
1
vote
0answers
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) : ...
0
votes
1answer
61 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 ...
0
votes
1answer
69 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
0answers
169 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
0answers
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}‎ & ...
3
votes
1answer
115 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
0answers
69 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 ...
2
votes
1answer
181 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 \, ...
5
votes
0answers
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
1answer
118 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
0answers
40 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
1answer
77 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 ...
0
votes
0answers
79 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
0answers
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 ...
0
votes
1answer
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 ...
2
votes
0answers
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
0answers
186 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 = ...
3
votes
0answers
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
1answer
215 views

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

Are piecewise linear functions dense in $W^{1,\infty}$ ?
1
vote
0answers
72 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 , ...
2
votes
0answers
207 views

Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
1
vote
0answers
53 views

The best constant in Poincare-liked inequality in $BV$ and $BD$ space

This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention. Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
1
vote
0answers
102 views

Regularity of weak solution

I have also posted the question here. Let me explain what difficulties I have. In fact, one may write \begin{equation} \partial_1(f-\partial_1 u)=0 \end{equation} in $\Omega$. Then one may have the ...
1
vote
0answers
81 views

“Friedrichs extension Laplacian” vs “Weak Laplacian” and fractional powers

Take $\Omega$ to be a bounded domain and consider Neumann BCs. In some works, I see that a Laplacian $(-\Delta_D)^{\frac 12}$ is defined as an operator with domain $H^1(\Omega)$, and in other works, ...
0
votes
0answers
51 views

Equivalence of Sobolev--Slobodeckii and interpolation space on boundaries

Let $s \in (0,1)$. Given a sufficiently smooth hypersurface $\Gamma$ in $\mathbb{R}^n$, one can define the Sobolev--Slobodeckii space with the norm $$|u|_{H^s(\Gamma)}^2 = \int_\Gamma |u|^2 + ...
5
votes
1answer
79 views

Trace spaces on convex polyhedra: compatibility conditions at edges

Let $\Omega$ be a convex polyhedron in $\mathbf{R}^3$ with boundary $\partial\Omega$ consisting of $N$ polygons $\{\Gamma_j\}_{j=1}^N$. It's well known that in general $$ H^s(\partial \Omega) \neq ...
1
vote
0answers
35 views

About norm on $H^{\frac 12}(M \times \{0,1\})$

Let $X=M \times \{0,1\}$ with $M$ a smooth compact manifold without boundary. Define the fractional Sobolev space $H^{\frac 12}(X) = (L^2(X), H^1(X))_{\frac 12}$, as the real interpolation space ...
0
votes
0answers
52 views

How to modify a SBV convergence sequence to obtain uniform integrability?

Given $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. Assume $(u_n)\subset SBV(\Omega)$ a sequence of functions such that $u_n\to u_0$ weakly in $SBV$ for some function $u_0\in ...
2
votes
2answers
163 views

Composition operators on fractional-order (periodic) Sobolev spaces

(The question was originally posted on MSE.) Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...