从积分变换谈起
积分变换的基本概念
积分变换是函数变换的一种。积分变换可以通过计算原函数与一个含参函数的乘积的积分映射为另一个函数。这里要变换的原函数称为原像函数,含参函数称为积分变换核函数,变换后的函数称为像函数
积分变换的来源
积分变换来源于数学中的转化思想。在数学中有些问题直接求解较为复杂,而通过转化就能将原问题转化成较为简单的问题,通过求解较为简单的问题,得到解之后再进行逆变换就能得到原问题的解。比如通过取对数将复杂的乘积运算转化为加减运算,然后通过对数的逆运算——指数运算可以得到原问题的解。
如要计算: a b × a c a^b \times a^c ab×ac。将整个式子取以a为底的对数, log a ( a b × a c ) = b + c \log_a (a^b \times a^c)=b+c loga(ab×ac)=b+c,然后再将结果取以a为底,b+c为幂的指数,得到 a b × a c = a b + c a^b \times a^c=a^{b+c} ab×ac=ab+c。这就是积分变换转化思想的核心所在。
傅里叶级数
要深入了解傅里叶变换,就不得不先了解傅里叶级数和傅里叶积分。
傅里叶级数的相关基础概念
傅里叶级数和幂级数都可以用来逼近函数,但是幂级数要求被逼近函数连续,且有任意阶导数(从函数的幂级数展开式中包含任意阶导数可以理解这一点。),同时还要求余项的极限为0。而傅里叶级数只要求函数连续或者有有限个第一类间断点。(确保被逼近函数可积,从傅里叶级数的系数由积分确定可以理解这一点。)
傅里叶级数的基石——三角函数系及其正交性
三角函数系
三角函数系为 1 , cos x , sin x , cos 2 x , sin 2 x , . . . , cos n x , sin n x . . . 1,\cos {x},\sin{x},\cos{2x},\sin{2x},...,\cos{nx},\sin{nx}... 1,cosx,sinx,cos2x,sin2x,...,cosnx,sinnx...。
三角函数系的正交性
三角函数系在 [ − π , π ] [-\pi,\pi] [−π,π]上正交,也就是说上述三角函数系中任意两个相异函数的乘积在 [ − π , π ] [-\pi,\pi] [−π,π]的积分为0。(函数系的正交和我们之前理解直线垂直和向量正交都不一样,但是共同点都在于乘积为0,只是此处是乘积的积分为0。)
对于上图中的第一二个式子,可以由三角函数的周期性很容易理解,也可以直接通过积分求得。
而对于上图中的3,到5式,则可以通过积化和差后依然由三角函数的周期性得到。
注意:两个相同函数的乘积在 [ − π , π ] [-\pi,\pi] [−π,π]上不为0。事实上,有如下结果
傅里叶级数的含义
所谓函数的傅里叶级数,就是把函数表示成三角级数的形式。如上式右边所示的函数项级数就是三角级数。其中的系数 a 0 , a k , b k a_0,a_k,b_k a