关于半离散Galerkin近似解的L_∞估计的一个注记

在《计算数学》和《高等学校计算数学学报》上最近发表的文章[1]和[2]中,分别讨论了抛物和二阶双曲方程半离散Galerkin近似解(分片线性函数情形)的L_∞估计。文章作者采用正则Green函数方法证明了阶为h~2ln(1/h)的误差估计式。值得指出,[1]和[2]中所给出的估计式的一个不足之处就是它们所需要的精确解的正则性过于强。在这个注记里,我们将说明如下事实,利用熟知的半离散Galerkin近似解的超收敛估计和有限元函数空间的一个弱嵌入性质,可以证明得到阶也是h~2ln(1/h)的误差估计式,然而对解的正则性的要求则较[1]和[2]中估计式所需要的弱得多。 先讨论抛物问题,文[1]讨论的是热传导问题     

半马尔可夫过程的极限分布及其推广

本文运用马尔可夫骨架过程的极限理论研究齐次可列半马尔可夫过程,得到其极限分布.当更新间隔的分布不是格子分布时,本文的结果和邓永录等[1]中的结果一致,但采用的方法不同,本文采用的是马尔可夫骨架过程的理论方法,而[1]中采用的是交替更新过程的方法;而且关于更新间隔服从格子分布的情形,[1]中没有研究,而本文给出了结果.最...     

一类具连续分布变偏差的微分不等式

<正> 在§2中我们给出了(1.1)—(1.4)不存在正解或负解的充分性条件.G.Ladas仅讨论了具常偏差的情形.作者在论文[2]中仅讨论了离散分布变时滞情形.本文将讨论连续分布变时滞与变时超的情形,且证明了[2]中假设条件(H_1)是可以去掉的,即实际上满足条件的ψ(t)是必存在的.     

关于唯一可3边着色图

本文探讨了唯一可3边着色图的一些性质,从而否定了[2]中提出的两个猜想.一个是Fiovini和Wilson提出的,另一个是Greenwell和Kronk提出的.文中运用的概念和记号,除特别提到的外,一般都引自[1、2]. 唯一可k边着色问题,只剩下k=3时的情形了(见[2]).为此,[2]中指出了下述三个猜想:     

不同材料拼接的周期裂缝问题

关于具有裂纹的拼接半平面问题[1—3]中作过一些研究,[4]中提出的新的解法可以在相当一般的情形下运用,而且比已有的方法简单得多,[5]中进一步说明当接触面存在位移差时,[4]中的方法仍可应用。 在本文中,我们使用[4]提出的方法考虑不同材料拼接的周期裂缝问题。     

约束可微多目标最优化的正则性条件

文[1]在纠正了文[2]中的错误后,提出了几个值得进一步研究的问题.本文将在§1中部分回答这些问题.在§2中,指出并纠正文[3]的§3中证明中的错误,并将纠正后的结果推广到多目标规划的情形.     

具有可用时间限制的两道工序柔性流水车间排序问题

1 引言与符号定义 经典排序问题一般假定机器是一直可用的,但出于定期检修等原因而使得机器并不是在所有时间都可用的情况在实际生产中是比较常见的.机器可用时间限制(LimitedMachine Availability,简记为LMA)模型就是用来刻画某些机器存在不可用时间段情况下的排序问题的.[1]讨论了单机LMA模型的计算复杂性并对一些算法进行了最坏情形分析.[2]研究了平行机环境下的一些LMA模型.继[3]第一个研究了流水车间环境下的LMA模型之后,[4]扩展了其关于复杂性和算法分析的结果。     

具有摄动的两类马氏决策规则

在状态空间和行动集均有限的条件下,[1-5]讨论了时间离散的,平稳的马氏决策规划的摄动模型,其中,[1,3,4]讨论了单摄动模型,[5]讨论了具有加权准则的摄动模型,[6,7]讨论了时间离散的,平稳的马氏报酬过程的摄动模型,但[6,7]仅考虑了摄动对最优值的影响,而没有考虑摄动对最优策略的影响,本文将讨论具有摄动的非平衡平均马氏均策规划和连续时间折扣马氏决策规划。     

一类线性算子的扰动理论及其应用

<正> 离散型算子扰动理论的主要结果为Schwartz—Kramer得到,这可详见[5].[5]中是使用谱族的方法来处理的,我们将用无条件基的理论来证明这个结果(定理1.3的1)2)).显然证明较之[5]大为简化,并且免去了在Banach空间情形吋所要求的“弱完备”条件,以及得到其它一些结果(定理1.3的3)4)).     

离散椭圆型方程的矩阵方程表示及其直接解法

在[1]中讨论了解离散椭圆型方程的直接法,[2]、[3]中在椭圆型方程的类型和区域上得到了进一步的推广.它们的优点是计算起来快速且仅需要极小的存贮量.本文把求解的线性方程组写成矩阵方程形式,进一步发展矩阵分解法.首先,为了简单,如[1]那样考虑方程组     

在均匀网格当λ_0,μ_n<4+2(3~(1/2))时三次样条的收敛定理

关于满足一般二点端点条件的三次插值 Spline 的存在唯一性定理,[2]和[3]把[1]的结果从不同的角度作了进一步地推广,在均匀网格的情形给出了结论;当 n 充分大,λ_0,μ_n<4+2(3~(1/2))时,三次插值 Spline 存在唯一.本文在这一基础上讨论三次插值 Spline的收敛性问题.     

关于“数学规划的稳定性”的一个注记

[1]的作者薛声家同志改进了[2]和[3]的一个基本假设条件,通过他的改进,[2]和[3]中的数学规划稳定性定理的应用范围得到了扩大。作者仿照薛声家同志的工作。把他的假设条件作进一步的改进。并用实例指出通过这进一步的改进[1]的数学规划稳定性定理的应用范围再一次得到了扩大。     

加罚N-S方程的有限元非线性Galerkin方法

非线性Galerkin方法是对耗散型非线性发展方程的一种数值解法,其空间变量不象一般Galerkin方法那样在线性空间上离散,而是在非线性流形上离散,所得逼近解在时间变量增大时可以更快地逼近其精确解.精细的理论分析可见[1],[2]等,在有限元逼近基础上将此方法应用到Navier-Stokes方程上的工作可参见[3],[4],这些文章主要针对速度与压力同时求解的混合元情形做了讨论.本文在[4]的基础上对加罚Navier-Stokes方程的一种非线性Galerkin方法的半离散和全离散有限元逼近格式分别进行了误差估     

加罚N-S方程的有限元非线性Galerkin方法

非线性Galerkin方法是对耗散型非线性发展方程的一种数值解法,其空间变量不象一般Galerkin方法那样在线性空间上离散,而是在非线性流形上离散,所得逼近解在时间变量增大时可以更快地逼近其精确解.精细的理论分析可见[1],[2]等,在有限元逼近基础上将此方法应用到Navier-Stokes方程上的工作可参见[3],[4],这些文章主要针对速度与压力同时求解的混合元情形做了讨论.本文在[4]的基础上对加罚Navier-Stokes方程的一种非线性Galerkin方法的半离散和全离散有限元逼近格式分别进行了误差估     

Schwarz混乱松弛法(S-COR)及同步和异步并行算法

早在1985年,[1]就把Schwarz交替法推广到任意多个子区域分解情形,并且提出了带松弛因子ω的S-COR算法.就一般的二阶自共轭椭圆问题而言,[1]断言:当ω∈(0,2)时,S-COR算法收敛,并在[1]和[2]中给出了收敛性证明.但在证明中有几处不严密的论证.本文利用Lions的理论给出一个收敛性证明,并提出几个同步和异步并行算法.其收敛性可由S-COR算法的收敛性导出.     

Schwarz混乱松弛法(S-COR)及同步和异步并行算法

早在1985年,[1]就把Schwarz交替法推广到任意多个子区域分解情形,并且提出了带松弛因子ω的S-COR算法.就一般的二阶自共轭椭圆问题而言,[1]断言:当ω∈(0,2)时,S-COR算法收敛,并在[1]和[2]中给出了收敛性证明.但在证明中有几处不严密的论证.本文利用Lions的理论给出一个收敛性证明,并提出几个同步和异步并行算法.其收敛性可由S-COR算法的收敛性导出.     

有关行列式和迹的极值以及典则变量的最优性的补注

二次型极值已被一些文献诸如[1]和[3]讨论,一些相近的题目可在文献[2]中见到.文献[1]得到与二次型有关的行列式极值和典则变量的最优性质,本文对[1]给出补注.     

连续时间随机过程的最优停止理论

§1 引言关于离散时间随机过程的最优停止问题,Chow,Robbins and Siegmund[1]已较系统地给出了研究结果.关于马尔可夫情形的最优停止问题,无论是离散的还是连续的,Shirgyayev[5]都系统地进行了研究.关于一般的连续时间随机过程最优停止的讨论,则是从 Fakejev[3]和 Thompson[8]开始的.     

非线性广义系统最优控制的最大值原理：无限维情形

§1.引言 对于无限维非线性最优控制问题,[1]—[3]在一定条件下证明了最大值原理。在有限维情形,[4]讨论了线性广义系统的二次型指标最优问题。关于有限维非线性广义系统的讨论见[5],[6]。而对于无限维非线性广义系统的最优控制问题,目前尚无讨论。本文利用Ekeland变分原理[7]—[10]和Fattorini引理,对具有一般目标泛函的无限维广义系统的最优控制问题给出了最大值原理。     

“关于厄米特矩阵的一个不等式”的几点注记

<正> 文[1]提出并证明了下面的定理.设 A_j,B_j,…,C_j(j=1,2,…,k) 都是正定的同阶 (≥2) 厄米特矩阵,α,β,…,γ都是正实数,且 α+β+…+γ=1,则有sum from i=1 to k|A_j|~α|B_j|~β…|C_j|~γ<|sum from i=1 to k A_i|~α·|sum from i=1 to k B_i|~β…|sum from i=1 to k C_i|~γ.以下几点意见,供参考.第一,文[1]中的引理1和引理2是早有的结果.引理1见[2]p.15,[3]p.16及p.13,引理2是 Minkowski 行列式定理的直接推论,见[4].事实上,文[1]的定理是 H(?)lder 不等式和 Minkowski 行列式定理的自然结果.因为