Пред.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
§ 5. Вычисление суммы: вторая частьПереходим к последнему члену. Для каждого интеграл по прямой
Подставляя сюда формулы, определяющие
Произведем замену переменных: полагая
где Положим
и
С помощью обычной замены переменной находим
причем функция
Последний интеграл (2) можно тогда представить в виде
Функция
где Следовательно, мы не можем ни непосредственно применить формулу Планшереля, ни рассмотреть интеграл от В конце концов мы докажем существование предела
Для этого нам понадобятся некоторые результаты из функционального анализа. Условимся на будущее, что
Мы будем впредь ссылаться на книгу Шварца [13]. Рассмотрим линейное пространство тех функций на вещественной прямой, которые ограничены, непрерывны и удовлетворяют некоторому условию Липшица равномерно на всяком компактном подмножестве. Это пространство мы назовем пространством ОНЛ-функций. Линейное пространство, порожденное этими функциями и характеристическими функциями всевозможных интервалов, концы которых отличны от 0, назовем пространством почти ОНЛ-функций. Все такие функции непрерывны в нуле. Определим функционал
Разумеется, мы должны оправдать это определение. Лемма 3. На пространстве почти ОНЛ-функций описанный предел существует. Доказательство. В окрестности нуля знаменатель
ведет себя, как Начнем с рассмотрения характеристической функции интервала. Если точка 0 не лежит в этом интервале, то предел, очевидно, существует. В противном случае мы приходим к необходимости рассмотреть интеграл вида
Мы можем дифференцировать под знаком интеграла; считая для простоты, что
Поэтому Пусть теперь
стремится к некоторому пределу при Пусть теперь
откуда по линейности получаем
Сходимость последнего интеграла очевидна. Остюда следует Лемма 4. Для любой ОНЛ-функции
где С — фиксированная константа, Пользуясь этой леммой, мы можем установить некоторое свойство непрерывности функционала Лемма 5. Пусть Доказательство. Для каждого
Последовательность
по отрезкам
где Для любой ОНЛ-функции Пусть Для любой функции
Имеет место Лемма 6. Пусть Отсюда вытекает Лемма 7. Функционал
Эта функция непрерывна. Доказательство. Пусть
представлено функцией Теперь сформулируем аналог леммы 7 для почти ОНЛ-функций. Лемма 8. Пусть Доказательство. Это следует из общих свойств свертки распределений (см., например, [13], гл. VI, теорема III, § 3, и теорема XI, § 4). Следствие. Пусть
Перейдем теперь к рассмотрению некоторых специальных свойств гамма-функции. Из ее вейерштрассова разложения следует формула
(см. любой учебник). Положим
Отсюда получаем
где символом Лемма 9. Сходимость к предельной функции равномерна на каждом компактном множестве. Кроме того,
при всех Доказательство. Первое утверждение очевидно. Для доказательства второго заметим, что общий член суммы в выражении для
Пусть
Это снова дает требуемое. С этого места и до конца параграфа условимся нормализовать преобразование Фурье следующим образом. Для подходящего класса функций
Символом
а формулу обращения Фурье —
Преобразованием Фурье функции Преобразование Фурье функции
легко вычислить, интегрируя по полуокружности (верхней при
находим
Преобразование Фурье постоянной функции 1 представляет собой распределение
где
в смысле теории распределений. Доказательство. Из условия ограниченности леммы 9 следует, что предел преобразований Фурье равен преобразованию Фурье предела (воспользоваться [13], пример 3 из гл. VII, § 7). Нашей целью является доказательство следующего утверждения. Предложение 4. Пусть
Тогда число
т. е. в силу леммы Доказательство. Представление функции
определяет подобное же представление преобразования Фурье. Поэтому достаточно проверить наше утверждение отдельно для четных и нечетных функций. Функция Будем считать теперь, что Мы докажем предложение 4 для более широкого класса функций. Именно, пусть функция (1) F - четная почти ОНЛ-функция; (2) F принадлежит пространству Всякая четная функция, удовлетворяющая условиям Лемма 11. Пусть, как обычно,
Доказательство. Это следует из теории распределений и условий (1) и (2), потому что Согласно леммам 7 и 8, распределение Представим Из условия (2) тогда следует, что
где Так как произведение двух функций из
где Функции
при
сходится, подобно тому как сходится знакопеременный ряд, члены которого по абсолютной величине монотонно стремятся к нулю. Преобразование Фурье функции
можно вычислить, интегрируя отдельно
при условии, что Функция Лемма 12. Пусть
Доказательство. Пусть
равномерно (и значит, как распределение) на каждом компактном множестве, не содержащем точек Распределения Рассуждения, проведенные выше для функции С этой целью рассмотрим функционал
где
Подобно тому как мы вычислили преобразование Фурье функции Лемма 13. Преобразование Фурье функции
Собирая все слагаемые воедино, получаем Предложение 5. Последняя сумма в явной формуле имеет вид
ЛИТЕРАТУРА(см. скан)
|
1 |
Оглавление
|