Тапҡырлы интеграл

testwiki проектынан
Навигацияға күсергә Эҙләүгә күсергә

Ҡалып:Ук Математик анализда тапҡырлы йәки күп тапҡырлы интеграл тип  d>1 үҙгәреүсәндәрҙән алынған интегралдар күмәклеге атала. Мәҫәлән:

df(x1,,xd)dx1dxd

Иҫкәрмә: тапҡырлы интеграл (Ҡалып:Lang-ru) − ул аныҡ интеграл, уны иҫәпләгәндә һәр саҡ һан килеп сыға.

Тапҡырлы интеграл билдәләмәһе

Bn[1] n-үлсәмле матди арауыҡтың үлсәнмәле күмәклеге булһын, f:B — B күмәклегендә бирелгән функция.

B күмәклегенең бүленеше σ — ул берекмәлә бөтә B күмәклеген биргән, икешәрләп киҫешмәүсе аҫкүмәклектәре йыйылмаһы σ={UiB}.

Бүленеш ваҡлығы |σ| — ул Uiσ күмәклектәренең иң ҙур диаметры.

|σ|=max{diam(Ui)}

Бүленеш сикле тип атала, әгәр ул сикле күмәклек булһа, һәм үлсәнмәле тип атала, әгәр уның бөтә элементтары ла — үлсәнмәле (был осраҡта — Жордан буйынса) күмәклектәр булһа.

f функцияһының B күмәклегендә тапҡырлы (n-тапҡырлы) интегралы тип шундай I һаны (әгәр ул булһа) атала, I һанының ни тиклем бәләкәй генә ε-тирә-яғын алмайыҡ, һәр саҡ B күмәклегенең шундай бүленеше һәм аралағы нөктәләр йыйылмаһы табыла, функцияның аралыҡ нөктәһендәге ҡиммәтенең бүленеш үлсәменә ҡабатландыҡтары суммаһы был тирә-яҡҡа инә. Формаль рәүештә:

ε>0δ>0 : σ={Ui}i=1m : |σ|<δξiUi|i=1mf(ξi)μ(Ui)I|<ε

Бында μ(Ui) — Ui күмәклегенең үлсәме.

Был билдәләмәне интеграль суммалар ҡулланып икенсе формала әйтеп бирергә мөмкин. Атап әйткәндә, бирелгән σ={Ui}i=1m бүленеше һәм ξ={ξiUi} нгөктәләр күмәклеге өсөн

ζ(f,σ,ξ)=i=1mf(ξi)μ(Ui) интеграль суммаһын ҡарайыҡ.

f:B функцияһының тапҡырлы интегралы тип

I=lim|σ|0ζ(f,σ,ξ) сикләнмәһе атала (әгәр ул булһа).

Сикләнмә 0-гә ынтылған ваҡлыҡ менән бөтә бүленештәр эҙмә-эҙлелеге күмәклеге буйынса алына. Әлбиттә, был билдәләмә алдағыһынан, асылда, ҡулланылған теле менән генә айырыла.

Интеграл түбәндәгесә тамғалана:

  • Векторлы күренештә[2]
Gf(X)dX=I,
  • Йәки интеграл тамғаһын  d тапҡыр ҡуялар, функцияны һәм  d дифференциалдарын яҙалар: df(x1,,xd)dx1dxd=I.
  • Икеләтелгән һәм өсләтелгән интегралдар өсөн шулай уҡ ярашлы рәүештә и тамғаланыштары ҡулланыла.

Хәҙерге математик һәм физик мәҡәләләрҙә интеграл тамғаһын ҡабат-ҡабат яҙыу ҡулланылмай.

Бындай күп тапҡырлы интеграл үҙ мәғәнәлә интеграл тип атала.

n=1 осрағында тапҡырлы интеграл Риман интегралы менән тап килә.

Тапҡырлы интегралдың булыуы

Етерлек шарттар
  • Әгәр функция Жордан буйынса үлсәнмәле компактта өҙлөкһөҙ булһа, ул был компактта интегралланыусы функция.
    • Күмәклектә сикләнмәгән функция өҙлөкһөҙ булһа ла интегралланыусы булмаҫҡа мөмкин. Мәҫәлән, y=1/x функцияһы (0;1) интервалында интегралланыусы түгел.
  • Әгәр функция Жордан буйынса үлсәнмәле күмәклектә бирелһә, һәм күмәклектең шундай мөмкин тиклем ваҡ бүленештәре булып, бирелгән функция бөтә ыңғай үлсәмле элементтарының берекмәһендә сикһеҙ булһа, ул саҡта функция был күмәклектә интегралланыусы түгел.
Дарбу критерийы

Ҡалып:Main Функцияның G күмәклегендә өҫкө I* һәм түбәнге I* Дарбу интегралдары булһын, ти. Ул саҡта, әгәр өҫкө һәм түбәнге Дарбу интегралдары тигеҙ булһа, бирелгән функция G күмәклегендә интегралланыусы, шуның менән бергә:

I*=I*=Gf(X)dX
Лебег критерийы

G — Жордан буйынса үлсәнмәле күмәклек булһын, ти. Функция G күмәклегендә интегралланыусы була, әгәр:

  • Функция G күмәклегендә сикле булһа.
  • Функция GE күмәклегендә өҙлөкһөҙ булһа, бында E күмәклегенең Лебег үлсәме нуль.

Тапҡырлы интегралдар үҙсәнлектәре

  • Функция буйынса һыҙыҡлылыҡ.  G үлсәнмәле,  f һәм  g функциялары  G күмәклегендә интегралланыусы булһын, ти. Ул саҡта
λ,μ:G(λf+μg)dX=λGfdX+μGgdX.
  • Интеграллау күмәклеге буйынса аддитивлыҡ. G1 һәм G2 үлсәнмәле күмәклектәр булһын, ти. G1G2= һәм G1G2=G. Шулай уҡ f(X) функцияһы G1 һәм G2 күмәклектәренең һәр береһендә билдәләнгән һәм интегралланыусы булһын. Ул саҡта G буйынса интеграл бар һәм
Gf(X)dX=G1f(X)dX+G2f(X)dX.
  • Функция буйынса монотонлыҡ. G үлсәнмәле күмәклек, f һәм g функциялары G күмәклегендә интегралланыусы функциялар булһын, шуның менән бергә XG:f(X)g(X). Ул саҡта
Gf(X)dXGg(X)dX.
  • Өсмөйөштөң интеграль тигеҙһеҙлеге. Алдағы үҙсәнлектең эҙемтәһе.
|Gf(X)dX|G|f(X)|dX
  • Урта тураһында интеграль теорема. G — компакт, f(X) функцияһы G компактында өҙлөкһөҙ һәм интегралланыусы функция булһын, ти. Ул саҡта
YG:Gf(X)dX=f(Y)μ(G)
  • f(X)=c даими функцияһы теләһә ниндәй G үлсәнмәле күмәклегендә интегралланыусы була, шуның менән бергә
Gf(X)dX=cμ(G).
  • Эҙемтә булараҡ,  GdX=μ(G).

Тапҡырлы интегралдарҙы иҫәпләү

Тапҡырлы интегралдарҙы ҡабатлы интегралға ҡайтарып ҡалдырыу

Dd1 — үлсәнмәле күмәклек булһын, ти. G={(x1,,xd):(x1,,xd1)D;φ(x1,,xd1)xdψ(x1,,xd1)} — шулай уҡ үлсәнмәле күмәклек, f(X)  G күмәклегендә өҙлөкһөҙ һәм интегралланыусы функция булһын. Ул саҡта

  •  φ(x1,,xd1)ψ(x1,,xd1)f(x1,,xd)dxdI(x1,,xd1) Лебег үлсәме нуль булған D0 күмәклегенән башҡа, D күмәклегендә бөтә ерҙә бар (D0 буш булырға мөмкин);
  • DI~(x1,,xd1)dx1dxd1D[φ(x1,,xd1)ψ(x1,,xd1)f(x1,,xd)dxd]dx1dxd1 бар, бында
I~(x1,,xd1){I(x1,,xd1),(x1,,xd1)DD00(x1,,xd1)D0,
f(x1,,xd1) функцияһынан G күмәклеге буйынса ҡабатлы интегралы;
  • Gf(x1,,xd)dx1dxd=D[φ(x1,,xd1)ψ(x1,,xd1)f(x1,,xd)dxd]dx1dxd1.

Теләһә ниндәй d-үлсәмле интегралды d бер үлсәмле интегралға ҡайтарып ҡалдырып була.

Тапҡырлы интегралда үҙгәреүсәндәрҙе алмаштырып ҡуйыу

math>\ {{D}'}</math> өлкәһен  D-ға күсереүсе dd биектив сағылышы бирелһен, ти:

{t1=ψ1(x1,,xd)t2=ψ2(x1,,xd)td=ψd(x1,,xd),

бында t — «иҫке» координаталар, ә x — «яңы» координаталар. Артабан сағылдырыуҙы биргән функцияларҙың  D өлкәһендә беренсе тәртиптәге өҙлөкһөҙ айырым сығарылмалары, шулай уҡ сикләнгән һәм нулдән айырмалы якобианы булһын, ти.

D(t)D(x)=D(t1,,td)D(x1,,xd).

Ул саҡта интеграл булыу шарты үтәлгәндә

Df(T)dT=Df(t1,,td)dt1dtd

үҙгәреүсәндәрҙе алмаштырып ҡуйыу формулаһы дөрөҫ:

Df(t1,,td)dt1dtd=Df(ψ1(x1,,xd),,ψd(x1,,xd))|D(t1,,td)D(x1,,xd)|dx1dxd

Симметрияны ҡулланыу

Әгәр интеграллау өлкәһе интеграллау үҙгәреүсәндәренең кәм тигәндә береһе буйынса координаталар башына ҡарата симметрик булһа һәм интеграл аҫты функцияһы был үҙгәреүсән буйынса таҡ булһа, интеграл нулгә тигеҙ, сөнки өлкәнең ике яртыһы буйынса интегралдар бер үк абсолют ҡиммәткә эйә, әммә ҡапма-ҡаршы тамғалы. Әгәр интеграль аҫты функцияһы был үҙгәреүсән буйынса йоп булһа, интеграл интеграллау өлкәһенең бер яртыһы буйынса икеләтелгән интегралға тигеҙ, сөнки һәр ярты өлкә буйынса интегралдар тигеҙ.

Миҫал 1.

f(x,y)=2sin(x)3y3+5

функцияһы

T={(x,y)𝐑2 : x2+y21} өлкәһе,

радиусы 1 һәм үҙәге координаталар башы булған түңәрәк буйынса интегралланһын, ти .

Һыҙыҡлы булыу үҙсәнлеген файҙаланып, интегралды өс өлөшкә тарҡатырға мөмкин:

T(2sinx3y3+5)dxdy=T2sinxdxdyT3y3dxdy+T5dxdy

2sin(x) и 3y3 таҡ функция булып торалар, бынан тыш, T дискы x күсәренә ҡарата ла, шулай уҡ y күсәре буйынса ла симметрик. Шулай итеп, аҙаҡҡы һөҙөмтәгә 5 константаһы ғыны өлөш индерә.

Миҫал 2. f(x, y, z) = x exp(y2 + z2) функцияһы радиусы 2 һәм үҙәге координаталар башында булған сфера буйнса интегралланһын, ти,

T={(x,y,z)𝐑3 : x2+y2+z24}.

«Шар» бөтә өс күсәр буйынса симметрик, әммә интеграл 0-гә тигеҙ икәнен күрһәтеү өсөн x күсәре буйынса интеграллау етә, сөнки функция был үҙгәреүсән буйынса таҡ.

Икеләтә интеграл

Икеләтә интегралдың геометрик мәғәнәһе

Икеләтә интеграл тип  d=2 булған тапҡырлы интегралды атайҙар.

Df(P)dσ. Бында  dσ — ҡаралған координаталарҙа майҙан элементы.

Тура мөйөшлө координаталарҙа: Df(x,y)dxdy, бында  dxdy — тура мөйөшлө координаталарҙа майҙан элементы.

Икеләтә интегралдың геометрик мәғәнәһе

f(x,y) функцияһы  D өлкәһендә тик ыңғай ҡиммәттәр генә ҡабул итһен, ти. Ул саҡта Df(x,y)dσ:: икеләтә интегралы һан яғынан  D нигеҙендә төҙөлгән һәм өҫтән z=f(x,y) йөҙөнөң ярашлы киҫәге менән сикләнгән вертикаль цилиндрик есемдең  V күләменә тигеҙ.

Икеләтә интегралды поляр координаталар аша күрһәтеү

Тура мөйөшлө координаталарҙан поляр координаталарға күсеү.
Тура мөйөшлө координаталарҙан поляр координаталарға күсеү.

Ҡайһы бер осраҡтарҙа икеләтә интегралды тура мөйөшлө координаталарҙа түгел, ә поляр координаталарҙа иҫәпләү ябайыраҡ, сөнки был осраҡта интеграллау өлкәһенең күренешенең һәм дөйөм алғанда бөтә интеграллау процесының һиҙелерлек ябайлашыуы мөмкин.

Үҙгәреүсәндәрҙе алмаштырып ҡуйыу тураһында теореманы ҡулланабыҙ. Күсеүгә ярашлы үҙгәртеү түбәндәге күренештә:

{x=rcosφy=rsinφ

Сағылыш якобианы модуле  r-ға тигеҙ. Шулай итеп табабыҙ

Df(x,y)dxdy=Dg(r,φ)rdrdφ, бында g(r,φ)=f(rcosφ,rsinφ).

Бында  rdrdφ поляр координаталарҙа майҙан элементы була.

Ирекле координаталар системаһына күсеү миҫалы

D={(x,y):x2+y241} өлкәһенең майҙанын иҫәпләйек.

Поляр координаталар системаһына күсеү өлкәне ябайыраҡ итмәй:

D'={(r,φ):r2(cos2φ+14sin2φ)1}.

Синус алдындағы ҡабатлашыусы «ҡамасаулай». Был осраҡта күсеүҙе бер аҙ көйләргә мөмкин:

{x=rcosφy=2rsinφ.

Был үҙгәртеү баштағы өлкәне артабанғы өлкәгә күсерә:

D'={(r,φ):r21}{0φ2π0r1.

Сағылыш якобианы:

|xryrxφyφ|=|cosφ2sinφrsinφ2rcosφ|=2r.

Якобиан модуле шулай уҡ 2r-ға тигеҙ.

Ошонан сығып

S(D)=D2rdrdφ=202πdφ01rdr=02πdφ=2π.

Һөҙөмтә дөрөҫ, сөнки  D өлкәһе каноник тигеҙләмә менән бирелгән эллипс менән сикләнә. Майҙанды S=πab формулаһы буйынса иҫәпләргә мөмкин. Алмаштырыу юлы менән интегралды иҫәпләүҙең дөрөҫлөгөнә инанабыҙ.


Икеле интегралдарҙың ҡулланыуы

Дәүмәлдең исеме Дөйөм аңлатма Тура мөйөшлө координаталары Поляр координаталары
Яҫы фигураның майҙаны S=Gdσ Gdxdy Grdrdφ
Тығыҙлығы μ булған йоҡа яҫы пластинканың массаһы m=Gμ(σ)dσ Gμ(x,y)dxdy Gμ(r,φ)rdrdφ
1) йөҙө киҫәгенең майҙаны S=Gdσcosγ G1+(zx)2+(zy)2dxdy Gr2+r2(zρ)2+(zφ)2drdφ
XOY яҫылығында торған цилиндрик есемдең күләме, V=Gzdσ Gzdxdy Gzrdrdφ
2) яҫы фигураһының OZ3) күсәренә ҡарата инерция моменты Iz=Gr2dσ G(x2+y2)dxdy Gr3drdφ
2) яҫы фигураһының OX3) күсәренә ҡарата инерция моменты Iz=Gy2dσ Gy2dxdy Gr3sin2φdrdφ
3) бер төрлө пластинканың масса үҙәге координаталары xc=1SGxdσ

yc=1SGydσ

1SGxdxdy1SGydxdy 1SGr2cosφdrdφ1SGr2sinφdrdφ
Иҫкәрмәләр

1) G өлкәһе — XOY яҫылығына проекция; өлкәнең һәр нөктәһенә йөҙҙөң бер генә нөктәһе проекциялана;

γ — XOY яҫылығы һәм тейеүсе яҫылыҡ араһындағы мөйөш.

2) Совмещенной с плоскостью XOY яҫылығы менән тап килтерелгән.

3) Йәки, шул уҡ, О үҙәгенә ҡарата.

Өсәрле интеграл

Өсәрле интеграл тип  d=3 тапҡырлы интеграл атала:

Df(P)dV

бында  dV — ҡаралған координаталарҙа күләм элементы.

Өсәрле интегралды тура мөйөшлө координаталар аша күрһәтеү

Тура мөйөшлө координаталарҙа өсләтә интеграл түбәндәге күренештә:

Df(x,y,z)dxdydz

бында  dxdydz — тура мөйөшлө координаталарҙа күләм элементы.

Өсәрле интегралды цилиндрик координаталар аша күрһәтеү

Цилиндрик координаталарҙа күләм

Оҡшаш рәүештә ҡайһы бер осраҡтарҙа өсләтә интегралды тура мөйөшлө координаталарҙа түгел, ә цилиндрик координаталарҙа иҫәпләү ябайыраҡ. Үҙгәреүсәндәрҙе алмаштырып ҡуйыу тураһында теореманы ҡулланабыҙ. Күсеүгә ярашлы үҙгәртеү түбәндәге күренештә:

{x=rcosφy=rsinφz=h

Сағылыш якобианы модуле  r-ға тигеҙ. Шулай итеп табабыҙ

Df(x,y,z)dxdydz=Df(r,φ,h)rdrdφdh

бында rdrdφdh — цилиндрик координаталарҙа күләм элементы.

Өсәрле интегралды сферик координаталар аша күрһәтеү

Сферик координаталарҙа күләм

Цилиндрик координаталарҙан тыш шулай уҡ сферик координаталарға күсергә мөмкин. Үҙгәреүсәндәрҙе алмаштырып ҡуйыу тураһында теореманы ҡулланабыҙ. Күсеүгә ярашлы үҙгәртеү түбәндәге күренештә:

{x=rsinθcosφy=rsinθsinφz=rcosθ

Сағылыш якобианы модуле  r2sinθ-гә тигеҙ. Шулай итеп табабыҙ

Df(x,y,z)dxdydz=Df(r,φ,θ)r2sinθdrdφdθ

бында r2sinθdrdφdθ — сферик координаталарҙа күләм элементы.

Өсәрле интегралдарҙы ҡулланыу

Дәүмәлдең исеме Дөйөм аңлатма Тура мөйөшлө координаталары Цилиндрик координаталары Сферик координаталары
Есемдең күләме V=GdV Gdxdydz Grdrdφdh Gρ2sinθdρdφdθ
Геометрик есемдең OZ күсәренә ҡарата инерция моменты Iz=Gr2dV G(x2+y2)dxdydz Gr3drdφdh Gρ4sin3θdρdφdθ
Тығыҙлығы μ булған физик есемдең массаһы m=GμdV Gμdxdydz Gμrdrdφdh Gμρ2sinθdρdφdθ
Бер төрлө есемдең масса үҙәге координаталары xc=1VGxdVyc=1VGydVzc=1VGzdV 1VGxdxdydz1VGydxdydz1VGzdxdydz

Шулай уҡ ҡарағыҙ

Иҫкәрмәләр

Ҡалып:Иҫкәрмәләр

Әҙәбиәт

Ҡалып:Библиоинформация Ҡалып:^v Ҡалып:Интеграль иҫәпләмә

  1. Здесь и всюду ниже, если не оговорено противное, измеримость множества понимается в Жордановом смысле.
  2. Достаточно типичным в такой записи использовать для элемента (n-мерного) объема интегрирования другой буквы, чем для обозначения векторного аргумента интегрируемой функции, то есть не Gf(X)dX, а например Gf(X)dVX или просто Gf(X)dV или Gf(X)dΩ итп, поскольку в координатной записи этот элемент объема представляет собой в простейших случаях произведение дифференциалов координат dVX=idXi, а в более общем случае криволинейных координат X необходимо включает в себя еще и детерминант метрики: dVX=|detg|idXi.