Give me a function that is piecewise continuous but not piecewise smooth

Click For Summary

Discussion Overview

The discussion centers around identifying a function that is piecewise continuous but not piecewise smooth. Participants explore various examples and properties of such functions, including their continuity and differentiability characteristics.

Discussion Character

  • Exploratory
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant suggests the Weierstrass function as an example, noting it is everywhere continuous but nowhere differentiable.
  • Another participant proposes the absolute value function |x|, defined piecewise, as continuous but not smooth at x=0, claiming it is easier to visualize than fractals.
  • A subsequent reply challenges the use of |x|, stating it is piecewise smooth due to its one-sided derivatives at x=0.
  • Further discussion includes the mention of continuous Brownian motion, which is also nowhere differentiable, and its applications in stochastic models.
  • Another participant introduces a continuous map of the sphere into the plane that is everywhere distance preserving, asserting that such a map cannot be differentiable anywhere.

Areas of Agreement / Disagreement

Participants express differing views on the example of the absolute value function, with some arguing it is piecewise smooth while others maintain it is not. The discussion remains unresolved regarding the classification of certain functions.

Contextual Notes

There are limitations in the definitions and assumptions regarding piecewise continuity and smoothness, particularly concerning the behavior of functions at specific points like x=0.

AlonsoMcLaren
Messages
89
Reaction score
2
Give me a function that is piecewise continuous but not piecewise smooth
 
Physics news on Phys.org
The Weierstrass function should fit the bill, in being everywhere continuous, but nowhere differentiable.
 
|x| is defined piecewise as abs(x)={-x,x<0; x,x>0} which is continuous but not smooth at x=0. And is perhaps a little bit easier to visualize than a fractal :D
 
jmm said:
|x| is defined piecewise as abs(x)={-x,x<0; x,x>0} which is continuous but not smooth at x=0. And is perhaps a little bit easier to visualize than a fractal :D

Yeah, but this IS piecewise smooth.
 
jmm said:
|x| is defined piecewise as abs(x)={-x,x<0; x,x>0} which is continuous but not smooth at x=0. And is perhaps a little bit easier to visualize than a fractal :D

jmm, the domain of of the function you wrote down is the reals minus 0. So it is irrelevant what the function is doing at the origin.

Further as micromass has noted, even if you define abs(0) = 0, the function will still be piecewise smooth. This is because you can split the domain into (-\infty,0) \cup [0,\infty), and so abs has one sided derivatives of all orders at x = 0.
 
The path of a particle following continuous Brownian motion is nowhere differentiable. You can think of this as a continuous random walk Many stochastic models for practical problems use continuous Brownian motion.

For a weird example, I was told that there is a continuous map of the sphere into the plane that is everywhere distance preserving. Such a map can not be differentiable anywhere.
 

Similar threads

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