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
11587
$$\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
11587
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
11587
Скорее, исторически было наоборот, но можно рассуждать и в таком направлении.

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

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



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

Сейчас этот форум просматривают: Bing [bot]


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

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