24小时热门版块排行榜    

Znn3bq.jpeg
查看: 2593  |  回复: 13

_kdh

银虫 (正式写手)

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

回复此楼

» 猜你喜欢

已阅   回复此楼   关注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)下半连续的, 楼主能否移花接木,得到的下半连续性呢?
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/ 继续下面的证明即可。
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/ 继续下面的证明即可。
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朵)

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

银虫 (正式写手)

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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 求调剂,985材料与化工348分 +7 涵竹刘 2026-04-11 9/450 2026-04-11 23:13 by 溪涧流水
[考研] 310求调剂 +10 666真好 2026-04-11 11/550 2026-04-11 23:09 by 852137818
[考研] 调剂 +5 文道星台 2026-04-11 5/250 2026-04-11 15:01 by 凯凯要变帅
[考研] 295求调剂 +3 桂秋二十八 2026-04-05 5/250 2026-04-11 11:36 by zhq0425
[考研] 269电子信息求调剂,可转专业 +11 独酌wl 2026-04-06 11/550 2026-04-11 11:12 by 逆水乘风
[考研] 300分求调剂 (085501机械专硕,本科扬大) +8 xu@841019 2026-04-11 8/400 2026-04-11 10:46 by qingpingzhu
[硕博家园] 0856材料化工求调剂,一志愿211,初试成绩349 +5 江淮北月 2026-04-05 5/250 2026-04-10 16:26 by 高维春
[考研] 调剂 +24 不逢春 2026-04-07 25/1250 2026-04-10 09:39 by 690616278
[考研] 生物学求调剂 一志愿沪9,326分 +7 刘墨墨 2026-04-06 7/350 2026-04-10 08:11 by kangsm
[考研] 353求调剂 +8 晴空万里air 2026-04-07 8/400 2026-04-09 00:18 by GouQ
[考博] 材料方向考博,求推荐 +3 言语aaa 2026-04-05 4/200 2026-04-08 22:22 by nxgogo
[考研] 307求调剂 +14 超级伊昂大王 2026-04-06 14/700 2026-04-08 07:03 by 无际的草原
[考研] 338求调剂 +8 wxygxsaaaaa 2026-04-06 8/400 2026-04-08 06:58 by 无际的草原
[考研] 323求调剂 +3 林zlu 2026-04-07 4/200 2026-04-07 23:21 by lbsjt
[考研] 求调剂 +11 wwwwabcde 2026-04-07 11/550 2026-04-07 23:16 by JourneyLucky
[考研] 11408 325分 +3 jgtxuxgkx 2026-04-07 3/150 2026-04-07 23:10 by lbsjt
[考研] 071000生物学,一志愿深圳大学296分,求调剂 +12 TIckLw 2026-04-06 13/650 2026-04-07 20:34 by lijunpoly
[考研] 318求调剂 +5 李青山山山 2026-04-07 5/250 2026-04-07 18:24 by 蓝云思雨
[考研] 生物学363调剂求助 +7 fanzhang6666 2026-04-06 9/450 2026-04-07 17:37 by lijunpoly
[考研] 331求调剂 +8 于征yz 2026-04-05 8/400 2026-04-06 00:54 by fmesaito
信息提示
请填处理意见