WikiDer > Функциональное уравнение Коши - Википедия

Cauchys functional equation - Wikipedia

Функциональное уравнение Коши это функциональное уравнение из линейная независимость:

{ Displaystyle е (х + у) = е (х) + е (у). }

Решения этого называются аддитивные функции. Над рациональное число, это можно показать с помощью элементарная алгебра что существует единое семейство решений, а именно ${ displaystyle f: x mapsto cx}$ для любой рациональной постоянной ${ displaystyle c}$ . Над действительные числа, ${ displaystyle f: x mapsto cx}$ , теперь с ${ displaystyle c}$ произвольная действительная константа также является семейством решений; однако могут существовать и другие чрезвычайно сложные решения. Однако любое из ряда условий регулярности, некоторые из которых довольно слабые, исключает существование этих патологических решений. Например, аддитивная функция ${ displaystyle f: mathbb {R} to mathbb {R}}$ линейно, если:

${ displaystyle f}$ является непрерывный (доказано Коши в 1821 г.). Это условие было ослаблено в 1875 г. Дарбу который показал, что функция должна быть непрерывной только в одной точке.
${ displaystyle f}$ является монотонный на любом интервале.
${ displaystyle f}$ является ограниченный на любом интервале.
${ displaystyle f}$ является Измеримый по Лебегу.

С другой стороны, если на ${ displaystyle f}$ , то (в предположении аксиома выбора) существует бесконечно много других функций, удовлетворяющих уравнению. Это было доказано в 1905 г. Георг Хамель с помощью Базы Hamel. Такие функции иногда называют Функции Гамеля.^[1]

В пятая проблема на Список Гильберта является обобщением этого уравнения. Функции, в которых существует настоящий номер ${ displaystyle c}$ такой, что ${ Displaystyle е (сх) neq cf (х) }$ известны как функции Коши-Гамеля и используются в инвариантах Дена-Хадвигера, которые используются в расширении Третья проблема Гильберта от 3-х до более высоких измерений.^[2]

Решения над рациональными числами

Простой аргумент, включающий только элементарные алгебраические манипуляции, демонстрирует, что набор аддитивных отображений ${ displaystyle f: mathbb {Q} to mathbb {Q}}$ идентичен набору линейных карт.

Теорема: Позволять ${ displaystyle f: mathbb {Q} to mathbb {Q}}$ - аддитивная функция. потом ${ displaystyle f}$ линейно.

Доказательство: Мы хотим доказать, что любое решение ${ displaystyle f: mathbb {Q} to mathbb {Q}}$ к функциональному уравнению Коши, ${ Displaystyle е (х + у) = е (х) + е (у)}$ , принимает вид ${ Displaystyle е (д) = cq, с in mathbb {Q}}$ . Удобно рассматривать кейсы ${ Displaystyle д = 0, q> 0, q <0}$ .

Случай I: ( ${ displaystyle q = 0}$ )

Параметр ${ displaystyle y = 0}$ , заключаем, что

{ Displaystyle е (х) = е (х) + е (0), четырехъядерный х в mathbb {Q}}

{ Displaystyle Rightarrow f (0) = 0}

.

Случай II: ( ${ displaystyle q> 0}$ )

Путем повторного применения уравнения Коши к ${ Displaystyle е влево (х + х + cdots + х вправо) = е влево ( альфа х вправо)}$ , мы получаем

{ Displaystyle альфа е влево (х вправо) = е влево ( альфа х вправо), квад альфа в mathbb {N}, х в mathbb {Q}. квад quad (*)}

Замена ${ displaystyle x}$ к ${ displaystyle { frac {x} { alpha}}}$ в (*) и умножение результата на ${ displaystyle { frac { beta} { alpha}}}$ , куда ${ displaystyle beta in mathbb {N}}$ , дает

{ displaystyle beta f left ({ frac {x} { alpha}} right) = { frac { beta} { alpha}} f left (x right), quad alpha, beta in mathbb {N}, x in mathbb {Q}. quad quad (**)}

Применение (*) к левой части (**) тогда дает

{ displaystyle f left ({ frac { beta} { alpha}} x right) = { frac { beta} { alpha}} f left (x right), quad alpha, beta in mathbb {N}, x in mathbb {Q}}

{ displaystyle Rightarrow f left (qx right) = qf left (x right), quad q, x in mathbb {Q}, q> 0}

{ Displaystyle Rightarrow е влево (д вправо) = qf влево (1 вправо) = cq, quad q in mathbb {Q} ^ {+}}

,

куда ${ Displaystyle с = е (1) в mathbb {Q}}$ - произвольная рациональная постоянная.

Случай III: ( ${ displaystyle q <0}$ )

Параметр ${ displaystyle y = -x}$ в функциональном уравнении и вспоминая, что ${ displaystyle f (0) = 0}$ , мы получаем

{ Displaystyle е (-х) = - е (х), четырехъядерный х в mathbb {Q}}

.

В сочетании с выводом, сделанным для положительных рациональных чисел (Дело II) дает

{ Displaystyle е (д) = - е влево (-q вправо) = - { big (} с (-q) { big)} = cq, quad q in mathbb {Q} ^ { -}}

.

Рассмотренные вместе три случая выше позволяют нам заключить, что полные решения функционального уравнения Коши над рациональными числами имеют вид:

{ displaystyle f: mathbb {Q} to mathbb {Q}, quad q mapsto cq, c = f (1) in mathbb {Q}. quad quad blacksquare}

Свойства линейных решений над действительными числами

Ниже мы докажем, что любые другие решения должны патологический функции. В частности, мы показываем, что любое другое решение должно обладать тем свойством, что его график ${ Displaystyle у = е (х)}$ являетсяплотный в ${ Displaystyle mathbb {R} ^ {2}}$ , т.е. что любой диск на плоскости (пусть даже небольшой) содержит точку из графика. Отсюда легко доказать различные условия, данные во вводном абзаце.

Без ограничения общности предположим, что ${ Displaystyle е (д) = q forall q in mathbb {Q}}$ ,и ${ Displaystyle е ( альфа) neq альфа}$ для некоторых ${ displaystyle alpha in mathbb {R}}$ .

Затем положите ${ Displaystyle е ( альфа) = альфа + дельта, дельта neq 0}$ .

Теперь покажем, как найти точку в произвольном круге с центром в ${ Displaystyle (х, у)}$ ,радиус ${ displaystyle r}$ куда ${ displaystyle x, y, r in mathbb {Q}, r> 0, x neq y}$ .

Положить ${ Displaystyle бета = { гидроразрыва {y-x} { delta}}}$ и выберите рациональное число ${ displaystyle b neq 0}$ рядом с ${ displaystyle beta}$ с:

{ displaystyle left | beta -b right | <{ frac {r} {2 left | delta right |}}}

Затем выберите рациональное число ${ displaystyle a}$ рядом с ${ displaystyle alpha}$ с:

{ displaystyle left | alpha -a right | <{ frac {r} {2 left | b right |}}}

Теперь положите:

{ Displaystyle Х = Икс + Ь ( альфа-а) }

{ Displaystyle Y = е (Х) }

Тогда, используя функциональное уравнение, получаем:

{ Displaystyle Y = е (х + Ь ( альфа-а)) }

{ Displaystyle = х + bf ( альфа) -bf (а) }

{ Displaystyle = Y- дельта бета + bf ( альфа) -bf (а) }

{ Displaystyle = Y- дельта бета + Ь ( альфа + дельта) -ba }

{ Displaystyle = Y + б ( альфа-а) - дельта ( бета-б) }

Из-за нашего выбора выше точка ${ displaystyle (X, Y)}$ находится внутри круга.

Существование нелинейных решений над действительными числами

Приведенное выше доказательство линейности также применимо к ${ displaystyle f: alpha mathbb {Q} to mathbb {R}}$ , куда ${ displaystyle alpha mathbb {Q}}$ является уменьшенной копией рациональных чисел. Это показывает, что разрешены только линейные решения, когда область значений ${ displaystyle f}$ ограничивается такими наборами. Таким образом, в общем случае имеем ${ Displaystyle е ( альфа д) = е ( альфа) д}$ для всех ${ displaystyle alpha in mathbb {R}, q in mathbb {Q}}$ . Однако, как мы продемонстрируем ниже, для функций могут быть найдены весьма патологические решения. ${ displaystyle f: mathbb {R} to mathbb {R}}$ на основе этих линейных решений, рассматривая вещественные числа как векторное пространство над полем рациональных чисел. Обратите внимание, однако, что этот метод неконструктивен, поскольку он полагается на существование (Гамель) базис для любого векторного пространства утверждение доказано с использованием Лемма Цорна. (Фактически, существование базиса для каждого векторного пространства логически эквивалентно аксиома выбора.)

Чтобы показать, что решения, отличные от тех, которые определены ${ Displaystyle е (х) = е (1) х}$ существуют, сначала отметим, что, поскольку каждое векторное пространство имеет основу, существует база для ${ Displaystyle mathbb {R}}$ над полем ${ displaystyle mathbb {Q}}$ , т.е. множество ${ Displaystyle { mathcal {B}} subset mathbb {R}}$ с тем свойством, что любой ${ Displaystyle х in mathbb {R}}$ можно однозначно выразить как ${ textstyle x = sum _ {i in I} { lambda _ {i} x_ {i}}}$ , куда ${ displaystyle {x_ {i} } _ {i in I}}$ конечное подмножество ${ displaystyle { mathcal {B}}}$ (т.е. ${ displaystyle | I | < aleph _ {0}}$ ), и каждый ${ displaystyle lambda _ {i} in mathbb {Q}}$ . Отметим, что из-за отсутствия явного основания для ${ Displaystyle mathbb {R}}$ над ${ displaystyle mathbb {Q}}$ могут быть записаны, патологические решения, определенные ниже, также не могут быть выражены явно.

Как указывалось выше, ограничение ${ displaystyle f}$ к ${ displaystyle x_ {i} mathbb {Q}}$ должна быть линейной картой для каждого ${ displaystyle x_ {i} in { mathcal {B}}}$ . Более того, поскольку ${ displaystyle x_ {i} q mapsto f (x_ {i}) q}$ за ${ displaystyle q in mathbb {Q}}$ , ясно, что ${ displaystyle f (x_ {i}) над x_ {i}}$ - константа пропорциональности. Другими словами, ${ displaystyle f: x_ {i} mathbb {Q} to mathbb {R}}$ это карта ${ Displaystyle xi mapsto [е (x_ {i}) / x_ {i}] xi}$ . Поскольку любой ${ Displaystyle х in mathbb {R}}$ можно выразить как единственную (конечную) линейную комбинацию ${ displaystyle x_ {i}}$ , и ${ displaystyle f: mathbb {R} to mathbb {R}}$ аддитивный, ${ displaystyle f (x)}$ четко определен для всех ${ Displaystyle х in mathbb {R}}$ и определяется:

{ displaystyle f (x) = f { Big (} sum _ {i in I} lambda _ {i} x_ {i} { Big)} = sum _ {i in I} f ( x_ {i} lambda _ {i}) = sum _ {i in I} {f (x_ {i}) lambda _ {i}}}

.

Легко проверить, что ${ displaystyle f}$ является решением функционального уравнения Коши с учетом определения ${ displaystyle f}$ на основе элементов, ${ displaystyle f: { mathcal {B}} rightarrow mathbb {R}}$ . Более того, ясно, что каждое решение имеет такой вид. В частности, решения функционального уравнения линейны тогда и только тогда, когда ${ displaystyle f (x_ {i}) над x_ {i}}$ постоянно во всем ${ displaystyle x_ {i} in { mathcal {B}}}$ . Таким образом, в каком-то смысле, несмотря на невозможность показать нелинейное решение, «большинство» (в смысле мощности^[3]) решения функционального уравнения Коши на самом деле нелинейны и патологичны.