关于径向矩阵与谱矩阵

§1.引言与记号 设A∈C~(s×n),则称 ‖A‖=‖AX‖/‖X‖ 为A的谱模(谱范数),其中‖X‖表示向量X∈C~(n×1)的Euclid范数。即当X=(x_1,…,x_n)~(?)时,‖X‖=(XX)~1/2=sum from i=1 to n(|X_1|~2)~1/2;‖AX‖为向量AX的Euclid范数。 如众周知,我们有如下结论: 引理 1[1]、设A、B∈C~(n×n),则谱模满足范数的三个条件: 1>.恒正性:‖A‖≥0且‖A‖=0 A=0; 2>.齐次性:若α∈C,则‖αA‖=|α|·‖A‖; 3>.三角不等式:‖A+B‖≤‖A‖+‖B‖。     

Banach平面上的圆周率

为了更好掌握凸性理论与有关技巧,我们在老师的指导下,考虑了 Banach 平面上圆周率的上下界问题,并证明了如下有趣的事实:Banach 平面上的圆周率介于3与4之间,且3和4是可达的.一、Banach 平面及圆周率Banach 平面即为二维的线性赋范空间.鉴于二维线性空间必线性同构于 R~2,故不妨设 Banach 平面即为赋有范数‖·‖_*的 R~2空间,记为 (R~2,‖·‖_*).定义1.设 (R~2,‖·‖_*)上以 x_0为圆心,r 为半径的圆为 O={x|‖x-x_0‖_*=r,x∈R~2}.圆周长定义为圆内接多边形当边长一致趋于零时边长之和的极限.注.这里的边长是指关于范数‖·‖_* 的长度,以后若无特殊说明,均按此理解.     

关于鞍点问题的Babuska-Brezzi条件的必要性

在研究 Lagrange 乘子法导出的鞍点问题解的存在唯一性及其混合有限元逼近时,如所周知 Babuska-Brezzi 条件(即 B-B 条件)起着决定性的作用.在 Brezzi 的基本工作中,不仅证明了 B-B 条件是保证上述鞍点问题存在唯一解的充分条件之一,而且也是一个必要条件.本文将对 B-B 条件的必要性作进一步更细致的分析.令 V,M 是二个 Hilbert 空间,V′,M′分别为 V,M 的对偶空间;‖·‖_V,‖·‖_M,‖·‖_V′及‖·‖_M′ 分别为对应空间中的范数〈·,·〉为对应空间的对偶积.令 A∈(?)(V;V′),B∈L(V;M′)为两个连续线性算子,从而 B 的对偶算子 B′∈(?)(M;V′),即〈B′μ,v〉=〈B_v,μ〉,(?)_v∈V,μ∈M.(1.1)定义两个连续双线性型如下:     

关于T.J.Rivlin的一个问题

本文在连续函数空间内按两种范数‖·‖_Ｍ（Ｏｒｌｉｃｚ范数）和‖·‖_(Ｍ)（Ｌｕｘｅｍｂｕｒｇ范数分别解决了Ｔ．Ｊ．Ｒｉｖｌｉｎ的一个问题     

Lp(x)(Ω)中关于Luxemburg范数和共轭Orlicz范数间的一个最佳不等式

令Lp(x)(Ω)为变指数Lebesgue空间,其中pΩ→[1,∞].‖·‖p(x)和‖·‖op(x)分别表示Lp(x)(Ω)中的Luxemburg范数和共轭orlicz范数.本文证明成立最佳不等式‖·‖p(x)≤‖·‖op(x)≤d(p_,p+)‖·‖p(x),其中d(p-,p+)是一个依赖于p-=essinfΩp(x)和p+=esssupΩp(x)的常数.当1＜p-＜p+＜∞时,d(p-,p+)=((p--1)p--1/p-p-)p+-1/p+-p-(p+p+/(p+-1)p+-1)p--1/p+-p-+(p-p-/(p--1)p--1(p+-1)p+-1/p+p+)1/p+-p-;当p-=1或p+=∞时,d(p-,p+)是相应的极限形式.     

多滞量线性微分方程系统的数值收敛性分析

1　引　　言本文将涉及多滞量线性微分方程系统y′(t)=By(t)+km=1Bmy(t-τm),t∈[t0,T],y(t)=φ(t),t∈[t0-τ,t0],(1.1)其中B=(bij),Bm=(b(m)ij)∈CN×N,0<τm≤τ(1≤m≤k),y(t)=(y1(t),y2(t),…,yN(t))T∈CN是未知函数.下文中恒设(1.1)有唯一充分光滑的解y(t),且其满足‖y(i)(t)‖≤Mi,　　t∈[t0-τ,T],(1.2)这里‖·‖为CN中某内积〈·,·〉导出的范数,即‖ξ‖=〈ξ,ξ〉(ξ∈CN).文[1]中指出:当(1.1)的系数阵满足km=1‖Bm‖<-12λmax(B+B*)(1.3)时(其中矩阵范数‖·‖定义为:‖B‖=sup‖ξ‖=1‖Bξ‖,B∈CN×N),系统(1.1…     

关于R.WHITLEY定理

以‖·‖(?)表示〔-1,1〕上的 L_p 范数,1≤p≤∝,‖·‖_p=(?)|·|~p dx,0相似文献   

关于拓扑同构与范数等价的注记

设‖·‖1和‖·‖2是定义在线性空间E上的两个范数.通过构造反例来否定有关文献中给出的结论:若赋范线性空间(E,‖·‖1),(E,‖·‖2)拓扑同构,则范数‖·‖1,‖·‖2等价.     

有限元导数的一致超收敛估计

§1 引言 设ΩR~2是边界为Γ的有界区域,Ω=Ω∪Γ。Sobolev空间W_p~m(Ω)的范数、半范数分别用‖·‖_(m,p,Ω),|·|_(m,p,Ω)或‖·‖_(m,p),|·|_(m,p)表示。在W_p~1(Ω)×W_p~1(Ω) (1≤p≤∞,1/p+1/q=1)上定义双线性泛函: 我们假定系数a_(if)定义在Ω上且满足     

几类矩阵范数之间的关系

1 引言 [1]中,讨论了C~(m×n)上的矩阵A的L_p范数/A/_p=(∑/a_(ij)/~p)和l_p算子范数‖A‖_p= max/AX/_p1』之间的关系,得到了下面的不等式: ‖A‖_p≤μ_p(n)/A/_p, ‖A‖_p≤μ_q(m)/A/_p, (1.1) 这里     

Social norms and choice: a weak folk theorem for repeated matching games

A folk theorem which holds for all repeated matching games is established. The folk theorem holds any time the stage game payoffs of any two players are not affinely equivalent. The result is independent of population size and matching rule—including rules that depend on players choices or the history of play.      

矩阵的几个不等式

利用谱分解定理和几个标量不等式,得到了矩阵加权几何均值和酉不变范数的几个不等式,它们是Kittaneh和Manasrah所得相关结果的改进.     

Some extensions of Rotfel’d theorem

We proved some inequalities for concave functions. Those inequalities complemented a theorem obtained by Lee. Finally, we partially solved an open problem proposed by Zhang P.     

COMPUTING THE NEAREST BISYMMETRIC POSITIVE SEMIDEFINITE MATRIX UNDER THE SPECTRAL RESTRICTION

Let A and C denote real n × n matrices. Given real n-vectors x1, ... ,xm, m ≤ n, and a set of numbers L = {λ1,λ2,... ,λm}. We describe (I) the set (?) of all real n × n bisymmetric positive seidefinite matrices A such that Axi is the "best" approximate to λixi, i = 1,2,...,m in Frobenius norm and (II) the Y in set (?) which minimize Frobenius norm of ||C - Y||.An existence theorem of the solutions for Problem I and Problem II is given and the general expression of solutions for Problem I is derived. Some sufficient conditions under which Problem I and Problem II have an explicit solution is provided. A numerical algorithm of the solution for Problem II has been presented.     

Exact norms of a Stein-type operator and associated stochastic orderings

Motivated by asymptotic expansions in the central limit theorem, we find exact norms of a sequence of Stein-type operators. The proof is based on new stochastic comparisons in distribution between the difference of two independent transformed normal variables and the standard normal distribution. Mathematics Subject Classifications (2000):60F05; 60E15     

A continuity theorem for Stinespring's dilation

We show a continuity theorem for Stinespring's dilation: two completely positive maps between arbitrary C^∗-algebras are close in cb-norm if and only if we can find corresponding dilations that are close in operator norm. The proof establishes the equivalence of the cb-norm distance and the Bures distance for completely positive maps. We briefly discuss applications to quantum information theory.     

An optimal perturbation bound

Cai and Zhang establish separate perturbation bounds for distances with spectral and Frobenius norms (Cai T, Zhang A. Rate‐optimal perturbation bounds for singular subspaces with applications to high‐dimensional statistics. The Annals of Statistics. 2018; Vol. 46, No. 1: 60?89). We extend their theorem to each unitarily invariant norm. It turns out that our estimation is optimal as well.     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

On the resolution and optimization of a system of fuzzy relational equations with sup-T composition

This paper provides a thorough investigation on the resolution of a finite system of fuzzy relational equations with sup-T composition, where T is a continuous triangular norm. When such a system is consistent, although we know that the solution set can be characterized by a maximum solution and finitely many minimal solutions, it is still a challenging task to find all minimal solutions in an efficient manner. Using the representation theorem of continuous triangular norms, we show that the systems of sup-T equations can be divided into two categories depending on the involved triangular norm. When the triangular norm is Archimedean, the minimal solutions correspond one-to-one to the irredundant coverings of a set covering problem. When it is non-Archimedean, they only correspond to a subset of constrained irredundant coverings of a set covering problem. We then show that the problem of minimizing a linear objective function subject to a system of sup-T equations can be reduced into a 0–1 integer programming problem in polynomial time. This work generalizes most, if not all, known results and provides a unified framework to deal with the problem of resolution and optimization of a system of sup-T equations. Further generalizations and related issues are also included for discussion.     

Local properties of accessible injective operator ideals

In addition to Pisier's counterexample of a non-accessible maximal Banach ideal, we will give a large class of maximal Banach ideals which are accessible. The first step is implied by the observation that a good behaviour of trace duality, which is canon-ically induced by conjugate operator ideals can be extended to adjoint Banach ideals, if and only if these adjoint ideals satisfy an accessibility condition (theorem 3.1). This observation leads in a natural way to a characterization of accessible injective Banach ideals, where we also recognize the appearance of the ideal of absolutely summing operators (prop. 4.1). By the famous Grothendieck inequality, every operator from L ₁ to a Hilbert space is absolutely summing, and therefore our search for such ideals will be directed towards Hilbert space factorization—via an operator version of Grothendieck's inequality (lemma 4.2). As a consequence, we obtain a class of injective ideals, which are quasi-accessible, and with the help of tensor stability, we improve the corresponding norm inequalities, to get accessibility (theorem 4.1 and 4.2). In the last chapter of this paper we give applications, which are implied by a non-trivial link of the above mentioned considerations to normed products of operator ideals.