Piecewise smooth and piecewise continuous

  • Thread starter Niles
  • Start date
  • #1
1,868
0

Homework Statement


When a function is piecewise smooth, then f and f' (the derivative of f) are piecewise continuous.

In my book they mention "a function f, which is continuous and piecewise smooth". How can f be both continuous and piecewise continuous?
 

Answers and Replies

  • #2
CompuChip
Science Advisor
Homework Helper
4,306
47
If it is continuous, it is piecewise continuous (in one big piece).
If it is piecewise smooth, then it needn't be piecewise continuous.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,847
965
For example, f(x)= |x| is "continuous and piecewise differentiable": it is continuous for all x and differentiable every where except at x= 0 so differentiable on the "pieces" [itex](-\infty, 0)[/itex] and [itex](0, \infty)[/itex].
 
  • #4
1,868
0
Great, thanks to both of you.
 
  • #5
1,868
0
Hmm wait, I'm still having some difficulties with this definition of a function being piecewise smooth. I understand your examples - but still I can't see how a function can be both piecewise continuous and continuous at the same time.

If f is continuous, then f is piecewise continuous in one big piece, then there really isn't a difference between the two terms? I mean, in your example HallsOfIvy, f(x) = |x| is not piecewise continuous, but continuous. So if I use the definition from my book, then it cannot be piecewise smooth? (Although I can see why it is piecewise smooth, but I don't like the definition in my book).
 
Last edited:
  • #6
HallsofIvy
Science Advisor
Homework Helper
41,847
965
perhaps what is confusing you is that in this definition they are thinking of "piecewise continuous" as including "continuous". That is, every continuous function is "piecewise" continuous.
 
  • #7
1,868
0
From Wolfram MathWorld (http://mathworld.wolfram.com/PiecewiseContinuous.html): [Broken] "A function or curve is piecewise continuous if it is continuous on all but a finite number of points at which certain matching conditions are sometimes required."

Is it proper to say that in this case, this "finite number" is just zero?
 
Last edited by a moderator:
  • #8
CompuChip
Science Advisor
Homework Helper
4,306
47
Exactly.

Another way to look at it:
The intuitive idea of that definition is, that there exist points [itex]a = x_0, x_1, x_2, \cdots, x_n = b[/itex] and functions [itex]f_1, f_2, \cdots, f_n[/itex] such that:
  • [itex]f_i[/itex] is defined on [itex]{[x_{i-1}, x_i[}[/itex]
  • All [itex]f_i[/itex] are continuous
  • The original function f on [a, b[ is given by: [tex]f(x) = f_i(x)[/tex] if [itex]x \in {[x_{i-1}, x_i[}[/itex].
For example, f(x) = |x| can also be written as
[tex]f(x) = \begin{cases} f_1(x) \equiv -x & \text{ if } x < 0 \\ f_2(x) \equiv x & \text{ if } x \ge 0 \end{cases}[/tex].
The [itex]f_i[/itex] are the "pieces" that make up the function. If the function is continuous, then one continuous piece is enough.
 
  • #9
1,868
0
Great, I got it now! Thanks to both of you.

Have a nice weekend.
 
  • #10
1,868
0
Ok, I have a new question similar to this one, so I thought it would make more sense just posting it in here.

Does the same discussion go for piecewise smooth functions? I mean, as we speak, I am writing the Fourier-series for f(x) = |sin(x)|, and then I thought: "This is a periodic function, but not piecewise smooth? Then how can the function have a Fourier-series?"

But it this the same as we talked about earlier? That it is piecewise smooth in "one big piece"?
 
  • #11
CompuChip
Science Advisor
Homework Helper
4,306
47
It is piecewise smooth. It is given by:
f(x) = -sin(x) on [-pi, 0) and sin(x) on (0, pi];
both pieces are smooth (e.g. it is not differentiable in finitely many points only).
 
  • #12
1,868
0
Why is it not defined in x=0?
 
  • #13
HallsofIvy
Science Advisor
Homework Helper
41,847
965
It is. That was a typo. f(x) is -sin(x) on [-pi, 0) and sin(x) on [0, pi].
 
  • #14
1,868
0
But on the interval [-pi;pi], |sin(x)| is both continous and C1. A x=0, the limit from right and left are the same, so no discontinuity here. And the same with the derivative of sine.

So is this "finite number" again zero?
 
  • #15
1,074
1
But on the interval [-pi;pi], |sin(x)| is both continous and C1. A x=0, the limit from right and left are the same, so no discontinuity here. And the same with the derivative of sine.

So is this "finite number" again zero?

The derivative is not continuous at 0, from the right it approaches 1, from the left it approaches -1.
 
  • #16
CompuChip
Science Advisor
Homework Helper
4,306
47
So, |sin(x)| is continuous (therefore, piecewise continuous) but it is not differentiable (though it is piecewise smooth*) on, say, [-pi, pi].

* smooth meaning: infinitely often differentiable.
 
  • #17
1,868
0
The derivative is not continuous at 0, from the right it approaches 1, from the left it approaches -1.

Ahh yes, of course. But you mean that from the right the limit is -1 and from the left it approaches 1, right?

Ok, I get it now. Thanks to everybody!
 
  • #18
CompuChip
Science Advisor
Homework Helper
4,306
47
If you come from the right, you are moving along the graph of sin'(x) = cos(x) which goes to +1 as you approach zero.
If you come from the left, you are moving along the graph of -sin'(x) = -cos(x) which approaches -1.
 
  • #19
1,868
0
Of course, I was integrating.. wow, I really need to get some more sleep and pay more attention, so this wont happen again. Thanks for being patient.
 

Related Threads on Piecewise smooth and piecewise continuous

  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
0
Views
4K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
8
Views
13K
Replies
5
Views
17K
Replies
3
Views
11K
Replies
5
Views
3K
Replies
3
Views
2K
Replies
2
Views
3K
Replies
4
Views
5K
Top