Wolfram Function Repository
Instant-use add-on functions for the Wolfram Language
Function Repository Resource:
Find the conditions for which a single-variable, real-valued function is differentiable
ResourceFunction["FunctionDifferentiability"][f,x] returns the conditions for which f is differentiable with respect to x. |
|
ResourceFunction["FunctionDifferentiability"][f,{x,n}] returns the conditions for which f is n-times differentiable with respect to x. |
|
ResourceFunction["FunctionDifferentiability"][{f,cons},x] returns the conditions for which f constrained to cons is differentiable with respect to x. |
|
ResourceFunction["FunctionDifferentiability"][{f,cons},{x,n}] returns the conditions for which f constrained to cons is n-times differentiable with respect to x. |
lhs == rhs | equations |
lhs > rhs , lhs ≥ rhs , lhs < rhs , lhs ≤ rhs | inequalities (LessEqual,…) |
Compute the conditions for which a given function is differentiable:
In[1]:= |
![]() |
Out[1]= |
![]() |
Compute the conditions for differentiability of a function subject to a constraint:
In[2]:= |
![]() |
Out[2]= |
![]() |
A function that is differentiable for all real numbers returns True:
In[3]:= |
![]() |
Out[3]= |
![]() |
The following function is once-differentiable everywhere but not twice-differentiable at x=0:
In[4]:= |
![]() |
In[5]:= |
![]() |
Out[5]= |
![]() |
In[6]:= |
![]() |
Out[6]= |
![]() |
FunctionDifferentiability has the attribute HoldFirst, enabling calculations such as the following:
In[7]:= |
![]() |
Out[7]= |
![]() |
This work is licensed under a Creative Commons Attribution 4.0 International License