38
Перiodические функции
Определения
Все вы, по-видимому, знаете, что такое периодическая функция. Однако для того, чтобы занять изучением ее свойств, нужно все же дать ее строгое определение. Оказывается, сделать это не так просто. Вот, например, одно определение и «следствие» из него.
Определение. Функция называется периодической, если существует число такое, что при всех значениях из области определения этой функции .
Докажем теперь Lemma 1:
Если — период функции , то — может период этой функции.
Доказательство состоит в выписывании цепочки равенств:
В самом деле, ведь — период функции , а потому, если его прибавить к аргументу , то значение функции не изменится (первое равенство). Остается раскрыть скобки и получить .
Прежде, чем читать далее, попытайтесь найти ошибку в этом доказательстве.
Все проведенные здесь рассуждания справедливы. Только из них не следует, что является периодом . Если вы еще не обнаружили ошибку в доказательстве, то рассмотрите функцию . Ее область определения , и для любого из этой области определения
то есть с точки зрения формулированного определения — период
функции. Вместе с тем не будет ее периодом, так как левое функция не определена и, например, не существует.
Теперь ясна и ошибка доказательства: прежде чем рассматривать значение , нужно быть уверенным, что это значение существует, а это ноткуда не следует. Вот почему удается сконструировать опровергающий пример.
Чтобы лемма 1 могла быть доказана, необходимо иное определение периодической функции.
Определение 1. Функция , определяющая хотя бы в одной точке, называется периодической, если существует такое число (называемое периодом), что для любого из области определения этой функции
a) числа и также принадлежат ее области определения:
б) .
При таком определении приведенное выше доказательство Lemмы 1 становится верным.
Используя определение периодической функции, можно установить, является ли та или иная функция периодической.
При мер 1. Доказать, что функция не является периодической.
Установить этот факт легко — достаточно заметить, что данная функция определена при всех и не существует при всех . Следовательно, какое мы ни выбрали, наша функция будет определена при и не будет
39
определенна при , то есть она не является периодической.
Пример 2. Доказать, что функция
— не периодическая.
Пусть существует число такое, что
для всех . Положим в этом тожестве и ; тогда получим следующие два равенства:
Из соответствия (1) и (2) следует, что , а , откуда и . Приравнивая эти значения (, и поэтому , ), найдем , то есть Полученное противоречие доказывает, что функция — не периодическая.
Пример 3. Доказать, что функция является периодической.
Obviously рассуждают так. Пусть — период этой функции. Тогда равенство
должно удовлетворять при всех , в том числе и при . Воспользовавшись этим, приdem к уравнению относительно :
(to есть . Так как выражение в скобках в нуль не обращается, , .
Однако найденные таким образом значения вовсе не обращаны быть периодами функций. Перейда ot соответствия (1) к соответствию (2), мы смягчили ограничения на , содержавшиеся в (1). Ведь первое соответствие должно быть справедливым при всех , в то время как второе обеспечивает его справедливость лишь при . Таким образом, мы установили, что все периоды рассматриваемой функции заключиты среди чисел вида . Однако это совсем не означает, что все числа такого вида являются ее периодами.
Далее, поскольку
то есть , то п не будет периодом функции. Число и все числа вида — ее периоды, в чем легко убедиться непосредственной проверкой.
Основной период
Определение 2. Наименьший положительный период периодической функции называют основным.
Нибольнее внимательные из читателей, наверное, тут же возразят: прежде, чем давать чему-то название, хорошо бы убедиться в существовании определенного объекта. Мы займемся выяснением существования основного периода после того, как доказаем еще сноу свойство периодических функций.
Лемма 2. Если и — периоды функции , причем , то — период .
Доказательство. Пусть . Так как — период функции , мо существует одновременно с . — тоже период . Следовательно, существует и , то есть .
По условиям, . Таким