То есть формула

имеет все же право на жизнь?
Да. Дифференциальное уравнение можно переписать в виде

, откуда выражение в скобке постоянно.
Да, чтобы найти

, надо привлечь и выражение для

, либо (я бы так и поступил) немного изменить условие задачи:

задана, а время отсчитывается от соответствующего момента соприкосновения шарика с плоскостью.
Опять же, немного смущает, что и без функции Ламберта видно, что

удовлетворяет.
Пара слов о функции Ламберта. С точки зрения уравнения

,
естественной «скоростью» в задаче является не

, а

. Величина

в нашей задаче всегда отрицательна, а её модуль при полёте шара уменьшается. В верхней точке

. Если бы шар достиг предельной скорости

, то

была бы равна нулю. С использованием

уравнение перепишется в виде

Важно, что

.
Теперь обозначим

. Уравнение тогда гласит, что

. Чтобы это не приводило к неверному заключению

и

, функция, обратная

(а это и есть функция Ламберта

) должна иметь две ветви. И это действительно так! Взгляните на график:

Так как это функция, обратная

, здесь

откладывается по оси ординат. Уравнение

означает, что значениям

(зелёная точка) и

(синяя точка) соответствует одна абсцисса (что обозначено красной линией). И решить это уравнение — означает найти положение синей точки по известному положению зелёной точки. Фактически, нам лучше подошла бы даже не сама функция

, а зависимость
«значение синей ветви как функция значения зелёной ветви при одном и том же значении аргумента».