rlm@2
|
1 <?xml version="1.0" encoding="utf-8"?>
|
rlm@2
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
rlm@2
|
3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
|
rlm@2
|
4 <html xmlns="http://www.w3.org/1999/xhtml"
|
rlm@2
|
5 lang="en" xml:lang="en">
|
rlm@2
|
6 <head>
|
rlm@2
|
7 <title>An Unambiguous Notation for Derivatives</title>
|
rlm@2
|
8 <meta http-equiv="Content-Type" content="text/html;charset=utf-8"/>
|
rlm@2
|
9 <meta name="generator" content="Org-mode"/>
|
rlm@2
|
10 <meta name="generated" content="2011-08-08 02:49:24 EDT"/>
|
rlm@2
|
11 <meta name="author" content="Dylan Holmes"/>
|
rlm@2
|
12 <meta name="description" content=""/>
|
rlm@2
|
13 <meta name="keywords" content=""/>
|
rlm@2
|
14 <style type="text/css">
|
rlm@2
|
15 <!--/*--><![CDATA[/*><!--*/
|
rlm@2
|
16 html { font-family: Times, serif; font-size: 12pt; }
|
rlm@2
|
17 .title { text-align: center; }
|
rlm@2
|
18 .todo { color: red; }
|
rlm@2
|
19 .done { color: green; }
|
rlm@2
|
20 .tag { background-color: #add8e6; font-weight:normal }
|
rlm@2
|
21 .target { }
|
rlm@2
|
22 .timestamp { color: #bebebe; }
|
rlm@2
|
23 .timestamp-kwd { color: #5f9ea0; }
|
rlm@2
|
24 .right {margin-left:auto; margin-right:0px; text-align:right;}
|
rlm@2
|
25 .left {margin-left:0px; margin-right:auto; text-align:left;}
|
rlm@2
|
26 .center {margin-left:auto; margin-right:auto; text-align:center;}
|
rlm@2
|
27 p.verse { margin-left: 3% }
|
rlm@2
|
28 pre {
|
rlm@2
|
29 border: 1pt solid #AEBDCC;
|
rlm@2
|
30 background-color: #F3F5F7;
|
rlm@2
|
31 padding: 5pt;
|
rlm@2
|
32 font-family: courier, monospace;
|
rlm@2
|
33 font-size: 90%;
|
rlm@2
|
34 overflow:auto;
|
rlm@2
|
35 }
|
rlm@2
|
36 table { border-collapse: collapse; }
|
rlm@2
|
37 td, th { vertical-align: top; }
|
rlm@2
|
38 th.right { text-align:center; }
|
rlm@2
|
39 th.left { text-align:center; }
|
rlm@2
|
40 th.center { text-align:center; }
|
rlm@2
|
41 td.right { text-align:right; }
|
rlm@2
|
42 td.left { text-align:left; }
|
rlm@2
|
43 td.center { text-align:center; }
|
rlm@2
|
44 dt { font-weight: bold; }
|
rlm@2
|
45 div.figure { padding: 0.5em; }
|
rlm@2
|
46 div.figure p { text-align: center; }
|
rlm@2
|
47 textarea { overflow-x: auto; }
|
rlm@2
|
48 .linenr { font-size:smaller }
|
rlm@2
|
49 .code-highlighted {background-color:#ffff00;}
|
rlm@2
|
50 .org-info-js_info-navigation { border-style:none; }
|
rlm@2
|
51 #org-info-js_console-label { font-size:10px; font-weight:bold;
|
rlm@2
|
52 white-space:nowrap; }
|
rlm@2
|
53 .org-info-js_search-highlight {background-color:#ffff00; color:#000000;
|
rlm@2
|
54 font-weight:bold; }
|
rlm@2
|
55 /*]]>*/-->
|
rlm@2
|
56 </style>
|
rlm@2
|
57 <link rel="stylesheet" type="text/css" href="../css/aurellem.css" />
|
rlm@2
|
58 <script type="text/javascript">
|
rlm@2
|
59 <!--/*--><![CDATA[/*><!--*/
|
rlm@2
|
60 function CodeHighlightOn(elem, id)
|
rlm@2
|
61 {
|
rlm@2
|
62 var target = document.getElementById(id);
|
rlm@2
|
63 if(null != target) {
|
rlm@2
|
64 elem.cacheClassElem = elem.className;
|
rlm@2
|
65 elem.cacheClassTarget = target.className;
|
rlm@2
|
66 target.className = "code-highlighted";
|
rlm@2
|
67 elem.className = "code-highlighted";
|
rlm@2
|
68 }
|
rlm@2
|
69 }
|
rlm@2
|
70 function CodeHighlightOff(elem, id)
|
rlm@2
|
71 {
|
rlm@2
|
72 var target = document.getElementById(id);
|
rlm@2
|
73 if(elem.cacheClassElem)
|
rlm@2
|
74 elem.className = elem.cacheClassElem;
|
rlm@2
|
75 if(elem.cacheClassTarget)
|
rlm@2
|
76 target.className = elem.cacheClassTarget;
|
rlm@2
|
77 }
|
rlm@2
|
78 /*]]>*///-->
|
rlm@2
|
79 </script>
|
rlm@2
|
80 <script type="text/javascript" src="../MathJax/MathJax.js">
|
rlm@2
|
81 <!--/*--><![CDATA[/*><!--*/
|
rlm@2
|
82 MathJax.Hub.Config({
|
rlm@2
|
83 // Only one of the two following lines, depending on user settings
|
rlm@2
|
84 // First allows browser-native MathML display, second forces HTML/CSS
|
rlm@2
|
85 config: ["MMLorHTML.js"], jax: ["input/TeX"],
|
rlm@2
|
86 // jax: ["input/TeX", "output/HTML-CSS"],
|
rlm@2
|
87 extensions: ["tex2jax.js","TeX/AMSmath.js","TeX/AMSsymbols.js",
|
rlm@2
|
88 "TeX/noUndefined.js"],
|
rlm@2
|
89 tex2jax: {
|
rlm@2
|
90 inlineMath: [ ["\\(","\\)"] ],
|
rlm@2
|
91 displayMath: [ ['$$','$$'], ["\\[","\\]"], ["\\begin{displaymath}","\\end{displaymath}"] ],
|
rlm@2
|
92 skipTags: ["script","noscript","style","textarea","pre","code"],
|
rlm@2
|
93 ignoreClass: "tex2jax_ignore",
|
rlm@2
|
94 processEscapes: false,
|
rlm@2
|
95 processEnvironments: true,
|
rlm@2
|
96 preview: "TeX"
|
rlm@2
|
97 },
|
rlm@2
|
98 showProcessingMessages: true,
|
rlm@2
|
99 displayAlign: "left",
|
rlm@2
|
100 displayIndent: "2em",
|
rlm@2
|
101
|
rlm@2
|
102 "HTML-CSS": {
|
rlm@2
|
103 scale: 100,
|
rlm@2
|
104 availableFonts: ["STIX","TeX"],
|
rlm@2
|
105 preferredFont: "TeX",
|
rlm@2
|
106 webFont: "TeX",
|
rlm@2
|
107 imageFont: "TeX",
|
rlm@2
|
108 showMathMenu: true,
|
rlm@2
|
109 },
|
rlm@2
|
110 MMLorHTML: {
|
rlm@2
|
111 prefer: {
|
rlm@2
|
112 MSIE: "MML",
|
rlm@2
|
113 Firefox: "MML",
|
rlm@2
|
114 Opera: "HTML",
|
rlm@2
|
115 other: "HTML"
|
rlm@2
|
116 }
|
rlm@2
|
117 }
|
rlm@2
|
118 });
|
rlm@2
|
119 /*]]>*///-->
|
rlm@2
|
120 </script>
|
rlm@2
|
121 </head>
|
rlm@2
|
122 <body>
|
rlm@2
|
123
|
rlm@2
|
124 <div id="content">
|
rlm@2
|
125
|
rlm@2
|
126
|
rlm@2
|
127
|
rlm@2
|
128 <div class="header">
|
rlm@2
|
129 <div class="float-right">
|
rlm@2
|
130 <!--
|
rlm@2
|
131 <form>
|
rlm@2
|
132 <input type="text"/><input type="submit" value="search the blog »"/>
|
rlm@2
|
133 </form>
|
rlm@2
|
134 -->
|
rlm@2
|
135 </div>
|
rlm@2
|
136
|
rlm@2
|
137 <h1>aurellem <em>☉</em></h1>
|
rlm@2
|
138 <ul class="nav">
|
rlm@2
|
139 <li><a href="/">read the blog »</a></li>
|
rlm@2
|
140 <!-- li><a href="#">learn about us »</a></li-->
|
rlm@2
|
141 </ul>
|
rlm@2
|
142 </div>
|
rlm@2
|
143
|
rlm@2
|
144 <h1 class="title">An Unambiguous Notation for Derivatives</h1>
|
rlm@2
|
145
|
rlm@2
|
146
|
rlm@2
|
147
|
rlm@2
|
148
|
rlm@2
|
149
|
rlm@2
|
150
|
rlm@2
|
151
|
rlm@2
|
152 <div id="table-of-contents">
|
rlm@2
|
153 <h2>Table of Contents</h2>
|
rlm@2
|
154 <div id="text-table-of-contents">
|
rlm@2
|
155 <ul>
|
rlm@2
|
156 <li><a href="#sec-1">1 Calculus of Infinitesimals </a>
|
rlm@2
|
157 <ul>
|
rlm@2
|
158 <li><a href="#sec-1-1">1.1 Differential Objects </a></li>
|
rlm@2
|
159 <li><a href="#sec-1-2">1.2 Interactions obey the chain rule </a></li>
|
rlm@2
|
160 </ul>
|
rlm@2
|
161 </li>
|
rlm@2
|
162 </ul>
|
rlm@2
|
163 </div>
|
rlm@2
|
164 </div>
|
rlm@2
|
165
|
rlm@2
|
166 <div id="outline-container-1" class="outline-2">
|
rlm@2
|
167 <h2 id="sec-1"><span class="section-number-2">1</span> Calculus of Infinitesimals </h2>
|
rlm@2
|
168 <div class="outline-text-2" id="text-1">
|
rlm@2
|
169
|
rlm@2
|
170
|
rlm@2
|
171 </div>
|
rlm@2
|
172
|
rlm@2
|
173 <div id="outline-container-1-1" class="outline-3">
|
rlm@2
|
174 <h3 id="sec-1-1"><span class="section-number-3">1.1</span> Differential Objects </h3>
|
rlm@2
|
175 <div class="outline-text-3" id="text-1-1">
|
rlm@2
|
176
|
rlm@2
|
177
|
rlm@2
|
178 <p>
|
rlm@2
|
179 A <b>differential object</b> is a pair \([x,\,dx]\) consisting of a variable
|
rlm@2
|
180 and an infinitely small increment of it. Differential objects can
|
rlm@2
|
181 interact with functions, producing a new differential object as a
|
rlm@2
|
182 result; this interaction is for calculating derivatives of functions.
|
rlm@2
|
183 </p>
|
rlm@2
|
184 <p>
|
rlm@2
|
185 Differential objects are for
|
rlm@2
|
186 calculating derivatives of functions: the derivative of \(f\) with
|
rlm@2
|
187 respect to \(x\)
|
rlm@2
|
188 </p>
|
rlm@2
|
189 <p>
|
rlm@2
|
190 You can “apply”
|
rlm@2
|
191 functions to differential objects; the result is:
|
rlm@2
|
192 </p>
|
rlm@2
|
193
|
rlm@2
|
194
|
rlm@2
|
195 \([x,dx]\xrightarrow{\quad f \quad}[f(x), Df(x)\cdot dx].\)
|
rlm@2
|
196
|
rlm@2
|
197 <p>
|
rlm@2
|
198 Loosely speaking, the interaction of \(f\) and a differential object
|
rlm@2
|
199 of \(x\) is a differential object of \(f\).
|
rlm@2
|
200 </p>
|
rlm@2
|
201
|
rlm@2
|
202 </div>
|
rlm@2
|
203
|
rlm@2
|
204 </div>
|
rlm@2
|
205
|
rlm@2
|
206 <div id="outline-container-1-2" class="outline-3">
|
rlm@2
|
207 <h3 id="sec-1-2"><span class="section-number-3">1.2</span> Interactions obey the chain rule </h3>
|
rlm@2
|
208 <div class="outline-text-3" id="text-1-2">
|
rlm@2
|
209
|
rlm@2
|
210
|
rlm@2
|
211 <p>
|
rlm@2
|
212 The interaction of \(f\) and the differential object \([x, dx]\) is
|
rlm@2
|
213 a differential object \([f(x), Df(x)\cdot dx]\). Because of the rule for
|
rlm@2
|
214 interactions, if you apply another function \(g\), you get the
|
rlm@2
|
215 chain-rule answer you expect:
|
rlm@2
|
216 </p>
|
rlm@2
|
217
|
rlm@2
|
218
|
rlm@2
|
219 \([f(x), Df(x)\cdot dx]\xrightarrow{\quad g\quad}\left[g(f(x)),\,
|
rlm@2
|
220 Dg(f(x))\cdot Df(x)\cdot dx\right]\)
|
rlm@2
|
221
|
rlm@2
|
222
|
rlm@2
|
223
|
rlm@2
|
224
|
rlm@2
|
225
|
rlm@2
|
226
|
rlm@2
|
227
|
rlm@2
|
228
|
rlm@2
|
229 </div>
|
rlm@2
|
230 </div>
|
rlm@2
|
231 </div>
|
rlm@2
|
232 <div id="postamble">
|
rlm@2
|
233 <p class="date">Date: 2011-08-08 02:49:24 EDT</p>
|
rlm@2
|
234 <p class="author">Author: Dylan Holmes</p>
|
rlm@2
|
235 <p class="creator">Org version 7.6 with Emacs version 23</p>
|
rlm@2
|
236 <a href="http://validator.w3.org/check?uri=referer">Validate XHTML 1.0</a>
|
rlm@2
|
237 </div>
|
rlm@2
|
238 </div>
|
rlm@2
|
239 </body>
|
rlm@2
|
240 </html>
|