Разложение решения уравнения в степенной ряд
Этот прием является особенно удобным в применении к линейным дифференциальным уравнениям. Проиллюстрируем его применение на примере уравнения второго порядка. Пусть дано дифференциальное уравнение второго порядка
 (1)
Предположим, что коэффициенты и представляются в виде рядов, расположенных по целым положительным степеням , так что уравнение (1) можно переписать в виде
 (2)
Решение этого уравнения будем искать также в виде степенного ряда
 (3)
Подставляя это выражение и его производных в (2), получаем
 (4)
Перемножая степенные ряды, собирая подобные члены и приравнивая нулю коэффициенты при всех степенях в левой части (4), получаем ряд уравнений:
![\begin{array}{*{20}{c|l}} x^0& 2\cdot1c_2+a_0c_1+b_0c_0=0,\\[3pt] x^1 &3\cdot2c_3+2a_0c_2+a_1c_1+b_0c_1+b_1c_0=0,\\[3pt] x^2 & 4\cdot3c_4+3a_0c_3+2a_1c_2+a_2c_1+b_0c_2+b_1c_1+b_2c_0=0,\\ \cdots & \cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots \end{array}](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAhkAAAB5BAMAAABmXy7LAAAALVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACttl6nAAAADnRSTlMAxYEPQGjqVSAxQaGxkcJvxTAAAA/ESURBVHja7Jz/bxPnHcc/d8fZd3Yc+ezWAREs4420BIguG0u3wJDLNq0/DHSBBTaxWgkoiJYvMkilk1ZFl0ywlW3Rwbpoq7ToaLRpjTrLkJKibkSGipRJa+RsGmhahYKZCTghf8Oe577Y98U+IgjB6e4BxZd72/fcvZ7P5/N87p5PDOC2R7QVLgJDe8lF4NJwaTi0E/92aZSDZ7ZVdGnorU7wx1waequXyaCBRvsPDZr38Q5JRGXnCPWDZULDG5oM6wrzB+4xnS/KO8ns0Y5MzdJIGGn08fQdXaFDd6xvJp2PpcvOFNtiVM/ysI1kDo6VzdxGg3iEi6gv1EPHdyUlmKhVGoTgzxloZCEqPCkN74zjuyYBWsTaA8Fyo59n6IxHKtPw8RA124bvashOg+ZupfStVWW5T30J5K+q0xT8ghu1dxtFNOTao3GWj7z5Omz8yJR9MQaDwJtNclK20RgTW7KqU3B8xAbLU6AKqpH0sPs1yRdXGj7UPKIh1B6NMETqDlkz87rX8M9hnQY9AxHx3G7z5dJFSAtwCu0lDrBzwIpmeSAH3bAdGc9gjpyhdikqM6I0UaMRqz0akincaTSasN/QczqNti74qvf7Y/gqyHi8CQ2vqOxMSkz4LA/JGIiByQR+c78ir8PBJwV3yNwm5BMiiMSvn7N0W6M0zOFOpUGvVISHOg00yQAR8+AEwTcych4NL8ol0jk0K/hjfgGikjJJK3mbIr+Ptm7zvrk2vp5XnO44+rcs4gYE7oJkoXGep01zSgsyeDJGBE2ugNy+m/HgRCUKJRplOQJkIQ31KR9mOgU7LXFjHPGSao4FdZjoooJmGmwY6kxzCgqhKCy0CabLTSbYfKuSqKAQSttoXAVPMAn1MSYPsHk1pHlz3ECHjABda3HU9zAd9KfMNE7Pz8+X0mrmDuIQgw4e/mMJk6m+YqeSxPZK1HWUwJnlPXBTakE0UE7qWxWCnRZD8GSYAgw9qDXb4G5wDZa40cFxpbSaRtsSy3EC0BlLesVdnggrtkFyjbKNRoC7Ab1QL8AWLsRzkLamOY1NMdgaWrbPvn4CMXsu6hHIjJ7c21PVId1/puCPtqwPz9+dy5UGG4rn7Lf4ZI5IWWgYZI90Wt0YhA0VD3p5udIIYG+xO9qaK5pHTV2sRFDL2APXwhWDVmbZekrlxjg+xSgtz3y9okzzXzAaX+jm0nBpuDRcGi4Nl4ZLw6Xh0nBpLPljDsGlUb59mgi6NMqNdGlUpUElDJJc9UPyk/a6vdFJffV550+3Lw0Nihv7ZymgTEVXVgk1VZUFt3NzTupx53Xtb+4/uiQ0iBw9qwsBwXePtwSZqsqC56ZX1BdfoaKqRfTAXcdjTOFH+UtAY9sDdl4X6j+BcUunRFWl3F527q5Z41p5BWFa6yfodAimAOTdpaBRl/Xd04WBB5AMVqRRQSm38wuiUdflRGNbxnEaLD6qROSxMo21wlsx65xC5nXZK+DiFqqjwUZDVZjPfyxqZn9h1G4b9Gftmjd9zfiQWaPhub5GU3/VKNlo9L56XdvxwRq7SwaK4MsvOo2tw93riyvWhhIGGu2m5fNoCk7uTktWGqhNpmDP8ERW/eWC/HebbVDcN7SaKfbwmR4bjaGegDoKdA/dZaNxe6UWGFpXtepm0q4sXeJVb+Kp0PgbRIgHlujXP2Wg4ZvF3UalzQkrDawUIB0DH0LlP+Sbg3dEs234D8C4CBQa2dPZQAFYC42k7CvCO3gjVd8FjIVGhCfUnRE+nWG+pc5CyrL2Oo3G3KLTEGCWkaxzAYv70SoW2jLg6YLfMR9PYXMtVyzoSlKmGvYhu87BML2uRxvADnUA0zm89jyWwFUcTKp/UjnguyMjl0ZG/oS2JoDO+/eGgekGVtyuVgChgxdHRmSljI6Y3oF20gV4id/3vZQlehXxaCx6M01z+syIq+C0apbV6EqRoZJd9djxabWahdeUdAYm0VxLCDCJkJ4Wk5I6gGPqAI5L1Cyw2xJq6dRmpWwBdsXjq+Px9WirGwIzb8EGfL0AP1cWZSl08Hw8jmzTWwDPNN7pQVMH1cVYIq7/qXgKkPetNM4KEMWuolQ6+QUqhyu0WGFAMHuKXwCsdIMnEcjAMRwHUjsTprgRxdeEF2OVKg61iKPsKUweXek1OAl1RfxryOwp6LyGsnhnPYot3i5Q3Pkriqe8gOWiCnFx2zXknEEzjfGgoULyEvgySRkYnvmLJW5gpUVm83XKQj0H2Md7RVPc4CBwv1OhkcfrbRYa1AwM5UJobwBdv2ijMQ23ZZ3GuSAUy3ED02ALmNfbi+wncwNBWjDTSKbYUpZJdnOR2GkBBsX+i2YaipKWW/97QiniaOJhX3l8Ndu4AIPTN5QF68PANFhpQA9wPKaBYqkvbKXhu8v2KAf0d8GWfwTBmlw04vTsmLC46cbR549+ZvGUQKijVP85ND8/n6KPbrwMuDLFSENRAqGGI2GFxtbQlICdx2QbfVcuPcwpNAYv/lWy0Ti5dhRdbhqgKY4yCgsNuNAkKDQoblMDqdmGoQ1+fJWHaGZxjaMdfKI1ip5qtrxpxTCQKT1TNtUSvw3tvCfhRznHGRRAOxnRnIv+Fs5oxQzvira4ARSaWK7BHrQxYo8bwMraTuZ9oLW4YRzHXQgWk4Gn2KrfbXmyHi3NslXd+/GcoiRRH+7Qomi/US+VdpRoGP4a40el0o4SDeMVajupabZiFk8Lz4YG/WGTWO0GqqGj5DyVPjmuXRIZ/ZddJfZqtbvbD75Y4QmIvnPDyxWvu5V/NjTgTPWHO5sTT9Dltxd0QewrFXfvhWdE4/+wuTRcGi4Nl4ZLw6Xh0nBpuDRcGkvdNksujfI90SXOpVG+rRa2CS6NEo0skTXRkGvm1H7zZQeReu9LDiqzS3jMTj0m2/BOl4SXI6NVPlJdKZ/tzSNPyrXJaemZGZt2UOlozvHQ57lYFWUtb6TRVurEG2atX7LAlhW+6mlqNpfqq77m8VNnDFpcD9yviFnUBjHo0Dv0OtqGr0itqaKETVF0okSjroBXpc1uVVUx2I36skdmqle8NDvT0K6T6Kp4vtqoDlUcXf059m3ROTxAUqqo/B6MnuKdKtEIzID1C3iIqorBCNWXlqDDexZGo3IVh04jKTvRiDh2MBDDX4tgaSfkfpl57rsxA422VoM7Uriy5cSL9r6QwgPVqfOnjDFLsw28hikDs67kZHHRTsO7vuSW63gbjd5OvWvjuoZOY+KU/s0P5+xnSM2+J1c4N731xmCb1dHqXtj/0QNift5oG7cIA41fvgbQ9+ke0U4DK4PNXFbziuY1NttQid18QzMQ6uqbr9toUI0faGPIHv5z0Ebjds9J9cNkz/mYjcZBtXIAoLXBfobee83a0/qTzRfsNFpiyqKmqd2CyNaiOTP3ZQ00AhEBmCMwKZeqLwijsh8jVgJ40RhuS3VfZAHIQ/hbJ5RTDvoLNhqtWUr7YFrwTNtoRCRC3RoTk1krDXYOlMoBoJQztPpyAVoUVvQMo5duMZzSglVoZOCIVzDTaOUVGqxar0l188Rd/FfNx22egpQD+Is2Nl1C8SxDrV9xscFqG0M5/D8CKzoSuIDBu9s/9omZRovE5mHL2ChQB4FO/eyimQY1C8T01o0CXpA/J+7jJBMNuggDme+gOEvchzeoHVnzGaIA3DJ8ZT+KEFmqmbr26QJsAy92W+7aboFCg9SG7H/tne9rHEUYx5+9vR+7t7fhrqcNqJWzkpT6QjZgjmKxnPbii4LHptBGsBx3aJOiCKcggoVyVFEQCUuEUrSERakoxBBoqbRCSPqiFALhAlIolCOm6Y/Y9v4Gn3l29+5md+8MeaU4AwmXme/uzXx2nvm1z0yaC7NLVHYyrExmN7Ktd1IWjVhDKsBijQ1ahqlikIbshh1jtWjDI4iUCk4LdFQmN8+1TKaaoR3891mZhjCWHBDGdnlPsEpPkLw4fpNPsfKCmk6x7MecVASSWseqOYSZZTlU3qGyaU4OLWqAV+dq0yY08XGnanljGzQ4N0Wi0cKAMpm1bjETXq7QCTvaGk+eUsrkv2FrDfLf0GrDvroxYibrz5PDDHNbYL44N+AWVzcwUlvH2GW/F4eTUfLi2ISnYaDCspp4yNUNHG40zSjSKLO/PVc+L4fYY0xKaTQ0ZqjThrPH3Tn0glWxeexTlnwwJlIVaPhn9J12Y34Lu0k6ReXTF3zf5aQoTyLkv1H1qkI3DXkQNLuKRRrznDjgAJabo7GBZWocgOfYgw6hsQ7NXx5iLD1GK3aXp9GASSAadhgNO7mh1KUFOi5lHqRcp91gFA4Fe9jk40PpRB8a01lYzc3WYOTbBR8NSjljaw++J4+FKwBzMJ7laWjX9w4by5CvXGU0sMmFa6BscjTQUMsvpkHdAiypkvXTiK3LH2BxyVkjloN4jqMhNdDKGA3M4cGCn8asLWF+3qxDE+CCS6O7N03DcF3nxsrKvZWpE4aPRuzKnx60yODFR+zXM7rho0Ep0uXrGzeJRv7a6UvtAb7Xp5TR5uCniZWpNL2oP/7ZuAmSybeia2/cWkHaWI0zR+5Yfhryro8aybuwB9STY9gS/c73Kcmp4zWiEZm6OBioG9pTyzggwmHAyOXT2SAN5cNXT0KKn3f8YM3U/GtfqmNYFH7dg8kzL8G5zGSa71Mo5Vj9rD1Q0JdA/vhtGDVKJlc3vmaugcqEccwgGspRvOK2ytNI7lf2AVzFuUVirxWwFBjdD+omix3FoVnM/Jwfb5zFwRejATP7gpYC7OsOWthoYN5KARrw2rM2yHM7XAn06obmT0h5/hsls+SSvRC42nPi0C3djek+tlO3vLuGeXG8B+6g7ROviUt2GXzUM+s2jVTXnS+5N4pbA6GTkm92RiN6o9ccLZo95xhI/vByz9W18h+e8YT5vDZbru/nV9XDwdQTCaec0VYrZA731j2nmPLrU8FZmt5qOVUisjAemrGhHdIoFnoleWsucu/lFbVYdD58R36z/tCO/eJICA1v/qJ0WXAnFIsujWIxSEN1jpBiZhOaN3VJrJlvMwgagoagIWgIGoKGoCFoCBqChqAhaAgagoag8Z8IdAwL20fpbJgmGvSxHXcef+hYf7Y9NmngJTY4B6NsV8d/R1D3Y3/dz64O/kF3fqe6TpDYCjrb+R/fatOIU5zFDuLAG7AXZPMVAPoPM+z/QGhs0W7V7Ksrh+rypMOMzDLd/XCdm5c+OifPNUentPw6nS01ruYCunovXSfo7AXXbhRKp9o0pPfduPi7wPa4A3yZBudN2ZkGvWgGaNa6dOzaPrrUX6G6x64uttFfV/Xr9AddOnnS1ameLsHrLE9n+HVPXJ1oN0QrKmgIGoKGoCFoCBqChqAhaPyrwyv/14L/DV5SaIBG/6jdAAAAAElFTkSuQmCC) (5)
Каждое последующее из уравнений (5) содержит одним искомым коэффициентом больше, чем предыдущее. Коэффициенты и остаются произвольными и играют роль произвольных постоянных. Первое из уравнений (5) дает , второе дает , третье — , и т.д. Вообще из (к + 1)-го уравнения можно определить , зная .
Практически удобно поступать следующим образом. Определим по описанной выше схеме два решения и , причем для выберем и , а для выберем и , что равносильно следующим начальными условиям:
Всякое решение уравнения (1) будет линейной комбинацией решений и .
Если начальные условия имеют вид , то очевидно,
Имеет место следующая теорема.
Теорема. Если ряды и сходятся при , то построенный указанным выше способом степенной ряд (3) будет также сходящимся при этих значениях и явится решением уравнения (1).
В частности, если и — многочлены от , то ряд (3) будет сходиться при любом значении .
Пример 1. Найти решения уравнения в виде степенного ряда.
Решение. Ищем в виде ряда , тогда
Подставляя и в (6), получаем
 (7)
Приводя в (7) подобные члены и приравнивая нулю коэффициенты при всех степенях , получаем соотношения, из которых найдем коэффициенты 
Положим для определенности, что . Тогда легко находим, что
 (8)
Итак, имеем
Следовательно,
 (9)
Аналогично, беря
 (10)
и начальные условия , получаем
 (11)
Подставляя (10) в (6), найдем
Очевидно, что
итак,
 (12)
Общее решение уравнения (6) будет иметь вид
где и задаются формулами (9) и (12) соответственно, а и — произвольные постоянные, причем .
Приведем еще один способ интегрирования дифференциальных уравнений с помощью рядов, который оказывается более простым применительно к нелинейным дифференциальным уравнениям. Пусть дано дифференциальное уравнение
 (13) и начальные условия
 (14)
Введем следующее определение.
Функция называется голоморфной в некоторой окрестности точки , если в этой окрестности она представима степенным рядом
 , сходящимся в области  .
Аналогично, функция называется голоморфной относительно всех своих аргументов в некоторой окрестности
точки , если она представима степенным рядом
сходящимся в области
Теорема. Если правая часть уравнения (13) голоморфна относительно всех своих аргументов в окрестности :
точки , то уравнение (13) имеет единственное решение
удовлетворяющее начальным условиям (14), и голоморфное в некоторой окрестности точки .
Ряд (15) сходится в области , где ; здесь и — постоянные, удовлетворяющие условиям , и
Первые коэффициентов ряда (15) определяются начальными условиями (14) и дифференциальным уравнением (13). Следующие коэффициенты ряда определяются в силу дифференциального уравнения (13) путем его последовательного дифференцирования. Например, где
Замечание. Если уравнение (13) линейное
где и — функции, голоморфные на всей оси , то ряд (15) сходится также на всей оси.
Пример 2. Найти решение уравнения
 (16) удовлетворяющее начальным условиям
 (17)
Решение. Частное решение уравнения (16), удовлетворяющее начальным условиям (17), ищем в виде ряда
 (18)
где .
Из данного уравнения находим, что . Дифференцируя последовательно обе части уравнения (16) и полагая в полученных равенствах , будем иметь:
Найденные значения подставляем в ряд (18). Получим искомое решение в виде степенного ряда
 (19)
Очевидно, что ряд, стоящий в правой части (19), сходится на всей оси к функции , которая является решением поставленной задачи Коши.
Пример 3. Найти четыре первых члена разложения в ряд Тейлора решения уравнения , удовлетворяющего начальным условиям .
Решение. Легко видеть, что правая часть уравнения, т.е. функция , разлагается в степенной ряд по степеням и в окрестности точки , сходящейся в области , (т.е. правая часть голоморфна).
Будем искать частное решение в виде ряда
 (20)
Используя само уравнение, найдем .
Дифференцируя последовательно обе части уравнения и полагая в полученных равенствах, будем иметь
Подставляя вряд (20) найденные значения , получим искомое разложение решения
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|