2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 differentiable function
Сообщение05.07.2011, 03:30 


19/01/11
718
Let $f:[0,1]\to \mathbb{R}$ be a continuos function such that at a point $ a$ , 0<a<1 the following limit exists
$$\lim\limits_{r\to0}\frac{f(a+r)-f(a)}{r}=L$$
($r\in\mathbb{Q}, {r\neq 0} , \mathbb{Q}$ - is the set of all rational number).
Prove that $f$ is differentiable at $a$ and
$$f'(a)=L$$

 Профиль  
                  
 
 Re: differentiable function
Сообщение05.07.2011, 14:13 
Экс-модератор


17/06/06
5004

(too easy?)

We can assume that $a=L=0$. Let $\delta>0$ be such that $|f(r)/r|<\varepsilon$ for $|r|<\delta$, $r\neq0$, $r\in\mathbb{Q}$. Since $f$ is continuous, it is easy to show that $|f(r)/r|\leqslant\varepsilon$ for all $r\in(-\delta,0)\cup(0,\delta)$. Since $\varepsilon>0$ is arbitrary, we see that $f'(0)=0$.

 Профиль  
                  
 
 Re: differentiable function
Сообщение05.07.2011, 14:14 


02/04/11
956
Follows from $\mathbb{Q}$ being dense in $\mathbb{R}$. That's not challenging at all.

 Профиль  
                  
 
 Re: differentiable function
Сообщение05.07.2011, 16:29 


19/01/11
718
AD в сообщении #465378 писал(а):
Since $f$ is continuous, it is easy to show that $|f(r)/r|\leqslant\varepsilon$

How we can show (or maybe prove) $|f(r)/r|\leqslant\varepsilon$?

 Профиль  
                  
 
 Re: differentiable function
Сообщение05.07.2011, 16:43 
Заслуженный участник


11/05/08
32166
myra_panama в сообщении #465418 писал(а):
How we can show

молча можем. Надо просто разумно переформулировать. Фактически надо доказать: если функция $g(x)$ непрерывна в выколотой окрестности нуля, и если её предел в нуле по точкам некоего всюду плотного множества равен нулю, то и предел вообще тоже существует и равен нулю.

Ну так надо просто (от противного) сформулировать на языке эпсилон-дельта утверждение о том, что предел вообще не есть ноль. И тогда практически автоматом получится, что и по всюду плотному множеству он нулём быть тоже не может.

И: это уж который случай, когда достаточно элементарное теоретическое упражнение зачем-то выдаётся за олимпиадную задачу...

 Профиль  
                  
 
 Re: differentiable function
Сообщение05.07.2011, 16:45 
Заслуженный участник


25/02/11
1797
Kallikanzarid в сообщении #465379 писал(а):
Follows from $\mathbb{Q}$ being dense in $\mathbb{R}$. That's not challenging at all.

А эти задачи должны быть в помогите решить/разобраться, только тс постит их сюда зачем-то :-)

 Профиль  
                  
 
 Re: differentiable function
Сообщение06.07.2011, 08:47 


19/01/11
718
From this olympiad:
2. Let$ A$ be an $m\times n$ matrix, $\mathbf{b}$ an m-vector, and $\alpha>0$.
Using the Euclidean norm, define
$$F(\mathbf{x})=\lVert A\mathbf{x}-\mathbf{b}\rVert_2^2+\alpha\lVert\mathbf{x}\rVert_2^2.$$
(a) Prove that $F(\mathbf{x})$ is a global minimum when $\mathbf{x}$ is a solution of the equation
$$(A^{T}A+\alpha I)\mathbf{x}=A^{T}\mathbf{b}.$$
(b) Prove that for $\mathbf{x}$, a global minimizer of F, we have
$$F(\mathbf{x}+\mathbf{h})=F(\mathbf{x})+\lVert A\mathbf{h}\rVert_2^2+\alpha\lVert\mathbf{h}\rVert_2^2.$$
((20-points))

 Профиль  
                  
 
 Re: differentiable function
Сообщение06.07.2011, 09:30 


02/04/11
956
Bullshit, no one in the right mind would ever use these for any contest.

 Профиль  
                  
 
 Re: differentiable function
Сообщение06.07.2011, 10:09 


19/01/11
718
$F(x+h)=F(x)+2(Ax-b|Ah)+2a(X|h) + ||Ah||^2 + ||h||^2$

the differential is $dF(x)(h)=2(Ax-b|Ah)+2a(X|h)=(2A^{T}.Ax-2A^{T}b +2ax | h)$

global minimum for any h ,$ dF(x)(h)=0$ then $ A^{T}.Ax-A^{T}b +ax =0$

 Профиль  
                  
 
 Re: differentiable function
Сообщение06.07.2011, 12:45 
Заслуженный участник


11/05/08
32166
Дифференцирование тут не особо при чём. Во-первых, можно считать очевидным, что точка глобального минимума существует. Во-вторых, если $x$ -- такая точка, то

$F(x+h)=(Ax-b+Ah,Ax-b+Ah)+\alpha(x+h,x+h)=$

$=(Ax-b,Ax-b)+2\operatorname{Re}(Ax-b,Ah)+(Ah,Ah)+\alpha(x,x)+2\alpha\operatorname{Re}(x,h)+\alpha(h,h)=$

$=F(x)+\|Ah\|^2+\alpha\|h\|^2+2\operatorname{Re}(A^*(Ax-b)+\alpha x,h).$

Чтобы эта точка давала действительно минимум, нужно, чтобы исчезло последнее слагаемое (поскольку оно линейно по $h$, в то время как предыдущие квадратичны). Т.е. вектор $A^*(Ax-b)+\alpha x$ должен быть ортогонален любому вектору $h$. Т.е. попросту должно быть $A^*(Ax-b)+\alpha x=0$.

Только это всё опять же никакая не олимпиадность, а стандартная регуляризация.

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

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



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

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


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

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