РАСШИРЕНИЯ ДЕЙСТВИТЕЛЬНЫХ ЧИСЕЛ

1. ИНТЕГРИРОВАНИЕ И ИНТЕГРАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ НАД ЧИСЛАМИ М

0

КРАВЧИК Ю.С. ИНТЕГРИРОВАНИЕ И ИНТЕГРАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ НАД ЧИСЛАМИ М pdf   

   Аннотация.  Представлено интегрирование над числами М и аналог преобразования Фурье.

      Summary. Integration above numbers of M and analogue of transformation Fourier is submitted.

 

В настоящее время актуальна проблема получения аналитических решений системы уравнений Максвелла. Такие решения необходимы для расчета и анализа электромагнитных резонаторов, направляющих систем и пространственных полей в радиотехнике и телекоммуникации.

Для получения решений системы уравнений Максвелла наибольшее распространение получили символический метод [1] и его обобщения – обобщенный символический метод [2] и многомерный символический метод [3], а так же теория дифференциальных уравнений [4]. Их использование ограничено определенным классом функций, в котором находится решение, либо математическими трудностями, связанными с необходимостью разделения переменных.  Во многих практически важных случаях такие методы не дают аналитического решения.  Теория функций комплексной переменной [5] адекватно описывает плоские стационарные электрические и магнитные поля.   Возможность использования одного из вариантов расширения комплексных чисел – чисел М в электродинамике Максвелла показана  в [6]. В [6] описаны числа М, их арифметика – сложение, вычитание, умножение и деление, а так же дифференцирование функций над числами М. Однако не была рассмотрена обратная операция — интегрирование. Поэтому целью данной работы является показать возможность  введения интегрирования для функций над числами М. В дальнейшем будут использованы обозначения и  понятия, введенные в [6].

ИНТЕГРИРОВАНИЕ

     Интегрирование для функций над числами М по некоторой кривой γ определим следующим образом.

Определим кривую на листе малой переменной следующим образом. Пусть на отрезке действительной оси

    \[ \delta \le r\le \chi  \]

задана функция λ=λ(r), принимающая значения на листе малой переменной

    \[ \lambda =i\cdot x(r)+j\cdot y(r)+k\cdot z(r)+I\cdot t(r). \]

Здесь x(r), y(r), z(r) и t(r) –действительные непрерывные дифференцируемые функции. Аналогично определим кривую как однопараметрическую функцию со значениями на листе большой переменной

    \[ \Lambda =Ii\cdot X(r)+Ij\cdot Y(r)+Ik\cdot Z(r)+T(r). \]

Введем интегрирование над листом малой переменной λ функции F аналогично введению интегрирования в теории функций комплексного переменного (см., например, [4]). Разобьем кривую γ    на частичные  дуги γn  конечным числом  n  точками λn, взятыми в порядке следования по кривой γ. Обозначим  через ln  длину дуги [1], оканчивающейся точкой  ln, и пусть  l=max ln – максимальная  длина элементарной дуги из разбиения.  Тогда определим интеграл от функции F(λ) по кривой γ  как следующий предел при стремлении максимальной длинны элементарной дуги l к нулю:

(1):

    \[ \int\limits_\gamma F(\lambda )d\lambda =\lim\limits_{l\to 0}  \sum\limits_n F(\lambda_{n} )(\lambda_{n} -\lambda_{n-1} ), \]

где γ — контур интегрирования и λ∈γ. Функция F(λ), в соответствии с [6], представляется в виде суммы действительных и мнимых составляющих. Соответственно, λ принадлежит листу малых переменных и представляется в виде суммы мнимых составляющих:  λ=I×t+i×x+j×y+k×z. Тогда

 

(2):

    \[ \begin{array}{l}  \lambda_{n} -\lambda_{n-1} =I\cdot (t_{n} -t_{n-1} )+i\cdot (x_{n}  -x_{n-1} )+ \\   +j\cdot (y_{n} -y_{n-1} )+k\cdot (z_{n} -z_{n-1} ) \\   \end{array} \]

при l->0  соответствующие разности перейдут в действительные дифференциалы. Окончательно получаем:

(3):

    \[ \begin{array}{l}  \int\limits_\gamma {F(\lambda )d\lambda =\int\limits_\gamma  {\begin{array}{l}  (\alpha +i\cdot C_{X} +j\cdot C_{Y} +k\cdot C_{Z} + \\   +I\cdot \beta +Ii\cdot G_{X} +Ij\cdot G_{Y} +Ik\cdot G_{Z} )\times \\   \end{array}} } \\   \times (I\cdot \partial t+i\cdot \partial x+j\cdot \partial y+k\cdot  \partial z), \\   \end{array} \]

Раскрывая скобки и выполняя умножение в соответствии с таблицей 1 умножения [6] получим представление интеграла (1) в виде суммы интегралов от действительных переменных:

(4):

    \[ \begin{array}{l}  \int\limits_\gamma {F(\lambda )d\lambda =\int\limits_\gamma {-C_{X}  \partial x-C_{Y} \partial y-C_{Z} \partial z-\beta \partial t+} } i\times \\   \times \int\limits_\gamma {\alpha \partial x+C_{Y} \partial z-C_{Z}  \partial y-G_{X} \partial t+} \\   +j\cdot \int\limits_\gamma {\alpha \partial y-C_{X} \partial z+C_{Z}  \partial x-G_{Y} \partial t} + \\   +k\cdot \int\limits_\gamma {\alpha \partial z+C_{X} \partial y-C_{Y}  \partial x-G_{Z} \partial t} + \\   +I\cdot \int\limits_\gamma {\alpha \partial t-G_{X} \partial x-G_{Y}  \partial y-G_{Z} \partial z+} \\   +Ii\cdot \int\limits_\gamma C_{X} \partial t+\beta \partial x+G_{Y}  \partial z-G_{Z} \partial y+ \\   +Ij\cdot \int\limits_\gamma {C_{Y} \partial t+\beta \partial y-G_{X}  \partial z+G_{Z} \partial x+} \\   +Ik\cdot \int\limits_\gamma C_{Z} \partial t+\beta \partial z+G_{X}  \partial y-G_{Y} \partial x. \\   \end{array} \]

Следовательно, интегрирование над числами М по кривой γ сводится, как и в комплексном случае,  к сумме действительных интегралов.

Аналогично представим интеграл над листом большой переменной Λ по кривой Г:

(5):

    \[ \begin{array}{l}  \int\limits_\Gamma {F(\Lambda )d\Lambda =\int\limits_\Gamma  {\begin{array}{l}  (\alpha +i\cdot C_{X} +j\cdot C_{Y} +k\cdot C_{Z} + \\   +Ii\cdot G_{X} +Ij\cdot G_{Y} +Ik\cdot G_{Z} ) \\   \end{array}} } \times \\   \times (\partial T+Ii\cdot \partial X+Ij\cdot \partial Y+Ik\cdot \partial  Z) \\   \end{array} \]

Раскрывая скобки и выполняя умножение в соответствии с таблицей 1 умножения чисел М [6], интеграл (5) сведем к сумме действительных интегралов:

(6):

    \[ \begin{array}{l}  \int\limits_\Gamma {F(\Lambda )d\Lambda =\int\limits_\Gamma {\alpha  \partial T+G_{X} \partial X+G_{Y} \partial Y+G_{Z} \partial Z+} } \\   +i\cdot \int\limits_\Gamma {C_{X} \partial T-\beta \partial X-G_{Y}  \partial Z+G_{Z} \partial Y+} \\   +j\cdot \int\limits_\gamma {C_{Y} \partial T-G_{Z} \partial X-\beta  \partial Y+G_{X} \partial Z} + \\   +k\cdot \int\limits_\Gamma {C_{Z} \partial T-\beta \partial Z-G_{X}  \partial Y+G_{Y} \partial X} + \\   +I\cdot \int\limits_\Gamma \beta \partial T-C_{X} \partial X-C_{Y} \partial  Y-C_{Z} \partial Z+ \\   +Ii\cdot \int\limits_\Gamma G_{X} \partial X+\alpha \partial X+C_{Y}  \partial Z-C_{Z} \partial Y+ \\   +Ij\cdot \int\limits_\Gamma G_{Y} \partial T+\alpha \partial Y-C_{X}  \partial Z-C_{Z} \partial X+ \\   Ik\cdot \int\limits_\Gamma G_{Z} \partial T+\alpha \partial Z+C_{X}  \partial Y-C_{Y} \partial X. \\   \end{array} \]

Основные свойства интегралов (3) и (5) следующие:

Линейность:

(7):

    \[ \int\limits_\gamma {(F_{1} m_{1} +F_{2} m_{2} )} d\lambda =m_{1}  \int\limits_\gamma {F_{1} } d\lambda +m_{2} \int\limits_\gamma {F_{2}  d\lambda } {\begin{array}{*{20}c}  , \hfill & {\mbox{\, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, }(7)} \hfill \\ \end{array} } \]

где m1, m2числа с листа малой переменной, m1, m2⊆λ.

(8):

    \[ \int\limits_\gamma {Fd\lambda } =-\int\limits_{-\gamma } {Fd\lambda }  .\mbox{\, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, }{\begin{array}{*{20}c}  \hfill & {(8)} \hfill \\ \end{array} } \]

(9):

    \[ \int\limits_{\gamma_{1} } {Fd\lambda } +\int\limits_{\gamma_{2} }  {Fd\lambda =\int\limits_{\gamma_{1} +\gamma_{2} } {Fd\lambda } }  .{\begin{array}{*{20}c}  \hfill & {\mbox{\, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \,  \, \, \, \, \, \, \, \, }(9)} \hfill \\ \end{array} } \]

Свойства 1-3 – вытекают из свойств сумм действительных интегралов (4) и  (6) и устанавливаются непосредственной проверкой.

Аналогичным путем введем m-кратные интегралы (см., например. [7]). Определим m-кратный интеграл на m листах малых переменных λm как предел следующей суммы:

(10):

    \[ \begin{array}{l}  \mathop{\int\!\!\!\int\!\!\!\int}\limits_{\kern-5.5pt {\gamma^{1}\gamma  ^{2}\gamma^{3}}} {...} \int\limits_{\gamma^{m}} {F(\lambda^{1},\lambda  ^{2},\lambda^{3},} ...,\lambda^{m})d\lambda^{1}d\lambda^{2}d\lambda  ^{3}d...\lambda^{m}= \\   =\int\limits_{\gamma^{[m]}} {F(\lambda^{[m]})d\lambda^{[m]}} = \\   =\mathop {\lim \left[ \right.}\limits_{{\begin{array}{l}  l^{1}\to 0 \\   l^{2}\to 0 \\   l^{3}\to 0 \\   ........ \\   l^{m}\to 0 \\   \end{array}}} \sum\limits_{n^{1},n^{2},n^{3}...n^{m}} {F(\lambda^{[m]})}  (\lambda_{n_{1} }^{1} -\lambda_{n_{1} +1}^{1} )\times \\   \times (\lambda_{n_{2} }^{2} -\lambda_{n_{2} +1}^{2} )(\lambda_{n_{3}  }^{3} -\lambda_{n_{3+1} }^{3} )...(\lambda_{n_{m} }^{m} -\lambda_{n_{m}  +1}^{m} )\left. \right], \\   \end{array} \]

где lk – максимальная длинна элементарной  дуги k -ой переменной при разбиении на отрезки точками nk. F(λ123, …,λm) – функция m переменных. γ[m]m— кривых на m листах малой переменной, заданных как параметрические функции от действительных параметров rn со значением на n – ом листе переменной λn. Подставляя в (10) составляющие функции F и дифференциалов

(11):

    \[ d\lambda^{k}=i\cdot \partial x^{k}(r)+j\cdot \partial y^{k}(r)+k\cdot  \partial z^{k}(r)+I\cdot \partial t^{k}(r) \]

в виде действительных и мнимых составляющих, с учетом таблицы умножения чисел М, этот интеграл сводим к вычислению действительных интегралов. Их свойства будут соответствовать свойствам (7)-(9) и свойствам действительных m-мерных интегралов.

Аналогично определим кратный интеграл на листах большой переменной Λ[m].        Для выражения (10) примем следующую сокращенную запись кратного интеграла на листе  большой переменной:

(12):

    \[ \int\limits_{\Gamma^{[m]}} F(\Lambda^{[m]})d\Lambda^{1}d\Lambda  ^{2}d\Lambda^{3}...d\Lambda^{m}=\int\limits_{\Gamma^{[m]}} F(\Lambda  ^{[m]})d\Lambda^{[m]}. \]

Здесь: Γ[m] m листов большой переменной Λn.

Введенные операции интегрирования будут использованы при разложениях в ряды и интегральных преобразованиях.

 

 

2. ОРТОГОНАЛЬНЫЕ РЯДЫ И ПРЕОБРАЗОВАНИЕ ФУРЬЕ

0

В качестве примера использования интегрирования рассмотрим определение коэффициентов разложения периодических функций над числами М в ряд. Так же рассмотрим аналог преобразования Фурье для непериодических функций над числами М.

Предварительно переопределим функцию F(λ) с листа малой переменной  λ на 4 листах малой переменной  λ=λ1234 при следующих условиях:

(13),(14):

    \[ \begin{array}{l}  F(\lambda )=F(\lambda^{[4]})=F(\lambda^{1}+\lambda^{2}+\lambda  ^{3}+\lambda^{4}),{\begin{array}{*{20}c}  \hfill & {\mbox{\, \, \, \, \, \, \, \, \, }(13)} \hfill \\ \end{array} } \\   \lambda^{1}=i\cdot x,\mbox{\, \, }\lambda^{2}=j\cdot y,\mbox{\, \,  }\lambda^{3}=k\cdot z,\mbox{\, \, }\lambda^{4}=I\cdot  t.{\begin{array}{*{20}c}  \hfill & {\mbox{\, \, \, \, \, }(14)} \hfill \\ \end{array} } \\   \end{array} \]

Пусть имеется система функций

    \[ \{F_{n^{[4]}} \} \]

n[4]=(nx,ny,nz,nt), где nv(v=x,y,z,t) – действительные функции. Ортогональность функций ряда определим следующим образом.

Fn  и Fm ортогональны при n¹m, если существует некоторая 4-область γ[4] на листах малой переменной, что выполняется равенство

(15):

    \[ F_{n} \bullet F_{m} =\int\limits_{\gamma^{[4]}}^{\mbox{\, }}  {\mathunderscore F_{n} (\lambda^{[4]})\cdot F_{m} (-\lambda^{[4]})d\lambda  ^{[4]}} =0.{\begin{array}{*{20}c}  \hfill & \hfill \\ \end{array} } \]

Примером ортогонального ряда является ряд из показательных функций над листом малой  переменной. Для листа малой переменной показательная функция имеет вид [6]:

(16):

    \[ F_{\omega } (\lambda )=\exp (i\cdot \omega_{X} x+j\cdot \omega_{Y}  y+k\cdot \omega_{Z} z+I\cdot \omega_{T} t),{\begin{array}{*{20}c}  \hfill & {\mbox{\, \, \, \, }(16)} \hfill \\ \end{array} } \]

где функция  4-периодична [8] с периодами   по каждой независимой переменной x, y, z, и t.

Действительно, для функции ) следующие преобразования применимы:

(17):

    \[ \begin{array}{l}  F_{\omega 1} (\lambda )\bullet F_{\omega 2} (\lambda )=\int\limits_{\gamma  ^{[4]}} \exp (i\omega_{X1} +j\omega_{Y1} y+k\omega_{Z1} z+I\cdot \omega  _{T1} t)\times \\   \times \exp (-i\omega_{X2} x-j\omega_{Y2} y-k\omega_{Z2} z-I\omega_{T2}  t)d\lambda^{[4]}= \\   =\int\limits_{\gamma^{[4]}} \exp (i(\omega_{X1} -\omega_{X2} )x+j(\omega  _{Y1} -\omega_{Y2} )y+ \\   +k(\omega_{Z1} -\omega_{Z2} )z+I(\omega_{T1} -\omega_{T2} )t)d\lambda  ^{[4]}= \\   =\left\{ {\begin{array}{l}  0,\mbox{\, \, при\, \, }\omega_{X1} \ne \omega_{X2} ,\omega_{Y1} \ne  \omega_{Y2} ,\omega_{Z1} \ne \omega_{Z2} ,\omega_{T1} \ne \omega_{T2} ,  \\   i\cdot j\cdot k\cdot I\cdot (2\pi )^{4}= \\   =-I\cdot (2\pi )^{4}\mbox{\, \, при\, }\omega_{\mbox{X1}} =\omega  _{\mbox{X2}} =\omega_{Y1} =\omega_{\mbox{Y2}} = \\   =\omega_{\mbox{Z1}} =\omega_{\mbox{Z2}} =\omega_{\mbox{T1}} =\omega  _{\mbox{T2}} =\mbox{0,\, } \\   \end{array}} \right. \\   \end{array} \]

при выборе γ[4], равном участку 4-периодичности. При этом показательная подынтегральная функция представляется в виде произведения показательных функций от независимых переменных. Тогда интегрировать можно по каждой переменной независимо от других при учете только порядка интегрирования. Например, для переменной I×t на интервале от 0 до I×  имеем:

(18):

    \[ \int\limits_0^{I\cdot 2\pi } {\exp (I\cdot (\omega_{T1} -\omega_{T2}  )t)d(I\cdot t)} =\left\{ {{\begin{array}{*{20}c}  {0,\omega_{T1} \ne \omega_{T2} ,} \hfill \\  {I\cdot 2\pi ,\omega_{T1} =\omega_{T2} .} \hfill \\ \end{array} }} \right.{\begin{array}{*{20}c}  \hfill & {(18)} \hfill \\ \end{array} } \]

Рассмотрим следующую задачу о возможности  разложения функции F(λ[4]) в ряд из показательных функций над листом малой переменной:

(19):

    \[ F(\lambda^{[4]})=\sum\limits_\omega {A_{\omega } \exp (i\cdot \omega_{X}  x+j\cdot \omega_{Y} y+k\cdot \omega_{Z} z+I\cdot \omega_{T}  t),{\begin{array}{*{20}c}  \hfill & {(19)} \hfill \\ \end{array} }}  \]

где в (19) суммирование производится по всевозможным  сочетаниям ωxY,Z,ωt), определяющим экспоненциальные решения системы уравнений Максвелла для прямоугольного резонатора и являющиеся суммой электрических и магнитных функций [6].

Для определения соответствующих коэффициентов  Аω  умножим  уравнение (19) на соответствующие ортогональные функции справа и проинтегрируем на соответствующих интервалах. Тогда с учетом свойства ортогональности (17) ряда (19) получаем:

(20):

    \[ \frac{1}{I\cdot (2\pi )^{4}}\int\limits_{\gamma^{[4]}} F\exp (-i\omega_{X}  x-j\omega_{Y} y-k\omega_{Z} z-I\cdot \omega_{T} t)d\lambda  ^{[4]}=A_{\omega } , \]

для ряда над листами малой переменной. Теперь определенное таким образом значение для коэффициента  Аω  подставим в ряд (19):

(21):

    \[ \begin{array}{l}  F(\lambda^{[4]})=\sum\limits_\omega {(\frac{1}{I\cdot (2\pi )^{4}}}  \int\limits_{\gamma^{[4]}} F\exp (-i\omega_{x} x-j\omega_{y} y-k\omega  _{z} z-I\cdot \omega_{t} t)d\lambda^{[4]}\times \\   \mbox{\, \, }\times \exp (i\cdot \omega_{x} x+j\cdot \omega_{y} y+k\cdot  \omega_{z} z+I\cdot \omega_{t} t)){\begin{array}{*{20}c}  \hfill & \hfill \\ \end{array} } \\   \end{array} \]

На основе выражения (21) может быть определен аналог  прямого и обратного преобразования Фурье по следующим выражениям:

(22):

    \[ \begin{array}{l}  \Psi (\omega )=\frac{1}{I\cdot (2\pi )^{4}}\int\limits_{\gamma^{[4]}}  F(\lambda^{[4]})\exp (-i\cdot \omega_{x} x-j\cdot \omega_{y} y- \\   -k\cdot \omega_{z} z-I\cdot \omega_{t} t)d\lambda^{[4]}, \\   \end{array} \]

(23):

    \[ F(\lambda )=\sum\limits_\omega {\Psi (\omega )\exp (i\cdot \omega_{x}  x+j\cdot \omega_{y} y+k\cdot \omega \cdot_{z} z+I\cdot \omega_{t} t).}  {\begin{array}{*{20}c}  \hfill & {\mbox{\, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, }(23)}  \hfill \\ \end{array} } \]

В (23) ω(ωxY,Z,ωt).,

Для получения интегрального обратного преобразования Фурье проведем преобразования, аналогичные описанным в [9]. Для этого перепишем уравнение (22) для периодов l произвольной длинны:

(24):

    \[ \begin{array}{l}  l_{x} l_{y} l_{z} l_{t} \Psi (k)=\frac{1}{I\cdot (2\pi  )^{4}}\int\limits_{l^{[4]}} F(\lambda^{[4]})\exp (-i\cdot \frac{2\pi k_{x}  }{l_{x} }- \\   -j\cdot \frac{2\pi k_{y} }{l_{y} }-k\cdot \frac{2\pi k_{z} }{l_{z} }-I\cdot  \frac{2\pi k_{t} }{l_{t} })d\lambda^{[4]}{\begin{array}{*{20}c}  \hfill & {(24)} \hfill \\ \end{array} } \\   \end{array} \]

Тогда ряд (23) перепишется в виде:

(25):

    \[ F(\lambda )=\sum\limits_k {\begin{array}{l}  l_{x} l_{y} l_{z} l_{t} \Psi (k)\exp (i\cdot 2\pi \nu_{x} x+j\cdot 2\pi  \nu_{y} y+ \\   +k\cdot 2\pi \nu_{z} z+I\cdot 2\pi \nu_{t} t)\Delta \nu  ^{[4]}{\begin{array}{*{20}c}  \hfill & {(25)} \hfill \\ \end{array} } \\   \end{array}}  \]

где:

    \[ \nu =\frac{k}{l},\mbox{\, \, \, }\Delta \nu  =\frac{k+1}{l}-\frac{k}{l}=\frac{1}{l}. \]

От суммы (25) при l→∝ получим интеграл:

(26):

    \[ \begin{array}{l}  F(\lambda )\sim \int\limits_{V^{[4]}} \Psi (v)\exp (i\cdot 2\pi v_{x}  x+j\cdot 2\pi v_{y} y+ \\   +k\cdot 2\pi v_{z} z+I\cdot 2\pi v_{t} t)dv^{[4]}. \\   \end{array} \]

В (24) и в (25) экспоненты разлагаются на множители по каждой переменной и преобразования можно проводить независимо от других переменных, составляющих λ.

Рассмотрим Фурье – образ частной производной на листе малой переменной (22):

(27):

    \[ \begin{array}{l}  {F}'_{X} \sim \frac{1}{I\cdot (2\pi )^{4}}\int\limits_{\gamma^{[4]}}  {F}'_{X} (\lambda^{[4]})\exp (-i\cdot \omega_{X} x- \\   -j\cdot \omega_{Y} y-k\cdot \omega_{Z} z-I\cdot \omega_{T} t)dxd\lambda  ^{[3]} \\   \end{array} \]

Интегрируя по частям, получаем:    

(28):

    \[ \begin{array}{l}  {F}'_{X} \sim \frac{1}{I\cdot (2\pi )^{4}}\int\limits_{\gamma^{[3]}}^  F(\lambda^{[4]})\exp (-i\cdot \omega_{x} x-j\cdot \omega_{y} y- \\   -k\cdot \omega_{z} z-I\cdot \omega_{t} t)d\lambda^{[3]}\left|  {_{x(r=\delta^{1})}^{x(r=\chi^{1})} } \right.-\frac{Ii\cdot \omega_{X}  }{(2\pi )^{4}}\Psi (\omega ). \\   \end{array} \]

В (28) первый член разности есть разность значений левого выражения на границах области γ по x и выражает граничные условия для частной производной в самом общем виде.

Свойство (28) дает возможность использования аналога преобразования Фурье для получения решений дифференциальных уравнений в частных производных.

Рассмотрим другое представление ряда (19), которое можно использовать для более общего класса функций. В (19) члены ряда определяются действительными коэффициентами ω= ω(ωxY,Z,ωtпри независимых переменных с листов малой переменной λ[4].  Рассмотрим следующий ряд:

(29):

    \[ \begin{array}{l}  F=\sum\limits_u A_{u} \exp (u\lambda )= \\   =\sum\limits_u A_{u} \exp ((i\cdot u_{x} +j\cdot u_{y} +k\cdot u_{z}  +I\cdot u_{t} )\times \\   \times (i\cdot x+j\cdot y+k\cdot z+I\cdot t)),{\begin{array}{*{20}c}  \hfill & {\mbox{\, \, \, \, \, \, \, \, }(29)} \hfill \\ \end{array} } \\   \end{array} \]

где: u – множитель с листа малой переменной. Физический смысл членов ряда (29) можно определить, если раскрыть скобки показателя экспоненты. Тогда:

(30):

    \[ F=\sum\limits_u A_{u} \exp (u\lambda )=\sum\limits_u A_{u} A^{1}A^{2}A^{3}, \]

где:

(31-33):

    \[ \begin{array}{l}  A^{1}=\exp (-u_{x} x-u_{y} y-u_{z} z-u_{t} t),{\begin{array}{*{20}c}  \hfill & {\mbox{\, }} \hfill \\ \end{array} } \\   A^{2}=\exp (i\cdot (u_{y} z-u_{z} y)+j\cdot (u_{z} x-u_{x} z)+k\cdot (u_{x}  y-u_{y} x),{\begin{array}{*{20}c}  \hfill & {\mbox{\, }} \hfill \\ \end{array} } \\   A^{3}=\exp (Ii\cdot (u_{x} t+u_{t} x)+Ij\cdot (u_{y} t+u_{t} y)+Ik\cdot  (u_{z} t+u_{t} z).{\begin{array}{*{20}c}  \hfill & {\mbox{\, }} \hfill \\ \end{array} } \\   \end{array} \]

Смысл множителя А1 – экспоненциальное изменение в пространстве и времени; А2— соответствует решению для прямоугольного резонатора [6] без временной зависимости с осями периодичности, развернутыми относительно осей x, y, и  z соответственно; А3 соответствует показательной функции на листе большой переменной, бегущей по пространственным осям. Множители (31) и (32) соответствуют экспофункциональным полям, введенным в [10].

Функция (29) является дифференцируемой. Действительно,  для дифференцируемой функции F(λ), являющейся решением системы уравнений Максвелла, справедлива система уравнений

(34):

    \[ \frac{dF(\lambda )}{d\overline \lambda }=0,{\begin{array}{*{20}c}  \hfill & \hfill \\ \end{array} } \]

или:

(35):

    \[ \begin{array}{l}  \frac{dF}{d(-i\cdot x-j\cdot y-k\cdot z+I\cdot t)}= \\   =\frac{d(\exp (u\lambda ))}{d(-i\cdot x-j\cdot y-k\cdot z+I\cdot  t)}=u\frac{\partial }{\partial \overline \lambda }\exp \lambda =u\cdot  0{\begin{array}{*{20}c}  \hfill & \hfill \\ \end{array} } \\   \end{array} \]

в силу дифференцируемости показательной функции.

Изучение общего решения системы уравнений Максвелла благодаря ее линейности, можно заменить изучением свойств экспоненциальных членов  рядов (19) или (30), что упрощает задачу.

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

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

  1. Никольский Н.Н. Электродинамика и распространение радиоволн. – М.: Наука, 1978. – 543 с.
  2. Иваницкий А.М. Обобщенный символический метод анализа электрических цепей. Учебное пособие. – Одесса: УГАС, 1994. – 27 с.
  3. Иваницкий А.М. Комплексный анализ многомерных цепей/ ОЭИС. – Одесса, 1993 – 15 с. – Рус. —  Деп. В ЦНТИ “Информсвязь” 06.04.93, №1961 – св.
  4. Сидоров Ю.В., Федорюк М.В., Шабунин М.И. Лекции по теории функций комплексного переменного. – М.: Наука, 1982. – 488 с.
  5. Мизохата С. Теория уравнений с частными производными. – М.: Мир, 1977. – 504с.
  6. Кравчик Ю.С. Обобщение комплексных чисел и их применение в электродинамике // Праці УНДІРТ. – 2003. — №4(36).
  7. Шабат Б.В. Введение в комплексный анализ. – М.: Наука, 1969. – 576 с.
  8. Владимиров В.С. Обобщенные функции в математической физике. – М.: Наука, 1979. – 318 с.
  9. Ефимов А.В. Математический анализ. Ч. 1. – М.: Высшая школа, 1980. – 279 с.
  10. Иваницкий А.М. Экспофункциональные поля // Наукові праці УДАЗ ім. О.С. Попова. – 2001. — №1. – С. 18-21.

 

  • Подпишитесь на новости

  • Твиттер

  • Кликните на банер

Вверх