群论在信号处理中的应用Word下载.docx
- 文档编号:368644
- 上传时间:2023-04-28
- 格式:DOCX
- 页数:14
- 大小:298.71KB
群论在信号处理中的应用Word下载.docx
《群论在信号处理中的应用Word下载.docx》由会员分享,可在线阅读,更多相关《群论在信号处理中的应用Word下载.docx(14页珍藏版)》请在冰点文库上搜索。
如果e既是左单位元又是右单位元,则e叫做G的单位元。
Ⅲ.对G中每个元素a在G中都有元素a^(-1),叫做a的左逆元,使a^(-1)*a=e;
则称G对代数运算*做成一个群。
一般说来,群指的是对于某一种运算*,满足以下四个条件的集合G:
(1)封闭性:
若a,b∈G,则存在唯一确定的c∈G,使得a*b=c;
(2)结合律成立:
任意a,b,c∈G,有(a*b)*c=a*(b*c);
(3)单位元存在:
存在e∈G,对任意a∈G,满足a*e=e*a=a,称e为单位元,也称幺元;
(4)逆元存在:
任意a∈G,存在唯一确定的b∈G, a*b=b*a=e(单位元),则称a与b互为逆元素,简称逆元,记作a^(-1)=b.
通常称G上的二元运算*为“乘法”,称a*b为a与b的积,并简写为ab。
若群G中元素个数是有限的,则G称为有限群。
否则称为无限群。
有限群的元素个数称为有限群的阶。
1.3群论在各领域的应用
群论是近代数学的一个分支,它是研究群的结构及其应用的数学理论。
是一门比较抽象的数学学科。
因为它可以用于基本粒子、核结构、原子结构和晶体结构等许多学科的各个方面,因此它已成为近代理论研究的很重要的工具,如 :
在分子结构测定中,需要测定有关晶体结构、红外光谱、偶极距、旋光性等,这些性质主要是由分子的对称性决定的,而分子对称性的研究是以运用群论为基础的[3]。
认识物质结构的最重要的理武器是《量子力学》,它对化学的应用便形成了《量子化学》,而群论架起了分子对称性和量子力学之间联系的桥梁。
鉴于描述电子运动状态的波函数必须构成分子所属点群的不可约表示的基,所以从分子的对称性出发,运用群论的方法,有助于解决结构化学和量子化学中的许多问题[4]群论在化学方面的应用很广泛,在应用于原子、分子结构问题上,但是它不能回答它们的所有结构问题,只能在一定程度上解决与分子对称性有关的那一部分问题,解决其它问题,还需要其它多方面的知识。
科研工作者们也常常会遇到的很多工程结构物或者机械零件往往具有很多对称性。
在过去利用计算尺进行计算时为了减少计算工作量,总是尽量利用结构的对称性质。
结构分析的电子计算机方法出现之后,过去手算不能完成的高次超静定结构现在也能解算出精确的解答了。
但是随着题目越来越允未知数个数很多,.存储量又显得不够了。
而且人们已经不满足于计算一个具体结构,而是进一步作设计,此时需要修改尺寸反复进行计算,计算工作也成为一个大问题了。
另外,原始数据的穿孔也使人感到厌烦而容易出错。
在这样的条件下结构对称性的利用又具有很大的兴趣了。
对于空间结构的分析这个问题就变得比较突出。
空间结构一般未知数很多,采用条形矩阵的存储带宽也比较大。
存储量的消费比较大,计算工作量也很大,一般的小型计算机就解算不了。
而且原始数据的准备也要用掉许多功夫。
考虑到空间结构往往具有很多对称性,利用这些条件,可以得到很大利益。
过去在结构力学中谈到对称性,往往都是指镜像对称,或者是完全的轴对称。
但是现在有一些杆系空间结构,它既没有宪全的轴对称,然而也不止单纯是一个镜像对称而已。
对于这样一类对称性结构的分析就应当利用“群论”这个数学工具。
利用群论来分析对称性在量子力学中早就应用了,但是在结构分析中还很少见到应用。
但一些科研工作者还是采用了群论的数学工具,利用电子计算机解算了一些空间结构的课题[6]。
可见,群论在结构分析中也能得到相应的应用。
近年来,有人试图将群论引入到网络理论中,曾得到了一些结果。
还有人以群论为工具,研究了网络理论中的双口网络集合,双口变换器集合,用群论的方法找出了它们之间的联系,为网络的设计和分析简化,寻找出有效的途径,同时也是群论的应用的一个新的领域。
群论被广泛用于物理、化学及工程科学等许多领域,尤其是物理学成为受惠最多的学科,从经典物理中对称性和守恒律的研究到量子力学中角动量理论及动力学对称性的探索再到同位旋、超荷和SU(3)对称性在现代基本粒子物理中的应用等无不闪耀着群论思想的光辉[7]。
粗略地说,我们经常用群论来研究对称性,这些对称性能够反映出在某种变化下的某些变化量的性质。
它也跟物理方程联系在一起。
基础物理中常被提到的李群,就类似与伽罗瓦群被用来解代数方程,与微分方程的解密切相关。
在物理上,置换群是很重要的一类群。
置换群包括S3群,二维旋转群,三维旋转群以及和反应四维时空相对应的洛仑兹群。
洛仑兹群加上四维变换就构成了Poincare群。
另外,晶体学中早期的关于晶体的各种结构的问题中,也是靠群论中的费得洛夫群的研究给出了答案。
群论指出,空间中互不相同的晶体结构只有确定的230种。
时至今日,群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一。
它不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用,还形成了一些新学科如拓扑群、李群、代数群、算术群等,它们还具有与群结构相联系的其他结构如拓扑、解析流形、代数簇等,并在结晶学、理论物理、量子化学以至(代数)编码学、自动机理论等方面,都有重要的应用。
正如美国著名数学史家贝尔(E.T. Bell,1883~1960)所说:
“无论在什么地方,只要能应用群论,从一切纷乱混淆中立刻结晶出简洁与和谐。
群的概念是近世纪科学思想的出色的新工具之一。
”从数学上说,群论继续以自身的规律向前发展。
无穷维李代数,带参数的李代数,辫子群等各种新型和抽象的对称性质不断发现和得到深入研究。
从物理上说,许多新发现的物质相互作用规律,需要根据群论方法,从对称性研究中获得启示。
用群论方法发现的物理系统中隐藏的对称性,大大促进了物理实验和理论的发展。
群论方法已成为在物理学第一线从事创新研究的必备数学工具。
2用群论的基础知识理解信号处理中的一些基本概念
探索信息技术与计算技术的数学基础,是人类应用已有的数学理论与方法解决相关领域实际问题的过程.信号处理技术的本质就是将信号视为数学中的函数,用积分变换、泛函分析、数值计算、复变函数论、随机过程等数学工具研究信号。
下面运用抽象代数中群论的一些初步的知识帮助理解信号处理课程中的一些基本概念。
2.1时域和频域信号空间的群同构关系
2.1.1 将时域和频域信号空间视为两个幺半群
在信号处理学科中把随时间变化的信号称为时域信号,时域信号实质上就是时间的函数,自变量用t表示.信号可类比函数的概念,可以借助数学中研究函数的工具研究信号,其中一条途径就是对时域信号作Fourier积分变换得到信号的象函数即频谱(自变量通常用ω表示),研究其频域的特点。
理论上讲,函数或信号的Fourier变换存在是有条件的,但实际工程问题中信号的Fourier变换的存在性问题可以忽略,因为物理可实现性是变换存在的一个有效的充分条件。
当引入广义函数δ(t)后,Fourier变换存在的函数或信号更加扩展。
鉴于此,本文仅讨论Fourier变换存在的信号,并且Fourier变换是可逆的。
用以下记号表示Fourier 变换:
式中f(t)是时域原信号,F(ω)是f(t) 的频谱。
幺半群是一种基本的代数系统,它的定义如下:
设在非空集合G内定义了一个二元运算(称为“乘
法”),且满足两个条件:
(1)该运算满足结合律,
(2) 存在单位元(幺元),则称G为一个幺半群。
下面说明当适当定义时域和频域信号空间对于各自的运算后,它们分别都可以构成幺半群。
对于时域信号空间,可以将卷积视为一个二元运算。
首先根据卷积的运算性质可知卷积满足结合律;
然后考虑幺元,按照Dirac对冲激函数δ(t)的定义,任何函数与δ(t) 作卷积都是其自身,即对于任何信号f(t) 都有
因此对于卷积运算存在单位元δ(t),时域信号空间构成一个幺半群。
2.1.2 讨论以上两个空间构成群的情况
对于频域信号空间,可以将普通的乘法视为一个二元运算。
由于普通乘法满足结合律,所以频域信
号空间自然满足结合律。
频域信号中的白色谱
就是单位元,因为任何信号乘以1都不变。
因此在乘法意义下频域信号空间关于幺半群的定义两个条件都满足,即频域信号空间也构成一个幺半群。
群和幺半群的区别在于群在幺半群的基础上还需存在逆元。
首先考虑频域信号空间,对任一频谱F(ω)欲在此空间中找到一个H(ω) ,使得
(4)
从数学的角度分析,一个函数可能存在零值,若存在某一ω0 使得F(ω0)=0时,无论H(ω)取何值都不可能使(4) 式成立.而在实际应用中往往不这么严格,此问题通常有以下两种处理方式:
(1)当F(ω) 是有理分式时,如分析大多数系统函数的时候,可将H(ω)取成F(ω)的倒分式,此时H(ω)与F(ω)零、极点相消。
(2)重新定义F(ω) 在ω0 及其附近的取值,如图像处理技术中的逆滤波技术。
在做图像的恢复时,可将图像的退化过程看作是原图像通过一个系统,这个系统的系统函数不设零点。
以上两种方法均能有效地同避零点问题,因此在解决实际问题时通常认为可以找到H(ω)使得(4)式成立,有时也可写成:
(5)
考虑时域信号空间逆元的情况,为求任一时域信号f (t) 的逆元,不妨设h (t)满足
通过取Fourier变换将上式转换剑频域,得到(4) 或(5)式,求得H(ω),然后对H(ω)取Fourier逆变换即可得f(t) 的逆元h(t)。
另外也可以通过时域反卷积求出h(t)。
当考虑具体应用时,时域信号空间和频域信号空间都可看作是满足逆元条件的,即二者分别都构成群。
(4) 式虽然形式简单却有重要的物理意义,当两个系统的系统函数互为逆元时(就是常说的倒数关系),这两个系统就称互为逆系统,它们的零点和极点有准确的对应关系。
利用逆系统可以实现逆滤波、系统辨识、网络综合等功能。
2.1.3 时域和频域信号空间的同构关系
信号处理中熟知的结论“时域卷积对应于频域相乘”就是指Fourier变换的卷积特性,即对于任意两个时域信号f(t)、h(t),它们卷积后的Fourier变换与频谱F(ω)、H(ω)有如下关系:
(7)
用数学的语言解释就是:
在时域的卷积运算和频域的相乘运算下,Fourier 变换构成了从时域信号空间到频域信号空间的同态映射;
同时Fourier 逆变换也构成了从频域信号空间到时域信号空间的同态映射。
在引入了δ(t)之后,Fourier变换建立了时域信号空间和频域信号空间之间的一一对应,即Fourier正、逆变换互为逆映射.当两个信号空间之间存在一一对应时,它们就是同构的。
下面从这个角度出发来理解信号处理中的一些基本概念。
2.2 时域和频域信号空间的群同构关系的应用
2.2.1同态映射的应用
在学习信号与系统等课程时要对Fourier变换的一些性质推导,下面运用上面得出的结论比较一下不同的推导方法。
(7)式的同态关系表明在时域内计算两个信号的卷积和频域内两个信号的乘积是等价的,在计算信号的频谱时利用这个结论有时可使计算简便。
例如导出Fourier变换的延迟性质:
(8)
其中t0是延迟的时间.可以先将f(t-t0)视为f(t)*δ(t-t0),然后将两者的频谱相乘,即:
因此(8) 式得证。
又如推导Fourier变换的时域微分性质(其中j 为虚数单位) :
(9)
欲求f′(t)的频谱可以先将f′(t) 视为δ′(t)*f(t),其中δ′(t)是δ(t)的导函数,然后将两者的频谱相乘,即
因此(9)式得证.
对比上述的推导和信号处理课程的教材,不难发现这种方法相对简洁。
2.2.2群同构的应用
在抽象代数中关于互相同构的两个群有两条重要的性质:
(1)如果其中一个群的二元运算满足交换律和结合律,则另一个群也满足交换律和结合律。
(2)一个群的单位元、逆元可分别映射到另一个群的单位元、逆元。
通过性质
(1)可以解释卷积的运算性质。
由于卷积和普通的乘法是时域和频域中两个互相对应的运算,而普通的乘法运算满足交换律和结合律,根据这条性质便可得知卷积运算也应该满足交换律和结合律。
通过性质
(2)可以帮助我们理解时域和频域信号的幺元、逆元对应关系。
δ(t)和1分别是时域和频域信号空间的单位元,在Fourier变换下,它们正好构成一对时域到频域的映射,因为一个群的单位元恰好对应另一个群的单位元。
逆元的对应关系也是显然的,在(4)式中H(ω)是F(ω)的逆元,当对(4) 式作Fourier 逆变换得到(6)式时,对应于时域中h(t)就是f(t)的逆元,这就是两个群中的逆元相互对应的体现。
3一种信号多辨分析的新方法
小波分析由于其在时域和频域的局域性能好,在信号处理时可得很好的结果,特别对一维信号的处理.小波研究包含理论研究和应用研究两大类,前者以MeyerY,ChuiCK,DaubechiesI等人为代表,其研究成果如各种小波,各种框架理论等均富有特色;
后者以WichhauserMV等人为代表,在科技信息领域取得了令人瞩目的成就。
伴随GHM 多小波的成功构造,多小波,已成小波理论研究的新热点,引起了来自数学界、工程界等领域的科学家及研究者们的浓厚兴趣。
多小波之所以受到世人的瞩目,主要原因是它既保持了单小波的诸多优点,又克服了单小波的缺陷,实际应用中可以把十分重要的光滑性,紧支性,对称性等完美地结合在一起。
众所周知,在图象处理的应用中,正交性能保持能量;
对称性(线性相位)既适合人眼的视觉系统,又使信号的边界易于处理;
紧支撑的小波对应的滤波器是有限脉冲响应(FIR)的滤波器,使得相应的快速小波变换的和是有限和,小波的光滑性在数据压缩中也起着重要作用,构造同时具有如上优良性质的小波是理论研究者追寻的目标之一.然而理论上完美的多小波在实际应用于中仍存在很多问题,如对信号处理需首先进行预滤波,而预滤波又会破坏所设计的多重小波的特性等,这为多小波理论的应用带来巨大的难题。
为了解决这一难题,迄今已有许多学者对此进行了研究,并给出了相应的预滤波设计。
目前小波理论还需要解决如下问题:
(1)小波的基础理论与方法研究。
除一维小波理论较为成熟外,高维小波,向量小波理论与人们的期待尚相距甚远,对各类小波(如正交小波,二进小波,连续小波,离散小波)的构造和基本性质的研究尚不充分。
(2)关于最佳小波基的选取原则,目前仍缺乏系统规范的方法。
(3)离散小波分析目前主要用单尺度函数,因此处理时也可能丢失很多有用的信息。
而且尺度函数构造比较复杂,信号的逼近精度不好估计。
利用有限元和群论方法构造与离散小波类似基于正交有限元基的有限元多辨分析理论,可以用于信号处理。
3.1基本理论
定于局域函数:
设函数周期区域为0≤x≤L,利用平移算子Cin,i=0,1,2,……,n-1,将定义局域0≤x≤L/n的函数
扩展到整个周期区域的那个基函数,设
构造有限元空间
可以将函数分解为高频和低频:
虽然有限元可以实现空间的细分,但是求解比较困难,因此,利用群论方法将有限元空间正交化。
阿贝尔群
利用算子
可以得到群上空间的正交基为:
其中:
于是在有限元空间
中找到正交有限元基:
上述函数满足
3.2有限元多辩分析理论
考虑一般函数在有限元空间
的分解,应用最小二乘法有
其中:
正交函数基构成周期区域有限元的完备系,因此,在周期区域中用正交有限元基逼近与有限元逼近时一致的。
对于一般非周期区域可以应用周期扩展使其成为周期区域,由于用正交有限元逼近本质上是有限元逼近,所以精度估计可以沿用有限元的方法。
现在考虑一般函数在
分解和
分解的关系,应用最小二乘法可得:
其中
设:
上式可写成:
3.3信号的压缩与恢复
以上即为信号的压缩算法,信号通过
得到大幅度压缩,必须注意的是总的信号样本没有减少,但
的变化幅度大大降低,因而使得信号得到压缩。
利用信号压缩的反过程既可以实现信号的恢复。
利用群论与结点有限元方法构造正交分布多项式函数,利用合成群列建立细剖分有限元与粗剖分有限元的关系,从而实现类似与离散小波分析的信号处理方法。
本文中的方法相对与小波分析具有精度易估计,逼近精度高等特点。
4总结
信号处理实质上就是运用数学工具研究信号的特性,揭示信号传达的信息。
本文将Fourier变换与抽象代数的群的一些基本知识相结合,借助数学知识中已有的结论理解时域和频域信号空间的内在联系。
在这方面还可以进行更深入的讨论,例如将信号空间上的各种正交变换视为一个群,可以引入正交变换群的概念,从而研究正交变换群在信号空间上的作用的一般理论;
如果在群的基础上引入加法运算,可以将对信号空间的认识扩展到交换函数环的层面,还能进一步发掘信号空间的一些潜在规律,从一个新的角度去认识信号处理中的一些基本概念。
参考文献:
[1]李世维.代数方程与置换群[M].上海:
上海教育出版社,1981.
[2]徐婉棠,喀兴林.群论及其在固体物理中的应用[M].北京:
高等教育出版社,1999.
[3]何劼. 用群论的基础知识理解信号处理中的一些基本概念[J].中央民族大学学报,2007,3(16):
259-261
[4]林福泳,王太勇.一种信号多辩分析的新方法[J].西南交通大学学报,2003,38(5):
574-578
[5]ﻩ马中骐.对称性和群论方法[J].现代物理知识,2012,24(4):
30-31.
[6]钟万勰,裘春航,程耿东.群论在结构分析中的应用[J].力学学报.
1978(04).
[7] 林圣路,张秋菊,高嵩,张延惠.物理学中的群论基础[M].山东:
山东大学出版社,2010.
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 群论 信号 处理 中的 应用