Квант

38

Перiodические функции

Определения

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

Определение. Функция y=f(x)y = f(x) называется периодической, если существует число T≠0T \neq 0 такое, что при всех значениях xx из области определения этой функции f(x+T)=f(x)f(x+T) = f(x).

Докажем теперь Lemma 1:

Если T>0T > 0 — период функции f(x)f(x), то −T-T — может период этой функции.

Доказательство состоит в выписывании цепочки равенств:

f(x−T)=f[(x−T)+T]=f(x).f(x-T) = f[(x-T)+T] = f(x).

В самом деле, ведь TT — период функции f(x)f(x), а потому, если его прибавить к аргументу x−Tx-T, то значение функции не изменится (первое равенство). Остается раскрыть скобки и получить f(x)f(x).

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

Все проведенные здесь рассуждания справедливы. Только из них не следует, что −T-T является периодом f(x)f(x). Если вы еще не обнаружили ошибку в доказательстве, то рассмотрите функцию sin⁡(x+2π)2\sin(\sqrt{x+2\pi})^2. Ее область определения x≥0x \geq 0, и для любого xx из этой области определения

sin⁡(x+2π)2=sin⁡(x)2,\sin(\sqrt{x+2\pi})^2 = \sin(\sqrt{x})^2,

то есть 2π2\pi с точки зрения формулированного определения — период

функции. Вместе с тем −2π-2\pi не будет ее периодом, так как левое x=0x = 0 функция sin⁡(x)2\sin(\sqrt{x})^2 не определена и, например, sin⁡(0−2π)2\sin(\sqrt{0-2\pi})^2 не существует.

Теперь ясна и ошибка доказательства: прежде чем рассматривать значение f(x−T)f(x-T), нужно быть уверенным, что это значение существует, а это ноткуда не следует. Вот почему удается сконструировать опровергающий пример.

Чтобы лемма 1 могла быть доказана, необходимо иное определение периодической функции.

Определение 1. Функция f(x)f(x), определяющая хотя бы в одной точке, называется периодической, если существует такое число T≠0T \neq 0 (называемое периодом), что для любого xx из области определения этой функции

a) числа x−Tx-T и x+Tx+T также принадлежат ее области определения:

б) f(x+T)=f(x)f(x+T) = f(x).

При таком определении приведенное выше доказательство Lemмы 1 становится верным.

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

При мер 1. Доказать, что функция y=sin⁡lgxy = \sin lg x не является периодической.

Установить этот факт легко — достаточно заметить, что данная функция определена при всех x>0x > 0 и не существует при всех x≤0x \leq 0. Следовательно, какое T>0T > 0 мы ни выбрали, наша функция будет определена при x=T/2x = T/2 и не будет

39

определенна при x=T2−T=−T2x = \frac{T}{2} - T = -\frac{T}{2}, то есть она не является периодической.

Пример 2. Доказать, что функция
cos⁡x+sin⁡(x2)\cos x + \sin (x \sqrt{2})
— не периодическая.

Пусть существует число T≠0T \neq 0 такое, что
cos⁡(x+T)+sin⁡[2(x+T)]≡cos⁡x+sin⁡(2x)\cos (x + T) + \sin [\sqrt{2} (x + T)] \equiv \cos x + \sin (\sqrt{2} x)
для всех xx. Положим в этом тожестве x=0x = 0 и x=−Tx = -T; тогда получим следующие два равенства:
{cos⁡T+sin⁡(2T)=1(1)cos⁡T−sin⁡(2T)=1.(2)\begin{cases} \cos T + \sin (\sqrt{2} T) = 1 & (1) \\ \cos T - \sin (\sqrt{2} T) = 1. & (2) \end{cases}
Из соответствия (1) и (2) следует, что cos⁡T=1\cos T = 1, а sin⁡(2T)=0\sin (\sqrt{2} T) = 0, откуда T=2πkT = 2\pi k и T=πn/2T = \pi n/\sqrt{2}. Приравнивая эти значения (T≠0T \neq 0, и поэтому k≠0k \neq 0, n≠0n \neq 0), найдем 2=n/2k\sqrt{2} = n/2k, то есть 2−рациональное число.\sqrt{2} - \text{рациональное число}. Полученное противоречие доказывает, что функция cos⁡x+sin⁡(2x)\cos x + \sin (\sqrt{2} x) — не периодическая.

Пример 3. Доказать, что функция y=3sin⁡x+sin⁡2xy = 3\sin x + \sin 2x является периодической.

Obviously рассуждают так. Пусть TT — период этой функции. Тогда равенство
3sin⁡(x+T)+sin⁡2(x+T)=3sin⁡x+sin⁡2x3\sin (x + T) + \sin 2 (x + T) = 3\sin x + \sin 2x
должно удовлетворять при всех xx, в том числе и при x=0x = 0. Воспользовавшись этим, приdem к уравнению относительно TT:
3sin⁡T+sin⁡2T=0,3\sin T + \sin 2T = 0,
(to есть (3+2cos⁡T)sin⁡T=0(3 + 2\cos T) \sin T = 0. Так как выражение в скобках в нуль не обращается, sin⁡T=0\sin T = 0, T=kπT = k\pi.
Однако найденные таким образом значения TT вовсе не обращаны быть периодами функций. Перейда ot соответствия (1) к соответствию (2), мы смягчили ограничения на TT, содержавшиеся в (1). Ведь первое соответствие должно быть справедливым при всех xx, в то время как второе обеспечивает его справедливость лишь при x=0x = 0. Таким образом, мы установили, что все периоды рассматриваемой функции заключиты среди чисел вида x=kπx = k\pi. Однако это совсем не означает, что все числа такого вида являются ее периодами.

Далее, поскольку
3sin⁡π2+sin⁡(2⋅π2)=3,3\sin \frac{\pi}{2} + \sin \left(2 \cdot \frac{\pi}{2}\right) = 3,
3sin⁡(π2+π)+sin⁡2(π2+π)=−3,3\sin \left(\frac{\pi}{2} + \pi\right) + \sin 2 \left(\frac{\pi}{2} + \pi\right) = -3,
то есть f(π2)≠f(π2+π)f\left(\frac{\pi}{2}\right) \neq f\left(\frac{\pi}{2} + \pi\right), то п не будет периодом функции. Число 2π2\pi и все числа вида 2kπ2k\pi — ее периоды, в чем легко убедиться непосредственной проверкой.

Основной период

Определение 2. Наименьший положительный период периодической функции f(x)f(x) называют основным.

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

Лемма 2. Если T1T_1 и T2T_2 — периоды функции f(x)f(x), причем T1+T2≠0T_1 + T_2 \neq 0, то T1+T2T_1 + T_2 — период f(x)f(x).

Доказательство. Пусть y=x+T1y = x + T_1. Так как T1T_1 — период функции ff, мо f(y)f(y) существует одновременно с f(x)f(x). T2T_2 — тоже период ff. Следовательно, f(y+T2)f(y + T_2) существует и f(y+T2)=f(y)=f(x+T1)=f(x)f(y + T_2) = f(y) = f(x + T_1) = f(x), то есть f(x+T1+T2)=f(x)f(x + T_1 + T_2) = f(x).

По условиям, T1+T2≠0T_1 + T_2 \neq 0. Таким