Existence of a time periodic solution for the compressible Euler equation with a time periodic outer force. (June 2020)

• Record Type: Journal Article
• Authors: Tsuge, Naoki
• Is Part Of: Nonlinear analysis. Volume 53(2020)
• Publication Date: 2020-06
• Subjects: The compressible Euler equation -- A time periodic outer force -- The compensated compactness -- A time periodic solution -- The modified Lax–Friedrichs scheme -- The fixed point theorem; Nonlinear functional analysis -- Periodicals; Analyse fonctionnelle non linéaire -- Périodiques; Nonlinear functional analysis; Periodicals; 515.7248
• DOI: 10.1016/j.nonrwa.2019.103080
• Languages: English
• ISSNs: 1468-1218

Abstract

Abstract: We are concerned with a time periodic supersonic flow through a bounded interval. This motion is described by the compressible Euler equation with a time periodic outer force. Our goal in this paper is to prove the existence of a time periodic solution. Although this is a fundamental problem for other equations, it has not been received much attention for the system of conservation laws until now. When we prove the existence of the time periodic solution, we face with two problems. One is to prove that initial data and the corresponding solutions after one period are contained in the same bounded set. To overcome this, we employ the generalized invariant region, which depends on the space variables. This enable us to investigate the behavior of solutions in detail. Second is to construct a continuous map. We apply a fixed point theorem to the map from initial data to solutions after one period. Then, the map needs to be continuous. To construct this, we introduce the modified Lax–Friedrichs scheme, which has a recurrence formula consisting of discretized approximate solutions. The formula yields the desired map. Moreover, the invariant region grantees that it maps a compact convex set to itself. In virtue of the fixed point theorem, we can prove a existence of a fixed point, which represents a time periodic solution. Finally, we apply the compensated compactness framework to prove the convergence of our approximate solutions.