Тогда имеет место противоположное утверждение: для любого х^[0, L] решение уравнения:
дГ
dt |
дх |
а----- 1 /
дх у
является невозрастающей функцией по t, что соответствует выполнению соотношения
р{х, t')>p(x, П (VII. 12)
при Г<Г, jc6[O, L].'
Поскольку доказательства этих теорем идентичны, то докажем лишь одну из них.
Доказательство теоремы 1. Заменим переменные:
Тогда уравнение (VII.4) относительно z принимает вид дг , > ч &г
(VII.13)
+f(x, U г, zx), |
где
§ =
/==
дх д
дг
J
212
дх
Поскольку из условий эксплуатации газопровода
д<е<о, -£.<<>.
дх дх
то f(x, t, z, zx)^0.
Легко доказать, что граничным условиям (VII.10) для уравнения (VII. 13) относительно z будут соответствовать следующие эквивалентные граничные условия:
2(0, 0= ((( ]
(VIU4)
дх ^ дх '2 v ' дх
Выберем два решения уравнения (VII.13) относительно z при следующих граничных условиях (VII. 14): 1) Zi(x, t) соответствует f(x, t, z, zx)^0; 2) z%(x, t) соответствует f(x, t, z, 2»)s0. Тогда, согласно теореме Редхеффера, имеем Zi{x, t)^z2(x, f). Учтем условия согласования на границах; ^ (0) =/г(0);
Из ограничений, накладываемых на функции fi(t) и fz(t)t следует, что
/i (О-Ф(О) > 0; ft{t)B-M- < 0 при У>0.
Рассмотрим решение уравнения (VII. 13) при нулевых граничных условиях z{x, 0)=0; Д(^) =0* /2(0==0» а также при f(x,t,z,zx)=O.
Тогда, в силу единственности решения ,^VI 1,13), очевидным решением будет z(x, ^)*^0„ откуда, в силу'теоремы Редхеффера, имеем z2(x, /)^0, а следовательно, г±(х, t)^0.
Для всех Х(={[0, L][0, Т]}. Поэтому р(х,-"/)><р(*). Положим р(лг, f) =г|)(д;) =^(^, 0). Рассмотрим решение (VII.13) при следующих граничных условиях:
шо-у-т
Очевидно, /fW^ftW. h{t)^f%{t)> 4>(x)><p(x). Отсюда по теореме Редхеффера имеем y(x,t)^p(x, t). Но в силу существования и единственности (VII. 13) получим
y(x,t)=*p(x,t' + t).
, Следовательно, р(дс, ^+//)^/?(^»- 0- Но так как V выбрано совершенно произвольно, можно заключить, что р(х, f)^. ^(, t") для всех х^[0, L], поскольку при t'^t";;t', t"^
213
, °°]. что и требовалось доказать. Теорема 2 доказывается аналогично.
Эти две теоремы позволяют доказать третью теорему, дающую аналитические оценки решения уравнения (VII.4) при различных граничных условиях.
Теорема 3. Пусть р{х, t) —суть решения уравнения (VII.4) при граничных условиях (VII. 10). Тогда всегда можно подобрать верхнюю и нижнюю границы оценок решения р{х, t) такие, что выполняется условие
х, f)<p(x,
, t)
(VII. 15)
для всех л;<=[0, L], /е[0, оо].
Доказательство. Пусть р(х, х) суть решения уравнения (VII.4) при граничных условиях (VII.10) для моментов t=x.
Сравним решение р(х, т} с решением р(х, т), полученным при начальном условии р(х, 0)=а(х) с граничными условиями
p(O,x)=f\
(x, т) дх
При этом мы считаем, что
max/ |
а (0) при т — 0
/ max /х (т), а (0)) при т > 0;
I d*a(x)
minj min /2(т);
Нетрудно видеть, что на отрезке 0<т< t,
да? (х)
X=L
при т > 0.
Следовательно, по теореме Редхеффера р(х, т)^.р(х, х) при те[0, /]. Кроме того, ff (т) —неубывающая, а /° (т) — не-возрастающая функции, и по заданному условию
дх
причем р(х, t), p(x, t) задаются следующими аналитическими выражениями:
р{х, t) =
р {х, t) = Yy\ (t) + Ву\ (t) x j
(VII. 16)
214
где:
уг (t) = max { max fx (т), а (0)};
r£[0t]
(x)
В дх \х=
дх
Функции а (л;), $(х) определяются как верхняя и нижняя грани для ф(дг):
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.