Tagged Questions

For questions about or related to Sobolev spaces, which are function spaces equipped with a norm combining norms of a function and its derivatives.

66 views

38 views

Relationship between norm of a function and its supremum

Let $u \in H^{1}(\Omega)$ , $0<\tau <1$ and $B_{\tau R}$ the open ball of radius $\tau R$ under what conditions (I) $||u||_{L^{p}(B_{\tau R})} = \sup\limits_{B_{R}} u$ and (II) ...
24 views

34 views

When is it true that the Sobolev trace of a positive a.e. function is positive a.e?

Let $u \in H^1(\Omega)$ on a bounded smooth domain $\Omega$. Is it true that if $u \geq 0$ a.e., then $Tu \geq 0$ a.e. on $\partial\Omega$ where $T$ is the trace? I don't think it is, since $u$ can ...
19 views

Convergence of the series $\sum_{k=1}^{\infty} \frac{1}{2^k} |x-y_k|^{-\alpha}$

Suppose $S=\{y_k\}_{k=1}^{\infty}$ is a countable dense subset of the open unit ball $B(0,1)$ in $\mathbb{R}^n$. We write u(x) = \sum_{k=1}^{\infty} \frac{1}{2^k} |x-y_k|^{-\alpha} ...
28 views

Chain rule in $\mathbb{R}^d$, with $d\ge 2$.

Given $\Omega\subset\mathbb{R}^d$ be an open bounded set with Lipschitz boundary, let $v\in (H^1(\Omega))^d$, $\psi\in H^1(\Omega)$ $T_K(x):=B_K x+b_K$, where $B_K$ is a non-singular invertible ...
17 views

weak formulation of $u''=\psi'(u)+f$ with $u\in W^{1,2}_0((a,b))$.

Let $u\in W^{1,2}_0((a,b))$, $(a,b)=I$ and $\psi'$ the derivative of a convex function $\Psi\in C^1(\mathbb{R})$. Consider $f\in L^2(I)$ and the differential equation $$u''=\psi'(u)+f.$$ I want to ...
28 views

Equivalence of norms on $W^{1, p}(I)$

Let $I=(a, b)$, $a<y<b$ an arbitrary point and $J\subseteq I$ an open interval. Then the norms $\left\Vert \cdot \right\Vert_{\sharp}$, $\left\Vert \cdot \right\Vert_{\flat}$ on the Sobolev ...
31 views

Confusion about the definition of Sobolev spaces on manifolds

Let $(M,g)$ be a manifold with metric $g$ parametrized by the mapping $S$ and parametric domain $\Omega$. The sobolev space of order one with respect to the $L_2(M)$-norm $H^1_2(M)$ is defined as ...
38 views

22 views

Understanding the embedding of $W^{\infty, 2}$

I am trying to understand Sobolev's embedding theorem, more precisely to understand when a Sobolev generalized function of infinite order is smooth of some order. Consider the following statement ...
29 views

Bessel potential action on a product of function

Let's consider the Bessel potential $$J^s:=(I-\Delta)^{\frac{s}{2}}$$ Does it exist some kind of Leibniz rule for $$J^s(fg)$$?
28 views

37 views

Under some regularity assumptions to the boundary $\partial\Omega$, the first weak eigenfunction of $-\Delta$ in $\Omega$ is also a strong one

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain, $H:=W_0^{1,2}(\Omega)$ be the Sobolev space, $C^{2,\alpha}(\Omega)$ be the Hölder space for some $\alpha\in (0,1]$ and ...
23 views

28 views

26 views

A calculation for an open ball in $\mathbb{R}^N$ and function space.

Let $B_r(x)$ denoting the ball of center $x$ and radius $r>0$. We denote by $\lambda_{1,\,B_\rho(y)}$ the first eigenvalue of $-\Delta$ in $W^{1,\,2}_0\left(B_\rho(y)\right)$ and by ...
54 views

Existence of weak solution to $-\Delta u =0$, $u|_{\Gamma_1} = g$ and $u_{\Gamma_2} = 0$?

Let $\Omega$ be a compact Riemannian manifold with $\partial\Omega = \Gamma_1 \cup \Gamma_2$ a union of disjoint sets. Let $g \in H^s(\Gamma_1)$ and consider $$-\Delta u = 0 \text{ on \Omega}$$ ...
69 views

$L^{\infty}$ estimate on the boundary by means of Sobolev norms in the interior

I am studying this paper http://143.248.27.21/mathnet/paper_file/washington/gunther/cpde.pdf and I have a doubt I have not been able to solve since yesterday. In page 14, just before the last bunch of ...
I was hoping to find some references for the following facts: Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^n$. (i) If $\nabla p$ is a distribution in $H^{-1}(\Omega)$ then ...
Let $U$ be an open set in $\mathbb{R}^n$,$f:U\to \mathbb{R},f\in W^{1,p}(U)$. Let $\tau_{h,i}f(x)=\frac{f(x+he_i)-f(x)}{h},h>0$ Given any compact $V\subset U$, show there exists $h_0>0$ such ...