The sobolev-spaces tag has no wiki summary.

**2**

votes

**0**answers

89 views

### Sobolev space for manifold with boundary

For an compact manifold $M$ without boundary, we consider the eigenfunctions $(f_1,f_2,\ldots)$ of some elliptic operator (e.g $\Delta$) with eigenvalue $\lambda_{1},\lambda_{2},\ldots$. To define ...

**0**

votes

**0**answers

74 views

### if $u_\epsilon \rightarrow u$ weakly in $L^2$ then also $\partial_t u_\epsilon \rightarrow \partial_t u $ weakly in $L^2$

I am looking for a citation of the above claim, I am not sure under what conditions on the sequence $u_\epsilon$ exactly this applies. $u_\epsilon$ is a sequence of functions that depend on $x,t$ ...

**2**

votes

**1**answer

40 views

### Looking for a theorem that says that the embedding $H^{1-\sigma}(M)\subset C^1(M)$ is compact for $\sigma\in (0,1)$

I am Looking for a theorem that says that the embedding $H^{1-\sigma}(M)\subset C^1(M)$ is compact for $\sigma \in (0,1)$, where $M$ is a compact manifold.
Any references are appreciated.
PS
I am ...

**0**

votes

**0**answers

84 views

### Banach space dual to $L^\infty(I,H^1(M))$

What is the dual to $L^\infty (I,H^1(M))$?, where $I$ is an interval in the real line; $H^1(M)$ is Sobolev space of degree 1, and $M$ is a compact manifold like the torus.
Any references that show ...

**1**

vote

**0**answers

26 views

### Lipschitz continuity of a composition operator

Let $P\colon U\subset \mathbb{R}^K\rightarrow \mathbb{R}^K$ be $C^\infty$, $\Omega \subset \mathbb{R}^d$ open and bounded, $m \in \mathbb{N}$, $p\in [1,\infty]$ such that $m>\frac{d}{p}$, $f \in ...

**1**

vote

**0**answers

66 views

### $H=W$ for weighted Sobolev spaces

Meyers and Serrin's $H=W$ is well known, but how does it generalize when we add weights?
Let's define $H^{m,p}(\mu_0,\dots,\mu_m)$ to be the completion of $C^\infty(\Omega)$ in the norm
...

**0**

votes

**1**answer

150 views

### Sobolev's lemma on manifolds

Let $M$ be a n-dimensional closed submanifold in $\mathbb{R}^m.$ I was looking for a version of Sobolev's lemma saying that for $f \in {W}^{k,2}$ we find a representative of $f \in C^{r}$ satisfying ...

**0**

votes

**0**answers

29 views

### A special approximation of BV functions

Suppose $\Omega:=B(0,1)\subset \mathbb R^2$. Let $u\in BV(\Omega)$ be a radially symmetric, i.e., $u(x)=u(Rx)$ for all $R\in SO(2)$. In addition, suppose $w$ to be an affine function,. i.e., ...

**4**

votes

**1**answer

153 views

### Density of smooth functions in Sobolev space, respecting nonnegative traces

I am looking for a reference for the following result (if it is true, which I would expect):
Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. Let $\Gamma_0\subset\partial\Omega$ be ...

**4**

votes

**1**answer

124 views

### Function and its Gradient with Prescribed Norms

I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...

**0**

votes

**1**answer

130 views

### $u_n$ bounded in $L^\infty(0,T;H) \cap L^2(0,T;V)$ implies $u_n \to u$ strongly in $L^2(0,T;H)$?

Let $V \subset H$ be a dense and compact embedding. Let $$\lVert u_n\rVert_{L^\infty(0,T;H)} + \lVert u_n \rVert_{L^2(0,T;V)} < C$$ where $C$ is independent of $n$. It follows that eg. $u_n ...

**1**

vote

**0**answers

55 views

### Strong solution to parabolic equation without differentiability assumption on coefficient?

Consider on $(0,T)\times \Omega$, $\Omega$ a bounded domain
$$u_t(t,x) - a(u(t,x))\Delta u(t,x) = f(t,x)$$
$$u|_{\partial\Omega} = 0$$
where $a$ is real-valued and satisfies
$C_1 \leq a(r) \leq C_2$ ...

**2**

votes

**1**answer

117 views

### Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$

I want to show:
Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align}
H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N)
\end{align}
is compact.
I was able to show ...

**1**

vote

**0**answers

79 views

### Weak (Sobolev) derivative and the Frechet derivative (chain rule) [closed]

Let $A: H^s(\Omega) \to H^1(\Omega)$ be a bounded linear map. Let $u \in H^s(\Omega)$. Let $f:\mathbb{R} \to \mathbb{R}$ be nonlinear and Lipschitz such that $f(u) \in H^s(\Omega)$.
Is it possible to ...

**1**

vote

**0**answers

50 views

### Fractional Poincare inequality on closed manifold

Let $u \in H^{\frac 12}(M)$ on a compact closed Riemannian manifold. Can someone refer me to a source where the inequality
$$\lVert u - \bar u \rVert_{L^{2^*}} \leq C|u|_{H^{\frac 12}}$$
is proved, or ...

**3**

votes

**1**answer

95 views

### Extension of Sobolev Functions

Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
...

**1**

vote

**1**answer

109 views

### Identifying the weak limit of a gradient (Bochner spaces)

Let $X=L^2(0,T;L^2(\Omega))$ for an unbounded domain $\Omega$. Let $f_n, f:\mathbb{R} \to \mathbb{R}$ be functions with $f_n \to f$, $f_n(0)=f(0)=0$ and $f_n$ Lipschitz with Lipschitz constant ...

**3**

votes

**0**answers

67 views

### Equivalence of fractional Sobolev space defined through Gagliardo norm and interpolation; dependence on the domain

Let $\Gamma$ be a smooth hypersurface in $\mathbb{R}^n$. We can define the fractional Sobolev space
$$X = \{ u \in L^2(\Gamma) \mid |u|_X^2 := \int_\Gamma \int_\Gamma \frac{|u(x)-u(y)|^2}{|x-y|^{n+1}} ...

**0**

votes

**1**answer

107 views

### Does Trudinger inequality implies this critical Sobolev embedding?

Let $1<p<\infty$, $\mathrm{L}^p_s(\mathbb{R}^n)=J_s(\mathrm{L}^p(\mathbb{R}^n))$, where $J_s=(I-\Delta)^{-\frac{s}{2}}$, or $\mathscr{F}(J_sf)(\xi)=(1+|\xi|^2)^{-\frac{s}{2}}\hat{f}(\xi)$. And ...

**0**

votes

**0**answers

48 views

### The minimizing problem over a sequence of shrinking balls

Let $B(0,r)\subset \mathbb R^3$ be a ball centered at $0$ with radius $r$. Define
$$ \mathcal A_r:=\{u\in H_0^1(B(0,r)),\,\,\|u\|_{L^{q+1}}=1\}$$
where $1<q<5$. Hence we know that each ...

**1**

vote

**0**answers

134 views

### Solution to a PDE with constant data - what is the fault in my proof? [closed]

Let $C=\Omega \times (0,\infty)$. We want to find a solution $v \in H^1(C)$ such that given $u \in H^{\frac 12}(\Omega)$,
$$\int_0^\infty\int_\Omega \nabla v \nabla \varphi + v_y\varphi_y = ...

**1**

vote

**0**answers

31 views

### Finite elements $W^{1,\infty}$ error estimates

Are there finite element method setups that provide error estimates in the $W^{1,\infty}$ norm (i.e., bounds on $\|u'_h - u'\|_\infty$)? Which families of elements can be used for implementing them?

**0**

votes

**0**answers

69 views

### Showing existence of positive weak solution of a PDE by CoV

Given the following PDE
$$
\begin{cases}
-\Delta u+\alpha=u^q &x\in\Omega\\
u=0 &x\in\partial\Omega
\end{cases}
$$
where $\Omega\subset\mathbb R^3$ is open bounded with smooth boundary, ...

**3**

votes

**1**answer

91 views

### If $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, does $f(u_n) \to f(u)$ in $H^{\frac 12}(\partial\Omega)$ for $f$ Lipschitz?

Let $f:\mathbb{R} \to \mathbb{R}$ be a smooth function with $|f'(x)| \leq C$ for all $x$ and $f(0)=0$.
Suppose $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, where $\Omega$ is a bounded domain of ...

**2**

votes

**2**answers

198 views

### About a completion of a Sobolev space

Let $\Omega$ be a bounded smooth domain and define $\mathcal{C} = \Omega \times (0,\infty)$. Below, $x$ refers to the variable in $\Omega$ and $y$ to the variable in $(0,\infty)$. The map ...

**0**

votes

**0**answers

58 views

### Fractional Sobolev space on compact manifold as integral

Is it possible to define the fractional Sobolev space $H^{\frac 12}(M)$ on a compact (closed) Riemannian manifold $M$ as the set of $u \in L^2(M)$ such that
$$\int_M\int_M ...

**0**

votes

**2**answers

112 views

### Friedrichs/Poincare inequality on $S_n \times (0,\infty)$?

Should I expect the following Friedrichs/Poincare inequality to hold for $u \in C^\infty(S_n \times (0,\infty))$ with $u(x,0) = 0$:
$$\int_{S_n \times (0,\infty)}|u|^2 \leq C\int_{S_n \times ...

**3**

votes

**0**answers

112 views

### Bounded functions dense in Sobolev Spaces

Let $M$ be a complete Riemannian manifold. Is it always true that the subspace $C^2_b(M)\cap W^{2,p}(M)$ is dense in $W^{2, p}(M)$, where $C^2_b(M)$ denotes the space of functions that are uniformly ...

**4**

votes

**1**answer

218 views

### Calculus of variation

This is probably simple but I'm stuck somewhere. I am trying to solve the calculus of variation problem that arise in an applied field: $$\min_{f \in C^1} \int^1_0 \int^1_0 (x-y)^2f(x,y)dxdy$$ ...

**2**

votes

**0**answers

140 views

### Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...

**2**

votes

**0**answers

67 views

### Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse.
Does there ...

**1**

vote

**1**answer

64 views

### Image of (right) inverse trace map $\xi\colon H^{\frac 12}(\partial\Omega) \to H^1(\Omega)$ dense in $H^1(\Omega)$?

Let $\gamma\colon H^1(\Omega) \to H^{\frac 12}(\partial\Omega)$ be the linear trace map which has a right continuous inverse $\xi\colon H^{\frac 12}(\partial\Omega) \to H^1(\Omega)$.
Is the image of ...

**0**

votes

**0**answers

58 views

### How do these two extensions of Sobolev spaces relate to each other?

In nonparametric statistics, the following space is often used
$$H_{per}^\beta := \left\{f:[0,1]\to\mathbb{R}:\,D^{\beta-1}f\,\text{absolutely continuous and } D^\beta f\in L^2[0,1], \\D^{k}f(0) = ...

**2**

votes

**0**answers

73 views

### The definition of $W_0^{1,\infty}$

I know how to define $W_0^{1,p}(\Omega)$, $\Omega\subset R^N$ open bounded smooth boundary, for any $1\leq p<\infty$. However, for definition of $W_0^{1,\infty}(\Omega)$, I always confused. ...

**2**

votes

**1**answer

65 views

### Local fractional Sobolev inequality

If $\mathcal{X}$ is a smooth cutoff near 0 in $\mathbb{R}^n$, then $M_0 = \mathcal{X}(-\Delta+Id)\mathcal{X}$ is a self-adjoint operator in $L^2(\mathbb{R}^n)$. Because $M_0$ is semi-positive and the ...

**3**

votes

**1**answer

147 views

### $\lVert u\rVert_{W^{2,p}}$ is bounded above by $\lVert \Delta_p u\rVert_{L^2}$ for $u \in W^{1,p}_0 \cap W^{2,p}$?

I work on a bounded domain in $\mathbb{R}^n$ and let $p \geq 2$ and the operator $\Delta_p u = \nabla \cdot (|\nabla u |^{p-2}\nabla u)$.
Does the following inequality (or something similar hold) for ...

**0**

votes

**0**answers

45 views

### Regularity of solutions to $u' + Au = f$ for nonlinear monotone operator $A$

Consider the equation
$$u' + Au = f$$
$$u|_{\partial \Omega} = 0$$
$$u(0) = u_0$$
where $A:L^p(0,T;W^{1,p}_0) \to L^q(0,T;W^{-1,q})$ is some monotone nonlinear operator (with additional assumptions). ...

**1**

vote

**0**answers

34 views

### Introduction to free boundary problems (that are not Stefan problems)

Could someone recommend some notes/papers that deal with existence/regularity of free boundary problems arising from parabolic equations (excluding Stefan type equations)?
I am thinking of eg. ...

**2**

votes

**1**answer

116 views

### Question regarding to approximate continuity

Given $u\in BV(R^N)$, we say $u$ is approximate continuous at $x$ and the approximation limit is $l\in R$ if
$$ \lim_{r\to 0}\frac{\mathcal{L}^N(B(x,r)\cap \{|u-l|>\epsilon\})}{r^N} =0 $$
for all ...

**0**

votes

**1**answer

56 views

### Question regarding Laplace equation under Evans setting

All the following we use Evans notation.
By Green's reconstruction formula, we could represent $u$ by
$$ u(x)=\int_\Omega-\triangle u(y)G(x,y)dy-\int_{\partial \Omega}u(y)\partial_\nu ...

**5**

votes

**2**answers

188 views

### Compactly supported functions and Sobolev spaces on manifolds

It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...

**2**

votes

**0**answers

107 views

### Lebesgue point and regularity of functions

A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point.
I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...

**3**

votes

**0**answers

133 views

### Strong solution to $u_t - \Delta_p u = f$

For $p > 1$, consider the equation
$$\langle u_t, v \rangle + \int_\Omega |\nabla u|^{p-2}\nabla u \nabla v = \langle f, v \rangle$$
$$u(0) = u_0$$
$$u|_{\partial\Omega} =0$$
for all $v \in ...

**7**

votes

**0**answers

275 views

### Proving that a space is Hilbert

Let $H=H_0^1(0,\ell)\times H_*^1(0,\ell)\times H_*^1(0,\ell)$ be equipped with the norms
\begin{align*}
...

**6**

votes

**0**answers

61 views

### Best constant for a trace inequality

Having an open, simply connected set $\Omega \subset \Bbb{R}^N$ we may ask what is the best constant $C$ (if it exists) in the inequality
$$ \int_{\partial \Omega} u^2 \leq C\int_{\Omega} |\nabla ...

**2**

votes

**1**answer

265 views

### Sobolev Space, “characteristic function” for the weak derivative

Let $\Omega$ be an open bounded subset of $\mathbb{R}^N$, working in the space $H_0^1(\Omega)$ with the inner product
$$(u,v)_{H_0^1} = \int_\Omega \nabla u \cdot \nabla v$$
for $u\in H_0^1$ and ...

**0**

votes

**0**answers

71 views

### A question related to the Nikolskii fractional spaces

Consider a Nikolskii space, that is
$$
N^{s,p}=\{f\in L^{p}(I, d\ell): \|f\|_{\overline{N}^{s,p}}=\underset{h>0}{\sup}h^{-s}\|\tau_{h}f-f\|_{L^{p}(I_{h})}<\infty \},
$$
where ...

**3**

votes

**1**answer

157 views

### Equivalence discrete H^2 Sobolev norms

My aim is showing the equivalence of two discrete Sobolev norms. On $\mathbb{Z}^d$, $d\ge 2$, one defines the discrete derivative in the direction of the coordinate vector $\vec e_j$ as
$$
...

**1**

vote

**1**answer

152 views

### Nonlocal Stefan problems

Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality?
A search on Google and MathSciNet give me only a handful of results which greatly ...

**1**

vote

**0**answers

143 views

### Applications of composition operators on Sobolev spaces

I wold like to know some examples where composition operators on Sobolev spaces are useful. I'm in the following situation.
$L^1_p(D)$ - homogeneous Sobolev space, in other words space of locally ...