Метод сведения уравнения к одному уравнению

Сведение системы к одному дифференциальному уравнению высшего порядка

Системой дифференциальных уравнений называется совокупность уравнений, в каждое из которых входит независимая переменная, искомые функции и их производные.

Решение системы, состоящей из нескольких уравнений с таким же числом неизвестных функций, можно привести к решению дифференциального уравнения с одной неизвестной функцией.

Нормальная система уравнений:

как правило, может быть заменена одним дифференциальным уравнением, порядок которого равен порядку системы.

Пример:

Найти общее решение системы уравнений

Решение:

Продифференцировав первое уравнение по , заменим производную ее выражением из второго уравнения: . Продифференцировав полученное уравнение еще раз, заменим производную ее выражением из третьего уравнения: . Подставляя в последнее уравнение и , окончательно получим . Решим это уравнение. Соответствующее ему характеристическое уравнение имеет корни . Следовательно, . Функции и в соответствии с соотношениями и после дифференцирования полученного для выражения имеют вид: и .

На этой странице размещён краткий курс лекций по высшей математике для заочников с теорией, формулами и примерами решения задач:

Возможно вам будут полезны эти страницы:

Образовательный сайт для студентов и школьников

Копирование материалов сайта возможно только с указанием активной ссылки «www.lfirmal.com» в качестве источника.

© Фирмаль Людмила Анатольевна — официальный сайт преподавателя математического факультета Дальневосточного государственного физико-технического института

Метод исключения — сведение системы ДУ к одному уравнению

Частным случаем канонической системы дифференциальных уравнений является одно уравнение n-го порядка, разрешенное относительно старшей производной.

Введением новых функций

это уравнение заменяется нормальной системой уравнений

Можно утверждать и обратное, что, вообще говоря, нормальная система уравнений первого порядка

эквивалентна одному уравнению порядка . На этом основан один из методов интегрирования систем дифференциальных уравнений — метод исключения .

Проиллюстрируем этот метод на примере системы двух уравнений:

Здесь — постоянные коэффициенты, а и — заданные функции; и — искомые функции. Из первого уравнения системы (1) находим

Подставляя во второе уравнение системы вместо у правую часть (2), а вместо производную от правой части (2), получаем уравнение второго порядка относительно

где — постоянные. Отсюда находим . Подставив найденное выражение для и в (2), найдем .

Пример 1. Проинтегрировать систему уравнений

Решение. Из первого уравнения системы (3) находим , тогда

Подставляя (4) во второе уравнение системы (3), получаем линейное дифференциальное уравнение с постоянными коэффициентами второго порядка

Общее решение уравнения (5)

Находя производную по от (6), получаем

Общее решение системы (3):

Пример 2. Решить задачу Коши для системы

Решение. Из второго уравнения системы (7) находим

Подставляя (9) и (10) в первое уравнение системы (7), получаем уравнение , общее решение которого

Подставляя (11) в (9), найдем . Общее решение системы (7)

При начальных условиях (8) из (12) получим систему уравнений для определения

решая которую, найдем . Подставляя эти значения и в (12), получаем решение поставленной задачи Коши:

Пример 3. Решить систему уравнений

Решение. Из первого уравнения системы находим

Подставляя эти выражения для и во второе уравнение, получаем

Считая , из последнего уравнения имеем и после интегрирования получим . Теперь легко находим

Общее решение данной системы

Замечание. Не всякая система дифференциальных уравнений может быть сведена к одному уравнению более высокого порядка. Например,

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

Метод сведения уравнения к одному уравнению

Можно выделить различные способы решения систем логических уравнений. Это сведение к одному уравнению, построение таблицы истинности и декомпозиция.

Задача: Решить систему логических уравнений:

Рассмотрим метод сведения к одному уравнению. Данный метод предполагает преобразование логических уравнений, таким образом, чтобы правые их части были равны истинностному значению (то есть 1). Для этого применяют операцию логического отрицания. Затем, если в уравнениях есть сложные логические операции, заменяем их базовыми: «И», «ИЛИ», «НЕ». Следующим шагом объединяем уравнения в одно, равносильное системе, с помощью логической операции «И». После этого, следует сделать преобразования полученного уравнения на основе законов алгебры логики и получить конкретное решение системы.

Решение 1: Применяем инверсию к обеим частям первого уравнения:

Представим импликацию через базовые операции «ИЛИ», «НЕ»:

Поскольку левые части уравнений равны 1, можно объединить их с помощью операции “И” в одно уравнение, равносильное исходной системе:

Раскрываем первую скобку по закону де Моргана и преобразовываем полученный результат:

Полученное уравнение, имеет одно решение: A =0, B=0 и C=1.

Следующий способ – построение таблиц истинности. Поскольку логические величины имеют только два значения, можно просто перебрать все варианты и найти среди них те, при которых выполняется данная система уравнений. То есть, мы строим одну общую таблицу истинности для всех уравнений системы и находим строку с нужными значениями.

Решение 2: Составим таблицу истинности для системы:

Полужирным выделена строчка, для которой выполняются условия задачи. Таким образом, A=0, B=0 и C=1.

Способ декомпозиции. Идея состоит в том, чтобы зафиксировать значение одной из переменных (положить ее равной 0 или 1) и за счет этого упростить уравнения. Затем можно зафиксировать значение второй переменной и т.д.

Решение 3: Пусть A = 0, тогда:

Из первого уравнения получаем B =0, а из второго – С=1. Решение системы: A = 0, B = 0 и C = 1.

В ЕГЭ по информатике очень часто требуется определить количество решений системы логических уравнений, без нахождения самих решений, для этого тоже существуют определенные методы. Основной способ нахождения количества решений системы логических уравнений – замена переменных . Сначала необходимо максимально упростить каждое из уравнений на основе законов алгебры логики, а затем заменить сложные части уравнений новыми переменными и определить количество решений новой системы. Далее вернуться к замене и определить для нее количество решений.

Задача: Сколько решений имеет уравнение ( A → B ) + ( C → D ) = 1? Где A, B, C, D – логические переменные.

Решение: Введем новые переменные: X = A → B и Y = C → D . С учетом новых переменных уравнение запишется в виде: X + Y = 1.

Дизъюнкция верна в трех случаях: (0;1), (1;0) и (1;1), при этом X и Y является импликацией, то есть является истинной в трех случаях и ложной – в одном. Поэтому случай (0;1) будет соответствовать трем возможным сочетаниям параметров. Случай (1;1) – будет соответствовать девяти возможным сочетаниям параметров исходного уравнения. Значит, всего возможных решений данного уравнения 3+9=15.

Следующий способ определения количества решений системы логических уравнений – бинарное дерево. Рассмотрим данный метод на примере.

Задача: Сколько различных решений имеет система логических уравнений:

Приведенная система уравнений равносильна уравнению:

Предположим, что x 1 – истинно, тогда из первого уравнения получаем, что x 2 также истинно, из второго — x 3=1, и так далее до xm = 1. Значит набор (1; 1; …; 1) из m единиц является решением системы. Пусть теперь x 1=0, тогда из первого уравнения имеем x 2 =0 или x 2 =1.

Когда x 2 истинно получаем, что остальные переменные также истинны, то есть набор (0; 1; …; 1) является решением системы. При x 2=0 получаем, что x 3=0 или x 3=, и так далее. Продолжая до последней переменной, получаем, что решениями уравнения являются следующие наборы переменных ( m +1 решение, в каждом решении по m значений переменных):

Такой подход хорошо иллюстрируется с помощью построения бинарного дерева. Количество возможных решений – количество различных ветвей построенного дерева. Легко заметить, что оно равно m +1.


источники:

http://mathhelpplanet.com/static.php?p=metod-isklyucheniya

http://www.sites.google.com/a/gkl-kemerovo.ru/informatics/logic/7-sistemy-logiceskih-uravnenij