Єдиність розв’язку

Теорема. Якщо функція , визначена і неперервна в замкнутій області і задовольняє рівнянню , то максимальні (мінімальні) значення досягаються або в початковий момент, або в точках границі .

Зауваження: з фізичної точки зору це природно, оскільки немає джерел тепла.

Доведення. Доведемо від супротивного. Нехай , де max обчислюється при , або при , або при , і припустимо що така, що є максимальне значення .

Порівняємо значення і в точці . Так як функція в точці досягає свого максимального значення, то і .

Далі, оскільки досягає максимуму в точці , то .

Розглянемо функцію , де . Очевидно і .

Виберемо так, щоб , тобто , тоді максимальне значення при , або при , або не буде перевищувати .

Однак в силу неперервності вона повинна в деякій точці досягати свого максимального значення, тобто , що .Враховуючи вище сазане маємо, що і . По аналогії з вище сказаним і

Звідси .

Тобто функція не задовольняє рівняння в точці що суперечить умові і доводить теорему. Аналогічно доводиться твердження теореми для мінімального значення.

Теорема (єдиності). Якщо дві функції і , визначені і неперервні на області , , задовольняють рівнянню теплопровідності

і то .

Доведення. Розглянемо функцію , тоді неперервна на області ; задовольняє рівняння теплопровідності, а також і нульовим початковому та граничним умовам. Звідси , згідно з попередньою теоремою, тобто теорему доведено.

Використовуючи вище вказаний метод, модифікуючи його під ситуацію, можна показати єдиність розв’язку задачі для нескінченної прямої, дивіться [5].

Поиск по сайту: