非传统区域快速变换是当前高性能计算科学研究与应用领域中最引人注目的前沿课题之一。Fourier变换,三角函数变换与正交多项式在大规模科学计算和数值分析中起着重要的作用。经典Fourier变换一般只适用如矩形的传统区域,本书对于应用中常遇到的非传统区域(三角形,平行六边形,单纯形,超单纯形,曲单纯形等)进行了系统的论述,可为多元非传统区域一些特殊网格上求解偏微分方程的连续谱和离散谱方法以及某些海量数据处理提供方法与工具。
本书可供高等院校计算科学、应用数学、计算数学以及其他有关专业作为教学参考书,也可供对高性能计算及多元数值分析有兴趣的科研和工程技术人员参考。
本书共分16个章节,主要对于应用中常遇到的非传统区域进行了系统的论述,可为多元非传统区域一些特殊网格上求解偏微分方程的连续谱和离散谱方法以及某些海量数据处理提供方法与工具。具体内容包括单变量正交多项式ODE定义与B-网表示、三向齐次坐标下的Fourier变换与广义三角函数变换、三角域正交多项式PDE定义与B-网表示、四面体与平行十二面体上的Fourier变换、高维单纯形域广义三角函数等。该书可供各大专院校作为教材使用,也可供从事相关工作的人员作为参考用书使用。
总序
前言
第1章 单变量正交多项式ODE定义与B-网表示
1.1 最简单的常微分方程本征问题
1.2 单变量单参数正交多项式
1.2.1 幂函数表示
1.2.2 三项递推公式
1.2.3 Gegenbauer多项式
1.3 一维有界区间上正交多项式的B-网表示
1.3.1 单变量多项式的Bernstein基及B-B多项式
1.3.2 Chebyshev多项式的B-网表示
1.3.3 Gegenbauer多项式的B-网表示
1.4 单变量Jacobi正交多项式及其B-网表示
1.4.1 双参数常微分方程本征问题及B-网表示
1.4.2 经典Jacobi多项式及其B-网表示
1.5生成双变量正交多项式的Koomwinder方法
第2章 三向齐次坐标下的Fourier变换与广义三角函数变换
2.1 平面三向齐次坐标与函数表示
2.1.1 三向齐次坐标的定义与性质
2.1.2 三向坐标下函数的周期性与对称性
2.1.3 常用偏微分算子的三向坐标表示
2.1.4 三向网格与差分格式
2.2 三向坐标下的Fourier函数系及其性质
2.2.1 二元Fourier函数系及其基本性质
2.2.2 二阶与三阶偏微分本征方程
2.2.3 二元Fourier级数的逼近性质
2.3 平行六边形离散内积与Fourier插值
2.4 三向坐标下广义正弦函数与余弦函数及其性质
2.4.1 广义三角函数定义与正交性
2.4.2 广义三角函数的主要性质
2.4.3 广义余弦函数的极值性质
2.5 二元广义三角函数在重心坐标下的实表示
2.5.1 三角区域广义实正弦函数的构造与性质
2.5.2 三角区域广义实余弦函数的构造与性质
第3章 平行六边形区域快速离散Fourier变换算法
3.1 平行六边形区域快速离散Fourier变换基础
3.1.1 平行六边形区域离散Fourier变换
……
第4章 三角域DCT,DST及其快速算法
第5章 三角域正交多项式PDE定义与B-网表示
第6章 广义曲边三角形区域族上的正交多项式
第7章 平行六边形上的正交分解与分片多项式
第8章 四面体域上的正交多项式与B-网表示
第9章 曲四面体域上的正交多项式与三层递推公式
第10章 四面体与平行十二面体上的Fourier变换
第11章 非传统区域快速Fourier变换及并行算法
第12章 多向Fourier积分与B-样条的B-网表示
第13章 高维超单纯形域Fourier变换及快速变换
第14章 高维单纯形域广义三角函数
第16章 高维曲单纯形域上正交多项式
参考文献
索引
第1章 单变量正交多项式ODE定义与B一网表示
单变量正交多项式可以用多种方法定义,通常的方法有:直接定义,权函数方程,Gr锄一Schmidt(格拉姆一史密特)正交化方法,母函数定义,递推公式,高阶导数公式(Rodrigues公式),以及二阶线性常微分本征函数定义等(如见[13,38])。为了便于以后向高维不规则区域过渡,我们重点采用常微分方程定义,即所谓的Stum—Liouville(施图姆一刘维尔)方法。在多项式的表示方面,除了常用的幂函数外,本节重点采用所谓的Bernstein形式,以便所得结果以后能更自然地推广到高维单纯形区域。
单变量正交多项式的经典文献可见Sze96 G[58],近代文献可见[13,21,35,371等。
……