Изменить стиль страницы

  О. И. Завьялов.

Неопределённые выражения

Неопределённые выраже'ния в математике, выражения, предел которых не может быть найден путём непосредственного применения теорем о пределах. Типы Н. в.:

Большая Советская Энциклопедия (НЕ) i-images-116734909.png

  К Н. в. относятся:

Большая Советская Энциклопедия (НЕ) i-images-117912157.png

причём

Большая Советская Энциклопедия (НЕ) i-images-129554468.png

причём

Большая Советская Энциклопедия (НЕ) i-images-158340821.png

где e = 2,71828... — неперово число . Указанные типы Н. в. символически обозначают так:

Большая Советская Энциклопедия (НЕ) i-images-163710058.png

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

Большая Советская Энциклопедия (НЕ) i-images-155042590.png

не является Н. в.). Не всякое Н. в. имеет предел; так, выражение

Большая Советская Энциклопедия (НЕ) i-images-188356262.png

не стремится ни к какому пределу

Большая Советская Энциклопедия (НЕ) i-images-141857237.png

  Нахождение предела Н. в. (в случае, когда он существует) называют иногда «раскрытием неопределённости», или нахождением «истинного значения» Н. в. (второй термин устарел). Оно часто основывается на замене данной функции другой, имеющей тот же предел, но не являющейся уже Н. в. Иногда такая замена достигается путём алгебраических преобразований.

  Так, например, сокращая в выражении

Большая Советская Энциклопедия (НЕ) i-images-122788489.png

числитель и знаменатель на 1—x, получаем

Большая Советская Энциклопедия (НЕ) i-images-116440288.png

поэтому

Большая Советская Энциклопедия (НЕ) i-images-183475025.png

  Для вычисления пределов Н. в. типов 1) и 2) часто оказывается полезной теорема (или правило) Лопиталя, утверждающая, что в этих случаях

Большая Советская Энциклопедия (НЕ) i-images-166791551.png

если f (x ) и g (x ) дифференцируемы в окрестности (конечной или бесконечно удалённой) точки x , за возможным исключением самой точки x , и второй предел существует. Пользуясь этой теоремой, находим, например, что

Большая Советская Энциклопедия (НЕ) i-images-158239240.png

  Иногда

Большая Советская Энциклопедия (НЕ) i-images-154500791.png

вновь является Н. в. вида 1) или 2); тогда теорема Лопиталя может быть применена (при выполнении её условий) ещё раз и т. д. Однако это не всегда приводит к цели: например, применение теоремы Лопиталя к Н. в.

Большая Советская Энциклопедия (НЕ) i-images-179238529.png

[f (x ) = e x + e -x , g (x ) = e x — e -x ]при x ® 0 ничего не даёт. Может также случиться, что

Большая Советская Энциклопедия (НЕ) i-images-191576098.png

не существует, тогда как

Большая Советская Энциклопедия (НЕ) i-images-188805266.png

типа 1) или 2) всё же существует; пример:

Большая Советская Энциклопедия (НЕ) i-images-177487744.png

не существует. Мощным средством нахождения пределов Н. в. является разложение функций в ряды. Например, так как

Большая Советская Энциклопедия (НЕ) i-images-171139309.png

то

Большая Советская Энциклопедия (НЕ) i-images-103316916.png

  Н. в. видов 3)—7) могут быть сведены к одному из видов 1) или 2). Так, например, при х ® p/2 Н. в.

Большая Советская Энциклопедия (НЕ) i-images-100609927.png

вида 4) преобразуется к виду 1):

Большая Советская Энциклопедия (НЕ) i-images-112372651.png

а последнее Н. в. имеет предел 0; Н. в. вида 3) приводится к Н. в. вида 1) или 2) преобразованием

Большая Советская Энциклопедия (НЕ) i-images-113931278.png

где

Большая Советская Энциклопедия (НЕ) i-images-102623126.png

Наконец, если через u (х ) обозначить логарифм Н. в. видов 5), 6) и 7): u (x ) = g (x ) lnf (x ), то u (х ) является Н. в. вида 3), которое, как указано, сводится к Н. в. вида 1) или 2). Так как {f (x )} g (x ) = eu (x ) , то, найдя предел u (х ) (если он существует), можно найти и предел данного Н. в. Например, для x x при x ® 0 имеем

Большая Советская Энциклопедия (НЕ) i-images-116128604.png

и, следовательно,

Большая Советская Энциклопедия (НЕ) i-images-108292143.png

  Лит.: Ильин В. А., Позняк Э. Г., Основы математического анализа, 3 изд., ч. 1, М., 1971; Кудрявцев Л. Д., Математический анализ, 2 изд., т. 1, М., 1973.

Неопределённый интеграл

Неопределённый интегра'л, общее выражение первообразной для подынтегральной функции f (x ); обозначается

Большая Советская Энциклопедия (НЕ) i-images-199129948.png

Например,

Большая Советская Энциклопедия (НЕ) i-images-106089837.png

См. Интегральное исчисление .

Неопределённых коэффициентов метод

Неопределённых коэффицие'нтов ме'тод, метод, применяемый в математике для отыскания коэффициентов выражений, вид которых заранее известен. Так, например, на основании теоретических соображений дробь

Большая Советская Энциклопедия (НЕ) i-images-177394637.png

может быть представлена в виде суммы

Большая Советская Энциклопедия (НЕ) i-images-124898241.png

где А, В и С — коэффициенты, подлежащие определению. Чтобы найти их, приравнивают второе выражение первому:

Большая Советская Энциклопедия (НЕ) i-images-199947454.png

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

(А + В + С ) х2 + (В - С ) х - А = 3x 2 - 1.

Так как последнее равенство должно выполняться для всех значений х, то коэффициенты при одинаковых степенях х справа и слева должны быть одинаковыми. Т. о., получаются три уравнения для определения трёх неизвестных коэффициентов: А + В + С = 3, В - С = 0, А = 1, откуда А = В = С = 1. Следовательно,

Большая Советская Энциклопедия (НЕ) i-images-163266096.png

справедливость этого равенства легко проверить непосредственно. Пусть ещё нужно представить дробь

Большая Советская Энциклопедия (НЕ) i-images-147001233.png

в виде

Большая Советская Энциклопедия (НЕ) i-images-148870351.png

где А, В, С и D — неизвестные рациональные коэффициенты. Приравниваем второе выражение первому