2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Символ оператора.
Сообщение30.03.2015, 21:28 
Аватара пользователя


04/02/12
305
Ростов-на-Дону
Доброго времени суток!

Вопрос понимаю, что простой, но чего-то торможу.

Имеем разложение символа:
$$
a(x,\xi)\approx a_0(x,\xi)+a_1(x,\xi)+\dots
\eqno(1)$$

Пусть $\theta(\xi)$ бесконечно гладкая на $\mathbb R^n$, равная $0$ в окрестности начала и $1$ вне большей окрестности.

Тогда из $(1)$ умножением на $\theta(\xi)$ получаем, что
$$
a(x,\xi)\sim \theta(\xi) a_0(x,\xi)+\theta(\xi) a_1(x,\xi)+\dots,
\eqno(2)$$

обратно имеем $(1)$.

Почему при умножении на $\theta(\xi)$ получаем, не это
$\theta(\xi) a(x,\xi)\sim \theta(\xi) a_0(x,\xi)+\theta(\xi) a_1(x,\xi)+\dots$?

Спасибо!

 Профиль  
                  
 
 Re: Символ оператора.
Сообщение30.03.2015, 21:58 
Заслуженный участник


25/02/11
1797
А что в данном случае означает символ $\sim$?

 Профиль  
                  
 
 Re: Символ оператора.
Сообщение30.03.2015, 22:21 
Аватара пользователя


04/02/12
305
Ростов-на-Дону
Vince Diesel, тоже, что и $\approx$, разложение в ряд. Взято тут, лекция №7.

 Профиль  
                  
 
 Re: Символ оператора.
Сообщение30.03.2015, 22:28 
Заслуженный участник


25/02/11
1797
Как указано там в определении, оценки должны быть выполнены для достаточно больших $\xi$, а там $\theta(\xi)=1$.

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


31/01/14
11352
Hogtown
samson4747 в сообщении #998222 писал(а):
тоже, что и $\approx$, разложение в ряд

А почему не просто $=$? (Подсказка: в каком смысле ряд суммируется?)

 Профиль  
                  
 
 Re: Символ оператора.
Сообщение30.03.2015, 22:36 
Аватара пользователя


04/02/12
305
Ростов-на-Дону
Да, да, да. Не спать ночами, это сложно.

Последний вопрос:
Из теоремы 5 лекция №4 , следует теорема 3 лекция №7. очевидно, но почему? Чего я опять проспал?

Благодарю!

-- 30.03.2015, 23:40 --

Red_Herring, асимптотический ряд из символов $a_j$ потому что, была бы конечная сумма написал бы $=$ или не понял Вас?

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


31/01/14
11352
Hogtown
Дело не в том что ряд бесконечный, а в том что равенство асимптотическое.

Что касается вопроса "из теоремы … " следует … , то Вам следует понять

1) Что такое класс $\Psi^m$? Включает ли он в себя все полиоднородные символы (или символы асимптотически от них неотличимые)?

2) Если $a$ полиоднородный, то будет ли $a^{(*)}$ таким же?

 Профиль  
                  
 
 Re: Символ оператора.
Сообщение30.03.2015, 22:53 
Аватара пользователя


04/02/12
305
Ростов-на-Дону
1) Это класс псевдодифференциальных операторов. Нет.
2) Скорее да, чем нет.

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


31/01/14
11352
Hogtown
1) … Ошибка. Полиоднородные символы (а точнее их асимптотические суммы) входят в класс $S^{m}$. Но не всякий символ этого класса разлагается в асимптотический ряд по однородным

 Профиль  
                  
 
 Re: Символ оператора.
Сообщение30.03.2015, 23:13 
Аватара пользователя


04/02/12
305
Ростов-на-Дону
Точно!!! Лучше всё-таки поспать, а то работаю ночами, а тут хоть и лёгкие, а свои тонкости всё-таки есть.

Благодарю Вас!

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

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



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

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


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

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