1
vote
1answer
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 ...
4
votes
2answers
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. ...
1
vote
1answer
23 views

Is it true that, $x\rho(x/t)\in H^{s}$ for $\rho\in \mathcal{D}(\mathbb R)$ and $s>3/2$?

We put, $\mathcal{D}(\mathbb R)=$ The space of $C^{\infty}-$ functions on $\mathbb R$ with compact support; and the Sobolev space $$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} ...
2
votes
0answers
29 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ ...
3
votes
1answer
36 views

What does local space of a given Banach space says intuitively?

We put, $\mathcal{D}(\mathbb R)=$ The space of $C^{\infty}-$ functions on $\mathbb R$ with compact support Example: For instance bump function is in $\mathcal{D}(\mathbb R)$ Let $E$ is a Banach ...
1
vote
0answers
19 views

Uniform continuity of weighted Sobolev functions.

I am trying to show an embedding result for a weighted Sobolev space and have come to the following problem: I have a function $f: (0,a] \rightarrow \mathbb{R} $ such that: $f$ is bounded and ...
0
votes
1answer
32 views

How do the existence and $L^p$ integrability of weak derivative affect the smoothness of Sobolev functions?

In the definition of Sobolev spaces, let us say the space $W^{1,p}(\Omega)$, where $\Omega$ is an open subset of $\mathbb{R}^n$. What contributes more to the smoothness of a function $f$: 1-The fact ...
2
votes
0answers
26 views

Research papers of monotone/pseudomonotone operators with applications to PDEs

I have recently been studying how coercive, pseudomonotone operators are used to prove the existence of solutions to elliptic boundary value problems. I have been studying the book "Nonlinear Partial ...
2
votes
1answer
38 views

Limit of the p-norm of a function on subdomains equals the p-norm of the function on the union domain

Let $\Omega$ be an open subset in $\mathbb{R}^n$. Given a measurable function $f$, define $$ ||f||_{p,\Omega}=\inf_{a\in\mathbb{R}}||f-a||_{L^p{(\Omega})}. $$ Let $\{\Omega_n\}$ be a sequence of open ...
1
vote
0answers
45 views

Positive part of $y$ with $y\in L^2(0,T; H_0^1(\Omega))$ and $y'\in L^2(0,T; H^{-1}(\Omega))$

Let $\Omega \subset \mathbb R^n$ be a domain, sufficiently smooth. Let $T>0$. Define the space $W(0,T)$ by $$ W(0,T) = \{ y \in L^2(0,T; H^1_0(\Omega)): \ y'\in L^2(0,T;H^{-1}(\Omega)),\ $$ where ...
3
votes
1answer
38 views

Rellich's theorem for Sobolev space on the torus

From John Roe: Elliptic operators, topology and asymptotic methods, page 73: Let $H^{k}$ be the Soblev space defined on the torus $\mathbb{T}^{n}$ with the discrete $k$-norm: $$ \langle f_{1}, ...
2
votes
1answer
41 views

Global bounded solution of $u_{tt}=\Delta u-mu+h$ in the Hilbert space $X=H_{0}^{1}\left(\Omega\right)\times L^{2}\left(\Omega\right)$

Let $\Omega$ be an open subset of $\mathbb{R^n}$. Consider the linear wave equation $$\begin{cases} \dfrac{\partial^{2}}{\partial t^{2}}u\left(t,x\right)=\Delta ...
1
vote
0answers
36 views

Can we characterize homogeneous Sobolev spaces by means of Sobolev embedding?

For $\alpha>0^{[1]}$, let $D^\alpha=(-\Delta)^{\frac{\alpha}{2}}$ be the operator defined on all Schwartz class functions $f$ as follows: $$ \widehat{D^\alpha f}(\xi)=\lvert \xi\rvert^\alpha ...
3
votes
3answers
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 ...
0
votes
1answer
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 ...
0
votes
1answer
22 views

About Sobolev-Poincare inequality on compact manifolds

Let $2^* = \frac{2n}{n-2}$ where $n$ is the dimension of a compact closed manifold $M$. We get from the Sobolev/Poincare inequality the identity $$\lVert u \rVert_{2^*} \leq C\lVert \nabla u ...
1
vote
1answer
61 views

Relation between Sobolev Space $W^{1,\infty}$ and the Lipschitz class

I have a Sobolev space related question. In the book 'Measure theory and fine properties of functions' by Lawrence Evans. I know the result that states that for $f: \Omega \rightarrow \mathbb{R}$. $f$ ...
1
vote
0answers
29 views

About a property of weighted Sobolev spaces

If we define the weighted Sobolev norm as $$ \|f\|_{H^{s,k}(\mathbb R^n)} := \|(1+|x|^2)^{k/2} (\sqrt{1-\Delta})^s f \|_{L^2(\mathbb R^n)} $$ where $f(x):\mathbb R^n \to \mathbb R$ and $\Delta$ is ...
0
votes
1answer
16 views

About the weighted Sobolev norm

I'm wondering that the Sobolev norm with weight $$ \|f\|_{H^{s,k}(\mathbb R^n)} := \|(1+|x|^2)^{k/2} (\sqrt{1-\Delta})^s f \|_{L^2(\mathbb R^n)} $$ is equivalent to the norm $$ ...
2
votes
0answers
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 ...
0
votes
1answer
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 ...
0
votes
0answers
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 ...
1
vote
1answer
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)$ ...
1
vote
1answer
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 ...
1
vote
0answers
27 views

Want a dense subset of a Sobolev-Bochner space!!

Let $U \subset \mathbb{R}^n$ be a bounded domain. Let $$W=\{ u \in L^2(0,T;H^1(U))\cap L^\infty(0,T;L^\infty(U)) : u' \in L^2(0,T;H^{-1}(U))\}$$ and let $$D=\{u \in L^2(0,T;H^1(U)) \cap ...
3
votes
1answer
28 views

Sobolev's inequality from Reed & Simon vol. II

In Reed & Simon vol. II, an inequality called Sobolev's inequality is stated in Eq. (IX.19): Let $0<\lambda<n$ and suppose that $f\in L^p(R^n)$, $h \in L^r(R^n)$ with $p^{-1} + r^{-1} + ...
1
vote
1answer
28 views

The Nash inequality on a compact manifold without a boundary.

Let $M$ be a compact manifold without boundary. Does the Nash inequality $$\lVert u \rVert^{1+\frac 2n}_{L^2} \leq C\lVert u \rVert^{\frac 2n}_{L^1} \lVert \nabla u \rVert_{L^2}$$ or something ...
2
votes
1answer
78 views

Sobolev Spaces and Derivative

I need help on the problem 8.9 at page 238 of the book "Functional Analysis, Sobolev Spaces and Partial Differential Equations" by Haim Brezis. Set $I=(0,1)$. Let $u \in W^{2,p}(I)$ with ...
5
votes
0answers
110 views

Sobolev spaces and using monotone convergence theorem (don't understand a paper)

I'm reading this paper. In it there 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.. ...
0
votes
1answer
75 views

Weak Derivative Heaviside function

I have to prove that the Heaviside function $$ H(x):=\begin{cases} 1 &\mbox{if } x \in [0,+\infty) \\ 0 &\mbox{otherwise}\end{cases} $$ doesn't admit weak derivative in ...
0
votes
1answer
31 views

If $u \in L^2(0,T;H^1)$ with $u_t \in L^2(0,T;H^1)$ and $u$ and $u_t$ are bounded, is $u \in C([0,T];L^\infty$)?

Let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$ so $$\int_0^T u(t)\varphi'(t) = -\int_0^T u'(t)\varphi(t)$$ holds for all $\varphi \in C_c^\infty(0,T)$. Suppose we know ...
3
votes
1answer
64 views

Characterization of weak solution

5 Nonlinear elliptic variational inequalities Preliminaries In order to explain the importance of elliptic variational inequalities, first consider the weak solution of the linear ...
4
votes
1answer
119 views

If $u_n \to u$ in $C([0,T];H^{-1})$ and $\lVert u_n\rVert_{L^\infty} \leq C$ then $u_n(t) \rightharpoonup u(t)$ in $L^1(\Omega)$?

Let $u_n \to u$ strongly in $C([0,T];H^{-1}(\Omega))$ and suppose that $u_n$ is uniformly bounded in $L^\infty((0,T)\times\Omega)$. Then $$u_n(t) \to u(t)$$ weakly in $L^1(\Omega)$ for each $t$? Can ...
2
votes
1answer
46 views

Want to show $\lim_{\epsilon \to 0}\frac{1}{\epsilon} \int_0^T \langle u_t(t), T_\epsilon(u(t)) \rangle = \int_\Omega |u(T)| - \int_\Omega |u(0)|$

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$. Define the truncation function$$T_\epsilon(x) = \begin{cases} ...
2
votes
1answer
35 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$ ...
2
votes
1answer
38 views

Convergence in $L^p$ plus bounded gradient implies that the limit belongs to $W^{1,p}$?

I have a question with this problem I have found in the latest edition of the book Functional analysis, Sobolev Spaces author Haim Brezis pag 264 Remark 4 Let $(u_n) \subset W^{1,p} $ such that $u_n ...
0
votes
1answer
49 views

Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
0
votes
1answer
43 views

Chain rule for $(f(u))'$ when $u \in H^1$ and $f$ is only piecewise Lipschitz?

Let $f:\mathbb{R} \to \mathbb{R}$ be a peicewise lipschitz function, eg. $f(x) = \chi_{(0,1)}(x)$. Let $\Omega$ be a bounded domain in $\mathbb{R}^n$ and let $u \in H^1(\Omega)$. Is the chain rule ...
3
votes
2answers
69 views

If $u=v$ on $A \subset \Omega$, then $\nabla u = \nabla v$ on $A$ too

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $A \subset \Omega$ be measure nonzero. For $u, v \in H^1(\Omega)$, if $u=v$ (a.e) on $A$, how to prove that $\nabla u = \nabla v$ on $A$? ...
1
vote
0answers
38 views

A bound on $\nabla u$ in $L^\infty(0,T;L^2)$; how to make argument rigorous?

Suppose $u \in L^2(0,T;L^2)$, $u_t \in L^2(0,T;H^{-1})$ and $f \in L^\infty((0,T)\times\Omega)$. I have the weak form $$\langle u_t, \varphi \rangle_{H^{-1}, H^1} + \int_\Omega\nabla u \nabla \varphi ...
6
votes
3answers
82 views

For which $s\in\mathbb R$, is $H^s(\mathbb T)$ a Banach algebra?

According to Theorem 4.39 in Adams & Fournier Sobolev Spaces: If $mp>n$, $m\in\mathbb N$, then $W^{m,p}(\Omega)$ is a Banach algebra, provided that $\Omega\subset\mathbb R^n$ satisfies the ...
0
votes
1answer
54 views

p--laplacian problem

For $f \in W^{-1,p'}(\Omega)$, $f \geq 0$, we definr $v,$ $v_{\epsilon}$, $g_{\epsilon}$ by $$-\mathrm{div}(|Dv|^{p-2} Dv)=f \quad \mbox{in} \mathcal{D}'(\Omega), \quad v \in W^{1,p}_0(\Omega)$$ with ...
0
votes
1answer
22 views

A bound in Sobolev spaces of negative order

Let's consider the domain $U=[-\pi,\pi]\times[-1,1]$. Assume that we have two functions $f\in H^2$ and $g\in H^{1/2}$. I wonder if the following bound is true: $$ \|f g_{x_1}\|_{H^{-0.5}(U)}\leq ...
0
votes
2answers
23 views

Inner Product Representation of Functional on $H^1_0$

Let $T\colon H^1_0(\mathbb{R})\to \mathbb{R}, \;T(f)=\int f'\phi \;dx$, where $\phi\in L^2$ is fixed. By Hölder, $|T(f)|\leq\|\phi\|_2\|f'\|_2\leq C \|f\|_{H^1_0}$, i.e. $T$ is continuous. Therefore, ...
4
votes
1answer
55 views

Sobolev spaces in one-dimensional vs multidimensional

Here in Wikipedia, it is said that in the one-dimensional case, it is enough to assume that the $(k-1)$-th derivative of the function $f$, is differentiable almost everywhere and is equal almost ...
2
votes
1answer
48 views

A compactness result: if $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$.

Let $f_n \to f$ on compact subsets of the real line. If $u_m \rightharpoonup u$ in $L^2(0,T;H^1) \cap L^p(0,T;L^p)$ and $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in ...
1
vote
1answer
42 views

Small question about strong convergence

I have a small question I have that $ \lambda_1 ||v_0||^2_{L^2(0,1)}=||v_0||^2_{H^1_0(0,1)}$ and that $v_n\rightarrow v_0$ on $L^2$ (strongly) From the Poicaré inequality i have that ...
-2
votes
1answer
71 views

eigenvalues to Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
0
votes
1answer
47 views

Hölder-Zygmund Spaces on compact sets and for integer smoothness parameters

I know from Triebl, Theory of Function Spaces II, that for $\alpha \notin \mathbb{N}$ Hölder-Zygmund Spaces on $\mathbb{R}$ are equal to the classical Hölder Spaces. However, I have two questions ...
0
votes
0answers
36 views

When can we interchange summation with $L^2$ inner product?

(This question concerns a step in the solution given to Eignvalues of Laplacian operator and Sobolev spaces.) Why can we interchange the sum and the $L^2$ inner product in the following? $$(\sum_n ...