Weighted mixed-norm inequality on Doob’s maximal operator and John–Nirenberg inequalities in Banach function spaces

We prove a weighted mixed-norm inequality for the Doob maximal operator on a filtered measure space. We also give some characterizations of martingale BMO spaces in the setting of Banach function spaces. The main method is based on the technique of extrapolation on martingale Banach spaces.