Integration by parts and characteristic functions

raw
Messages
35
Reaction score
0

Homework Statement



Given characteristic functions f and g on the intervals [1,4] and [2,5] respectively. The derivatives of f and g exist almost everywhere. The integration by parts formula says \intf(x)g'(x)dx=f(3)g(3)-f(0)g(0)-\intf'(x)g(x)dx. Both integrals are 0 but f(3)g(3)-f(0)g(0) is equal to 1. Why is this?

Homework Equations


Characteristic functions equal 1 on the interval given and 0 everywhere.


The Attempt at a Solution


I'm really not sure. Does it have anything to do with the discontinuity between 0 and for both functions? I'm really bad at these types of questions...
 
Physics news on Phys.org
To apply the integration by parts formula, then we need the function to be differentiable everywhere...

There does exist a generalization of the formula where differentiability is not necessary, but we still require the functions to be continuous everywhere. Your example shows that we cannot generalize the "integration by parts"-formula to discontinuous functions...
 
micromass's explanation is the correct one for basic analysis. However, it is possible to make integration by parts make sense for very rough functions using more advanced ideas which go by the name of "distribution theory". WARNING: although distribution theory is perfectly rigorous mathematics, the explanation below is anything but, so is probably not useful to you except for talking to physicists.

There is a thing which physicists call a "delta function", and we mathematicians also denote by \delta but insist on reminding everyone that it isn't actually a function in the conventional sense. Informally (physicist time), imagine that \delta(x) is a function which is zero everywhere except at x = 0, where it is infinite. But it's "exactly the right size of infinity" so that when you multiply it by something else and integrate, it pulls out the value at that point: \int_{-\infty}^\infty \delta(x) f(x)\,dx = f(0).

In your setup, what happens that makes integration by parts work is that you realize we should put f'(x) = \delta(x - 1) - \delta(x - 4), g'(x) = \delta(x - 2) - \delta(x - 5): that is, the derivative of f is a positive "unit spike" at 1, a negative "unit spike" at 4, and zero everywhere else. Makes sense, right?

Then you wind up with \int_0^3 f(x) g'(x)\,dx = f(2) = 1, \int_0^3 f'(x) g(x) \,dx = g(1) = 0, and both sides of your equation are 1, just as you want.
 
Thank you both for your quick and helpful replies.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top