A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity

被引：0
作者：
Oswald Fogelklou
Warwick Tucker
Gunilla Kreiss
机构：
[1] Uppsala University,Department of Mathematics
[2] Uppsala University,Department of Information Technology
来源：
Nonlinear Differential Equations and Applications NoDEA | 2012年 / 19卷
关键词：
65L10; 65G20; 34B15; 47H10; Computer-assisted proof; Numerical verification; Euler equations; Enclosure; Existence; Boundary value problems; Fixed-point problems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We establish the existence and local uniqueness of traveling wave solutions to the one-dimensional Euler equations with artificial viscosity. The equations are expressed as a fixed-point problem, which is solved by a computer-assisted method based on Yamamoto’s application of the Banach fixed-point theorem.
引用
收藏
页码：97 / 131
页数：34
相关论文
共 10 条
  • [1] Bernot M.(2009)Generalized solutions for the Euler equations in one and two dimensions J. Math. Pures Appl. 91 137-155
  • [2] Figalli A.(1934)Sur le mouvement d’un liquide visqueux emplissant l’espace Acta Math. 63 193-248
  • [3] Santambrogio F.(2001)Rigorous numerics for partial differential equations: the Kuramoto–Sivashinsky equation Found. Comput. Math. 1 255-288
  • [4] Leray J.(1996)Existence of weak solutions of 2-D Euler equations with initial vorticity Acta Math. Appl. Sinica 12 121-129
  • [5] Mischaikow K.(1992)Numerical experiments in 1-D Euler equations using higher order schemes Aeronaut. Soc. India 44 233-243
  • [6] Zgliczyński P.(1998)Mathematical problems for the next century Math. Intell. 20 7-15
  • [7] Quansen J.(1998)A numerical verification method for solutions of boundary value problems with local uniqueness by banach’s fixed point theorem SIAM J. Numer. Anal. 35 2004-2013
  • [8] Ravichandran K.S.(undefined)undefined undefined undefined undefined-undefined
  • [9] Smale S.(undefined)undefined undefined undefined undefined-undefined
  • [10] Yamamoto N.(undefined)undefined undefined undefined undefined-undefined
1