Федеральное агентство по образованию
Государственное образовательное учреждение высшего профессионального образования
Вятский государственный гуманитарный университет
Математический факультет
Кафедра математического анализа и МПМ
Выпускная квалификационная работа
Обобщение классических средних величин
Выполнил:
студент 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. $IMAGE6$ (свойство однородности).
Но чаще используется более слабое определение: средние выделяются среди других функций предписыванием им только свойства усреднения [2,3,5].
Так известные среднее арифметическое $IMAGE7$, среднее геометрическое $IMAGE8$, и более общее среднее степенное $IMAGE9$для $IMAGE10$ очевидно будут средними и по сильному определению, а их весовые аналоги – взвешенные средние $IMAGE11$, $IMAGE12$, $IMAGE13$, где $IMAGE14$, $IMAGE15$, уже не обладают свойством симметричности.
Теперь введём новые величины, обобщающие указанные классические средние – квази-средние [1], которые и будут предметом нашего изучения.
Легко заметить способ построения взвешенного среднего степенного – это есть величина $IMAGE16$ с функцией $IMAGE17$, сюда включено и взвешенное среднее арифметическое при $IMAGE18$, и взвешенное среднее геометрическое – та же величина, но с функцией $IMAGE19$.
Отказавшись от конкретного вида функции $IMAGE20$, получаем естественное обобщение этих простейших средних [1,2] – $IMAGE21$, где $IMAGE22$, $IMAGE23$ с тем лишь ограничением на $IMAGE24$, что она должна быть непрерывной и строго монотонной на некотором промежутке, содержащем все $IMAGE25$, тогда обратная функция $IMAGE26$ существует, и мы можем строить $IMAGE27$ для любых чисел из такого промежутка.
Определение. Квази-среднее есть величина вида $IMAGE28$, где $IMAGE15$, $IMAGE30$, $IMAGE31$ для чисел $IMAGE32$ из некоторого промежутка, на котором функция $IMAGE24$ непрерывна и строго монотонна.
Очевидно, квази-средние включают и не взвешенные, обыкновенные средние, если взять $IMAGE34$ для всех номеров i и те же функции $IMAGE18$, $IMAGE19$, $IMAGE17$. Как мы сказали, эти частные случаи квази-средних удовлетворяют всем условиям сильного определения средней величины. Естественно проверить, какие из условий останутся верными и для построенного обобщения. Рассмотрим условия по порядку.
1. Свойство усреднения.
При возрастании x от $IMAGE38$ до $IMAGE39$ $IMAGE24$ возрастает или убывает от $IMAGE41$ до $IMAGE42$, и поэтому $IMAGE43$ как среднее арифметическое лежит между этими значениями, но тогда в силу непрерывности обратной функции точка $IMAGE44$ обязана попасть в отрезок [ $IMAGE45$; $IMAGE46$] = [ $IMAGE38$; $IMAGE48$], то есть $IMAGE49$, и свойство выполняется.
2. Свойство возрастания.
Для возрастающей $IMAGE24$ из $IMAGE51$ следует $IMAGE52$ и $IMAGE53$, а так как обратная функция $IMAGE54$ также возрастает, то $IMAGE55$ или $IMAGE56$.
В случае убывающей $IMAGE24$получаем тот же результат. То есть $IMAGE58$ влечёт $IMAGE59$, и свойство выполняется.
3. Свойство симметричности.
Мы знаем, что симметричны, например, обычные, невзвешанные среднее арифметическое и геометрическое. Но в общем случае квази-средние, конечно, не симметричны. Можно выделить самый широкий класс симметричных квази-средних – они представляются в виде $IMAGE60$.
Действительно, пусть М симметрична. Тогда для некоторого набора различных чисел $IMAGE61$ и произвольной их перестановки $IMAGE62$ $IMAGE63$ или $IMAGE64$, и поэтому $IMAGE65$. Обозначив $IMAGE66$, имеем $IMAGE67$, где $IMAGE68$ – набор, полученный произвольной перестановкой различных (в силу строгой монотонности функции $IMAGE24$) чисел $IMAGE70$. Покажем, что последнее равенство возможно, только если $IMAGE71$. Рассуждаем по индукции.
Для n=2 получаем равенство _______________________________________________________________________________________________________________________________ $IMAGE72$ или $IMAGE73$, откуда $IMAGE74$.
Предполагая теперь, что наше утверждение верно для какого-нибудь натурального $IMAGE75$, покажем, что оно будет верным и для $IMAGE76$, то есть из равенства $IMAGE77$будет следовать $IMAGE78$.
В наборе $IMAGE79$ фиксируем $IMAGE80$, а остальные $IMAGE81$чисел произвольно переставляем, тогда $IMAGE82$ или $IMAGE83$, и поэтому по предположению $IMAGE84$. Аналогично, зафиксировав $IMAGE85$, получаем $IMAGE86$. В результате $IMAGE78$. Индукционный переход обоснован, и мы можем заключить, что наше утверждение верно для любых n.
А так как $IMAGE31$, то $IMAGE89$.
4. Свойство однородности.
Также в общем случае, очевидно, не выполняется. Позже мы покажем, что однородными квази-средними будут только средние степенные.
Итак, по слабому определению квази-средние уже являются средними, но сильному определению они удовлетворяют только наполовину. Поэтому мы и назвали такие величины квази (“почти”)-средними.
Глава 2. Квази-средние и функциональные уравнения
Выше мы определили квази-средние напрямую, конструктивно, но оказывается, что можно дать и аксиоматическое определение, то есть предписать им характеристические свойства. С этой целью отдельно рассмотрим несколько функциональных уравнений, которые также будут использованы нами и для выделения основных классов квази-средних. Напомним, что с помощью свойства симметричности один класс мы уже указали – это величины вида $IMAGE90$.
1. Решение некоторых функциональных уравнений
Теорема 1. Единственными непрерывными хотя бы в одной точке решениями следующих уравнений являются соответственно функции:
1. $IMAGE91$ $IMAGE92$;
2. $IMAGE93$ $IMAGE94$;
3. $IMAGE95$ $IMAGE96$;
4. $IMAGE97$ $IMAGE98$;
5. $IMAGE99$ $IMAGE100$;
6. $IMAGE101$ $IMAGE102$ и $IMAGE103$, x≠0;
7. $IMAGE104$ $IMAGE105$, x>0
Доказательство. 1. Найдём все непрерывные хотя бы в одной точке решения уравнения $IMAGE106$, которое будет основным, так как мы далее сведём к нему все остальные уравнения.
Зафиксируем точку х0 из области определения – ту самую, в которой решение непрерывно, и проверим верность равенства $IMAGE107$для любого r $IMAGE108$R.
$IMAGE109$, что возможно только при $IMAGE110$;
$