&48.

Габарыг функсийалар

Тяриф 1. Фярз едяк ки, f :[ a, b] → R функсийасы верилмишдир. Яэяр

∀x1 , x 2 ∈ (a, b) нюгтяляри вя a1 + a 2 = 1 шяртини юдяйян a1 , a 2 ≥ 0 ядядляри цчцн
f (a1 ⋅ x1 + a 2 ⋅ x 2 ) ≤ a1 ⋅ f ( x1 ) + a 2 ⋅ f ( x 2 ) (48.1)
бярабярсизлийи юдянярся, онда f (x) функсийасына (a, b) интервалында габарыг
функсийа дейилир. Бу заман x1 ≠ x 2 ∧ a1 , a 2 ≠ 0 олдугда бярабярсизлик ъидди оларса,
онда f (x) функсийасына (a, b) интервалында ъидди габарыг функсийа дейилир.
(48.1) бярабярсизлийинин щяндяси мянасыны арашдыраг.
Бу бярабярсизлик щяндяси олараг о демякдир ки, y = f (x) функсийасынын
графикинин
∀( x1 , f ( x1 )) ∧ ( x 2 , f ( x 2 )) нюгтялярини
вятярля бирляшдирсяк, графикин [ x1 , x 2 ] парчасына
уйьун щиссяси бу вятярдян ашаьыда галар.
Доьрудан да (48.1)-ин сол тяряфиндя
f (x) функсийасынын x = α 1 ⋅ x1 + α 2 ⋅ x 2
нюгтясиндяки гиймяти, саь тяряфиндя ися
( x1 , f ( x1 )) ∧ ( x 2 , f ( x 2 )) нюгтяляриндян
кечян хятти функсийанын (дцз хяттин) x = α 1 ⋅ x1 + α 2 ⋅ x 2 нюгтясиндяки гиймяти дурур.
Габарыглыьа ашаьыдакы кими дя тяриф вермяк олар.
{ }
Тяриф 2. P = ( x, y ) ∈ R 2 ∧ x ∈ (a, b) | f ( x) ≤ y чохлуьуна бахаг. Бу чохлуьа
f (x) функсийасынын график цстц дейилир.
Тяриф 3. Фярз едяк ки, ∀G чохлуьу верилмишдир. Яэяр ∀A, B ∈ G нюгтялярини
бирляшдирян парча да G -йя дахил оларса, онда бу чохлуьа габарыг чохлуг дейилир.
Тяриф 4. Яэяр f (x) функсийасынын график цстц габарыг чохлуг оларса, онда бу
функсийайа габарыг функсийа дейилир.
Тяриф 5. Яэяр (48.1)-дя бярабярсизлик тярсиня оларса, онда f (x)
функсийасына (a, b) интервалында чюкцк функсийа дейилир. Бязян габарыг
функсийайа ашаьыйа габарыг, чюкцк функсийайа ися йухарыйа габарыг функсийа да
дейилир.

Габарыг вя чюкцк функсийаларын щяр бири 2 тип олур.

Габарыг
Чюкцк
функсийа
функсийа

Теорем 1. (a, b)
интервалында
дифференсиалланан f (x) функсийасынын габарыг олмасы цчцн зярури вя кафи шярт f ′(x)
функсийасынын монотон артан олмасыдыр. Бу заман ъидди габарыглыьа ъидди
монотон артма уйьундур.
C: Зярурилик. Фярз едяк ки, f (x) габарыг функсийадыр. Эюстяряк ки, f ′(x)
функсийасы монотон артандыр. a1 + a 2 = 1 вя x = α 1 ⋅ x1 + α 2 ⋅ x 2 шяртляриндян алырыг
x −x x − x1
ки, a1 = 2 , a2 = олар. Онда (48.1) дцстуруну ашаьыдакы кими
x 2 − x1 x 2 − x1
йазмаг олар:
f ( x) − f ( x1 ) f ( x 2 ) − f ( x)
≤ (48.2)
x − x1 x2 − x
(48.2) дцстуру ону эюстярир ки, y = f (x) габарыг функсийасынын графикиндя Ы
вятярин буъаг ямсалы ЫЫ вятярин буъаг ямсалындан бюйцк дейил. Функсийа ъидди
габарыг олдугда ися Ы вятярин буъаг ямсалы ЫЫ вятярин буъаг ямсалындан кичикдир.
Беляликля алдыг ки, x1 < x < x 2 нюгтяляри цчцн (48.2) бярабярсизлийи юдянир.
(48.2)-дя яввялъя x → x1 олмагла, сонра ися x → x 2 олмагла лимитя кечсяк аларыг
ки,
f ( x 2 ) − f ( x1 )
f ′( x1 ) ≤ ≤ f ′( x 2 ) (48.3)
x 2 − x1
Демяли f (x) габарыг функсийадырса, онда f ′(x) функсийасы монотон
артандыр.
Инди эюстяряк ки, f (x) ъидди габарыг функсийадырса, онда f ′(x) функсийасы
ъидди артандыр. Бунун цчцн (48.2)-йя Лагранж теоремини тятбиг едяк. Онда алырыг ки,
∃x1 < ξ1 < x, ∃x < ξ 2 < x 2 нюгтяляри вар ки, ашаьыдакы доьрудур.
⎧ f ( x) − f ( x1 ) f ( x2 ) − f ( x) ⎫
⎨ f ′( x1 ) ≤ f ′(ξ1 ) = < = f ′(ξ 2 ) ≤ f ′( x2 ) ⎬ ⇒
⎩ x − x1 x2 − x ⎭
⇒ { f ′( x1 ) < f ′( x2 )}
Кафилик: Тюрямянин монотонлуьу габарыглыг цчцн щям дя кафи шяртдир. Бу
заман ъидди артмайа ъидди габарыглыг уйьундур. Доьрудан да f ′(x) монотон
артандырса, онда
⎧ f ( x) − f ( x1 ) f ( x2 ) − f ( x) ⎫
⎨ = f ′(ξ1 ), = f ′(ξ 2 ), x1 < ξ1 < x, x < ξ 2 < x2 ⎬ ⇒
⎩ x − x1 x2 − x ⎭ (48.4)
⎧ f ( x) − f ( x1 ) f ( x2 ) − f ( x) ⎫
⇒ { f ′(ξ1 ) ≤ f ′(ξ 2 )} ⇒ ⎨ < ⎬
⎩ x − x1 x2 − x ⎭
Айдындыр ки, f ′(x) ъидди артандырса, онда (48.4) бярабярсизлийи дя ъиддидир. Бу
ися ъидди габарыглыг демякдир. >
Яэяр f (x) функсийасы (a, b) интервалында 2-ъи тяртиб тюрямяйя маликдирся,
онда ашаьыдакы теореми исбат етмиш олуруг.
Теорем 2. Фярз едяк ки, f (x) функсийасы (a, b) интервалында 2-ъи тяртиб
тюрямяйя маликдир. Онда онун габары олмасы цчцн зярури вя кафи шярт f ′′( x) ≥ 0
олмасыдыр. Бу заман f ′′( x) > 0 олмасы ъидди габарыглыг цчцн кафи шяртдир.
Тябиидир ки, чюкцклцк цчцн дя ашаьыдакы аналожи теоремляри исбат етмяк олар.
 Теорем 3. (a, b) интервалында дифференсиалланан f (x) функсийасынын чюкцк
олмасы цчцн зярури вя кафи шярт f ′(x) функсийасынын монотон азалан олмасыдыр. Бу
заман ъидди габарыглыьа ъидди монотон азалма уйьундур.
Теорем 4. Фярз едяк ки, f (x) функсийасы (a, b) интервалында 2-ъи тяртиб
тюрямяйя маликдир. Онда онун чюкцк олмасы цчцн зярури вя кафи шярт f ′′( x) ≤ 0
олмасыдыр. Бу заман f ′′( x) < 0 олмасы ъидди чюкцклцк цчцн кафи шяртдир.
Теорем 5 (Йенсен бярабярсизлийи). Фярз едяк ки, f : (a, b) → R габарыг
(чюкцк) функсийасы верилмишдир. Онда x1 , x2 ,..., xn ∈ (a, b) нюгтяляри вя
α 1 + α 2 + ... + α n = 1 шяртини юдяйян i = 1, n α i ≥ 0 ядядляри цчцн ашаьыдакы
бярабярсизлик доьрудур:
f (α1 ⋅ x1 + α 2 ⋅ x2 + ... + α n ⋅ xn ) ≤
(48.5)
≤ α1 ⋅ f ( x1 ) + α 2 ⋅ f ( x2 ) + ... + α n ⋅ f ( xn )
⎛ f (α1 ⋅ x1 + α 2 ⋅ x2 + ... + α n ⋅ xn ) ≤ ⎞
⎜ ⎟ (48.6)
⎝ ≤ α1 ⋅ f ( x1 ) + α 2 ⋅ f ( x2 ) + ... + α n ⋅ f ( xn ) ⎠
Бу бярабярсизликляря Йенсен бярабярсизлийи дейилир.
C: Исбаты рийази индуксийа методу иля апараъаьыг. n = 2 олдугда (48.5)
бярабярсизлийи габарыг функсийанын тярифидир. Инди фярз едяк ки, n = k − 1 олдугда
(48.5) бярабярсизлийи доьрудур. Исбат едяк ки, n = k олдугда да (48.5)
бярабярсизлийи доьрудур.
Цмумилийи позмадан фярз едяк ки, {α n > 0} ⇒ {α 2 + α 3 + ... + α n > 0} . Онда
α2 α3 α
β = α 2 + α 3 + ... + α n > 0 ишарялямяси апараг. Айдындыр ки, + + ... + n = 1 олар.
β β β
Демяли,
f (α1 ⋅ x1 + α 2 ⋅ x2 + α 3 ⋅ x3 + ... + α n ⋅ xn ) =
⎛ ⎡α α α ⎤⎞
= f ⎜ α1 ⋅ x1 + β ⋅ ⎢ 2 ⋅ x2 + 3 ⋅ x3 + ... + n ⋅ xn ⎥ ⎟ ≤
⎝ ⎣β β β ⎦⎠
⎛α α α ⎞
≤ α1 ⋅ f ( x1 ) + β ⋅ f ⎜ 2 ⋅ x2 + 3 ⋅ x3 + ... + n ⋅ xn ⎟ ≤
⎝β β β ⎠
⎛α α α ⎞
≤ α1 ⋅ f ( x1 ) + β ⋅ ⎜ 2 ⋅ f ( x2 ) + 3 ⋅ f ( x3 ) + ... + n ⋅ f ( xn ) ⎟ =
⎝β β β ⎠
= α1 ⋅ f ( x1 ) + α 2 ⋅ f ( x2 ) + ... + α n ⋅ f ( xn )
Теорем исбат олунду >
Теоремин исбат эедишатындан айдындыр ки, бярабярсизликдя бярабярлик щалы
i = 1, n α i ≥ 0 ядядляриндян щеч олмаса икиси сыфырдан фярглидирся, йалныз
x1 = x 2 = ... = x n олдугда юдянир. Галан щалда f ( x) функсийасы ъидди габарыгдырса,
бярабярсизлик ъиддидир.
 Мисал 1. f ( x) = ln x, x > 0 функсийасына бахаг. Айдындыр ки,
1
f ′′( x) = − < 0 . Демяли, бу функсийа чюкцк функсийадыр. Онда онун цчцн (48.6)
x2
бярабярсизлийи доьрудур. Йяни, α 1 + α 2 + ... + α n = 1 шяртини юдяйян i = 1, n α i ≥ 0
ядядляри цчцн ашаьыдакы бярабярсизлик доьрудур:
⎪⎧α1 ⋅ ln x1 + α 2 ⋅ ln x2 + ... + α n ⋅ ln xn ≤ ⎪⎫
⎨ ⎬⇒
⎪⎩≤ ln (α1 ⋅ x1 + α 2 ⋅ x2 + ... + α n ⋅ xn ) ⎪⎭
(
⎧⎪ln x1α1 ⋅ x2α 2 ⋅ ... ⋅ xnα n ≤
⇒⎨
) ⎫⎪
⎬⇒ (48.7)
⎪⎩≤ ln (α1 ⋅ x1 + α 2 ⋅ x2 + ... + α n ⋅ xn ) ⎪⎭
{
⇒ x1α1 ⋅ x2α 2 ⋅ ... ⋅ xnα n ≤ α1 ⋅ x1 + α 2 ⋅ x2 + ... + α n ⋅ xn }
1
Бурада хцсуи щалда α 1 = α 2 = ... = α n = олдугда алырыг Ки,
n
x1 + x2 + ... + xn
n x1 ⋅ x2 ⋅ ... ⋅ xn ≤ (48.8)
n
Габарыг вя чюкцк функсийаларла таныш олдугдан сонра бизя айдын олур ки,
мцяййян функсийаларын графикляри ня цчцн бу вя йа диэяр формада габарыг чякилир.
Мисал 2. f ( x) = a x , a > 0 функсийасына бахаг. Айдындыр ки,
f ′′( x) = a ⋅ ln a > 0 . Демяли, бу функсийа габарыг функсийадыр.
x 2

Мисал 3. f ( x) = x α , x > 0 функсийасына бахаг. Айдындыр ки,

α −2
f ′′( x) = α ⋅ (α − 1) x . Бурада 2 щал ола биляр:
1. α > 1 ∧ α < 0 олдугда f ′′( x) = α ⋅ (α − 1) x α −2 > 0 олдуьундан бу функсийа
габарыгдыр.
2. 0 < α < 1 олдугда f ′′( x) = α ⋅ (α − 1) x α −2 < 0 олдуьундан бу функсийа
чюкцкдцр.