ЧИСЛЕННЫЕ МЕТОДЫ.

УРАВНЕНИЯ В КОНЕЧНЫХ РАЗНОСТЯХ

УДК 519.63+517.958

ОБОСНОВАНИЕ ИНТЕГРО-ФУНКЦИОНАЛЬНОГО
МЕТОДА РЕШЕНИЯ ЗАДАЧ ДИФРАКЦИИ
В ПРИСУТСТВИИ ПОЛУПРОСТРАНСТВА
c 2008 г.

А. В. Барышев, Ю. А. Еремин

В работе рассмотрен метод дискретных источников применительно к анализу скалярной

задачи дифракции плоской волны на частице, частично погруженной в поглощающее по-
лупространство. Обоснование сходимости метода проводится с использованием системы
поверхностных интегральных уравнений. Доказаны фредгольмовость полученной систе-
мы и ее однозначная разрешимость.

Введение. Анализ дифракции волн локальными препятствиями и структурами в присут-

ствии полупространства широко используется в различных областях науки, таких как оптика,
компьютерная томография, метрология, океанография и др. Математическое моделирование,
основанное на решении граничных задачах дифракции, является основным инструментом ис-
следования подобных задач. Интегральные [1] и интегро-функциональные методы, такие как
метод нулевого поля и метод дискретных источников (МДИ) [2], позволяют строить эффек-
тивные численные модели решения граничных задач дифракции. В настоящей работе рассмат-
ривается МДИ применительно к задаче дифракции плоской волны на проницаемой частице,
частично погруженной в полупространство. Аналогичные задачи возникают, например, при
анализе загрязнений поверхности силиконовых подложек. Проводится обоснование сходимо-
сти МДИ. Случаи, когда частица целиком располагается в одном из полупространств, ранее
рассматривались в работах [3, 4].
Постановка задачи. Будем полагать, что пространство R3 разделено плоскостью Ξ
(z = 0) на два полупространства D1 (z > 0) и D2 (z < 0). Выберем декартову систе-
му координат с началом на границе раздела двух сред, ось OZ направим перпендикулярно
поверхности раздела. Будем также полагать, что положение осесимметричной частицы, внут-
реннюю область которой обозначим через Di , определяется положением середины ее боль-
шей полуоси – точки C – относительно точки z = 0. Случай zc > rl соответствует случаю,
когда частица целиком находится в области D1 , случай zc < −rl – частица в D2 , случай
−rl > zc > rl – частица частично погружена в подложку. В качестве внешнего возбуждения
рассмотрим плоскую волну u0 , распространяющуюся под углом π − θ0 к оси OZ. Снача-
ла решим задачу дифракции плоской волны на полупространстве и построим поле внешнего
возбуждения u0 , которое представляет собой совокупность падающей и отраженной плоских
волн в D1 и преломленной плоской волны в D2 . Тогда математическая постановка задачи
дифракции принимает следующий вид:

∆ue + ke2 (M )ue = 0, M ∈ De , ∆ui + ki2 ui = 0, M ∈ Di ,


∂ui ∂ue ∂u0ς ∂ue
ui − ue = u0ς , − = , P ∈ ∂Di , [ue ] = 0, = 0, P ∈ Ξ, (1)
∂n ∂n ∂n ∂n
∂u1
+ ik1 u1 = o(r −1 ),
r → ∞, z > 0, u2 = o(exp{| Im k2 |z}), z → −∞, в D2 .
∂r
 
k 2, M ∈ D , u01 , P ∈ ∂Di1 ,
2 1 1 0
Здесь De = D1 ∪ D2 ; ke (M ) = uς = ∂Di = ∂Di1 ∪ ∂Di2 ;
k22 , M ∈ D2 ; u02 , P ∈ ∂Di2 ;
[ ] – скачок величин при переходе через поверхность; ue – рассеянное поле в соответствую-
щей области D1 и D2 ; ui – полное поле внутри частицы; u01 – суммарное поле падающей

1
и отраженной волн в D1 ; u02 – поле прошедшей в D2 волны. Будем полагать также, что
Im(k22 ) < 0, Im(k1 ) = 0.
Метод дискретных источников. Будем строить приближенное решение граничной за-
дачи (1) для рассеянного поля ue в областях Dζ (ζ = 1, 2) и полного поля ui внутри частицы
Di на основе базовой концепции МДИ [5]. Суть МДИ состоит в представлении рассеянного
поля в виде конечной линейной комбинации полей источников, которые удовлетворяют уравне-
нию Гельмгольца в областях Dζ (ζ = 1, 2), условиям на бесконечности для рассеянного поля
в Dζ (ζ = 1, 2), а также условиям сопряжения для полей на плоскости раздела Ξ. Тогда
решение граничной задачи (1) сводится к решению задачи аппроксимации поля внешнего воз-
буждения на поверхности частицы полями заданных источников. Таким образом, неизвестные
амплитуды дискретных источников (ДИ) находятся из условий сопряжения на поверхности
частицы ∂Di , которые имеют вид

ui − ue = u0ς , ∂ui − ∂ue = ∂u0ς , P ∈ ∂Di .

Здесь и далее для краткости нормальную производную обозначим как ∂ := ∂/∂n. Таким
образом, задача дифракции (1) сведена к решению задачи аппроксимации построенного поля
внешнего возбуждения на поверхности частицы полями заданных источников.
Выберем некоторые вспомогательные по-
верхности вращения Se,i так, как показано на
рис. 1. Пусть множества точек таковы, что
{Mne,i }∞
n=1 = Se,i . Тогда приближенное реше-
ние представим в виде конечных линейных
комбинаций
N

uN
i (M ) = pin ψni (M ),
n=1
(21 )
exp(−jki RM Mn )
ψni (M ) = , Mn ∈ Se ,
RM Mn
N

uN
e (M ) = pen Gn (M ), (22 )
n=1 Рис. 1.

где N – число источников, расположенных на вспомогательных поверхностях Se,i , pen и

pin – амплитуды источников, представляющих поле в соответствующих областях De и Di .
Представление для рассеянного поля в D1,2 строится на основе функции Грина Ge (M, M0 )
следующей граничной задачи:

∆Ge + ke2 Ge = −4πδ(M, M0 ), M0 ∈ De ,

[∂Ge ] = [Ge ] = 0 на Ξ, условия излучения в D1 , условия затухания в D2 ,

Gn (M ) = Ge (M, Mn ) – функция Грина полупространства, которая в интегральном представ-
лении Зоммерфельда может быть записана в виде
∞
Gn (M ) = Ge (M, Mn ) = J0 (λr)ν(λ, z, zn )λ dλ,
0

где r 2 = (x − xn )2 + (y − yn )2 , J0 (λr) – цилиндрическая функция Бесселя, (xn , yn , zn ) – де-

картовы координаты точки Mn . Спектральная функция ν(λ, z, zn ) обеспечивает выполнение
условий сопряжения [∂ue ] = 0, [ue ] = 0 на плоскости раздела Ξ.

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 44 № ?? 2008

 Можно показать, что функцию Ge (M, M0 ) в случае z0 > 0 в De можно представить в
виде [6, с. 121–128]
∞
exp(−ik1 RM M0 ) η1 − η2 exp(−η1 (z + z0 ))
Ge (M, M0 ) = + J0 (λr) λ dλ, z ≥ 0,
RM M0 η1 + η2 η1
0
∞
2η1 exp(η2 z − η1 z0 )
Ge (M, M0 ) = J0 (λr) λ dλ, z ≤ 0,
η1 + η2 η1
0
а в случае z0 < 0 – в виде
∞
2η2 exp(η2 z0 − η1 z)
Ge (M, M0 ) = J0 (λr) λ dλ, z ≥ 0,
η1 + η2 η2
0
∞
exp(−ik2 RM M0 ) η2 − η1 exp(η2 (z + z0 ))
Ge (M, M0 ) = + J0 (λr) λ dλ, z ≤ 0,
RM M0 η1 + η2 η2
0

где 2 = r 2 +(z−z0 )2 , r2
= (x−x0 )2 +(y−y
2 2 2 2 2 1/2 .
RM M0 0 ) = ρ +ρ0 −2ρρ0 cos(ϕ−ϕ0 ), ηα = (λ −kα )
Введем в рассмотрение гильбертово пространство H 0 = L2 (∂Di ) × L2 (∂Di ) и матричный

i 
ψn −Gn
оператор T = . Покажем, что система функций, положенных в основу пред-
∂ψni −∂Gn
ставления для приближенного решения (2), полна и замкнута в H 0 . Для этого достаточно
доказать, что соответствующее ортогональное дополнение пусто [7, с. 60–66] или, что ядро
соответствующего сопряженного оператора удовлетворяет условию ker T ∗ = ∅ [7, с. 228–233].
Теорема 1. Пусть вспомогательные поверхности располагаются следующим образом:
либо а) Si ∈ Di , Si – нерезонансная поверхность и Si ∩ Ξ = ∅ (рис. 2);
либо б) Si ∈ Di и Si ∩ Ξ = ∅ (рис. 3).
Тогда ker T ∗ = ∅.

Рис. 2. Рис. 3.

Докажем предварительно некоторые вспомогательные утверждения.


Лемма 1. Пусть существует ϕ = {ϕ1 ; ϕ2 } ∈ H 0 такой, что T ∗ ϕ = 0, а
ϕ
= 0. Тогда
почти всюду на ∂Di имеют место равенства

∗
ϕ2 (Q) + {(Ge − ψ i )ϕ∗1 (P ) − (∂P Ge − ∂P ψ i )ϕ∗2 (P )} dσP = 0, (31 )
∂Di

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 44 № ?? 2008

 
ϕ∗1 (Q) + {(∂Q Ge − ∂Q ψ i )ϕ∗1 (P ) − ∂Q (∂P Ge − ∂P ψ i )ϕ∗2 (P )} dσP = 0. (32 )
∂Di

Доказательство. Из условия леммы имеем соотношения


{ψni∗ (P )ϕ1 (P ) − ∂P ψni∗ (P )ϕ2 (P )} dσP = 0, Mne ∈ Se , n ∈ N, (41 )
∂Di

{G∗n (P )ϕ1 (P ) − ∂P G∗n (P )ϕ2 (P )} dσP = 0, Mni ∈ Si , n ∈ N. (42 )
∂Di

Взяв комплексное сопряжение от обеих частей равенства (42 ), с учетом того, что {Mni }∞n=1 = Si ,
получим

ve (M ) := {Ge (P, M )ϕ∗1 (P ) − ∂P Ge (P, M )ϕ∗2 (P )} dσP = 0, M ∈ Si .
∂Di

Пусть имеет место условие а) теоремы 1. Так как функция ve (M ) удовлетворяет в DSi
уравнению Гельмгольца, а поверхность Si нерезонансная, то ve (M ) = 0, M ∈ DSi . В силу
аналитичности функции ve (M ) имеем ve (M ) = 0 при M ∈ Di1 , где область Di1 показана на
рис. 2. Следовательно, ve = ∂ve = 0 на Ξ ( Ξ := Di ∩ Ξ). В силу непрерывности функции
Ge (P, M ) вместе с ее нормальной производной на Ξ для функции ve (M ) в области Di2 имеем
следующую граничную задачу Коши [8, с. 286–291]:

∆ve + k22 ve = 0, M ∈ Di2 , ve = ∂z ve = 0, Q ∈ Ξ.

Последнее означает, что ve (M ) = 0 в некотором бесконечно малом слое, примыкающем

к Ξ. Тогда в силу аналитичности этой функции выполняется равенство ve (M ) = 0 при
M ∈ Di2 . Окончательно мы получили, что

ve (M ) = 0, M ∈ Di . (5)

Рассмотрим теперь условие б) теоремы 1, т.е. тот случай, когда вспомогательная поверх-
ность пересекает плоскость Ξ. Тогда по построению функции Грина Ge (P, M ) функция
ve (M ) удовлетворяет следующей граничной задаче:

∆ve + kj2 ve = 0, M ∈ DSj i , j = 1, 2, ve (M ) = 0, M ∈ Si , [ve ] = [∂ve ] = 0, Q ∈ ω, (6)

где ω – часть плоскости Ξ, заключенная внутри DSi . Покажем, что задача (6) имеет толь-
ко тривиальное решение. Предположим, что существует нетривиальное решение β(M ) = 0,
M ∈ DSi . Применим вторую формулу Грина к β и β ∗ в DS1 i :
 
(∆β · β ∗ − ∆β ∗ · β) dτ = (∂β · β ∗ − ∂β ∗ · β) dσ. (7)
1
DS Si1 +ω
i

Интеграл в левой части равенства (7) обращается в нуль, так как Im(k1 ) = 0. Интеграл в
правой части с учетом направления нормали, а также с учетом условий β|Si = 0, β ∗ |Si = 0
обращается в нуль, т.е.   
∂ ∂ ∗
β · β∗ − β · β dσ = 0. (8)
∂z ∂z
ω

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 44 № ?? 2008

 Аналогично в DS2 i имеем
 
(∆β · β ∗ − ∆β ∗ · β) dτ = (∂β · β ∗ − ∂β ∗ · β) dσ.
2
DS Si2 +ω
i

Учитывая (8), а также равенства β|Si = 0, β ∗ |Si = 0, получаем

   
∂ ∂ ∗
(∂β · β ∗ − ∂β ∗ · β) dσ = − β · β∗ + β · β dσ = 0.
∂z ∂z
Si2 +ω ω

Следовательно, 
(∆β · β ∗ − ∆β ∗ · β) dτ = 0. (9)
2
DS
i

Учитывая, что β удовлетворяет уравнению Гельмгольца с комплексным k22 = k22 − jk22 ,

то равенство (9) принимает вид 
2
2jk2 |β|2 dτ = 0.
2
DS
i

Поскольку по условию k22 = Im(k22 ) < 0, то β = 0 в области DS2 i . Далее для β имеем
задачу Коши в окрестности ω в DS1 i и по аналогии с предыдущим заключаем, что β = 0 в об-
ласти DS1 i , т.е. мы получили противоречие с предположением, что β является нетривиальным
решением, следовательно, имеет место равенство (5).
Взяв комплексное сопряжение от обеих частей (41 ), с учетом того, что {Mne }∞ n=1 = Se ,
имеем 
vi (M ) := {ψ i (P, M )ϕ∗1 (P ) − ∂P ψ i (P, M )ϕ∗2 (P )} dσP = 0, M ∈ Se .
∂Di

Функция vi (M ), стоящая в левой части последнего соотношения, удовлетворяет вне Se урав-

нению Гельмгольца и условию излучения. Следовательно, она тождественно равна нулю вне Se
и в силу аналитичности равна нулю в De . Таким образом, мы пришли к следующим соотно-
шениям:
ve (M ) = 0, M ∈ Di , (101 )
vi (M ) = 0, M ∈ De . (102 )
Соотношения (12) представляют собой базовые соотношения метода нулевого поля
[2, с. 35–38]. В силу (10) существуют пределы

lim (ve (M ) − vi (M )) = 0
M →Q∈∂Di

и
lim (∂ve (M ) − ∂vi (M )) = 0
M →Q∈∂Di

[2, с. 23–32], что приводит почти всюду на ∂Di к системе интегральных уравнений (3). Лемма 1
доказана.
Лемма 2. Система уравнений (3) является системой Фредгольма.
Доказательство. Заметим, что если частица целиком расположена в одном из полупро-
странств D1,2 , фредгольмовость системы установлена в [1]. В случае, когда частица пересекает

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 44 № ?? 2008

границу раздела Ξ, возникает необходимость исследования вблизи плоскости z = 0 вторых
нормальных производных функции
∞

 η1 − η2 exp(−η1 (z + z0 ))

 J0 (λr) λ dλ, z ≥ 0, z0 > 0,


 η1 + η2 η1
Ge (M, M0 ) = 0∞



 η2 − η1 exp(η2 (z + z0 ))

 J0 (λr) λ dλ, z ≤ 0, z0 < 0.
 η1 + η2 η2
0

Покажем, что эти производные на контуре γ := ∂Di ∩Ξ имеют слабую особенность. Вторые
производные от функции Ge (M, M0 ) при z0 > 0 имеют вид

∞
∂ 2 Ge η1 − η2
= J0 (λr) η1 exp(−η1 (z + z0 ))λ dλ, (111 )
∂z 2 η1 + η2
0

∞
∂ 2 Ge J1 (λr) J2 (λr) 2 η1 − η2 exp(−η1 (z + z0 )) 2
= − +λ (ρ − ρ0 cos(ϕ − ϕ0 )) λ dλ, (112 )
∂ρ2 r r η1 + η2 η1
0

∞
∂ 2 Ge J1 (λr) η1 − η2
= (ρ − ρ0 cos(ϕ − ϕ0 )) exp(−η1 (z + z0 ))λ2 dλ, (113 )
∂z∂ρ r η1 + η2
0

где при λ → ∞
  2 1/2
kα k2 k22 − k12
ηα = (λ − 2
kα2 )1/2 =λ 1− = λ − α + O(λ−3 ) ⇒ η1 − η2 ≈ .
λ 2λ 2λ

Получим оценки для интегралов (11). Справедливы следующие соотношения:

 ∞ ∞
∂ 2 Ge  η1 k22 − k12 1 1
2  = J0 (λr) exp(−η1 z0 ) dλ ∼ J0 (λr) exp(−λz0 ) dλ =  = .
∂z z=0 η1 + η2 2 2 2
r + z0 R
0 0

Далее, рассматривая (112 ), имеем

∞
J1 (λr) η1 − η2 exp(−η1 z0 ) 2
− λ dλ =
r η1 + η2 η1
0

∞ ∞
J1 (λr) k22 − k12 λ J1 (λr) 1
=− exp(−η1 z0 ) dλ ∼ exp(−η1 z0 ) dλ ∼ ,
r 2(η1 + η2 ) η1 λr r
0 0

∞
J2 (λr) 2 η1 − η2 exp(−η1 z0 ) 2
λ (ρ − ρ0 cos(ϕ − ϕ0 )) λ dλ ∼
r η1 + η2 η1
0

∞ ∞
k22 − k12 λ
∼ {λrJ2 (λr)} exp(−η1 z0 ) dλ ∼ r J2 (λr) exp(−η1 z0 ) dλ ∼ 1.
2(η1 + η2 ) η1
0 0

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 44 № ?? 2008

 Наконец, для смешанной производной (113 ) получаем
 ∞ ∞
∂ 2 Ge  k22 − k12 λ 1
 ∼ J1 (λr) exp(−η1 z0 ) dλ ∼ J1 (λr) exp(−η1 z0 ) dλ ∼ .
∂z∂ρ z=0 2 η1 + η2 R
0 0

Итак, мы доказали оценки

        
∂ 2 Ge  1 ∂ 2 Ge  1 ∂ 2 Ge  1
=O , =O , =O .
∂z 2 Q→P ∈γ RQP ∂ρ2 Q→P ∈γ rQP ∂ρ∂z Q→P ∈γ RQP

Аналогично устанавливаем, что Ge (M, M0 )|z=0 будет иметь те же особенности при z0 → −0.
Таким образом, ядра системы (3) имеют слабую особенность и система представляет собой
систему уравнений Фредгольма в H 0 . Лемма 2 доказана.
Доказательство теоремы 1. Перепишем систему (3) в матричном виде

Λϕ∗ + Aϕ∗ = 0,

где Λ – единичная матрица, а A – матрица, все компоненты которой являются компактны-

ми операторами. Поскольку по предположению существует нетривиальное решение системы
Фредгольма второго рода (3) ϕ∗ ∈ H 0 , то, повышая стандартным образом порядок гладко-
сти [9], получаем ϕ∗ ∼ Φ ∈ H 1 = C (1,α) (∂Di ) × C (1,α) (∂Di ). Теперь, аналогично тому, как
это сделано в [2, с. 93–98], можно показать, что Φ = 0. Следовательно, ϕ ∼ 0. Теорема 1
полностью доказана.
Теорема 2. Пусть выполнены условия теоремы 1, тогда имеет место сходимость при-
ближенного решения, построенного на основе МДИ (2), к точному решению граничной задачи
дифракции (1):
lim uN
e,i (M ) = ue,i (M ), M ∈ de,i ;
N →∞

здесь de,i – замкнутые ограниченные области в De,i .

Доказательство непосредственно следует из теоремы 1 и соотношения корректности для
исходной граничной задачи (1) [5, с. 88–90].
Итак, показана сходимость приближенного решения задачи (1), построенного на основе
МДИ (2), к точному решению задачи.

СПИСОК ЛИТЕРАТУРЫ

1. Захаров Е.В. // Вычислит. методы и программирование. 1975. Вып. 24. С. 37–42.

2. Doicu A., Eremin Yu.A. Wriedt T. Acoustic and Electromagnetic Scattering Analysis Using Discrete
Sources. Academic Press, 2000.
3. Еремин Ю.А., Ивахненко В.И. // Дифференц. уравнения. 2001. Т. 37. № 10. С. 1386–1394.
4. Еремин Ю.А., Ивахненко В.И. // Дифференц. уравнения. 2002. Т. 38. № 9. С. 1247–1256.
5. Еремин Ю.А., Свешников А.Г. Метод дискретных источников в задачах электромагнитной дифрак-
ции. М., 1992.
6. Захаров Е.В., Пименов Ю.В. Численный анализ дифракции радиоволн. М., 1982.
7. Треногин В.А. Функциональный анализ. М., 1980.
8. Функциональный анализ / Под ред. Крейна С.Г. М., 1972.
9. Пресдорф З. // Итоги науки и техники. Современные проблемы математики. Фундаментальные
направления. 1988. Т. 27. С. 64–71.

Московский государственный университет Поступила в редакцию

им. М.В. Ломоносова 10.04.2008 г.

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 44 № ?? 2008