非齐次热传导方程的隐式差分方法（Ⅲ）

本文提出了一种数值求解非齐次热传导方程的两层三点隐式差分方法。所得格式的精度依次为Ｏ（ｋ＋ｈ＾２），Ｏ（ｋ＾２＋ｈ＾３），Ｏ（ｋ＾２＋ｈ＾４），且均为无条件稳定。用于数值算例，检验了文中格式的性态。     

非齐次热传导方程的隐式差分方法（I）

本文针对非齐次热传导方程提出了一种数值求解的两层三点隐式差分方法，所得格式精度分别达到Ｏ（Ｋ＋ｈ２）、Ｏ（Ｋ２＋ｋｈ２＋ｈ２）和Ｏ（Ｋ２＋ｋｈ２＋ｈ４），并通过数值算例进行了检验。     

含源扩散方程的一类高阶紧致差分格式

提出了一种求解含源扩散方程的高精度隐式紧致差分方法．该方法所得差分格式具有普遍性，源项易以不同离散形式获得，且均无条件稳定，其精度均能达到Ｏ（ｋ２＋ｋｈ２＋ｈ４）或Ｏ（ｋ２＋ｈ４），其中ｋ，ｈ分别为时间和空间方向的网格长度．最后通过数值算例对此方法进行了检验．     

高阶演化方程任意阶精度的显式格式

讨论高阶演化方程ａｕ／ａｔ＝ａ（ａ＾２ｋ＋１）／（ａｘ＾２ｋ＋１）（其中ａ≠０为实常数,ｋ＝１,２,３,．．．）的２层３层显式差分格式,已有格式的精度是Ｏ（τ＋ｈ）或Ｏ（τ＋ｈ＾２）利用半离散化方法给出一类具有任意阶精度Ｏ（τ＾ｐ＋ｈ＾ｑ）（ｐ．ｑ＝１．２,．．．）的显式格式,ｐ＝３,４,ｑ＝２ｋ．２（ｋ＋２）（２层格式）和ｐ＝２,４,ｑ＝２ｋ,２（ｋ＋１）．２（ｋ＋３）（３层格式）（ｋ＝１,２,     

解KdV方程的一个隐式差分格式

对ＫｄＶ方程ｕｉ＋ｕｕｘ＋Ｅｕｘｘｘ＝０构造了一个二层隐式差分格式，具有三对角线阵，其局部截断误差为Ｏ（τ＋ｈ＋τ／ｈ）其线性化稳定条件为（１＋２ＬＱ）＾２≥１，Ｌ＝τ／ｈ，Ｑ＝（ｕＴＲ＾ｎ＋１＋ｕＴＲ＾ｎ＋ｕＴＲ－１＾ｎ）／３。数值例子表明，格式长时间稳定，可以描述孤波（Ｓｏｌｉｔｏｎ）的性态．     

高阶发展方程的两类显式格式的稳定性分析

对高阶发展方程Эｕ／Эｔ＝ａЭ＾２ｋ＋１ｕ／Эｘ＾２ｋ＋１给出了两类带参数ａ的三层显式差分格式，其截断误差均为Ｏ（ι＋ｈ）。稳定性分析指出：当ｋ为偶数时，它们无条件不稳定；当ｋ为奇数时，稳定条件为│Ｒ│≤ｆ（ｋ，ａ）是ａ（０≤ａ≤１０）的上升函数，但为ｋ的下降函数。例如，当ｋ＝１时，ｆ（１，３）＝０．９８７１２３，ｆ（１，１０）＝２．１５０６９０；当ｋ＝３时，ｆ（３，３）＝０．１０９１５３，ｆ（３     

数值求解Kuramoto—Tsuzuki方程的广义Box格式

本文对于Ｋｕｒａｍｏｔｏ－Ｔｓｕｚｕｋｉ方程的混合初边值问题构造了一个广义Ｂｏｘ格式，可用追赶法求解。证明了该差分格式是唯一可解的，且当τ＝Ｏ（ｈ＾ε＋／４）（ε〉０）时在ｌ２范数下以Ｏ（τ＾２＋ｈ＾２）阶收敛。特别可取τ＝Ｏ（ｈ）。     

J（n,k）^（2^k＋2）的决定

设（Ｚ２）＾ｋ作用于光滑闭流形Ｍ＾ｎ，其不动点集具有常维数ｎ－（２＾ｋ＋２）．Ｊ（ｎ，ｋ＾（２＾ｋ＋２）是具有上述性质的未定向的ｎ维上协边类〖Ｍ＾ｎ〗构成的集合。通过构造上协边环ＭＯ．的生成元决定了Ｊ（ｎ，ｋ）＾（２＾ｋ＋２）的群结构。     

SchrOdinger方程的一个显格式

本构造了一个解ＳｃｈｒＯｄｉｎｇｅｒ方程的三层显多差分格式，格式绝对稳定，截断误差为Ｏ（τ＾２＋ｈ＾２）。     

一类半线性波动方程的低正则性估计

对形如ｕｕ－△ｕ－ｕ＾ｋ（Ｄｕ）＾ａ（ｘ∈Ｒ＾３,ｋ∈Ｚ＾＋,ｌ＋｜ａ｜＝２）的半线性波动方程在三维空间中的Ｓｏｂｏｌｅｖ指数进行了研究,用较简单的方法得到了与ＫｌａｉｎｅｒｍａｎＳ．和ＭａｃｈｅｄｏｍＭ．（Ａｒｃｈ Ｒａｔ Ｍｅｃｈ Ａｎａｌ,１９９２,８６（５）：３６９）相同的结果,即Ｓｏｂｏｌｅｖ指数为２。     

二阶复方型偏微分方程的函数论方法

本文讨论二阶复合型方程组（ＣＥ２）：［（１０１０）δ＾２／δｔ＾２＋（１０１λ／Ｒ＾２）δ＾２／δｘ１＾２＋（０（λ－ｋ＾２）／ｋ＾２（λ－１）／ｋ０）δ＾２／δｘ１δｘ２＋（λ００１）δ＾２／δｘ２＾１］（ｕ１ｕ２）＝０得到了该方程组有解的必要条件，并由此知道该方程组的Ｃａｕｃｈｙ问题是不适定的，转而讨论问题（Ｄ２），证明了问题（Ｄ２）是可解的，并给出了解的表达式。     

非齐次热传导方程的高精度隐式格式

采用待定系数和差分逼近方程的最高相容条件相结合的方法，提出了两种精度依次为Ｏ（Ｋ３＋Ｋｈ２＋ｈ２）和Ｏ（Ｋ２＋Ｋｈ２＋ｈ４）的数值求解非齐次热传导方程的两层三点隐式差分格式．所得格式均是无条件稳定的，并用算例对文中格式的性态进行了验证     

SchrOdinger型方程的半显式格式

本给出了两个解ＳｃｈｒＯｄｉｎｇｅｒ型方程的半显式格式，两格式均能显式计算，且绝对稳定，截断误差为Ｏ（τ／ｈ＋τ＋ｈ＾２）。     

第二类Fredholm方程的有限元迭代校正算法

对第二类Ｆｒｅｄｈｏｌｍ积分方程，以有限元解为基础，建立了一个高精度算法──迭代校正算法，证明了在光滑核条件，对ｍ次有限元解做一次迭代校正，可使精度从Ｏ（ｈ＾ｍ＾＋＾１）提高到Ｏ（ｈ＾３＾ｍ＾＋＾３）。     

单次碰撞条件下研究He（2^3S）与CO碰撞的Penning电离过程

利用分子束方法研究Ｈｅ（２＾２Ｓ）＋ＣＯ的Ｐｅｎｎｉｎｇ电离过程。给出了产物ＣＯ＾＋（Ａ）和ＣＯ＾＋（Ｂ）的分支比为１：２．２。这被归结于ＣＯ（Ｘ）的１π和４σ轨道活性的差异。初生态ＣＯ＾＋（Ａ）的振动分布与相应的跃迁的Ｆｒａｎｃｋ－Ｃｏｎｄｏｎ因子一致。说明此电离过程是一个垂直跃迁过程。并详细给出了初生态产物ＣＯ＾＋（Ｂ，ｖ０３ ７＝０）和ＣＯ＾＋（Ａ，ｖ＇＝０，１，２，３）的转动温度，产物转动     

奇异问题的混合元方法

讨论右端为δ函数的二阶椭圆型方程的混合元数值方法，证明了对解和梯度的Ｌ１模误差估计为Ｏ（ｈ｜ｌｏｇｈ｜１／２）（ｋ＝０）、Ｏ（ｈ３／２｜ｌｏｇｈ｜３／２）（ｋ≥１）和Ｏ（ｈ｜ｌｏｇｈ｜）（ｋ≥０），对ｋ≥ｌ提出一个提高收敛阶的计算格式，得到对解和梯度的Ｌ１模估计为Ｏ（ｈ２｜ｌｏｇｈ｜１／２）和Ｏ（ｈ２｜ｌｏｇｈ｜）．     

关于Hennekemper的一个基本不等式

用与Ｈｅｎｎｅｋｅｍｐｅｒ不同的方法研究了（ｆ＾ｋ＋１）＾（ｋ）的值分布，将Ｈｅｎｎｅｋｅｍｐｅｒ所得的基本不等式推广至小函数情形，得到了如下定理：设ｆ为超越亚纯函数，Ｆ＝（ｆ＾ｋ＋１）＾（ｋ），ｋ∈Ｎ，ψ为非零的小函数，则Ｔ（ｘ，ｆ）≤（１＋２ｋ＋１／４ｋ＾２＋２ｋ－１）Ｎ（ｒ，１／ｆ）＋４ｋ＋２／４ｋ＾２＋２ｋ－１Ｎ↑－（ｒ，１／Ｆ－ψ）＋Ｓ（ｒ，ｆ）。     

丢番图方程∑（n—1,k=0）（x＋d2k）^r=（x＋d2n）^r

证明了当ｎ，ｘ，ｒ为正整数县ｒ〉３，ｓ为非负整数，（Ⅰ）ｒ为奇数，ｄ２＝４０ｓ＋２，２２．（Ⅱ）ｒ为偶数，ｄ２＝４０ｓ＋１２，ｄ２＝８０ｓ２２，４２ｇｃｄ（ｘ，ｄ２）＝１，丢番图方程∑（ｎ－１，ｋ＝０）（ｘ＋ｄ２ｋ）＾ｒ＝（ｘ＋ｄ２ｎ）＾ｒ无整数解。     

两类新的高稳定性的三层显式差分格式

提出解高阶发展方程ａｕ／ａｔ＝ａ（ａ＾２ｋ＋１ｕ／ａｔ＾２ｋ＋１）（其中ａ≠０为常数,ｋ＝１,２,３,…）的两为新的具有高稳定性的三层显式差分格式,较大地改进了同类格式的稳定性条件。数值例子表明所作的稳定性分析是正确的。     

一类半线性弱双曲型方程的初值问题

研究如下一类问题｛ｕｔｔ＋Ｘ＾＊１Ｘ１ｕ＋Ｘ＾＊２Ｘ２ｕ＝ｆ（ｕ）｛ｔ＝０：ｕ＝０，ｕｔ＝ｈ（ｘ，ｙ），其中ｆ∈Ｃ＾１（Ｒ＾１），ｆ（０）＝０，ｈ∈Ｈ＾５（Ｒ＾２）并具有紧支集，ｓ＞ｍ／２（ｍ＋１），Ｘ１，Ｘ２是Ｒ＾２上的光滑向量场并满足ｍ阶Ｈｏｒｍａｎｄｅｒ条件，在以上假设下，得到了问题强解的存在性及正则性。