24小时热门版块排行榜    

查看: 2388  |  回复: 8

Sarah_Bless

新虫 (初入文坛)

[求助] 高斯积分的结果开根号有两个分支,怎么判断是哪一个 已有2人参与

积分I=\[ \int_{-\infty}^{+\infty} e^{-z x^2} \,dx .\] ,其中Re z > 0, 则
\[I^2 = \frac{\pi}{z}\]
问题是\[{(\frac{\pi}{z})}^{\frac{1}{2}}\]是多值函数,即设\[ z=\rho e^{i \phi} \],若Im z不为0,怎么知道I = \[ {(\frac{\pi}{z})}^{\frac{1}{2}} e^{- i {\frac{\phi}{2}}}\]还是 \[ - {(\frac{\pi}{z})}^{\frac{1}{2}} e^{- i {\frac{\phi}{2}}}\]?
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Sarah_Bless

新虫 (初入文坛)

抱歉第一次发帖搞不清公式怎么弄,见图:
高斯积分的结果开根号有两个分支,怎么判断是哪一个
高斯积分.png

2楼2015-07-30 00:02:41
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

bluesine

至尊木虫 (职业作家)

科苑小木虫

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
感谢参与,应助指数 +1
Sarah_Bless: 金币+10, ★★★很有帮助 2015-07-30 21:36:25
feixiaolin: 金币+20, 2015-07 数学版应助金币奖励 2015-08-02 15:21:03
被积函数exp(-(a+ib)*x^2) =exp(-ax^2-ibx^2)= exp(-ax^2)(cos(bx^2)-isin(bx^2))
所以你的问题等价于证明exp(-ax^2)*cos(bx^2)在积分区间上的符号【其中a>0】。

可以证明积分在区间上是正的,所以你的符号取正
板凳要做十年冷文章不发一个字
3楼2015-07-30 08:35:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

peterflyer

木虫之王 (文学泰斗)

peterflyer


【答案】应助回帖

感谢参与,应助指数 +1
若Z的虚部不为零而为复数,则I=±SQRT(π/ρ)*exp(i*Φ/2)应该均为原积分的值,但可取正号的为主值,另一个为辅值,两者互为共轭。若虚部为零,则只取正号。
4楼2015-07-30 10:54:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Sarah_Bless

新虫 (初入文坛)

引用回帖:
3楼: Originally posted by bluesine at 2015-07-30 08:35:03
被积函数exp(-(a+ib)*x^2) =exp(-ax^2-ibx^2)= exp(-ax^2)(cos(bx^2)-isin(bx^2))
所以你的问题等价于证明exp(-ax^2)*cos(bx^2)在积分区间上的符号【其中a>0】。

可以证明积分在区间上是正的,所以你的符号 ...

请问怎么证明exp(-ax^2)*cos(bx^2)对x从负无穷积到正无穷是正的?
5楼2015-07-30 21:10:40
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Sarah_Bless

新虫 (初入文坛)

引用回帖:
4楼: Originally posted by peterflyer at 2015-07-30 10:54:45
若Z的虚部不为零而为复数,则I=±SQRT(π/ρ)*exp(i*Φ/2)应该均为原积分的值,但可取正号的为主值,另一个为辅值,两者互为共轭。若虚部为零,则只取正号。

你好,我不确切地知道你的意思。I^2开根后的两个分支实部、虚部分别互为相反数,不是互为复共轭。两个分支一个实部为正,另一个实部为负。如果I有两个值,那么只对被积函数实部积分相应地也有两个值,实函数的积分有两个值怎么理解?
6楼2015-07-30 21:32:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

bluesine

至尊木虫 (职业作家)

科苑小木虫

引用回帖:
5楼: Originally posted by Sarah_Bless at 2015-07-30 21:10:40
请问怎么证明exp(-ax^2)*cos(bx^2)对x从负无穷积到正无穷是正的?...

证明相当复杂,那个是偶函数,所以只需要证明在[0,+Inf)上为正即可。
由于cos(bx^2)是周期函数,可以考虑证明:对于任意一对零点(两个)上,被积函数积分是正的,即bx^2=k*pi(k=0,1为一对,k=2,3为第二对)
最终完成证明
板凳要做十年冷文章不发一个字
7楼2015-07-31 08:37:53
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Sarah_Bless

新虫 (初入文坛)

引用回帖:
7楼: Originally posted by bluesine at 2015-07-31 08:37:53
证明相当复杂,那个是偶函数,所以只需要证明在[0,+Inf)上为正即可。
由于cos(bx^2)是周期函数,可以考虑证明:对于任意一对零点(两个)上,被积函数积分是正的,即bx^2=k*pi(k=0,1为一对,k=2,3为第二对)
最终完 ...

谢谢。是你在哪见过这个证明吗?方便的话能拍张照片吗?
8楼2015-07-31 10:26:34
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

bluesine

至尊木虫 (职业作家)

科苑小木虫

引用回帖:
8楼: Originally posted by Sarah_Bless at 2015-07-31 10:26:34
谢谢。是你在哪见过这个证明吗?方便的话能拍张照片吗?...

是我自己证明的,尝试的话,你可以先用a=1和b=1试试。
x=  0的时候,函数值为1,
x = pi/2为第一个零点
x = 3*pi/2为第二个零点
用缩放证明在这个区间上积分大于0.过程比较长,但是确定是可以证明的。自己慢慢补充吧
板凳要做十年冷文章不发一个字
9楼2015-08-03 08:18:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 Sarah_Bless 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 投票:  有多少人是今天查系统知道结果的? +16 爱看书的可乐 2026-08-26 18/900 2026-08-28 05:13 by winsaint
[基金申请] 基金系统什么内容也没有 30+3 winsaint 2026-08-27 6/300 2026-08-28 01:46 by alongwaytogo
[基金申请] 哪位高人中了,把查询到的截图贴出来让我看看,让我长长见识 +5 yuleib84 2026-08-26 6/300 2026-08-28 00:02 by yudaoqian88
[教师之家] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 XLGfUIdOmEAO 2026-08-27 4/200 2026-08-27 22:26 by 3RAFyYXYSwGS
[教师之家] 导师吐槽:我怎么摊上了这么个极品研究生! +7 苏东坡二世 2026-08-23 7/350 2026-08-27 18:14 by 瞬息宇宙
[基金申请] 申请删除本帖 +6 lyz123lyz 2026-08-27 7/350 2026-08-27 17:31 by 宁静致远sy
[基金申请] 基金未中,这种答复是模板吗? +5 zhaosm1982 2026-08-27 6/300 2026-08-27 16:00 by lfy8008
[基金申请] 怎么看青基中了没有啊 +5 叶九微 2026-08-26 5/250 2026-08-27 10:35 by l_zh2008
[文学芳草园] 梦想 +3 myrtle 2026-08-26 3/150 2026-08-27 10:01 by angelyueyi
[教师之家] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +3 LIbGuocjEEYw 2026-08-26 4/200 2026-08-27 04:33 by Ie9AyIAvGbvs
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +3 LIbGuocjEEYw 2026-08-26 4/200 2026-08-27 02:01 by Ie9AyIAvGbvs
[基金申请] 我不理解! +15 Edward_pc 2026-08-26 23/1150 2026-08-26 20:34 by zzuzxg
[基金申请] 2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战 +7 process2012 2026-08-23 10/500 2026-08-26 19:23 by hmhminy
[基金申请] 能否退出参与的面上项目解除限项 +23 koalala 2026-08-24 26/1300 2026-08-26 14:29 by 宝贝虫子
[基金申请] 出来了 +9 trojank 2026-08-26 9/450 2026-08-26 14:25 by 宝贝虫子
[基金申请] 项目信息和经费信息在系统里都可以看到了 +6 wittyboy 2026-08-26 14/700 2026-08-26 10:55 by wittyboy
[基金申请] 国合可查了 +3 paperzjh 2026-08-26 3/150 2026-08-26 10:41 by LemmonTr
[基金申请] 今天务委会开完了,明天出结果吗 +19 angus9576 2026-08-25 23/1150 2026-08-26 10:03 by zp519
[基金申请] 人气不行了 +11 fansofjerry 2026-08-21 11/550 2026-08-25 11:04 by 孤独的英雄6
[基金申请] 应该是下周三26日公布了吧? +4 哈哈蛤? 2026-08-21 4/200 2026-08-21 10:58 by Vivilian
信息提示
请填处理意见