  Non-uniform structures of mixed phases at the first-order phase transition to
charged kaon condensation are studied using a density functional theory within
the relativistic mean field model. Including electric field effects and
applying the Gibbs conditions in a proper way, we numerically determine density
profiles of nucleons, electrons and condensed kaons. Importance of charge
screening effects is elucidated and thereby we show that the Maxwell
construction is effectively justified. Surface effect is also studied to figure
out its effect on the density profiles.
