Федеральное агентство по образованию
Государственное образовательное учреждение высшего профессионального образования
Вятский государственный гуманитарный университет
Математический факультет
Кафедра математического анализа и МПМ
Выпускная квалификационная работа
Обобщение классических средних величин
Выполнил:
студент V курса математического факультета
Лялин Андрей Васильевич
Научный руководитель:  
кандидат физ.-мат. наук, доцент
кафедры прикладной математики
С.И. Калинин
Рецензент:
кандидат физ.-мат. наук, доцент кафедры математического анализа и МПМ  В.И. Варанкина
Допущена к защите в государственной аттестационной комиссии
«___» __________2005 г.     Зав. кафедрой                           М.В. Крутихина
«___»___________2005 г.     Декан факультета                     В.И. Варанкина
Киров
2005
Отзыв на выпускную квалификационную работу
А.В. Лялина «Обобщение классических средних величин»
Выпускная квалификационная работа студента Лялина А.В. представляет собой систематическое изложение  вопросов, касающихся теории средних величин, а также их соответствующих обобщений. Отметим при этом, что её значительная часть является результатом самостоятельной научно-исследовательской деятельности.
Автор обозначенную тему рассматривает весьма полно: им приводятся все необходимые понятия и определения, формулировки и доказательства утверждений.
Затронутый в работе материал излагается индуктивно, на основе частных фактов, это облегчает читателю понимание текста работы.
Наибольший практический интерес представляет исследование неравенств для рассматриваемых средних. Автор устанавливает новый аналог неравенства Иенсена, им выводятся классические неравенства для средних степенных и их аналоги как приложение общих неравенств.
Полученные и усвоенные знания преподнесены грамотно (без стилистических ошибок, за редким исключением), правильно (без математических ошибок), чётко, логично и связно. Важно отметить, что автор умеет пользоваться научной литературой, в том числе иностранными статьями, согласовывать собственные исследования с фактами из литературных источников.
Подчеркнем, что по теме работы  А.В. Лялин работал на протяжении трех лет, он неоднократно выступал с научными сообщениями на студенческом научно-исследовательском семинаре по математическому анализу, познакомился с несколькими статьями из зарубежных математических журналов.
Считаю, что работа Лялина А.В. отвечает требованиям, предъявляемым к ВКР, и заслуживает допуска к защите.
Калинин С.И..
Содержание
Введение.......................................................................................................... 3
Глава 1. Квази-средние как обобщение классических средних величин..... 4
Глава 2. Квази-средние и функциональные уравнения................................ 8
1.     Решение некоторых функциональных уравнений................................ 8
2.     Характеристическое свойство квази-средних..................................... 12
3.     Тождественные квази-средние............................................................. 15
4.     Однородные квази-средние................................................................. 17
5.     Аддитивные квази-средние.................................................................. 18
Глава 3. Квази-средние и выпуклые функции............................................. 19
1.     Некоторые вопросы теории выпуклых функций............................... 20
2.     Обобщение неравенства Коши и его аналог...................................... 24
3.     Обобщение неравенства Гёльдера и его аналог................................. 28
Заключение................................................................................................... 30
Библиографический список....................................................................... 31

Введение
Вопросы данной работы относятся к области математического анализа, конкретнее  к теории средних величин, которая  рассматривает свойства средних и неравенства с ними связанные. 
Нашей целью будет изучение так называемых  квази-средних, обобщающих известные среднее арифметическое, геометрическое и степенное.
 В главе 1 мы скажем вначале о том, что вообще понимается  под средними, а затем введём новые величины и проверим, в какой мере они удовлетворяют  этому определению.
В главе 2  от прямого, конструктивного задания квази-средних, перейдём к аксиоматическому  определению, то есть предпишем им некоторые характеристические свойства, а также выделим их основные классы. Здесь в основе будут лежать функциональные уравнения, которые мы  отдельно рассмотрим. 
В главе 3  укажем  неравенства для квази-средних, из которых как частные случаи получим основные неравенства для средних степенных (неравенство Коши о среднем арифметическом и среднем геометрическом; неравенства, характеризующие свойство монотонности средних степенных; неравенство Гюйгенса; неравенство Гёльдера) и их аналоги. Теперь  будем опираться на теорию выпуклых функций, и поэтому вновь предварительно обсудим некоторые её вопросы.
Методы доказательств, которые мы применяем в этой работе,  не выходят за рамки классического анализа: используем свойства непрерывных, монотонных, выпуклых функций, обращаемся к функциональным уравнениям, при этом  доказываем все необходимые факты.
Многие утверждения известны из литературы (где иногда просто сформулированы), некоторые утверждения являются новыми. Мы  приводим их полное доказательство, уточняем, детализируем.

Глава 1. Квази-средние как обобщение классических средних величин
Так как предметом нашего изучения будет средняя величина, скажем вначале о том, как средние определяются  в литературе. Сильное определение, включающее несколько условий, состоит в следующем [6].
Определение. Непрерывная действительная функция  от n неотрицательных переменных называется средним,  если  для любых  выполняются условия:
1.     , то есть S “усредняет” любой набор из n неотрицательных чисел  (свойство усреднения);
2.     , то есть “большему” набору соответствует не меньшее значение S (свойство возрастания);
3.     при любой перестановке чисел  S не меняется (свойство симметричности);
4.      (свойство однородности).
Но чаще используется более слабое определение: средние выделяются среди других функций предписыванием им только свойства усреднения [2,3,5].
Так известные среднее арифметическое , среднее геометрическое , и более общее среднее степенное для  очевидно будут средними и по сильному определению, а их весовые аналоги – взвешенные средние ,  , , где , ,  уже не обладают свойством симметричности.
 Теперь введём новые величины, обобщающие указанные классические средние – квази-средние [1],  которые и будут предметом нашего изучения.
Легко заметить способ построения взвешенного среднего степенного – это есть величина  с функцией , сюда включено и взвешенное среднее арифметическое при , и взвешенное среднее геометрическое – та же величина, но с функцией .
Отказавшись от конкретного вида функции , получаем  естественное  обобщение  этих простейших средних [1,2] – , где ,   с тем лишь ограничением на , что она должна быть непрерывной и строго монотонной на некотором промежутке, содержащем все , тогда  обратная функция  существует, и мы можем строить  для любых чисел из такого промежутка.
Определение. Квази-среднее есть величина вида , где , ,  для чисел   из некоторого промежутка, на котором функция  непрерывна и строго монотонна.
 Очевидно, квази-средние включают и не взвешенные, обыкновенные  средние, если взять  для всех номеров i и те же функции , , . Как мы сказали, эти частные случаи квази-средних удовлетворяют всем условиям сильного определения средней величины.  Естественно проверить, какие из условий останутся верными и для построенного обобщения. Рассмотрим  условия по порядку.
1. Свойство усреднения.
При возрастании x от  до    возрастает или убывает от  до ,  и  поэтому  как среднее арифметическое лежит между этими значениями, но тогда в силу непрерывности обратной функции точка  обязана попасть в отрезок [ ; ] = [ ; ], то есть ,  и свойство выполняется.
2. Свойство возрастания.
Для возрастающей  из  следует  и  , а так как обратная функция  также возрастает, то   или .
В случае убывающей получаем тот же результат. То есть  влечёт , и свойство выполняется.
 3. Свойство симметричности.
 Мы знаем, что симметричны, например, обычные, невзвешанные среднее арифметическое и геометрическое. Но в общем случае квази-средние, конечно, не симметричны. Можно выделить самый широкий класс симметричных квази-средних – они представляются в виде .
Действительно, пусть М симметрична. Тогда для некоторого набора различных чисел  и произвольной  их перестановки     или ,  и поэтому . Обозначив , имеем , где  – набор, полученный  произвольной перестановкой различных (в силу строгой монотонности функции ) чисел . Покажем, что последнее равенство возможно,  только если . Рассуждаем по индукции.
Для n=2 получаем равенство _______________________________________________________________________________________________________________________________  или , откуда    .
Предполагая теперь, что наше утверждение верно для  какого-нибудь натурального , покажем, что оно будет верным и для , то есть из равенства   будет следовать   .
В наборе  фиксируем , а остальные чисел произвольно переставляем, тогда   или , и поэтому по предположению . Аналогично, зафиксировав , получаем . В результате . Индукционный переход обоснован, и мы можем  заключить, что наше утверждение верно для любых n.     
А так как , то  .
4. Свойство однородности.
Также в общем случае, очевидно,  не выполняется. Позже мы покажем, что однородными квази-средними будут только средние степенные.
Итак, по слабому определению квази-средние уже являются  средними, но  сильному определению они удовлетворяют только наполовину.    Поэтому мы  и  назвали  такие  величины  квази (“почти”)-средними.

Глава 2. Квази-средние  и функциональные уравнения
Выше мы определили квази-средние напрямую, конструктивно, но оказывается, что можно дать и аксиоматическое определение, то есть предписать им характеристические свойства. С этой целью отдельно рассмотрим  несколько функциональных уравнений, которые также будут использованы нами и для выделения основных классов квази-средних. Напомним, что с помощью свойства симметричности один класс мы уже указали – это величины вида  .
1.  Решение некоторых функциональных уравнений
Теорема 1. Единственными непрерывными хотя бы в одной точке решениями следующих  уравнений    являются    соответственно  функции:
1.                                                     ;
2.           ; 
3.                          ;
4.                                                      ;   
5.                                                      ;   
6.                                                           и   , x≠0;
7.              , x>0
Доказательство. 1. Найдём все непрерывные хотя бы в одной точке решения уравнения , которое будет основным, так как мы далее сведём к нему все остальные  уравнения.   
Зафиксируем точку х₀ из области определения – ту самую, в которой решение непрерывно, и проверим верность равенства для любого r R.
, что возможно только при ;
для любого r N;
для r=0;
,  но тогда  и   для любого r N, то есть равенство верно для всех целых  r.
Далее пусть r Q или r=z/n, где p Z и q N.     и поэтому , то есть равенство верно для всех рациональных  r.
На последнем шаге  используем непрерывность решения в точке х₀ и тот факт, что любое действительное число  представляется как предел некоторой рациональной последовательности.
Если , то   и ,   а так как   ,  заключаем,  что   для любого r R.
Теперь , p R (если обозначить не зависящий от х множитель  за  p).
2. Рассмотрим уравнение .
, и поэтому функция , непрерывная хотя бы в одной точке, удовлетворяет уравнению , то есть уравнению 1, и поэтому  .
Точно так же , … , .   Но искомое решение   , p_i R.
3. Решим уравнение  .
,  откуда ,  и поэтому   функция , непрерывная  хотя бы в одной точке,  удовлетворяет уравнению

, то есть . 
Тогда   .
4. Обратимся к уравнению  .
Прежде всего заметим, что если   при каком-либо x₀, то для любого x можно заключить , то есть .
Это одно из решений уравнения, и если существует другое решение, то оно не обращается в нуль ни в одной точке. Тогда  .  Но для положительной всюду   можно определить функцию , которая  непрерывна  хотя бы в одной точке и удовлетворяет уравнению
,  то есть .  Откуда  ,  где   .
5. Рассмотрим уравнение .
,  и поэтому
,  и поэтому  
, то есть g(x) – чётная функция.
Очевидно, если g(x)≠0, то она не определена при х=0. Действительно, если существует g(0), то , откуда –тривиальное решение, существование которого очевидно. Таким образом уравнение достаточно рассматривать при х>0, а на отрицательную полуось решение продолжить чётным образом.
Определим функцию , где  для любого х. G(x) непрерывна  хотя бы в одной точке и удовлетворяет уравнению ,  то есть .  Откуда ,   где   .  И с учётом чётного продолжения . 
6. Уравнение  также сведём к уравнению 1. 
Прежде всего заметим, что если   при каком-либо , то для любого x можно заключить , то есть  –тривиальное решение. Далее ,  и так как  для нетривиального решения, то из этого равенства следует, что .
Но тогда   и  g(–1)= 1.
Если , то , и  g(x) – чётная функция. Если же , то , и g(x) – нечётная функция. Таким образом g(x) достаточно найти при х>0, а на отрицательную полуось решение продолжить или чётным, или нечётным образом, получив тем самым два решения функционального уравнения.
При х>0 , так как  – мы ищем нетривиальное решение. Поэтому можно определить функцию , которая  непрерывна  хотя бы в одной точке и удовлетворяет уравнению   , то есть .  Откуда . 
И с учётом чётного  и нечётного  продолжений имеем два решения   и   , x≠0. Для k>0 функции можно по непрерывности доопределить и в нуле, но для k<0  это сделать невозможно. Заметим, что при  k=0 вторая функция есть , и мы получаем пример разрывного решения.
7. И уравнение  решим,  используя предыдущее уравнение.
, и поэтому функция , непрерывная хотя бы в одной точке, удовлетворяет уравнению , но тогда  по доказанному для x>0 имеем (в этом случае ограничимся положительными x, так как далее решение на всей числовой прямой нам не понадобится).

Отметим, что данное замечание даёт другое доказательство теоремы 4 о тождественных квази-средних.
Теорема 14.  Для того,  чтобы выполнялось неравенство ≤  для всех  и , , ,   достаточно, чтобы функция  была выпуклой вниз, если  возрастает,  или  выпуклой вверх, если  убывает.
Доказательство. Точно так же, как и в предыдущей теореме, приводим данное неравенство к неравенству   (или ему обратному при убывании ), которое по теореме 8  вновь верно при  условии, что  функция , или   выпукла вниз (вверх()овь верно при тех же условиях________________________________________________________________________________________________).
 Замечание. Если , где , на отрезке , то равенство в доказанном соотношении  достигается только тогда, когда все   равны  a  или  все   равны b.
Теорема 13 позволяет нам как частные случаи получить известные неравенства для средних степенных [3]. Приведём эти неравенства.
Пример 1 (неравенство, характеризующее свойство монотонности среднего степенного). Для , , 0<r<s  функция  выпукла вниз (так как её вторая производная неотрицательна), и поэтому , где , , , , или .
Пример 2 (неравенство Коши). Для  и  функция  выпукла вниз, и поэтому , где , , , или  .
Пример 3 (неравенство Гюйгенса). Для  и  функция  выпукла вниз, и поэтому , где , , , или  .
Пример 4  (неравенство Бернулли). Для  и    функция  выпукла вниз, и поэтому , где , , ,  или  . В частности, если положить , , , то получим так называемое обобщённое неравенство Бернулли  ( ).
Замечание. Равенство в вышеуказанных примерах   имеет место тогда и только тогда, когда все  равны друг другу (так как в каждом случае ).  
На основании же  теоремы 14 мы получаем  аналоги приведённых неравенств.
Пример 1^/. , где , , ,   , .
Пример 2^/. , где , ,   , .
Пример 3^/. , где , ,   , .
Пример 4^/. , где .
Замечание. Равенство в вышеуказанных примерах   имеет место тогда и только тогда,  когда все   равны  a  или  все   равны b.
3.  Обобщение неравенства Гёльдера и его аналог
Один из вариантов неравенства Гёльдера (для  средних значений) выглядит так [2]:  , где  , , , , ,  .
Запишем его в следующей форме  с квази-средними, заданными функциями , , , или . Снова, как и для обобщения неравенства Коши, зададимся  вопросом, будет ли неравенство  Гёльдера выполнятся для произвольных квази-средних. 
Теорема 15. Для того чтобы выполнялось неравенство  для всех , , ,  необходимо и достаточно, чтобы =  была выпуклой вверх функцией, если  возрастает,  или  выпуклой вниз функцией, если  убывает.
Доказательство. Пусть  возрастает. Тогда наше неравенство эквивалентно неравенству . Полагая =  и , , переписываем . А новое неравенство по теореме 10 справедливо тогда и только тогда, когда функция  или   выпукла вверх.
При убывании  рассуждаем аналогично.
Теорема 16.  Для того,  чтобы   для всех  ,  , ,    и  , ,      выполнялось неравенство достаточно, чтобы функция =  была выпуклой вверх, если  возрастает,  или  выпуклой вниз, если  убывает.
Доказательство точно так же, как и предыдущей теореме, сводим к теореме 11.
Теоремы 15 и 16  содержат как частные случаи следующие известные неравенства и их аналоги.
Пример 1 (неравенство Гёльдера). Для , ,   функция = =   по теореме 12  выпукла вверх, если  и  ,  и поэтому  для .
Пример 2 (неравенство Коши-Буняковского). Для
, где , , .
Пример 1^/ (аналог неравенства Гёльдера).           , где  ,  , ,  , , , , ,  .
Пример 2^/  (аналог неравенства Коши-Буняковского).   , где    , , .
Заключение
 Теперь когда мы завершили изложение нашего вопроса, скажем несколько слов о возможных направлениях развития темы.
 Всё доказанное о квази-средних можно разделить на две части: теоретическую (аксиоматическое задание, выделение классов новых величин) и практическую (неравенства для квази-средних как метод доказательства менее общих неравенств).  
Первую часть считаем завершённой.  Вторая часть остаётся открытой.  Как мы видели, доказательство новых  неравенств для выпуклых функций даёт возможность сформулировать новые неравенства и для квази-средних. Последние в свою очередь можно конкретизировать для их частных случаев. Так с помощью аналога неравенства Иенсена мы вывели неравенство для квази-средних, из которого в качестве следствия получили аналог неравенства Коши.

Библиографический список
1.     Muliere, P.  On Quasi-Means [Text] / P. Muliere // J. Ineq. Pure and Appl. Math. 3(2), 1991, Article 21.
2.     Харди, Г.Г. Неравенства [Text] / Г.Г. Харди, Дж.  Е. Литтлвуд, Г. Полиа.–М.: Иностранная литература, 1948.
3.     Калинин, С. И. Средние величины степенного типа. Неравенства Коши и Ки Фана: Учебное пособие по спецкурсу [Text] / С. И. Калинин.–Киров: Изд-во ВГГУ, 2002.
4.     Беккенбах Э. Неравенства [Text]/ Э. Беккенбах, Р. Беллман.–М.: Издательство “Мир”, 1965.
5.     Некоторые вопросы математического анализа и методики его преподавания: Сб. научн. статей [Text].– Киров: Изд-во ВГГУ, 2001.
6.     Mericoski, J. K.  Extending means of two variables to several variables [Text] / J. K. Mericoski. // J. Ineq. Pure and Appl. Math. 5(3), 2004, Article 65.