Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Лабораторная работа - Организация расчетов в системе Maple. Часть 2

.pdf
Скачиваний:
68
Добавлен:
14.04.2015
Размер:
2.44 Mб
Скачать

Лабораторная работа № 11. СТЕПЕННЫЕ РЯДЫ

Цель работы

Изучение теоретических основ работы со степенными рядами.

Получение навыков по работе со степенными рядами в программе Maple.

Получение навыков по расчету интегралов с помощью степенных рядов.

Оценка влияния количества членов ряда на точность расчетов.

Функции Maple, полезные при выполнении лабораторной работы

Для разложения функции в ряд в Maple предусмотрена функция "series". Формат вызова "series" следующий:

series(expr, eqn);

Здесь "expr" – выражение, которое необходимо разложить в ряд (может быть прописано как внутри вызова данной функции, так и описано заранее);

"eqn" – условие разложения, записывается в виде "имя переменной = значение" (например, условие х = 2 соответствует случаю разложению в ряд по степеням х – 2). Заметим, что при разложении по степеням х условие можно записывать просто в виде имени переменной, по которой производится разложение.

По умолчанию ряд выдается в виде полинома 5-ой степени. Остаточная погрешность обозначается в виде О(х6), либо в виде О((х – х0)6), если разложение проводится

51

по степеням (х – х0). При необходимости число членов ряда в разложении можно изменить. Для этого нужно либо присвоить новое значение системной переменной "Order" (что приведет к изменению количества членов ряда в разложении по умолчанию во всех дальнейших вычислениях), либо воспользоваться расширенным форматом вызова функции "series":

series(expr, eqn, n);

Здесь "n" соответствует числу членов ряда, требуемых при разложении.

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

Для разложения в ряд Тейлора используется функция "taylor", параметры вызова которой абсолютно аналогичны параметрам функции "series". При этом также сохраняются все особенности работы, присущие функции

"series".

Функция "type" позволяет проверить, является ли полученное разложение в степенной ряд рядом Тейлора.

Для функции нескольких переменных разложение в ряд Тейлора можно получить с помощью функции "mtaylor". Для использования этой функции необходимо подключить соответствующую библиотеку с помощью функции "readlib". Основное отличие "mtaylor" от "taylor"

состоит в том, что задается не одно условие разложения, а

52

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

Задание на лабораторную работу

1.Изучите необходимые теоретические сведения

[2, с. 119–147].

Выберите один из вариантов задания из табл. 11.1.

2.Получите аналитическое разложение выбранной функции в ряд Тейлора в точке х0 (в разложении ограничьтесь первыми 8 членами ряда) без использования Maple. Реализуйте нахождение ряда в Maple, не пользуясь функциями "series" и "taylor" (см. пример в [2, с. 143]). Сравните свои данные и результат, полученный с помощью Maple.

3.Разложите выбранную функцию с помощью функций "series" и "taylor" с использованием 8 членов ряда. Сравните результаты, сделайте выводы.

4.Покажите исходную функцию и ее разложение в ряд Тейлора с числом членов, равным n, на одном графике на отрезке [a, b] (n и [a, b] – из табл. 11.1).

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

6.Опытным путем определите, какое минимальное число членов ряда Тейлора необходимо взять, чтобы максимальная относительная ошибка (по модулю) аппроксимации функции с помощью этого ряда на заданном отрезке [a, b] не превышала допустимую.

7.Получите значение заданного интеграла с заданной точностью eps1 (см. табл. 11.2) с помощью степенного ряда аналитическим путем без использования системы

53

Maple. Проверьте полученный результат с помощью

Maple.

8.Найдите число членов ряда, необходимых при вычислении интеграла (см. пример в [2, с. 136]) с заданной точностью eps2. Определите значение интеграла в Maple с использованием функции "evalf", сравните со своими данными, сделайте вывод.

9.Оформите отчет по лабораторной работе.

Таблица 11.1. Задания к теме "Степенные ряды" (часть 1)

Функция

x0

n

[a, b]

Максималь-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ная погреш-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ность, %

1

3 sin x2

 

30

( /2; 3 /2)

1

2

arc sin x2

0,5

5

(0,2;

0,5)

1

3

1/(x 1)

2

5

(0; 4,5)

0,5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

2 cos x

 

5

(0; 2 )

0,5

5

 

x3e

x2

1,5

5

(1; 2,5)

0,1

 

2

 

 

 

6

2x ln(1 2x)

2

3

(1;

4)

0,1

 

 

 

 

 

 

 

 

 

 

 

 

 

7

l n(0,5x)e x

2

4

(1;

3)

0,1

8

1 sin2 x

 

13

( /2; 2 )

0,2

 

 

 

 

x2

 

 

 

 

 

 

9

 

e 2 1

 

1

5

(0,1; 2)

0,1

 

 

 

 

x2

 

 

 

 

 

10

arccos(2x 1)

0,75

3

(0,5;

0,9)

0,05

 

 

 

 

 

 

 

 

11

sinh(0,3x2 1)

2

9

(0,5; 4)

0,1

12

tg2 (0, 2x)

 

5

(0; 2 )

1

13

1

1 cos x2

2

7

(1;

3)

0,05

 

 

 

x4

 

 

 

 

 

 

 

 

 

 

 

14

cosh(0,1x3 )

2

5

(1;

3)

0,05

54

Окончание табл. 11.1

 

Функция

 

 

x0

 

n

 

 

[a, b]

 

Максималь-

 

 

 

 

 

 

 

 

 

 

 

 

 

ная погреш-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ность, %

15

 

l n(0,1x2 )x3

 

2

 

4

 

(0,5; 3)

 

 

0,05

16

 

ctg2 (0,1x)

 

 

/2

 

5

 

( /4; 3 /4)

 

1

17

 

arcsin(0, 2ln x)

 

3

 

5

 

 

(1; 6)

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18

 

sin e x2

 

1,5

 

10

 

(0,2; 2,5)

 

0,5

19

 

arc tg(5x3 )

 

0,5

 

5

 

(0,3; 0,7)

 

0,1

20

 

ln(x / 2)

 

5

 

3

 

 

(2; 8)

 

 

0,05

 

 

 

 

 

 

 

 

 

 

 

 

Таблица

11.2. Задание на

лабораторную

работу "Степенные ряды"

(часть 2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подынтегральная

 

 

 

Пределы

 

 

eps1

 

eps2

 

 

функция

 

интегрирования

 

 

 

 

 

1

 

e 2x2

 

 

(0; 3)

 

 

 

0,5

 

0,001

2

 

sin(3x) / x

 

 

 

(0; )

 

 

 

0,05

 

0,001

 

 

 

 

 

 

 

 

 

 

 

 

3

 

cos(x) / 2x

 

 

 

( /2; )

 

 

0,1

 

0,02

 

 

 

 

 

 

 

 

 

 

 

 

4

 

sin 0, 5x2

 

 

(3; 4)

 

 

 

0,005

 

0,00001

 

 

 

 

 

 

 

 

 

 

 

 

5

 

cos 3x2

 

 

 

(0; /2)

 

 

0,05

 

0,001

 

 

 

 

 

 

 

 

 

 

 

 

6

 

e 0,3x2

 

 

(0; 4)

 

 

 

0,01

 

0,0001

7

 

sin(3x) /(2x)

 

 

(0; 4)

 

 

 

0,2

 

0,0001

 

 

 

 

 

 

 

 

 

 

 

 

8

 

cos(8x) / x

 

 

 

( /4; /2)

 

 

0,005

 

0,00001

 

 

 

 

 

 

 

 

 

 

 

9

 

sin x4

 

 

(–/2; /2)

 

 

0,25

 

0,01

 

 

 

 

 

 

 

 

 

 

 

10

 

cos x4

 

 

(–/2; /2)

 

 

0,25

 

0,01

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

e x4

 

 

 

(–1; 1)

 

 

 

0,1

 

0,001

12

 

sin(0, 2x) / x

 

 

 

(0; 2 )

 

 

 

0,001

 

0,000001

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

55

Окончание табл. 11.2

Подынтегральная

Пределы

eps1

eps2

 

функция

интегрирования

 

 

13

cos(x) / 2x

( ; 2 )

0,001

0,000001

 

 

 

 

 

14

sin x2

( /2; )

0,01

0,000001

 

 

 

 

 

15

cos 1, 5x2

(0; 3 /4)

0,1

0,0001

 

 

 

 

 

16

e 2x2

(0; 1,5)

0,01

0,00001

17

sin(x) / x

(–; )

0,05

0,00001

 

 

 

 

 

18

cos(x) / x

( /4; 3 /4)

0,01

0,00001

 

 

 

 

 

19

sin x2

( /4; 3 /4)

0,02

0,0001

 

 

 

 

 

20

cos x2

( /4; /2)

0,01

0,000001

 

 

 

 

 

Контрольные вопросы

1.В чем состоит определение области сходимости функционального ряда (приведите примеры рядов с различными областями сходимости)?

2.Какой ряд называется равномерно сходящимся?

3.В чем состоит признак Вейерштрасса абсолютной и равномерной сходимости рядов?

4.Каковы основные свойства равномерно сходящихся рядов?

5.В чем состоит доказательство теоремы Абеля

осходимости степенных рядов?

6.Как вывести формулу для вычисления радиуса области сходимости степенного ряда?

7.Каковы условия разложимости функции в ряд

Тейлора?

56

8.Разложите функцию y = cos x в степенной ряд. Как с помощью остаточного члена доказать сходимость полученного ряда к данной функции?

9.Разложите функцию y = еx в степенной ряд. Как с помощью остаточного члена доказать сходимость полученного ряда к данной функции?

10.Как найти промежуток сходимости степенного ряда для функции у = 1 + х?

11.В чем состоит теорема об интегрировании

степенных рядов (покажите на примере функции y = arctg x)?

12.В чем состоит теорема о дифференцировании степенных рядов? Как с ее помощью получить разложение

вряд для функции y = sin x?

13.Как оценить точность вычисления суммы знакочередующегося ряда?

14.В чем состоит метод приближенного вычисления определенных интегралов с помощью рядов?

15.Как применить степенные ряды для приближенного интегрирования дифференциальных уравнений?

16.Какая функция Maple предназначена для разложения функции в ряд? Как повлиять на количество членов

вразложении?

17.Как избавиться от остаточного члена в полученном разложении в ряд?

18.В чем отличие функций "series" и " taylor"?

19.Как в Maple найти значение интеграла с заданной точностью с помощью степенного ряда?

20.Как в Maple изобразить на одной плоскости график исходной функции и ее разложения в степенной ряд?

57

Лабораторная работа № 12. РЯДЫ ФУРЬЕ

Цель работы

Изучение теоретических основ работы с рядами Фурье.

Получение навыков по работе с рядами Фурье в программе Maple.

Оценка влияния количества членов ряда на точность расчетов.

Задание на лабораторную работу

1.При выполнении лабораторной работы необходимо учитывать, что в Maple отсутствуют стандартные средства для нахождения коэффициентов разложения функции в ряд Фурье. Перед выполнением лабораторной работы необходимо изучить теоретические сведения о рядах Фурье [2, с. 152–179].

Выберите один из вариантов задания из табл. 12.1.

2.Получите аналитическое разложение выбранной

функции в ряд Фурье с заданным полупериодом l без использования системы Maple (если это возможно – при невозможности получения значений коэффициентов приве-

дите соответствующую причину).

 

3. С

помощью

процедуры

"FUR_symb"

(см. [2, с. 177]) попытайтесь получить общий вид ряда Фурье для выбранной функции. Сравните свои данные и результат, полученный с помощью Maple.

4. Получите разложение функции в ряд Фурье в Maple, в разложении ограничьтесь первыми n членами ряда (см. пример в [2, с. 159]).

58

5.Проанализируйте выбранную функцию с точки зрения четности/нечетности, напишите для нее процедуру нахождения частичной суммы ряда Фурье (аналог проце-

дур "FUR", "FUR_chet" или "FUR_nechet" – см. [2, с. 164– 166 и 169]).

6.Покажите на одном графике исходную функцию

иее разложение в ряд Фурье с максимальным номером коэффициентов, равным значению n из табл. 12.1.

7.Убедитесь, что при увеличении числа коэффициентов ряда частичная сумма ряда Фурье все лучше и лучше соответствует исходной функции. Совместите на одном графике разложения функции в ряд Фурье с разным количеством членов.

8.Постройте график абсолютной ошибки аппрок-

симации функции с помощью ряда Фурье в диапазоне (–d· l ; d· l ). Найдите значение количества коэффициентов ряда, которые нужно учесть в частичной сумме, чтобы абсолютная погрешность в рассматриваемом диапазоне не превышала максимальное значение из табл. 12.1.

Примечание: если исходная функция имеет точки разрыва внутри рассматриваемого диапазона, то рассмотрите несколько диапазонов, исключив по (1–d)/2 % не только с концов, но и вокруг точек разрыва.

9. Выполните анимацию для своей функции и ее представления рядом Фурье с увеличением числа членов ряда по аналогии с примером в [2, с. 172].

10.Оформите отчет по лабораторной работе.

59

Таблица 12.1. Задания к теме "Ряды Фурье"

Функция

 

l

 

n

d

Максималь-

 

 

 

 

 

 

 

 

 

ная погреш-

 

 

 

 

 

 

 

 

 

ность

1

x2 sin2 x

 

4

5

0,97

0,2

2

 

(x 3)2

 

2

5

0,95

1

 

2 ,

х

0;

 

 

 

 

 

3

f (x)

 

х

 

6

0,95

1

 

3, 0

 

 

 

 

 

 

4

 

tg x

 

 

5

0,97

0,2

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

2x + 5

 

3

7

0,97

0,5

 

 

 

 

 

 

 

 

 

 

7 ,

2 х

0;

 

 

 

 

 

6

f (x)

 

х 2

 

2

5

0,95

0,75

 

3, 0

 

 

 

 

 

 

7

(2x 2)4

 

1

5

0,5

1

 

 

 

 

 

 

 

 

 

2 , 2 х

0;

 

 

 

 

 

8

f (x)

 

х 2

4

4

0,95

0,2

 

1, 0

 

 

 

 

 

9

 

(x 1)2

 

2

5

0,8

0,5

 

 

 

 

 

 

 

 

 

10

 

(x 7)2

 

3

5

0,97

0,5

 

 

1,

0 х 1;

 

 

 

 

 

11

f (x)

 

 

 

5

 

5

0,9

0,5

2, 1 х 3;

 

 

 

3, 3 х 5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,

0 х 2;

 

 

 

 

 

12

f (x)

 

2 х 3;

5

 

7

0,95

0,2

2,

 

 

 

3,

3 х 5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

13

 

3х +1

 

3

 

7

0,97

0,5

 

 

 

 

 

 

 

 

 

 

60