On John and Nirenberg's theorem (Q2640834)

Author's inroduction: ``A well-known theorem by John and Nirenberg states that for a function f in \(BMO({\mathbb{R}}^ n)\) with \(\| f\|_{BMO}=K\) we have for every cube Q with sides parallel to the axes: \[ (1)\quad | \{x\in Q:\;| f(x)-a_ Q| >\sigma \}| \leq c_ 1e^{-c_ 2\sigma K^{-1}}| Q|. \] The constant \(c_ 2\) which is obtained normally is of the form \(2^{-cn}\). John and Nirenberg claim that the constant \(c_ 2\) can be improved to be of the order \(\frac{\log n}{n}\) \((c_ 1\) is an absolute constant). In this paper we introduce the more general notion of a false cube and an associated BMO-norm \(\| f\| '_{BMO}\). We will show that (1) is true with this norm for all false cubes Q with a constant \(c_ 2\) which then is independent of n (Theorem 1). We also will show (Theorem 2) that the quotient of \(\| f\| '_{BMO}\) and \(\| f\|_{BMO}\) is at most of order \(\sqrt{n}\), which means that we can improve \(c_ 2\) in (1) to the order of \(n^{-1/2}\) and at the same time allow Q to be any false cube.''