用图灵机计算热传导方程

研究了带初值的热传导方程广义解的可计算性。首先,给出TTE的一些基本概念,然后,通过广义函数的理论得出热传导方程的基本解;最后,运用广义函数卷积的可计算性质得到最后证明。     

热传导方程初值问题解的性质的证明

主要研究热传导方程初值问题解的性质,给出齐次热传导方程初值问题的解是解析函数的一种比较简单的证明,给出了非齐次热传导方程初值问题的形式解是古典解和广义解的直接证明.     

一维广义热传导方程的精确解

【目的】为构造一维广义热传导方程新的精确解。【方法】利用李群分析法把一维广义热传导方程的解析求解问题约化为寻找常微分方程精确解的研究和探索问题。【结果】结合试探函数法和观察法给出了一维广义热传导方程的许多新的显式解析解和行波解。【结论】所得的新解析解扩展和完善了已有的结果。     

一维广义热传导方程的精确解

【目的】为构造一维广义热传导方程新的精确解。【方法】利用李群分析法把一维广义热传导方程的解析求解问题约化为寻找常微分方程精确解的研究和探索问题。【结果】结合试探函数法和观察法给出了一维广义热传导方程的许多新的显式解析解和行波解。【结论】所得的新解析解扩展和完善了已有的结果。
     

全直线上热传导方程广义Hermite谱方法

以带伸缩因子的广义Hermite函数为基函数展开全直线上热传导方程的数值解,逼近热传导方程的正确解。给出算法格式和收敛性分析,数值例子表明所提算法格式具有有效性和高精度。所用方法也可用于求解其他同类问题。     

对非线性热传导方程行波解的推广

将非线性热传导方程的行波解推广到了耦合的热传导方程组和广义热传导方程的行波解,其方法主要是利用Riccati方程和Mathematica工具．从而将非线性热传导方程的行波解大大推进了一步．广义热传导方程中的r只要是不等于零就行．同时也推广了行波解的种类,即a≠0时的情形．因此这个结果更具有一般性。     

两类方程基本解的导出与验证(英文)

应用广义导数和Green公式,导出Laplace方程和热传导方程的基本解,并进行验证.最后举例说明了基本解的本质及应用.     

偏微分方程中的Fourier变换及其应用

Ｆｏｕｒｉｅｒ变换在偏微分方程理论中占有相当重要的地位。本文通过经典的Ｆｏｕｒｉｅｒ变换求解一维、二维热传导方程Ｃａｕｃｈｙ问题的方法，推广Ｆｏｕｒｉｅｒ变换到速降函数空间ψ（Ｒ＾ｎ）和ψ（Ｒ＾ｎ）上的线性连续泛函ψ＇（Ｒ＾ｎ）广义函数空间上，求出了Ｃａｕｃｈｙ－Ｒｉｅｍａｎｎ方程、热传导方程、常系数椭圆算子方程以及形如δｕ／δｔ＝ｐ（δ／δｘ）ｕ的方程的Ｃａｕｃｈｙ问题的基本解。最后引入了Ｆｏｕ     

热传导方程初值问题解的若干性质

研究热传导方程初值问题解的性质,利用求解公式给出了热传导方程的解是解析函数的直接证明,对初值连续可积条件下,给出齐次热传导方程初值问题解的存在性证明.     

热传导方程解的梯度估计和解析性

利用热传导方程初值问题的求解公式,给出了齐次热传导方程初值问题的解是解析函数的证明.对齐次热传导方程的解给出了梯度估计,并通过对各阶偏导数的估计应用泰勒公式,给出了齐次热传导方程的解是解析函数的证明.     

用图灵机计算Klein-Gordon方程

研究了带初值的线性Klein-Gordon方程解算子的可计算性.首先,给出TTE的一些基本概念,然后,通过傅立叶变换把这个偏微分方程转化为积分方程,最后,证明了这个积分方程的解算子是图灵可计算的,从而原方程的解算子也是可计算的.     

Co-regular集上的可计算算子

Co-regular集是R^d上的一类集合, 在 第二类能行性理论（简称TTE）的框架下, 研究co-regular集组成的类P上若干算子的可计算性, 这些算子主要包括交、 并、 象、 原象、 补集的内部运算和开集的co-regularization等. 结果表明, 此前提出的所有不等价表示式中, 只有个别表示式对这 些算子是可计算的.     

变系数广义KdV方程新的类孤波解和解析解

用普通Korteweg-de Vries(KdV)方程的解,构造变系数广义KdV方程的解,获得变系数广义KdV方程新的类孤波解和类Jacobi椭圆函数解.     

(2+1)维拟线性抛物方程和不变子空间

运用条件Lie-B(a)cklund对称与不变子空间理论相结合的方法研究(2+1)维拟线性抛物方程3种形式的广义泛函分离变量解,即广义泛函多项式形式解、广义泛函三角函数形式解和广义泛函指数形式解,并对方程进行完全分类,得到了精确解中未知函数满足的动力系统.     

解析图像热传导滤波与伸缩变换

数字图像的预处理是高层计算机视觉所必须经历的阶段,图像滤波处理和图像的伸缩变换是极其常用的两种基本的图像预处理方法.本文从热传导滤波与伸缩变换的次序关系这着手,主要从数学角度,经过严密的数学逻辑推理得出了热传导滤波处理与伸缩变换在图像处理中交换处理次序时各参数所应满足的关系,并进一步给出了试验结果.从而让读者深刻的理解到在图像处理过程中热传导滤波处理与伸缩变换不可轻易交换次序的数学原理,以便在实际问题中遇到这两种处理时能正确的理解和应用.     

一类三阶线性椭圆型复方程的广义解

在文[1]中,我们对三阶线性偏微分方程组进行了分类。接着在文[2]中,我们把一般的三阶线性椭圆型方程组化为两类复方程,並对其中的一类复方程进行了研究,得到了广义解的表示式和存在定理,还研究了一个特殊方程的边值问题。本文用类似于文[2]中的方法研究另一类复方程,在引进新的算子后,也得到了广义解的表示式和存在定理,做为应用,还研究了一个特殊方程的边值问题。     

Burgers方程的强对称、李代数及其守恒律(英文)

借助于热传导方程的无穷多新的强对称、对称,求出了Burgers方程新的强对称,并由此生成了两组无穷多新的对称.同时证明了两组新对称构成一无穷维李代数.最后利用得到的新对称导出了Burgers方程无穷多新的守恒律,并且推广了相应求解守恒律的公式.     

基于正交投影方法的二次特征值反问题及其最佳逼近解

考虑二次特征值反问题的广义中心对称解(广义反中心对称解)及其最佳逼近问题,应用矩阵的正交投影方法,给出矩阵方程AX+BY+CZ=0的解及其最佳逼近问题.利用广义中心对称矩阵(广义反中心对称矩阵)的性质导出了该问题有广义中心对称解(广义反中心对称解)的条件及有解情况下的通解表达式,并证明了最佳逼近问题解的存在性与唯一性,得到了最佳逼近解的表达式.     

无界区域上抛物型方程广义解的最大值原理

本文在无界带形区域上对散度型的二阶抛物型方程的广义解建立了最大值原理。从而给出了其广义解的广义最大模估计。