Skip to content

Commit c190bdf

Browse files
Update docs/src/nondiff_points.md
Co-authored-by: Mason Protter <mason.protter@icloud.com>
1 parent 3a23527 commit c190bdf

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

docs/src/nondiff_points.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -134,7 +134,11 @@ In particular we often want to chose value of the derivative from **the other si
134134
## Why is the sub/super-differential convention permissible?
135135

136136
Math isn't real, and AD doesn't do calculus.
137-
We are trying to accomplish some goal, and this is approach works well.
137+
We are trying to accomplish some goal, and this approach works well.
138+
139+
One way to think about this convention is to take an infinitely sharp discontinuity in a function and replace that discontinuty with a very (infinitesimally) small, smooth corner.
140+
Due to the intermediate value theorem, we can then say that over this tiny interval, any derivative between the two extremes is realized and we are free to pick any one of them that we find useful as the 'canonical' value.
141+
138142
More specifically, consider our initial examples:
139143
`abs_left(x) = (x <= 0) ? -x : x`, and `abs_right(x) = (x < 0) ? -x : x`.
140144
These are a a primal level indistinguishable to the user.

0 commit comments

Comments
 (0)