Известно, что интегральные уравнения с разностным ядром
сводятся к т.н. краевой задаче Римана о сопряжении аналитических функций. При решении одного такого уравнения где ядро является четной функцией
возникает необходимость в решении следующей задачи: найти
и
такие что
где
,
и
. Функции
и
- голоморфные внутри и непрерывные в полуплоскостях
и
соответственно, и отличны от нуля каждая в своей полуплоскости. Условие нормировки:
.
Можно показать, что в данном случае
для всех
и
. Из фундаментальной работы Крейна следует, что в этом случае
и
существуют и единственны. Кроме того, из-за симметрии ядра уравнения и функции
имеем
.
Вопрос в том, как найти эти функции (достаточно одну из них). Сначала я попытался использовать тот факт, что
, чтобы применить формулу разности квадратов. Тогда
и тогда
находятся с точностью до множителя вида
где
- целая нечетная функция. Однако не выполняется условие симметрии
, т.е. нужно какой-то другой подход искать. Какие еще можно приемы тут применить? Представить все как квадратный корень умноженный сам на себя дважды?