**1**

vote

**0**answers

106 views

### Regularity of weak solution

I have also posted the question here. Let me explain what difficulties I have. In fact, one may write
\begin{equation}
\partial_1(f-\partial_1 u)=0
\end{equation}
in $\Omega$. Then one may have the ...

**1**

vote

**0**answers

85 views

### “Friedrichs extension Laplacian” vs “Weak Laplacian” and fractional powers

Take $\Omega$ to be a bounded domain and consider Neumann BCs.
In some works, I see that a Laplacian $(-\Delta_D)^{\frac 12}$ is defined as an operator with domain $H^1(\Omega)$, and in other works, ...

**0**

votes

**0**answers

53 views

### Equivalence of Sobolev--Slobodeckii and interpolation space on boundaries

Let $s \in (0,1)$. Given a sufficiently smooth hypersurface $\Gamma$ in $\mathbb{R}^n$, one can define the Sobolev--Slobodeckii space with the norm
$$|u|_{H^s(\Gamma)}^2 = \int_\Gamma |u|^2 + \int_\...

**5**

votes

**1**answer

79 views

### Trace spaces on convex polyhedra: compatibility conditions at edges

Let $\Omega$ be a convex polyhedron in $\mathbf{R}^3$ with boundary $\partial\Omega$ consisting of $N$ polygons $\{\Gamma_j\}_{j=1}^N$. It's well known that in general
$$ H^s(\partial \Omega) \neq \...

**1**

vote

**0**answers

35 views

### About norm on $H^{\frac 12}(M \times \{0,1\})$

Let $X=M \times \{0,1\}$ with $M$ a smooth compact manifold without boundary.
Define the fractional Sobolev space $H^{\frac 12}(X) = (L^2(X), H^1(X))_{\frac 12}$, as the real interpolation space ...

**0**

votes

**0**answers

53 views

### How to modify a SBV convergence sequence to obtain uniform integrability?

Given $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. Assume $(u_n)\subset SBV(\Omega)$ a sequence of functions such that $u_n\to u_0$ weakly in $SBV$ for some function $u_0\in SBV(\...

**2**

votes

**2**answers

165 views

### Composition operators on fractional-order (periodic) Sobolev spaces

(The question was originally posted on MSE.)
Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...

**0**

votes

**1**answer

84 views

### Sobolev chain rule on non-compact manifolds

Let $(M,g)$ be a non-compact Riemannian manifold (not of bounded geometry).
Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$ with $f'$ bounded and $f(0)=0$. Is the Sobolev chain rule valid for functions $...

**1**

vote

**1**answer

144 views

### Is it true that for dimension d=3, if $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ then exponent of v or -v is not summable?

I have the following Question:
1) Is it true that
if $\Omega\subset\mathbb R^3$, $\Omega$ - bounded, $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ implies $\int\limits_{\Omega}{e^vdx}=+\infty$ ...

**1**

vote

**1**answer

75 views

### A bound on the $\mathrm{L}^p$ norm in terms of the $\mathrm{L}^2$ norm in periodic Sobolev spaces

(The question was originally posted on Math StackExchange.)
Preliminaries: Given ${s \geq 0}$, let ${\mathrm{H}_P^s}$ denote the ${\mathrm{L}^2}$-based fractional-order Sobolev space of ${P}$-...

**0**

votes

**0**answers

48 views

### Differentiation of $(u(t),v(t))_{L^2(\Omega)}$ when $u, v \in H^1(I\times \Omega)$

Let $I=(0,\infty)$. Consider $u, v \in L^2(I;H^1(\Omega))$ with $u_t, v_t \in L^2(I;L^2(\Omega))$ where $\Omega$ is a bounded doamin.
Is it true that
$$\frac{d}{dt}(u(t),v(t))_{L^2(\Omega)} = (u'(t), ...

**0**

votes

**2**answers

190 views

### Operator on a Sobolev space [closed]

I'm studying Sobolev spaces using Evans' PDE book.
I can't figure out this simple fact.
Let $L$ be an operator in this form:
$$Lu= \sum{D_i(a_{ij}D_j(u))+\sum{b_iD_i(u)+cu}}.$$
I can't understand why ...

**0**

votes

**1**answer

149 views

### About weak derivatives [closed]

I have a question about weak derivatives.
Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some
open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...

**1**

vote

**0**answers

96 views

### Does strong convergence in $W_p^1$ imply strong convergence of derivatives of absolute values in $L_p$?

Let $G$ be a Lipshitz domain and $u_n \to u$ in $W_p^1(G)$. Is it correct, that $\frac{\partial |u_n|}{\partial x_m} \to \frac{\partial |u|}{\partial x_m}$ in $L_p(G)$?
I know, that $\frac{\partial |...

**1**

vote

**1**answer

71 views

### An inequality with critical Sobolev exponent

Let $\Omega\subset \mathbb{R}^n, n\geq 3$ be a nice bounded domain and $2^*=2n/(n-2)$ the critical Sobolev exponent. One may expect that $\forall \epsilon>0$, $\exists C_\epsilon<\infty$ such ...

**4**

votes

**2**answers

266 views

### Equivalent Norms on Sobolev Spaces

When $k$ is a positive integer and $1<p<\infty$, we know that there is some
$C>0$ such that for all $u\in W^{k,p}\left(\mathbb{R}^{N}\right) :$
$$
\left\Vert \left( -I+\Delta\right) ^{\...

**1**

vote

**1**answer

177 views

### Elliptic pde with bilaplacian; boundary conditions.

I am interested in the solvability of
$$ \Delta^2 u + u = f(x) \mbox{ in } \Omega $$ with $ \partial_\nu u = \Delta u=0$ on $ \partial \Omega$ where $ f(x)$ is some smooth bounded function on $ \...

**0**

votes

**1**answer

130 views

### How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability of gradient?

Assume $u_n\to u$ weakly in $H^1(\Omega)$ where $\Omega\subset \mathbb R^N$ is open bounded Lipschitz boundary.
My goal is to find a new sequence $\bar u_n$ and a new function $\bar u$ such that
$...

**3**

votes

**1**answer

110 views

### Generalization of maximum principle to other norms

Consider the Laplace equation $\Delta u=0$ in $\Omega \subset \mathbb{R}^d$ with Dirichlet boundary conditions, i.e. $u=g$ on $\delta \Omega$. By the maximum principle we know that the solution $u$ ...

**3**

votes

**1**answer

614 views

### Besov and Triebel-Lizorkin spaces

Let me start with a couple of notational reminders. For $\xi\in \mathbb R^n$,
$$
1=\varphi_{0}(\xi)+\sum_{\nu \ge 1}\varphi_{\nu}(\xi),\quad \varphi_{0}\in C^\infty_c(\mathbb R^{n}),\quad \varphi_{\nu}...

**6**

votes

**1**answer

260 views

### Chain rule for weakly differentiable functions

Given are $f\in L^1(\mathbb R^n)$, $f>0$, such that $\log f\in L^1_{\mathrm{loc}}(\mathbb R^n)$ and $\nabla \log f = g$ in the sense of distributions, with $g\in L^1_{\mathrm{loc}}(\mathbb R^n)\cap ...

**5**

votes

**1**answer

150 views

### [This might be a easy question]: A possible trace (inequality) defined under negative Sobolev scale

I have a stupid question:
Why is that not possible (if it is not) to define the trace of a function in a very weak regularity space $H^{-s}(\partial \Omega)$? We usually encounter trace theorem as
...

**0**

votes

**1**answer

141 views

### Sobolev type embedding

Consider a compact manifold $M$ and a point $q \in M$. Let us say that
that the following inequality holds:
$$
\Vert \varphi u\Vert_{L^p} \leq C\Vert \varphi u\Vert_{H^1},$$ where $\varphi \in C^\...

**1**

vote

**0**answers

98 views

### Vector valued Sobolev spaces

My question is in reference to this question previously asked here. As asked there, consider a function $f \in H^s_x(L^2_y) \cap L^2_x(H^s_y)$. In the notation of Lions and Magenes (Chapter 4, Vol 2), ...

**2**

votes

**0**answers

56 views

### Rearrangement in Bessel function spaces

I consider, for $0<s<1$, the Bessel function space
$$
L^{s,2}(\mathbb{R}^d) = \left\{f\in L^2(\mathbb{R}^n) : (1+|\cdot|)^{s/2}\hat{f}(\cdot)\in L^2(\mathbb{R}^n)\right\}.
$$
The question I ...

**1**

vote

**1**answer

191 views

### Norm equivalent to Sobolev norm? [closed]

On the hyperbolic space $\mathbb{H}^n$, it is known that the spectrum of the Laplacian satisfies $\text{Spec}(-\Delta) \subset [\frac{(n - 1)^2}{4}, \infty)$. Consider the operator $P = -\Delta + a$, ...

**1**

vote

**1**answer

366 views

### Condition to obtain a not compact embedding

I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...

**7**

votes

**1**answer

393 views

### Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...

**2**

votes

**0**answers

66 views

### Sobolev embedding on warped product

Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...

**7**

votes

**3**answers

500 views

### Derivatives of radial functions can be bounded by derivatives in terms of radial distance?

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$,
and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$.
Prove or disprove the following.
Given any ...

**2**

votes

**0**answers

75 views

### Finding an explicit constant in finite element error estimates

Background: In a finite element approximation to the solution of a linear PDEs, estimates on the order of convergence of the approximation to the solution rely on a theorem of Bramble and Hilbert ("...

**2**

votes

**0**answers

146 views

### Sobolev trace theorem

Set $Q:=\Omega\times(0,T)\subset\mathbb{R}^{n+1}$,
where $\Omega$ is knows as a bounded domain
with smooth boundary $\partial D$.
We choose any subdomain $D\subset Q$
with smooth boundary $\partial ...

**3**

votes

**1**answer

208 views

### Mixed (anisotropic) Sobolev spaces

Consider real variables $x, y$ and a function $f(x, y) \in H^s(\mathbb{R}^2)$, say for some $s \in (0, 1)$. I am trying to get an understanding of mixed Sobolev spaces of the form $H^s_x(H^s_y)$, ...

**3**

votes

**1**answer

118 views

### Can you pair $H^s(\Omega)$ and $H^{-s}(\Omega)$ on a domain $\Omega$?

Consider the fractional Sobolev spaces on $\mathbb R^n$
$H^s(\mathbb R^n) := \left\{ u \in \mathcal S'(\mathbb R^n) \; : \; ( 1 + |\xi|^2 )^{s/2} \hat u \in L^2(\mathbb R^n) \right\}$.
Let $\Omega$ ...

**3**

votes

**1**answer

112 views

### Horizontal Sobolev space on Carnot group

This question is connected with my previous: Heisenberg group: function without vertical derivative.
Here I am trying to look from another side: what is a difference between Sobolev space and ...

**4**

votes

**2**answers

254 views

### Fractional Sobolev spaces and interpolation in unbounded Lipschitz domains

I am not really familiar with the topic, thus I am looking for some references about the following problem.
Let $s>0$ be a positive real and let $p\in(1,+\infty)$. We define the Bessel Potential ...

**1**

vote

**1**answer

109 views

### Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles

Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the ...

**0**

votes

**0**answers

99 views

### About equivalence of two fractional Sobolev/Hilbert spaces

Let $(\varphi_k, \lambda_k)$ be the eigenelements of the Neumann Laplacian. It's possible to define a space
$$H(\Omega) = \{ u \in L^2(\Omega) \mid \sum_{k \geq 1}\lambda_k^{\frac 12}|(u,\varphi_k)_{L^...

**2**

votes

**2**answers

210 views

### compact inclusion of domains of unbounded operators

Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold.
Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset \mathcal{D}(...

**3**

votes

**0**answers

58 views

### Pointwise (a.e) evaluation of $\sum_{n \geq 0}(u,w_n)_{L^2}w_n$ and equalities in $L^2$

Let $w_n$ be a orthonormal basis of $L^2(\Omega)$. Given $u \in L^2$ we can write $$u=\sum_{n \geq 0}(u,w_n)_{L^2}w_n.$$
Suppose $w_n$ are the eigenfunctions of the Neumann Laplacian. We can write
$$\...

**3**

votes

**1**answer

182 views

### Interpolation Operator Bounded in Sobolev Norm

Let $m\in \mathbb{N}$, $p\in [1,\infty]$, $W^{m,p}([0,1])$ the space of all functions $[0,1]\rightarrow \mathbb{R}$ which are $m$ times weakly differentiable and weak derivatives in $L^p$,
$$|u|_{W^{...

**1**

vote

**2**answers

180 views

### Sobolev trace map: is the fractional seminorm bounded by just the gradient?

Let $M$ be a compact Riemann manifold. Consider the trace map $T:H^1(M) \to H^{\frac 12}(\partial M)$. Is it always the case that
$$|Tu|_{H^{\frac 12}(\partial M)} \leq C\lVert \nabla u \rVert_{L^2(M)...

**1**

vote

**0**answers

66 views

### boundedness of a sequence $ \in L^{\infty}(I,H^1(M))\cap Lip(I,L^2(M))$ implies that its temporal derivative is bounded as well [closed]

Hi I have the next claim which I would like to find a proof of it.
I have a sequence of functions $u_\epsilon(t,x) \in H^1(M)$ where $M$ is a compact manifold, and $u_\epsilon \in L^\infty(I,H^1(M))\...

**1**

vote

**0**answers

75 views

### Sobolev trace of $H^1(\mathcal{M} \times I)$ functions

Let $\mathcal{M}$ be a compact Riemannian manifold and let $I=(0,1)$. I seek a trace theorem saying that functions $u \in H^1(\mathcal{M} \times I)$ have a well-defined trace at $\mathcal{M} \times \{...

**4**

votes

**1**answer

197 views

### Hardy-Littlewood-Sobolev inequality using fractional sobolev norm on the RHS

Using Hardy-Littlewood-Sobolev inequality, we can prove that:
$$\left| \int_0^1\int_0^1 |x-y|^{-\frac{1}{2}} f(x)f(y) \mathrm{d}x \mathrm{d}y \right| \leq C \left\| f \right\|_{L^{4/3}(0,1)}^2 \leq C \...

**1**

vote

**0**answers

122 views

### $L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value

Let $u \in H^1((0,T)\times S)$ be the unique solution of
$$u_{tt} + \Delta u =0$$
$$u|_{t=0}= u_0$$
$$u|_{t=T}=0$$
where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...

**2**

votes

**1**answer

92 views

### Follow up question to: Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$

This is a follow up question of the question Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
...

**1**

vote

**1**answer

89 views

### Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$

Let $\Omega
\subset
\mathbb{R}^{N}$
be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$
is a Caratheodory function such that $g(x,t)=0$
for $t\leq0$
. Suppose that ...

**3**

votes

**1**answer

343 views

### Lemma 2.11 of Tao's Nonlinear Dispersive Equations

I'm reading the proof of Lemma 2.11 of that book, for which Tao has an errata showing that the case $b=b'$ is not obvious. But I can't quite understand his explanation on how to show that case. Could ...

**2**

votes

**1**answer

248 views

### Does this linear elliptic equation have a weak solution?

Let $Q = \Omega \times (0,C)$ where $\Omega$ is a bounded domain, write $(x,y) \in Q$ for $x \in \Omega$ and $y \in (0,C)$. Is the problem
$$\Delta_{(x,y)}v = 0\quad\text{in $Q$}$$
$$\frac{\partial v(...