и начальных условий. Уравнение решается

Первым аргументом процедуры dsolve() указано множество, состоящее , из уравнения и начальных условий. Уравнение решается относительно функции x(t).

На заметку
Задачу поиска решения уравнения (системы уравнений), удовлетворяющего данным начальным условиям, называют задачей Коши.

Полученное решение, тем не менее, является достаточно громоздким. Его можно несколько упростить.