BorisgУ меня почему-то ощущение, что вы условие унитарности не совсем правильно записали (ну или немного небрежно в обозначениях). Должно быть что-то такое:

,
то есть интегрирование должно идти по углу между

и некоторым вектором

.
А какие дальше проблемы идеологического характера могут быть, не совсем понятно. Выражение для амплитуды рассеяния для вашего процесса у вас есть. Подставьте и посмотрите, выполняется ли равенство или нет. Вот если будут проблемы вычислительного характера, то это другой вопрос. И вопрос этот даже в другой раздел адресовать надо будет, вероятно.