CC BY
164
Математический анализ
УДК 596.15 С.М. Ситник
УТОЧНЕНИЕ ИНТЕГРАЛЬНОГО НЕРАВЕНСТВА КОШИ-БУНЯКОВСКОГО
Изложен метод получения уточнений классического неравенства Коши-Буняковского в интегральной форме. Данный метод основан на использовании понятия абстрактного среднего. Построены в явном виде формулы для уточнений неравенства Коши-Буняковского (используется модное сокращение для всего комплекса подобных неравенств в различных формах как КГБ: неравенства Коши -Гельдера - Буняковского). Приведены результаты о сравнении различных уточнений между собой.
1. Средние значения.
Определение 1. Абстрактным средним двух неотрицательных чисел х, у > 0 называется число M ( х, у), удовлетворяющее следующим аксиомам:
1) (свойство промежуточности)
min (х, у) < M(х, у) < max (х, у),
^ M(х, у) > 0 и ^ M(х, х) = х;
2) (свойство симметричности)
M (х, у ) = M (у, х);
3) (свойство однородности)
M(Ах, 1у) = ÄM(х, у), 1 > 0;
4) (свойство монотонности)
х2 > х1 ^ M(х2, у)> M(х1, у)
(в силу симметричности выполняется и свойство монотонности по второму аргументу).
Иногда для получения более детальных результатов нужны дополнительно свойства непрерывности по обоим аргументам и некоторая модификация свойства аналитичности. Введенное понятие абстрактного среднего представляется важным и заслуживающим отдельного аксиоматического определения. Интересный вопрос об анализе приведенных аксиом, в частности, их независимости, здесь не рассматривается.
Известны достаточно широкие классы средних, удовлетворяющих приведенным аксиомам.
а) степенные средние [1-6]:
M (x, у )= M a(x, у ) =
1
Сxa + уа V
-¥ < a < да , а ф 0:
2
\ у
M-^ (x, у) = min(x, у), M0 (x, у) = -Jxy , Mю (x, у) = max (x, y).
Степенные средние образуют шкалу: а1 > а2 ^ Ma (x, у)> Mа2 (x> у) Vx у ; три исключительных значения а = {-<»,0,+да) могут быть получены из неисключительных предельным переходом. Аксиомы абстрактного среднего 1) - 4) проверяются непосредственно.
О неожиданных результатах, исследующих обобщения классических неравенств для степенных средних на комплексной плоскости или алгебре кватернионов, см. [7];
б) средние Радо [8-11] :
1
С x ß+1 - у ß+1 ö
V
(ß +1)(x - у X
ß
-¥< ß<¥ , ß ф 0,-1;
R-¥ (x, у) = min (x, у), (x, у) = max (x, у).
Исключительные значения порождают пару малоизвестных средних:
логарифмическое среднее - Я _1 (х, у) = Ь(х, у) = —у—х— и Я0 ( х, у) = —
1пу _ 1пх е ^ Xх 0
Название последнего среднего значения затруднительно перевести с английского (МепШс), поэтому автор предлагает ироническое название: многоэтажно-показательное. Средние Радо также образуют шкалу по параметру:
А > А ^ ЯР1 (х, У) ^ ЯРг (х, у) "х, у ;
четыре исключительных значения А = {_ ¥, _ 1,0, + да) могут быть получены из неисключительных предельным переходом. Аксиомы абстрактного среднего 1) - 4) проверяются непосредственно.
Тибор Радо провел в [8] детальное исследование средних Яр. В частности, им были доказаны замечательные теоремы о связи двух различных шкал средних Ма и Яр . Так, из результатов Радо следует, что средние из двух указанных шкал совпадают лишь в следующих пяти случаях:
М_¥ = Я_¥ , Мо = Я_2, М— = Я —, М— = Я—, Мт = Я„ .
2 2
Наиболее часто используемые средние (шт, тах, арифметическое, геометрическое) входят в обе шкалы. Другим значительным результатом Радо было полное описание множеств параметров (а, р), при которых выполнены неравенства
Ма < ЯА < Ма2 , ЯА— < Ма < ЯА2 . (1)
В частности, из его результатов получается, что фольклорное неравенство для среднего логарифмического М0 < Ь < М1 может быть усилено до следующего:
м0(X,у) =^ху <ь(х,у)= Х У <м, (х,у) =
0 1п х- 1п у 1
Г 1 1 ^
3 3
х-1 + у-3
3
(2)
причем порядки средних 0 и 1/3 являются неулучшаемыми. Последнее неравенство многократно переоткрывалось в литературе [12-17], а также приводилось на различных олимпиадах без указания авторства [18]. Не менее эффектно выглядят и неравенства Радо для многоэтажного - показательного среднего
м 2 (x, у) =
Г 2 X3 + у
2
Xх Vя 0
Г х1п2 + у1п2 ^ 1п2 2
порядки средних в которых также неулучшаемы. Отметим, что дальнейшее развитие результатов Радо для выпуклых и вогнутых функций получено в [9-11]. Теоремы Радо являются глубокими обобщениями “неравенства Адамара ”, впервые доказанного Шарлем Эрмитом [19]. Из неравенства Эрмита-Адамара для экспоненциальной функции следует классическая оценка Мо < Ь < М1, что хуже неравенств Радо (2).
Средние Радо имеют простой аналитический смысл-это промежуточные значения в теореме Лагранжа о средних для логарифмической или степенной функций. Например, неравенства для среднего логарифмического (2) имеют смысл уточнений теоремы Лагранжа, из которой в данном случае следует тривиальная оценка: х < Ь < у при х < у .
К сожалению, условия теорем Радо, при которых выполнены оценки (1), получены в [8] не в явном виде. Расшифровку этих условий не в терминах некоторых дополнительных неравенств, а непосредственно через параметры, удалось получить в [10]. Результаты содержит теорема 1.
Т е о р е м а 1. Справедливы следующие двусторонние неулучшаемые оценки средних Радо через степенные средние:
М а+2 < Яа < M0, При а ^ (_ ¥ _ 2] ;
2
3
М
а 1п2 1п(1+а)
< Яа < Ма+ 2 , При ае[_ 1,-1/2] ;
Ма+2 < Яа < М а1п2 , ^и а
_ 1/2, 1
3 1п(1+а)
(при а = 0 последнее неравенство понимается в предельном смысле М2 < Яо < М 1п2 ),
М
< Яа < Ма+2 , При ае[1, ¥] .
3
(3)
а 1п 2 а
1п(1+а) 3
Отметим также полученное в [11] неравенство для среднего логарифмического ( Л
Ь М1 (х,у),Мо(х,у) <Ь(х,у)<Ь(М1 (х,у),Мо(х,у),
V 2 0
в котором порядки средних наилучшие.
Степенные средние и средние Радо использованы в [2о] для уточнения неравенств Юнга и Гёльдера. Эти уточнения можно использовать, например, для обобщения различных вариантов неравенства Харди [43-44];
в) итерационные средние. Рассмотрим итерационный процесс при заданных стартовых
значениях хо, уо и паре абстрактных средних (М, N):
х„+1 = М (хп, уп), уи+1 = N (хп, уп). (4)
В общем случае получаем некоторую динамическую систему на плоскости, которая имеет интересное асимптотическое поведение (динамику) при п ® ¥, но очень сложна для изучения даже при простейшем выборе пары (М, N).
Определение 2. Пусть существует общий предел последовательностей хп и уп в (4). Тогда он называется итерационным средним и обозначается
, N x0, уо | = ^(хо, уо )= Нш хп = 1т уп.
^^о 0-^\Ло^о' -------п —"п
Самое известное итерационное среднее - это арифметико-геометрическое, введенное Гауссом. Оно получается при выборе М = М1, N = Мо и выражается по формуле
л
/л{м,( I хо,уо)=
(
К
1 _
(уо Л2
V х о 0
Л
о < уо < хо
где К(х) - эллиптический интеграл Лежандра первого рода.
Теория итерационных средних в настоящее время активно развивается и является, в частности, источником возникновения новых классов специальных функций - гипертрансцендент-ных функций (см., например, [21-26]).
Непосредственно проверяется, что итерационное среднее пары абстрактных средних также является абстрактным средним и удовлетворяет введенным аксиомам.
Представляют интерес двусторонние оценки итерационных средних через средние степенные или Радо. На этом пути нетривиальные результаты получаются нелегко. Приведем оценки для арифметико-геометрического среднего Гаусса из [11]:
Ь(х у) = Я_1 (х у) < т(х у) < Я 1 у) = М(x, у). (5)
2 2
Ниже будут приведены достаточно точные двусторонние оценки эллиптического интеграла Лежандра, которые следуют из последнего неравенства;
г) медианты. Из понятий, связанных с рядами Фарея в теории чисел [27], можно заимствовать понятие медианты двух дробей:
( ас Л а + с
Щ—,— I =--------,
V Ь ё 0 Ь + ё
причем медианта зависит от формы записи дроби
3
Г a c Л Г pa qc Л pa + qc ш\—,— ІФ т\—,— 1 =--------------, р ф q .
^ Ь d 0 ^ pb qd 0 pb + qd
Это также полезное среднее для пары дробей;
д) в заключение перечисления средних отметим, что некоторые элементарные операции не выводят из класса средних. Например, среднее от пары средних - это вновь среднее.
Таким образом, можно сделать вывод, что для понятия абстрактного среднего существует
значительное число конкретных примеров. Это понятие может быть также использовано для
обобщения определения выпуклой функции.
Определение 3. Назовем функцию (M,N)-выщкnой относительно пары абстрактных средних (M,N), если для всех х > 0 , у > 0 выполнено неравенство
f (Ы(х, у)) < N(/(х), f (у)). (6)
В частности, обычные выпуклые функции по данной терминологии есть (M1, M1) - выпуклые, а логарифмически выпуклые функции [28] есть (M1, M0) -выпуклые. При противоположном выборе знака в (6) получаем обобщение определения вогнутой функции. Разделяющие функции (одновременно выпуклые и вогнутые), для которых в (6) достигается равенство, теперь уже не сводятся только к линейным, но могут быть явно описаны при некоторых дополнительных условиях на средние.
Введенное обобщение понятия выпуклости может быть использовано для уточнения классических результатов о выпуклости некоторых специальных функций или связанных с ними величин (например, их корней). Типичная постановка задачи получается такая: классическая выпуклость известна, можно ли пошевелить порядки средних для улучшения данного неравенства? Кроме того, можно определить обобщенные пространства Орлича с помощью (M,N)-выпуклых функций. Введенное понятие обобщенной выпуклости может оказаться полезным также при изучении выпуклых и вогнутых функций от операторов в Банаховых пространствах [46-48].
Определение 4. Сопряженным к абстрактному среднему M называется величина
M *(х, у) = —^т ; х, у > 0. (7)
M (х, у)’
В частности, можно вычислить, что
1
кь\ 1 1
чх у
Непосредственно проверяется, что сопряженное М* - это также среднее на множестве положительных чисел.
Уточнения интегрального неравенства КГБ Будем рассматривать уточнения интегрального неравенства КГБ следующего вида:
Л
2
| У(хк(х)х < | (у, gЖ •{ (ф 2 (Л gЖ < | (у(х))2 ^ •{ (g(х))2 ^, (8)
/
которое должно выполняться для произвольных функций /(х ), 8( х) при выборе некоторых неотрицательных функционалов Ф1 , Ф 2.
Будем считать выполненными следующие простейшие предположения: все встречающиеся функции непрерывных, а интегралы существуют в смысле Римана.
Назовем функционалы, для которых выполнено (8), взаимно дополнительными уточняющими функционалами.
Т е о р е м а 2. Пусть М - произвольное абстрактное среднее; М* - сопряженное к нему. Тогда справедливо уточнение неравенства КГБ (8) при выборе функционалов
Ф1 (/,8)=((/,8)2; Ф2(/,я)=(м*/,8))2.
При выборе М (/, 8 ) = Ма( /, 8) получаем следующее.
Следствие 2.1. Для неотрицательных непрерывных функций /(х ) , И х), одновременно не обращающихся в ноль на [а,Ь], справедливо следующее уточнение неравенства КГБ:
Г ь
І | /(хк(хК < | [ма (/, g)]2 йх | [м_а (/, g)]2 йх =
V а 0 а а
-|(/а + ga)2,adx • |/2g2(/“ + g“)-2/“dx < |/2йх • |g2йх.
(9)
Проанализируем набор полученных неравенств (9) в зависимости от параметра а . Прежде всего, в силу симметрии в (9) можно ограничиться значениями а > 0 . При а = 0 средняя часть (9), которая понимается в предельном смысле, равна левой. Поэтому при а » 0 будем иметь хорошие приближения к левой части. При а = +¥ получим занятное неравенство.
Следствие 2.2. Справедливо следующее уточнение неравенства КГБ:
/ Ь Л2 Ь Ь Ь Ь
I }/(х)я(х)йХ <|[Мах(/,я)]2йх •}[Мш(/,я)]2йх <}/2(х)йх•}§2(х)йх. (10)
V а 0 а а а а
То, что все три части в (10) могут быть различны, показывает пример “конвертика”: а = 0, Ь = 1, /(х) = х , §(х) = 1 - х . Вычисления показывают, что в этом случае (10) сводится к нера-
1 7 1
венствам — <-------< .
36 144 9
При а = 2 получаем единственное известное ранее неравенство вида (9), которое было доказано Милном в 1925 г. [1,29 ] при исследовании задачи из астрономии по вычислению коэффициента звездного поглощения и с тех пор неоднократно переоткрывалось (см., например, [30] ).
Неравенство Милна явилось одной из отправных точек для получения конструкций настоящей работы.
Отметим интересное явление: при а ® +¥ средняя часть в (9) стремится к средней части в (10), а не к правой части этих неравенств. Таким образом, в (9)-(10) возникает “зазор” с правой частью, который, возможно, может быть заполнен оценками другого вида.
При выборе М (/, я ) = Яр(/, я) получаем следующее.
Следствие 2.3. Справедливо следующее уточнение неравенства КГБ в терминах средних Радо:
2Ь
| /(хМх)х <|М(/, g')dx |
Яг
1 1
/ ’ g
йх < I /2 (х) I g2 (х)йх. (11)
Выпишем наиболее эффектные из неравенств (11) явно.
2Ь
I/ (хМх)йх < |
■ 2 ( \ 2
/ - g 1п / Ь йх | /2 g2/ а / - g 1п / Ь Ь йх <| /2 йх | g 2 йх , (ь =-1) а а
_ g _ V g 0
V Ь <г 1 і
і 0 а _ gg _
^ Ь ^2
=> Г
йх • I -
-йх <| /2йх I g 2йх, (Ь = 0).
2Ь
1}/(х)я(х)йх <}(/2 + /я + я2)•)2 + / + 2)<}/2йх |я2йх, (ь = 2).
V а 0 а а V Jg ^ / а а
При выборе М (/, я )= тМ 1, М0 /, я) получаем следствие 2.4.
Следствие 2.4. Справедливо следующее уточнение неравенства КГБ:
Ь
а
а
2
1
а
а
а
2
а
а
g
1} /(хЫх)х-| <}
к
Мах/, я)
М1П/, я) Мах/, я)
1-
йх-\[М1}{/, я)
1-
M^^{/, я) Мах/, я)
йх< } /2 йх } я2 йх,
(12)
где К - эллиптический интеграл Лежандра 1 рода.
Отметим совершенно экзотический характер последнего неравенства: это неравенство между произвольными функциями, но которые стоят под знаком конкретной специальной функции - эллиптического интеграла Лежандра. Вместе с тем неравенства, в которых произвольные функции стоят под знаками элементарных функций, например, экспоненты или логарифма, широко используются в математике. Так, подобный вид имеют неравенства Джона-Ниренберга в теории пространств ВМО и неравенства Зигмунда в гармоническом анализе [31-33]. Такие неравенства описывают, как правило, предельно точные свойства некоторых объектов, например, предельно допустимые пространства в теоремах вложения или результатах по различным видам сходимости тригонометрических рядов. К этому классу результатов относится, например, известная работа [42], в которой найдены предельно точные пространства Орлича для описания сильной суммируемости операторов Харди. Интересные приложения пространств Орлича к предельно точным неравенствам и теоремам вложения типа Соболева получены в [45].
Для дифференцируемых функций получен другой ряд уточнений.
Т е о р е м а 3. Для подходящих функций справедливо уточнение интегрального неравенства КГБ вида (8) при следующем виде функционалов:
' ' 4 /2я2
ф 1(/, я) = ехр I 2}М(/(у^ Ья(у))йу I; Ф 2(/, я) = ф (/ я)
(13)
И'
где Ьй(/) - логарифмическая производная ЬИ = — ; М - произвольное абстрактное среднее (ло-
И
гарифмические производные Ь/ , Ья предполагаются неотрицательными).
Так как функционалы в (13) не являются квадратами средних, то уточнения из теоремы 3 действительно не сводятся к уточнениям из теоремы 2.
Следствие 3.1. При сделанных предположениях справедливо следующее уточнение неравенства КГБ:
( Ь Л2 Ь х Ь х Ь Ь
1}/х)(х)йх! <}ехр'2}МахЬ/,Ь^) йх•}/2я2ехр -2}Мах(Ь/,Ья) йх<}/2йх}я2йх .
V а 0 а _ а J а _ а J а а
Во всех приведенных выше неравенствах получены условия, при которых в них достигаются равенства.
Сравнение уточнений неравенства КГБ
Определение 5. Введем отношение частичной упорядоченности на множестве уточнений вида (8): будем записывать М Р N , если справедливы неравенства
(Ь |2 Ь Ь Ь Ь Ь Ь
I }/яйх I <}[М(/,я)]2йх•}|м*(/,я)]2йх < |М(./;,?)]2-Iм’^(/,я)\(к <}/2ё2йх ,
V а 0 а а а а а а
(14)
где М , N - абстрактные средние, а М *, N * - сопряженные к ним.
Аналогично можно ввести частичное упорядочение в более общем случае на парах взаимно дополнительных уточняющих функционалов (ф1, Ф 2) из (8).
Ясно, что одним из первых возникает вопрос: упорядочены ли между собой усиления из шкалы средних Ма ( или )? Ответы дает теорема 4.
Т е о р е м а 4. Пусть 0 < а < р < +¥. Тогда выполнены соотношения Ма р Мр, Яа р Яр .
Эта теорема полностью решает вопрос для функционалов типа средних Радо или степенных. Распишем содержащиеся в ней оценки более подробно: при а < р имеем
( Ь У ь ь ь ь ь ь
I1 /яйх I < \\Ма(/,я)]2йх|[м_а(/,я)]2dx< | \мр(/, я)]2 йх | [м_р (/, я)]2 ] < | /2йх|§2йх (15)
V а 0 а а а а а а
(ь V ь ь ь ь ь ь
I |/яйх\ <||М(/,я)Г]х-|[ка(/,я)\ йх<\\Rpif,я)2]•ДМ^я)\йх <|/2йх!я2йх . (16)
V а 0 а а а а а а
В частности, из (15) следует, что получено бесконечное число неравенств, которые улучшают неравенство Милна с (М 2, М_2) как с точки зрения приближения к скалярному произведению в (15) (при 0 < а < 2), так и к правой части ( при 2 < а < +¥).
Следует отметить, что выполнение соотношения упорядоченности М р N в наших терминах означает, что усиление, построенное по среднему М, лучше приближает левую, а усиление, построенное по среднему N, правую части неравенства КГБ.
Результаты по сравнению усилений со средними из различных шкал вида Ма р Яр, или
тем более вида Ма р т , Яр р Л (или обратные к ним), получены автором для усилений вида
(8) только для некоторых частных случаев.
Перейдем к сравнению усилений из теоремы 3 с экспоненциальными функционалами. Для них также будем употреблять символ отношения частичной упорядоченности М р N в прежнем смысле.
Т е о р е м а 5. Справедливы отношения
М1 р Ма р Мр при 1 < а < р < +¥ ,
М1 р М р р Ма при -¥< а < р< 1.
Аналогично решен вопрос и для средних Радо.
Из теоремы 5 следует, что остаются содержательными сравнения усилений со степенными средними, один из порядков которых больше, а другой меньше единицы. В результате автором получены следующие соотношения:
М 2 р М 0, М1 р М -3, М 3 р М-1 , М 3 р М1 ,
2 2
а также ряд других. В частности, усиления со средними М1 и М2 несравнимы.
2
Вычисления показывают, что, по-видимому, справедливы следующие утверждения: Гипотеза 1. Пусть а < 1, р > 1, а + р> 2. Тогда усиления со средними Ма и М р несравнимы.
Гипотеза 2. Пусть а< 1, р> 1, а + р< 2. Тогда М р р М а.
Предположение из гипотезы 2 следует из неравенства Ма + Мр < 2М1 , а + р < 2 , которое, несмотря на элементарность формулировки, доказать не удалось.
В результате все доказанные отношения или их опровержения можно собрать на специальной диаграмме. Отметим среди них еще такие цепочки:
Я1 = М1 р М 31п2 р Я 3 р М7 р М21п2 р Я2 р М4 • • • ;
21п5 2 6 1п3 3
2
Я = М р Я! р М5 р М1п2 р Яо р М2 рМ1 = Я 1 р Я- р ДМ1М0) р Я_2 = Мо р Я_5 к
2 6 3 2 2
Отношения с итерационным средним ¡Л получены с использованием неравенства (5). Некоторые из доказанных результатов по упорядоченности приводят к интересным свойствам самих средних. Например, справедлива теорема 6.
Т е о р е м а 6. При 0 < а < р и неотрицательных числах х1, х2, у1, у2 справедливо нера-;тво {Ма^^ У1 М p(x2, У 2 )-Ma(x2, У2 )М р (xl, У1 ))х
Х (х1 У1Ма (х2, У2 )Мр (х25 У2 ) - х2У2Ма (х1, У1 )Мр (х1, У1 ))^ 0 .
Аналогичное неравенство выполняется и для средних Радо. По-видимому, эта пара неравенств является новой.
В основе доказательств результатов по упорядоченности лежит неравенство Чебышева [1,3] с сопутствующим современным аппаратом сомонотонных и соупорядоченных функций [3,34-36]. Интересно отметить, что русским математиком К.А. Андреевым ещё в 1883 г. было доказано замечательное неравенство для определителей, из которого в качестве частных случаев следуют неравенства Чебышёва, КГБ, Грама, также их некоторые обобщения и многомерные аналоги [37-38].
В заключение отметим, что основные результаты данной работы были ранее анонсированы на конференциях [39-41].
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Харди Г.Г., Литтлвуд Д.Е., ПолиаГ. Неравенства. М.: Иностр. лит., 1948. 456 с.
2. БеккенбахЭ., БеллманР. Неравенства. М.: Мир, 1965.
3. Mitrinovic D.S. (in cooperation with P.M. Vasic). Analytic inequalities. Springer, 1970.
4. Bullen P.S., MitrinovicD.S., Vasic P.M. Means and their inequalities. D.Reidel, 1988.
5. Mitrinovic D.S., Pecaric J.E., Fink A.M. Classical and new inequalities in analysis. Kluwer, 1993.
6. Маршалл А., Олкин И. Неравенства теории мажоризации и её приложения. М.: Мир, 1983.
7. Булыгин А.М., Кошлаков С.Н., Ситник С.М. Неравенства о средних в комплексной области // Науч.-практ. конф. ВВШ МВД России: Тез. докл. Часть II. Воронеж, 1998. С. 6-7.
8. Rado T. On convex functions// Trans. Amer. Math. Soc. Vol. 37: 1935: Р. 266-285.
9. Hartman P. Convex functions and mean value inequalities// Duke Math. J. Vol.39. 1979. No.2. Р. 351-360.
10. Ситник С.М. Теоремы Радо и среднее логарифмическое / Препринт института автоматики и процессов управления Дальневосточного отделения РАН. Владивосток, 1992. 15 с.
11. Ситник С.М. Неравенства для среднего логарифмического и итерационных средних/ Препринт института автоматики и процессов управления Дальневосточного отделения РАН. Владивосток, 1992. 16 с.
12. StolarskyK.B. Generalizations of the logarithmic mean// Math. Mag. Vol. 48. 1975. Р. 87-92.
13. Lin T.P. The power mean and the logarithmic mean// AMM. Vol. 81. 1974. Р. 879-883.
14. Carlson B.C. Some inequalities for hypergeometric functions// Proc. AMS. Vol. 17. 1966. Р. 32-39.
15. LupagA. Problem 12739// Gaz. Mat. (Bucurejti), No.2. 1973.
16. OstleB., TerwilligerH.L. A comparison of two means// Proc. Montana Acad. Sci. Vol.17. 1957, Р. 69-70.
17. RtithingD. Eine allgemeine logarithmische Ungleichung// El. Math. Vol.41. 1986. Р. 14-16.
18. Всероссийские математические олимпиады школьников. М.: Просвещение, 1992.
19. Pecaric J.E., Dragomir S.S. A generalization of Hadamard’s inequality for isotonic linear functionals// Radovi Mate-maticki. Vol. 7. 1991. Р. 103-107.
20. Анциферова Г.А., Ситник С.М. Некоторые обобщения неравенства Юнга// Вестн. Воронеж. и-та МВД РФ. № 2(4). 1999. С. 161-164.
21. Borwein J.M., Borwein P.B. Pi and the AGM. Wiley, 1987.
22. Peetre J. Some observations on algorithms of the Gauss-Borchard type// Proc. Edinburgh Math.Soc. Vol. 34. 1991. Р. 415-431.
23. Borwein P.B. Quadratically converging rational mean iterations// J. Math. Anal. Appl. Vol. 154. 1991. Р.364-376.
24. Todd J. The Weierstrass mean// Numer. Math. Vol. 57. 1990. Р. 737-746.
25. Borwein P.B. Hypertranscendence of the functional equation// Proc. AMS. Vol. 107. 1989. Р. 215-221.
26. Loxton J.H., Van der Poorten. A class of hypertranscendental functions// Aequationes Math. Vol. 16. 1977. Р. 93-106.
27. ВиноградовИ.М. Основы теории чисел. М.: Наука, 1972.
28. Крейн С.Г., Петунин Ю.И., Семенов Е.М. Интерполяция линейных операторов. М.: Наука, 1978.
29. Milne E.A. Note on Rosseland’s integral for the stellar absorption coefficient// Monthly Notices R.A.S. Vol. 85. 1925. Р. 979-984.
30. Dragomir S.S., Arslanagic S.Z. A refinements of Cauchy-Buniakowski-Schwarz inequality for real numbers// Rad. Mat. Vol.7. No.2. 1991. Р. 299-303.
31. Зигмунд А. Тригонометрические ряды. Т1, 2. М.: Мир, 1965.
32. Гилбарг Д., Трудингер Н. Эллиптические дифференциальные уравнения с частными производными второго порядка. М.: Наука, 1989.
33. КусисП. Введение в теорию пространств Н. М.: Мир, 1984.
34. Mitrinovic D.S., Vasic P.M. History, variations and generalizations of the Cebysev inequality and the question of some priorities// Univ. Beograd Publ. Elektrotehn. Fak. Ser. Mat. Fiz. No. 461-497. 1974. Р. 1-30.
35. Mitrinovic D.S., Pecaric J.E. History, variations and generalizations of the Cebysev inequality and the question of some priorities II// Rad. Jugosl. Akad. Znan. Umj. Mat. No. 9 [450]. 1990. Р. 139-156.
36. BeesackP.R., Pecaric J.E. Integral inequalities of Cebysev type// J. Math. Anal. Appl. Vol. 111. No. 2. 1985. Р. 643659.
37. Andreief C. Note sur relation entre les integrales definies des produits des fonctions// Mem. Soc. Sci. Bordeaux. No. 2(3), Р. 1-14.
38. Mitrinovic D.S., Pecaric J.E. Remarks on some determinantal inequalities// C.R. Math. Rep. Acad. Sci. Canada. Vol. X. No. 1. 1988. Р. 41-45.
39. Sitnik S.M. Refinements of the Bunyakovskii - Schwartz inequalities with applications to special functions estimates // Conference in Mathematical Analysis and Applications in Honour of Lars Inge Hedberg's 60 th Birthday. Linköping University, Sweden. June 10-15 1996. P. 97.
40. Ситник С.М. Метод получения последовательных уточнений неравенства Коши-Буняковского и его применения к оценкам специальных функций // Современные методы в теории краевых задач: Понтрягинские чтения -VII: Тез. докл. Воронеж, 1996, С. 164.
41. Ситник С.М. Метод получения последовательных уточнений неравенства Коши - Буняковского и его применения к оценкам специальных функций// Науч.-практ. конф. ВВШ МВД России: Тез. докл. Часть II. Воронеж, 1997. С. 14.
42. Родин В.А. ВМО- свойство частичных сумм рядов Фурье// ДАН СССР. Т. 319. № 5. 1991, С. 1079-1081.
43. Kufner A., Opic B. Hardy-type inequalities // Pitman research notes in mathematics. Vol. 229. Longman, 1990.
44. Буренков В.И., Гольдман М.Л. “ Функциональные пространства. Решения упражнений по разделам // Обобщенное неравенство Минковского. Неравенство Харди // М.: Изд-во УДН, 1990.
45. CwikelM., PustylnikE. Sobolev type embeddings in the limiting case// J. Fourier Anal. And Appl., Vol.4. N 4-5. 1998, P. 433-446.
46. Пустыльник Е.И. О некоторых свойствах вогнутых функций самосопряженных операторов// ДАН СССР. № 186. 1969. С. 1259-1261.
47. Пустыльник Е.И. О функциях от позитивного оператора// Мат.. сб. № 119. 1982. С. 27-42.
48. PustylnikE. The rate of convergence of Fourier series with respect to the eigenfunctions of a positive operator// Funct. Differ. Eq. Vol. 4. N 3-4. P. 391-403.
