The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
138 views

Splitting the action of functionals in duals of Sobolev spaces

Update: After some more thinking and asking I've come to the conclusion that there is no reasonable way to achieve this for all possible $\varphi$ because of the mixed terms. I believe something ...
0
votes
2answers
600 views

Interior regularity for elliptic equations

The monograph "Non-Homogeneous Boundary Value Problems and Applications" by Lions and Magenes is infamous for developing a truly extensive regularity theory for elliptic problems on domains, and for ...
8
votes
2answers
1k 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 ...
2
votes
3answers
690 views

How to define Laplacian on $L_2$

This might be a dumb question, but I thought the Laplacian (classical) is defined for $C^2$ functions. How do we extend that to be a self-adjoint operator on all of $L_2$? Is it the so called ...
3
votes
1answer
282 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
1answer
591 views

Norm of differential operator between Sobolev spaces

It is easy to check that the differential operator $\partial^a$ (where $\alpha\in \mathbb{N}_0^n$) is continuous between the Sobolev spaces (with usual norms) $W^{m,p}(U)\to W^{m-|\alpha|,p}(U)$, ...
9
votes
3answers
391 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
1answer
209 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) ...
3
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 ...
1
vote
1answer
62 views

Continuity of an extension map

Suppose $\delta\in (0,1)$ and $r<1+\delta.$ Suppose moreover we are given a sequence of functions $u_m\in H^{1/2,2}(\partial B_r(0))$, where $B_r(0)$ denotes the euclidean $n-$dimensional ball. ...
3
votes
2answers
155 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 ...
5
votes
1answer
397 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 ...
3
votes
0answers
198 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 ...
2
votes
1answer
299 views

Weak divergence implies weak differentiability of components?

Suppose $\Omega$ is an open set in $\Bbb{R}^N$ and $\sigma : \Omega \to \Bbb{R}^N$ is a field with all components belonging to $L^2(\Omega)$. We say that $\sigma$ has weak divergence if there exists ...
1
vote
2answers
390 views

Sobolev-type inequality.

Let $0< \alpha< n$, $1 < p < q < \infty$ and $\frac{1}{q}=\frac{1}{p}-\frac{\alpha}{n}$. Then: $ \left \| \int_{\mathbb{R}^n} \frac{f(y)dy}{|x-y|^{n-\alpha} } ...
6
votes
4answers
616 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} ...
2
votes
1answer
299 views

Nash inequality on a compact domain?

I have come across a few papers that make use of the Nash inequality for functions on a compact domain. Unfortunately, nobody cites a reference for the proof of this result. Is going from the ...
6
votes
1answer
299 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 ...
2
votes
1answer
360 views

Definition of Sobolev spaces as a space of sections of certain type

I want to define Sobolev spaces for sections on a vector bundle, basically I want that a section will belong to the Sobolev space $W^{k,p}$ if its coordinates in any aceptable patch belong to the ...
2
votes
1answer
222 views

Boundary Value Problem in the space of Distributions

I will not be rigirous cause my question does not require this. It is well known how to treat the solution (for example) of the problem $\Delta u=f$ in $\Omega$ and $u=g$ on $\partial \Omega$ by the ...
6
votes
1answer
533 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 ...
2
votes
1answer
278 views

Function extension in a Sobolev space

Let $\Omega$ be a domain of $R^n$ and let $H^2(\Omega)$ be the usual Sobolev space. Let $\emptyset\ne \omega_1\subset\omega_2$ be open subsets of $\Omega$, and let $\theta \in H^2(\omega_1)$. I ...
1
vote
0answers
311 views

Relation between interpolation spaces and besov spaces

Consider the following two norms: The interpolation norm: 1) $\|u; [L_2,\dot H_1^{\infty}]_{1/3,\infty}\| := \sup_{s > 0} \inf_{u=u_0+u_1} \frac{\|u_0\|_{L^2}}{s^{1/2}} + s \|\partial_x ...
6
votes
1answer
148 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 ...
-1
votes
1answer
621 views

weak convergence in Sobolev spaces and pointwise convergence?

I encounter a problem when reading Struwe's book Variational Methods (4th ed). On page 38, it is assumed that $\|u_m\|$ is a minimizing sequence for a functional $E$, i.e. $E(u_m)\rightharpoonup ...
4
votes
2answers
775 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 ...
1
vote
1answer
414 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 ...
2
votes
2answers
475 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
1answer
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
1answer
306 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 ...
8
votes
1answer
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
3answers
799 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
3answers
830 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
1answer
466 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
1answer
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
0answers
486 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
0answers
213 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 ...
6
votes
1answer
425 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 ...
10
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
2answers
466 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
1answer
258 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
1answer
537 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
1answer
336 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
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 ...
2
votes
3answers
475 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
2answers
727 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
2answers
370 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
1answer
191 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
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
1answer
400 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 ...