2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 
Сообщение16.03.2009, 21:36 


24/03/07
321
короче строгий метод такой. Берем открытый интервал $(a,b)$ (будем считать, что он достаточно маленький), берем шапочку (например, которую привел GAA), берем $k=[1/(b-a)]$ и считаем k-тую производную полушапочки. Далее эту производную уменьшаем чтоб была меньше $(b-a)$ и считаем k раз интеграл (интеграл от полушапочки тож будет полушапочкой вроде).

Добавлено спустя 10 минут 49 секунд:

а, это интеграл от шапочки получается полушапочкой. Да, придется на каждом шагу до шапочки достраивать (и корректировать). Ну короче ясно шо построить можно :lol:

 Профиль  
                  
 
 
Сообщение16.03.2009, 21:36 
Заслуженный участник


05/06/08
1097
Решение есть в книге "Гладкие многообразия и наблюдаемые" Джета Неструева. Глава 2, предложение 2.4.
Цитата:
Пусть $U \subset \mathbb{R}^n$ - произвольное открытое множество. Существует бесконечно дифференциируемая в $\mathbb{R}^n$ функция $f$, такая, что в дополнении $U$ она обращается в 0, а в точках $U$ положительна.

 Профиль  
                  
 
 
Сообщение16.03.2009, 21:48 
Экс-модератор


17/06/06
5004
Да, похоже, Dandan меня добил, сдаюсь.
:appl:
Dandan в сообщении #195700 писал(а):
Да, придется на каждом шагу до шапочки достраивать (и корректировать).
Не, ну проще сразу взять шапочку, продифференцировать нужное число раз, умножить на константу, и обратно проинтегрировать - заведомо получится шапочка.

 Профиль  
                  
 
 
Сообщение16.03.2009, 22:08 


24/03/07
321
AD писал(а):
Не, ну проще сразу взять шапочку, продифференцировать нужное число раз, умножить на константу, и обратно проинтегрировать - заведомо получится шапочка.

угу, а можно ваще не интегрировать, а сразу после вычисления начальную шапочку сплюснуть на сколько надо :lol: Не знаю чё мне стукнуло в голову, что так нельзя :lol:
В ссылке id идея похожая. Только там шапочки берутся не на множестве непересекающихся открытых интервалов, а на некотором счетном множестве открытых интервалов, покрывающих наше открытое множество. Дальше эти шапочки уменьшаются (k-ая шапочка так, чтоб всевозможные производные степени меньше k (в сумме по n направлениям, у нас же размерность пространства n) были ограничены 1). Ну и в конце просто все шапочки складываются в ряд $f(x) = \sum\limits_{n=1}^\infty \frac{1}{2^n}\omega_{a_n,b_n}(x)$

 Профиль  
                  
 
 
Сообщение16.03.2009, 22:09 
Экс-модератор


17/06/06
5004
Ага, тоже уже посмотрел.

 Профиль  
                  
 
 Спасибо всем!
Сообщение16.03.2009, 22:21 


21/12/08
60
Правда решение не упростилось, а столо только сложнее. Требование простоты возникло вот откуда. Задача взята в книге Рудина "Основы математического анализа", глава дифференцирование. Эта глава идет ДО тем суумирование функциональных рядов и прочее, поэтому мне кажется, что красивое решение должно существовать.

 Профиль  
                  
 
 Re: Сущесвует ли функция...
Сообщение16.03.2009, 23:21 


30/01/09
194
Норберт писал(а):
Помогите с такой задачей. Пусть $E$ замкнутое множество в $\mathbb{R}$. Существует ли $f \in C^{\infty}(\mathbb{R}, \mathbb{R})$ такая что $E = \{ x \in \mathbb{R} : f(x) = 0\}$ ? Пока что я придумал такое решение.
Т.к. $E$ замкнутое множество в $\mathbb{R}$, то его дополнение есть открытое множество в $\mathbb{R}$. Но всякое открытое множество в $\mathbb{R}$ есть объединение счетного числа непересекающихся интервалов. Итого $C_{\mathbb{R}}(E) = \bigcup\limits_{n=1}^\infty (a_n, b_n)$. Пусть $\omega_{a,b}(x)$ - функция шапочка (та самая что используется в теории распределений). не равная нулю на $(a,b)$. Известно что $\omega_{a,b} \in C^{\infty}(\mathbb{R}, \mathbb{R})$, тогда искомой функцией будет $f(x) = \sum\limits_{n=1}^\infty \omega_{a_n,b_n}(x)$.

Даже если решение правильное подскажите что нить попроще.


А зачем нам нужна сумма? Вот так надо.
$\forall n\, f(x)=\omega_{a_n,b_n}(x)$ при $x\in (a_n,b_n)$ и $f(x)=0$ при $x\notin\mathbb{R}\setminus\bigcup\limits_{n=1}^\infty (a_n, b_n)$. В точках $a_n, b_n$ проблем никаких, поскольку производные любого порядка от функций $\omega_{a_n,b_n}(x)$ в этих точках (правые, левые соответственно) равны 0 (если я правильно понял термин "шапочка", если нет, то такие $\omega_{a_n,b_n}(\cdot)\in  C^{\infty}(\mathbb{R})$ строятся элементарно).

 Профиль  
                  
 
 Re: Сущесвует ли функция...
Сообщение17.03.2009, 00:31 


24/03/07
321
ASA писал(а):
В точках $a_n, b_n$ проблем никаких, поскольку производные любого порядка от функций $\omega_{a_n,b_n}(x)$ в этих точках (правые, левые соответственно) равны 0.

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

Добавлено спустя 1 час 2 минуты:

Норберт писал(а):
Правда решение не упростилось, а столо только сложнее. Требование простоты возникло вот откуда. Задача взята в книге Рудина "Основы математического анализа", глава дифференцирование. Эта глава идет ДО тем суумирование функциональных рядов и прочее, поэтому мне кажется, что красивое решение должно существовать.

проще наврядле можно. А рядов тут и нет, просто на каждом из непересекающихся открытых интервалов нашего открытого множества построена "правильная" шапочка (см. пост). Эти правильные шапочки определяют f везде где нужно.

 Профиль  
                  
 
 Re: Сущесвует ли функция...
Сообщение17.03.2009, 07:39 


30/01/09
194
:? Да, как всегда, невнимательно читаю пост. Да и функция
ASA писал(а):
$\forall n\, f(x)=\omega_{a_n,b_n}(x)$ при $x\in (a_n,b_n)$ и $f(x)=0$ при $x\notin\mathbb{R}\setminus\bigcup\limits_{n=1}^\infty (a_n, b_n)$.

и
Норберт писал(а):
$f(x) = \sum\limits_{n=1}^\infty \omega_{a_n,b_n}(x)$.

одно и то же. :oops:

 Профиль  
                  
 
 
Сообщение17.03.2009, 15:53 
Заслуженный участник


12/07/07
4549
По-видимому, как и ASA, не вижу никаких проблем с производными или непрерывностью.

Зададим (указанные в открывающем тему сообщении) функции $\omega_{a_n, b_n}(x)$ следующим образом.
Если и $a_n$ и $b_n$ конечные (внутренний интервал), то $\omega(x) = \left\{\begin{array}{l}
2\Delta_n \exp\left( \frac{-1}{1- ((x-c_n)/\Delta_n)^2}\right), \quad x \in (a_n, b_n),\\
0, \quad \quad \quad \quad \quad \quad \quad x \not \in (a_n, b_n),
\end{array} \right$
где $c_n = (a_n+b_n)/2$, $\Delta_n = (b_n-a_n)/2$.
Если $a_n$ конечно, а $b_n = +\infty$, то $\omega(x) = \left\{\begin{array}{l}
2\Delta_n \exp\left( \frac{-1}{x- a_n}\right), \quad x \in (a_n, +\infty);\\
0, \quad \quad \quad \quad \quad \quad \quad x \not \in (a_n, +\infty).
\end{array} \right$.
Аналогично строим $\omega_{a_n, b_n}(x)$ для случая $a_n = -\infty$, а $b_n$ конечно.
Функции $\omega_{a_n, b_n}(x)$ имеют производные всех порядков на $\mathbb R$.

P.S. В этой теме рассматривается упр. 12 к Гл. 5 [1]. Утверждение, что каждое открытое множество в $\mathbb R$ есть объединение не более чем счетного семейства попарно непересекающихся интервалов — это упражнение 15 к Гл. 2. Утверждение о том, что дополнением замкнутого множества до $\mathbb R$ будет открытое множество — доказывается в основном тексте Гл. 2. Как будто задача полностью решена.

ref.
[1] Рудин У. Основы математического анализа — М.: Мир, 1976.

 Профиль  
                  
 
 
Сообщение17.03.2009, 16:06 


24/03/07
321
если $E=\{0,1,\frac{1}{2},...,\frac{1}{2^k},...\}$, то первая производная построенной вами функции $f$ будет разрывна в точке 0.
(более точно - $f^\prime(x)\not\rightarrow 0$ при $x \rightarrow 0$ справа)

 Профиль  
                  
 
 
Сообщение17.03.2009, 21:48 
Заслуженный участник


12/07/07
4549
Спасибо, Dandan. Конечно, призводная справа существовать не будет: в любой правой окрестности нуля найдутся значения отличающиеся от нуля больше, чем на некоторую наперед заданную величину.
Надо «отнормировать». Интервалов счетное число. Пронумеровав интервалы, поделим введенные выше функции на $2^n$. Но это уже как раз то, что Вы приводили выше.

Добавлено спустя 2 часа 39 минут:

И поделить на точную верхнюю грань модуля n-ой производной на n-ом интервале.
$$\sum\limits_1^{\infty} \frac{\omega_{a_n, b_n} (x)} {M_n 2^n}$$, $M_n = \sup\limits_{x \in [a_n, b_n]} |\omega^{(n)}_{a_n, b_n}|$.
В общем, как и написано было выше.
Еще раз, Dandan, спасибо. Наконец понял, что Вы с AD обсуждали.

 Профиль  
                  
 
 
Сообщение22.03.2009, 22:34 


13/10/08
23
Ну, вообще это теорема Уитни: для любого замкнутого множества С в аффинном пространстве А существует (бесконечно) гладкая функция F, что точка p тогда и только тогда лежит в C, когда F(p)=0. См., например, Постинков М.М. Семестр III. Доказатество, правда, похожее на то, что приведено тут. Просто интересно, что у Постникова это первая теорема в курсе ДГ)))

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 28 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: YandexBot [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group