泛函分析在计算机科学中的应用,泛函分析在小波理论中的应用.doc

泛函分析在小波理论中的应用

现代数学基础报告

泛函分析在小波理论中的应用

通过《应用泛函分析》课程的学习，了解到泛函分析是本科高等数学的推广，它综合了函数论、几何和代数的观点研究无穷维向量空间上的函数、算子和极限理论。半个多世纪以来，泛函分析一方面以其他众多学科所提供的素材提取自己研究的对象和某些手段，并形成了自己的许多重要分支；另一方面，它也强有力地推动着其他分析学科的发展。它的观点和方法已经渗入到不少工程技术的学科之中，成为近代分析的基础之一。

小波分析作为一个新的数学分支，它与Fourier 分析、函数理论、泛函分析、数值分析、神经网络以及计算机科学等众多学科分支都有着密切的联系，已成为人们解决科技问题的又一有力的数学工具。工程技术领域中，小波分析的理论得到了广泛的应用，尤其在信号处理中应用广泛，包括信号的检测、识别以及去噪等，比如语音信号、雷达信号、医学信号、天文信号、地震探矿信号、机械故障信号等等。

小波理论的研究难点之一就是小波基的构造，这又需要对小波理论有深入的理解，而小波理论需要数学分析、实变函数与泛函分析的基础知识。因此，泛函分析课程的学习对小波理论的认识非常重要，对信号处理专业的学生有着广泛的实际应用。因此学习好泛函分析课程，对研究生期间的研究方向——高频地波雷达的信号处理有重要应用。

下面就三方面讨论泛函分析在小波中的应用：

一、希尔伯特空间的正交分解及投影算子在构造小波基中的作用

泛函分析中希尔伯特空间的正交分解及投影算子的概念如下：

定义1 设H是希尔伯特空间,E是H的非空线性闭子空间,则任意的x X 有唯一的正交分解式

，

即，记号称为直和。令，称P为H上的正交投影算子，称为投影算子。容易证明P为定义在H上的有界线性算子。

正交分解与投影算子应用广泛，这里即论述他们在构造小波基中的作用。构造小波基的一般方法是多分辨分析，即满足下面四个条件的空间的闭子空间族

(i) (ii)

(iii) (iv) 是的标准正交基。

令，则。f在上的正交投影算子子可通过他在尺度正交基下的展开式得到, 即

由巴塞弗等式, 得

从多分辨分析的概念知，。令是在中的正交补，即，也就是f(x)在上的正交投影可分解为它在和上的正交投影之和，即。通过替代可知对任何的J>L,有。由多分辨分析定义的第(ii)个条件得，即函数f在小波正交基下的展开式为

二、伴随算子、依范数收敛与弱收敛在小波理论中的应用

伴随算子、点列依范数收敛与弱收敛的概念如下：

定义2 设与是希尔伯特空间，T：是有界线性算子。如果存在，使得对于所有的和 ，有，则称为T的伴随算子。

定义3 设X是赋范线性空间，。如果，则称依范数收敛于x。记作或。

定义4 设X是赋范线性空间，。如果对任一的，即在X上， 处处收敛于，则称弱收敛于。记作。

注意傅立叶变换的伴随算子就是傅立叶逆变换。

设f和g都是平方可积的，则，其中是f的傅里叶变换，是g的傅里叶逆变换。事实上，根据空间内积的定义，有

因此

即傅里叶变换的伴随算子就是傅里叶逆变换.

下面是伴随算子、依范数收敛与弱 收敛在小波理论中的应用。

从多分辨分析定义中的第(ii)个条件可知，

,

这就是依范数收敛。

小波框架是小波理论的一个重要内容，在小波框架研究中，算子弱收敛起着重要的作用. 我们说是一个框架是指：存在A>0,B>0,使得对任意的,都有

其中A,B为框架界。

若A=B,则称该框架为紧框架，即

由等式

知紧框架蕴含

也就是至少在弱收敛的意义下，有

对于一般的框架，需要引进框架算子，，F是H到的线性算子。

F的伴随算子计算如下:

因此，至少在弱收敛的意义下，有

可以证明，上面的收敛也是依范数收敛的。因为，故。由F的定义，有

因此框架条件可改写为，其中I是恒等算子。将作用于可得到一个新的向量族，记为，即。也构成一个框架，框架界为，，即

可以证明，具体即

这就得到一个由或重构f的公式，同时也得到了把f写为或的重叠方法。

三、函数与共轭空间理解

线性空间X上的全体有界线性泛函称为X的共轭空间。以函数为例，说明共轭空间的重要性。函数可以描述很多物理现象，例如力学中瞬时发生作用力的冲击力;数字信号处理中的抽样脉冲;直线上质量集中在一点附近时的密度; 电学中点电荷的密度等. 函数是由物理学家狄拉克最先引进的，其表示式是

，。

这样表示的函数与数学命题“f=0 a.e.，则矛盾，因此函数的上述表示一直不能被数学家接受.数学家经过长期的努力, 在共轭空间中找到了函数的位置和理论依据。

对C[-1,1]中任意一个连续函数f(t),对应一个的泛函

线性是显然的，现证其连续性。对任意的，有

当，即时，，故f在点连续。由的任意性知，f在上连续。考察中的如下函数列：

当时，=0，且。设想的极限函数应当就是有广泛应用的函数，所以称为函数