| 查看: 1082 | 回复: 11 | |||
[交流]
[探讨] 相互正交的exp(ipr)函数的总个数为阿列夫2
|
|||
|
【注：首先声明上述语言表达是不严谨的，笔者本来的意思是想探讨‘在Hilbert空间定义下，以正交exp(ipr)函数为基底的系统的维度为阿列夫2’，但是遗憾的是Hilbert空间对问题所涉及的δ函数等广义函数的内积无定义、对exp(ipr)函数的内积也无定义。所以只能无奈不严谨的表达上述命题。严谨的表达可能只能等到某位数学大师扩展到‘广义Hilbert空间’以后吧。】 下面让我们一步一步粗略探讨，相互正交exp(ipr)函数最多会有多少个？ |
回复此楼» 猜你喜欢
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有10人回复
-
过年走亲戚时感受到了所开私家车的鄙视链
已经有9人回复
-
今年春晚有几个节目很不错，点赞！
已经有10人回复
-
情人节自我反思：在爱情中有过遗憾吗？
已经有10人回复
-
基金正文30页指的是报告正文还是整个申请书
已经有5人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【命题】全体exp(ipr)函数集合的空间维度为阿列夫2
已经有6人回复
- 求助用origin自带的ExpAssoc函数进行非线性拟合
已经有8人回复
- 求matlab画一个函数的图
已经有6人回复
- 一个log-det-sum-exp-matrix函数的凸性研究问题
已经有6人回复
» 抢金币啦！回帖就可以得到:
-
坐标广州，征女友
+2/130
-
大连海事大学轮机学院尚有博士名额
+2/64
-
上海理工大学2026年系统科学学科海外骨干教师招聘启事
+2/34
-
海法大学线上开放日
+1/33
-
国家级青年人才课题组招收2026级硕士研究生
+1/30
-
清华大学深圳国际研究生院招聘-博士后（长期有效）
+1/27
-
英国布里斯托大学诚招博士生，博士后和联合培养生
+1/17
-
代朋友发 88公务员诚征男友
+1/17
-
深圳大学26级土木工程博士招生
+1/9
-
香港科技大学（广州）微电子学域助理教授招募全奖博士生与研究助理（纳米器件）
+1/9
-
武汉纺织大学全国重点实验室陈嵘教授团队招收硕士研究生
+1/8
-
招收2026年入学博士研究生
+1/7
-
天津医科大学基础医学院张恒课题组博士后招聘
+1/6
-
全奖博士 英国利物浦大学+台湾清华大学 双博士学位
+1/5
-
南昌大学资源与环境学院刘进教授团队招收2026硕博研究生
+1/5
-
澳科大诚招2026年秋季硕士研究生（药物递送/生物材料方向，3月5日18:00报名截止）
+1/3
-
26年材料/化学相关专业-博士研究生招生-温州大学化学与材料工程学院(26年秋季入学)
+1/2
-
大学教授诚征结婚女友@坐标长春
+1/1
-
国家优青李洪森教授招收2026年申请考核制博士2名（无需笔试，只需面试）
+1/1
-
南京大学能源与资源学院徐加陵课题组招聘：科研助理、硕士生、博士生
+1/1
|
（1）当exp(ipr)函数的变量整数取值时，相互正交exp(ipr)函数的个数为阿列夫0 【 证明一： 取xm和xn ，其中m、n为整数 则：∫exp(ip)^xn exp(-ip)^xm dp 相当于计算两个exp(ipx）的乘积 又由于exp(ipx）可以转换为三角函数：  所以exp(ipx)的正交性，对应于三角函数的正交关系  即：m不等于n时的exp(ip xm)和exp(ip xn)两两内积为0 所以，两两不同的exp(ip)^xn 和exp(ip)^xm正交 又因为， 整数变量xn与函数exp(ip)^xn 对应，所以不同整数取值的exp(ip)^xn函数个数为阿列夫0 即，不同整数取值的两两正交的exp(ip)^xn 函数个数为阿列夫0 】 |
2楼2015-03-31 16:10:32
3楼2015-03-31 16:17:33
4楼2015-03-31 16:19:37
|
【注：上面这个证明对于Hilbert内积空间而言是不严谨的，因为exp(ipx)不是平方可积函数、不存在于Hilbert内积空间。但是基于下面两个事实，判定变量x连续不同取值的exp(ipx)函数两两正交并无不妥： 第一、exp(ipx) 是某类线性系统的基底 [定律：exp(ipx) 是所有线性时不变系统的共同本征函数系 ] [证明： 设L是任意线性时不变系统，v是输入，w是输出 即 w=Lv 则 w(x)=h(x)*v(x) ，即w可以表达成h和v的卷积 上式傅里叶变换记为: W(s)=H(s)V(s) 如果输入exp(ipx) [注：为方便表述，exp(ipx) 省略了常数项2π ] 即 v（x）= exp(ipx) 因为exp(ipx)的傅里叶变换等于脉冲函数δ(x-p) 则输出：W(s)=H(s)δ(s-p)=H(x)δ(x-p) [注：此处H(x)是个常数] 再通过傅里叶反变换，把上式从频域返回到时域，得到： w(x)=H(x) exp(ipx) 此处H(x)是个常数，记为c，则： w(x)= c exp(ipx) 即：输入exp(ipx) ，通过L线性时不变系统w=Lv，输出得到 c exp(ipx) 即：L exp(ipx) = c exp(ipx) [注： L作用在exp(ipx) 等于常数乘以exp(ipx) ] 即： exp(ipx) 是任意线性时不变系统L的本征函数 证毕。] 第二、exp(ipx) 满足狄拉克正交性质  】 |
5楼2015-03-31 16:21:43
6楼2015-03-31 16:26:16
|
【注：上面这个证明对于Hilbert内积空间而言是不严谨的，因为δ函数等广义函数不是平方可积函数、不存在于Hilbert内积空间。但是基于下面两个事实，判定变量不同取值的δ广义函数两两正交并无不妥： 第一、δ广义函数是某类线性系统的基底 [定律：δ广义函数是所有线性时不变系统的共同本征函数系 ] [δ广义函数和exp(ipx)函数一样，都是基元函数，都是线性时不变系统的本征函数] 第二、不同延时δ(t-r)函数的乘积积分 与通常意义的内积的正交性质不冲突 [ 说明： ∫δ(t-r)δ(t-p)dt 如果形象类比离散的西格玛符号形式，如下： ∑δ(tn-r)δ(tn-p) = 0+0+0+......+ δ(r-r)*δ(r-p)+......+ δ(p-r)*δ(p-p)+......+ 0+0+0..... 即，当tn<>r（或tn<>p）时，各分项均为零 即，仅剩tn=r（或tn=p）时，δ(r-r)*δ(r-p) 和 δ(p-r)*δ(p-p) 可能不为零 又因为，δ与x 的分布积等于零，即 xδ(x)=0 所以，δ(r-r)*δ(r-p)=0 δ(p-r)*δ(p-p)=0 所以，∑δ(tn-r)δ(tn-p) = 0 ] |
7楼2015-03-31 16:27:48
简单回复
dmbb8楼
2015-04-05 16:28
回复
etreeasky(金币+1): 谢谢参与
mtw9229楼
2015-04-05 16:35
回复
etreeasky(金币+1): 谢谢参与
tzynew10楼
2015-04-06 08:20
回复
etreeasky(金币+1): 谢谢参与
34658589011楼
2015-04-06 08:20
回复
etreeasky(金币+1): 谢谢参与
尕藏多吉12楼
2015-04-06 08:23
回复
etreeasky(金币+1): 谢谢参与