и здесь наступает полный ступор.
Правильно наступает. Ибо метод "разделения переменных" (ненавижу этот термин и вообще эту манеру изложения -- шаманство какое-то, хотя на самом деле это всего лишь разложение в ряд Фурье по собственным функциям, штука вполне очевидная и прозрачная) -- так вот, этот метод работает только для задач с
однородными граничными условиями.
Ну так и сведите задачу к таковой. Для этого достаточно просто вычесть из искомой функции какую-либо (неважно какую именно), удовлетворяющую
только граничным условиям. Она подбирается очевидным образом, как пропорциональная иксу. Правда, при этом уравнение диффузии становится неоднородным, но это для разложения по собственным функциям не помеха (а вот в варианте "разделения переменных" того же метода -- головная боль, опять заклинания, заклинания...)