Ряд Фурье для произвольного интервала.

Разложение периодической функции с периодом L.

Периодическая функция f(x) повторяется при увеличении х на L, т.е. f(x+L)=f(x). Переход от рассмотренных ранее функций с периодом 2π к функциям с периодом L довольно прост, поскольку его можно осуществить с помощью замены переменной.

Чтобы найти ряд Фурье функции f(x) в диапазоне -L/2≤x≤L/2, введем новую переменную u таким образом, чтобы функция f(x) имела период 2π относительно u. Если u=2πх/L, то х=-L/2 при u=-π и х=L/2 при u=π. Также пусть f(x)=f(Lu/2π)=F(u). Ряд Фурье F(u) имеет вид

Ряд Фурье для произвольного интервала. - student2.ru

Где коэффициенты ряда Фурье,

Ряд Фурье для произвольного интервала. - student2.ru

Однако чаще приведенную выше формулу приводят к зависимости от х. Поскольку u=2πх/L, значит, du=(2π/L)dx, а пределы интегрирования - от -L/2 до L/2 вместо - π до π. Следовательно, ряд Фурье для зависимости от х имеет вид

Ряд Фурье для произвольного интервала. - student2.ru

Где в диапазоне от -L/2 до L/2 коэффициенты ряда Фурье,

Ряд Фурье для произвольного интервала. - student2.ru

(Пределы интегрирования могут быть заменены на любой интервал длиной L, например, от 0 до L)

Ряд Фурье на полупериоде для функций, заданных в интервале L≠2π.

Для подстановки u=πх/L интервал от х=0 до х=L соответствует интервалу от u=0 до u=π. Следовательно, функцию можно разложить в ряд только по косинусам или только по синусам, т.е. в ряд Фурье на полупериоде.

Разложение по косинусам в диапазоне от 0 до L имеет вид

Ряд Фурье для произвольного интервала. - student2.ru

5.Дифференциальные уравнения первого порядка,основные понятия.

Дифференциальным называют уравнение, из которого требуется определить искомую функцию и которое содержит не только эту функцию, но и ее производные или дифференциалы.

Если неизвестная функция является функцией одной переменной, то такое уравнение называют обыкновенным дифференциальным уравнением.

Пример 1. Ряд Фурье для произвольного интервала. - student2.ru

Если неизвестная функция является функцией нескольких переменных, то такое уравнение называют уравнением в частных производных.

Пример. Ряд Фурье для произвольного интервала. - student2.ru

Порядком дифференциального уравнения называют наивысший порядок содержащихся в нем производных.

Пример 2. Ряд Фурье для произвольного интервала. - student2.ru дифференциальное уравнение Ряд Фурье для произвольного интервала. - student2.ru -го порядка.

Решением дифференциального уравнения называют функцию Ряд Фурье для произвольного интервала. - student2.ru , дифференцируемую по крайней мере Ряд Фурье для произвольного интервала. - student2.ru раз, обращающую его при подстановке в уравнение в тождество.

Отыскание всех решений и описание их свойств является основными задачами теории дифференциальных уравнений. Процесс отыскания решений называют интегрированием этого уравнения.

Пример 3.

Найти все решения дифференциального уравнения Ряд Фурье для произвольного интервала. - student2.ru .

Интегрируя, получим Ряд Фурье для произвольного интервала. - student2.ru .

Общим решением дифференциального уравнения называют решение, которое существенно зависит от произвольной постоянной с. Общее решение, полученное в неявном виде называется общим интегралом дифференциального уравнения.

y = - cos x +c – общее решение.

y + cos x = с – общий интеграл.

Решение дифференциального уравнения, которое получается из общего решения при фиксированном значении постоянной c , называют частным решением.

Пусть М(0,2), с= 2+ сos(0); с = 3. y = -cos x + 3 – частное решение, то есть мы выделяем кривую, которая проходит через точку (0,2).

Кривые y = - cos x +c называются интегральными кривыми дифференциального уравнения Ряд Фурье для произвольного интервала. - student2.ru .

Уравнение вида F(x,y, Ряд Фурье для произвольного интервала. - student2.ru )=0 (1) называется дифференциальным уравнением первого порядка.

Задача Коши для дифференциального уравнения первого порядказаключается в отыскании решения уравнения (1), удовлетворяющего начальному условию Ряд Фурье для произвольного интервала. - student2.ru . Геометрически это означает определение интегральной кривой, проходящей через точку Ряд Фурье для произвольного интервала. - student2.ru .

Теорема Пикара. Если в уравнении Ряд Фурье для произвольного интервала. - student2.ru функция Ряд Фурье для произвольного интервала. - student2.ru определена и непрерывна в окрестности точки Ряд Фурье для произвольного интервала. - student2.ru и, кроме того, имеет частную производную Ряд Фурье для произвольного интервала. - student2.ru , то задача Коши имеет единственное решение, являющееся дифференцируемой функцией. Если в точке Ряд Фурье для произвольного интервала. - student2.ru условия теоремы Пикара нарушаются, то задача Коши может иметь несколько решений или не иметь их вовсе. В первом случае через точку Ряд Фурье для произвольного интервала. - student2.ru проходит несколько интегральных кривых. Точки, в которых происходит нарушение условий теоремы Пикара, называют особыми. Дополнительные решения задачи Коши, возникающие при этом, также называют особыми.

Кратные интегралы.

Двойные интегралы

Определение двойного интеграла и критерий интегрируемости

Определение двойного интеграла:

Мы будем рассматривать функции Ряд Фурье для произвольного интервала. - student2.ru , определённые на квадрируемом (то есть имеющем площадь) множестве Ряд Фурье для произвольного интервала. - student2.ru . Практически всегда представляет собой фигуру, ограниченную кусочно-гладкой кривой, или конечное объединение таких фигур. Далее, говоря о квадрируемом множестве, мы ограничиваемся рассмотрением именно таких множеств.

Если вспомнить теорию определённого интеграла, то мы начали её изложение с понятия разбиения Ряд Фурье для произвольного интервала. - student2.ru отрезка Ряд Фурье для произвольного интервала. - student2.ru . По аналогии, определим разбиение квадрируемого множества , как представление множества в виде объединения конечного числа квадрируемых частей, Ряд Фурье для произвольного интервала. - student2.ru .

Ряд Фурье для произвольного интервала. - student2.ru

Можно считать, что разбиение на части Ряд Фурье для произвольного интервала. - student2.ru также осуществляется с помощью спрямляемых(т.е. имеющих длину) кривых, то есть все также являются фигурами с кусочно-гладкими границами, либо конечными объединениями таких фигур.

В одномерном случае мы рассматривали длины частей разбиения Ряд Фурье для произвольного интервала. - student2.ru . В двумерном случае обобщением понятия длины Ряд Фурье для произвольного интервала. - student2.ru будет площадь . Однако нам потребуется также понятие диаметра множества Ряд Фурье для произвольного интервала. - student2.ru . Эта величина определяется, как точная верхняя грань расстояний между точками множества . В частности, если – круг, то Ряд Фурье для произвольного интервала. - student2.ru – это как раз длина диаметра круга в обычном смысле. В общем понятие диаметра множества поясняет рисунок:

Ряд Фурье для произвольного интервала. - student2.ru

Ясно, что если Ряд Фурье для произвольного интервала. - student2.ru невелик, то и площадь также невелика, поскольку неравенство Ряд Фурье для произвольного интервала. - student2.ru означает, что содержится некотором в круге радиуса Ряд Фурье для произвольного интервала. - student2.ru и имеет площадь не больше, чем Ряд Фурье для произвольного интервала. - student2.ru .

Ряд Фурье для произвольного интервала. - student2.ru

Действительно, возьмём произвольную точку множества в качестве центра этого круга. Так как , остальные точки лежат внутри круга.

Однако площадь множества может быть невелика, а достаточно велик. Пример – очень тонкий прямоугольник.

Ряд Фурье для произвольного интервала. - student2.ru

Определим диаметр Ряд Фурье для произвольного интервала. - student2.ru разбиения T как наибольший из диаметров частей этого разбиения. Далее, как и в одномерном случае, выберем точки Ряд Фурье для произвольного интервала. - student2.ru (было: Ряд Фурье для произвольного интервала. - student2.ru ).Пусть Ряд Фурье для произвольного интервала. - student2.ru имеет координаты Ряд Фурье для произвольного интервала. - student2.ru . Важную роль в дальнейшем будет играть понятие интегральной суммы, определяемой равенством Ряд Фурье для произвольного интервала. - student2.ru . Так же, как и в одномерном случае, эта величина имеет простой геометрический смысл. Вспомним, что сумма Ряд Фурье для произвольного интервала. - student2.ru представляла собой площадь ступенчатой фигуры вида:

Ряд Фурье для произвольного интервала. - student2.ru

(для простоты считаем, что Ряд Фурье для произвольного интервала. - student2.ru ).

Напомним, что объём цилиндра с основанием, имеющим площадь Ряд Фурье для произвольного интервала. - student2.ru и с высотой Ряд Фурье для произвольного интервала. - student2.ru равен Ряд Фурье для произвольного интервала. - student2.ru . Поэтому интегральная сумма Ряд Фурье для произвольного интервала. - student2.ru равна объёму тела, состоящего из цилиндров с высотой Ряд Фурье для произвольного интервала. - student2.ru (для простоты считаем, что Ряд Фурье для произвольного интервала. - student2.ru ) и основаниями Ряд Фурье для произвольного интервала. - student2.ru .

Перейдём к основному определению.

Определение.Пусть Ряд Фурье для произвольного интервала. - student2.ru - ограниченная на квадрируемом множестве функция. Пусть Ряд Фурье для произвольного интервала. - student2.ru . Если

Ряд Фурье для произвольного интервала. - student2.ru Ряд Фурье для произвольного интервала. - student2.ru Ряд Фурье для произвольного интервала. - student2.ru Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru , (1)

то будем говорить, что f – интегрируемая на функция и что число Ряд Фурье для произвольного интервала. - student2.ru является её интеграломна этом множестве. Используется обозначение Ряд Фурье для произвольного интервала. - student2.ru .

Иногда используют обозначение Ряд Фурье для произвольного интервала. - student2.ru .

Замечание.Это определение несколько отличается от определения обычного определённого интеграла, в котором отсутствовало требование ограниченности функции Ряд Фурье для произвольного интервала. - student2.ru . Дело в том, что для обычного определённого интеграла из выполнения условия (1) следовало необходимое условие интегрируемости: если Ряд Фурье для произвольного интервала. - student2.ru интегрируема на , то ограничена на .

Для двойного интеграла из выполнения условия (1) не следует, что функция ограничена. Это условие, например, заведомо выполняется для любой определённой на множестве функции, если множество имеет равную нулю площадь. Для того, чтобы у двойного интеграла сохранились все важные свойства определённого интеграла и добавлено требование ограниченности функции.

Критерий интегрируемости

Критерий существования определённого интеграла Ряд Фурье для произвольного интервала. - student2.ru формулировался в терминах сумм Дарбу, т.е. сумм вида Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru , где Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru , то есть Ряд Фурье для произвольного интервала. - student2.ru - нижняя грань, а Ряд Фурье для произвольного интервала. - student2.ru - верхняя грань значений при Ряд Фурье для произвольного интервала. - student2.ru .

Рассуждая аналогично, рассмотрим для ограниченной на квадрируемом множестве функции Ряд Фурье для произвольного интервала. - student2.ru числа Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru (эти числа существуют ввиду предполагаемой ограниченности функции на и, значит, на всех. Определим суммы Дарбу равенствами Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru . Эти величины представляют собой объемы тел, состоящих из цилиндров с основаниями и высотами, соответственно, Ряд Фурье для произвольного интервала. - student2.ru и Ряд Фурье для произвольного интервала. - student2.ru . Ясно, что для любого разбиения при любом выборе точек Ряд Фурье для произвольного интервала. - student2.ru выполнены неравенства между суммами Дарбу и интегральной суммой, соответствующей этому выбору точек: Ряд Фурье для произвольного интервала. - student2.ru .

На рисунке изображены тела, объёмы которых равны суммам Дарбу.

Нижняя сумма Дарбу Верхняя сумма Дарбу

Вполне аналогично одномерному случаю можно доказать критерий существования двойного интеграла.

Теорема 1.1.Ограниченная на квадрируемом множестве функция интегрируема тогда и только тогда, когда Ряд Фурье для произвольного интервала. - student2.ru

(На экзамене ограничиваемся формулировкой).

Из этого критерия следует теорема.

Теорема1.2.Если функция непрерывна на квадрируемом множестве , то интегрируема на этом множестве.

(На экзамене достаточно формулировки).

Свойства двойных интегралов

Свойство 1. Если Ряд Фурье для произвольного интервала. - student2.ru - интегрируемые на квадрируемом множестве функции, а Ряд Фурье для произвольного интервала. - student2.ru числа, то

Ряд Фурье для произвольного интервала. - student2.ru .

Иными словами, интеграл - линейный функционал.

Свойство 2. Если Ряд Фурье для произвольного интервала. - student2.ru - интегрируема на объединении квадрируемых множеств Ряд Фурье для произвольного интервала. - student2.ru , то

Ряд Фурье для произвольного интервала. - student2.ru ,

причем если площадь пересечения Ряд Фурье для произвольного интервала. - student2.ru равна 0, то Ряд Фурье для произвольного интервала. - student2.ru . (Аддитивность интеграла по множеству).

Свойство 3.Если- интегрируемая на квадрируемом множествефункция и Ряд Фурье для произвольного интервала. - student2.ru , то Ряд Фурье для произвольного интервала. - student2.ru .

Свойство 4.Если - интегрируемые на квадрируемом множестве функции и Ряд Фурье для произвольного интервала. - student2.ru , то Ряд Фурье для произвольного интервала. - student2.ru .

Свойство5.Если- интегрируемая на квадрируемом множествефункция , причем Ряд Фурье для произвольного интервала. - student2.ru .

Свойство 6.Если- интегрируемая на квадрируемом множествефункция , то функция Ряд Фурье для произвольного интервала. - student2.ru – также интегрируемая, причем Ряд Фурье для произвольного интервала. - student2.ru где т, М ограничивающие множество значений функции числа, товыполняются неравенства Ряд Фурье для произвольного интервала. - student2.ru ,

т.е.существует число Ряд Фурье для произвольного интервала. - student2.ru , удовлетворяющее неравенствам Ряд Фурье для произвольного интервала. - student2.ru для которого

Ряд Фурье для произвольного интервала. - student2.ru .

Если, кроме того, множество – связное* и- непрерывна на нём,то существует точка Ряд Фурье для произвольного интервала. - student2.ru , для которой

Ряд Фурье для произвольного интервала. - student2.ru .

Доказывать эти свойства мы не будем, поскольку их доказательства вполне аналогичны доказательствам свойств обычного интеграла.

В конце п.1.2. отмечено, что если -непрерывная на множестве функция, то - интегрируема на . Свойство 2 позволяет утверждать, что если имеет разрывы налишь вдоль конечного числа спрямляемых линий, разбивающихна квадрируемые области, то - интегрируема на , т.к., по свойству 2, интеграл по есть просто сумма конечного числа интегралов по полученным частям (на которых непрерывна и, значит, интегрируема).

*Примечание.Связным множеством на плоскости назовем такое множество, любые две точки которого можно соединить кусочно-гладкой кривой, лежащей в этом множестве.

Ряд Фурье для произвольного интервала. - student2.ru 3. Вычисление двойного интеграла сведением к повторному интегралу

Двойной интеграл – новый объект и мы укажем способ его вычисления сведением к повторному вычислению определённого интеграла. Сначала рассмотрим двойной интеграл по прямоугольной области Ряд Фурье для произвольного интервала. - student2.ru стороны которой параллельны осям координат.

Теорема 1.3.Пусть для функции Ряд Фурье для произвольного интервала. - student2.ru существует двойной интеграл Ряд Фурье для произвольного интервала. - student2.ru по области Ряд Фурье для произвольного интервала. - student2.ru . Кроме того, пусть для любого Ряд Фурье для произвольного интервала. - student2.ru существует Ряд Фурье для произвольного интервала. - student2.ru .

Тогда существует и интеграл, называемый повторным:

Ряд Фурье для произвольного интервала. - student2.ru

и выполняется равенство

Ряд Фурье для произвольного интервала. - student2.ru (2)

►Разобьём прямоугольник на прямоугольники, обозначенные Ряд Фурье для произвольного интервала. - student2.ru , прямыми, проходящими параллельно оси Ряд Фурье для произвольного интервала. - student2.ru через точки Ряд Фурье для произвольного интервала. - student2.ru и прямыми, параллельными оси Ряд Фурье для произвольного интервала. - student2.ru и проходящими через точки Ряд Фурье для произвольного интервала. - student2.ru Таким образом, Ряд Фурье для произвольного интервала. - student2.ru

Пусть Ряд Фурье для произвольного интервала. - student2.ru , числа Ряд Фурье для произвольного интервала. - student2.ru и Ряд Фурье для произвольного интервала. - student2.ru , соответственно, равны нижней и верхней граням функции Ряд Фурье для произвольного интервала. - student2.ru на Ряд Фурье для произвольного интервала. - student2.ru откуда Ряд Фурье для произвольного интервала. - student2.ru Проинтегрируем эти неравенства по на отрезках Ряд Фурье для произвольного интервала. - student2.ru :

Ряд Фурье для произвольного интервала. - student2.ru

Суммируя эти неравенства по Ряд Фурье для произвольного интервала. - student2.ru от Ряд Фурье для произвольного интервала. - student2.ru до Ряд Фурье для произвольного интервала. - student2.ru , получаем

Ряд Фурье для произвольного интервала. - student2.ru

Умножим все части этих неравенств на Ряд Фурье для произвольного интервала. - student2.ru и суммируем полученные неравенства по Ряд Фурье для произвольного интервала. - student2.ru от Ряд Фурье для произвольного интервала. - student2.ru до Ряд Фурье для произвольного интервала. - student2.ru :

Ряд Фурье для произвольного интервала. - student2.ru .

Поскольку Ряд Фурье для произвольного интервала. - student2.ru , эти неравенства можно переписать в виде

Ряд Фурье для произвольного интервала. - student2.ru

или

Ряд Фурье для произвольного интервала. - student2.ru ,

где – разбиение на прямоугольники Ряд Фурье для произвольного интервала. - student2.ru При Ряд Фурье для произвольного интервала. - student2.ru стремится к нулю и величина Ряд Фурье для произвольного интервала. - student2.ru . Кроме того, при также Ряд Фурье для произвольного интервала. - student2.ru . Значит, интеграл Ряд Фурье для произвольного интервала. - student2.ru существует и равен , что и утверждалось.◄

Замечания.

  1. В случае, когда непрерывна навсе условия теоремы выполняются и равенство (2) справедливо.
  2. Отметим, что интеграл Ряд Фурье для произвольного интервала. - student2.ru представляет собой собственный интеграл, зависящий от параметра.

Рассмотрим случай криволинейной трапеции. Справедлива такая теорема:

Теорема 1.4 (Фубини).Пусть область задана неравенствами Ряд Фурье для произвольного интервала. - student2.ru Ряд Фурье для произвольного интервала. - student2.ru , где Ряд Фурье для произвольного интервала. - student2.ru . Пусть существует Ряд Фурье для произвольного интервала. - student2.ru и для любого существует Ряд Фурье для произвольного интервала. - student2.ru . Тогда существует интеграл Ряд Фурье для произвольного интервала. - student2.ru и он равен .

►Так как Ряд Фурье для произвольного интервала. - student2.ru непрерывна на Ряд Фурье для произвольного интервала. - student2.ru , существует её минимальное значение Ряд Фурье для произвольного интервала. - student2.ru на этом отрезке. Аналогично, существует максимальное значение Ряд Фурье для произвольного интервала. - student2.ru функции Ряд Фурье для произвольного интервала. - student2.ru на отрезке Ряд Фурье для произвольного интервала. - student2.ru в прямоугольник Ряд Фурье для произвольного интервала. - student2.ru , состоящий из точек Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru . На этом прямоугольнике рассмотрим функцию

Ряд Фурье для произвольного интервала. - student2.ru

Условия предыдущей теоремы для функции Ряд Фурье для произвольного интервала. - student2.ru выполнены. Она интегрируема в , равна 0 (и, значит, интегрируема) в Ряд Фурье для произвольного интервала. - student2.ru . Следовательно, она интегрируема на всём множестве . При этом

Ряд Фурье для произвольного интервала. - student2.ru .

Наконец, для любого Ряд Фурье для произвольного интервала. - student2.ru выполнено равенство

Ряд Фурье для произвольного интервала. - student2.ru .

По доказанному в предыдущей теореме,

Ряд Фурье для произвольного интервала. - student2.ru ,

Ряд Фурье для произвольного интервала. - student2.ru

откуда сразу получаем:

Ряд Фурье для произвольного интервала. - student2.ru ,

что и требовалось доказать.◄

Следствие: Пусть Ряд Фурье для произвольного интервала. - student2.ru ) непрерывна в области , ограниченной сверху графиком функции Ряд Фурье для произвольного интервала. - student2.ru , снизу - , где , a по бокам - отрезками вертикальных прямых х = а и х = b. Тогда

Ряд Фурье для произвольного интервала. - student2.ru .

►Из непрерывности Ряд Фурье для произвольного интервала. - student2.ru сразу следует её интегрируемость на . Кроме того, для любого Ряд Фурье для произвольного интервала. - student2.ru функция непрерывна (а, значит, интегрируема по у). Все условия теоремы выполнены. ◄

Замечание. Если область можно ограничить так:
Ряд Фурье для произвольного интервала. - student2.ru Ряд Фурье для произвольного интервала. - student2.ru , Ряд Фурье для произвольного интервала. - student2.ru , то

Ряд Фурье для произвольного интервала. - student2.ru .

Смысл этих теорем ясен – указан способ сведения двойного интеграла к собственным интегралам, зависящим от параметра.

Наши рекомендации