In mathematical analysis, Trudinger's theorem or the Trudinger inequality (also sometimes called the Moser–Trudinger inequality) is a result of functional analysis on Sobolev spaces.
It is named after Neil Trudinger (and Jürgen Moser).
It provides an inequality between a certain Sobolev space norm and an Orlicz space norm of a function.
The inequality is a limiting case of Sobolev imbedding and can be stated as the following theorem: Let
satisfying the cone condition.