# Tagged Questions

The sobolev-spaces tag has no wiki summary.

**1**

vote

**1**answer

437 views

### A property on the Green-St Venant strain tensor

Green-St Venant strain tensor is defined by $E(u)={1\over 2}[\nabla u+(\nabla u)^T+(\nabla u)^T\nabla u]$, where $\nabla u$ is the displacement gradient.
Show that
$u\in H^1(\Omega), E(u)\in ...

**3**

votes

**2**answers

492 views

### Smooth Sobolev extension from $W^{1,p}(U)$ to $W^{1,p} (\mathbb{R}^n) $

The question I would be asking is roughly : do the smooth Sobolev functions defined on an open bounded domain extend to smooth Sobolev functions on the Euclidean space ?
For detail :
Fix $p \geq 1. ...

**2**

votes

**1**answer

114 views

### Second derivative seminorm of function composition

Consider the seminorm $\| f \|^2 = \int_{-\infty}^{\infty} dx f''(x)^2$
for $f:\mathbb{R}\rightarrow \mathbb{R}$ in the Sobalev space $W^{k,2}(\mathbb{R})$.
Can we put some upper bound on the ...

**3**

votes

**1**answer

310 views

### A Sobolev-type inequality with weights

In the study of a particular PDE I found myself wanting to prove the following inequality:
$( \int_0^{\infty} r^{-3} |f|^6 \; dr )^{1/6} \leq C ( \int_0^{\infty} [ r^{-1} |f|^2 + r |f'|^2 + r ...

**9**

votes

**1**answer

1k 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.

**2**

votes

**3**answers

829 views

### Sobolev embedding proof without Gagliardo–Nirenberg–Sobolev inequality or Morrey's inequality

Hello Everybody,
Is there a proof of Sobolev embedding theorem without using the GNS or Morrey inequalities? If so, can you provide me with some references?
Background: I happened to attened a ...

**6**

votes

**3**answers

869 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^* = ...

**0**

votes

**1**answer

471 views

### Interpolation of derivatives

If $U$ is an open interval of $\mathbb{R}$ and $f : U \to \mathbb{R}$ is an $L^2(U)$ function with second derivative $f'' \in L^2(U)$ (in the weak sense), is $f \in W^{1,1}(U)$?
EDIT: Removed false ...

**3**

votes

**1**answer

406 views

### Subspaces of a Sobolev space

For $a \in \mathbb{R}^N\setminus\{0\}, N \ge 2$, and $\lambda \in \mathbb{R}$ let
$$
X_{\lambda,a}=\{u(\cdot+\lambda a):\, u(x)=u(|x|) \in W^{1,2}(\mathbb{R}^N)\}.
$$
Denote by $X_a$ the closure of ...

**3**

votes

**0**answers

488 views

### Open sets and Poincaré's inequality

In many references, Poincaré inequality is presented in the following way :
Let $\Omega\subset \mathbb R^d$ an open bounded set. We can find a constant $C$ which depend of $\Omega$ such that for ...

**3**

votes

**0**answers

214 views

### Where can I find interpolation inequalities for derivatives of the following form?

Here they are:
$$||f||_{\infty} \leq C ||f||_q^{\frac {qk} {n+kq}} \left( \sum_{|\mu|=k} ||D^\mu f||_{BMO} \right)^{ \frac n {n+kq}}$$
and
$$||f||_{Lip_\alpha} \leq C ||f||_q^{\frac {qk} {n+kq} \frac ...

**7**

votes

**1**answer

476 views

### Is there a generalization of Sobolev spaces for certain locally compact groups?

I'm interested in knowing how far and how general the theory of Sobolev spaces has been developed. Classically, $H^k(U)$ for $U$ a subset of $R^n$ is given by derivatives up to order $k$ being square ...

**11**

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

**2**answers

476 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 ...

**2**

votes

**1**answer

260 views

### Projections in Sobolev spaces

I was browsing through the literature but I have not found anything related to my question:
I am interested in decompositions of functions in Sobolev spaces $W^{k,p}(\Omega)$, where $\Omega$ is some ...

**2**

votes

**1**answer

549 views

### Bessel Potential Space inequality

The Bessel Potential Space is defined for $s\in\mathbb{R}$ as,
$H^s(\mathbb{R}^d) = \{f\in L_2(\mathbb{R}^n) : (1+|\cdot|)^{s/2}\hat{f}(\cdot)\in L_2(\mathbb{R}^n)\}.
$
This defines a Hilbert space ...

**4**

votes

**1**answer

337 views

### Embeddings for spaces of maximal regularity

Let $T\in(0,\infty)$ and $\Omega\subset\mathbb R^n$ be a smooth domain. In terms of maximal regularity it can be very beneficial to know for which $s_i,p,n$ the following holds true
...

**12**

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 ...

**2**

votes

**3**answers

479 views

### Finding an $H^1$ function given its values on $\partial\Omega$

Background
I've met this problem when I was trying to convert a elliptic PDE problem
into the corresponding variational problem in order to apply finite element method.
The PDE is an elliptic PDE ...

**8**

votes

**2**answers

731 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 ...

**0**

votes

**2**answers

371 views

### Sobolev space: probably simple ode…

I am trying to solve for $y(x)$ in terms of $f(x)$ in a convenient space (eg. $\dot{H}^2(\mathbb{T})$-zero mean). Here is the ode:
$y(x)+y(x)y'(x)=f(x)$.
I think a contraction mapping argument will ...

**0**

votes

**2**answers

214 views

### Do extracted weak $H^{1,2}$-limits and $C^0$-limits coincide?

Let $I$ be a bounded interval and consider a sequence $(u_k)$ in $H^{1,2}(I)$ (usual Sobolev space). Suppose furthermore, that the sequence $(u_k)$ is bounded in $H^{1,2}(I)$. Then, by Rellich, we can ...

**5**

votes

**2**answers

1k views

### Sobolev imbedding on Riemannian manifolds

Let $(M, g)$ be a non-compact smooth Riemannian manifold of dimension $n \ge 2$, and $G$ a subgroup of the isometry group of $(M,g)$, say with $G$ contained in the component of the identy.
Let ...

**2**

votes

**1**answer

401 views

### Sobolev imbedding

It is known that, for $n \ge 3, 2 < p< 2^*$, the imbedding $H^1(\mathbb{R}^n) \hookrightarrow L^p(\mathbb{R}^n)$ is not compact. Let $G=O(n_1) \times O(n_2)\times\cdots\times O(n_k)$, with
...

**8**

votes

**4**answers

1k 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 ...

**2**

votes

**1**answer

748 views

### Sobolev-Slobodeckij spaces for p=infinity

For $1\leq p<\infty$ an approach to define fractional Sobolev spaces is by Sobolev-Slobodeckij spaces a generalisation of Hölder continuity. For example letting $U\subset\mathbb{R}^n$ then,
$
...

**0**

votes

**0**answers

263 views

### Gradient of the energy functional in $H^{1,2}$-norm

I have to use estimates for the gradient of the energy functional on the free loop space of a fixed compact manifold $Q$. As such, one considers $H^{1,2}$-maps of the circle into $Q$. The energy ...