12 citations · 25 across the 10 of their papers we have counts for
10 papers
Chiral Composite Asymmetric Dark Matter
Masahiro Ibe, Shin Kobayashi, Keiichi Watanabe
The asymmetric dark matter (ADM) scenario solves the baryon-dark matter coincidence problem when the dark matter (DM) mass is of GeV. Composite ADM models based on…
Local well-posedness of incompressible viscous fluids in bounded cylinders with -contact angle
Keiichi Watanabe
We consider a free boundary problem of the Navier--Stokes equations in the three-dimensional Euclidean space with moving contact line, where the 90-contact angle condition…
Global existence of the Navier-Stokes-Korteweg equations with a non-decreasing pressure in -framework
Keiichi Watanabe
We consider the isentropic Navier-Stokes-Korteweg equations with a non-decreasing pressure on the whole space , where the system describes the motion of c…
The Navier--Stokes equations in exterior Lipschitz domains: -theory
Patrick Tolksdorf, Keiichi Watanabe
We show that the Stokes operator defined on for an exterior Lipschitz domain admits maximal regularity provided that s…
Global solvability of compressible-incompressible two-phase flows with phase transitions in bounded domains
Keiichi Watanabe
Consider a free boundary problem of compressible-incompressible two-phase flows with surface tension and phase transition in bounded domains …
Strong solutions to compressible-incompressible two-phase flows with phase transitions
Keiichi Watanabe
We consider a free boundary problem of compressible-incompressible two-phase flows with phase transitions in general domains of -dimensional Euclidean space (e.g. whole space; h…
Higher-Order Program Verification via HFL Model Checking
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe
There are two kinds of higher-order extensions of model checking: HORS model checking and HFL model checking. Whilst the former has been applied to automated verification of higher…
Compressible-incompressible two-phase flows with phase transition: model problem
Keiichi Watanabe
We study the compressible and incompressible two-phase flows separated by a sharp interface with a phase transition and a surface tension. In particular, we consider the problem in…
A fundamental inequality between products of
Keiichi Watanabe
We will show certain functional inequalities between some products of .
Integrally closed ideals in two-dimensional regular local rings are multiplier ideals
Joseph Lipman, Keiichi Watanabe
There has arisen in recent years a substantial theory of "multiplier ideals'' in commutative rings. These are integrally closed ideals with properties that lend themselves to highl…