Integration by parts and characteristic functions

Click For Summary
The discussion revolves around the application of the integration by parts formula to characteristic functions defined on specific intervals. Despite the derivatives of these functions existing almost everywhere, the discontinuity at the boundaries complicates the integration process. The integration by parts formula is valid only for continuous functions, and the example illustrates that discontinuous functions cannot be generalized under this formula. Advanced concepts like distribution theory, including the delta function, can provide a framework for understanding integration by parts in such cases. Ultimately, the integration yields consistent results when properly accounting for the nature of the functions involved.
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.
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
9
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K