Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
real_function_derivative [2015/04/10 20:46] nikolaj |
real_function_derivative [2016/05/31 20:42] nikolaj |
||
---|---|---|---|
Line 12: | Line 12: | ||
In this entry we defined how to pass from a given function $f$ to the derivative $f'$. This process is in fact functional in $f$ and can hence be internalized, see [[Fréchet derivative]]. | In this entry we defined how to pass from a given function $f$ to the derivative $f'$. This process is in fact functional in $f$ and can hence be internalized, see [[Fréchet derivative]]. | ||
+ | |||
+ | === Notation === | ||
+ | ^ $f'(x) \equiv \frac{\partial f(x)}{\partial x} \equiv \frac{\partial f}{\partial x} $ ^ | ||
+ | |||
+ | More generally we can write the differential with successive evaluation of the derivative at a point $g(x)$ in the following ways: | ||
+ | |||
+ | ^ $\frac{\partial f(x)}{\partial x}(g(x)) \equiv\frac{\partial f}{\partial x}(g(x))\equiv\frac{\partial f(x)}{\partial g(x)} \equiv\frac{\partial f}{\partial g(x)} \equiv \frac{\partial}{\partial y}|_{y=g(x)}\ f(y) \equiv\left(\frac{\partial}{\partial y}f(y)\right)_{y=g(x)}$ ^ | ||
+ | |||
+ | Note that $\frac{\partial f(x)}{\partial g(x)}$ or $\frac{\partial f}{\partial g(x)}$ might easily be misread: | ||
+ | The expression $\frac{\partial \mathrm{exp}(x^6)}{\partial x^2}$ is taken to be $\left(\frac{\partial}{\partial y}\mathrm{exp}(y^6)\right)_{y=x^2}$ and not $\left(\frac{\partial}{\partial y}\mathrm{exp}(x^3)\right)_{y=x^2}$. I.e. functions are always derived w.r.t. their proper arguments alone. | ||
+ | |||
+ | If the domain of $f$ is higher dimensional, some of the above notations don't work anymore. We must e.g. use the unambigous notation $\frac{\partial f(x^1,x^2)}{\partial x^2}(g_1(x^1,x^2),g_2(x^1,x^2))$. Since this is cumbersome, the variable names are usually implicitly understood to be held fixed, e.g. in writing "$f(x,y)$" once and then have $\frac{\partial f}{\partial y}$, denote $\frac{\partial f(x,y)}{\partial y}(x,y)$. | ||
=== Theorems === | === Theorems === | ||
Line 46: | Line 58: | ||
</code> | </code> | ||
- | === Notation === | + | === Reference === |
- | ^ $f'(x) \equiv \frac{\partial f(x)}{\partial x} \equiv \frac{\partial f}{\partial x} $ ^ | + | Wikipedia: |
- | + | [[http://en.wikipedia.org/wiki/Derivative_of_a_function|Derivative of a function]] | |
- | More generally we can write the differential with successive evaluation of the derivative at a point $g(x)$ in the following ways: | + | |
- | + | ||
- | ^ $\frac{\partial f(x)}{\partial x}(g(x)) \equiv\frac{\partial f}{\partial x}(g(x))\equiv\frac{\partial f(x)}{\partial g(x)} \equiv\frac{\partial f}{\partial g(x)} \equiv \frac{\partial}{\partial y}|_{y=g(x)}\ f(y) \equiv\left(\frac{\partial}{\partial y}f(y)\right)_{y=g(x)}$ ^ | + | |
- | + | ||
- | Note that $\frac{\partial f(x)}{\partial g(x)}$ or $\frac{\partial f}{\partial g(x)}$ might easily be misread: | + | |
- | The expression $\frac{\partial \mathrm{exp}(x^6)}{\partial x^2}$ is taken to be $\left(\frac{\partial}{\partial y}\mathrm{exp}(y^6)\right)_{y=x^2}$ and not $\left(\frac{\partial}{\partial y}\mathrm{exp}(x^3)\right)_{y=x^2}$. I.e. functions are always derived w.r.t. their proper arguments alone. | + | |
- | If the domain of $f$ is higher dimensional, some of the above notations don't work anymore. We must e.g. use the unambigous notation $\frac{\partial f(x^1,x^2)}{\partial x^2}(g_1(x^1,x^2),g_2(x^1,x^2))$. Since this is cumbersome, the variable names are usually implicitly understood to be held fixed, e.g. in writing "$f(x,y)$" once and then have $\frac{\partial f}{\partial y}$, denote $\frac{\partial f(x,y)}{\partial y}(x,y)$. | + | Calculus developed with infinitesimals (non-standard analysis) instead of limits: |
- | + | [[http://www.math.wisc.edu/~keisler/calc.html]] | |
- | === Reference === | + | |
- | Wikipedia: [[http://en.wikipedia.org/wiki/Derivative_of_a_function|Derivative of a function]] | + | |
----- | ----- | ||
=== Context === | === Context === | ||
[[Open subsets of ℝⁿ]], [[ε-δ function limit]], [[Continuous function]] | [[Open subsets of ℝⁿ]], [[ε-δ function limit]], [[Continuous function]] |