Теория интегрирования
Первообра́зная для функции (иногда называемая антипроизводной или примити́вной функцией) — это такая функция, производная которой равна . Это одно из важнейших понятий математического анализа вещественной переменной (существуют также обобщения этого понятия для комплексных функций).
Определение
Первообразной для данной функции называют такую функцию
, производная которой равна
(на всей области определения
), то есть
. Нахождение первообразной является операцией, обратной дифференцированию — последнее по заданной функции находит её производную, а найдя первообразную, мы, наоборот, по заданной производной определили исходную функцию.
Первообразные важны тем, что позволяют вычислять определённые интегралы. Если — первообразная интегрируемой непрерывной функции
, то:
Это соотношение называется формулой Ньютона — Лейбница.
Технически нахождение первообразной заключается в вычислении неопределённого интеграла для , а сам процесс называется интегрированием. О применении этой теории в геометрии см. Интегральное исчисление.
Пример: функция является первообразной для
потому что
Неоднозначность

Если — первообразная для
, то любая функция, полученная из
добавлением константы:
тоже является первообразной для
. Таким образом, если функция имеет первообразную, то она входит в целое семейство первообразных
которое называется неопределённым интегралом
и записывается в виде интеграла без указания пределов:
Верно и обратное: если — первообразная для
, и функция
определена на каком-либо интервале, тогда каждая первообразная
отличается от
на константу: всегда существует число
, такое что
для всех
. Графики таких первообразных смещены вертикально относительно друг друга, и их положение зависит от значения
Число
называют постоянной интегрирования.
Например, семейство первообразных для функции имеет вид:
, где
— любое число.
Если область определения функции не является сплошным интервалом, то её первообразные не обязаны отличаться на константу. Так, например, функция
не существует в нуле, поэтому её область определения состоит из двух интервалов:
и
Соответственно получаются два независимых семейства первообразных на этих интервалах:
, где
является константой при
и, вообще говоря, другой константой при
:
Существование
Каждая непрерывная функция имеет первообразную
, одна из которых представляется в виде интеграла от
с переменным верхним пределом:
Также существуют не непрерывные (разрывные) функции, которые имеют первообразную. Например, с
не непрерывна при
, но имеет первообразную
с
. Для разрывных ограниченных функций вместо интеграла Римана удобно использовать более общий интеграл Лебега. Необходимыми условиями существования первообразной являются принадлежность функции
первому классу Бэра и выполнение для неё свойства Дарбу.
Многие первообразные, даже несмотря на то, что они существуют, не могут быть выражены через элементарные функции (то есть через многочлены, экспоненциальные функции, логарифмы, тригонометрические функции, обратные тригонометрические функции и их комбинации). Например:
.
Для таких функций интеграл от них, если он существует, может быть вычислен приближённо с помощью численного интегрирования.
Свойства первообразной
- Первообразная суммы функций равна сумме первообразных для слагаемых.
- Первообразная произведения константы и функции равна произведению константы и первообразной функции.
- У всех функций, непрерывных на отрезке, существуют и первообразная, и интеграл по Риману. Однако в общем случае существование первообразной и интегрируемость функции не связаны:
- Функция знака (sgn) интегрируема по Риману, но не имеет первообразной (из-за разрыва в нуле).
- У функции
(положим также
) на отрезке
имеется конечная производная
таким образом, у функции
существует первообразная (а именно,
), но
не ограничена на
и поэтому не интегрируема по Риману.
Техника интегрирования
Нахождение первообразных значительно сложнее, чем нахождение производных. Для этого имеется несколько методов:
- линейность интегрирования позволяет разбивать сложные интегралы на части,
- интегрирование подстановкой, часто применяемое вместе с тригонометрическими тождествами или натуральным логарифмом,
- интегрирование по частям для операций с произведениями функций,
- , особый случай интегрирования по частям,
- метод интегрирования рациональных дробей позволяет интегрировать любые рациональные функции (дроби с полиномами в числителе и знаменателе),
- алгоритм Риша — алгоритм для интегрирования любых элементарных функций,
- некоторые интегралы можно найти в таблицах, см. Категория:Списки интегралов,
- при многократном интегрировании можно использовать дополнительную технику, для примера см. двойной интеграл и полярные координаты, Якобиан и теорема Стокса,
- Системы компьютерной алгебры помогают автоматизировать некоторые вышеприведённые символьные операции (в частности алгоритм Риша), что очень удобно, когда алгебраические вычисления становятся слишком громоздкими.
Примечания
- Первообразная функции комплексных переменных. Дата обращения: 7 мая 2019. Архивировано 7 мая 2019 года.
- Первообразная // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1984. — Т. 4. — С. 237.
- Шибинский, 2007, с. 139—140.
- Гелбаум, Б., Олмстед, Дж. Контрпримеры в анализе = Counterexamples in Analysis. — М.: ЛКИ, 2007. — С. 57, 51. — 258 с. — ISBN 978-5-382-00046-6.
Литература
- Выгодский М. Я. Справочник по высшей математике. — 12-е изд.. — М.: Наука, 1977. — 872 с.
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления в трёх томах. — Изд. 6-е. — М.: Наука, 1966. — Т. 2. — 800 с.
- Шибинский В. М. Примеры и контрпримеры в курсе математического анализа. Учебное пособие. — М.: Высшая школа, 2007. — 543 с. — ISBN 978-5-06-005774-4.
Ссылки
- Wolfram Integrator — вычисление интегралов онлайн с помощью системы Mathematica
- Mathematical Assistant on Web — символьные вычисления онлайн Архивная копия от 1 декабря 2008 на Wayback Machine
- Онлайн Калькулятор Интегралов Архивная копия от 6 января 2010 на Wayback Machine
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Теория интегрирования, Что такое Теория интегрирования? Что означает Теория интегрирования?
Pervoobra znaya dlya funkcii f x displaystyle f x inogda nazyvaemaya antiproizvodnoj ili primiti vnoj funkciej eto takaya funkciya proizvodnaya kotoroj ravna f x displaystyle f x Eto odno iz vazhnejshih ponyatij matematicheskogo analiza veshestvennoj peremennoj sushestvuyut takzhe obobsheniya etogo ponyatiya dlya kompleksnyh funkcij OpredeleniePervoobraznoj dlya dannoj funkcii f x displaystyle f x nazyvayut takuyu funkciyu F x displaystyle F x proizvodnaya kotoroj ravna f displaystyle f na vsej oblasti opredeleniya f displaystyle f to est F x f x displaystyle F x f x Nahozhdenie pervoobraznoj yavlyaetsya operaciej obratnoj differencirovaniyu poslednee po zadannoj funkcii nahodit eyo proizvodnuyu a najdya pervoobraznuyu my naoborot po zadannoj proizvodnoj opredelili ishodnuyu funkciyu Pervoobraznye vazhny tem chto pozvolyayut vychislyat opredelyonnye integraly Esli F displaystyle F pervoobraznaya integriruemoj nepreryvnoj funkcii f displaystyle f to abf x dx F b F a displaystyle int limits a b f x dx F b F a Eto sootnoshenie nazyvaetsya formuloj Nyutona Lejbnica Tehnicheski nahozhdenie pervoobraznoj zaklyuchaetsya v vychislenii neopredelyonnogo integrala dlya f x displaystyle f x a sam process nazyvaetsya integrirovaniem O primenenii etoj teorii v geometrii sm Integralnoe ischislenie Primer funkciya F x x33 displaystyle F x frac x 3 3 yavlyaetsya pervoobraznoj dlya f x x2 displaystyle f x x 2 potomu chto F x f x displaystyle F x f x NeodnoznachnostPole napravlenij funkcii F x x33 x22 x c displaystyle F x frac x 3 3 frac x 2 2 x c pokazyvayushij tri resheniya postoyannoj integrirovaniya c Esli F displaystyle F pervoobraznaya dlya f displaystyle f to lyubaya funkciya poluchennaya iz F displaystyle F dobavleniem konstanty G x F x C displaystyle G x F x C tozhe yavlyaetsya pervoobraznoj dlya f displaystyle f Takim obrazom esli funkciya imeet pervoobraznuyu to ona vhodit v celoe semejstvo pervoobraznyhF x C displaystyle F x C kotoroe nazyvaetsya neopredelyonnym integralom f x displaystyle f x i zapisyvaetsya v vide integrala bez ukazaniya predelov f x dx displaystyle int f x dx Verno i obratnoe esli F displaystyle F pervoobraznaya dlya f displaystyle f i funkciya f displaystyle f opredelena na kakom libo intervale togda kazhdaya pervoobraznaya G displaystyle G otlichaetsya ot F displaystyle F na konstantu vsegda sushestvuet chislo C displaystyle C takoe chto G x F x C displaystyle G x F x C dlya vseh x displaystyle x Grafiki takih pervoobraznyh smesheny vertikalno otnositelno drug druga i ih polozhenie zavisit ot znacheniya C displaystyle C Chislo C displaystyle C nazyvayut postoyannoj integrirovaniya Naprimer semejstvo pervoobraznyh dlya funkcii x2 displaystyle x 2 imeet vid F x x33 C displaystyle F x frac x 3 3 C gde C displaystyle C lyuboe chislo Esli oblast opredeleniya funkcii f displaystyle f ne yavlyaetsya sploshnym intervalom to eyo pervoobraznye ne obyazany otlichatsya na konstantu Tak naprimer funkciya 1x2 displaystyle frac 1 x 2 ne sushestvuet v nule poetomu eyo oblast opredeleniya sostoit iz dvuh intervalov x gt 0 displaystyle x gt 0 i x lt 0 displaystyle x lt 0 Sootvetstvenno poluchayutsya dva nezavisimyh semejstva pervoobraznyh na etih intervalah 1x C displaystyle frac 1 x hat C gde C displaystyle hat C yavlyaetsya konstantoj pri x gt 0 displaystyle x gt 0 i voobshe govorya drugoj konstantoj pri x lt 0 displaystyle x lt 0 C x C1 esli x lt 0C2 esli x gt 0 displaystyle hat C x left begin aligned C 1 text esli x lt 0 C 2 text esli x gt 0 end aligned right SushestvovanieKazhdaya nepreryvnaya funkciya f displaystyle f imeet pervoobraznuyu F displaystyle F odna iz kotoryh predstavlyaetsya v vide integrala ot f displaystyle f s peremennym verhnim predelom F x axf t dt displaystyle F x int limits a x f t dt Takzhe sushestvuyut ne nepreryvnye razryvnye funkcii kotorye imeyut pervoobraznuyu Naprimer f x 2xsin 1x cos 1x displaystyle f x 2x sin frac 1 x cos frac 1 x s f 0 0 displaystyle f 0 0 ne nepreryvna pri x 0 displaystyle x 0 no imeet pervoobraznuyu F x x2sin 1x displaystyle F x x 2 sin frac 1 x s F 0 0 displaystyle F 0 0 Dlya razryvnyh ogranichennyh funkcij vmesto integrala Rimana udobno ispolzovat bolee obshij integral Lebega Neobhodimymi usloviyami sushestvovaniya pervoobraznoj yavlyayutsya prinadlezhnost funkcii f displaystyle f pervomu klassu Bera i vypolnenie dlya neyo svojstva Darbu Mnogie pervoobraznye dazhe nesmotrya na to chto oni sushestvuyut ne mogut byt vyrazheny cherez elementarnye funkcii to est cherez mnogochleny eksponencialnye funkcii logarifmy trigonometricheskie funkcii obratnye trigonometricheskie funkcii i ih kombinacii Naprimer e x2dx sin x xdx 1ln xdx displaystyle int e x 2 dx qquad int frac sin x x dx qquad int frac 1 ln x dx Dlya takih funkcij integral ot nih esli on sushestvuet mozhet byt vychislen priblizhyonno s pomoshyu chislennogo integrirovaniya Svojstva pervoobraznojPervoobraznaya summy funkcij ravna summe pervoobraznyh dlya slagaemyh Pervoobraznaya proizvedeniya konstanty i funkcii ravna proizvedeniyu konstanty i pervoobraznoj funkcii U vseh funkcij nepreryvnyh na otrezke sushestvuyut i pervoobraznaya i integral po Rimanu Odnako v obshem sluchae sushestvovanie pervoobraznoj i integriruemost funkcii ne svyazany Funkciya znaka sgn integriruema po Rimanu no ne imeet pervoobraznoj iz za razryva v nule U funkcii f x x2sin 1x2 displaystyle f x x 2 sin frac 1 x 2 polozhim takzhe f 0 0 displaystyle f 0 0 na otrezke 1 1 displaystyle 1 1 imeetsya konechnaya proizvodnaya g x displaystyle g x takim obrazom u funkcii g x displaystyle g x sushestvuet pervoobraznaya a imenno f x displaystyle f x no g x displaystyle g x ne ogranichena na 1 1 displaystyle 1 1 i poetomu ne integriruema po Rimanu Tehnika integrirovaniyaOsnovnaya statya Metody integrirovaniya Sm takzhe Spisok integralov elementarnyh funkcij Nahozhdenie pervoobraznyh znachitelno slozhnee chem nahozhdenie proizvodnyh Dlya etogo imeetsya neskolko metodov linejnost integrirovaniya pozvolyaet razbivat slozhnye integraly na chasti integrirovanie podstanovkoj chasto primenyaemoe vmeste s trigonometricheskimi tozhdestvami ili naturalnym logarifmom integrirovanie po chastyam dlya operacij s proizvedeniyami funkcij osobyj sluchaj integrirovaniya po chastyam metod integrirovaniya racionalnyh drobej pozvolyaet integrirovat lyubye racionalnye funkcii drobi s polinomami v chislitele i znamenatele algoritm Risha algoritm dlya integrirovaniya lyubyh elementarnyh funkcij nekotorye integraly mozhno najti v tablicah sm Kategoriya Spiski integralov pri mnogokratnom integrirovanii mozhno ispolzovat dopolnitelnuyu tehniku dlya primera sm dvojnoj integral i polyarnye koordinaty Yakobian i teorema Stoksa Sistemy kompyuternoj algebry pomogayut avtomatizirovat nekotorye vysheprivedyonnye simvolnye operacii v chastnosti algoritm Risha chto ochen udobno kogda algebraicheskie vychisleniya stanovyatsya slishkom gromozdkimi PrimechaniyaPervoobraznaya funkcii kompleksnyh peremennyh neopr Data obrasheniya 7 maya 2019 Arhivirovano 7 maya 2019 goda Pervoobraznaya Matematicheskaya enciklopediya v 5 tomah M Sovetskaya Enciklopediya 1984 T 4 S 237 Shibinskij 2007 s 139 140 Gelbaum B Olmsted Dzh Kontrprimery v analize Counterexamples in Analysis M LKI 2007 S 57 51 258 s ISBN 978 5 382 00046 6 LiteraturaVygodskij M Ya Spravochnik po vysshej matematike 12 e izd M Nauka 1977 872 s Fihtengolc G M Kurs differencialnogo i integralnogo ischisleniya v tryoh tomah Izd 6 e M Nauka 1966 T 2 800 s Shibinskij V M Primery i kontrprimery v kurse matematicheskogo analiza Uchebnoe posobie M Vysshaya shkola 2007 543 s ISBN 978 5 06 005774 4 SsylkiWolfram Integrator vychislenie integralov onlajn s pomoshyu sistemy Mathematica Mathematical Assistant on Web simvolnye vychisleniya onlajn Arhivnaya kopiya ot 1 dekabrya 2008 na Wayback Machine Onlajn Kalkulyator Integralov Arhivnaya kopiya ot 6 yanvarya 2010 na Wayback Machine
