Integrating over piecewise functions

Click For Summary
Integrating a piecewise smooth function f(x) over the interval -L to L requires summing integrals over each piece, particularly at points of discontinuity, rather than directly integrating f'(x) across the entire interval. For example, with f(x) = |x|^{1/2}, f' is unbounded at x = 0, necessitating the use of improper integrals to evaluate the total integral. The limits of these integrals exist and yield a result of zero. Additionally, if f(x) is piecewise smooth, f'(x) is piecewise continuous, but it may not be piecewise smooth unless "smooth" is defined as infinitely differentiable. The discussion clarifies the nuances of integrating piecewise functions and the continuity of their derivatives.
member 428835
given a function f(x) that is piecewise smooth on interval -L<x<L except at N-1 points, is \int_{-L}^L f'(x)dx legal or would i have to \sum_{i=1}^N \int_{x_i}^{x_{i+1}} f'(x)dx‎‎
where x_{N+1}=L and x_{1}=-L

also, am i correct that if f(x) is piecewise smooth, then f'(x) is piecewise continuous but not necessarily piecewise smooth?

thanks in advance!
 
Physics news on Phys.org
joshmccraney said:
given a function f(x) that is piecewise smooth on interval -L<x<L except at N-1 points, is \int_{-L}^L f'(x)dx legal or would i have to \sum_{i=1}^N \int_{x_i}^{x_{i+1}} f'(x)dx‎‎
where x_{N+1}=L and x_{1}=-L
The latter. Suppose for example that ##f(x) = |x|^{1/2}##. This is smooth (infinitely differentiable) everywhere except at ##x = 0##, and
$$f'(x) = \begin{cases}
\frac{1}{2|x|^{1/2}} & \textrm{ if }x > 0 \\
\frac{-1}{2|x|^{1/2}} & \textrm{ if }x < 0 \\
\end{cases}$$
As ##f'## is unbounded on ##[-L,L]##, it's necessary to use two (improper) integrals to integrate it:
$$\lim_{a \rightarrow 0^-} \int_{-L}^{a} f'(x) dx + \lim_{b \rightarrow 0^+}\int_{b}^{L} f'(x) dx$$
Both limits exist and the answers have opposite signs, so the result is 0.
also, am i correct that if f(x) is piecewise smooth, then f&#039;(x) is piecewise continuous but not necessarily piecewise smooth?
Assuming "smooth" means infinitely differentiable, ##f'## will be piecewise smooth. If by "smooth" you merely mean (once) differentiable, then ##f'## is not necessarily even piecewise continuous.
 
thanks for the reply. think i have it now.
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 30 ·
2
Replies
30
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K