For question about weak derivatives, a notion which extends the classical notion of derivative and allows us to consider derivatives of distributions rather than functions.

learn more… | top users | synonyms

1
vote
0answers
23 views

Prove that a function lies in $L^1$ and in $W^{(1,1)}$ for some parameter

I want to do the following tasks Let $G:=B_1(0)\subset \mathbb R^2$ be the open ball around $0$ with radius 2 in the norm $||\cdot||$ and $u_{\rho}(x)=||x||^{\rho}_2$, $x\in G$. Show the following ...
0
votes
0answers
20 views

Second order equation and regularity

Let $U$ be an bounded open set in $\mathbb R^3$ and ${V}\subset \subset{W} \subset \subset {U}$. Let $u \in {H^1}(U)$, and $f\in L^{2}(U)$ satisfies $$\int_{\mathbb R^3} \nabla u(x). \nabla \varphi ...
0
votes
1answer
32 views

calculate weak derivate of $|x-2|^2$

Let $u$ be a function with $u(x):=|x-2|^2$ on $I:=(-1,1)$. I want to test whether $u \in H^2(I) \backslash H^3(I)$. Let $\phi$ be in $C_0^\infty(I)$. Then: $T_u(\phi '') = \int_{-1}^1 |x-2|^2 ...
0
votes
0answers
18 views

Weak time derivative for functions $u \in L^2(0,T;L^2(\Omega))$

The weak time derivative of a function $u \in L^2(0,T;H^1)$ is defined to be $u' \in L^2(0,T;H^{-1})$ satisfying $$\int_0^T \int_\Omega u(t) \varphi'(t) = -\int_0^T \langle u'(t), \varphi(t) \rangle$$ ...
1
vote
1answer
25 views

Existence of weak derivative

Can a uniformly continuous function have a weak derivative?. In other words can $C_{unif.~cont.}$ be continuously be embedded in $W^{1,2}(\Omega)$.?
1
vote
2answers
20 views

Which Sobolev-Space to use to formulate weak biharmonic equation, $H^2_0$ or $H_0^1\cap H^2$?

For the weak formulation of the biharmonic equation on a smooth domain $\Omega$ $$ \Delta^2u=0\;\text{in}\;\Omega\\ u=0, \nabla u\cdot \nu=0\; \text{on}\; \partial\Omega $$ why does one take ...
0
votes
1answer
31 views

Choosing a clever “test function” in Sobolev spaces.

Given $\mathbf{f}$ with $f_1,...,f_N\in L^2(\Omega)$ $$\int_\Omega \mathbf{f} \cdot \nabla v = 0 \quad\forall v \in H_0^1(\Omega)$$ we have $\mathbf{f} = \mathbf{0}$ a.e. since $\mathbf{f} \in ...
0
votes
0answers
41 views

How can I prove that this function doesn't have a second weak derivative?

I'm trying to determine what weak derivatives the function $$ f(x)=\begin{cases} x&\mbox{if }0<x<1,\\ 1&\mbox{if }1\leq x<2, \end{cases} $$ has. I already managed to prove that it ...
1
vote
0answers
19 views

approximate a weak derivative

Let $\Omega$ be an open bounded set of $\mathbb{R}^N$ and $u\in H_0^1(\Omega)$. Suppose $|\nabla u|>1$ on a set of positive measure, then by inner regularity of Lebesgue measure, there exists a ...
1
vote
0answers
21 views

divergence form of the determinant

I'm having problems with the following question: Let $\Omega\subset\mathbb{R}^2$ open and bounded. Let $\{u^n\}_{n\in\mathbb{N}}$ a bounded sequence in $H_0^1(\Omega:\mathbb{R}^2)$ such that ...
2
votes
0answers
50 views

Weak convergence of determinant

I'm having problems with the following question: Let $\Omega\subset\mathbb{R}^2$ open and bounded. Let $\{u^n\}_{n\in\mathbb{N}}$ a bounded sequence in $H_0^1(\Omega:\mathbb{R}^2)$ such that ...
0
votes
1answer
80 views

Weak derivative as an $L^2$ limit of the difference quotient

Let $u \in H^1(\mathbb{R})$. Show that $$\left\| \frac{u(x+h)-u(x)}{h} - u' \right\|_2 \to 0\quad \text{ as } h \to 0, $$ where $u' \in L^2(\mathbb{R})$ is the weak derivative of $u$. In other words, ...
1
vote
0answers
44 views

Confused about weak derivatives in Evans

I'm a bit confused about how Evans refers to derivatives at some points and if he means weak derivative. In particular on page 301 he gives the definition that if $\textbf{u} \in L^1(0,T;X)$ and ...
1
vote
0answers
11 views

Weak differentiation and derivatives of test functions

I am currently working to see if $\frac{1}{x}$ is weakly differentiable on $(0,1)$. I have reached that conclusion via integration by parts that, if so, for all $ \phi\in C^{\infty}_c$: $\int_{0}^{1} ...
0
votes
0answers
12 views

Integrable pointwise derivative of integrable continuous function is weak derivative

Let $f:[0,T] \to \mathbb{R}$ be a continuous function, with pointwise derivative $f'$, which may not be continuous. Suppose $f$ and $f'$ are integrable. How do I show that $f'$ is the weak derivative ...
1
vote
0answers
18 views

Does existence and uniqueness of a classical solution impose uniqueness of weak solutions to a pde?

I wonder if one knows that there exists a unique classical solution of a pde (for instance: Fokker-Planck equation), is one able to conclude that there isn't any weak solution of the pde, which ...
0
votes
0answers
30 views

dense subspace of $C(0,T)$

I want to prove that the space H of functions which are continuous in [0,T] with weak derivative in $L^2[0,T]$ and their value in 0 is 0, is dense in the space of continuous functions in [0,T] with ...
0
votes
2answers
66 views

Sobolev space on union of two open sets

Let $\Omega_1,\Omega_2 \subset \mathbb{R}^n$ be open sets. Let $p \in [1,\infty]$. Let $u: \Omega_1 \cup \Omega_2 \to \mathbb{R}$ be a function such that $u|_{\Omega_1} \in W^{1,p}(\Omega_1)$ and ...
1
vote
1answer
39 views

Weak star convergence leads to weak convergence of derivative?

Let $u_\epsilon \in W^{1,p}(\Omega)$ be a sequence with $\Omega \subset \mathbb{R}^n$ bounded. Let $u_\epsilon \rightharpoonup^* u$ weakly* in $L^\infty (\Omega)$ (for a subsequence) with $u \in ...
0
votes
0answers
17 views

Solve a PDE in the distribution sense.

I want to solve (in the distribution sense) this equation: $ x^{2} u= \delta_{0}$. I tried to use the variational form to deduce u but I get stuck. Can someone help? thanks.
1
vote
1answer
26 views

Is it a Sobolev function?

Let $U=(-1,1)\times(-1,1)$. Define $$ u(x)=\begin{cases}1-x_1 \;\;\text{if}\;\;x_1>0,|x_2|<x_1 \\1+x_1\;\;\text{if}\;\;x_1<0, ...
1
vote
1answer
57 views

Weak derivative zero implies constant function

Let $u\in W^{1,p}(U)$ such that $Du=0$ a.e. on $U$. I have to prove that $u$ is constant a.e. on $U$. Take $(\rho_{\varepsilon})_{\varepsilon>0}$ mollifiers. I know that ...
1
vote
2answers
165 views

Distributional/weak time derivative basic question

Suppose we have $u \in L^2(0,T;H^1(\Omega))$, and $v \in L^2(0,T;H^{-1}(\Omega))$ is the weak time derivative of $u$, so by definition it satisfies $$\int_0^T u(t)\phi'(t) = -\int_0^T v(t)\phi(t)$$ ...
1
vote
0answers
21 views

A derivative identity, for any multi-index.

I'm trying to prove by induction on the multi-index $\alpha$, that, $$\sum\limits_{j=\frac{|\alpha|}{2}}^{|\alpha|}\sum\limits_{|\beta|=2j-|\alpha|}c_{\beta}x^{\alpha}[m_z(x)]^{j+1}=D^{\alpha}m_z(x)$$ ...
1
vote
1answer
49 views

If $f$ is differentiable everywhere, is $f'$ the weak derivative?

Let $f \in C^0([0,T])$ be such that $f'$ exists in the classical sense everywhere, but $f'$ may not be continuous. Is it true that $f'$ is the weak derivative of $f$ too, if it exists? I know this is ...
5
votes
2answers
341 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 ...
0
votes
1answer
45 views

Weak derivatives equals zero

Im just learning sobovel space, I was wondering if the weak derivate holds similar things of the original derivate. Let $U\subset \mathbb{R^n}$ is a open set, and $u\in W^{1,p}$ if $$Du=0 \ \ a.e$$ ...
1
vote
0answers
28 views

Weak stochastic integral

I recently encountered the following object, referred to as "weak stochastic integral" in the book of SPDE's by Prévôt/Röckner [PR07]: $$ \int_0^T \langle \Psi \,\mathrm dW(t), \Phi(t)\rangle $$ A ...
3
votes
1answer
134 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 ...
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 \}$ ...
1
vote
1answer
45 views

A weak derivative of a function of two variable which depends only on one variable

Assume that $f: \mathbb R^2 \rightarrow \mathbb R$ is locally integrable and has a locally integrable weak patrial derivative $\partial_1 f.$ Let moreover $f$ depends only on the first variable: ...
0
votes
1answer
32 views

Find a weak derivative of this function

Let $B(0,1)$ be the open unit ball in Euclidean space $\mathbb R^2$ and $(a_n)_{n=1}^\infty$ be a dense subset of $B(0,1)$. I wish to show for fixed $s\in (0,1)$ the function $$ ...
1
vote
1answer
162 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 ...
1
vote
1answer
33 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 ...
0
votes
1answer
64 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 ...
2
votes
1answer
50 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
130 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
83 views

Heaviside function has no weak derivative on $(-1, 1)$

I want to proof that the Heaviside function $$H(x) = \begin{cases} 1 & \text{if }x >0\\ 0 &\text{if }x\leq 0\end{cases}$$ has no weak derivative on $(-1,1)$. If I assume it has a weak ...
0
votes
1answer
32 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.
0
votes
0answers
20 views

If $v_i \in L^2(0,T;H^1)$ with $v_i' \in L^2(0,T;H^{-1})$, what can we say about $w(t) = \int_s^t (v_1-v_2)(\tau)\;d\tau$?

If $v_i \in L^2(0,T;H^1)$ with $v_i' \in L^2(0,T;H^{-1})$, what can we say about $w(t) = \int_s^t (v_1-v_2)(\tau)\;d\tau$? Is $w$ also of the same regularity? Heuristically, I thought: let $V_i$ be ...
4
votes
1answer
68 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
3answers
95 views

Is a function in $L^2$ which second derivative is in $L^2$ in $H^2$?

Let $\Omega$ be a bounded domain in $\mathbb{R}^n$ with smooth boundary. Assume that $f\in L^2(\Omega)$ and $f^{\prime\prime}\in L^2(\Omega)$. Does one have $f\in H^2(\Omega)$? Useless comments: ...
0
votes
1answer
32 views

Does weakly differentiable and $L^{\infty}$ imply continuity

Suppose $\Omega \subset \mathbb{R}^d$ is open, connected and bounded. Is $$W^{1,1}(\Omega)\cap L^{\infty}(\Omega) \subset C(\bar{\Omega})?$$ Here $W^{1,1}$ denotes the space of all weakly ...
3
votes
0answers
114 views

Differentiation of norm in Banach space (explanation of text needed)

Let $Y$ be uniformly smooth Banach space. Consider the convex $C^1$ functional $\Phi:Y \to \mathbb{R}$ defined $$\Phi(y) = \frac{1}{q}\Vert y \Vert^q_{Y}.$$ Its derivative $\varphi:Y \to Y'$ is a ...
0
votes
1answer
73 views

Example of weak derivative on multivariable function

In order to explain about the concept of weak derivatives, I plan to give examples on them. I already manage one example for the single-variable case, but I think it would be better if I can provide ...
3
votes
1answer
92 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 ...
2
votes
1answer
88 views

Chain rule for weak derivatives of $f(u)$ where $f'$ is not bounded but $u$ is?

Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$. Suppose $u$ has a weak derivative $u_x$. I want the chain rule $$\partial_x (f(u)) = f'(u)u_x$$ to hold. We know this holds if $f'$ is bounded. But I don't ...
1
vote
1answer
85 views

Sobolev space-exercice [closed]

Let $\Omega = \mathbb{R}^2_+$. My question is: how we prove that if $v \in H^2(\Omega)$ such as $v(x,0)=0$, then $\dfrac{\partial v}{\partial x} \in H^1_0(\Omega)$ ?
1
vote
1answer
74 views

Notion for weak derivatives of $L^p(0,T,X)$-functions

A definition in Evan's PDE-book from chapter 5.9.2 says (let $X$ be a Banach space): Let $u\in L^1(0,T,X)$. We say $v\in L^1(0,T,X)$ is the weak derivative of $u$ provided $$\int_0^T \phi'(t)u(t)dt = ...
2
votes
2answers
59 views

Density in $H^1_0$

Let $\Omega = \mathbb{R}^2_+=\{(x,y)\in \mathbb{R}^2; y>0\}$ and let $v \in H^1_0(\Omega)$. For $h \neq 0$ we define $D_h v = \dfrac{v(x+h,y)-v(x,y)}{h}$ such as $\forall \varphi \in ...