非0非1型逻辑方程与相关逻辑方程的解集关系及其应用（英文）

给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到:若F+G=1和F G=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和F+G=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和F·G=1的解集分别为S5、S6,则F=G的解集为S5∪S6;同时亦得到{F=1F=0:若逻辑方程组、的解集分别为X1、X2,则逻辑方程F=G的解集为X1∪X2,应G=1{G=0用此结论可解非0型、非1型及相关的逻辑方程.     

非0非1型逻辑方程与相关逻辑方程的解集关系及其应用

给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到：若F+G〖TX-〗=1和FG〖TX-〗=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和F〖TX-〗+G〖TX-〗=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和F〖TX-〗·G〖TX-〗=1的解集分别为S5、S6,则F=G的解集为S5∪S6;同时亦得到：若逻辑方程组〖JB({〗F=1G=1〖JB)〗 、〖JB({〗F=0G=0〖JB)〗 的解集分别为X1、X2,则逻辑方程F=G的解集为X1∪X2,应用此结论可解非0型、非1型及相关的逻辑方程.     

(2 + 1)维非线性波方程Jacobi椭圆函数展开解

将Jacobi椭圆函数展开法应用于求解非线性偏微分方程组,研究色散长波方程的（2＋1）维Eckhaus类型推广和（2＋1）维Boussinesq-Burgers（B-B）孤子方程的双周期解和孤波解.     

一类非线性差分方程解的稳定性及振动性

研究非线性差分方程xn＋1=（xnxn-1＋a）／（xn＋xn—1＋b），（n≥0；a，b∈[0，∞）；x0，x-1∈（0，∞））解的稳定性及振动性，得到该差分方程存在唯一非负平衡解x^-，且x^-为全局渐近稳定的，同时根据a和b是否为0，分别研究了解关于x^-的振动性，得到该差分方程任意解，下述结论之一成立：（1）当n〉0时，xn单调减收敛于x^-；（2）当n〉0时，xn≡x^-；（3）解关于x^-严格振动，可能除第1个半环外，每个负半环的长为2，且每个正半环的长为1．     

关于丢番图方程X2-(a2+1)Y4=35-12a的讨论

设a是正整数,证明了当a=1时,方程X²-(a²+1)Y⁴=35-12a仅有正整数解(X,Y)=(5,1);当a=2时,该方程仅有正整数解(X,Y)=(4,1)和(56,5);当a=3时,该方程仅有正整数解(X,Y)=(3,1);当a=4时,该方程仅有正整数解(X,Y)=(2,1)和(202,7);当a=5时,该方程仅有1组互素的正整数解(X,Y)=(1,1);当a=6时,该方程无正整数解(X,Y);当a≥7且12a+1为非平方数时,该方程最多有3组互素的正整数解(X,Y);当a≥7且12a+1为平方数时,该方程最多有4组互素的正整数解(X,Y).     

抛物型方程的非局部问题

证明了半线性抛物型方程非局部问题广义最大解和最小解的存在性,降低了对右端函数的光滑性要求。还建立了一类半线性抛物型方程组非局部问题的比较定理,讨论了其解的存在唯一性。     

一种半线性热传导方程的Cauchy问题

考察问题{ut=Δu＋up,Rn×（0,∞）u（x,0）=φ（x）≥0,Rn整体解的存在唯一性,证明了若空间的维数n〉2/p-1,p≥2,只要φ（x）适当光滑,且在某些Soboler空间中的范数足够小,则上述半线性热传导方程的Cauchy问题必在t≥0上存在唯一的整体经典解.     

含非齐次项椭圆方程组的边界爆破解

利用上下解方法和比较原理研究了含非齐次项椭圆方程组边界爆破解的存在性问题. 首先证得包含非齐次项的加奇性权单个椭圆方程边界爆破解的存在性, 进一步得到方程组在边界爆破条件下解的存在性.     

非线性系统的非局域对称及其应用

非局域对称作为对称理论重要组成部分, 近年来逐渐引起人们关注. 本文以势Korteweg-de Vries (KdV)方程、修正Korteweg-de Vries (mKdV)方程和Kadomtsev-Petviashvili (KP)方程为例, 分别介绍了对应非线性系统与B?cklund变换相关的非局域对称、非局域留数对称与Darboux变换相关的非局域对称. 通过引入3个辅助变量, 将KP方程与Darboux变换相关的非局域对称局域化为Lie点对称. 运用对称约化方法简单概述了KP方程的相似约化解, 其中包括孤立子和Boussinesq波相互作用解、孤立子和KdV型波相互作用解以及非均匀背景下的单孤立波解.     

平面泛复数中代数方程根的规律

利用素理想和环的零因子技巧，讨论泛复系数代数方程根的规律，得到了抛物复系数代数方程f(x)=(an bnk)x^n (an-1 bn-1k)x^n-1 …(a1 b1k)x (a0 b0k)=0（这里虚单位k满足k^2=0)的准确解；而对于双曲复系数代数方程f(x)=(an bnj)x^n (an-1 bn-1j)x^n-1＋…＋（a1 b1j)x (a0 b0j)=0（这里虚单位j满足j^2-1=0），我们将方程转换成方程组，给出了方程的具体解法，并估计了在双曲复数域H中的根的个数。     

Kadomtsev-Petviashvilli方程的直接相似约化

Clarkson和Kruskal发展的直接法(CK直接法)是求解非线性微分方程相似约化的一种强有力的方法. 本文以Kadomtsev-Petviashvilli(KP)方程为例, 运用CK直接法把KP方程简化为3种类型的(1+1)维偏微分方程, 这3种偏微分方程等价于经典Lie方法得到的3种具有不同独立变量的相似约化方程. KP方程的解包含了更多经典Lie方法所遗漏的任意函数, 例如, CK直接法得到的第3类约化可以分为3个子情形, 而经典Lie法得到的KP方程的第3类解只是我们结果的一个子情形的特例.     

双曲型方程激波捕捉的物理信息神经网络（PINN）算法

双曲型方程的数值求解算法研究一直是偏微分方程研究的热点,其中,双曲型方程的间断捕捉是难点。受物理信息神经网络（physics-informed neural networks,PINN）启发,构造了改进的PINN算法,近似求解双曲型方程的间断问题。将坐标构造的数据集作为神经网络的输入,将PINN算法中的损失函数作为训练输出值与参考解（基于细网格的熵相容格式数据）或准确解的误差值,通过网络优化,最小化损失函数,得到最优网络参数。最后用数值算例验证了算法的可行性,数值结果表明,本文算法能捕捉激波,分辨率高,且未产生伪振荡。     

混合边界条件下广义二维多项时间分数阶扩散方程的解析解

广义多项时间分数阶扩散方程已被用于描述一些重要的物理现象,目前,有关该类方程在高维情形下满足混合边界条件的研究仍较少.利用分离变量法考虑有界区域上广义二维多项时间分数阶扩散方程,方程中关于时间变量的分数阶导数采用Caputo分数阶导数的定义,其阶分别定义在［0,1］,［1,2］.而关于空间变量的偏导数则定义为传统的整数阶导数（二阶）,得到了有界区域上广义二维多项时间分数阶扩散方程满足非齐次混合边界条件的解析解.亦可用于求解其他类型的满足不同边界条件的分数阶微分方程的解析解.     

(2+1)维Broer-Kaup-Kupershmidt方程的新精确解

使用变系数的广义Ricatti方程映射法，对（2＋1）维Broer-Kaup—Kupershmidt方程进行了研究，得到了包括Weierstrass函数解、孤立子解、似孤立子解和三角函数解等．由于解的表达式中存在2个或3个任意函数，因此解中存在丰富的结构．     

线性约束下双对称矩阵的最佳逼近问题

将求矩阵方程AX＝B双对称解的问题等价地转化为求一类矩阵方程对称解的问题.通过后者容易得出矩阵方程AX＝B的双对称解,给出了解集合的表达式.研究了矩阵方程AX＝B的双对称解集合的最佳逼近问题.当矩阵方程AX＝B有双对称解时,其最佳逼近解存在且惟一,给出了最佳逼近解的表达式.     

平衡半传递有向图的弧连通性

有向图D=（V, E）被称为是极大弧连通的,如果λ（D）=δ（D）。此外,有向图D被称为是超弧连通的,如果每个最小的弧割都是其某个点的入弧集或者出弧集。以X1和X2为两部的一个有向二部图是半传递的,如果自同构群Aut（D）分别传递的作用在X1和X2上。在这篇论文中,证明了强连通的半传递有向图是极大弧连通的。还证明了除了少部分例外,连通半传递平衡有向图是超弧连通的。     

广义基本解方法求解一维非齐次热传导方程的反边界值问题

给出一种求解一维非齐次热传导方程反边界值问题的无网格方法,即广义基本解方法．该方法将问题的解分成特解和相应齐次问题的解两个部分：齐次解用基本解方法求解,而特解则是利用相应的特征方程的基本解近似得到．鉴于所考虑问题的不适定性,应用截断奇异值分解和L曲线准则求解离散后得到的高度病态的线性方程组．最后给出数值例子说明该方法的稳定性和有效性,并分析了数值解精度与各参数之间的关系．