Lp范数下无穷可微多变量函数逼近不是强易处理的

来源 :安徽大学 | 被引量 : 0次 | 上传用户:augsep
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息与算法的复杂性(Information Based Complexity)是计算数学最主要的研究方向之一.在研究多变量函数的数值问题时,当自变量的个数d非常大时,几乎不可能用解析的方法来处理.所以我们只能考虑在误差不超过ε的条件下,通过逼近的方法来解决.算法的复杂性就是为了得到在误差不超过ε的条件下的近似解,所需要算法的所有信息运算与复合运算的最小计算成本.信息的复杂性则是在误差不超过ε的条件下,为解决这个d维变量数值问题所需要的最小信息数目n(ε,d).对于要解决的多变量问题,信息的复杂性是算法的复杂性一个下界.一般来讲,对于许多线性问题,信息的复杂性是与算法的复杂性成比例的.因此,在本论文中我们将焦点集中在信息的复杂性上.  多变量问题的易处理性(Tractability)是近年来信息与算法的复杂性最活跃的研究方向之一.它是研究信息的复杂性n(ε,d)如何依赖于ε-1和d.黄仿伦与张顺证明了无穷可微多变量函数逼近问题在L∝范数意义下不是强易处理的;Erich Novak与Wo(z)niakowski证明了无穷可微多变量函数逼近问题在L∞范数意义下不是易处理的;Wojtaszczyk证明了无穷可微多变量函数的积分问题在L∞范数意义下不是强易处理的.本论文主要在确定框架(deterministic setting)和Lp(p≥1)范数意义下研究这些问题.我们证明了无穷可微多变量函数逼近问题在Lp范数意义下不是强易处理的,同时给出了一种关于无穷可微多变量函数逼近问题在L∞范数意义下不是易处理的的构造函数的证明方法.不仅如此,我们还证明了无穷可微多变量函数的积分问题在Lp范数意义下不是强易处理的.从而将多变量问题的易处理性研究从L∞函数类推广到更大的Lp函数类.  论文共分为四章,第一章是预备知识,首先介绍了易处理性研究的发展历史和研究背景,其次给出了在确定框架下信息与算法的复杂性以及易处理性的一些有关概念、记号与结果.  第二章主要证明了在使用Lp范数进行逼近时,无穷可微多变量函数的逼近问题与积分问题不是强易处理的.另外我们还利用构造函数的证明方法再次证明了在L∝范数意义下,无穷可微多变量函数的逼近问题不是易处理的.  第三章在阐述了无穷可微多变量函数积分问题的易处理性的研究现状之后,给出了H(o)lder空间和Korobov空间上函数的积分问题不是易处理的的结论.  第四章对前面几章的主要证明结论进行了总结,并且提出今后的工作重点和研究方向,将继续在平均框架和随机框架下多变量问题的易处理性研究.
其他文献
Clifford代数是W.K.Clifford创立的一种可结合但不可交换的代数结构,是在高维空间中几何结构的代数理论基础上建立起来的.Clifford分析主要研究的是定义在实向量空间Rn+1取值
差图的定义是LuisMarinez在2009年首次提出的一类有向图,在这类图中方向的确定与加法群中差的构成有关.差图有两个等价定义,但是这两个定义具有不同的作用,根据研究问题的不同选
丙烯酸尾气处理系统的工艺过程和主要控制方案.催化反应器多点温度的联锁控制优化,包括催化反应器的控制、超温安全联锁及联锁控制优化.
1978年,Erd(o)s提出了与Erd(o)s-Szekeres问题相关的空凸多边形的问题.对于任意的正整数n≥3,是否存在最小正整数H(n),使得处于一般位置的H(n)个点中存在n个点构成空凸n-边形.Bi
设K是一个特征为零的代数闭域,V是域K上有限维非零向量空间.所谓V上的一个勒纳德三元组是指End(V)中三个有序的线性变换A,A*,Aε,对于任意的B∈{A,A*,Aε},都存在V的一组基,使得线性
随着Fom-Lze代数的概念被提出,H o m-代数的变形方式引起了越来越多专家学者的关注。其中较为著名的文献有[2,3,6].而TT-余代数是文献[4]中作者为了构造TT-范畴而提出的,它的
集散控制是当前过程控制的发展趋势 ,笔者设计了一种由一台微机和多台 80 31单片机按支型网络构成的简易集散控制系统 (SDCS) ,它能较好地应用于工业废水处理等具有滞后作用
结合方案的研究始于对群分类的思考.借助对结合方案的分类,得到群的分类.为了准确的对结合方案进行分类,需要构造出不同类型的结合方案.因此,对结合方案构造方法的研究已成为研
在20世纪中期,随着独立随机变量之和的极限理论取得完善发展之后,许多概率统计学家开始讨论相依随机变量的收敛性质.由于相依随机变量削弱了独立性的限制,从而引起了众多学者
学位