×

无界形状域上Emden方程存在性的计算机辅助证明。 (英语) Zbl 1367.35080号

摘要:在Dirichlet边界条件下,证明了无界(L)形区域上Emden方程的非平凡解的存在性、非退化性和无穷大指数衰减性。除了这一结果的直接价值外,我们还将此解视为扩展有角有界域解的构造块,以备将来的工作。我们的证据大量使用计算机辅助。从一个数值近似解出发,我们用一个不动点参数来证明一个近似精确解的存在性。在这个证明过程中建立的特征值界也意味着解的非退化性。

理学硕士:

J3561型 半线性椭圆方程
PDF格式 BibTeX公司 XML 引用

参考文献:

[1] 阿克曼,N。;克拉普,M。;Pacella,F.,扩张波导中的自聚焦多凸点驻波,米兰J.数学。,79221-232,(2011年)·Zbl 1229.35285号
[2] 阿克曼,N。;克拉普,M。;Pacella,F.,扩张管状区域中非线性椭圆方程的交替符号多凸解,Comm.偏微分方程,38751-779,(2013)·兹布1273.35132
[3] Agmon,S.,椭圆边值问题讲座,(1965年),范诺斯特朗·Zbl 0151.20203号
[4] 巴茨,T。;克拉普,M。;格罗西,M。;Pacella,F.,扩张环域中的渐近径向解,数学。Ann.,352,485-515,(2012年)·Zbl 1276.35083
[5] 本克,H。;戈里奇,F。;Herzberger,J.,验证计算主题,自伴问题特征值包含,277-322,(1994),Elsevier·Zbl 0838.65060
[6] 本克,H。;梅尔廷斯,美国。;梅子,M。;Wieners,C.,通过区域分解的特征值包含,过程。R、 伦敦。A、 4562717-2730,(2000年)·Zbl 0993.65120
[7] 贝雷斯蒂基,H。;尼伦伯格,L。;李国伟,等,圆柱域上半线性椭圆型方程解的一些定性性质,第115-164页,(1990),学术出版社
[8] F、 Blomquist,W.Hofschuster和W.Krämer,C-XSC-Langzahlarithmetiken Für reelle und Komplese Intervalle auf den Bibliotheken MPFR and MPFI,预印本BUW-WRSWT,Universitätäpertal(2011/1)。
[9] 布鲁尔,B。;霍拉克,J。;麦肯纳,P.J。;李梅,M.,非线性支承梁中行波的计算机辅助存在性和多重性证明,J.微分方程,224,60-97,(2006)·Zbl 1104.34034
[10] 卡特琳娜,F。;王,Z.-Q。,扩张对称区域上的非线性椭圆方程,J.微分方程,156153-181,(1999)·Zbl 0944.35026
[11] 舞者,E.N。;颜,S.扩张域中椭圆问题的多重凸解,通讯偏微分方程,27,23-55,(2002)·Zbl 1011.35059
[12] Grisvard,P.,非光滑域中的椭圆问题,24,(1985),Pitman·Zbl 0695.35060
[13] Grisvard,P.,边值问题的奇异性,22,(1992),Springer Verlag·Zbl 0766.35001
[14] 黄,V。;梅子,M。;Wieners,C.,光子带隙的计算机辅助证明,Z.Angew。数学。物理。,601035-1052,(2009年)·Zbl 1180.78017号
[15] Kato,T.,线性算子的扰动理论,132,(1976),Springer Verlag
[16] 科莱特,右。;库利什,美国。;维托夫,A。;拉沃,C。;Rauch,M.,C-XSC:扩展科学计算的C++类库,(1993),Springer
[17] 李英英,环空上半线性椭圆型方程多正解的存在性,J.微分方程,83348-367,(1990)·Zbl 0748.35013
[18] 麦肯纳·J。;帕塞拉,F。;梅子,M。;Roth,D.,半线性椭圆问题的唯一性结果:计算机辅助证明,J.微分方程,2472140-2162,(2009)·Zbl 1179.35149
[19] 麦肯纳,P.J。;帕塞拉,F。;梅子,M。;Roth,D.,不等式与应用2010,161,半线性椭圆边值问题的计算机辅助唯一性证明,31-52,(2012),Birkhäuser/Springer·Zbl 1253.35046号
[20] 李梅,M.,半线性椭圆边值问题的存在性和多重性证明,杨树理,第110期,第19-54页,(2008)·Zbl 1185.35101
[21] 臀部,S.M。;Csendes,T.,《可靠计算的发展》,INTLAB-INTerval LABoratory,77-104,(1999),Kluwer学术出版社·Zbl 0949.65046
[22] 苏莱姆,C。;苏莱姆,P.-L。,非线性薛定谔方程:自聚焦和波崩溃,139,(1999),Springer-Verlag
[23] Suzuki,T.,扩张环上半线性椭圆方程的正解:山路法,Funkcial。埃克瓦茨。,39143-164,(1996年)·Zbl 0861.35029
[24] Wieners,C.,并行有限元的几何数据结构及其在多重网格方法中的应用,计算机。维斯。科学。,13161-175,(2010年)·Zbl 1216.65164
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。