AAA 抽象和应用分析 1687 - 0409我ssn> 1085 - 3375我ssn> Hindawi出版公司 712746年 10.1155 / 2011/712746 712746年 研究文章 在衍射Boehmians菲涅耳变换 al omari s . k . Q。 1 Kılıcman 一个。 2 Atakishiyev Natig 1 应用科学学系 工程技术学院 Al-Balqa应用大学 安曼11134 约旦 bau.edu.jo 2 数学系数学研究所 马来西亚Putra大学(其) 43400年Serdang 雪兰莪州 马来西亚 upm.edu.my 2011年 29日 12米onth> 2011年 2011年 12 09年米onth> 2011年 27 10米onth> 2011年 11 11米onth> 2011年 2011年 版权©2011 s . k .问:al omari Kılıcman。 这是一个开放的文章在知识共享归属许可下发布的,它允许无限制的使用,分布和繁殖在任何媒介,提供最初的工作是正确的引用。 菲涅耳衍射变换理论扩展到特定空间的施瓦兹分布。在Boehmian空间的背景下,菲涅耳衍射变换得到一个连续函数。收敛对<我nline-formula> δ米米l:mi> 和<我nline-formula> Δ米米l:mi> 也定义。 1。介绍 积分变换在光学的各个领域发挥重要的作用。重视在许多应用程序之一是傅里叶变换,在内核需要复指数函数的形式。泛化的傅里叶变换被称为分数傅里叶变换引入了Namias [ 1),最近引起了相当大的关注在梯度折射率光学与光传播媒体;见,例如,( 2, 3),同样在一些镜头系统看到 4, 5]。另一个著名的菲涅耳变换是线性变换;参见[ 4- - - - - - 7),复杂的内核版本的二次组合<我nline-formula> t米米l:mi> 和<我nline-formula> ξ米米l:mi> 指数,看到 8]。最近,已经受到了人们足够的重视的菲涅耳衍射变换 (1.1) F米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> R米米l:mi> K米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> ,米米l:mo> γ米米l:mi> 1米米l:mn> ,米米l:mo> γ米米l:mi> 2米米l:mn> ,米米l:mo> α米米l:mi> 2米米l:mn> ;米米l:mo> ξ米米l:mi> ,米米l:mo> t米米l:mi> )米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> d米米l:mi> t米米l:mi> ,米米l:mo> 在哪里 (1.2) K米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> ,米米l:mo> γ米米l:mi> 1米米l:mn> ,米米l:mo> γ米米l:mi> 2米米l:mn> ,米米l:mo> α米米l:mi> 2米米l:mn> ;米米l:mo> ξ米米l:mi> ,米米l:mo> t米米l:mi> )米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> 2米米l:mn> γ米米l:mi> 1米米l:mn> (米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> ξ米米l:mi> t米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> )米米l:mo> 与实际参数和变换内核<我nline-formula> α米米l:mi> 1米米l:mn> ,米米l:mo> γ米米l:mi> 1米米l:mn> ,<我nline-formula> γ米米l:mi> 2米米l:mn> 满足以下关系: (1.3) α米米l:mi> 1米米l:mn> α米米l:mi> 2米米l:mn> - - - - - -米米l:mo> γ米米l:mi> 1米米l:mn> γ米米l:mi> 2米米l:mn> =米米l:mo> 1米米l:mn> 持有;参见[ 9]。gydF4y2Ba许多熟悉的变换可以看作广义菲涅耳变换的特殊情况。例如,如果参数<我nline-formula> α米米l:mi> 1米米l:mn> ,米米l:mo> γ米米l:mi> 1米米l:mn> ,米米l:mo> γ米米l:mi> 2米米l:mn> 和<我nline-formula> α米米l:mi> 2米米l:mn> 满足矩阵 (1.4) (米米l:mo> α米米l:mi> 1米米l:mn> γ米米l:mi> 1米米l:mn> γ米米l:mi> 2米米l:mn> α米米l:mi> 2米米l:mn> )米米l:mo> =米米l:mo> (米米l:mo> 因为米米l:mi> 米米l:mo> θ米米l:mi> 罪米米l:mi> 米米l:mo> θ米米l:mi> - - - - - -米米l:mo> 罪米米l:mi> 米米l:mo> θ米米l:mi> 因为米米l:mi> 米米l:mo> θ米米l:mi> )米米l:mo> 然后广义菲涅耳变换变成了分数傅里叶变换。gydF4y2Ba特别是,当<我nline-formula> θ米米l:mi> =米米l:mo> π米米l:mi> /米米l:mo> 2米米l:mn> 傅里叶变换,获得标准。此外,如果<我nline-formula> α米米l:mi> 1米米l:mn> =米米l:mo> α米米l:mi> 2米米l:mn> =米米l:mo> 1米米l:mn> ,广义菲涅耳变换降低复杂形式的菲涅耳变换。gydF4y2Ba在本文中,我们表明,衍射菲涅耳变换可以扩展到某些空间广义函数。节 2,我们延长回火的菲涅耳衍射变换到空间分布和进一步的援助Parseval方程,空间分布的紧凑的支持。节 3,我们定义的菲涅耳衍射变换Boehmian并讨论其连续性对<我nline-formula> δ米米l:mi> 和<我nline-formula> Δ米米l:mi> 收敛性。 2。分布衍射菲涅耳变换 让<我nline-formula> 年代米米l:mi> 表示所有复杂的价值功能的空间<我nline-formula> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 等,是无限光滑<我nline-formula> |米米l:mo> t米米l:mi> |米米l:mo> →米米l:mo> ∞米米l:mi> ,他们和他们的偏导数下降为零速度比所有的力量<我nline-formula> 1米米l:mn> /米米l:mo> |米米l:mo> t米米l:mi> |米米l:mo> 。当<我nline-formula> t米米l:mi> 是一维的,每一个函数<我nline-formula> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 在<我nline-formula> 年代米米l:mi> 满足无限的不平等 (2.1) |米米l:mo> t米米l:mi> 米米米l:mi> ϕ米米l:mi> (米米l:mo> k米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> |米米l:mo> ≤米米l:mo> C米米l:mi> 米米米l:mi> ,米米l:mo> k米米l:mi> ,米米l:mo> 在哪里米米l:mtext> t米米l:mi> ∈米米l:mo> R米米l:mi> ,米米l:mo> 在哪里<我nline-formula> 米米米l:mi> 和<我nline-formula> k米米l:mi> 贯穿所有的非负整数。上面的表达式可以解释为 (2.2) lim米米l:mi> 米米l:mo> |米米l:mo> t米米l:mi> |米米l:mo> →米米l:mo> ∞米米l:mi> t米米l:mi> 米米米l:mi> ϕ米米l:mi> (米米l:mo> k米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> =米米l:mo> 0米米l:mn> 。米米l:mo> 的成员<我nline-formula> 年代米米l:mi> 是所谓的测试函数的快速下降,然后呢<我nline-formula> 年代米米l:mi> 自然是一个线性空间。双重空间<我nline-formula> 年代米米l:mi> ´米米l:mo> 的<我nline-formula> 年代米米l:mi> 是缓慢增长的空间分布(调和的空间分布)。参见[ 2, 10, 11]。 定理2.1。 如果<我nline-formula> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 是在<我nline-formula> 年代米米l:mi> ,那么它的衍射菲涅耳变换 (2.3) F米米l:mi> d米米l:mi> (米米l:mo> ϕ米米l:mi> )米米l:mo> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> ∫米米l:mo> R米米l:mi> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> d米米l:mi> t米米l:mi> 存在,进一步也在<我nline-formula> 年代米米l:mi> 。 证明。 让<我nline-formula> ξ米米l:mi> 是固定的。如果<我nline-formula> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 是在<我nline-formula> 年代米米l:mi> 当然存在,那么它的衍射菲涅耳变换。此外,微分的右边( 2.3)对<我nline-formula> ξ米米l:mi> ,根据积分符号,<我nline-formula> k米米l:mi> 次,收益率多项式之和,<我nline-formula> p米米l:mi> k米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> ξ米米l:mi> )米米l:mo> 的组合<我nline-formula> t米米l:mi> 和<我nline-formula> ξ米米l:mi> 。也就是说, (2.4) |米米l:mo> d米米l:mi> k米米l:mi> d米米l:mi> t米米l:mi> k米米l:mi> F米米l:mi> d米米l:mi> (米米l:mo> ϕ米米l:mi> )米米l:mo> (米米l:mo> ξ米米l:mi> )米米l:mo> |米米l:mo> =米米l:mo> |米米l:mo> p米米l:mi> k米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> ξ米米l:mi> )米米l:mo> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> |米米l:mo> ≤米米l:mo> |米米l:mo> p米米l:mi> k米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> ξ米米l:mi> )米米l:mo> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> |米米l:mo> ,米米l:mo> 这也是在<我nline-formula> 年代米米l:mi> ,因为<我nline-formula> ϕ米米l:mi> 在<我nline-formula> 年代米米l:mi> 和<我nline-formula> 年代米米l:mi> 是一个线性空间。因此, (2.5) |米米l:mo> ξ米米l:mi> 米米米l:mi> d米米l:mi> k米米l:mi> d米米l:mi> t米米l:mi> k米米l:mi> F米米l:mi> d米米l:mi> (米米l:mo> ϕ米米l:mi> )米米l:mo> (米米l:mo> ξ米米l:mi> )米米l:mo> |米米l:mo> ≤米米l:mo> ∫米米l:mo> R米米l:mi> |米米l:mo> ξ米米l:mi> 米米米l:mi> p米米l:mi> k米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> ξ米米l:mi> )米米l:mo> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> |米米l:mo> d米米l:mi> t米米l:mi> 。米米l:mo> 再一次,因为<我nline-formula> ϕ米米l:mi> ∈米米l:mo> 年代米米l:mi> 右边的积分( 2.5)是有界的一个常数<我nline-formula> C米米l:mi> 米米米l:mi> ,米米l:mo> k米米l:mi> ,每条非负整数<我nline-formula> 米米米l:mi> 和<我nline-formula> k米米l:mi> 。因此,我们有以下定理。 定理2.2 (Parseval衍射变换方程)。 如果<我nline-formula> f米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> 和<我nline-formula> g米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> 绝对可积的,结束了吗<我nline-formula> x米米l:mi> ∈米米l:mo> R米米l:mi> ,然后 (2.6) ∫米米l:mo> R米米l:mi> f米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> F米米l:mi> d米米l:mi> g米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> d米米l:mi> x米米l:mi> =米米l:mo> ∫米米l:mo> R米米l:mi> F米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> g米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> d米米l:mi> x米米l:mi> ,米米l:mo> 在哪里<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> 和<我nline-formula> 米米l:mi> d米米l:mi> g米米l:mi> 相应的衍射菲涅耳变换吗<我nline-formula> f米米l:mi> 和<我nline-formula> g米米l:mi> ,分别。 证明。 衍射菲涅耳变换<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> 和<我nline-formula> 米米l:mi> d米米l:mi> g米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> 确实是有界和连续吗<我nline-formula> ξ米米l:mi> 。这确保积分的收敛性( 2.6)。此外, (2.7) ∫米米l:mo> R米米l:mi> f米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> F米米l:mi> d米米l:mi> g米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> d米米l:mi> x米米l:mi> =米米l:mo> ∫米米l:mo> R米米l:mi> d米米l:mi> x米米l:mi> R米米l:mi> f米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> g米米l:mi> (米米l:mo> y米米l:mi> )米米l:mo> 经验值米米l:mi> 米米l:mo> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> y米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> x米米l:mi> y米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> x米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> d米米l:mi> y米米l:mi> ,米米l:mo> α米米l:mi> 1米米l:mn> α米米l:mi> 2米米l:mn> - - - - - -米米l:mo> γ米米l:mi> 1米米l:mn> γ米米l:mi> 2米米l:mn> =米米l:mo> 1米米l:mn> 。米米l:mo> 因为积分( 2.7)是绝对可积在整个<我nline-formula> (米米l:mo> x米米l:mi> ,米米l:mo> y米米l:mi> )米米l:mo> 飞机,Fubini定理让我们交换积分的顺序。因此,( 2.7)可以写成 (2.8) ∫米米l:mo> R米米l:mi> f米米l:mi> (米米l:mo> x米米l:mi> )米米l:mo> R米米l:mi> g米米l:mi> (米米l:mo> y米米l:mi> )米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 2米米l:mn> x米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> x米米l:mi> y米米l:mi> +米米l:mo> α米米l:mi> 1米米l:mn> y米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> d米米l:mi> y米米l:mi> d米米l:mi> x米米l:mi> =米米l:mo> ∫米米l:mo> R米米l:mi> F米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> y米米l:mi> )米米l:mo> g米米l:mi> (米米l:mo> y米米l:mi> )米米l:mo> d米米l:mi> y米米l:mi> ,米米l:mo> 在哪里<我nline-formula> α米米l:mi> 2米米l:mn> α米米l:mi> 1米米l:mn> - - - - - -米米l:mo> γ米米l:mi> 1米米l:mn> γ米米l:mi> 2米米l:mn> =米米l:mo> 1米米l:mn> 。这就完成了这个定理的证明。 可以解释为Parseval关系 (2.9) 〈米米l:mo> F米米l:mi> d米米l:mi> f米米l:mi> ,米米l:mo> ϕ米米l:mi> 〉米米l:mo> =米米l:mo> 〈米米l:mo> f米米l:mi> ,米米l:mo> F米米l:mi> d米米l:mi> ϕ米米l:mi> 〉米米l:mo> 。米米l:mo> 因此,从上面的关系,我们的状态<我talic> 菲涅耳衍射变换我talic>的分布<我nline-formula> f米米l:mi> 缓慢的增长<我nline-formula> (米米l:mo> f米米l:mi> ∈米米l:mo> 年代米米l:mi> ´米米l:mo> )米米l:mo> 作为 (2.10) 〈米米l:mo> F米米l:mi> d米米l:mi> f米米l:mi> ,米米l:mo> ϕ米米l:mi> 〉米米l:mo> =米米l:mo> 〈米米l:mo> f米米l:mi> ,米米l:mo> F米米l:mi> d米米l:mi> ϕ米米l:mi> 〉米米l:mo> ,米米l:mo> ∀米米l:mo> ϕ米米l:mi> ∈米米l:mo> 年代米米l:mi> ,米米l:mo> 这是定义良好的定理 2.1。 定理2.3。 如果<我nline-formula> f米米l:mi> 是一个缓慢增长的分布,那么它的菲涅耳衍射变换吗<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> 也是一个增长缓慢的分布。 证明。 线性的<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> 是显而易见的。显示的连续性<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> ,让<我nline-formula> (米米l:mo> ϕ米米l:mi> n米米l:mi> )米米l:mo> n米米l:mi> =米米l:mo> 1米米l:mn> ∞米米l:mi> →米米l:mo> 0米米l:mn> ,在<我nline-formula> 年代米米l:mi> ,然后还<我nline-formula> (米米l:mo> 米米l:mi> d米米l:mi> ϕ米米l:mi> n米米l:mi> )米米l:mo> n米米l:mi> =米米l:mo> 1米米l:mn> ∞米米l:mi> →米米l:mo> 0米米l:mn> 在<我nline-formula> 年代米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 。因此, (2.11) 〈米米l:mo> F米米l:mi> d米米l:mi> f米米l:mi> ,米米l:mo> ϕ米米l:mi> n米米l:mi> 〉米米l:mo> =米米l:mo> 〈米米l:mo> f米米l:mi> ,米米l:mo> F米米l:mi> d米米l:mi> ϕ米米l:mi> n米米l:mi> 〉米米l:mo> ⟶米米l:mo> 0米米l:mn> 作为米米l:mtext> n米米l:mi> ⟶米米l:mo> ∞米米l:mi> 。米米l:mo> 因此<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> ∈米米l:mo> 年代米米l:mi> ´米米l:mo> 。这就完成了这个定理的证明。 定理2.4。 让<我nline-formula> f米米l:mi> 是一个分布的紧凑的支持<我nline-formula> (米米l:mo> f米米l:mi> ∈米米l:mo> E米米l:mi> ´米米l:mo> )米米l:mo> 。然后,我们定义的菲涅耳变换<我nline-formula> f米米l:mi> 作为 (2.12) F米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> 。米米l:mo> 证明。 让<我nline-formula> ϕ米米l:mi> ∈米米l:mo> 年代米米l:mi> (米米l:mo> ℝ米米l:mi> )米米l:mo> 是任意的。从( 2.10),我们读 (2.13) 〈米米l:mo> F米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> ,米米l:mo> ϕ米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> 〉米米l:mo> =米米l:mo> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> F米米l:mi> d米米l:mi> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 〉米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> ∫米米l:mo> R米米l:mi> ϕ米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> ξ米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> t米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> d米米l:mi> ξ米米l:mi> 〉米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> ∫米米l:mo> R米米l:mi> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 2米米l:mn> t米米l:mi> 2米米l:mn> +米米l:mo> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 1米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> ϕ米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> d米米l:mi> ξ米米l:mi> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 〈米米l:mo> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 2米米l:mn> t米米l:mi> 2米米l:mn> +米米l:mo> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 1米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> ,米米l:mo> ϕ米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> 〉米米l:mo> 。米米l:mo> 但自<我nline-formula> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 2米米l:mn> t米米l:mi> 2米米l:mn> +米米l:mo> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 1米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> 是一个无限光滑函数,我们得到了什么 (2.14) F米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 2米米l:mn> t米米l:mi> 2米米l:mn> +米米l:mo> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 1米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> 。米米l:mo> 这就完成了这个定理的证明。 现在,对于分布<我nline-formula> f米米l:mi> 和<我nline-formula> g米米l:mi> ∈米米l:mo> E米米l:mi> ´米米l:mo> (米米l:mo> R米米l:mi> )米米l:mo> 产品,我们定义卷积 (2.15) 〈米米l:mo> (米米l:mo> f米米l:mi> *米米l:mi> 9米米l:mn> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> ϕ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 〉米米l:mo> =米米l:mo> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 〈米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ,米米l:mo> ϕ米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> τ米米l:mi> )米米l:mo> 〉米米l:mo> 〉米米l:mo> ,米米l:mo> 对于每一个<我nline-formula> ϕ米米l:mi> ∈米米l:mo> E米米l:mi> (米米l:mo> R米米l:mi> )米米l:mo> 。这个定义是有道理的,因为<我nline-formula> 〈米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ,米米l:mo> ϕ米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> τ米米l:mi> )米米l:mo> 〉米米l:mo> 属于<我nline-formula> 米米l:mi> ,因此成员<我nline-formula> E米米l:mi> (米米l:mo> R米米l:mi> )米米l:mo> 。用这个定义,我们可以编写以下定理。 定理2.5。 对于每一个<我nline-formula> f米米l:mi> ∈米米l:mo> E米米l:mi> ´米米l:mo> (米米l:mo> R米米l:mi> )米米l:mo> ,函数<我nline-formula> ψ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> =米米l:mo> 〈米米l:mo> f米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ,米米l:mo> ϕ米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> τ米米l:mi> )米米l:mo> 〉米米l:mo> 是无限光滑和满足的关系 (2.16) D米米l:mi> t米米l:mi> k米米l:mi> ψ米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> =米米l:mo> 〈米米l:mo> f米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ,米米l:mo> D米米l:mi> t米米l:mi> k米米l:mi> ϕ米米l:mi> (米米l:mo> t米米l:mi> +米米l:mo> τ米米l:mi> )米米l:mo> 〉米米l:mo> ,米米l:mo> 对所有<我nline-formula> k米米l:mi> ∈米米l:mo> N米米l:mi> 。 证明(见26页(< xref ref-type =“bibr”掉= " B23 " > < / xref > 12])。 卷积的直接结果产品是下面的定理。 定理2.6(卷积定理)。 让<我nline-formula> f米米l:mi> 和<我nline-formula> g米米l:mi> 紧凑的支持和分布<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> ,米米l:mo> 米米l:mi> d米米l:mi> g米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 米米l:mi> d米米l:mi> (米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 各自的衍射菲涅耳变换 (2.17) F米米l:mi> d米米l:mi> (米米l:mo> (米米l:mo> f米米l:mi> *米米l:mi> g米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> 2米米l:mn> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 。米米l:mo> 证明。 让<我nline-formula> f米米l:mi> ,米米l:mo> g米米l:mi> ∈米米l:mo> E米米l:mi> ´米米l:mo> (米米l:mo> R米米l:mi> )米米l:mo> ,然后通过使用( 2.12),我们得到 (2.18) F米米l:mi> d米米l:mi> (米米l:mo> (米米l:mo> f米米l:mi> *米米l:mi> g米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 〈米米l:mo> (米米l:mo> f米米l:mi> *米米l:mi> g米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> 我米米l:mtext> 。米米l:mo> e米米l:mtext> 。米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 〈米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> (米米l:mo> t米米l:mi> +米米l:mo> τ米米l:mi> )米米l:mo> 2米米l:mn> - - - - - -米米l:mo> (米米l:mo> t米米l:mi> +米米l:mo> τ米米l:mi> )米米l:mo> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> 〉米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 〈米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ,米米l:mo> 〈米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ,米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> 2米米l:mn> +米米l:mo> α米米l:mi> 1米米l:mn> τ米米l:mi> 2米米l:mn> +米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> - - - - - -米米l:mo> 2米米l:mn> τ米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> 〉米米l:mo> 〉米米l:mo> 。米米l:mo> 分布的属性一起简单的指数收益率的计算 (2.19) F米米l:mi> d米米l:mi> (米米l:mo> (米米l:mo> f米米l:mi> *米米l:mi> g米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> 2米米l:mn> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 。米米l:mo> 这就完成了这个定理的证明。 推论2.7。 让<我nline-formula> f米米l:mi> ,米米l:mo> g米米l:mi> ∈米米l:mo> E米米l:mi> ´米米l:mo> (米米l:mo> R米米l:mi> )米米l:mo> ,然后 (2.20) (米米l:mo> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 经验值米米l:mi> 米米l:mo> (米米l:mo> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> )米米l:mo> (米米l:mo> ξ米米l:mi> )米米l:mo> ,米米l:mo> (米米l:mo> 2米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> δ米米l:mi> n米米l:mi> *米米l:mi> g米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 经验值米米l:mi> 米米l:mo> (米米l:mo> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> g米米l:mi> )米米l:mo> (米米l:mo> ξ米米l:mi> )米米l:mo> ,米米l:mo> 在哪里<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> ,米米l:mo> 米米l:mi> d米米l:mi> g米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 米米l:mi> d米米l:mi> (米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 。gydF4y2Ba下面是一个定理,可以直接从成立( 2.12)和( 11] (2.21) D米米l:mi> k米米l:mi> (米米l:mo> f米米l:mi> *米米l:mi> g米米l:mi> )米米l:mo> =米米l:mo> D米米l:mi> k米米l:mi> f米米l:mi> *米米l:mi> g米米l:mi> =米米l:mo> f米米l:mi> *米米l:mi> D米米l:mi> k米米l:mi> g米米l:mi> 。米米l:mo> 定理2.8。 让<我nline-formula> f米米l:mi> 和<我nline-formula> g米米l:mi> 紧凑的支持和分布<我nline-formula> 米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> ,米米l:mo> 米米l:mi> d米米l:mi> g米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 米米l:mi> d米米l:mi> (米米l:mo> g米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 各自的衍射菲涅耳变换 (2.22) (米米l:mo> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> D米米l:mi> t米米l:mi> k米米l:mi> (米米l:mo> f米米l:mi> *米米l:mi> g米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> 2米米l:mn> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> (米米l:mo> k米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> F米米l:mi> d米米l:mi> g米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> ,米米l:mo> (米米l:mo> 2米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> D米米l:mi> t米米l:mi> k米米l:mi> (米米l:mo> f米米l:mi> *米米l:mi> g米米l:mi> )米米l:mo> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> (米米l:mo> 2米米l:mn> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> F米米l:mi> d米米l:mi> f米米l:mi> (米米l:mo> ξ米米l:mi> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> g米米l:mi> (米米l:mo> k米米l:mi> )米米l:mo> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 。米米l:mo> 3所示。衍射Boehmians的菲涅耳变换 让<我nline-formula> 米米l:mi> 是一个线性空间<我nline-formula> ℑ米米l:mi> 的子空间<我nline-formula> 米米l:mi> 。每一对元素<我nline-formula> f米米l:mi> ∈米米l:mo> 米米l:mi> 和<我nline-formula> ϕ米米l:mi> ∈米米l:mo> ℑ米米l:mi> ,我们指定一个产品<我nline-formula> f米米l:mi> ·米米l:mo> g米米l:mi> 这样满足以下条件: (我) 如果<我nline-formula> ϕ米米l:mi> ,米米l:mo> ψ米米l:mi> ∈米米l:mo> ℑ米米l:mi> ,然后<我nline-formula> ϕ米米l:mi> ·米米l:mo> ψ米米l:mi> ∈米米l:mo> ℑ米米l:mi> 和<我nline-formula> ϕ米米l:mi> ·米米l:mo> ψ米米l:mi> =米米l:mo> ψ米米l:mi> ·米米l:mo> ϕ米米l:mi> , (2) 如果<我nline-formula> f米米l:mi> ∈米米l:mo> 米米l:mi> 和<我nline-formula> ϕ米米l:mi> ,米米l:mo> ψ米米l:mi> ∈米米l:mo> ℑ米米l:mi> ,然后<我nline-formula> (米米l:mo> f米米l:mi> ·米米l:mo> ϕ米米l:mi> )米米l:mo> ·米米l:mo> ψ米米l:mi> =米米l:mo> f米米l:mi> ·米米l:mo> (米米l:mo> ϕ米米l:mi> ·米米l:mo> ψ米米l:mi> )米米l:mo> , (3) 如果<我nline-formula> f米米l:mi> ,米米l:mo> g米米l:mi> ∈米米l:mo> 米米l:mi> ,米米l:mo> ϕ米米l:mi> ∈米米l:mo> ℑ米米l:mi> 和<我nline-formula> λ米米l:mi> ∈米米l:mo> R米米l:mi> ,然后<我nline-formula> (米米l:mo> f米米l:mi> +米米l:mo> g米米l:mi> )米米l:mo> ·米米l:mo> ϕ米米l:mi> =米米l:mo> f米米l:mi> ·米米l:mo> ϕ米米l:mi> +米米l:mo> g米米l:mi> ·米米l:mo> ϕ米米l:mi> 和<我nline-formula> λ米米l:mi> (米米l:mo> f米米l:mi> ·米米l:mo> ϕ米米l:mi> )米米l:mo> =米米l:mo> (米米l:mo> λ米米l:mi> f米米l:mi> )米米l:mo> ·米米l:mo> ϕ米米l:mi> 。让<我nline-formula> Δ米米l:mi> 是一个家族的序列<我nline-formula> ℑ米米l:mi> 这样 (一) 如果<我nline-formula> f米米l:mi> ,米米l:mo> g米米l:mi> ∈米米l:mo> 米米l:mi> ,米米l:mo> (米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> ∈米米l:mo> Δ米米l:mi> 和<我nline-formula> f米米l:mi> ·米米l:mo> δ米米l:mi> n米米l:mi> =米米l:mo> g米米l:mi> ·米米l:mo> δ米米l:mi> n米米l:mi> (米米l:mo> n米米l:mi> =米米l:mo> 1、2米米l:mn> ,米米l:mo> …米米l:mo> )米米l:mo> ,然后<我nline-formula> f米米l:mi> =米米l:mo> g米米l:mi> , (b) 如果<我nline-formula> (米米l:mo> ϕ米米l:mi> n米米l:mi> )米米l:mo> ,米米l:mo> (米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> ∈米米l:mo> Δ米米l:mi> ,然后<我nline-formula> (米米l:mo> ϕ米米l:mi> n米米l:mi> ·米米l:mo> ψ米米l:mi> n米米l:mi> )米米l:mo> ∈米米l:mo> Δ米米l:mi> 。 的元素<我nline-formula> Δ米米l:mi> 将被称为<我talic> 三角洲序列。我talic>考虑到类<我nline-formula> U米米l:mi> 两个序列的定义 (3.1) U米米l:mi> =米米l:mo> {米米l:mo> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> )米米l:mo> ,米米l:mo> (米米l:mo> ϕ米米l:mi> n米米l:mi> )米米l:mo> )米米l:mo> :米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> )米米l:mo> ⊆米米l:mo> X米米l:mi> N米米l:mi> ,米米l:mo> (米米l:mo> ϕ米米l:mi> n米米l:mi> )米米l:mo> ∈米米l:mo> Δ米米l:mi> }米米l:mo> ,米米l:mo> 为每一个<我nline-formula> n米米l:mi> ∈米米l:mo> N米米l:mi> 。一个元素<我nline-formula> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> )米米l:mo> ,米米l:mo> (米米l:mo> ϕ米米l:mi> n米米l:mi> )米米l:mo> )米米l:mo> ∈米米l:mo> U米米l:mi> 被称为商的序列,用吗<我nline-formula> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ,或<我nline-formula> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ]米米l:mo> 如果<我nline-formula> f米米l:mi> 我米米l:mi> ·米米l:mo> ϕ米米l:mi> j米米l:mi> =米米l:mo> f米米l:mi> j米米l:mi> ·米米l:mo> ϕ米米l:mi> 我米米l:mi> ,米米l:mo> 为米米l:mtext> 所有米米l:mtext> 我米米l:mi> ,米米l:mo> j米米l:mi> ∈米米l:mo> N米米l:mi> 。gydF4y2Ba同样,序列的两个因素<我nline-formula> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> 和<我nline-formula> g米米l:mi> n米米l:mi> /米米l:mo> ψ米米l:mi> n米米l:mi> 据说<我talic> 等效我talic>,<我nline-formula> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ~米米l:mo> g米米l:mi> n米米l:mi> /米米l:mo> ψ米米l:mi> n米米l:mi> ,如果<我nline-formula> f米米l:mi> 我米米l:mi> ·米米l:mo> ψ米米l:mi> j米米l:mi> =米米l:mo> g米米l:mi> j米米l:mi> ·米米l:mo> ϕ米米l:mi> 我米米l:mi> ,米米l:mo> 为米米l:mtext> 所有米米l:mtext> 我米米l:mi> ,米米l:mo> j米米l:mi> ∈米米l:mo> N米米l:mi> 。的关系<我talic> ~我talic>是一个等价的关系<我nline-formula> U米米l:mi> ,因此分裂<我nline-formula> U米米l:mi> 等价类。等价类包含<我nline-formula> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> 用<我nline-formula> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ]米米l:mo> 。这些被称为等价类<我talic> Boehmians我talic>,<我talic> 空间的所有Boehmians我talic>用<我nline-formula> 米米l:mi> 。gydF4y2Ba两个Boehmians之和,由一个标量乘法可以定义在一个自然的方式 (3.2) (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> +米米l:mo> (米米l:mo> g米米l:mi> n米米l:mi> ψ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> ⋅米米l:mo> ψ米米l:mi> n米米l:mi> )米米l:mo> +米米l:mo> (米米l:mo> g米米l:mi> n米米l:mi> ⋅米米l:mo> ϕ米米l:mi> n米米l:mi> )米米l:mo> )米米l:mo> ϕ米米l:mi> n米米l:mi> ⋅米米l:mo> ψ米米l:mi> n米米l:mi> ]米米l:mo> ,米米l:mo> α米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> α米米l:mi> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> ,米米l:mo> α米米l:mi> ∈米米l:mo> C米米l:mi> 。米米l:mo> 操作<我nline-formula> ·米米l:mo> 和分化是由 (3.3) (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> ⋅米米l:mo> (米米l:mo> g米米l:mi> n米米l:mi> ψ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> ⋅米米l:mo> g米米l:mi> n米米l:mi> )米米l:mo> (米米l:mo> ϕ米米l:mi> n米米l:mi> ⋅米米l:mo> ψ米米l:mi> n米米l:mi> )米米l:mo> ]米米l:mo> ,米米l:mo> D米米l:mi> α米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> D米米l:mi> α米米l:mi> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> 。米米l:mo> 收敛性的概念和产品之间的关系<我nline-formula> ·米米l:mo> 是由以下几点: (我) 如果<我nline-formula> f米米l:mi> n米米l:mi> →米米l:mo> f米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 在<我nline-formula> 米米l:mi> 而且,<我nline-formula> ϕ米米l:mi> ∈米米l:mo> ℑ米米l:mi> 任何固定的元素,那么<我nline-formula> f米米l:mi> n米米l:mi> ·米米l:mo> ϕ米米l:mi> →米米l:mo> f米米l:mi> ·米米l:mo> ϕ米米l:mi> 在<我nline-formula> 米米l:mi> (米米l:mo> 作为米米l:mtext> n米米l:mi> →米米l:mo> ∞米米l:mi> )米米l:mo> , (2) 如果<我nline-formula> f米米l:mi> n米米l:mi> →米米l:mo> f米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 在<我nline-formula> 米米l:mi> 和<我nline-formula> (米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> ∈米米l:mo> Δ米米l:mi> ,然后<我nline-formula> f米米l:mi> n米米l:mi> ·米米l:mo> δ米米l:mi> n米米l:mi> →米米l:mo> f米米l:mi> 在<我nline-formula> 米米l:mi> (米米l:mo> 作为米米l:mtext> n米米l:mi> →米米l:mo> ∞米米l:mi> )米米l:mo> 。 操作<我nline-formula> ·米米l:mo> 可以扩展到<我nline-formula> 米米l:mi> ×米米l:mo> ℑ米米l:mi> 通过 (3.4) 如果米米l:mtext> (米米l:mo> f米米l:mi> n米米l:mi> δ米米l:mi> n米米l:mi> ]米米l:mo> ∈米米l:mo> B米米l:mi> 和米米l:mtext> ϕ米米l:mi> ∈米米l:mo> 我米米l:mi> ,米米l:mo> 然后米米l:mtext> (米米l:mo> f米米l:mi> n米米l:mi> δ米米l:mi> n米米l:mi> ]米米l:mo> ⋅米米l:mo> ϕ米米l:mi> =米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> ⋅米米l:mo> ϕ米米l:mi> δ米米l:mi> n米米l:mi> ]米米l:mo> 。米米l:mo> 在<我nline-formula> 米米l:mi> 收敛,一个可以定义两种类型如下: (我) (<我nline-formula> δ米米l:mi> 收敛性)<我talic> 一个序列我talic> (米米l:mo> β米米l:mi> n米米l:mi> )米米l:mo> 在我talic> 米米l:mi> 据说是我talic> δ米米l:mi> 收敛到我talic> β米米l:mi> 在我talic> 米米l:mi> ,<我talic> 用我talic> β米米l:mi> n米米l:mi> →米米l:mo> δ米米l:mi> β米米l:mi> ,<我talic> 如果存在一个三角洲序列我talic> (米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> 这样我talic> (米米l:mo> β米米l:mi> n米米l:mi> ·米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> ,米米l:mo> (米米l:mo> β米米l:mi> ·米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> ∈米米l:mo> 米米l:mi> ,米米l:mo> 为米米l:mtext> 所有米米l:mtext> k米米l:mi> ,米米l:mo> n米米l:mi> ∈米米l:mo> N米米l:mi> ,<我talic> 和我talic> (米米l:mo> β米米l:mi> n米米l:mi> ·米米l:mo> δ米米l:mi> k米米l:mi> )米米l:mo> →米米l:mo> (米米l:mo> β米米l:mi> ·米米l:mo> δ米米l:mi> k米米l:mi> )米米l:mo> 作为我talic> n米米l:mi> →米米l:mo> ∞米米l:mi> ,<我talic> 在我talic> 米米l:mi> ,<我talic> 对于每一个我talic> k米米l:mi> ∈米米l:mo> N米米l:mi> , (2) (<我nline-formula> Δ米米l:mi> 收敛性)<我talic> 一个序列我talic> (米米l:mo> β米米l:mi> n米米l:mi> )米米l:mo> 在我talic> 米米l:mi> 据说是我talic> Δ米米l:mi> 收敛到我talic> β米米l:mi> 在我talic> 米米l:mi> ,<我talic> 用我talic> β米米l:mi> n米米l:mi> →米米l:mo> Δ米米l:mi> β米米l:mi> ,<我talic> 如果存在一个我talic> (米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> ∈米米l:mo> Δ米米l:mi> 这样我talic> (米米l:mo> β米米l:mi> n米米l:mi> - - - - - -米米l:mo> β米米l:mi> )米米l:mo> ·米米l:mo> δ米米l:mi> n米米l:mi> ∈米米l:mo> 米米l:mi> ,米米l:mo> 为米米l:mtext> 所有米米l:mtext> n米米l:mi> ∈米米l:mo> N米米l:mi> ,<我talic> 和我talic> (米米l:mo> β米米l:mi> n米米l:mi> - - - - - -米米l:mo> β米米l:mi> )米米l:mo> ·米米l:mo> δ米米l:mi> n米米l:mi> →米米l:mo> 0米米l:mn> 作为我talic> n米米l:mi> →米米l:mo> ∞米米l:mi> 在我talic> 米米l:mi> 。 我们进一步分析参考,例如,( 10, 13- - - - - - 19]。现在我们让<我nline-formula> l米米l:mi> 1米米l:mn> 勒贝格可积函数的空间<我nline-formula> R米米l:mi> 和<我nline-formula> 米米l:mi> l米米l:mi> 1米米l:mn> 勒贝格可积的空间Boehmians [ 17)与一组<我nline-formula> Δ米米l:mi> 所有的三角洲序列<我nline-formula> (米米l:mo> δ米米l:mi> n米米l:mi> )米米l:mo> 从<我nline-formula> 米米l:mi> (测试函数空间的紧凑支持) (1) ∫米米l:mo> R米米l:mi> δ米米l:mi> n米米l:mi> =米米l:mo> 1米米l:mn> 对所有<我nline-formula> n米米l:mi> ∈米米l:mo> N米米l:mi> , (2) ∫米米l:mo> R米米l:mi> |米米l:mo> δ米米l:mi> n米米l:mi> |米米l:mo> <米米l:mo> 米米米l:mi> 对于某些正数<我nline-formula> 米米米l:mi> 和<我nline-formula> n米米l:mi> ∈米米l:mo> N米米l:mi> , (3) ∫米米l:mo> |米米l:mo> t米米l:mi> |米米l:mo> >米米l:mo> ε米米l:mi> |米米l:mo> δ米米l:mi> n米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> |米米l:mo> d米米l:mi> t米米l:mi> →米米l:mo> 0米米l:mn> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 对于每一个<我nline-formula> ε米米l:mi> >米米l:mo> 0米米l:mn> 。 然后,<我nline-formula> 米米l:mi> l米米l:mi> 1米米l:mn> 卷积是一种代数的点态操作吗 (我) λ米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> δ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> λ米米l:mi> f米米l:mi> n米米l:mi> /米米l:mo> δ米米l:mi> n米米l:mi> ]米米l:mo> , (2) (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> δ米米l:mi> n米米l:mi> ]米米l:mo> +米米l:mo> (米米l:mo> g米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> ϕ米米l:mi> n米米l:mi> +米米l:mo> g米米l:mi> n米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> )米米l:mo> /米米l:mo> (米米l:mo> δ米米l:mi> n米米l:mi> *米米l:mi> ϕ米米l:mi> n米米l:mi> )米米l:mo> ]米米l:mo> , (3) 和卷积 (3.5) (米米l:mo> f米米l:mi> n米米l:mi> δ米米l:mi> n米米l:mi> ]米米l:mo> *米米l:mi> (米米l:mo> g米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> g米米l:mi> n米米l:mi> δ米米l:mi> n米米l:mi> *米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> 。米米l:mo> 引理3.1。 让<我nline-formula> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> δ米米l:mi> n米米l:mi> ]米米l:mo> ∈米米l:mo> 米米l:mi> l米米l:mi> 1米米l:mn> ,那么序列 (3.6) F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> 1米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> ∫米米l:mo> R米米l:mi> f米米l:mi> n米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> 经验值米米l:mi> 米米l:mo> (米米l:mo> 我米米l:mi> 2米米l:mn> γ米米l:mi> 1米米l:mn> (米米l:mo> α米米l:mi> 1米米l:mn> t米米l:mi> 2米米l:mn> - - - - - -米米l:mo> 2米米l:mn> t米米l:mi> ξ米米l:mi> +米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> )米米l:mo> d米米l:mi> t米米l:mi> 每个紧集上一致收敛<我nline-formula> K米米l:mi> 在<我nline-formula> R米米l:mi> 。 证明。 让<我nline-formula> f米米l:mi> ̃米米l:mo> n米米l:mi> =米米l:mo> 米米l:mi> d米米l:mi> f米米l:mi> 。对于每一个紧集<我nline-formula> K米米l:mi> ,米米l:mo> δ米米l:mi> ̃米米l:mo> n米米l:mi> (米米l:mo> δ米米l:mi> ̃米米l:mo> n米米l:mi> =米米l:mo> 米米l:mi> d米米l:mi> δ米米l:mi> n米米l:mi> )米米l:mo> 一致收敛函数<我nline-formula> 经验值米米l:mi> (米米l:mo> - - - - - -米米l:mo> (米米l:mo> 我米米l:mi> α米米l:mi> 2米米l:mn> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> ξ米米l:mi> 2米米l:mn> )米米l:mo> 。因此,通过推论 2.7, (3.7) F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> f米米l:mi> ̃米米l:mo> n米米l:mi> δ米米l:mi> ̃米米l:mo> k米米l:mi> δ米米l:mi> ̃米米l:mo> k米米l:mi> =米米l:mo> e米米l:mi> (米米l:mo> 我米米l:mi> α米米l:mi> 2米米l:mn> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> ξ米米l:mi> 2米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> δ米米l:mi> k米米l:mi> )米米l:mo> δ米米l:mi> ̃米米l:mo> k米米l:mi> 。米米l:mo> 使用选择<我nline-formula> f米米l:mi> n米米l:mi> /米米l:mo> δ米米l:mi> n米米l:mi> 商的序列和雇佣推论 2.7,我们有 (3.8) F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> =米米l:mo> e米米l:mi> (米米l:mo> 我米米l:mi> α米米l:mi> 2米米l:mn> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> ξ米米l:mi> 2米米l:mn> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> k米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> )米米l:mo> δ米米l:mi> ̃米米l:mo> k米米l:mi> =米米l:mo> f米米l:mi> ̃米米l:mo> k米米l:mi> δ米米l:mi> ̃米米l:mo> k米米l:mi> δ米米l:mi> ̃米米l:mo> n米米l:mi> =米米l:mo> f米米l:mi> ̃米米l:mo> k米米l:mi> δ米米l:mi> ̃米米l:mo> k米米l:mi> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> e米米l:mi> - - - - - -米米l:mo> (米米l:mo> 我米米l:mi> α米米l:mi> 2米米l:mn> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> ξ米米l:mi> 2米米l:mn> 。米米l:mo> 这就完成了引理的证明。 通过使用这个引理,我们能够定义diffractional Boehmian的菲涅耳变换如下:<我nline-formula> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> δ米米l:mi> n米米l:mi> ]米米l:mo> 在我talic> 米米l:mi> l米米l:mi> 1米米l:mn> 作为 (3.9) R米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> δ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> lim米米l:mi> 米米l:mo> n米米l:mi> →米米l:mo> ∞米米l:mi> 米米l:mo> f米米l:mi> ̃米米l:mo> n米米l:mi> ,米米l:mo> 在紧凑的子集的限制范围我talic> R米米l:mi> 。现在,让<我nline-formula> (米米l:mo> X米米l:mi> n米米l:mi> /米米l:mo> δ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> (米米l:mo> Y米米l:mi> n米米l:mi> /米米l:mo> γ米米l:mi> n米米l:mi> ]米米l:mo> 在<我nline-formula> 米米l:mi> l米米l:mi> 1米米l:mn> ,然后 (3.10) X米米l:mi> n米米l:mi> *米米l:mi> γ米米l:mi> 米米米l:mi> =米米l:mo> Y米米l:mi> 米米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> ,米米l:mo> 为米米l:mtext> 每一个米米l:mtext> 米米米l:mi> ,米米l:mo> n米米l:mi> ∈米米l:mo> N米米l:mi> 。米米l:mo> 因此,上面两边采用菲涅耳变换方程 (3.11) F米米l:mi> d米米l:mi> (米米l:mo> X米米l:mi> n米米l:mi> *米米l:mi> γ米米l:mi> 米米米l:mi> )米米l:mo> =米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> Y米米l:mi> 米米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> )米米l:mo> =米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> Y米米l:mi> n米米l:mi> *米米l:mi> δ米米l:mi> 米米米l:mi> )米米l:mo> 。米米l:mo> 因此,使用定理 2.6事实上, (3.12) δ米米l:mi> ̃米米l:mo> n米米l:mi> 和米米l:mtext> δ米米l:mi> ̃米米l:mo> 米米米l:mi> ⟶米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> e米米l:mi> - - - - - -米米l:mo> (米米l:mo> 我米米l:mi> α米米l:mi> 2米米l:mn> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> ξ米米l:mi> 2米米l:mn> ,米米l:mo> 在紧凑的子集<我nline-formula> R米米l:mi> ,我们得到 (3.13) lim米米l:mi> 米米l:mo> n米米l:mi> →米米l:mo> ∞米米l:mi> F米米l:mi> d米米l:mi> X米米l:mi> n米米l:mi> =米米l:mo> lim米米l:mi> 米米l:mo> n米米l:mi> →米米l:mo> ∞米米l:mi> F米米l:mi> d米米l:mi> Y米米l:mi> n米米l:mi> 。米米l:mo> 因此, (3.14) R米米l:mi> (米米l:mo> X米米l:mi> n米米l:mi> δ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> R米米l:mi> (米米l:mo> Y米米l:mi> n米米l:mi> γ米米l:mi> n米米l:mi> ]米米l:mo> 。米米l:mo> 因此定义是定义良好的。 定理3.2。 让<我nline-formula> B米米l:mi> 1米米l:mn> 和<我nline-formula> B米米l:mi> 2米米l:mn> 在<我nline-formula> 米米l:mi> l米米l:mi> 1米米l:mn> 和<我nline-formula> α米米l:mi> ∈米米l:mo> ℂ米米l:mi> ,然后 (我) ℛ米米l:mi> (米米l:mo> α米米l:mi> B米米l:mi> 1米米l:mn> )米米l:mo> =米米l:mo> α米米l:mi> ℛ米米l:mi> B米米l:mi> 1米米l:mn> , (2) ℛ米米l:mi> (米米l:mo> B米米l:mi> 1米米l:mn> +米米l:mo> B米米l:mi> 2米米l:mn> )米米l:mo> =米米l:mo> ℛ米米l:mi> B米米l:mi> 1米米l:mn> +米米l:mo> ℛ米米l:mi> B米米l:mi> 2米米l:mn> , (3) ℛ米米l:mi> (米米l:mo> B米米l:mi> 1米米l:mn> *米米l:mi> δ米米l:mi> n米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> e米米l:mi> - - - - - -米米l:mo> (米米l:mo> 我米米l:mi> α米米l:mi> 2米米l:mn> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> ξ米米l:mi> 2米米l:mn> ℛ米米l:mi> B米米l:mi> 1米米l:mn> =米米l:mo> ℛ米米l:mi> (米米l:mo> δ米米l:mi> n米米l:mi> *米米l:mi> B米米l:mi> 1米米l:mn> )米米l:mo> , (iv) 如果<我nline-formula> ℛ米米l:mi> B米米l:mi> 1米米l:mn> =米米l:mo> 0米米l:mn> ,然后<我nline-formula> B米米l:mi> 1米米l:mn> =米米l:mo> 0米米l:mn> , (v) 如果<我nline-formula> B米米l:mi> n米米l:mi> →米米l:mo> Δ米米l:mi> B米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 在<我nline-formula> ℬ米米l:mi> l米米l:mi> 1米米l:mn> ,然后<我nline-formula> ℛ米米l:mi> B米米l:mi> n米米l:mi> →米米l:mo> Δ米米l:mi> ℛ米米l:mi> B米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 在<我nline-formula> 米米l:mi> l米米l:mi> 1米米l:mn> 在紧凑的子集。 证明。 的证明(我),(ii)和(iv)遵循的对应属性分配菲涅耳变换。因为每一<我nline-formula> f米米l:mi> ∈米米l:mo> E米米l:mi> ´米米l:mo> 有一个代表 (3.15) f米米l:mi> ⟶米米l:mo> (米米l:mo> f米米l:mi> *米米l:mi> ϕ米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> ,米米l:mo> 在空间<我nline-formula> 米米l:mi> l米米l:mi> 1米米l:mn> 从推论2.7,(3)部分。最后,部分的证明(v)类似于用于证明部分(f) ( 17定理2]。这就完成了这个定理的证明。 定理3.3。 菲涅耳变换<我nline-formula> ℛ米米l:mi> 是连续的吗<我nline-formula> δ米米l:mi> 收敛。 证明。 让<我nline-formula> B米米l:mi> n米米l:mi> →米米l:mo> δ米米l:mi> B米米l:mi> 在<我nline-formula> B米米l:mi> l米米l:mi> 1米米l:mn> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> ,那么我们显示<我nline-formula> ℛ米米l:mi> B米米l:mi> n米米l:mi> →米米l:mo> δ米米l:mi> ℛ米米l:mi> B米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 。使用[ 17定理2.6),我们发现<我nline-formula> (米米l:mo> f米米l:mi> n米米l:mi> ,米米l:mo> k米米l:mi> /米米l:mo> δ米米l:mi> k米米l:mi> ]米米l:mo> =米米l:mo> B米米l:mi> n米米l:mi> 和<我nline-formula> (米米l:mo> f米米l:mi> k米米l:mi> /米米l:mo> δ米米l:mi> k米米l:mi> ]米米l:mo> =米米l:mo> B米米l:mi> 这样<我nline-formula> f米米l:mi> n米米l:mi> ,米米l:mo> k米米l:mi> →米米l:mo> f米米l:mi> k米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> ,米米l:mo> k米米l:mi> ∈米米l:mo> N米米l:mi> 。菲涅耳变换申请双方暗示<我nline-formula> f米米l:mi> ̃米米l:mo> n米米l:mi> ,米米l:mo> k米米l:mi> →米米l:mo> f米米l:mi> ̃米米l:mo> k米米l:mi> 在连续函数空间。因此,考虑到极限,我们得到的 (3.16) R米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> ,米米l:mo> k米米l:mi> δ米米l:mi> k米米l:mi> ]米米l:mo> ⟶米米l:mo> R米米l:mi> (米米l:mo> f米米l:mi> k米米l:mi> δ米米l:mi> k米米l:mi> ]米米l:mo> 。米米l:mo> 这就完成了这个定理的证明。 定理3.4。 菲涅耳衍射变换<我nline-formula> ℛ米米l:mi> 是连续的吗<我nline-formula> Δ米米l:mi> 收敛。 证明。 让<我nline-formula> B米米l:mi> n米米l:mi> →米米l:mo> Δ米米l:mi> B米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 在<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> ,那么就<我nline-formula> f米米l:mi> n米米l:mi> ∈米米l:mo> l米米l:mi> 1米米l:mn> 和<我nline-formula> δ米米l:mi> n米米l:mi> ∈米米l:mo> Δ米米l:mi> 这样 (3.17) (米米l:mo> B米米l:mi> n米米l:mi> - - - - - -米米l:mo> B米米l:mi> )米米l:mo> *米米l:mi> δ米米l:mi> n米米l:mi> =米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> δ米米l:mi> k米米l:mi> ]米米l:mo> ,米米l:mo> f米米l:mi> n米米l:mi> →米米l:mo> 0米米l:mn> 作为米米l:mtext> n米米l:mi> →米米l:mo> ∞米米l:mi> 。米米l:mo> 因此 (3.18) R米米l:mi> (米米l:mo> (米米l:mo> B米米l:mi> n米米l:mi> - - - - - -米米l:mo> B米米l:mi> )米米l:mo> *米米l:mi> δ米米l:mi> n米米l:mi> )米米l:mo> =米米l:mo> R米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> δ米米l:mi> k米米l:mi> ]米米l:mo> ⟶米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> δ米米l:mi> n米米l:mi> )米米l:mo> 作为米米l:mtext> n米米l:mi> →米米l:mo> ∞米米l:mi> ⟶米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> e米米l:mi> - - - - - -米米l:mo> (米米l:mo> 我米米l:mi> α米米l:mi> 2米米l:mn> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> )米米l:mo> ξ米米l:mi> 2米米l:mn> F米米l:mi> d米米l:mi> f米米l:mi> n米米l:mi> 作为米米l:mtext> n米米l:mi> ⟶米米l:mo> ∞米米l:mi> 通过米米l:mtext> 必然的结果米米l:mtext> 2.7米米l:mn> ⟶米米l:mo> 0米米l:mn> 通过米米l:mtext> 的米米l:mtext> 线性米米l:mtext> 的米米l:mtext> F米米l:mi> d米米l:mi> f米米l:mi> n米米l:mi> 。米米l:mo> 因此,<我nline-formula> ℛ米米l:mi> (米米l:mo> B米米l:mi> n米米l:mi> - - - - - -米米l:mo> B米米l:mi> )米米l:mo> →米米l:mo> 0米米l:mn> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 。因此,<我nline-formula> ℛ米米l:mi> B米米l:mi> n米米l:mi> →米米l:mo> Δ米米l:mi> ℛ米米l:mi> B米米l:mi> 作为<我nline-formula> n米米l:mi> →米米l:mo> ∞米米l:mi> 。这就完成了证明。 引理3.5。 让<我nline-formula> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ]米米l:mo> ∈米米l:mo> ℬ米米l:mi> l米米l:mi> 1米米l:mn> 和<我nline-formula> ϕ米米l:mi> ∈米米l:mo> 米米l:mi> (米米l:mo> R米米l:mi> )米米l:mo> ,然后 (3.19) R米米l:mi> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> *米米l:mi> ϕ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> e米米l:mi> 我米米l:mi> (米米l:mo> 2米米l:mn> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> R米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> *米米l:mi> F米米l:mi> d米米l:mi> ϕ米米l:mi> 。米米l:mo> 证明。 让<我nline-formula> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ]米米l:mo> ∈米米l:mo> 米米l:mi> l米米l:mi> 1米米l:mn> ,然后使用( 3.9),我们有 (3.20) R米米l:mi> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> *米米l:mi> ϕ米米l:mi> )米米l:mo> =米米l:mo> R米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> ϕ米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> =米米l:mo> lim米米l:mi> 米米l:mo> n米米l:mi> →米米l:mo> ∞米米l:mi> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> *米米l:mi> ϕ米米l:mi> )米米l:mo> ,米米l:mo> 在紧凑的子集<我nline-formula> R米米l:mi> 。通过应用定理 2.6,它的收益率 (3.21) R米米l:mi> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> ϕ米米l:mi> n米米l:mi> ]米米l:mo> *米米l:mi> ϕ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> e米米l:mi> 我米米l:mi> (米米l:mo> 2米米l:mn> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> lim米米l:mi> 米米l:mo> n米米l:mi> →米米l:mo> ∞米米l:mi> F米米l:mi> d米米l:mi> (米米l:mo> f米米l:mi> (米米l:mo> t米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> F米米l:mi> d米米l:mi> (米米l:mo> ϕ米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 。米米l:mo> 因此,<我nline-formula> ℛ米米l:mi> (米米l:mo> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ]米米l:mo> *米米l:mi> ϕ米米l:mi> )米米l:mo> =米米l:mo> 2米米l:mn> π米米l:mi> 我米米l:mi> γ米米l:mi> 1米米l:mn> e米米l:mi> 我米米l:mi> (米米l:mo> 2米米l:mn> α米米l:mi> 1米米l:mn> t米米l:mi> τ米米l:mi> - - - - - -米米l:mo> α米米l:mi> 2米米l:mn> ξ米米l:mi> 2米米l:mn> )米米l:mo> /米米l:mo> 2米米l:mn> γ米米l:mi> 1米米l:mn> ℛ米米l:mi> (米米l:mo> f米米l:mi> n米米l:mi> /米米l:mo> ϕ米米l:mi> n米米l:mi> ]米米l:mo> 米米l:mi> d米米l:mi> (米米l:mo> ϕ米米l:mi> (米米l:mo> τ米米l:mi> )米米l:mo> ;米米l:mo> ξ米米l:mi> )米米l:mo> 。这就完成了引理的证明。 确认 作者要感谢裁判有价值的评论和建议的先前版本。第二作者欣然承认,这项研究支持的部分大学Putra马来西亚在研究型大学授予计划没有。05 - 01 - 09 - 0720俄文。 1 Namias V。 分数阶傅里叶变换及其应用量子力学 IMA应用数学杂志》上我talic> 1980年 25 3我ssue> 241年 265年 2 - s2.0 - 77958407025 10.1093 / imamat / 25.3.241 ZBL0434.42014 2 Mendlovic D。 Ozaktas h . M。 分数傅里叶变换及其光学实现:我 美国光学学会杂志》上我talic> 1993年 10 9我ssue> 1875年 1881年 2 - s2.0 - 0027652515 10.1364 / JOSAA.10.001875 3 Ozaktas H。 Mendlovic D。 分数傅里叶变换及其光学实现。二世 美国光学学会杂志》上我talic> 1993年 10 12我ssue> 2522年 2531年 2 - s2.0 - 0027740848 10.1364 / JOSAA.10.002522 4 贝尔纳多 l . M。 苏亚雷斯 o . D D。 分数傅里叶变换和光学系统 光学通信我talic> 1994年 110年 5 - 6我ssue> 517年 522年 2 - s2.0 - 0028496555 10.1016 / 0030 - 4018 (94)90242 - 9 5 罗曼 答:W。 图像旋转,维格纳旋转,分数傅里叶变换 美国光学学会杂志》上我talic> 1993年 10 10我ssue> 2181年 2186年 2 - s2.0 - 0027682286 10.1364 / JOSAA.10.002181 6 Kılıcman 一个。 菲涅耳正弦积分和卷积 国际数学和数学科学杂志》上我talic> 2003年 2003年 37我ssue> 2327年 2333年 2 - s2.0 - 17844382677 10.1155 / S0161171203211510 7 Kılıcman 一个。 费雪 B。 菲涅耳积分和卷积 国际数学和数学科学杂志》上我talic> 2003年 2003年 41我ssue> 2635年 2643年 2 - s2.0 - 17844397434 10.1155 / S0161171203211522 ZBL1043.33001 8 默茨 l 在光学转换我talic> 1965年 纽约,纽约,美国 威利 9 风扇 h . Y。 陆 h·L。 波函数的转换由SU(1,1)单模压缩和类比在波动光学菲涅耳变换 光学通信我talic> 2006年 258年 1我ssue> 51 58 2 - s2.0 - 28544434993 10.1016 / j.optcom.2005.07.044 10 al omari s . k . Q。 Loonker D。 纳杰 p K。 卡拉 s . L。 傅里叶正弦(余弦)变换为ultradistributions及其扩展回火和ultraBoehmian空间 积分变换和特殊功能我talic> 2008年 19 6我ssue> 453年 462年 2 - s2.0 - 45949110551 10.1080 / 10652460801936721 ZBL1215.42007 11 帕沙克 r S。 积分变换的广义函数和他们的应用程序我talic> 1997年 阿姆斯特丹,荷兰 戈登和违反科学出版商 十六世+ 415 1630717 12 Zemanian a . H。 广义积分转换我talic> 1987年 2日 纽约,纽约,美国 多佛出版物 十六世+ 300 896486年 13 al omari s . k . Q。 广义斯蒂尔吉斯和特定空间的广义函数的傅里叶变换 约旦《数学和统计数据我talic> 2009年 2 2我ssue> 55 66年 14 al omari s . k . Q。 在分配上梅林变换及其扩展Boehmian空间 国际当代数学科学杂志》上我talic> 2011年 6 17我ssue> 801年 810年 15 al omari s . k . Q。 勒贝格可积Boehmians梅林变换的空间 国际当代数学科学杂志》上我talic> 2011年 6 32我ssue> 1597年 1606年 16 伯麦 t·K。 Mikusinski运营商的支持 事务的美国数学学会我talic> 1973年 176年 319年 334年 ZBL0268.44005 17 Mikusiński P。 为可积Boehmians傅里叶变换 落基山数学杂志》上我talic> 1987年 17 3我ssue> 577年 582年 908263年 10.1216 / rmj - 1987 - 17 - 3 - 577 ZBL0629.44005 18 Mikusiński P。 收敛的Boehmians 日本数学杂志我talic> 1983年 9 1我ssue> 159年 179年 722539年 ZBL0524.44005 19 Roopkumar R。 梅林变换为Boehmians 数学研究所的公告。台湾中央研究院我talic> 2009年 4 1我ssue> 75年 96年 2512849 ZBL1182.46030