The sobolev-spaces tag has no wiki summary.

**29**

votes

**1**answer

639 views

### For which maps $S^1\to S^1$ is the winding number defined?

There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number:
â€¢ Continuous maps:
Using the unique path lifting property of the universal covering map $\mathbb R\to ...

**18**

votes

**1**answer

885 views

### What goes wrong for the Sobolev embeddings at $k=n/p$?

For $u\in W^{k,p}(U)$, where $U\subseteq\mathbb{R}^n$ is open and bounded with $C^1$-boundary, we have the celebrated Sobolev inequalities:
If $k < n/p$ then $u\in L^q(U)$ for $q$ satisfying ...

**17**

votes

**4**answers

745 views

### When to use more exciting function spaces than ordinary Sobolev spaces?

In which kinds of PDEs are the more interesting function spaces required? I am thinking of spaces such as Besov and Triebel spaces, and their weighted versions.
For example, Sobolev spaces ...

**11**

votes

**0**answers

354 views

### Classes of (non-continuous) functions with the fixed point property

Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...

**10**

votes

**1**answer

1k views

### Image of the trace operator

It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map
$$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset ...

**9**

votes

**3**answers

356 views

### Boundedness of the derivative of the trace of an H^1 function

As a research preface, this question is linked to a problem of increasing magnetism in Ginzburg-Landau equations that I have distilled for the purpose of getting to the bottom of this technical ...

**8**

votes

**2**answers

2k views

### Compact Embeddings of Sobolev Spaces: A Counterexample Showing The Rellich-Kondrachov Theorem Is Sharp

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and ...

**7**

votes

**4**answers

988 views

### Trace theorem for $C^{k,1}$ domains

What are the best results on (Sobolev space) trace theorems for $C^{k,1}$ domains?
For $k=0$, e.g., when the domain is Lipschitz, from e.g. the works of Martin Costabel and Zhonghai Ding, it is known ...

**7**

votes

**1**answer

942 views

### History of Sobolev space notations

I would like to know the historical reason why the letter H is used for Sobolev spaces. In particular, why not S? It would be interesting to know the same for the letter W.

**7**

votes

**1**answer

195 views

### Convergence of Schwartz kernels implies convergence of operators

Let $K$ be a smoothing operator on $\mathbb{R}^n$, i.e., it defines a map on all Sobolev spaces $K\colon H^r(\mathbb{R}^n) \to H^s(\mathbb{R}^n)$ for all $r, s \in \mathbb{R}$. Now (a variation of) ...

**7**

votes

**2**answers

716 views

### Extension theory with bump function

Let $B_t(0)$ denote the $n$ dimensional ball of radius $t$ centered at the origin. Does there exist a $\phi\in C(\mathbb{R}^n)$ function with the properties:
$
\phi (x) =
\begin{cases}
1&x\in ...

**7**

votes

**2**answers

820 views

### Characterizing the Dual of $W_0^{s,p}$

I am interested in literature/results characterizing the dual of the fractional Sobolev space $W^{s,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$ is open, bounded, and smooth, $0< s<1$, and ...

**6**

votes

**1**answer

463 views

### Isoperimetry and Poincare Inequality

What are the known relations between isoperimetric and Poincare inequalities on manifolds?
For example, for manifolds with a lower bound on Ricci curvature, the Cheeger-Buser inequality relates the ...

**6**

votes

**4**answers

570 views

### Differential of a Sobolev map between manifolds

Let $\Sigma, M$ be smooth compact Riemannian manifolds. By embedding $M$ isometrically into $\mathbb{R}^N$, one can define the Sobolev spaces $W^{k,p}(\Sigma, M)$ by
\begin{equation} ...

**6**

votes

**1**answer

292 views

### Compactness of Sobolev embedding for domains of finite measure

Let $\Omega \subset \mathbb{R}^d$ be a domain of finite Lebesgue measure, not assumed to be smooth or bounded. Is it true that the embedding of, say, $W^{1,p}_0(\Omega)$ (Sobolev functions with zero ...

**6**

votes

**0**answers

113 views

### Reference Request: Elliptic differential operators in the Fréchet setting

Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...

**5**

votes

**1**answer

333 views

### Compactness in Sobolev spaces

I was wondering whether the set $\lbrace f\in H_0^1(\Omega)|\|f\|_{L^\infty(\Omega)}\leq 1\rbrace$ is compact in $H_0^1(\Omega)$ or not. Here $\Omega$ is a convex domain in $\mathbb{R}^3$ with ...

**5**

votes

**1**answer

355 views

### Books about Capacity theory

While I was studying the book Variation et Optimisation de formes by Antoine Henrot and Michel Pierre, I encountered a section about the capacity associated to the $H^1$ norm, which is defined for ...

**5**

votes

**1**answer

143 views

### Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...

**5**

votes

**1**answer

228 views

### Embeddings of Sobolev spaces

Let $s_1,s_2\in \mathbb R$ such that $-\frac12<s_1\le s_2$.
There exists $C>0$ such that for all smooth functions $w$ , for all $r>0$,
$$\operatorname{supp} w \subset(-r,r)\Longrightarrow
...

**5**

votes

**1**answer

142 views

### $W^{1,1}$ simplicial approximation

Let $f$ be a continuous real-valued function defined on an $n$ dimesional simplex $\Sigma\subset \mathbb{R}^n $. The classical simplicial approximation scheme provides a sequence $f_k$ of piecewise ...

**5**

votes

**2**answers

433 views

### Boundary regularity for the Dirichlet problem

Let us consider the unit ball $B^n$ of $\mathbf{R}^n$ and $K = B^{n-1}(0,1/2) \times \{0\}$ the ball of dimension $n-1$ and radius $1/2$ lying on the equator.
We wish to solve the Dirichlet problem ...

**5**

votes

**1**answer

181 views

### Chain rule for distributional derivative

Let $V \subset H \subset V^*$ be a Gelfand triple (eg. $H^1 \subset L^2 \subset H^{-1}$).
Let $u \in L^2(0,T;V)$ have a distributional derivative $u' \in L^2(0,T;V^*)$. So $\int_0^T u(t)\varphi'(t) = ...

**5**

votes

**0**answers

106 views

### A question on density of Lipschitz functions in weighted Sobolev spaces

Recall that for a domain $\Omega\subset \mathbb{R}^n$, the weighted Sobolev space $W^{1,n}(\Omega,\mu)$ is defined as $f\in L^n(\Omega,\mu)$ and the weak derivative $Df\in L^n(\Omega,\mu)$.
Let now ...

**5**

votes

**0**answers

141 views

### Is there an appropriate weighted Sobolev space to include exponential map and projection map?

Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: ...

**5**

votes

**0**answers

151 views

### A finely open set, not open up to polar set?

I already asked this on M.SE, but get no answers.
Is there a (simple) example of a finely open set (i.e. w.r.t. the fine topology in potential theory) $O$ in $\mathbb R^n$, $n \ge 2$, which is not ...

**4**

votes

**4**answers

420 views

### Variation on the Sobolev space $H^1_0$

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set, let
$$
C^1_0(\overline\Omega) = \{u\in C^1(\Omega)\cap C(\overline\Omega):u|_{\partial\Omega}=0\},
$$
and let $C^1_c(\Omega)$ be the space of ...

**4**

votes

**1**answer

196 views

### Caccioppoli-Leray Inequality for De Giorgi's theorem proof

I am studying De Giorgi's proof of Holder continuity of solutions of elliptic equations with bounded measurable coefficients.
This is the translation of the original paper
De Giorgi paper
At page ...

**4**

votes

**2**answers

217 views

### Finding an optimal $p$ such that $u \in L^p$

We have an $L^2$ function $u$ defined on $\mathbb{R^2}$ with compact support such that $u \in H^{2/3}$ (H stands for Sobolev spaces, as always), $\partial_y u \in L^2$, and $(x\partial_y - ...

**4**

votes

**1**answer

206 views

### about smoothing pseudodifferential operators

Hi,
I have a question which involves pdo.
Let us consider a pseudodifferential operator $A:S(\mathbb{R}^d)\rightarrow S(\mathbb{R}^d) $ whose symbol $a(x,\xi)$ lives in the $S_{0,0}^0$ class :
$$ ...

**4**

votes

**1**answer

173 views

### projection of sobolev spaces onto cones

Consider the Sobolev space $W^{k,p}(\Omega)$ for $k\in \mathbb N$, $p\in [1,\infty]$ and some open domain $\Omega\subset \mathbb R^n$ $^*$. Then it is known that $W^{k,p}(\Omega)$ is an ordered Banach ...

**4**

votes

**1**answer

204 views

### Bounding $\lVert{u}\rVert_{C^0([0,T];V)} \leq C\left(\lVert{u}\rVert_{L^2(0,T;V)} + \lVert{u'}\rVert_{L^2(0,T;H)}\right)$?

Define $W(X,Y) = \{ u \in L^2(0,T;X) \mid u' \in L^2(0,T;Y)\}$
where $u'$ is the usual weak derivative.
Let $V \subset H \subset V^*$ be a Hilbert triple. If $u \in W(V,V)$ (so $$u \in L^2(0,T;V) ...

**4**

votes

**1**answer

85 views

### Examples of optimal ultracontractivity estimates for a Markovian semigroup $T_t$ that do not depend polynomialy on $t$

Let $(X,\mu)$ be a measure space and $T_t : L_2(\mu) \to L_2(\mu)$ for $t \geq 0$ a symmetric Markovian semigroup. Local ultracontractivity estimates of the form:
$$
\| T_t : L_p(\mu) \to L_q(\mu)\| ...

**4**

votes

**1**answer

269 views

### Optimality of p-Lebesgue Differentiation Theorem for Sobolev Functions

This is the third question in a series whose purpose has been to flesh out an example of the optimality of the p-Lebesgue differentiation theorem for Sobolev functions. This theorem says that for $f ...

**4**

votes

**1**answer

129 views

### Dependence of the constant in Korn's inequality on the domain

Let $\Omega \subset \mathbb{R}^N$ be an open, connected set with Lipschitz boundary, $N \geqslant 2$ and
$$ \mathcal{E} ( v) := \int_{\Omega} \sum_{i, j} \varepsilon_{i
j} ( v) \varepsilon_{i j} ...

**4**

votes

**1**answer

135 views

### Error of Discrete Fourier Transform on Finite Domain (vs. Continuous FT) in terms of Sobolev order

My question is about quantifying the error that occurs by approximating the continuous Fourier transform on a finite domain by using a discretised version with resolution $N$ for a function of a given ...

**3**

votes

**3**answers

724 views

### Reference request: Simple facts about vector-valued Sobolev space

Let $V,H$ be separable Hilbert spaces such that there are dense injections $V \hookrightarrow H \hookrightarrow V^*$. (For example, $H = L^2(\mathbb{R}^n)$, $V = H^1(\mathbb{R}^n)$, $V^* = ...

**3**

votes

**2**answers

165 views

### How do functions operate in a Sobolev space $H^{s}$?

Let $s>\frac{1}{2};$ and define a Sobolev space as follows:
$$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$
Fact: Let $m$ ...

**3**

votes

**2**answers

174 views

### Sobolev spaces on boundaries

Consider the Sobolev space $W^{s,2}=H^s$ for $s=\frac{1}{2}.$
Let $\Omega \subset \mathbb{R}^n$ be an open set with boundary $\partial\Omega$. I have seen two definitions of the space ...

**3**

votes

**2**answers

716 views

### Example for the Sobolev embedding theorem when p=n.

Let $\Omega$ be a bounded domain in $\mathbb R^2$. By the Sobolev embedding theorem, if $k>\frac np$ (in this case $k>\frac 2p$) then
$u\in W^{k,p}(U) \implies u\in C^{k-[\frac 2 ...

**3**

votes

**1**answer

141 views

### Equivalent Norms for the Dual of Sobolev / Bessel Spaces

Using standard notation, we refer to $H^s(\mathbb R) = W^{s,2}(\mathbb R)$ to be the Sobolev Hilbert spaces. As is often the case, it's natural to then consider properties of functions in $H^s(\mathbb ...

**3**

votes

**1**answer

128 views

### $H^s(\mathbb T)$ is a Banach algebra for $s>1/2$

I have not managed to find a reference for the following fact:
$H^s(\mathbb T)$ is a Banach algebra for $s>1/2$.
In particular, I need reference for the following inequality:
$$
\|uv\|_{H^s} ...

**3**

votes

**2**answers

187 views

### Negative real order Sobolev spaces: density and representation

First, I give my motivation to ask this question. The generalised Neumann trace can be defined as
$$
{}_{H^{-1/2}(\partial\Omega)}\langle\frac{\partial ...

**3**

votes

**1**answer

256 views

### on an inequality of Brezis-Lieb

In their 1983 JFA paper Brezis and Lieb have shown, among many other things, a PoincarĂ©-type inequality: in the case of a harmonic function $f$ on a bounded domain $\Omega$, their inequality ((3.14) ...

**3**

votes

**2**answers

143 views

### Regularity properties of H(-1/2)

Arising as the traces of $H(div; \Omega)$, I am wondering if the space $H^{-1/2}(\partial \Omega)$ has any regularity properties? (Containment in BV would be wonderful, although I doubt it holds.) It ...

**3**

votes

**1**answer

109 views

### Techniques to show existence for a PDE with dynamic boundary condition

Let $\Omega$ be a bounded domain. I am looking for techniques to show existence of solutions to dynamic boundary problems of the form
$$\Delta u = 0 \quad\text{on}\quad \Omega \times (0,T)\\
...

**3**

votes

**1**answer

206 views

### Sharpness of the Sobolev embedding theorem

We know that $W^{k,p}\hookrightarrow C^{k-\lfloor\frac{n}{p}\rfloor-1,\gamma}(\bar{\Omega})$ with $kp>n,\gamma=\lfloor\frac{n}{p}\rfloor+1-\frac{n}{p}$, where $n$ is the dimension of $\Omega$, ...

**3**

votes

**1**answer

1k views

### Classical Derivative, Weak Derivative and Integration by Parts

Hello,
While studying Sobolev spaces, the following question came to my mind. Any help in this direction is appreciated.
QUESTION
Let $U\subseteq\mathbb{R}^n$ be open. Does there exist a function ...

**3**

votes

**1**answer

74 views

### Coercivity for functional and complete orthonormal system

Consider with $\rho \in W^{1,2}([0,\pi])$ the following functional
$$J(\rho)=\frac{1}{2}\int_{0}^{\pi}{\rho^2\,dx}$$
I know that in the $L^{2}([0,\pi])$ the coercivity condition is satisfied, but i'm ...

**3**

votes

**1**answer

111 views

### Checking initial data in parabolic PDE with no control on time derivative

It is possible to define a weak solution of a parabolic PDE
$$u_t - Au = f$$
$$u(0) = u_0$$
as $u \in L^2(0,T;H^1)$ such that
$$-\int_0^T\int_\Omega u(t)\varphi'(t) + \int_0^T\int_\Omega ...