数学分析理论基础23:不定式极限

不定式极限

两个无穷小量或无穷大量之比的极限统称为不定式极限

{0\over 0}型不定式极限

定理:若函数f,g满足:

1.\lim\limits_{x\to x_0}f(x)=\lim\limits_{x\to x_0}g(x)=0

2.在点x_0的某空心邻域U^\circ(x_0)上两者都可导,且g'(x)\neq 0

3.\lim\limits_{x\to x_0}{f'(x)\over g'(x)}=AA可为实数也可为\pm\infty\infty

\lim\limits_{x\to x_0}{f(x)\over g(x)}=\lim\limits_{x\to x_0}{f'(x)\over g'(x)}=A

证明:

补充定义f(x_0)=g(x_0)=0,使得f,g在点x_0处连续

\forall x\in U^\circ (x_0),在区间[x_0,x](或[x,x_0])上应用柯西中值定理

{f(x)-f(x_0)\over g(x)-g(x_0)}={f'(\xi)\over g'(\xi)}

{f(x)\over g(x)}={f'(\xi)\over g'(\xi)}\xi介于x_0x之间)

当令x\to x_0时,也有\xi\to x_0

\lim\limits_{x\to x_0}{f(x)\over g(x)}=\lim\limits_{x\to x_0}{f'(\xi)\over g'(\xi)}=\lim\limits_{x\to x_0}{f'(x)\over g'(x)}=A\qquad\mathcal{Q.E.D}

注:

1.定理中x\to x_0换成x\to x_0^+,x\to x_0^-,x\to \pm\infty,x\to \infty,只要满足相应修正条件2中的邻域也可得同样的结论

2.若\lim\limits_{x\to x_0}{f'(x)\over g'(x)}仍是{0\over 0}型不定式极限,可再次用洛必达法则,即考察\lim\limits_{x\to x_0}{f'(x)\over g'(x)}是否存在。此时f',g'x_0的某邻域上必须满足条件

{\bullet\over \infty}型不定式极限

定理:若函数f,g满足:

1.在x_0的某右邻域U_+^\circ(x_0)上两者都可导,且g'(x)\neq 0

2.\lim\limits_{x\to x_0^+}g(x)=\infty

3.\lim\limits_{x\to x_0^+}{f'(x)\over g'(x)}=A(A可为实数,也可为\pm\infty,\infty)

\lim\limits_{x\to x_0^+}{f(x)\over g(x)}=A

证明:

A为实数

\forall \varepsilon\gt 0,\exists x_1\in U_+^\circ(x_0)

对满足不等式x_0<x<x_1的每个x

A-{\varepsilon\over 2}<{f'(x)\over g'(x)}<A+{\varepsilon\over 2}

f,g[x,x_1]上满足柯西中值定理

\exists \xi\in(x,x_1)\subset(x_0,x_1)使得

A-{\varepsilon\over 2}<({f(x)\over g(x)}-{f(x_1)\over g(x)})({g(x)\over g(x)-g(x_1)})={f(x)-f(x_1)\over g(x)-g(x_1)}={f'(\xi)\over g'(\xi)}<A+{\varepsilon\over 2}

\because \lim\limits_{x\to x_0^+}{g(x)\over g(x)-g(x_1)}=1

由保号性

\exists \delta_1(<x_1-x_0),使得

x_0<x<x_0+\delta_1{g(x)\over g(x)-g(x_1)}>0

(1-{g(x_1)\over g(x)})(A-{\varepsilon\over 2})+{f(x_1)\over g(x)}<{f(x)\over g(x)}<(1-{g(x_1)\over g(x)})(A+{\varepsilon\over 2})+{f(x_1)\over g(x)}

\lim\limits_{x\to x_0^+}g(x)=\infty

\lim\limits_{x\to x_0^+}((1-{g(x_1)\over g(x)})(A-{\varepsilon\over 2})+{f(x_1)\over g(x)})=A-{\varepsilon\over 2}

\lim\limits_{x\to x_0^+}((1-{g(x_1)\over g(x)})(A+{\varepsilon\over 2})+{f(x_1)\over g(x)})=A+{\varepsilon\over 2}

由保号性

\exists 0<\delta_1(<x_1-x_0)

使得x_0<x<x_0+\delta_1

{g(x)\over g(x)-g(x_1)}>0

(1-{g(x_1)\over g(x)})(A-{\varepsilon\over 2})+{f(x_1)\over g(x)}<{f(x)\over g(x)}<(1-{g(x_1)\over g(x)})(A+{\varepsilon\over 2})+{f(x_1)\over g(x)}

\lim\limits_{x\to x_0^+}g(x)=\infty

\lim\limits_{x\to x_0^+}((1-{g(x_1)\over g(x)})(A-{\varepsilon\over 2})+{f(x_1)\over g(x)})=A-{\varepsilon\over 2}

\lim\limits_{x\to x_0^+}((1-{g(x_1)\over g(x)})(A+{\varepsilon\over 2})+{f(x_1)\over g(x)})=A+{\varepsilon\over 2}

由保号性

\exists 0<\delta(<\delta_1)

x_0<x<x_0+\delta时有

A-\varepsilon<{f(x)\over g(x)}<A+\varepsilon

即证得\lim\limits_{x\to x_0^+}{f(x)\over g(x)}=A

类似可证A=\pm \infty\infty的情形\qquad\mathcal{Q.E.D}

注:

1.定理对于x\to x_0^-,x\to x_0x\to \pm\infty,x\to \infty等情形也有相同结论

2.若f',g',f'',g''满足相应条件,则可再次应用定理

3.若\lim\limits_{x\to x_0}{f'(x)\over g'(x)}不存在,不能说明\lim\limits_{x\to x_0}{f(x)\over g(x)}不存在

例:设f(x)在区间[0,+\infty]上可导,\lim\limits_{x\to +\infty}(f(x)+f'(x))=A,证明\lim\limits_{x\to +\infty}f(x)=A

证:

\lim\limits_{x\to +\infty}e^x=+\infty

\lim\limits_{x\to +\infty}f(x)=\lim\limits_{x\to +\infty}{e^xf(x)\over e^x}

=\lim\limits_{x\to +\infty}{e^x(f(x)+f'(x))\over e^x}=\lim\limits_{x\to +\infty}(f(x)+f'(x))=A\qquad\mathcal{Q.E.D}

其他类型不定式极限

不定式极限还有0\cdot \infty,1^\infty,0^0,\infty^0,\infty-\infty等类型,经过简单变换,一般均可化为{0\over 0}型或{\infty\over\infty}型的极限

例:设\begin{cases}{g(x)\over x}\quad x\neq 0\\0\qquad x=0\end{cases}

且已知g(0)=g'(0)=0,g''(0)=3,试求f'(0)

解:

\because {f(x)-f(0)\over x-0}={g(x)\over x^2}

\therefore f'(0)=\lim\limits_{x\to 0}{g(x)\over x^2}=\lim\limits_{x\to 0}{g'(x)\over 2x}

={1\over 2}\lim\limits_{x\to 0}{g'(x)-g'(0)\over x-0}={1\over 2}g''(0)={3\over 2}

数列不定式极限

可利用函数极限的归结原则,通过先求相应形式的函数极限而得到结果

例:\lim\limits_{x\to \infty}(1+{1\over n}+{1\over n^2})^n

解:

先求\lim\limits_{x\to +\infty}(1+{1\over x}+{1\over x^2})^x

取对数后求极限

\lim\limits_{x\to +\infty}x\ln (1+{1\over x}+{1\over x^2})=\lim\limits_{x\to +\infty}{\ln(1+x+x^2)-\ln x^2\over {1\over x}}

=\lim\limits_{x\to +\infty}{{2x+1\over 1+x+x^2}-{2\over x}\over -{1\over x^2}}

=\lim\limits_{x\to +\infty}{x^2+2x\over x^2+x+1}=1

由归结原则可得

\lim\limits_{x\to \infty}(1+{1\over n}+{1\over n^2})^n=\lim\limits_{x\to +\infty}(1+{1\over x}+{1\over x^2})^x=e

注:不可在数列形式下直接用洛必达法则,因为对于离散变量n\in \mathbb{N}_+求导没有意义

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 199,064评论 5 466
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 83,606评论 2 376
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 146,011评论 0 328
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 53,550评论 1 269
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 62,465评论 5 359
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 47,919评论 1 275
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,428评论 3 390
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,075评论 0 254
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,208评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,185评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,191评论 1 328
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,914评论 3 316
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,482评论 3 302
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,585评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,825评论 1 255
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,194评论 2 344
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 41,703评论 2 339

推荐阅读更多精彩内容