Решение: Приведение УрЧП к Каноническому Виду

Приведем уравнение в частных производных второго порядка к каноническому виду. Дано уравнение: \[ u_{xx} + 4u_{xy} + 5u_{yy} - 2u_x - 2u_y + u = 0 \] 1. Определим тип уравнения. Коэффициенты при старших производных: \( a_{11} = 1 \), \( a_{12} = 2 \) (так как в общем виде стоит \( 2a_{12}u_{xy} \)), \( a_{22} = 5 \). Вычислим дискриминант: \[ D = a_{12}^2 - a_{11}a_{22} = 2^2 - 1 \cdot 5 = 4 - 5 = -1 \] Так как \( D < 0 \), уравнение относится к эллиптическому типу. 2. Составим характеристическое уравнение: \[ a_{11}(dy)^2 - 2a_{12}dxdy + a_{22}(dx)^2 = 0 \] \[ 1 \cdot (dy)^2 - 4dxdy + 5(dx)^2 = 0 \] Разделим на \( (dx)^2 \): \[ \left(\frac{dy}{dx}\right)^2 - 4\frac{dy}{dx} + 5 = 0 \] Решим квадратное уравнение относительно \( y' = \frac{dy}{dx} \): \[ D_k = (-4)^2 - 4 \cdot 1 \cdot 5 = 16 - 20 = -4 \] \[ \frac{dy}{dx} = \frac{4 \pm \sqrt{-4}}{2} = \frac{4 \pm 2i}{2} = 2 \pm i \] 3. Найдем комплексные характеристики: \[ dy = (2 + i)dx \Rightarrow y = (2 + i)x + C \] \[ y - 2x - ix = C \] Пусть \( \varphi(x, y) = y - 2x \) (вещественная часть), \( \psi(x, y) = -x \) (мнимая часть). Введем новые переменные: \[ \xi = y - 2x \] \[ \eta = -x \] 4. Вычислим производные: \[ u_x = u_{\xi}\xi_x + u_{\eta}\eta_x = -2u_{\xi} - u_{\eta} \] \[ u_y = u_{\xi}\xi_y + u_{\eta}\eta_y = u_{\xi} \] \[ u_{xx} = (-2\frac{\partial}{\partial \xi} - \frac{\partial}{\partial \eta})(-2u_{\xi} - u_{\eta}) = 4u_{\xi\xi} + 4u_{\xi\eta} + u_{\eta\eta} \] \[ u_{xy} = \frac{\partial}{\partial y}(-2u_{\xi} - u_{\eta}) = -2u_{\xi\xi} - u_{\xi\eta} \] \[ u_{yy} = \frac{\partial}{\partial y}(u_{\xi}) = u_{\xi\xi} \] 5. Подставим в исходное уравнение: \[ (4u_{\xi\xi} + 4u_{\xi\eta} + u_{\eta\eta}) + 4(-2u_{\xi\xi} - u_{\xi\eta}) + 5(u_{\xi\xi}) - 2(-2u_{\xi} - u_{\eta}) - 2(u_{\xi}) + u = 0 \] Раскроем скобки и приведем подобные: \[ 4u_{\xi\xi} + 4u_{\xi\eta} + u_{\eta\eta} - 8u_{\xi\xi} - 4u_{\xi\eta} + 5u_{\xi\xi} + 4u_{\xi} + 2u_{\eta} - 2u_{\xi} + u = 0 \] \[ (4 - 8 + 5)u_{\xi\xi} + (4 - 4)u_{\xi\eta} + u_{\eta\eta} + 2u_{\xi} + 2u_{\eta} + u = 0 \] \[ u_{\xi\xi} + u_{\eta\eta} + 2u_{\xi} + 2u_{\eta} + u = 0 \] Ответ: Канонический вид уравнения: \[ u_{\xi\xi} + u_{\eta\eta} + 2u_{\xi} + 2u_{\eta} + u = 0 \] где \( \xi = y - 2x \), \( \eta = -x \).