2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2, 3  След.
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 16:42 
provincialka
Я тут подумал, а что если все эти рассуждения провести не для синусов , а для косинусов. Тогда все получается. А потом как нибудь через них перейти к синусам.

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 17:09 
Через $S=\mathbb{R}/(2\pi \mathbb{Z})$ обозначим окружность единичного радиуса параметризованную углом $x$. Рассмотрим поворот окружности $$f:S\to S,\quad f(x)= x+\omega,\quad x,f(x)\pmod{2\pi}.$$

Теорема. Если $\omega\notin 2\pi\mathbb{Q}$ то для любого $x$ множество $T_x=\{f^n(x)\mid n\in\mathbb{Z}\}$ плотно на окружности.

Доказательство.
Возьмем малое $\epsilon>0$ и пусть $U$ -- $\epsilon$-окрестность точки $x$.
Предположим утверждение теоремы неверно.
Если $\epsilon$ достаточно мало, то множество $X=\cup_{ n\in\mathbb{Z}}f^n(U)$ не покрывает всю окружность и более того найдется открытое множество $W,\quad W\cap X=\emptyset.$
Заметим, что множествa $X,\quad X'=S\backslash X$ инвариантны: $f(X)\subseteq X,\quad f(X')\subseteq X'$.

Поэтому индикатор $I_X(x)$ множества $X$ является первым интегралом отображения $f$ т.е. $$I_X(f(x))=I_X(x)\qquad(*).$$

Разложим в ряд фурье функцию $I_X(x)=\sum_{ k\in\mathbb{Z}}I_ke^{ikx}$. Формула (*) дает
$$\sum_{ k\in\mathbb{Z}}I_ke^{ikx}e^{ik\omega}=\sum_{ k\in\mathbb{Z}}I_ke^{ikx}.$$
Откуда $I_k=0,\quad k\ne 0$.

Значит функция $I_X=const$ (п.в.) -- Противоречие.

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 17:27 
ewert в сообщении #859322 писал(а):
То, что при иррациональном $\alpha$ числа $\alpha k$ плотно наматываются на единичную окружность -- "общеизвестно"
Даже для чисел $\alpha k+\beta$ при любом $\beta$. Банальное, но небесполезное обобщение.
provincialka в сообщении #859424 писал(а):
но тут еще числитель и знаменатель не совсем произвольны.
Сдвиг не важен (см. выше).

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 17:31 
Аватара пользователя
nnosipov в сообщении #859482 писал(а):
ewert в сообщении #859322 писал(а):
То, что при иррациональном $\alpha$ числа $\alpha k$ плотно наматываются на единичную окружность -- "общеизвестно"
Даже для чисел $\alpha k+\beta$ при любом $\beta$. Банальное, но небесполезное обобщение.
..

Ага, берем $\alpha=2\pi$ и "плотно" наматываем одну фиксированную точку на единичную окружность. :D

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 17:37 
Brukvalub в сообщении #859483 писал(а):
Ага, берем $\alpha=2\pi$ и "плотно" наматываем одну фиксированную точку на единичную окружность. :D
На $\alpha$ обычно накладывают заклятье несоизмеримости с $\pi$ :-) Или полагают $2\pi=1$, что тоже самое.

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 17:46 
Oleg Zubelevich
А можете название книги написать, где эта теорема доказывается?

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 17:48 
Шмидт Диофантовы приближения

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 17:49 
Oleg Zubelevich
Спасибо Вам большое !

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 21:23 
Oleg Zubelevich
А это какое издание? Дело в том, что я не могу в этой книге найти нужное доказательство. Я бы хотел просто сослаться на источник.

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 22:19 
Покритикуйте следующую кустарщину: имеем две арифметические прогрессии с нулевыми смещениями $an$ и $bm$, $d$ - максимальное число, укладывающееся целое число раз и в $a$ и в $b$: $a = pd, b = qd$, где $p, q$ - взаимно простые числа. Линейная комбинация взаимно простых чисел принимает все целые значения, поэтому разность исходных прогрессий принимает все значения, кратные $d$, то есть $kd$, где $k$ - любое целое. Устремляя $d$ к нулю получаем в пределе несоизмеримые $a$ и $b$ и любое (в пределе) расстояние между членами прогрессий. Добавление начальных смещений в этом случае ничего не меняет.

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 22:30 
Аватара пользователя
Что значит "устремляя $d$ к нулю"? Что за числа $a,b$, как он меняются? У вас три взаимосвязанных неизвестных, как вы их все будете менять? И как они связаны при этом изменении с иррациональным числом $\lambda=\sqrt6$?
Ваше доказательство опять "на словах". Формализуйте его, тогда можно будет искать ошибки.

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 22:52 
Формализовать более пока не могу. Но мне за этими словами видится идея конструктивного доказательства, не от противного. Применительно к нашему случаю, можно взять $a = 4$, $b$ - последовательность рациональных чисел, сходящаяся к $4\sqrt6$.

 
 
 
 Re: Найти супремум функции!
Сообщение05.05.2014, 23:41 
Аватара пользователя
_Ivana, флаг вам в руки! Ждем результатов!

 
 
 
 Re: Найти супремум функции!
Сообщение06.05.2014, 10:01 
Oleg Zubelevich в сообщении #859479 писал(а):
Разложим в ряд фурье функцию $I_X(x)=\sum_{ k\in\mathbb{Z}}I_ke^{ikx}$.

Вы не ошиблись веткой?... Есть ведь для этого специальный раздел -- "Физматюмор".

_Ivana в сообщении #859591 писал(а):
мне за этими словами видится идея конструктивного доказательства, не от противного.

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

На самом деле вопрос всё-таки элементарен, и даже не требует аксиомы полноты. Если $\alpha$ иррационально, то все числа вида $\alpha k\;(\operatorname{mod}\;1)$ различны (т.е. если бы хоть два из них совпали, то $\alpha$ оказалось бы рациональным). Следовательно, их бесконечно много; и, следовательно, среди них есть сколь угодно близкие. По любому $\varepsilon>0$ выберем два таких числа, расстояние между которыми меньше $\varepsilon$, т.е. выберем такие $p_1<p_2$ и соответствующие им $q_1,\;q_2$, что $|(\alpha p_1-q_1)-(\alpha p_2-q_2)|<\varepsilon$. Если теперь $p=p_2-p_1$ и $q=q_2-q_1$, то $\alpha=\frac{q+r}p$, где $|r|<\varepsilon$. Тогда расстояние между числами вида $\alpha\cdot pn\;(\operatorname{mod}\;1)$ и $\alpha\cdot p(n+1)\;(\operatorname{mod}\;1)$ меньше $\varepsilon$ для любого $n<\frac1{|r|}$ и, значит, в любой промежуток ширины $\varepsilon$ попадает хотя бы одно число вида $\alpha k\;(\operatorname{mod}\;1)$ -- и это для любого $\varepsilon$. Последнее ровно и означает плотное заполнение промежутка.

 
 
 
 Re: Найти супремум функции!
Сообщение06.05.2014, 11:26 
Аватара пользователя
ewert, похоже, это именно то рассуждение, которое смутно представлялось _Ivana

 
 
 [ Сообщений: 40 ]  На страницу Пред.  1, 2, 3  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group