若干高维可积和不可积模型的严格解

可积和不可积模型可以描述自然科学中的诸多现象, 寻找高维非线性模型的严格解已成为可积系统的一个重要研究内容. 结合达布变换法和多线性分离变量法, 可以得到多个(2+1)维非线性模型包含任意函数的严格解, 通过选取不同的任意函数, 构造这些非线性模型新的相互激发模式. 进一步推广了形变映射理论, 建立了变系数 场和sine-Gordon以及双sine-Gordon场的形变映射关系, 从而得到高维不可积模型包含任意函数的新严格解. 对任意函数的不同选择, 构造了sine-Gordon和双sine-Gordon可积模型丰富的局域解和周期解, 如多solitoff解及其周期波推广、周期形变的蛇形孤波解以及变模的拟周期解等.     

非线性系统的一般条件对称和导数相关泛函分离变量法

众所周知, Fourier分析和分离变量法是研究线性系统的有效手段, 但分离变量法难以推广到非线性系统. 发展处理非线性系统的新的分离变量法迫在眉睫. 首先提出导数相关泛函分离变量解(DDFSS)的新概念, 给出定义, 据此寻求相应的一般条件对称(GCS), 创建理论体系(简称DDFSS方法). 尔后, 分别应用DDFSS方法于一般非线性扩散方程、KdV类方程、一般非线性波动方程: (1)对所考察方程做了DDFSS可解的完全归类; (2)利用DDFSS方法建立了所得分类方程的DDFSS精确解; (3)描述了一些解的局域激发等性质, 给出了有关结果的对称群解释. 最后指出, DDFSS方法可发展应用于求解某些高维方程和方程组问题, 更能扩展用于处理带扰动项的非线性系统.     

2+1 维KdV方程与Hirota-Satsuma方程的新解

对范恩贵教授提出的新代数法与楼森岳教授提出的形式分离变量法进行了比较,发现新代数法只是形式分离变量法的一种特殊情况．将新代数法与形式分离变量法相结合,应用到(2 1)维KdV方程和Hirota-Satsuma方程中,得到了一些新解,如钟型孤波解、扭结型孤波解、Jacobi椭圆函数解、Weierstrass椭圆函数解、三角函数解。     

检测线性函数与线性变量的表格方法

讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.     

线性函数的性质及其应用 线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.     

(G~′/G)展开法求解(3+1)维广义浅水波方程新的精确解

非线性发展方程在现实物理模型中广泛存在,比如高分子物理、流体力学、固体物理学和等离子物理等等。因此构造非线性发展方程的精确解是一项十分重要的任务。在符号计算的帮助下,本文利用(G~′/G)展开法和变量分离法对(3+1)维广义浅水波方程进行了求解,获得了(3+1)维广义浅水波方程的行波精确解和用双曲函数和三角函数表示的非行波精确解。     

检测逻辑函数中线性变量的代数方法

根据线性变量、线性函数的定义和性质,提出了5个定理及3个推论．在此基础上给出了检测基于与-或展开的、基于或-与展开的、RM型的、基于或-符合展开的逻辑函数中线性变量的代数方法,并举例说明了具体检测过程．本文的工作对于完善数字电子CAD设计中的逻辑综合理论具有实际意义．另一方面,相对于其它特殊逻辑函数而言,线性函数还缺乏系统的研究,本文的工作对于补充和完善线性函数的理论具有重要意义。     

(G′/G)展开法求解(3+1)维Jimbo-Miwa方程新的精确解

非线性发展方程可以用来解释很多复杂的科学现象,比如海洋工程、流体力学、等离子物理、化学和物理等等。因此寻找非线性发展方程的精确解就变得越来越重要了。本文利用推广后的(G′/G)展开法和变量分离法,借助Mathematical软件对(3+1)维Jimbo-Miwa方程进行了求解,不仅能够获得(3+1)维Jimbo-Miwa方程的行波精确解,还能得到丰富的用双曲函数和三角函数表示的非行波精确解。这些解具有很好的性质。     

拟线性Schr?dinger方程解的多重性

研究了含有局部次线性项的拟线性Schr?dinger方程多解的存在性,也即是考虑非线性项只在原点附近有定义。通过变量替换,构造截断函数,Clark定理以及L∞估计,证明了方程无穷多负能量解的存在性。     

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

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

一种有效的变步长的自适应独立分量分析算法

步长因子的优选是自适应算法中的一个重要问题,本文建立了步长因子与互相关性测度之间的一种非线性函数关系,以此为基础,提出了一种新的变步长的自适应独立分量分析算法,分析了算法收敛性能和稳态性能.该算法根据互相关性测度所反映的信号分离状态自适应地调节步长因子,克服了传统算法在稳态步长调整过程中的不足.仿真实验结果表明了算法的有效性.     

Nizhnik-Novikov-Veselov方程的非李点对称及其精确解(英文)

对于非线性物理系统的有限对称群,一个新的方法被提出.将该方法作用于Nizhnik-Novikov-Veselov(NNV)方程,李点和非李点对称能同时得到,而使用经典李群法只能得到李点对称.最后,通过对称变化群能得到许多新的孤子解.     

二阶Emden-Fowler型变时滞中立型微分方程的振荡性

利用广义双黎卡提变换技术及一些分析技巧,研究了一类二阶Emden-Fowler型非线性中立型变时滞泛函微分方程的振荡性,获得了该类方程振荡的2个新的判别准则,推广并改进了现有文献中的一些结果.     

显微镜中的可变式假彩色编码

将可变式空间滤波器应用到显微镜中,不仅能实时地从显微镜视场里观察到无色标本的彩色图象,还能根据需要突出图象中某些特征.     

二元体相分离模型的静态分歧

运用非线性分歧理论,研究二元体相分离模型的静态分歧,给出了一个与该模型线性问题第一特征值相关的临界值。当参数超过该临界值时,二元体相分离模型有静态分歧发生,此时相应的二元体有相分离现象发生。此外,提出影响二元体相分离现象发生的主要因素是晶格间距和二元体所在区域的形状。     

二元体相分离模型的静态分歧

运用非线性分歧理论,研究二元体相分离模型的静态分歧,给出了一个与该模型线性问题第一特征值相关的临界值。当参数超过该临界值时,二元体相分离模型有静态分歧发生,此时相应的二元体有相分离现象发生。此外,提出影响二元体相分离现象发生的主要因素是晶格间距和二元体所在区域的形状。     

线性力学与非线性力学

最基本的物理规律——量子力学是线性的。然而,线性方程中的算子极可能是非线性的.除了理想情况下的无相互作用外,所有物体之间的相互作用在数学上均表现为非线性。非线性是一切复杂现象的共性,是描述复杂系统行为特性的有力方法,是研究轨道不稳定系统动力学演变的根本方法。因此,非线性研究有普遍意义。