0) Если спросить, для каких
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
верны начальные и для каких
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
верны граничные условия, Вы, наверное, ответите, что начальные для
![$x\in[0;1]$ $x\in[0;1]$](https://dxdy-04.korotkov.co.uk/f/b/c/1/bc15dc42e358be0bec17f7d823c81ed782.png)
, а граничные для
![$t\geqslant 0$ $t\geqslant 0$](https://dxdy-01.korotkov.co.uk/f/4/0/8/408f69b2f7bb4dd547b601af764f3ad182.png)
. Но это точно не так:
![$U_t(1,0)=0$ $U_t(1,0)=0$](https://dxdy-01.korotkov.co.uk/f/4/6/d/46db13a8054f2d3790b9dacd2b56f5ec82.png)
согласно
![$U_{t}(x,0)=0$ $U_{t}(x,0)=0$](https://dxdy-01.korotkov.co.uk/f/4/3/2/4323aea1dc43d30aa20445e298c620e382.png)
, но
![$U_t(1,0)=1$ $U_t(1,0)=1$](https://dxdy-03.korotkov.co.uk/f/2/b/c/2bc116bd2601e63fb64a9e187ad83e8d82.png)
согласно
![$U(1,t)=\cos t + t$ $U(1,t)=\cos t + t$](https://dxdy-03.korotkov.co.uk/f/e/7/f/e7f3c5d6e07d37278294cd60d377f32482.png)
Чтобы спасти задачу, исключим точку
![$x=1,t=0$ $x=1,t=0$](https://dxdy-01.korotkov.co.uk/f/0/5/8/0581e1287a6eb8f46cdcb9060f24df8a82.png)
из одного или обоих условий. Но всё равно производная
![$U_t$ $U_t$](https://dxdy-04.korotkov.co.uk/f/f/d/c/fdc822bad5a98c9c461c8a43e284370382.png)
будет разрывной.
Это не страшно для гиперболического уравнения, нужно только расширить класс допустимых решений. Но про гладкие решения придётся забыть.
1) Делаем замену, похожую на Вашу:
![$U(x,t)=W(x,t)+\cos t $ $U(x,t)=W(x,t)+\cos t $](https://dxdy-02.korotkov.co.uk/f/1/e/4/1e43574587f13a8b406c91d82022b8ed82.png)
. Получаем задачу
![$W_{tt}=W_{xx}$ $W_{tt}=W_{xx}$](https://dxdy-02.korotkov.co.uk/f/5/3/1/5319323422b4fcf7d4814a204f667ac982.png)
с условиями
Начальные условия:
![$W_{t}(x,0)=0,\quad W(x,0)=0$ $W_{t}(x,0)=0,\quad W(x,0)=0$](https://dxdy-01.korotkov.co.uk/f/c/c/6/cc6ee61e35643928a943e6b3346d1fb582.png)
Граничные условия:
![$W_{x}(0,t)=0,\quad W(1,t)=t$ $W_{x}(0,t)=0,\quad W(1,t)=t$](https://dxdy-04.korotkov.co.uk/f/7/0/f/70f41aedd4b205abe60d49a257c02e3582.png)
2) Расширим область до
![$x\in[-1;1], t\geqslant 0$ $x\in[-1;1], t\geqslant 0$](https://dxdy-03.korotkov.co.uk/f/a/7/8/a784c4361cf31623cf6b02dad21476b082.png)
и будем считать, что искомая
![$W$ $W$](https://dxdy-01.korotkov.co.uk/f/8/4/c/84c95f91a742c9ceb460a83f9b5090bf82.png)
чётна по
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
, то есть
![$W(x,t)=W(-x,t)$ $W(x,t)=W(-x,t)$](https://dxdy-04.korotkov.co.uk/f/7/3/9/7393850904ee2f9a075dff1fcd3278eb82.png)
. Тогда условие
![$W_{x}(0,t)=0$ $W_{x}(0,t)=0$](https://dxdy-02.korotkov.co.uk/f/1/8/3/1833c8b9b73ffa698b6506bd9719536b82.png)
будет выполнено автоматически. Будем искать
![$W$ $W$](https://dxdy-01.korotkov.co.uk/f/8/4/c/84c95f91a742c9ceb460a83f9b5090bf82.png)
как суперпозицию двух бегущих волн с постоянными профилями:
![$W(x,t)=f(t-x)+g(t+x)$ $W(x,t)=f(t-x)+g(t+x)$](https://dxdy-02.korotkov.co.uk/f/1/a/9/1a95102d495377b8ad5dab0d6d37657a82.png)
В силу чётности
![$W(x,t)=f(t-x)+f(t+x)$ $W(x,t)=f(t-x)+f(t+x)$](https://dxdy-01.korotkov.co.uk/f/c/3/d/c3d4d49d2962e3c9b9b980bdc78f943e82.png)
Пока не очень поздно, сдвинем для удобства аргумент на единичку:
![$W(x,t)=f(t-1-x)+f(t-1+x)$ $W(x,t)=f(t-1-x)+f(t-1+x)$](https://dxdy-04.korotkov.co.uk/f/3/8/f/38f0b1630788c2fbebb5012a64c8042582.png)
3) Начальные условия обеспечим, положив
![$f(t)=0$ $f(t)=0$](https://dxdy-03.korotkov.co.uk/f/6/f/3/6f36de0603facd1b861ce491d93470b282.png)
при
![$t<0$ $t<0$](https://dxdy-01.korotkov.co.uk/f/8/2/e/82ee8609c7feb14aac10962813b591b582.png)
(проверьте это, пожалуйста). Остаётся одно граничное условие (на каждой из границ
![$x=\pm 1$ $x=\pm 1$](https://dxdy-03.korotkov.co.uk/f/6/4/0/64020107defd3817dcc7cca0a452c4f282.png)
):
![$f(t)+f(t-2)=t$ $f(t)+f(t-2)=t$](https://dxdy-03.korotkov.co.uk/f/6/d/3/6d33f39d1e03e070e9230ff4893fa40e82.png)
Найдите отсюда
![$f(t)$ $f(t)$](https://dxdy-03.korotkov.co.uk/f/2/7/0/27099e26220f898359382d05f75b941c82.png)
последовательно для
![$t\in[0;2)$ $t\in[0;2)$](https://dxdy-02.korotkov.co.uk/f/9/8/4/9848d62629a0ecc40c1b14b05b46ff7282.png)
, потом для
![$t\in[2;4)$ $t\in[2;4)$](https://dxdy-02.korotkov.co.uk/f/9/2/4/9240ece4dd8b6695e700c0ff61fd492c82.png)
и так далее.