Пусть точка [latex]A[/latex] принадлежит области определения функции [latex] u=f(M)[/latex] нескольких переменных и любая [latex]\varepsilon[/latex]-окрестность точки [latex]A[/latex] содержит отличные от [latex]A[/latex] точки области определения этой функции.
Функция [latex] u=f(M)[/latex] называется непрерывной на множестве [latex]\left \{ M \right \}[/latex], если она непрерывна в каждой точке этого множества.
Основные свойства непрерывных функций нескольких переменных:
Теорема об устойчивости знака непрерывной функции:
Если функция [latex] u=f(M)[/latex] непрерывна в точке [latex]A[/latex] евклидова пространства [latex] E^m [/latex] и если [latex] f(A)\neq0 [/latex], тo существует такая [latex] \delta [/latex] окрестность точки [latex]A[/latex], в пределах которой во всех точках области своего задания [latex] f(M)[/latex] не обращается в нуль и имеет знак совпадающий со знаком[latex] f(M)[/latex]. Справедливость этой теоремы непосредственно вытекает из определения непрерывности функции в терминах «[latex] \varepsilon — \delta [/latex]».
Теорема о прохождении непрерывной функции через любое промежуточное значение:
Пусть функция [latex] u=f(M)[/latex] непрерывна во всех точках связного множества [latex]\left \{ M \right \}[/latex] евклидова пространства [latex]E^{m}[/latex], причем [latex] f(A)[/latex] и [latex] f(B)[/latex] — значения этой функции в точках [latex]A[/latex] и [latex]B[/latex] этого множества. Пусть, далее, [latex]C[/latex] — любое число, заключенное между [latex] f(A)[/latex] и [latex] f(B)[/latex] . Тогда на любой непрерывной кривой [latex]L[/latex], соединяющей точки [latex]A[/latex] и [latex]B[/latex] и целиком располагающейся в [latex] \left \{ M \right \} [/latex], найдется точка N такая, что [latex] f(N)=C [/latex].
Спойлер
Пусть
[latex]x_{1}=\varphi_{1}t[/latex], [latex]x_{2}=\varphi_{2}t[/latex], [latex]\ldots[/latex], [latex]x_{m}=\varphi_{m}t[/latex], [latex]\alpha \le t \le \beta[/latex],
— уравнения непрерывной кривой [latex]L[/latex], соединяющий точки [latex]A[/latex] и [latex]B[/latex] множества [latex]\left \{ M \right \}[/latex] и целиком располагающейся в [latex]\left \{ M \right \}[/latex].
На сегменте [latex][\alpha, \beta][/latex] определена сложная функция [latex] u=f(x_{1}, x_{2}, \ldots, x_{m})[/latex], где и [latex]x_{i}=\varphi_{i}t[/latex], [latex]i=1, 2, \ldots, m[/latex], [latex]\alpha \le t \le \beta[/latex]. Очевидно, значение этой функции на сегменте [latex][\alpha, \beta][/latex] совпадают со значениями функции [latex] u=f(M)[/latex] на кривой [latex]L[/latex]. Указанная сложная функция одной переменной [latex]t[/latex], в силу непрерывности сложной функции, непрерывна на сегменте [latex][\alpha, \beta][/latex] и согласно второй теореме Больцано-Коши, в некоторой точке [latex]\xi[/latex] сегмента [latex][\alpha, \beta][/latex] принимает значение [latex]C[/latex]. По этому в точке [latex]N[/latex] кривой [latex]L[/latex] с координатами [latex]\varphi_{1}(\xi)[/latex], [latex]\varphi_{2}(\xi), \ldots,[/latex] [latex]\varphi_{m}(\xi)[/latex] справедливо равенство [latex]f(N)=C[/latex]. Теорема доказана.
где p — наименьшее общее кратное знаменателей чисел latexr1,r2,…rn.
Действительно, из подстановки latexax+bcx+d=tp следует, что latexx=b−dtpctp−a и latexdx=−dptp−1(ctp−a)−(b−dtp)cptp−1(ctp−a)2dt, т.е. x и dx выражаются через рациональные функции от t. При этом и каждая степень дроби latexax+bcx+d выражается через рациональную функцию от t.
где a и b — любые константы, а показатели степеней m, n и p — рациональные числа. Изучим вопрос об интегрируемости в элементарных функциях дифференциальных биномов.
Рассмотрим три случая , когда интеграл от дифференциального бинома допускает рационализирующую подстановку.
1. Первый случай соответствует целому p. Дифференциальный бином представляет собой дробно-линейную иррациональность вида [latex] R (x,\sqrt[r]{x}) dx [/latex], где r — наименьшее общее кратное знаменателей рациональных чисел m и n. Стало быть, интеграл от дифференциального бинома в этом случае рационализируется подстановкой [latex] t=\sqrt[r]{x} [/latex].
2.Второму случаю соответствует целое число [latex] \frac{m+1}{n} [/latex]. Сделаем подстановку
[latex] z = x^{n} [/latex] и положим для краткости [latex] \frac{m+1}{n}-1=q [/latex], получим
Подынтегральная функция в правой части является дробно-линейной иррациональностью следующего вида вида [latex] R (z,\sqrt[s]{a+bz}) [/latex], где s — знаменатель рационального числа p.
Таким образом, для второго случая дифференциальный бином рационализируется подстановкой
3. Третьему случаю соответствует целому число [latex] (\frac{m+1}{n}+p) [/latex]. Подынтегральная функция в правой части является дробно-линиейной иррациональностью вида [latex] R (z,\sqrt[s]{\frac{a+bz}{z}}) [/latex], так что интеграл от дифференциального бинома рационализируется подстановкой вида
В середине 19-го века П.Л.Чебышев доказал, что указанными выше тремя случаями исчерпываются все случаи, когда дифференциальный бином интегрируется в элементарных функциях. (Мемуар 1853 года «Об интегрировании иррациональных дифференциалов»).
Примеры
1)Вычислить интеграл [latex] I=\int \frac{ \sqrt{x}dx}{ (1+\sqrt[3]{x})^{2}} = \int x^{\frac {1} {2}} (1+x^{\frac{1}{3}})^{-2} [/latex]. Здесь [latex] m=\frac{1}{2}, n=\frac{1}{3}, p=-2 [/latex]. Так как p — целое, значит используем подстановку из первого случая
2) Вычислить интеграл [latex] I = \int \frac{x}{\sqrt{1+\sqrt[3]{x^{2}}}} dx[/latex]. Здесь [latex] m = 1, n = \frac{2}{3}, p = -\frac{1}{2}[/latex]. Так как [latex]\frac{m+1}{n} = 3[/latex] — целое (второй случай).
3) Вычислить интеграл [latex] I=\int x^{5} (1-x^{2})^{-\frac{1}{2}} dx [/latex]. Графиком подынтегральной функции будет:
В данном случае [latex] m=5,n=2,p=-\frac{1}{2} [/latex], так что [latex] \frac{m+1}{n}=3 [/latex] (второй случай). Сделав подстановку