2014 dxdy logo

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

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




 
 Дифференцируемые симметричные функции
Сообщение03.02.2008, 20:37 
О строго выпуклых симметричных функциях $F:\mathbb{R}^2\to \mathbb{R}$, $G:\mathbb{R}^2\to \mathbb{R}$ известно следующее:
(1) $F$ и $G$ непрерывно дифференцируемы по каждому из аргументов, причем $F'_x(x,y)\neq 0$, $G'_x(x,y)\neq 0$ тогда и только тогда, когда $x\neq y$;
(2) существует функция $p:\mathbb{R}\to \mathbb{R}$, такая, что:
$F'_x(x,y) = p(x)G'_x(x,y)$ для всех $x$ и $y$ из $\mathbb{R}$.

Следует ли из этого, что $p(x)\equiv const$?

P.S. Например, если $F$ и $G$ дважды непрерывно дифференцируемы, то ответ на данный вопрос утвердительный:
дифференцируем (2) по $y$ и используем тот, факт, что у симметричных функций смешанные частные производные $F''_{xy}$, $G''_{xy}$ тоже симметричны. Следовательно, $p$ - также симметричная функция, что возможно, только если $p(x)\equiv const$.

Спасибо.

 
 
 
 
Сообщение04.02.2008, 00:15 
Выпуклые функции дважды дифференцируемы почти всюду - теорема А.Д. Александрова.
Так что равенство $F_{xy}(x,y)=p(x)G_{xy}(x,y)$ должно быть выполнено п.в. Не достаточно ли этого?

 
 
 
 
Сообщение05.02.2008, 19:47 
Спасибо за наводку! Надо посмотреть.

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


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