2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Задачка
Сообщение07.05.2007, 20:39 


14/01/07
47
Найти все числа a такие, что если выполнено:
\{x\}+\{ay\}=\{y\}+\{ax\}, то выполнено:
\{x\}=\{y\} (\{a\}-дробная часть)

 Профиль  
                  
 
 
Сообщение09.05.2007, 21:55 


14/01/07
47
Помогите плиз.
Подкинули есче одну:
Функция f(x) дважды дифференцируема на [0,1]
f(0)=f(1)=0
f'(0)=1
Найти минимум \int\limits_0^1 f''(x)^2dx

 Профиль  
                  
 
 
Сообщение09.05.2007, 22:11 
Супермодератор
Аватара пользователя


29/07/05
8248
Москва
Поскольку первообразная функции $f''(x)$ очевидна, то интеграл расписывается в виде разности этой первообразной в конце и в начале. Ну а дальше, по-моему, очевидно, что эта разность может быть сколь угодно близкой к $-\infty$, так что минимум не достигается.

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


01/03/06
13626
Москва
Из этого равенства:\[\int\limits_0^1 {f''(x)dx = f'(1) - f'(0)}  = f'(1) - 1\]
и условий на функцию видно, что минимума нет (интеграл неограничен снизу).

 Профиль  
                  
 
 
Сообщение09.05.2007, 22:36 


14/01/07
47
Извините не заметил, что не так написал. Смотрите теперь.

 Профиль  
                  
 
 
Сообщение10.05.2007, 02:01 


14/01/07
47
Пока ждал помощи решил первую задачу. Если интересно, то a=(k-1)/k где k- целое не равное 0

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


14/01/07
787
xolms писал(а):
Функция $f(x)$ дважды дифференцируема на [0,1]
$f(0)=f(1)=0$
$f'(0)=1$
Найти минимум $\int\limits_0^1(f''(x))^2dx$


Минимум, а точнее $inf$ этого функционала равен $0$. Чтобы это понять, возьмем функцию:
$f(x)=$\left\{ \begin{array}{l} 
   x   ,0\leq x \leq \frac{1}{2}\\ 
1-x, \frac{1}{2}\leq x \leq 1 \end{array} \right.,
сгладим ее в точке $x=\frac{1}{2}$ "кусочком" параболы $y=-ax^2, x\in [-\frac{1}{2a},-\frac{1}{2a}], a> 0$, сдвинув ее куда надо. Полученная функция будет дважды дифференцируема, кроме 2 точек, но это не страшно и дела не меняет. А наш функционал на такой функции будет равен
$\int\limits_{{-\frac{1}{2a}}}^{{\frac{1}{2a}}} 4a^2 dx = 4a$ и может быть сделан сколь угодно малым.

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


11/01/06
3828
neo66
Решение неверно. Когда $a\to0$, то отрезочек $[-\frac1{2a};\frac1{2a}]$ получится слишком длинный, поэтому "сдвинуть" этот кусочек параболы нужным образом не получится. На самом деле легко показать, что минимум достигается на функции $f(x)=x-\frac32x^2+\frac12x^3$.

Решается стандартно. Обозначим $J(f(x))=\int_0^1(f''(x))^2dx$. Допустим, что на функции $f(x)$ достигается минимум. Возьмём любую функцию $h(x)\in C^2[0;1]$, такую что $h(0)=h(1)=h'(0)=0$, и рассмотрим функцию $F(t)=J(f(x)+th(x))$, $t\in\mathbb{R}$. Она имеет минимум в нуле, следовательно, $F'(0)=0$, т.е. $\int_0^1f''(x)h''(x)\,dx=0$. И это верно для любой $h$, т.е. получено условие, которому должна удовлетворять наша $f(x)$. Допустим, что $f(x)\in C^4[0;1]$. Дважды беря интеграл по частям (оба раза под дифференциал загоняем функцию $h$), видно, что это условие выполняется, если $f''(1)=0$ и $f^{(4)}(x)=0$. Легко проверить, что эта функция действительно доставляет (глобальный) минимум в задаче (в задаче ведь требуется, чтобы $f$ была дважды непрерывно дифференцируема?).

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


14/01/07
787
Извиняюсь за дезинформацию. Я и сам увидел, что спорол чушь, но было уже поздно :) .

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


01/03/06
13626
Москва
Ну, раз уж зашла речь о функционалах, то можно бы было сразу посмотреть на эту задачу, как на классическую задачу со старшими производными классического вариационного исчисления, написать необходимое условие экстремума - уравнение Эйлера-Пуассона:
\[\frac{{d^2 }}{{dx^2 }}\hat L_{f''}  - \frac{{d^{} }}{{dx^{} }}\hat L_{f'}  + \hat L_f  = 0\] для Лагранжиана \[L = (f''(x))^2 \], решить это уравнение, учесть граничные условия, после чего проверить достаточные условия экстремальности, например, проварьировав, как это сделал RIP, полученное решение вручную, или использовать более громоздкие достаточные условия экстремума из КВИ .

 Профиль  
                  
 
 
Сообщение11.05.2007, 13:19 


15/03/07
128
Brukvalub писал(а):
Из этого равенства:\[\int\limits_0^1 {f''(x)dx = f'(1) - f'(0)}  = f'(1) - 1\]
и условий на функцию видно, что минимума нет (интеграл неограничен снизу).

А куда Вы квадрат дели?

 Профиль  
                  
 
 
Сообщение11.05.2007, 13:44 
Супермодератор
Аватара пользователя


29/07/05
8248
Москва
Pyphagor писал(а):
А куда Вы квадрат дели?


В первоначальном варианте поста квадрата не было.

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


01/03/06
13626
Москва
Pyphagor писал(а):
А куда Вы квадрат дели?
Это не я дел куда-то квадрат, это первоначальная авторская формулировка задачи, затем автором же поправленная. А ответ я писал (как и PAV) по первой, неверной формулировке.

 Профиль  
                  
 
 
Сообщение11.05.2007, 18:40 


14/01/07
47
Спасибо, но есть вопрос:
Цитата:
$F'(0)=0$, т.е. $\int_0^1f''(x)h''(x)\,dx=0$

Недопонял этого.

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


11/01/06
3828
xolms писал(а):
Спасибо, но есть вопрос:
Цитата:
$F'(0)=0$, т.е. $\int_0^1f''(x)h''(x)\,dx=0$

Недопонял этого.

$F(t)~-$ это квадратный трёхчлен. Посчитайте его производную.

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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