УДК 519.216, 519.866
НЕОБХОДИМОЕ УСЛОВИЕ ВЛОЖЕНИЯ ПРОСТРАНСТВА ПОТЕНЦИАЛОВ В ПЕРЕСТАНОВОЧНО ИНВАРИАНТНОЕ ПРОСТРАНСТВО
© О.М.Гусельникова
Ключевые слова: потенциалы типа Бесселя, потенциалы типа Рисса, пространства Лоренца, перестановочно-инвариантные пространства, оптимальные вложения, убывающие перестановки.
Исследовано пространство потенциалов Ы^(МП), построенное с помощью сверток для ядер О € ^1(М") и функций ] из перестановочно инвариантного пространства Е(Мп). Доказана теорема о вложении множества функций с ограниченным спектром в пространство потенциалов. При дополнительных условиях на гладкость преобразования Фурье ядер доказано аналогичное утверждение без использования алгебры Винера преобразований Фурье функций из Ь1(Жп). Получено необходимое условие вложения пространства потенциалов в перестановочно инвариантное пространство X (Мп). С использованием необходимого условия найдено перестановочно инвариантное пространство оптимальное по вложению ядер О из пространства ¿1(Мп) П Е'(Кп).
Хорошо известна роль, которую играют классические потенциалы типа Бесселя в теории функциональных пространств и в ее приложениях к теории дифференциальных уравнений с частными производными. В данной работе строится обобщение классической теории потенциалов.
Вместо классических ядер Бесселя-Макдональда мы будем рассматривать ядра G £ L\(Wn). Вместо базового пространства Lp(Rn) берем более общее банахово перестановочно инвариантное пространство (ПИП) E(Rn) (при работе с ПИП мы будем пользоваться аксиоматикой, введенной К. Беннеттом и Р. Шарпли в книге [1]).
На основе ПИП E(Rn) и ядер указанного вида построим пространство потенциалов:
Hg(Rn) = {и = G * f, f £ E(Rn) j.
Будем исследовать задачу о вложении H*g(Rn) в ПИП X(Rn). При рассмотрении этой задачи возникают следующие ключевые вопросы:
1) найти необходимые и достаточные условия вложения;
2) для данных E и G найти перестановочно инвариантную оболочку (самое узкое ПИП, в которое вложено пространство потенциалов).
Определение. Множеством функций с ограниченным спектром называется:
M^(Rn) = {g £ E(Rn) : supp Fg С Bv}, где Bv = [—v,v]n, Fg - преобразование Фурье:
Fg(£) = 2 i e г(х&g(x)dx.
Предлагается следующая теорема о вложении множества функций с ограниченным спектром в пространство потенциалов.
Теорема 1. Если G(x) Є Lp(Rn) и f G(x)dx = 0, то существует такое v > 0,
Rn
что
M^E(Mn) С Hg(Rn).
При доказательстве данной теоремы возник вопрос об обратимости преобразований Фурье абсолютно интегрируемых функций, который был решен двумя способами, первый из которых дает следующее
П р едложение 1. Пусть А Є A, А({) =0, { Є Br, ц Є A, supp ц С Br , где Br = {Є Є Rn : \Ç\< R,R> 0}; A - алгебра Винера преобразований Фурье интегрируемых функций (с поточечным сложением и умножением):
A = {А(0 = (2n)-n/2|e-^g(x)dx,Ç Є Rn : g Є Li(Rn)}, ЦАУ^ = Мь^).
Тогда
ЦєА.
X
В случае, когда преобразования Фурье обладают достаточной гладкостью, вопрос об обратимости преобразований Фурье удалось решить прямыми рассуждениями и вычислениями.
Схема доказательства теоремы 1.
Для элемента и из пространства функций с ограниченным спектром М^е^”) используем его представление в виде свертки:
U(x) = * U)(x) = У yß(x - y)U(y)dy,
где ^>Дх) = Г-1(ц) € S(Rra),^({) € С0?(Б2„),К0 = 1>£ € Б3^/2■ Учитывая результат предложения 1, получаем, что и может быть представлена в виде свертки функции / из перестановочно инвариантного пространства с ядром О : и (х) = О * /■ Для доказательства принадлежности и пространству потенциалов Н^^”) используем неравенство Миньков-ского и тот факт, что любой линейный оператор, ограниченный из ¿1^”) в Ь\) и из Ьж(Ж”) в Ьж(Ж”) , является ограниченным из перестановочно инвариантного пространства Е^”) в Е^”) . При помощи этих утверждений получаем оценку нормы функции и в пространстве потенциалов Н^^”) через нормы и в Е^”) и свертки функции / * О в ¿1^”). Эта оценка эквивалентна вложению множества функций с ограниченным спектром в перестановочно инвариантное пространство.
Для получения условий вложения пространства потенциалов в перестановочно инвариантное пространство воспользуемся следующим утверждением, полученным Берколай-ко М.З. и Овчинниковым В.И. [2].
Теорема 2. Пусть X (К”),Е ^”) - перестановочно инвариантные пространства. Тогда
М^Е^”) с X^”) ^ П Е^”) С X).
Теперь сформулируем необходимое условие вложения пространства потенциалов в перестановочно инвариантное пространство.
Т еоремаЗ. Пусть X ^”),Е ^”) - перестановочно инвариантные пространства. Тогда для вложения пространства потенциалов Н*^^”) в ПИП X^”) необходимо, чтобы
Ьх П Е^”) С X^”).
Действительно, если пространство потенциалов Н^^”) вложено в перестановочно инвариантное пространство X^”) , то по теореме 1:
Зи> 0 : М*,е^”) С X^”),
и, используя теорему 2, получим обоснование вложения в теореме З.
Рассмотрим ядра О € Ь1(Ж”) П Е'(Ж”), где Е'(Ж”) — ассоциированное пространство. Если р функциональная норма, тогда ассоциированная норма р определяется следующим образом:
р'(д) = вир{ J /дйр : / € Ш+,р(/) < 1},
К"
где д € Ы+, - множество измеримых функций / : R” ^ [0, то]. В данном случае уда-
лось решить задачу об оптимальном вложении, т.е найдена перестановочно инвариантная оболочка (самое "узкое" перестановочно инвариантное пространство, в которое вложено пространство потенциалов).
Теорема 4. Xo(R”) = Ь^” )ПЕ ^”) является оптимальным ПИП для вложения
Н^”) С X^”).
Это означает, что:
1. При X^”) = X0(R”) выполнено Н^”) С X(R”),
2. Если Н^^”) С X^”) для некоторого ПИП X^”), то X0(R”) С X^”).
Доказательство. С помощью обобщенного неравенства Миньковского
11° * /11е(К") < 11ОУь1(К") ' \\/IІE(R™),
неравенства Гёльдера
11О */\\ь^(в«) < Но11е'(К") ' \\/Ие(К") и, учитывая, что О € Ь1(R”) П Е'(Ж”), имеем:
Н^”) С Ь^№”) П E(Rn),
т.е. Н^”) С Xo (Rn)■
Если оптимальное вложение выполнено для некоторого X^”), тогда по необходимому условию (теорема 3) получим:
Н^”) С X^”) ^ Ьте(Rn) П Е^”) С X^”) ^ X0(Rn) С X^”).
ЛИТЕРАТУРА
1 . Bennett C. and Sharpley R. Interpolation of operators // Pure and Applied Mathematics 129.
Academic Press, Boston, MA, 1988.
2 . Берколайко М.З., Овчинников В.И. Неравенства для целых функций экспоненциального ти-
па в симметричных пространствах // Исследования по теории дифференцируемых функций многих переменных и ее приложениям. Ч. 9. Сборник статей. Тр. МИАН СССР. 1983. Т. 161. С. 3-17.
БЛАГОДАРНОСТИ: Работа выполнена при поддержке РФФИ (проект № 09-01-00093), Аналитической ведомственной целевой программы «Развитие научного потенциала высшей школы» (проект № 2.1.1/2775).
Поступила в редакцию 14 апреля 2011 г.
Guselnikova O.M. Necessary condition for the embedding of the space of potentials into rearrangement invariant space. We study space of potentials H^(Rn) constructed on the basis of functions f from rearrangement invariant spaces E(Rn) by means of convolutions with kernels G G Li(R”) . We prove theorem about embedding of set of functions with bounded spectrum into space of potentials. Considering additional conditions on smoothness of Fourier transformation for kernels we get analogical statement without applying Wiener algebra for Fourier transformation for functions of L1(Rn) space. We establish necessary condition for embedding of space of potentials into rearrangement invariant space X (Rn). Considering necessary condition we find rearrangement invariant space which is optimal for embedding of kernels G from space L1(Rn) П E'(Rn).
Key words: Bessel potentials, Riesz potentials, Lorentz spaces, rearrangement invariant spaces, optimal embeddings, decreasing rearrangement.
Гусельникова Ольга Михайловна, Российский университет дружбы народов, г. Москва, Российская Федерация, аспирант кафедры нелинейного анализа и оптимизации, e-mail: [email protected]