A Reverse Hölder Inequality for Extremal Sobolev Functions

Let n ≥ 2, let Ω ⊂ ℝⁿ be a bounded domain with C¹ (Formula Presented) boundary, and let 1≤p< (Formula Presented) (simply p ≥ 1 if n = 2). The well-known Sobolev imbedding theorem and Rellich compactness implies that (Formula Presented) is a finite, positive number, and the infimum is achieved by a nontrivial extremal function u, which one can assume is positive inside Ω. We prove that, for 1≤p ≤ 2 and for every q>p, there exists K=K(n,p,q,Cp(Ω))>0$K= K(n, p, q, (Formula Presented) such that ∥u∥_{Lp (Ω)} ≥ K∥u∥_{Lq (Ω)}. This inequality, which reverses the classical Hölder inequality, mirrors results of G. Chiti for the first Dirichlet eigenfunction of the Laplacian and of M. van den Berg for the torsion function.