Интеграл Римана
Определение интеграла Римана
Пусть Сумма , где называется интегральной суммой Римана. При этом множество точек разбиением сегмента а множество — совокупностью промежуточных точек. Обозначим через где норму (или диаметр) разбиения .
Число называется интегралом Римана функции , если
Сама функция при этом называется интегрируемой по Риману на сегменте а класс всех таких функций будем обозначать символом Очевидно, что если то она ограничена на этом сегменте.
Верхней и нижней интегральными суммами Дарбу ограниченной функции , соответствующими разбиению называются соответственно суммы:
 , где ![M_k=\sup_{x\in[x_k,x_{k+1}]}f(x),~~m_k=\inf_{x\in[x_k,x_{k+1}]}f(x)](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAV8AAAAoBAMAAACry+R/AAAAMFBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAlTPQ5AAAAEHRSTlMA/4HFAUBZECAwoXGQQemwd8BUUwAABq9JREFUWMPtWA1sE2UYfm1vd722t9JWyo/ZLPtB4nB267KNMberWxpIzKwxKGKCNxZBBbtui2GgGVcRmD9gYQSDIaMbDIIY0jGC+Acb080sRDvAKDHixuZIBGM1AWQY43ff9Tp3Wyu7lWRR37S97+fu+5573+f9+Qrwn5RS9O0Sm3puMgsRY0dYAK1PbN8ULytSgui3OmWe4m3oogDo2sU2tWDiz78uNfYW+eRzFbkAh8PtbR78CruMIXTpsAQVA6472QeNnnDnomfCau0Pw9QMtVplcxqLGciccMdpw5fFWWiAabIpN2RrAwcLpU6JdcKAi3ixoR2slmtYPzMXEiWWEUP4oksdRNuUW5UD/pNlmRlShxycMOBS6V1zxsyV5BCEm5V6bfjX0HA3wANNsRlBsDHmBpAmIntRSYpfXD0WsMMPMBzp9WJTlD2cBJr9/WxMtxp+3/9DLtG5gLS/uO8+Gc1SzBmYCMy+VZ0cENkjUw0HXyn2CW4TU5x23zOFbxT7NJmX0mRTrzZlc8QV1Ki8th55swOTY68uCQy15oiGvscymkx1Ox+xvWUCdxLddKle5srUd6YL4AgAvLAueQcyln1kJmd2vrrgWHnEeFvx0t/KUDFZwTeT8x+9TJ17SG7mrU2f+jTIZORB94IjLJTgUPQxY4KVpAl0omroFCyjw2mvT2MjTKBKAkc74ZVZTjULwBsEykbNdiACd0Zs5fzA7NHfA14rpIrLncVLzx3jtEHo58mk8TjcwQKDAG+E3i+QSktwZLhJm6iQFo1my3PBiHh/OsEKgKeDwwrqmaMXNSC19gZB4yItNCJZZgQws9kCJYNQzoE6ZjpBD9sFXOMALhIBb4JW3zthkhODhFnLl6FNf46+JNlv5MIatoJB5laJaJntgjH1OFTMGfEGNFDlhyYPVHliAyYwYPWY0ErcCxiwEIkkr6RDxMBZ8NqAnkZ7olGidvHJy8RsScMywA7ELEcwEpa+ZP/u9uUc8QuAGzDvd4xPCQnwWA3TpjBgYZEwJXRWyAoRKAzr8j7yC04/ntMtA3oWYQYtBlx3WbYfejnkdHRulZ/xC05HrQrPVLVDB09aSqCn+lZ0pxMoMcCOC9iJwApOd263CVYjwALAmmPwa5BoOg+Gng2BaEZ7zMcMonBbZwFHHnTIbmv14fymsrRaa3ggCkElhRykXjurmrECFgaGYsTx1iBhZp2I7zZ5bFUhkglhLWuPhcrDaoFEoxHmQ5bRyCZeiUo04lxBahDcZ84YbY7hVPneKN6AKgcSrh64hEIuZQHSGN440wMmYK7eoJJjOZ3DaJ5jTDIKn5zxUskwEBXvuTuRWrYLdi9lcXZkYbvBHxXx2kWvoTu/0ZwHR1q9XA3FAtmQKmphMZoiEWFKwrfUgsDddUDmLdTEqk5ZtD9BjOToiJQJHHADLOKpnah1ctTWbarfA/+cPh3ymsN5wyJcIulMjW7YIC9h/KefUJKrT3kFXy6LpJPRtr1FFtxGZej9TK6EK33Ce1+U+kKd2SW3LFfpV1LOJ1fgmCpFO7Jv1DQPt4FXb7fLKkDVAB6IFPBI1Zp22VMURGWEM1rBL2T4I/m4KRXwdb64nI9YkVgHlB2RVNGKLvXIiUl2RIqzsHEEPNWEOlXguiOAiTWuKOrxK17zpbUueJfHGl6aED4ibaJccdJwerSJNMUH7a7CZqodU0JbcV30/oTjhYenLGA9zOpiXBjwCUNXCLuqlppxIOGGiJ1XDrgaVVfxBwwJfaCz2+0cokSiC1ScFHCRsmmAVJciwJoTL/N0N9YwyT0rjW32xAOwyl/LcGKU8AKvrhdorG9fS4eehATEB2WA92zMCGlFShza5xY94+nG5lAcAG973PohdGPAw22UNXGlnwx5G7l5uoxrkwAcSDzL7SpFdVF6gq/nbfgKj921g2vEzkw9PwnANXP/4GD9c6UIcE/nfM/ybg/548bm3zhDvufo/SmcQsDIWLAsReQwyrir8dhy0YE5oFsmAbi0VDyBhOPw3M99gDmnrqufhIa3tAFfjSlBbZmpgUNLhIrjQYqv0fFgxbEjDSYrIuD8oy7ABcheQ0AAnNmiCPBQts6lEvJ4uuH6tGrIrYQKfnq2jl/zCRdnwB5UHvnEMglHCeH8pmCx5mXovDh/yVJIJ5tPd2tQ9dkQKKjsgk6OXtLyVHwAM9H+5U1RnPC/viDGYfJ4OuBIBLa8+FHizggGrN/dAlocg0PNgAA7i11TFnBGuDpBxzNJOOEPTWb/FAW8lR+/7GWC8L/82+Qv5N69+fuZfGsAAAAASUVORK5CYII=)
Верхним и нижним интегралами Дарбу ограниченной функции называются соответственно числа:
Функция называется интегрируемой в смысле Дарбу на сегменте если , а общее значение верхнего и нижнего интегралов называется интегралом Дарбу функции на сегменте .
Теорема 1. Если интеграл Римана и определённый интеграл Ньютона-Лейбница функции существуют одновременно, то они равны друг другу.
Теорема 2. Для ограниченной функции интегралы Римана и Дарбу эквивалентны, то есть они существуют или не существуют одновременно, а в случае существования их значения совпадают.
Для интеграла Римана (Дарбу) используют то же обозначение, что и для интеграла Ньютона-Лейбница 
Множество имеет лебегову (жорданову) меру 0, если существует такое счётное (конечное) покрытие множества семейством интегралов , что
 При этом будем писать 
Теорема 3. Пусть ограниченная функция и — множество точек разрыва. Функция интегрируема по Риману на тогда и только тогда, когда — множество лебеговой меры 0.
Пусть и . Тогда имеют место следующие свойства.
Теорема 4 (основная теорема интегрального исчисления). Функция дифференцируема в каждой точке , в которой непрерывна в этих точках
Теорема 5 (основная формула интегрального исчисления). Если множество точек разрыва функции = не более чем счётно, то функция является первообразной в широком смысле для и имеет место формула Ньютона-Лейбница
Пусть и функции дифференцируемы на Тогда
Пусть — дифференцируемая функция и Тогда имеет место равенство
которое называется формулой замены переменной в интеграле Римана.
Пусть — дифференцируемые функции, Тогда и выполняется равенство
которое называется формулой интегрирования по частям.
Пусть . Функция называется характеристической функцией множества , если
Если — ограниченная функция и то определим интеграл Римана от функции на множестве как
Пусть — ограниченная функция. Рассмотрим продолжение этой функции на весь сегмент , где
Если , то определим
Точка в упорядоченном пространстве называется граничной точкой (точкой границы) множества , если любая окрестность этой точки содержит как точки множества , так и точки множества . Совокупность всех граничных точек множества называется границей этого множества и обозначается .
Если граница ограниченного множество имеет лебегову меру 0, то это множество называется измеримым по Жордану, а интеграл
называется мерой Жордана множества и обозначается где — произвольный сегмент, содержащий множество .
Применение интеграла Римана
Применение интеграла Римана чаще всего проводится по одной и той же схеме, к которой приводят рассуждение геометрического или физического характера.
Функцию , где ( – фиксированные числа из ) называют функцией промежутка, определённой на Функция промежутка называется аддитивной функцией промежутка (АФП), если выполняется равенство .
Теорема 1 (связь АФП с интегралом Римана). Если для АФП существует такая интегрируемая по Риману функция что выполняются соотношения
![(\beta-\alpha)\inf_{x\in[\alpha,\beta]}f(x) \leqslant F([\alpha,\beta]) \leqslant (\beta-\alpha)\sup_{x\in[\alpha,\beta]}f(x),](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAbsAAAAoCAMAAABQMqR1AAAAM1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADbQS4qAAAAEHRSTlMAEGEVQcCaAYEo0FHwcbDgyjhQZQAACR9JREFUeNrtW4mWrCgMFYYlAUX+/2snYVFQyraXN9VvqjwzfbqrxITcLDfBN03/r8vaO/fY/9GOJXxm7/ny5r5BP/pGyu5TI78AGmr6CTGqj7C1OmqSC7eEiDB93jRa/IATNrtqNnkyOrqqlg96VTefbmD4MeIJZb3q8a3aJV1kOOjtbujgYbtYIq5sMFCXBkbaHhAIjJ3V/gZ0Drul9y7lvgueMDo5QN5VYxk4gCc2uBgONeNNAasfuX+cD+aDGfUwGsS6zJFuxvm4VRzrIADbXDFHw8jlh+sURqCuQ1OQUDkl7CbxsRBb/XNbeu8C803sjDPNrtrL9UaH6vaKRdp4N/CkGzg5zu5gsdlMuAwjJyptxgE8imk0rtuJKF6SMJDr9CF2IoUDiczYTcZ8JGTzqm3pvQsjfi/sIkAQ2646o6+t0cXsa6piBdVtuWKI8hFPG2Fc8KyJ9tFG/TkUzTHH+VhMSUhYt3yMXa5wMxTs7FkwCZG21dAcl96Nm+8Fno9pr3Yd+HwX/D7aJuwoXKe7RfmWHzJ248vlCIXVDhb1QCmjT5XMRN4F/e92/K+wsylNsGsW7Owsj8j1QmyUx6U3r2W2X2HAm5dlScPwDaHLreWpRikqH+ulgrS/sJl1YHX6ngwjtZYqaEPBoyDqIaUDiCswrDpUDkWRBTnD29YtrNJBDaDgnRHbtZwyi/8V7Dotd/wRYGG8Ss6cDkL0UcgG1r70IgstWoPYqv7BiioYupJhGhtJsy3pWL+LiYAtZVeCb/NF284tdAXS2bDq1Vz7k7c4L6WAqXjCTsiVPlQmOiPETE9GFY0auINQC32h9kykghBRe5l3bXRDUw0OM3ZUyjNfYsLvWux6LTdn8d45zXWhYgd7OVEjIdV2zdLHTj0bFI60NjlilzP5CpoNA9VGIcYF0Z1jBdXslBJbVAlKB8TIcV2mQ/TbSn2FHheB1iO4wlkzi9yBDZOI5g2r6NKvV/VO5nJZcioXWxvDtOZKB7t3gZN2WBNWrdeY7akL1Am7g5Zt12Un7ko27HbfW0ZCtu/LUrigsOynpJPEMCoUnvXkr1T6otjIJHuH8+igVPKyK95UiAJyHVENy9jEeOj+RLVf2HFIekjevBqRlaLXpuLDemey3UtRQc/5fantYWNWYu1OisHyhTvT6YTdUcuu3E2crgbYsZDlKKRGc7M0p4yTZWirmHKBMdkhD7SGOiez4HTADnLqPzmNKlFbdsVZftVW4HTCrorJUsWGHfTNb8ohS3ai0nZ8Czurc7XcCAE/H08uXw17qgup3Clzxq5oKWPfHKnqy2PsuGAdhUC5r1matdkvWbFxeS9lCnHAzlo5x8h8/oTdNOh9l/KR1jv2UBg8BWqDnYbiXC097bl+4Ui5XyShevoB7OZw5KGhSZS7WT0b1MqDYUU3AwgNdkctt3KXpY1z5iYEBzkzLxXxMRVQsZS50u8fNy2EVTCTs57jTp8LT2meGuzkbunO6IWriLxAr/aCuooOXhXF17HD8nlxUaTOata5KKR0tdeKjBoZtqUTvrNky1WKxX3eI9adZhaZQnvAVTYhLWepXKVZ+hC7UnB0LUTLedDCzdgJOxHXM4Ouu9lmCAnNPCbNJKMk63KH59xFFf6CqigGzSpisDn3wjzozKpetvxqH7irr/4TTPaLRfKduRuwuqngFTWi8dg09mBb3rNj12lp55KSc5irxPMrdkG3QtaTkMLb9qUP3domeo6BvK90Zuo4F6Qdr8UaGNnpKTEwl4z+3NyadldI983E+qTZHYqegA3TN94ZWM3lFJX2x62GcXl/OgzgpUvp9JN/UBfHPx8HMSnDkW5xpc54hTKROvrtsU9IAhqG1vXmnZa6CFfGOAi6eIYdEYpjn0DNu2+W4uWolIwXDFI2WJIjHAgIOEcPwaKcATaJikGDG4z+VZTdrpxxypk6qkkOh2tuNrOGzKVQ2Q9mKhYxuUI2+6hZzYdjzc9Hp2W6jgSyholGWWUfDAQpHIzqxXTP1e1MrNNSQa1ZQtXWWdtHQvohQLZXWXo5GMnG205RzMGrqd5lnViImNLvnJsQh81T/bTMxPjJKPqZWDk2S8mYursbUxvbUpfBpPT2wE5z79wNnu1wkHiYi13MxVvsWi0XfzpTKzOxgRAe7qi2pbZfOo4bTHrt6S81TEcY/DboqrtqrSNz/2tLikiDeA+fBmD1X8ZOR7lPm++eAZFhH+etfOR3nmeKbAjbnnlcnAHZXghnQOs+fcx+6wyI8qsdlZKlsev5ILM0PvVM1nKHK/EnFZR6PPuroy65uvYozhz5zoPJ4UVmQDc+e10y3WjHY/nsdbohxAqqcuMDrMvCst6IVKO11nYwoHHLcVftdoqpNl5i2XiffYnj8p2H0TwfgAxRyaHt5EEfwV955yE3F+BOlCLL6RKyvv/OAz318y+3hG+c3h0YB4bp4s8/cg2wI0+hQIc/9ZpPgeiWB/7xd43sz+7qP1JcGm38CDslmYT/Oeze1xcvptBMwLHyeCgzjT1bG2pag39jZ4cFgcwH8jnQAfWOS2gqaJrnB+mdqB0Mtf6O7nhjN+DzCzfeFp6iD0Hm5AITyrbeMb8lpTKciaw5fGM3gEiSoTQ+CTtuRtNrSo55L484CLtlTbyvaJRaEELzdbGTfGQ0xI4JexRPw87z+z6UO5u4S2MhKG23NQXgl8POy8lz8a9MIEOklr2N8AoVJa0nYbdSwk5Ecjv94rhjuNLgNNA33K3y7OvVsDNonJ9xtwxDJMJCZGBa6i06kHmehJ02oNMrX8JITD0IYSeCAUA+vXGaCGiARLBeDDuFVPIxcbQyPGeIeJCqVu/3lARPi7u28V/SewC1vyunavvE7dXizk75VEvnVyQSdun8QtVDOoRfgl1t/NvenGeJ2/zsxbATKAgonHYDWD64m5p37JhlMsDPj7vpjN3k039F89fCLmgZE4XbBtop7rjKRYIUdB7e8j+E+jXYqQcvl0t4Kegmb8CY9CaMN17xq8QMkWQmAMQEpON6aGCZfhF272vgzxt2Wy2cQGx91Ru7v2uuIkxu/t7Y/R3YtcfyKKYKHao3dr8eu+Yf1rQn9P8ofBvn14M3PkB9n2u+1PUvY0xWMmDzhTsAAAAASUVORK5CYII=) то ![F([a,b])=\int\limits_{a}^{b}f(x)\,dx.](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAALoAAABMBAMAAAAo67DGAAAAMFBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAlTPQ5AAAAD3RSTlMAAYGa1sBpEEIxIFHwsUG1kfQUAAAETUlEQVRYw+2YUWhbVRjHv5Ob3Nt7s5Q7lwYGlVyqsKFoAxJlrlsbkq1T0WbOuocJzTZ82iABy0RRbpGhmw82MraHMUhg80EsLi8iPkjMYCsM5gqje1FZGWP6oG5ds3RZrfG7596T3rTX4MQPQXteEm7u+d1zvu///c+XC7A6/tHxeoySHjIo6WtmKOmFz3N0cHbwwADh2q/A74T0b7U6If22/A0lPVAipO9/etVR/p2hU8JHhymtIHmG0IPlenaKju5PHCoSOnBsLWFS+ymNAIYIFQNKlVLuwTnKwEg1Srr/3t+pwGUyY38WXXP2gdGboXvXso7rJfjEUxzlhPhmreeAE66MV/57rGGAZECXa+2+4RKwjRBMe8pdXFVTBsiOJyjP2Z/atGuO8kS15/2+NNzQocsVic4RbLc2Ajzltc0R0ei9c3AWJsT2TtlflHJ6mQDkNGyHFjpc0zl9wiM0rCGCkD2egZeXN5dn3fbpx9akwwhOttLZeeB0v0c/qjbyzSXo6v1mFUw6j3TbhFmBD4OGlG6lq3dsui/h4b8NceM29w1swcmKe7vlKRjUcmGD05X4s/auI7XpjEXvmF9JX3dXdwRR7YEAxkGNfxlHESSti1/vSelKfMMXTnj6t17Hx0cznH5qb9nWcmjxzQsWXeEN40e/WuNHhx52jEC5OXcUorisX96qvofTpq0sPj86B+9+nNp0wfG74RF8TmHMoisv4sHAr3YPwCs60plV9Gwfl+1jIpbCCCL3+LLYIJuLVgAexS31F30LsBVee8NuY5XfdKsOxjkdfzHtLRUMGOL0Oys7gHFhBBIuODoGWqmzpuJZ1auDtgjSPJTYJcVOfHARAkVBD1egzDPOsjNKFZr01tErjCCc4HRMLRcO0iM1flGttfqdyenmTpHxXh1ttkm3I7NBlKqQSTRmJwy6Eg49VOdyl+suuYPIKqYoJeUP5awYShd5Vq0osCN8fOAob0iUSwEndRug7jGntBiwOMrpNmS/il0JzbIEfIa3mrM8qLYi/TH57ihcw9nZ3HiJK7LerlTRLUIx8NWyxsNFYGiC8rx6+fRPi+aAbLDLJSg0Gny+XU1q8mrfd9CL+5R27bCrqeJRqmMiRLiwSAI6kpvOveDIa3rLzz8oyR1JfNL3RcvE+do7K1zv63UNF7ETL3xq+4w/1qZUhy1LxHJ7G9Zb+rAKT8mxMVB1FYPLXNt9dckJNEFE+tmVXZHPKVV5NxfE1WYJt2n+Di/RQzNLdA8HDjilGqgN8onCVibatCEPGU36CbEfPD0GV94Zdtwqso1XjOwsmW1vd/T95ZPPvN967D7e5uR78FN7PEHZb2QpX5+w/gwlfYiwdSduUTtIW1TfAiW9a5KOreWjhIJcU8/mCVv33UnCqKupZyiTSvlHdXX8N8exRwhrVbvoI3zvs26K8s2+P0P5Zt8/c0sifN+2ue9JQps5qeX/F7XxB5WzFCv048/gAAAAAElFTkSuQmCC)
Эта теорема даёт возможность свести задачи вычисления площади плоской фигуры, объёма тела вращения, длины дуги кривой, статических моментов и моментов инерции кривых относительно фиксированных прямых, а также ряд других задач геометрического или физического содержания к задаче интегрирования соответствующих функций по Риману.
Поскольку применение обычного интеграла Римана (или, как ещё говорят, однократного интеграла) для вычисления различных моментов, координат центра тяжести и т.п. представляется нерациональным, то ниже приведём только схемы и методы вычисления геометрических величин, которые достаточно просто и рационально находить именно с использованием интеграла Римана.
1. Площадь криволинейной трапеции. Если функция непрерывна на отрезке , то криволинейной трапецией называется множество
и площадь криволинейной трапеции вычисляется по формуле
2. Площадь криволинейного сектора. Криволинейным сектором в полярной системе координат называется множество
где функция непрерывна на .
Площадь криволинейного сектора вычисляется по формуле
3. Объём тела вращения. Если криволинейная трапеция где , вращается вокруг оси , то объём образованного тела вращения вычисляется по формуле
4. Объём тела по известным поперечным сечениям. Если для некоторого тела известны площади всех его поперечных сечений вдоль некоторой числовой прямой , которые задаются непрерывной функцией , то объём данного тела находится по формуле
5. Длина дуги гладкой кривой. Множество называется простой гладкой кривой (траекторией), если существует отображение
При этом отображение называется параметрическим изображением кривой , Длина этой кривой может быть найдена по формуле
Если то последняя формула приобретает вид
Если же кривая задана в полярных координатах , то её длина вычисляется по формуле
6. Площадь криволинейной трапеции, ограниченной кривой заданной параметрически , осью абсцисс и прямыми и , равна
где и определяются из уравнений и при .
7. Объем тела, полученный вращением криволинейной трапеции вокруг оси ординат , равен
8. Объем тела, полученный вращением сектора вокруг полярной оси, равен
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|