доказывается, что собственные функции интегрального оператора

принадлежат (как минимум) к классу
![$C^2[0,1]$ $C^2[0,1]$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e11bcaff6762d7974a6d6d5ec6cc43c82.png)
А не усложняете ли вы? К чему чего-то доказывать? Я решал, как тут в теме было предложено и как во втором ответе по вашей первой ссылке:
1. Переходим к оператору

. Он самосопряжённый и компактный (записывается через два интеграла). Осталось найти границу его спектра.
2. Два раза дифференцируя, получаем уравнение для определения собственных значений и векторов.
И никаких доказательств и никаких оценок.