Everywhere continuous and differentiable $f : mathbb{R} → mathbb{R}$ that is not smooth?
$begingroup$
I can't seem to find any counterexamples to the statement "all functions that are continuous and differentiable at every point of the reals are smooth," nor can I find anyone asserting or proving this statement. Are there known functions that are continuous and differentiable at every point (with no holes / discontinuities / bounded domain) but are not smooth, that is, after some number of derivatives the derivative function is no longer fully differentiable?
real-analysis functions derivatives real-numbers
New contributor
$endgroup$
add a comment |
$begingroup$
I can't seem to find any counterexamples to the statement "all functions that are continuous and differentiable at every point of the reals are smooth," nor can I find anyone asserting or proving this statement. Are there known functions that are continuous and differentiable at every point (with no holes / discontinuities / bounded domain) but are not smooth, that is, after some number of derivatives the derivative function is no longer fully differentiable?
real-analysis functions derivatives real-numbers
New contributor
$endgroup$
$begingroup$
Forgot to specify that I am talking about real functions only, if that wasn't clear - complex functions that are discontinuous off the real axis are not interesting counterexamples!
$endgroup$
– jmarvin_
Mar 24 at 15:04
$begingroup$
What do you mean by "smooth" --- continuous derivative or infinitely differentiable (or something else)? FYI, both uses of "smooth" occur quite often here, and nearly always without the questioner saying what "smooth" means until asked.
$endgroup$
– Dave L. Renfro
Mar 24 at 15:46
$begingroup$
Dave: infinitely differentiable was the one I was using, since that's the limit of "smoothness" and thus what I thought was the unequivocal meaning of "smooth" (I specified this in the question at the end - it is "not smooth" if it is no longer totally differentiable after some derivative)
$endgroup$
– jmarvin_
Mar 24 at 18:07
$begingroup$
Actually, when I saw the part about totally differentiable, I thought you were talking about this, although I did wonder why you used the term in a non-multivariable setting (but not enough to think carefully about what you might have intended, since your question already had several answers). Incidentally, this answer might be of interest.
$endgroup$
– Dave L. Renfro
Mar 24 at 18:37
$begingroup$
Ah, yes, I was using the word "totally" as a non-technical synonym for "completely." My bad - it's been years since I took multivariable calc.
$endgroup$
– jmarvin_
Mar 25 at 19:03
add a comment |
$begingroup$
I can't seem to find any counterexamples to the statement "all functions that are continuous and differentiable at every point of the reals are smooth," nor can I find anyone asserting or proving this statement. Are there known functions that are continuous and differentiable at every point (with no holes / discontinuities / bounded domain) but are not smooth, that is, after some number of derivatives the derivative function is no longer fully differentiable?
real-analysis functions derivatives real-numbers
New contributor
$endgroup$
I can't seem to find any counterexamples to the statement "all functions that are continuous and differentiable at every point of the reals are smooth," nor can I find anyone asserting or proving this statement. Are there known functions that are continuous and differentiable at every point (with no holes / discontinuities / bounded domain) but are not smooth, that is, after some number of derivatives the derivative function is no longer fully differentiable?
real-analysis functions derivatives real-numbers
real-analysis functions derivatives real-numbers
New contributor
New contributor
edited Mar 24 at 16:54
user21820
39.8k544158
39.8k544158
New contributor
asked Mar 24 at 15:03
jmarvin_jmarvin_
134
134
New contributor
New contributor
$begingroup$
Forgot to specify that I am talking about real functions only, if that wasn't clear - complex functions that are discontinuous off the real axis are not interesting counterexamples!
$endgroup$
– jmarvin_
Mar 24 at 15:04
$begingroup$
What do you mean by "smooth" --- continuous derivative or infinitely differentiable (or something else)? FYI, both uses of "smooth" occur quite often here, and nearly always without the questioner saying what "smooth" means until asked.
$endgroup$
– Dave L. Renfro
Mar 24 at 15:46
$begingroup$
Dave: infinitely differentiable was the one I was using, since that's the limit of "smoothness" and thus what I thought was the unequivocal meaning of "smooth" (I specified this in the question at the end - it is "not smooth" if it is no longer totally differentiable after some derivative)
$endgroup$
– jmarvin_
Mar 24 at 18:07
$begingroup$
Actually, when I saw the part about totally differentiable, I thought you were talking about this, although I did wonder why you used the term in a non-multivariable setting (but not enough to think carefully about what you might have intended, since your question already had several answers). Incidentally, this answer might be of interest.
$endgroup$
– Dave L. Renfro
Mar 24 at 18:37
$begingroup$
Ah, yes, I was using the word "totally" as a non-technical synonym for "completely." My bad - it's been years since I took multivariable calc.
$endgroup$
– jmarvin_
Mar 25 at 19:03
add a comment |
$begingroup$
Forgot to specify that I am talking about real functions only, if that wasn't clear - complex functions that are discontinuous off the real axis are not interesting counterexamples!
$endgroup$
– jmarvin_
Mar 24 at 15:04
$begingroup$
What do you mean by "smooth" --- continuous derivative or infinitely differentiable (or something else)? FYI, both uses of "smooth" occur quite often here, and nearly always without the questioner saying what "smooth" means until asked.
$endgroup$
– Dave L. Renfro
Mar 24 at 15:46
$begingroup$
Dave: infinitely differentiable was the one I was using, since that's the limit of "smoothness" and thus what I thought was the unequivocal meaning of "smooth" (I specified this in the question at the end - it is "not smooth" if it is no longer totally differentiable after some derivative)
$endgroup$
– jmarvin_
Mar 24 at 18:07
$begingroup$
Actually, when I saw the part about totally differentiable, I thought you were talking about this, although I did wonder why you used the term in a non-multivariable setting (but not enough to think carefully about what you might have intended, since your question already had several answers). Incidentally, this answer might be of interest.
$endgroup$
– Dave L. Renfro
Mar 24 at 18:37
$begingroup$
Ah, yes, I was using the word "totally" as a non-technical synonym for "completely." My bad - it's been years since I took multivariable calc.
$endgroup$
– jmarvin_
Mar 25 at 19:03
$begingroup$
Forgot to specify that I am talking about real functions only, if that wasn't clear - complex functions that are discontinuous off the real axis are not interesting counterexamples!
$endgroup$
– jmarvin_
Mar 24 at 15:04
$begingroup$
Forgot to specify that I am talking about real functions only, if that wasn't clear - complex functions that are discontinuous off the real axis are not interesting counterexamples!
$endgroup$
– jmarvin_
Mar 24 at 15:04
$begingroup$
What do you mean by "smooth" --- continuous derivative or infinitely differentiable (or something else)? FYI, both uses of "smooth" occur quite often here, and nearly always without the questioner saying what "smooth" means until asked.
$endgroup$
– Dave L. Renfro
Mar 24 at 15:46
$begingroup$
What do you mean by "smooth" --- continuous derivative or infinitely differentiable (or something else)? FYI, both uses of "smooth" occur quite often here, and nearly always without the questioner saying what "smooth" means until asked.
$endgroup$
– Dave L. Renfro
Mar 24 at 15:46
$begingroup$
Dave: infinitely differentiable was the one I was using, since that's the limit of "smoothness" and thus what I thought was the unequivocal meaning of "smooth" (I specified this in the question at the end - it is "not smooth" if it is no longer totally differentiable after some derivative)
$endgroup$
– jmarvin_
Mar 24 at 18:07
$begingroup$
Dave: infinitely differentiable was the one I was using, since that's the limit of "smoothness" and thus what I thought was the unequivocal meaning of "smooth" (I specified this in the question at the end - it is "not smooth" if it is no longer totally differentiable after some derivative)
$endgroup$
– jmarvin_
Mar 24 at 18:07
$begingroup$
Actually, when I saw the part about totally differentiable, I thought you were talking about this, although I did wonder why you used the term in a non-multivariable setting (but not enough to think carefully about what you might have intended, since your question already had several answers). Incidentally, this answer might be of interest.
$endgroup$
– Dave L. Renfro
Mar 24 at 18:37
$begingroup$
Actually, when I saw the part about totally differentiable, I thought you were talking about this, although I did wonder why you used the term in a non-multivariable setting (but not enough to think carefully about what you might have intended, since your question already had several answers). Incidentally, this answer might be of interest.
$endgroup$
– Dave L. Renfro
Mar 24 at 18:37
$begingroup$
Ah, yes, I was using the word "totally" as a non-technical synonym for "completely." My bad - it's been years since I took multivariable calc.
$endgroup$
– jmarvin_
Mar 25 at 19:03
$begingroup$
Ah, yes, I was using the word "totally" as a non-technical synonym for "completely." My bad - it's been years since I took multivariable calc.
$endgroup$
– jmarvin_
Mar 25 at 19:03
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Sure. Take, for instance$$f(x)=begin{cases}x^2&text{ if }xgeqslant0\-x^2&text{ otherwise.}end{cases}$$
$endgroup$
$begingroup$
Thanks - I wasn't thinking about just composing a piecewise function like this.
$endgroup$
– jmarvin_
Mar 24 at 18:18
$begingroup$
I'm glad I could help.
$endgroup$
– José Carlos Santos
Mar 24 at 18:21
add a comment |
$begingroup$
An example is
$$f(x) = begin{cases}0 & text{for } x<0\x^2 & text{for } xgeq 0 end{cases}.$$
It is clear that the function is continuous and differentiable for all $xin mathbb{R}$. But $f'(x)$ is not differentiable at $x=0$.
$endgroup$
$begingroup$
@TomislavOstojich I think you didn't notice the prime. I said that $f(x)$ differentiable. And $f'(x)$ (the derivative of f(x)$ is not differentiable.
$endgroup$
– MachineLearner
Mar 24 at 15:27
$begingroup$
@TomislavOstojich No contradiction.. $f$ differentiable always, but $f'$ (not $f$) isn't always.
$endgroup$
– coffeemath
Mar 24 at 15:27
add a comment |
$begingroup$
Let $W$ be the continuous, nowhere differentiable Weierstrass function. Then $f(x)=int_0^x W(t),dt$ is continuously differentiable on $mathbb R,$ but $f''(x)$ fails to exist for every $x.$
$endgroup$
$begingroup$
This is an interesting answer, probably the most extreme one easily available. Thanks!
$endgroup$
– jmarvin_
Mar 24 at 18:19
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
jmarvin_ is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3160635%2feverywhere-continuous-and-differentiable-f-mathbbr-%25e2%2586%2592-mathbbr-that-is-n%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Sure. Take, for instance$$f(x)=begin{cases}x^2&text{ if }xgeqslant0\-x^2&text{ otherwise.}end{cases}$$
$endgroup$
$begingroup$
Thanks - I wasn't thinking about just composing a piecewise function like this.
$endgroup$
– jmarvin_
Mar 24 at 18:18
$begingroup$
I'm glad I could help.
$endgroup$
– José Carlos Santos
Mar 24 at 18:21
add a comment |
$begingroup$
Sure. Take, for instance$$f(x)=begin{cases}x^2&text{ if }xgeqslant0\-x^2&text{ otherwise.}end{cases}$$
$endgroup$
$begingroup$
Thanks - I wasn't thinking about just composing a piecewise function like this.
$endgroup$
– jmarvin_
Mar 24 at 18:18
$begingroup$
I'm glad I could help.
$endgroup$
– José Carlos Santos
Mar 24 at 18:21
add a comment |
$begingroup$
Sure. Take, for instance$$f(x)=begin{cases}x^2&text{ if }xgeqslant0\-x^2&text{ otherwise.}end{cases}$$
$endgroup$
Sure. Take, for instance$$f(x)=begin{cases}x^2&text{ if }xgeqslant0\-x^2&text{ otherwise.}end{cases}$$
answered Mar 24 at 15:06
José Carlos SantosJosé Carlos Santos
171k23132240
171k23132240
$begingroup$
Thanks - I wasn't thinking about just composing a piecewise function like this.
$endgroup$
– jmarvin_
Mar 24 at 18:18
$begingroup$
I'm glad I could help.
$endgroup$
– José Carlos Santos
Mar 24 at 18:21
add a comment |
$begingroup$
Thanks - I wasn't thinking about just composing a piecewise function like this.
$endgroup$
– jmarvin_
Mar 24 at 18:18
$begingroup$
I'm glad I could help.
$endgroup$
– José Carlos Santos
Mar 24 at 18:21
$begingroup$
Thanks - I wasn't thinking about just composing a piecewise function like this.
$endgroup$
– jmarvin_
Mar 24 at 18:18
$begingroup$
Thanks - I wasn't thinking about just composing a piecewise function like this.
$endgroup$
– jmarvin_
Mar 24 at 18:18
$begingroup$
I'm glad I could help.
$endgroup$
– José Carlos Santos
Mar 24 at 18:21
$begingroup$
I'm glad I could help.
$endgroup$
– José Carlos Santos
Mar 24 at 18:21
add a comment |
$begingroup$
An example is
$$f(x) = begin{cases}0 & text{for } x<0\x^2 & text{for } xgeq 0 end{cases}.$$
It is clear that the function is continuous and differentiable for all $xin mathbb{R}$. But $f'(x)$ is not differentiable at $x=0$.
$endgroup$
$begingroup$
@TomislavOstojich I think you didn't notice the prime. I said that $f(x)$ differentiable. And $f'(x)$ (the derivative of f(x)$ is not differentiable.
$endgroup$
– MachineLearner
Mar 24 at 15:27
$begingroup$
@TomislavOstojich No contradiction.. $f$ differentiable always, but $f'$ (not $f$) isn't always.
$endgroup$
– coffeemath
Mar 24 at 15:27
add a comment |
$begingroup$
An example is
$$f(x) = begin{cases}0 & text{for } x<0\x^2 & text{for } xgeq 0 end{cases}.$$
It is clear that the function is continuous and differentiable for all $xin mathbb{R}$. But $f'(x)$ is not differentiable at $x=0$.
$endgroup$
$begingroup$
@TomislavOstojich I think you didn't notice the prime. I said that $f(x)$ differentiable. And $f'(x)$ (the derivative of f(x)$ is not differentiable.
$endgroup$
– MachineLearner
Mar 24 at 15:27
$begingroup$
@TomislavOstojich No contradiction.. $f$ differentiable always, but $f'$ (not $f$) isn't always.
$endgroup$
– coffeemath
Mar 24 at 15:27
add a comment |
$begingroup$
An example is
$$f(x) = begin{cases}0 & text{for } x<0\x^2 & text{for } xgeq 0 end{cases}.$$
It is clear that the function is continuous and differentiable for all $xin mathbb{R}$. But $f'(x)$ is not differentiable at $x=0$.
$endgroup$
An example is
$$f(x) = begin{cases}0 & text{for } x<0\x^2 & text{for } xgeq 0 end{cases}.$$
It is clear that the function is continuous and differentiable for all $xin mathbb{R}$. But $f'(x)$ is not differentiable at $x=0$.
answered Mar 24 at 15:05
MachineLearnerMachineLearner
1,319112
1,319112
$begingroup$
@TomislavOstojich I think you didn't notice the prime. I said that $f(x)$ differentiable. And $f'(x)$ (the derivative of f(x)$ is not differentiable.
$endgroup$
– MachineLearner
Mar 24 at 15:27
$begingroup$
@TomislavOstojich No contradiction.. $f$ differentiable always, but $f'$ (not $f$) isn't always.
$endgroup$
– coffeemath
Mar 24 at 15:27
add a comment |
$begingroup$
@TomislavOstojich I think you didn't notice the prime. I said that $f(x)$ differentiable. And $f'(x)$ (the derivative of f(x)$ is not differentiable.
$endgroup$
– MachineLearner
Mar 24 at 15:27
$begingroup$
@TomislavOstojich No contradiction.. $f$ differentiable always, but $f'$ (not $f$) isn't always.
$endgroup$
– coffeemath
Mar 24 at 15:27
$begingroup$
@TomislavOstojich I think you didn't notice the prime. I said that $f(x)$ differentiable. And $f'(x)$ (the derivative of f(x)$ is not differentiable.
$endgroup$
– MachineLearner
Mar 24 at 15:27
$begingroup$
@TomislavOstojich I think you didn't notice the prime. I said that $f(x)$ differentiable. And $f'(x)$ (the derivative of f(x)$ is not differentiable.
$endgroup$
– MachineLearner
Mar 24 at 15:27
$begingroup$
@TomislavOstojich No contradiction.. $f$ differentiable always, but $f'$ (not $f$) isn't always.
$endgroup$
– coffeemath
Mar 24 at 15:27
$begingroup$
@TomislavOstojich No contradiction.. $f$ differentiable always, but $f'$ (not $f$) isn't always.
$endgroup$
– coffeemath
Mar 24 at 15:27
add a comment |
$begingroup$
Let $W$ be the continuous, nowhere differentiable Weierstrass function. Then $f(x)=int_0^x W(t),dt$ is continuously differentiable on $mathbb R,$ but $f''(x)$ fails to exist for every $x.$
$endgroup$
$begingroup$
This is an interesting answer, probably the most extreme one easily available. Thanks!
$endgroup$
– jmarvin_
Mar 24 at 18:19
add a comment |
$begingroup$
Let $W$ be the continuous, nowhere differentiable Weierstrass function. Then $f(x)=int_0^x W(t),dt$ is continuously differentiable on $mathbb R,$ but $f''(x)$ fails to exist for every $x.$
$endgroup$
$begingroup$
This is an interesting answer, probably the most extreme one easily available. Thanks!
$endgroup$
– jmarvin_
Mar 24 at 18:19
add a comment |
$begingroup$
Let $W$ be the continuous, nowhere differentiable Weierstrass function. Then $f(x)=int_0^x W(t),dt$ is continuously differentiable on $mathbb R,$ but $f''(x)$ fails to exist for every $x.$
$endgroup$
Let $W$ be the continuous, nowhere differentiable Weierstrass function. Then $f(x)=int_0^x W(t),dt$ is continuously differentiable on $mathbb R,$ but $f''(x)$ fails to exist for every $x.$
answered Mar 24 at 17:00
zhw.zhw.
74.8k43175
74.8k43175
$begingroup$
This is an interesting answer, probably the most extreme one easily available. Thanks!
$endgroup$
– jmarvin_
Mar 24 at 18:19
add a comment |
$begingroup$
This is an interesting answer, probably the most extreme one easily available. Thanks!
$endgroup$
– jmarvin_
Mar 24 at 18:19
$begingroup$
This is an interesting answer, probably the most extreme one easily available. Thanks!
$endgroup$
– jmarvin_
Mar 24 at 18:19
$begingroup$
This is an interesting answer, probably the most extreme one easily available. Thanks!
$endgroup$
– jmarvin_
Mar 24 at 18:19
add a comment |
jmarvin_ is a new contributor. Be nice, and check out our Code of Conduct.
jmarvin_ is a new contributor. Be nice, and check out our Code of Conduct.
jmarvin_ is a new contributor. Be nice, and check out our Code of Conduct.
jmarvin_ is a new contributor. Be nice, and check out our Code of Conduct.
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3160635%2feverywhere-continuous-and-differentiable-f-mathbbr-%25e2%2586%2592-mathbbr-that-is-n%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Forgot to specify that I am talking about real functions only, if that wasn't clear - complex functions that are discontinuous off the real axis are not interesting counterexamples!
$endgroup$
– jmarvin_
Mar 24 at 15:04
$begingroup$
What do you mean by "smooth" --- continuous derivative or infinitely differentiable (or something else)? FYI, both uses of "smooth" occur quite often here, and nearly always without the questioner saying what "smooth" means until asked.
$endgroup$
– Dave L. Renfro
Mar 24 at 15:46
$begingroup$
Dave: infinitely differentiable was the one I was using, since that's the limit of "smoothness" and thus what I thought was the unequivocal meaning of "smooth" (I specified this in the question at the end - it is "not smooth" if it is no longer totally differentiable after some derivative)
$endgroup$
– jmarvin_
Mar 24 at 18:07
$begingroup$
Actually, when I saw the part about totally differentiable, I thought you were talking about this, although I did wonder why you used the term in a non-multivariable setting (but not enough to think carefully about what you might have intended, since your question already had several answers). Incidentally, this answer might be of interest.
$endgroup$
– Dave L. Renfro
Mar 24 at 18:37
$begingroup$
Ah, yes, I was using the word "totally" as a non-technical synonym for "completely." My bad - it's been years since I took multivariable calc.
$endgroup$
– jmarvin_
Mar 25 at 19:03