Академический Документы
Профессиональный Документы
Культура Документы
БЕЛЛМАН
НЕРАВЕНСТВА
Перевод с английского
г. и. Басса, В. и. Левина,
г. А. Шадрина
Под редакцией
В. и. Левина
ИЗДАТЕЛЬСТВО «М ИР»
Москва 1965
ИЗДАТЕЛЬСТВО
«мир»
ERGEBNISSE DER MATHEMATIK
UND IHRER GRENZGEBIETE
INEQUALITIES
Ьу
SPRINOER-VERLAO
BERLIN • OOTTINGEN • HEIDELBERO
1961
УДК 517.0
ПРЕДИСЛОВИЕ
Лос-Анжелес
и Санта Моника, 1961
Эдвuн Ф.Беккенбах
Ричард Беллман
Глава 1
ОСНОВНЫЕ НЕРАВЕНСТВА И РОДСТВЕННЫЕ ВОПРОСЫ
§ 1. Введение
§ 2. Неравенство Коши
y~+y~>2Y1Y2. (1)
Равенство имеет место тогда и только тогда, когда У! У2. =
Это - простейший вид неравенства, связывающего арифме
тическое и геометрическое средние. Следуя Коши, l\1bI
§ 2. Неравенсmво Коши 11
(3)
§ 3. Тождество Лагранжа
ППП 2 n
(~хr)(.~У[)-(~ХiУi) ==.~ (XiYj-ХjУi)2; (1)
1.=1 1.=1 1.=1 1.,]=1
i<;
последнее представляет собой также частный случай
более общего тождества, рассматриваемого в § 6 гл. 11.
Х1 + Х2 +...
n
+ ХN ~ (Х1Х2 · · · Хn ) 1/n ·
-:7 (1)
где n>-
2, и оставим другие Xi неизменными. Тогда
по (4.1) мы получим неравенство
+ Х2 + ... + Хn-! +
Х! +Х2+ ... +Xn-t
Xt n-l
--------n------->-
(5)
или
(8)
(1)
Так как ясно, что искомое наименьшее значение не может
приниматься в граничной точке, то мы можем применить
метод множителей JIarpaHяca для определения локального
минимума. Для функции
f(Xt, Х2, ••. , X n }=Xt X2 ••• x n -"л(Хt +Х2 + ... +Хn } (2)
необходимые условия экстремума имеют вид
§ 7. Функциональные уравнения
при '1(а)==а.
Произведя замену переменных Xi == aYi, i === 1, 2, ... , n,
мы будем иметь
(3)
Подставляя это представление в (2), найдем, что
§ 8. Вогнутость
-2-> -.1:-
Xj+X2
v Xt X 2· (2)
§ 9. Ма:JfCорuзацu.я - дО1'Сазаmелъсmво Вора 17
Рис. 1.
у~ Xi N nN
е i= 1 ~ (х 1Х2 .•• хn) у ( 4)
(NJ)n •
Отсюда, сравнивая коэффициенты при ynN, получаем не
равенство
(5)
или
n
. [ (nN) r] 1/N _ n
11т (NJ)n - n · (8)
N-+ooo
Мы видим, что
ер. = Рхт; + РХ 2 -
Pxr-1X2 - Рх 2 - 1х ! =
==2Pxf-2Pxi-1X2. (3)
Аналогично
х1 + x~ +n ... + хй - Х1 Х 2 • • • Хn -
1 ( ер! + ер2 + · .. + ерn-l·
_ 2n! ) (6)
Легко видеть, что каждая из функций epk (Х) неотри
цательна для Xi >-
О, так как
Х1 + Х2 + .·.+ хn > n.
Ltопустим, ЧТО это справедливо для n и что
(1)
(1 )
Легко видеть, что
ао> аl > .. · > а n > ... > Ь N > ... > Ь 1 ~ Ь о , (2)
и можно доказать, что последовательности {а n } и {Ь n }
имеют общий предел М (ао, Ь о ). Эта функция М (ао, Ь о )
была впервые исследована Гауссом [1]. Она играет важ
ную роль в теории эллиптических функций; более того,
Гаусс показал, как вся эта теория может быть основана
на этой функции.
Сделанное выше утверждение относительно сходимости
последовательностей {а n } и {Ь n } допускает далеко ИДУIЦие
обобщения. Например, если ао>Ьо>со> О и
_ an-f-bn+cn Ь _ (anbn+bncn+cnan)1/2
а n +l - 3 ,n+l - 3 '
с n +l = (аnЬnсn)l/З, (3)
то легко показать, что
метрических средних.
Один из способов доказательства результатов о СИ1\I
метрических средних состоит в применении некоторых
интересных неравенств между элементарными симметри
ческими функциями n действительных переменных. Ока
зывается, что неравенство между арифметическим и гео
метрическим средними является лишь одним из звеньев
цепочки аналогичных неравенств.
Следуя изложению в [1.1], мы применим метод дока
зательства, основанный на reoJ:eMe Ролля. Этот метод
22 Гл. 1. Ос'Нов'Ные 'Нераве'Нсmва и родсmве'Н'Ные вопросы
Гордингу.
Необходимый нам результат является непосредствен
ным следствием из теоремы Ролля; он состоит в следую
щем.
(РОР2) (Р1рз)2 (Р2Р4)З •.. (Pk-1Pk+1)h -< pip: ... p~k, (7)
или
t/k" pt/(k-rt)
Pk ~ Il+t , k=l, 2, ... , n-l. (8)
Из (8) мы, в частности, получаем, что
1/11
Р1 >Рn ,
А n =+ ~ Xi, ОП = СП Xi у/n.
i=t i=t
Если МЫ положим
ОП
г=--,
Йn - 1
24 ГА. 1. Основные неравенства и родственные BOnpOC'bl
An>Gn-t[(n_l)Аn-t-(n_l)+_~GnJ, (3)
n Оn- 1 Оn - 1
или
Аn - ОП >- n-l
--
n (А n - 1 - Оn-l)· (4)
показывает, что
Х 1 )а
( Х2 Хl 1 О
-ах;-+а- <: ,
ХfХ~-а--<ах1+(I-а)х2' О<а< 1,
а это и есть искомое неравенство для двух произвольных
i = 1, 2, ... , n -1,
и
Очевидно, что
1'1
n+1 n n
П X~i = П y~i<: ~ ~iYi =
i=f i=f i=1
n n+1
=.~ aiXi -~ (а n + а n +1) (x~n!l3nX~++I/~n) < .~ aiXi,
t=1 t=1
§ 15. Неравеиство Ю1tга 27
.l+.l=1,
р q
q=~,
р-
q-1 = ; ,
P=qq l '
(p-1)(q-1)= 1.
p-l==Е,
q
I (6)
a 1/ Pb1/ Q <..!!:-+!!-
р q
или a 1 / Pb1/ Q :;P..!!:-+!!-
'" р q ,
(7)
Пусть у =
ср(х) - непрерывная строго возрастающая
функция от Х, Х>- О и ср(О) О (см. рис. == 2). Рассматри
вая площади, представленные соответствующими интегра
(О, Ь) t-------~--I
о (а, О) х
Рис. 2.
аЬ<а loga-a + е Ь •
Это неравенство часто применяется в теории рядов Фурье.
n
(а):=(а1,а2, ... ,аn ), ~ai=l,
i=1
n
lim M t (х, а)= П X~i, (1)
'~o i=1
Но из соотношения
1
M_t(x, а)= Mt(l/x, а)
(4)
п п П
dM t (х, а) ........ о.
dt ~,
всегда так [1], однако легко показать, что tlogM t (x, а)
выпуклая функция от t (для этого надо после дифферен"
цирования применить неравенство Коши). Следовательно,
в силу (5) функция М , (х, а) удовлетворяет неравенству
(7)
Для произвольных ti И
n n
Т= ~ aiti,
i=1
ai > О, ~ ai = 1.
i=1
(8)
Сумма порядка t,
n
St (х) = ( ~ x~)1/t,
i=1
n
ST< ~ aiSt.
i=1 l
В силу (14.7)
(I)
если
1 1
p+q=l, р> 1,
и
если р <
1 (р =1= О).
Если мы здесь положим
ХР
а=_1.,
Х
q
ь= !!!:.-,
у
ппп
~ XiYi ~ хГ ~ Уl
i=1 ~~ i=1 +_ql i=y1 = 1, (2)
X I / p y1/q ~ Р Х
(3)
34 Гл. 1. OCHOBH'bLe неравенства u родственные вопросы
ппп
~ (х!
i=1
+ УЁ)Р < (~ Xf)I/
i=1
P
[~(X,
i=1
+ Yi)P] l/q +
n n
+ (~ уГ)I/
i=1
Р
[~(x,
i=1
+Yt)p] l/q,
равносильное (4). Неравенство заменяется на противопо
ложное, если р <
1 (р =1= О). Равенство имеет место тогда
и только тогда, когда (Х Р ) и (у Р ) пропорциональны «х+ y)Q),
или, что то же самое, когда пропорциональны (Х) и (У).
Неравенство (4) иногда называется «неравенством тре
угольника», так как для р = 2 оно может быть геометри
чески интерпретировано в n-мерном евклидовом простран
стве, где оно означает, что сумма длин двух сторон тре
угольника не меныlle длины третьей стороны. В этом слу
чае неравенство имеет место для всех действительных,
не обязательно положительных, значений Xi, УЁ, причем
§ 18. Обобщенu,я 'l';;лассu'Ч,ес'l';;UХ неравенств 35
n т т n
i~t ;П Xi; ~ ;Пt (i~t X:!)I/P;; (1)
1 n m т (1 n l/р· т 1
~ П Xij < JI n.~ Х:;) " р} > 1, ~ -
n {=1 = 1.
1=. 1=1 \-1 ;=. Р}
р> 1, ~+~=1
Р q ,
(4)
P
[~I~ fdVsl dVR Т/Р < ~ [(~ I f IPdVR Y/P]dVs, Р> 1.
R S S R
(6)
в неравенстве (2) можно также заменить интегралами
только суммы по j. в каждом случае неравенство заме
няется на противоположное, если р 1 (р =1= О), но при <
р <О мы должны предположить, что функции нигде не при
нимают значения нуль.
t t t
N-t
[~ If(k/N)g(k/N)I/N]2~
R=O
N-1 N-t
<[~ If(k/N)/2/N] [~lg(k/N)12/N], (8)
R=O h=O
luI2-t-lvI2>2Iuvl. (9)
Рассматривая u и v как функции от Р и интегрируя
по R, находим, что
~ на m:s R R~
R
·
Неравенство
Sr(x»St(X), r<t<O или O<r<t,
§ 19. Квазuлu1tеарuзацuя 39
'"
М (х)<М , (х), - 00 <, < t< со,
между средними, хотя также не является однородным
§ 19. Квазилинеаризация
= тах [L
Ilvll~1
(Xt, + L (Х2' у)]--<
у)
мы находим, что
п п п
( п Xi )1/n
n
. ~ XiZi
(2)
=mln~ --,
i=1 R(z) i=1 n
(3)
§ 22. Неравенство МИН1СовС1Сого для О <Р <1 43
· ~ Z, (Xi +Yi)
[ПN
i=1
(
Xi
+ Yi )] 1/n =mlП ~
R(z) i=1 n
........
,
n n
Z·x· z·Yi
>miп ~-~-1
~ ~
+min ~ -~- >-
R(z) i=1 n R(z) i=1 n
> ( JI Xi
n )1/n
+ (n
ПУi
)1/n
· (4)
1.=1 i=1
(1)
(2)
ппп
n
(~ XiZi)P
ХР = =_1
_'1._. _ (4)
n n
~ хr- l ~ уГ- 1
i=1 i=1
n n
Находя отсюда CYl\1MbI ~ XiZi И ~ YiZi И подставляя все
i=1 i=1
ЭТО В искомое неравенство (3), мы придадим ему следую-
§ 24. Неравеисmво Дрешера 45
ппп
(а)Р(х»О длях::f=О,
(б) F (tx) = tF (х) для t > О,
I (1)
(в) Р(х)+Р(у»Р(х+у).
Ясно, что F (х) является обобщенным расстоянием (от на
чала координат), или обобщенной нормой n-мерного векто
ра х; СМ. § 2.
Если дана функция С указанными выше свойствами,
то мы можем ввести новую функцию G (у), называемую
полярной функцией, определенную соотношением
~ IТfiIPdx<m~lfiIPdx, (1)
а а
то
(2)
n
б) ~ akl:=: 1,
1=1 (2)
n
в) ~ akl = 1.
R=1
(2)
Чтобы доказать искомое неравенство, мы должны пока
зать, что для всех {Xk, Yk}, удов.петворяющих условиям
(28.1), и для всех Zi, удовлетворяющих (2), имеет место
неравенство
(1)
§ 32. Конmuнуал/ьные аналогu 51
(2)
f -< g, (1)
если
ж ж
и
1 1
1 1
~ <р (t, /1' /2' ... , /71) dt <; ~ <р (t, g1' g2' ... , g7l) dt (4)
о о
Е n (х) = Х1 Х 2 ••• Хn •
~(Хi~Уj-Уi ~Xj)2
Е2 (х+у) _ Е2 (х) _ Е 2 (у) = i=1 ;=1 ;=1 (4)
Е 1 (х+ У) Е 1 (х) Е 1 (У) 2Е 1 (х+ У) Е 1 (х) Е2 (У) •
~ Xi E r - 1 (xi) = гЕг(х) ,
n
i=1 I (5)
Хi Е Г-1(Х;) + Er(xi) = Ег(х).
Суммируя второе из них по i, получаем
n n
nЕг(х) = ~ ХiЕГ-1(хi)
i=1
+ i=1
~ Er(xi) , (6)
n
~Er(xi) = (n-г) Ег(х). (7)
i=1
Так как
n n
гЕг(х) = ~ ХiЕг-t(Х) - ~
i=1 i=1
xr Er- (xi),
2 (9)
или
n n 2Е (')
Е г (х) = ~[ ~ Xi _ ~ Xi 1'-2 Xi ] =
Е г - 1 (х) r е1 i=1 Er-t(x)
54 Гл. 1. Основные неравенства и родственные воnросыl
d(
Х,у
) > ~г ~1
~ [ X~
Xi + F -
y~
+ Yi+Fr-l(У;) _
r 1 (xi)
- (Xi+y!)2 , ] >
Х! + Yi + Fr - 1 (Xi ) + Fr - 1 (Yi)
1] [Xi F r-l (yi) - Yi F r-l (xi)]2
> ' i = l [xi + Fr- 1 (xm [Yi Fr - 1 (уi)I [xi Yi +Fr - 1 (xf)
+ + + Fr- 1(yj)] ·
(13)
Таким образом, искомое неравенство справедливо
и для " если только (xi) +
(yi) для некоторого i. Если же
(xi) -- (yi) для каждого i, ТО это означает, что (xi) = л'i (yi)
для каждого i, и тогда
[Е (
r Х
+ У)] 1/т = [ Е ,. (x-r- у) Е,.-! (х+ у)
Е г - 1 (х+у) Е г - 2 (х+у) .••
Е ! (х+ у)
1
J/r ~
I
r::?
~ {[
~
Е ,. (х)
Е г - ! (х)
+ Е - (у)(у) ]
Е ,. [Е,.-! (х) + ЕEг -- 1 (у) J
г 1 Е г - 2 (х) r 2 (у) •••
•· • [Е 1 (х) + Е 1 (у)] }
1/Т
:;;;:.. 11
[' Ei(X)
Ei-1(X)
JI /r
+
сх)
П (1 +aJt)k, если k > О,
з=1
~ Т(n)(а) t n = т
n=о
П (l-ajt)k, если k < О, (1)
з=1
56 Гл. 1. Ос'Нов'Ные 'Нераве'Нсmва и родсmве'Н'Ные вопросы
а для k >
0- неравенство теоремы 17.
Новый результат (2) легко получается методом инте
гральных представлений, который мы разработаем глубже
в следующей главе. Для ~!алых t и k О имеем I I >
00
откуда
Следовательно,
00 со
1"(n) (
а)
1 1 \
=== [Г (k)]ffl nт J ~ (~Sjaj)n (j)(S) ds, (5)
о о з=1
где
m
P(sa + х) = Р(а) П [8 + л'k(а, х)], (1)
k=1
(2)
также гиперболические.
(a)Xi>O, }
(2)
(б) Xt>(x~+x~+ ... +X~)f/P.
Тогда для x,YER
q> (Х + у) ~ q> (Х) + q> (у). (3)
Д о к а з а т е л ь с т в о. Мы применим метод квазилинеа
ризации, разъясненный выше. Покажем, что
n
q>(x)=min~xizi, (4)
S(z) i=1
n
q
~ X1 Zt - ( ~ Xk) f/p (г~ - 1)f/ . (6)
k=2
(1)
1
~ u(x)v(x) dx >~. (3)
о
х(l-у), О<:х<:у-<.l,
К(х,у)= { (l-х)у, l>x~y>O. (6)
1
и(х) = ~ К(Х, у) {(у) dy. (7)
о
62 Гл. 1. Основн'ые неравенства и родственные воnросыl
~ К(х,у) h(X)dX]
minL(u)=min [ о . (12)
\L JI УК2 (у, у)
t [~K(X,Y)V(X)dX]
ru(x)v(x)dx>min о у . (13)
~ JI К2 (у, у)
§ 41. Пространство LP 63
\и(Х)V(Х)dх>miп!miП[о
~ К(х, у) K(x,z) dx
]I .
1
t
(14)
~ у z уК2 (у,у) VK2 (z, z)
§ 41. Пространство LР
Докажем теперь LР-обобщение теоремы 20; см. [40.7].
Излагаемое нами доказательство принадлежит Вейнбергеру .
1 1
(а) ~[u(x)]Pdx=l, ~[v(x)]qdx=l, oo>p>l,
о о (1)
(б) и (О) = v (О) = О, и (1) = v (1) = о.
Тогда
r
j и (х) v (х) dx >-
(р + 1)1/ Р (q + 1)1/q
6 • (2)
о
Тогда
1
~ и(х) v(x) dx = П~ К(х,у) К(х, z) Ut(y) Vt(Z) dx dy dz >-
о
где
(5)
Аналогично
(7)
1
~ u(x)v(x)dx>-min k(y, z). (8)
о y,z
K2(P,Q)=~K(P,P')K(P',Q)dV'. (2)
R
Тогда
Тогда
2/ ь
~ \ ,р(у) dy> -ь1_ \ ,p(f(x)) dx. (2)
21 J -а J
О а
+~
z
о
q>(y) dy= ь1 а~
Ь
а
q>(f(x»dx (3)
где
Ь
1 ~
Ь-а J[f(x)) dX<p+l
р 2Р [ 1
b_aJf(x)dx
~ ] р· (11)
а а
1 Ь
Ь-а ~ log I(x)dx Ь
2 1 ~
а
е >---Ь- f(x)dx, ( 13)
е -а
а
(1)
(2)
двух элементов f и g,
[f, g; v] == (f, g) (v, v)- (f, v) (g, v), (5)
удовлетворяет тому же условию, что и старое скалярное
ь 2
Следующее уточнение неравенства (~f(t)dt) <
а
n-1
( ~f(t)dt
Ь)2 (-l)h
=(b-а)~оk!(k+l)!Х
ь
где
Уl
U==W+'f, }
(2)
v == w+sg,
где w, f и g - элементы той же природы, что u и v,
а , и s - скалярные величины. Разлагая F в степенной
ряд в окрестности точки r == s == О, мы получим следую
щее соотношение:
(2)
выраженную через dn • Результаты этого типа были впер
вые получены Шуром [1]; дальнейшее исследование во
проса принадлежит Зигелю [2], Коберу [3] и Дингхасу [4].
где
ь
С= ~g(t)dt. (3)
а
74 Гл. 1. Основные неравенства и родственные BOnpOC'bl
du
f(и) ds = 1(s) g( s), (5)
откуда
du I(s)
ds = '(u) g(s) -<.g(s). (6)
Следовательно,
8
где
(3)
БИБЛИОГРАФИЯ И ДОПОЛНЕНИЯ
1. Х а р Д и, Л и т т л в у д, Пой а (Н а r d у G. Н., L i t t-
lewood J. Е., Polya а., Inequalities, London, СаmЬ
ridge University Press, 1951. Русский перевод издания 1934 г.:
Неравенства, ИЛ, М., 1948.
В этой книге МО)КНО найти много исторических замечаний,
ссылок и обобщений.
§ 9.
1. Б о Р(8 о h г Н.), ТЬе arithmetic and geometric means, J. Lon·
don Math. Soc., 10 (1935), 114.
§ 10.
1. rу р в и Ц (Н u r w i t z А.), ОЬет den Vergleich der arithmetf-
schen und des geometrischen Mittels, Math. Werke, 505-507,
8 asel, 8 ir kha user, 1933.
2. r у р в и Ц (Н u r w i t z А.), ОЬет die Erzeugung der Invarian-
ten druch Integration, Math. Werke, 546-564, Basel, Birkhau-
ser, 1933.
§ 11. На это доказательство наше внимание было обращено
Фань Цзы. См.
1. Э л е р с (Е
h 1 е r s G.), в книге: Hayes W. D. (ed.), Colloquium
опlinear equations, Office of Naval Research Technical Report
ONRL-3&-54, 1954.
Другое простое индуктивное доказательство дано в работе
2. Д и а н а н Д а (D i а пап d а Р. Н.), А simple proof of the
arithmetic теап - geometric теап inequality, Аm. Math. Моn
thly, 67 (1960), 1007.
§ 12.
1. r а у с с (G а uss С. F.), Werke, 10, 1, 172-292. Leipzig, ТеиЬ
пег, 1917.
2. Ш а пир а (5 с h а р i r а Н.), 8emerkungen zu der Grenz-
funktion algebraischer Iteration, 5 с h I 5 т i I с h Z., 32 (1887),
310-314.
3. Ш л е з и н г е р (5 с h I е s i n g е г L.), Uber Gauss' Jugend-
arbeiten zum arithmetisch-geometrischen Mittel, Deutsche Math.
Ver., 20 (1911), 396-403 (здесь можно найти много других
ссылок).
4. Б е л л м а н (8 е 11т а n R.), Tlle symmetric теаn, Math.
Mirror, Brooklyn College, 9 (1941), 5-6.
5. М а к л о р е н (М а с 1 а u r i n С.), А second letter to Martin
Folges, Esq.; concerning the roots of cquations with the demon-
stration of other rules in ale:ebra, Pllil. Trans., 36 (1729), 59-96.
Библиография и дополнения 77
§ 13.
1. Я к о б с т а л ь (J а с о Ь s t h а 1 Е.), ОЬег das arithmeti-
sche und geometrische Mittel, Norske Vid. 8elsk. Forh. (Trondheim),
23 (1951), 122.
§ 14. Мы следуем Харди, Литтлвуду, Пойа [1.1].
§ 15.
1. Ю н г (У о u n g W. Н.), Оп classes of summable functions and
their Fourier series, Ргос. Roy. 8ос. (А), 87 (1912), 225-229.
Неравенство
дает квазилинеаризацию
1- =
- n- . ~n
mtп
2
а.х.
1 Х· 1 l ,
~_ ~ i=1
i=1 ai
§ 27. См.
1. О с т р о в с к и й
(О s t r о w s k i А. ), S иг quel ques ар р lic а
tionsdes fonctions convexes et concaves аи sens de 1. Schur.,
J. Math. Риге Appl., 31 (1952), 253-292.
2. К а р а м а т а (К а r а m а t а J.), Sur une inega1ite relative
аих fonctions сопvехеs, РиЫ. Math. Univ. Belgrade, 1 (1932),
145-148.
Так же, как и результат следующего параграфа, этот резуль
тат играет важную роль в теории вероятностей и математической
статистике. См.
3. Бл е к у эл л (8 1 а с k w е 11 D.), Comparison of experiments)
Ргос. Second 8erkeley Symposium оп Mathematical Statistics and
Probability, 1950, 93-102, 8erkeley, CaHf., University of Cali-
fornia Press, 1951.
8 этом докладе излагается неопубликованная работа Блекуэл
ла, Боненбласта и Шермана.
§ 29. См.
1. Шур (S с h u r 1.). ОЬег eine Klasse von Mittelbildungen mit
Anwendungen auf die Determinantentheorie, Sitzber. Berl. Math.
Ges., 22 (1923), 9-20.
2. Б и Р к l' О Ф (8 i r k h о f f а.), Tres observaci6nes sobre el
algebra 1ineal, Rev. Univ. Nac. Тисиmаn (А), 5 (1946), 147-151.
80 Библиография и дополнения
§ 32.
1. Ф а н ь - Ц 3 ы, Л О Р е н т Ц (F а п К.. L о r е n t z G. G.),
Ап iпtеgгаl iпеquаlitу. Аm. Math. Monthly, 61 (1954), 626-631.
§ 33.
1. М а р к у с,
Л о п е с (М а r с u s М., L о Р е s L.), Inequali-
tiesfor symmetric fuпсtiопs апd Hermitian matrices, Canad. J.
Math. , 8 (1956), 524-531.
2. Б У л л е н, М а р к у с (В u 1 1 е пР., М а r с u s М.). 5уm
metric means and matrix inequal ities, 1961.
§ 35.
1. У а й т л и (W h i t е 1 е у J. N.), 50mе inequalities concerning
symmetric functions, Mathematika, 5 (1958), 49-57.
другие результаты, в том числе обобщения некоторых теорем
Ньютона, даны в работе
2. у а й т л и (W h i t е 1 е у J. N.), А generalization of а theorem
of Newton, Ргос. Аm. Math. Soc., 1961.
§ 36.
1. Г о Р Д и н г(G а r d i n g L.), Ап inequality for hyperbolic
polynomials, J. Math. and Mech., 8 (1959), 957-966.
§ 38. СМ. более раннюю работу
1. Г о Р Д и н г (G й r d i n g L.), Linear hyperbolic partial dif-
ferential equations with constant coefficients, Acta Math., 85
(1951), 1-62. Есть русский перевод.
2. Ц 3 Я Н Ь (С h е r n 5.), Integral formulas for hypersurfaces in
Euclidean space and their app1icat ion to uniqueness theorems,
J. Math. and Meclt .• 8 (1959. 947-956.
Библиография и дополнения 81
§ 46.
1. М о р, Н о л л ь (М о h r Е., N о 11 W.), Eine Bemerkung zur
Schwarzschen Ungleichheit, Math. Nachr., 7 (1952), 55-59.
§ 48.
1. Шур (5 с h u r 1.), ОЬег die Verteilung der Wurzeln bei gewis-
sen algebraischen Gleichungen mit gauzzah1 igen Koeffizienten,
Math. Z., 1 (1918), 377-402.
2. 3 и г е л ь (5 i е g е 1 с. L.), ТЬе trace оУ totally positive and
real algebralc integers, Аnn. of Math., 46 (1945), 302-312.
3. К о б е р (К о Ь е г Н.), Оп the arithmetic and geometric mеап
and оп Нбldег's inequality, Ргос. Anz. Math. 80с., 9 (1958),
452-459.
4. Д и н г х а с (О i n g h а s А.), Zur Abschatzung arithmetischer
М it tel reeler Zah1en durch Differenzprod ukte dersel Ьеп, Rend.
Mat. Palermo (2), 2 (1953), 177-202.
§ 49.
1. С е г ё(5 z е g б а.), ОЬег eille Verallgemeinerung des Dirich-
letschen Integrals, Math. Z., 52 (1950), 676-685.
2. Б е л л м а н (В е 11 m а n R.), Оп ап inequality оУ \Veinber-
ger, Anz. Math. Monthly, 60, (1953), 402.
3. В е й н б е р г е р (W е i n Ь е г g е г Н. F)., А n i пе qu а 1it У with
alternating signs, Ргос. Nat. Acad.8ci. U8А, 38 (1952),611-
613.
4. О л к и н (О 1 k i n 1.), Оп inequalities of 5zеgб and Ве1lmап,
Ргос. Nat. Acad. 8сё. USA, 45 (1959), 230-231.
5. Рай т (\V г i g h t Е. ~\.), Ап inequality for convex functions,
Аm. Math. Monthly, 61 (1954), 620-622.
6. Б р у н к (В r u n k Н. О.), Оп ап inequality Уог convex Уип
ctions, Ргос. Аm. Math. 80с., 7 (1956), 817-824.
§ 50.
1. С т е Ф Ф е н с е н
(5 t е f f е n s е n J. Е .), В ои nds о f с ег t а in
trigonometric integrals, Tenth 5candinavian Math. Congress 1946,
181-186. Copenhagen, Gjellerups, 1947.
2. Б е л л м а н (В е 11т а n R.), Оп inequalities with aIternating
signs, Ргос. Anz. Math. 80с., 10 (1959), 807-809.
Мы опустили здесь рассмотрение статистических метрических
пространств - понятия, введенного Вальдом и Менгером (Wald and
Menger), о которых см. работу
3. Ш в е й Ц е р, С к л я р (5 с h w е i z е r В., 5 k 1 а r А.),
5tatistical metric spaces, Pacif. J. Math., 10 (1960), 313-334.
Кроме того, мы не упомянули о неравенствах, возникающих
в теории вероятностей и теории информации, где важную роль
играет функция (энтропия) ~ Pi log Pi; см. работу
i
4. Л е й п н и к (L е i р n i k R.), ТЬе extended entropy ипсег
tainty principle, 111fo,rnation and Control, 3 (1960), 18-25.
Библиография и дополнения 83
§ 1. Введение
§ 3. Необходимое условие
положительнойопределенности
анх !2 + 2a x x2 + а 22 Х 22 === ан
t2 t (+
Х
! а 12 Х 2 )2 +
--
ан
+ (а22 -
i2
aан )x\
2
(1)
Отметим, что
(2)
ан а12 • • • alk
а21 а22 • • • a2k
IAkl= (3)
akl a k2 • • • akk
(4)
где IAol = 1,
n
Yk=Xk+ ~ bkjxj,k=1,2, ... ,n, (5)
j:=.k+l
I Ak I неотрицательны.
Теорема 2 играет важную роль в изучении моментов.
Широко применяемый здесь метод состоит в сведении
положительности функции к положительной определенности
некоторой матрицы. Тогда соотношения (1) дают систему
необходимых и достаточных условий.
§ 6. Определители Грама
х(2)
х= (2)
х(n)
n n
~ х; ~XiYi
i=1 i=1
n n >0, (5)
~ XiYi ~ У;
i=1 i=1
или
(6)
ппп 2 n
(~Хr)(.~уГ)-(~ХiУi) =.~ (XiYj-ХjУi)2, (7)
\=1 \=1 \=1 \,з=1
i<J
I~ fi(X) gj(X) dx 1=
а
о) о)
Jn = VТAi
1 (rJ е- Х2
dx
)n = VТAi
n
1l
· /
2
(2)
-О)
~~2k
О) О) - ~ IAk - 11Y
Jn = ~ ... ~ е k=1 dy =
(r
-О) -О)
е- у2 dY)n
-О) 'Лn/2
n -VТAi· (4)
П YIA k I/IA k - 11
k=1
О)
00 00 n/2
\ ••• \ e-(х,(А+iВ)х) dx= ---;::=З't== (1)
-00
J J
-00
YIA+iBI'
00 00 00 00
n/2 00 00
:rt = (' ... (' e-Л(х,АХ)-(1-Л)(х,ВХ)dх. (2)
УlлА+(l-л)В J J
-00 -00
пn/2
-yr=1л=А=+=(=l=л=)в=" --<
00 00 л ( 00 00 1 А
-< ( ~ ... ~ e-(х,Ах) dx ) ~ ... ~ е-(Х,ВХ) dx) - -<
-00 -00 -00 -00
пn/2
--< , (3)
VI А \АIВI(1-Л)
i = 1, 2, ,k )
(4)
i=k+ 1, , n,
и полученный интеграaJl сложим с Jn . В результате получим
равенство
h n
00 00 - ~ 0ijXiXj - ~ 0ijXiXj
2Jn = ~ ... ~ е i,j=! i,j=k+! (и + U-1 ) dx, (5)
-00 -00
где
(6)
Так как для всех положительных U
U+U- 1 >2, (7)
то получаем неравенство
k
00 00 - ~ а.·х.х·
~ l} l J )
Jn >- ( ~ ... ~ е i,j=! dx х
-00 -00
(8)
00 00
§ 14. Следствия
Х>О
S 1x<2>l kl IХ<З>l k 2 ••• lX<n>lkn-l
(3)
n
( ..r~)п(n-1)/2
3t r(k n ) r(k n ~
+ k n - 1 -1/2) ... г ( kI ki - (n- 1) /2 )
i=1 I
Здесь
J е -(Х 1 Уl+
\ Х 2 У2+· .. +xnYn)d d dn -
Х! Х2 ••• Х -
R
(1)
где R-область пространства (х, у), определенная нера
венствами
. Q( ) _ ,А! (3)
~!:~ Х - ТAiТ ·
1
n n
П IC(i)l hj >- П IАт I Лhj Ib(i)I(I-Л)hj (1)
j=1 j=1
имеет место для любых действительныхчисел kj , таких,
что
j
~ ki >- о, j = 1,2, ... , n. (2)
i=1
102 Гл. 11. ПОЛО:>ICuте.лЪ1iО оnреде.ле1i1iЪtе .матрUЦЪt
R2
П IC(;)lhj = (IC<l)I)Rl
N
(IC<2)I)Rl+
;=1 IC(2)1 IС<З)I ···
\C<n-l)I)Rl+h2+ · .. +kn - 11 Си) I R1+ h2 +' .. +kn (4)
... ( IC<n)\ '
И применить неравенство (3).
(2)
§ 20. Обобщенuе неравенсmва Бергсmрома 103
(4)
(Ах, Ах) (Вх, Вх) -< ( In 1,nз+ m 2 m 4)2 (Ах, вх)2. (7)
ml m 2 m з m 4
Sp(AB)
--~
n......
(П
n
л·1
n
)1/n(п Ь··
II
)1/n =IAI 1/n(П Ь·· )1/n
n
II •
(3)
i=1 i=1 i=1
(1)
для k = 1, 2, ... , n.
Этот результат может быть получен либо сведением
к диагональной форме, либо использованием представле
ния, аналогичного приведенному ниже в теореме 25, § 34.
IА-л!1 =0,
характеристического уравнения матрицы А. Если А дей
ствительна и симметрична, то, как известно, все Лi дей
ствительны.
(х, Ах)
Л1 = П1ах -(--) ,
х х, х
(1)
'1 • (х, Ах)
I'vn = mlП -(--) •
х х, х
+ В) >- Л1(А),
Л 1 (А }
(2)
лn(А + В) >- Лn(А).
(х, Ах)
А 2 = шах
х
-(-)-'
х,Х
(1)
(х, Ах)
Аз = шах -(-)-, (2)
х х,Х
и т.д.
Доказательство см. в [11 и [2.1].
Из этого результата легко вытекает, что
Введем обозначение
== тах ~
h 2
n-
- / е-{Х' Ах) dVk (3)
1Ajl/2 Rk '
k Rk
Sk(ЛА+(I-Л)В»ЛSk(А)+(I-Л)Sk(В). (4)
Этот результат также принадлежит Фаню [9.1]. Дока
зательство, приведенное выше, дано Беллманом [2.1].
11.
х == ~ Uj хо). (1)
j=1
Тогда
11.
(х, Ах) = ~ Иjиl(х(j), Ax(l». (2)
;,1=1
Доказательство
Известно (Cl\I. теорема 7, § 10), что
h h
П Лi(В) == I в 1-< П (X(i), AX(i»). (2)
i=1 i=1
§ 33. Обсуждение
аналогичное (10.3).
Предположим также, что О -< СА -< СА+l -< ... -< Сп. vIсполь
зуя формулу (34.2), получим
n
СkЛk + Сk+1 Л k+1 + ... -t- Сn""n -< СА [~ j=h
(x(i), Ax(i»)] -t-
n
-t- (СА+l - СА) [ ~ (x(i), AX(i»)] + ...
i=ll+1
Составим произведение
n
YiWj = ~ aik bjrXk гг, (2)
R,r=1
Xi Yi I
i,j=l, 2, ... ,n. (4)
I Xj Yj
n
~ аи == 1, j = 1, 2, ... , n. (1)
i=t
к,роме того,
n
~ aijXj
тах min _i=_1_ _
х i xi
р(А)= n
(2)
~ aijXj
min тах _i=_1_ _
х i xi
n
где в обоих случаях xi >- О, ~ Xi = 1.
i=1
Этот результат был получен независимо рядом авторов.
Опубликован впервые Колатцом [1]; см. также Виландт [2].
(5)
о
(1)
В этой форме равенство двух вариационных выраже
ний есть непосредственное следствие одного обобщения
теоремы о минимаксе фон НеЙf\1ана, которую мы рассмо
трим в § 23 гл. 111.
р(А+В»р(А). (1)
Если А 1 - положительная матрица размеРНОСlnи n - 1,
полученная выбрасыванием одной строки и одного столбца
nроизвольных индексов из .матрицы А, то
е 6А = 1 + 6А + ... , (2)
которая положительна для малых значений 6. Очевидно
что
г(А+В»г(А),
если А - входная-выходная матрица, а В - положительная
матрица.
§ 43. Обсуждение
dx
dТ=Ax, х(О)==С, (1)
неотрицательно для t >-
О при любых с:> о, состоит в том,
что А-входная-выходная матрица (см. Беллман, Гликс
берг, Гросс [1]; Эрроу [2]).
§ 44. Добавления
творяющих n уравнениям
то I А I =F о.
Этот часто встречающийся результат вместе с многими
ДРУГИl\fИ результатами содержится в обзорной статье
Тауски [1] (см. также Тауски [2]).
С теоремой 31 связана проблеl\'Iа определения области
на л-плоскости, которая содержит все характеристические
§ 47. Моиотои'Н:ые м,атрu'Ч,и'ые фуи?\'цuu в с.мЪLсле Лёвиера 125
БИБЛИОГРАФИЯ И ДОПОЛНЕНИЯ
§ 8.
1. Т а у с к и(Т а и s s k у О.), BibIiographyon bounds forcharac-
teristic roots of finite matrices, NationaI Bureau оС Standards,
Washington, О. С., ]95].
2. Б е л л м а н, Г о Ф Ф м а н (В е 1 1 т а n R., Н о f f т а пА.),
А note оп ап inequality оС Ostrowski and Taussky, Arkiv. Math.,
5 (] 954), 123-] 27.
§ 9.
1. Ф а н ь Ц з ы (F а n К.), Оп а theorem of Weyl concerning ei-
genvalues of linear transforlnations, 1, Ргос. Nat. Acad. Sci.
Библиография, и дополнения 129
§ 17.
1. Б е р г с т р о м (В е r g s t r о т Н.), А triangle inequa]ity
for matrices, Den Elfte Skandinaviski Matematiker-kongress, Trond·
heim, 1949, Os]o, J ohan Grundt Tanums, 1952.
2. Б е л л м а н (В е ] ] т а n R.), Notes оп matrix theory, IV, Ап
enequaIity due to Bergstrom, Ат. Math. Monthly, 62 (1955),
172-173.
§ 18. Обобщение частного результата, приведенного в § 15,
дается в следующей работе.
1/ mk S р ( А<п> , в<п»
IA<k>1 •
тlП
= 181=1 ~
() ·
§ 22.
1. Хей н с в о р т (Н а у n е s w о r t h Е. v.), Note оп bounds
for certain determinants, Duke Math. J., 24 (1957), 313-320.
2. Хей н с в о р т (Н а у n е s w о r t h Е. V.), Bounds for deter-
minants with positive diagonaIs, Trans. Ат. Math. Soc., 96
(1960), 395-413.
Эти статьи содержат результаты Островского, Прайса, Шней
дера, Бреннера. В них можно найти дальнейшие ссылки.
§ 23.
1. Ф а н ь Ц з ы (F а n 1<.), Some inequaIities concerning positi-
ve-definite hermitian matrices, Ргос. Caтbridge Phil. Soc., 51
(1955), 414-421.
2. Ф а н ь Ц з ы (F а n 1<.), РтоЫеm 4786, Ат. Math. Monthly,
65 (1958), 289.
3. М и р с к и й (М i r 5 k у L.), Maximum principles in matrix the-
оту, Ргос. Glasgow Math. Assoc., 4 (1958), 34-37.
§ 24.
1. О п п е н г е й м (О р реп h е i m А.), InequaIities connected
with definite hermitian forms, J. London Math. Soc., 5 (1930),
114-119.
2. О п п е н г е й м (О р реп h е i m А.), Inequalities connected
with definite hermitian forms, 11, Ат. Math. Monthly, 61 (1954),
463-466.
§ 25. Дальнейшее обсуждение результатов §§ 25, 26 см. в рабо
те [2.1].
§ 26. Результаты Куранта относительно непрерывных операто
ров можно найти в книге
1. I< у р а н т, Г и л ь б е р т (С о u r а n t R. , н i 1 Ь е r t О.) ,
Methods of mathematicaI physics, New York, Interscience Publi-
shers, 1953. Русский перевод второго немецкого издания: Методы
математической физики, т. 1, 11, Гостехиздат, М.-Л., 1951;
см. также перевод американского издания 1961 года; Р. К у
Р а н т, Уравнения с частными производными, «Мир», М., 1964.
Оригинальный результат Фишера можно найти в статье
132 Библиография, и дополнения
§ 27.
1. В е л л м а н, Г л и к с б е р г, Г р о с с (В е 11 m а n R.,
G 1 i с k s Ь е r g 1., G r о s s О.), Notes оп matrix theory, VI,
Ат. Math. Monthly, 62 (1955), 571-572.
§ 28
1. Ф а н ь Ц з ы (F а n К.), Problem 4430, Аm. Math. Monthly'
58 (1951), 194-195.
§ 29. См. часть 11 работы [9.1].
§ 30.
1. В е й л ь (W е у 1 Н.), Inequalities between the two kinds of
eigenvalues of а linear transformation, Ргос. Nat. Acad. Sci.
USA, 35 (1949), 408-411.
2. Ф а н ь Ц з ы (F а n К.), Maximum properties and inequaIities
for the eigenvalues of completely continuous operators, Ргос.
Nat. Acad. Sci. USA, 37 (1951), 760-766.
3. Л и д с к и й В. В., Собственные значения сумм и произведе
ний симметрических матриц, дОКЛ. АН. СССР, 75 (1950), 769-772.
4. Г о Р н (Н о r n А.), Оп the singular values of а product of соmр
letely continuous operators, Ргос. Nat. Acad. Sci. USA., 36 (1950),
374-375.
5. В и л а н Д т (W i е 1 а n d t Н.), Ап extremum property of sums
of eigenvalues, Ргос. Ат. Math. Soc., 6 (1955), 106-110.
6. А м и р - м о э з (А m i r - М о е z АН R.), Е х treme proper ti es
of eigenvalues of а hermitian transformation and singular values
of the sum and product of а linear transformation, Duke Math. J.,
23 (1956), 463-477.
7. М и Р с к и й (М i r s k у L.), Onaconvex set of matrices, Arch.
Math., 10 (1959), 88-92.
§ 31.
1. К о ш и (С а u с h у А.), Sur 1'equation а 1'aide de laquelle оп
determine les inegalites seculaires des mouvements des planetes,
Oeuvres completes IIe serie IX, Paris, Debure, 1821, 174-195.
2. П У а н к а р е (Р о i n с а r е Н.), Sur les equations аих
derivees partielles de la physique mathematiques, Ат. J. Math.,
12 (1890), 211-294.
См. также следующие работы.
3. Пой а (Р о 1 у а G.), Estimates for eigenvalues, Studies in
Mathematics and Mechanics, New York, Ac.ademic Press, 1954.
4. Г а м б у р г е р, Г р и м ш о у (Н а m Ь u r g е r Н. L.,
G r i m s h а w М. Е.), Linear transformations in n-dimensional
vector space, Cambridge, Cambridge University Press, 1951.
Одна из простых формулировок теоремы разделения состоит
в следующем.
Пусть А - вещественная симметричная матрица порядка
n и В - матрица, полученная как главная подматрица А порядка k;
Библиография, и дополнения 133
тогда Лi(В) -< Лf(А), i= 1,2, ... , k, Лn-j(В) >Лn-j(А), j=O, 1, ...
... , k - (Эта формулировка принадлежит Фань Цзы.)
1.
Работа [31 содержит несколько интересных замечаний относи
тельно эквивалентности теоремы разделения и теоремы о мини
максе Фишера. Кроме того, приводятся некоторые приложения.
§ 32.
1. Ф а н ь Ц з ы (F а n К.), Problem 4429, Ат. Math. Monthly,
58 (1951),194.
§ 33. Результаты этого параграфа принадлежат Фань Цзы.
§ 34. Этот результат содержится в первой части работы [9.11.
1. М и Р с к и й (М i r s k у L.), Аn inequality for positive definite
matrices, Ат. Math. Monthly, 62 (1955), 428-430.
§ 35.
1. Б е л л м а н (В е 11т а n R.), Note оп matrix theory - mul-
tiplicative properties from additive properties, Ат. Math. Monthly,
65 (1958), 693-694.
§ 36.
1. Маркус, Мак-Грегор (Marcus М., McGre-
g о r J. L.), Extremal propertles of hermitian matrices, Canad.
J. Math., 8 (1956), 524-531.
2. М а р к у с, М о й л с (М а r с u s М., М о у 1s В. N.),
Extreme value properties of hermitian matrices, Dept. of Math.
Univ. of British Columbia, Vancouver, Canada, 1956.
3. М а р к у с, М о й л с, У э с т в и к (М а r с u s М., М о у 1 s
В. N., W е s t w i с k R.), Some extreme value results for inde-
finite hermitian matrices, 11, lllinois J. Math., 2 (1958), 408-414.
4. М а р к у с, М о й л с У э с т в и к (М а r с u s М., М 0-
У 1 s В. N., W е s t w i с k R.), Extremal properties of hermi-
tian matrices, Canad. J. Math.
§ 37. Идея изучения различных классов присоединенных матриц
была введена Шуром в его диссертации.
1. Шур (5 с h u r 1.), 'Ober eine Klasse von Matrizen die sich einer
gegebenen Matrize zuordnen lassen, Dissertation, Berlin, 1901.
Детальное рассмотрение вопроса и дальнейшие ссылки см.
в работах
2. М а к - Д а Ф Ф и (М а с D u f f е е С. С.), ТЬе theory of matri-
ces, New YorK, Chelsea, 1946.
3. Рай з е р (R у s е r Н. J .), Inequalities of compound and indu-
ced matrices with applications to combinatorial analysis, 1llёnо·
is J. Math., 2 (1958), 240-253.
Отметим тот замечательный факт, что произведения Кронекера
для матриц, а также составные матрицы Шура возникают естест
венным образом не только в теории групп и геометрии (см., напри
мер, Лорх [8.2], гл. 1), но также и в других областях анализа. Так,
например, произведение Кронекера появляется в теории устой
чивости. См. по этому поводу
134 Библиография, u дополнения
1. Л е о н т ь е в (Leontieff W. W.),
The structure of American есопо
ту, Cambridge, Mass., Harvard University Press, 1941.
2. М о Р г е н ш т е р н (М о r g е n s t е r по.), ред., Economic
activity analysis, New York, Wiley, 1954.
3. Эрроу, Нерлав (Arrow К. J., Nerlove M.),Anote
оп expectation and stabi1ity, Econoтetrica, 26 (1958), 297-305.
В каждой из этих работ можно найти многие дальнейшие
результаты и ссылки. По поводу общего обсуждения теории линей
ного программирования и ее отношения к математической эконо
мике см. следующую литературу.
4. Д о Р Ф м а н, С а м у эль с о н, С о л о у (D о r f т а n R.,
S а т u е 1 5 О n Н., S о 1 о w R.), Linear programming and
economic analysis, New York, МсGгаw-Нill, 1958.
§ 43. Этот результат при водится в следующих статьях.
1. Беллман, Гликсберг, Гросс (Bellman R.,
G1i с k s Ь еr g 1., G r о s s о.), Оп some variational problems
occurring in the theory of dynamic programming, Rend. Circ.
Mat. Palerтo (2), 3 (1954), 1-35.
Изящное доказательство отрицательности -А -1, основан-
§ 46.
1. Т а у с к и (Т а u s s k у о.), А recurring theorem оп determi-
nants, Ат. Math. Monthly, 56 (1949), 672-676.
2. Т а у с к и (Т а u s s k у о.), BibIiography of bounds for
characteristic roots of finite matrices, Nat. Bur. Standards Report,
Washington, D. С., National Bureau of Standards, 1951.
3. Пар к е р (Р а r k е r W. W.), Characteristic roots and fields
of value of а matrix, Bull. Ат. Math. Soc., 57 (1951), 103-108.
4. Б Р а у э р (В r а u е r А.), Limits for the characteristic roots
of а matrlx, 1, 11, 111, Duke Math. J., 13, 14, 15 (1946, 1947,
1948), 387-395, 21-26, 871-877.
5. Ф а н ь Ц з ы
(F а n К.), Note оп circular disks containing the
eigenvalues ofаmatrix, Duke. Math. Z., 25 (1958), 441-445.
6. Хей н с в о р т (Н а у n s w о r t h Е. V.), Bounds for deter-
minants with dominant main diagonal, Duke Math. J., 20 (1953),
199-209.
Вещественные матрицы, удовлетворяющие условию
§ 47.
1. Л ё в н е р (L о е w n е r С.), Ober monotone Matrixfunktionen,
Math. Z., 38 (1934), 177-216.
2. Л ё в н е р (L о е w n е r С.), Some classes of functions defined
Ьу difference or differential inequalities. Bull. Ат. Math. Soc.,
56 (1950), 308-319.
Биб,/l,иография. и дОnО,/l,нения 139
3. Б е н Д а т, Ш е р м а н (В е о d а t J., S с h е r т а о 5.),
Moootooe aod convex operator fuoctioos, Trans. Ат. Math.
Soc., 79 (1955). 58-71.
4. I( Р а у с (1< r а и s F.), Vber koovexe Matrixfuoktiooen.
Math. Z.. 41 (1936). 18-42.
5. Д о б ш (О о Ь s с h R.). Matrixfunktiooeo beschraokter
Schwankuog. Math. Z., 43 (1937), 353-388.
6. В и г н е р (W i g о е r Е.), Оп а class of aoalytic fuoctions
from the quaotum theory of col1isions, Аnn. Math., 53 (1951).
36-37.
7. Л ё в н е р(L о е w о е r С.), 00 totally positive matrices.
Math. Z., 63. (1955). 338-340.
8. Д а Ф Ф и н (О и f f i о R. J .). Elementary operatioos which
generate oetwork matrices, Ргос. Ат. Math. Soc., 6 (1955), 335-
339.
9. А н д е р с о н (А n d е r s о n Т. W.), ТЬе integral of а sym-
metric unimodal functioo, Ргос. Ат. Math. Soc., 6 (1955), 170-
176.
10. Л е й н. Т о м а с (L а о е А. М., Т h о т а s R. а.), R-
matrix theory of nuclear reactions, Rev. Mod. Phys., 30 (1958).
257-352.
§ 48.
1. Ш е н б е р г (S с h о е n Ь е r g 1. J.), Oosmoothingoperations
and their generating functions, Bull. Ат. Math. Soc., 59 (1953),
199-230.
2. Ш е н б е р г (S с h о е n Ь е r g 1. J .), Vber variationsver-
mindernde lineare Transforma tionen, Math. Z., 32 (1930), 321-328.
Относительно теории строго положительных матриц Гантмахе
ра и Крейна нужно заметить. что она представляет собой алгебра
ическую аналогию ядер Келлога в теории интегральных уравне
ний. См. по этому поводу работы
3. К е л л о г (1< е 1 1 о g g о. о.). ТЬе oscillation of functions
of ао orthogonal set. Ат. J. Math .• 38 (1916). 1-5.
4. I< е I 1 о g (К е 1 1 о g g о. о.), Orthogonal functioo sets arising
from integral equations, Ат. J. Math., 40 (1918), 145-154.
См. также серию статей об этих ядрах Гантмахера и Крейна,
ссылки на которые можно найти в [38.5] и в книге.
5. Г а н т м а хер Ф. Р., к рей н М. Г., Осцилляционные
матрицы, ядра и малые колебания механических систем, Фиэ
матгиз, М.-Л., 1950.
6. Г и Р ш м а н, В и д Д е р (Н i r s с h т а n 1. 1., W i d·
d е r О. V.), ТЬе convolutioo traosform, Princeton, N. У.,
Princetone Uoiversity Press. 1955.
7. Ш е н б е р г (S с h о е n Ь е r g 1. J .), Ап isoperimetric ine-
quality for closed curves convex in even-dimensional Euclidean
spaces, Acta Math., 91 (1954), 143-164.
Некоторые приложения этих идей к теории вероятностей и ста·
тистике можно найти в следующих статьях.
140 Библиография, и дополнения
8. К а р л и н,М а к - Г Р е r о р (К а r 1 i о S., м с G r е g о r
J.L.), ТЬе differeotial equatioos of birth-aod-death proces-
ses and the Stieltjes momeot probIem, Trans. Аm. Math. Soc., 85
(1957), 489-546.
9. К а р л и н (К а r 1 i n S.), Рбlуа-tуре distributioos, IV,
Аnn. Math. Stat., 29 (1958), 1-21.
10. М е й р х у б е р, Ш е н б е р г, У и л ь я м с о н (М а i r-
h u Ь е r J. С., S с h о е n Ь е r g 1. J., W i 11 i а т
s о n R. Е.), 00 variation-dimioishiog transformations of the
circle, Rend. Circ. Mat. Palermo (2), 8 (1959), 241-270.
§ 49.
1. К е хер (К о е с h е r М.), Die Geodatischeo voo PositiviHit-
sbereichen, Math. Аnn., 135 (1958), 192-202.
2. К е хер (К о е с h е r М.), Positivitatsbereiche im Rn, Аm.
J. Math., 79 (1957), 575-596.
Очень мало известно о так называемых устойчивых матрицах,
Т. е. матрицах, все характеристические корни которых имеют
отрицательную действительную часть. Некоторые результаты по
этому поводу можно найти в [2.1}, где имеются также дальнейшие
ссылки. Отметим, однако, что имеется весьма общая теория «дис
сипативных операторов». См. следующие работы:
3. Ф и л л и п с (Р Ъ i 1 1 i Р s R. S.), Оп the integration of the dif-
fusion equatioo with boundary conditions, Trans. Аm. Math. Soc.,
98 (1961), 62-84.
Несколько интересных неравенств ДJ1Я матриц можно найти
в статье
4. В и н е р, М а з а н и (W i е о е r N., М а s а n i Р.), ТЬе
prediction theory of multivariate stochastic processes, 1, 11, Acta
Math., 58 (1957), 111-148, 99 (1958), 93-130.
См. так)ке работу
5. Х е л ь с о н, Л о у Д е н с л а r е р (Н е 1 s о о Н., L о w-
d е n s 1 а g е r о.), Prediction tlieory and Fourier series io
several variables, Acta Math., 99 (1958), 165-202.
Ряд неравенств, которые выводятся из статистических и вероят
ностных соображений, можно найти в статьях
6. М а р ш а л л, О л к и н (М а r s h а 1 1 А., О 1 k i о 1.), ТесЬ
nical Report No. 36, Applied Math. and Statistics, Stanford, CaHf.,
Stanford University Press, 1960.
7. М а р ш а л л, О л к и н (М а r s h а 1 1 А., О 1k i о 1.),
Multivariate Chebyshev Туре Inequalities, East Lansing, Mich.,
Michigao State Uoiversity, 1959.
r лава 111
§ 1. Введение
венства
(х, у»О (1)
с подходяще выбранным определением внутреннего произ
ведения.
Иногда, например, в различных вопросах квазилиней
ных представлений требуются более общие выражения.
Естественно, что здесь будет использован ряд теорем
и понятий из теории выпуклых множеств, с одной сто
роны, и из теории линейных пространств - с другой. Фун
даментальную роль при этом будут играть метод орто
гональных проекций, теорема Банаха - Штейнгауза и тео
рема расширения Хана - Банаха, а также понятие разде
ляющей плоскости.
Важно отметить, что при изучении этих основных
вопросов математики искусственные границы между
алгеброй, геометрией и анализом стираются. Имеется ряд
определенных основных задач и методов решений, к кото
рым сводятся все эти разделы. Одним из наилучших опи
саний решения ряда отдельных задач анализа с этой
объединяющей точки зрения является работа Розен
блюма [3].
Для иллюстрации указанных выше идей перейдем
к рассмотрению отдельных примеров.
Начнем с обобщения неравенств Коши - Шварца
Буняковского и Гёльдера.
Вместо частных результатов, которые мы раньше полу
чили для степенных сумм
1
тll. = ~ е 2Лi 1l.Х dG(x). (6)
о
q>(x) == 1, xES,
(8)
q>(x) == О, xES.
в этой задаче будет использовано понятие выпуклости,
которое на первый взгляд кажется здесь неприменимым.
Далее будет приведена интересная теорема Ландау,
использующая неравенство Гёльдера. Ее содержание со
стоит в том, что вектор х с компонентами хl, Х2, ... , ХN , • • •
принадлежит [Р, т. е. пространству последовательностей
{хn }, для которых ~ IХn!Р
n
< СО, Р > 1, тогда и только
тогда, когда его проекции на векторы пространства
§ 2. Моменты
Рассмотрим выражения
(2)
получаем
Sk = ~ x k dG(x) , (5)
О
§ 3. Bbtny1'Wtocmb 147
1
mll = ~ x ll dG(x), (7)
О
§ 3. Выпуклость
k= 1, 2, .... (1)
1
А. f Е S, если ~ f2(X) dx <. 1; <Pk(X) Е L2(0, 1).
о
(1)
1
В. f Е S, если ~ <Pk (х) Е L (0,1),
P q
If(x)I dx <.1;
о
1 1
р> 1, --1--=1.
qр
1
О. f Е S, если df"> О, ~ df = 1; <Pk(X) = e21ti /',x.
о
f пробегает пространство S.
Область будет определена, если будет найдена ее гра
ница. Для этого МЫ должны использовать некоторые внут
ренние свойства s.
В частности, если пространство S
выпуклое, то l\1ножество соотвеТСТВУIОЩИХ точек также
выпукло, и следующая простая геометрическая идея может
сыграть существенную роль.
Границу выпуклого l\tlножества точек R из n-мерного
пространства можно найти так. Возьмем плоскость Р и бу
дем двигать ее параллельна самой себе до тех пор, пока
она не бу дет содержать крайних точек R. Множество
крайних точек для всех плоскостей и составляет грани
цу R.
Эта интуитивная характеристика не всегда точна.
Более точное и детальное рассмотрение этого свойства
и другие применения м:ожно найти в книге Боннесена
и Фенхеля [8.1], гл. 1 и статьях Розенблюма [1.3].
Рассмотрим, например, двумерный случай. Линии L e
и L E представляют крайние поло}кения линии L, точки Р
§ 7. Пространство LP. Резулътат Ф. Рuсса 151
у
.........
..........
.........
........
........ ,
.............
................. L
.... ,
.........
............
..... ....
........ х
' ......... L
Е.
Рис. 3.
где Р> 1.
Пусть {fI)k (х)} - последовательность функций, принад
лежащих Lq (О, 1). Рассмотрим моменты, определяемые
152 Гл. 111. Простра'Н,ства моме'Н,тов и резо'Н,а'Н,с'Н,ые теоре.М:Ы
интегралами
1
та = ~ fq>k dx, k = 1,2, ... . (2)
о
(5)
причем
1
(' I n ,(1 )1/q
'шах = ( J I ~ Лk\fkl dx , (6)
о h-1
rmin = - 'шах'
Чтобы использовать этот результат, заметим, что точка
принадлежит множеству R
тогда и только тогда, когда
любая плоскость, проходящая через эту точку, находится
на расстоянии от начала, которое заключено между 'min
И 'шах для семейства параллельных плоскостей.
Нами установлен, таким обраЗОl\f, следующий резуль
тат (см. Рисе [1,3], Хелли [2], Банах [1.1]).
§ 8. Огран,и-чен,ндя вариация 153
n 1 n 'q l/q
1~1 Akmk 1<( ~ Ih~1 Ak{fk! dX) (7)
§ 8. Ограниченная вариация
1 n
г= ~ [ :е Лk'Рk(х)]df(х), (2)
о k-1
§ 9. Положительность
Вопросы выпуклости связаны с теорией положительно
определенных квадратичных форм. Отметим вариант тео
ремы 2.
т е о р е м а 3. Для того чтобы точка (m1' m2, ... , т n )
принадлежала n-мерному nросmрансmву моментов (8.1),
необходимо и достаточно выполнение условия
n
Ло+ ~ Лkmk>О (1)
h=1
n
Ло+ ~ ЛkСРk(Х) > о (2)
h=1
для всех хЕ [0,1].
Д о к а з а т е л ь с т в о. Необходимость УСJlОВИЯ оче
видна. Покажем его достаточность. Для этого покажем,
что (8.4) следует из (1) и (2).
Предположим, что из (2) следует (1) и имеется сово
купность параметров (Л~, Л~, ... , A~), таких, что
n n
~ Лhfnk > шах ~ ЛkСРk(Х). (3)
h=1 O~x~1h=1
n
Ло+ ~ Лkmk-<О (7)
л=1
ция вида
1
m/t = ~ cos 2n:kx df(x), (1)
о
§ 13. ИсmорuчеС1'Сuе замеча'Н,uя. 159
>-
где df(x) О, необходимо и достаточно, Чfnобы квадра
тичные формы
1
~
о
1] Хkе2Лikхj
n
h=O
2
df(x). (4)
§ 14. Положительно
определенные последовательности
n (1)
(б) ~ ak-jZkZj >:- О
h,j=1
статочно, чтобы
2л
00
когда
n
~ ciCjk(Xi,Xj»O (2)
i,;=1
(2)
EO =XO UX2 U ,
(3)
Е 1 =Х 1 UХз U .
дают граничные точки пространства моментов, а каж
дое Е, соответствующее граничной точке, совпадает
с точностью до .множества .меры нуль с множеством
одного из этих видов.
164 Гл. 111. Пространства ,м,оментов и резонансные теоремы
D1: Xi==rio(a)+ri2(a)+ ,
(4)
D 2: Хi==гн(а)+Гiз(а)+ , i=O,I, ... ,n,
где
i +1 _ a i +1
aj+1 j
ri}(a) = i+l i,j=O,I, ... ,n. (5)
Д о к а з а т е л ь с т в о. Функционал
r= ~ (~Лiti)dt (6)
Е 1.=0
Е = {t, 1.=0
~ Лi t -< о} .
i
(7)
~ lan!P, р>l,
n=1
р
q=--
p-l ·
00
где Sn = И1 + + ... +
И2 и n • Однако, как мы увидим в § 19,
этот результат является частным случаем одной очень
глубокой теоремы анализа и любое непосредственное до
казательство лишь затемняет его (см. Банах [1.1]).
Отметим далее обобщение классического результата
относительно произведений Коши.
166 Гл. ///. Простршнства ,м,о,м,ентов и резонансные теоремы
ею
lIa 11 = C~11an1P)1/Р
конечна.
n
L(x)= ~CiXi (1)
i=1
§ 22. Обобщения
(а) Xi>O,
(1)
(б)
170 Гл. 111. Простра:нства м,оментов и резонансные теоре.мъ"
n n
min mах ~ aijXiYj = mах min ~ aijXiYj. (2)
у х i,j=l х У i,j=l
1
~ f(t) a(t) dt (1)
о
моментов
1
тl = ~ f(t)a(t) dt,
о
1
(3)
tn z = ~ f(t) b(t) dt,
о
(а) f*(t) = 1 на Е; ,
(8)
(6) f*(t) =0 на E~,
172 Гл. 111. Пространства моментов и резонаНСНЪLе теоремы
~ f(t)a(t) dt = ~ + ~ + ~ =
о Ео Ео Et
так как
имеем
1 1
~ = ~ f(t) a(t) dt - ~ f*(t) a(t) dt =
о о
о------ор
Рис. 4.
Рис. 5.
Мы видим, что двойственность описания поверхности
с помощью точек и касательных плоскостей естественно
приводит к эквивалентности некоторых минимизирующих
и максимизирующих задач. Распространение этого факта
на абстрактное пространство приводит к ряду интересных
и важных результатов.
БИБЛИОГРАФИЯ И ДОПОЛНЕНИЯ
§ 5.
1. Б е л л м а н, Б л е к у э л л (В е 11 т а n R., В] а с k-
w е 11 D.), Оп moment spaces, Аnn. о/ Math., 54 (1951),272-274.
2. Рой д е н (R о у d е n Н.), Bounds for distribution functions
when the first n moments аге given, Аnn. Math. Stat., 24 (1953),
361-376.
178 Библиография, и дополнения
§ 9.
1. В е с т о н (W е s t о n J. D.), А note оп the extension of linear
functionals, Ат. Math. Monthly, 67 (1960), 444-445.
§ 10.
1. С е г ё (5 z е g 5 а.), Orthogonal polynomials, American Mathe-
matical 50cie·ty Colloquium PubIications, vol. 23, New York,
American Mathematical Society, 1939.
§ 12.
1. Ф и ш е р (F i s с h е r Е.), Ober das Caratheodorysche ProbIem,
Potenzreichen mit positivem reelen ТеН betreffend, Rend. Circ.
Mat. Palerтo, 32 (1911), 240-256.
§ 13.
1. П и к а р (Р i с а r d Е.), Memoire sur les fonctions entieres,
Аnn. Sci. Ecole Norт. Super. (2), 9 (1880), 147-166.
Библиография, и дополнения 179
ef(Z) +1 =eg(z),
§ 17.
1. Л я п у н о в А. А., О вполне аддитивных вектор-функциях.
Известия АН СССР, сер. матем., 3 (1940), 465-478.
§ 18. Этот реаультат впервые дается в работе
1. Л а н Д а у (L а n d а u Е.), Ober einen Konvergenzsatz, Gott.
Nachr., 1907, 25-27.
Кроме того, он приводится В книге Банаха [1.1]. Результат
Абеля приводится в книге Харди, Литтлвуда, Пой а [1.1, теорема 162,
стр . 120 J, гл . 1.
§ 19.
1. Б е л л м а н (В е I I Лl аn R.), Оп ап application of the Banach-
5teinhaus thеогеЛl to the study of the boundedness of solutions
of nonlinear differential and difference equations, Аnn. о' Math.,
49 (1948), 515-522.
2. М а с с е р а, Шеф Ф е р (М а s s е r а J. L., 5 с h а f-
f е r J. J .), Linear differential equations and functional analysis,
1, Аnn. о' Math., 67 (1958), 517-573.
з.Массе/а, Шеффер (Massera J. L., 5chaf-
f е r J. .), Linear differential equations and functional analysis,
11, Аnn. о' Math., 69 (1959), 88-104.
4. Ч е зар и (С е s а r i L.), АSУЛlрtоtiс behavior and stability
ргоblеЛlS in ordinary differential equations, р. 102, Ergebnisse
der Math., Berlin, 5pringer, 1959. Русский перевод: Асимптотиче
ское поведение и устойчивость решений обыкновенных дифферен
циальных уравнений «Мир», М., 1964.
5. К о р Д у н я н у (С о r d u n е а n u С.), 5ur ип thеогеЛlе de
Perron, Analele Stiintifice ale Univ. J asi, 5 (1959), 33-36.
§ 20.
1. Г е й л (а а I е О.), Theory of linear economic models, New
York, МсGгаw-Н ill, 1960. Русский перевод: Теори я линейных
экономических моделей, ИЛ, М.,
1963.
2. В е й л ь (W е у
1 Н.), The еlеЛlепtагу theory of convex polyhe-
dra, Аnn. Math. Studies, 24,3-18, Princeton, N. J., Princeton
University Press, 1950.
§ 21.
1. М и н к о в с к и й (М i n k о w s k i Н.), Zur Theorie der ein
heiten in den algebraischen Zаhlkбгре rn, GеsаmЛlеltе Abhand
lungen, 1, Leipzig, Teubner, 1911.
2. Фар к а ш (F а r k а s J .), Ober die Theorie der einfachen
Ungleichungen, J. Reine Angew. Math., 124 (1901), 1-27.
3. Ш т и м к е (5 t i е Лl k е Е.), Ober positive Lбsuпgеп homogener
linearer Gleichungen, Math. Аnn., 76 (1915), 340-342.
4. Д а й н с (О i n е s L. L.), 5ystems of Iinear inequalities, Аnn.
о{ Math., 20 (1919), 191-199.
5. К а р в е р (С а r v е r W. В.), SуstеЛlS of Iinear inequalities,
Аnn. о/ Math., 23 (1920-1922), 212-220.
182 Библиография, и дополнения
ПОЛОЖИТЕЛЬНЫЕ ОПЕРАТОРЫ
§ 1. Введение
Чаплыгина.
Отметим, что рассматриваемые вопросы тесно связа
ны обобщениями рядов Тейлора (см. Пойа [7], Дель
сарт [20.1], Петерссон [16.1], Левитан [20.2] Виддер,
[20.3]).
Будут приведены также некоторые результаты для
векторно-матричных дифференциальных уравнений вида
dx А х(О)=с, (3)
dI = (t)x,
Ut-Uxx-Uyy-Uzz-q(x, у, Z)U=O,
(4)
+
и хх + И уу U zz - q(X, у, Z) U = О.
du
([[=a(t)u, и(О)=с, ( 1)
и линейное дифференциальное неравенсmво
dv
([[>-a(t)v, и(О)=с, (2)
dv
([[=a(t)v+f(t), v(O)==c, (4)
имеет вид
t t
~ а (з) ds s t ~ а (з) ds
и=се О + ~ e
r
f(r)dr. (5)
о
§ 3. Обсуждение
L(u)=f(p), (1)
где функция f (р) неотрицательна. Решая (1) относитель
но и, мы получаем соотношение вида
u==T(f)· (2)
Таким образом, решение неравенства L (и) О сводится >
к изучению положительной определенности оператора Т,
что эквивалентно положительной определенности функции
Грина для оператора L. В теореме § 2 это очевидно,
в общем же случае требуется дополнительное доказатель
ство.
следует, что
t
~ g(s)ds
o
u(t)<ce t>O. (2)
Этот результат может быть установлен либо непосред
ственно, либо методом § 2 (см. Гронуолл [1.2], Гуилья-
§ 5. Неравен,ства Вихари u Лан,ген,хоnа 189
t t
ln [с+ ~ g(s)u(s) ds] -lnc<. ~ g(s)ds. (4)
о о
следует, что
t
и (t)~ G-l(G(k)+m~v(s)ds). (2)
а
где
и
(' dt
а(и) = ~ g(t) , и > ио > о. (3)
где
§ 6. Матричные аналогии
dy А
ж= (t)y, у(О)=с. (2)
dx А
ж> х, х(О)=с, (3)
dx
dt = Ах+ f(t), х (О) =с, (6)
имеет вид
t
Х = eAtc +~ eA(t-.) f(s) ds, (7)
о
192 Гл. /v. ПОЛОЭfCumелъ'Н'Ые onepamopbL
eAt=I+At+... (8)
для малых положительных t показывает, что условие (5)
необходимо. Для доказательства достаточности можно
использовать либо систему дифференциальных уравнений
Yi(O) =Ci
(как будет сделано ниже в § 8), либо тождество
eAt = (eAttN)N. (1 О)
Используем вначале тождество (1 О). Можно предполо
жить, что aij> О, i::f::: j, так как в этом случае результат
для aij >-
О может быть получен предельным переходом.
Для фиксированного t и достаточно больших N из разло
жения (8) следует, что матричная функция e At / N положи
тельна в том смысле, что все ее элементы положительны.
Так как произведение положительных матриц положитель
но, то матрица eAt положительна, если aij> О, i =1= j. Это
доказательство принадлежит Карлину.
Теорема 4 тесно связана с теоремой Перрона относи
тельно положительных матриц и с ее обобщением, при
веденным в гл. 11 (см. также [38.3], гл. 11, где теорема
Перрона выводится из результатов теории линейных диф
ференциальных уравнений). Отметим, что теорема 4
интуитивно очевидна из вероятностной или экономической
интерпретации уравнений (9) (см. Романовский [1],
Опиал [2]).
§ 7. Доказательство Тауски
§ 8. Переменные матрицы
t
х= Y(t)c+ ~ Y(t) y-1 (s)f(s)ds, (2)
о
dx
dТ=A(t)x, х(О»О, (4)
dx
dI > A(t) х, х (О) = О,
dX1
([[ = а 1 2Х 2 + ··· + а1n Хn > О , (5)
§ 9. Обсуждение
Теорем а 5. Если
(а) u"+p(t)u'-q(t)u>О, t>O,
(6) v"+p(t)v'-q(t)v=О, t>O,
(1)
(в) q(t»O, t>O,
(г) и (О) = v (О), и'(О) = v'(O);
~ (U'2+qu2)dt~O (1)
о
Теорема 6. Если
(а) u"-qu>О, O<t<a,
(б) и(О)=и(а)=О,
а (2)
(В) ~ (U'2+qu2)dt~O,
о
Штурма - Лиувилля
u"+лu=О,
(4)
и(О)=и(а)=О.
Теорема 7. Если
п2
(а) q(t)<{j2-d, d>O,
(2)
(б) f(t)>-O, O<t<a,
то u(t) < О для 0< t <а.
Д о к а з а т е л ь с Т В о. Рассмотрим задачу минимизации
функционала
а
u"+k U=SlП
· nt ,
а (1)
и(О) = и(а) = О,
определяемое формулой
. nt
SlП
а
и= п2 • (2)
k - -2
а
п2
Если k > ll2' то функция u положительна при О < t < а,
хотя siп~>О в [О,а].
а
п2
Как упомянуто выше, величина li2 является наимень-
шим характеристическимчислом уравнения Штурма - Лиу
вилля
u"+лu=О, O<t<a,
(3)
и(О) = и(а) = о.
§ 14. Лu1tеu1tые ура61tе1tu,Я, nРОUЗ60лъ1tО20 nоряд-к;а 199
u"+q(t)u=f(t),
(4)
u (О) = u (а) = О,
можно записать в виде
а
L (и (8» = о. (2)
Это - широкое обобщение теоремы Ролля.
и" +и (4)
был установлен Пуанкаре [1, 6] и явился стимулом для
исследований ПоЙа. Дальнейшие результаты см. у Гарт-
202 Гл.IV. ПОЛОЭfCumелъ'Ные onepamopbL
если Х1 <
Х2 < ... <
Х N , У1 У2 <
Уn. < .·· <
Результаты этого типа являются следствием теории
преобразований, уменьшающих число перемен знака, и, как
установил Шенберг [1.1 О], имеется много общего между
этими двумя направлениями.
(1)
u(t)<v(t) (2)
для t 1 <t.:<t 2 (см. рис. 6).
Для обобщения понятия выпуклости нужно обобщить
дифференциальный оператор (1); Бонсалл [4] рассматривал
линейное дифференциальное уравнение второго порядка
u"+p(t)u'+q(t)=O, (3)
§ 18. Обсу:жден,uе 203
(а) функция g (t, и, и') непрерывна по t,и, и' для а < t < Ь,
- < и < 00 и - 00 < и' < 00;
00 (5)
(б) для любой точки а < to < Ь, - 00 < ио 00, <
- 00 < Vo < 00 суlцествует единственное решение
уравнения (4) для a<t<b, удовлетворяющееусловиям
и (t o) = ио, u'(t o) = vo;
(в) для любых двух данных точек a<ti<b, - 00 иi 00, < <
- 00 < <
Vi 00, i = 1,2, СУlцествует един'ственноереше
н'ие уравнения (4), удовлетворяющее условиям и (t i ) = иi,
u'(ti)=Vi' i=l, 2.
Если w (t) - любая дважды непрерывно равно дифферен'цируе
мая функция при а < <
t Ь, то необходимым и доста
точным условием того, что w(t) <
u(t), t 1 t t 2 , где -< -<
и определяется условиями (5в) и w(t i ) = u(t i ), i = 1, 2,
является выполнение следующего соотношения
§ 18. Обсуждение
творяющими неравенству
C _1 tn - 1 u<n>(O)t n
U=CO+C1 t + ... + (nn . +
-1)' n., +Rnt
Cn_1tn-1 v<n>(O)t n (3)
V=CO+C1 t + ... + (n . +
-1)' n., +Sn,
а поскольку и(n) (О) >- V(n) (О) (в соответствии с (1) и (2))
и IRnl=O(t n +1), ISnl=O(tn+1) для малых t, то мы видим,
что наше утверждение справедливо.
Ряд приложений неравенств к проблеме получения верх
ней и нижней границ для решения дифференциальных
уравнений был дан Чаплыгиным [1.1], а также рядом
других авторов (см. Пойа [1.7], Бонсалл [17.4], Петров
[15.1], Уилкинс [15.2], Гартман [17.12], Клямко [1], Арте
мов [2], Пароди [3]).
0=L[и(Р)-И1(р)-аv(р)]=L(и)-а. (4)
Отсюда видно, что а = L (и (w (р))), что и доказывает
теорему.
Отметим, что доказательство теоремы о среднем тесно
связано с установлением свойств положительности. В дета
лях это будет обсуждаться в § 21.
Гартман и Винтнер в своей статье [1.8] привели ряд
интересных примеров, связанных с работами Бляшке [3],
Заремба [4] и др.
r де В - граница области R.
Рассматривая квадратичный функционал
Uхх+Uуу+ЛU=О, x,YER,
(3)
и=О, х,УЕВ.
§ 24. Монотонность средних зна-ченuu 207
Еслu
uxx+uyy+q(x,y)u:>-O, x,YER,
(5)
и=О, х, УЕВ,
следует, что
Ut = и хх , О <х< 1, t > О,
и(О, t)=u(l, t)=O, t >0, (1)
и (х, О) = g (х), О < х < 1,
208 Гл.IV. ПОЛОЭfCumелъ'Н'Ые onepamopbL
то
1
I n ( /) = ~ [и (х, /)] 211 dx, n = 1, 2, ... , (2)
о
d;
d/
= 2n
1
~ [и (х, /)]211-1 и, dx=
о
1
= 2n ~ [и (х, /)]11-1 Uxx dx =
о
1
= 2n { [и(х, t)]211-1 их}о - (4)
1
-2n(2n-l) ~ [и(х, /)]211-2u~dx=
о
1
= - 2n (2n - 1) ~ и 211 - 2 и~ dx.
о
Следовательно,
dl n
dt
< о·
§ 25. ПолоЭtCuте.лъ1tостъ nараболu'Чес1'\,UХ операторов 209
ь )1/2n
liт(~ v 21l (x)dx = тах Iv(x)l. (5)
n-+оса а a~x~Ь
где [с, d] - подинтервал [а, Ь], дЛЯ которого Iv(x)1 > т-Е.
Отсюда
ь )1/2n
т (Ь_а)1/2n >- (~ v 21l (x)dx >- (m-e)(d_c)I/2n. (7)
а
Так как
lim q1/2n = 1 (8)
n-+ооо
Решение уравнения
2n
где
00
2~ ~G(y,t)dy=1 (5)
о
такое, что
2~ ~G(y,t)dy> 1. (6)
R
2~~G(y,t)dy> 1. (7)
1
§ 26. Кон,е'Ч,н,о-разн,осmн,ые схемы 211
2л:
u(O,t)= 2~ ~ G(y,t)f(y)dy=
о
(10)
= 2~ ~ G (у, t) dy > 1
1
и х,( t+ ~2)_u(x+6,t)+u(x-6,t)
U 2 - ' (1)
определенную на сетке
х= О, б, ... , nб = 1,
(2)
t= О, б , 2
••• ,
с граничными условиями
Ихх+Иуу=f(х,у), (x,Y)ER,
(1)
и = о, (х, У) Е В.
u(х+6,у)+и(х-6,у)+и(х,у+6)+u(х,у-6)
( )
ИХ,У= 4 -
2
-2f(x,y)6 , (2)
определенное на (х, у)-сетке, х, у = ±k6, которое фор
мально сходится к (1) при 6 ~ о.
Вместо этого статического рекуррентного соотношения,
из которого не следует непосредственно свойство поло
жительности, рассмотрим следующее динамическое соотно
шение:
Ихх+Иуу>О, (x,Y)ER,
(4)
и=О, (х,У)ЕВ,
§ 28. Обсуждение
~ ~ v(r, s)drds
и <.се О О (2)
Если
'l/Х
'l/Х
~ ~ v(r, s)dr ds
~ [а(О) + Ь(у)] [а(х) + Ь(О)] е О О (4)
и~ а(О)+ Ь(О)
Если
Х '1/
то
то
'1/ Х
еах+ьу+аьху
Х [а (О) + Ь (О)] .
216 Гл. /v. ПОЛОЭfCumелъ'Н'Ые onepamopbL
§ 33. Квазилинеаризация
Так как
и2 = тах
v
(2uv-v 2 ) (2)
Ти=О.
и т +n -< и m, + и n ( 1)
Библиография и дополнения 219
для т, n> О, то
· иn
1lт- (2)
n~OO n
существует. Доказательство можно найти у Пойа
и Сегё [44.1], гл. 1; приложения рассматриваются в рабо
тах Фюрстенберга и Кестена [4], а также Беллмана [5].
Дальнейшее развитие этих идей имеется в следующих
работах: Беккенбах и Радо [17.15, 17.16], Беккенбах
[17.17], Калаби [6], Яно и Бохнер [7], Оссерман [8],
Редхеффер [9,14], Сакстедер [10], Боас и Пойа [11],
Даффин и Сербин [12], Пейн и Вейнбергер [13], Лёвнер
([47.2], гл. 11).
БИБЛИОГРАФИЯ И ДОПОЛНЕНИЯ
8. r а р т м а н, В и н т н е р (Н а r t m а пР., W i n t n е r А.)
Меап va1ue theorems and linear operators, Ат. Math. Monthly,
62 (1955), 217-222.
При кратком знакомстве с неравенствами, включающими диф
ференциальные операторы, обыкновенные и в частных производных,
трудно провести границу между теорией неравенств и собственно
теорией дифференциальных уравнений.
9. К а ц (1< а с м.), Оп some connections between probability
theory and differentia1 and integra1 equations, Proc. Second Ber-
ke1ey Symposium оп Mathematica1 Statistics and Probability,
Berke1ey and Los Ange10s, Ca1if., University of California Press,
1951.
10. Ш е н б е р г (S с h о е n Ь е r g 1. J .), Оп variation-dimi-
nishing transformations, Proc. Symposium оп Numerica1 Appro-
ximation, 1958, Madison, Wis., University of Wisconsin, 1959.
§ 4. Этот результат и его приложение к теории устойчивости
впервые были даны в статье
§ 16.
1. П е т е р с с о н (Р е t е r s s о n Н.), Ober Interpolation durch
Lбsuпgеп Iinearer Differentialg1eichungen, Abh. Math. Sem.
Univ. Hamburg, 16 (1949), 41-55.
§ 17.
1. Б е к к е н б а х (В е с k е n Ь а с h Е. F.), Generalized convex
functions, Bull. Аm. Math. Soc., 43 (1937), 363-371.
2. Б е к к е н б ах, Б и н г (8 е с k е n Ь а с h Е. F.,
8 i n g R. Н.), Оп generalized сопуех functions, Trans. Аm.
Math. Soc., 58 (1945), 220-230.
3. 8 а л и р о н (У а I i r о n а.), Fonctions convexes et fonctiohs
entieres, Bull. Soc. Math. Ргаnсе, 60 (1932), 278-287.
4. Б о н с а л л (8 о n s а I I F. F.), The characterization of gene-
ralized сопуех functions, Quart J. Math., 1 (1950). 100-111.
5. Пей с о т о (Р е i х о t о М.), Convexidas das curvas, Notas de
Matematica, No. 6, Livraria 8offoni, 1948.
6. Пей с о т о (Р е i х о t о М.), Оп the existence of а derivative
of general ized сопуех functions, Summa Brasiliensis Math., 2,
No. 3 (1948).
7. Пей с о т о (Р е i х о t о М.), Generalized convex functions
and second-order differential inequal ities, Вии. Аm. Math. Soc.,
55 (1949), 563-572.
См. также следующие работы.
8. М о ц к и н (М о t z k i n Т. 5.), Approximation Ьу curves of а
unisolvent family, Вии. Аm. Math. Soc., 55 (1949), 789-793.
9. Т о р н хей м (Т о r n h е i m L.), Оп n-parameter families
of functions and associated сопуех functions, Trans. Аm. Math.
Soc., 69 (1950), 457 -467.
10. К у р т и с (С u r t i s Р. С., Jr.), N-parameter families and
best approximation, Pacific J. Math., 9 (1959), 1013-1027.
11. Рей Д (R е i d W. Т.), Variational aspects of generalized сопуех
functions, Pacific J. Math., 9 (1954), 571-581.
12. Г а р т м а н (Н а r t m а пР.), Unrestricted n-parameter fami-
lies, Rend. Circ. Mat. Palermo (2), 7 (1958), 123-142.
Библиография и дополнения 223
§ 20.
1. Д е л ь с а р т
(D е 1 s а r t е J.), Sur uneextension de lа formule
de Taylor, J. Math. Pures Appl. (9), 17 (1938), 213-231.
2. Л е в и т а н Б. М., Оценка остаточного члена в формуле Тей
лора - Дельзарта, дОКЛ. АН СССР, 73 (1950), 269-272.
3. В и д Д е р (W i d d е r D. У.), А genera1ization of Taylor's
series, Trans. Ат. Math. Soc., 30 (1928), 126-154.
§ 21.
1. Нюр е н б е р г (N и r е n Ь е r g L.), А strong maximum princi-
рlе for parabo1ic equations, Сотт. Риге Appl. Math._ 6 (1953),
167-177.
2. В е й н б е р г е р
(W е i n Ь е r g е r Н. F.), А rnaximum proper-
ty of Cauchy's problem, Аnn. ofJ Math., 64 (1956), 505-513.
3. Б е л л м а н (В е 11т а n R.), А property of surnrnation kernels,
Duke Math. J., 15 (1948), 1013-1019.
4. Б о х н е р (В о с h n е r 5.), Quasi-analytic functions, Laplace
operators and positive kernels, Аnn. Math., 51 (1950), 68-91.
В этой статье аппарат, применявшийся Беллманом в связи
с уравнением Ut = и хх + Ууу+ U zz , обобщается на общий оператор
Бельтрами и используется для волнового уравнения Utt и хх + =
+ Uyy+u zz . Эти результаты тесно связаны с общей проблемой полу
чения априорных оценок для различных функционалов, связанных
с линейными операторными уравнениями.
Использование подходящей конечно-разностной аппроксимации
делает непосредственно ясными некоторые свойства решений диф
ференциальных уравнений, обыкновенных и в частных производных
и является очень мощным методом. Отметим, что границы примени
мости этого метода еще не исследованы достаточно полно. Кроме
того, этот метод имеет большое значение в связи с вопросами числен
ного решения уравнений. См. следующую работу.
5. Б е л л м а н (В е 11т а n R.), Оп the nonnegativity of solutions
of the heat equation, Boll. Иn. Math., 12 (1957), 520-523.
§ 24.
1. Пой а, С е гё (Р б 1 у а а., S z е gб а.), 5ur quelques proprie-
tes qua1itatives de lа propagation de lа chaleur, С. R. Acad. Sci.
(Paris) , 192 (1931), 1340-1342.
§ 26. Исчерпывающее изложение вопросов, связанных со сходи
мостью разностных схем, см. в работе
Библиография. и дополнения 225
~ anfn(x)~о
n=1
в интервале -1 <х< 1 следует, что
00
~ anfn(x) 'n(y)~ о
n=1
в квадрате -1 < х< 1, -1 < У< 1.
§ 32. См. ссылки к § 48, гл. 11.
§ 33. Детальное обсуждение метода Ньютона для функциональ·
ных уравнений и численные примеры даются в [26.3], гл. 1.
Ряд результатов приводится в [26.1, 26.2], гл. 1и в следующих
работах.
]. Б е л л м а н (В е 11т а n R.), Оп monotone convergence to
solutions of и'= q(u, t), Ргос. Аm. Math. Soc., 8 (1957), 1007-
1009.
Читатель может найти много ссылок по этим вопросам, а также
некоторые приложения в статье Калаба [26.3], гл. 1, и в следующей
монографии.
2. К о л л а т Ц, Л а н г е р(С о 1 1 а t z L., L а n g е r R.), Appli-
cations of the theory of monotonic operators to boundary value
problems. Boundary problems in differential equations, Madison,
Wis., University of Wisconsin, 1960.
§ 34.
1. Хай е р с, У л а м (Н у е r s D., U 1 а m 5.), Approximately
convex functions, Ргос. Bull. Аm. Math. Soc., 3 (1952), 821-828.
2. Г р и н (G r е е n J. W.), Approximately convex functions, Duke
Math. J., t 9 (1952), 499-504.
3. К о д Д и н г т о н, Л е в и н с о н (С о d d i n g t о n Е., L е v i п
s о n N.), ТЬеогу of ordinary differential equations, New York,
МсGгаw-Нill, 1955. Русский перевод: Теория обыкновенных
дифференциальных уравнений, ИЛ, М., 1958.
4. Л е Ф ш е Ц (L е f s с h е t
z 5.), Differential equations: geometric
theory, New York, Interscience Publishers, 1957. Перевод: Геомет
рическая теория ДИфференциальных уравнений, ИЛ, М., 1961.
§ 35.
1. Д е й ч
(D о е t s с h G.), Theorie und Anwendung der Laplace -
Transformation, New York, Dover Pllblications, 1943.
2. Рай т (W r i g h t Е. М.), Functional inequalities in the eleme-
Библиография. и дополнения 227
§ 1. Введение
(1)
-00
Отсюда
со со z
~ ly'ldx>=F ~ y'dx± ~ y'dx=
-со z -со
аn z
= J(p-1)/p Kt/p
ар·
(7)
Кроме того, имеем
00 00 о
= 1
1+(p-l) а/р
[_ \
,)
+ ~\ ] ~(lуI1+(р-l)а/р)dх=
dx
(8)
о -со
u"-u=f+g, (1)
где fЕ L l' И g Е LP. Из уравнения (1) следует, что и можно
записать в виде
t
U=С1е'+С2е-' + ; ~[eH_e-a-B)] [f(s)+g(s)]ds. (2)
о
t
е-' ~ еВ [f (s) + g (s)] ds
о
откуда
(5)
00
00 t
+ е"'! ( ~ е-В Ig Ids ) т + е-т! ( ~ еВ I f Ids ) m +
О О
t
+ е-т! ( ~ еВ Ig I ds ) т ]- (7)
о
§ 3. Неравенства, связывающие и, и', и" 235
00 00
00 00
00
n
И= ~ fk'
А=1
( 10)
236 Гл. v. нераве'Нства для дuффере'Нцuа.лЪ'НЪtХ операторов
и(n) - u= f + g, ( 1)
если n= 4т +2 или n- нечетное, и
и(n) + и = f + g, (2)
если n=4т.
Причина такого раздельного рассмотрения состоит в том,
что мы хотим избежать случая, когда характеристическое
уравнение имеет корень с нулевой вещественной частью.
Результат, соответствующий теореме 2, фОР~1улируется
следующим образом.
00
u'=-u-et~e-8[u"-u]ds. (2)
t
Этот результат также можно получить из (3.5) интегри
рованием по частям, используя тот факт, что
тах I и'
t~o
1-<2 тах
t~o
Iu 1+ тах
t~o
I и"l· (3)
Заменяя u (t) на и (rt) для , > о, мы получаем соотно
шение
00 00
~ Iи , Р
dt и ~ Iuт dt
О О
d
ж (eAtx)=e At (Ах+х'), (6)
х= e- At
~ е АЗ (Ах +х') ds, (7)
t
где А-устойчивая матрица. Выбирая А подходящим обра
зом и полагая
и'
Х= (8)
238 Гл. v. нераве'Нства для дuффере'НцuалЪ'НЪtХ операторов
теорема 4. Еели
следует, что
lu'(t)1 ~ се Ы
для некоторых постоянных с и Ь, МЫ видим, что интегралы
00 00
~ e-мsа1(S)U'(s)ds и ~е-мsf(s)dS
о о
oo
Mt
+~M ~ e- МS lf(s)-а 1 (s)u'(s)lds, (4)
,
и соответственно
t
- ~ ~е-МtеМSаl(s)u'(s)ds+
о
А1' 00
lu'l"" С2 [e- Mt
+ е- М' ~ е МЗ 1f (s)1 ds +
о
t 00
+e Mt ~ e-МВIU'(s)lds]. (6)
t
240 Гл. v. неравенства для дuИJере1tцuаЛ/Ь1t'Ых операторов
со
со
со
со со
со t
-1- ~ e- 3Mt/2 (~еМSlu'(s)lds)dt-l-
t о
со со
+ ~ eMt/2 (~e-Ms\f(s)lds)dt+
t t
J.
со со
t
t 00
+т ~e-M81f(s)lds+ ~ ~e-Mt/2If(t)ldt+
t t
МЦ2
+ 2е---м- rJ e-МSlu'(s)\ ds + м2 r
J e- Ms /2Iu'(s)\ dsJ. (11 )
t t
Отсюда
00 Mt t
е МЦ2 ~е-Мt/2Iи'(t)ldt<сз [1 + e~ ~ eMSlu'(s)\ dsJ ( 12)
t о
Следовательно,
J
00
Пусть
u'+u=f+g, (1)
где fE LP[ -00,00], gE L T
[ -00,00], р,г> 1.
Тогда, рассуждая, как выше, находим, что функция и
должна иметь вид
t t
u=e-t~ f(s)e"ds +e-t~g(s)еSds. (2)
-00 -00
§ 8. Неравенство КаРJlсона
у (х) = (2)
о
00
00 00
д о к а з а т е л ь с т в о. Очевидно, что
r x(P-А)/(р+1) fdx
J х(р-1)/(р-Н) (l + х) -<
О
00
~ ( \ XP-А ,р+1
J
dX) 1/(р+1) ( 00
\ dx
J x(1-A)/P(1+x)1+1/P
) 1/(р+1) (3)
о о '
244 Гл. v. нераве'Нства для дuффере'НцuалЪ'НЪtХ операторов
сх>
сх>
~ u(t)dt=O, (1)
о
то
2л: 2л:
~ [и (t)]2 dt = ~ la n l2,
о ')1=1=0
2л:
(3)
~ [u'(t)]2dt= ~ n2 lanl 2.
о ')1=1=0
аn =F О, \nl>-2, (4)
хотя бы для одного n.
~ Р [и (t)]2 dt и ~ [U'(t)]2 dt .
о о
§ 13. И'Нтеграл/ь'Ные тO:>fCaecтBa 247
~ ри2 dt = 1. (l )
о
л= ~ [u'(t)]2dt. (5)
о
2n
=[-V(U-Ь)2J
2n
О - rJ(v2+p)(u-b)2dt. (3)
о
= T[U'2_P(ll-Ь)2]dt+[-V(ll-Ь)2]~n. (4)
о
2n
= ~ [u'2- p (u-b)2]dt. (5)
о
§ 15. ДuфференцuаЛ/ЬНЪtе уравненuя. в 'ч,астНъtх nроuзводНЪtХ 249
u(IV) ± ри = О (6)
и использует его для установления ряда неравенств,
2n 2n
связывающих~ un2 dt и ~ р и) u2 dt. ОН также дает строгий
о о
вывод (4). Дальнейшие результаты для дифференциальных
уравнений, обыкновенных и в частных производных,
приводятся у Рейда [1.14] с применением к изоперимет
рическим задачам.
vxx+vyy+pv=O (1)
для (х, у) Е R и v= О на границе, то мы имеем
где
Vx V
W=-, Z=..J!.. (3)
V v'
при условии, что u = О на R, и что все эти функции и
интегралы существуют. Подобным же образом могут
быть обобщены на уравнения в частных производных
и методы Колаутти. Заметим, что вместо уравнения
Риккати здесь используется уравнение
(1)
Тогда, как и выше, получим
2л:
~ (x'-Z(x-b), x'-Z(x-b»)dt=
о
2л: 2л:
2л:
-2 ~ (x',Z(x-Ь))dt.
о
Так как
d
ж((х-Ь), Z(x-b»=
=2(х', Z(x-b»+(x-b, Z'(x-b», (3)
§ 17. Высшие nроизводНЪLе и высшие степени 251
2n
~ [(х', х') - (х, Р (t) x)]dt =
о
2n
2п 2n
~ [U(t)]2r dt и ~ [U(k)(t)]2r dt. (1)
о о
~ u(s)ds=O,
о
то
(3)
~u(s)ds=O,
о
то
2n; 2n;
~ [и (t)] 2r
dt -< a~r ~ [u\t)] 2rdt. (4)
О О
, . (i-l)n
Xi = SlП 2n-l ' i = 1, 2, ... , n. (3)
n + 1 , t= , , ... ,
·
Xi=CSln ni · 1 2 n. (2)
(1)
n n
~IХiJr-< [a1(n)]r~lxi-Xi+1\r (2)
i=1 i=1
n n
~ IXiJr -< [a2(n)]r ~ JXi-1- 2Xi + Xl+1\r, (3)
i=1 i=1
где
Ха = Хn , Х1 = Хn +1, (4)
и
(5)
§ 21. Обсу:жде'Нuе 255
n
(а) ~Xi=O,
i=1
(в) Хn +1 = Х1,
то ,М,ини,М,у,М, функции
равен
если n четное,
(8)
4n
n2 -1 ' если n нечетное.
§ 21. Обсуждение
БИБЛИОГРАФИЯ И ДОПОЛНЕНИЯ
§ 2.
1. Ш м и Д т (5 с h m i d t Е.), Ober die Ungleichung, welche die
Integrale fiber eine Potenz einer Function und iiber eine andere РО
tenz ihrer Ableitung verbindet, Math. Аnn., 117 (1940), 301-326.
§ 3. См. [1.3], гл. IV.
§ 6. Этот метод приводится в работе [1.15].
§ 8.
1. Т и т ч м а р ш (Т i t с h m а r s h Е. С.), Introduction to the
theory of Fourier integrals, Chapter 3, London, Oxford University
Press, 1937.
§ 9. Доказате.ТIЬСТВО, которое приводится в зтом параграфе,
изложено в работе [1.25}. Результаты, связанные с реЗУ.ТIьтатами
этого параграфа, имеются в следующих работах.
Библиография, и дополнения 259
§ 10.
1. Б л я ш к е (В I а s с hk е W.), Kreis und Kugel, 13-20,
и. Со (1916), New York, Chelsea, 1949.
Leipzig, Veit
В этой работе можно найти интересные геометрические прило
жения для дискретного случая. См. также [48. 7}, гл. 11.
2. Г У Р в и ц (Н u r w i t z А.), Sur le probleme des isoperimetres,
с. R. Acad. Sci. (Paris), 132 (1901), 401-403 (Werke, 1, 490-491).
Неравенство Вейля (теорема 226, стр. 165, [1.11, гл. 1)
со со со
§ 18.
1. Рез е р фор Д (R u t h е r f о r d D. R.), SОIле continuant
determinants arising in physics and chemistry, 1, 11, Рrос. Roy. Soc.
Edinburgh, 62Л (1947), 229-236; 63Л (1952), 232-241.
§ 20.
1. О с т р о в с к и й (О s t r о w s k i А. М.), Ober die Absolutabwei-
chung einer differentierbaren Funktion von ihгегп Integralmittel-
\vert, Coттent. Math. Helv., 10 (1937), 226-227.
§ 21. См. [44.1], гл. 1, а также
1. Фор с а й т (F о r s у t h е G.), Asymptotic lower bounds for
the frequencies of certain polygonal IлеmЬгапеs, Pacific J. Math.,
4 (1954), 467 -480.
2. К рей н М. Г., О некоторых задачах на максимум и минимум
для характеристических чисел и о ляпуновских зонах устойчи
вости, Прuкл. мате,М. u .м.ехан., 15
(1951), 323-348.
3. Ш в а р Ц (S с h w а r z В.), Оп the
extrema of the frequencies of
nonhomogeneous strings with equimeasurable densitv, AFOSR
TN 60-281, НаНа, Israel, Israel Institute of Technology, 1959.
Как мы указывали не раз, мы опускаем большое число инте
ресных неравенств, возникающих из теории вероятности и статисти
ки. Отметим, однако, одно неравенство Гаусса, имеющее истори
чески й интерес:
00 00
где у >
О, u (х) - невозрастающая функция. См.
4. К Р а м е р (С r а m е r Н.), Methods of mathematical statistics,
р. 256, ех. 4, Princeton, N. У., Princeton University Press, 1946. Рус
ский перевод: Математические методы статистики, ИЛ, М, 1948,
стр.283, упр. 4.
Метод функциональных уравнений динамического программи
рования может быть использован для получения нелинейных диф
ференциальных уравнений в частных производных, определяемых
выражением вида
f(u,v,t)=m:x ~ x 01 g b1 dx,
о
t t
§ 1. Введение 84
§ 2. Положительно определенные матрицы 86
§ 3. Необходимое условие положительной определен-
ности . 87
§ 4. Представление в виде суммы квадратов 88
§ 5. Необходимое и достаточное условие положител ь-
ной определенности . 89
§ 6. Определители Грама 90
§ 7. Вычисление одного несобственного интеграла. 93
§ 8. Комплексные матрицы с положительно определен-
ной вещественной частью 94
§ 9. Одна теорема о вогнутости 94
§ 10. Неравенство, относящееся к минорам 95
§ 11. Неравенство Адамара 96
~ 12. Неравенство Сасса. 97
Оглавление 273
Э. Беккенбах. Р. Беnлман
НЕРАВЕнеТВА
Редактор Е. М Д м 11 Т Р е н к о. ХУДОЖНИК А. Г. А н т о н о в а.
Технический редактор В. П. С и э о в а.