Zariski F-decomposition and Lagrangian fibration on hyperk\"ahler manifolds

For a compact hyperk\"ahler manifold X, we show certain Zariski decomposition for every pseudo-effective R-divisor, and give a sufficient condition for X to be bimeromorphic to a (holomorphic) Lagrangian fibration. We also prove that any sequence of D-flops between projective hyperk\"ahler manifolds terminates after finite steps.