已经被掘地三尺的极限分析为什么还存在模糊地带 - 数学 - 基础数学

版块导航: 正在加载中...

登录注册

应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜

返回列表

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

引用回帖:

10楼: Originally posted by tigou at 2015-08-16 08:53:00
更正
(4)~~\lim_{x\to+\infty}f(x)^{f(x)}=1

(6)~~\lim_{x\to+\infty}f(x)^{\frac{f(x)}{1-f(x)}}=1

(6)~~\lim_{x\to+\infty}xf(x)*f(x)^{\frac{f(x)}{1-f(x)}}=1...

继续更正
$(7)~~\lim_{x\to+\infty}xf(x)*f(x)^{\frac{f(x)}{1-f(x)}}=1$
补充一个结论. 不能通过（2）导出
$(8)~~\lim_{x\to+\infty}1-f(x)=1$

赞一下

回复此楼

0/0的意义是所有数的集合

11楼2015-08-16 09:04:13

已阅关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

引用回帖:

11楼: Originally posted by tigou at 2015-08-16 09:04:13
继续更正
(7)~~\lim_{x\to+\infty}xf(x)*f(x)^{\frac{f(x)}{1-f(x)}}=1
补充一个结论. 不能通过（2）导出
(8)~~\lim_{x\to+\infty}1-f(x)=1...

继续更正
$(7)~~\lim_{x\to+\infty}xf(x)*f(x)^{\frac{f(x)}{1-f(x)}}=+\infty$

对公式编号有一个好处，即使不小心弄错了，修改起来也方便，便于检查核对。

个人感觉，严谨地证明1楼命题需要对海涅定理进行改造。当然，我的直觉并不是每次都对。无论如何，有人相互交流比一个人冥思苦想的效率高，所以衷心感谢hank612的无私帮助。

赞一下

回复此楼

0/0的意义是所有数的集合

12楼2015-08-16 10:32:51

已阅关注TA 给TA发消息送TA红花 TA的回帖

拉马之仆

银虫 (小有名气)

数学EPI: 1
应助: 6 (幼儿园)
金币: 1324.7
红花: 5
帖子: 70
在线: 46.8小时
虫号: 3918130
注册: 2015-06-10
专业: 函数论

★ ★ ★ ★ ★
tigou(feixiaolin代发): 金币+5 2015-08-17 19:27:03

引用回帖:

5楼: Originally posted by tigou at 2015-08-15 16:54:50
尽管无人参与讨论，我仍然想说：1楼命题（不妨称之为无穷大极限猜想）和我3月份就提出的二级函数猜想共同表明，到目前为止，人类对实数的认识还存在大片盲区，这种认识盲区在自然数那里就已经存在了，只不过以往人们 ...

好吧，楼主的命题其实非常简单，基本上是微积分入门式的习题。好在我本来也只是个刚入门的菜鸟，不怕别人为我的智商捉急。希望我的证明能让楼主满意。(顺便练习一下LaTeX语法)
$(1^{\circ})\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=+\infty\Rightarrow\lim\limits_{x\to+\infty}f(x)x=+\infty\wedge\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty$
我们先来证明当 $x\to +\infty$ 时， $f(x)$ 是有界的。用反证法。
假设当 $x\to +\infty$ 时， $f(x)$ 无界，
因 $\lim\limits_{x\to+\infty}x^{1-f(x)}>0$ ,
而 $\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=\lim\limits_{x\to+\infty}f(x)\ast\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty>0$ ,
故 $\lim\limits_{x\to+\infty}f(x)>0$ ,
由假设知必有 $\lim\limits_{x\to+\infty}f(x)=+\infty$ 。
由于当 $x\to +\infty$ 时， $x^{f(x)-1}$ 为比 $f(x)-1$ 高阶的无穷大量(这一点楼主一定能理解吧？)，
故有 $\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=\lim\limits_{x\to+\infty}\frac{f(x)-1}{x^{f(x)-1}}+\lim\limits_{x\to+\infty}\frac{1}{x^{f(x)-1}}=0+0=0$ ，
但这与假设相矛盾，这就证明了当 $x\to +\infty$ 时， $f(x)$ 有界。
再来证明 $0<\lim\limits_{x\to+\infty}f(x)<1$ 。
因 $\lim\limits_{x\to+\infty}x^{1-f(x)}>0$ ,
且 $\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=\lim\limits_{x\to+\infty}f(x)\ast\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty>0$ ,
故 $\lim\limits_{x\to+\infty}f(x)>0$ ,
假设 $\lim\limits_{x\to+\infty}f(x)=1$ ，则
$\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=1\neq +\infty$ ，
这与前提相矛盾，故 $\lim\limits_{x\to+\infty}f(x)\neq 1$ 。
又设 $\lim\limits_{x\to+\infty}f(x)>1$ ，
则 $\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}<\lim\limits_{x\to+\infty}x^{1-f(x)}=\lim\limits_{x\to+\infty}\frac{1}{x^{f(x)-1}}=0$ ,
这也与前提相矛盾。故必有 $0<\lim\limits_{x\to+\infty}f(x)<1$ ，
于是显然有(楼主自己证明)：
$\lim\limits_{x\to+\infty}f(x)x=+\infty$ 且 $\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty$
$(2^{\circ})\lim\limits_{x\to+\infty}f(x)x=+\infty\wedge\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty\Rightarrow\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=+\infty$
由 $\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty$ 易得 $\lim\limits_{x\to+\infty}f(x)<1$ ，
由 $\lim\limits_{x\to+\infty}f(x)x=+\infty$ 易得 $\lim\limits_{x\to+\infty}f(x)>1$ ，
即 $0<\lim\limits_{x\to+\infty}f(x)<1$ ，
于是显然有(楼主自己证明)：
$\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=+\infty$ 。

另外，关于无穷大的性质，无非是阶的比较的问题，罗比塔法则就是研究这一问题的非常成熟的一种方法和技巧。个人斗胆认为，笼罩在经典分析上的两朵乌云之下，并没有隐藏什么数学乌托邦。

赞一下

回复此楼

13楼2015-08-16 10:43:03

已阅关注TA 给TA发消息送TA红花 TA的回帖

拉马之仆

银虫 (小有名气)

数学EPI: 1
应助: 6 (幼儿园)
金币: 1324.7
红花: 5
帖子: 70
在线: 46.8小时
虫号: 3918130
注册: 2015-06-10
专业: 函数论

引用回帖:

13楼: Originally posted by 拉马之仆 at 2015-08-16 10:43:03
好吧，楼主的命题其实非常简单，基本上是微积分入门式的习题。好在我本来也只是个刚入门的菜鸟，不怕别人为我的智商捉急。希望我的证明能让楼主满意。(顺便练习一下LaTeX语法)
(1^{\circ})\lim\limits_{x\to+\inf ...

$(2^{\circ})\lim\limits_{x\to+\infty}f(x)x=+\infty\wedge\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty\Rightarrow\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=+\infty$
由 $\lim\limits_{x\to+\infty}x^{1-f(x)}=+\infty$ 易得 $\lim\limits_{x\to+\infty}f(x)<1$ ，
由 $\lim\limits_{x\to+\infty}f(x)x=+\infty$ 易得 $\lim\limits_{x\to+\infty}f(x)>0$ (此处原有笔误)，
即 $0<\lim\limits_{x\to+\infty}f(x)<1$ ，
于是显然有(楼主自己证明)：
$\lim\limits_{x\to+\infty}f(x)x^{1-f(x)}=+\infty$ 。

赞一下

回复此楼

14楼2015-08-16 10:52:27

已阅关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

引用回帖:

讨论问题无关智商高低。但是你的推导的确存在巨大错误。以其中一个结论为例：
$(a)~~0<\lim_{x\to+\infty}f(x)<1$
这个结论就错得离谱，例如
$f(x)=\frac{\ln x}{x}$
就不满足(a)，但满足题设条件。希望您再仔细斟酌下，谢谢。

赞一下

回复此楼

0/0的意义是所有数的集合

15楼2015-08-16 10:58:01

已阅关注TA 给TA发消息送TA红花 TA的回帖

拉马之仆

银虫 (小有名气)

数学EPI: 1
应助: 6 (幼儿园)
金币: 1324.7
红花: 5
帖子: 70
在线: 46.8小时
虫号: 3918130
注册: 2015-06-10
专业: 函数论

引用回帖:

15楼: Originally posted by tigou at 2015-08-16 10:58:01
讨论问题无关智商高低。但是你的推导的确存在巨大错误。以其中一个结论为例：
(a)~~0<\lim_{x\to+\infty}f(x)<1
这个结论就错得离谱，例如
f(x)=\frac{\ln x}{x}
就不满足(a)，但满足题设条件。希望您再 ...

不用斟酌，我知道楼主埋着炸弹呢。呵呵

赞一下

回复此楼

16楼2015-08-16 11:05:13

已阅关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

引用回帖:

罗比塔法则只对可导函数有效，严格说来，不可导函数比可导函数要多得多。此外，在广义乘的框架内，微积分运算仅仅处在1级运算的层次。事实上，几乎可以证明这样的定理：

假设f是由四则运算和微积分运算构成的函数（这种说法虽然粗糙，但意思你懂的），并且在正无穷大的某邻域上有定义，则

$\lim_{x\to+\infty}\frac{f(x)}{2^x}=0$

所有这些结论，都只局限在2级运算以内。但涉及到3级以上的运算，情况就不一样了。而且，假如不利用广义乘的思路，你甚至都无法觉察到微积分运算就是1级乘的近亲。

赞一下

回复此楼

0/0的意义是所有数的集合

17楼2015-08-16 11:13:57

已阅关注TA 给TA发消息送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

数学EPI: 14
应助: 225 (大学生)
金币: 14270.6
散金: 1055
红花: 95
帖子: 1526
在线: 1375.8小时
虫号: 2530333
注册: 2013-07-03
性别: GG
专业: 理论和计算化学

引用回帖:

9楼: Originally posted by tigou at 2015-08-16 08:42:43
这里只讨论右推左的情况（尽管你左推右过程中的错误更大）。你的推导过程关键是利用了
(1)~~\lim_{t\to 0+}t^t=1
但你好像忘记了
(2)~~\liminf_{x\to+\infty}f(x)=0
与
(3)~~\lim_{x\to+\infty}f(x)=0
是有区 ...

我们又在重复Newton, Leibniz 关于极限有用但不严密的理论，还是回到Weierstrass, Cauchy $\epsilon-\delta$ 语言的严密路子上吧。

我想麻烦楼主证明两个引理先。设a>0, x>e.
引理1： $ax^{1-a}>\min(0.1x^{1-a},0.1^{0.1}(xa)^{0.9})$

引理2： $\min(xa,x^{1-a})>ax^{1-a}-1$

然后利用这些不等式，采用 $\epsilon-\delta$ 语言，看看能否证明楼主的猜想。辛苦了。

赞一下

回复此楼

We_must_know. We_will_know.

18楼2015-08-17 01:45:33

已阅关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

引用回帖:

18楼: Originally posted by hank612 at 2015-08-17 01:45:33
我们又在重复Newton, Leibniz 关于极限有用但不严密的理论，还是回到Weierstrass, Cauchy \epsilon-\delta语言的严密路子上吧。

我想麻烦楼主证明两个引理先。设a>0, x>e.
引理1： ax^{1-a}>\min ...

这个思路不可行。因为我曾经想利用夹逼准则，进行过类似的尝试，发现行不通。麻烦的关键是，对于形如：
$yx^{1-y}$
这样的函数而言，y是常数和不是常数时的性质大不一样。如果您不信，可以先假设两个“引理”成立，依然证明不了1楼命题。

赞一下

回复此楼

0/0的意义是所有数的集合

19楼2015-08-17 08:39:17

已阅关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 tigou 的主题更新

返回列表

最具人气热帖推荐 [查看全部]		作者	回/看	最后发表

[硕博家园] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +3	0XLacIJUOj8D 2026-08-24	6/300	2026-08-25 00:11 by BZKMTicpDhFj
[基金申请] 明天应该可查了！？ +5	chengyan1220 2026-08-23	5/250	2026-08-24 23:28 by 我4大白菜
[基金申请] 如果此刻你正在为国基感到焦虑，不妨来听听这首《基金之外》 +7	scalable 2026-08-24	7/350	2026-08-24 23:01 by anata1209
[基金申请] 没有任何消息-是不是就凉了 +7	图啦图啦 2026-08-24	8/400	2026-08-24 22:00 by maomao_da
[论文投稿] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3	0XLacIJUOj8D 2026-08-24	3/150	2026-08-24 21:59 by BZKMTicpDhFj
[基金申请] 能否退出参与的面上项目解除限项 +21	koalala 2026-08-24	24/1200	2026-08-24 19:25 by 家与远方
[基金申请] 建议基金发布提前给出明确的时间点 +13	kulium 2026-08-21	16/800	2026-08-24 16:27 by superceng
[基金申请] 朋友圈看到的 +7	wangzilk 2026-08-18	9/450	2026-08-24 10:50 by cmrandy
[基金申请] 科研孤儿太难了 +18	我4大白菜 2026-08-20	19/950	2026-08-24 09:47 by 凯恩广盛催化分�
[基金申请] 什么时候开奖？ +10	CrisMessi 2026-08-18	11/550	2026-08-24 06:50 by 开心的小狮子
[基金申请] 2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战 +4	process2012 2026-08-23	5/250	2026-08-23 19:58 by jurkat.1640
[教师之家] 跳槽后在研项目怎么办？ +5	简单化xn 2026-08-22	10/500	2026-08-23 12:38 by 简单化xn
[基金申请] 今天放榜吗？ +15	布布和一二 2026-08-19	16/800	2026-08-23 09:55 by 张春生
[基金申请] 今天基金会出结果吗？20260819 +16	kkkl_v 2026-08-19	17/850	2026-08-22 16:12 by 阿布Abu
[基金申请] 看来今天不会放榜了？ +8	chengyan1220 2026-08-21	11/550	2026-08-21 17:52 by dcqxinyang
[基金申请] 时间戳又变了 +13	wuchongjun 2026-08-20	19/950	2026-08-21 17:21 by 紫杉醇
[基金申请] 应该是下周三26日公布了吧？ +4	哈哈蛤？ 2026-08-21	4/200	2026-08-21 10:58 by Vivilian
[基金申请] 基金啊基金 +4	longfie172 2026-08-20	4/200	2026-08-21 08:58 by mark mao
[基金申请] 重要消息，中午系统在维护 +11	yuleib84 2026-08-18	12/600	2026-08-20 11:09 by xskun
[基金申请] 明天放榜？ +5	Shxjjxjkx 2026-08-18	5/250	2026-08-18 18:14 by -大大大大大-