0
votes
1answer
23 views

Is $H^{1}(R;H^1(R^n))=H^1(R^{n+1})$?

Is $H^{1}(R;H^1(R^n))=H^1(R^{n+1})$, where $H^1(R;H^1(R^n))=\{f\colon R\to H^1(R^n)\colon \int \|f(t,\cdot)\|_{H^1}^2\,dt <\infty \quad \text{and} \int \|f'(t,\cdot)\|_{H^1}^2\,dt <\infty \}$ ...
3
votes
1answer
87 views

Properties of weak derivatives in Sobolev spaces

In PDE Evans 2nd edition, pages 261-263, there is a theorem and its proof which concerns the four properties of weak derivatives. Unfortunately, I do not understand the fourth property, which I will ...
1
vote
1answer
28 views

If $u \in L^2(0,T;H^1)$ has a distributional derivative $u' \in L^2(0,T;H^{-1})$, does $(u^+)' \in L^2(0,T;H^{-1})$ make sense?

If $u \in L^2(0,T;H^1)$ has a distributional derivative $u' \in L^2(0,T;H^{-1})$, does $(u^+)' \in L^2(0,T;H^{-1})$ exist, i.e., is $u^+$ weakly differentiable in time? By $u^+$ I mean the positive ...
2
votes
1answer
48 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} ...
1
vote
2answers
82 views

Inverse Laplace operator $\Delta^{-1}$ and Sobolev spaces

I'm looking for some regularity results for the inverse Laplace operator. More precisely - we're set in $\mathbb{R}^3$ and we are looking at the operator $$ \Delta^{-1}f = \frac{x}{|x|^3} \ast f$$ I'd ...
0
votes
1answer
51 views

negative Sobolev space contains $L^1$ for a compact domain

I'd like to use something like Aubin-Lions lemma for the following spaces: $$ C^{0, \alpha}(B) \subset L^1(B) \subset W^{-1, q}(B),$$ with $B \subset \mathbb{R}^n$ being a compact, say a closed ball ...
0
votes
1answer
31 views

If $u \in L^2(0,T;L^2)$ and $u' \in L^2(0,T;H^{-1})$, is $u \in C^0([0,T];V)$ for some space $V$?

If $u \in L^2(0,T;L^2)$ has weak derivative $u' \in L^2(0,T;H^{-1})$, is $u \in C^0([0,T];V)$ for some Banach space $V$? For what $V$ Lebesgue spaces does this hold? I cannot find any results.
4
votes
1answer
60 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 ...
3
votes
1answer
57 views

Finite Element Method Weak Formulation

I have a question about the weak formulation of a PDE in finite element analysis. Suppose we have the following two-dimensional PDE: $$ \Delta \cdot u(x,y) = q(x,y) $$ where $q$ is given, $u$ is ...
0
votes
0answers
18 views

PDE weak solution , how could i prove it?

let be $ n \ge 3 $ and U a bounded set including the point $0 $ then i must show that a) the vector $ u= \frac{x}{|x|} $ belongs to $ H^{1}(U, R^{n})$ and it is an harmonic map into the sphere $ ...
2
votes
1answer
60 views

Weak Laplacian of $\|x\|^\alpha$

Let $\alpha> 0$ and consider the function $\|\mathbf x\|^\alpha = (x^2 + y^2)^{\frac{\alpha}{2}}$ defined on $\mathbb R^2$. I want to compute the Laplacian $\Delta (\|\mathbf x\|^\alpha)$ in the ...
5
votes
2answers
240 views

Questions about weak derivatives

There are two definitions of generalized differentiation that seem relevant to the context of PDEs. (That is we generalize what objects can be differentiated but we stay in Euclidean space. There are ...
1
vote
2answers
79 views

Distributional derivatives on hypersurface?

In a paper I was reading, the define a set $Q=(0,T)\times \Omega$, where $\Omega \subset \mathbb{R}^n$ is a bounded domain, and then they write $$\langle \frac{d}{dt}u - \Delta u, \varphi ...
2
votes
1answer
80 views

For which real values of $\alpha$ PDE $\Delta u(x,y)+2u(x,y)=x-\alpha$ has at least one weak solution?

Problem. Consider boundary value problem: \begin{cases} \Delta u(x,y)+2u(x,y)=x-\alpha, & \text{in $\Omega$,} \\ u(x,y)=0, & \text{on $\partial\Omega$,} \\ \end{cases} where $\alpha$ is ...
1
vote
1answer
71 views

$C_c^{\infty}$ is dense in $W^{k,p}(\mathbb R^n)$

As the title say, I want to prove that $C_c^{\infty}(\mathbb R^n)$ is dense in $W^{k,p}(\mathbb R^n)$ i.e. $\displaystyle{ W^{k,p} (\mathbb R^n) = W_0^{k,p}(\mathbb R^n) \quad (\star)}$. In a book ...
1
vote
0answers
24 views

norm of $x \in \mathbb R^d$ is in Sobolev space

For which values of $\alpha, k,p,d$ is $$ \|x\|^\alpha \in \textrm{W}^{k,p} (B(0,1)) \quad ? $$ where $\displaystyle{ \textrm{B}(0,1) = \{x \in \mathbb R^d : \|x\|<1\}}$ This is an ...
1
vote
1answer
148 views

Steklov Average in time and spatial gradient can be interchanged?

I'm trying to understand a proof on Steklov average and weak derivatives. Let $\Omega$ be a bounded domain of $\mathbb{R}^n$, $T>0$, $h\neq 0$ and $u\in L^2(0,T;H^1(\Omega))$ and extend $u$ by ...
7
votes
1answer
344 views

Are a weak derivatives and distributional derivatives are different?

For simplicity, given a real function $f\in L^1_{loc}(\Omega)$, we define both weak or distributional derivatives by $\int f'\phi = - \int f \phi'$ for all test functions $\phi$. Now, take $\Omega = ...
3
votes
2answers
189 views

Differences between $C_c^\infty[0,T]$ and $C_c^\infty(0,T)$

I believe it is true that: If $f \in C_c^\infty(0,T)$, then $f(T)=f(0)=0$. $C_c^\infty(0,T) \subset C_c^\infty[0,T]$ $C^\infty(0,T) \subset C_c^\infty[0,T]$ If $f \in C_c^\infty[0,T]$, it doesn't ...
6
votes
2answers
555 views

Product rule of weak derivatives

I am working on proving the following proposition: If $u,v\in {W^1(\Omega)}$ and $uv,uDv+vDu\in L^1_{\operatorname{loc}}(\Omega)$, then we have the product formula $$D(uv)=uDv+vDu.$$ The definition I ...
1
vote
1answer
99 views

Why is the weak limit of the derivatives the derivative of the weak limit here?

In [1, chapter 8.2.1.b, p.466] the author uses the following argument: Let $U \subset \mathbb{R}^N$ be an open, bounded domain with smooth boundary. Given a bounded sequence $(u_k)_{k \in ...
5
votes
2answers
197 views

Weakly differentiable but classically nowhere differentiable

Is there any example of a function which is weakly differentiable but none of its versions are classically differentiable (or differentiable only on a set of measure 0) ? Thanks
1
vote
1answer
165 views

Weak Differentiability of Holder functions

Is it true that every Holder function is weakly differentiable? If not please give counterexample. Thanks
2
votes
0answers
209 views

When the weak derivative just is the strong (or classical) derivative?

When the weak derivative just is the strong (or classical) derivative? For instance, can we prove that weak derivate $Du\in C^\alpha$(or $C^0$) implies $u\in C^{1,\alpha}$(or $C^1$).