Sobolev embeddings, of arbitrary order, are considered into function spaces on domains of R n endowed with measures whose decay on balls is dominated by a power d of their radius. Norms in arbitrary rearrangementinvariant spaces are contemplated. A comprehensive approach is proposed based on the reduction of the relevant n-dimensional embeddings to one-dimensional Hardy-type inequalities. Interestingly, the latter inequalities depend on the involved measure only through the power d. Our results allow for the detection of the optimal target space in Sobolev embeddings, for broad families of norms, in situations where customary techniques do not apply. In particular, new embeddings, with augmented target spaces, are deduced even for standard Sobolev spaces.
RésuméOn considère des immersions de Sobolev d'ordre quelconque dans des espaces de fonctions sur des domaines de R n munis des mesures avec une tendance dans les boules qui est dominée par une puissance d du rayon. Des normes dans les espaces arbitraires invariants par réarrangements sont permises. Nous proposons une approche général basée sur la réduction des immersions en dimension nà des inégalités du type Hardy en dimension un. On souligne que ces inégalités dépendent de la mesure considérée seulement par le degré de puissance d. Notre résultat permets de détecter l'espace cible optimal dans les immersions de Sobolev, pour une large famille de normes dans des cas où le techniques habituelles ne s'appliquent pas. En particulier on déduit des nouvelles immersions avec espaces cible augmentés même dans le cas d'espace de Sobolev standard.Mathematics Subject Classification: 46E35, 46E30.holds for some constant C 2 and every f ∈ X(0, 1). The same characterization applies to any domain Ω with |Ω| < ∞, provided that the space W m X(Ω) is replaced with W m 0 X(Ω). This special case was earlier obtained, via a different approach, in [33]. Reduction principles for Sobolev type inequalities, for different kinds of norms or domains, are the subject of [3,29,30,31]. Compactness of Sobolev embeddings is characterized via reduction principles in [10,49].New results. In the present paper we abandon the point of view of linking Sobolev to isoperimetric inequalities, and pursue the approach to a wider family of Sobolev inequalities, via reduction principles, from a different perspective. A basic version of the inequalities that will be considered, called Sobolev trace inequalities in a broad sense, has the form u Y (Ω,µ) ≤ C ∇ m u X(Ω)