create account

Research diaries #8: Weakening differentiability by mathowl

View this thread on: hive.blogpeakd.comecency.com
· @mathowl · (edited)
$10.76
Research diaries #8: Weakening differentiability
*In high school we all learned about how to compute the derivative. Here we will look at what it means for a function to be differentiable and how to weaken it.*

A derivative of a function at a point gives the slope of the tangent at that point. See the pretty figure below.

<center>
![image.png](https://files.peakd.com/file/peakd-hive/mathowl/23t8EsVYvr3ZT1BGFatFAiiwRWMkagenH2U8m4PqDUVnssAiz1Sbj4GpudL61qBkJFWS7.png)
*The blue line we can express as ax+b where a,b are two constants determined by making the line tangent to the black curve. The derivative is given by a*
</center>

To make it more applied you can think of this graph as a function of position and time. The derivative at a give time then correspond to the speed at that time. Is a derivative always well-defined? No, Let's give an example: 

<center>
![image.png](https://files.peakd.com/file/peakd-hive/mathowl/23tcQixRoZaDtjsJAiHTmBUp6WYgr7pUN6Dofq2nYNByuDbWXA9Uz1xTtFsnAkbEHj92h.png)
*The black curve is dented. It has a sharp point at the red spot. If we do the previous procedure to find the derivative the derivative could have 2 different values*
</center>


We see that at the point we want to compute the derivative we could draw 2 different lines that are tangent in two different ways: one approaches from the left and the other approaches from the right. So the derivative is not well defined because the slope can have 2 different values. We call this function not *smooth*. However, these 2 lines still give us information about how steep the function is. This weaker type differentiability is called [Lipschitz continuity](https://en.wikipedia.org/wiki/Lipschitz_continuity). I will skip the mathematical formalities and you can keep your intuitive understanding.

So what do functions look like that are not Lipschitz continuous. A simple example is
<center>
![image.png](https://files.peakd.com/file/peakd-hive/mathowl/Enz4SrcSSE8DjT5jdDQx7pfCkoPAyEJvc4KBUAfz42xEURBQSPaNxDPeDGfkYK7cRLr.png)
*A discontinuous curve*
</center>
The disconintuity makes it so that I cannot draw this double cone shape as before. 

In the domain of mathematical analysis there is a large field which considers weak versions of properties we considered in a basic calculus course. By weakening these properties we can somehow obtain better results because the conditions are not that severe. Specifically, in the field of differential equations this is a common approach to find solutions of complicated equations which only exist in some weak sense. Maybe that is a nice topic for a future post.


<center>
*All images made by me ^^*
</center>

<center>
**Cat tax**

![090d6a6c97b5b801b7b736969317885.jpg](https://files.peakd.com/file/peakd-hive/mathowl/23uFWDBMS5cDKGce8WDWrq2sgMDuo5CxmvXHzc6zY8PiYAmC6Fbqgo6GfuzKsGjBFN8Sb.jpg)


</center>
👍  , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and 464 others
👎  , , ,
properties (23)
authormathowl
permlinkresearch-diaries-8-weakening-differentiability
categoryhive-196387
json_metadata{"app":"peakd/2022.11.1","format":"markdown","tags":["stem","stemgeeks","mathematics","cat","proofofbrain","archon","neoxian","hivecats","math","palnet"],"users":[],"image":["https://files.peakd.com/file/peakd-hive/mathowl/23t8EsVYvr3ZT1BGFatFAiiwRWMkagenH2U8m4PqDUVnssAiz1Sbj4GpudL61qBkJFWS7.png","https://files.peakd.com/file/peakd-hive/mathowl/23tcQixRoZaDtjsJAiHTmBUp6WYgr7pUN6Dofq2nYNByuDbWXA9Uz1xTtFsnAkbEHj92h.png","https://files.peakd.com/file/peakd-hive/mathowl/Enz4SrcSSE8DjT5jdDQx7pfCkoPAyEJvc4KBUAfz42xEURBQSPaNxDPeDGfkYK7cRLr.png","https://files.peakd.com/file/peakd-hive/mathowl/23uFWDBMS5cDKGce8WDWrq2sgMDuo5CxmvXHzc6zY8PiYAmC6Fbqgo6GfuzKsGjBFN8Sb.jpg"]}
created2022-11-15 15:23:06
last_update2022-11-16 13:36:54
depth0
children6
last_payout2022-11-22 15:23:06
cashout_time1969-12-31 23:59:59
total_payout_value5.422 HBD
curator_payout_value5.333 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length2,809
author_reputation44,993,635,814,620
root_title"Research diaries #8: Weakening differentiability"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,356,276
net_rshares24,099,013,863,853
author_curate_reward""
vote details (532)
@beerlover ·
<div class='pull-right'>https://files.peakd.com/file/peakd-hive/beerlover/yiuU6bdf-beerlover20gives20BEER.gif<p><sup><a href='https://hive-engine.com/?p=market&t=BEER'>View or trade </a> <code>BEER</code>.</sup></p></div><center><br> <p>Hey @mathowl, here is a little bit of <code>BEER</code> from @bluerobo for you. Enjoy it!</p> <p>Learn how to <a href='https://peakd.com/beer/@beerlover/what-is-proof-of-stake-with-beer'>earn <b>FREE BEER</b> each day </a> by staking your <code>BEER</code>.</p> </center><div></div>
properties (22)
authorbeerlover
permlinkre-mathowl-research-diaries-8-weakening-differentiability-20221115t165026982z
categoryhive-196387
json_metadata{"app":"beerlover/3.0","language":"rust","developer":"wehmoen"}
created2022-11-15 16:50:27
last_update2022-11-15 16:50:27
depth1
children0
last_payout2022-11-22 16:50:27
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length520
author_reputation24,788,904,564,058
root_title"Research diaries #8: Weakening differentiability"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,358,299
net_rshares0
@bluerobo ·
properties (23)
authorbluerobo
permlinkre-mathowl-rleerv
categoryhive-196387
json_metadata{"tags":["hive-196387"],"app":"peakd/2022.11.1"}
created2022-11-15 16:50:18
last_update2022-11-15 16:50:18
depth1
children3
last_payout2022-11-22 16:50:18
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length19
author_reputation88,067,223,189,392
root_title"Research diaries #8: Weakening differentiability"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,358,293
net_rshares36,719,263,528
author_curate_reward""
vote details (6)
@isnochys ·
Thank you for your [witness vote](https://hivesigner.com/sign/account-witness-vote?witness=isnochys&approve=1)!
 Have a !BEER on me!
To Opt-Out of my witness beer program just comment STOP below
properties (22)
authorisnochys
permlinkre-re-mathowl-rleerv-20221115t220326z
categoryhive-196387
json_metadata"{"app": "beem/0.24.26"}"
created2022-11-15 22:03:30
last_update2022-11-15 22:03:30
depth2
children0
last_payout2022-11-22 22:03:30
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length194
author_reputation48,892,841,837,040
root_title"Research diaries #8: Weakening differentiability"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,364,937
net_rshares0
@isnochys ·
Thank you for your [witness vote](https://hivesigner.com/sign/account-witness-vote?witness=isnochys&approve=1)!
 Have a !BEER on me!
To Opt-Out of my witness beer program just comment STOP below
properties (22)
authorisnochys
permlinkre-re-mathowl-rleerv-20221116t221036z
categoryhive-196387
json_metadata"{"app": "beem/0.24.26"}"
created2022-11-16 22:10:39
last_update2022-11-16 22:10:39
depth2
children0
last_payout2022-11-23 22:10:39
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length194
author_reputation48,892,841,837,040
root_title"Research diaries #8: Weakening differentiability"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,390,026
net_rshares0
@mathowl ·
Thanks for the beer, cheers :D
properties (22)
authormathowl
permlinkre-bluerobo-rlg0xh
categoryhive-196387
json_metadata{"tags":["hive-196387"],"app":"peakd/2022.11.1"}
created2022-11-16 13:46:30
last_update2022-11-16 13:46:30
depth2
children0
last_payout2022-11-23 13:46:30
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length30
author_reputation44,993,635,814,620
root_title"Research diaries #8: Weakening differentiability"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,379,141
net_rshares0
@stemsocial ·
re-mathowl-research-diaries-8-weakening-differentiability-20221116t134532872z
<div class='text-justify'> <div class='pull-left'>
 <img src='https://stem.openhive.network/images/stemsocialsupport7.png'> </div>

Thanks for your contribution to the <a href='/trending/hive-196387'>STEMsocial community</a>. Feel free to join us on <a href='https://discord.gg/9c7pKVD'>discord</a> to get to know the rest of us!

Please consider delegating to the @stemsocial account (85% of the curation rewards are returned).

You may also include @stemsocial as a beneficiary of the rewards of this post to get a stronger support.&nbsp;<br />&nbsp;<br />
</div>
👍  
properties (23)
authorstemsocial
permlinkre-mathowl-research-diaries-8-weakening-differentiability-20221116t134532872z
categoryhive-196387
json_metadata{"app":"STEMsocial"}
created2022-11-16 13:45:33
last_update2022-11-16 13:45:33
depth1
children0
last_payout2022-11-23 13:45:33
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length565
author_reputation22,468,239,130,863
root_title"Research diaries #8: Weakening differentiability"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,379,124
net_rshares12,254,856,009
author_curate_reward""
vote details (1)