Discrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational Science2658-46702658-7149Peoples' Friendship University of Russia named after Patrice Lumumba (RUDN University)8267Research ArticleIndex of Sobolev Problems Associated with Lie Group ActionLoshhenovaD ADepartment of Applied Mathematicsdarya.loshhenova.90@bk.ruPeoples’ Friendship University of Russia150220152111808092016Copyright © 2015,2015In relative elliptic theory or “Sobolev” problem as B. Yu. Sternin named it in his works one is required to construct a Fredholm elliptic theory and ﬁnd an index formula in the category of smooth pairs of manifolds (M,X), where X is a submanifold in M. From the point of view of (pseudo)diﬀerential equations the Sobolev problem deals with the comparison Du ≡ f(modX), where D is a pseudodiﬀerential operator, while the sign “ ≡” means that the left and right hand sides are equal modulo distributions supported on X. Obviously, if the dimension of the submanifold is greater than one, the comparison written above does not deﬁne a Fredholm operator, since its kernel is inﬁnite-dimensional. It turns out, that if we add to the comparison some operators B deﬁned on X, which are related by an algebraic condition (of coercitivity type) with operator D, then the obtained operator (D,B) is already Fredholm in appropriate Sobolev spaces. Remarkably, this condition can be formulated invariantly as an ellipticity condition of some operator, which is induced by the problem on the submanifold X. Hence, the ellipticity conditions of operators D and (D,B) together give us a Fredholm operator. This theorem and the corresponding index formula were proved by B.Yu. Sternin. Note that all operators appearing in this theory are pseudodiﬀerential. In particular, (D,B) is a pseudodiﬀerential operator, meanwhile, this enabled one to deﬁne its ellipticity. We have a quite diﬀerent situation, if the manifold M is endowed with an additional structure, for example, if it carries a Lie group action. In this case, (D,B) is in general no longer a pseudodiﬀerential operator and, hence, the question of its ellipticity, formally speaking, can not even be rised. However, in our work, under certain conditions, we can examine the resulting operator (D,B), deﬁne its symbol and prove its Fredholm property. Moreover, we give an index formula in this more general situation. This is the subject of this work.elliptic operatorsSobolev problemsindexﬁxed points of Lie group actionoperators concentrated at a pointэллиптические операторызадачи Соболеваиндекснеподвижные точки действия группы Лиоператорысосредоточенные в точке