Доклады Российской академии наук. Математика, информатика, процессы управления, 2021, T. 496, № 1, стр. 53-55
ЗАДАЧА ОБ ОПРЕДЕЛЕНИИ АНИЗОТРОПНОЙ ПРОВОДИМОСТИ В УРАВНЕНИЯХ ЭЛЕКТРОДИНАМИКИ
Член-корреспондент РАН В. Г. Романов 1, 2, *
1 Институт математики им. С.Л. Соболева
Сибирского отделения Российской академии наук
Новосибирск, Россия
2 Математический центр в Академгородке
при Новосибирском государственном университете
Новосибирск, Россия
* E-mail: romanov@math.nsc.ru
Поступила в редакцию 03.11.2020
После доработки 02.12.2020
Принята к публикации 07.12.2020
Аннотация
Для системы уравнений электродинамики изучается обратная задача об определении анизотропной проводимости. Предполагается, что проводимость описывается диагональной матрицей σ(x) = = ${\text{diag}}({{\sigma }_{1}}(x),{{\sigma }_{2}}(x),{{\sigma }_{3}}(x))$, причем $\sigma (x) = 0$ вне области Ω = $\{ x \in {{\mathbb{R}}^{3}}\,\,{\text{|}}\,\,{\text{|}}\,x\,{\text{|}} < R\} $, R > 0, а диэлектрическая ε и магнитная μ проницаемости среды являются положительными постоянными всюду в ${{\mathbb{R}}^{3}}$. Рассматриваются плоские бегущие волны, падающие из бесконечности на неоднородность, локализованную в Ω. Для определения искомых функций ${{\sigma }_{1}}(x)$, ${{\sigma }_{2}}(x)$, ${{\sigma }_{3}}(x)$ задается некоторая информация о векторе электрической напряженности поля на границе S области Ω. Показано, что эта информация приводит исходную задачу к трем идентичным задачам рентгеновской томографии.
Рассмотрим нестационарную систему уравнений Максвелла
(1)
${\text{rot}}{\mathbf{H}} = \varepsilon {{{\mathbf{E}}}_{t}} + \sigma (x){\mathbf{E}},\quad {\text{rot}}{\mathbf{E}} = - \mu {{{\mathbf{H}}}_{t}},\quad {\text{div}}{\mathbf{H}} = 0.$В уравнениях (1) ${\mathbf{E}} = ({{E}_{1}},{{E}_{2}},{{E}_{3}})$, ${\mathbf{H}}\, = \,({{H}_{1}},{{H}_{2}},{{H}_{3}})$ – векторы электрической и магнитной напряженности поля, $\sigma (x) = {\text{diag}}({{\sigma }_{1}}(x),{{\sigma }_{2}}(x),{{\sigma }_{3}}(x))$ – неотрицательно определенная диагональная матрица, ε и μ – некоторые положительные постоянные. Предположим, что вне области $\Omega = \{ x \in {{\mathbb{R}}^{3}}\,\,{\text{|}}\,\,{\text{|}}\,x\,{\text{|}}$ < R}, R > 0, матрица $\sigma (x) = 0$.
Обозначим через $c = \frac{1}{{\sqrt {\varepsilon \mu } }}$ – скорость распространения электромагнитных волн. Пусть $\nu = ({{\nu }_{1}},{{\nu }_{2}},{{\nu }_{3}})$, $\left| \nu \right| = 1$, и j – единичный вектор, ортогональный ν, т.е. ${\mathbf{j}} \cdot \nu = 0$.
Для системы уравнений Максвелла (1) в однородной среде ($\sigma (x) = 0$) существуют решения вида
(2)
$\begin{gathered} {{{\mathbf{E}}}^{0}}(x,t,\nu ,{\mathbf{j}}) = {\mathbf{j}}\,f\left( {t + {{t}_{0}} - \frac{{x \cdot \nu }}{c}} \right), \\ \:{{{\mathbf{H}}}^{0}}(x,t,\nu ,{\mathbf{j}}) = \frac{{\nu \times {\mathbf{j}}}}{{\mu c}}f\left( {t + {{t}_{0}} - \frac{{x \cdot \nu }}{c}} \right), \\ \end{gathered} $Рассмотрим задачу Коши для анизотропной среды
(3)
$\begin{array}{*{20}{c}} {{\text{rot}}{\mathbf{H}} = \varepsilon {{{\mathbf{E}}}_{t}} + \sigma (x){\mathbf{E}},\quad {\text{rot}}{\mathbf{E}} = - \mu {{{\mathbf{H}}}_{t}},} \\ {{{{\left. {\mathbf{E}} \right|}}_{{t < 0}}} = {{{\mathbf{E}}}^{0}}(x,t,\nu ,{\mathbf{j}}),\quad {{{\left. {\mathbf{H}} \right|}}_{{t < 0}}} = {{{\mathbf{H}}}^{0}}(x,t,\nu ,{\mathbf{j}}),} \end{array}$Пусть $S = \{ x \in {{\mathbb{R}}^{3}}\,\,{\text{|}}\,\,{\text{|}}\,x\,{\text{|}} = R\} $ – граница области $\Omega $ и ${{S}^{ + }}(\nu ) = \left\{ {x \in S|x \cdot \nu > 0} \right\}$ – ее теневая часть по отношению к потоку света, имеющего направление ν.
Ниже мы будем рассматривать задачу (3) для трех различных векторов jk, $k = 1,\;2,\;3$, и соответствующих им ортогональных векторов ${{\nu }^{k}}$, зависящих от углового параметра φ, а именно,
(4)
$\begin{gathered} {{{\mathbf{j}}}^{1}} = (1,0,0),\quad {{\nu }^{1}}(\varphi ) = (0,cos\varphi ,sin\varphi ),\quad \varphi \in [0,\pi ], \\ {{{\mathbf{j}}}^{2}} = (0,1,0),\quad {{\nu }^{2}}(\varphi ) = (cos\varphi ,0,sin\varphi ),\quad \varphi \in [0,\pi ], \\ {{{\mathbf{j}}}^{3}} = (0,0,1),\quad {{\nu }^{3}}(\varphi ) = (cos\varphi ,sin\varphi ,0),\quad \varphi \in [0,\pi ]. \\ \end{gathered} $Обратная задача. Найти $\sigma (x)$ по функциям ${{E}_{k}}(x,t,{{\nu }^{k}}(\varphi ),{{{\mathbf{j}}}^{k}})$, k = 1, 2, 3, известным для всех $x \in {{S}^{ + }}({{\nu }^{k}}(\varphi ))$, $\varphi \in [0,\pi ]$, и $t \in \left[ {0,{{T}_{k}}(x,\varphi )} \right]$, где Tk(x, φ) = $\frac{{x \cdot {{\nu }^{k}}(\varphi )}}{c}$ – t0 + δ0 и ${{\delta }_{0}} > 0$ – произвольное число (возможно малое). Другими словами, требуется найти σ(x) по заданным функциям
(5)
$\begin{gathered} {{F}_{k}}(x,t,\varphi ) = {{E}_{k}}(x,t,{{\nu }^{k}}(\varphi ),{{{\mathbf{j}}}^{k}}),\quad \:k = 1,\;2,\;3, \\ x \in {{S}^{ + }}({{\nu }^{k}}(\varphi )),\quad \varphi \in [0,\pi ],\quad \:t \in \left[ {0,{{T}_{k}}(x,\varphi )} \right]. \\ \end{gathered} $Обратные задачи об определении проводимости среды, являющейся функцией одной переменной, изучались для стационарных уравнений электродинамики в работах А.Н. Тихонова [1–4] и Л. Каньяра [5]. Для нестационарных уравнений теория обратных задач электродинамики с использованием полной системы уравнений Максвелла была развита в работах [6–8]. Задача об определении диэлектрической проницаемости анизотропной среды рассмотрена в работе [9]. Изучены также бесфазовые обратные задачи об определении диэлектрической проницаемости по модулю вектора электрической или магнитной напряженностей стационарного электромагнитного поля (см. [10], а также обзорную статью [11]).
Для поставленной выше обратной задачи имеет место следующая
Теорема 1. Пусть матрица $\sigma (x) \in {{C}^{2}}({{\mathbb{R}}^{3}})$ и равна нулю вне $\Omega $, а функция $f(t)$ имеет вид f(t) = = $\hat {f}(t){{\theta }_{0}}(t)$, в котором $\hat {f}(t)$ – гладкая функция класса ${{C}^{2}}\left[ {0,\infty } \right)$ и $\hat {f}(0) \ne 0$, а ${{\theta }_{0}}(t)$ – функция Хевисайда: ${{\theta }_{0}}(t) = 1$ для $t \geqslant 0$ и ${{\theta }_{0}}(t) = 0$ для t < 0. Тогда информация (5) однозначно определяет все элементы матрицы $\sigma (x)$ в области $\Omega $.
Основой исследования обратной задачи является изучение структуры решения задачи (3). Удобно при этом использовать интегро-дифференциальное уравнение для вектора ${\mathbf{E}}(x,t,\nu ,{\mathbf{j}})$. Чтобы его найти, применим операцию rot ко второму уравнению (3) и воспользуемся первым уравнением для исключения возникающего члена ${\text{rot}}{{{\mathbf{H}}}_{t}}$. Тогда получим уравнение
(6)
$( - \Delta + \nabla {\text{div}}){\mathbf{E}} = - \mu \varepsilon {{{\mathbf{E}}}_{{tt}}} - \mu \sigma (x){{{\mathbf{E}}}_{t}}.$Вычисляя ${\text{div}}{\mathbf{E}}$ с помощью первого уравнения (3), находим, что
(7)
${\text{div}}{\mathbf{E}}(x,t,\nu ,{\mathbf{j}}) = - \frac{1}{\varepsilon }{\text{div}}\int\limits_{ - \infty }^t \sigma (x){\mathbf{E}}(x,\tau ,\nu ,{\mathbf{j}})d\tau .$Из равенств (6), (7) и (3) следует, что функция E является решением задачи Коши:
(8)
$\begin{array}{*{20}{c}} \begin{gathered} {{c}^{{ - 2}}}{{{\mathbf{E}}}_{{tt}}} - \Delta {\mathbf{E}} + \mu \sigma (x){{{\mathbf{E}}}_{t}} - \\ - \;\frac{1}{\varepsilon }\nabla {\text{div}}\int\limits_{ - \infty }^t \sigma (x){\mathbf{E}}(x,\tau ,\nu ,{\mathbf{j}})d\tau = 0, \\ \end{gathered} \\ {{{{\left. {\mathbf{E}} \right|}}_{{t < 0}}} = {{{\mathbf{E}}}^{0}}(x,t,\nu ,{\mathbf{j}}).} \end{array}$Для задачи (8) справедливо следующее утверждение.
Теорема 2. Пусть для матрицы $\sigma (x)$ и функции $f(t)$ выполнены условия теоремы 1. Тогда функция ${\mathbf{E}}(x,t,\nu ,{\mathbf{j}})$ при $t \geqslant 0$ представима в виде
(9)
$\begin{gathered} {\mathbf{E}}(x,t,\nu ,{\mathbf{j}}) = \alpha (x,\nu ,{\mathbf{j}}){{\theta }_{0}}\left( {t + {{t}_{0}} - \frac{{x \cdot \nu }}{c}} \right) + \\ + \;{\mathbf{\hat {E}}}(x,t,\nu ,{\mathbf{j}}){{\theta }_{1}}\left( {t + {{t}_{0}} - \frac{{x \cdot \nu }}{c}} \right), \\ \end{gathered} $(10)
$\begin{gathered} \frac{2}{c}(\nu \cdot \nabla )\alpha + \mu \sigma (x)\alpha - \frac{1}{{\varepsilon {{c}^{2}}}}\nu ((\sigma (x)\alpha ) \cdot \nu ) = 0, \\ {{\left. \alpha \right|}_{{x \cdot \nu = c{{t}_{0}}}}} = {\mathbf{j}}\hat {f}(0), \\ \end{gathered} $Уравнение (10) получается в результате подстановки представления (9) в уравнение (8) и приравнивания в нем нулю коэффициентов при $\delta \left( {t + {{t}_{0}} - \frac{{x \cdot \nu }}{c}} \right)$, начальные данные для функции $\alpha (x,\nu ,{\mathbf{j}})$ следуют из начальных данных для функции ${\mathbf{E}}(x,t,\nu ,{\mathbf{j}})$. Функция $\alpha (x,\nu ,{\mathbf{j}})$ является амплитудой функции ${\mathbf{E}}(x,t,\nu ,{\mathbf{j}})$ на фронте электромагнитной волны, т.е. при $t = \frac{{x \cdot \nu }}{c} - {{t}_{0}}$. Уравнение (10) является обыкновенным дифференциальным векторным уравнением вдоль любого луча $x = {{x}^{0}} + s\nu $, $s \in {{\mathbb{R}}^{1}}$, выходящего из произвольной точки ${{x}^{0}} \in {{\mathbb{R}}^{3}}$. Для случая (4) отдельные компо- ненты векторов $\alpha (x,{{\nu }^{k}}(\varphi ),{{{\mathbf{j}}}^{k}}) = ({{\alpha }_{1}}(x,{{u}^{k}}(\varphi ),{{{\mathbf{j}}}^{k}})$, α2(x, ${{\nu }^{k}}(\varphi ),{{{\mathbf{j}}}^{k}})$, ${{\alpha }_{3}}(x,{{\nu }^{k}}(\varphi ),{{{\mathbf{j}}}^{k}})$ вычисляются в явном виде, а именно,
Эти же компоненты вычисляются по данным (5) обратной задачи
Из этих формул следует, что известны интегралы
(11)
$\int\limits_0^\infty {{{\sigma }_{k}}} (x - s{{\nu }^{k}}(\varphi ))ds = - \frac{2}{{\mu c}}{\text{ln}}\frac{{{{g}_{k}}(x,\varphi )}}{{\hat {f}(0)}},\quad k = 1,2,3,$Таким образом, правая часть равенства (11) при каждом $k = 1,\;2,\;3$ известна вдоль любой прямой, пересекающей $\Omega $ и имеющей направление ${{\nu }^{k}}(\varphi )$. Варьируя φ, получаем, что в каждом сечении $\Omega $ плоскостью ${{x}_{k}} = {\text{const}}$ известны интегралы по всевозможным прямым, лежащим в этой плоскости. В результате мы приходим к задаче рентгеновской томографии для определения ${{\sigma }_{k}}(x)$, $k = 1,\;2,\;3$. Хорошо известно (см. [12–14]), что эта задача решается однозначно. Отсюда следуют теорема 1 о единственности решения обратной задачи и алгоритм ее решения.
Список литературы
Тихонов А.Н. // Изв. АН СССР. Сер. геогр. и геофиз. 1946. Т. 10. № 3. С. 213–231.
Тихонов А.Н. // ДАН СССР. 1949. Т. 60. № 5. С. 797–800.
Тихонов А.Н. // ДАН СССР. 1950. Т. 73. № 2. С. 295–297.
Тихонов А.Н. // ЖВМиМФ. 1965. Т. 5. № 3. С. 545–548.
Cagniard L. // Geophysics. 1953. V. 187. № 3. P. 605–635.
Романов В.Г., Кабанихин С.И. Обратные задачи геоэлектрики. М.: Наука, 1991.
Karchevsky A.L. // J. Inv. and Ill-Posed Problems. 2009. V. 17. № 4. P. 385–402.
Романов В.Г. // Сиб. матем. журн. 2011. Т. 52. № 4. С. 861–875.
Романов В.Г. // ЖВМиМФ. 2020. Т. 60. № 6. С. 134–141.
Карчевский А.Л., Дедок В.А. // Сиб. журн. индустр. матем. 2018. Т. 12. № 3. С. 50–59.
Романов В.Г. // ЖВМиМФ. 2020. Т. 60. № 6. С. 142–160.
Хелгасон С. Преобразование Радона. М.: Мир, 1983.
Natterer F. The mathematics of computerized tomography (Classics in Applied Mathematics, 32). PA Philadelphia: SIAM, 2001.
Finch D. // Inverse Problems. 1986. V. 2. № 2. P. 197–203.
Дополнительные материалы отсутствуют.
Инструменты
Доклады Российской академии наук. Математика, информатика, процессы управления