Для решения этого дифференциального уравнения нам потребуется использовать метод интегрирующего множителя. Чтобы найти такой множитель, нужно сравнить коэффициенты перед dx и dy и проверить, будет ли их отношение функцией только от x или только от y.
Рассмотрим коэффициент перед dx: xy^2 + x/y^2. Заметим, что он содержит и x, и y, а также их степени. Чтобы избавиться от него, умножим всё уравнение на функцию множителя M(x, y).
То есть, уравнение будет выглядеть следующим образом:
M(x, y) * (xy^2 + x/y^2)dx + M(x, y) * (x^2y - x^2/y^3)dy = 0.
Теперь нужно определиться, какую часть раскрыть в полных дифференциалах d(M(x, y) * (xy^2 + x/y^2)) и d(M(x, y) * (x^2y - x^2/y^3)).
По общему правилу дифференцирования произведения функций, вспомним, что d(f(x)g(x)) = f'(x)g(x)dx + f(x)g'(x)dx.
Теперь сравним коэффициенты перед dx и dy в раскрытых слагаемых. Если мы хотим избавиться от части с dx и оставить только dy, то нужно, чтобы коэффициенты при dx в обеих раскрытых слагаемых совпадали. И также, чтобы коэффициенты перед dy в обоих раскрытых слагаемых совпадали. Это в свою очередь позволит нам избежать образования функции от x или от y.
Таким образом, мы получаем следующие уравнения:
xy^2 dM(x, y) + M(x, y) dx = M(x, y) dx(y^2) + M(x, y) d(x/y^2),
x^2y dM(x, y) + M(x, y) dy = M(x, y) d(x^2y) + M(x, y) d(-x^2/y^3).
Поскольку оба уравнения равны между собой, мы можем приравнять соответствующие слагаемые:
Разделим первое уравнение на xy^2 и второе уравнение на x^2y, чтобы избавиться от переменных x и y:
dM(x, y)/M(x, y) = dx/y,
dM(x, y)/M(x, y) = dy/x.
Как мы видим, какая-то функция от x делится на y в одном случае, и функция от y делится на x в другом. Значит, оба левых выражения равны только если они равны одной и той же константе, обозначим ее через С:
dM(x, y)/M(x, y) = dx/y = dy/x = C.
Из первого равенства получаем, что:
dM(x, y)/M(x, y) = C*dx/y.
Берем интеграл от обоих частей и видим, что левая часть - это логарифм натуральный:
Рассмотрим коэффициент перед dx: xy^2 + x/y^2. Заметим, что он содержит и x, и y, а также их степени. Чтобы избавиться от него, умножим всё уравнение на функцию множителя M(x, y).
То есть, уравнение будет выглядеть следующим образом:
M(x, y) * (xy^2 + x/y^2)dx + M(x, y) * (x^2y - x^2/y^3)dy = 0.
Теперь нужно определиться, какую часть раскрыть в полных дифференциалах d(M(x, y) * (xy^2 + x/y^2)) и d(M(x, y) * (x^2y - x^2/y^3)).
По общему правилу дифференцирования произведения функций, вспомним, что d(f(x)g(x)) = f'(x)g(x)dx + f(x)g'(x)dx.
Применяя это правило, раскроем оба слагаемых:
d(M(x, y) * (xy^2 + x/y^2)) = xy^2 dM(x, y) + M(x, y) d(xy^2 + x/y^2) =
= xy^2 dM(x, y) + M(x, y) dx(y^2) + M(x, y) d(x/y^2).
Аналогично раскрываем второе слагаемое:
d(M(x, y) * (x^2y - x^2/y^3)) = x^2y dM(x, y) + M(x, y) d(x^2y) + M(x, y) d(-x^2/y^3).
Теперь сравним коэффициенты перед dx и dy в раскрытых слагаемых. Если мы хотим избавиться от части с dx и оставить только dy, то нужно, чтобы коэффициенты при dx в обеих раскрытых слагаемых совпадали. И также, чтобы коэффициенты перед dy в обоих раскрытых слагаемых совпадали. Это в свою очередь позволит нам избежать образования функции от x или от y.
Таким образом, мы получаем следующие уравнения:
xy^2 dM(x, y) + M(x, y) dx = M(x, y) dx(y^2) + M(x, y) d(x/y^2),
x^2y dM(x, y) + M(x, y) dy = M(x, y) d(x^2y) + M(x, y) d(-x^2/y^3).
Поскольку оба уравнения равны между собой, мы можем приравнять соответствующие слагаемые:
xy^2 dM(x, y) = M(x, y) dx(y^2),
x^2y dM(x, y) = M(x, y) d(x^2y).
Разделим первое уравнение на xy^2 и второе уравнение на x^2y, чтобы избавиться от переменных x и y:
dM(x, y)/M(x, y) = dx/y,
dM(x, y)/M(x, y) = dy/x.
Как мы видим, какая-то функция от x делится на y в одном случае, и функция от y делится на x в другом. Значит, оба левых выражения равны только если они равны одной и той же константе, обозначим ее через С:
dM(x, y)/M(x, y) = dx/y = dy/x = C.
Из первого равенства получаем, что:
dM(x, y)/M(x, y) = C*dx/y.
Берем интеграл от обоих частей и видим, что левая часть - это логарифм натуральный:
ln|M(x, y)| = C*ln|y| + D.
Применяем экспоненту к обеим частям:
|M(x, y)| = e^(C*ln|y| + D) = e^(ln|y|^C) * e^D.
Поскольку e^D - это константа, то можем записать:
|M(x, y)| = K*|y|^C,
где К = e^D.
Теперь найдем M(x, y):
M(x, y) = ± K*|y|^C.
Подставляем полученное M(x, y) в наше раскрытое уравнение:
xy^2 dM(x, y) + M(x, y) dx = M(x, y) dx(y^2) + M(x, y) d(x/y^2).
xy^2 * d(± K*|y|^C) + (± K*|y|^C) * dx = (± K*|y|^C) * dx(y^2) + (± K*|y|^C) * d(x/y^2).
Раскрываем d(M(x, y)) в каждом слагаемом:
d(xy^2) * (± K*|y|^C) + xy^2 * d(± K*|y|^C) + (± K*|y|^C) * dx = dx(y^2) * (± K*|y|^C) + (± K*|y|^C) * d(x/y^2) + x/y^2 * (± K*|y|^C) * dy.
Объединяем все дифференциалы и все слагаемые, содержащие М(x, y), в одно:
± K*|y|^C * (d(xy^2) + dx - x/y^2 * dy) = ± K*|y|^C * (dx(y^2) + d(x/y^2) - xy^2 * dy).
Таким образом, получаем, что оба выражения равны и отличаются только знаком перед М(x, y):
d(xy^2) + dx - x/y^2 * dy = dx(y^2) + d(x/y^2) - xy^2 * dy.
Для того чтобы это выражение было верным, каждое слагаемое должно быть равным между собой.
d(xy^2) = dx(y^2),
dx = d(x/y^2),
-x/y^2 * dy = -xy^2 * dy.
Из первого уравнения можем получить, что:
xy^2 dy + 2y^2 dx = y^2 dx + 2xy dx,
(xy^2 - y^2) dx = (2xy - 2y^2) dx,
(xy^2 - y^2 - 2xy + 2y^2) dx = 0,
(x*y^2 - 2xy + y^2) dx = 0.
Аналогично из второго уравнения можно получить:
dy = -y^3 dx.
Если раньше мы выразили dx через dy, то теперь мы можем выразить dx через dy и подставить это выражение в первое уравнение:
d/dy (xy^2 - 2xy + y^2) = 0,
2xy - 2x + 2y = 0.
Теперь уже получившиеся уравнения можем решить отдельно друг от друга:
dy = -y^3 dx,
2xy - 2x + 2y = 0.
Первое уравнение - это уравнение с разделяющимися переменными. Разделим обе части на dy:
dy/dx = -y^3.
Теперь можем разделить дифференциалы:
(1/y^3) dy = -dx.
Интегрируя обе части, получим:
∫(1/y^3) dy = -∫dx,
-1/(2y^2) = -x + C,
1/(2y^2) = x - C.
Это уравнение представляет собой семейство гипербол, и каждая константа C даёт различную гиперболу.
Для решения второго уравнения, приведем его к виду:
x(y-1) = y.
Из этого уравнения мы можем выразить x через y:
x = y/(y-1).
Теперь, учитывая, что M(x, y) = ± K*|y|^C = x*y^2 - 2xy + y^2, мы можем подставить выражение для x и найти требуемый интеграл.
M(x, y) = (y/(y-1))*y^2 - 2*(y/(y-1))*y + y^2 = y^3/(y-1) - 2y^2/(y-1) + y^2.
Таким образом, общий интеграл дифференциального уравнения будет иметь вид:
∫(y^3/(y-1) - 2y^2/(y-1) + y^2) dy = ∫-dx,
который можно решить, интегрируя каждое слагаемое по отдельности.