2014 dxdy logo

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

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




 
 Супергладкая шапочка
Сообщение24.02.2008, 09:38 
Существует ли гладкая шапочка (то есть бесконечно дифференцируемая функция $f:\mathbb R\to\mathbb R$, положительная на $(-1,1)$ и равная нулю в остальных точках, например, $f_1(x)=e^{\frac{1}{x^2-1}}\chi_{(-1,1)}(x)$), у которой все производные во всех точках ограничены общей константой (то есть $\exists M>0$: $\forall x\in\mathbb R$ $\forall n\in\mathbb N_0$ $\bigl|f^{(n)}(x)\bigr|\le M$) ?

То есть если меня ткнуть носом в подходящую функцию, то я попробую в качестве упражнения доказать, что она обладает нужным свойством :roll: . Функция $f_1$ вряд ли подходит, хотя я и в этом не уверен. Ну из таких соображений, что у нее производные имеют вид $\frac{p_n(x)}{q_n(x)}f_1(x)$, и у многочлена $q_n(x)$ неприятные нули в точках 1 и -1 быстро растущего порядка.

 
 
 
 
Сообщение24.02.2008, 13:18 
Такая функция не существует. Можно доказать от противного, рассмотрев отрезок $x\in [-1,-\frac{1}{2}]$ и воспользовавшись тем, что $\forall n\in\mathbb N \quad \bigl|f^{(n)}(-1)\bigr|= 0$ и, следовательно, $$f^{(n)}(x)= \int_{-1}^{x}f^{(n+1)}(\xi)\,d\xi$$.

 
 
 
 
Сообщение24.02.2008, 14:16 
А, и типа отсюда следует, что
$$\bigl|f(x)\bigr|=\left|\int_{-1}^{x}\int_{-1}^{x_1}\cdots\int_{-1}^{x_{n-1}}f^{(n)}(x_n)\,dx_n\,\cdots\,\,dx_1\right|\leqslant M(x+1)^n$$,
что в сочетании с условием $-1\leqslant x\leqslant-1/2$ и произвольностью $n\in\mathbb N_0$ как раз дает, что функция равна нулю на $[-1,-1/2]$, чтд :D
Спасибо!

P.S. Опять облом. :D Надо какую-нибудь "обобщенную функцию" придумать, что-ли, чтобы таким свойством обладала ... ладно, ну не судьба значит.

 
 
 
 Известны ли верхние оценки для производных шапочки?
Сообщение17.05.2009, 19:57 
Это сообщение можно считать продолжением вопроса, который задал AD.

Для той же функции-шапочки рассмотрим следующие величины:
$$M_n:=\sup_{|x|<1}|f^{(n)}(x)|.$$
Поскольку ряд Тейлора для $f$ в граничных точках имеет радиус сходимости $0$, то $\limsup\sqrt[n]{M_n}=\infty$. Это ещё раз доказывает, что $M_n$ не могут быть ограничены в совокупности.

Вопрос в том, насколько быстро возрастают $M_n$. Хотелось бы, чтобы последовательность $M_n$ возрастала значительно медленнее, чем $n!$.

 
 
 
 Re: Супергладкая шапочка
Сообщение18.05.2009, 10:58 
Аватара пользователя
Егор писал(а):
Хотелось бы, чтобы последовательность $M_n$ возрастала значительно медленнее, чем $n!$.
Если даже $M_n$ будет возрастать как $n!$, то радиус сходимости будет не меньше 1, т.е. локально функция будет аналитична в каждой точке, что автоматически влечёт за собой тождественное равенство нулю.

 
 
 
 Re: Супергладкая шапочка
Сообщение18.05.2009, 14:15 
Ответ на вопрос дает понятие квазианалитической функции: есть теорема Данжуа-Карлемана, дающая критерий в терминах $M_n$, когда из условия $f^{(k)}(x)=0$, $k=0,1,\ldots$, в некоторой точке $x\in[0,1]$ вытекает, что функция $f\in C^\infty([0,1])$ тождественно равна нулю на $[0,1]$.

 
 
 
 Re: Супергладкая шапочка
Сообщение18.05.2009, 16:30 
worm2, Gafield, спасибо!

Не знаю, почему в предыдущем сообщении я подставил в формулу Коши-Адамара $f^{(n)}(x)$, а не $f^{(n)}(x)/n!$, как нужно. :oops: Так что на самом деле формула Коши-Адамара даёт $\limsup\sqrt[n]{M_n/n!}=\infty$ и рушит мои беспочвенные надежды.

 
 
 
 Re: Супергладкая шапочка
Сообщение24.12.2009, 16:12 
А кстати интересно, насколько быстро в общем случае могут расти производные n-ого порядка у бесконечно дифференцируемой ф-ции?

Можно поставить вопрос так: Пусть $f\in C^\infty(\mathbb R)$. Существует ли числовая последовательность $\{c_n\}$, такая, что для любого $x_0\in \mathbb R$
$$
c_n f^{(n)}(x_0) \to 0, \quad n\to \infty
$$
:?:

 
 
 
 Re: Супергладкая шапочка
Сообщение24.12.2009, 18:15 
Уточнение: можно ли сделать так, чтобы последовательность $c_n$ не зависила от $f$?

 
 
 
 Re: Супергладкая шапочка
Сообщение24.12.2009, 20:23 
nckg в сообщении #274836 писал(а):
Уточнение: можно ли сделать так, чтобы последовательность $c_n$ не зависила от $f$?

Нет. Имеется теорема Сарда - для любой последовательности действительных чисел $\{a_n\}$ существует бесконечно дифференцируемая в окрестности нуля функция $f$ такая, что $f^{(n)}(0)=a_n$, $n=0,1,2,\ldots$.

 
 
 
 Re: Супергладкая шапочка
Сообщение24.12.2009, 23:27 
Спасибо! А где в литературе есть эта теорема?

 
 
 
 Re: Супергладкая шапочка
Сообщение25.12.2009, 20:54 
Не знаю :)

 
 
 
 Re: Супергладкая шапочка
Сообщение25.12.2009, 22:11 
Аватара пользователя
Тётя Вика под этим названием (Sard's theorem) числит нечто другое.

 
 
 
 Re: Супергладкая шапочка
Сообщение25.12.2009, 22:19 
Ну, то известная теорема из дифференциальной геометрии. Во многих учебниках есть, включая Зорича.

 
 
 [ Сообщений: 14 ] 


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