算子型Hilbert零点定理及构造弹性力学方程组一般解的符号算法

基于Ｈｉｌｂｅｒｔ零点定理，在统一理论框架中考虑了弹性力学方程组一般解的机械化构造问题。给出１．Ａ．Ｃ＝Ｂ．Ｄ．Ｃ．ＫｅｒＤ→ＫｅｒＡ满射与Ｃ．ＫｅｒＤ＝ＫｅｒＡ等价性；２．常系数线性算子型Ｈｉｌｂｅｒｔ零点定理及其简单构造性证明。     

带耗散项的拟线性双曲型方程组的整体光滑解

考虑带耗散项的一阶拟线双曲型方程组ｕｔ＋ｐ（ｖ，ｓ）ｘ＝－αｕ，，ｖｔ－ｕｘ＝０，ｓｔ＝０的柯西问题，其中ｐ（ｖ，ｓ）＝ｅ＾－ｖψ（ｓ），ψ∈Ｃ＾１（Ｒ），ψ（ｓ）〉０，在初值（ｕ０（ｘ），ｖ０（ｘ０））的Ｃ＾０模有界及它的导数（ｕ０＾１（ｘ），ｕ０（ｘ））的Ｃ＾０模充分小的假设下，证明了柯西问题的整体光滑解的存在性。     

一类反应扩散方程组的显式行波解

利用某些变换和Ｂｅｒｎｏｕｌｉ方程的积分对一类反应扩散方程组ｕτ－ｕｘｘ＝ｆ（ｕ，ｖ）ｖｔ＝ｇ（ｕ，ｖ）｛当ｆ，ｇ是某些多项式函数时，具体求出它们的显式行波解     

一类强非线性双曲方程组解的存在性和唯一性

本文研究了一类强非线性双曲方程组ｕ＿（ｔｔ）－ｕ＿（ｘｘ）＝ｆ（ｕ，ｖ），ｖ＿（ｔｔ）－ｖ＿（ｘｘ）＝ｇ（ｕ，ｖ）解的存在和唯一性，还证明了解的Ｈｏｌｄｅｒ连续性。     

非线性差分方程初值问题

用上、下解方法研究非线性差分方程初值问题：△ｕｋ＋ｆ（ｋ，ｕｋ）＝０，ｋ＝１，…，ｎ；ｕ＿０＝０，其中△ｕｋ＝ｕｋ－ｕｋ－１，给出下解ｖ不超过上解ｗ的一个充分条件：当ｆ（ｋ，ｕ）关于ｕ不减时，有ｖ≤ｗ．用Ｂｒｏｕｗｅｒ不动点定理以及修正初值问题的技巧，建立了解的存在定理：在ｆ（ｋ，ｕ）关于ｕ连续的条件下，对给定的下解ｖ与上解ｗ；ｖ≤ｗ，初值问题存在解ｕ满足ｖ≤ｎ≤ｗ。     

一类半线性椭圆型方程爆破解的存在性

设Ω是Ｒ＾Ｎ（Ｎ≥２）中的Ｃ＾２有界区域,对适当的无界非线性项系数ｐ（ｘ）,首先应用非线性变换ｖ＝ｅ＾－ｕ,半爆破解问题Δｕ＝ｐ（ｘ）ｅ＾ｕ,ｘ∈Ω,ｕ│δΩ＝＋∞转化成等价的带奇异项的Ｄｉｒｉｃｈｌｅｔ问题－Δｖ＋│△ｖ│＾２／ｖ＝ｐ（ｘ）,ｖ〉０,ｘ∈Ω,ｖ│δΩ＝０。应用极大值原理得到了爆破解问题的最小爆破速度。随后,应用摄动方法得到了爆破解的存在性,从而去掉了通常对ｐ（ｘ）所加的有界性条件     

解析函数C——R方程的等价形式

本文给出了Ｃ－－Ｒ方程几种不同的表达形式。并证明了各种形式与直角坐标形式的Ｃ－－Ｒ方程：δｕ／δｘ＝δｖ／δｙ，δｕ／δｙ＝－δｖ／δｘ的等价性，进而得到了解析函数导数的各种不同的表达式。     

C^n空间中的正则向量函数

本文给出了多圆柱区域与超球上的２＂维正则向量函数ｕ（ｚ）（满足方程ｕ＝的Ｃａｕｃｈｙ积分公式，超球上的正则向量函数的Ｐｏｉｓｓｏｎ积分公式，证明了ｕ（ｚ）的平均值定理和一般区域Ｄ上的ｕ（ｚ）的无穷次可微性，给出了Ｄ上向量函数的Ｃａｕｃｈｙ型积分是Ｃａｕｃｈｙ积分的一个充要条件。     

一类非线性Klein-Gordon方程组初边值问题的整体经典解

讨论了Ｋｌｅｉｎ－Ｇｏｒｄｏｎ方程组ｕｕ－△ｕ＋ａ＾２ｕ＋ａ＾２ｕｖ＾２＝ｆ（ｘ,ｔ）,ｕｔｔ－△ｖ＋β＾２ｖ＋ｂ＾２ｕ＾２ｖ＝ｇ（ｘ,ｔ）初边值问题的经典解,这里ｆ（ｘ,ｔ）,ｇ（ｘ,ｔ）为实值函数,α,β,ａ,ｂ,都为常数。     

一类扩散方程Dirichlet问题概率数值解法

本文就如下扩散方程Ｄｉｒｉｃｈｌｅｔ问题ｕｔ＝１２△ｕ＋ｑ（ｘ）ｕｘ∈Ｄｕ｜Ｄ＝φ（ｘ）｛（这里ＤＲｄ为ｄ＋１维欧氏空间中有界区域，ｑ（ｘ）是定义在Ｄ的有界Ｈｏｌｄｅｒ连续函数，φ为Ｄ可测函数）通过模拟时空布朗运动及应用Ｍｏｎｔｅ－Ｃａｒｌｏ方法给出了其概率数值解，并在依概率意义下证明了概率数值解收敛到其概率解。     

几类线性分数阶微分方程解的结构

用分离变量法分析研究时间-空间分数阶线性微分方程解的结构,得到了精确解,并用待定特殊函数法得到了常系数齐次线性分数阶微分方程的精确解,证明了解的存在性,建立了相应解的结构性定理.     

二阶退化双曲型方程的第二类广义Darboux问题

A.V.Bitsadze在文[1]中提出和研究了二阶一致线性双曲型方程uxx-uyy+aux+by+cu+d=0(A)的第一类和第二类Darboux问题.本文的目的是讨论二阶退化双曲型方程第二类广义Darboux问题和斜微商问题解的表示式,并证明这些问题解的存在唯一性。本文使用不同于[1]中的方法,但类似于[1]中的方程(A),根据本文中的结果,我们可以解决广义Chaplygin方程在一般区域上的Frankl问题.     

线弹性有限元中的图论方法

本文将文[1]中建立的简化法则加以推广,使其不仅适用于无向图,而且也适用于有向图,不仅适用于求本征值和本征矢量,而且也适用于解线性方程组。 为了将上述法则应用于线弹性力学的有限元计算,本文建立了刚度赋权图,质量赋权图,本征赋权图之概念,从而把图论方法引入有限元。     

带有小剪切的弹性板有限变形边值问题

对非线性板采用与传统的ｖｏｎＫａｒｍｄｎ板不同的变形假设，应用连续介质力学方法精确推证带有小剪切的弹性板有限变形边值问题的基本方程及边界条件。并对应变能函数作分解假设，使得有限变形边值问题与小转动边值问题解耦。由于此结果更具一般性，可由此得到弹性板边值问题的各种提法及对已有非线性板解的边界效应加以修正。     

FURTHER RESEARCH ON THE SPLINE MODEL METHOD OF KED ANALYSIS IN A PLANAR FLEXIBLE LINKAGE

This paper relates to the deep research on the Splinc Model Method of KED analysis. With the use of cubic B-splinc function as a link's transverse deflection interpolation function, the principle of virtual displacement is presented as a basic theory for the general formulation of the equations of motion, and thus abandoned the kinematic assumption and the instantaneous structure assumption which arc used in the Spline Model Method. In thc same time, the nonlinear terms sue as coupling terms between thc rigid body motion and elastic deformation arc included. New member's spline models are established. Mass matrix, Coriolis mass matrix, normal and tangential mass matrix, linear stiffness matrix, nonlinear stiffness matrix and rotation matrix arc derived. The kinematic differential equations of a member and system are deduced in the end. The Newmark direct integration method is used as the solution scheme of the kinematic differential equations to get the periodic response.     

偏微分方程组的对称群及其在弹性力学方程组中应用

给出了非退化线性偏微分方程组及二次型泛函对称群的不变向量场的一般形式和一类特殊形式非线性偏微分方程组对称群的简化计算条件；利用以上结论及作者以往工作，借助符号运算语言ＭａｔｈｅｍａｔｉｃａＴＭ计算了平面弹性力学方程组一阶Ｌｉｅ－Ｂａｃｔｌｕｎｄ对称群的不变向量场，以及应力函数对应的三维弹性力学方程组的Ｌｉｅ代数．为构造弹性力学方程组的一类广泛精确解及守恒律提供了必要的基础，并说明了结论对计算偏微分方程组对称群时的简化作用     

拉普拉斯变换在求解微分方程中的应用

文章讨论了高阶线性常微分方程解的构成，从信号与系统的角度出发，给出了线性方程的系统模型。使用拉普拉斯变换的方法对几种常见的问题进行了解答，极大地简化了计算。     

弹性力学平面问题的分域虚边界元法

把所研究的弹性域分成若干个子域，然后利用基本解根据边界条件和域与域之间的交界条件建立积分方程，最后采用虚边界元技术进行数值求解．文中除讨论两域耦合情况外，还讨论了任意多域耦合的情况，并给出了形成总体矩阵的一般规律．     

弹粘性半空间体的力学分析

本文采用流变理论中应力应变关系式代替弹性理论中的物理方程,建立了柱坐标系弹粘性力学分析的基本方程,为路面弹粘性力学分析提供了一种理论方法。按此方法,本文导出了垂直和水平圆形均布荷载下半空间弹粘性体的一般解。     

关于方程组x2-Dy2=1-D和x2=2z2-1的正整数解

设D是可使D-1是奇素数方幂的正整数，给出了确定方程组x^2 Dy^2=1-D和x^2=2z^2-1的全部正整数解(x，y，z)的一般方法．