Доброго дня всем! Имеется интеграл
![$I = \int\limits_{-1}^{1}\int\limits_{1}^{2}f(x, y) dxdy.$ $I = \int\limits_{-1}^{1}\int\limits_{1}^{2}f(x, y) dxdy.$](https://dxdy-01.korotkov.co.uk/f/0/8/7/087126f949905cb9c3c66a5fe14410bc82.png)
Подынтегральная функция такова, что обращается в бесконечность в точке
![$(1, -1)$ $(1, -1)$](https://dxdy-03.korotkov.co.uk/f/a/e/3/ae351cd472f489032614f2c511e59e5782.png)
, в остальных точках функция непрерывна. Из физических соображений интеграл
![$I$ $I$](https://dxdy-03.korotkov.co.uk/f/2/1/f/21fd4e8eecd6bdf1a4d3d6bd1fb8d73382.png)
обязан сходиться, к тому же Mathematica выдает вполне правдоподобный численный результат. Но требуется строго математически доказать существование
![$I$ $I$](https://dxdy-03.korotkov.co.uk/f/2/1/f/21fd4e8eecd6bdf1a4d3d6bd1fb8d73382.png)
. Функцию
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
не привожу, т. к. она довольно громоздкая. Выразить ее первообразную в элементарных функциях и перейти к пределу не получится. Есть ли какие-нибудь теоремы или признаки сходимости в классическом анализе для кратных несобственных интегралов ? Пока есть только одна мысль. При приближении к особой точке
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
асимптотически вырождается в функцию
![$g$ $g$](https://dxdy-04.korotkov.co.uk/f/3/c/f/3cf4fbd05970446973fc3d9fa3fe3c4182.png)
, которая оказывается сходящейся (интегрируется в явном виде). Можно ли на основании этого сделать вывод о сходимости
![$I$ $I$](https://dxdy-03.korotkov.co.uk/f/2/1/f/21fd4e8eecd6bdf1a4d3d6bd1fb8d73382.png)
?