看板 Math 關於我們 聯絡資訊
※ 引述《alfadick (悟道修行者)》之銘言: : ※ 引述《baseballcell (蘿蔔)》之銘言: : : 求解惑 : : parametric curve x=f(t),y=g(t) : : where y is also a differentiabl function of x??? : : then dy/dx=(dy/dt)/(dx/dt) : : 怎麼說y是x的函數???? : : 當t無法消去護者無法表示成t=h(x)時,y仍視為x的函數??? : 藉此問題一問。 : 2x^2-2 =0 , 左右 d/dx , 得 4x = 0 <=> x=0 ,可是跟原本的 x=+-1 的解不一樣 ? : 所以我們想, y^2 = 3x -1 左右同取 d/dx 的隱微分 為什麼不會改變它的結構呢 ..? : 也就是 d(y^2)/dx = d(3x-1)/dx 左右同取 d/dx 的根據何在...? : 蠻奇怪的 你需要的東西叫隱函數定理 2x^2=2這個方程他的解在R上只有兩個點。解集合的維數是0。y^2=3x-1在R^2上的解集合 構成1維的東西。如何看出來呢?是使用隱函數定理。 假定z=F(x,y)是定義在平面上某個開區域上的光滑函數。如果c是一實數,我們稱 C={F(x,y)=c} 為level curve。 使用F_x,F_y來表示F對x,y的偏微分。 假設C不是空集合,p屬於C。並且F_x(p)或F_y(p)不為零,則存在某個定義在開區間上的 光滑函數 h(t), g(t)使得 F(h(t),g(t))=c 換句話說,C在p點附近可以用參數化曲線t->(h(t),g(t))來表示。p點附近,C是一個一 維的曲線。t-> (h(t),g(t))定義出了一個映射,這個映射是可微分的。 這類的函數被稱為隱函數,是因為他並不是很明顯得指出F(x,y)=c定義出來某種函數關係 。如果你確定F_y(p)不為零,那麼可以證明y可以表示成x的函數。換句話說,存在y=f(x) ,x屬於某個開區間上,使得 F(x,f(x))=c 換句話說,在p點附近F(x,y)=c可以看成是y=f(x)的函數圖形。此時,你可以對x微分,得 到 F_x+f'(x)F_y=0. 隱函數定理提供的是隱函數微分的理論基礎。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 132.64.72.107 ※ 編輯: herstein 來自: 132.64.72.107 (05/16 18:05)
CaptainH : 05/16 18:09
Vulpix :只能推! 05/16 18:15
alfadick :感謝熱心回答! 05/16 21:45
alfadick :從 "並且F_x(p)或F_y(p)不為零,則存在" 之後看不懂 05/16 21:45
alfadick :我想應該是因為高微還沒念過. 先把這問題擱在心裡 05/16 21:46
alfadick :學完高微再回來想好了. 當初問這問題時本來以為可以 05/16 21:46
alfadick :用初微所學去想,所以才耐不住疑惑上來問. 05/16 21:47
alfadick :看來時機還是沒有到 05/16 21:47
Vulpix :我前一篇推文的方法不夠初微嗎?(畫圈圈) 05/16 22:36
herstein :這個版本的定理是我在學初微時就學過的 05/16 23:28
herstein :好像沒有很難理解? 05/16 23:28
alfadick :回Vul大: 跨某~~~~~>< 05/16 23:30
alfadick :"並且F_x(p)或F_y(p)不為零,則..."這是哪個Thm 05/16 23:31
alfadick :初微那邊印象有點淡 沒辦法馬上反射出那是什麼Thm 05/16 23:32
herstein :這個就叫做隱函數定理 05/16 23:32
alfadick :的前提. (或者和什麼東西有關) 05/16 23:32
alfadick :喔喔 所以是高微的東西 05/16 23:32
alfadick :那句就是隱函數Thm的切入點 05/16 23:32
suhorng :我印象也是初微就有講 不過沒證明 05/16 23:32
suhorng :我們課本上還額外再給出 |R^{n+m} 那個版本.... 05/16 23:33
alfadick :我用的calculus textbook沒寫 直接左右d/dx 05/16 23:36
alfadick :最後得到 dy/dx = (x^2-x)/3y 之類的東西 05/16 23:36
alfadick :然後說這就是... 05/16 23:36
alfadick :剩下明天說了 tired,先睡 05/16 23:39
alfadick :#1HbVilan 05/18 09:08
sneak : https://daxiv.com 11/10 11:48
sneak : 最後得到 dy/dx https://noxiv.com 01/02 15:24
muxiv : 的前提. (或者和什麼 http://yaxiv.com 07/07 11:01