Фундаментальная система решений. Теорема о существовании фундаментальной системы решений. Структура общего решения линейного однородного уравнения 2-го порядка.
(1) . Существуют
–решения (1), если эти решения линейно независимы, то говорят, что они образуют фундаментальную систему решений
(2). Теорема: любое уравнение (1) имеет фундаментальную систему решений. Док-во: выберем произвольную точку
и возьмем 4 числа:
так, чтобы определитель, который составлен из этих чисел
.
,
. Для уравнения (1) рассмотрим две задачи Коши: 1)
–решение (I). 2)
– решение (II). По теореме Коши каждая из задач имеет единственное решение. Покажем, что решения линейно независимы:
, значит
линейно независимы. Структура общего решения: пусть
–фундаментальная система решений уравнения (1), тогда любое решение уравнения (1) y(x) равно:
(3), где
–постоянные. Пусть y(x) – решение (1), возьмем произвольную точку
и рассмотрим систему:
(4),
– неизвестные.
. По теореме Крамера система (4) имеет единственное решение.
–решения. Рассмотрим функцию
(5) – решение (1). y(x) , z(x) – решения одной и той же задачи Коши, а в силу единственности, они совпадают:
(6) ,
. Для нахождения общего решения линейного однородного уравнения достаточно теперь находить какую-нибудь его ФСР.
Структура общего решения линейного неоднородного уравнения 2-го порядка.
Рассмотрим линейное неоднородное уравнение (1) и соответствующее ему линейное однородное уравнение
(2). Лемма 1: пусть
– решение (2), а
– решение (1), тогда
(3) – решение (1). Доказательство: т.к.
– решение (2), выполняется:
,
,
. Теорема:Пусть
–фундаментальная система решений уравнения (2),
– решение уравнения (1), тогда любое решение y(x) уравнения (1) представимо в виде
(4), где
Док-во: Пусть y(x) – решение (1). Выберем произвольную точку
и рассмотрим линейную алгебраическую систему:
(5) ,
и
–неизвестные.
,
– решение (5). Система (5) имеет единственное решение, рассмотрим функцию
. Сосчитаем
,
. Соответственно z(x) и y(x) решают одну и ту же задачу Коши. В силу единственности
, то есть решение представимо в виде (4), ч.т.д. Для нахождения всех решений уравнения (1) достаточно знать: 1) ФСР уравнения (2) 2) Любое решение
(1).
22. Метод вариации произвольных постоянных (метод Лагранжа).
Имеется линейное однородное и неоднородное уравнения: ,
. Пусть
–фундаментальная система решений уравнения (2), тогда имеет место Теорема Лагранжа: функция
(3) , где A(x) , B(x) –решения линейной алгебраической системы:
(4). (4) – решение линейного неоднородного уравнения (1).
. Проверим, что (3) – решение (1), для этого подставим (3) в (1).
Принцип наложения частных решений линейного неоднородного дифференциального уравнения 2-го порядка.
(1)
(2),
(3). Теорема: Существуют
– решение (2),
– решение (3) , тогда
– решение (1). Доказательство:
(4).
Комплексные числа. Изображение комплексных чисел. Модуль и аргумент комплексного числа. Тригонометрическая форма комплексного числа. Действия с комплексными числами. Возведение в степень комплексных чисел.
Пусть a и b – вещественные числа . Комплексным числом называется число вида
(1). a=Real c, b=Imaginary c. Определение: Пусть
, C-множество комплексных чисел. Модулем комплексного числа называется число вида:
. ф=argc
.
,
,
(3). Определение:
, сопряженным к нему является число вида
.
,
. Операции над комплексными числами:
,
. 1) Сложение:
. 2) Разность:
. 3) Умножение:
. 4) Деление:
. Если комплексные числа заданы в тригонометрической форме, то
,
. Умножение:
. Деление:
. Пусть
, n-ой степенью с называется его произведение само на себя n раз.
. c=a+bi ,
.
, формула Муавра:
.
26. Нахождение линейно независимых частных решений линейного однородного уравнения 2-го порядка с постоянными коэффициентами (метод Эйлера).
(1). p,q – постоянные.
. Лемма: Для того, чтобы уравнение (1) имело решение вида
(2), где k – постоянная, необходимо и достаточно, чтобы k было корнем квадратного уравнения.
(3). Доказательство:
,
. (3) называется характеристическим уравнением для дифференциального уравнения (2) и играет основную роль в нахождении ФСР.
. 1) D>0 ,
– веществ.
, 2)D=0 ,
–вещественный корень . 3) D<0
. Теорема о видах ФСР: 1)Если D>0, то ФСР имеет вид
, 2)Если D=0, то ФСР имеет вид
, 3)Если D<0, ФСР
. Доказательство: 1)на основании Леммы.
– решение линейно независимо. 2)
– решение по лемме.
– решение (1) ,
,
.
,
–линейно независимо. 3)
.
,
–комплексное число,
(4),
,
,
, ,
– линейно независимо.
ЧИСЛОВЫЕ РЯДЫ
1. Понятия числового ряда, его общего члена, частичных сумм и суммы (в случае его сходимости). Геометрическая прогрессия.
Пусть имеется бесконечная числовая последовательность Определение: бесконечным числовым рядом называется следующая формальная сумма:
(1)
– n-я частичная сумма (1).
(2). Определение: 1)Если предел (2) существует и конечен, то ряд (1) называется сходящимся, при этом S называется суммой ряда. 2)В противном случае ряд (1) называется расходящимся и говорят, что он суммы не имеет. Геометрическая прогрессия – числовая последовательность, каждый член которой, начиная со 2-го равен предыдущему, умноженному на некоторое постоянное для этой прогрессии число, которое называется знаменателем прогрессии.
,
(3)
. 1)q=1 ,
,
- расходится. 2)
,
,
.