The sobolev-spaces tag has no wiki summary.

**0**

votes

**0**answers

38 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, ...

**2**

votes

**1**answer

74 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

173 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

53 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

105 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

93 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

188 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

125 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

52 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

58 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

53 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

65 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

58 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

118 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

39 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

32 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

109 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

48 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

154 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

98 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

94 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

272 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*}
...

**4**

votes

**0**answers

53 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

247 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

51 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

135 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

133 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

129 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 ...

**1**

vote

**1**answer

70 views

### orthonormal basis or Parseval frame for Sobolev spaces

Consider the uni-variate Sobolev space of order $m$:
$$ \mathcal{W}_2^m=\{ f:[0,1] \rightarrow \mathbb{R}|f,f^{(1)},\dots ,f^{(m-1)}\, \text{are absolutely continuous and}\, f^{(m)}\in L^2\}.$$
It is ...

**4**

votes

**0**answers

77 views

### Sobolev spaces of maps between manifolds and the Palais-Smale Condition

I'm currently reading some papers by Uhlenbeck on harmonic maps. She mentions the following facts:
Let $M^m$ and $N^n$ be compact Riemannian manifolds, $N$ embedded isometrically into Euclidean ...

**1**

vote

**0**answers

49 views

### Uniform bounds for a coupled parabolic system of PDE (linear)

Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon ...

**0**

votes

**1**answer

133 views

### A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this.
For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...

**2**

votes

**0**answers

103 views

### Regularity of solution to Fokker Planck equation

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE
\begin{align}
\partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\
\rho(t ...

**3**

votes

**0**answers

124 views

### Linear interpolation in weighted Sobolev spaces

I am reading a paper regarding the pricing of certain financial derivatives making use of the finite element method. In this paper the following weighted Sobolev spaces are introduced:
$W_{0}$ = $ \{ ...

**3**

votes

**1**answer

152 views

### Strong maximum principle for weak solutions

Suppose I have a linear parabolic equation with solutions in the Bochner-Sobolev spaces (eg. $L^2(0,T;H^1) \cap H^1(0,T;H^{-1})$). Is it possible to obtain a strong maximum principle with a proof that ...

**6**

votes

**1**answer

186 views

### Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...

**1**

vote

**0**answers

130 views

### convergence of $e^{it\Delta}f$

I heard of a conjecture that
$e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$
but couldn't find a proper reference.

**0**

votes

**1**answer

142 views

### Weak solution of a heat equation is zero?

I work on a bounded domain in $\mathbb{R}^n$. Let $u \in H^1(0,T;H^{-1})\cap L^2(0,T;H^1)$ be a solution of the heat equation:
$$\langle u', v \rangle + \int \nabla u \nabla v = 0$$
for each test ...

**3**

votes

**2**answers

198 views

### How do functions operate in a Sobolev space $H^{s}$?

Let $s>\frac{1}{2};$ and define a Sobolev space as follows:
$$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$
Fact: Let $m$ ...

**1**

vote

**0**answers

111 views

### Compact embedding

Let $\Omega$ be a domain in $\mathbb{R}^d$ (not necessarily bounded, no regularity assumption) and $K \subset \Omega$ a compact.
Is it true that the embedding $H^1_0(\Omega) \rightarrow ...

**1**

vote

**1**answer

145 views

### Weak convergence of a sequence

I have a sequence $(u_k) \in L^2_{loc}(\mathbb{R}^+; H^1_0(\Omega) )$ and $u \in L^2_{loc}(\mathbb{R}^+\times \Omega )$ such that for any $T >0$ and any compact $K \subset \Omega$ we have : ...

**3**

votes

**1**answer

57 views

### Compact imbedding - reference request

I am looking for reference to the following imbedding theorem
Theorem
For any $s>1/2$ fractional Sobolev space $W^{s}_2(0,1)$ imbeds compactly into $C([0,1])$.
I know how to prove it but I need ...

**2**

votes

**0**answers

55 views

### Approximating a superharmonic function, by smooth superharmonic functions

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$, $u\ge 0$ and $-\Delta u\ge 0$ in the sense of distributions ($u$ is superharmonic).
The standard ...

**0**

votes

**1**answer

92 views

### Pointwise (in time) convergence in $H^{-1}$ implies pointwise weak convergence in $L^q$, why?

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$.
It follows that for almost all $t$, $u_n(t)$ is bounded in ...

**0**

votes

**0**answers

135 views

### Want to show rigorously $\frac{d}{dt}\int_{\Omega}|u(t)|^r = r\langle u_t(t), |u(t)|^{r-2}u(t)\rangle_{H^{-1}(\Omega), H^1(\Omega)}$

We have a bounded domain $\Omega$ of $\mathbb{R}^n$. Let $$u \in L^2((0,T);H^1(\Omega)) \cap H^1((0,T);H^{-1}(\Omega))\cap L^\infty((0,T);L^\infty(\Omega)).$$
I want to show for $r \geq 2$ that
...

**0**

votes

**1**answer

184 views

### A question about PDE argument involving monotone convergence theorem and Sobolev space

I'm reading this paper. In it there is the following argument (see page 240).
Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...

**1**

vote

**0**answers

79 views

### $L^p$ norm of solution to porous medium equation decreases in time: how to make formal calculation rigorous?

Let $u \in C^0([0,\infty);L^1(M)) \cap W^{1,1}_{\text{loc}}((0,\infty);L^1(M))$ with $u(t) \in H^1(M)$ for a.e. $t$ be the solution of the porous medium equation $\dot u = \Delta (u^m)$ on a compact ...

**0**

votes

**1**answer

153 views

### Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary [closed]

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...

**0**

votes

**0**answers

137 views

### $b_n \rightharpoonup b$ in $L^q(Q) \forall q < \infty$, $b_n \to b$ in $C^0([0,T];H^{-1})$ implies $b_n(t) \rightharpoonup b(t)$ in $L^q(\Omega)$

This question stems from the proof of Theorem A.1 on page 425 of this paper.
Let $Q=(0,T)\times \Omega$. Suppose $b_n \rightharpoonup b$ in $L^q(Q)$ for any $q < \infty$ and $b_n \to b$ in ...

**1**

vote

**1**answer

148 views

### Getting existence for $L^1$ data given existence for $L^\infty$ data and $L^1$ continuous dependence result

Let $F:\mathbb{R} \to \mathbb{R}$ be locally Lipschitz, monotone and continuous. For the sake of concreteness only let us suppose it is of porous medium type (eg. $F(r) = r^{\frac 1m}$.)
Let $\Omega ...