Опр. 10 Функция F(x) называется первообразной для функции f(x) на интервале X

• Название: Опр. 10 Функция F(x) называется первообразной для функции f(x) на интервале X
• Дата: 21.06.2018
• Размер: 0.99 Mb.
• Имя файла: matan.docx
• Тип: Документы; #47604
• страница: 6 из 6

14.5.9. Теорема о структуре общего решения линейного неоднородного дифференциального уравнения. Теорема о наложении решений. Мы установили, что для того, чтобы решить линейное однородное уравнение, необходимо найти его фундаментальную систему решений. В этом разделе покажем, что решение неоднородного уравнения сводится к решению однородного, если удаётся найти частное решение этого неоднородного уравнения. Справедлива 
Терема 14.5.9.1 о структуре общего решения линейного неоднородного дифференциального уравнения. Общее решение линейного неоднородного дифференциального уравнения с непрерывными на интервале (a, b) коэффициентами и правой частью

Ln(y) = ;

(20)

равно сумме общего решения соответствующего однородного уравнения

Ln(y) = ;

(21)

и частного решения неоднородного уравнения (20):
y_он(x) = y_оо(x) + y_чн(x) = (C₁ y₁(x) + C₂ y₂(x) + …+ C_n y_n(x)) + y_чн(x). 
Док-во. Мы должны доказать, что если известно частное решение y_чн(x) неоднородного уравнения (20), то любое его другое частное решение  может быть получено по формуле  при некотором наборе постоянных C₁, C₂, …, C_n. Так как и y_чн(x), и  - решения неоднородного уравнения (20), то L_n(y_чн(x)) = f(x) и , следовательно, по линейности оператора L_n(y), . Функция  удовлетворяет однородному уравнению, поэтому содержится в формуле C₁ y₁(x) + C₂ y₂(x) + …+ C_n y_n(x) при некотором наборе постоянных C₁, C₂, …, C_n: . Таким образом, , что и требовалось доказать. 
Из предыдущей теоремы следует, что для нахождения общего решения линейного неоднородного дифференциального уравнения необходимо знать его частное решение. Здесь мы сформулируем и докажем теорему, которая позволяет свести нахождение частного решения неоднородного уравнения с правой частью вида  ( - постоянные) к, возможно, более простой задаче нахождению частных решений этого уравнения с правыми частями вида f(x) = f₁(x), f(x)=f₂(x): 
Теорема 14.5.9.2 о наложении решений. Если y_1,чн(x) - частное решение неоднородного уравнения L_n(y) = f₁(x), y_2,чн(x) - частное решение неоднородного уравнения L_n(y) = f₂(x), то функция  является частным решением неоднородного уравнения . 
Док-во основано на линейности оператора L_n(y): , что и требовалось доказать.

14.5.10. Метод Лагранжа (метод вариации произвольных постоянных) решения неоднородного уравнения. Теперь мы знаем, как устроены общие решения и неоднородного линейного уравнения (сумма его частного решения и общего решения соответствующего однородного уравнения), и однородного линейного уравнения (линейная комбинация функций из фундаментальной системы решений). Остался вопрос: как найти фундаментальную систему решений и частное решение? Оказывается, в общем случае фундаментальную систему решений можно найти только для уравнений с постоянными коэффициентами (и уравнений, которые сводятся к уравнениям с постоянными коэффициентами). Такими уравнениями мы займёмся ниже, а в этом разделе рассмотрим метод вариации произвольных постоянных решения неоднородного уравнения. Принципиально то, что этот метод работает, если известна фундаментальная система решений линейного уравнения. Основную идею этого метода изложим для самого простого случая неоднородного уравнения второго порядка

;

(29)

Пусть y₁(x), y₂(x) - фундаментальная система решений соответствующего однородного уравнения

;

(30)

y_оо(x) = C₁ y₁(x) + C₂ y₂(x) - общее решение однородного уравнения (30). Идея метода Лагранжа состоит в следующем. Ищем общее решение неоднородного уравнения (29) в том же виде y(x)=C₁(x)y₁(x) + C₂(x)y₂(x), предполагая, что постоянные C₁, C₂ - не постоянные, а функции, зависящие от x: C₁ = C₁ (x), C₂ = C₂(x). Мы должны найти эти функции. Находим производную : .
Дальше надо вычислять вторую производную. Воспользуемся тем обстоятельством, что вместо одной функции y(x) мы ищем две функции C₁ (x) и C₂(x), и, как следствие, можем наложить произвольную связь на эти функции. Для того, чтобы в выражении для второй производной  не участвовали вторые производные функций C₁ (x) и C₂(x), в качестве этой связи положим

;

(31)

Тогда .Подставляем выражения для y(x) и её производных в уравнение (29): 
Преобразуем: 
Выражения в квадратных скобках раны нулю, так как функции y₁(x), y₂(x) - решения однородного уравнения (30), поэтому окончательно

;

(32)

Уравнения (31),(32) дают замкнутую систему для функций  и :

(33)

определитель этой системы совпадает с вронскианом функций y₁(x), y₂(x) и поэтому отличен от нуля, следовательно, система имеет единственное решение , . Находя это решения и интегрируя выражения производных для  и , получим C₁ (x) и C₂(x), а значит, и общее решение неоднородного уравнения (29) y(x) = C₁ y₁(x) + C₂ y₂(x). 
Пример: найти общее решение уравнения . 
Мы начали решать эту задачу в разделе 14.5.8. Понижение порядка линейного однородного уравнения. Была найдена фундаментальная система решений соответствующего однородного уравнения и его общее решение y_оо (x) = C₁ x + C₂ln x. В соответствии с методом вариации, ищем решение неоднородного уравнения с приведённым к единице коэффициентом при старшей производной  в виде y(x) = C₁(x) x + C₂(x)ln x. Система (33) для коэффициентов  и будет такой:   
Ответ: общее решение уравнения y(x) = C₁ y₁(x) + C₂ y₂(x) = (- x ln x + C₁⁰)x + (в окончательном ответе индекс "0" у постоянных опущен).
В общем случае неоднородного уравнения n-го порядка , если известна фундаментальная система решений y₁(x), y₂(x), …, y_n(x) соответствующего однородного уравнения, решение неоднородного уравнения ищется в виде y(x) = C₁(x) y₁(x) + C₂(x) y₂(x) + …+ C_n(x) y_n(x). Тогда  
Потребуем, чтобы сумма слагаемых, содержащих производные функций C_i(x), т.е. чтобы сумма, стоящая в квадратной скобке, была равна нулю: , тогда
 
Опять положим , и т.д. Для n-ой производной получим 
Подставляя выражения для производных в неоднородное уравнение и учитывая, что функции y_i(x) удовлетворяют соответствующему однородному уравнению, получим . Вместе с принятыми ранее соотношениями для производных  получим систему уравнений 
 
Определитель этой системы, как и при n = 2, совпадает с вронскианом фундаментальной системы решений, следовательно, система имеет единственное решение . Находя это решение и интегрируя, найдём C_i(x) (i = 1, 2, …, n), а значит, и общее решение неоднородного уравнения (29) y(x) = C₁(x) y₁(x) + C₂(x) y₂(x) + …+ C_n(x) y_n(x).