ETH官方钱包

前往
大廳
主題 達(dá)人專(zhuān)欄

隱函數(shù)微分法:那些複雜的,就交給等量公理

解凍豬腳 | 2020-10-24 08:15:04 | 巴幣 20916 | 人氣 22557


  本文算式圖片設(shè)計(jì)以深色模式為主,閱覽前建議切換為深色模式。由於手機(jī) App 在切換樣式前需要強(qiáng)制重啟 App,若你是日間模式使用者,請(qǐng)?jiān)谇袚Q前利用「收藏」功能,避免切換完模式以後找不回本文。


 
  欸,這麼多篇微積分的文章,我都不知道要怎麼寫(xiě)開(kāi)場(chǎng)白了,直接切入正題吧。



。隱函數(shù)是什麼?

  一般我們對(duì)於函數(shù)的認(rèn)知都是 y = f(x),我們可以看到諸如:「y = x3sin x + 2 log 2x」、「y = 7x2 + 3」、「y = 2x2 + x」的型態(tài),很明顯可以一眼看懂 y 變數(shù)是如何被 x 組成的。

  但有些方程式裡,x 和 y 的關(guān)係不見(jiàn)得都是這麼簡(jiǎn)單。

  比如,我們知道一個(gè)半徑為 5 的圓方程式是 x2 + y2 = 52,這條方程式因?yàn)闆](méi)有達(dá)到「輸入一個(gè)自變數(shù) x 只能得出一個(gè)應(yīng)變數(shù) y」這項(xiàng)原則(例如 x = 2 的時(shí)候,y 會(huì)有 兩種可能),所以我們不能說(shuō)它是我們認(rèn)知裡那種正常的函數(shù)。

  不過(guò),我們可以透過(guò)觀察發(fā)現(xiàn) x2 + y2 = 25 可以把上半部和下半部拆開(kāi),變成兩個(gè)函數(shù):



  這種變數(shù)關(guān)係相對(duì)比較不明顯的、藏在方程式裡的函數(shù),就是所謂的隱函數(shù)。

  以這個(gè)圓方程式來(lái)說(shuō),一般如果我們想要求得它的 ,那就變成要把上面拆出來(lái)的兩個(gè)函數(shù)分別微分:


(然後另一個(gè)做相同步驟得到

  這樣微分的結(jié)果就會(huì)有兩種,表達(dá)起來(lái)非常麻煩。而且,這還已經(jīng)是比較好的情況了,因?yàn)樗鼉煞N情況是對(duì)稱(chēng)的,僅僅相差一個(gè)負(fù)號(hào)。

  倘若……今天你只知道 x 和 y 之間的關(guān)係長(zhǎng)這樣:


  那你也許會(huì)腦袋打結(jié),不知道接下來(lái)該怎麼辦——因?yàn)槟氵€沒(méi)學(xué)會(huì)接受不完美。



。等號(hào)的意義

  當(dāng)你想要從這種式子裡頭得到 ,並且以更通用的方法來(lái)表達(dá)它,你需要的是針對(duì)隱函數(shù)的一套微分方法。

  在這之前,我們來(lái)複習(xí)一下小學(xué)六年級(jí)數(shù)學(xué)課程的「等量公理」吧。

  我們以前在學(xué)一元一次方程式的時(shí)候會(huì)知道,如果今天有個(gè)未知數(shù) x,你只知道把它乘上 4 倍以後減 18 會(huì)得到 22,我們可以寫(xiě)成以下的式子:

4x - 18 = 22

  這個(gè)式子的意思是「4x - 18」這個(gè)東西和「22」一樣大,所以如果我們把這兩邊各加上一樣大的數(shù),那它們兩個(gè)的結(jié)果仍然會(huì)一樣大,這就是等量公理。

  我們從小到大寫(xiě)計(jì)算題的時(shí)候使用了無(wú)數(shù)個(gè)等號(hào),卻總是把等號(hào)原來(lái)的意義晾在一旁而忘記了它有多重要——不過(guò),我今天不是來(lái)教你一元一次方程式的。

  如果今天已知 A 和 B 兩樣?xùn)|西相等,我們知道既然它們兩個(gè)一樣大,那如果把 A 乘上自己,然後把 B 也乘上自己,它們的結(jié)果還是一樣大:A2 = B2。至於各種加、減、乘、除也都同理,畢竟你把一樣大的數(shù)字做一樣的操作,當(dāng)然會(huì)獲得一樣的結(jié)果。

  基於這些觀念,我們知道「A 移動(dòng)多少,B 就會(huì)移動(dòng)多少」(因?yàn)樗鼈兛偸窍嗟龋缘玫搅?dA = dB,那也就可以再推展到

  我們得到一個(gè)結(jié)論:等號(hào)兩邊同時(shí)微分,等式仍然成立。



。直接實(shí)戰(zhàn)!不要忘記該有的規(guī)則

  前面講了兩大段,就是要讓你知道為什麼。有了前備知識(shí)以後,就會(huì)變得比較好理解之後的一切。如此一來(lái),以後在你碰上進(jìn)階的課程(例如微分方程)的時(shí)候,比較能瞭解那些書(shū)本裡省略的過(guò)程到底是怎麼來(lái)的,不然通常考完就把基礎(chǔ)忘光了,到了下學(xué)期又跟重新開(kāi)始沒(méi)有兩樣。

  先從簡(jiǎn)單的圓方程式 x2 + y2 = 25 開(kāi)始吧!我們來(lái)試著找找這條方程式的

  其實(shí)隱微分的觀念非常簡(jiǎn)單,用一句話來(lái)概括就是「等號(hào)兩邊同時(shí)微分,然後把目標(biāo) 整理到一邊,就能得到答案」。

  由於我們想要找的是 y 對(duì) x 的極小變化率 ,從分母可以注意到對(duì)象該是 x,所以我們對(duì) x 微分:


  微分加法律告訴我們,逐項(xiàng)微分也沒(méi)有問(wèn)題:


  繼續(xù)做下去,得到:


  這裡就會(huì)出現(xiàn)你的第一個(gè)疑問(wèn):「這裡的 是哪裡來(lái)的?」

  是的,這件事情我們從第一次講微分連鎖律的時(shí)候就強(qiáng)調(diào)過(guò),當(dāng)你在做微分操作的時(shí)候,一定要隨時(shí)注意:
  1. 是誰(shuí)被微分?
  2. 是對(duì)誰(shuí)微分?

  我們把 x2 對(duì) x 微分,可以直接得到 2x;我們把 y2 對(duì) x 微分,因?yàn)槭菍?duì) x 微分而不是直接對(duì) y 微分,所以我們需要利用微分連鎖律,得到:


  就是這麼來(lái)的。回到剛才的進(jìn)度,我們得到:


  把有包含 的放到等號(hào)一邊,沒(méi)有包含 的放到另一邊:


  整理得到最終答案:


  這就是答案了,很簡(jiǎn)單吧。你會(huì)注意到 的組成同時(shí)有 x 和 y 的存在,而不是一般我們認(rèn)知裡的「只有 x 一種變數(shù)」的形式,這是隱函數(shù)無(wú)可避免的天生特性,畢竟隱函數(shù)裡變數(shù)之間的關(guān)係本來(lái)就錯(cuò)綜複雜,所以只要做到這一步就已經(jīng)算是大功告成。



。再來(lái)一題

  我們就拿剛才舉到的 作為例子,試著找它的


  這看起來(lái)很複雜,其實(shí)原理都一樣。每次當(dāng)我們把一個(gè) y 的函數(shù)對(duì) x 微分的時(shí)候,由於 y 和 x 不是相同變數(shù),所以就得再依照連鎖律多乘以一個(gè)

  還有!不要顧著微分連鎖律而忘記微分乘法律了。我們把 x3y3 對(duì) x 微分的時(shí)候,同類(lèi)的各自分成一份(let f=x3, g=y3; D(fg) = gDf+fDg)就會(huì)變得很容易處理:


  這就是隱函數(shù)的微分了。其實(shí)說(shuō)白了這篇只不過(guò)是多了一個(gè)「等式兩邊可以同時(shí)微分」的概念而已。我們只要懂得把含有 的項(xiàng)目整理到一邊、不含 的項(xiàng)目整理到一邊,接著再提取出來(lái),基本上就能從大部分簡(jiǎn)單的隱函數(shù)得到 了。

  嗯,寫(xiě)這算式寫(xiě)到眼睛有點(diǎn)花了,我這就打電動(dòng)去。

  祝你有個(gè)美好的星期六
 
送禮物贊助創(chuàng)作者 !
0
留言

創(chuàng)作回應(yīng)

GeniusLee
非常清楚,一看就懂,感謝大大!
2023-11-07 17:05:31
YaoP是大笨蛋
太讚了……
2023-11-07 23:33:20
點(diǎn)麵
蠻清楚的 最近轉(zhuǎn)學(xué)重修微積分 想說(shuō)有點(diǎn)忘記隱函數(shù)利用捷運(yùn)時(shí)間查了一下 看了5分鐘後記憶都回來(lái)了 不過(guò)考試時(shí)可能要慢慢寫(xiě)了 都沒(méi)練習(xí)哈哈哈
2023-11-09 12:00:30
0 暮燼ZERO?
感謝??
2024-04-13 19:11:42
小鼠波波
為了了解隱函數(shù),爬了幾篇文章,都還是感到模糊,直到看到這篇文章,茅塞頓開(kāi)!寫(xiě)得非常詳細(xì),又在容易困惑之處,適時(shí)提醒原理(如多出來(lái)的dy/dx係因連鎖律而來(lái))。非常感謝大神分享!
2024-05-06 01:12:22
追蹤 創(chuàng)作集

作者相關(guān)創(chuàng)作

相關(guān)創(chuàng)作

更多創(chuàng)作