数值分析实验报告1.docx

1、数值分析实验报告1 实验一 误差分析实验（病态问题）实验目的：算法有“优”与“劣”之分，问题也有“好”与“坏”之别。对数值方法的研究而言，所谓坏问题就是问题本身对扰动敏感者，反之属于好问题。通过本实验可获得一个初步体会。数值分析的大部分研究课题中，如线性代数方程组、矩阵特征值问题、非线性方程及方程组等都存在病态的问题。病态问题要通过研究和构造特殊的算法来解决，当然一般要付出一些代价（如耗用更多的机器时间、占用更多的存储空间等）。问题提出：考虑一个高次的代数多项式显然该多项式的全部根为1,2,20共计20个，且每个根都是单重的。现考虑该多项式的一个扰动其中是一个非常小的数。这相当于是对（）中的系

2、数作一个小的扰动。我们希望比较（）和（）根的差别，从而分析方程（）的解对扰动的敏感性。实验内容：为了实现方便，我们先介绍两个Matlab函数：“roots”和“poly”。其中若变量a存储n+1维的向量，则该函数的输出u为一个n维的向量。设a的元素依次为，则输出u的各分量是多项式方程的全部根；而函数的输出b是一个n+1维变量，它是以n维变量v的各分量为根的多项式的系数。可见“roots”和“poly”是两个互逆的运算函数。上述简单的Matlab程序便得到（）的全部根，程序中的“ess”即是（）中的。实验要求：（1）选择充分小的ess，反复进行上述实验，记录结果的变化并分析它们。如果扰动项的系数

3、很小，我们自然感觉（）和（）的解应当相差很小。计算中你有什么出乎意料的发现表明有些解关于如此的扰动敏感性如何（2）将方程（）中的扰动项改成或其它形式，实验中又有怎样的现象出现（3）（选作部分）请从理论上分析产生这一问题的根源。注意我们可以将方程（）写成展开的形式，同时将方程的解x看成是系数的函数，考察方程的某个解关于的扰动是否敏感，与研究它关于的导数的大小有何关系为什么你发现了什么现象，哪些根关于的变化更敏感思考题一：（上述实验的改进）在上述实验中我们会发现用roots函数求解多项式方程的精度不高，为此你可以考虑用符号函数solve来提高解的精确度，这需要用到将多项式转换为符号多项式的函数po

4、ly2sym,函数的具体使用方法可参考Matlab的帮助。实验过程：程序：a=poly(1:20);rr=roots(a);for n=2:21 n for m=1:9 ess=10(-6-m);ve=zeros(1,21); ve(n)=ess;r=roots(a+ve); -6-m s=max(abs(r-rr) endend利用符号函数：（思考题一）a=poly(1:20);y=poly2sym(a);rr=solve(y)for n=2:21 n for m=1:8 ess=10(-6-m); ve=zeros(1,21); ve(n)=ess; a=poly(1:20)+ve; y=

5、poly2sym(a); r=solve(y); -6-m s=max(abs(r-rr) endend数值实验结果及分析：format long-6-m n-7-8-9-10234050060000700008000090000100000110000120000130000140000150000160000170000180000190000200000210000-6-m n-11-12-13-1420300040000500006000070000800009000010000011000012000013000014000015000016000017000018000019000

6、0200000210000讨论：利用这种方法进行这类实验，可以很精确的扰动敏感性的一般规律。即当对扰动项的系数越来越小时，对其多项式扰动的结果也就越来越小，即扰动敏感性与扰动项的系数成正比，扰动项的系数越大，对其根的扰动敏感性就越明显，当扰动的系数一定时，扰动敏感性与扰动的项的幂数成正比，扰动的项的幂数越高，对其根的扰动敏感性就越明显。实验总结： 利用MATLAB来进行病态问题的实验，虽然其得出的结果是有误差的，但是可以很容易的得出对一个多次的代数多项式的其中某一项进行很小的扰动，对其多项式的根会有一定的扰动的，所以对于这类病态问题可以借助于MATLAB来进行问题的分析。学号：06450210

7、姓名：万轩实验二 插值法实验（多项式插值的振荡现象）问题提出：考虑一个固定的区间上用插值逼近一个函数。显然拉格朗日插值中使用的节点越多，插值多项式的次数就越高。 我们自然关心插值多项式的次数增加时，L(x)是否也更加靠近被逼近的函数。龙格给出了一个极著名例子。设区间-1，1上函数 f(x)=1(1+25x2)实验内容：考虑区间-1，1的一个等距划分，分点为： x(i)=-1+2i/n,i=0,1,2,n泽拉格朗日插值多项式为： L(x)=l(i)(x)/(1+25x(j)2 ) i=0,1,n其中l(i)(x), i=0,1,n,n是n次拉格朗日插值基函数。实验要求： 选择不断增大的分点数目n

8、=2,3，画出f(x)及插值多项式函数L(x)在-1，1上的图象，比较分析实验结果。（2）选择其它的函数，例如定义在区间-5，5上的函数 h(x)=x/(1+x4) , g(x)=arctanx 重复上述的实验看其结果如何。 （3）区间a,b上切比雪夫点的定义为： xk=（b+a）/2+(b-a)/2)cos(2k-1)/(2(n+1),k=1,2,n+1 以x1,x2x(n+1)为插值节点构造上述各函数的拉格朗日插值多项式，比较其结果。实验过程：程序：多项式插值的震荡现象（实验）for m=1:6 subplot(2,3,m) %把窗口分割成2*3大小的窗口 largrang(6*m) %对

9、largrang函数进行运行 if m=1 title(longn=6) elseif m=2 title(longn=12) elseif m=3 title(longn=18) elseif m=4 title(longn=24) elseif m=5 title(longn=30) elseif m=6 title(longn=36) end %对每个窗口分别写上标题为插值点的个数end保存为：function largrang(longn)mm=input(please input mm(运行第几个函数就输入mm为几):mm=)if mm=1 %d表示定义域的边界值 d=1;elsei

10、f mm=2|mm=3 d=5;endx0=linspace(-d,d,longn); %x的节点if mm=1 y0=1./(1.+25.*x0.2);elseif mm=2 y0=x0./(1.+x0.4);elseif mm=3 y0=atan(x0);endx=sym(x);n=length(x0); s=;for k=1:n p=; for j=1:n if j=k p=p*(x-x0(j)/(x0(k)-x0(j); end end s=p*y0(k)+s;endy=s;if mm=1 ezplot(1/(1+25*x2)elseif mm=2 ezplot(x/(1+x4)els

11、eif mm=3 ezplot(atan(x)endhold onezplot(y,-d,d)hold off保存为：数值实验结果及分析：对于第一个函数f(x)=1/(1+25x2)对于第二个函数h(x)=x/(1+x4)对于第三个函数g(x)=arctan(x)讨论：通过对三个函数得出的largrang插值多项式并在数学软件中的运行，得出函数图象，说明了对函数的支点不是越多越好，而是在函数的两端而言支点越多，而largrang插值多项式不是更加靠近被逼近的函数，反而更加远离函数，在函数两端的跳动性更加明显，argrang插值多项式对函数不收敛。实验总结：利用MATLAB来进行函数的largr

12、ang插值多项式问题的实验，虽然其得出的结果是有误差的，但是增加支点的个数进行多次实验，可以找出函数的largrang插值多项式的一般规律，当支点增加时，largrang插值多项式对函数两端不收敛，不是更加逼近，而是更加远离，跳动性更强。所以对于函数的largrang插值多项式问题可以借助于MATLAB来进行问题的分析，得到比较准确的实验结规律。学号：06450210姓名：万轩实验五 解线性方程组的直接方法实验 （主元的选取与算法的稳定性）问题提出：Gauss消去法是我们在线性代数中已经熟悉的。但由于计算机的数值运算是在一个有限的浮点数集合上进行的，如何才能确保Gauss消去法作为数值算法的稳

13、定性呢Gauss消去法从理论算法到数值算法，其关键是主元的选择。主元的选择从数学理论上看起来平凡，它却是数值分析中十分典型的问题。实验内容：考虑线性方程组 编制一个能自动选取主元，又能手动选取主元的求解线性方程组的Gauss消去过程。实验要求：（1）取矩阵，则方程有解。取n=10计算矩阵的条件数。让程序自动选取主元，结果如何（2）现选择程序中手动选取主元的功能。每步消去过程总选取按模最小或按模尽可能小的元素作为主元，观察并记录计算结果。若每步消去过程总选取按模最大的元素作为主元，结果又如何分析实验的结果。（3）取矩阵阶数n=20或者更大，重复上述实验过程，观察记录并分析不同的问题及消去过程中选

14、择不同的主元时计算结果的差异，说明主元素的选取在消去过程中的作用。（4）选取其他你感兴趣的问题或者随机生成矩阵，计算其条件数。重复上述实验，观察记录并分析实验结果。实验过程：程序：建立M文件：function x=gauss(n,r)n=input(请输入矩阵A的阶数:n=)A=diag(6*ones(1,n)+diag(ones(1,n-1),1)+diag(8*ones(1,n-1),-1)b=A*ones(n,1)p=input(条件数对应的范数是p-范数：p=)pp=cond(A,p)pausem,n=size(A);nb=n+1;Ab=A br=input(请输入是否为手动，手动输入

15、1，自动输入0：r=)for i=1:n-1 if r=0 pivot,p=max(abs(Ab(i:n,i); ip=p+i-1; if ip=i Ab(i ip,:)=Ab(ip i,:);disp(Ab); pause end end if r=1 i=i ip=input(输入i列所选元素所处的行数：ip=); Ab(i ip,:)=Ab(ip i,:);disp(Ab); pause end pivot=Ab(i,i); for k=i+1:n Ab(k,i:nb)=Ab(k,i:nb)-(Ab(k,i)/pivot)*Ab(i,i:nb); end disp(Ab); pausee

16、ndx=zeros(n,1);x(n)=Ab(n,nb)/Ab(n,n);for i=n-1:-1:1 x(i)=(Ab(i,nb)-Ab(i,i+1:n)*x(i+1:n)/Ab(i,i);end数值实验结果及分析：取矩阵A的阶数:n=10，自动选取主元： format long gauss请输入矩阵A的阶数:n=10n = 10条件数对应的范数是p-范数：p=1p = 1pp = +003请输入是否为手动，手动输入1，自动输入0：r=0r = 0取矩阵A的阶数:n=10，手动选取主元：选取绝对值最大的元素为主元： gauss请输入矩阵A的阶数:n=10n = 10条件数对应的范数是p-范数

17、：p=2p = 2pp= +003请输入是否为手动，手动输入1，自动输入0：r=1r = 1ans= 1 1 1 1 1 1 1 1 1 1选取绝对值最小的元素为主元： gauss请输入矩阵A的阶数:n=10n = 10条件数对应的范数是p-范数：p=2p = 2pp = +003请输入是否为手动，手动输入1，自动输入0：r=1r = 1ans = 取矩阵A的阶数:n=20，手动选取主元：1选取绝对值最大的元素为主元： gauss请输入矩阵A的阶数:n=20条件数对应的范数是p-范数：p=1p = 1pp = +006ans = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

18、1 1 1 12选取绝对值最小的元素为主元： gauss请输入矩阵A的阶数:n=20.n = 20条件数对应的范数是p-范数：p=2p = 2pp = +006请输入是否为手动，手动输入1，自动输入0：r=1r = 1ans = 将M文件中的第三行：A=diag(6*ones(1,n)+diag(ones(1,n-1),1)+diag(8*ones(1,n-1),-1)改为：A=hilb(n) gauss请输入矩阵A的阶数:n=7n = 7条件数对应的范数是p-范数：p=1p = 1pp = +008请输入是否为手动，手动输入1，自动输入0：r=1r = 1ans = gauss请输入矩阵A的

19、阶数:n=7n = 7条件数对应的范数是p-范数：p=2p = 2pp = +008请输入是否为手动，手动输入1，自动输入0：r=1r = 1ans = 该问题在主元选取与算出结果有着很大的关系，取绝对值大的元素作为主元比取绝对值小的元素作为主元时产生的结果比较准确，即选取绝对值小的主元时结果产生了较大的误差，条件数越大产生的误差就越大。讨论：在gauss消去法解线性方程组时，主元的选择与算法的稳定性有密切的联系，选取绝对值大的元素作为主元比绝对值小的元素作为主元时对结果产生的误差较小。条件数越大对用gauss消去法解线性方程组时，对结果产生的误差就越大。实验总结：对用gauss消去法解线性方

20、程组时，主元的选取与算法的稳定性有密切的联系，选取适当的主元有利于得出稳定的算法，在算法的过程中，选取绝对值较大的主元比选取绝对值较小的主元更有利于算法的稳定，选取绝对值最大的元素作为主元时，得出的结果相对较准确较稳定。条件数越小，对用这种方法得出的结果更准确。在算除法的过程中要尽量避免使用较小的数做为除数，以免发生结果数量级加大，使大数吃掉小数，产生舍入误差。学号：06450210姓名：万轩实验（线性代数方程组的性态与条件数的估计）问题提出：理论上，线性代数方程组的摄动满足 矩阵的条件数确实是对矩阵病态性的刻画，但在实际应用中直接计算它显然不现实，因为计算通常要比求解方程还困难。实验内容：M

21、atlab中提供有函数“condest”可以用来估计矩阵的条件数，它给出的是按1-范数的条件数。首先构造非奇异矩阵A和右端，使得方程是可以精确求解的。再人为地引进系数矩阵和右端的摄动，使得充分小。实验要求：（1）假设方程Ax=b的解为x，求解方程，以1-范数，给出的计算结果。（2）选择一系列维数递增的矩阵（可以是随机生成的），比较函数“condest”所需机器时间的差别.考虑若干逆是已知的矩阵，借助函数“eig”很容易给出cond2(A)的数值。将它与函数“cond(A,2)”所得到的结果进行比较。（3）利用“condest”给出矩阵A条件数的估计，针对（1）中的结果给出的理论估计，并将它与（

22、1）给出的计算结果进行比较，分析所得结果。注意，如果给出了cond(A)和的估计，马上就可以给出的估计。（4）估计著名的Hilbert矩阵的条件数。实验过程：程序：n=input(please input n:n=) %输入矩阵的阶数a=fix(100*rand(n)+1 %随机生成一个矩阵ax=ones(n,1) %假设知道方程组的解全为1b=a*x %用矩阵a和以知解得出矩阵bdata=rand(n)* %随即生成扰动矩阵datadatb=rand(n,1)* %随即生成扰动矩阵datbA=a+dataB=b+datbxx=geshow(A,B) %解扰动后的解x0=norm(xx-x,1

23、)/norm(x,1) %得出的理论结果保存为：function x=geshow(A,B) %用高斯消去法解方程组m,n=size(A);nb=n+1;AB=A B;for i=1:n-1 pivot=AB(i,i); for k=i+1:n AB(k,i:nb)=AB(k,i:nb)-(AB(k,i)/pivot)*AB(i,i:nb); endendx=zeros(n,1);x(n)=AB(n,nb)/AB(n,n);for i=n-1:-1:1 x(i)=(AB(i,nb)-AB(i,i+1:n)*x(i+1:n)/AB(i,i);end保存为：function cond2(A) %自

24、定义求二阶条件数B=A*A;V1,D1=eig(B);V2,D2=eig(B(-1);cond2A=sqrt(max(max(D1)*sqrt(max(max(D2)end保存为：format longfor n=10:10:100n=n %n为矩阵的阶 A=fix(100*randn(n); %随机生成矩阵A condestA=condest(A) %用condest求条件数 cond2(A) %用自定义的求条件数 condA2=cond(A,2) %用cond求条件数 pause %运行一次暂停end保存为：n=input(please input n:n=) %输入矩阵的阶数a=fix(

25、100*rand(n)+1; %随机生成一个矩阵ax=ones(n,1); %假设知道方程组的解全为1b=a*x; %用矩阵a和以知解得出矩阵bdata=rand(n)*; %随即生成扰动矩阵datadatb=rand(n,1)*; %随即生成扰动矩阵datbA=a+data;B=b+datb;xx=geshow(A,B); %利用第一小问的求出解阵x0=norm(xx-x,1)/norm(x,1) %得出的理论结果x00=cond(A)/(1-norm(inv(A)*norm(xx-x)*(norm(xx-x)/(norm(A)+norm(datb)/norm(B) %得出的估计值datx=

26、abs(x0-x00) %求两者之间的误差保存为：format longfor n=4:11 n=n %n为矩阵的阶数Hi=hilb(n); %生成Hilbert矩阵cond1Hi=cond(Hi,1) %求Hilbert矩阵得三种条件数 cond2Hi=cond(Hi,2) condinfHi=cond(Hi,inf) pauseend数值实验结果及分析： fanshuplease input n:n=6n = 6a = 14 25 16 88 19 89 32 93 85 48 92 60 14 40 88 50 13 16 23 52 19 29 2 32 40 10 100 7 37

27、24 14 3 72 27 70 1x = 1 1 1 1 1 1b = 251 410 221 157 218 187data = * datb = * A = +002 * B = +002 * xx = x0 = 的计算结果为：（2）NcondestAcond2AcondA210e+00220e+00230e+002e+002e+00240e+00250e+00260e+004e+003e+00370e+003e+002e+00280e+00290e+003e+002e+002100e+003e+002e+002 sy5_2please input n:n=8n = 8x0 = x00 = datx = 给出对的估计是：的理论结果是： 结果相差： (4)ncond1Hicond2HicondinfHi4e+004e+004e+0045e+005e+005e+0056e+007e+007e+0077e+008e+008e+0088e+010e+