Эйлер интеграллари

Загружено в:

12.09.2022

Скачано:

0

Размер:

478 KB

Скачать

Эйлер интеграллари Режа: 1 0 . Бета функция ва унинг текис яқинлашувчилиги. 2 0 . ) , ( b a B функциянинг хоссалари. 3 0 . Гамма функция ва унинг яқинлашувчилиги. 4 0 . ) (a  функциянинг хоссалари. 5 0 . Бета ва гамма функциялар орасидаги боғланиш.

Биз ушбу    1 0 1 1 ) 1( dx x x b a хосмас интегралнинг 0 ,0   b a бўлганда яқинлашувчилигини,     0 1 dx e x x a хосмас интегралнинг эса 0a бўлганда яқинлашувчилигини ис бот лаган эдик. Равшанки, бу хосмас интеграллар a ва b ларга боғлиқ, яъни параметрга боғ лиқ хосмас интеграллар бўлади. 1 0 . Бета функция ва унинг текис яқинлашувчилиги. Ушбу     1 0 1 1 ) 1( dx x x b a параметрга боғлиқ хосмас интеграл бета функция (  -тур Эйлер интеграли) дейи ла ди ва ) , ( b a B каби белгиланади:      1 0 1 1 ) 1( ) , ( dx x x b a B b a )0 ,0 (   b a . Демак, бета функция )} ,0( ), ,0( : ) , {( 2      b a R b a тўпламда аниқланган функция. 1-теорема. Ушбу      1 0 1 1 ) 1( ) , ( dx x x b a B b a интеграл }0 ,0 ), , [ ), , [ : ) , {( 0 0 0 0 2 0         b a b b a a R b a M тўп лам да текис яқинлашувчи бўлади. ◄ ) , ( b a B функцияни ифодаловчи интегрални икки қисмга               1 2 1 1 1 2 1 0 1 1 1 0 1 1 ) 1( ) 1( ) 1( dx x x dx x x dx x x b a b a b a ажратиб, ќар бир интегралнинг текис яқинлашишга текширамиз. Параметр 0a a )0 ( 0 a , ,0  b       2 1,0 x да

1 1 1 1 1 0 0 2 ) 1( ) 1(          a b a b a x x x x xва 0a бўлганда   2 1 0 1dx xa интегралнинг я қ инлашувчи б ў лишидан Вейерштрасс аломатига к ў ра     2 1 0 1 1 ) 1( dx x x b a интегралнинг 0a a , )0 ( 0 a да текис яқинлашувчилигини топа миз. Шунингдек, параметр 0b b )0 ( 0 b , ,0  a      1,2 1 x да   1 1 1 1 1 0 0 12 ) 1( ) 1(           b b a b a x x x x x ва 0b бўлганда    1 2 1 1 ) 1( dx x b интегралнинг яқинлашувчи бўлишидан Вейерштрасс аломати-га кўра     1 2 1 1 1 ) 1( dx x x b a интегралнинг 0b b )0 ( 0 b да текис яқинлашувчи бўлишини то па миз. Демак,      1 0 1 1 ) 1( ) , ( dx x x b a B b a интеграл }0 ,0 ), , [ ), , [ : ) , {( 0 0 0 0 2 0         b a b b a a R b a M т ў пламда текис я қ инлашувчи б ў лади . ► Натижа . ) , ( b a B функция  M )} ,0( ), ,0( : ) , {( 2      b a R b a тўпламда узлуксиз бўлади. ◄Бу тасдиқ

    1 0 1 1 ) 1( dx x x b aинтегралнинг текис яқинлашувчилиги ќамда интеграл ости даги функ ция нинг M тўп лам да узлуксиз бўлишидан келиб чиқади. ► 2 0 . ) , ( b a B функциянинг хоссалари. Энди      1 0 1 1 ) 1( ) , ( dx x x b a B b a функциянинг хоссаларини келтирамиз. 1) ) , ( b a B функция a ва b аргументларига нисбатан симмет рик функция, яъни , ) , ( ) , ( a b B b a B  )0 ,0 (   b a бўлади. ◄ ) , ( b a B ни ифодаловчи интегралда t x  1 алмаштириш ба жа риб топамиз: ) , ( ) 1( ) 1( ) 1( ) , ( 1 0 1 1 0 1 1 1 1 0 1 1 a b B dt t t dt t t dx x x b a B a b b a b a                  . ► 2) ) , ( b a B функция қуйидагича ќам ифода қилинади:       0 1 ) 1( ) , ( dt t t b a B ba a . (1) ◄ ) , ( b a B ни ифодаловчи интегралда t t x  1 алмаштириш ба жариб топа миз:                             0 0 1 2 1 1 1 0 1 1 . ) 1( ) 1( 1 1 1 ) 1( ) , ( dt t t t dt t t t t dx x x b a B ba a b a b a ► Агар (1) да a b  1 )1 0(  a дейилса, унда a dtt t a a B a   sin 1 ) 1, ( 0 1        бўлади. Хусусан,     2 1,2 1 B бўлади. 3) ) , ( b a B функция учун ушбу ) , ( ) ,1 ( b a Bb a a b a B    )0 ,0 (   b a

формула ўринли бўлади. ◄Равшанки,     1 0 1 ) 1( ) ,1 ( dx x x b a B b a . Бу интегрални бўлаклаб интеграллаймиз: ). ,1 ( ) , ( ) 1( ) 1( ) 1( ) 1( ) 1( 1 ) ) 1(( 1 ) 1( ) ,1 ( 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 b a Bb a b a Bb a dx x x dx x x b a x x b a dx x x b a x xb x d x b dx x x b a B b a b a b a b a b a b a b a                                   Натижада ) ,1 ( ) , ( ) ,1 ( b a Bb a b a Bb a b a B     (2) б ў либ , ундан ) , ( ) ,1 ( b a Bb a a b a B    б ў лиши келиб чи қ ади . ► ) , ( b a B функция симметрик бўлганлигидан ушбу ) , ( )1 , ( b a Bb a b b a B    (3) бўлади. Натижа. ) , ( n m B функцияга ) , ( N n N m   (2) ва (3) форму ла ларни такрор қўл лаш натижасида )!1 ( )!1 ()!1 ( ) , (      n m n m n m B бўлиши келиб чиқади. 3 0 . Гамма функция ва унинг яқинлашувчилиги. Ушбу     0 1 dx e x x a параметрга боғлиқ хосмас интеграл гамма функция (  - тур Эйлер интеграли) дейи ла ди ва ) (a  каби белгиланади:       0 1 ) ( dx e x a x a . Демак, гамма функция ) ,0(  да аниқланган функция.

2-теорема. Ушбу      0 1 ) ( dx e x a x a интеграл ] , [ 0 0 b a да ) 0( 0 0    b a текис яқинлашувчи бўлади. ◄ ) (a  функцияни ифодаловчи интегрални икки интеграл йиғиндиси сифа ти да ёзиб оламиз:           1 1 1 0 1 ) ( dx e x dx e x a x a x a . Сўнг иккала интегралнинг ихтиёрий ] , [ 0 0 b a сегментда ) 0( 0 0    b a текис яқинлашувчи бўлишини кўрсатамиз. Параметр 0a a )0 ( 0 a ,  1,0   x да 1 1 0    a x a x e x ва 0 0 a да   1 0 10 dx xa интегралнинг яқинлашувчи бўлишидан Вейерштрасс аломати-га кўра    1 0 1 dx e x x a интегралнинг 0a a да текис яқинлашувчи бўлиши келиб чиқади. Шунингдек, параметр 0b a , ) ,1[    x да x b x a e x e x      1 1 0 ва     1 10 dx e x x b интегралнинг я қ инлашувчи б ў лишидан яна Вейерштрасс ало ма тига к ў ра     1 1 dx e x x a интегралнинг 0b a да текис яқинлашувчи бўлишини топамиз. Демак,       0 1 ) ( dx e x a x a хосмас интеграл ] , [ 0 0 b a да текис яқинлашувчи бўлади. ►

Натижа. ) (a  функция ) ,0(  да узлуксиз бўлади. ◄Бу тасдиқ     0 1 dx e x x a интегралнинг текис яқинлашувчилиги ќамда интеграл остида-ги функ циянинг )} ,0( ), ,0( : ) , {( 2       a x R ax M да узлуксиз бўли ши дан келиб чиқади. ► 4 0 . ) (a  функциянинг хоссалари. 1) Гамма функция ) ,0(  да барча тартиб даги узлуксиз ќосилаларга эга ва       0 1 )( ) (ln ) ( dx x e x a n x a n ....)3,2,1 (  n бўлади. ◄Равшанки,       0 1 ) ( dx e x a x a интеграл остидаги x a e x a x f    1 ) , ( функция )} ,0( ), ,0( : ) , {( 2       a x R ax M тўпламда узлуксиз бўлиб, узлуксиз x e x a x f x a a ln ) , ( 1 '    ќосилага эга бўлади. Юқорида айтганимиздек            1 1 1 0 1 dx e x dx e x a Г x a x a тенгликнинг ўнг томонидаги интеграллар ихтиёрий  0 0,b a да      0 0 0 b a текис яқинлашувчи. Ушбу     1 0 1ln dx e x x x a ,      1 1ln dx e x x x a интегралларни қарай-лик. Бу интеграллардан биринчиси, 0 0 a a да x x e x x a x a ln ln 1 1 0     ва dxx xa ln 1 0 10  

интеграл яқинлашувчи бўлганлигидан Вейерштрасс аломатига кўра текис яқин ла шув чи бўлади. Шунингдек иккинчи интеграл ќам,   0b a да x b x b x a e x e x x e x x           0 0 ln ln 1 1 ва dx e x x x b      ln 1 10 интеграл яқинлашувчи бўлганлигидан яна Вейерштрасс аломатига кўра текис яқинлашувчи бўлади. Параметрга боғлиқ хосмас интегралнинг параметр бўйича диф ферен циаллаш ќақидаги теоремадан фойдаланиб топамиз:       . ln Г 1 1 1 1 1 0 1 1 1 1 0 1                              dx e x x dx e x da d dx e x da d dx e x dx e x da d a da d x a x a x a x a x a Демак,           0 1 ln Г dx e x x a x a . ) ('a  функциянинг ] , [ 0 0 b a да узлуксиз бўлиши равшан. Худди шу йўл билан ) (a  функциянинг иккинчи, учинчи ва ќоказо тартиб да ги ќосилаларининг мавжудлиги, узлуксиз-лиги ќамда      0 1 )( ) (ln ) ( Г dx x e x a n x a n бўлиши кўрсатилади. ► 2) ) (a  функция учун ушбу ) ( )1 ( a a a     (4) формула ўринли бўлади. ◄Равшанки,       0 1 ) ( dx e x a x a . Бу интегрални бўлаклаб интеграллаймиз. Натижада ) ( ) ( )1 ( 0 1 0 0 0 a a dx e x a e x e d x dx e x a x a x a x a x a                     

бўлади. ► Маълумки, ]1,0( a бўлса, ]2,1( 1 a бўлади. ) (a  функ ция нинг бу хосса си ни ифодаловчи (4) муносабат ) (a  функ ция нинг ]1,0( даги қийматларига кўра унинг ]2,1( оралиқдаги қийматла рини, умуман ихтиёрий ]1 , ( n n даги қийматла рини топиш имко ни ни беради. Натижа. ) (n  функцияга ) ( N n (4) формулани такрор қўл лаш натижасида  1 )1(   )!1 ( ) (    n n бўлиши келиб чиқади. 3) ) (a  функциянинг ўзгариш характери. Равшанки, 1 )1( 0       dx e x . Юқоридаги (4) формулага кўра 1 )1( 1 )2(     бўлади. Рол л ь теоремасига мувофиқ, шундай 0a )2 1( 0 a нуқта топиладики, 0 ) ( 0 '   a бўлади. Айни пайтда , ) ,0(   a да 0 ln ) ( 0 2 1 ''        xdx e x a x a бўлганлиги учун ) ('a  функция ) ,0(  да қатъий ўсувчи бўлади. Бинобарин, ) ('a  функция 0a нуқтадан бошқа нуқталарда нолга айланмайди. Демак, 0 ln ) ( 0 1 '        xdx e x a x a тенглама ) ,0(  оралиқда ягона ечимга эга. Унда, 0 0 a a  да 0 ) (  a ,  a a0 да 0 ) ('   a бўлиб, ) (Г a функция 0a нуқтада минимумга эга бўлади. ( ..., 4616,1 0 a ... 8856,0 ) (Г min ) (Г 0   a a бўлиши топилган). ) (a  функция 0a a да ўсувчи бўлганлиги сабабли 1 n a бўлганда ! )1 ( ) ( n n a     бўлиб, ундан   ) (Г lim a a

бўлиши келиб чиқади. Агар 0 a да 1 )1( )1 (      a ќамда a a a )1 ( ) (     бўлишини эътиборга олсак, унда    ) ( lim 0 a a эканлигини топамиз. 5 0 . Бета ва гамма функциялар орасидаги боғланиш. Бета ва гамма функ ция лар орасидаги боғланишни қуйидаги теорема ифода лайди. 3-теорема. )} ,0( ), ,0( : ) , {( ) , ( 2        b a R b a b a учун ) ( ) ( ) ( ) , ( b a b a b a B      (5) формула ўринли бўлади. ◄Ушбу       0 1 ) ( dx e x s x s интегралда t u x ) 1(   , )0 ( t алмаштириш бажариб, s ни b a га алмаштирамиз. Натижада            0 ) 1( 1 1 ) 1( ) 1( ) ( dt u e t u b a tu ba ba бўлиб,           0 ) 1( 1 ) 1( ) ( dt e t u b a tu ba ba бўлади. Энди бу тенгликнинг ќар икки томонини 1au га кўпайтириб, сўнг ) ,0(  оралиқ бўйича интеграллаб топамиз: du u dt e t du u u b a a tu ba ba a 1 0 0 ) 1( 1 0 1 ) 1( ) (                     яъни, du u dt e t b a B b a a tu ba 1 0 0 ) 1( 1 ) , ( ) (                 .

[1], 17-боб, 8-§да келтирилган теоремадан фойдаланиб, кейинги тенгликнинг ўнг томонидаги интегралларнинг ўринларини алмаш ти рамиз. Натижада dt t du e u b a B b a ba tu a 1 0 0 ) 1( 1 ) , ( ) (                 бўлади. Интегралда y ut  алмаштириш бажариб топамиз:                              0 0 1 1 0 0 1 1 ). ( ) ( ) , ( ) ( a b dy e y dt e t dt dy e e t y b a B b a y a t b y t b a Демак, ) ( ) ( ) ( ) , ( b a b a b a B      . ► Натижа. )1,0(   a учун   a a a sin ) 1( ) (     (6) бўлади. ◄ (5) тенгликда a b  1 )1 0(  a деб олинса, унда )1( ) 1( ) ( ) 1, (       a a a a B бўлади. Маълумки,   a a a B sin ) 1, (   , 1 )1(   . Демак,   a a a sin ) 1( ) (     , )1 0(  a . ► Агар (6) формулада 2 1 a дейилса,      2 1 бўлиши келиб чиқади. 1- мисол. 1. Ушбу    0 2dx e x интеграл ќисоблансин. ◄Бу интегралда t x 2 алмаштириш бажарамиз. Унда

$dt t dtt dx 2 1 2 1 2 1   бўлиб, 2 2 1 2 1 2 1 2 1 0 121 0 21 0 2                    dt e t dt e t dx e t t x бўлади. ► 2 -мисол . Ушбу    0 3 1 x dx интеграл ќисоблансин. ◄Бу интегралда y x 1 1 3  алмаштириш бажарамиз. Унда , 1 31       y y x               2 32 1 3 1 y dy y y dx , 3 3 2 2 3 3 3 1 sin 3 1 )1( 3 2 3 1 3 1 )3 1,3 2( 3 1 ) 1( 3 1 1 3 1 3 1 1 1 0 32 31 0 1 2 32 0 3                                         B dy y y y dy y y y x dx бўлади. ► Машқлар 1. ,...} ,...,1 ,0{\ n R a     да ) )...(1 ( ! lim ) ( n a a a n n a a n       бўлиши исботлансин. 2. Ушбу$    0 ) ( p n m bx a dx x )0 ,0 ,0 (    n b a интеграл бета функция орқали ифодалансин. 3. Қуйидаги   ) ( Г ) (Г ) ( Г '' 2 ' a a a   тенгсизлик исботлансин.

Эйлер интеграллари

12.09.2022

0

478 KB

Похожие