A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow

スポンサーリンク

概要

• 論文の詳細を見る

• This short note describes a computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow. It is an application of a numerical verification technique for second-order elliptic boundary value problems introduced by a part of the authors.

著者

• Watanabe Yoshitaka

  Research Institute For Information Technology Kyushu University

• Plum Michael

  Institut Fur Analysis Universitat Karlsruhe (th)

• Nakao Mitsuhiro

  Sasebo National College of Technology

• Nagatou Kaori

  Faculty of Mathematics, Kyushu University and PRESTO, Japan Science and Technology Agency

関連論文

• Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Benard Problem
• A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations
• Computer-Assisted Proofs for Semilinear Elliptic Boundary Value Problems
• A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow
• Some remarks on the instability of approximate solutions for ODEs
• A simple numerical verification method for differential equations based on infinite dimensional sequential iteration
• An improvement of the theorem of a posteriori estimates for inverse elliptic operators

スポンサーリンク