2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Доказать эквивалентность норм
Сообщение04.10.2014, 01:14 
Заслуженный участник
Аватара пользователя


28/04/14
968
спб
Заданы две нормы на $C^{1}([0;1])$:
$\|x(t)\|_{1}=|x(0)|+\int_{0}^{1}|x'(t)|dt$
$\|x(t)\|_{2}=\max|x(t)|+\int_{0}^{1}|x'(t)|dt$
Нужно доказать их эквивалентность.

Неравенство $\|x(t)\|_{1} \leq \|x(t)\|_{2}$ очевидно. Чтобы доказать в другую сторону, рассмотрим последовательность, сходящуюся по первой норме: $x_n(t) \to  x(t)$ и покажем, что она сходится и по второй.
$\|x_n(t)-x(t)\|_{1}=|x_n(0)-x(0)|+\int_{0}^{1}|x_n'(t)-x'(t)|dt \to 0$
Теперь через
$|x_n(0)-x(0)| < \varepsilon$
$\int_{0}^{1}|x_n'(t)-x'(t)|dt < \varepsilon$
Нужно оценить $\max|x_n(t)-x(t)|$. Тут начинаются проблемы.
Если использовать неравенство $\max|x_n(t)-x(t)| \leq |x_n(0)-x(0)| + \max|x_n'(t)-x'(t)|$, то далее непонятно чем можно оценить $\max|x_n'(t)-x'(t)|$. Как-то приблизиться к этому можно с помощью теоремы о среднем: $\int_{0}^{1}|x_n'(t)-x'(t)|dt =|x_n'(\theta_n)-x'(\theta_n)|  < \varepsilon$. Далее идеи заканчиваются.

 Профиль  
                  
 
 Re: Доказать эквивалентность норм
Сообщение04.10.2014, 09:22 
Заслуженный участник
Аватара пользователя


24/02/12
1842
Москва
$$\max|x(t)|\leqslant|x(0)|+\int_0^1|x'(t)|dt,$$
поэтому $\|x(t)\|_2\leqslant2\|x(t)\|_1$.

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

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



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

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


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

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