群论在信号处理中的应用

群论在信号处理中的应用

1 引言

1.1 群论的历史与背景

群论是法国传奇式人物埃瓦里斯特•伽罗瓦(Evariste Galois,1811~1832)的发明。伽罗瓦是一位天才的数学家,但刚过 20 岁就不幸死于一场愚蠢的决斗。伽罗瓦在决斗的前一夜,还在匆匆完成他的伟大数学创造。他创建了群论,并用群论证明了代数方程能用根式求解的条件,证明了一般的五次和五次以上代数方程不能通过有限次加、减、乘、除和开方来精确求解。

群在抽象代数中具有基本的重要地位:许多代数结构,包括环、域和模等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现,而且群论的研究方法也对抽象代数的其它分支有重要影响。群论的重要性还体现在物理学和化学的研究中,因为许多不同的物理结构,如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。

1.2 群的定义以及基本性质

首先来简要说明一下群的定义:设G 是一个非空集合,*是它的一个代数运算,如果满足以下条件: Ⅰ. 结合律成立,即对G 中任意元素a,b,c 都有 (a*b)*c=a*(b*c);

Ⅱ.G 中有元素e ,它对G 中每个元素a 都有 e*a=a,叫做G 的左单位元;G 中有元素e ,它对G 中每个元素a 都有 a*e=a,叫做G 的右单位元;如果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 称为有限群。否则称为无限群。有限群的元素个数称为有限群的阶。

[2]

1.3 群论在各领域的应用

群论是近代数学的一个分支,它是研究群的结构及其应用的数学理论。是一门比较抽象的数学学科。因为它可以用于基本粒子、核结构、原子结构和晶体结构等许多学科的各个方面,因此它已成为近代理论研究的很重要的工具,如 :在分子结构测定中,需要测定有关晶体结构、红外光谱、偶极距、旋光性等,这些性质主要是由分子的对称性决定的,而分子对称性的研究是以运用群论为基础的。认识物质结构的最重要的理武器是《量子力学》,它对化学的应用便形成了《量子化学》,而群论架起了分子对称性和量子力学之间联系的桥梁。鉴于描述电子运动状态的波函数必须构成分子所属点群的不可约表示的基,所以从分子的对称性出发,运用群论的方法,有助于解决结构化学和量子化学中的许多问题群论在化学方面的应用很广泛,在应用于原子、分子结构问题上,但是它不能回答它们的所有结构问题,只能在一定程度上解决与分子对称性有关的那一部分问题,解决其它问题,还需要其它多方面的知识。

科研工作者们也常常会遇到的很多工程结构物或者机械零件往往具有很多对称性。在过去利用计算尺进行计算时为了减少计算工作量,总是尽量利用结构的对称性质。结构分析的电子计算机方法出现之后,过去手算不能完成的高次超静定结构现在也能解算出精确的解答了。但是随着题目越来越允未知数个数很多,. 存储量又显得不够了。而且人们已经不满足于计算一个具体结构,而是进一步作设计,此时需要修改尺寸反复进行计算,计算工作也成为一个大问题了。另外,原始数据的穿孔也使人感到厌烦而容易出错。在这样的条件下结构对称性的利用又具有很大的兴趣了。对于空间结构的分析这个问题就变得比较突出。空间结构一般未知数很多,采用条形矩阵的存储带宽也比较大。存储量的消费比较大,计算工作量也很大,一般的小型计算机就解算不了。而且原始数据的准备也要用掉许多功夫。考虑到空间结构往往具有很多对称性,利用这些条件,可以得到很大利益。过去在结构力学中谈到对称性,往往都是指镜像对称,或者是完全的轴对称。但是现在有一些杆系空间结构,它既没有宪全的轴对称,然而也不止单纯是一个镜像对称而已。对于这样一类对称性结构的分析就应当利用“群论”这个数学工具。利用群论来分析对称性在量子力学中早就应用了,但是在结构分析中还很少见到应用。但一些科研工作者还是采用了群论的数学工具,利用电子计算机解算了一些空间结构的课题。可见,群论在结构分析中也能得到相应的应用。

近年来, 有人试图将群论引入到网络理论中, 曾得到了一些结果。还有人以群论为工具, 研究了网络理论中的双口网络集合, 双口变换器集合, 用群论的方法找出了它们之间的联系, 为网络的设计和分析简化, 寻找出有效的途径, 同时也是群论的应用的一个新的领域。

群论被广泛用于物理、化学及工程科学等许多领域,尤其是物理学成为受惠最多的学科, 从经典物理中对称性和守恒律的研究到量子力学中角动量理论及动力学对称性的探索再到同位旋、超荷和SU (3)对称性在现代基本粒子物理中的应用等无不闪耀着群论思想的光辉。粗略地说,我们经常用群论来研究对称性,这些对称性能够反映出在某种变化下的某些变化量的性质。它也跟物理方程联系在一起。基础物理中常被提到的李群,就类似与伽罗瓦群被用来解代数方程,与微分方程的解密切相关。

在物理上,置换群是很重要的一类群。置换群包括S3群,二维旋转群,三维旋转群以及和反应四维时空相对应的洛仑兹群。洛仑兹群加上四维变换就构成了Poincare 群。

另外,晶体学中早期的关于晶体的各种结构的问题中,也是靠群论中的费得洛夫群的研究给出了答案。群论指出,空间中互不相同的晶体结构只有确定的230种。 [7][6][4][3]

时至今日,群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一。它不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用,还形成了一些新学科如拓扑群、李群、代数群、算术群等,它们还具有与群结构相联系的其他结构如拓扑、解析流形、代数簇等,并在结晶学、理论物理、量子化学以至(代数)编码学、自动机理论等方面,都有重要的应用。正如美国著名数学史家贝尔(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 一种信号多辨分析的新方法

小波分析由于其在时域和频域的局域性能好, 在信号处理时可得很好的结果,特别对一维信号的处理. 小波研究包含理论研究和应用研究两大类, 前者以Meyer Y,Chui C K,Daubechies I等人为代表,其研究成果如各种小波,各种框架理论等均富有特色;后者以Wichhauser M V 等人为代表,在科技信息领域取得了令人瞩目的成就。

伴随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.

群论在信号处理中的应用

1 引言

1.1 群论的历史与背景

群论是法国传奇式人物埃瓦里斯特•伽罗瓦(Evariste Galois,1811~1832)的发明。伽罗瓦是一位天才的数学家,但刚过 20 岁就不幸死于一场愚蠢的决斗。伽罗瓦在决斗的前一夜,还在匆匆完成他的伟大数学创造。他创建了群论,并用群论证明了代数方程能用根式求解的条件,证明了一般的五次和五次以上代数方程不能通过有限次加、减、乘、除和开方来精确求解。

群在抽象代数中具有基本的重要地位:许多代数结构,包括环、域和模等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现,而且群论的研究方法也对抽象代数的其它分支有重要影响。群论的重要性还体现在物理学和化学的研究中,因为许多不同的物理结构,如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。

1.2 群的定义以及基本性质

首先来简要说明一下群的定义:设G 是一个非空集合,*是它的一个代数运算,如果满足以下条件: Ⅰ. 结合律成立,即对G 中任意元素a,b,c 都有 (a*b)*c=a*(b*c);

Ⅱ.G 中有元素e ,它对G 中每个元素a 都有 e*a=a,叫做G 的左单位元;G 中有元素e ,它对G 中每个元素a 都有 a*e=a,叫做G 的右单位元;如果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 称为有限群。否则称为无限群。有限群的元素个数称为有限群的阶。

[2]

1.3 群论在各领域的应用

群论是近代数学的一个分支,它是研究群的结构及其应用的数学理论。是一门比较抽象的数学学科。因为它可以用于基本粒子、核结构、原子结构和晶体结构等许多学科的各个方面,因此它已成为近代理论研究的很重要的工具,如 :在分子结构测定中,需要测定有关晶体结构、红外光谱、偶极距、旋光性等,这些性质主要是由分子的对称性决定的,而分子对称性的研究是以运用群论为基础的。认识物质结构的最重要的理武器是《量子力学》,它对化学的应用便形成了《量子化学》,而群论架起了分子对称性和量子力学之间联系的桥梁。鉴于描述电子运动状态的波函数必须构成分子所属点群的不可约表示的基,所以从分子的对称性出发,运用群论的方法,有助于解决结构化学和量子化学中的许多问题群论在化学方面的应用很广泛,在应用于原子、分子结构问题上,但是它不能回答它们的所有结构问题,只能在一定程度上解决与分子对称性有关的那一部分问题,解决其它问题,还需要其它多方面的知识。

科研工作者们也常常会遇到的很多工程结构物或者机械零件往往具有很多对称性。在过去利用计算尺进行计算时为了减少计算工作量,总是尽量利用结构的对称性质。结构分析的电子计算机方法出现之后,过去手算不能完成的高次超静定结构现在也能解算出精确的解答了。但是随着题目越来越允未知数个数很多,. 存储量又显得不够了。而且人们已经不满足于计算一个具体结构,而是进一步作设计,此时需要修改尺寸反复进行计算,计算工作也成为一个大问题了。另外,原始数据的穿孔也使人感到厌烦而容易出错。在这样的条件下结构对称性的利用又具有很大的兴趣了。对于空间结构的分析这个问题就变得比较突出。空间结构一般未知数很多,采用条形矩阵的存储带宽也比较大。存储量的消费比较大,计算工作量也很大,一般的小型计算机就解算不了。而且原始数据的准备也要用掉许多功夫。考虑到空间结构往往具有很多对称性,利用这些条件,可以得到很大利益。过去在结构力学中谈到对称性,往往都是指镜像对称,或者是完全的轴对称。但是现在有一些杆系空间结构,它既没有宪全的轴对称,然而也不止单纯是一个镜像对称而已。对于这样一类对称性结构的分析就应当利用“群论”这个数学工具。利用群论来分析对称性在量子力学中早就应用了,但是在结构分析中还很少见到应用。但一些科研工作者还是采用了群论的数学工具,利用电子计算机解算了一些空间结构的课题。可见,群论在结构分析中也能得到相应的应用。

近年来, 有人试图将群论引入到网络理论中, 曾得到了一些结果。还有人以群论为工具, 研究了网络理论中的双口网络集合, 双口变换器集合, 用群论的方法找出了它们之间的联系, 为网络的设计和分析简化, 寻找出有效的途径, 同时也是群论的应用的一个新的领域。

群论被广泛用于物理、化学及工程科学等许多领域,尤其是物理学成为受惠最多的学科, 从经典物理中对称性和守恒律的研究到量子力学中角动量理论及动力学对称性的探索再到同位旋、超荷和SU (3)对称性在现代基本粒子物理中的应用等无不闪耀着群论思想的光辉。粗略地说,我们经常用群论来研究对称性,这些对称性能够反映出在某种变化下的某些变化量的性质。它也跟物理方程联系在一起。基础物理中常被提到的李群,就类似与伽罗瓦群被用来解代数方程,与微分方程的解密切相关。

在物理上,置换群是很重要的一类群。置换群包括S3群,二维旋转群,三维旋转群以及和反应四维时空相对应的洛仑兹群。洛仑兹群加上四维变换就构成了Poincare 群。

另外,晶体学中早期的关于晶体的各种结构的问题中,也是靠群论中的费得洛夫群的研究给出了答案。群论指出,空间中互不相同的晶体结构只有确定的230种。 [7][6][4][3]

时至今日,群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一。它不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用,还形成了一些新学科如拓扑群、李群、代数群、算术群等,它们还具有与群结构相联系的其他结构如拓扑、解析流形、代数簇等,并在结晶学、理论物理、量子化学以至(代数)编码学、自动机理论等方面,都有重要的应用。正如美国著名数学史家贝尔(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 一种信号多辨分析的新方法

小波分析由于其在时域和频域的局域性能好, 在信号处理时可得很好的结果,特别对一维信号的处理. 小波研究包含理论研究和应用研究两大类, 前者以Meyer Y,Chui C K,Daubechies I等人为代表,其研究成果如各种小波,各种框架理论等均富有特色;后者以Wichhauser M V 等人为代表,在科技信息领域取得了令人瞩目的成就。

伴随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.


相关内容

  • 信息技术类专业简介
  • 信息技术类专业简介 序号 1 专业名称 电子与信息技术 基本学制 3-4年 培养目标 本专业培养电子信息产品的生产.安装.调试.维修操作人员及相关产品的销售人员. 从业范围 本专业主要面向各相关企事业单位,从事电子信息产品的生产.安装.调试.运行.维护,以及电子信息产品的销售.服务等工作. 职业能力 ...

  • 嵌入式系统课程设计选题要求及题目
  • 嵌入式系统课程设计-选题要求及课题 1.嵌入式系统课程设计时长两星期,要求学生分组进行课程设计,每组学生人数为2-3人(可在不超过3人的范围内由指导教师具体规定),报告雷同超过60%者,成绩都记不及格! 2.学生需要在附后的设计题目总表中进行选题,原则上需要在6月17号前完成选题,并开始课程设计工作 ...

  • 水处理电气自动化技术应用
  • 摘要:伴随市场经济的飞速发展,生产力需求水平的日益提升,各类电气自动化技术广泛应用至各行各业,发挥着优质服务作用.本文基于电气自动化技术综合优势.内涵特征探讨了其在水处理生产行业的科学应用,对提升水处理生产效率,促进水处理行业的现代化.持续性发展有重要的实践意义. 关键词:水处理:电气自动化:应用 ...

  • DSP的应用及发展趋势
  • DSP的应用及发展趋势 一.引言DSP即为数字信号处理器(DigitalSignalProcessing),是在模拟信号变换成数字信号以后进行高速实时处理的专用处理器.它的工作原理是将现实世界的模拟信号转换成数字信号,再用数学方法处理此信号,得到相应的结果.自从数字信号处理器(DigitalSign ...

  • 中级财务会计考试大纲[2]
  • <中级财务会计>课程考试大纲 会计学专业<中级财务会计>课程考试大纲 第一部分 有关说明 (一)考核对象.本课程的考核对象是会计学专业(专升本科)的学生. (二)考核形式.本课程期末考试的形式为闭卷笔试. (三)考核依据.本课程期末考试命题以本考试大纲和东北财经大学出版社出版 ...

  • 嵌入式CPU的分类
  • 1.基于ARM架构的嵌入式处理器 1.简介 ARM(Advanced RISC Machines),既可以认为是一个公司的名字,也可以认为是对微处理器的通称,还可以认为是一种技术的名字. ARM 是 32 位嵌入式微处理器的行业领先提供商,已推出各种各样基于通用架构的处理器,这些处理器具有高性能和行 ...

  • 大数据平台技术综述_宫夏屹
  • DOI:10.16182/j.cnki.joss.2014.03.039 第 26 卷第 3 期 2014 年 3 月 系统仿真学报 Journal of System Simulation Vol. 26 No. 3 Mar., 2014 大数据平台技术综述 宫夏屹 1,2,李伯虎 1,2,柴旭东 ...

  • 论激光表面处理技术的应用
  • 悫嚣愚裹焉焉焉罴悬啊 科学论坛 论激光表面处理技术的应用 李凤春周德利 (哈尔滨建成集团有限公司 黑龙江 哈尔滨 150030) [摘要]激光技术在制造业.医疗仪器.军事.信息等多个领域都具有重要的应用价值,在激光加工技术和工艺设备中,激光加工是重要的工艺.在这一工艺中,尤为突出的是激光表面处理.随 ...

  • 数字信号处理器的选择及应用
  • 工 业 技 术 S c i en c e a n d T ech n o l o gy I n n o v at i o n Her a l d 科技创新导报 数字信号处理器的选择及应用① 吴小玲 (广东工程职业技术学院 广东广州 510520) 摘 要:当今自动化技术迅速发展, 无论在控制还是检测 ...

  • 图像处理技术在农业工程中的应用
  • 安徽农业科学,JournalofAnhuiAgri.Sci.2005,33(4):678-679 责任编辑孙红忠责任校对孙红忠 图像处理技术在农业工程中的应用 胡涛(武汉工业学院电气信息工程系,湖北武汉430023) 摘妻介绍了动态图像处理技术及其在农业工程中的应用概况,并对存在的问题提出了建议. ...