Questions tagged [weak-derivatives]

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.

If $u$ is a locally integrable function on some open set $U \subset \mathbb{R}^n$, and $\alpha$ is a multiindex, we say that $v$ is the $\alpha^{\text{th}}$-weak partial derivative of $u$, and write $$D^{\alpha} u = v$$ if for all test functions $\varphi \in C_c^{\infty}(U)$, it is true that

$$\int_U uD^{\alpha} \varphi dx = (-1)^{|\alpha|} \int_U v \varphi dx$$

In the particular case that $u \in L^1([a, b])$, then $v$ is the weak derivative of $u$ if

$$\int_a^b u \varphi' dx = - \int_a^b v \varphi dx$$

for all infinitely differentiable $\varphi$ such that $\varphi(a) = 0 = \varphi(b)$.

This can be viewed as a generalization of the usual integration by parts formula, and can be extended to define the weak derivative of a distribution.

Reference: Weak derivative.

690 questions
9
votes
1 answer

Intuition about weakly differentiable functions

I've seen the answers to this question, which are pretty good, but I'd like to have a bit better of an idea about what it means to be weakly differentiable. I have two questions in particular. The top answer states that "a weakly differentiable…
Sambo
  • 6,243
8
votes
1 answer

Uniqueness of weak derivatives

Let $\Omega$ be an open set in $\mathbb{R}^n$ and let $f\in L^1_{\text{loc}}(\Omega)$. To show that weak derivatives are unique up to a set of measure zero, suppose $g_{x_i}, \tilde{g}_{x_i}\in L^1_{\text{loc}}(\Omega)$ are two weak derivatives of…
Koda
  • 1,196
5
votes
1 answer

Difference between weak and distributional derivatives

I'm studing weak and distributional derivatives and solutions and I have a few questions about it. From my understanding, one defines a weak derivative of $u \in L^{1}_{loc}(\Omega)$ such that $$ \int_{\Omega} D^{\alpha} u \varphi dx =…
gikwi
  • 63
  • 3
3
votes
1 answer

Weak derivative: Showing a function is equal to zero a.e.

I am very beginner in the theory of weak derivative. I am trying to fix the following problem: Suppose that $f\in{L_{loc}^{1}}$ and $\int_{a}^{b}f(x)\phi({x})dx=0$ for all $\phi\in{C_{0}^{\infty}}$ then $f(x)=0$ $a.e.$ on…
user54992
3
votes
0 answers

Existence of higher weak derivative(s) implies lower

Let $\Omega\subset\mathbb R^2$ be an open set, and let $f\in L^1_{loc}(\Omega)$ have a weak derivative $f_{xx}\in L^1_{loc}(\Omega)$. Does this imply the existence of $f_x\in L^1_{loc}(\Omega)$? If not, does the existence of all second-order weak…
3
votes
2 answers

Does the weak derivative satisfy the product rule?

For a locally integrable function $f$, a weak derivative $f'$ satisfies the following relation: $\int{f\phi^{\alpha}}=(-1)^{\alpha}\int{f'\phi}$. Does a weak derivative also satisfy the product rule? For instance, is $(fg)'=f'g+fg'$?
user67803
2
votes
2 answers

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

I want to prove 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 derivative $g \in L^2(-1,-1)$ then this implies $$ \phi(0) =…
Adam
  • 3,679
2
votes
1 answer

Finding the weak derivative of order $3$ of $f(x)=\operatorname{sgn} \sin(x)$ where $\operatorname{sgn}$ is the sign function

Let $$f(x)=\operatorname{sgn} \sin(x)$$ where $\operatorname{sgn}$ is sign function. I need to find the weak derivative of order 3 for $f(x)$?
hermman
  • 29
2
votes
0 answers

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} \frac{1}{x}\phi'(x)dx = \phi(1) -\lim_{x\to 0}…
1
vote
1 answer

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: $f(x,y)=g(x)$. How to prove that $\partial_i f$ can…
A.B
  • 1,536
1
vote
1 answer

Prove Corollary of the Fundamental lemma of calculus of variations

From the Fundamental lemma of calculus of variations we know the following: Let $u \in L_{loc}(a,b)$ and for every $\phi \in C_0^\infty$, $$\int_a^b u(x) \phi(x) dx = 0$$ holds, then $u(x) = 0$ almost everywhere. From that I need to prove the…
Haatschii
  • 1,007
1
vote
0 answers

Distributional derivative and non-distributional derivative

In which points is the following function differentiable (in non-distributional sense)? $$ f(t)= t \theta(t) + (1/2t^2-t+1/2)\theta(t-1)+(t-2)\theta(t-2)$$ My solution: \begin{align*} f'(t)&= \theta(t) + (t-1) \theta(t-1)+\theta(t-2)\\ f''(t)&= …
JavaMan
  • 31
1
vote
1 answer

Weak derivative: recursive definition, or confusing notation?

According to the Wiki article, if $u$ and $v$ are locally integrable functions on some open subset of $\mathbb{R}^n$, then $v$ is the weak derivative of $u$ if, for any infinitely differentiable function $\varphi$ on $U$ with compact support, we…
0
votes
1 answer

What does it mean when one says "weak derivative is a Borel measure"?

BV space is defined as a function whose weak derivative Borel measure. I don't understand how the function can be a measure. Measure is usually defined on the subset of real line, and the function is defined on each point of the real line. Can…
jk001
  • 781
0
votes
1 answer

Find the weak derivative

I want to find the weak derivative of $f(x)=1$ for $x\in(0,1)$ and $f(x)=0$ for $x\in(1,2)$. So basically it is constant ae. I was expecting the weak derivative to be $0$. However, when calculating, I'm getting a different answer. Is the weak…