Матан
.pdfМАТЕМАТИЧЕСКИЙ АНАЛИЗ, I семестр
О.В.Никольская, С. Г. Танкеев
1. ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ
1.1. Словарь
Мы будем изучать дифференциальное исчисление функций нескольких (чаще всего двух) переменных в сравнении с дифференциальным исчислением функций
одной переменной. |
|
|
|
|
|
|
|
|
j Функции двух переменных: |
|
|
|
|
|||||||||||||||||||||||||
|
|
|
Функции одной переменной: |
|
|
|
|
|
|
|||||||||||||||||||||||||||||
1) Интервал (a; b) с координатой x. j 1) Открытая область D на плоскости |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j с координатами x; y |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j (объединение открытых дисков (т.е. кругов |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j с выброшенными границами - окружностями)). |
||||||||||||||||||||
2) Отрезок [a; b]. |
|
|
|
|
|
|
|
|
j 2) Замкнутая область |
D |
= D [ @D, где @D – |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
граница D. |
|
|
|
|
|
|
|
|
|
|
|
||||||||
3) Функция f(x). |
|
|
|
|
|
|
|
j 3) Функция f(x; y). |
|
|
|
|
|
|
|
|||||||||||||||||||||||
4) A = limx!x0 f(x) , |
|
|
|
|
j 4) A = lim(x;y)!(x0;y0) f(x; y) , |
|
|
|
||||||||||||||||||||||||||||||
(8" > 0)(9 > 0)(8x 6= x0) |
|
|
|
|
j(8" > 0)(9 > 0)(8(x; y) 6= (x0; y0)) |
|
|
|||||||||||||||||||||||||||||||
(jx x0j < ) ) jf(x) Aj < ": |
|
|
j( |
(x x0)2 + (y y0)2 |
< ) ) jf(x; y) Aj < ". |
|||||||||||||||||||||||||||||||||
5) |
f(x) |
непрерывна в точке |
x0 |
, |
|
5) f(x; y) непрерывна в точке (x0 |
; y0) |
, |
||||||||||||||||||||||||||||||
|
|
|
|
j p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
f(x) определена в интервале |
|
|
j |
f(x; y) определена в открытом диске |
|
|
||||||||||||||||||||||||||||||||
с центром x0 и |
|
|
|
|
|
|
|
|
|
j с центром (x0; y0) и |
|
|
|
|
|
|
|
|||||||||||||||||||||
limx!x0 f(x) = f(x0): |
|
|
|
|
j lim(x;y)!(x0;y0) f(x; y) = f(x0; y0). |
|
|
|
||||||||||||||||||||||||||||||
6) Если f(x) непрерывна на |
|
|
|
j 6) Если f(x; y) непрерывна в замкнутой |
||||||||||||||||||||||||||||||||||
отрезке, то она ограничена. |
|
|
|
j ограниченной области, то она ограничена. |
||||||||||||||||||||||||||||||||||
7) Если f(x) непрерывна на |
|
|
|
j 7) Если f(x; y) непрерывна в замкнутой |
||||||||||||||||||||||||||||||||||
отрезке [a; b], то |
|
|
|
|
|
|
|
|
j связной ограниченной области, то |
|
|
|||||||||||||||||||||||||||
f([a; b]) = [m; M]. |
|
|
|
|
|
|
|
j f( |
D |
) = [m; M]. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
8) f(x) дифференцируема в |
|
|
|
j 8) f(x; y) дифференцируема в |
|
|
|
|||||||||||||||||||||||||||||||
точке x , |
|
|
|
|
|
|
|
|
|
|
j точке (x; y) , |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
f(x) определена в интервале |
|
|
j |
f(x; y) определена в открытом диске |
|
|
||||||||||||||||||||||||||||||||
с центром x и |
|
|
|
|
|
|
|
|
|
|
j с центром (x; y) и |
|
|
|
|
|
|
|
||||||||||||||||||||
|
f |
def |
f x |
x |
|
|
f x |
|
|
|
|
j |
|
|
|
def |
|
|
|
|
|
|
|
|
|
f(x; y) = |
|
|
||||||||||
|
= |
) |
|
|
|
|
f = f(x + x; y + y) |
|
|
|||||||||||||||||||||||||||||
|
|
( + |
|
( ) = |
|
|
|
|
@f |
x + |
@f |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
f0(x) x + (x; x) |
, где |
|
|
|
|
j |
@x |
@y |
y + (x; y; x; y) |
, где |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
(x; x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
(x;y; x; y) |
|
|
|
|||||||||||||||
lim x!0 |
|
|
|
= 0; |
|
|
|
|
|
|
j |
lim( x; y)!(0;0) |
p |
|
|
= 0, |
|
|
|
|||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
( x)2+( y)2 |
|
|
|
||||||||||||||||||||||||||||
|
|
|
def |
|
def |
|
|
|
|
|
f(x+ x) f(x) |
. |
|
@f |
def |
|
|
def |
|
|
|
|
|
f(x+ x;y) f(x;y) |
, |
|||||||||||||
f0 |
(x) = |
|
@f = lim |
|
|
|
j |
= f |
0 |
(x; y) = lim |
|
|||||||||||||||||||||||||||
|
|
|
|
@x |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
@x |
|
|
x!0 |
x |
|
def |
x |
|
def |
|
x!0 |
|
|
|
x |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@f |
|
|
|
|
|
|
|
f(x;y+ y) f(x;y) |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
= f0 |
(x; y) = lim |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@y |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
y!0 |
|
|
|
y |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
– частные производные f(x; y) по переменным |
jx; y соответственно.
jПри вычислении @f@x(x;y) следует рассматривать
2 |
О.В.НИКОЛЬСКАЯ, С. Г. ТАНКЕЕВ |
j y как константу. Аналогично при вычислении
j @f(x;y) следует рассматривать x как
@y
j константу. Например,
j @x@xy = yxy 1; @x@yy = xy ln x.
jТеорема. Если частные производные
jнепрерывны, то функция дифференцируема.
1.2.Всюду в дальнейшем мы предполагаем, что все рассматриваемые
частные производные непрерывны. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
9) |
df(x) = f |
0(x)dx = @f dx |
.2 |
|
j |
9) |
|
df(x; y) = |
|
@f dx + |
@f dy |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
@x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@x |
|
|
2 |
|
|
|
|
@y |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
2 |
|
|
|
||||||||||||
11) d2f(x) = f00(x)dx2 = |
@ f |
dx2. |
j |
11) |
|
|
|
d2f(x; y) = |
@ f |
dx2 + 2 |
@ f |
dxdy + |
@ f |
dy2, |
||||||||||||||||||||||||||||||||||||||||
@x2 |
|
|
|
@x2 |
@x@y |
@y2 |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
j |
|
где |
|
@2f2 = |
|
@ |
|
|
|
@f |
, |
|
|
|
|
@2f |
|
|
= |
|
@ |
|
|
@f |
|
= |
|
|
@ |
|
|
@f |
|||||||||||||||
|
|
|
|
|
|
|
|
|
@x |
|
|
@x |
|
|
@x@y |
|
@x |
|
@y |
|
@y |
|
@x |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
@x |
|
|
@ |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
@2f |
@2f |
|
|
|
|
|
|
|
@f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
@y . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
= |
@y@x |
@y2 |
|
= |
@y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
@f @' |
|
|
|
|
|
|
|
|
@f('(u;v); |
|
|
(u;v)) |
|
@f @' |
|
|
@f @ |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
12) (f('(x))0 = f0(')'0 = |
@' @x . |
j |
12) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
+ @ |
|
|
, |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
@u |
|
|
|
|
|
|
|
|
|
|
|
@' @u |
|
@u |
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
@f('(u;v); (u;v)) |
|
|
|
|
|
|
@f @' |
|
@f @ |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
+ |
|
|
|
@v . |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
13) x0 – критическая точка , |
|
|
|
|
|
|
|
|
@v |
|
|
|
|
|
@' @v |
@ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
j 13) |
|
|
|
(x0; y0) – критическая точка , |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
f0(x0) = 0. |
|
|
|
|
j |
|
|
|
|
@f@x (x0; y0) = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
x0 |
|
|
|
|
|
|
(@f@y (x0; y0) = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
14) Если |
– критическая точка |
j |
14) |
|
|
|
Если (x0; y0) – критическая точка, |
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
@2f |
(x0; y0) |
|
|
@2f |
|
(x0; y0) |
|
|
|
|
|
|
|
|
|
@2f |
|
|
|
|
|||||||||||||||||||||||||||||||
и f00(x0) > 0, то x0 – точка |
j |
|
@x2 |
|
|
@x@y |
|
> 0 |
|
и |
; y0) > 0, |
|||||||||||||||||||||||||||||||||||||||||||
2 |
f |
|
|
|
|
|
|
|
|
|
|
@ |
2f |
|
|
|
|
|
|
|
|
|
|
|
2 (x0 |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
@ |
|
|
(x0; y0) |
|
|
|
|
(x0; y0) |
|
|
|
|
|
|
|
|
@x |
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
@x@y |
|
|
@y |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
локального минимума. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
минимума. |
|
|||||||||||||||||||||
|
|
|
то |
(x0; y0) – точка локального |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
15) Если |
x0 |
– критическая точка |
j |
15) |
|
|
Если (x0; y0) – критическая |
точка, |
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
j |
|
|
@2f |
(x0; y0) |
|
|
@2f |
|
(x0; y0) |
|
|
|
|
|
|
|
|
|
@2f |
|
|
|
|
||||||||||||||||||||||||||||||
и f00(x0) < 0, то x0 – точка |
j |
|
@x2 |
|
|
@x@y |
|
> 0 |
|
и |
; y0) < 0, |
|||||||||||||||||||||||||||||||||||||||||||
2 |
f |
|
|
|
|
|
|
|
|
|
|
@ |
2f |
|
|
|
|
|
|
|
|
|
|
|
2 (x0 |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
@ |
|
|
(x0; y0) |
|
|
|
|
(x0; y0) |
|
|
|
|
|
|
|
|
@x |
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
@x@y |
|
|
@y |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
локального максимума. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
максимума. |
|||||||||||||||||||||
|
|
|
то (x0; y0) – точка локального |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
16) |
2Если (x0; y0)2– критическая точка и |
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
@ f2 (x0; y0) |
|
|
|
|
|
@ f |
|
(x0; y0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@x@y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
j |
|
|
|
|
@x |
|
|
|
|
|
|
|
|
|
|
|
|
|
< 0, |
то |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
f |
|
|
|
|
|
|
|
|
|
|
@ |
2f |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
@ |
|
(x0; y0) |
|
|
|
|
|
(x0; y0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
@x@y |
|
|
|
|
|
|
|
|
@y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
jэкстремума нет, а есть седло.
1.3.Дифференцирование функции, заданной неявно
Предположим, что переменные (x; y) связаны соотношением f(x; y) = 0, где f – дифференцируемая функция. В хороших случаях уравнение f(x; y) = 0 задает некоторую кривую на плоскости. Отдельные участки этой кривой могут быть графиками некоторых функций y = y(x). В этом случае говорят, что y(x) – неявная функция от x.
Очевидно,
0 = d0 = df(x; y) = @f@xdx + @f@y dy;
поэтому
@f
y0(x) = dxdy = @f@x :
@y
МАТЕМАТИЧЕСКИЙ АНАЛИЗ I |
3 |
2. НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
2.1. Первообразная и неопределенный интеграл
Функция F (x) называется первообразной функции f(x), если F 0(x) = f(x).
Теорема. Если F (x) – первообразная функции f(x), то любая другая первообразная функции f(x) имеет вид (x) = F (x) + C, где C – некоторая константа.
Доказательство. Положим '(x) = (x) F (x). Имеем: '0(x) = [ (x) F (x)]0 =0(x) F 0(x) = f(x) f(x) = 0. По теореме Лагранжа для '(x) на отрезке [a; x] имеем : '(x) '(a) = '0(c)(x a) = 0 и, следовательно, '(x) = '(a) = const. Теорема доказана.
Семейство F (x) + C всех первообразных функции f(x) называется неопределен-
R
ным интегралом от f(x) и обозначается через f(x)dx.
Например, графически R xdx = x22 + C – семейство парабол, полученных из параболы y = x22 сдвигами вдоль вертикальной оси на константы C.
2.2. Таблица интегралов
R
1)sin xdx = cos x + C;
R
2)cos xdx = sin x + C;
3)R cos12 x dx = tg x + C;
4)R sin12 x dx = ctg x + C;
6) |
R |
pa21 |
x2 dx = arcsin xa + C; |
|
|
||||
5) |
|
p |
1 |
dx = arcsin x + C; |
|
|
|||
|
R |
1 x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
7) |
px21 a2 dx = ln(x + p |
|
|
|
|||||
x2 |
|
a2 |
) + C; |
||||||
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
8)1+1x2 dx = arctg x + C;
9)R a2+1x2 dx = a1 arctg xa + C;
10)R x1 dx = ln jxj + C;R
11) |
R x dx |
= |
1 |
+1 |
|
6= |
|
x +1 |
+ C; |
12)R axdx = lnaxa + C;
13)R exdx = ex + C.
2.3. Свойства неопределенных интегралов
1) R f(x)dx 0 = f(x);
R
2)d f(x)dx = f(x)dx;
3)R df(x) = R f0(x)dx = f(x) + C;
R |
R |
R |
4) (f(x) g(x))dx = |
f(x)dx |
g(x)dx, если интегралы в правой части суще- |
ствуют; |
|
|
RR
5) ( f(x))dx = f(x)dx.
2.4. Интегрирование по частям в неопределенном интеграле Теорема об интегрировании по частям в неопределенном интеграле.
ZZ
udv = uv vdu:
Доказательство. Имеем: d(uv) = (uv)0dx = (u0v + uv0)dx = vu0dx + uv0dx = vdu +
udv, поэтому |
d(uv) = Z |
vdu + Z |
|
uv + C = Z |
udv: |
||
Значит, |
|
|
|
4 |
О.В.НИКОЛЬСКАЯ, С. Г. ТАНКЕЕВ |
ZZ
udv = uv vdu + C:
RR
Осталось заметить, что vdu + C = vdu (равенство двух семейств первообразных). Теорема доказана.
2.5. Замена переменной в неопределенном интеграле
Теорема о замене переменной в неопределенном интеграле. Если x =
'(t), то
Z Z
f('(t))'0(t)dt = F ('(t)) + C = F (x) + C = f(x)dx
Доказательство. Воспользуемся равенствами (F ('(t)) + C)0 = F 0('(t))'0(t) = f('(t))'0(t). Теорема доказана.
2.6. Примеры. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
x3 |
x3 |
|
x3 |
|||||||
|
Z |
x2 ln xdx = Z |
ln xx2dx = Z |
ln xd |
|
|
= ln x |
|
|
Z |
|
|
|
d ln x = |
|||||||
|
3 |
3 |
3 |
|
|||||||||||||||||
|
|
|
x3 |
x3 1 |
x3 |
|
|
x2 |
|
|
x3 |
x3 |
|||||||||
|
|
ln x |
|
Z |
|
|
|
dx = ln x |
|
Z |
|
|
dx = ln x |
|
|
|
|
+ C; |
|||
Z |
|
3 |
3 |
x |
3 |
3 |
3 |
|
9 |
||||||||||||
x cos dx = Z |
xd sin x = x sin x Z |
|
sin xdx = x sin x + cos x + C; |
вносить под знак дифференциала надо такой множитель, который при этом не слишком усложняется.
3. ИНТЕГРИРОВАНИЕ РАЦИОНАЛЬНЫХ ФУНКЦИЙ
3.1. Функция f(x) = , где p(x) и q(x) – многочлены и q(x) не равен тождественно нулю, называется рациональной функцией. Если deg p(x) < deg q(x), то дробь называется правильной.
Например, дробь x3 7x+4 правильная, потому что deg(x3 7x + 4) = 3
x(x5+1)
< deg x(x5 + 1) = 6.
Теорема. Любая рациональная функция однозначно записывается в виде суммы
многочлена и правильной дроби. |
|
|
|
|
|
||
Например, |
|
|
|
|
|
||
|
x4 2x3 + x + 7 |
= x2 |
|
4x + 3 + |
15x 8 |
: |
|
x2 + 2x + 5 |
x2 + 2x + 5 |
||||||
|
|
|
|
Чтобы получить это разложение, разделим x4 2x3 + x + 7 на x2 + 2x + 5 с остатком: x4 2x3 + x + 7 j x2 + 2x + 5
j x2 4x + 3
|
4 |
|
3 |
2 |
j |
x |
3 |
+ 2x |
2+ 5x |
|
|
4x |
5x + x + 7 j |
j
4x |
3 |
8x |
2 |
20x |
j |
|
|
2 |
|
||||
3x |
|
+ 21x + 7 |
j |
j
3x2 + 6x + 15 |
j |
15x 8 |
j |
3.2. Простейшие дроби I-IV типов:
МАТЕМАТИЧЕСКИЙ АНАЛИЗ I |
5 |
I. (xAa) .
II. (x Aa)n , где n 2 – целое число.
III. Ax+B , где p2 4q < 0.
x2+px+q
IV. 2Ax+B n , где p2 4q < 0 и n 2 – целое число.
(x +px+q)
3.3. Теорема. Любая правильная рациональная дробь однозначно разлагается в сумму простейших дробей.
Например,
x3 + 4x 7 |
= |
|
A1 |
|
|
+ |
A2 |
+ |
|
A3 |
|
+ |
|||||
(x 1)3(x2 + 2x + 5)2 |
(x 1)3 |
(x 1)2 |
x |
|
|||||||||||||
|
|
|
1 |
||||||||||||||
|
|
B1x + C1 |
|
+ |
B2x + C2 |
; |
|
|
|
|
|
||||||
(x |
2 |
|
|
2 |
x |
2 |
+ 2x + 5 |
|
|
|
|
|
|||||
|
+ 2x + 5) |
|
|
|
|
|
|
|
|
где неизвестные коэффициенты A1; : : : ; B2; C2 находятся из системы линейных уравнений. Чтобы получить эту систему, надо привести правую часть разложения к общему знаменателю, а затем приравнять коэффициенты при 1; x; x2; : : : в числителях дробей слева и справа.
Вопрос об интегрировании рациональной дроби сводится к интегрированию многочленов (элементарно) и простейших дробей.
3.3. Интегрирование простейших дробей:
|
II.R |
|
A |
|
|
|
t=x a |
R |
A |
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
(x a)n |
|
|
|
|
|
|
|
tn |
|
|
|
|
|
|
|
n+1 |
|
|
|
|
|
|
|
n+1 |
|
|
. |
|
|
|
|
|
|
||||||||||||||||||
|
I. |
x a |
dx = |
|
|
|
dt |
|
|
|
|
|
|
t |
C |
|
ln j |
|
a + C |
. |
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
R |
|
|
A |
|
|
|
|
t=x |
a |
|
A |
|
|
|
|
|
|
|
|
t n+1 |
|
|
|
|
|
|
|
|
(x |
|
|
a) |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
dx |
|
= |
|
|
|
|
dt = A |
|
|
+ C = A |
|
|
|
|
|
|
|
|
+ C |
|
|
At+B Ap2 |
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
Ax+B |
|
|
|
A(Rx+ p2 )+B Ap2 |
t=x+ p2 |
|
At+B Ap2 |
|
a2=q p4 |
|
|
tdt |
||||||||||||||||||||||||||||||||||||||
(B |
R) |
|
|
2 dt 2 |
= |
|
R ln t2 |
+ a2 |
|
+ (B |
|
|
|
)R |
|
|
arctg |
|
|
|
+ C. |
2 |
R |
|
|
R |
|
|
|||||||||||||||||||||||||
|
III. |
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
dx = |
|
|
|
|
|
|
|
|
|
|
|
|
dt |
|
= |
|
|
|
dt = A |
|
|
+ |
|||||||||
|
|
x2 |
+px+q |
|
|
|
p |
|
2 |
|
|
|
p2 |
|
|
|
|
2 |
|
|
|
|
p2 |
|
|
|
|
t2+a2 |
|
t2+a2 |
|||||||||||||||||||||||
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
(x+ |
2 ) |
+q |
|
|
|
|
|
|
|
|
|
|
t |
+q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
Ap |
|
|
|
|
|
|
|
|
|
A |
|
4 |
|
|
|
|
|
Ap |
|
|
4 |
t |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
j |
|
|
|
|
2 a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
t +a |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
Интегрирование простейших дробей IV типа производится аналогично (см. любой учебник по математическому анализу).
4. ИНТЕГРИРОВАНИЕ ТРИГОНОМЕТРИЧЕСКИХ ФУНКЦИЙ
4.1. Пусть R(sin x; cos x) – рациональная функция от переменных sin x и cos x. Примерами таких функций являются
sin3 x sin x cos7 x |
; |
2 sin x + 5 cos9 x |
: |
|
sin x 5 cos x |
4 cos x sin x |
|||
|
|
Рассмотрим интеграл R R(sin x; cos x)dx. Положим t = tg x2 (универсальная тригонометрическая подстановка). Тогда
|
|
|
|
|
x |
|
x |
|
2 sin x cos x |
|
|
|
|
|
2 tg x |
|
|
|
|
2t |
|
|
|||||||||
sin x = 2 sin |
|
cos |
|
= |
|
|
2 |
2 |
|
= |
|
|
|
2 |
= |
|
|
|
|
; |
|
||||||||||
2 |
2 |
cos2 x |
+ sin2 |
|
|
|
|
|
|
1 + t2 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
1 + tg2 x |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|||
cos x = cos2 |
x |
|
|
sin2 |
x |
= |
cos2 |
x2 |
sin2 |
x2 |
= |
1 |
tg2 |
x2 |
= |
1 |
t2 |
; |
|||||||||||||
|
|
|
x2 |
|
x2 |
|
|
|
|
|
|
||||||||||||||||||||
2 |
|
|
2 |
|
|
cos2 |
+ sin2 |
|
1 |
+ tg2 |
x2 |
|
|
1 |
+ t2 |
|
|||||||||||||||
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2dt |
|
|
|
|
|
|
||||||
|
|
= arctg t; |
|
|
|
|
x = 2 arctg t; |
|
|
|
|
dx = |
|
: |
|
|
|
|
|||||||||||||
|
2 |
|
|
|
|
|
|
|
|
1 + t2 |
|
|
|
|
В итоге
6 |
О.В.НИКОЛЬСКАЯ, С. Г. ТАНКЕЕВ |
|||||||
Z |
R(sin x; cos x)dx = R |
|
2t |
; |
1 t2 |
|
2dt |
|
1 + t2 |
1 + t2 |
1 + t2 |
||||||
Z |
|
– интеграл от рациональной функции переменной t. После взятия этого интеграла следует подставить t = tg x2 .
Пример.
Z |
|
Z |
|
2dt |
Z |
|
|
|
|
sin x |
1+t2 |
t |
j j |
j |
2 j |
||||
|
dx |
|
1+t2 |
|
dt |
|
|
x |
|
|
|
= |
|
2t |
= |
|
= ln t + C = ln tg |
+ C: |
|
|
|
|
|
|
|
|
|
|