×

自由光谱之间的双解析映射。 (英语) Zbl 1471.47045号

摘要:线性矩阵不等式(LMI)在许多应用领域发挥着作用。LMI的解集是一个谱面。矩阵变量(无因次)中的线性矩阵不等式模拟了线性系统工程中的大多数问题,其解集称为自由谱面。自由谱面就是自由半代数凸集。本文研究了自由谱面之间的自由解析映射,并在一定的(一般有效的)不可约性假设下,对所有双解析映射进行了分类。这种映射的基础是一类非常小的双有理映射,我们称之为凸映射。变量中的凸映射与(g)维代数对应。如果满足不可约性假设的两个有界自由谱面({mathcal{D}}_A)和({mathcal{D{B}_B)是自由双解析的,且映射表示为\(p\),那么\(p~)必须(在可能的仿射线性变换之后)扩展到对应于由\(U-I)A_1,\点,\(U-1)跨越的(g\)维代数的凸映射A_g\)表示某种幺正\(U\)。此外,(B)和(UA)在单位上等价。本文还建立了实部在自由谱面上为半正定的自由分析函数的Positivstellenstz,并证明了自由分析映射从\({\mathcal{D}}_a\)到\({\mathcal{D}}_B\)的表示(不一定是双解析的)。另一个结果表明,关于自由谱面的任何径向展开的函数解析都可以由谱面上的多项式一致逼近。这些定理是对自由双分析映射进行分类所必需的。

MSC公司:

47升25 算子空间(=矩阵赋范空间)
第14页 半代数集与相关空间
第32页第30页 全纯、多项式和有理逼近,以及多个复变量的插值;横档对
32时02分 几个复变量中的全纯映射、(全纯)嵌入及相关问题
46升07 算子空间与完全有界映射
52A05型 无尺寸限制的凸集(凸几何方面)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Agler,J.,McCarthy,J.:几个非交换变量中的全局全纯函数。可以。数学杂志。67, 241-285 (2015) ·Zbl 1311.32001号 ·doi:10.4153/CJM-2014-024-1
[2] Agler,J.,McCarthy,J.:自由全纯函数的Pick插值。美国数学杂志。137, 1685-1701 (2015) ·Zbl 1333.32011年 ·doi:10.1353/ajm.2015.0042
[3] Ball,J.A.,Groenewald,G.,Malakorn,T.:结构非交换多维线性系统和鲁棒控制的有界实引理。多维空间。系统。信号处理。17, 119-150 (2006) ·Zbl 1125.93334号 ·doi:10.1007/s11045-005-6730-7
[4] Ball,J.A.,Marx,G.,Vinnikov,V.:非交换Schur-Agler类的插值和传递函数实现。预打印http://arxiv.org/abs/1602.00762 ·Zbl 1443.46039号
[5] Barvinok,A.:凸性课程。收录于:数学研究生课程,第54卷。美国数学学会,纽约(2002年)·Zbl 1014.52001年
[6] Blekherman,G.,Parrilo,P.A.,Thomas,R.R.(编辑):半定优化和凸代数几何。收录于:MOS-SIAM优化系列,第13卷。SIAM,费城(2013)·Zbl 1260.90006号
[7] Boyd,S.,El Ghaoui,L.,Feron,E.,Balakrishnan,V.:系统和控制理论中的线性矩阵不等式。在:SIAM应用数学研究,第15卷。SIAM,费城(1994)·兹伯利0816.93004
[8] Bochnack,J.、Coste,M.、Roy,M.-F.:Ergebnisse der Mathematik und ihrer Grenzgebiete 3。实代数几何。施普林格,纽约(1998)·Zbl 0912.14023号
[9] Brändén,P.:确定代表性的障碍。高级数学。226, 1202-1212 (2011) ·兹比尔1219.90121 ·doi:10.1016/j.aim.2010.08.003
[10] Burgdorf,S.,Klep,I.,Povh,J.:施普林格数学简介。非交换变量多项式的优化。施普林格,纽约(2016)·Zbl 1388.90001号
[11] D'Angelo,J.P.:几个复变量和真实超曲面的几何。CRC出版社,伦敦(1993)·Zbl 0854.32001号
[12] 奥利维拉,M。;JW赫尔顿;McCullough,S。;M.普蒂纳。;Putinar,M.(编辑);Sullivant,S.(编辑),《工程系统和自由半代数几何》,17-61(2009),纽约·Zbl 1156.14331号 ·doi:10.1007/978-0-387-09686-5_2
[13] Effros,E.G.,Winkler,S.:矩阵凸性:双极定理和Hahn-Banach定理的算子类比。J.功能。分析。144, 117-152 (1997) ·兹伯利0897.46046 ·doi:10.1006/jfan.1996.2958
[14] Faran,J.:关于低共维情况下球之间适当全纯映射的线性。J.差异。地理。24, 15-17 (1986) ·Zbl 0592.32018号 ·doi:10.4310/jdg/1214440255
[15] Forstnerić,F.:推广正余维的适当全纯映射。发明。数学。95, 31-61 (1989) ·Zbl 0633.32017号 ·doi:10.1007/BF01394144
[16] Forstnerić,F.:真全纯映射:综述。摘自:《多个复杂变量》(斯德哥尔摩,1987/1988),第297-363页。数学笔记,第38卷。普林斯顿大学出版社,普林斯顿(1993)·Zbl 0778.3208号
[17] Grinshspan,A.,Kaliuzhnyi-Verbovetskyi,D.S.,Vinnikov,V.,Woerdeman,H.J.:稳定多项式的矩阵值Hermitian Positistellensatz,潜伏收缩和收缩行列式表示。摘自:《算符理论:进展与应用》,第255卷,第123-136页。Birkhäuser/Springer,纽约(2016)·Zbl 1377.47005号
[18] Helton,J.W.,Klep,I.,McCullough,S.:正确的解析自由映射。J.功能。分析。2601476-1490(2011年)·Zbl 1215.47011号 ·doi:10.1016/j.jfa.2010.11.007
[19] Helton,J.W.,Klep,I.,McCullough,S.:自由代数中的凸正性。高级数学。231,516-534(2012)(本文继[21]之后出现更早)·Zbl 1260.14071号
[20] Helton,J.W.,Klep,I.,McCullough,S.:自由分析,凸性和LMI域。摘自:《系统、优化和控制中的数学方法》,第195-219页。《算符理论:进展与应用》,第222卷(2012年)·Zbl 1280.46043号
[21] Helton,J.W.,Klep,I.,McCullough,S.:线性矩阵不等式的矩阵松弛。数学。程序。138、401-445(2013)(本文先于[19],但出现较晚)·Zbl 1272.15012号
[22] Helton,J.W.,Klep,I.,McCullough,S.:tracial Hahn-Banach定理,极对偶,矩阵凸集和自由谱面的投影。《欧洲数学杂志》。Soc.19,1845-1897(2017)·Zbl 1457.14123号 ·doi:10.4171/JEMS/707
[23] Helton,J.W.,Klep,I.,McCullough,S.,Slinglend,N.:非交换球映射。J.功能。分析。257(1),47-87(2009)·Zbl 1179.47012号 ·doi:10.1016/j.jfa.2009.03.008
[24] Helton,J.W.,Klep,I.,Volć,J.:自由位点的几何和非对易多项式的因式分解(准备中)·Zbl 1420.16015号
[25] Helton,J.W.,McCullough,S.:每个自由基本凸半代数集都有一个LMI表示。安。数学。(2) 176, 979-1013 (2012) ·Zbl 1260.14011号 ·doi:10.4007/annals.2012.176.2.6
[26] Helton,J.W.,de Oliveira,M.,Miller,R.L.,Stankus,M.:NCAlgebra:非交换代数的数学包。https://github.com/NCAlgebra/NC。2017年11月29日访问·Zbl 0271.46041号
[27] Helton,J.W.,Vinnikov,V.:集的线性矩阵不等式表示。Commun公司。纯应用程序。数学。60, 654-674 (2007) ·Zbl 1116.15016号 ·doi:10.1002/cpa.20155年
[28] Huang,X.,Ji,S.:将Bn映射为B2n-1。发明。数学。145, 219-250 (2001) ·Zbl 1038.32018号 ·doi:10.1007/s002220100140
[29] Huang,X.,Ji,S.,Yin,W.:关于球之间适当全纯映射的第三个间隙。数学。Ann.358115-142(2014)·Zbl 1295.32025号 ·doi:10.1007/s00208-013-0952-z
[30] Kaliuzhnyi-Verbovetskyi,D.,Vinnikov,V.:有理函数的奇异性和最小因式分解:非交换和交换设置。线性代数应用。430, 869-889 (2009) ·Zbl 1217.47032号 ·doi:10.1016/j.laa.2008.08.027
[31] Kaliuzhnyi-Verbovetskyi,D.,Vinnikov,V.:自由非交换函数理论的基础。收录于:《数学调查与专著》,第199卷。AMS,纽约(2014)·Zbl 1312.46003号
[32] 克莱普,I.,Špenko,Š.:通过矩阵不变量实现自由函数理论。可以。数学杂志。69, 408-433 (2017) ·Zbl 1377.16017号 ·doi:10.415/CJM-2015-055-7
[33] Klep,I.,Volć,J.:矩阵铅笔的自由轨迹和非交换有理函数的域。注释。数学。赫尔夫。92, 105-130 (2017) ·Zbl 1365.15017号 ·doi:10.4171/CMH/408
[34] Krantz,S.G.:多复变量函数理论。AMS,纽约(2001)·Zbl 1087.32001号 ·doi:10.1090/chel/340
[35] Marcus,A.W.,Spielman,D.A.,Srivastava,N.:交错族II:混合特征多项式和Kadison-Singer问题。安。数学。(2) 182, 327-350 (2015) ·Zbl 1332.46056号 ·doi:10.4007/年鉴.2015.182.1.8
[36] Mazzola,G.:五维结合代数的代数和几何分类。马努斯克。数学。27, 81-101 (1979) ·Zbl 0446.16033号 ·doi:10.1007/BF01297739
[37] Netzer,T.,Thom,A.:具有和不具有行列式表示的多项式。线性代数应用。437, 1579-1595 (2012) ·Zbl 1259.15016号 ·doi:10.1016/j.laa.2012.04.043
[38] Nielsen,M.A.,Chuang,I.L.:量子计算和量子信息。剑桥大学出版社,剑桥(2011)·Zbl 1049.81015号
[39] 帕斯科,J.E.:自由分析的反函数定理和雅可比猜想。数学。Z.278、987-994(2014)·Zbl 1320.46049号 ·doi:10.1007/s00209-014-1342-2
[40] Paulsen,V.:完全有界映射和算子代数。剑桥大学出版社,剑桥(2002)·Zbl 1029.47003号
[41] Popescu,G.:单位球上的自由全纯函数。分析。241, 268-333 (2006) ·Zbl 1112.47004号 ·doi:10.1016/j.jfa.2006.07.004
[42] Popescu,G.:单位球的自由全纯自同构。数学。638, 119-168 (2010) ·Zbl 1196.47005号
[43] Skelton,R.E.,Iwasaki,T.,Grigoriadis,K.M.:线性控制设计的统一代数方法。泰勒和弗朗西斯,伦敦(1996)
[44] Taylor,J.L.:多算子函数微积分的一般框架。高级数学。9, 183-252 (1972) ·Zbl 0271.46041号 ·doi:10.1016/0001-8708(72)90017-5
[45] Vinnikov,V.:真实平面曲线的自伴确定性表示。数学。Ann.296,453-479(1993)·Zbl 0789.14029号 ·doi:10.1007/BF01445115
[46] Voiculescu,D.-V.:自由分析问题I:\[\partial_{X:B}\]的余代数的对偶变换。Res.不。16, 793-822 (2004) ·Zbl 1084.46053号 ·doi:10.1155/S1073792804132443
[47] Voiculescu,D.-V.:自由分析问题II:格拉斯曼完形和起源的级数展开。J.Reine Angew。数学。645, 155-236 (2010) ·Zbl 1228.46058号
[48] 沃尔奇奇,J.:关于非交换有理函数的域。线性代数应用。516, 69-81 (2017) ·Zbl 1376.16022号 ·doi:10.1016/j.laa.2016.11.031
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。