!ссылки, которые нужно проверить через универ

http://www.springerlink.com/content/p72202v8496wx674/ --

Composition operators in weighted Sobolev spaces on Carnot groups

Alexander Ukhlov (эту статью скачал)

Теперь, понадобилась ссыла [10]: About homeomorphisms that induce composition operators on Sobolev spaces

оригинал пока не нашёл, но есть нечто похожее в архиве : http://arxiv.org/pdf/0903.3677

Продолжение доказательства теоремы ??

Без малого год. И всё там же. Доказано, только неравенство Пуанкаре в специальной форме.

Продолжение доказательства теоремы -3.

В очередной раз Сергей Константинович обнаружил ошибку в наших с ним рассуждениях. Мы упустили, что phi*f не обязательно непрерывна при непрерывной f. Поэтому потребуется проводить более тонкие рассуждения. Но в целом идея работает, остаётся расширить понятие ёмкости.