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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 证明下面泛函下半连续，怎么搞？
141/2返回列表12下一页
查看: 2515  |  回复: 13
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

_kdh

银虫 (正式写手)

[求助] 证明下面泛函下半连续，怎么搞？ 已有1人参与

如图

证明下面泛函下半连续，怎么搞？


发自小木虫Android客户端
回复此楼

» 猜你喜欢
1楼 2016-06-30 17:16:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

hank612

至尊木虫 (著名写手)

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
_kdh: 金币+50, ★★★★★最佳答案 2016-07-07 11:18:14
总的说来，就是根据定义而已。 思路还是相对简单的，写出来就罗嗦了许多。

大致而言，任给两个有限的实数a,b, 如果A充分接近a, B充分接近b, 那么|A-B|就会充分接近|a-b|, 即存在正数0<c=c(a,b)<1使得|A-B|>=c|a-b|, 并且c很接近1-.

譬如，当, 当b不为0时，, 而当b=0时，, 其中是充分小的正数。

那么， c(a,b)视情况可取：若a>0>b,; 若a>0=b, ;
若a>b>0, ;若b>a>0, .

任意给定X中函数f, 对某个给定的剖分, 对每一对相邻的都有一个上面给出的(可以跳过那些使得的相邻对)。 于是取, 相应地令。

立刻知道， 对于任意X中满足 的函数g, 均有
, 且.

这蕴含着，

可是，c是随着趋于1-的。因此，假如在X中趋近f, 当时，有; 而当时， 有趋于无穷大。

这就是泛函下半连续 (lower semi-continuity)的定义。

题外话：由于, 而有界变分泛函是众所周知的（https://en.wikipedia.org/wiki/Bounded_variation）下半连续的， 楼主能否移花接木，得到的下半连续性呢？
赞一下(1人) 回复此楼
We_must_know. We_will_know.
2楼2016-07-05 23:06:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

_kdh

银虫 (正式写手)
引用回帖:
4楼: Originally posted by hank612 at 2016-07-06 11:06:54
你应该是对的。
麻烦你把细节补充完整，比如\epsilon-\delta语言，这样可以检验方法是否正确。
...

先证明：
        latex \sqrt{(x_i - x_{i- 1})^2 + (g(x_i) - g(x_{i -1}))^2} \ge \sqrt{(x_i - x_{i- 1})^2 + (f(x_i) - f(x_{i -1}))^2} - |g(x_i) - f(x_i) - g(x_{i-1}) + f(x_{i-1})| \latex
两边平方，易得。


1.由上面可以证明：对任意latex \varepsilon > 0 \latex,任意分划latex P \latex,存在f的邻域latex O_\delta(f) \latex，使得latex g\in O_\delta(f) \latex 有：
  latex \sum_{i = 1}^n \sqrt{(x_i - x_{i- 1})^2 + (f(x_i) - f(x_{i -1}))^2}  \le \sum_{i = 1}^n \sqrt{(x_i - x_{i- 1})^2 + (g(x_i) - g(x_{i -1}))^2} + \varepsilon /2 \latex
   对右端取上界，有：
        latex \sum_{i = 1}^n \sqrt{(x_i - x_{i- 1})^2 + (f(x_i) - f(x_{i -1}))^2}  \le L_a^b(g)  + \varepsilon /2 \latex
然后依照
        http://www.guokr.com/post/560750/ 继续下面的证明即可。
赞一下(1人) 回复此楼
9楼2016-07-07 11:09:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

_kdh

银虫 (正式写手)
引用回帖:
4楼: Originally posted by hank612 at 2016-07-06 11:06:54
你应该是对的。
麻烦你把细节补充完整，比如\epsilon-\delta语言，这样可以检验方法是否正确。
...

你的方法描述起来略麻烦
先证明：
        
两边平方，易得。


1.由上面可以证明：对任意,任意分划,存在f的邻域，使得 有：
  
   对右端取上界，有：
        
然后依照
        http://www.guokr.com/post/560750/ 继续下面的证明即可。
赞一下(1人) 回复此楼
13楼2016-07-07 11:17:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

_kdh

银虫 (正式写手)
引用回帖:
2楼: Originally posted by hank612 at 2016-07-05 23:06:21
总的说来，就是根据定义而已。 思路还是相对简单的，写出来就罗嗦了许多。

大致而言，任给两个有限的实数a,b, 如果A充分接近a, B充分接近b, 那么|A-B|就会充分接近|a-b|, 即存在正数0<c=c(a,b)<1使得|A-B ...

不是c(lambda)=min c_i么

发自小木虫Android客户端
赞一下 回复此楼
3楼2016-07-06 10:54:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)
引用回帖:
3楼: Originally posted by _kdh at 2016-07-06 10:54:44
不是c(lambda)=min c_i么
...

你应该是对的。

麻烦你把细节补充完整，比如语言，这样可以检验方法是否正确。

发自小木虫IOS客户端
赞一下 回复此楼

» 本帖已获得的红花（最新10朵）

_kdh
We_must_know. We_will_know.
4楼2016-07-06 11:06:54
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

_kdh

银虫 (正式写手)
引用回帖:
4楼: Originally posted by hank612 at 2016-07-06 11:06:54
你应该是对的。
麻烦你把细节补充完整，比如\epsilon-\delta语言，这样可以检验方法是否正确。
...

在验证。

发自小木虫Android客户端
回复此楼
5楼2016-07-06 11:19:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

_kdh

银虫 (正式写手)
送红花一朵
引用回帖:
4楼: Originally posted by hank612 at 2016-07-06 11:06:54
你应该是对的。
麻烦你把细节补充完整，比如\epsilon-\delta语言，这样可以检验方法是否正确。
...

没用电脑，只用手机，所以拍图片。我有逻辑上的问题。
证明下面泛函下半连续，怎么搞？-1



发自小木虫Android客户端
赞一下 回复此楼
6楼2016-07-06 12:45:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

_kdh

银虫 (正式写手)
引用回帖:
6楼: Originally posted by _kdh at 2016-07-06 12:45:36
没用电脑，只用手机，所以拍图片。我有逻辑上的问题。

...

上面的看不清
http://note.youdao.com/yws/publi ... &type=false

发自小木虫Android客户端
赞一下 回复此楼
7楼2016-07-06 13:04:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

_kdh

银虫 (正式写手)
我大概知道我错哪里了

发自小木虫Android客户端
赞一下 回复此楼
8楼2016-07-07 07:12:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

_kdh

银虫 (正式写手)
引用回帖:
9楼: Originally posted by _kdh at 2016-07-07 11:09:30
先证明：
        latex \sqrt{(x_i - x_{i- 1})^2 + (g(x_i) - g(x_{i -1}))^2} \ge \sqrt{(x_i - x_{i- 1})^2 + (f(x_i) - f(x_{i -1}))^2} - |g(x_i) - f(x_i) - g(x_{i-1}) + f(x_{i-1})| \latex
两边平方，易得。
...

latex怎么编辑，忘了
[latex] \delta [\latex]
赞一下 回复此楼
10楼2016-07-07 11:12:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 _kdh 的主题更新
141/2返回列表12下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] A区线材料学调剂 +3 周周无极 2026-03-20 3/150 2026-03-20 19:48 by zhukairuo
[考研] 一志愿吉林大学材料学硕321求调剂 +11 Ymlll 2026-03-18 15/750 2026-03-20 19:40 by 丁丁*
[考研] 求调剂 +4 Mqqqqqq 2026-03-19 4/200 2026-03-20 14:15 by 星空星月
[考研] 招收调剂硕士 +4 lidianxing 2026-03-19 12/600 2026-03-20 12:25 by lidianxing
[考研] 能源材料化学课题组招收硕士研究生8-10名 +5 脱颖而出 2026-03-16 14/700 2026-03-20 09:30 by kkcoco25
[考研] 0703化学调剂 +10 妮妮ninicgb 2026-03-15 14/700 2026-03-19 22:59 by 学员8dgXkO
[考研] 一志愿南京理工大学085701资源与环境302分求调剂 +3 葵梓卫队 2026-03-18 5/250 2026-03-19 19:35 by 给你你注意休息
[考研] 复试调剂 +4 z1z2z3879 2026-03-14 6/300 2026-03-19 17:18 by fei626-918
[考研] 材料考研调剂 +3 xwt。 2026-03-19 3/150 2026-03-19 11:22 by w沐阳w
[考研] 332求调剂 +3 ydfyh 2026-03-17 3/150 2026-03-19 10:14 by 功夫疯狂
[考研] 0703化学调剂，求各位老师收留 +10 秋有木北 2026-03-14 10/500 2026-03-19 05:52 by anny19840123
[考研] 一志愿华中科技大学，080502，354分求调剂 +4 守候夕阳CF 2026-03-18 4/200 2026-03-18 22:16 by li123456789.
[考研] 268求调剂 +6 简单点0 2026-03-17 6/300 2026-03-18 09:04 by 无际的草原
[考研] 一志愿苏州大学材料工程（085601）专硕有科研经历三项国奖两个实用型专利一项省级立项 +6 大火山小火山 2026-03-16 8/400 2026-03-17 15:05 by 无懈可击111
[考研] [导师推荐]西南科技大学国防/材料导师推荐 +3 尖角小荷 2026-03-16 6/300 2026-03-16 23:21 by 尖角小荷
[考研] 326求调剂 +4 诺贝尔化学奖觊� 2026-03-15 7/350 2026-03-16 17:11 by 诺贝尔化学奖觊�
[考研] 321求调剂 +5 大米饭！ 2026-03-15 5/250 2026-03-16 16:33 by houyaoxu
[考研] 中科院材料273求调剂 +4 yzydy 2026-03-15 4/200 2026-03-16 15:59 by Gaodh_82
[考研] 复试调剂 +3 呼呼？~+123456 2026-03-14 3/150 2026-03-14 16:53 by WTUChen
[考研] 一志愿哈工大材料324分求调剂 +5 闫旭东 2026-03-14 5/250 2026-03-14 14:53 by 木瓜膏
信息提示
关闭
请填处理意见
关闭