1 幂函数的定义域
【引理】 设幂函数 的定义域为,则
(1)当 ,,且此时;
(2)当 是非零有理数时,可设 (,与互质),有:(以下约定)
【注】时表示非零整数的情况
(3)当 是正无理数时,);当是负无理数时,.
2 幂函数导数公式的推导
- 当 时:
(1)
当 时,,,.
(2)
(i) :;
(ii) :根据恒等式 (可用多项式乘法法则证明该等式),可得: - 当 时:
此时,
根据之前的结论,当时,有,
现在,有,
根据复合函数的求导法则, - 当 且 时:
(1)先求得 时结论成立:
(i)当时,.
当 时,,所以不存在;
当 时,根据恒等式 (可用多项式乘法法则证明该等式)
(ii)当时,.
由上一步的结论,当时,不存在;当时,由可得
(2)设 ,p 与 q 互质)(这里与之前【引理】的 不一样是因为我们已将的情况讨论完了)
是正偶数且 是正奇数且 时,. 当 时,;,所以 . 当,由开始的结论和时结论成立,在根据复合函数的链式求导法则,就有:
可得
是正偶数且 是正奇数且 时,. 当 时, 不存在;,所以 不存在;当, 由开始的结论 和时结论成立,在根据复合函数的链式求导法则,就有:
可得.
是正偶数且是负奇数时,. 由开始的结论 是正偶数,是正奇数时结论成立,再根据复合函数的链式求导法则,就有:
可得.
是奇数且 时,. 同之前的结论 ;当时,由 1 和 (1)可得
可得,
是奇数且 时,.由之前的结论不存在;当时,和(v)一样的推导得
可得.
是奇数且 时,.根据(iv)和(v),有:
可得.
到这里就全部推导完了.
- 当
(1)当 是正无理数时,.
(i)当是大于1的无理数时,根据开头的结论;当时,由导数公式,(这两个公式的推导见同系列的其它文章)及复合函数的求导法则
可得,.
(ii) 当 是小于1的无理数时,根据开头的结论不存在;当时,由导数公式,(这两个公式的推导见同系列的其它文章)及复合函数的求导法则
可得,.
(2)当是负无理数时,.
由导数公式,(这两个公式的推导见同系列的其它文章)及复合函数的求导法则
可得,.
到这里就讨论完了。