Vocabulary/dcapdot

From J Wiki
Jump to navigation Jump to search

>> <<   Back to: Vocabulary Thru to: Dictionary

u D. n y Derivative Conjunction

Rank -- depends on the rank of u -- WHY IS THIS IMPORTANT?

Warning.png This primitive has been removed from J Version 9.01 and later versions.

The math/calculus addon defines a conjunction pderiv_jcalculus_ that replaces the functions of this primitive. Execute
load 'math/calculus'
to load this addon after you have downloaded it through Tools|Package Manager.


The n-th derivative of the mathematical function defined by verb u, evaluated at position y

Note that y represents what traditional math calls the x-axis!

   sin=: 1&o."0
   cos=: 2&o."0
   x=: o. 6 %~ i.7

   sin x
0 0.5 0.866025 1 0.866025 0.5 1.22465e_16
   cos x
1 0.866025 0.5 6.12323e_17 _0.5 _0.866025 _1
   sin D. 1 x    NB. First derivative of sin is cos
1 0.866025 0.5 6.12323e_17 _0.5 _0.866025 _1
   sin D. 2 x   NB. Second derivative of sin is -sin
0 _0.5 _0.866025 _1 _0.866025 _0.5 _1.22465e_16

If the rank of u is not 0, the result of u depends on each atom in a cell of y.

Phrase  u D. y gives the partial derivative for each atom, indicating the sensitivity of the result to small incremental changes at that atom

   +/&.:*: 0 3 4
5
   +/&.:*: D. 1 (0 3 4)
8.88178e_9 0.6 0.8

Common uses

1. To approximate an ordinary derivative that cannot be calculated by u d. n

   ! d. 1   NB. Gamma function not supported symbolically...
|domain error
   ! D. 1 (1)  NB. ...but can be approximated
0.422784

2. To evaluate the Jacobian (determinant of matrix of partial derivatives of a transformation) at a point

   recttopolar =: *.@:j./  NB. A transformation
   recttopolar 3 4   NB. It converts (x,y) to (r,theta)
5 0.927295
   recttopolar D. 1 (3 4)   NB. J((r,theta)/(x,y))
0.6 _0.16
0.8  0.12
   % -/ . * recttopolar D. 1 (3 4)  NB. |J((x,y)/(r,theta))| = %|J((r,theta)/(x,y))|
5

3. To approximate all partial derivatives by finding the sensitivity of each result value to change in each input

   NB. Verb to calculate min,mean,max over the atoms of a table
   (<./ , (+/ % #) , >./)@,"2  (2 4 $ 3 1 2 5   2 3 7 4)
1 3.375 7

   NB. For each atom in the 2x4 input, calculate the sensitivity of each result value to
   NB. changes in that input atom.  The result shows that the mean is equally sensitive
   NB. to changes in all inputs, but that the min and max only change when the point containing
   NB. the extreme value changes
   (<./ , (+/ % #) , >./)@,"2 D. 1 (2 4 $ 3 1 2 5   2 3 7 4)
0 0.125 0
1 0.125 0
0 0.125 0
0 0.125 0

0 0.125 0
0 0.125 0
0 0.125 1
0 0.125 0

   NB. min,mean,max over each list.  Now the sensitivity is calculated over each 1-cell.
   (<./ , (+/ % #) , >./)@,"1 D. 1 (2 4 $ 3 1 2 5   2 3 7 4)
0 0.25 0
1 0.25 0
0 0.25 0
0 0.25 1

1 0.25 0
0 0.25 0
0 0.25 1
0 0.25 0

4. To test whether a critical point of a function is a minimum, by seeing whether the Hessian (matrix of mixed partial second derivatives) is positive definite

   func =: verb define                NB. function (x-2)^2 + (y-3)^2, with critical point at (2,3)
'x y' =. y
(*: x-2) + (*: y-3)
)
   ]hessian =: func D. 1 D. 1 (2 3)   NB. Matrix of mixed 2nd partial derivatives
           2 _2.64698e_16
_8.82326e_17            2
   NB. Hessian is positive definite if all principal minors have +ve determinant
   0 *./@:< (,.~ i. #hessian) (-/ . *)@}. hessian
1

Note:  D. 1 D. 1 (2 3) is used above where you'd expect to see  D. 2 (2 3) — which is buggy. See below: "More Information".


Related Primitives

Ordinary Derivative (u d. n)


More Information

1. If u is one of the allowed forms for  u d. 1 , the ordinary derivative will be calculated symbolically. This will be more accurate than the approximation used for calculating unknown derivatives

   0j13 ": sin d.1 (1)       NB. known form
0.5403023058681
   0j13 ": sin D.1 (1)       NB. D. also accurate
0.5403023058681
   0j13 ": (1 o. ]) d.1 (1)  NB. Unknown form
|domain error
   0j13 ": (1 o. ]) D.1 (1)  NB. D. loses precision
0.5403022640404

2. Partial derivatives are calculated when the cells of u y have rank greater than 0.

The result contains the derivative of each result atom with respect to each input atom.

The shape of the overall result will be

(frame of y wrt verb u) , (shape of y) , (shape of result of u on a single cell)
                          |<---- shape of result of single cell of u D. 1 ---->|

3. Higher derivatives are requested by n greater than 1. These are calculated symbolically only if u is an allowed form for u d. 1 with rank 0. Other derivatives are approximate, and inaccurate for n>2

   0j13 ": sin d.2 (1)       NB. 2nd derivative of sin x at 1, accurately
_0.8414709848079
   0j13 ": sin"0 D.2 (1)     NB. Using D. with rank 0 still accurate
_0.8414709848079
   0j13 ": sin D.2 (1)       NB. not rank 0, it's an approximation
_0.8437694987151
  0j13 ": sin D.3 (1)        NB. Approximation of 3d derivative is way off
111022.3024625156500
   0j13 ": sin"0 D.3 (1)     NB. Accurate one is still OK
_0.5403023058681
   0j13 ": sin D. 1 D. 1  D. 1 (1)  NB. Much better to avoid higher derivatives
_0.5352054832652

4. Higher partial derivatives are also allowed. These are always approximated, and inaccurate for  n>2 . The second derivative is the derivative of a verb  u D. 1 whose result on each cell of u has shape

(shape of y) , (shape of result of u on a single cell)

The shape of  u D. 2 y is

(frame of y wrt verb u) , (shape of y) , (shape of y) , (shape of result of u on a single cell)
                                         |<---- shape of result of single cell of u D. 1 ---->|
                          |<----------- shape of result of single cell of u D. 2 ------------>|

The pattern continues for higher derivatives. These derivatives are all the possible mixed partial derivatives of u at y. The indexes in the  (shape of y) sections of the above schematic select a particular mixed partial derivative.

Warning: the calculation of higher partial derivatives is buggy; prefer repeated application of D. 1.

5.  u D. n does not accept negative n, as  u d. n does.

6. n can be a list, in which case  u D. n is applied within each cell of y using each atom of n in turn.

The shape of the overall result is

(frame of y wrt verb u) , ($n), (; (>./n) # <$y) , (shape of result of u on a single cell)

Oddities

1. Generating higher-order partial derivatives with  D. 2 fails. Use repeated application of  D. 1 instead.

2. Higher-order derivatives are less accurate than repeated application of  D. 1.


u`v D. n Assign Derivative Conjunction

Warning.png This primitive has been removed from J Version 9.01 and later versions


Creates a verb that behaves like u, except that if Derivative (D.) is applied to it, its derivative is taken to be verb v

   atand =: _3&o."0 ` (%@>:@*:) D. 1   NB. arctan, with derivative = 1/(1+x^2)
   0j13 ": _3&o."0 D. 1 (1)            NB. approximated derivative
0.4999999758670
   0j13 ": atand D. 1 (1)              NB. exact value
0.5000000000000