Обыкновенное дифференциальное уравнение
В математика, Уравнение Эйлера – Коши, или же Уравнение Коши – Эйлера, или просто Уравнение Эйлера это линейный однородный обыкновенное дифференциальное уравнение с переменные коэффициенты. Иногда его называют равноразмерный уравнение. Благодаря своей особенно простой равноразмерной структуре дифференциальное уравнение может быть решено явно.
Уравнение
Позволять у(п)(Икс) быть п-я производная неизвестной функцииу(Икс). Тогда уравнение Коши – Эйлера порядка п имеет форму
![a _ {{n}} x ^ {n} y ^ {{(n)}} (x) + a _ {{n-1}} x ^ {{n-1}} y ^ {{(n-1) }} (х) + cdots + a_ {0} y (x) = 0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/aca29a616a528e4e594318411b03beb665455337)
Замена
(это,
; за
, можно заменить все экземпляры
к
, что расширяет область решения до
) можно использовать для сведения этого уравнения к линейному дифференциальному уравнению с постоянными коэффициентами. В качестве альтернативы пробное решение
может использоваться для непосредственного поиска основных решений.[1]
Второй порядок - решение через пробное решение
Типичные кривые решения уравнения Эйлера – Коши второго порядка для случая двух действительных корней
Типичные кривые решения уравнения Эйлера – Коши второго порядка для случая двойного корня
Типичные кривые решения уравнения Эйлера – Коши второго порядка для случая комплексных корней
Наиболее распространенное уравнение Коши – Эйлера - это уравнение второго порядка, которое встречается в ряде физических и технических приложений, например, при решении Уравнение Лапласа в полярных координатах. Уравнение Коши – Эйлера второго порядка имеет вид[1]
![x ^ {2} { frac {d ^ {2} y} {dx ^ {2}}} + ax { frac {dy} {dx}} + by = 0. ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea04d70cb5ffe500fea13c3429eb8319a99ef0ad)
Мы предполагаем пробное решение[1]
![у = х ^ {м}. ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a1d441f4ae0f1dedee696b0569e36f7cdea7141)
Дифференциация дает
![{ frac {dy} {dx}} = mx ^ {{m-1}} ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a316183d2316bcc7b50a736896073b6d3ecc7d59)
и
![{ frac {d ^ {2} y} {dx ^ {2}}} = m (m-1) x ^ {{m-2}}. ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/583210b8b3525a521e1a1d419bc7a63cb8161344)
Подстановка в исходное уравнение приводит к требованию
![x ^ {2} (m (m-1) x ^ {{m-2}}) + ax (mx ^ {{m-1}}) + b (x ^ {m}) = 0 ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ee5dfd9c99611dd3fb80aef413ba2482e4fd0e1)
Преобразование и разложение на множители дают указательное уравнение
![m ^ {2} + (a-1) m + b = 0. ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a88e2510940aebe93f787bbddb61445fe0ec6384)
Затем мы решаем для м. Есть три конкретных случая, представляющих интерес:
- Случай № 1 двух различных корней, м1 и м2;
- Случай № 2 одного реального повторяющегося корня, м;
- Случай # 3 сложных корней, α ± βi.
В случае №1 решение
![{ displaystyle y = c_ {1} x ^ {m_ {1}} + c_ {2} x ^ {m_ {2}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d328077b2f3b458d58ccbe0fed70e1cf4f47c368)
В случае № 2 решение
![y = c_ {1} x ^ {m} ln (x) + c_ {2} x ^ {m} ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/0881648fde06083fb72a347e9b1b712694fca8e7)
Чтобы добраться до этого решения, метод сокращение порядка необходимо применять после нахождения одного решения у = Иксм.
В случае № 3 решение
![y = c_ {1} x ^ { alpha} cos ( beta ln (x)) + c_ {2} x ^ { alpha} sin ( beta ln (x)) ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/c633c3bf962c2a620d7fe9776fc91d3f7154f7b1)
![alpha = { mathop {{ rm {Re}}}} (м) ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/788bef3c87bde386538d3d889625a9aeecbf6663)
![beta = { mathop {{ rm {Im}}}} (м) ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f3c16b2ba75fee2a430ba5a886e35e284c8cf85)
За
∈ ℝ.
Эта форма решения получается путем задания Икс = ет и используя Формула Эйлера
Второй порядок - решение заменой переменных
![x ^ {2} { frac {d ^ {2} y} {dx ^ {2}}} + ax { frac {dy} {dx}} + by = 0 ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebb37c50a25e7d5052dd592b2bc2478a73facb4f)
Мы работаем с подстановкой переменных, определяемой
![t = ln (x). ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/436a1dc581c3fffbc773b6ee58a81917266a5498)
![{ Displaystyle у (х) = varphi ( ln (x)) = varphi (t). ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8fee25e08daa8ac8651c859799b504c190d1612)
Дифференциация дает
![{ displaystyle { frac {dy} {dx}} = { frac {1} {x}} { frac {d varphi} {dt}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eeaa4f5914c5fb28b427f7f397abc18b7645307c)
![{ displaystyle { frac {d ^ {2} y} {dx ^ {2}}} = { frac {1} {x ^ {2}}} { bigg (} { frac {d ^ {2) } varphi} {dt ^ {2}}} - { frac {d varphi} {dt}} { bigg)}.}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6472bbfb51324a833703fb17d679cf89efc1868)
Подстановка
дифференциальное уравнение принимает вид
![{ displaystyle { frac {d ^ {2} varphi} {dt ^ {2}}} + (a-1) { frac {d varphi} {dt}} + b varphi = 0. , }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e402f4ae0387daece31c403972a7165b0fc85ac)
Это уравнение в
решается через свой характеристический многочлен
![lambda ^ {2} + (a-1) lambda + b = 0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a93bd1b728ca939999d85442e2f21c883ac19ca)
Теперь позвольте
и
обозначим два корня этого многочлена. Мы анализируем два основных случая: различные корни и двойные корни:
Если корни разные, общее решение
, где экспоненты могут быть комплексными.
Если корни равны, общее решение
![{ displaystyle varphi (t) = c_ {1} e ^ { lambda _ {1} t} + c_ {2} te ^ { lambda _ {1} t}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22d613f32a82f06c09fad702faa893adfeba3505)
В обоих случаях решение
можно найти, установив
.
Следовательно, в первом случае
,
а во втором случае
![y (x) = c_ {1} x ^ {{ lambda _ {1}}} + c_ {2} ln (x) x ^ {{ lambda _ {1}}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b8a29b11f82b3fc3a10c5d59cec338261fc41bd)
пример
Данный
![х ^ {2} и '' - 3xu '+ 3u = 0 ,,](https://wikimedia.org/api/rest_v1/media/math/render/svg/be4e614d76dd549790f5990d4d7f278ba1c08ffc)
подставляем простое решение Иксм:
![{ displaystyle x ^ {2} (m (m-1) x ^ {m-2}) - 3x (mx ^ {m-1}) + 3x ^ {m} = m (m-1) x ^ { m} -3mx ^ {m} + 3x ^ {m} = (m ^ {2} -4m + 3) x ^ {m} = 0 ,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8170b0639bc4f8eb90cce0747b7f3ac6d5844292)
За Иксм быть решением, либо Икс = 0, что дает банальный решение, или коэффициент Иксм равно нулю. Решая квадратное уравнение, получаемм = 1, 3. Таким образом, общее решение
![u = c_ {1} x + c_ {2} x ^ {3} ,.](https://wikimedia.org/api/rest_v1/media/math/render/svg/68aedfb77c4cd44dbdc0262e445a2aee602961ab)
Аналог разностного уравнения
Существует разностное уравнение аналог уравнения Коши – Эйлера. Для фиксированного м > 0, определим последовательность ƒм(п) так как
![f_ {m} (n): = n (n + 1) cdots (n + m-1).](https://wikimedia.org/api/rest_v1/media/math/render/svg/73767afe34112366560140668b765df36be82586)
Применение оператора разности к
, мы находим, что
![{ begin {align} Df_ {m} (n) & = f _ {{m}} (n + 1) -f_ {m} (n) & = m (n + 1) (n + 2) cdots (n + m-1) = { frac {m} {n}} f_ {m} (n). end {выравнивается}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0941819da7268d0fa7dc4e04b34f0dc8f64e7bea)
Если мы сделаем это k раз, мы находим, что
![{ begin {выровнено} f_ {m} ^ {{(k)}} (n) & = { frac {m (m-1) cdots (m-k + 1)} {n (n + 1) cdots (n + k-1)}} f_ {m} (n) & = m (m-1) cdots (m-k + 1) { frac {f_ {m} (n)} { f_ {k} (n)}}, end {выровнено}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32b9fdab137f0a5846292075531fd754c1392e40)
где верхний индекс (k) означает применение разностного оператора k раз. Сравнивая это с тем, что k-я производная от Иксм равно
![m (m-1) cdots (m-k + 1) { frac {x ^ {m}} {x ^ {k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a87b177cd4dd09f45cc53e61fb9d2c946e3ee9)
предполагает, что мы можем решить N-разностное уравнение
![f_ {N} (n) y ^ {{(N)}} (n) + a _ {{N-1}} f _ {{N-1}} (n) y ^ {{(N-1)}} (n) + cdots + a_ {0} y (n) = 0,](https://wikimedia.org/api/rest_v1/media/math/render/svg/269cf2d23bf2eaa236442bad9890a75422625845)
аналогично случаю дифференциального уравнения. Действительно, подставляя пробное решение
![у (п) = f_ {m} (n) ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/22b2c8fb562a73bca384d0c634b8638aa71b6c5a)
приводит нас к той же ситуации, что и в случае дифференциального уравнения,
![m (m-1) cdots (m-N + 1) + a _ {{N-1}} m (m-1) cdots (m-N + 2) + cdots + a_ {1} m + a_ {0} = 0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bc1b66193207e3c66c915cf985c30377c9691ea)
Теперь можно поступить так же, как в случае дифференциального уравнения, поскольку общее решение Nлинейное разностное уравнение -го порядка также является линейной комбинацией N линейно независимые решения. Применение редукции порядка при множественном корне м1 даст выражения, включающие дискретную версию ln,
![varphi (n) = sum _ {{k = 1}} ^ {n} { frac {1} {k-m_ {1}}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/daa7ff7887bd383e3d3e16e65e09d84ca319a758)
(Сравнить с:
)
В случаях, когда участвуют фракции, можно использовать
![f_ {m} (n): = { frac { Gamma (n + m)} { Gamma (n)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/781e01a5977cd127ec3d0258f59b99ee1ffa598b)
вместо этого (или просто используйте его во всех случаях), что совпадает с определением ранее для целого числам.
Смотрите также
Рекомендации
Библиография