10.3. Скачки потенциалов
Теперь мы можем доказать основную теорему о скачках потенциалов.
Теорема 10.5. 1) Пусть u — один из потенциалов Тогда и является функцией, гладкой вплоть до Г с каждой стороны.
2) Если u — объёмный потенциал, то и
3) Если u — потенциал простого слоя, то , а скачок производной на Г равен -а, где а — плотность заряда на Г, определяющая u.
4) Если u — потенциал двойного слоя, то скачоки на Г равен , где а — плотность (диполей) на Г, определяющая u.
Доказательство. По лемме 10.4 мы можем для каждого из потенциалов найти такую функцию гладкую вплоть до Г с каждой стороны, что (здесь — такая же обобщенная функция, как в формуле ). Следовательно, .
Выведем отсюда, что . Без ущерба для общности мы можем предположить, что имеют компактный носитель. Но тогда , откуда . В то же время легко видеть, что , поскольку представляя эту свёртку в виде интеграла
мы можем N раз дифференцировать по под знаком интеграла.
Итак, . Отсюда производные непрерывны вплоть до Г с каждой стороны. Поскольку N произвольно, мы получаем первое утверждение теоремы.
2) Пусть и — объёмный потенциал. Ясно, что . В окрестности каждой точки гиперповерхности Г мы можем выпрямить Г и использовать уравнение получаемое заменой переменных из уравнения Поскольку оператор Д эллиптичен, оператор А тоже эллиптичен, так что Г нехарактеристична. Но тогда из включения и лемм 10.1, 10.2 вытекает, что им (если бы это было не так, то применение формул и (10.11) привело бы к появлению сингулярной обобщённой функции типа или в правой части уравнения
3) В окрестности точки можно так ввести новые координаты , что — расстояние от точки до Г по нормали к Г.