第一原理求导
第一性原理导数指用代数方法求曲线斜率的一般表达式。它也被称为三角法。导数是瞬时变化率的度量,它等于
这个表达式是剩下的微分学的基础:所有的规则,恒等式和事实都是由这个表达式推导出来的。
第一原理求导
导数只是对变化率的测量。它可以是距离对时间的变化率或者温度对距离的变化率。我们要测量一个函数的变化率 关于它的变量 .
数量变化率的一般概念 关于 是在 除以 关于这个问题 .它描述了平均变化率可以表示为
为求瞬时变化率,取极限值为 方法 .为了简化,我们设 ,取极限值为 接近0。因此,我们有
(审查<一个href="//www.parkandroid.com/wiki/limits-of-functions/" class="wiki_link" title="双面的限制" target="_blank">双面的限制)。如果这个极限存在并且是有限的,那么我们说
求导数 在 使用第一原理。
在这里 而且 .利用第一原理,我们可以写
求导数 在 利用第一原理,其中 .
在这里 而且 .利用第一原理,我们可以写
求导数 在 利用第一原理,其中 .
在这里 而且 .利用第一原理,我们可以写
上面的例子演示了计算导数的方法。如果你知道一些标准的导数,比如 而且 你可以意识到上面得到的值就是在点处的导数的值 而且 分别。事实上,所有的标准导数和规则都是用第一性原理推导出来的。你们可以试着用这个原理来做进一步的练习来熟悉通过极限求导的方法。
片面的导数
考虑一个函数 在哪里 .一般来说,导数只定义在区间内的值 .让 是要测量变化速率的数字。
首先考虑区间 在哪里 number任意地接近零。让 .
变动率 是由 .对于给定的值 的变化率 来 可以给出为
作为 接近 那么 它可以表示为右极限值
这个极限,如果存在,叫做点的右导数 .类似地,我们可以定义左导数如下:
这个函数 据说是可诱导的在 如果 .这个相等的值叫做的导数 在 .
的极限 ,如果它存在(通过符合上述条件),则为的导数 在 求这种极限导数的方法叫做第一性原理导数.
通常,极限也表示为 .
解决问题
在需要确定一个未知函数的极限,有时需要确定函数本身的情况下,通常使用第一性原理求导。
函数满足以下方程:
考虑到 这 存在,确定 .
乍一看,这个问题似乎根本不涉及第一性原理,而仅仅是关于极限的性质。
实际上,它确实涉及到极限的一个简单性质但关键是第一原理的应用。也许现在不太清楚,我们先把它的导数写出来 在 使用第一原理:
这是给定极限下项的一般形式。这暗示着可能与给定方程中的每一项都有某种联系 让我们考虑一下极限 ,在那里 这很简单。让 .当 ,因此给定的极限变成 这只不过是 .这可能会让接下来的步骤不仅显而易见,而且简单易行:
因此,值 是8。
一个函数 满足以下关系:
考虑到 (存在且有限),求的非平凡解 .
前面的问题给了我们必要的引子:
让我们分析一下给定的方程。为 方程变得 .此外,为了找到函数,我们需要正确地使用给定的信息。的导数表达式 当我们对给定的表达式求导并让其中一个变量等于1时最有可能出现。
但是等等,我们实际上不知道函数的可微性。我们要么证明它,要么建立一个类似于 从给定的关系。这意味着无论如何我们都必须使用第一原理!
让 而且 在哪里 而且 是实数。然后我们有
两边同时除以 ,让 方法 :
方程左边表示 如果右边的极限存在,那么左边的极限也必须存在,因此我们可以求值 .考虑等式的右边:
最后一个表达是just 乘以导数在1处 通过使用替换 ,这是已知存在的,这意味着 的存在。因此, .
这是一个标准微分方程的解,超出了本维基百科的范围。自 把 在给定的方程中 函数是
注:如果没有给定函数在0处可微,则不能得出此结论 .(见<一个href="//www.parkandroid.com/wiki/functional-equations/" class="wiki_link" title="函数方程" target="_blank">函数方程)。
考虑分段函数
评估 .
意味着的导数 在点 .现在人们必须意识到,自从 是分段定义的函数,有可能吗 而且 可以给出不同的公式。因此,求导时,必须从两边求导,并检查它们是否相等。所以,使用wiki中的术语,我们可以写
为 在哪里 是一个小正数,我们会使用函数定义为 自 是正的,因此是方程。
同样,我们有
现在,对于 在哪里 是一个小的负数,我们会使用函数定义为 自 是负的,因此是方程。
但是,等等, !!它意味着函数的导数在 根本不存在!!
所以这个例子是用来证明第一原理也可以用来检验分段函数的可微性,这个在另一个维基上有详细讨论。这类函数必须先检验其连续性,然后再检验其可微性。另外,如果我们知道函数是可微的,实际上就没有必要同时求值了 而且 因为两者必须相等且有限因此只需要求其中一个的值,哪个更容易计算导数。
所以,答案是 不存在。