0
$\begingroup$

I recently found this thing called a weak derivative. I think it is what I have been trying to express for quite some time, but it's definition makes it mildly hard for me to prove the following (which is probably quite trivial... or not):

Let $f$ and $g$ be continuous functions and $x'$ denote the weak derivative, then $\forall_{x \in R} f(\lfloor g(x) \rfloor)'=0$.

I am not real sure how to prove it if it is true. The form I gave is my definition of piecewise constant. Mostly, I am concerned on whether or not it is what has this property as I've been trying for quite some time to formally define such a 'derivative'. If it does, then my next thing to ask is whether or not there is an associated weak integral as that is more what I care about.

  • 0
    @user91500 No. It's not a duplicate. My question is completely different. That doesn't even answer my question. How is that related to the floor function?2017-01-25
  • 1
    The weak derivative is a function $h$ in $L^1,$ right? You could change the definition of $h$ on a set of measure $0$ and it would still work. What sense does "for all $x\in \mathbb R$" make in this context?2017-01-25
  • 1
    Actually @user91500 is correct to cite that reference. Let $f(x)=x, g(x) = (2/\pi)\arctan x + 1.$ Then $f(\lfloor g(x) \rfloor) = H(x),$ where $H$ is the Heavyside function. The weak derivative of $H$ is not a locally integrable function, it is $\delta_0.$2017-01-25
  • 0
    @zhw. but I asked specifically about floor, not heaviside so that won't be true in general. That's a specific case of a question referring to a general form.2017-01-26
  • 0
    @zhw. I presume weak differentiation is an operator and that it returns a function of $x$, which I can then say things about such as it being the constant function $0$?2017-01-26
  • 1
    the weak derivative is a distribution, it can sometimes be represented as an L1 function. So it is quite valid to ask if h'=0 what can we say about h?2017-02-01
  • 0
    I heavily disagree with this closure. I can understand if my question were just about the Heaviside function but when one asks about a general set of functions, the prerogative is usually to still at least discuss the broader set of functions even if some trivial counter-example exists. For instance, what if that were *the only* counter example? Saying it's false simply because that exists and closing the question when it's not even directly asking the other questions completely eliminates any possibility of knowing how the other functions act. Plus, this isn't an "exact" duplicate.2017-02-03

3 Answers 3

2

In order to define a weak derivative you typically want to use some real or complex valued bilinear form $\langle \phi,g \rangle$ where $\phi \in {\cal D}$ is your 'test' function for a suitable nice class ${\cal D}$ (vector space) and $g\in {\cal D'}$ the objects (called distributions) in some (vector space) class you want to differentiate.

A couple of important points:

(a) The set ${\cal D}$ should be large enough so that you separate points in ${\cal D'}$ .

(b) You should be able to differentiate all $\phi\in {\cal D}$ and best if the derivative $\phi'$ again belongs to ${\cal D}$. [I bypass some topological/semi-norm aspects that introduce other constraints on this construction].

Then you may (hopefully) define the weak derivative of $g$ by declaring it to be the 'object' $Dg$ such that $$\langle \phi,Dg \rangle = -\langle \phi',g \rangle$$ for all $\phi\in {\cal D}$. The standard example is $\phi \in {\cal D}=C^\infty_c({\Bbb R})$ and the objects a class that in particular contains locally integrable functions $g\in L^1_{\rm loc}({\Bbb R})$. The bilinear form used in that case is:

$$ \langle \phi,g \rangle = \int_{\Bbb R} \phi(x) g(x) \; dx $$

It then make perfectly sense to differentiate any 'nasty' (though locally integrable) function $g$ be declaring that $Dg$ is the object that verifies: $$ \langle \phi,Dg \rangle = -\int_{\Bbb R} \phi'(x) g(x) \; dx $$ for all $\phi \in {\cal D}$. The crucial point that gives sense to the definition is that it extends our usual notion of differentiation on functions that are $C^1$. You see this by partial integration, which is allowed in that case. Now in your case, if I understand correctly (and I just consider $f(x)=x$), you want to differentiate e.g. $\lfloor g(x) \rfloor$ which is a slightly 'nasty' but locally integrable function for $g$ continuous. Now, the 'derivative' should verify the essential property for all $\phi\in {\cal D}$: $$ \langle \phi,D(\lfloor g \rfloor) \rangle = -\int_{\Bbb R} \phi'(x) \lfloor g(x)\rfloor \; dx .$$ This, however, is very far from being the 'zero' object (for which the right hand side should be identically zero). For example if $g(x)=x$ then try to integrate against $\phi'(x)$ where $\phi(x)= (1-x)^2 (1+x)^2$ for $x\in [-1,1]$ zero outside and you get $1$. (admitted, this $\phi$ is not $C^\infty$ at $\pm 1$ but it still works). If you carry out the details you find that for any $\phi\in {\cal D}$: $$ \langle \phi,D(\lfloor \cdot \rfloor) \rangle = \sum_{k\in {\Bbb Z}} \phi(k) .$$ This corresponds to $D\lfloor x \rfloor=\sum_{k\in {\Bbb Z}} \delta_k$ being a sum of delta functions at the integers. Note that this actually is no longer in $L^1_{\rm loc}$ so the space of distributions ${\cal D'}$ in the end will be quite a lot bigger and also contain e.g. derivatives of delta-functions and a lot more.

You may show that any distribution $g$ for which $Dg\equiv 0$ is necessarily (equivalent to) a constant.

1

Your hypothesis as stated cannot be correct. There is no unique weak derivative. As the Wikipedia article you cited states clearly, weak derivatives (if they exist) are only unique up to equality almost everywhere. So it is not meaningful to claim (as you did in a comment) that the weak derivative of $f(\lfloor g(x) \rfloor )$ is the constant zero function. Also, as two other commenters have stated, given the fact that the step function has no weak derivative, and that it is of the form "$f(\lfloor g(x) \rfloor )$" where $f(x) = x$ and $g(x) = \tanh(x)+1$ for every real $x$, it implies that your question is not valid since "$f(\lfloor g(x) \rfloor )$" does not always have a weak derivative.

  • 0
    Is there any non-constant function of that form for which it is zero everywhere in the sense that one of the weak derivative's is 0? Also, I didn't really understand what that article was saying. Honestly, it seemed like it was trying to define derivation at undefined points of derivation. Is that not what it does?2017-02-01
  • 1
    @TheGreatDuck: You need to learn measure theory properly before any of that article will make sense to you. Yes it is such that any weak derivative of a function $f$ agrees with the normal derivative of $f$ at every point where $f$ is differentiable in the normal sense. Note that this applies to any weak derivative since it is not unique. Also weak derivatives have other nice properties, which is the whole point of introducing them. But as I said, if you don't understand the article, before everything else you need to learn measure theory, and you need to learn real analysis before that.2017-02-01
  • 0
    Alright fair enough. I thought it was just a simple integral transformation. Sorry.2017-02-01
1

Differentiation, $D,$ is an elliptic operator on functions and distributions on $R.$ So if $$ Dh=0 $$ then $h$ is smooth, since for elliptic operators a weak solution is a strong solution. So $h$ must be a smooth function with zero derivative in the ordinary sense. So $h$ is a constant.

Clearly if we take $f$ and $g$ to be the identity maps then your function is not constant. In fact, its weak derivative is a sum of delta distributions since it jumps at each integer.

  • 0
    I'm sorry, I don't know the term elliptic operator. Do you mean linear?2017-02-01
  • 0
    https://en.wikipedia.org/wiki/Elliptic_operator2017-02-02