# Tagged Questions

26 views

### Characterisation of one-dimensional Sobolev space

I've got some doubts proving that $$H^1_0((a,b))=\{u\in AC([a,b]): u'\in L^2 \text{ and } u(a)=u(b)=0\}:=X.$$Let $$\mathcal A=\{v\in C^2([a,b]):v(a)=v(b)=0\}.$$ $H^1_0((a,b))\subseteq X.$ Let ...
61 views

### Example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t\notin L^\infty(0,T,H^1)$

Could someone give me an example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t$ exists (in the distributional sense), $u_t\in L^\infty(0,T,L^2)$ and $u_t\notin L^\infty(0,T,H^1)$? Thanks. ...
23 views

41 views

89 views

### Is Dirac's delta function well-defined at Lebesgue points?

Usually in textbooks, $$\int_{\mathbb{R}^d} \delta(\mathbf{x}-\mathbf{y})f(\mathbf{x}) = f(\mathbf{y})$$ holds given $f$ is continuous. On the other hand, the definition of Lebesugue point ...
34 views

### Trace theorem for Sobolev functions: what is the significance of continuous extension to the boundary?

Why in the proof of the trace theorem in L.C.Evans' book on PDE, he has considered functions in $W^{1,p}(\Omega)\bigcap C(\overline{\Omega})$ when it is enough to choose functions in ...
22 views

29 views

### Mollification of functions in $L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$

Let $u \in L^2(0,T;H^1(\Omega))\cap H^1(0,T;H^{-1}(\Omega))$ where $\Omega \subset \mathbb{R}^n$ is a bounded domain. I know that (eg. from Wloka or Hunter's PDE notes) that there is a mollification ...
135 views

### Is this proposition about $L^2$ functions correct?

Is this proposition correct? Will you please give a contour example if it is wrong? If $J \in L^2(\mathbb{R}) \cap C^1 (\mathbb{R})$, $f \in C^{\infty}(\mathbb{R})$, $|f'|\leq K$, where $K > 0$ is ...
21 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 ...
35 views

### Constant in Sobolev-Poincare inequality on compact manifold $M$; how does it depend on $M$?

Let $M$ be a smooth compact Riemannian manifold of dimension $n$. Let $p$ and $q$ be related by $\frac 1p = \frac 1q - \frac 1n$. There is a constant $C$ such that for all $u \in W^{1,q}(M)$ ...
36 views

### Proving that weak limit in $L^p$ and strong limit in $H^{-1}$ are the same

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. Let $p \geq 1$ and suppose that $u_n \rightharpoonup u$ in $L^p(\Omega)$ and $u_n \to v$ in $H^{-1}(\Omega)$. How to show that $u=v$? I can do ...
27 views

### What is the dual of $A\cap B$
I encountered with some elliptic problem which admits a variational formulation in terms of space $X$ and I need to understand its dual. Suppose that $2<p<\infty$, $\Omega\subset {\mathbb R}^d$ ...