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.

743 questions
52
votes
1 answer

Are weak derivatives and distributional derivatives different?

Given a real function $f\in L^1_{\text{loc}}(\Omega)$ , we define both weak or distributional derivatives by $\int f'\phi = - \int f \phi'$ for all test functions $\phi$ . Now, take $\Omega = (-1,1)$ , and $f(x) = I_{x>0}$ , an indicator function.…
28
votes
7 answers

Why is it useful to show the existence and uniqueness of solution for a PDE?

Don't get me wrong, I understand that it is important in mathematics to qualitatively study the problems given. But I would like to know to what extent this helps, for example, to actually solve the problem. I am reading books that deal with…
23
votes
1 answer

Is a continuous function with continuous weak derivatives of class $C^1$?

Let $f$ be a real valued continuous function of many variables whose weak derivatives of first order are continuous. Is this function equals a.e. function of class $C^1$ ?
user111
  • 477
18
votes
1 answer

Finding Weak Solutions to ODEs

I'm wondering if anyone has a reference to a good set of notes on finding weak (distributional) solutions to ODEs, or has any tips or tricks. For example, $$ xy^\prime=0 $$ has a classical solution $y(x)=C$, but it also has a distributional solution…
18
votes
4 answers

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 use for weak derivative: A function $u\in…
15
votes
1 answer

Other versions of a weak Ito formula?

I am aware that this question is rather unspecific, but I was curious what versions of the Ito formula for Sobolev functions exist (and what methods are used to prove them).The only result I am aware of is the following, but I would be interested in…
14
votes
2 answers

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 $D(u\ast\rho_{\varepsilon})=Du\ast\rho_{\varepsilon}$, so…
12
votes
1 answer

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 unknown, and $\Delta$ is the Laplacian operator…
12
votes
2 answers

Does existence of the second weak derivative of $f\in L^2$ imply existence of the first?

Let's consider a function $f\in L^2(\mathbb{R})$ for which the second weak derivative exists and lie in $L^2(\mathbb{R})$, i.e. there exists $f''\in L^2(\mathbb{R})$ such that for all $\varphi\in C_0^\infty(\mathbb{R})$ the following integral…
11
votes
3 answers

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 anywhere (or differentiable only on a set of measure 0) ? Thanks
10
votes
1 answer

A clean proof of Chain rule for BV functions

Let $u\in BV(\mathbb{R})$ then its distributional derivative $u' \in \mathcal{M}(\mathbb{R})$ (the space of bounded radon measures). I am trying to prove that $f\in C^1(\mathbb{R})$ , the function $f\circ u \in BV(\mathbb{R})$ satisfies the chain…
10
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…
kmiyazaki
  • 1,458
10
votes
3 answers

Can there exist a function that has a weak derivative, but is not differentiable almost everywhere?

I am currently learning about Sobolev spaces, and I am trying to build some intuition of weak derivatives. My current intuition is imagining the weak derivative of f as a function equal to f's derivative almost everywhere. However, this assumption…
10
votes
2 answers

evil derivative

I'm looking at the following statement in my textbook: let $u : (0, 1) → (0, 1)$ the devil's staircase function , aka Cantor-Lebesgue function. Then it's derivative is $u' = 0$ pointwise a.e. We obtain $$\int_0^1 u \, \varphi_k' \to -1 \, \, (k \to…
10
votes
1 answer

weak derivative and almost everywhere derivation

What are some conditions that ensure that a function $f(x) : \mathbb{R} \to \mathbb{R}$ which is in $L^1_{loc}$ and almost everywhere differentiable (in the classical sens ) with derivative in $L^1_{loc}$ has its derivative equal to its weak…
1
2 3
…
49 50