Density functional theory for freezing transition of interlayer Josephson vortex line liquid

The freezing transition of interlayer Josephson vortex line liquid into lattice is studied in terms of the density functional theory for crystallization. The interplay between intervortex repulsion and layer pinning in presence of thermal fluctuations is analyzed. The enhancement of melting temperature by the layer pinning at high magnetic fields is revealed clearly where anisotropy scaling is broken. In certain regime of magnetic field a smectic phase is stabilized by strong layer pinning. The freezing of vortex liquid is then two-step, a second-order liquid-smectic transition and a first-order smectic-lattice transition. B-T phase diagrams for typical high-Tc cuprates will be presented.