Однородные граничные условия
англ. Homogeneous boundary conditions
Граничные условия с нулём справа: u = 0, u_x = 0 или α·u + u_x = 0 на границе. Именно они делают задачу спектральной: без однородности нет собственных значений и не работает метод Фурье.
Граничное условие однородно, если справа стоит ноль: температура края нулевая , торец теплоизолирован , упругое закрепление при нулевом смещении среды. Смысл не «нет данных», а «граница не подпитывает процесс извне»: закреплённая струна и изолированный стержень отвечают именно им. Типы условий — Дирихле, Нейман, третий род — разобраны в материале граничные условия; здесь важна другая роль: однородность превращает краевую задачу в спектральную. Однородная задача с однородными краями тривиальна при любом , но при особых вдруг отвечает ненулевыми решениями — так рождаются собственные значения, и устроена эта механика в материале задача Штурма–Лиувилля.
Почему это критично для метода Фурье: при неоднородных краях решение существует при каждом , никакого отбора нет — и раскладывать начальные данные не по чему. Однородные условия оставляют лишь — базис, по которому разворачивается произвольный профиль; конвейер целиком — в материале метод разделения переменных для УЧП и уроке метод разделения переменных. Что делать с неоднородностью: вычесть её. Подстановка , где несёт на себе граничные данные, оставляет с однородными краями, а правая часть уравнения поправляется на . Пример: стержень с температурами торцов — от статического профиля с однородными краями задача отличается только начальным условием. Сопутствующие материалы: собственные функции краевой задачи, смешанная задача, тренажёр тренировка по математической физике.
Частые вопросы
Почему задача на собственные значения требует именно однородных условий?
Потому что однородность делает систему замкнутой относительно умножения: вместе с решением любое тоже решение, и задача отвечает не конкретным профилем, а направлениями — модами. Именно эта масштабная свобода позволяет отбирать , при которых нулевое решение перестаёт быть единственным. Неоднородное условие фиксирует масштаб, решение существует при каждом , спектра нет, и разложению по модам взяться неоткуда. Однородность — цена входа в спектральный мир.
Какую функцию ψ брать для приведения к однородным условиям?
Любую гладкую, удовлетворяющую граничным данным — обычно берут простейшую: линейную по между двумя значениями торцов или гармоническую по пространству, попутно гасящую и правую часть. На не приходится жёстких требований: что она заберёт с границы, то вернёт в уравнение поправкой, и итоговое решение от выбора не зависит — меняется лишь разложение промежуточной задачи. Практический критерий: чем глаже , тем быстрее сходится ряд для .