差分方程拉克斯对的一种构造性方法

非交换微分在讨论数学物理中的偏微分方程时起着十分重要的作用.最近,作者利用一个具体的非交换外微分建立了一种求差分微分方程拉克斯对的方法,由此检验了该方程的可积性.本文给出了讨论全差分方程的对应理论.另外还讨论了一个格子形变的KdV(LMKdV)方程,并求得了它的拉克斯对.     

和高阶约束相联系的可积系统

对（１＋１）维可积系统，本文在零曲率方程表示理论框架内，给出统一的方法去构造和高阶约束相联系的有限维可积系统，导出这些系统的守恒积分的生成函数，证明它们的可积性，并进而把一族（１＋１）维可积系统中的每一个方程分解为两个可交换的有限维可积的Ｈａｍｉｌｔｏｎ系统。     

m次积分半群逼近及在抽象Cauchy问题中的应用

研究了指数有界的m次积分半群的离散逼近问题,利用可积的离散参数半群,获得了相关离散逼近结果.另外,给出了该逼近理论在非齐次抽象Cauchy问题中的应用.     

二维分数阶发展型方程的正式的二阶BDF交替方向隐式紧致差分格式

该文将研究二维分数阶发展型方程的正式的二阶向后微分公式(BDF)的交替方向隐式(ADI)紧致差分格式.在时间方向上用二阶向后微分公式离散一阶时间导数,积分项用二阶卷积求积公式近似,在空间方向上用四阶精度的紧致差分离散二阶空间导数得到全离散紧致差分格式.基于与卷积求积相对应的实二次型的非负性,利用能量方法研究了差分格式的稳定性和收敛性,理论结果表明紧致差分格式的收敛阶为O(k~(a+1)+h_1~4+h_2~4),其中k为时间步长,h_1和h_2分别是空间x和y方向的步长.最后,数值算例验证了理论分析的正确性.     

Modified Boussinesq方程的变量分离

利用和三阶特征值问题相联系的零曲率方程表示理论，本文给出ＭｏｄｉｆｉｅｄＢｏｕｓｓｉｎｅｓｑ方程在显式约束和高阶约束下的两种分解，ＭｏｄｉｆｉｅｄＢｏｕｓｓｉｎｅｅｓｑ方程对ｘ和ｔ的依赖被分解为两个可交换的ｘ－和ｔ－有限维可积的Ｈａｍｉｌｔｏｎ系统．这种分解提供了类似于变量分离的求解方法，通过解两个可交换的有限维可积系统可得到ＭｏｄｉｆｉｅｄＢｏｕｓｓｉｎｅｓｑ方程的某些解．     

构造Lax表示的新算法

基于微分特征列法和微分带余除法,给出了利用拟微分算子构造非线性发展方程1+1维和2+1维Lax表示的新算法.新算法减少了运算步骤,简化了计算过程,是微分特征列法在可积系统领域一个新的应用.     

一类离散时间非线性系统降维观测器设计

本文研究了一类离散时间非线性系统降维观测器设计问题.利用微分中值定理和Schur补,得到了这类非线性系统降维观测器的设计判据.所给判据为线性矩阵不等式形式.与现在已有文献中的判据相比,本文得到的判据不仅可用于离散时间可微Lipschitz非线性系统而且可用于某些离散时间的非Lipschitz非线性系统.文末,给出了几个仿真算例以验证所得结论的正确性.     

KdV方程的延拓结构

利用外微分形式系统和Lie代数表示理论提出了求解非线性波方程Lax对的延拓结构理论,该方法是构造非线性波方程Lax对的系统最有效的方法.其关键在于如何给出延拓代数的具体表示,如微分算子表示或矩阵表示.如果一个非线性波方程具有非平凡的延拓代数,则称其延拓代数可积,本篇论文主要利用延拓结构理论,讨论KdV方程的解,同时给出...     

一个新非线性可积晶格族和它们的可积辛映射

该文引入一个离散特征值问题,导出一族离散可积系,建立了它们的Hamilton结构,证明了它们Louville可积性.通过谱问题双非线性化,得到了一个可积辛映射与一族有限维完全可积系,最后给出了离散可积系统解的表示.     

一类脉冲微分包含系统的稳定性分析

脉冲微分包含系统是具有状态脉冲的微分包含系统,在建模层面有广泛的模型表征能力.针对一类具有差分包含脉冲形式的线性脉冲微分包含系统,文章探索系统在所有脉冲下的强稳定性,给出基于Lyapunov方法的稳定性判据.特别地,稳定性等价于存在一个联合公共范数,使其对离散子动态诱导出具有压缩性质的公共矩阵范数,及对连续子动态诱导出负值公共测度.该判据可视为连续时间微分包含系统和离散时间差分包含系统相关稳定性判据的完全推广.     

Noncommutative structures

We propose a method for constructing noncommutative analogs of objects from classical calculus, differential geometry, topology, dynamical systems, etc. The standard (commutative) objects can be obtained from noncommutative ones by natural projections (a set of canonical homomorphisms). The approach is ideologically close to the noncommutative geometry of A. Connes but differs from it in technical details.     

格点上的非交换微分运算及其应用

By introducing the noncommutative differential calculus on the function space of the infinite/finite set and construct a homotopy operator, one prove the analogue of the Poincare lemma for the difference complex. As an application of the differential calculus, a two dimensional integral model can be derived from the noncommutative differential calculus.     

Noncommutative structures

We propose a method for constructing noncommutative analogs of objects from classical calculus, differential geometry, topology, dynamical systems, etc. The standard (commutative) objects can be obtained from noncommutative ones by natural projections (a set of canonical homomorphisms). The approach is ideologically close to the noncommutative geometry of A. Connes but differs from it in technical details. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2007, Vol. 259, pp. 203–242.     

Noncommutative integrable systems on <Emphasis Type="Italic">b</Emphasis>-symplectic manifolds

In this paper we study noncommutative integrable systems on b-Poisson manifolds. One important source of examples (and motivation) of such systems comes from considering noncommutative systems on manifolds with boundary having the right asymptotics on the boundary. In this paper we describe this and other examples and prove an action-angle theorem for noncommutative integrable systems on a b-symplectic manifold in a neighborhood of a Liouville torus inside the critical set of the Poisson structure associated to the b-symplectic structure.     

Noncommutative Integrability from Classical to Quantum Mechanics

We propose in this work a definition of integrable quantum system, which is based upon the correspondence with the concept of noncommutative integrability for classical mechanical systems. We then determine sufficient conditions under which, given an integrable classical system, it is possible to construct an integrable quantum system by means of a quantization procedure based on the symmetrized product of operators. As a first example of application of such an approach, we will consider the possible cases of noncommutative integrability for systems with rotational symmetry in an n-dimensional Euclidean configuration space.     

Difference discrete connection and curvature on cubic lattice Dedicated to Professor Sheng GONG on the occasion of his 75th birthday

In a way similar to the continuous case formally, we define in different but equivalent manners the difference discrete connection and curvature on discrete vector bundle over the regular lattice as base space. We deal with the difference operators as the discrete counterparts of the derivatives based upon the differential calculus on the lattice. One of the definitions can be extended to the case over the random lattice. We also discuss the relation between our approach and the lattice gauge theory and apply to the discrete integrable systems.     

A Noncommutative Algebraic Operational Calculus for Boundary Problems

We set up a left ring of fractions over a certain ring of boundary problems for linear ordinary differential equations. The fraction ring acts naturally on a new module of generalized functions. The latter includes an isomorphic copy of the differential algebra underlying the given ring of boundary problems. Our methodology employs noncommutative localization in the theory of integro-differential algebras and operators. The resulting structure allows to build a symbolic calculus in the style of Heaviside and Mikusiński, but with the added benefit of incorporating boundary conditions where the traditional calculi allow only initial conditions. Admissible boundary conditions include multiple evaluation points and nonlocal conditions. The operator ring is noncommutative, containing all integrators initialized at any evaluation point.     

Difference discrete connection and curvature on cubic lattice

In a way similar to the continuous case formally, we define in different but equivalent manners the difference discrete connection and curvature on discrete vector bundle over the regular lattice as base space. We deal with the difference operators as the discrete counterparts of the derivatives based upon the differential calculus on the lattice. One of the definitions can be extended to the case over the random lattice. We also discuss the relation between our approach and the lattice gauge theory and apply to the discrete integrable systems. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

Hypercomplex analysis and integration of systems of ordinary differential equations

We review the theory of hypercomplex numbers and hypercomplex analysis with the ultimate goal of applying them to issues related to the integration of systems of ordinary differential equations (ODEs). We introduce the notion of hypercomplexification, which allows the lifting of some results known for scalar ODEs to systems of ODEs. In particular, we provide another approach to the construction of superposition laws for some Riccati‐type systems, we obtain invariants of Abel‐type systems, we derive integrable Ermakov systems through hypercomplexification, we address the problem of linearization by hypercomplexification, and we provide a solution to the inverse problem of the calculus of variations for some systems of ODEs. Copyright © 2016 John Wiley & Sons, Ltd.