Нашел неизвестное ранее свойство сопряженных ядер Дирихле:
сумма двух соседних сопряженных ядер Дирихле есть величина не отрицательная в интервале от нуля до пи.
Dn(x) + D(n+1) (x) >= 0
Слагаемые функции знакопеременные.
Мне такая функция была очень нужна для выполнения работы и я ее нашел примерно за неделю . Чистая интуиция, ниоткуда не следует, а проверить легко.