Ridged Domains, Embedding Theorems and Poincaré Inequalities

Abstract

We study the embeddings E : W(X(Ω), Y(Ω)) ↪ Z(Ω), where X(Ω), Y(Ω) and Z(Ω) are rearrangement–invariant Banach function spaces (BFS) defined on a generalized ridged domain Ω, and W denotes a first–order Sobolev–type space. We obtain two–sided estimates for the measure of non–compactness of E when Z(Ω) = X(Ω) and, in turn, necessary and sufficient conditions for a Poincaré–type inequality to be valid and also for E to be compact. The results are used to analyse the example of a trumpet–shaped domain Ω in Lorentz spaces. We consider the problem of determining the range of possible target spaces Z(Ω), in which case we prove that the problem is equivalent to an analogue on the generalized ridge Γ of Ω. The range of target spaces Z(Ω) is determined amongst a scale of (weighted) Lebesgue spaces for “rooms and passages” and trumpet–shaped domains.