Доклады Российской академии наук. Математика, информатика, процессы управления, 2021, T. 496, № 1, стр. 53-55

ЗАДАЧА ОБ ОПРЕДЕЛЕНИИ АНИЗОТРОПНОЙ ПРОВОДИМОСТИ В УРАВНЕНИЯХ ЭЛЕКТРОДИНАМИКИ

Член-корреспондент РАН В. Г. Романов 12*

1 Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук
Новосибирск, Россия

2 Математический центр в Академгородке при Новосибирском государственном университете
Новосибирск, Россия

* E-mail: romanov@math.nsc.ru

Поступила в редакцию 03.11.2020
После доработки 02.12.2020
Принята к публикации 07.12.2020

Полный текст (PDF)

Аннотация

Для системы уравнений электродинамики изучается обратная задача об определении анизотропной проводимости. Предполагается, что проводимость описывается диагональной матрицей σ(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} $
в которых ${{t}_{0}} = \mathop {min}\limits_{x \in \Omega } \frac{{x \cdot \nu }}{c} = - \frac{R}{c}$, а f(t) – произвольная обобщенная функция. Каждое такое решение представляет собой плоскую волну, бегущую в направлении вектора ν, и является обобщенным решением уравнений Максвелла для однородной среды.

Рассмотрим задачу Коши для анизотропной среды

(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}$
в которой ${{{\mathbf{E}}}^{0}}(x,t,\nu ,{\mathbf{j}})$ и ${{{\mathbf{H}}}^{0}}(x,t,\nu ,{\mathbf{j}})$ определены формулами (2), и при этом $f(t)$ – некоторая гладкая функция, такая, что $f(t) \equiv 0$ для $t \leqslant 0$ и $f( + 0) \ne 0$. Таким образом, ${\mathbf{E}}(x,t,\nu ,{\mathbf{j}}) = 0$, ${\mathbf{H}}(x,t,\nu ,{\mathbf{j}})$ = 0 для всех $x \cdot \nu \geqslant c{{t}_{0}}$ при t < 0. Пусть Σ(ν) =: $\{ x \in {{\mathbb{R}}^{3}}|x \cdot \nu $ = = ct0} – плоскость, соответствующая фронту плоской волны в момент t = 0, когда этот фронт касается области Ω.

Пусть $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} $

Обратные задачи об определении проводимости среды, являющейся функцией одной переменной, изучались для стационарных уравнений электродинамики в работах А.Н. Тихонова [14] и Л. Каньяра [5]. Для нестационарных уравнений теория обратных задач электродинамики с использованием полной системы уравнений Максвелла была развита в работах [68]. Задача об определении диэлектрической проницаемости анизотропной среды рассмотрена в работе [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} $
в котором ${{\theta }_{1}}(t) = t{{\theta }_{0}}(t)$, функция $\alpha (x,\nu ,{\mathbf{j}})$ является решением задачи Коши:
(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} $
а функция ${\mathbf{\hat {E}}}(x,t,\nu ,{\mathbf{j}})$ является ограниченной функцией переменных x, t для $t \in \left[ {\frac{{x \cdot \nu }}{c} - {{t}_{0}},T} \right]$ при любом T > 0.

Уравнение (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}})$ вычисляются в явном виде, а именно,

$\begin{gathered} {{\alpha }_{k}}(x,{{\nu }^{k}}(\varphi ),{{{\mathbf{j}}}^{k}}) = \\ = \hat {f}(0)exp\left( { - \frac{{\mu c}}{2}\int\limits_0^\infty {{{\sigma }_{k}}} (x - s{{\nu }^{k}}(\varphi ))ds} \right),\quad k = 1,\;2,\;3. \\ \end{gathered} $

Эти же компоненты вычисляются по данным (5) обратной задачи

$\begin{gathered} {{\alpha }_{k}}(x,{{\nu }^{k}}(\varphi ),{{{\mathbf{j}}}^{k}}) = {{g}_{k}}(x,\varphi ) = :\mathop {lim}\limits_{t \to (x \cdot {{\nu }^{k}}(\varphi ))/c - {{t}_{0}}} {{F}_{k}}(x,t,\varphi ), \\ x \in {{S}^{ + }}({{\nu }^{k}}(\varphi )),\quad \varphi \in [0,\pi ],\quad k = 1,\;\,2,\,\;3. \\ \end{gathered} $

Из этих формул следует, что известны интегралы

(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,$
для всех $x \in {{S}^{ + }}({{\nu }^{k}}(\varphi ))$ и $\varphi \in [0,\pi ]$.

Таким образом, правая часть равенства (11) при каждом $k = 1,\;2,\;3$ известна вдоль любой прямой, пересекающей $\Omega $ и имеющей направление ${{\nu }^{k}}(\varphi )$. Варьируя φ, получаем, что в каждом сечении $\Omega $ плоскостью ${{x}_{k}} = {\text{const}}$ известны интегралы по всевозможным прямым, лежащим в этой плоскости. В результате мы приходим к задаче рентгеновской томографии для определения ${{\sigma }_{k}}(x)$, $k = 1,\;2,\;3$. Хорошо известно (см. [1214]), что эта задача решается однозначно. Отсюда следуют теорема 1 о единственности решения обратной задачи и алгоритм ее решения.

Список литературы

  1. Тихонов А.Н. // Изв. АН СССР. Сер. геогр. и геофиз. 1946. Т. 10. № 3. С. 213–231.

  2. Тихонов А.Н. // ДАН СССР. 1949. Т. 60. № 5. С. 797–800.

  3. Тихонов А.Н. // ДАН СССР. 1950. Т. 73. № 2. С. 295–297.

  4. Тихонов А.Н. // ЖВМиМФ. 1965. Т. 5. № 3. С. 545–548.

  5. Cagniard L. // Geophysics. 1953. V. 187. № 3. P. 605–635.

  6. Романов В.Г., Кабанихин С.И. Обратные задачи геоэлектрики. М.: Наука, 1991.

  7. Karchevsky A.L. // J. Inv. and Ill-Posed Problems. 2009. V. 17. № 4. P. 385–402.

  8. Романов В.Г. // Сиб. матем. журн. 2011. Т. 52. № 4. С. 861–875.

  9. Романов В.Г. // ЖВМиМФ. 2020. Т. 60. № 6. С. 134–141.

  10. Карчевский А.Л., Дедок В.А. // Сиб. журн. индустр. матем. 2018. Т. 12. № 3. С. 50–59.

  11. Романов В.Г. // ЖВМиМФ. 2020. Т. 60. № 6. С. 142–160.

  12. Хелгасон С. Преобразование Радона. М.: Мир, 1983.

  13. Natterer F. The mathematics of computerized tomography (Classics in Applied Mathematics, 32). PA Philadelphia: SIAM, 2001.

  14. Finch D. // Inverse Problems. 1986. V. 2. № 2. P. 197–203.

Дополнительные материалы отсутствуют.

Инструменты

Доклады Российской академии наук. Математика, информатика, процессы управления