一般边界条件下Sturm-Liouville算子的Ambarzumyan型定理

该文研究有限区间上一般自伴边界条件下的Sturm-Liouville方程的逆特征值问题.将Neumann边界条件下Sturm-Liouville方程的Ambarzumyan型定理推广到一般自伴边界条件下情形,证明了如果它的特征值与零势的特征值一样,则Sturm-Liouville方程的势为零.     

Translation-invariant maps and applications

In this paper we study translation-invariant maps on a linear space. A method for estimating quantities induced by such maps is presented. Applications for differences of operators, commutators, G-contractive maps and Grüss type inequalities are also given.     

Inexact Two-Grid Methods for Eigenvalue Problems

We discuss the inexact two-grid methods for solving eigenvalue problems, including both partial differential and integral equations. Instead of solving the linear system exactly in both traditional two-grid and accelerated two-grid method, we point out that it is enough to apply an inexact solver to the fine grid problems, which will cut down the computational cost. Different stopping criteria for both methods are developed for keeping the optimality of the resulting solution. Numerical examples are provided to verify our theoretical analyses.     

线性流形上的矩阵最佳逼近

令Ｓ＝｛Ａ∈Ｒｎ×ｍ｜ｆ１（Ａ）＝‖ＡＸ１－Ｚ１‖２＋‖ＹＴ１Ａ－ＷＴ１‖２＝ｍｉｎ｝，其中Ｘ１∈Ｒｍ×ｋ１，Ｚ１∈Ｒｎ×ｋ１，Ｙ１∈Ｒｎ×１１和Ｗ１∈Ｒｍ×１１均为给定的矩阵，‖·‖是Ｆｒｏｂｅｎｉｕｓ范数。本文考虑如下问题：问题Ⅰ给定Ｘ２∈Ｒｍ×ｋ２，Ｚ２∈Ｒｎ×ｋ２，Ｙ２∈Ｒｎ×ｌ２，Ｗ２∈Ｒｍ×ｌ２，求Ａ∈Ｓ，使得ｆ２（Ａ）＝‖ＡＸ２－Ｚ２‖２＋‖ＹＴ２Ａ－ＷＴ２‖２＝ｍｉｎ．问题Ⅱ给定Ａ∈Ｒｎ×ｍ，求Ａ∈ＳＡ，使得‖Ａ－Ａ‖＝ｉｎｆＡ∈ＳＡ‖Ａ－Ａ‖，其中ＳＡ是问题Ｉ的解集合。本文给出问题Ｉ解集合ＳＡ的通式和问题Ⅱ的解Ａ的表达式，提出了求解问题Ⅰ与Ⅱ的数值方法。许多文献的结果都是本文结果的特例。     

Epidemic threshold and immunization on generalized networks

The susceptible–infected–susceptible (SIS) model is widely adopted in the studies of epidemic dynamics. When it is applied on contact networks, these networks mostly consist of nodes connected by undirected and unweighted edges following certain statistical properties, whereas in this article we consider the threshold and immunization problem for the SIS model on generalized networks that may contain different kinds of nodes and edges which are very possible in the real situation. We proved that an epidemic will become extinct if and only if the spectral radius of the corresponding parameterized adjacent matrix (PAM) is smaller than 1. Based on this result, we can evaluate the efficiency of immune strategies and take several prevailing ones as examples. In addition, we also develop methods that can precisely find the optimal immune strategies for networks with the given PAM.     

Stabilizing Semilinear Parabolic Equations

In this paper we prove the internal feedback stabilization of steady-state solutions of semilinear parabolic equations and introduce a controller synthesis methodology based on finite element approximations of the original PDEs. Numerical tests are given for some one- and two-dimensional nonlinear parabolic equations.     

Discriminating Completions of Hyperbolic Groups

A group G is called an A-group, where A is a given Abelian group, if it comes equipped with an action of A on G which mimics the way in which Z acts on any group. This action is codified in terms of certain axioms, all but one of which were introduced some years ago by R. C. Lyndon. For every such G and A there exists an A-exponential group G ^A which is the A-completion of G. We prove here that if G is a torsion-free hyperbolic group and if A is a torsion-free Abelian group, then the Lyndon's type completion G ^A of G is G-discriminated by G. This implies various model-theoretic and algorithmic results about G ^A .     

Cotorsion theories and splitters

Let be a subring of the rationals. We want to investigate self splitting -modules (that is . Following Schultz, we call such modules splitters. Free modules and torsion-free cotorsion modules are classical examples of splitters. Are there others? Answering an open problem posed by Schultz, we will show that there are more splitters, in fact we are able to prescribe their endomorphism -algebras with a free -module structure. As a by-product we are able to solve a problem of Salce, showing that all rational cotorsion theories have enough injectives and enough projectives. This is also basic for answering the flat-cover-conjecture.

     

Augmented Lagrangian-based preconditioners for steady buoyancy driven flow

In this paper, we apply the augmented Lagrangian (AL) approach to steady buoyancy driven flow problems. Two AL preconditioners are developed based on the variable’s order, specifically whether the leading variable is the velocity or the temperature variable. Correspondingly, two non-augmented Lagrangian (NAL) preconditioners are also considered for comparison. An eigenvalue analysis for these two pairs of preconditioners is conducted to predict the rate of convergence for the GMRES solver. The numerical results show that the AL preconditioner pair is insensitive with respect to the mesh size, Rayleigh number, and Prandtl number in terms of GMRES iterations, resulting in a significantly more robust preconditioner pair compared to the NAL pair. Accordingly, the AL pair performs much better than the NAL pair in terms of computational time. For the AL pair, the preconditioner with velocity as the leading variable gives slightly better efficiency than the one with temperature as the leading variable.