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

1
vote
1answer
57 views

Every $W^{1,p}$ has a representative in ACL

Let $\Omega:=(0,1)^n$ and define $ACL_i(\Omega)$ as the set of all Borel functions $u:\Omega\to\mathbb{R}$ such that $$ t\mapsto u(x_1,\dots,x_{i-1},t,x_{i+1},\dots,x_n) $$ is $AC$ for a.e. $(x_1,\...
0
votes
0answers
21 views

Interpolation inequality for fractional Sobolev spaces

In Theorem 5.2 of the book Robert A. Adams and John J. F. Fournier, MR 2424078 Sobolev spaces, ISBN: 0-12-044143-8. is stated that, for any integers $0 \leq j \leq m$ and $u \in W^{m,p}(\Omega)$ (...
1
vote
1answer
110 views

Global Poincaré type estimate

For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...
7
votes
0answers
100 views

Alternative definitions of Sobolev spaces on non-compact Riemannian manifolds

SHORT VERSION: Does the Meyers-Serrin theorem hold on complete, non-compact Riemannian manifolds, i.e. $W^{k,p}(M) = H^{k,p}(M)$? My guess is that this holds for the special case $k=1$ (and all $p\geq ...
1
vote
0answers
41 views

$L^2$-estimate for an elliptic equation

Given $(M, g)$ a compact Riemannian manifold of dimension $n \geq 3$, we consider the following equation for the function $\phi$: $$ -\Delta \phi + R \phi + \tau^2 \phi^{N-1} = \frac{A^2}{\phi^{N+1}} ...
0
votes
0answers
89 views

The eigenfunction of modified $1$-laplace equation?

Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation $$ -\Delta u=0 $$ has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...
0
votes
0answers
20 views

Splitting the region and estimating fractional Sobolev norms

x-post from math.stackexchange (http://math.stackexchange.com/q/1836766/349671), since the question arose from reading through a scientific paper: I've been reading the paper "On the Bourgain, Brezis,...
1
vote
0answers
81 views

Hausdorff Dimension of Exceptional Set for Carleson's Theorem

In Mattila's book Fourier Analysis and Hausdorff Dimension, Mattila presents a result of Barcelo, Bennett, Carbery, and Rogers about convergence of solutions of the Schrodinger equation to the initial ...
5
votes
1answer
68 views

Optimal constant for a Sobolev-type inequality

Let $\overset{\circ}{H^s}(\mathbb T)$, where $s\ge 0$, be the space zero average of $2\pi$-periodic functions $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx},$ such that $$ \lvert u\rvert_s = \...
5
votes
3answers
174 views

Morrey's inequality for Sobolev spaces of fractional order

Let $H^s(\mathbb T)$, where $s\in\mathbb R$, be the space of $2\pi$-periodic functions (or distributions), $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx}$, such that $$ \|u\|_{H^s}^2=\sum_{k\...
3
votes
0answers
54 views

$W^{1, p}(M, N)$ path-connected if and only if $C^0(M, N)$ is path-connected

I'm asked to show that for compact, smooth Riemmanian manifolds $M$, $N$ we have that $W^{1,p}(M,N)$ is path-connected if and only if $C^0(M,N)$ is path-connected. The theorem (0.1) is taken from "...
4
votes
1answer
178 views

Density argument with Schwartz functions?

I was wondering whether the Schwartz functions are also dense in $$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$ ...
0
votes
0answers
75 views

compact injection

Put: $D=\{u\in L^{2}(\mathbb{R}^{n})| x^{\alpha}D^{\beta}_{x}u\in L^{2}(\mathbb{R}^{n}), \forall \alpha,\beta \in \mathbb{N}^{m}:|\alpha|+|\beta|\leq 2 \}$ Why $D \hookrightarrow L^{2}(\mathbb{R}^{n}...
0
votes
0answers
47 views

stokes-equation estimate in $L^2(0,T,L^\frac{3}{2}(\Omega))$

I'm interested in the default Stokes-system, e.g. $ \frac{\partial}{\partial t} u - \Delta u + \nabla p = f \; \text{in} \; \Omega$ $ \nabla \cdot u = 0 \; \text{in} \; \Omega$ $ u = 0 \; \text{on} ...
3
votes
0answers
51 views

Real interpolation of weighted Sobolev spaces with different weights

Let $\Omega \subseteq \mathbb{R}^n$ be open and let $w_0$ and $w_1$ be measurable and almost everywhere positive and finite functions defined on $\Omega$. Let $L^2_{w_0}(\Omega)$ be the weighted ...
3
votes
1answer
189 views

Critical case of Sobolev Embedding

I got stuck in the following lemma: Lemma: Let $B$ be the unit ball in the 4 dimensional Euclidean space. Suppose that $u\in W^{2,2}(B)$, then $e^{u}\in L^{q}$ for any $q>1$. As we know this is ...
1
vote
0answers
48 views

Sobolev norm of a composition with a singular homeo

Let $H_p^t(\mathbb{R})$ be a fractional Sobolev space with the standard norm. The with $p>1$, $0<t<1$. Take some smooth $\phi$ from this space. Let $T$ be an ivertible homeomorphism of $\...
4
votes
1answer
89 views

Does the Nash inequality hold on manifolds with Lipschitz boundary?

Let $N$ be a smooth manifold without boundary of dimension $n$. $M$ is a manifold with Lipschitz boundary if $M \subset N$, $M$ and $N$ are of the same dimension, and in the charts of $N$, the ...
0
votes
0answers
52 views

Is $\Delta u+f\in (H^1(\Omega))^*$ with $u\in H^1_0(\Omega)$ and $f\in L^2(\Omega)$?

Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$ with $\partial \Omega$ being $C^2$. Suppose $u\in H^1_0(\Omega)$, $f\in L^2(\Omega)$ and $\nu>0$. It is said in the Navier-Stokes Equations ...
0
votes
0answers
61 views

Inverse trace theorem for partial trace

A general result is that for a lipschitz bounded domain $\Omega$ in $R^n$, for $u^*\in W^{1-\frac{1}{p},p}(\partial\Omega)$, $1<p<\infty$, there exists $u\in W^{1,p}(\Omega)$ such that $u|_{\...
3
votes
2answers
237 views

Nice way to express $H^{-1}(\mathbb{S}^1)$

I am looking for a good way to write down what $H^{-1}(\mathbb{S}^1)$ is. What do I mean by this: Well, certainly one can define this space via charts that map from the sphere into $\mathbb{R}^2$ and ...
2
votes
1answer
98 views

Are compactly supported continuous functions dense in the Continuous functions of Sobolev space? [closed]

I have a question about Sobolev space. Let $\Omega$ be an open subset of $\mathbb{R}^{d}$, we consider the Sobolev space $H^{1}(\Omega):=\left\{ u \in L^{2}(\Omega) : D_{j}u \in L^{2}(\Omega), j=1,...
1
vote
0answers
108 views

Regularity of a Dirichlet form

I have a question about Dirichlet form. Let $\Omega$ be an Euclidean domain of $\mathbb{R}^{N}$ and $X=\bar{\Omega}$. The measure $m$ on the Borel $\sigma$ algebra $\mathcal{B}(X)$ is given by $m(A)...
1
vote
0answers
37 views

Trace of $u$ on bottom edge of a square if $u_x=0$ inside the square

I want to show that: Let $\Omega =(0,1)\times (0,1)$. For $u \in H^1(\Omega)$, if $u_x=0$ a.e. in $\Omega$, then the trace of $u$ on bottom edge $y=0$, i.e., $u\left|_{y=0}\right.$, is a constant. ...
1
vote
1answer
74 views

The dependence of constant in a trace theorem on the diameter of domain

The trace theorem says for a nice domain, say bounded Lipchitz domain, $\Omega$, we have $$\left\Vert Tu \right\Vert_{H^{1/2}(\partial \Omega)} \leq C \left\Vert u \right\Vert_{H^1(\Omega)},$$ where $...
4
votes
1answer
265 views

$\forall g\in L^2(\Omega)$ exists $g_n\in H_0^1(\Omega)$ and $\epsilon>0$ s.t $g_n(x)\to g(x),\,a.e$ and $|g_n(x)|\leq |g(x)|+\epsilon$

I asked this question on MSE here some time ago, but I couldn't get an answer. There was a suggestion in the comments for a counterexample using a fat Cantor set, but I couldn't show a contradiction ...
1
vote
0answers
73 views

How is the duality pairing of $H^{1/2}$ and $H^{-1/2}$ defined on a subset of the boundary?

Let $\Omega\in \mathbb{R}^d$,for $d\in \{2,3\}$ be a bounded polyhedral set with $n$ boundary faces labeled $\{e_i\}_{i=1}^n$. Let $\vec{q}\in H^{\mathrm{div}}(\Omega).$ Given $u\in H^{1/2}(\...
1
vote
0answers
69 views

An H2 estimate for Helmholtz equation

How to show the following statement? Let $\Omega$ be a bounded Lipschitz convex domain. If $u$ satisfies the following equation, $$ -\Delta u - k^2 u = f \quad\mbox{ in }\Omega \\ \nabla u \...
2
votes
1answer
134 views

condition for $f \in H^{1/2} \cap C^0$

I need to show that for $f \in H^{1/2}(S^1) \cap C^0(S^1)$ we have : $$ \iint\limits_{S^1 \times S^1}{ \frac{|f(x)-f(y)|^2}{\sin^2(\pi(x-y))}dx dy}< + \infty $$ and that, conversely, if $f$ is a ...
1
vote
0answers
26 views

Approximation error estimate

I would like to find a good reference for the following or a similar, probably well-known, approximation error result: Let $\Omega\subset \mathbb{R}^d$ be bounded, $p\in [1,\infty]$, $l, m\in \mathbb{...
2
votes
0answers
77 views

Getting an a priori energy estimate from PDE weak formulation

On a bounded domain $\Omega$, I have two functions $u$ and $v$ in $L^2(0,T;H^1(\Omega))\cap H^1(0,T;(H^1(\Omega))^*)$ satisfying $$\frac{d}{dt}\int u^2 + c_1\int |\nabla u|^2 + n\int u^2 \leq n\int uv$...
3
votes
1answer
95 views

$L^p$ norm of boundary values of holomorphic function

I am looking for an estimate of the following form: Suppose that $D\subset \mathbb{C}$ is a simply connected domain. Suppose that $F$ is holomorphic and bounded on $D$ and can be holomorphically ...
1
vote
1answer
107 views

Nonlinear elliptic problem involving the p-laplacian, Hölder inequality

I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan. I have a problem understanding one step ...
6
votes
0answers
189 views

Density of polynomials in $C^k(\overline\Omega)$

Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
0
votes
0answers
60 views

Sobolev function and capacity

It seems that there is a theorem which claims that If $u\in L_1^2(B_1\setminus T)$ and $T\subset B_1$ is of capacity zero (in some sense, since the author says $(1,2)$-capacity, of which I don't ...
1
vote
2answers
67 views

List of tensor product spaces with uniform crossnorms

Let $H^{(j)}$ and $G^{(j)}$ be Banach spaces for $j\in\{1,\dots,n\}$. Call norms $\|\cdot\|_{H}$ and $\|\cdot\|_{G}$ on the algebraic tensor products $H:=\bigotimes_{j=1}^n H^{(j)}$ and $G:=\...
1
vote
0answers
62 views

Properties of a Sobolev bound

I am interested in computing $$ A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2} $$ where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound. ...
0
votes
0answers
40 views

trace sobolecv inequality for $q=2(n-1)/(n-2)-\varepsilon$ in half space

Can I do the following inequality, for $ u\in D^{1,2}(R^n_+)$, we have $(\int _{R^{n-1}} |u|^{2(n-1)/(n-2)-\varepsilon}dx')^{\frac{ 1}{2(n-1)/(n-2)-\varepsilon } }\leq C ( \int _{ R^n_+}| \nabla u|^...
3
votes
1answer
86 views

Sobolev inequality involving summing from $j = 0$ to $m - 2$, exists constant

Let $I = (0, 1)$ and $1 \le q < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|D^{(m - 1)}u\|_{L^q(I)} + \sum_{j = 0}^{m - 2} \|D^ju\|_{L^\infty(I)} \le \...
2
votes
0answers
50 views

Constant in a trace Sobolev theorem for concave domains

I wonder is the following inequality is true/known: Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then $$ \int_{\partial\Omega} |u|^2 ds \...
3
votes
0answers
64 views
+50

Global Euclidean Carleman Estimate with a linear phase

I am interested in deriving the following global Carleman estimate which I think should hold : $ \| e^{\tau \phi} \triangle e^{-\tau \phi} u \|_{L_{\delta+1}^2({\mathbb{R^3})}}> C \tau \| u \|_{L^...
3
votes
0answers
59 views

Modify the jump set of $BV$ function

Let $u\in BV(\Omega)$ be a function of bounded variation where $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. We use $Du$ to denote the weak derivative of $u$. (So $Du$ is a Radon ...
2
votes
1answer
65 views

What is the function space $H^1_{m, \sigma}$?

I am reading Hildebrandt's and Widman's 1975 paper on "Some regularity results of quasilinear elliptic systems of second order". Theorem 3.1 is the first time in their paper that the function space $...
6
votes
1answer
197 views

Simplicity of eigenvalues

Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...
4
votes
0answers
52 views

Sobolev spaces defined on non-compact Lie groups

In this post, a question was raised to discuss the generalization of Sobolev spaces on locally compact Lie groups. Now my question is whether there exists a generalization of Sobolev spaces and ...
7
votes
1answer
100 views

If $u \in H^1(U)$, then $Du = 0$ almost everywhere on the set $\{u = 0\}$, auxiliary result

Let $\phi$ be a smooth, bounded and nondecreasing function, such that $\phi'$ is bounded and $\phi(z) = z$ if $|z| \le 1$. Set$$u^\epsilon(x) := \epsilon \phi(u/\epsilon).$$Do we necessarily have that$...
7
votes
0answers
48 views

Continuous inclusions Sobolev theorem, question [closed]

How do I see that if $f$, $g \in H^s(\mathbb{R}^n)$ for $s > n/2$, then $fg \in H^s(\mathbb{R}^n)$ and$$\|fg\|_{H^s(\mathbb{R}^n)} \le C\|f\|_{H^s(\mathbb{R}^n)}\|g\|_{H^s(\mathbb{R}^n)},$$the ...
1
vote
1answer
81 views

$L^\infty(0,T;X) \cap C([0,T];Y) \subset C([0,T];X)$ for $X \subset Y$ dense?

is the Inclusion stated in the title true? In my case the spaces (essentially) are $X = H^1(\Omega)$ and $Y = L^2(\Omega)$ for $\Omega \subset \mathbb{R}$ bounded. My first try was to show $\lim_{t_1 ...
1
vote
3answers
147 views

Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]

Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
0
votes
0answers
67 views

Boundedness of a function that satisfies a PDE-type inequality

Let $\Omega$ be a bounded Lipschitz domain, and let $u\colon[-T,0]\times \Omega \to \mathbb{R}$ be a function with $u(-T)=0$. Suppose that $$\sup_{-T \leq t \leq 0} \int_\Omega |(u(t)-k)^+|^2 + \int_{...