Уравнения второго порядка: общие сведения

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

  • Общее решение представляет собой сумму частного решения неоднородного уравнения и общего решения соответствующего однородного уравнения.
  • Теорема существования и единственности: Если правая часть уравнения F(x, y, y') непрерывна и имеет непрерывные частные производные по y и y' в некоторой области, то через любую точку этой области проходит единственное решение задачи Коши.
  • Без дополнительных условий (начальных) уравнение имеет бесконечное множество решений.

Метод понижения порядка

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

Случай, когда уравнение явно не содержит искомую функцию y

Уравнение имеет вид y'' = f(x, y'). Вводится новая переменная: z(x) = y'(x). Тогда y'' = z', и уравнение сводится к уравнению первого порядка относительно z: z' = f(x, z).

  • Решив его, находим z(x), а затем интегрированием находим y(x).
  • Важный нюанс: При решении задачи Коши y'(x₀) = y'₀ может возникнуть ситуация, когда общее решение для z не позволяет удовлетворить начальному условию. В этом случае необходимо отдельно проверить, не является ли константа z = y'₀ особым решением уравнения для z, которое могло быть потеряно.

Случай, когда уравнение явно не содержит независимую переменную x

Уравнение имеет вид y'' = f(y, y'). Замена: z(y) = y'(x), где теперь z считается функцией от y. Вторая производная выражается как y'' = z * dz/dy.

  • Уравнение сводится к уравнению первого порядка относительно z как функции от y: z * dz/dy = f(y, z).
  • Решив его, находим зависимость z(y), то есть y' = z(y). Далее решается уравнение dy/dx = z(y) для нахождения окончательной зависимости y(x).

Чтобы написать общее решение задачи, мы должны учесть все возможные решения, включая потерянные константы.

Линейные уравнения с постоянными коэффициентами

Это важнейший класс уравнений вида y'' + a*y' + b*y = f(x), где a и b — константы. Они служат хорошим приближением для анализа многих моделей, даже нелинейных, в окрестности точек равновесия.

Однородное уравнение (f(x) = 0)

Общее решение однородного уравнения строится на основе двух линейно независимых частных решений.

  • Свойства решений: Если y₁(x) и y₂(x) — решения, то их линейная комбинация C₁*y₁(x) + C₂*y₂(x) также является решением.
  • Линейная независимость двух функций проверяется с помощью определителя Вронского: W(y₁, y₂) = y₁*y₂' - y₂*y₁'. Если W ≠ 0, решения линейно независимы.
  • Структура общего решения: y_общ = C₁*y₁(x) + C₂*y₂(x), где y₁ и y₂ — линейно независимые частные решения.

Поиск частных решений однородного уравнения

Ищем решение в виде y = e^(k*x). Подстановка в уравнение y'' + a*y' + b*y = 0 приводит к характеристическому уравнению: k² + a*k + b = 0.

Вид общего решения зависит от корней k₁, k₂:

  1. Два различных вещественных корня: y_общ = C₁*e^(k₁*x) + C₂*e^(k₂*x).
  2. Один кратный вещественный корень (k₁ = k₂): Одно решение y₁ = e^(k₁*x). Второе, линейно независимое решение: y₂ = x*e^(k₁*x). Общее решение: y_общ = (C₁ + C₂*x)*e^(k₁*x).
  3. Два комплексно-сопряжённых корня (k = α ± iβ): В качестве пары линейно независимых вещественных решений берутся действительная и мнимая части комплексного решения. Общее решение: y_общ = e^(α*x)*(C₁*cos(β*x) + C₂*sin(β*x)).

Неоднородное уравнение (f(x) ≠ 0)

Общее решение неоднородного уравнения есть сумма общего решения однородного уравнения и любого частного решения неоднородного: y_общ = y_однор + y_частн.

Метод Лагранжа (вариации произвольных постоянных) — универсальный метод поиска y_частн.

  1. Записывают общее решение однородного уравнения: y_однор = C₁*y₁(x) + C₂*y₂(x).
  2. Ищут решение неоднородного уравнения в том же виде, но считают C₁ и C₂ функциями от x: y_частн = C₁(x)*y₁(x) + C₂(x)*y₂(x).
  3. Производную y_частн' записывают, наложив дополнительное условие для упрощения: C₁'(x)*y₁(x) + C₂'(x)*y₂(x) = 0.
  4. Подставляют y_частн и его производные в исходное неоднородное уравнение. Вместе с дополнительным условием это даёт систему уравнений для C₁'(x) и C₂'(x).
  5. Решая эту систему (определитель которой есть вронскиан W(y₁, y₂) ≠ 0), находят C₁'(x) и C₂'(x), а затем интегрированием — сами функции C₁(x) и C₂(x).

Система для производных C₁'(x) и C₂'(x) всегда имеет единственное решение, так как её определитель (вронскиан линейно независимых решений) отличен от нуля.

Примеры решения

  1. Однородное уравнение: y'' - 2y' - 3y = 0.

    • Характеристическое уравнение: k² - 2k - 3 = 0. Корни: k₁ = -1, k₂ = 3.
    • Общее решение: y = C₁*e^(-x) + C₂*e^(3x).
  2. Однородное уравнение с комплексными корнями: y'' - 4y' + 13y = 0.

    • Характеристическое уравнение: k² - 4k + 13 = 0. Корни: k = 2 ± 3i.
    • Общее решение: y = e^(2x)*(C₁*cos(3x) + C₂*sin(3x)).
  3. Неоднородное уравнение (метод Лагранжа): y'' - 2y' + y = e^x.

    • Решение однородного: k² - 2k + 1 = 0 => k=1 (кратный корень). y_однор = (C₁ + C₂*x)*e^x.
    • Ищем частное решение: y_частн = C₁(x)*e^x + C₂(x)*x*e^x.
    • Составляем систему для производных:
      • C₁'(x)*e^x + C₂'(x)*x*e^x = 0
      • C₁'(x)*e^x + C₂'(x)*(e^x + x*e^x) = e^x
    • Решая, находим: C₂'(x) = 1, C₁'(x) = -x. Интегрируем: C₂(x) = x, C₁(x) = -x²/2.
    • Частное решение: y_частн = (-x²/2)*e^x + (x)*x*e^x = (x²/2)*e^x.
    • Общее решение неоднородного уравнения: y = (C₁ + C₂*x + x²/2)*e^x.