&39.

Дифференсиал формасынын инвариантлыьы

Фярз едяк ки, y = f ( x ) вя x = x (t ) функсийалары y = f ( x (t )) мцряккяб

функсийасыны гурмаг цчцн тяляб олунан хассяляри юдяйирляр. Йяни x = x (t )
функсийасынын гиймятляр областы y = f ( x ) функсийасынын тяйин областына дахилдир.
Фярз едяк ки, y = f ( x ) вя x = x (t ) функсийалары дифференсиалланандырлар. Яэяр
y = f ( x ) функсийасынын x дяйишяниня сярбяст дяйишян кими бахсаг, онда
dy = f x′ ⋅ dx (39.1) олар.
Яэяр y = f ( x (t )) мцряккяб функсийасына t дяйишянинин функсийасы кими
бахсаг, онда dy = f t ′ ⋅ dt (39.2) олар. Мцряккяб функсийанын тюрямясинин
дцстурундан истифадя етсяк f t ′ = f x′ ⋅ xt ′ (39.3) олдуьуну аларыг. Сонунъу ифадяни
(39.2)-дя нязяря алсаг, онда аларыг ки, dy = f x′ ⋅ xt′ ⋅ dx (39.4) .
Бурада x -а t -нин функсийасы кими бахсаг, xt′ ⋅ dt = dx олар. Буну (39.4)-дя
нязяря алсаг йенидян dy = f x′ ⋅ dx (39.5) ифадясини аларыг.
Демяли, y = f ( x (t )) мцряккяб функсийасында x -а сярбяст дяйишян вя йа
асылы дяйишян кими бахсаг, онун дифференсиалы цчцн ейни форма алырыг. Башга
сюзля, функсийанын 1-ъи дифференсиалы инвариантдыр.
Гейд. (39.1) вя (39.5) бярабярликляри шякилъя ейни олсалар да, онларын
мязмуну фярглидир. (39.1)-дя dx сярбяст дяйишянин дифференсиалы олдуьу цчцн
ихтийари Δx артымына бярабярдир. (39.5)-дя ися dx ифадяси x = x (t ) функсийасынын
дифференсиалыдыр.
dy
y x′ = (*) бярабярлийиндян истифадя едяряк, y вя x башга бир дяйишяндян
dx
асылы олдугда да y x′ тюрямясини щесабламаг олар.
Мисал 1. y = 1 − x2 −1 < x < 1 функсийасына бахаг. Айдындыр ки,
x π π
y x′ = − олар. Инди фярз едяк ки, x = sin t − <t< . Онда
1− x 2 2 2
y = 1 − sin 2 t = cos t олдуьуну нязяря алсаг, аларыг:
dy sin t ⋅ dt sin t x
y x′ = =− =− =− .
dx cos t ⋅ dt cos t 1 − x2
Фярз едяк ки, y = ϕ (t ), x = ψ (t ) α < t < β (39.6) функсийасы верилмишдир. Бу
шякилдя верилмиш функсийайа параметрик шякилдя верилмиш функсийа дейилир. Фярз
едяк ки, ϕ (t ), ψ (t ) функсийалары дифференсиалланандыр, x = ψ (t ) функсийасынын
t = ψ −1 ( x) дифференсиалланан тярси вар. Онда y = ϕ (ψ −1 ( x)) мцряккяб функсийасы вар
вя дифференсиалланандыр. Функсийанын 1-ъи дифференсиал формасынын инвариантлыьындан
истифадя едяряк (39.6) шякилдя верилмиш функсийанын тюрямясини щесабласаг
dy y t ′ ⋅dt y t ′ ϕ ′(t )
y x′ = = = = (39.7) аларыг.
dx x t ′ ⋅dt x t ′ ψ ′(t )
Демяли параметрик шякилдя верилмиш функсийанын тюрямясини (39.7) дцстуру иля
щесабламаг олар. Бу заман y = ϕ (ψ −1 ( x)) ашкар асыллыьыны тапмаьа ещтийаъ
йохдур.

&40. Дифференсиал щесабынын ясас теоремляри

Ясас теоремляри исбат етмяздян яввял ашаьыдакы кюмякчи Лемманы исбат

едяк.
Лемма: Фярз едяк ки, y = f ( x ) функсийасы x0 нюгтясинин U ( x0 ) ятрафында
тяйин олунуб вя бу нюгтядя дифференсиалланандыр. Яэяр f ′( x0 ) > 0 ( f ′( x0 ) > 0 )
оларса, онда ∃δ > 0 ∀x ∈ ( x0 , x0 + δ ) f ( x) > f ( x0 ) ( f ( x) < f ( x0 ) ) вя
∃δ > 0 ∀x ∈ ( x0 − δ , x0 ) f ( x) < f ( x0 ) ( f ( x) > f ( x0 ) ) .
f ( x) − f ( x0 )
C: f ′( x0 ) > 0 щалыны исбат едяк. Шяртя эюря, f ′( x0 ) := lim >0
x → x0 x − x0
доьрудур. Онда лимитин хассясиня эюря, ашаьыдакылары аларыг:
⎧ f ( x ) − f ( x0 ) ⎫
⎨ ∃δ > 0 ∀x ∈ ( x0 − δ , x0 + δ ) > 0, x ≠ x0 ⎬ ⇒
⎩ x − x0 ⎭
⇒ {∀x ∈ ( x0 , x0 + δ ) f ( x ) > f ( x0 ); ∀x ∈ ( x0 − δ , x0 ) f ( x ) < f ( x0 )}
Лемма исбат олунду. >
Гейд 1. Яэяр x0 нюгтясиндя сонлу биртяряфли тюрямя оларса, онда Лемманын
щюкмц x0 нюгтясинин уйьун ятрафына аиддир.
Теорем 1 (Ферма теореми). Фярз едяк ки, f ( x ) функсийасы мцяййян [ a, b ]
парчасында тяйин олунуб вя x0 ∈ ( a, b) нюгтясиндя юзцнцн ян бюйцк вя йа ян кичик
гиймятини алыр. Яэяр сонлу f ′( x0 ) тюрямяси варса, онда щюкмян f ′( x0 ) = 0 олар.
C : Яксини фярз едяк. Фярз едяк ки, x0 нюгтясиндя f ( x ) функсийасы ян бюйцк
гиймят алыр вя f ′( x0 ) ≠ 0 . Онда йа f ′( x0 ) > 0 , йа да f ′( x0 ) < 0 олар.
Яэяр f ′( x0 ) > 0 оларса, онда ∃δ > 0 ∀x ∈ ( x0 , x0 + δ ) f ( x ) > f ( x0 ) олар.
Яэяр яксиня f ′( x0 ) < 0 оларса, онда ∃δ > 0 ∀x ∈ ( x0 − δ , x0 ) f ( x ) > f ( x0 ) олар.
Йяни, f ′( x0 ) гиймяти функсийанын ян бюйцк гиймяти дейил. Бу ися шяртя зиддир.
x0 нюгтясиндя f ( x ) функсийасы ян кичик гиймят алдыгда да теорем аноложи
гайдада исбат олунур. >
Гейд 2. Теоремин шяртиндя x0
нюгтясинин дахили нюгтя олмасы шярти
мцщцмдцр. Мясялян f ( x ) = x функсийасы
[0,1] парчасында дифференсиалланандыр
вя x = 1 нюгтясиндя Ян бюйцк гиймятини алыр.
Анъан f ′(1) = 1 ≠ 0 .
Тюрямянин щяндяси мянасыны нязярян алырыг ки, дахили x0 нюгтясиндя
дифференсиалланан функсийа юзцнцн ян бюйцк вя йа ян кичик гиймятини алырса, онда
( x0 , f ( x0 )) нюгтясиндя чякилян тохунан OX охуна паралелдир.
Ферма теореминин нятиъяси кими ашаьыдакы мараглы теореми исбат едяк.
Теорем 2 (Дарбу теореми). Фярз едяк ки, f ( x ) функсийасы мцяййян [ a, b ]
парчасында дифференсиалланандыр. Онда f ′( x ) тюрямя функсийасы f ′( a ) ∧ f ′(b )
ядядляри арасындакы бцтцн гиймятляри алыр.
C : X чохлуьунда дифференсиалланан функсийалар чохлуьуну D ( X ) вя йа DX
кими ишаря едирляр. Шяртя эюря, f ∈ D[ a , b ] .
Яввялъя исбат едяк ки, f ′( a ) ∧ f ′(b ) якс ишаряли оларса, онда
∃ξ ∈ ( a , b ) f ′(ξ ) = 0 олар. Фярз едяк ки, f ′(a ) > 0, f ′(b) > 0 . Парчада
дифференсиалланан функсийа кясилмяз олдуьундан алырыг ки,
{ f ∈ D[ a , b]} ⇒ { f ∈ C[ a, b]} . Вейерштрасс теореминя эюря, ∃ξ ∈ [ a , b] вар ки, бу
нюгтядя f ( x ) функсийасы юзцнцн ян бюйцк гиймятини алыр. Эюстяряк ки, ξ ∈ ( a , b ) .
Щягигятян дя яэяр ξ = a оларса, f ′(a) > 0 олдуьундан аларыг ки,
∃δ > 0 ∀x ∈ ( a, a + δ ) f ( x ) > f ( a ) олар. Бу ися о демякдир ки, f ( a ) ян бюйцк
гиймят дейил. ξ ∈ ( a , b ) . Диэяр тяряфдян ξ = b оларса, f ′(b) < 0 олдуьундан аларыг
ки, ∃δ > 0 ∀x ∈ (b − δ , b) f ( x ) > f (b) олар. Бу ися о демякдир ки, f (b ) ян бюйцк
гиймят дейил. Демяли, ξ ∈ ( a , b ) олмалыдыр. Онда Ферма теореминя эюря, f ′(ξ ) = 0 .
Инди f ′( a ) ∧ f ′(b ) ядядляри арасында ∀C ∈ R ядяди эютцряк. Эюстяряк ки,
∃ξ ∈ ( a , b ) f ′(ξ ) = C . Цмумилийи позмадан фярз едяк ки, f ′( a ) > C > f ′(b ) .
Ашаьыдакы кюмякчи функсийа дахил едяк: ϕ ( x ) = f ( x ) − C ⋅ x . Онда айдындыр ки,
ϕ ′(a) = f ′(a) − C > 0, ϕ ′(b) = f ′(b) − C < 0 . Онда Теоремин 1-ъи щиссясиндя исбат
етдийимизя эюря, ∃ξ ∈ ( a , b ) ϕ ′(ξ ) = 0 олар. Бурадан алыныр ки,
{ϕ ′(ξ ) = f ′(ξ ) − C = 0} ⇒ { f ′(ξ ) = C } . >
Гейд 3. Дарбу теореминдян алыныр ки, [ a , b ] парчасында сонлу f ′( x ) тюрямяси
варса, онда f ′( x ) тюрямя функсийасы юзцнцн ихтийари 2 гиймяти арасындакы бцтцн
гиймятляри алыр.
Гейд 4. Дарбу теореми Кошинин 2-ъи теореминя охшайыр. Лакин бу теорем Коши
теореминдян алына билмяз. Чцнки тюрямя функсийасы f ′( x ) кясилмяз йунксийа
олмайа биляр.
Теорем 3 (Ролл теореми). Фярз едяк ки, ашаьыдакы шяртляр юдянир:
1. f ∈ C [ a , b ]
2. f ∈ D ( a , b )
3. f ( a ) = f (b )
Онда ∃ξ ∈ ( a , b ) f ′(ξ ) = 0 олар.
C : Яввялъя 1-ъи шяртя эюря, f ∈ C [ a , b ] . Онда Вейерштрассын 2-ъи теореминя
эюря, f ( x ) функсийасы [ a , b ] парчасында юзцнцн ян бюйцк вя ян кичик гиймтялярини
алыр. Бу гиймтяляри уйьун олараг M вя m иля ишаря едяк. Ашаьыдакы 2 щал
мцмцкцндцр:
1) M = m . Бу щалда ∀x ∈ [ a , b ] цчцн алырыг ки, m ≤ f ( x ) ≤ M . Онда
∀x ∈ [ a , b ] цчцн f ( x ) = m = M олар. Йяни f ( x ) сабит функсийадыр. Бу щалда
∀x ∈ [ a , b ] цчцн f ′( x ) = 0 олар.
2) m < M . Бу щалда f ( a ) = f (b ) олдуьундан m ∧ M гиймятляриндян щеч
олмаса бири дахили нюгтядя алыныр. Щямин нюгтяни ξ иля ишаря едяк. Онда Ферма
теореминя эюря, f ′(ξ ) = 0 олар. >
Теоремин щяндяси мянасы изащ едяк. Бу о демякдир ки, теоремин шяртляри
дахилиндя ∃ξ ∈ (a, b) нюгтяси вар ки, (ξ , f (ξ ))
нюгтясиндя функсийанын графикиня чякилмиш
тохунан OX охуна паралелдир.
Гейд 5. Ролл теореминин
шяртляринин цчц дя мцщцм- дцр. Бунлары
мисалларла эюстяряк.
Мисал 1.
⎧ x, 0 ≤ x < 1
f ( x) = ⎨ функсийасына
⎩ 0, x =1
бахаг. Бу функсийа (0,1) интервалында дифференсиалланандыр вя f (0) = f (1) = 0 .
Лакин f ∉ C [0,1] . Чцнки x = 1 нюгтясиндя функсийа кясилир. Бу функсийанын
∀x ∈ (0,1) нюгтяси цчцн f ′( x ) ≠ 0 олар. Йяни Ролл теореминин щюкмц юдянмир.
⎧ 1
⎪⎪ x , 0≤ x≤
Мисал 2. f ( x ) = ⎨ 2 функсийасына бахаг. Бу функсийа Ролл
⎪1 − x , 1 < x ≤ 1
⎪⎩ 2
теореминин 1-ъи вя 3-ъц шяртлярини юдяйир, амма 2-ъи шярти юдямир. Бу функсийанын
∀x ∈ (0,1) нюгтяси цчцн f ′( x ) ≠ 0 олар. Йяни Ролл теореминин щюкмц юдянмир.
Мисал 3. f ( x ) = x, x ∈ [0,1] функсийасына бахаг. Бу функсийа Ролл теореминин
1-ъи вя 2-ъи шяртлярини юдяйир, амма 3-ъц шярти юдямир. Бу функсийанын ∀x ∈ (0,1)
нюгтяси цчцн f ′( x ) ≠ 0 олар. Йяни Ролл теореминин щюкмц юдянмир.