随机微分方程的高阶数值要领.pdf

中文摘要 中文摘要 随着计算机技术和计算方法的快速发展，人们已发展了许多计算确定性问题的高效 数值方法。然而，在很多情形下，方程中的一些参数(如扩散项、边界条件以及求解区域 等)带有不确定性。为了准确地对不确定性闯题做出证明和检验等，需要设计高精度的 数值方法求解随机微分方程。谱元法作为一种高阶的数值方法，结合了谱方法的高精度 和有限元法灵活的网格剖分技术，在不可压流体的计算中已取得了很大的成功，并正成 为计算随机微分方程的一个有力工具。 本文旨在利用随机Galerkin谱方法求解带有不确定性输入参数的微分方程。研究的 算法基于随机方向上的Askey正交(混沌)多项式谱分解和物理空间方向上的谱方法。我 们针对几个典型问题构造了有效的解法，并做了必要的算法分析和数值检验。具体研究 内容如下： 一通过数值求解一个随机常微分方程，我们考察了参数的不确定性对数值解的扰动 影响以及数值方法的收敛性质。 一以定常、非定常随机扩散方程为例，考察了一种随机Galerkin谱方法的具体实现方 式，并用一些数值算例测试了算法的有效性。 一提出了有效的数值方法求解随机Stokes方程，并分析了算法的有效性。首先，通过 定性方程组；其次，对于所得到的方程组，我们用PN×pⅣ一2谱方法并结合块Jacobi迭代 格式进行数值求解。我们证明了连续问题的弱形式及其离散问题的适定性。另外，我们 还给出了严格的误差分析，并用数值试验检验了理论结果。 一基于热传导方程的谱离散格式，讨论了利用变分伴随数据同化进行参数的优化 确定问题。确切地说，我们采用离散型伴随同化求解热传导方程的初始条件的最优化 得一个全离散问题。从这个全离散问题出发，结合全局或局部已知的观测数据，分别 构造梯度下降算法求解相应的最优化问题。我们分析了采用不同方法计算梯度所需的 代价，另外，还给出一种选择最优迭代步长的算法。数值试验验证了最优化算法的效率。 关键词：随机Galerkin谱方法，随机Stokes方程，变分伴随数据同化 Abstract and in ofnumericalmethods tothe the computer Thanksgreatprogressdevelopment classicaldifferential cannowbesolvedefficiently partiM equations very resources，many conditionsaswell with cases，thecoefficients，boundary accuracy．However，inmany high theconsidereddifferential containuncertainties． asthe of partial equationmay geometry to uncertain is orderto involving data，there In meaningfulpredictionsproblems provide numericalmethodsfor stochastic needto efficient genera