图书盲袋,以书为“药”
欢迎光临中图网 请 | 注册
> >
迭代分析基础

迭代分析基础

出版社:科学出版社出版时间:2023-04-01
开本: 其他 页数: 232
本类榜单:自然科学销量榜
中 图 价:¥63.4(7.2折) 定价  ¥88.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>

迭代分析基础 版权信息

  • ISBN:9787030742759
  • 条形码:9787030742759 ; 978-7-03-074275-9
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 所属分类:>

迭代分析基础 内容简介

本书以非线性算子不动点为出发点导出非线性问题解的迭代算法作为算法设计的一般思想方法,着重介绍如下三类非线性问题的迭代算法及其收敛性分析:1.非线性算子不动点迭代算法,包括与非线性算子不动点理论与算法密切相关的泛函分析的基本知识,非扩张映像不动点的Halpern迭代、粘滞迭代、Mann迭代以及Ishikawa迭代等迭代算法。2.单调变分不等式解的迭代算法,包括变分不等式解的存在性、专享性理论,Lipschiz连续单调变分不等式解的外梯度算法、次外梯度算法以及松弛投影方法等。3.凸优化问题解的迭代算法,包括凸分析基本知识、二次规划问题、*小二乘问题、凸可行问题、分裂可行问题解的迭代算法,大型线性方程组随机Kaczmarz算法,一般凸优化问题的邻近梯度算法等。本书既介绍了一些经典的结果,也介绍了新近出现的新成果,其中包含了作者的一些新结果。

迭代分析基础 目录

目录 
前言 
符号表 
第1章 非线性算子不动点理论及其算法概述 1 
1.1 不动点理论概述 1 
1.1.1 什么是不动点 1 
1.1.2 为什么要研究不动点 1 
1.1.3 若干重要不动点定理 1 
1.2 不动点迭代算法概述 5 
1.2.1 不动点问题研究的演变 5 
1.2.2 几种重要的不动点迭代算法 6 
1.3 练习题 8 
第2章 不动点迭代算法分析基础 10 
2.1 几个重要引理 10 
2.1.1 重要引理1 10 
2.1.2 重要引理2 11 
2.1.3 重要引理3 12 
2.1.4 重要引理4 14 
2.2 Banach空间基础 16 
2.2.1 Banach空间基本概念 16 
2.2.2 严格凸与一致凸 16 
2.2.3 闭与弱闭 17 
2.2.4 紧与弱紧 17 
2.2.5 下半连续与弱下半连续 19 
2.3 Hilbert空间基础 20 
2.3.1 Hilbert空间基本概念 20 
2.3.2 泛函表示定理 21 
2.3.3 度量投影 21 
2.3.4 松弛投影 27 
2.3.5 Opial性质 28
2.3.6 K-K性质 30 
2.4 练习题 30 
第3章 非线性算子不动点迭代算法 32 
3.1 非扩张映像的基本性质 32 
3.1.1 不动点集的结构 32 
3.1.2 次闭原理 32 
3.1.3 不动点的存在性 33 
3.2 Halpern迭代 34 
3.2.1 Browder隐式迭代 34 
3.2.2 Halpern迭代计算格式 36 
3.2.3 Halpern迭代的收敛速度估计 41 
3.2.4 粘滞迭代 45 
3.2.5 *小范数不动点 47 
3.2.6 一般Halpern迭代的*优参数选取 51 
3.3 Mann迭代 58 
3.3.1 Mann迭代计算格式 58 
3.3.2 修正的Mann迭代 61 
3.3.3 带有误差项的Mann迭代 67 
3.3.4 一般Mann迭代的*优参数选取 69 
3.4 伪压缩映像不动点迭代算法 80 
3.4.1 伪压缩映像 80 
3.4.2 Ishikawa迭代 81 
3.4.3 逐次压缩算法 82 
3.5 练习题 86 
第4章 凸优化理论基础 88 
4.1 凸分析简介 88 
4.1.1 凸函数 88 
4.1.2 下半连续函数与上方图 90 
4.1.3 Gateaux微分和次微分 92 
4.1.4 凸函数梯度算子基本性质 96 
4.2 凸优化问题与变分不等式的关系 98 
4.2.1 *优化问题解的存在性 98 
4.2.2 *优化条件 100 
4.3 练习题 101
第5章 强单调与反强单调变分不等式解的迭代算法 103 
5.1 什么是变分不等式 103 
5.1.1 变分不等式问题的一般提法 103 
5.1.2 变分不等式与不动点问题的等价性 104 
5.1.3 共轭变分不等式问题 104 
5.2 强单调变分不等式 105 
5.2.1 解的存在唯一性与梯度投影算法 105 
5.2.2 变参数梯度投影算法 108 
5.2.3 松弛梯度投影算法 109 
5.2.4 混合*速下降算法 113 
5.3 反强单调变分不等式117 
5.3.1 反强单调映像与平均映像的进一步性质 117 
5.3.2 反强单调变分不等式解的迭代算法 124 
5.4 变分不等式的正则化方法 128 
5.4.1 什么是正则化方法 128 
5.4.2 一类单调变分不等式的正则化方法 130 
5.5 逆变分不等式 137 
5.5.1 什么是逆变分不等式 137 
5.5.2 解的存在唯一性 138 
5.5.3 不精确梯度投影算法 139 
5.6 练习题 142 
第6章 一般单调变分不等式解的迭代算法 144 
6.1 极大单调算子 144 
6.1.1 极大单调算子的概念 144 
6.1.2 闭凸集的法锥 150 
6.1.3 极大单调算子与变分不等式的关系 151 
6.2 单调变分不等式的外梯度方法及其推广 152 
6.2.1 Fejer单调序列的收敛性 152 
6.2.2 外梯度方法及其推广 152 
6.3 单调变分不等式的次梯度外梯度方法 157 
6.3.1 次梯度外梯度方法的提出动机 157 
6.3.2 次梯度外梯度方法 158 
6.3.3 修正的次梯度外梯度方法 162 
6.4 练习题 163
第7章 凸优化问题解的迭代算法 164 
7.1 二次规划问题的迭代算法 164 
7.1.1 强凸二次规划问题的迭代算法 164 
7.1.2 *小二乘问题的迭代算法 166 
7.2 凸优化问题的邻近梯度算法 168 
7.2.1 邻近算子 168 
7.2.2 邻近梯度算法 172 
7.3 Kaczmarz算法及其对偶算法 175 
7.3.1 Kaczmarz算法 175 
7.3.2 随机Kaczmarz算法 177 
7.3.3 惯性随机Kaczmarz算法 182 
7.3.4 对偶Kaczmarz算法 187 
7.4 选择性投影方法 192 
7.4.1 凸可行问题的选择性投影方法 192 
7.4.2 多集分裂可行问题的选择性投影方法 194 
7.5 单调变分包含问题的多步惯性邻近收缩算法 197 
7.6 练习题 211 
参考文献 212
展开全部

迭代分析基础 节选

第1章非线性算子不动点理论及其算法概述 1.1不动点理论概述 1.1.1什么是不动点 设X是非空集合,是X的非空子集,是映射(或者称为映像、算子顾名思义,若存在;使得,则称;为T的一个不动点.T的不动点全体所构成的集合称为T的不动点集,今后我们用来表示T的不动点集. 1.1.2为什么要研究不动点 数学学科中代数方程、微分方程、积分方程等解的存在性问题和求解问题的研宄是不动点理论产生和发展的直接动力.各种类型的方程大多可以归结为如下形式的算子方程:设X为Banach空间,D是X的非空子集,y是X中的给定元素,为算子(线性或非线性),寻求,使得成立.算子方是否有解?若有解,解是否唯一?当有解时如何求出解?这些问题是算子方程的基本问题.而算子方程解的存在性和求解问题往往等价于某个算子不动点的存在性和不动点的计算问题.例如算子方程显然等价于,也等价于.若令,则等价于,即z是算子方程的解当且仅当a;是r的不动点,于是解的存在性与计算问题等价地转化为算子T不动点的存在性及其计算问题. 显然这样的算子T有多种选择,譬如也可取.至于在解决实际方程问题中如何选取算子T把算子方程问题等价地转化为算子T的不动点问题则是另外一个很重要的问题,需要根据算子F的性质具体分析.只有选择合适的算子T才能有效地解决问题. 1.1.3若干重要不动点定理 1911年,Brouwer证明了**个不动点定理,现在被称为Brouwer不动点定理.Brouwer不动点定理是重要的不动点定理之一,这一定理不仅在数学学科本身有重要应用,而且在数理经济学等其他学科中也有广泛应用. 定理1.1 何松年对Brouwer不动点定理做了进一步推广,把为有界闭凸集的条件放宽为是一有界闭星形体.称是一个星形体,若存在一内点使得对任意与;连接的线段均属于且至多除点外,线段上各点均为之内点.显然,星形体是含有内点的凸集的一种推广,例如中五角形、星形线所围区域均为星形体,但不是凸集. 何松年利用Brouwer拓扑度理论证明了如下结果. 定理1.2 不动点理论的另一个奠基性成果是著名数学家Banach于1922年证明的如下结果. 定理1.3 推论1.1 Banach压缩映像原理是泛函分析乃至数学学科中少有的、非常简洁优美的结果之一,它不但肯定了不动点的存在性与唯一性,而且给出了不动点的计算方法,同时还给出了近似不动点逼近精确不动点的误差估计.误差估计为实际计算时按照精度要求确定迭代次数提供了依据.直到今天,压缩映像原理仍被广泛应用.现举例如下,以便对如何利用压缩映像原理解决某些具体问题获得一个基本的认识. 定理1.4 证明对连续函数空间C[0,a]改赋范数 注1.1 注1.2定理1.4之证明给我们一点启示:一个算子是不是压缩的,事实上是与所选用的范数有关的,当范数选取适当时有可能获得更好的结果. 推论1.2设函数在上连续,并且关于第二个变元满足Lipschitz条件,即存在常数L>0,使得 证明 容易证明此微分方程问题等价于如下积分方程问题 由定理1.4可知结论成立. 1930年,Schauder证明了如下应用非常广泛的不动点定理,这一定理可以认为是Brouwer不动点定理在无限维赋范线性空间中的推广.直到今天,这个不动点定理仍然是研宄非线性微分方程、积分方程解的存在性的主要工具. 定理1.5(Schauder,1930年)设为赋范线性空间X中的非空有界闭凸集,为全连续算子(连续的紧算子),则在上存在不动点. 推论1.3设为赋范线性空间中的非空紧凸集,为连续算子,则;在上必有不动点. 非扩张映像是一种重要的非线性算子,这种算子的不动点的存在性有如下基本结果. 定理I.6(Browder,1965年)设X为一致凸Banach空间,为X中的非空有界闭凸子集,为非扩张映像,即 则在上有不动点. 定理1.7 注1.3 1.2不动点迭代算法概述 1.2.1不动点问题研究的演变 概括起来讲,非线性算子不动点问题研究的核心课题有两个:其一是不动点的存在性、唯一性以及不动点存在时不动点集的结构等理论性问题;其二是不动点的计算问题.早期的不动点问题以理论性研宄为主,很少涉及不动点的计算问题.近三十年来,由于计算机科学与技术的迅猛发展,计算能力大幅提升,这使得大规模科学与工程计算成为可能,促使计算数学与科学计算飞速发展,科学计算的影响和作用越来越大.今天,科学计算与理论研究、科学实验一起成为科学研究的三大基本方法这一观点,已经成为人们的共识.受此背景的影响与刺激,不动点理论的研究也呈现出新的变化,研究重点由不动点的理论研究转向不动点的计算方法研宄.特别是近十年来,非线性算子不动点迭代算法以及变分不等式解的迭代算法的研宄获得蓬勃发展,成果非常丰硕,并且在诸如*优化、图像与信号处理等理论与应用领域得到广泛应用. 一般而论,计算方法分为直接算法和迭代算法(也即逐次逼近法).但是,在科学研宄和工程实际中的许多问题都是非线性问题,而非线性问题一般是比较复杂的,直接算法往往没有可能.因此,迭代算法实际上是基本的(或者说是主要的)计算方法,正因为这一原因,非线性算子不动点的计算一般只能用迭代方法.事实上,即使是线性问题,比如线性方程组,当阶数较高、系数矩阵条件数较大时,直接解法效果往往不好,也需用迭代方法求解. 所谓不动点的迭代算法是指:根据非线性算子的特性,采用某种适当的方式产生一个序列,使得此序列收敛丨强收敛或者弱收敛)于算子的某个不动点. 1.2.2几种重要的不动点迭代算法 不同类型的非线性算子其性质差异是很大的,因此其不动点的计算方法也不尽相同,一般地必须分门别类地去研宄.在应用上*常见的非线性算子是Lipschitz连续映像. 定义1.1 当我们有必要强调指出Lipschitz常数时,也常称T是L-Lipschitz连续映像.特别地,当L=1时,T是非扩张映像;当L<1时,r是压缩映像. 对于L-Lipschitz连续映像,压缩映像无疑是性质*好的,非扩张映像是除压缩映像之外较为简单的应用背景广泛且明确的一类非线性算子,也是*受关注、研宄成果*为丰富的一类算子.到目前为止,非扩张映像不动点的存在性、不动点集的结构以及不动点的计算方法等研宄已经取得比较系统的成果. 假设X为Banach空间,CcX为非空闭凸集,算子:T:C74C具有不动点,如何用迭代方法求出T的一个不动点呢?我们列举如下几种常用的迭代格式. 算法1.1(Picard迭代,1890年)任取定,并令 Banach压缩映像原理即采用此法证明了压缩映像不动点的存在性、唯一性以及算法的误差估计.但是,对于非压缩映像,Picard迭代未必收敛,更未必收敛于其某个不动点. 算法I.2(Halpern迭代,1967年)任取定,并令

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服