2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Производные
Сообщение21.11.2006, 19:04 
Заслуженный участник
Аватара пользователя


11/01/06
3828
Пусть $f\colon\mathbb{R}\to\mathbb{R}-$дважды дифференцируемая функция. Пусть для всех $x\in\mathbb{R}$ выполняются нер-ва
$$|f(x)|\le1,\quad f'(x)^2+f''(x)^2\le1.$$
Докажите, что
$$f'(x)^2+f(x)^2\le1$$
при всех $x.$

 Профиль  
                  
 
 
Сообщение02.12.2006, 16:31 
Заслуженный участник
Аватара пользователя


01/08/06
3136
Уфа
(1) Рассмотрим функцию g(x)=$f'(x)^2+f(x)^2$. Из условия следует, что функция g непрерывна и дифференцируема на $\mathbb{R}$, g'(x)=2f'(x)(f''(x)+f(x)).
(2) Будем доказывать утверждение задачи от противного. Ввиду симметрии относительно замены x на x+t, можно считать, что g(0)=1+$\delta$, где $\delta$>0.
(3) Очевидно, $\delta \le 1$, а также $0 \le g(x) \le 2$ при всех $x$.
(4) Ввиду симметрии относительно замены x на -x, можно считать, что $g'(0) \ge 0$.
(5) Покажем, что g'(x)>0 для всех неотрицательных $x$. Действительно, пусть для какого-то неотрицательного z выполняется g'(z)=0, а для всех неотрицательных y<z g'(y)>0. Тогда функция g(x) строго возрастает на [0, z) и g(z) > 1. По (1) g'(z)=2f'(z)(f''(z)+f(z))=0, откуда либо f'(z)=0, 1<g(z)=$f(z)^2$, что противоречит условию, либо f''(z)=-f(z), $f''(z)^2=f(z)^2$, 1<g(z)=$f'(z)^2+f''(z)^2$, что опять противоречит условию. Итак, при x>0 g'>0 (и, соответственно, g строго возрастает при x>0).
(6) Рассмотрим отрезок [0, $2/\delta^2$]. Если на всём этом отрезке $g'(x) \ge \delta^2/2$, то, интегрируя по этому отрезку функцию g, получим: $g(2/\delta^2) \ge 1+\delta+1$ > 2, что противоречит (3). Значит, существует такое $x$>0, что g'(x)/2 = f'(x)(f''(x)+f(x)) < $\delta^2/4$.
(7) По (6) либо |f'(x)| < $\delta/2$, либо |f''(x)+f(x)| < $\delta/2$.
(8) В первом случае $f'(x)^2$ < $\delta^2/4$, а по (5) (строгое возрастание) g(x) > 1+$\delta$, значит, $f(x)^2$=g(x)-$f'(x)^2$ > 1+$\delta$-$\delta^2/4$ > 1, так как по (3) $\delta \le 1$<4. Получили противоречие с условием.
(9) Во втором случае, используя неравенство |f''(x)+f(x)|>|f(x)|-|f''(x)|, имеем: |f''(x)|>|f(x)| - $\delta/2$. Возводим в квадрат: $f''(x)^2$>$f(x)^2-\delta|f(x)|+\delta^2/4$. Складывая это с неравенством $f'(x)^2$>$1+\delta-f(x)^2$ (следует из g(x) > 1+$\delta$), имеем: $f'(x)^2+f''(x)^2$ > $1+\delta(1-|f(x)|) \ge 1$. Опять противоречие с условием. Вуаля.

P.S. Однако, от души развлёкся с этой задачей. Подозреваю, что существует более красивое решение, но так его и не нашёл :?

 Профиль  
                  
 
 Еще одна простенькая задачка
Сообщение06.12.2006, 13:53 
Заслуженный участник
Аватара пользователя


11/01/06
3828
Пусть $f(x)$ непрерывна на отрезке $[0;1]$ и дифференцируема на интервале $(0;1)$. Пусть $f(0)=0,\ f(1)=1$. Докажите, что найдутся $0<x<y<1$, что $f'(x)f'(y)=1$.

 Профиль  
                  
 
 
Сообщение06.12.2006, 16:23 
Заслуженный участник
Аватара пользователя


09/10/05
236
С первой задачей намучался. Пошел в различном от worm2'а пути. Дошел до следующего.
Введем функцию $g(x)=f(x)+if'(x)$, которая очевидно дифференцируема - $|g'(x)|^2\leq 1$ и $|Re(g(x))|\leq 1$.
Еще: $\left|\frac{g}{g'}\right|=|g|$ и также $\left|\frac{g'}{g}\right|=|g'|$ (здесь арифметика - используем определение функции g и считаем модуль комплексного числа в квадрате). Да вот дальше ... Возможно, вообще идея неверна.

RIP писал(а):
Пусть $f(x)$ непрерывна на отрезке $[0;1]$ и дифференцируема на интервале $(0;1)$. Пусть $f(0)=0,\ f(1)=1$. Докажите, что найдутся $0<x<y<1$, что $f'(x)f'(y)=1$.

Была уже :arrow: http://dxdy.ru/viewtopic.php?t=1883 :)

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


07/12/06
2
mexmat
Докажем сначала утверждение для функций -1<f<1.
f=sin g,функция g-дважды дифференцируема.Тогда
f′=g′cos g, f″=g″cos g-(g′)²sin g
Докажем, что -1≤ g′≤1.Пусть это не так. Тогда без ограничения общности можно считать, что существует y: g′ (y)>1.Рассмотрим любой отрезок [a,b], содержащий y.Тогда g, как непрерывная функция, достигает на нем максимального значения в точке z.Возможны два случая
1)z-внутренняя точка [a,b]. Тогда g′′ (z)=0.Тогда ((f′)²+(f′′)²)(z)>1.противоречие.
2)z-концевая точка, можно считать, что z=b.
Тогда g′-возрастающая функция при x≥b.Действительно пусть существуют c<d:
g′(c)> g′(d).Тогда на отрезке [a,d] g′ достигает своего максимального значения во внутренней точке. Получаем противоречие аналогичное п.1).Значит, для любого x≥b
g′ (x)>1.Следовательно, на луче x≥b g-возрастает и неограниченна (хотя бы по теореме Лагранжа о конечных приращениях). Следовательно, существует e>b: cos g(e)=1.
Тогда f′(e)>1, что противоречит условию.

А значит -1≤ g′≤1.Тогда (f)²+(f′)²=sin²g+g′²cos²g≤1.

Теперь пусть -1≤ f≤1.Тогда для любого 0<a<1 -1<af<1, ((af)′)²+((af)′′)²=a²((f′)²+(f′′)²)≤1,
А значит, ((af))²+((af)′)² ≤1, т.е. (f)²+(f′)²≤1/a². Переходя к пределу при a→1, получаем нужное соотношение.

 Профиль  
                  
 
 Простая, но мне понравилась
Сообщение12.12.2006, 05:16 
Заслуженный участник
Аватара пользователя


11/01/06
3828
Найти все дифференцируемые функции $f\colon\mathbb{R}\to\mathbb{R}$, такие что для любых $x\ne y$
$$\frac{f(x)-f(y)}{x-y}=f'\left(\frac{x+y}2\right)$$

 Профиль  
                  
 
 Re: Простая, но мне понравилась
Сообщение12.12.2006, 20:50 
Заслуженный участник


01/12/05
458
RIP писал(а):
Найти все дифференцируемые функции $f\colon\mathbb{R}\to\mathbb{R}$, такие что для любых $x\ne y$
$$\frac{f(x)-f(y)}{x-y}=f'\left(\frac{x+y}2\right)$$

Обозначим $g(x)=f'(x)-f'(0)$, тогда для $g(x)$ просто получить соотношение $g(\frac{x+y}{2})=\frac{g(x)+g(y)}{2}$, из этого условия в свою очередь просто получается $g(\alpha x + (1-\alpha)y)=\alpha g(x) + (1-\alpha)g(y)$ для двоично-рациональных $\alpha$, далее показываем непрерывность и, как следствие, $g(x)=ax, \ f'(x)=ax+f'(0)$.

 Профиль  
                  
 
 Любопытно.
Сообщение06.02.2007, 12:23 
Заслуженный участник
Аватара пользователя


11/01/06
3828
Пусть $f\colon\mathbb{R}\to\mathbb{R}$ - трижды дифференцируемая $2\pi$-периодическая функция. Доказать, что уравнение $f'(x)+f'''(x)=0$ имеет по крайней мере $3$ корня на промежутке $[0;2\pi)$.

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


09/02/06
4401
Москва
У меня получается как минимум 4.

 Профиль  
                  
 
 
Сообщение06.02.2007, 12:48 
Заслуженный участник
Аватара пользователя


18/05/06
13438
с Территории
Напомнило:
Цитата:
- Харьков во время войны брали пять раз.
- Не может быть. Или четыре, или шесть. Иначе он остался бы у немцев.
:lol:

 Профиль  
                  
 
 
Сообщение06.02.2007, 19:03 
Заслуженный участник
Аватара пользователя


11/01/06
3828
Руст писал(а):
У меня получается как минимум 4.

Да, Вы правы. Просто задачу я спер с матлинкса, а там было сформулировано с 3 корнями. Соответственно, и решал я с 3. Но решение с 4 ничем не отличается в силу
Цитата:
- Харьков во время войны брали пять раз.
- Не может быть. Или четыре, или шесть. Иначе он остался бы у немцев.


На самом деле, если на пальцах, то очевидно, что не меньше 4. А вот доказать... Интересно послушать Ваше док-во. Хотя бы на пальцах :D

 Профиль  
                  
 
 
Сообщение06.02.2007, 20:47 
Заслуженный участник
Аватара пользователя


01/08/06
3136
Уфа
А может быть имелось в виду, что может быть кратный корень?

 Профиль  
                  
 
 
Сообщение07.02.2007, 07:53 
Заслуженный участник
Аватара пользователя


11/01/06
3828
worm2 писал(а):
А может быть имелось в виду, что может быть кратный корень?

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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 13 ] 

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



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

Сейчас этот форум просматривают: Shadow


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

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