В математике однородная функция — это функция нескольких переменных , для которой выполняется следующее: если каждый из аргументов функции умножается на один и тот же скаляр , то значение функции умножается на некоторую степень этого скаляра; мощность называется степенью однородности или просто степенью . То есть, если k — целое число, функция f от n переменных является однородной степени k , если
для каждого и
Например, однородный полином степени k определяет однородную функцию степени k .
для всех ненулевых и Это определение часто далее обобщается на функции, областью определения которых является не V , а конус в V , то есть подмножество C из V такое, что для каждого ненулевого скаляра s .
В случае функций нескольких действительных переменных и вещественных векторных пространств часто рассматривается несколько более общая форма однородности, называемая положительной однородностью , требуя только того, чтобы вышеуказанные тождества выполнялись , и допуская любое действительное число k как степень однородности. Всякая однородная действительная функция положительно однородна . Обратное неверно, но локально верно в том смысле, что (для целых степеней) два вида однородности нельзя различить, рассматривая поведение функции вблизи данной точки.
Норма над вещественным векторным пространством является примером положительно однородной функции, которая не является однородной . Особым случаем является абсолютное значение действительных чисел. Фактор двух однородных многочленов одной степени дает пример однородной функции нулевой степени. Этот пример является основным в определении проективных схем .
Определения
Понятие однородной функции первоначально было введено для функций нескольких действительных переменных . С определением векторных пространств в конце 19 века эта концепция была естественным образом распространена на функции между векторными пространствами, поскольку кортеж значений переменных можно рассматривать как координатный вектор . Именно эта более общая точка зрения описана в данной статье.
Есть два общепринятых определения. Общий подход работает для векторных пространств над произвольными полями и ограничивается целыми степенями однородности .
Второй предполагает работу над полем действительных чисел или, шире, над упорядоченным полем . Это определение ограничивает коэффициент масштабирования, который встречается в определении, положительными значениями и поэтому называется положительной однородностью , причем качественный положительный часто опускается, когда нет риска путаницы. Положительная однородность приводит к тому, что большее количество функций считается однородным. Например, абсолютная величина и все нормы являются положительно однородными функциями, которые не являются однородными.
Ограничение масштабного коэффициента действительными положительными значениями позволяет также рассматривать однородные функции, степень однородности которых равна любому действительному числу.
Общая однородность
Пусть V и W — два векторных пространства над полем F . Линейный конус в V — это такое подмножество C в V , что для всех и всех ненулевых
Однородная функция f от V до W — это частичная функция от V до W , имеющая линейный конус C в качестве области определения и удовлетворяющая условиям
для некоторого целого числа k все без исключения ненулевые. Целое число k называется степенью однородности или просто степенью f .
Типичным примером однородной функции степени k является функция, определяемая однородным многочленом степени k . Рациональная функция , определяемая фактором двух однородных многочленов, является однородной функцией; его степень есть разность степеней числителя и знаменателя; его конус определения — это линейный конус точек, в которых значение знаменателя не равно нулю.
Однородные функции играют фундаментальную роль в проективной геометрии , поскольку любая однородная функция f от V до W определяет четко определенную функцию между проективизациями V и W. Однородные рациональные функции нулевой степени (определяемые фактором двух однородных многочленов одной и той же степени) играют существенную роль в конструкции проективных схем Проя .
Положительная однородность
При работе с действительными числами или, в более общем плане, с упорядоченным полем обычно удобно рассматривать положительную однородность , определение которой точно такое же, как и в предыдущем разделе, с заменой «ненулевого s » на « s > 0 » в определения линейного конуса и однородной функции.
Это изменение позволяет рассматривать (положительно) однородные функции с любым действительным числом как их степени, поскольку возведение в степень с положительным действительным основанием четко определено.
Даже в случае целых степеней существует множество полезных функций, которые являются положительно однородными, но не являются однородными. Это, в частности, случай функции абсолютного значения и норм , которые все положительно однородны степени 1 . Они не являются однородными, поскольку это остается верным и в комплексном случае, поскольку поле комплексных чисел и каждое комплексное векторное пространство можно рассматривать как вещественные векторные пространства.
Теорема Эйлера об однородной функции — это характеристика положительно однородных дифференцируемых функций , которую можно рассматривать как фундаментальную теорему об однородных функциях .
Примеры
Простой пример
Функция однородна степени 2:
Абсолютная ценность и нормы
Абсолютное значение действительного числа — это положительно однородная функция степени 1 , которая не является однородной, поскольку если и если
Абсолютное значение комплексного числа является положительно однородной функцией степени действительных чисел (то есть, если рассматривать комплексные числа как векторное пространство над действительными числами). Оно неоднородно как по действительным, так и по комплексным числам.
В более общем смысле, каждая норма и полунорма являются положительно однородной функцией степени 1 , которая не является однородной функцией. Что касается абсолютного значения, то если норма или полунорма определена в векторном пространстве над комплексными числами, это векторное пространство следует рассматривать как векторное пространство над действительным числом для применения определения положительно однородной функции.
Учитывая однородный многочлен степени с действительными коэффициентами, который принимает только положительные значения, можно получить положительно однородную функцию степени, возведя ее в степень. Так, например, следующая функция является положительно однородной степени 1, но не однородной:
Мин Макс
Для каждого набора весов следующие функции положительно однородны степени 1, но не однородны:
Рациональные функции, образованные как отношение двух однородных многочленов, являются однородными функциями в своей области определения , то есть вне линейного конуса , образованного нулями знаменателя . Таким образом, если однородно по степени и однородно по степени , то однородно по степени вдали от нулей
Грубо говоря, теорема Эйлера об однородных функциях утверждает, что положительно однородные функции данной степени являются в точности решением конкретного уравнения в частных производных . Точнее:
И наоборот, каждое максимальное непрерывно дифференцируемое решение этого уравнения в частных производных является положительно однородной функцией степени k , определенной на положительном конусе (здесь максимальное означает, что решение не может быть продолжено до функции с большей областью определения).
Доказательство
Для получения более простых формул мы устанавливаем:
Первая часть получается с использованием цепного правила для дифференцирования обеих частей уравнения относительно и принятия предела результата, когда s стремится к 1 .
Обратное доказывается интегрированием простого дифференциального уравнения . Пусть находится внутри области f . Для s, достаточно близкого к 1 , функция корректно определена. Уравнение в частных производных означает, что
если s достаточно близко к 1 . Если бы это решение уравнения в частных производных не было определено для всех положительных s , то функциональное уравнение позволило бы продолжить решение, а уравнение в частных производных подразумевает, что это продолжение единственно. Итак, областью максимального решения уравнения в частных производных является линейный конус, а решение положительно однородно степени k .
Как следствие, если оно непрерывно дифференцируемо и однородно по степени, его частные производные первого порядка однородны по степени.
Это следует из теоремы Эйлера путем дифференцирования уравнения в частных производных по одной переменной.
В случае функции одной действительной переменной ( ) из теоремы следует, что непрерывно дифференцируемая и положительно однородная функция степени k имеет вид для и для Константы и не обязательно одинаковы, как это имеет место для абсолютная величина .
Все определения, данные выше, являются специализированными случаями следующего более общего понятия однородности, в котором может быть любое множество (а не векторное пространство), а действительные числа могут быть заменены более общим понятием моноида .
Пусть это моноид с единичным элементом, пусть и - множества, и предположим, что на обоих и определены действия моноида из Пусть - неотрицательное целое число и пусть - отображение. Тогда говорят, что он однороден по степени, если для каждого и
Функция является однородной по (соответственно абсолютно однородной по ), если она однородна степени по (соответственно абсолютно однородной степени по ).
В более общем смысле, символы могут быть определены как нечто иное, чем целое число (например, если это действительные числа и является ненулевым действительным числом, то оно определяется, даже если оно не является целым числом). В этом случае будет называться однородным степени более , если выполнено то же равенство:
Понятие абсолютной однородности степени выше обобщается аналогичным образом.
Распределения (обобщенные функции)
Непрерывная функция на является однородной по степени тогда и только тогда, когда
Следующие часто встречающиеся частные случаи и варианты этого определения имеют свою собственную терминологию:
(Строгий )Положительная однородность :[1] для всехи всехположительныхвещественных
Когда функция оценивается в векторном пространстве или поле, это свойство логически эквивалентно [доказательство 1 ]неотрицательная однородность , что по определению означает:[2] для всехи всехнеотрицательноевещественное.Именно по этой причине положительную однородность часто также называют неотрицательной однородностью. Однако для функций, выраженных врасширенных действительных числах, которые появляются в таких полях, каквыпуклый анализ, умножениевсегда будет неопределенным, и поэтому эти операторы не обязательно всегда взаимозаменяемы. [примечание 1]
Это свойство используется при определении сублинейной функции . [1] [2]
Функционалы Минковского — это именно те неотрицательные расширенные вещественные функции, обладающие этим свойством.
Реальная однородность :для всехи все реально
Это свойство используется при определении вещественного линейного функционала .
Однородность :[3] для всехи всех скаляров
Подчеркивается, что это определение зависит от скалярного поля, лежащего в основе области
If then обычно обозначает комплексно-сопряженное число . Но в более общем смысле, как, например, в случае с полулинейными отображениями , это может быть образ при некотором выдающемся автоморфизме
Все приведенные выше определения можно обобщить, заменив условие на: в этом случае перед этим определением ставится слово « абсолютный » или « абсолютно ».
Например,
Абсолютная однородность :[2] для всехи всех скаляров
Это свойство используется при определении полунормы и нормы .
Если — фиксированное действительное число, то приведенные выше определения можно дополнительно обобщить, заменив условие на (и аналогичным образом заменив на условия, использующие абсолютное значение и т. д.), и в этом случае говорят, что однородность имеет « степень ». (где, в частности, все приведенные выше определения имеют « степень » ). Например,
Реальная однородность степени :для всехи всех реальна
Однородность степени :для всехи всех скаляров
Абсолютная реальная однородность степени :для всехи вся реальная
Абсолютная однородность степени :для всехи всех скаляров
Ненулевая непрерывная функция , однородная степени на, непрерывно продолжается тогда и только тогда, когда
Функция центра треугольника - точка в треугольнике, которую при некоторых критериях можно рассматривать как его середину.Pages displaying short descriptions of redirect targets
Примечания
^ Однако, если такое условие удовлетворяет всем , а затем обязательно и всякий раз, когда оба они реальны, то оно будет справедливым для всех.
Доказательства
^ Предположим, что он строго положительно однороден и оценивается в векторном пространстве или поле. Тогда вычитание с обеих сторон показывает, что запись тогда для любого , что показывает, что является неотрицательно однородным.
Рекомендации
^ ab Schechter 1996, стр. 313–314.
^ abcd Кубруслый 2011, с. 200.
^ Кубруслый 2011, с. 55.
^ Кубруслый 2011, с. 310.
Источники
Блаттер, Кристиан (1979). «20. Mehr Dimensionale Differentialrechnung, Aufgaben, 1.». Анализ II (на немецком языке) (2-е изд.). Спрингер Верлаг. п. 188. ИСБН 3-540-09484-9.
Кубрусли, Карлос С. (2011). Элементы теории операторов (второе изд.). Бостон: Биркхойзер . ISBN 978-0-8176-4998-2. ОСЛК 710154895.
Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. ОСЛК 840278135.
Шехтер, Эрик (1996). Справочник по анализу и его основам . Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4. ОСЛК 175294365.