Abstract
Let F=F(v1,…,vm) smooth on (R0+)m with Fvivj≥0 for i≠j. Furthermore, let u1,…,um nonnegative and bounded functions on Rn with compact support. We prove the inequality ∫RnF(u1,⋯,um)dx≤∫RnF(u1∗,⋯,um∗)dx, where ∗ denotes symmetric decreasing rearrangement.