2014 dxdy logo

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

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


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


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Помогите понять утверждение
Сообщение12.01.2020, 20:58 


21/12/16
73
В учебнике А.В. Бицадзе есть доказательство, что функция
$$u(x,t) = \int\limits_S\frac{\mu(y_1,y_2,y_3)}{|y-x|}ds_y$$
является классическим решением волнового уравнения $\frac{\partial^2 u}{\partial t^2} = \Delta u$
Здесь: $\mu$ - произвольная дважды непрерывно дифференцируемая функция, $x = (x_1, x_2, x_3)$ -- центр трехмерной сферы $S$ радиуса $t$ (т.е. $|y-x|^2 = t^2$)

Затем делается замена переменных $x_i-y_i = t\xi_i, i=1,2,3$ и получаем формулу
$$u = tM(\mu) = t\int\limits_{|\xi| = 1}\mu(x_1 + t\xi_1,x_2 + t\xi_2, x_2 + t\xi_2)d\sigma_\xi$$
Затем просто утверждается (стр. 154 во втором издании книги), что функция $\frac{\partial}{\partial t}\left[tM(\mu)\right]$ также очевидно является классическим решением. Единственное дополнительное требование - это чтобы $\mu$ была трижды непрерывно-дифференцируемой функцией.

Каким образом это может быть очевидно? Я просто не понимаю, куда нужно смотреть или что нужно такого знать, чтобы по виду формулы $y = tM(\mu)$ увидеть этот факт.

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


15/10/08
11577
$$\partial _t \hat L = \hat L\partial _t  \Rightarrow \left( {\hat L\left[ {u\left(  \cdot  \right)} \right] = 0 \Rightarrow 0 = \partial _t \hat L\left[ {u\left(  \cdot  \right)} \right] = \hat L\left[ {\partial _t u\left(  \cdot  \right)} \right]} \right)$$

 Профиль  
                  
 
 Re: Помогите понять утверждение
Сообщение12.01.2020, 21:12 


21/12/16
73
Утундрий

Я честно не понимаю, что тут написано. Что такое $L$ с крышкой? Это интегральный оператор? Можете как-то пояснить словами пожалуйста?

 Профиль  
                  
 
 Re: Помогите понять утверждение
Сообщение12.01.2020, 21:20 
Заслуженный участник
Аватара пользователя


15/10/08
11577
ioleg19029700 в сообщении #1434764 писал(а):
Что такое $L$ с крышкой? Это интегральный оператор?
В данном случае это $\partial _{tt}  - \Delta $.

 Профиль  
                  
 
 Re: Помогите понять утверждение
Сообщение12.01.2020, 21:27 


21/12/16
73
Утундрий

А перестановочность операторов $\partial_t$ и $\hat{L}$ следует как раз из требования трижды непрерывной дифференцируемости?

 Профиль  
                  
 
 Re: Помогите понять утверждение
Сообщение12.01.2020, 21:29 
Заслуженный участник
Аватара пользователя


15/10/08
11577
Скорее, исторически было наоборот, но можно рассуждать и в таком направлении.

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

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



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

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


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

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