744 Motooka, Nishi-ku

Fukuoka 819-0395, Japan

TEL (Office): +81-92-802-4402

FAX (Office): +81-92-802-4405

##### IMI(Institute of Mathematics for Industry)

# Publications

## MI Preprints

2017-4

Title：Submodular Function Minimization with Submodular Set Covering Constraints and Precedence Constraints

Author : Naoyuki Kamiyama

Author : Naoyuki Kamiyama

Abstract: In this paper, we consider the submodular function minimization problem with submodular set covering constraints and precedence constraints, and we prove that the algorithm of McCormick, Peis, Verschae, and Wierz for the precedence constrained covering problem can be generalized to our setting.

File：
2017-4

2017-3

Title：Pareto Stable Matchings under One-Sided Matroid Constraints

Author : Naoyuki Kamiyama

Author : Naoyuki Kamiyama

Abstract: The Pareto stability is one of solution concepts in two-sided matching markets with ties. It is known that there always exists a Pareto stable matching in the many-to-many setting. In this paper, we consider the following generalization of the Pareto stable matching problem in the many-to-many setting. Each agent v of one side has a matroid defined on the set of edges incident to v, and the set of agents assigned to v must be an independent set of this matroid. By extending the algorithm of Kamiyama for the many-to-many setting, we prove that there always exists a Pareto stable matching in this setting, and a Pareto stable matching can be found in polynomial time.

File：
2017-3

2017-2

Title：On the spectrum for the artificial compressible system

Author : Yoshiyuki Kagei, Takaaki Nishida & Yuka Teramoto

Author : Yoshiyuki Kagei, Takaaki Nishida & Yuka Teramoto

Abstract: Stability of stationary solutions of the incompressible Navier-Stokes system and the corresponding artificial compressible system is considered. Both systems have the same sets of stationary solutions and the incompressible system is obtained from the artificial compressible one in the zero limit of the artificial Mach number $\ep$ which is a singular limit. It is proved that if a stationary solution of the incompressible system is asymptotically stable and the velocity field of the stationary solution satisfies an energy-type stability criterion by variational method with admissible functions being only potential flow parts of velocity fields, then it is also stable as a solution of the artificial compressible one for sufficiently small $\ep$. The result is applied to the Taylor problem.

File：
2017-2

2017-1

Title：Gyroscopic Analogy of Coriolis Effect of Rotating Stratified Flows Confined in a Spheroid

Author : Yuki Miyachi & Yasuhide Fukumoto

Author : Yuki Miyachi & Yasuhide Fukumoto

Abstract: An insight is gained into the mechanism of system rotation for suppressing the Rayleigh-Taylor instability (RTI) by drawing analogy with the gyroscopic effect. A rotating flow of a stratified fluid confined in a spheroid, subject to gravity force, whose velocity field is linear in coordinates, is equivalent, in the Boussinesq approximation, to the motion of the Lagrange top, a heavy symmetrical rigid body. The sleeping top corresponds to the state in which a heavy fluid lies on top of a lighter fluid. Specifically, we investigate the incompressible two-layer RTI confined in the lower-half of a spheroid rotating about the axis of symmetry oriented parallel to the vertical direction. We derive the dispersion relation and the critical rotation rate for suppressing the axisymmetric mode of RTI. The gyroscopic analogy accounts for decrease of the critical rotation rate with oblateness of the spheroid. The stabilizing effect of rotation is enhanced for the half spheroid as compared with a circular cylinder of finite length.

File：
2017-1