作者Honor1984 (希望愿望成真)
看板trans_math
标题Re: [微分] 很简单
时间Sat Oct 10 15:23:10 2009
※ 引述《Honor1984 (希望愿望成真)》之铭言:
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.233.43.76
1F:→ midarmyman:我想一下@@ 140.117.198.78 10/10 01:03
2F:推 midarmyman:题目一开始给f(x)=0 ifx=0感觉很多余? 140.117.198.78 10/10 01:15
3F:→ midarmyman:感觉要回到导函数的定义求法 140.117.198.78 10/10 01:31
确实是这样阿
不知道midarmyman昨天晚上後来有没有去查导函数和导数相关的定义
f(x+h) - f(x)
导函数f'(x) = lim --------------
h->0 h
所以你给的函数f'(0) = 用上面这个方式求得的值 = 0
这是对的
其中f(0) = 0就是题目给的
但是有一点你要注意的是lim f(x) = 0 这个值0未必一定要是f(0)
x->0
这次题目刚好让它=0是因为这样就满足lim f(x) = f(0)连续的性质
x->0
( 因为x^2 sin(1/x)在x=0的左右极限都刚好是0 )
f(x)就有连续的好性质
记得很多书上极限单元都会画很多图
告诉你什麽是极限值未必要等於函数在那点的值
这里的意思就是这样
另外2xsin(1/x) - cos(1/x)因为是在x^2 sin(1/x)有定义的区间微分
所以2xsin(1/x) - cos(1/x)在 x=0+ 与 x=0- 的极限代表lim f'(x) 与 limf'(x)
x->0+ x->0-
事实上前面一篇我也把左右极限的特性描述出来
是届於在-1 ~ 1之间震荡得很厉害
不是1或者-1任何一个这样单纯的特定数值
但是同前面题到的的
lim f'(x) 或者 limf'(x) 未必要和f'(0)相等
x->0- x->0+
这代表f'(x)的导函数在x=0上不连续
然而f'(x) 在 x=0 处就只有一个值
那就是f'(0) (前面导函数代x=0的结果或者直接从导数定义做)
你不妨就把f'(x)看作是另外一个函数h(x)
再用上从前对於极限的定义
就不难理解
你甚至就把全部的函数都看作是一个点一个点的定义都没关系
有时候这样更能有效理解这题要问的重点
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.124.99.26
4F:→ Honor1984:另外 7251篇就几乎和这题很像 不知道你 122.124.99.26 10/10 15:24
5F:→ Honor1984:有没有注意 define f(x)=e x=0 的意义就 122.124.99.26 10/10 15:24
6F:→ Honor1984:和x^2 sin(1/x)这题类似 122.124.99.26 10/10 15:25
7F:→ Honor1984:但是有个关键点 为何我在那题可以直接把 122.124.99.26 10/10 15:26
8F:→ Honor1984:lim ... = -f'(0) 这个你也可以想一想和 122.124.99.26 10/10 15:27
9F:→ Honor1984:本题差在哪里 122.124.99.26 10/10 15:28
10F:→ doom8199:这跟原po要问的问题没啥关系吧~~140.113.141.151 10/10 15:41
11F:→ doom8199:原po把微完的函数 用0带入,而非 用0逼近140.113.141.151 10/10 15:42
12F:→ doom8199:但原po错把 g(x) = x^2sin(1/x) if x≠0140.113.141.151 10/10 15:43
13F:→ doom8199:f'(0) = g'(0) , 但实际上那两个导函数140.113.141.151 10/10 15:43
14F:→ doom8199:一点关系也没有140.113.141.151 10/10 15:44
15F:→ doom8199: 导数140.113.141.151 10/10 15:45
16F:→ doom8199:讨论 f'(x) 在x=0是否连续又是令一回事了140.113.141.151 10/10 15:46
17F:→ Honor1984:他把微分之後直接代0 做的就是那件事 122.124.99.26 10/10 15:48
18F:→ Honor1984:就像stepfunction x>0的部分直接代入零 122.124.99.26 10/10 15:49
19F:→ Honor1984:以为是1 但实际上H(0)可以不是1 122.124.99.26 10/10 15:49
20F:→ doom8199:但我觉得还是要分开讨论140.113.141.151 10/10 15:55
21F:→ doom8199:因为可以直接微出导函数,是因为我们所知140.113.141.151 10/10 15:55
22F:→ doom8199:的函数在domain上是连续可微的140.113.141.151 10/10 15:56
23F:→ doom8199:微完後的函数又是初等函数的组合140.113.141.151 10/10 15:56
24F:→ Honor1984:直接微分出来的函数代0的意义 或者严格 122.124.99.26 10/10 15:57
25F:→ doom8199:所以在某些domain上也是具有连续可微特性140.113.141.151 10/10 15:57
26F:→ Honor1984:讲是极限 其实是x=0两边的左右极限 122.124.99.26 10/10 15:57
27F:→ doom8199:但 "导函数" 其实就只是 "导数" 的"集合"140.113.141.151 10/10 15:57
28F:→ doom8199:也没有一个定理说导函数会有连续特性140.113.141.151 10/10 15:58
29F:→ Honor1984:没错阿 所以我说只要看导函数定义就解决 122.124.99.26 10/10 15:58
30F:→ doom8199:只是事後求出导函数後会发现有连续140.113.141.151 10/10 15:58
31F:→ doom8199:不连续而已,跟求导数还是两回事吧~~140.113.141.151 10/10 15:59
32F:→ Honor1984:我从来也没说导函数一定要连续 怎麽得出 122.124.99.26 10/10 16:01
33F:→ Honor1984:在x>0 x<0范围直接微分 这没有异议吧 122.124.99.26 10/10 16:02
34F:→ doom8199:我也没说导函数一定要连续...140.113.141.151 10/10 16:04
35F:→ doom8199:我的意思是,用 limf'(x) if x→0140.113.141.151 10/10 16:04
36F:→ doom8199:跟 f'(0) 没关系140.113.141.151 10/10 16:04
37F:→ doom8199:您所打的这篇再说这回事140.113.141.151 10/10 16:04
38F:→ Honor1984:f(0) = 0多余的 这个不是我说的XD 122.124.99.26 10/10 16:04
39F:→ doom8199:但还是没点到为何没关系140.113.141.151 10/10 16:05
40F:→ doom8199:ㄟ兜 我知道XDD140.113.141.151 10/10 16:05
41F:→ Honor1984:对阿 在x=/=0的地方 我就直接用f'(x)代 122.124.99.26 10/10 16:06
42F:→ Honor1984:替 122.124.99.26 10/10 16:06
43F:→ Honor1984:所以我说不能2xsin(1/x)-cos(1/x)直接求 122.124.99.26 10/10 16:07
44F:→ Honor1984:f'(0) 就是他以为直接代0这件事 122.124.99.26 10/10 16:07
45F:→ Honor1984:f'(0)和2xsin(1/x)-cos(1/x)从导函数定 122.124.99.26 10/10 16:11
46F:→ Honor1984:义看就不见得要是一样 即使f(x)在x=0连 122.124.99.26 10/10 16:11
47F:→ Honor1984:定义都没有 也是可以有左右极限 122.124.99.26 10/10 16:12
48F:→ Honor1984:所以h(0)和h(0+)h(0-)没关系 不就很自然 122.124.99.26 10/10 16:14
49F:→ Honor1984:我了解你说的 但是我这边只是就f(x)本身 122.124.99.26 10/10 16:16
50F:→ Honor1984:的性质来看 你是把f(x)的一部分当成另一 122.124.99.26 10/10 16:16
51F:→ Honor1984:个完全不同的函数看待 在这里殊途同归 122.124.99.26 10/10 16:16
52F:→ Honor1984:我不觉得意义上有什麽冲突 有冲突就糟了 122.124.99.26 10/10 16:17
53F:推 doom8199:我觉得你的解释有点像是:140.113.141.151 10/10 16:28
54F:→ doom8199:f'(x) 可以直接带0 ,是因为f'(x) 在140.113.141.151 10/10 16:28
55F:→ doom8199:x=0 连续。但 f'(x) 在x=0 不连续140.113.141.151 10/10 16:29
56F:→ doom8199:所以不能那样带,要由导函数定义求140.113.141.151 10/10 16:29
57F:→ doom8199:但我还是觉得原po问题用导(函)数定义140.113.141.151 10/10 16:31
58F:→ doom8199:就能知道他哪里错了140.113.141.151 10/10 16:31
59F:→ doom8199:跟 f'(0+) f'(0-) 没啥关系~~140.113.141.151 10/10 16:32
60F:→ doom8199:即使原po把0带入他所求的导函数140.113.141.151 10/10 16:33
61F:→ doom8199:很像是 "取极限",但那并非其原因140.113.141.151 10/10 16:33
62F:→ doom8199:导(函)数 定义死死的,套下去一定没错140.113.141.151 10/10 16:34
63F:→ doom8199:我会假设 g(x) 这个函数,只是方便原po140.113.141.151 10/10 16:34
64F:→ doom8199:可以了解 f(x) 这个函数是如何做 mapping140.113.141.151 10/10 16:35
65F:→ Honor1984:你搞错了 我第一开宗明义就是用导函数 122.124.99.26 10/10 16:39
66F:→ Honor1984:所以f'(0)就是由导函数得到的 文中说得 122.124.99.26 10/10 16:39
67F:→ Honor1984:很清楚 我也告诉他微出来的直接代0的意 122.124.99.26 10/10 16:39
68F:→ Honor1984:思是什麽 并不一定是f'(0) 用导数定义求 122.124.99.26 10/10 16:40
69F:→ Honor1984:得的f'(0)是一定对的 就这样 没有冲突 122.124.99.26 10/10 16:40
70F:→ Honor1984:我有事先出门一下~~ 122.124.99.26 10/10 16:43
71F:→ doom8199:ㄟ兜,我帮你把这篇重点点出来:140.113.141.151 10/10 16:48
72F:→ doom8199:<1> h(0) 套导(函)数定义求出140.113.141.151 10/10 16:48
73F:→ doom8199:<2> h(0+) h(0-) 不一定要等於 h(0)140.113.141.151 10/10 16:49
74F:→ doom8199:其中 h(x) for x≠0 等於原po求的导函数140.113.141.151 10/10 16:50
75F:→ doom8199:但你还是没点出为何 <2>的h(0)140.113.141.151 10/10 16:51
76F:→ doom8199:跟 <1> 的h(0) 是不一样的140.113.141.151 10/10 16:51
77F:→ Honor1984:<1>和<2>的当然是一样的阿 一个f会有两 122.124.99.26 10/10 17:59
78F:→ Honor1984:个f'(0)吗? 呵呵 122.124.99.26 10/10 18:00
79F:→ Honor1984:我的意思是所有的包含微分出来的函数都 122.124.99.26 10/10 18:00
80F:→ Honor1984:只要用导(函)数定义去做 根本就不必管你 122.124.99.26 10/10 18:01
81F:→ Honor1984:所谓的什麽g'(0) 对f(x)就只有f'(0) 122.124.99.26 10/10 18:02
82F:→ Honor1984:f(x)要不然有一个f'(0) 要不然没有 122.124.99.26 10/10 18:03
83F:→ doom8199:我指的不一样是指用微分求得的 h(x)140.113.141.151 10/10 18:23
84F:→ doom8199:直接带0 跟用导数求的 h(0) 不一样140.113.141.151 10/10 18:24
85F:→ doom8199:原因是微分求得的 h(x) 条件为x≠0140.113.141.151 10/10 18:25
86F:→ doom8199:跟 h(0) = ? 一点关系都没有140.113.141.151 10/10 18:26
87F:→ doom8199:但您所说的 <2>点 跟这件事没有关系140.113.141.151 10/10 18:27
88F:→ doom8199:虽然讲的东西都对,但有没有回答到原po140.113.141.151 10/10 18:28
89F:→ doom8199:的问题才是我再说的重点 OTZ140.113.141.151 10/10 18:28