Пробные функции и распределения
[27/0%]Пусть — комплексная непрерывная функция в с компактным носителем. Докажите, что равномерно на , для некоторого и некоторой последовательности многочленов.
Покажите, что метризуемая топология для , отвергнутая в разделе 6.2, не полна ни для какого .
Если — произвольное замкнутое подмножество , покажите, что существует , такая что для каждого и для каждого другого .
Пусть и всякий раз, когда и . Докажите, что тогда — положительная мера в (конечная на компактных множествах).
Докажите, что числа в формуле Лейбница равны
Пусть . Сходится ли ряд
для каждой ?
Пусть открыто в , пусть , и пусть все имеют носители в некотором фиксированном компакте . Докажите, что последовательность не может сходиться в , если только порядки не ограничены. Указание: используйте теорему Банаха–Штейнгауза.
Можно ли опустить предположение о носителях в (b)?
Пусть . Определим
Докажите, что — распределение бесконечного порядка в . Докажите, что нельзя продолжить до распределения в ; то есть не существует , такого что на .
Охарактеризуйте все распределения, носители которых являются конечными множествами.
Докажите, что множество ограничено тогда и только тогда, когда
для каждого .
Пусть — последовательность в , такая что — ограниченная числовая последовательность для каждого . Докажите, что некоторая подпоследовательность сходится в топологии .
Пусть — последовательность в , такая что ограничена для каждой . Докажите, что некоторая подпоследовательность сходится в , и что сходимость равномерна на каждом ограниченном подмножестве . Указание: по теореме Банаха–Штейнгауза, ограничения на равностепенно непрерывны. Примените теорему Асколи.
Пусть — последовательность локально интегрируемых функций в (открытом множестве в ), и
для каждого компакта . Докажите, что тогда в , при , для каждого мультииндекса .
Пусть открыто в , и — последовательность гармонических функций в , сходящаяся в смысле распределений к некоторому ; точнее, предполагается, что
Докажите, что тогда сходится равномерно на каждом компактном подмножестве , и что — гармоническая функция. Указание: если гармонична, то есть среднее значение по малым окружностям с центром в .
Вспомните, что (мера Дирака) — это распределение, определённое формулой , для . Для каких верно, что ? Ответьте на тот же вопрос для . Заключите, что функция может обращаться в нуль на носителе распределения , хотя .
Если и , влечёт ли одно из утверждений
другое?
Пусть — замкнутый единичный шар в имеет носитель в , и обращается в нуль на . Докажите, что . Найдите другие множества , для которых это верно. (Сравните с упражнением 12).
Пусть компактно, и открыты в имеет носитель в , и удовлетворяет
для каждого мультииндекса . Докажите, что тогда
Предыдущее утверждение становится неверным, если заменить на в условии (a). Покажите это с помощью следующего примера, в котором . Выберем , такие что ; определим
и рассмотрим функции , такие что если если . Покажите также, что это является распределением порядка 1.
Однако для некоторых можно заменить на в условии (a) упражнения 15. Покажите, что это так, когда — замкнутый единичный шар . Найдите другие множества , для которых это верно.
Если имеет порядок , покажите, что , для некоторой непрерывной функции . Если , каковы возможности для ?.
Выразите в виде, данном теоремой 6.27, настолько явно, насколько сможете.
Пусть , и для каждого в носителе и для каждого мультииндекса . Докажите, что . Указание: сделайте это сначала для распределений с компактным носителем, методом, использованным в теореме 6.25.
Докажите, что каждый непрерывный линейный функционал на имеет вид , где — распределение с компактным носителем в ; это обратное утверждение к теоремы 6.24.
Пусть — пространство всех бесконечно дифференцируемых комплексных функций на единичной окружности в . Можно рассматривать как подпространство , состоящее из функций, имеющих период . Пусть
сходится в открытом единичном круге в . Докажите, что каждое из следующих трёх свойств влечёт два других:
Существуют и , такие что
Существуют и , такие что
существует (как комплексное число) для каждой .
Для покажите, что
при . (Производную , таким образом, всё ещё можно рассматривать как предел частных).
Пусть — последовательность локально интегрируемых функций в , такая что
существует для каждой и каждого . Докажите, что тогда сходится равномерно на компактных множествах, для каждого мультииндекса .
Пусть — функция Хевисайда на , определённая формулой
и пусть — мера Дирака.
Покажите, что , если .
Покажите, что .
Покажите, что . (Здесь 1 обозначает локально интегрируемую функцию, значение которой равно 1 в каждой точке и которая рассматривается как распределение).
Отсюда следует, что ассоциативный закон нарушается:
но
Вот ещё одна характеризация свёрток, аналогичная теореме 6.33. Пусть — непрерывное линейное отображение в , коммутирующее с каждым , то есть (a)
Тогда существует , такое что
Указание: зафиксируем , положим
пусть — направленная производная, использованная в доказательстве теоремы 6.30, и покажите, что
что равно 0, если выполняется (a). Таким образом, , откуда следует, что . Можно ли ослабить предположение о том, что область значений лежит в ?
Если для каждого , определим его интеграл в смысле главного значения как
если предел существует. Для положим
Покажите, что
Найдите все распределения , удовлетворяющие хотя бы одному из следующих двух условий:
для каждого ,
для каждого с .