×
奥斯瓦尔德Fogelklou;沃里克·塔克;格尼拉·克莱斯;马林Siklosi

具有积分边界条件的边值问题解的存在性的计算机辅助证明。 （英语） Zbl 1221.35233号

Commun公司。非线性科学。数字。模拟。 16，第3期，1227-1243（2011）.
摘要：我们提出了一种计算机辅助方法，用于确定粘性Burgers方程稳态解的存在性和局部唯一性。问题公式包括一个左边界条件和一个积分边界条件，这是以前方法的变体。

引用于三文件

MSC公司：

35升65 双曲守恒律
35-04 偏微分方程相关问题的软件、源代码等
第35季度53 KdV方程（Korteweg-de-Vries方程）
35A01型 偏微分方程的存在性问题：全局存在、局部存在、不存在
35A02型 偏微分方程的唯一性问题：全局唯一性、局部唯一性、非唯一性

关键词：

计算机辅助证明;数值验证;粘性Burgers方程;圈地;存在;两点边值问题;不动点问题

软件：

国际实验室;RODES公司
PDF格式BibTeX公司 XML格式引用
\textit{O.Fogelklou}等人，Commun。非线性科学。数字。模拟。16，第3号，1227--1243（2011；Zbl 1221.35233）
全文： 内政部

参考文献：

[1] M.Berz。；Makino，K.，在高阶泰勒模型上使用微分代数方法验证ODE和流的集成，Reliab Compute，4，4，361-369（1998）·Zbl 0976.65061号
[2] Bressan，A.，《双曲守恒律系统》（2000），牛津大学出版社：牛津大学出版社·Zbl 0987.35105号
[3] Brenner，S。；Scott，R.，《有限元方法的数学理论》（1994），施普林格出版社：柏林施普林格·Zbl 0804.65101号
[4] Burgers，J.M.，《非线性扩散方程：渐近解和统计问题》（1974年），Reidel:Reidel Dordrecht·Zbl 0302.60048号
[5] Cole，J.D.，《关于空气动力学中出现的准线性抛物线方程》，Quart Appl Math，9，3，225-236（1951）·Zbl 0043.09902号
[6] Farzaneh R.三维向量场周期轨道存在性的计算机生成证明，康奈尔大学博士论文；1995.; Farzaneh R.三维向量场周期轨道存在性的计算机生成证明，康奈尔大学博士论文；1995
[7] Glimm，J.，某些非线性双曲方程组的大解，Communs Pure Appl Math，18，4，697-715（1965）·Zbl 0141.28902号
[8] Hopf，E.，偏微分方程\（u_t+uu_x=μ_｛xx｝\），Commun Pure Appl Math，3，3201-230（1950）·Zbl 0039.10403号
[9] 霍尔登，H。；Risebro，N.H.，《双曲守恒定律的前沿追踪》（2002），施普林格出版社：施普林格-柏林·Zbl 1006.35002号
[10] INTLAB-内部实验室，5.3版。可从以下位置获得：网址：http://www.ti3.tu-harburg.de/rump/intlab/; INTLAB-内部实验室，5.3版。可从以下位置获得：网址：http://www.ti3.tu-harburg.de/rump/intlab/
[11] H.-O.克雷斯。；Lorenz，J.，《初边值问题和Navier-Stokes方程》，《纯数学和应用数学》，第136卷（1989年），学术出版社：纽约学术出版社·Zbl 0689.35001号
[12] Kudryashov，N.A。；Sinelshchikov，D.I.，伯格层次方程的精确解，应用数学计算，215，3，1293-1300（2009）·Zbl 1176.35146号
[13] Kudryashov，N.A.，《汉堡层次结构的自相似解决方案》，应用数学计算，215，5，1990-1993（2009）·Zbl 1178.35321号
[14] Nakao，M.T.，非线性边值问题弱解存在性的数值验证方法，数学分析应用杂志，164,2489-507（1992）·兹伯利0771.65046
[15] Plum，M.，椭圆微分方程的计算机辅助封闭方法，线性代数应用，324，1-3，147-187（2001）·Zbl 0973.65100号
[16] Press，W.H.，《C++中的数字配方：科学计算的艺术》（2002），剑桥大学出版社：剑桥大学出版社·1078.65500兹罗提
[17] Siklosi，M。；奥塞恩，P.-O.，《关于证明边值问题解存在性的计算机辅助方法》，KTH-Numer Ana Comput Sci（2004）
[18] Tucker，W.，一个严格的ODE求解器和Smale的第14个问题，Found Comput Math，2，1，53-117（2002）·Zbl 1047.37012号
[19] Yamamoto，N.，利用Banach不动点定理对具有局部唯一性的边值问题解的数值验证方法，SIAM J Numer Ana，35，52004-2013（1998）·Zbl 0972.65084号
[20] Zgliczyñski，P.，《Kuramoto-Sivashinsky方程的吸引不动点：计算机辅助证明》，SIAM J Appl Dynam-Syst，1，2，215-235（2002）·Zbl 1004.35017号
[21] 兹格利钦斯基，P。；Mischaikow，K.，《偏微分方程的严格数值：Kuramoto-Sivashinsky方程》，《发现计算数学》，1255-288（2001）·Zbl 0984.65101号
[22] ∠st；sén P-O.用新的分析和数值技术证明平面Couette流的预解估计，TRITA-NA-0427，KTH；2004.; ∠标准；sén P-O.用新的分析和数值技术证明平面Couette流的预解估计，TRITA-NA-0427，KTH；2004
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。