The tag has no wiki summary.

learn more… | top users | synonyms

27
votes
1answer
537 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 ...
16
votes
1answer
768 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 ...
14
votes
4answers
647 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 ...
10
votes
0answers
334 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$. ...
9
votes
1answer
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 ...
7
votes
3answers
332 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 ...
7
votes
2answers
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
4answers
953 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
1answer
884 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
2answers
707 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 ...
6
votes
1answer
161 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) ...
5
votes
1answer
418 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 ...
5
votes
4answers
515 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} ...
5
votes
2answers
611 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 ...
5
votes
1answer
270 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 ...
5
votes
0answers
100 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) ...
4
votes
1answer
295 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 ...
4
votes
4answers
338 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
1answer
73 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
1answer
320 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 ...
4
votes
2answers
417 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 ...
4
votes
0answers
101 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 ...
4
votes
0answers
130 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: ...
4
votes
0answers
138 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 ...
3
votes
3answers
651 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
1answer
166 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 ...
3
votes
2answers
668 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
2answers
210 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 - ...
3
votes
1answer
187 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 : $$ ...
3
votes
1answer
153 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 ...
3
votes
1answer
190 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) ...
3
votes
1answer
112 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} ...
3
votes
1answer
256 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 ...
3
votes
1answer
313 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 ...
2
votes
1answer
398 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 ...
2
votes
2answers
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
2answers
158 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 ...
2
votes
1answer
229 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) ...
2
votes
2answers
126 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 ...
2
votes
1answer
201 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$, ...
2
votes
1answer
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 ...
2
votes
1answer
281 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 ...
2
votes
1answer
91 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 ...
2
votes
1answer
98 views

sub and super-levelset regularity for Sobolev functions

I'm wondering if there are known results about the "regularity" (in some sense to be determined) of sub and super levelsets of Sobolev functions $u\in W^{1,p}(\mathbb{R}^d)$. More precisely: Assume ...
2
votes
1answer
238 views

traces of sobolev spaces under additional assumptions

Let $p\in [1,\infty]$, $\Omega$ an open bounded domain with (smooth, if necessary) boundary $\partial \Omega$. Is there a subspace $X\subset L^p(\Omega)$ - a simply describable space, ideally a ...
2
votes
1answer
44 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 ...
2
votes
1answer
148 views

Equivalence of negative Sobolev norm of derivative to $L^2$-norm

Let $S:=(0,1)^2$ be the unit square in $\mathbb{R}^2$, and let $M:=\{u\in L^2(S)\mid \int_S u=0\}$ be the space of (real-valued) $L^2$-functions with mean value zero. On $M$ we can consider the ...
2
votes
0answers
175 views

Alternative representations of Sobolev space

Is there a way to represent a Sobolev space as the image of a fractional integral operator over an $L^p$ Lebesgue space? Yes, as it was comment, there is an answer for that in the book "Singular ...
2
votes
0answers
178 views

Degree of a function in $H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$

We can define the degree of a function $f \in H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$ as $$\mathrm{deg} \hspace{1mm} f = \frac{1}{2\pi i} \int_{\mathbb{S}^1} f^{-1} \frac{\partial f}{\partial ...
2
votes
0answers
192 views

$\tilde{u}=0,\ a.e.\ x\in\Gamma$?

Suppose $\Omega\subset\mathbb{R}^n$ is a bounded domain. Let $u\in H_0^1(\Omega)$ and $\tilde{u}\in L^2(\Omega)$ satisfies $$\int_\Omega\nabla u\nabla v=\int_\Omega \tilde{u}v,\ \forall\ v\in ...