On the influence of parameters determining anisotropic spaces of smooth functions on characteristics of the embedding theorems

Abstract

An anisotropic Sobolev and Nikol'skii-Besov space on a domain G is determined by its integro-differential (shortly, ID) parameters. On the other hand, the geometry of G is characterized by the set Λ(G) of all vectors λ=(λ₁,..., λ_n) such that G satisfies the λ-horn condition. We study the dependence of the totality of possible embeddings upon the set Λ(G) and theID-parameters of the space. We consider only embeddings with q≥pⁱ, where pⁱ are the integral parameters of the space and q is the integral embedding parameter. For a given space, we introduce its initial matrix A₀ determined by theID-parameters. A₀ turns out to be a Z-matrix. On the basis of a natural classification of Z-matrices, a classification of anisotropic spaces is introduced. This classification allows one to restate the existence of an embedding with q≥pⁱ in terms of certain specific properties of A₀. Let A₀ be a nondegenerate M-matrix. Any vector λ∈Λ(G) gives rise to a certain set of admissible values of the embedding parameters. We call λ optimal if this set is the largest possible. It turns out that the optimal vector λ ^*_G is determined by Λ(G) and A₀, and may be found by a linear optimization procedure. The following cases are possible: a)$\lambda _G^* = \lambda _{E^n }^*$, b)$\lambda _G^* \ne \lambda _{E^n }^*$, c) λ ^*_G does not exist. In case a) the set of admissible values of the embedding parameters is the biggest, while in case c) no embeddings with q≥pⁱ exist. In case b) the so-called saturation phenomenon occurs, i.e., certain variations of some differential parameters of the space do not change the set of admissible values of the embedding parameters. The latter fact has some applications to the problem of extension of all functions belonging to the given space from G to Eⁿ. Bibliography: 20 titles.