一类四元数矩阵方程的循环解及其最佳逼近

本文研究了四元数体上矩阵方程XB=C的循环解及其最佳逼近问题.利用循环矩阵的结构表示式,以及四元数矩阵的复分解,得到了方程XB=C的循环解存在条件及其通解形式;在循环矩阵约束条件下,给出了该方程的最小二乘解集合;与此同时,在最小二乘解集合中,获得与给定四元数循环矩阵的最佳逼近解.推广了约束矩阵方程的数值求解范围.数值算例验证了本文算法的可行性.     

NLS^＋方程的暗孤子解

求解NLS+方程暗孤子解的问题早已解决,但其求解过程需要对Jost解的解析性进行繁杂的理论分析.本文用一种简单的方法,把求解NLS+方程暗孤子解的问题归结为纯粹的代数运算.     

利用齐次平衡法求GP方程的Jacobi椭圆函数解

描述玻色-爱因斯坦凝聚（BEC）的有效而方便的方程是著名的Gross-Pitaevskii（GP）方程。本文在将GP方程变换为非线性薛定谔方程（NLS）的基础上，利用齐次平衡法求出了Gross-Pitaevskii（GP）方程的一系列Jacobi椭圆函数解。     

用于解算子方程的Newton法的松弛收敛性

本文研究在适当条件下用于求算子方程F(x)=0的解的Newton法的收敛性.一方面,给出了解所在的区域和在该区域中解的唯一性,以及逼近解的新的收敛率估计.另一方面,也举例说明了理论结果应用于解Hammerstein型的非线性积分方程时,可给出解的存在唯一性与逼近解的收敛判据方面的结果.     

矩阵方程AXB+CX~TD=E自反最佳逼近解的迭代算法

本文研究了Sylvester矩阵方程AXB+CXTD=E自反(或反自反)最佳逼近解.利用所提出的共轭方向法的迭代算法,获得了一个结果:不论矩阵方程AXB+CXTD=E是否相容,对于任给初始自反(或反自反)矩阵X1,在有限迭代步内,该算法都能够计算出该矩阵方程的自反(或反自反)最佳逼近解.最后,三个数值例子验证了该算法是有效性的.     

一类四元数矩阵方程的循环解及其最佳逼近

本文研究了四元数体上矩阵方程XB = C 的循环解及其最佳逼近问题. 利用循环矩阵的结构表示式, 以及四元数矩阵的复分解, 得到了方程XB = C 的循环解存在条件及其通解形式; 在循环矩阵约束条件下, 给出了该方程的最小二乘解集合; 与此同时, 在最小二乘解集合中, 获得与给定四元数循环矩阵的最佳逼近解. 推广了约束矩阵方程的数值求解范围. 数值算例验证了本文算法的可行性.     

四元数体上Sylvester方程的循环解及其最佳逼近

Sylvester方程AX-XB=C是一类具有广泛应用背景的矩阵方程,本文在四元数体上讨论它的循环解及其最佳逼近问题.主要利用四元数矩阵的实分解和循环矩阵的特定结构,借助Kronecker积把约束四元数矩阵方程转化为实域上的无约束方程,从而得到四元数体上Sylvester方程的循环解存在条件及其通解形式.同时,在循环解集合中,寻找到与预先给定的四元数循环矩阵有极小Frobenius范数的最佳逼近解.数值算例验证了本文方法的可行性.     

高雷诺数下平面Poiseuille流稳定性渐近分析

本文主要讨论高雷诺数下平面Poiseuille流稳定性问题.应用多层结构分析理论,求出了描述该流体稳定性的Orr-Sommerfeld方程特征值的较为合理的逼近式及相应的特征函数的渐近解析解.     

四元数Sylvester方程的Toeplitz约束解及其最佳逼近

本文研究了四元数体上Sylvester方程具有Toeplitz矩阵约束解及其最佳逼近问题.利用四元数矩阵的实分解和矩阵Kronecker积,获得四元数Sylvester方程AX-XB=C具有Toeplitz矩阵解的充要条件及其通解表达式.同时在Toeplitz解集合中,得到与预先给定的四元数Toeplitz矩阵有极小Frobenius范数的最佳逼近解.     

随机线性二次最优控制:从离散到连续时间模型

在一般情形下,分析了离散时间LQ问题与连续时间情形两者之间的自然联系.首先回顾了连续时间和离散时间随机LQ问题及对应Riccati微分/差分方程的相关结论.接下来在假设Riccati微分方程有解的前提下,证明了离散化步长足够小时,Riccati差分方程有解.然后针对连续和离散时间模型,采用配对问题最优控制的反馈形式,分别构造了一个辅助反馈控制,并证明该控制可驱使对应模型的性能指标逼近于配对问题的值函数,以此得到了关于两个模型之间联系的初步结论.最后藉由前述结论以及控制问题的特性,揭晓了连续时间和离散时间模型之间的自然联系,并给出了Riccati差分方程和微分方程的解之间的误差估计.由此联系,可构造相应离散系统和LQ问题,以适当的阶估计连续时间LQ问题的解,抑或为离散时间模型构造一个近似最优控制.无论哪种思路,都旨在降低直接求解原问题的难度和复杂性.     

Variational Regularization of the Inverse Problem of a Class of Nonlinear Time-Fractional Diffusion Equations北大核心CSCD

考虑了一类二维非线性时间分数阶扩散方程，并从最终位置获取的测量数据来反演物质在u(0, y, t)处的物理信息。这个问题是严重不适定的，即问题的解并不连续依赖于测量数据，因此提出了变分型正则化方法来稳定求解该问题。给出了精确解与正则近似解之间的误差估计，数值算例验证了该方法的有效性。     

Trivial, strongly minimal theories are model complete after naming constants

We prove that if is any model of a trivial, strongly minimal theory, then the elementary diagram is a model complete -theory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are -decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is .

     

Approximating the exponential from a Lie algebra to a Lie group

Consider a differential equation with and , where is a Lie algebra of the matricial Lie group . Every can be mapped to by the matrix exponential map with .

Most numerical methods for solving ordinary differential equations (ODEs) on Lie groups are based on the idea of representing the approximation of the exact solution , , by means of exact exponentials of suitable elements of the Lie algebra, applied to the initial value . This ensures that .

When the exponential is difficult to compute exactly, as is the case when the dimension is large, an approximation of plays an important role in the numerical solution of ODEs on Lie groups. In some cases rational or polynomial approximants are unsuitable and we consider alternative techniques, whereby is approximated by a product of simpler exponentials.

In this paper we present some ideas based on the use of the Strang splitting for the approximation of matrix exponentials. Several cases of and are considered, in tandem with general theory. Order conditions are discussed, and a number of numerical experiments conclude the paper.

     

Global existence for the critical generalized KdV equation

We discuss results regarding global existence of solutions for the critical generalized Korteweg-de Vries equation,

The theory established shows the existence of global solutions in Sobolev spaces with order below the one given by the energy space , i.e. solutions corresponding to data , 3/4$">, with , where is the solitary wave solution of the equation.

     

Bounded Hochschild cohomology of Banach algebras with a matrix-like structure

Let be a unital Banach algebra. A projection in which is equivalent to the identitity may give rise to a matrix-like structure on any two-sided ideal in . In this set-up we prove a theorem to the effect that the bounded cohomology vanishes for all . The hypotheses of this theorem involve (i) strong H-unitality of , (ii) a growth condition on diagonal matrices in , and (iii) an extension of in by an amenable Banach algebra. As a corollary we show that if is an infinite dimensional Banach space with the bounded approximation property, is an infinite dimensional -space, and is the Banach algebra of approximable operators on , then for all .

     

Adjoint restriction estimates and scaling on spheres

We test the restriction conjecture, in its adjoint form, against a class of measures on the sphere . The densities are smoothed out characteristic functions of rectangular caps on , where are fixed nonnegative numbers.

     

Serre duality for non-commutative -bundles

Let be a smooth scheme of finite type over a field , let be a locally free -bimodule of rank , and let be the non-commutative symmetric algebra generated by . We construct an internal functor, , on the category of graded right -modules. When has rank 2, we prove that is Gorenstein by computing the right derived functors of . When is a smooth projective variety, we prove a version of Serre Duality for using the right derived functors of .

     

A proof of Weinberg's conjecture on lattice-ordered matrix algebras

Let be a subfield of the field of real numbers and let () be the matrix algebra over . It is shown that if is a lattice-ordered algebra over in which the identity matrix 1 is positive, then is isomorphic to the lattice-ordered algebra with the usual lattice order. In particular, Weinberg's conjecture is true.

     

Single elements and module isomorphisms of some operator algebra modules

In this paper, we first introduce the concept of single elements in a module. A systematic study of single elements in the Alg-module is initiated, where is a completely distributive subspace lattice on a Hilbert space . Furthermore, as an application of single elements, we study module isomorphisms between norm closed Alg-modules, where is a nest, and obtain the following result: Suppose that are norm closed Alg-modules and that is a module isomorphism. Then and there exists a non-zero complex number such that .

     

Convolution of a measure with itself and a restriction theorem

Let and be the measure defined by . Let denote the measure obtained by restricting to the set . We prove estimates on . As a corollary we obtain results on the restriction to of the Fourier transform of functions on for , .