Confusion about non-derivable continuous functions Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Are there any implicit, continuous, non-differentiable functions?Logical Relations Between Three Statements about Continuous FunctionsCombination of continuous and discontinuous functionsIs there only one continuous-everywhere non-differentiable function?Intuition behind uniformly continuous functionsWhy weren't continuous functions defined as Darboux functions?Examples of functions that do not belong to any Baire classFind all continuous functions that satisfy the Jensen inequality(?) $f(fracx+y2)=fracf(x)+f(y)2$Confused About Limit Points and Closed SetsConfusion About Differentiability of Function
Can I throw a longsword at someone?
Simulating Exploding Dice
Blender game recording at the wrong time
New Order #5: where Fibonacci and Beatty meet at Wythoff
Using "nakedly" instead of "with nothing on"
Choo-choo! Word trains
What's the point in a preamp?
Who can trigger ship-wide alerts in Star Trek?
Determine whether f is a function, an injection, a surjection
What is the order of Mitzvot in Rambam's Sefer Hamitzvot?
Statistical model of ligand substitution
90's book, teen horror
What is the largest species of polychaete?
How to say 'striped' in Latin
Complexity of many constant time steps with occasional logarithmic steps
When is phishing education going too far?
If A makes B more likely then B makes A more likely"
Why don't the Weasley twins use magic outside of school if the Trace can only find the location of spells cast?
Cold is to Refrigerator as warm is to?
Classification of bundles, Postnikov towers, obstruction theory, local coefficients
How should I respond to a player wanting to catch a sword between their hands?
How to market an anarchic city as a tourism spot to people living in civilized areas?
How to say that you spent the night with someone, you were only sleeping and nothing else?
What items from the Roman-age tech-level could be used to deter all creatures from entering a small area?
Confusion about non-derivable continuous functions
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Are there any implicit, continuous, non-differentiable functions?Logical Relations Between Three Statements about Continuous FunctionsCombination of continuous and discontinuous functionsIs there only one continuous-everywhere non-differentiable function?Intuition behind uniformly continuous functionsWhy weren't continuous functions defined as Darboux functions?Examples of functions that do not belong to any Baire classFind all continuous functions that satisfy the Jensen inequality(?) $f(fracx+y2)=fracf(x)+f(y)2$Confused About Limit Points and Closed SetsConfusion About Differentiability of Function
$begingroup$
I am reading a definition which claims that a function is continuous in point $p$ iff all its first derivations exist and are continuous in the point $p$.
And what confuses me are functions such as $f(x)=|x|$ which should be continuous by intuition, but is clearly not derivable in $x=0$.
I am almost certain I am getting something wrong here, but I can not even pin-point what.
real-analysis functions derivatives continuity
$endgroup$
add a comment |
$begingroup$
I am reading a definition which claims that a function is continuous in point $p$ iff all its first derivations exist and are continuous in the point $p$.
And what confuses me are functions such as $f(x)=|x|$ which should be continuous by intuition, but is clearly not derivable in $x=0$.
I am almost certain I am getting something wrong here, but I can not even pin-point what.
real-analysis functions derivatives continuity
$endgroup$
$begingroup$
For $|x|$ its derivative isn't continuous t zero.
$endgroup$
– coffeemath
Apr 9 at 20:51
$begingroup$
Where did you read that erroneous definition?
$endgroup$
– bof
Apr 9 at 21:01
$begingroup$
lecture notes by my prof. i might be mosreading them though
$endgroup$
– fazan
Apr 9 at 21:04
1
$begingroup$
@avs That is false.
$endgroup$
– zhw.
Apr 9 at 22:07
2
$begingroup$
@avs That is the definition of a continuously differentiable or $C^1$ function. Being differentiable is strictly weaker (not requiring that the derivatives be continuous).
$endgroup$
– Robert Furber
Apr 10 at 0:19
add a comment |
$begingroup$
I am reading a definition which claims that a function is continuous in point $p$ iff all its first derivations exist and are continuous in the point $p$.
And what confuses me are functions such as $f(x)=|x|$ which should be continuous by intuition, but is clearly not derivable in $x=0$.
I am almost certain I am getting something wrong here, but I can not even pin-point what.
real-analysis functions derivatives continuity
$endgroup$
I am reading a definition which claims that a function is continuous in point $p$ iff all its first derivations exist and are continuous in the point $p$.
And what confuses me are functions such as $f(x)=|x|$ which should be continuous by intuition, but is clearly not derivable in $x=0$.
I am almost certain I am getting something wrong here, but I can not even pin-point what.
real-analysis functions derivatives continuity
real-analysis functions derivatives continuity
asked Apr 9 at 20:47
fazanfazan
608
608
$begingroup$
For $|x|$ its derivative isn't continuous t zero.
$endgroup$
– coffeemath
Apr 9 at 20:51
$begingroup$
Where did you read that erroneous definition?
$endgroup$
– bof
Apr 9 at 21:01
$begingroup$
lecture notes by my prof. i might be mosreading them though
$endgroup$
– fazan
Apr 9 at 21:04
1
$begingroup$
@avs That is false.
$endgroup$
– zhw.
Apr 9 at 22:07
2
$begingroup$
@avs That is the definition of a continuously differentiable or $C^1$ function. Being differentiable is strictly weaker (not requiring that the derivatives be continuous).
$endgroup$
– Robert Furber
Apr 10 at 0:19
add a comment |
$begingroup$
For $|x|$ its derivative isn't continuous t zero.
$endgroup$
– coffeemath
Apr 9 at 20:51
$begingroup$
Where did you read that erroneous definition?
$endgroup$
– bof
Apr 9 at 21:01
$begingroup$
lecture notes by my prof. i might be mosreading them though
$endgroup$
– fazan
Apr 9 at 21:04
1
$begingroup$
@avs That is false.
$endgroup$
– zhw.
Apr 9 at 22:07
2
$begingroup$
@avs That is the definition of a continuously differentiable or $C^1$ function. Being differentiable is strictly weaker (not requiring that the derivatives be continuous).
$endgroup$
– Robert Furber
Apr 10 at 0:19
$begingroup$
For $|x|$ its derivative isn't continuous t zero.
$endgroup$
– coffeemath
Apr 9 at 20:51
$begingroup$
For $|x|$ its derivative isn't continuous t zero.
$endgroup$
– coffeemath
Apr 9 at 20:51
$begingroup$
Where did you read that erroneous definition?
$endgroup$
– bof
Apr 9 at 21:01
$begingroup$
Where did you read that erroneous definition?
$endgroup$
– bof
Apr 9 at 21:01
$begingroup$
lecture notes by my prof. i might be mosreading them though
$endgroup$
– fazan
Apr 9 at 21:04
$begingroup$
lecture notes by my prof. i might be mosreading them though
$endgroup$
– fazan
Apr 9 at 21:04
1
1
$begingroup$
@avs That is false.
$endgroup$
– zhw.
Apr 9 at 22:07
$begingroup$
@avs That is false.
$endgroup$
– zhw.
Apr 9 at 22:07
2
2
$begingroup$
@avs That is the definition of a continuously differentiable or $C^1$ function. Being differentiable is strictly weaker (not requiring that the derivatives be continuous).
$endgroup$
– Robert Furber
Apr 10 at 0:19
$begingroup$
@avs That is the definition of a continuously differentiable or $C^1$ function. Being differentiable is strictly weaker (not requiring that the derivatives be continuous).
$endgroup$
– Robert Furber
Apr 10 at 0:19
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
That "definition" is wrong. You are right, the function $|x|$ is continuous but is not differentiable at $x=0$. Continuity doesn't imply differentiability. However, differentiability does imply continuity.
The definition you stated looks to me as an attempt to define a smooth function, although it is not correct.
$endgroup$
$begingroup$
It is the definition of a continuously differentiable or $C^1$ function. This definition is important because $C^1$ functions on compact manifolds form Banach spaces, whereas differentiable functions do not.
$endgroup$
– Robert Furber
Apr 10 at 0:20
$begingroup$
Here is the relevant wikipedia page: en.wikipedia.org/wiki/…
$endgroup$
– Robert Furber
Apr 10 at 0:24
add a comment |
$begingroup$
As has been pointed out this definition is incorrect, as it is inconsistent with the usual definitions of continuity and differentiability. Your example $|x|$ suffices to show this.
If you are encountering this in multivariable calculus then your professor might be trying to state the theorem mentioned by avs in the comments: that a function is differentiable at a point if all its first order partial derivatives exist in a neighbourhood of that point, and are continuous at that point. However the converse is not generally true: consider for example the function
$$f(x,y)=begincases(x^2+y^2)sin(frac1sqrtx^2+y^2) &(x,y)neq(0,0)\0&(x,y)=(0,0)endcases$$
at the origin. Thus this assumption might be completely false. It might be best to give a word for word reproduction of the statement and the paragraph before and after.
$endgroup$
$begingroup$
The partial derivatives need not be continuous for differentiability.
$endgroup$
– Haris Gusic
Apr 9 at 21:13
1
$begingroup$
@HarisGusic yes I realized as I posted. Fixed it
$endgroup$
– K.Power
Apr 9 at 21:13
add a comment |
$begingroup$
Sounds like somebody got the wrong definition of what a "continuous function" is. Any function $f:mathbbRtomathbb R$ (like in your original post!) is continuous at any point $left(a,fleft(aright)right)$ for which $$limlimits_xto a^-fleft(xright)=limlimits_xto a^+fleft(xright)$$ (denoting the left and right-hand limits accordingly and provided both limits exist).
And finally, note that some functions can even be nowhere-continuous as well! Such as
$$fleft(xright)=left{beginmatrix1, xinmathbbQ\0,xnotinmathbb Qendmatrixright.$$
$endgroup$
add a comment |
Your Answer
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
);
);
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%2f3181529%2fconfusion-about-non-derivable-continuous-functions%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$
That "definition" is wrong. You are right, the function $|x|$ is continuous but is not differentiable at $x=0$. Continuity doesn't imply differentiability. However, differentiability does imply continuity.
The definition you stated looks to me as an attempt to define a smooth function, although it is not correct.
$endgroup$
$begingroup$
It is the definition of a continuously differentiable or $C^1$ function. This definition is important because $C^1$ functions on compact manifolds form Banach spaces, whereas differentiable functions do not.
$endgroup$
– Robert Furber
Apr 10 at 0:20
$begingroup$
Here is the relevant wikipedia page: en.wikipedia.org/wiki/…
$endgroup$
– Robert Furber
Apr 10 at 0:24
add a comment |
$begingroup$
That "definition" is wrong. You are right, the function $|x|$ is continuous but is not differentiable at $x=0$. Continuity doesn't imply differentiability. However, differentiability does imply continuity.
The definition you stated looks to me as an attempt to define a smooth function, although it is not correct.
$endgroup$
$begingroup$
It is the definition of a continuously differentiable or $C^1$ function. This definition is important because $C^1$ functions on compact manifolds form Banach spaces, whereas differentiable functions do not.
$endgroup$
– Robert Furber
Apr 10 at 0:20
$begingroup$
Here is the relevant wikipedia page: en.wikipedia.org/wiki/…
$endgroup$
– Robert Furber
Apr 10 at 0:24
add a comment |
$begingroup$
That "definition" is wrong. You are right, the function $|x|$ is continuous but is not differentiable at $x=0$. Continuity doesn't imply differentiability. However, differentiability does imply continuity.
The definition you stated looks to me as an attempt to define a smooth function, although it is not correct.
$endgroup$
That "definition" is wrong. You are right, the function $|x|$ is continuous but is not differentiable at $x=0$. Continuity doesn't imply differentiability. However, differentiability does imply continuity.
The definition you stated looks to me as an attempt to define a smooth function, although it is not correct.
edited Apr 9 at 20:56
answered Apr 9 at 20:51
Haris GusicHaris Gusic
3,569627
3,569627
$begingroup$
It is the definition of a continuously differentiable or $C^1$ function. This definition is important because $C^1$ functions on compact manifolds form Banach spaces, whereas differentiable functions do not.
$endgroup$
– Robert Furber
Apr 10 at 0:20
$begingroup$
Here is the relevant wikipedia page: en.wikipedia.org/wiki/…
$endgroup$
– Robert Furber
Apr 10 at 0:24
add a comment |
$begingroup$
It is the definition of a continuously differentiable or $C^1$ function. This definition is important because $C^1$ functions on compact manifolds form Banach spaces, whereas differentiable functions do not.
$endgroup$
– Robert Furber
Apr 10 at 0:20
$begingroup$
Here is the relevant wikipedia page: en.wikipedia.org/wiki/…
$endgroup$
– Robert Furber
Apr 10 at 0:24
$begingroup$
It is the definition of a continuously differentiable or $C^1$ function. This definition is important because $C^1$ functions on compact manifolds form Banach spaces, whereas differentiable functions do not.
$endgroup$
– Robert Furber
Apr 10 at 0:20
$begingroup$
It is the definition of a continuously differentiable or $C^1$ function. This definition is important because $C^1$ functions on compact manifolds form Banach spaces, whereas differentiable functions do not.
$endgroup$
– Robert Furber
Apr 10 at 0:20
$begingroup$
Here is the relevant wikipedia page: en.wikipedia.org/wiki/…
$endgroup$
– Robert Furber
Apr 10 at 0:24
$begingroup$
Here is the relevant wikipedia page: en.wikipedia.org/wiki/…
$endgroup$
– Robert Furber
Apr 10 at 0:24
add a comment |
$begingroup$
As has been pointed out this definition is incorrect, as it is inconsistent with the usual definitions of continuity and differentiability. Your example $|x|$ suffices to show this.
If you are encountering this in multivariable calculus then your professor might be trying to state the theorem mentioned by avs in the comments: that a function is differentiable at a point if all its first order partial derivatives exist in a neighbourhood of that point, and are continuous at that point. However the converse is not generally true: consider for example the function
$$f(x,y)=begincases(x^2+y^2)sin(frac1sqrtx^2+y^2) &(x,y)neq(0,0)\0&(x,y)=(0,0)endcases$$
at the origin. Thus this assumption might be completely false. It might be best to give a word for word reproduction of the statement and the paragraph before and after.
$endgroup$
$begingroup$
The partial derivatives need not be continuous for differentiability.
$endgroup$
– Haris Gusic
Apr 9 at 21:13
1
$begingroup$
@HarisGusic yes I realized as I posted. Fixed it
$endgroup$
– K.Power
Apr 9 at 21:13
add a comment |
$begingroup$
As has been pointed out this definition is incorrect, as it is inconsistent with the usual definitions of continuity and differentiability. Your example $|x|$ suffices to show this.
If you are encountering this in multivariable calculus then your professor might be trying to state the theorem mentioned by avs in the comments: that a function is differentiable at a point if all its first order partial derivatives exist in a neighbourhood of that point, and are continuous at that point. However the converse is not generally true: consider for example the function
$$f(x,y)=begincases(x^2+y^2)sin(frac1sqrtx^2+y^2) &(x,y)neq(0,0)\0&(x,y)=(0,0)endcases$$
at the origin. Thus this assumption might be completely false. It might be best to give a word for word reproduction of the statement and the paragraph before and after.
$endgroup$
$begingroup$
The partial derivatives need not be continuous for differentiability.
$endgroup$
– Haris Gusic
Apr 9 at 21:13
1
$begingroup$
@HarisGusic yes I realized as I posted. Fixed it
$endgroup$
– K.Power
Apr 9 at 21:13
add a comment |
$begingroup$
As has been pointed out this definition is incorrect, as it is inconsistent with the usual definitions of continuity and differentiability. Your example $|x|$ suffices to show this.
If you are encountering this in multivariable calculus then your professor might be trying to state the theorem mentioned by avs in the comments: that a function is differentiable at a point if all its first order partial derivatives exist in a neighbourhood of that point, and are continuous at that point. However the converse is not generally true: consider for example the function
$$f(x,y)=begincases(x^2+y^2)sin(frac1sqrtx^2+y^2) &(x,y)neq(0,0)\0&(x,y)=(0,0)endcases$$
at the origin. Thus this assumption might be completely false. It might be best to give a word for word reproduction of the statement and the paragraph before and after.
$endgroup$
As has been pointed out this definition is incorrect, as it is inconsistent with the usual definitions of continuity and differentiability. Your example $|x|$ suffices to show this.
If you are encountering this in multivariable calculus then your professor might be trying to state the theorem mentioned by avs in the comments: that a function is differentiable at a point if all its first order partial derivatives exist in a neighbourhood of that point, and are continuous at that point. However the converse is not generally true: consider for example the function
$$f(x,y)=begincases(x^2+y^2)sin(frac1sqrtx^2+y^2) &(x,y)neq(0,0)\0&(x,y)=(0,0)endcases$$
at the origin. Thus this assumption might be completely false. It might be best to give a word for word reproduction of the statement and the paragraph before and after.
edited Apr 9 at 21:18
answered Apr 9 at 21:10
K.PowerK.Power
3,744926
3,744926
$begingroup$
The partial derivatives need not be continuous for differentiability.
$endgroup$
– Haris Gusic
Apr 9 at 21:13
1
$begingroup$
@HarisGusic yes I realized as I posted. Fixed it
$endgroup$
– K.Power
Apr 9 at 21:13
add a comment |
$begingroup$
The partial derivatives need not be continuous for differentiability.
$endgroup$
– Haris Gusic
Apr 9 at 21:13
1
$begingroup$
@HarisGusic yes I realized as I posted. Fixed it
$endgroup$
– K.Power
Apr 9 at 21:13
$begingroup$
The partial derivatives need not be continuous for differentiability.
$endgroup$
– Haris Gusic
Apr 9 at 21:13
$begingroup$
The partial derivatives need not be continuous for differentiability.
$endgroup$
– Haris Gusic
Apr 9 at 21:13
1
1
$begingroup$
@HarisGusic yes I realized as I posted. Fixed it
$endgroup$
– K.Power
Apr 9 at 21:13
$begingroup$
@HarisGusic yes I realized as I posted. Fixed it
$endgroup$
– K.Power
Apr 9 at 21:13
add a comment |
$begingroup$
Sounds like somebody got the wrong definition of what a "continuous function" is. Any function $f:mathbbRtomathbb R$ (like in your original post!) is continuous at any point $left(a,fleft(aright)right)$ for which $$limlimits_xto a^-fleft(xright)=limlimits_xto a^+fleft(xright)$$ (denoting the left and right-hand limits accordingly and provided both limits exist).
And finally, note that some functions can even be nowhere-continuous as well! Such as
$$fleft(xright)=left{beginmatrix1, xinmathbbQ\0,xnotinmathbb Qendmatrixright.$$
$endgroup$
add a comment |
$begingroup$
Sounds like somebody got the wrong definition of what a "continuous function" is. Any function $f:mathbbRtomathbb R$ (like in your original post!) is continuous at any point $left(a,fleft(aright)right)$ for which $$limlimits_xto a^-fleft(xright)=limlimits_xto a^+fleft(xright)$$ (denoting the left and right-hand limits accordingly and provided both limits exist).
And finally, note that some functions can even be nowhere-continuous as well! Such as
$$fleft(xright)=left{beginmatrix1, xinmathbbQ\0,xnotinmathbb Qendmatrixright.$$
$endgroup$
add a comment |
$begingroup$
Sounds like somebody got the wrong definition of what a "continuous function" is. Any function $f:mathbbRtomathbb R$ (like in your original post!) is continuous at any point $left(a,fleft(aright)right)$ for which $$limlimits_xto a^-fleft(xright)=limlimits_xto a^+fleft(xright)$$ (denoting the left and right-hand limits accordingly and provided both limits exist).
And finally, note that some functions can even be nowhere-continuous as well! Such as
$$fleft(xright)=left{beginmatrix1, xinmathbbQ\0,xnotinmathbb Qendmatrixright.$$
$endgroup$
Sounds like somebody got the wrong definition of what a "continuous function" is. Any function $f:mathbbRtomathbb R$ (like in your original post!) is continuous at any point $left(a,fleft(aright)right)$ for which $$limlimits_xto a^-fleft(xright)=limlimits_xto a^+fleft(xright)$$ (denoting the left and right-hand limits accordingly and provided both limits exist).
And finally, note that some functions can even be nowhere-continuous as well! Such as
$$fleft(xright)=left{beginmatrix1, xinmathbbQ\0,xnotinmathbb Qendmatrixright.$$
edited Apr 10 at 4:11
avs
4,197515
4,197515
answered Apr 9 at 23:28
ManRowManRow
25618
25618
add a comment |
add a comment |
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%2f3181529%2fconfusion-about-non-derivable-continuous-functions%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$
For $|x|$ its derivative isn't continuous t zero.
$endgroup$
– coffeemath
Apr 9 at 20:51
$begingroup$
Where did you read that erroneous definition?
$endgroup$
– bof
Apr 9 at 21:01
$begingroup$
lecture notes by my prof. i might be mosreading them though
$endgroup$
– fazan
Apr 9 at 21:04
1
$begingroup$
@avs That is false.
$endgroup$
– zhw.
Apr 9 at 22:07
2
$begingroup$
@avs That is the definition of a continuously differentiable or $C^1$ function. Being differentiable is strictly weaker (not requiring that the derivatives be continuous).
$endgroup$
– Robert Furber
Apr 10 at 0:19