Однородная функция

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Однородная функция степени  — числовая функция такая, что для любого из области определения функции и любого выполняется равенство:

Параметр называется порядком однородности. Подразумевается, что если входит в область определения функции, то все точки вида тоже входят в область определения функции.

Различают также

  • положительно однородные функции, для которых равенство выполняется только для положительных
  • абсолютно однородные функции для которых выполняется равенство
        
  • ограниченно однородные функции, для которых равенство выполняется только для некоторых выделенных значений
  • комплексные однородные функции для которых равенство справедливо при и или (а также для комплексных показателей ).

Альтернативное определение однородной функции

[править | править код]

В некоторых математических источниках однородными называются функции, являющиеся решением функционального уравнения с заранее неопределённой функцией и лишь потом доказывается, что Для единственности решения нужно дополнительное условие, что функция не равна тождественно нулю и что функция принадлежит определённому классу функций (например, была непрерывной или была монотонной). Однако, если функция непрерывна хотя бы в одной точке с ненулевым значением функции, то должна быть непрерывной функцией при всех значениях и тем самым для широкого класса функций случай — единственно возможный.

Обоснование:

Функция, тождественно равная нулю, удовлетворяет функциональному уравнению при любом выборе функции однако этот вырожденный случай не представляет особого интереса.

Если же в какой-то точке значение то:

  1. , откуда:
  2. где

Функциональное уравнение Коши имеет решение в виде линейной функции: причём для класса непрерывных или класса монотонных функций это решение единственное. Поэтому если известно, что непрерывная или монотонная функция, то

  1. Если — однородные функции одного и того же порядка то их линейная комбинация с постоянными коэффициентами будет однородной функцией того же порядка
  2. Если — однородные функции с порядками то их произведение будет однородной функцией с порядком
  3. Если — однородная функция порядка то её -ая степень (не обязательно целочисленная), если она имеет смысл (то есть если — целое число, или если значение положительно), будет однородной функцией порядка на соответствующей области определения. В частности, если — однородная функция порядка , то будет однородной функцией порядка и областью определения в точках, где определена и не равна нулю.
  4. Если — однородная функция порядка а — однородные функции порядка то суперпозиция функций будет однородной функцией порядка
  5. Если — однородная функция переменных степени и гиперплоскость принадлежит её области определения, то функция переменных будет однородной функцией степени
  6. Логарифм однородной функции нулевого порядка или логарифм модуля однородной функции нулевого порядка является однородной функцией нулевого порядка. Логарифм однородной функции или логарифм модуля однородной функции является однородной функцией тогда и только тогда, когда порядок однородности самой функции равен нулю.
  7. Модуль однородной функции или модуль абсолютно-однородной функции является абсолютно-однородной функцией. Модуль однородной функции или модуль положительно однородной функции является положительно однородной функцией. Модуль однородной функции нулевого порядка является однородной функцией нулевого порядка. Абсолютно-однородная функция нулевого порядка является однородной функцией нулевого порядка, и наоборот.
  8. Произвольная функция от однородной функции нулевого порядка является однородной функцией нулевого порядка.
  9. Если —— положительно однородные функции порядка где а —— положительно однородная функция порядка то функция будет положительно однородной функцией порядка во всех точках , в которых система уравнений , ..., имеет решение. Если при этом —— нечётное целое число, то положительную однородность можно заменить на обычную однородность. Следствие: если имеется непрерывная или монотонная функция , причём —— однородная или положительно однородная функция, где —— однородная или положительно однородная функция ненулевого порядка, то —— степенная функция во всех точках , в которых уравнение имеет решение. В частности, —— единственная монотонная или непрерывная функция одного переменного, являющаяся однородной функцией порядка . (Доказательство дублирует рассуждения из раздела «Альтернативное определение однородной функции» этой статьи. При этом если снять ограничение, что функция —— непрерывная или же монотонная, то могут иметься и другие, весьма экзотические решения для , см. статью «Базис Гамеля».)
  10. Если функция    является многочленом от    переменных, то она будет однородной функцией степени    в том и только в том случае, когда   — однородный многочлен степени    В частности, в этом случае порядок однородности   должен быть натуральным числом или нулём. (Для доказательства надо сгруппировать вместе мономы многочлена с одинаковыми порядками однородности , подставить результат в равенство и использовать тот факт, что степенные функции с разными показателями степени, в том числе и нецелочисленными, являются линейно независимыми.) Утверждение можно обобщить на случай линейных комбинаций мономов вида с нецелочисленными индексами.
  11. Если конечное произведение многочленов является однородной функцией, то каждый сомножитель является однородным многочленом. (Для доказательства выберем в каждом сомножителе мономы с минимальным и максимальным порядками однородности . Поскольку после перемножения получившийся многочлен должен состоять из мономов с одним и тем же порядком однородности, то для каждого сомножителя минимальный и максимальный порядок однородности должен быть одним и тем же числом.) Утверждение можно обобщить на случай линейных комбинаций мономов вида с нецелочисленными индексами.
  12. Если числитель и знаменатель дробно-рациональной функции являются однородными многочленами, функция будет однородной с порядком однородности, равным разности порядков однородности числителя и знаменателя. Если дробно-рациональная функция является однородной, её числитель и знаменатель с точностью до общего множителя — однородные многочлены. Утверждение можно обобщить на случай дробно-рационального отношения линейных комбинаций мономов вида с нецелочисленными индексами.
  13. Однородная функция ненулевой степени в нуле равна нулю, если она там определена:   (Получается при подстановке в равенство значения    либо, в случае отрицательной степени однородности, значения ) Однородная функция нулевой степени, если она определена в нуле, может принимать в этой точке любое значение.
  14. Если однородная функция нулевой степени непрерывна в нуле, то она является константой (произвольной). Если однородная функция отрицательной степени непрерывна в нуле, то она тождественный ноль. (Преобразованием можно любую точку сколь угодно близко приблизить к нулю. Поэтому если функция в нуле непрерывна, то можно выразить значение функции в точке через её значение в точке с помощью соотношения )
  15. Однородная функция положительной степени в нуле стремится к нулю по любому направлению, которое входит в её область определения, а однородная функция отрицательной степени —— к бесконечности, знак которой зависит от направления, если только функция не является тождественным нулём вдоль данного направления. Однородная функция положительной степени непрерывна в нуле или может быть доопределена до непрерывной в нуле, если в её область определения входит -окрестность нуля. Однородная функция нулевой степени может быть как разрывна, так и непрерывна в нуле, и в случае разрывности является константой, зависящей от направления, вдоль каждого луча с вершиной в начале координат, если направление входит в её область определения. (Получается при подстановке в равенство значения  )
  16. Если однородная функция в нуле является аналитической (то есть, разлагается в сходящийся ряд Тейлора с ненулевым радиусом сходимости), то она является многочленом (однородным многочленом). В частности, в этом случае порядок однородности должен быть натуральным числом или нулём. (Для доказательства достаточно представить функцию в виде ряда Тейлора, сгруппировать вместе члены ряда Тейлора с одинаковыми порядками однородности , подставить результат в равенство и использовать, что степенные функции с разными показателями степени, в том числе и нецелочисленными, являются линейно независимыми.)
  17. Функция   , где   — функция    переменных, является однородной функцией с порядком однородности    Функция    где   — функция    переменных, является абсолютно-однородной функцией с порядком однородности   
  18. Соотношение Эйлера: для дифференцируемых однородных функций скалярное произведение их градиента на вектор своих переменных пропорционально самой функции с коэффициентом, равным порядку однородности:    или, в эквивалентной записи,    Получается при дифференцировании равенства по    при   
  19. Если   — дифференцируемая однородная функция c порядком однородности   , то её первые частные производные по каждой из независимых переменных  — это однородные функции c порядком однородности  .  Для доказательства достаточно продифференцировать по    правую и левую части тождества    и получить тождество   
  20. Если   — однородная функция c порядком однородности   , то её интеграл (при условии существования такого интеграла) по любой независимой переменной начиная от нуля   — это однородные функции c порядком однородности   Доказательство: (здесь сделана замена переменной интегрирования ).
  21. Если   — однородная функция c порядком однородности   , то её дробная производная (дифферинтеграл) порядка , вычисляемая как по любой независимой переменной начиная от нуля (при условии существования соответствующего интеграла, для чего требуется выбирать ) — это однородные функции c порядком однородности   Рассмотрим функцию . Тогда (здесь сделана замена переменной интегрирования ). После -кратного дифференцирования по переменной однородная функция порядка становится однородной функцией c порядком однородности   .
  22. Если   — однородная функция c порядком однородности   , то её -мерная свёртка с обобщённым Абелевым ядром, вычисляемая как (при условии существования соответствующего интеграла) — это однородная функция c порядком однородности   . Доказательство: , где сделана замена переменных интегрирования . (Примечание: возможно выполнение свёртки только по части переменных.)


Теорема. Любая однородная функция с порядком однородности может быть представлена в форме

      

где   — некоторая функция    переменных. Любая абсолютно-однородная функция с порядком однородности    может быть представлена как

   

где   — некоторая функция    переменных.

Следствие. Любая однородная функция степени (абсолютно-однородная функция степени ) может быть представлена в форме

      

где   — некоторая подходящая функция    переменных,  — фиксированная однородная функция степени (фиксированная абсолютно-однородная функция степени ), а , ...,  — фиксированные функционально-независимые однородные функции нулевой степени. При фиксированном выборе функций это представление задаёт взаимно-однозначное соответствие между однородными функциями степени от переменных и функциями от переменных.


Теорема Эйлера для однородных функций. Для того, чтобы дифференцируемая функция    была однородной функцией с порядком однородности    необходимо и достаточно выполнение соотношения Эйлера

  

Следствие. Если функция дифференцируема и в каждой точке пространства соотношение однородности справедливо в некотором интервале значений    то оно справедливо для всех   

Лямбда-однородные функции

[править | править код]

Пусть задан вектор    Функция переменных    называется -однородной c порядком однородности   , если при любых    и любых    справедливо тождество


При    -однородные функции переходят в обычные однородные функции. Иногда вместо порядка однородности    вводят степень однородности  ,  определяемую из соотношения

где    Для обычных однородных функций порядок однородности    и степень однородности    совпадают.


Если частные производные    непрерывны в , то для -однородных функций справедливо соотношение, обобщающее соотношение Эйлера и получающееся при дифференцировании тождества для  -однородности в точке  :

Как и в случае обычных однородных функций, это соотношение является необходимым и достаточным, чтобы функция    была -однородной функцией с вектором    и порядком однородности    Для доказательства достаточности надо рассмотреть функцию    и убедиться, что при выполнении указанного дифференциального соотношения её производная равна нулю, то есть что эта функция константа и что  


Если   — -однородная функция с вектором    и порядком однородности  ,  то она же является -однородной функцией с вектором   и порядком однородности    (следует из подстановки в тождество для -однородности нового параметра  ). В силу этого при рассмотрении -однородных функций достаточно ограничиваться случаем    В частности, нормировка    может выбираться таким образом, чтобы порядок однородности    был равен заранее фиксированному значению. Кроме того, без ограничения общности можно считать, что   


При замене переменных    -однородная функция    с вектором    и порядком однородности    переходит в обычную однородную функцию    с порядком однородности  .  Отсюда следует, что общее представление для -однородных функций с вектором    и порядком однородности    имеет вид:

где  — некоторая функция переменных.

Источник: Я. С. Бугров, С. М. Никольский, Высшая математика: учебник для вузов (в 3 т.), Т.2: Дифференциальное и интегральное исчисление (http://www.sernam.ru/lect_math2.php Архивная копия от 1 октября 2012 на Wayback Machine), раздел 8.8.4.

Оператор Эйлера

[править | править код]

Дифференциальный оператор

иногда называют оператором Эйлера, по аналогии с тождеством Эйлера для однородных функций. Из теоремы Эйлера для однородных функций, приведённой выше, следует, что собственными функциями этого оператора являются однородные функции и только они, причём собственным значением для такой функции является её порядок однородности.

Соответственно, функциями, обращающими оператор Эйлера в константу, являются логарифмы однородных функций и только они. Функциями, обращающими оператор Эйлера в ноль, являются однородные функции нулевого порядка и только они (логарифм однородной функции нулевого порядка сам является однородной функцией нулевого порядка).

Аналогичным образом для дифференциального оператора

собственными функциями являются -однородные функции с вектором    и только они, причём собственным значением является порядок однородности -однородной функции. В константу же этот дифференциальный оператор обращают логарифмы -однородных функций с вектором  , и никакие другие функции.

Дальнейшим обобщением оператора Эйлера служит дифференциальный оператор

который сводится к оператору Эйлера заменой при при Также к оператору Эйлера с помощью замены сводятся все дифференциальные операторы вида

Источник: Chi Woo, Igor Khavkine, Euler’s theorem on homogeneous functions Архивная копия от 2 августа 2012 на Wayback Machine (PlanetMath.org)

Ограниченно однородные функции

[править | править код]

Функция    называется ограниченно однородной с показателем однородности    относительно множества положительных вещественных чисел    (называемого множеством однородности), если для всех    и для всех    справедливо тождество

Множество однородности    всегда содержит в себе единицу. Множество однородности    не может включать в себя сколь угодно малый непрерывный отрезок   — в противном случае ограниченно однородная функция оказывается обычной однородной функцией (см. далее раздел «Некоторые функциональные уравнения, связанные с однородными функциями»). Поэтому интерес представляют те ограниченно однородные функции, у которых    и у которых множество однородности    сугубо дискретно.

Пример 1. Функция    является ограниченно однородной с показателем однородности    относительно множества    где   — целые числа.

Пример 2. Функция    является ограниченно однородной с показателем однородности    относительно множества    где   — целые числа.

Теорема. Чтобы функция    определённая при    была ограниченно однородной с порядком однородности    необходимо и достаточно, чтобы она имела вид

  

где   — функция, периодическая по переменной    с по крайней мере одним периодом, не зависящим от    В таком случае множество однородности    состоит из чисел    где   — периоды функции    не зависящие от   

Доказательство. Достаточность проверяется непосредственно, надо доказать необходимость. Сделаем замену переменных

   где   

так что    Если теперь рассмотреть функцию    то из условия однородности получаем для всех допустимых    равенство

  

которое будет справедливым, когда    Если только множество    не состоит из одной лишь единицы, то после замены    функция

  

оказывается периодической по переменной    с ненулевым периодом    для любого выбранного фиксированным образом    поскольку из приведённого выше равенства следует соотношение

  

Очевидно, что выбранное фиксированное значение   будет периодом функции    сразу при всех   

Следствия:

  1. Если имеется наименьший положительный период    не зависящий от    то множество однородности    имеет вид    где   — произвольные целые числа. (Если   — наименьший положительный период функции    то и все   — её периоды, поэтому числа    будут входить в множество однородности. Если же найдётся такое значение однородности    что    то    окажется положительным периодом, не зависящим от    который будет меньше, чем   )
  2. Если функция   — это константа по переменной    то у неё нет наименьшего положительного периода (любое положительное число является её периодом). В этом случае    не зависит от переменной    и функция
         
    — это обычная положительно однородная функция (по меньшей мере). Множество однородности    в этом случае — вся положительная полуось    (по меньшей мере).
  3. Возможны экзотические случаи, когда у периодической функции    не имеется наименьшего положительного периода, но при этом она и не является константой. Например, у функции Дирихле, равной 1 в рациональных точках и равной 0 в иррациональных точках, периодом является любое рациональное число. В таком случае множество однородности    может иметь достаточно сложную структуру. Однако если при каждом наборе значений    у периодической функции    есть предел по переменной    хотя бы в одной точке, эта функция либо имеет наименьший положительный период (а все остальные периоды — кратные наименьшего положительного периода), либо является константой по переменной   
  4. Ограниченно однородные функции, определённые при    имеют вид
         
    с надлежащим образом выбранной функцией    периодической по переменной   
  5. Ограниченно однородные функции, определённые на всей числовой оси за вычетом точки    имеют вид
         
    с надлежащим образом выбранной функцией    периодической по переменной    (где обозначение    подчёркивает, что для интервала значений    и для интервала значений    выбираются, вообще говоря, разные периодические функции , каждая с областью определения , но обязательно имеющие при этом один и тот же период).
  6. Формула    является универсальной, но не отражает равноправность всех переменных. Можно представить функцию    как    где период функции    равен    нормировочный множитель    не зависит от    а функция    выбрана фиксированной. При такой записи ограниченно однородные функции приобретают вид
         
    где   — однородная функция с показателем однородности    по переменным    и периодическая с периодом    по переменной      — фиксированная однородная функция с показателем однородности    по переменным    а множество однородности имеет вид    где   — произвольные целые числа.
  7. Разлагая периодическую функцию    из предыдущего пункта в ряд Фурье, можно получить выражение
         
    где    и   — произвольные однородные функции с показателем однородности      — произвольным образом фиксированная однородная функция с показателем однородности    а множество однородности    записано как    где   — целые числа. Эта формула является самым общим способом записи для кусочно-непрерывных ограниченно однородных функций с порядком однородности    и множеством однородности    В частности, замена фиксированной функции    на набор произвольных однородных функций    не прибавит данной формуле общности, но лишь разнообразит форму представления для одной и той же ограниченно однородной функции.


Библиография: Konrad Schlude, Bemerkung zu beschränkt homogenen Funktionen. — Elemente der Mathematik 54 (1999).

Источник информации: J.Pahikkala. Boundedly homogeneous function Архивная копия от 23 августа 2012 на Wayback Machine (PlanetMath.org).

Присоединённые однородные функции

[править | править код]

[раздел пока не написан]

Источник: И. М. Гельфанд, З. Я. Шапиро. Однородные функции и их приложения. Успехи математических наук, т. 10 (1955) вып. 3, стр. 3—70.

Взаимно однородные функции

[править | править код]

[раздел пока не написан]

Источник: И. М. Гельфанд, З. Я. Шапиро. Однородные функции и их приложения. Успехи математических наук, т. 10 (1955) вып. 3, стр. 3—70.

Некоторые функциональные уравнения, связанные с однородными функциями

[править | править код]

1. Пусть

  

при некоторой функции    на интервале    Какова должна быть функция   

Решение. Продифференцируем обе стороны этого соотношения по    Получим

  

Продифференцируем обе стороны этого же соотношения по    получим соотношения

  

Отсюда

  

Правая часть зависит только от    левая часть зависит только от    Значит, они обе равны одной и той же константе, которую обозначим через    Из условия    и условия    следует, что    Следовательно,   — однородная функция с параметром однородности   Вырожденные случаи   и   рассматриваются отдельно и интереса не представляют.

Примечание. Не обязательно использовать условие    вообще говоря, изначально не заданное, а также принудительно рассматривать функцию    за пределами интервала   . Из равенства

  

согласно теореме Эйлера об однородных функциях также следует, что   — однородная функция с параметром однородности   Отсюда, в частности, следует, что если соотношение однородности справедливо для некоторого интервала    то оно справедливо при всех   


2. Пусть

  

при некоторых фиксированных значениях       и произвольных    Какова должна быть функция   

Решение. Если    то задача сводится к функциональному уравнению меньшей размерности

  

пока не сведётся к случаю    с очевидным ответом   Поэтому далее можно рассматривать только случай   

Сделаем замену переменных             Тогда    и функциональное уравнение принимает вид

  

Следует отдельно рассматривать случаи    и       и       и    Пусть       и    Тогда после логарифмирования обеих частей равенства и замены       получаем условие

  

откуда следует, что    имеет вид    где   — функция, периодическая по переменной    с периодом    Обратное очевидно: функция

  

где   — функция, периодическая по переменной    с периодом    удовлетворяет требуемому функциональному соотношению для   

Для полуоси    используется замена    и после аналогичных рассуждений получаем окончательный ответ:

а) если    то   
б) если    то   

или, в сокращённой форме

  

где обозначение    подчёркивает, что при    и при   это, вообще говоря, две разные периодические функции   и  , каждая с областью определения   и разными значениями для этой области, но при этом с одинаковым периодом. 

Случай       упрощается тем, что из цепочки соотношений

  

следует уже рассмотренный нами случай. Поэтому функция    может быть записана как

  

где   — некоторая функция, периодическая по переменной    с периодом    Подстановка этого выражения в исходное уравнение показывает, что   — не просто периодическая функция с периодом    но анти-периодическая с периодом   

  

(очевидным образом анти-периодичность с периодом    влечёт за собой периодичность с периодом  ). Обратное очевидно: указанная формула с анти-периодической функцией    удовлетворяет требуемому функциональному уравнению.

Случай    имеет дополнительную особенность, что полуоси    и    влияют друг на друга. Рассмотрим случай   Тогда из цепочки соотношений

  

следует, что при    функция    должна иметь вид

  

где   — функция, периодическая по переменной    с периодом    и областью определения    Поскольку    то каждой положительной точке    взаимно-однозначно соответствует отрицательная точка    со значением функции, равным   . В результате с учётом периодичности функции    функция    вычисляется как

а) при      
б) при      

где   — функция, периодическая по переменной    с периодом    Как легко проверить, определённая подобным образом функция    для случая    действительно удовлетворяет нужному функциональному уравнению как при    так и при   

Примечание. Если некоторая функция удовлетворяет указанному функциональному уравнению при некоторых    то легко заметить, что она удовлетворяет этому же функциональному уравнению и при других наборах значений    Так, для случая    множеством таких пар будут       при любых ненулевых целочисленных значениях    где целое число    выбрано так, чтобы величина    была наименьшим положительным периодом для функции    Введя обозначение    так что    получим условие    соответствующее ограниченно однородным функциям. Замена    приводит представление ограниченно однородных функций к привычному виду.


3. Дополнительные функциональные уравнения имеются в разделах «Присоединённые однородные функции» и «Взаимно однородные функции» этой статьи.

Однородные обобщённые функции

[править | править код]

Обобщённые функции или распределения определяются как линейные непрерывные функционалы, заданные на пространстве «достаточно хороших» функций. В случае однородных обобщённых функций в качестве «достаточно хороших» функций удобно использовать пространство    функций    имеющих производные любого порядка и при    убывающих быстрее любой степени    При этом любой обычной функции ,  интегрируемой в любой конечной области, ставится в соответствие функционал

определённый в пространстве    и являющийся очевидным образом линейным и непрерывным. Обобщённые функции позволяют упростить рассмотрение многих вопросов анализа (так, всякая обобщённая функция имеет производные любого порядка, допускает преобразование Фурье и т. д.), а также узаконить такие экзотические объекты, как  -функция и её производные.


Для обычных интегрируемых функций    являющихся однородными с показателем однородности    справедливо легко проверяемое тождество

Данное тождество принимается за определение обобщённой однородной функции: однородная обобщённая функция с показателем однородности    (вообще говоря, комплексным) есть линейный непрерывный функционал, определённый в пространстве    и удовлетворяющий тождеству (**).


Похожим способом определяются присоединённые однородные обобщённые функции. Присоединённая однородная обобщённая функция    порядка    с показателем однородности   — это линейный непрерывный функционал, для всякого    удовлетворяющий соотношению

где   — это некоторая присоединённая однородная обобщённая функция   —го порядка с показателем однородности    Присоединённая однородная обобщённая функция нулевого порядка  с показателем однородности   — это обычная однородная обобщённая функция с показателем однородности   


Пример. Обобщённая функция   — однородная обобщённая функция с показателем однородности    поскольку   


Исследование однородных обобщённых функций позволяет придать содержательный смысл интегралам с сингулярными особенностями, в обычном смысле не интегрируемыми. Например, рассмотрим обобщённую функцию    Этот функционал определён при    и, как легко проверить, является однородной обобщённой функцией с показателем однородности    Величину    при фиксированном выборе пробной функции    можно рассматривать как функцию комплексного переменного    и, вообще говоря, аналитически продолжить её вне данного диапазона. А именно, правая и левая части равенства

  

аналитичны по переменной    и тождественно равны друг другу при    Однако правая часть равенства имеет смысл и аналитична также и при    В силу этого правая часть равенства — это аналитическое продолжение левой части равенства для    Как результат, равенство

  

задаёт линейный непрерывный функционал, являющийся расширением определённого ранее функционала    вплоть до значений    Формулы для    и для    дают один и тот же результат при одинаковых значениях    при которых они обе имеют смысл: это определение непротиворечиво. Обобщённая функция    определённая теперь для всех   , по-прежнему является однородной обобщённой функцией, поскольку соотношение однородности сохраняется при аналитическом продолжении.

С помощью    определятся регуляризированные значения интеграла    имеющие смысл при любых комплексных    Исключениями являются целочисленные значения    где регуляризированный интеграл является сингулярным: функционал    как функция переменной    в точке    имеет простой полюс с вычетом   

По той же схеме может быть аналитически продолжена для    присоединённая однородная функция    С её помощью определяются регуляризированные значения для интегралов    имеющие смысл при   


Аналогичным, но более сложным образом конструируются однородные обобщённые функции и присоединённые однородные обобщённые функции для случая    переменных. Подробности могут быть найдены в цитируемой здесь библиографии. Теория однородных обобщённых функций позволяет конструктивно осмыслить применительно к пространству обобщённых функций обычные функции, имеющие неинтегрируемые особенности — вычислять интегралы от таких функций, находить их преобразование Фурье и т. д.


Библиография: И. М. Гельфанд, З. Я. Шапиро. Однородные функции и их приложения. Успехи математических наук, т. 10 (1955) вып. 3, стр. 3—70.