24小时热门版块排行榜    

查看: 2373  |  回复: 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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 能否退出参与的面上项目解除限项 +19 koalala 2026-08-24 21/1050 2026-08-24 16:48 by Wei_ren
[基金申请] 没有任何消息-是不是就凉了 +3 图啦图啦 2026-08-24 3/150 2026-08-24 16:43 by GZUZM
[基金申请] 建议基金发布提前给出明确的时间点 +13 kulium 2026-08-21 16/800 2026-08-24 16:27 by superceng
[基金申请] 估计是周四 +4 archvillain 2026-08-18 4/200 2026-08-24 13:53 by zzuzxg
[基金申请] 我面上完蛋了 +8 且听虎啸 2026-08-20 9/450 2026-08-24 13:52 by zzuzxg
[基金申请] 2026国自然函评费到账 +17 羊腰板 2026-08-21 18/900 2026-08-24 12:03 by iaeyuan
[基金申请] 朋友圈看到的 +7 wangzilk 2026-08-18 9/450 2026-08-24 10:50 by cmrandy
[基金申请] 让我中一个面上吧! +13 大萍1987 2026-08-20 16/800 2026-08-24 10:23 by 太傻了
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 17/850 2026-08-24 10:20 by echo8914667
[基金申请] 明天应该可查了!? +4 chengyan1220 2026-08-23 4/200 2026-08-24 08:47 by gloomy6159
[基金申请] 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
[基金申请] 只有每年这种时候来逛逛小木虫 +24 yaoyewhu2008 2026-08-20 26/1300 2026-08-22 17:43 by kammury
[基金申请] filecode,4个jtjc了 +13 ziyangfang 2026-08-19 16/800 2026-08-22 17:08 by WH3796
[基金申请] 今天基金会出结果吗?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
[基金申请] 今天放榜没戏了吧 +9 yuleib84 2026-08-19 11/550 2026-08-21 10:06 by gltch
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
信息提示
请填处理意见