Угнута (увігнута) функція , або опукла вгору функція [ 1] — протилежність до опуклої функції . До угнутих функцій належать неперервні функції з від'ємною другою похідною .
Довільна неперервна фукнція не обов'язково або опукла, або угнута, але вона може бути опуклою або угнутою на певних інтервалах, розділених точками перегину .
Означення
Ілюстрація угнутості функції
Дійсна функція
f
{\displaystyle f}
визначена на інтервалі (або на будь-якій опуклій множині C деякого векторного простору ) називається увігнутою , якщо для
∀ ∀ -->
x
,
∀ ∀ -->
y
{\displaystyle \forall x,\forall y}
в її області визначення
C
{\displaystyle C}
маємо
f
(
t
x
+
(
1
− − -->
t
)
y
)
⩾ ⩾ -->
t
f
(
x
)
+
(
1
− − -->
t
)
f
(
y
)
,
∀ ∀ -->
t
∈ ∈ -->
[
0
;
1
]
.
{\displaystyle f(tx+(1-t)y)\geqslant tf(x)+(1-t)f(y),\quad \forall t\in [0;1].}
Функція називається строго увігнутою , якщо
f
(
t
x
+
(
1
− − -->
t
)
y
)
>
t
f
(
x
)
+
(
1
− − -->
t
)
f
(
y
)
∀ ∀ -->
t
∈ ∈ -->
(
0
;
1
)
,
x
≠ ≠ -->
y
.
{\displaystyle f(tx+(1-t)y)>tf(x)+(1-t)f(y)\,\quad \forall t\in (0;1),\quad x\neq y.}
Для функції
f
: : -->
R
→ → -->
R
{\displaystyle f\colon R\to R}
це означення просто стверджує, що
∀ ∀ -->
z
∈ ∈ -->
(
x
;
y
)
{\displaystyle \forall z\in (x;y)}
точки
(
z
;
f
(
z
)
)
{\displaystyle (z;f(z))}
на графіку
f
{\displaystyle f}
є вище прямої, що з'єднує точки
(
x
;
f
(
x
)
)
{\displaystyle (x;f(x))}
та
(
y
;
f
(
y
)
)
{\displaystyle (y;f(y))}
.
Функція
f
(
x
)
{\displaystyle f(x)}
є квазіувігнутою , якщо множини верхнього контуру функції
S
(
a
)
=
{
x
:
f
(
x
)
⩾ ⩾ -->
a
}
{\displaystyle S(a)=\{x:f(x)\geqslant a\}}
є опуклими множинами.[ 2]
Властивості
Приклади
Функції
f
(
x
)
=
− − -->
x
2
{\displaystyle f(x)=-x^{2}}
і
f
(
x
)
=
x
{\displaystyle f(x)={\sqrt {x}}}
є увігнутими, оскільки їхні другі похідні завжди від'ємні.
Будь-яка лінійна функція
f
(
x
)
=
a
x
+
b
{\displaystyle f(x)=ax+b}
одночасно й увігнута, й опукла.
Функція
f
(
x
)
=
sin
-->
(
x
)
{\displaystyle f(x)=\sin(x)}
є увігнутою на відрізку
[
0
,
π π -->
]
{\displaystyle [0,\pi ]\,}
.
Функція
log
-->
|
B
|
{\displaystyle \log |B|}
, де
|
B
|
{\displaystyle |B|}
є визначником додатноозначеної матриці
B
{\displaystyle B}
, є увігнутою.[ 3]
Див. також
Джерела
↑ Заболоцький, М. В.; Сторож, О. Г.; Тарасюк, С. І. (2008). 7.3. Опуклість функції (с. 133). Математичний аналіз . Київ: Знання. с. 421 . ISBN 978-966-346-323-0 .
↑ Varian, Hal A. (1992) Microeconomic Analysis . Third Edition. W.W. Norton and Company. p. 496
↑ Thomas M. Cover and J. A. Thomas (1988). Determinant inequalities via information theory. SIAM journal on matrix analysis and applications . 9 (3): 384—392.
Посилання