Является ли линейной функцией, заданной формулой y = 0?

Да, это линейная функция, так как она постоянна (k = 0, b = 0).