西尔万·埃尔维多萨;恩里克·祖祖阿 保守系统时间离散近似方案的变换技术和可观测性。 （英语） Zbl 1320.65097号 数字。数学。 130，第3期，425-466（2015）. 研究了保守系统时间离散近似格式的变形技术和可观测性。他们给出了几个经典时间离散化方案的实例，这些方案适合一个特定的抽象设置，函数（f）满足以下假设\（f\）是\（C^｛\infty｝\）并且满足\（f（0）=0\），\（f'（0）=1\），\（f\）是奇数，\（f\）是实值并且\（f:（-R，R）\右箭头（-\pi，\pi）\），并且对于所有\（\delta＜R\），\（\inf\｛f'（\alpha）\）；\（|\alpha|\leq\delta \｝＞0\）。给出了定理和证明。给出了一个逆表示公式，并讨论了它在一致可容许结果中的应用，并用它证明了时间估计的最优性。讨论了一些尚未解决的问题。审核人：Seenith Sivasundaram（代托纳海滩） 引用于2文件 MSC公司： 65K10码 数值优化和变分技术 93B40码 系统理论中的计算方法（MSC2010） 93个B07 可观察性 93B17号机组 转型 关键词：变形技术;时间离散近似;可观测性;保守系统 PDF格式BibTeX公司 XML格式引用 \textit{S.Ervedoza}和\textit{E.Zuazua}，数字。数学。130，第32425-466号（2015年；兹bl 1320.65097） 全文： 内政部 arXiv公司 链接 参考文献： [1] Alves，C.，Silvestre，A.L.，Takahashi，T.，Tucsnak，M.：利用可观测性解决逆源问题。欧拉-伯努利板方程的应用。SIAM J.控制优化。48(3), 1632-1659 (2009) ·Zbl 1282.93059号 ·doi:10.1137/080725635 [2] Bardos，C.、Lebeau，G.、Rauch，J.：《利用概念传播控制和稳定问题双曲线的未示例》。伦德。半材料大学政治学院。都灵，（特刊）：1988年11月31日。应用科学中的非线性双曲方程（1989）·Zbl 0673.93037号 [3] Burq，N.、Gérard，P.：《社会条件与充分的社会控制》（Condition Nécessaire et sufficante pour la controlélipilite exacte des ondes）。C.R.学院。科学。巴黎。I数学。325(7), 749-752 (1997) ·Zbl 0906.93008号 ·doi:10.1016/S0764-4442（97）80053-5 [4] Burq，N.，Zworski，M.：黑箱存在下的几何控制。美国数学杂志。《社会科学》第17卷第2期，第443-471页（2004年）。（电子版）·Zbl 1050.35058号 ·doi:10.1090/S0894-0347-00452-7 [5] Castro，C.，Micu，S.：从混合有限元方法导出的线性半离散一维波动方程的边界可控性。数字。数学。102（3），413-462（2006）·Zbl 1102.93004号 ·doi:10.1007/s00211-005-0651-0 [6] Castro，C.，Micu，S.，Münch，A.：方形中混合有限元波动方程边界控制的数值近似。IMA J.数字。分析。28(1), 186-214 (2008) ·Zbl 1139.93005号 ·doi:10.1093/imanum/drm012 [7] Coron，J.-M.，Guerrero，S.：奇异最优控制：线性一维抛物线双曲线示例。渐近线。分析。44(3-4), 237-257 (2005) ·Zbl 1078.93009号 [8] Dáger，R.，Zuazua，E.：\[1\text{-}d1\]-D柔性多层结构中的波传播、观测和控制。《数学与应用》（柏林）第50卷。柏林施普林格出版社（2006）·Zbl 1083.74002号 [9] Dolecki，S.，Russell，D.L.：观察和控制的一般理论。SIAM J.控制优化。185-220年（1977年）·Zbl 0353.93012号 ·doi:10.1137/0315015 [10] Ervedoza，S.：波系统可容许性和可观测性的谱条件：有限元格式的应用。数字。数学。113(3), 377-415 (2009) ·Zbl 1170.93013号 ·doi:10.1007/s00211-009-0235-5 [11] Ervedoza，S.：保守系统离散近似在任意小时间内的可观测性。In：非线性双曲方程及其应用的一些问题，Ser第15卷。竞争。申请。数学。CAM，第283-309页。北京高等教育出版社（2010）·Zbl 1234.93026号 [12] Ervedoza，S.：薛定谔系统的可容许性和可观测性：有限元近似方案的应用。渐近线。分析。71(1-2), 1-32 (2011) ·Zbl 1244.93031号 [13] Ervedoza，S.，Zheng，C.，Zuazua，E.：关于时间离散保守线性系统的可观测性。J.功能。分析。254(12), 3037-3078 (2008) ·Zbl 1143.65044号 ·doi:10.1016/j.jfa.2008.03.005 [14] Ervedoza，S.，Zuazua，E.：热方程的敏锐可观测性估计。架构（architecture）。定额。机械。分析。202(3), 975-1017 (2011) ·Zbl 1251.93040号 ·doi:10.1007/s00205-011-0445-8 [15] Ervedoza，S.，Zuazua，E.：波动方程：控制和数字。收录：Cannarsa，P.M.，Coron，J.M.（编辑），偏微分方程控制，数学课堂讲稿，CIME子系列。施普林格（2011）·Zbl 1122.93011号 [16] Glass，O.：在消失粘度极限下传输方程均匀可控性问题的复合分析方法。J.功能。分析。258(3), 852-868 (2010) ·Zbl 1180.93015号 ·doi:10.1016/j.jfa.2009.06.035 [17] Hairer，E.，Nörsett，S.P.，Wanner，G.：求解常微分方程。一、 Springer计算数学系列第8卷。柏林施普林格（1987）（非刚性问题）·Zbl 0638.65058号 [18] Haraux，A.：直肠斑块振动的半内部控制。数学杂志。Pures应用程序。(9), 68(4), 457-465 (1990) 1989 ·Zbl 0685.93039号 [19] Infante，J.A.，Zuazua，E.：一维波动方程空间半离散的边界可观测性。数学。模型。《年鉴》第33卷，第407-438页（1999年）·Zbl 0947.65101号 ·doi:10.1051/m2an:1999123 [20] 英格姆，A.E.：一些三角不等式及其在级数理论中的应用。数学。Z.41（1），367-379（1936）·Zbl 0014.21503号 ·doi:10.1007/BF01180426 [21] Kannai，Y.：扩散方程基本解的非对角短时渐近性。Commun公司。部分差异。埃克。2(8), 781-830 (1977) ·Zbl 0381.35039号 ·doi:10.1080/03605307708820048 [22] Kannai，Y.：椭圆和抛物线奇异摄动问题的双曲线方法。J.分析。数学。59, 75-87 (1992). 庆祝Shmuel Agmon 70岁生日·Zbl 0802.35005号 ·doi:10.1007/BF02790218 [23] Komornik，V.，Loreti，P.：半离散Ingham型不等式。申请。数学。最佳方案。55(2), 203-218 (2007) ·Zbl 1124.42004号 ·doi:10.1007/s00245-006-0888-8 [24] Lang，S.：丢番图逼近简介。Addison-Wesley Publishing Co.，Reading，Mass.-London Mills，Ont.（1966）·Zbl 0144.04005号 [25] Lebeau，G.：控制分析。一、先验估计。杜克数学。J.68（1），1-30（1992）·Zbl 0780.93053号 ·doi:10.1215/S0012-7094-92-06801-3 [26] 狮子，J.-L.：控制精确、稳定和分布系统扰动。汤姆1。Contrólipliteéexacte，卷RMA 8。Masson（1988）·Zbl 0653.93002号 [27] Lissy，P.：一维热方程的快速控制成本与一维输运扩散方程的均匀可控性之间的联系。C.R.数学。阿卡德。科学。巴黎350（11-12），591-595（2012）·Zbl 1246.93019号 ·doi:10.1016/j.crma.2012.06.004 [28] López，A.，Zhang，X.，Zuazua，E.：热方程的零能控性是耗散波方程精确能控性的奇异极限。数学杂志。Pures应用程序。(9) 79(8), 741-808 (2000) ·Zbl 1079.35017号 [29] Loreti，P.，Mehrenberger，M.：双网格可观测性定理的ingham型证明。ESAIM COCV 14（3），604-631（2008）·Zbl 1157.35415号 ·doi:10.1051/cocv:2007062 [30] Mehrenberger，M.：[N-dN]-d波动方程边界可观测性的Ingham型证明。C.R.数学。阿卡德。科学。巴黎347（1-2），63-68（2009）·Zbl 1154.93008号 ·doi:10.1016/j.crma.2008.11.002 [31] Micu，S.，Rovenţa，I.：具有消失粘度的一维线性薛定谔方程的一致可控性。ESAIM控制优化。计算变量18（1），277-293（2012）·Zbl 1242.93019号 ·doi:10.1051/cocv/2010055 [32] Miller，L.：小时间内热方程零控制成本增长率的几何界。J.差异。埃克。204(1), 202-226 (2004) ·Zbl 1053.93010号 ·doi:10.1016/j.jde.2004.05.007 [33] 米勒，L.：对薛定谔和板块振动的快速控制有多剧烈？架构（architecture）。定额。机械。分析。172(3), 429-456 (2004) ·Zbl 1067.35130号 ·doi:10.1007/s00205-004-0312-y [34] Miller，L.：保守系统的可控成本：预解条件和嬗变。J.功能。分析。218(2), 425-444 (2005) ·Zbl 1122.93011号 ·doi:10.1016/j.jfa.2004.02.001 [35] Miller，L.：控制变形方法和快速控制的成本。SIAM J.控制优化。45(2), 762-772 (2006). （电子版）·Zbl 1109.93009号 ·doi:10.1137/S0363012904440654 [36] Miller，L.：关于具有显式速率的热半群的指数可观测性估计。阿提·阿卡德。纳粹。Lincei Cl.科学。财政部。Mat.Natur公司。伦德。Lincei（9）材料应用。17（4），351-366（2006）·Zbl 1150.93006号 ·doi:10.4171/RLM/473 [37] Miller，L.：控制酉群及其逼近的预决条件。J.规范。理论2（1），1-55（2012）·Zbl 1239.93012号 ·doi:10.4171/JST/20 [38] Münch，A.，Zuazua，E.：通过变换出现在反问题中的热量方程零控制的数值近似（2010）·Zbl 1203.35015号 [39] Negreanu，M.，Matache，A.-M.，Schwab，C.：波动方程精确可控性的小波滤波。SIAM J.科学。计算。28(5), 1851-1885 (2006). （电子版）·Zbl 1131.65056号 ·数字对象标识代码：10.1137/050622894 [40] Negreanu，M.，Zuazua，E.：一维波动方程可控性多重网格方法的收敛性。C.R.数学。阿卡德。科学。巴黎338（5），413-418（2004）·兹比尔1038.65054 ·doi:10.1016/j.crma.2003.11.032 [41] Negreanu，M.，Zuazua，E.：离散Ingham不等式及其应用。SIAM J.数字。分析。44（1）、412-448（2006）中所述。（电子版）·Zbl 1142.93351号 ·doi:10.1137/050630015 [42] Phung，K.-D.：热方程的零能控性是耗散波方程在Bardos-Lebau-Rauch几何控制条件下精确能控性的奇异极限。计算。数学。申请。44(10-11), 1289-1296 (2002) ·Zbl 1051.93050号 ·doi:10.1016/S0898-1221（02）00256-0 [43] Phung，K.D.：波浪、阻尼波和观测。李大天、彭跃军、饶伯鹏主编：《非线性双曲方程及其应用的若干问题》，当代应用数学系列丛书CAM 15（2010）·Zbl 1223.35215号 [44] 普吕斯，J.：《演化积分方程及其应用》，数学专著第87卷。Birkhäuser，巴塞尔（1993年）·Zbl 0793.45014号 ·doi:10.1007/978-3-0348-8570-6 [45] Ramdani，K.，Takahashi，T.，Tenenbaum，G.，Tucsnak，M.：具有偏伴生成器的无限维系统精确可观测性的谱方法。J.功能。分析。226(1), 193-229 (2005) ·Zbl 1140.93395号 ·doi:10.1016/j.jfa.2005.02.009 [46] 罗比亚诺（Robbiano，L.）：《双曲线问题的解决方案》（Théorème d’unicitéadaptéau control des solutions des problèmes hyperpoliceques）。通信部分差异。埃克。16(4-5), 789-800 (1991) ·兹比尔0735.35086 ·doi:10.1080/03605309108820778 [47] Robbino，L.：夸张的解决方案的共同和控制基金会。渐近线。分析。10(2), 95-115 (1995) ·Zbl 0882.35015号 [48] Tenenbaum，G.，Tucsnak，M.：薛定谔方程的快速强定域观测。事务处理。美国数学。Soc.361（2），951-977（2009）·Zbl 1158.93013号 ·doi:10.1090/S0002-9947-08-04584-4 [49] Trèves，F.：伪微分和傅里叶积分算子简介，第2卷。纽约Plenum出版社（1980年）。傅里叶积分算子，数学大学系列·Zbl 0453.47027号 ·doi:10.1007/978-1-4684-8780-0 [50] Tucsnak，M.，Weiss，G.：算子半群的观察与控制。Birkäuser高级文本/Basler Lehrbücher。Birkhäuser，巴塞尔（2009）·Zbl 1077.65095号 [51] Zuazua，E.：有限差分法近似波的传播、观测和控制。SIAM Rev.47（2），197-243（2005）。（电子版）·Zbl 1077.65095号 ·doi:10.137/S0036144503432862 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。