Функциональные уравнения на оси и полуоси

Размещено на http://www.allbest.ru/

5

ДИПЛОМНАЯ РАБОТА

Функциональные уравнения на оси и полуоси

СОДЕРЖАНИЕ

Введение

1.Функциональные уравнения. Их свойства и методы решения

1.1 Определение и примеры функциональных уравнений

1.2 Методы решения функциональных уравнений

2. Решение функциональных уравнений Коши на множестве Q рациональных чисел

2.1 Решение уравнения вида f(x+y)=f(x)+f(y) на Q

2.2 Решение уравнения вида f(x+y)=f(x)•f(y) на Q

2.3 Решение уравнения вида f(x•y)=f(x)+f(y) на Q

2.4 Решение уравнения вида f(x•y)=f(x)•f(y) на Q

3. Решение функциональных уравнений Коши на оси R

3.1 Решение уравнения вида f(x+y)=f(x)+f(y) на оси R

3.2 Решение уравнения вида f(x+y)=f(x)•f(y) на оси R

4. Решение функциональных уравнений Коши на полуоси R+

4.1 Решение уравнения вида f(x+y)=f(x)+f(y) на полуоси R+

4.2 Решение уравнения вида f(x+y)=f(x)•f(y) на полуоси R+

4.3 Решение уравнения вида f(x•y)=f(x)+f(y) на полуоси R+

4.4 Решение уравнения вида f(x•y)=f(x)•f(y) на полуоси R+

5. Решение функциональных уравнений Коши в измеримых функциях

5.1 Решение уравнения вида f(x+y)=f(x)+f(y) в измеримых функциях

5.2 Решение уравнения вида f(x+y)=f(x)•f(y) в измеримых функциях

5.3 Решение уравнения вида f(x•y)=f(x)+f(y) в измеримых функциях

5.4 Решение уравнения вида f(x•y)=f(x)•f(y) в измеримых функциях

6. Некоторые обобщения и приложения

6.1 Функциональная характеристика тригонометрического и гиперболического косинусов

6.2 Решение уравнения для синуса на оси R

6.3 Класс уравнений типа Коши

Заключение

Список использованных источников

Введение

• 1.1 Определение и примеры функциональных уравнений
• Функциональные уравнения - весьма общий класс уравнений, в которых искомой является некоторая функция. К функциональным уравнениям, по существу, относятся дифференциальные уравнения, интегральные уравнения, уравнения в конечных разностях. Следует, однако, отметить, что название «функциональные уравнения» обычно не относят к уравнениям этих типов. Под функциональными уравнениями в узком смысле слова понимают уравнения, в которых искомые функции связаны с известными функциями одного или нескольких переменных при помощи операции образования сложной функции. Функциональные уравнения можно также рассматривать как выражение свойства, характеризующего тот или иной класс функций.
• Например, функциональное уравнение f (x) = f (-x) характеризует класс чётных функций, функциональное уравнение f(-x) = -f(x) - класс нечетных; функциональное уравнение f (x + 1) = f (x) -- класс функций, имеющих период 1, и т.д.
• Одним из простейших функциональных уравнений является уравнение
• f (x + у) = f (x) + f (y).
• Непрерывные решения этого функционального уравнения имеют вид:
• f (x) = Cx.
• Однако в классе разрывных функций это функциональное уравнение имеет и иные решения. С рассмотренным функциональным уравнением связаны
• f (x + у) = f (x) f (y),
• f (xy) = f (x) + f (y),
• f (xy) = f (x) f (y),
• непрерывные решения которых имеют соответственно вид e^Cx, C•lnx, x^a (x > 0).
• Т.о., эти функциональные уравнения могут служить для определения показательной, логарифмической и степенной функций. В теории аналитических функций функциональные уравнения часто применяются для введения новых классов функций.
• Например, двоякопериодические функции характеризуются функциональными уравнениями:
• f (z + а) = f (z) и f (z + b) = f (z),
• автоморфные функции -- функциональными уравнениями:
• f (s_az) = f (z),
• где {s_a} -- некоторая группа дробно-линейных преобразований.
• Если функция известна в некоторой области, то знание для неё функционального уравнения позволяет расширить область определения этой функции. Например, функциональное уравнение f (x + 1) = f (x) для периодических функций позволяет определить их значение в любой точке по значениям на отрезке [0, 1]. Этим часто пользуются для аналитического продолжения функций комплексного переменного. Например, пользуясь функциональным уравнением Г (z + 1) = z•Г (z) и зная значения гамма-функции Г(z) в полосе 0 < Re z < 1, можно продолжить её на всю плоскость z.
• Условия симметрии, имеющиеся в какой-либо физической задаче, обусловливают определённые законы преобразования решений этой задачи при тех или иных преобразованиях координат. Этим определяются функциональные уравнения, которым должно удовлетворять решение данной задачи. Значение соответствующих функциональных уравнений во многих случаях облегчает нахождение решений.
• Решения функциональных уравнений могут быть как конкретными функциями, так и классами функций, зависящими от произвольных параметров или произвольных функций.
• Для некоторых функциональных уравнений общее решение может быть найдено, если известны одно или несколько его частных решений. Например, общее решение функционального уравнения
• f (x) = f (ax)
• имеет вид
• j(w(x)),
• где j(x) -- произвольная функция, а w(x) -- частное решение этого функционального уравнения
• Для решения функциональных уравнений их во многих случаях сводят к дифференциальным уравнениям. Этот метод даёт лишь решения, принадлежащие классу дифференцируемых функций.
• Другим методом решения функциональных уравнений является метод итераций. Этот метод даёт, например, решение уравнения Абеля:
• f [a(x)] = f (x) + 1,
• где a(x) -- заданная функция и связанного с ним уравнения Шрёдера:
• f [a(x)] = c f (x).
• А. Н. Коркин доказал, что если a(х) -- аналитическая функция, то уравнение Абеля имеет аналитическое решение. Эти результаты, нашедшие применение в теории групп Ли, привели в дальнейшем к созданию теории итераций аналитических функций. В некоторых случаях уравнение Абеля решается в конечном виде [1].
• 1.2 Методы решения функциональных уравнений
• Методы решения - методы нахождения точных или приближенных решений функциональных конкретных или абстрактных уравнений, т.е. уравнения вида
• P(x)=y, (1.1)
• Где P(x) - некоторый, вообще говоря нелинейный оператор, переводящий элементы пространства X типа В (или другого типа) в элементы пространства Y того же типа. Точные решения в виде аналитических выражений получаются лишь для немногих типов функциональных уравнений, поэтому особое значение имеют приближенные методы решения.
• Для нахождения решений общих функциональных уравнений развит ряд методов, например, метод бесконечных степенных рядов, метод последовательных приближений, метод Галеркина (метод моментов), метод касательных гипербол, метод Чебышева (касательных парабол), метод Ньютона-Канторовича и его модификации, метод наискорейшего спуска и др., а также методы вариации параметра (прямые, итерационные и комбинированные) определенных типов и их различные модификации, в том числе и с последовательной аппроксимацией обратного оператора. Общие методы применяются к решению различных конкретных функциональных уравнений математического анализа. Кроме того, существуют специальные методы решения конкретных функциональных уравнений, в том числе и численные методы, например, метод сеток и др. Метод вариации параметра, метод Ньютона-Канторовича и некоторые другие из указанных методов имеют также и теоретическое значение, так как с их помощью можно делать заключение о существовании, единственности и области расположения решения функционального уравнения, не находя самого решения, что подчас не менее важно, чем фактическое значение решения. Ниже рассмотрим несколько методов решения.
• a) Метод подстановок:
• Пусть, например, имеется функциональное уравнение:
• f (x + y) + f (x - y)=2•f (x)•cos y (1.2)
• Применяя последовательно подстановки
• x=0, y=t; x= +t, y=; x=, y=+t,
• из (1.2) получают соответственно уравнения
• f(t) + f(-t) = 2a cos t, f(р + t) + f(t )= 0
• и
• f(р + t) + f(-t)= 2b cos( + t) = -2b sin t,
• где обозначено f(0) = a, f() = b. Отсюда путем вычитания из суммы первых двух уравнений третьего, получают 2 f(t)=2a cos t + 2b sin t. Общим решением исходного функционального уравнения (1.2) является функция f(x)=a cos x + и sin x. Этот метод применим также и к другим уравнениям типа
• H [ f(x + y), f(x - y), f(x), x, y ] = 0
• при некоторых предположениях относительно функции Н. К уравнениям других типов применяются различные другие подстановки.
• Метод подстановок применяется и для сведения одних функциональных уравнений к другим уравнениям того же типа, в частности к функциональным уравнениям с известными решениями. Например, функциональное уравнение
• f((x + y)/2) = f(x)/2 + f(y)/2 (1.3)
• может быть приведено к функциональному уравнению Коши
• f (x + y) = f(x) + f(y) (1.4)
• с непрерывным решением f(x)=Cx. С этой целью в (1.3) подставляют x+y вместо х и 0 вместо у:
• f((x + y)/2) = f(x +у)/2 + а/2 , где a=f(0)
• Сравнивая это с исходным функциональным уравнением (1.3) получают функциональное уравнение вида f (x + y) = f(x) + f(y) - а, откуда ц(x+y)= ц(x)+ ц(y), ц(x)=f(x)-a и ц(x) = Сх. Решением является функция f(x) = Cx+a.
• Для сведения к другим функциональным уравнениям того же типа применяют также логарифмирование и другие приемы. Например, решение функционального уравнения
• f (x + y) = f (x) • f (y) (1.5)
• путем логарифмирования можно свести к решению уравнения (1.4).
• b) Метод замены переменной:
• Для того чтобы проиллюстрировать этот метод рассмотрим уравнение:
• (1.6)
• Предположим, что существует функция f(x), удовлетворяющая данному уравнению. Заменив x на 1-x, получим
• Из (1.6) находим . Подставляя значение во второе уравнение, получим:
• откуда
• В рассмотренном уравнении под знаком уравнении под знаком неизвестной функции стоят функции f₁=x и f₂=1-x. Замена x на 1-x переводит функции f₁ и f₂ друг в друга. В результате замены переменной получено еще одно уравнение, содержащие f(x) и f(1-x). Решение функционального уравнения сводится к решению системы двух линейных уравнений с двумя неизвестными.
• Рассмотрим еще одно уравнение:
• (1.7)
• Выполним замену х>, получаем
• (1.8)
• появилось новое «неизвестное» выражение . Применим еще одну подстановку: , имеем
• (1.9)
• Кроме , в уравнении появилось «нежелательное» выражение, выполним в (1.7) подстановку . И получаем уравнение
• (1.10)
• построена система линейных уравнений (1.7)-(1.10) с четырьмя неизвестными . Последовательно исключая переменные, получим .
• c) Метод решения функциональных уравнений с помощью понятия группы
• Пусть в функциональном уравнении
• a₁f(g₁)+a₂f(g₂)+…+a_nf(g_n)=b (1.11)
• выражения, стоящие под знаком неизвестной функции f(x) являются элементами группы G, состоящей из n функций: g₁(x)=x, g₂(x),…g_n(x), причем коэффициенты уравнения (1.11) a₁, a₂, …a_n, b - некоторые функции от x. Предположим, что уравнение (1.11) имеет решение. Заменим x>g₂(x). В результате последовательность функций g₁(x), g₂(x),…g_n(x), перейдет в последовательность g₁є g₂, g₂є g₂,…g_nє g₂, состоящую из всех элементов группы.
• Поэтому «неизвестные» f(g₁), f(g₂),… f(g_n), переставятся и мы получим новое линейное уравнение того же вида, что и (1.11), далее заменим x>g₃(x),… x>g_n(x), после чего получим систему из n линейных уравнений, которую следует решить. Если решения есть, то проверкой нужно убедиться в том, что они удовлетворяют уравнению.
• Группой называется множество G функций, обладающее следующими свойствами:
• 1. Для любых двух функций и их композиция также принадлежит G.
• 2. Функция e(x)=x принадлежит G.
• 3. Для всякой функции существует обратная функция f^-1, которая также принадлежит G.
• Из важных методов решения функциональных и функционально-дифференциальных уравнений следует отметить также метод дифференцирования, метод приведения к билинейному функциональному уравнению, метод «исключения» аргумента [2][3].
• 2. Решение Функциональных уравнений Коши на множестве Q рациональных чисел
• В нижеследующей главе будут рассмотрены функциональные уравнения
• f (x + у) = f (x) + f (y), f (x + у) = f (x) f (y),
• f (xy) = f (x) + f (y), f (xy) = f (x) f (y),
• для функций, заданных на множестве рациональных чисел Q.
• Впервые эти уравнения были рассмотрены Огюстеном Луи Коши, который и дал их решения в непрерывных функциях. Далее сформулируем и докажем четыре теоремы.
• 2.1 Решение уравнений вида f(x+y)=f(x)+f(y) на Q
• Теорема 2.1. Если функция f(t), заданная для всех значений t Q удовлетворяет уравнению
• f (x + у) = f (x) + f (y), (2.1)
• тождественно относительно х и у, то она имеет вид f(t) = Ct. Где C -- постоянное число.
• Доказательство:
• >Прежде всего, с помощью метода математической индукции легко обобщить соотношение (2.1) на случай любого числа (=n) слагаемых :
• (2.2)
• Действительно, если допустить его верность для какого-либо числа (n ? 2) слагаемых , то оно окажется верным и для n + 1 слагаемых:
• Полагая в (2.2) x=y=…=z, найдем:
• f(nx)=n•f(x) (2.3)
• Заменив здесь n на , получим
• (2.4)
• а затем, если подставить mx (m-натуральное) вместо х и использовать предыдущее равенство, придем к соотношению
• (2.5)
• Положим теперь в основном уравнении (2.1) x=y=0; получим
• f(0)=2f(0), так что f(0)=0. (2.6)
• Если же взять y=-x, то, с учетом (3.7), найдем:
• f(-x) = - f(x)
• так что функция f(x) меняет знак при изменении знака x. А тогда из (2.3) и (2.5) легко вывести:
• f(-nx)=-f(nx)= -n•f(x) (2.7)
• и, аналогично, вообще
• (2.8)
• Полученные соотношения (2.3) - (2.8) могут быть объединены в равенстве f(rx)=r•f(x) справедливом для любого вещественного значения x, каково бы ни было рациональное число r.
• Если здесь взять х=1, и обозначить f(1)=C, то получим
• f®=Cr. (2.9)
• Теорема доказана. ^ [4]
• Таким образом, мы установили вид функции f , принадлежащей классу функций, заданных на Q (). При этом мы использовали только тот факт, что функция удовлетворяет условию (2.1).
• 2.2 Решение уравнений вида f(x+y)=f(x) • f(y) на Q
• Следующей задачей будет нахождение всех заданных на Q функций f(x), удовлетворяющих условию:
• f(x+y)=f(x)•f(y), (2.10)
• каковы бы ни были значения х и у. Уравнение (2.10) выражает общеизвестное правило умножения степеней:
• Теорема 2.2. Если функция f(t), заданная для всех значений t Q удовлетворяет уравнению
• f (x + у) = f (x)•f (y),
• тождественно относительно х и у, то она имеет вид f(t) = а^t, где а -- неотрицательная постоянная. Доказательство:
• >C помощью метода математической индукции легко обобщить соотношение (2.10) на случай любого числа (=n) слагаемых :
• (2.11)
• Действительно, если допустить его верность для какого-либо числа (n ? 2) слагаемых, то оно окажется верным и для n + 1 слагаемых
• Полагая в (2.2) x=y=…=z, найдем:
• f(nx)= f(x)ⁿ (2.12)
• Заменив здесь n на , получим
• (2.13)
• а затем, если подставить mx (m-натуральное) вместо х и использовать предыдущее равенство, придем к соотношению
•  (2.14)
• Положим теперь в основном уравнении (2.1) x=x, y=0; получим
• f(x+0)= f(x)•f(0),
• так что
• f(0)=1. (2.15)
• Если же взять y=-x, то, с учетом (2.15), найдем:
• 1= f(0) = f(x-x)=f(x) •f(-x) ,
• откуда
• (2.16)
• А тогда из (2.14) и (2.16) легко вывести:
• (2.17)
• и, аналогично, вообще
• (2.18)
• Полученные соотношения (2.14) - (2.18) могут быть объединены в равенстве
• f(rx)= f(x)^r
• справедливом для любого рационального значения x, каково бы ни было рациональное число r.
• Если здесь взять х=1, и обозначить f(1)=a, то получим
• f(r)=a^r. (2.19)
• Теорема доказана.^
• Таким образом, мы установили вид функции f, принадлежащей классу функций, заданных на Q (). При этом мы использовали только тот факт, что функция удовлетворяет условию (2.10).
• 2.3 Решение уравнений вида f(x•y)=f(x)+ f(y) на Q
• Функциональное уравнение
• f(xy) = f(x)+f(y). (2.20)
• Есть запись логарифмирования произведения:
• Теорема 2.3. Если функция f(t), заданная для всех положительных значений tQ, притом не сводящаяся к нулю, удовлетворяет уравнению (2.20) тождественно относительно всех положительных значений х и у, то она имеет вид f(t)=log_at, где а -- положительная постоянная.
• Доказательство:
• >Как и в двух предыдущих случаях, воспользуемся методом математической индукции. Обобщим соотношение (2.20) на случай любого числа (=n) переменных :
• (2.21)
• Действительно, если допустить его верность для какого-либо числа (n ? 2) сомножителей , то оно окажется верным и для n + 1 сомножителей :
• Полагая в (2.21) x=y=…=z, найдем:
• f(xⁿ)= n•f(x) (2.22)
• Заменив здесь n на , получим
• (2.23)
• а затем, если подставить mx (m-натуральное) вместо х и использовать предыдущее равенство, придем к соотношению
• (2.24)
• Положим теперь в основном уравнении (2.20) x=x, y=1; получим
• f(x•1)= f(x)+f(1),
• так что f(1)=0. (2.25)
• Если же взять y=, то, с учетом (2.25), найдем:
• 0= f(1) = f(x)=f(x)+f() ,
• откуда (2.26)
• А тогда из (2.24) и (2.26) легко вывести:
•  (2.27)
• и, аналогично, вообще
• (2.28)
• Полученные соотношения (2.23) - (2.28) могут быть объединены в равенстве
• f(x^r)=r•f(x) (2.29)
• справедливом для любого положительного рационального значения x, каково бы ни было рациональное число r.
• Рассмотрим равенство (2.29) при натуральных значениях r и положительных рациональных значениях x:
• Не нарушая общности, можно записать x в виде , где a>0, a?1 тогда для целого r можно записать:
• и переписать равенство (2.29) в виде:
• f()=r•f() (2.30)
• введем функцию ц(t)=f(a^t) на всей области определения функции f(x), тогда (2.30) примет вид:
• ц(t+t+…+t)=ц(r•t)=r•ц(t) (2.31)
• функция ц(t) очевидно удовлетворяет уравнению (2.3), а значит и 2.1. то есть
• ц(t) = Сt.
• ц(log _a t) = С log _a t, тогда
• f(a ^log a ^t) = С log _a t и окончательно:
• f(t)= С log _a t (2.32)
• Теорема доказана. ^
• Таким образом, мы установили вид функции f , принадлежащей классу функций, заданных на Q () и удовлетворяющей (2.20)
• 2.4 Решение уравнений вида f(x•y)=f(x) • f(y) на Q
• Наконец, рассмотрим функциональное уравнение
• f(x•y) = f(x) • f(y). (2.33)
• (при рациональных положительных x и y), это ничто иное, как правило возведения в степень произведения двух чисел:
• ,
• Теорема 2.4. Если функция f(t), заданная для всех положительных значений tQ , притом не сводящаяся к нулю, удовлетворяет уравнению (2.33) тождественно относительно всех положительных значений х и у, то она имеет вид f(t)=t^м, где м -- постоянное число.
• Доказательство:
• >Воспользуемся методом математической индукции. Обобщить соотношение (2.33) на случай любого числа (=n) переменных :
•  (2.34)
• Действительно, если допустить его верность для какого-либо числа (n ? 2) сомножителей , то оно окажется верным и для n + 1 сомножителей :
• Полагая в (2.21) x=y=…=z, найдем:
• f(xⁿ)= f(x)ⁿ (2.35)
• Заменив здесь n на , получим
• (2.36)
• а затем, если подставить mx (m-натуральное) вместо х и использовать предыдущее равенство, придем к соотношению
• (2.37)
• Положим теперь в основном уравнении (2.33) x=x, y=1; получим f(x•1)= f(x)•f(1),
• так что f(1)=1. (2.38)
• Если же взять y=, то, с учетом (2.38), найдем:
• 1= f(1) = f(x)=f(x)•f(), откуда (2.39)
• А тогда из (2.37) и (2.39) легко вывести:
• (2.40)
• и, аналогично, вообще
• (2.41)
• Полученные соотношения (2.36) - (2.41) могут быть объединены в равенстве
• f(x^r)=f(x)^r (2.42)
• В самом деле, если дана определенная положительных для хQ функция f(x), удовлетворяющая условию (2.33), то прибегнув к той же подстановке,
• , где a>0, a?1 тогда для целого r можно записать:
• и переписать равенство (2.29) в виде:
• f()= (2.43)
• введем функцию ц(t)=f(a^t) на всей области определения функции f(x), тогда (2.30) примет вид:
• ц(t+t+…+t)=ц(r•t)= ц(t)^r (2.44)
• функция ц(t) очевидно удовлетворяет уравнению (2.12), а значит и 2.10. то есть
• ц(t) = c^t.
• ц(log _a t) = c ^log a ^t, тогда
• f(a ^log a ^t) = c=
• и окончательно:
• f(t)= =t^м (2.45)
• (если положить м=log_a c), что и требовалось доказать. ^[2][3]
• Таким образом, мы установили вид функции f , принадлежащей классу функций, заданных на Q () и удовлетворяющей (2.33)
• 3. Решение Функциональных уравнений Коши на оси R
• Полученные в предыдущей главе результаты, могут быть продолжены для функций, непрерывных на всей числовой оси R.
• Если в дополнение к функциональным уравнениям (2.1), (2.10), потребовать еще и непрерывности, то формулировки и доказательства теорем (2.1-2.2) несколько изменятся (даже упростятся), результат же (то есть сами решения уравнений) останется тем же.
• Покажем это, решив уравнения.
• 3.1 Решение уравнений вида f(x+y)=f(x)+f(y) на оси R
• Найти все непрерывные в промежутке (-?, +?) функции f(x), удовлетворяющие условию:
• f(x+y)=f(x)+f(y), (3.1)
• каковы бы ни были значения х и у.
• Легко видеть, что линейные однородные функции вида
• f(x)=c•x (c=const) (3.2)
• удовлетворяют этому уравнению:
• с(x+y)=cx+cy,
• Для того чтобы установить, что это единственные непрерывные функции, удовлетворяющие (3.1), предположим, что некоторая непрерывная функция f(x) удовлетворяет (3.1), покажем, что она непременно имеет вид (3.2).
• Теорема 3.1. Если функция f(t), заданная и непрерывная для всех значений t (-- ?; + ?). Удовлетворяет уравнению (3.1) тождественно относительно х и у, то она имеет вид f(t) = Ct. Где C -- постоянное число.
• Доказательство:
• >По Теореме 2.1 функция f , принадлежащей классу разрывных функций () и удовлетворяющая условию (3.1), имеет вид f®=cr ,
• Пусть теперь s будет любое иррациональное значение аргумента. Легко построить стремящуюся к нему последовательность рациональных чисел.
• R₁, r₂, …, r_n, …
• (можно, например, взять отрезки соответствующей бесконечной десятичной дроби).
• F(r_n)=cr_n (n=1,2,3…)
• Перейдем к пределу при n>+?; справа получим cs, слева же, именно ввиду предположенной непрерывности функции f, получится
• lim f(r_n)=f(s),
• так что окончательно,
• f(s)=cs.^
• Таким образом, действительно, наша функция при всех вещественных значениях аргумента выражается формулой (3.2). Эта формула дает решение уравнения (3.1) в классе непрерывных функций.
• 3.2 Решение уравнений вида f(x+y)=f(x) •f(y) на оси R
• Найти все непрерывные в промежутке (-?, +?) функции f(x), удовлетворяющие условию:
• f(x+y)=f(x)•f(y), (3.3)
• каковы бы ни были значения х и у.
• Оказывается, что функциональным свойством (3.3), вместе со свойством непрерывности, вполне определяется показательная функция
• f(x)=а ^x (a > 0) (3.4)
• Точнее говоря, единственной функцией, определенной и непрерывной во всем промежутке (-?, +?) и удовлетворяющей в нем условию (3.3), является показательная функция (если не считать функции тождественно равной 0).
• Иными словами, формула (3.4) - за указанным исключением - дает самое общее решение функционального уравнения (3.3) в непрерывных функциях.
• Теорема 3.2. Если функция f(t), заданная и непрерывная для всех значений t (-- ?; + ?). удовлетворяет уравнению (3.3) тождественно относительно х и у, то она имеет вид f(t) = а^t, где а -- неотрицательная постоянная.
• Доказательство:
• >Для доказательства этого рассмотрим произвольную функцию f(x), Определенную и непрерывную при всех х, удовлетворяющую условию (3.3). Исключается тривиальный случай, когда f(x)?0.
• Итак, при некотором значении x=x₀ эта функция отлична от 0. Полагая в (3.3) y=x₀-x, получим
• f(x)•f(x₀-x) = f(x₀) ? 0;
• отсюда ясно, что f(x) отлично от нуля при всяком x. Более того, заменяя в (3.3) x и y через , найдем:
• ,
• так что f(x) всегда строго положительна.
• Пользуясь этим, прологарифмируем равенство (3.3), например, по натуральному основанию е:
• ln f(x+y) = ln f(x)+ln f(y).
• Если положить
• ц(x) = ln f(x),
• то ц(x) есть непрерывная функция (как результат суперпозиции непрерывных) и удовлетворяющая условию:
• ц (x+y) = ц (x)+ ц (y),
• аналогичному (3.1). В таком случае, как мы установили, необходимо
• ц(x) = ln f(x) = cx (c=const)
• откуда, наконец,
• f(x)=e^cx=a^x
• (если положить a=e^c), что и требовалось доказать. ^
• Таким образом, мы показали, что уравнения f(x+y)=f(x)+f(y) и f(x+y)=f(x)•f(y), имеют одинаковые решения среди функций, определенных на множестве рациональных чисел и на множестве всех действительных чисел. Эти решения имеют вид: f(x)=C•x и f(x)=a^x соответственно.
• 4. Решение Функциональных уравнений Коши на полуоси R₊
• Рассмотрим теперь решения уравнений среди функций, определенных, непрерывных и удовлетворяющих этим уравнениям лишь на положительной полуоси R₊.
• Сформулируем соответствующие теоремы для уравнений
• f(x+y) = f(x) + f(y) (4.1)
• f(x + y) = f(x) • f(y) (4.2)
• f(x•y) = f(x) + f(y) (4.3)
• f(x • y) = f(x) • f(y) (4.4)
• требуя от функций определенности и непрерывности только на (0; +?)
• 4.1 Решение уравнений вида f(x+y)=f(x)+f(y) на полуоси r₊
• Теорема 4.1. Если функция f(t), заданная и непрерывная для всех значений t (0;+ ?). Удовлетворяет уравнению f(x+y) = f(x) + f(y) тождественно относительно х и у, то она имеет вид f(t) = Ct. Где C -- постоянное число.
• Доказательство:
• >Доказательство проведем аналогично теоремам (2.1) и (3.1), с учетом требования положительной области определения функции f.
• C помощью метода математической индукции легко обобщить соотношение (4.1) на случай любого числа (=n) слагаемых :
• (4.5)
• Действительно, если допустить его верность для какого-либо числа (n ? 2) слагаемых , то оно окажется верным и для n + 1 слагаемых :
• Полагая в (4.3) x=y=…=z, найдем:
• f(nx)=n•f(x) (4.6)
• Заменив здесь n на , получим
• (4.7)
• а затем, если подставить mx (m-натуральное) вместо х и использовать предыдущее равенство, придем к соотношению
• (4.8)
• или
• f(rx)=r•f(x)
• справедливом для любого положительного значения x, каково бы ни было положительное рациональное число r.
• Если здесь взять х=1, и обозначить f(1)=C, то получим
• f(r)=Cr. (4.9)
• Пусть теперь s будет любое положительное иррациональное значение аргумента. Легко построить стремящуюся к нему последовательность рациональных чисел.
• R₁, r₂, …, r_n, …
• (можно, например, взять отрезки соответствующей бесконечной десятичной дроби).
• F(r_n)=cr_n (n=1,2,3…)
• Перейдем к пределу при n>+?; справа получим cs, слева же, ввиду предположенной непрерывности функции f, получится
• lim f(r_n)=f(s),
• так что окончательно,
• f(s)=cs, s>0^
• 4.2 Решение уравнений вида f(x+y)=f(x)•f(y) на полуоси r₊
• Теорема 4.2. Если функция f(t), заданная и непрерывная для всех значений t (0; + ?). удовлетворяет уравнению (4.2) тождественно относительно х и у, то она имеет вид f(t) = а^t, где а -- неотрицательная постоянная.
• Доказательство:
• >Для доказательства этого рассмотрим произвольную функцию f(x), Определенную и непрерывную при всех х, удовлетворяющую условию (4.2). Исключается тривиальный случай, когда f(x)?0.
• Итак, при некотором значении 0<x=x₀ эта функция отлична от 0. Полагая в (4.2) 0<x<x₀ и 0<y=x₀-x, получим
• f(x)•f(x₀-x) = f(x₀) ? 0; (4.10)
• отсюда ясно, что f(x) отлично от нуля при всяком 0<x<x₀.
• C другой стороны,
• f(2•x₀)= f(x₀) • f(x₀) ? 0
• и вообще
• f(n•x₀)= f(x₀)ⁿ ? 0. (4.11)
• Равенство (4.11) легко доказывается по индукции (см. теорему 2.2). Из (4.10) и (4.11) имеем: если , ,.
• Следовательно, функция f всюду на R₊ отлична от 0.
• Более того, заменяя в (4.2) x и y через , найдем:
• ,
• так что f(x) всегда строго положительна.
• Пользуясь этим, прологарифмируем равенство (4.2), например, по натуральному основанию е:
• ln f(x+y) = ln f(x)+ln f(y).
• Если положить
• ц(x) = ln f(x),
• то ц(x) есть непрерывная функция (как результат суперпозиции непрерывных) и удовлетворяющая условию:
• ц (x+y) = ц (x)+ ц (y),
• аналогичному (4.1). В таком случае, как мы установили, необходимо
• ц(x) = ln f(x) = cx (c=const)
• откуда, наконец,
• f(x)=e^cx=a^x, x>0
• (если положить a=e^c), что и требовалось доказать. ^
• 4.3 Решение уравнений вида f(x•y)=f(x)+f(y) на полуоси r₊
• Если
• f(x) = log_ax (a>0, a?1) (4.12)
• то при любых положительных значениях x и y f(x) будет удовлетворять уравнению (4.3)
• И здесь это равенство, совместно с непрерывностью, вполне характеризует именно логарифмическую функцию.
• Теорема 4.3. Если функция f(t), заданная и непрерывная для всех положительных значений t, притом не сводящаяся к нулю, удовлетворяет уравнению (4.2) тождественно относительно всех положительных значений х и у. то она имеет вид f(t)=log_at, где а -- положительная постоянная.
• Доказательство:
• >Для доказательства возьмем произвольную функцию f(x), непрерывную для x>0 и удовлетворяющую этому уравнению. Введем новую переменную о, изменяющуюся в промежутке (-?; +?), и положим
• ,
• откуда
• Непрерывная (как суперпозиция непрерывных) функция ц(о) удовлетворяет условию
• типа (3.1), значит,
• и
• если исключить случай с=0 (тогда f(x)?0), то полученный результат может быть написан в виде

• где . Этим все доказано ^.
• 4.4 Решение уравнений вида f(x•y)=f(x) • f(y) на полуоси R₊
• Наконец, обратимся к функциональному уравнению (4.4) (при любых положительных x и y)
• Уравнение это, в соединении с непрерывностью, в данном случае характеризует степенную функцию.
• Теорема 4.4. Если функция f(t), заданная и непрерывная для всех положительных значений t, притом не сводящаяся к нулю, удовлетворяет уравнению (4.4) тождественно относительно всех положительных значений х и у, то она имеет вид f(t)=t^м, где м -- постоянное число.
• Доказательство:
• >В самом деле, если дана непрерывная для х>0 функция f(x), удовлетворяющая условию (4.4), то прибегнув к той же подстановке, что и в Теореме 4.3).
• , получим:
• ц(о) удовлетворяет уравнению (4.2), тогда (если исключить тривиальный случай)
• , (a>0)
• Отсюда
• (если положить м=ln a), что и требовалось доказать. ^
• Из вышеизложенного можно сделать вывод о том, что рассматриваемые уравнения f(x+y) = f(x) + f(y), f(x + y) = f(x) • f(y), f(x•y) = f(x) + f(y), f(x • y) = f(x) • f(y) будут иметь решения f(x)=C•x, f(x)=a^x, f(x)=log_ax, f(x)=x^м даже если требовать от функции f непрерывности только на положительной полуоси.
• 5. Решение Функциональных уравнений Коши в измеримых функциях
• Для того чтобы рассматривать решения уравнений коши на множестве измеримых функций, дадим несколько необходимых определений [5,с.300]:
• Определение 1: Пусть X - множество, на котором задана у-аддитивная мера м, определенная на у-алгебре G_м. Действительная функция f(x) на X называется м-измеримой, если для всякого борелевского множества А числовой прямой
• f^-1(A).
• Иначе: функцию f(x) называют измеримой, если все множества {x:f(x)<c} измеримы при любом действительном с.
• Важнейшие свойства измеримых функций:
• - Измеримая функция от измеримой функции есть измеримая функция.
• - Сумма, разность, произведение двух измеримых функций измеримы.