Вы находитесь на странице: 1из 32

Министерство транспорта Российской Федерации Федеральное агентство железнодорожного транспорта ГОУ ВПО «Дальневосточный государственный университет путей сообщения»

Кафедра «Прикладная математика»

Е.Н. Мурая

ДИФФЕРЕНЦИРОВАНИЕ ФУНКЦИЙ В СИСТЕМЕ КОМПЬЮТЕРНОЙ МАТЕМАТИКИ MAPLE

Методические указания

Хабаровск

Издательство ДВГУПС

2008

УДК 004.9:51(075.8) ББК 3 973 2 – 018. 2я 73 М 911

Рецензент:

Кандидат физико-математических наук, доцент кафедры «Прикладная математика» Дальневосточного государственного университета путей сообщения С.В. Коломийцева

М 911

Мурая, Е. Н. Дифференцирование функций в системе компьютерной мате- матики Maple : метод. указания / Е. Н. Мурая. – Хабаровск :

Изд-во ДВГУПС, 2008. – 32 с. : ил.

Указания соответствуют государственному образовательному стандар- ту высшего профессионального образования направления дипломирован- ных специалистов Электроэнергетического института. Представляет собой практическое руководство по изучению возможно- стей пакета аналитических вычислений Maple. Подробные теоретические сведения чередуются с практическими заданиями. Последовательное изу- чение тем и выполнение заданий позволят шаг за шагом освоить основ- ные приемы работы в математической системе Maple. Методические указания предназначены для студентов первого и второ- го курсов, изучающих дисциплину «Математическое моделирование сис- тем и процессов», а также может быть полезно студентам других институ- тов университета при изучении темы «Дифференцирование функций» в курсе «Математика».

Отпечатано с авторского оригинала

УДК 004.9:51(075.8) ББК 3 973 2 – 018. 2я 73

© ГОУ ВПО «Дальневосточный государственный университет путей сообщения» (ДВГУПС), 2008

ВВЕДЕНИЕ

Данное пособие представляет собой практическое руководство по изу- чению возможностей пакета аналитических вычислений Maple. Пособие предназначено в первую очередь для обучения студентов ре- шению математических задач темы «Дифференцирование функций» на персональном компьютере при помощи Maple. Задачи и упражнения, при- веденные в качестве примеров и практических заданий, соответствуют программам по курсу общей математики для студентов технических, есте- ственнонаучных и социально-психологических специальностей вуза. Каждый раздел пособия содержит теоретическую часть с описанием изучаемых команд Maple; практические задания с подробным пошаговым описанием действий команд Maple на конкретных примерах по математи- ке; контрольные задания с задачами и упражнениями для самостоятельно- го выполнения студентами.

1. ОПРЕДЕЛЕНИЕ ПРОИЗВОДНОЙ. ПРАВИЛА ДИФФЕРЕНЦИРОВАНИЯ. ТАБЛИЦА ПРОИЗВОДНЫХ

Определение 1. Производной функции f ( x ) в точке x называется

f

¢

( x )

=

lim

D

x

Æ0

f ( x

+ D

x )

-

f ( x )

D

x

.

Из определения 1 следуют правила дифференцирования:

1. (u( x )

±

v( x ))

¢ = u¢( x ) ± v¢( x )

;

2. (

a

u( x ))

¢

= a u¢(

x ),

где a = const ;

3. (u( x )

4.

5.

v( x )

˜

˜

¯

¢

v( x ))

=

¢ = u¢( x )v( x ) + v¢(

¢

x )u( x )

;

Ê u( x ) ˆ

Á

Á

Ë

(f (g( x ))) = f ¢(g( x )) g¢( x )

u ( x )v( x )

-

¢

v ( x )u( x )

где v( x ) 0 ;

¢

v

2

( x )

;

,

6.

(

f

-

1

( x )

) ¢

=

1 f ¢ ( y )
1
f
¢
( y )

y

= f

- 1

( x )

,

-1

здесь f ( x ) функция, обратная f ( x ).

На основании определения производной и формул 1)– 6) вычисляются производные некоторых элементарных функций:

7. ( c )¢ = 0, где c = const ;

8. (

a

x

) ¢

=

a

9. (a )

x

¢

= a

x

x

a-1

ln a

, a = const ;

при a > 0,a 1; в частности, ( )

e

x

¢

10. (

¢

¢

¢

=

)

1

;

; в частности, (

x

x ln a

11. (sin x) = cos x

12. (cos x) = - sin x

log

a

(

)

¢

=

 

1

 

;

   

2

;

 

cos

 

x

ctg x

)

¢

= -

 

1

 

2

 
 

sin

 

x

(

;

13. tg x

14.

ln x

)

¢

=

1

x

;

15.

(

arcsin x

)

¢

= -

(

arccos x

)

¢

=

1

2 1 - x
2
1 -
x

;

16.

(

arctg x

)

¢

= -

17. (sh x) = ch x

¢

(

;

arcctg x

)

¢

=

1

1 + x

2

;

= e

x

;

18. (ch x) = sh x

¢

;

19.

(

th x

)

¢

=

1

ch

2

x

;

20. (

cth x

)

¢

=

1

sh

2

x

.

1.1. Дифференцирование с помощью пакета

В Maple для некоторых математических операций существует по две команды: одна прямого, а другая отложенного исполнения. Имена ко- манд состоят из одинаковых букв за исключением первой: команды прямо- го исполнения начинаются со строчной буквы, а команды отложенного ис- полнения с заглавной. После обращения к команде отложенного дейст- вия математические операции (интеграл, предел, производная и т. д.) вы- водятся на экран в виде стандартной аналитической записи этой опера- ции. Вычисление в этом случае сразу не производится. Команда прямого исполнения выдает результат сразу. Для вычисления производных в Maple имеются две команды:

1) прямого исполнения diff(f,x), где f функция, которую следует про- дифференцировать, х имя переменной, по которой производится диф- ференцирование; 2) отложенного исполнения Diff(f,x), где параметры команды такие же, как и в предыдущей. Действие этой команды сводится к аналитической

. После выполнения дифференцирова-

записи производной в виде

ния полученное выражение желательно упростить. Для этого следует ис- пользовать команды simplify, factor или expand, в зависимости от того, в каком виде вам нужен результат.

x

f(x)

2 3

x

.

Пример 1. Вычислить y¢ , для

Решение:

1. Загружаем команду очистки памяти рабочего документа

>

y = 5

restart;

2. Вычисляем производную функции

y = 5

2 3

x

производную функции y = 5 2 3 x 3. Упростим полученное выражение

3. Упростим полученное выражение командой simplify

> simplify ( % );

> simplify ( % ); Здесь использовались формулы 5) и 9). y ¢ = 5 2

Здесь использовались формулы 5) и 9).

y

¢ =

5

2

3

x

ln 5

2

3

x

2

3

x

2

3

3

x

3

x

.

-

Ответ:

Пример 2. Вычислить производную функции f ( x ) sin 2x cos 2x

ln 2

3

x

ln 3

=

(ln 2 ln 3ln 5 )5

=

3

> restart :

> Diff(sin(2*x)^3-cos(2*x)^3,x)= diff(sin(2*x)^3-cos(2*x)^3,x);

diff(sin(2*x)^3-cos(2*x)^3,x); > simplify ( % ); Здесь

> simplify ( % );

diff(sin(2*x)^3-cos(2*x)^3,x); > simplify ( % ); Здесь использовались формулы 1),

Здесь использовались формулы 1), 5), 11) и 12). Ответ:

f

'

( x )

=

6

sin

2

2

x cos

2

x

+

6

2

cos

2

x sin

2

x

1.2. Приемы дифференцирования

=

6

sin

2

x cos

2

x(sin

2

x

+

cos

2

x )

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

Этот прием основан на соотношении (

ln y( x )

)

¢

=

¢

y ( x )

y( x )

(

y¢( x ) = y( x ) ln y( x )

) ¢

.

1

y =

(

ln x

)

x

2

Пример 3. Найти y¢ , где

Решение: Прологарифмируем правую и левую части функции

ln y =

1

x

2

ln ln x;

Найдем производные правой и левой частей

(

ln y

)

¢

=

y

¢

y

Выразим y¢

2 1 1 1 = - lnln x + 3 2 x x ln x
2
1
1
1
= -
lnln x
+
3
2
x
x
ln x x
1
2
x
(
ln x
)
Ê
1
y ¢ =
Á
-
2
3
x
Ë ln x

=

1

Ê

1

x

3

Á

Ë ln x

 

ˆ

ln ln

x

˜

¯

.

-

2

lnln x

ˆ

˜

¯

;

Пример решения с использованием Maple:

> restart : >
>
restart :
>
использованием Maple: > restart : > Ответ : y ¢ = 1 2 x ( ln

Ответ:

y ¢ =

1 2 x ( ln x ) Ê 1 Á 3 x Ë ln x
1
2
x
(
ln x
)
Ê
1
Á
3
x
Ë ln x

-

2

ln ln x

ˆ

˜

¯

.

Пример 4. Вычислить y¢, если

y =

1

1 ) 2 ( x 3 ( x + 1
1
)
2
( x
3
( x
+
1

+

3

( x -

5

) ( x

2

)

7

+

y = 1 1 ) 2 ( x 3 ( x + 1 + 3 (

2

) ( x

-

2

)

.

Решение: Прологарифмируем правую и левую части функции

ln y =

1

2

ln( x -

1

) +

5

ln( x +

3

) +

7

ln( x +

2

) -

2

3

ln( x + 1) -

1

3

ln( x

-

2 );

Найдем производные правой и левой частей используя таблицу произ- водных

 

(

ln y

)

¢

=

y ¢

 

=

1

+

5

+

7

-

2

 

-

1

   

2

-

1

+ 3

 

+ 2

3

+

1

3

-

2

;

 

1

y

( x

 

)

x

x

( x

 

)

( x

 

)

( x

-

1

)

2

( x

+

3

5

) ( x

+

2

)

7

È

1

+

5

+

7

-

2

 

-

1

˘

˙

 
  3 ( x + 1 2 ) ( x - 2 ) Í Î 2

3

( x

+

1

2

) ( x

-

2

)

Í

Î

2

( x

-

1

)

x

+ 3

x

+ 2

 

3

( x

+

1

)

3

( x

-

2

)

˚

Выразим y¢

y ¢ =

.

Пример решения с использованием Maple:

Замечание : При упрощении функции командой simplify Maple в числи - тели

Замечание: При упрощении функции командой simplify Maple в числи- тели полученной дроби раскрывает скобки. Ответ:

y ¢ =

 

1

( x

-

1

)

2

( x

+

3

5

) ( x

+

2

)

7

 

3

( x

+

1

2

) ( x

-

2

)

 
 
 

È

1

5

7

2

 

1

˘

Í

Î

 

+

+

-

-

˙

2

( x

-

1

)

x

+ 3

x

+ 2

3

( x

+

1

)

3

( x

-

2

)

˚

2. Дифференцирование параметрически заданных функций

y( x ) :

Ï Ì производится по формуле

Ó

x

y

=

=

y

(t )

j

( t )

¢

y ( x ) =

(t )

(t )

.

Пример 5. Вычислить y¢( x), если

Ï x

y

Ì

Ó

=

=

Решение:

¢

y ( x )

=

b sin t ) ¢ a cos t ) ¢

(

(

= -

b

cos t

a

sint

a cos t

b sin t

= -

b

ctg t

. Заметим, что

a

y¢( x )

представляет собой, как и y( x ) , параметрически заданную функцию:

Ï x

Ô

Ì

Ô

Ó

=

a cost

¢

y ( x ) = -

b

a

ctg t

Пример решения с использованием Maple:

> restart :

с использованием Maple: > restart : Ответ : Ï x y Ì Ô Ô Ó =

Ответ:

Ï x

y

Ì

Ô

Ô

Ó

=

a

cos

¢ (

x

) = -

t

b

a

ctg t

3. Производную y¢( x ) функции y( x ) , заданной неявно в виде уравне-

¢ 0

ния F( x, y ) = 0 , можно вычислить (при условии F ), дифференцируя

y

тождество, полученное при подстановке в уравнение его решения y( x ) :

F( x, y( x )) = 0 по x . Получим выражение, в которое линейно войдет y¢( x ). Его можно разрешить относительно y¢( x ). Для вычисления производных функций заданных неявно в Maple ис- пользуется команда implicitdiff(f,y,x), где f функция заданная неявно, y зависящая переменная функции, x переменная по которой будет происходить дифференцирование. Замечание: В справке по этой функции можно найти более сложные формы записи и дополнительные примеры ее применения. Пример 6. Рассмотрим каноническое уравнение эллипса

2

2

x

a

2

y

b

2

. Найдем y¢( x ), дифференцируя выражения, полагая в нем

x независимой переменной, а y функцией от x ; получим

+

= 1

2

x

2 yy ¢

a

2

b

2

+

=

0

2

y

b

2

y

¢ = -

2 x

a

2

y

¢ = -

2

b . Заметим, что производная

x

2

a

y

y¢( x ) выражена не только через x , но и через y . Это естественно, так как на эллипсе значению x Œ (-a,a) соответствуют 2 точки с ордината-

b 2 2 a - x
b 2
2
a
-
x

a

1

и y

ми

функций y ( x )

y

1

=

2

и

( x )

y

2

= -

b 2 2 a - x
b 2
2
a
-
x

a

. Производные 2-х различных

в точке x , вообще говоря, различны.

Пример решения с использованием Maple:

, вообще говоря , различны . Пример решения с использованием Maple: 9

Производную неявно заданной функции можно посчитать другим способом:

1. Найдем производную функции

дим как функцию зависящую от х, у(х)

2 +

x

2

a

y

2

b

2

=

1 , где переменную у зада-

y 2 b 2 = 1 , где переменную у зада - 2. Решим уравнения Z

2. Решим уравнения Z = 0, при этом найдем производную функции у(х)

найдем производную функции у ( х ) Ответ : y ¢ = - 2 b x

Ответ:

y ¢ = -

2

b x

2

a y

1.3. Производные высших порядков

Определение 2. Производной порядка n > 1 функции f ( x ) называется

y

( n )

( x ) =

(

y

( n

-

1)

( x )

) ¢

.

Таким образом, n -я производная определяется и вычисляется через ( n - 1)-ю, та через ( n - 2 )-ю, и т. д. Для нахождения производных высших порядков в Maple используют:

повторение процедуры diff, например, diff(diff(y(x),x),x) для отыска-

''

ния второй производной y ( x ) ; оператор формирования последовательности $ при указании пере- менной дифференцирования diff(y(x),x$n), где n порядок производной. Например, для отыскания второй производной y ( x ) процедура будет иметь вид diff(y(x),x$2). Пример 7. Вычислить производную n -го порядка функции y = sin 2x .

''

Решение: y¢ = 2 cos 2x ; y¢¢¢ = -8 cos 2x ;

y¢¢ = -4 sin 2x ;

y

(

4

)

= 16

sin

2

x

y

( n )

=

2

n

sin

Ê

Á

Ë

2 x +

p

2

n

ˆ

˜

¯

.

Пример решения с использованием Maple:

> restart :

с использованием Maple: > restart : 2. ДИФФЕРЕНЦИАЛЫ Определение 3.

2. ДИФФЕРЕНЦИАЛЫ

Определение 3. Если приращение функции y = f ( x ):

Dy = f ( x + Dx ) - f ( x ) , соответствующее приращению аргумента Dx , мо- жет быть представлено в виде Dy = f ( x + Dx ) - f ( x ) = ADx + a( Dx ) , где A не зависит от Dx , но зависит, x , то функция y = f ( x ) называется диффе- ренцируемой в точке x . Здесь a( Dx ) бесконечно малая более высокого

порядка малости, чем Dx , т. е.

lim

D

x

Æ

0

a

(

D

x )

D

x

=

0

.

df ( x )

Можно доказать, что A = . Таким образом, существование произ-

dx

водной у функции f ( x ) в точке x эквивалентно ее дифференцируемости в этой точке по определению. Определение 4. Главная линейная часть приращения дифференци- руемой функции ADx = f ¢( x )Dx называется ее дифференциалом. Дифференциал df ( x ) является функцией двух аргументов x и Dx . Рассмотрев функцию y = x , убедимся, что dx Dx (дифференциал неза- висимой переменной совпадает с ее приращением). Дифференциалы старших порядков определяются индуктивно. Определение 5. Дифференциалом n-го порядка функции f ( x ) ( n 2 ) называется дифференциал от (n–1)-го дифференциала этой функции. При

( n-1)

этом d f считается функцией только x (но не dx Dx ), т. е.

d

n

f

(

= d d

( n

-1

)

f

)

(

= d f

( n

-1

)

( x )( dx )

( n

-1

)

)

=

f

( n )

( x )( dx )

n

.

Соотношение d f f ( x )( dx ) выполняется, например, для n – 1 = 1. Методом индукции из этого следует справедливость аналогично- го выражения для n-го дифференциала при любом n 2 . Для вычисления дифференциалов в Maple используется специальный оператор: D(f) илиD[i](f) , где параметр f выражение или имя функции, i положительное целое число, выражение или последовательность. Пример 8. Вычислить 1-й и 2-й дифференциалы функции

=

( n

-1

)

( n

-1

)

n

-1

y =

2 1- x
2
1-
x

arcsin x

.

Решение:

dy

=

y dx =

¢

2 1 - x arcsin x - 2 2 1 - x 1 - x
2
1 -
x arcsin x
-
2
2
1
-
x
1 -
x

Á Ê x

Á

Ë

˜ ˆ x arcsin x ˆ

˜

˜

¯

˜ dx =

Ê

Á

Á

Ë

1

-

dx .

2 1 - x
2
1 -
x

¯

 

¢

 
 

d

2

y

=

y ¢¢ ( dx )

2

=

Ê

Á 1

Á

Ë

-

x arcsin ˆ

˜

¯

˜

2 1 - x
2
1 -
x

( dx )

2

=

 
 

Ê

Á

x

ˆ

˜

+ arcsin x

2 1 - x
2
1 -
x

+

2

x

Á

Ë

2 1 - x
2
1 -
x

˜

¯

 
1 - x

1 -

x

2

arcsin x

( dx )

2

=

 
 

-

1 -

x

2

= -

x

2 1 - x
2
1
-
x

+

arcsin x(

1

-

x

2

+

2

x

)

( dx )

2

= -

x

2 1 - x
2
1 -
x

+

arcsin x

( dx )

 

(

1 -

x

2

)

3 2
3
2
 

(

1 -

2

x

)

3 2
3
2

2

.

Пример решения с использованием Maple:

Загрузка команды очистки рабочего документа Maple

restart :

Вычисление 1-го дифференциала функции

1- го дифференциала функции Вычисление 2- го дифференциала

Вычисление 2-го дифференциала функции

го дифференциала функции Вычисление 2- го дифференциала функции 12

3. НЕКОТОРЫЕ ПРИЛОЖЕНИЯ ПРОИЗВОДНЫХ И ДИФФЕРЕНЦИАЛОВ

1. Применение дифференциала к приближенным вычислениям. Исходя из определения 3 отбросим бесконечно малую величину a( Dx ) более высокого порядка, чем Dx , получаем приближенное равенство

Dy ª Dx ,

(1)

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

f ( x + Dx ) ª

f ( x ) + f ¢( x )Dx

Пример 9. Вычислить приближенно с помощью первого дифференциа-

ла tg 5 .

p p p p Решение: 5 = , y = tg x , x =
p
p
p
p
Решение:
5 =
,
y
=
tg
x
,
x
=
0,
D
x
=
,
D
y
=
tg
-
tg0
=
tg
ª
o
36
36
36
36
1
p
p
ª
dy
= (tg
x ¢
)
D x
=
=
ª
0,087 . Итак, tg 5 @ 0,087 .
x = 0
2
cos
x
36
36
x = 0
Пример решения с использованием Maple:
p
o
Используя формулу перевода из градусов в радианы
1
=
, переве-
o
180

дем

5

=

p

36

.

Так как

x + Dx = 5

o , то при x = , Dx =

0

p

36

рассчитаем в Maple

Загружаем команду очистки памяти рабочего документа

restart :

Зададим x = 0

документа restart : Зададим x = 0 Зададим функцию y = tg х > y :=

Зададим функцию y = tg х

> y := tan ( x );

y := tan(x )

Найдем производную функции y = tg х

производную функции y = tg х Используя формулу f ( x + D x ) ª

Используя формулу f ( x + Dx ) ª f ( x ) + f ¢( x )Dx и команду subs под- становки данных, найдем приближенное значение

, найдем приближенное значение Значение выражения получили в

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

- нием плавающей точки . 2. Рассмотрим некоторые

2. Рассмотрим некоторые геометрические приложения производной.

функции y = f ( x ) в точке (x , f ( x ))

Уравнение касательной к графику

, то уравнение каса-

тельной x = x . Уравнение нормали к графику в этой точке

имеет вид y y

0

0

=

0

+

f

¢

( x

0

)( x

-

x

0

)

. Если

f ¢( x

0

) = •

0

y

=

y

0

-

1

f

¢

( x

0

)

( x

-

x

0

)

. Если

f ¢( x ) = , то уравнение нормали

0

0

x = x

0

.

Пример 10. Написать уравнения касательной и нормали к графику

функции

2

x

2

+ y = в точке

1

M

Решение. Вычислим

Ê 1 Á Ë 2
Ê
1
Á
Ë
2

,

1 ˆ ˜ . 2 ¯
1 ˆ
˜
.
2 ¯

y

¢ ( x ) :

2 x

+ 2

yy

¢ =

0

y ¢ = -

x

y

¢

, y ( M )

уравнение касательной; y

н

=

1 Ê + Á 2 Ë
1
Ê
+
Á
2
Ë

x

-

= -

1; y

к

=

1

2
2

-

Ê

Á

Ë

x

-

1 ˆ ˜ = = 2 - x 2 ¯
1
ˆ
˜
=
=
2 - x
2 ¯
1 ˆ ˜ 2 ¯
1
ˆ
˜
2 ¯

= x уравнение нормали.

Пример решения с использованием Maple:

Найдем производную функции

Решим систему уравнений и сделаем замену

2

x + y

2

= 1

Замечание : Здесь найден только угловой коэффициент касательной .

Замечание: Здесь найден только угловой коэффициент касательной. Уравнение необходимо записать вручную.

4. ИССЛЕДОВАНИЕ ФУНКЦИИ С ПОМОЩЬЮ СКМ MAPLE

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

4.1. Непрерывность функции и точки разрыва

Проверить непрерывность функции f(x) на заданном промежутке [x 1 ,x 2 ]

можно с помощью команды iscont(f,x=x1

на этом интервале, то в поле вывода появится ответ true – (истина); если функция f не является непрерывной на этом интервале, то в поле вывода появится ответ false – (ложь). В частности, если задать интервал

то функция f будет проверяться на всей числовой оси.

В этом случае, если будет получен ответ true, то можно сказать, что функ-

ция определена и непрерывна на всей числовой оси. В противном случае следует искать точки разрыва. Это можно сделать двумя способами:

1) с помощью команды discont(f,x), где f функция, исследуемая на непрерывность, x переменная. Эта команда пригодна для нахождения точки разрыва первого и второго родов; 2) с помощью команды singular(f,x), где f функция, x переменная. Эта команда годится для нахождения точек разрыва второго рода как для вещественных значений переменной, так и для комплексных. Перед использованием эти команды следует обязательно загрузить из стандартной библиотеки readlib(name), где name имя любой из указан- ных выше команд.

x=-infinity

Если функция f непрерывна

x2).

+infinity,

Обе эти команды выдают результаты в виде перечисления точек раз- рыва в фигурных скобках. Тип такой записи называется set. Для того, что- бы в дальнейшем можно было использовать полученные значения точек разрыва, следует из типа set с помощью команды convert перевести их в обычный числовой тип.

Пример 11. Найдите точки разрыва функции

> readlib(iscont): readlib(discont):

> iscont(exp(1/(x+3)),x=-infinity

false

+infinity);

y

=

1

e

x + 3

Это означает, что функция не является непрерывной. Поэтому следует найти точки разрыва с помощью команды:

> discont(exp(1/(x+3)),x);

{–3}

Ответ наберите в текстовом режиме в новой строке:

Точка разрыва x=–3.”

4.2. Экстремумы. Наибольшее и наименьшее значение функции

В Maple для исследования функции на экстремум имеется команда extrema(f,{cond},x,’s’), где f функция, экстремумы которой ищутся, в фи- гурных скобках {cond} указываются ограничения для переменной, х имя переменной, по которой ищется экстремум, в апострофах ’sуказывает- ся имя переменной, которой будет присвоена координата точки экстрему- ма. Если оставить пустыми фигурные скобки {}, то поиск экстремумов бу- дет производиться на всей числовой оси. Результат действия этой коман- ды относится к типу set. Пример:

> readlib(extrema):

> extrema(arctan(x)-ln(1+x^2)/2,{},x,’x0’);x0;

{

p

4

-

1

2

ln(2)}

{{x=1}}

В первой строке вывода приводится экстремум функции, а во второй строке вывода точка этого экстремума. К сожалению, эта команда не может дать ответ на вопрос, какая из то- чек экстремума есть максимум, а какая минимум. Для нахождения мак- симума функции f(x) по переменной х на интервале x Œ[x1, x2] использует-

а для нахождения минимума функции

f(x) по переменной х на интервале x Œ[x1, x2] используется команда

Если после переменной указать ’infinity’ или ин-

тервал x=-infinity

соответственно, максимумы и минимумы на всей числовой оси как во

то команды maximize и minimize будут искать,

ся команда maximize(f,x,x=x1

x2),

minimize(f, x, x=x1

x2).

+infinity,

множестве вещественных чисел, так и комплексных. Если такие парамет-

ры не указывать, то поиск максимумов и минимумов будет производиться только во множестве вещественных чисел. Пример:

> maximize(exp(-x^2),{x});

1

Недостаток этих команд в том, что они выдают только значения функ- ции в точках максимума и минимума, соответственно. Поэтому для того, чтобы полностью решить задачу об исследовании функции y = f(x) на экс-

тремумы с указанием их характера (max или min) и координат (x, y) следу- ет сначала выполнить команду:

> extrema(f,{},x,’s’);s;

а затем выполнить команды maximize(f,x); minimize(f,x). После этого будут полностью найдены координаты всех экстремумов и определены их характеры (max или min). Команды maximize и minimize быстро находят абсолютные экстрему- мы, но не всегда пригодны для нахождения локальных экстремумов. Команда extrema вычисляет также критические точки, в которых функция не имеет экстремума. В этом случае экстремальных значений функции в первой строке вывода будет меньше, чем вычисленных критических точек во второй строке вывода. Выяснить характер найденного экстремума функции f(x) в точке x = x 0 можно, если вычислить вторую производную в

этой точке и по ее знаку сделать вывод: если

f ¢¢( x ) > , то в точке x 0 бу-

дет min, а если 0

0

0

f ¢¢( x

0

) <

то max.

В последней версии пакета аналитических вычислений Maple 11 опи-

санный выше недостаток команд maximize и minimize устранен. Коорди-

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

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

> minimize(x^4-x^2, x, location);

È 1 - 1 ˘ È -1 , { { x = - 2 },
È
1
- 1 ˘
È
-1 , {
{ x
= -
2
},
˙ { x
Í
Í
4
Î
2
4
,
˚
=
Î
1 - 1 ˘ 2 }, 2 4 ˙ } ˚
1
- 1 ˘
2
},
2
4
˙ }
˚

В строке вывода получились координаты минимумов и значения функ-

ции в этих точках. Команды extrema, maximize и minimize обязательно должны быть за- гружены из стандартной библиотеки командой readlib(name), где name имя загружаемой команды.

1 ( x
2

2

-

1 x p 2 ) arcsin x + 1 - x - 2 4 12
1
x
p
2
) arcsin x
+
1
-
x
-
2
4
12

Пример 12. Найти max и min

> readlib(extrema):

> y:=(x^2-1/2)*arcsin(x)/2+x*sqrt(1-x^2)/4- Pi*x^2/12:

y =

x

2

.

> extrema(y,{},x,'s');s;

1 1 {0,- p + 3} 24 16 {{x = 0},{x = 1 }} 2
1
1
{0,-
p +
3}
24 16
{{x = 0},{x =
1 }}
2

После выполнения этих команд найдены экстремумы функции и точки экстремумов. Порядок следования x-координат экстремумов во второй строке вывода соответствует порядку следования значений экстремумов в первой строке вывода. Таким образом, найдены экстремумы в точках (0,0) и

(1/2, –p/24+

а какая минимумом. Для этого используйте команды maximize и minimize.

3 / 16 ). Осталось выяснить, какая из них является максимумом,

из них является максимумом , > readlib(maximize):readlib(minimize): >

> readlib(maximize):readlib(minimize):

> ymax:=maximize(y,{x});

ymax := 0

> ymin:=minimize(y,{x});

ymin := -

1 1 p + 3
1
1
p +
3

24 16

Ответ наберите в текстовом режиме в новой строке:

Экстремумы: max y( x ) = y( 0 ) = 0 , min y( x ) = y(1/ 2 ) = -p / 24 +

Для набора математических символов и греческих букв в текстовом

и греческих букв в текстовом 3 / 16 .” на Панели инстру -

3 / 16 .”

букв в текстовом 3 / 16 .” на Панели инстру - ментов . В

на Панели инстру-

ментов. В появившейся строке ввода формул ниже Панели инструмен- тов следует набирать обычные команды Maple, после чего нажать Enter.

режиме следует нажать кнопку со значком суммы

нажать кнопку со значком суммы Например , для отображения

Например, для отображения формулы 3 следует набрать в строке ввода формул sqrt(3).

в строке ввода формул sqrt(3). Для возвращения в текстовый

Для возвращения в текстовый режим снова следует нажать на кнопку . Поэтому порядок набора второй формулы в ответе такой:

§ находясь в текстовом режиме, набрать: miny(x)=y(1/2)= ;

§ нажать на кнопку

§ в строке ввода формул набрать: -Pi/24+sqrt(3)/16

§ нажать Enter;

набрать : -Pi/24+sqrt(3)/16 § нажать Enter ; § вернуться в текстовый режим .
набрать : -Pi/24+sqrt(3)/16 § нажать Enter ; § вернуться в текстовый режим .

§ вернуться в текстовый режим.

Пример 13. Найдите наибольшее и наименьшее значение

f ( x )

=

x

2

ln x

на интервале x Œ [1,2 ] . Наберите:

> f:=x^2*ln(x):

>

maximize(f,{x},{x=1

2});

> minimize(f,{x},{x=1

4 ln( 2 )

2}):simplify(%);

-

1

2

e

(

- 1

)

Ответ наберите в текстовом режиме в новой строке:

Наибольшее значение: max f ( x ) = 4 ln 2 , наименьшее значение

min f ( x ) = -1 / 2e “.

Пример 14. Найти экстремумы функции

y =

3

x

4

-

x

2

и установить их ха-

рактер с помощью второй производной. Наберите:

> restart:y:=x^3/(4-x^2): readlib(extrema):

readlib(maximize): readlib(minimize):

> extrema(y,{},x,'s');s;

{- 3 3,3 3 } {{x=0},{ x = 2 3 },{ x = -2
{- 3
3,3
3 }
{{x=0},{ x = 2
3 },{ x = -2
{- 3 3,3 3 } {{x=0},{ x = 2 3 },{ x = -2 3 }}

3 }}

Получено два экстремума и три критические точки. Исследование мож- но продолжить с помощью второй производной:

> d2:=diff(y,x$2): x:=0: d2y(x):=d2;

d2y(0):=0

> x:=2*sqrt(3):d2y(x):=d2;

d2y( 2

d2y(0):=0 > x:=2*sqrt(3):d2y(x):=d2; d2y ( 2 3 ) : = - > x:=-2*sqrt(3):d2y(x):=d2; d2y ( -

3 ) := -

> x:=-2*sqrt(3):d2y(x):=d2;

d2y( -