线性流形上实对称半正定阵的一类反问题

1　引　　言文中记Rn×m为所有n×m阶实阵集合,SRn×n为所有n阶实对称阵集合,Pn表示所有n阶实对称半正定阵集合,A≥0表示方阵A对称半正定.A+、R(A)、N(A)分别表示矩阵A的Moore-Penrose广义逆,列空间和零空间,‖·‖表示Froblnius范数.对于Z.Y∈Rn×k,令S={A∈Pn|AZ=Y,ZTY∈PK,R(YT)=R(YTZ)}(1.1)　　现考虑如下问题:问题　给定X.B∈Rn×m,找A∈S,使得AX=B(1.2)　　问题　给定A∈Rn×n,找A∈SE,使得‖A-A‖=infA∈SE‖A-A‖(1.3)其中SE是问题的解集合.问题与具有重要的应用背景,当Y=ZΛ,Λ=diag(λ1,λ2,…     

线性流形上亚半正定阵的一类逆特征值问题

1　引言与引理设 Rm× n表示所有 m× n实矩阵集合 ,m=n时 ,Rm× n简记为 Rm;Rm0 表示所有 m阶亚半正定阵集合 ,即 Rm0 ={ A∈Rm× m|YTAY≥ 0 , Y∈Rm× 1 } ;ORm表示 m阶正交矩阵集合 ;A+表示矩阵 A的 Moore-Penrose广义逆 ;‖·‖表示 Frobenius范数 .In 表示 n阶单位阵 ,有时令SE={ A∈ Rm× m|‖ AE -F‖ =min,E,F∈ Rm× k} ,(1 .1 )则 SE是线性流形 .文 [1 ] ,[2 ]分别研究了 SE上实对称矩阵及实对称半正定阵的逆特征值问题 ,本文将进一步研究 SE上亚半正定阵的一类逆特征值问题 ,具体叙述如下 :问题 　给定 X,B∈R…     

矩阵方程XTAX=B的一类反问题

1引言 本文用Rn×m表示所有n×m实矩阵全体;SR0n×n表示所有n阶实对称半正定矩阵全体;In表示n阶单位矩阵;A-,A+分别表示矩阵A的一个广义逆和Moore-Penrose广义逆;A≥0表示A为对称半正定矩阵;Sn=(en,en-1,…,e1)∈Rn×n,其中ei为单位阵In的第i列; [n/2]表示不超过n/2的最大整数.     

Siljak 猜想的反例及进一步结果

R~(n×n)表示 n 阶实矩阵组成的集合,R~n 表示 n 维实向量空间.本文中的矩阵假定都属于 R~(n×n).给定一个矩阵 A∈R~(n×n),A>0(A≥0)表示 A 是一个对称正定(非负定)矩阵;A 称为正(非负)矩阵,如 A 的元素都是正的(非负的).矩阵 A 称为稳定矩阵,如A 的特征值的实部都是负的.     

iljak猜想的反例及进一步结果

R~(n×n)表示 n 阶实矩阵组成的集合,R~n 表示 n 维实向量空间.本文中的矩阵假定都属于 R~(n×n).给定一个矩阵 A∈R~(n×n),A>0(A≥0)表示 A 是一个对称正定(非负定)矩阵;A 称为正(非负)矩阵,如 A 的元素都是正的(非负的).矩阵 A 称为稳定矩阵,如A 的特征值的实部都是负的.     

矩阵方程X+A~*X~(-q)A=I(q>0)的Hermite正定解

1.引言 本文研究矩阵方程 X+A*X-qA=I (1)的Hermite正定解,其中I是一个n×n阶单位矩阵, A是一个n×n阶复矩阵, q是实数且q>0.q=1,q=2时的方程是从动态规划,随机过滤,控制理论和统计学中推导出来的,最近已有许多人对此进行了研究(见参考文献[1,2,4]),本文我们将研究方程(1)的解的存在性和解的性质,并讨论迭代求解及迭代解的收敛性. 对于Hermite矩阵X和Y,文中X≥Y表示X-Y是半正定的,X>y表示X-Y是正定的;对于方阵M,M*表示M的共轭转置,ρ(M)表示M的谱半径,λi(M)     

实对称带状矩阵特征值反问题

用R~(n×m)表示所有n×m实矩阵的集合;OR~(n×n)表示所有n×n正交矩阵的集合;S_(n,r)表示所有带宽为2r+1的n阶实对称矩阵的集合;||·||_F表示矩阵的Frobenius范数,||·||表示向量的Euclid范数.任取A∈R~(n×m),满足AA~-A=A 的A~-∈R~(m×n)叫做A的内逆,满足AA_l~-A=A和(AA_l~-)~T=AA_l~-的A_l~-∈R~(m×n)叫做A的最小二乘广义逆,     

关于两个最小二乘解流形的逼近性

L1={X∈Rn×m|f(X)=‖XA1-B1‖2+‖CT1X-DT1‖2=min},L2={Y∈Rn×m|g(Y)=‖YA2-B2‖2+‖CT2Y-DT2‖2=min},其中A1∈Rm×k1,B1∈Rn×k1,C1∈Rn×l1,D1∈Rm×l1,A2∈Rm×k2,B2∈Rn×k2,C2∈Rn×l2,D2∈Rm×l2均为已知矩阵,本文讨论了L1,L2两个线性流形之间的逼近性,给出了d(L1,L2)=minX∈L1,Y∈L2‖X-Y‖的具体表达式.     

矩阵方程AX=B的一类反问题及数值解法

§1.引言 用I_r表示r阶单位阵,R~(n×m)表示所有n×m实矩阵的集合.||·||_F表示Frobenius范数.若?0≠x∈R~n有x~TAx≥0(>0),则记为A≥0(>0);若A≥0(>0)且A=A~T,则称A为对称半正定(正定)阵.     

线性流形上Hermite-广义反Hamilton矩阵反问题的最小二乘解

1.引言 令Rn×m表示所有n×m实矩阵集合,Cn×m表示所有n×m复矩阵集合,Cn=Cn×1,HCn×n表示所有n阶Hermite矩阵集合,UCn×n表示所有n阶酉矩阵集合,AHCn×n表示所有n阶反Hermite矩阵集合,R(A)表示A的列空间,N(A)表示A的零空间,A+表示A的Moore—Penrose广义逆,A*B表示A与B的Hadamard积,rank(A)表示矩阵A的秩.tr(A)表示矩阵A的迹.矩阵A,B的内积定义为(A,B)=tr(BHA),A,B∈Cn×m,由此内积诱导的范数为||A||=√(A,A)=[tr(AHA)]1/2,则此范数为Frobenius范数,并且Cn×m构成一个完备的内积空间,In表示n阶单位阵,i=√-1,记OASRn×n表示n×n阶正交反对称矩阵的全体,即     

Partially isometric dilations of noncommuting -tuples of operators

Given a row contraction of operators on a Hilbert space and a family of projections on the space that stabilizes the operators, we show there is a unique minimal joint dilation to a row contraction of partial isometries that satisfy natural relations. For a fixed row contraction the set of all dilations forms a partially ordered set with a largest and smallest element. A key technical device in our analysis is a connection with directed graphs. We use a Wold decomposition for partial isometries to describe the models for these dilations, and we discuss how the basic properties of a dilation depend on the row contraction.

     

Formulation of the problem of sonic boom by a maneuvering aerofoil as a one-parameter family of Cauchy problems

For the structure of a sonic boom produced by a simple aerofoil at a large distance from its source we take a physical model which consists of a leading shock (LS), a trailing shock (TS) and a one-parameter family of nonlinear wavefronts in between the two shocks. Then we develop a mathematical model and show that according to this model the LS is governed by a hyperbolic system of equations in conservation form and the system of equations governing the TS has a pair of complex eigenvalues. Similarly, we show that a nonlinear wavefront originating from a point on the front part of the aerofoil is governed by a hyperbolic system of conservation laws and that originating from a point on the rear part is governed by a system of conservation laws, which is elliptic. Consequently, we expect the geometry of the TS to be kink-free and topologically different from the geometry of the LS. In the last section we point out an evidence of kinks on the LS and kink-free TS from the numerical solution of the Euler’s equations by Inoue, Sakai and Nishida [5].     

Fredholm’s boundary-value problems for differential systems with a single delay

Conditions are derived for the existence of solutions of linear Fredholm’s boundary-value problems for systems of ordinary differential equations with constant coefficients and a single delay. Utilizing a delayed matrix exponential and a method of pseudo-inverse by Moore-Penrose matrices led to an explicit and analytical form of a criterion for the existence of solutions in a relevant space and, moreover, to the construction of a family of linearly independent solutions of such problems in a general case with the number of boundary conditions (defined by a linear vector functional) not coinciding with the number of unknowns of a differential system with a single delay.     

A genetic algorithm for the two-stage supply chain distribution problem associated with a fixed charge

This paper considers a two-stage distribution problem of a supply chain that is associated with a fixed charge. Two kinds of cost are involved in this problem: a continuous cost that linearly increases with the amount transported between a source and a destination, and secondly, a fixed charge, that incurs whenever there exists a transportation of a non-zero quantity between a source and a destination. The objective criterion is the minimisation of the total cost of distribution. A genetic algorithm (GA) that belongs to evolutionary search heuristics is proposed and illustrated. The proposed methodology is evaluated for its solution quality by comparing it with the approximate and lower bound solutions. Thus, the comparison reveals that the GA generates better solution than the approximation method and is capable of providing solution either equal or closer to the lower bound solution of the problem.     

Kripke submodels and universal sentences

We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with (homo)morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms (including ? and ⊥) using ∧, ∨, ?, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model‐consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

覆盖数不超过3的图上渡河问题

1000多年前,英国著名学者Alcuin曾提出一个古老的渡河问题,即狼、羊和卷心菜的渡河问题。2006年,Prisner把该问题推广到任意的冲突图上,考虑了一类情况更一般的渡河运输问题。所谓冲突图是指一个图G=(V,E),这里V代表某些物品的集合,V中的两个点有边连结当且仅当这两个点是冲突的,即在无人监管的情况下不允许留在一起的点。图G=(V,E)的一个可行运输方案是指在保证不发生任何冲突的前提下,把V的点所代表的物品全部摆渡到河对岸的一个运输方案。图G的Alcuin数定义为它存在可行运输方案时所需船的最小容量。本文讨论了覆盖数不超过3的连通图的Alcuin数,给出了该类图Alcuin数的完全刻画。     

Two questions on semi-clean group rings

It was proved in [4] that every group ring of a torsion abelian group over a commutative local ring is a semi-clean ring. It was asked in [4] whether every group ring of a torsion abelian group over a commutative clean ring is a semi-clean ring and whether every group ring of a torsion abelian group over a commutative semi-clean ring is a semi-clean ring. In this paper, we give a positive answer to question 1 and a negative answer to question 2.     

A Dynamic Frictional Contact Problem with Normal Damped Response

We consider a mathematical model which describes the frictional contact between a viscoelastic body and a reactive foundation. The process is assumed to be dynamic and the contact is modeled with a general normal damped response condition and a local friction law. We present a variational formulation of the problem and prove the existence and uniqueness of the weak solution, using results on evolution equations with monotone operators and a fixed point argument. We then introduce and study a fully discrete numerical approximation scheme of the variational problem, in terms of the velocity variable. The numerical scheme has a unique solution. We derive error estimates under additional regularity assumptions on the data and the solution.     

Mean-variance optimization problems for an accumulation phase in a defined benefit plan

In this paper we deal with contribution rate and asset allocation strategies in a pre-retirement accumulation phase. We consider a single cohort of workers and investigate a retirement plan of a defined benefit type in which an accumulated fund is converted into a life annuity. Due to the random evolution of a mortality intensity, the future price of an annuity, and as a result, the liability of the fund, is uncertain. A manager has control over a contribution rate and an investment strategy and is concerned with covering the random claim. We consider two mean-variance optimization problems, which are quadratic control problems with an additional constraint on the expected value of the terminal surplus of the fund. This functional objectives can be related to the well-established financial theory of claim hedging. The financial market consists of a risk-free asset with a constant force of interest and a risky asset whose price is driven by a Lévy noise, whereas the evolution of a mortality intensity is described by a stochastic differential equation driven by a Brownian motion. Techniques from the stochastic control theory are applied in order to find optimal strategies.