- Research
- Open access
- Published:
The Riemann boundary value problem related to the time-harmonic Maxwell equations
Journal of Inequalities and Applications volume 2021, Article number: 154 (2021)
Abstract
In this paper, we first give the definition of Teodorescu operator related to the \(\mathcal{N}\) matrix operator and discuss a series of properties of this operator, such as uniform boundedness, Hölder continuity and so on. Then we propose the Riemann boundary value problem related to the \(\mathcal{N}\) matrix operator. Finally, using the intimate relationship of the corresponding Cauchy-type integral between the \(\mathcal{N}\) matrix operator and the time-harmonic Maxwell equations, we investigate the Riemann boundary value problem related to the time-harmonic Maxwell equations and obtain the integral representation of the solution.
1 Introduction
The boundary value problem for partial differential equations is a very meaningful research subject which has important applications in physics, chemistry, financial mathematics and many other fields. Teodorescu operator is a generalized solution of the inhomogeneous Dirac equation and it has been widely used in solving the boundary value problem of partial differential equations. Therefore many experts and scholars studied the properties of the Teodorescu operator and corresponding boundary value problem, for example, Vekua N [1] first discussed some properties of the Teodorescu operator on the plane and its application in the shell theory and gas dynamics. Hile GN [2] and Gilbert RP et al. [3] studied some properties of the Teodorescu operator in n-dimensional Euclidean space and higher-dimensional complex spaces. Du JY, Yang PW, Qiao YY, Taira K and Wang LP et al. studied some properties and boundary value problems associated with the Teodorescu operator in quaternion analysis and Clifford analysis (see [4–16]).
Quaternion analysis is an important branch of modern analysis, which studies the functions defined in the domain of n-dimensional Euclidean space with values in quaternion spaces. It is an important tool for the solution of boundary value problems of high-dimensional partial differential equations, including Maxwell equations. The Maxwell equations are a set of partial differential equations describing the relationship between the electric field, the magnetic field and the charge density, which is the basic equation of the electromagnetism in physics. The properties of the singular integral operator and boundary value problems related to the Maxwell equations have been studied by many scholars, for example, Mcintosh A and Mitrea M [17] discussed the problems related to the Maxwell equations in Lipschitz domains. Schneider B and Shapiro M [18, 19] studied the Cauchy-type integral of time-harmonic electromagnetic fields in the case of a piece-wise Liapunov surface of integration. Kravchenko VV and Shapiro MV [20–22] discussed the Cauchy-type integral associated with Maxwell’s equations, and obtained some important integral formulas. Moreover, Kravchenko VV considered quaternionic reformulations of Maxwell’s equations and discussed the Dirichlet boundary value problem. Russell DL [23] studied the Dirichlet–Neumann boundary problem associated with the control theory of Maxwell’s equations. Yang PW et al. [24] investigated an initial-boundary value problem for Maxwell equations and obtained the general solutions. Colton D and Kress R [25] discussed the boundary value problem for the time-harmonic Maxwell equations and the vector Helmholtz equation. Abreu-Blaya R et al. [26] presented a new definition of Cauchy integral associated with Maxwell equations on 3-dimensional domains with fractal boundaries.
Time-harmonic Maxwell equations in physics are the fundamental equations of electromagnetism and can be rewritten as Helmholtz equations by using the quaternion analysis. Let \(\overrightarrow{E},\overrightarrow{H}:\Omega \rightarrow \mathbb{C}^{3}\) be a pair of complex-valued vector fields,
The system is called the time-harmonic Maxwell equations. \((\overrightarrow{E},\overrightarrow{H})\) is called a time-harmonic electromagnetic field. It is easy to prove that they satisfy the homogeneous Helmholtz equation
where \(\lambda =i\omega \mu \sigma \in \mathbb{C}\). In this paper, we will study the Riemann boundary value problem related to the time-harmonic Maxwell equations in quaternion analysis. For the above purpose, we introduce the \(\mathcal{N}\) matrix operator which establishes the relationship between the Helmholtz equation and the time-harmonic Maxwell equations. In [15], we discuss some properties of Teodorescu operator and the Riemann boundary value problem related to the Helmholtz equation. By using the \(\mathcal{N}\) matrix operator and the conclusions in [15], we give the integral representation of the solution for the Riemann boundary value problem related to the time-harmonic Maxwell equations.
The structure of this paper is as follows: In Sect. 2, we review some basic knowledge of quaternion analysis and introduce some necessary notions for the understanding of this article. In Sect. 3, we first discuss some properties of the singular integral operator \(T_{\mathcal{N},\alpha }\) related to the \(\mathcal{N}\) matrix operator, such as uniform boundedness, Hölder continuity and so on. Secondly, we give the integral representation of the solution for the Riemann boundary value problem related to the \(\mathcal{N}\) matrix. In Sect. 4, we first introduce the time-harmonic Maxwell equations. Then, using the corresponding Cauchy-type integral relationship between the \(\mathcal{N}\) matrix operator and the time-harmonic Maxwell equations, we investigate the Riemann boundary value problem related to the time-harmonic Maxwell equations and obtain the integral representation of the solution.
2 Preliminaries
Let \(\{i_{1},i_{2},i_{3}\}\) be an orthogonal basis of the Euclidean space \(R^{3}\), and \(\mathbb{H}(\mathbb{C})\) be the set of complex quaternions with basis \(\{i_{0},i_{1},i_{2},i_{3}\}\). Then an arbitrary quaternion a can be written as \(a=\sum_{k=0}^{3}a_{k}i_{k}\), \(a_{k}\in \mathbb{C}\), where \(i_{0}\) is the unit, \(i_{1}\), \(i_{2}\), \(i_{3}\) are the quaternionic imaginary units with the properties
The norm for an element \(a\in \mathbb{H}(\mathbb{C})\) is taken to be \(|a|=\sqrt{\sum_{k=0}^{3}|a_{k}|^{2}}\). The conjugate operation in \(\mathbb{H}(\mathbb{C})\) is governed by the rules
For any complex quaternions a, b, we have
where \(\langle \vec{a},\vec{b}\rangle \), \([\vec{a},\vec{b}]\) stand for usual scalar product and vector product. In particular, \(\vec{a}\cdot \vec{b}=-\langle \vec{a},\vec{b}\rangle +[\vec{a},\vec{b}]\).
Suppose \(\Omega \subset R^{3}\) is a domain with a Liapunov boundary ∂Ω. Then the function which is defined in Ω and valued in \(\mathbb{H}(\mathbb{C})\) can be expressed as \(f=\sum_{k=0}^{3}f_{k}(x)i_{k}\), where \(f_{k}(x)\) are complex-valued functions. Set
We define the differential operators as follows:
where \(\psi =\{\psi _{1},\psi _{2},\psi _{3}\}=\{i_{1},i_{2},i_{3}\}\). For any \(f\in C^{(1)}(\Omega ,\mathbb{H}(\mathbb{C}))\), \(f=f_{0}+\vec{f}\),
In particular, \({{}^{\psi }D}[\vec{f}]=-\operatorname{div}\vec{f}+ \operatorname{rot}\vec{f}\).
Let \(\lambda \in \mathbb{C}\backslash \{0\}\), and α be its complex square root, \(\alpha ^{2}=\lambda \). For the above α, let us introduce the operators
These are called the left (right) mutually conjugate \((\psi ,\alpha )\)-hyperholomorphic Cauchy–Riemann operators. We have the equalities
where \(\triangle _{\lambda }\) is the 3-dimensional Helmholtz operator with a complex parameter λ.
Let \(\alpha \in \mathbb{C}\backslash \{0\}\) and \(\operatorname{Im}\alpha \neq 0\), we introduce the notation: for \(x\in R^{3}\backslash \{0\}\),
In both cases it is a fundamental solution of the Helmholtz equation with \(\lambda =\alpha ^{2}\). Then the fundamental solution to the operator \({}^{\psi }D_{\alpha }\), \(\mathcal{K}_{\psi ,\alpha }\) is given by the formula
An analogous representation holds for \(\overline{\mathcal{K}}_{\psi ,\alpha }(x)={{}^{\psi }D}_{\alpha }[\theta _{ \alpha }](x)\).
If f is a Hölder function, then its α-hyperholomorphic Cauchy-type integral is defined by
If \(f(x)\in L^{p,\sigma }(B,\mathbb{H}(\mathbb{C}))\) means that \(f(x)\in L^{p}(B,\mathbb{H}(\mathbb{C}))\), \(f^{(\sigma )}(x)=|x|^{-\sigma }f(\frac{\overline{x}}{|x|^{2}})\) \(\in L^{p}(B,\mathbb{H}(\mathbb{C}))\), in which \(B=\{x| |x|<1\}\), σ is a real number, and \(\|f\|_{p,\sigma }=\|f\|_{L^{p}(B)}+\|f^{(\sigma )}\|_{L^{p}(B)}\), \(p \geq 1\).
In [15], we introduce the Teodorescu operator related to the Helmholtz equation as follows:
where \(B=\{x| |x|<1\}\), \(\alpha =a+ib\), \(b>0\). Analogous representations hold for \(\overline{K}_{\psi ,\alpha }[f](x)\), \((\overline{T}_{\psi ,\alpha }[f])(x)\).
In [15], we studied the properties of the above integral operators and obtained the integral representation of the solution for the Riemann boundary value problem related to the Helmholtz equation. The specific results are as follows.
Lemma 2.1
([15])
Let B be as stated above. If \(f\in L^{p}(B,\mathbb{H}(\mathbb{C}))\), \(3< p<+\infty \), then
-
(1)
\(|(T_{\psi ,\alpha }^{(1)}[f])(x)|\leq M_{1}(p)\|f\|_{L^{p}(B)}\), \(x \in R^{3}\),
-
(2)
\(|(T_{\psi ,\alpha }^{(1)}[f])(x_{1})-(T_{\psi , \alpha }^{(1)}[f])(x_{2})|\leq M_{2}(p)\|f\|_{L^{p}(B)}|x_{1}-x_{2}|^{ \beta }\), \(x_{1}, x_{2}\in \Omega \),
-
(3)
\({{}^{\psi }D}_{\alpha }(T_{\psi ,\alpha }^{(1)}[f])(x)=f(x)\), \(x \in B\), \({{}^{\psi }D}_{\alpha }(T_{\psi ,\alpha }^{(1)}[f])(x)=0\), \(x\in R^{3} \backslash \overline{B}\),
where \(0<\beta =\frac{p-3}{p}<1\).
Lemma 2.2
([15])
Let B be as stated above. If \(f\in L^{p}(B,\mathbb{H}(\mathbb{C}))\), \(3< p<+\infty \), then
-
(1)
\(|(\overline{T}_{\psi ,\alpha }^{(1)}[f])(x)|\leq M_{3}(p) \|f\|_{L^{p}(B)}\), \(x\in R^{3}\),
-
(2)
\(|(\overline{T}_{\psi ,\alpha }^{(1)}[f])(x_{1})-( \overline{T}_{\psi ,\alpha }^{(1)}[f])(x_{2})|\leq M_{4}(p)\|f\|_{L^{p}(B)}|x_{1}-x_{2}|^{ \beta }\), \(x_{1}, x_{2}\in \Omega \),
-
(3)
\({{}^{\psi }\overline{D}}_{\alpha }(\overline{T}_{\psi , \alpha }^{(1)}[f])(x)=f(x)\), \(x\in B\), \({{}^{\psi }\overline{D}}_{\alpha }(T_{ \psi ,\alpha }^{(1)}[f])(x)=0\), \(x\in R^{3}\backslash \overline{B}\),
where \(0<\beta =\frac{p-3}{p}<1\).
Remark 2.1
Analogous properties hold for \(T_{\psi ,\alpha }^{(2)}\), \(T_{\psi ,\alpha }\), \(\overline{T}_{\psi ,\alpha }^{(2)}\), \(\overline{T}_{\psi ,\alpha }\). For more information, we refer the reader to [15].
Lemma 2.3
([15])
Let B be as stated above. Find a quaternion-valued function \(u(x)\) satisfying the system \({{}^{\psi }D}_{\alpha }[u]=0\) (\(x\in R^{3}\backslash \partial B\)) and vanishing at infinity with the boundary condition
where \(u^{\pm }(\tau )=\lim_{x\in B^{\pm },x\rightarrow \tau }u(x)\), G is a quaternion constant, \(G^{-1}\) exists, and \(f\in H^{\nu }_{\partial B}\) (\(0<\nu <1\)). Then the solution can be expressed as
3 Some properties and applications of the Teodorescu operator \(T_{\mathcal{N},\alpha }\) related to the \(\mathcal{N}\) matrix operator
3.1 The relevant definitions and symbols
We will consider the following matrix operator:
where \(\alpha ^{2}=i\omega \mu \sigma \). We shall consider it on the set \(C^{(1)}(\Omega ,\operatorname{Mat}_{2\times 2}(\mathbb{H}(\mathbb{C})))\), \(\operatorname{Mat}_{2\times 2}(\mathbb{H}(\mathbb{C}))\) being the set of \(2\times 2\) matrices with entries from \(\mathbb{H}(\mathbb{C})\).
Let
then
where “∗” stands for matrix multiplication.
Analogously, let
then
where \(A_{1}\), \(B_{1}\), \(A_{2}\), \(B_{2}\) are invertible.
Thus there exist invertible matrices of \(A_{1}\), \(B_{1}\), \(A_{2}\), \(B_{2}\) such that
and
For \(\alpha \in \mathbb{C}\backslash \{0\}\), let
be the quaternionic Cauchy–Maxwell kernel, which is the fundamental solution of \(\mathcal{N}\) operator. The reasons are as follows. By the definition of \(\mathcal{N}\) operator, we have
By \(\Delta _{\lambda }[\theta _{\alpha }]={{}^{\psi }D}_{\alpha }{{}^{\psi } \overline{D}}_{\alpha }[\theta _{\alpha }]={{}^{\psi }\overline{D}}_{ \alpha }{{}^{\psi }D}_{\alpha }[\theta _{\alpha }]=0\), we have
Let
be an analog of the Cauchy-type integral in the theory of the integral representations with the quaternionic Cauchy–Maxwell kernel, where \(f:\partial \Omega \rightarrow \operatorname{Mat}_{2\times 2}(\mathbb{H}(\mathbb{C}))\) and
We shall call also \(K_{\mathcal{N},\alpha }[f](x)\) the quaternionic Cauchy–Maxwell-type integral.
The norm of an matrix is taken to be \(\|f\|_{\infty }=\max_{1\leq i,j\leq 2}|f_{ij}|\). From equality (3.1), we know there exists a direct connection between \(\mathcal{K}_{\mathcal{N},\alpha }\) and the corresponding hyperholomorphic Cauchy kernels \(\mathcal{K}_{\psi ,\alpha }\), \(\overline{\mathcal{K}}_{\psi ,\alpha }\).
where \(\mathcal{K}_{\psi ,\alpha }(x)\), \(\overline{\mathcal{K}}_{\psi ,\alpha }(x)\) are, respectively, the Cauchy kernel for \({{}^{\psi }D}_{\alpha }\), \({{}^{\psi }\overline{D}}_{\alpha }\).
3.2 Some properties of the Teodorescu operator \(T_{\mathcal{N},\alpha }\) related to the \(\mathcal{N}\) matrix operator
In this section, we will discuss some properties of the following singular integral operators:
where \(B=\{x| |x|<1\}\), \(\alpha =a+ib\), \(b>0\).
Theorem 3.1
Let Ω, B, α be as stated above. If with entries belonging to \(L^{ p}(B,\mathbb{H}(\mathbb{C}))\), \(3< p<+\infty \), then
-
(1)
\(\|(T_{\mathcal{N},\alpha }^{(1)}[f])(x)\|_{\infty } \leq Q_{1}(p)\cdot \max_{1\leq i,j\leq 2}\|f_{ij}\|_{L^{p}(B)}\), \(x\in R^{3}\),
-
(2)
\(\|(T_{\mathcal{N},\alpha }^{ (1)}[f])(x_{1}) - (T_{ \mathcal{N},\alpha }^{ (1)}[f])(x_{2})\|_{ \infty } \leq Q_{ 2}(p) \cdot \max_{1 \leq i,j \leq 2}\|f_{ ij}\|_{ L^{ p}(B)} \cdot |x_{ 1} -x_{ 2}|^{ \beta }\), \(x_{ 1},x_{ 2} \in \Omega \),
-
(3)
\(\mathcal{N}(T_{\mathcal{N},\alpha }^{(1)}[f])(x)=f(x)\), \(x\in B\), \(\mathcal{N}(T_{\mathcal{N},\alpha }^{(1)}[f])(x)=0\), \(x\in R^{3} \backslash \overline{B}\),
where \(0<\beta =\frac{p-3}{p}<1\).
Proof
(1) From (3.2), we can obtain
where
By Lemma 2.1 and Lemma 2.2, we have
Therefore
where \(Q_{1}(p)=\max_{1\leq i\leq 8}\{Q_{1}^{ (i) }(p)\}\).
(2) From (3.3), we can obtain
For each \(x_{ 1},x_{ 2} \in \Omega \), by Lemma 2.1 and Lemma 2.2, we have
Therefore
where \(Q_{2}(p)=\max_{1\leq i\leq 8}\{Q_{2}^{ (i) }(p)\}\).
(3) From (3.3), we can obtain
Thus
by Lemma 2.1 and Lemma 2.2, we have
Similarly, we can obtain
Therefore \(\mathcal{N}(T_{\mathcal{N},\alpha }^{(1)}[f])(x)=f(x)\), \(x\in B\), \(\mathcal{N}(T_{\mathcal{N},\alpha }^{(1)}[f])(x)=0\), \(x\in R^{3} \backslash \overline{B}\). □
Theorem 3.2
Let Ω, B, α be as stated above. If with entries belonging to \(L^{p,3}(B,\mathbb{H}(\mathbb{C}))\), \(3< p<+\infty \), then
-
(1)
\(\|(T_{\mathcal{N},\alpha }^{(2)}[f])(x)\|_{\infty } \leq Q_{3}(p)\cdot \max_{1\leq i,j\leq 2}\|f_{ij}^{(3)}\|_{L^{p}(B)}\), \(x \in R^{3}\),
-
(2)
\(\|(T_{\mathcal{N},\alpha }^{(2)}[f])(x_{1})-(T_{ \mathcal{N},\alpha }^{(2)}[f])(x_{2})\|_{\infty }\leq Q_{4}(p) \cdot \max_{1\leq i,j\leq 2}\|f_{ij}^{(3)}\|_{L^{p}(B)}\cdot |x_{1}-x_{2}|^{ \beta }\), \(x_{1},x_{2}\in \Omega \),
-
(3)
\(\mathcal{N}(T_{\mathcal{N},\alpha }^{(2)}[f])(x)=0\), \(x\in B\), \(\mathcal{N}(T_{\mathcal{N},\alpha }^{(2)}[f])(x)=f(x)\), \(x\in R^{3} \backslash \overline{B}\),
where \(0<\beta =\frac{p-3}{p}<1\).
Proof
This case is similar to Theorem 3.1. □
Thus, from Theorem 3.1 and Theorem 3.2, we obtain the following results.
Theorem 3.3
Let Ω, B, α be as stated above. If with entries belonging to \(L^{p,3}(B,\mathbb{H}(\mathbb{C}))\), \(3< p<+\infty \), then
-
(1)
\(\|(T_{\mathcal{N},\alpha }[f])(x)\|_{\infty }\leq Q_{5}(p) \cdot \max_{1\leq i,j\leq 2}\|f_{ij}\|_{p,3}\), \(x\in R^{3}\),
-
(2)
\(\|(T_{ \mathcal{N}, \alpha }[f])(x_{ 1}) - (T_{ \mathcal{N},\alpha }[f])(x_{ 2})\|_{ \infty } \leq Q_{ 6}(p) \cdot \max_{1 \leq i,j \leq 2}\|f_{ ij}\|_{ p,3} \cdot |x_{1}-x_{2}|^{ \beta }\), \(x_{1},x_{2}\in \Omega \),
-
(3)
\(\mathcal{N}(T_{\mathcal{N},\alpha }[f])(x)=f(x)\), \(x\in R^{3} \backslash \partial B\),
where \(0<\beta =\frac{p-3}{p}<1\).
3.3 The Riemann boundary value problem related to the \(\mathcal{N}\) matrix operator
Theorem 3.4
Let B be as stated above. Find satisfying the following system:
where \(u^{\pm }(\tau )= \lim_{x\in B^{\pm },x\rightarrow \tau } u(x)\), is a quaternion constant matrix and its inverse exists, with entries belonging to \(H^{\nu }_{\partial B}\) (\(0<\nu <1\)). Then the solution can be expressed as
Proof
Let \(B_{2}\) be as above and its inverse . Then, for , since \(\mathcal{N}[u]=0\), we can obtain
By (3.4), we have \(g^{+}=g^{-}\ast G+B_{2}^{-1}\ast f\), i.e.
By Lemma 2.3, when \(x\in B^{+}\),
Then
By Lemma 2.3, when \(x\in B^{-}\),
Then
□
Theorem 3.5
Let B be as stated above, and with entries belonging to \(L^{p,3}(R^{3},\mathbb{H}(\mathbb{C}))\), \(3< p< +\infty \). Find satisfying the following system:
where \(w^{\pm }(\tau )= \lim_{x\in B^{\pm },x \rightarrow \tau } w(x)\), is quaternion constant matrix and its inverse exists, with entries belonging to \(H^{\nu }_{\partial B}\) (\(0<\nu <1\)). Then the solution has the form
in which \(\mathcal{N}[\Psi ](x)=0\) and
where \(\tilde{f}=f+(T_{\mathcal{N},\alpha }[g])\ast (G-E)\).
Proof
By Theorem 3.3, we know
The boundary condition (3.5) becomes
Again from Theorem 3.3, we know that \((T_{\mathcal{N},\alpha }[g])(x)\) has continuity in \(\Omega \subset R^{3}\). Thus \((T_{\mathcal{N},\alpha }[g])^{+}=(T_{\mathcal{N},\alpha }[g])^{-}=T_{ \mathcal{N},\alpha }[g]\). Thus we can obtain
Suppose \(\tilde{f}=f+(T_{\mathcal{N},\alpha }[g])\ast (G-E)\), then (3.7) has the following form:
Again from Theorem 3.4, the solutions which satisfy the system \(\mathcal{N}[\Psi ]=0\) and boundary condition (3.8) can be represented in the form
□
4 The Riemann boundary value problem related to the time-harmonic Maxwell equations
4.1 The relevant definitions and operations
Let \(\overrightarrow{E},\overrightarrow{H}:\Omega \rightarrow \mathbb{C}^{3}\) be a pair of complex-valued vector fields. \(\overrightarrow{E}=E_{1}i_{1}+E_{2}i_{2}+E_{3}i_{3}\), \(\overrightarrow{H}=H_{1}i_{1}+H_{2}i_{2}+H_{3}i_{3}\), i.e. \(E_{0}=0\), \(H_{0}=0\). The following system:
is called the time-harmonic Maxwell equations. \((\overrightarrow{E},\overrightarrow{H})\) is called a time-harmonic electromagnetic field, where σ is a complex electrical conductivity and μ is a magnetic permeability. It is known that they satisfy the homogeneous Helmholtz equation
where \(\lambda =i\omega \mu \sigma \in \mathbb{C}\), \(\alpha =\sqrt{\lambda }\). Set
then Eq. (4.1) becomes
For \(k\in Z ^{+}\), set
The operator
i.e. the restriction of \(\mathcal{M}\) onto \(\hat{C}^{(1)}\), will be termed the time-harmonic Maxwell operator. Then (4.1) and (4.2) become
where \(\overrightarrow{E},\overrightarrow{H}\in \hat{C}^{(1)}\).
Let , which are identified naturally with columns . We shall not distinguish them in this paper.
Let \(\mathcal{N}:C^{(1)}(\Omega ,\operatorname{Mat}_{2\times 2}(\mathbb{H}(\mathbb{C}))) \rightarrow C^{(0)}(\Omega ,\operatorname{Mat}_{2\times 2}(\mathbb{H}(\mathbb{C})))\). Set \(\widetilde{\mathcal{N}}=\mathcal{N}_{|\hat{C}^{(1)}}\), i.e. the restriction of \(\mathcal{N}\) onto \(\hat{C}^{(1)}\). Obviously, If , then we have
Therefore
That is, if , then we have
Let \(Q,R\in \operatorname{Mat}_{2\times 2}(\mathbb{H}(\mathbb{C}))\), and \(Q_{0}=\operatorname{Sc}(Q)=(\operatorname{Sc}(q_{m,n}))_{1\leq m,n\leq 2}\), \(\overrightarrow{Q}=\operatorname{Vec}(Q)= (\vec{q}_{m,n})_{1\leq m,n\leq 2}\), set
The time-harmonic Cauchy–Maxwell kernel is defined by
where \(\theta _{\alpha }(y-x)\) be as stated, \(\vec{n}_{y}\) is unit outward normal vector at \(y\in \partial \Omega \), and
For any , there is introduced the operation
where
For any , there is introduced the operation
Obviously, we have
Set
The integral
plays the role of an analogue of the Cauchy–Maxwell-type integral in the theory of time-harmonic electromagnetic fields.
4.2 The Riemann boundary value problem related to time-harmonic Maxwell equations
Lemma 4.1
Set . Then
Proof
By the definition of \(\mathcal{K}_{\mathcal{N},\alpha }(y-x)\), we have
By the definition of \(\mathcal{K}_{\mathcal{M},\alpha }^{0}\), we can obtain
where \(\theta _{\alpha }=\theta _{\alpha }(y-x)\). Therefore \(\mathcal{K}_{\mathcal{N},\alpha }(y-x)\ast \tilde{d}\sigma _{y}= \mathcal{K}_{\mathcal{M},\alpha }^{0}(y-x)\,ds_{y}\). □
Lemma 4.2
If . Then we have
Proof
By Lemma 4.1, we have
Therefore
□
Lemma 4.3
If and \(\vec{f}(y)\in \mathfrak{M}\). Then
Proof
By the definition, we have
where \(\theta _{\alpha }=\theta _{\alpha }(y-x)\).
(i) Since
we can obtain
Therefore
(ii) By the definition of the vector product, we have
Thus
Then
(iii) By the definition of vector product, we have
Thus
Then
Combining (i)–(iii), we have
Obviously, we have
By the definition of vector product, we have
Then
Since , we have . In addition, by the definition of ⋄, we have
Therefore
Similarly, we have
Therefore
□
Theorem 4.1
Let B be as stated above. Find satisfying the following system:
where \(u^{\pm }(\tau ) = \lim_{x\in B^{\pm },x \rightarrow \tau } u(x)\), is a quaternion constant matrix and its inverse exists, with entries belonging to \(H^{\nu }_{\partial B}\) (\(0<\nu <1\)). Then the solution can be expressed as
Proof
Since \(u(x)\in \hat{C}^{(1)}\), we have \(N(u)=\widetilde{N}(u)=\widehat{\mathcal{M}}(u)=\mathcal{M}(u)=0\). By Theorem 3.4, then the solution can be expressed as
Since , by Lemma 4.2 and Lemma 4.3, the solution can be expressed as
and \(u(x)\in \hat{C}^{(1)}\). □
Availability of data and materials
Not applicable.
References
Vekua, N.: Generalized Analytic Functions. Pergamon, Oxford (1962)
Hile, G.N.: Elliptic systems in the plane with first order terms and constant coefficients. Commun. Partial Differ. Equ. 3, 949–977 (1978)
Gilbert, R.P., Hou, Z.Y., Meng, X.W.: Vekua theory in higher dimensional complex spaces: the π-operator in \(C^{n}\). Complex Var. Theory Appl. 1, 99–105 (1993)
Du, J.Y., Xu, N.: Boundary behavior of Cauchy-type integrals in Clifford analysis. Acta Math. Sci. 29B(1), 210–224 (2009)
Du, J.Y., Xu, N.: On boundary behavior of the Cauchy type integrals with values in a universal Clifford algebra. Adv. Appl. Clifford Algebras 21(1), 49–87 (2011)
Gu, L.F., Du, J.Y., Cai, D.H.: A kind of Riemann boundary value problems for pseudo-harmonic functions in Clifford analysis. Complex Var. Elliptic Equ. 3, 412–426 (2014)
Yang, P.W.: The Dirichlet boundary value problems for some quaternion functions of higher order on the polydisc. Sci. Sin. 41(6), 85–496 (2011)
Huang, S., Qiao, Y.Y., Wen, G.C.: Real and Complex Clifford Analysis. Springer, New York (2006)
Qiao, Y.Y., Wang, L.P., Yang, G.M.: A kind of boundary value problem for inhomogeneous partial differential system. J. Inequal. Appl. 180, 1–13 (2016)
Taira, K.: Degenerate elliptic boundary value problems with asymptotically linear nonlinearity. Rend. Circ. Mat. Palermo 60, 283–308 (2011)
Wang, L.P., Qiao, Y.Y., Yang, H.J.: Some properties of the Teodorescu operator related to the α-Dirac operator. Appl. Anal. 93(11), 2413–2425 (2014)
Wang, L.P., Wen, G.C.: Boundary value problems for two types of degenerate elliptic systems in \(R^{4}\). Appl. Math. J. Chin. Univ. 31(4), 469–480 (2016)
Wang, L.P., Xu, Z.L., Qiao, Y.Y.: The mixed boundary value problem for the inhomogeneous Cimmino system. Bound. Value Probl. 13, 1–16 (2015)
Wang, L.P., Yang, H.J., Xie, Y.H., Qiao, Y.Y.: Riemann boundary value problem for a kind of weighted Dirac operator in quaternion analysis. Sci. Sin., Math. 45(11), 1919–1930 (2015) (in Chinese)
Yang, P., Wang, L.P., Gao, L.: Some properties and applications of the Teodorescu operator associated to the Helmholtz equation. J. Inequal. Appl. 264, 1–19 (2017)
Wang, L.P.: Some properties of a kind of generalized Teodorescu operator in Clifford analysis. J. Inequal. Appl. 102, 1–11 (2016)
Mcintosh, A., Mitrea, M.: Clifford algebras and Maxwell’s equations in Lipschitz domains. Math. Methods Appl. Sci. 22(18), 1599–1620 (1999)
Schneider, B., Shapiro, M.: Some properties of the Cauchy-type integral for the time-harmonic Maxwell equations. Integral Equ. Oper. Theory 44(1), 93–126 (2002)
Schneider, B., Shapiro, M.: Some properties of the Cauchy-type integral for the time-harmonic relativistic Dirac equation. Math. Methods Appl. Sci. 25(16–18), 1441–1463 (2002)
Kravchenko, V.V., Shapiro, M.V.: Quaternionic time-harmonic Maxwell operator. J. Phys. A, Math. Gen. 28(17), 5017–5031 (1994)
Kravchenko, V.V.: Applied quaternionic analysis: Maxwell’s system and Dirac’s equation. In: Functional-Analytic and Complex Methods, Their Interactions and Applications to Partial Differential Equations – Proceedings of the International Graz Workshop, pp. 143–160 (2001)
Kravchenko, V.V., Shapiro, M.V.: Integral Representations for Spatial Models of Mathematical Physics. Pitman Research Notes in Mathematics Series. Longman, Harlow (1996)
Russell, D.L.: The Dirichlet–Neumann boundary problem associated with the control theory of Maxwell’s equations. In: IEEE Conference on Decision and Control (1983)
Yang, P.W., Yang, S., Li, M.L.: An initial–boundary value problem for the Maxwell equations. J. Differ. Equ. 249(12), 3003–3023 (2010)
Colton, D., Kress, R.: Integral Equation Methods in Scattering Theory ∥ Chap. 4: Boundary-Value Problems for the Time-Harmonic Maxwell Equations and the Vector Helmholtz Equation. Wiley, New York (2013)
Abreu-Blaya, R., Ávila-Ávila, R., Bory-Reyes, J., Rodríguez-Dagnino, R.M.: Cauchy representation formulas for Maxwell equations in 3-dimensional domains with fractal boundaries. Bull. Braz. Math. Soc. 46(4), 681–700 (2015)
Acknowledgements
The authors are thankful to the anonymous referees for reading the manuscript and giving fruitful comments and suggestions.
Funding
This work was supported by the National Natural Science Foundation of China (No. 12071479, No. 11401162, No. 11871191), the Natural Science Foundation of Hebei Province (No. A2020205008), the Key Foundation of Hebei Normal University (No. L2021Z01), and the Outstanding Innovative Talents Cultivation Funded Programs 2019 of Renmin Univertity of China.
Author information
Authors and Affiliations
Contributions
All the authors contributed equally in this research. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yang, P., Wang, L. & Xu, Z. The Riemann boundary value problem related to the time-harmonic Maxwell equations. J Inequal Appl 2021, 154 (2021). https://doi.org/10.1186/s13660-021-02687-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02687-8