Abstract
We investigate factorizations of modified Helmholtz equations in Clifford algebra \(Cl(V_{3,3})\). Using the method of fundamental solutions for modified Helmholtz equations and Clifford calculus, we obtain some integral representation theorem in Clifford analysis. The boundedness of singular integral operators in Hölder space is given. Moreover, we establish solvability conditions of Riemann type problems for modified Helmholtz equations in Clifford analysis. As applications, we solve a kind of singular integral equations. The explicit representation of the solution is also given.
Similar content being viewed by others
1 Introduction
As we know, the Helmholtz equations can be regarded as a generalization of the Sturm-Liouville equation to higher dimensions. The research on the Helmholtz equations \(\Delta u\pm\kappa^{2}u=0\) has drawn the attention of some physicists and mathematicians, we refer to [1–17]. Using a new transform method, Fokas, ben-Avraham and Antipov translate some important boundary value problems for linear and for integral nonlinear partial differential equations in physical plane to the corresponding modified Helmholtz equations. Novel integral representations for the solution of the Helmholtz and the modified Helmholtz equations formulated in the interior of a convex polygon are presented. These representations provide the basis for the development of certain analytical and numerical techniques for diffusion-limited coalescence, see [4–6] for more details. This article focuses on modified Helmholtz equations in Clifford analysis.
The Clifford approach is a powerful mathematical tool for the treatment of partial differential equations in higher dimensions, see [1–3, 7, 15–23]. Maxwell’s equations in physics are the fundamental equations of electromagnetism and are recast into Helmholtz equations by using the Clifford approach, which is different from the vector calculus method. The electric and magnetic fields are treated together, both encoded as bi-vector into one part of a four-dimensional Clifford number in Clifford approach; we mention here [7, 12–14]. It is natural to consider boundary value problems theory for Helmholtz equations and modified Helmholtz equations in higher dimensions, for instance, Riemann type problems, Dirichlet type problems, and so on. Besides the pure mathematical interest, these results are necessary for concrete problems in physics and engineering [8, 9]. In [17], Riemann type problems for Helmholtz equations in the framework of Clifford algebra \(Cl(V_{n,0})\) are considered. Based on some ideas from [17], Riemann type problems for Helmholtz equations in Hermitian Clifford analysis are studied in [3]. However, to the best of our knowledge, some boundary value problems for modified Helmholtz equations and their applications in integral equations in the framework of Clifford algebra \(Cl(V_{n,n})\) (\(n\geq3\)) have not been considered. The main motivation is that the modified Helmholtz operator has been exactly factorized by means of the so-called ±κ-Dirac operators (\(\kappa>0\)) i.e., \(\Delta-\kappa^{2}=(D+\kappa)(D-\kappa)\) in the Clifford algebra \(Cl(V_{3,3})\).
In this article, motivated by [24, 25], in the framework of Clifford algebra \(Cl(V_{3,3})\), we obtain second order generalized integral representations and solve some Dirichlet type problems for modified Helmholtz equations. We define some integral operators which are the generalization of classical Cauchy type integral operators, Teodorescu operators in Clifford analysis, and we study some properties of them. Finally, we study Riemann type problems for modified Helmholtz equations and give some applications.
2 Preliminaries
Let \(V_{3,3}\) be an 3-dimensional real linear space with basis \(\{ e_{1}, e_{2}, e_{3}\}\), \(Cl(V_{3,3})\) be the Clifford algebra over \(V_{3,3}\) and the 8-dimensional real linear space with basis
where N stands for the set \(\{1, 2, 3\}\) and \(\mathcal{P}N\) denotes the family of all order-preserving subsets of N in the above way. Now denote \(e_{\emptyset}\) by \(e_{0}\) and \(e_{l_{1}\cdots l_{r}}\) by \(e_{A}\) for \(A=\{l_{1},\ldots,l_{r}\}\in \mathcal{P}N\). The product on \(Cl(V_{3,3})\) is defined by
where \(n(A)\) is the cardinal number of the set A, the number \(P(A,B)=\sum_{j\in B}P(A,j)\), \(P(A,j)=n\{i,i\in A,i>j\}\), the symmetric difference set \(A\Delta B\) is order-preserving in the above way, and \(\lambda_{A}\in\mathbb{R}\) is the coefficient of the \(e_{A}\)-component of the Clifford number λ. It follows from the multiplication rule above that \(e_{0}\) is the identity element written now as 1 and, in particular,
Thus \(Cl(V_{3,3})\) is a real linear, associative, but non-commutative algebra. An involution is defined by
In view of the multiplication rule (2.1) and the definition of the involution (2.3), it is easy to check that
The norm of λ is defined by \(\|\lambda\|=(\sum_{A\in \mathcal{P}N}|\lambda_{A}|^{2})^{\frac{1}{2}}\). Throughout this article, suppose Ω is an open bounded non-empty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω, denote \(\Omega^{+}=\Omega\), \(\Omega ^{-}=\mathbb{R}^{3}\setminus\overline{\Omega}\). We now introduce the Dirac operator \(D=\sum_{i=1}^{3}e_{i}\frac {\partial}{\partial x_{i}}\). In particular, we have \(DD=\Delta\) where Δ is the Laplacian over \(\mathbb{R}^{3}\). A function \(u:\Omega\mapsto Cl(V_{3,3})\) is said to be left monogenic if it satisfies the equation \(D[u](\mathbf{x})=0\) for each \(\mathbf{x}\in\Omega\). A similar definition can be given for right monogenic functions. Elementary properties of the Dirac operators and left monogenic functions can be found in [8, 9, 26–29].
The elliptic partial differential operator \(H=(\Delta-\kappa^{2})\), for \(\kappa>0\), corresponds to the modified Helmholtz equation:
which has as fundamental solution the function
We defined the operators \(L_{\kappa}\), \(L_{-\kappa}\) as follows:
By the multiplication rule on Clifford algebra \(Cl(V_{3,3})\), the modified Helmholtz equation may be written as
Denote
where \(\mathbf{y}-\mathbf{x}=\sum_{i=1}^{3}(y_{i}-x_{i})e_{i}\). It is clear that \(K_{1}(\mathbf{x},\mathbf{y},\kappa)\) and \(K_{\ast1}(\mathbf {x},\mathbf{y},\kappa)\) are fundamental solutions of \(L_{\kappa}=\sum_{i=1}^{3}e_{i}\frac{\partial}{\partial y_{i}}+\kappa\) and \(L_{-\kappa}=\sum_{i=1}^{3}e_{i}\frac{\partial}{\partial y_{i}}-\kappa\), respectively.
3 Integral representation formulas and some properties of generalized Cauchy integral operators
Let Ω be an open bounded nonempty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω, \(u(\mathbf{x})=\sum_{A}e_{A}u_{A}(\mathbf{x})\), where \(u_{A}(\mathbf{x})\) are real functions. \(u(\mathbf{x})\) is called a Hölder continuous functions on Ω̅ if the following condition is satisfied:
where for any \(\mathbf{x}_{1}, \mathbf{x}_{2}\in\overline{\Omega}\), \(\mathbf{x}_{1}\neq\mathbf{x}_{2}\), \(0<\alpha\leq1\), C is a positive constant independent of \(\mathbf{x}_{1}\), \(\mathbf{x}_{2}\).
Denote by \(H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\) the set of Hölder continuous functions with values in \(Cl(V_{3,3})\) on ∂Ω (the Hölder exponent is α, \(0<\alpha<1\)). Define the norm of u in \(H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) as
where \(\|u\|_{\infty}:=\sup_{\mathbf{x}\in\partial\Omega}\| u(\mathbf{x})\|\), \(\|u\|_{\alpha}:=\mathop{\sup_{{\mathbf{x}_{1},\mathbf {x}_{2}\in\partial\Omega}}}\limits_{\hphantom{aaaa}\mathbf{x}_{1}\neq\mathbf{x}_{2}} \frac{\|u(\mathbf{x}_{1})-u(\mathbf{x}_{2})\|}{\|\mathbf{x}_{1}-\mathbf {x}_{2}\|^{\alpha}}\).
Lemma 3.1
[22]
The Hölder space \(H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\) is a Banach space with norm (3.1).
Lemma 3.2
Let \(f, g\in C^{1}(\Omega, Cl(V_{3,3}))\cap C(\overline{\Omega}, Cl(V_{3,3}))\). Then
Proof
From Stokes’ theorem in Clifford analysis in [26], the results can be directly proved. □
Theorem 3.3
If \(u\in C^{2}(\Omega, Cl(V_{3,3}))\cap C^{1}(\overline{\Omega}, Cl(V_{3,3}))\) where Ω is an open bounded nonempty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω, then
where \(K_{\ast1}(\mathbf{x},\mathbf{y},\kappa)\) is as in (2.8).
Proof
Let \(\mathbf{x}\in\mathbb{R}^{3}\setminus\overline{\Omega}\). Using Lemma 3.2, we get
Then the left-hand side of (3.2) apparently equals zero.
Now, let \(\mathbf{x}\in\Omega\) and take \(r>0\) such that \(B(\mathbf{x}, r)\subset\Omega\). Invoking the previous case, we may then write
Here we take the limits for \(r\rightarrow0\). As regards the weak singularity of \(\frac{e^{-\kappa\|\mathbf{y}-\mathbf{x}\|}}{\|\mathbf {y}-\mathbf{x}\|}\), the third term of (3.3) yields
Furthermore we write
We denote
It follows from the Stokes formula that
Applying the Lebesgue differentiation theorem, we have
Combining (3.3) with (3.4)-(3.8), we get the desired result. □
Theorem 3.4
If \(u\in C^{2}(\Omega, Cl(V_{3,3}))\cap C^{1}(\overline{\Omega}, Cl(V_{3,3}))\) where Ω is an open bounded nonempty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω, then
where \(K_{1}(\mathbf{x},\mathbf{y},\kappa)\) is as in (2.7).
Proof
The result can be similarly proved to Theorem 3.3. □
Corollary 3.5
If \(u\in C^{2}(\Omega, Cl(V_{3,3}))\cap C^{1}(\overline{\Omega}, Cl(V_{3,3}))\) where Ω is an open bounded nonempty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω and \(H[u]=L_{\kappa}L_{-\kappa}[u]=0\) in Ω, then
where \(K_{1}(\mathbf{x},\mathbf{y},\kappa)\) is as in (2.7).
Corollary 3.6
If \(u\in C^{2}(\Omega, Cl(V_{3,3}))\cap C^{1}(\overline{\Omega}, Cl(V_{3,3}))\) where Ω is an open bounded nonempty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω and \(H[u]=L_{-\kappa}L_{\kappa}[u]=0\) in Ω, then
where \(K_{\ast1}(\mathbf{x},\mathbf{y},\kappa)\) is as in (2.8).
Corollary 3.7
Let \(f(\mathbf{x})\in C_{c}^{2}(\Omega, Cl(V_{3,3}))\). The solution of the following Dirichlet boundary value problem:
is
Proof
By Theorem 3.3, the solution of (3.12) is formulated as
since \(L_{\kappa}[u]=0\) and \(u=0\) on ∂Ω, the result follows. □
Using Theorem 3.4, we also have the following result which can be similarly proved to Corollary 3.7.
Corollary 3.8
Let \(f(\mathbf{x})\in C_{c}^{2}(\Omega, Cl(V_{3,3}))\). The solution of the Dirichlet boundary value problem
is
Next, we introduce the following generalized Teodorescu operators \(\mathbb{T}_{\pm\kappa}\), the generalized Cauchy integral operators \(\mathbb{F}_{\pm\kappa}\), and the generalized Cauchy singular integral operators \(\mathbb{S}_{\pm\kappa}\):
where \(\kappa\geq0\), \(u\in H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\).
Lemma 3.9
[22]
Let Ω be an open nonempty bounded subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω, \(u\in H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\), \(0<\alpha\leq1\). Then
Theorem 3.10
Let Ω be an open bounded non-empty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω, \(u\in C^{1}(\Omega, Cl(V_{3,3}))\cap C(\overline{\Omega},Cl(V_{3,3}))\). Then for \(\mathbf{x}\in\Omega\),
Proof
Step 1. Because \(u(\mathbf{x})\) has its compact support \(\operatorname{supp}[u]\Subset\Omega\), we have
In view of \(u(\mathbf{x})\) having a compact support, the operator \(L_{\kappa}\) acting on \(\mathbb{T}_{\kappa}[u](\mathbf{x})\) may be interchanged with integration. Thus we get
Using the Stokes formula, we conclude that
Thus we have proved that (3.27) follows for any \(u(\mathbf{x})\in C_{c}^{1}(\Omega, Cl(V_{3,3}))\).
Step 2. We prove that (3.27) holds for any \(u(\mathbf {x})\in C^{1}(\Omega, Cl(V_{3,3}))\). We take a neighborhood V of x such that \(\mathbf{x}\in V\Subset\Omega\), a real-valued function \(\Psi\in C^{\infty}(\Omega)\) such that \(\Psi|_{V}=1\) and \(\operatorname{supp}\Psi\Subset\Omega\). Then
It is obvious that \(u_{1}(\mathbf{x})\in C_{c}^{1}(\Omega, Cl(V_{3,3}))\), \(u_{2}(\mathbf{x})\in C^{1}(\Omega, Cl(V_{3,3}))\) and \(u_{1}|_{V}=u\), \(u_{2}|_{V}=0\). Following step 1, we obtain
Since \(u_{2}(\mathbf{x})\) equals zero in V, we get
It follows from (3.29) and (3.30) that
Because x is taken arbitrarily in Ω, the result follows. □
Corresponding to Theorem 3.10, we have the following theorem.
Theorem 3.11
Let Ω be an open bounded non-empty subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω, \(u\in C^{1}(\Omega, Cl(v_{3,3}))\cap C(\overline{\Omega},Cl(V_{3,3}))\). Then for \(\mathbf{x}\in\Omega\),
In the following, we need to consider Hölder’s boundedness of the singular integral operators \(\mathbb{S}_{\pm\kappa}\). It is necessary to solve the following boundary value problems in Clifford analysis.
Theorem 3.12
Let Ω be an open nonempty bounded subset of \(\mathbb{R}^{3}\) with a Lyapunov boundary ∂Ω. Then the generalized Cauchy integral operator \(\mathbb{S}_{\kappa}\): \(H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\mapsto H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\) defined by (3.21) is bounded, i.e.
where \(C=\max \{\frac{C_{4}}{2\pi}\eta^{2-\alpha}(|\partial\Omega |+\frac{1}{2-\alpha})+C_{6}, \frac{C_{5}(|\partial\Omega|+\eta^{2}+\eta)}{2\pi\eta}+\frac{2\kappa (C_{2}\eta^{2}+C_{3}|\partial\Omega|)}{\eta} \}\) and \(|\partial\Omega|\) denotes the surface area of Ω.
Proof
For \(\mathbf{x}\in\partial\Omega\), we have
Since ∂Ω is Lyapunov boundary, the normal vector n is continuous on ∂Ω. Therefore, we can choose \(0<\eta\leq1\) such that for the scalar product
for all \(\mathbf{x}, \mathbf{y}\in\partial\Omega\) with \(\|\mathbf {y}-\mathbf{x}\|\leq\eta\). It is enough to consider the case of \(\|\mathbf{y}-\mathbf{x}\|\) being sufficiently small such that the set \(\partial L \triangleq\{\mathbf{y}\in\partial\Omega: \|\mathbf {y}-\mathbf{x}\|\leq\eta\}\) is connected for each \(\mathbf{x}\in\partial\Omega\). Then the condition (3.35) implies that ∂L can be bijective into the tangent plane to ∂Ω at the point x. Using polar coordinates \((r, \omega)\) in the tangent plane with origin in x, for any \(u\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\), we arrive at
where \(C_{1}\), \(C_{2}\) denote nonnegative constants which are independent of u. Here we use the facts that \(\|\mathbf{x}-\mathbf{y}\|\geq r\), that the surface element
can be estimated with the aid of (3.35) by \(dS\leq2r\,dr\, d\omega\), and that the projection ∂L into the tangent plane is contained in the interior of the sphere of radius η and center x. Furthermore,
where \(|\partial\Omega|\) is the surface area of Ω. Inequalities (3.36) with (3.38) imply
Using a similar method to the proof of \(J_{1}\), we obtain
Now we estimate \(J_{3}\). Combining \(u\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) with
we have
Combining (3.34), (3.39), (3.40), and (3.41), we get
where \(C_{4}\), \(C_{5}\), \(C_{6}\) denote nonnegative constants which are independent of u.
On the other hand, for \(\mathbf{x}_{1}\), \(\mathbf{x}_{2}\in\partial \Omega\), it is enough to consider the case of \(\|\mathbf{x}_{1}-\mathbf{x}_{2}\|\) being sufficiently small. It is obvious that
and
Applying some properties of the Hilbert transform in Clifford analysis (see [8, 9, 16, 30]) and the weak singularity of \(\frac{\mathbf{y}-\mathbf{x}}{\|\mathbf{y}-\mathbf{x}\|^{2}}\) and \(\frac {1}{\|\mathbf{y}-\mathbf{x}\|}\), we conclude
where \(C_{6}\) is a nonnegative constant independent of \(\mathbf{x}_{1}\) and \(\mathbf{x}_{2}\). It follows from (3.42) and (3.43) that
where \(C=\max\{\frac{C_{4}}{2\pi}\eta^{2-\alpha}(|\partial\Omega|+\frac {1}{2-\alpha})+C_{6}, \frac{C_{5}(|\partial\Omega|+\eta^{2}+\eta)}{2\pi\eta}+\frac{2\kappa (C_{2}\eta^{2}+C_{3}|\partial\Omega|)}{\eta}\}\). The proof is complete. □
Remark 3.13
By the same technique we obtain the following result that the generalized Cauchy integral operator \(\mathbb{S}_{-\kappa}\): \(H^{\alpha }(\partial\Omega,Cl(V_{3,3}))\mapsto H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\) defined by (3.22) is bounded.
Remark 3.14
We assume \(u\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\). All integrals are understood in the Riemann integral sense in Lemma 3.9 and Theorem 3.12. Now, let \(L^{p}(\partial\Omega, Cl(V_{3,3}))\), \(1\leq p<\infty\) be the space of all Clifford algebra valued functions, whose pth power is Lebesgue integrable in ∂Ω. If \(u\in L^{p}(\partial\Omega, Cl(V_{3,3}))\) then one has to understand \(\mathbb{F}_{\pm\kappa}\) as a Lebesgue integral, and the necessary changes can be easily made. For instance, the limits exist almost everywhere on ∂Ω with respect to the surface Lebesgue measure in Lemma 3.9. Using classical Calderón-Zygmund theory, an \(L^{p}\) formulation of Theorem 3.12 holds.
In the framework of Clifford algebra \(Cl(V_{3,3})\), we come back to the modified Helmholtz equation \((\Delta-\kappa^{2})[u](\mathbf{x})=0\), \(\mathbf{x}\in\Omega\). By Theorem 3.3, Theorem 3.4, Theorem 3.10, and Theorem 3.11, we have the following theorem.
Theorem 3.15
Suppose that Ω is an open nonempty bounded subset of \(\mathbb {R}^{3}\) with a Lyapunov boundary ∂Ω, \(f, g\in C^{1}(\Omega, Cl(V_{3,3}))\cap C(\overline{\Omega}, Cl(V_{3,3}))\), \(L_{-\kappa}[f]=0\) and \(L_{\kappa}[g]=0\) in Ω. Then the function \(u(\mathbf{x})\) is determined by
or
Conversely, suppose \(u(\mathbf{x})\in C^{1}(\overline{\Omega}, Cl(V_{3,3}))\) and \(u(\mathbf{x})\) is a solution of the modified Helmholtz equation. Then u may be represented by (3.44) or (3.45), where \(L_{-\kappa}[f]=0\) and \(L_{\kappa}[g]=0\) in Ω.
4 Some boundary value problems for modified Helmholtz equations and its application
We consider the following Riemann type problem now:
where A is any invertible Clifford constant. \(g_{1}(\mathbf{x})\), \(g_{2}(\mathbf{x})\), and \(f(\mathbf{x})\) are Clifford value functions in \(H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\), \(0<\alpha<1\), \(H=\Delta-\kappa^{2}\), \(\kappa\geq0\). We establish solvability conditions of the Riemann type problem (4.1).
Theorem 4.1
Suppose \(f(\mathbf{x}), g_{1}(\mathbf{x}), g_{2}(\mathbf{x})\in H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\), \(0<\alpha<1\), and \(f(\mathbf{x})\) satisfies the following condition:
where C is a positive constant mentioned in Theorem 3.12. Then there exists a unique solution to the Riemann type problem (4.1).
Proof
Combining \(H[u](\mathbf{x})=L_{-\kappa}[L_{\kappa}[u]](\mathbf{x})=0\) and \(u(\infty)=0\), we easily check \(L_{-\kappa}[u](\mathbf{x})=0\) and \(\omega(\infty)=0\). Let \(\omega(\mathbf{x})=L_{\kappa}[u](\mathbf{x})\). Then
holds. Furthermore, we obtain
Let
It is easy to see that
Denote \(u(\mathbf{x})-u_{1}(\mathbf{x}):=\varphi(\mathbf{x})\), \(\mathbf {x}\in\mathbb{R}^{3}\setminus\partial\Omega\), applying the transmission condition
we have
where
It is clear that \(\widetilde{g}_{1}(\mathbf{x})\in H^{\alpha}(\partial \Omega,Cl(V_{3,3}))\), \(0<\alpha<1\). We have \(\varphi(\infty)=0\). Combining (4.6) with (4.7), we have
We only need to consider the existence of solutions to (4.8). The solution to this problem may be written in the form
where \(\varphi_{1}(\mathbf{y})\) is a Hölder continuous function to be determined on ∂Ω. Using Lemma 3.9, (4.8) can be reduced to an equivalent singular integral equation for \(\varphi_{1}\),
We set
For any \(\omega_{1}, \omega_{2}\in H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\),
From (4.2), the integral operator T is a contraction operator mapping the Banach space \(H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\) into itself. Then the operator T has a unique fixed point. Thus there exists a unique solution to (4.8). The proof is finished. □
Remark 4.2
In the above Theorem 4.1, the existence and uniqueness of solutions of the Riemann type problem for the modified Helmholtz equation with variable coefficient i.e., \(f(\mathbf{x})\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) is illustrated. Particularly, when \(f(\mathbf{x})\) is just an invertible Clifford constant, for the boundary value problem (4.1) there exists a unique solution. Moreover, we have obtained an explicit representation of solutions in [22].
As applications, using Lemma 3.9 and the results of the boundary value problem, we consider two kinds of singular integral equations and obtain their explicit representations of solutions.
Theorem 4.3
Consider the singular integral equation:
where \(f(\mathbf{x})\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\), B is a non-zero Clifford constant, \(A+B\) and \(A-B\) are invertible Clifford constants, and \((A+B)^{-1}\) and \((A-B)^{-1}\) are invertible elements, respectively. Then:
-
1.
If \(u(\mathbf{x})\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) is a solution to (4.13), and
$$\begin{aligned} \mathfrak{F}_{\ast1}(\mathbf{x})= \int _{\partial\Omega}K_{\ast 1}(\mathbf{x}, \mathbf{y}, \kappa)\,d \sigma_{\mathbf{y}}u(\mathbf{y}), \quad \mathbf{x}\in\mathbb{R}^{3} \setminus \partial\Omega, \end{aligned}$$(4.14)then
$$\begin{aligned} \mathfrak{F}_{\ast1}^{+}(\mathbf{x})= \mathfrak{F}_{\ast1}^{-}(\mathbf {x})\cdot(A-B) (A+B)^{-1}+f(\mathbf{x}) (A+B)^{-1}, \quad\mathbf{x}\in \partial \Omega \end{aligned}$$(4.15)and
$$\begin{aligned} \lim_{\|\mathbf{x}\|\rightarrow\infty}\mathfrak{F}_{\ast 1}(\mathbf{x})=0. \end{aligned}$$(4.16) -
2.
Assume \(\mathfrak{F}_{\ast1}(\mathbf{x})\) is solution of Riemann type problem (4.15) and \(L_{\kappa}[\mathfrak{F}_{\ast1}](\mathbf{x})=0\), \(\mathbf{x}\in\mathbb {R}^{3}\setminus\partial\Omega\), \(\mathfrak{F}_{\ast1}^{+}(\mathbf{x}), \mathfrak{F}_{\ast1}^{-}(\mathbf {x})\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\). Let
$$u(\mathbf{x})=\mathfrak{F}_{\ast1}^{+}(\mathbf{x})- \mathfrak{F}_{\ast 1}^{-}(\mathbf{x}). $$Then \(u(\mathbf{x})\) is the solution of the singular equation (4.13) \(u(\mathbf{x})\in H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\).
Proof
1. Using Lemma 3.9, we have
Combining (4.17) with (4.18), we get
i.e.,
It is clear that \(\mathfrak{F}(\infty)=0\). The result follows.
2. In view of Theorem 4.1 and Remark 4.2, we obtain
By Lemma 3.9, we get
Combining (4.22), (4.23), and (4.20), the result follows. □
Theorem 4.4
The singular integral equation (4.13) is solvable in \(H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) and the solution may be represented by the following formula:
Proof
In view of Theorem 4.3, we consider the following Riemann boundary value problem:
We have
Using again Theorem 4.3, the proof is complete. □
Remark 4.5
When \(A=0\), the singular integral equation (4.13) is solvable in \(H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) and the solution may be represented by the following formula:
The following theorems can be similarly proved as Theorem 4.3 and Theorem 4.4.
Theorem 4.6
Consider the singular integral equation:
where \(f(\mathbf{x})\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\), D is a non-zero Clifford constant, \(C+D\) and \(C-D\) are invertible Clifford constants, and \((C+D)^{-1}\) and \((C-D)^{-1}\) are invertible elements, respectively. Then:
-
1.
If \(u(\mathbf{x})\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) is a solution to (4.27), set
$$\begin{aligned} \mathfrak{F}_{1}(\mathbf{x})= \int_{\partial\Omega}K_{1}(\mathbf{x}, \mathbf{y}, \kappa) \,d \sigma_{\mathbf{y}}u(\mathbf{y}),\quad \mathbf{x}\in\mathbb{R}^{3} \setminus \partial\Omega. \end{aligned}$$(4.28)Then
$$\begin{aligned} \mathfrak{F}_{1}^{+}(\mathbf{x})= \mathfrak{F}_{1}^{-}(\mathbf{x})\cdot (A-B) (A+B)^{-1}+f(\mathbf{x}) (A+B)^{-1}, \quad\mathbf{x}\in \partial \Omega \end{aligned}$$(4.29)and
$$\begin{aligned} \lim_{\|\mathbf{x}\|\rightarrow\infty}\mathfrak{F}_{1}(\mathbf{x})=0. \end{aligned}$$(4.30) -
2.
Conversely, if \(\mathfrak{F}_{1}(\mathbf{x})\) is solution of Riemann type problem (4.29) and \(L_{-\kappa}[\mathfrak{F}](\mathbf{x})=0\), \(\mathbf{x}\in\mathbb {R}^{3}\setminus\partial\Omega\), \(\mathfrak{F}_{1}^{+}(\mathbf{x}), \mathfrak{F}_{1}^{-}(\mathbf{x})\in H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\). Let
$$u(\mathbf{x})=\mathfrak{F}_{1}^{+}(\mathbf{x})-\mathfrak {F}_{1}^{-}(\mathbf{x}). $$Then \(u(\mathbf{x})\) is the solution of singular equation (4.27), \(u(\mathbf{x})\in H^{\alpha}(\partial\Omega,Cl(V_{3,3}))\).
Theorem 4.7
The singular integral equation (4.27) is solvable in \(H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) and the solution may be represented by the following formula:
Remark 4.8
When \(C=0\), the singular integral equation (4.27) is solvable in \(H^{\alpha}(\partial\Omega, Cl(V_{3,3}))\) and the solution may be represented by the following formula:
References
Abreu Blaya, R, Bory Reyes, J: On the Riemann Hilbert type problems in Clifford analysis. Adv. Appl. Clifford Algebras 11, 15-26 (2001)
Abreu Blaya, R, Bory Reyes, J, Peña-Peña, D: Jump problem and removable singularities for monogenic functions. J. Geom. Anal. 17, 1-13 (2007)
Abreu Blaya, R, Bory Reyes, J, Brackx, F, De Schepper, H, Sommen, F: Boundary value problems associated to a Hermitian Helmholtz equation. J. Math. Anal. Appl. 389, 1268-1279 (2012)
Antipov, Y, Fokas, AS: A transform method for the modified Helmholtz equation on the semi-strip. Math. Proc. Camb. Philos. Soc. 137, 339-365 (2004)
ben-Avraham, D, Fokas, AS: The solution of the modified Helmholtz equation in a wedge and an application to diffusion-limited coalescence. Phys. Lett. A 263, 355-395 (1999)
ben-Avraham, D, Fokas, AS: Solution of the modified Helmholtz equation in a triangular and an application to diffusion-limited coalescence. Phys. Rev. E 64(3), 016114 (2001)
Bernstein, S: On the left linear Riemann problem in Clifford analysis. Bull. Belg. Math. Soc. Simon Stevin 3, 557-576 (1996)
Gürlebeck, K, Sprössig, W: Quaternionic Analysis and Elliptic Boundary Value Problems. Birkhäuser, Basel (1990)
Gürlebeck, K, Sprössig, W: Quaternionic and Clifford Calculus for Physicists and Engineers. Wiley, Chichester (1997)
Jleli, M, Samet, B, Vial, G: Topological sensitivity analysis for the modified Helmholtz equation under an impedance condition on the boundary of a hole. J. Math. Pures Appl. 103, 557-574 (2015)
Li, X: On solving boundary value problems of modified Helmholtz equations by plane wave functions. J. Comput. Appl. Math. 195, 66-82 (2006)
McIntosh, A, Mitrea, M: Clifford algebras and Maxwell’s equations in Lipschitz domains. Math. Methods Appl. Sci. 22, 1599-1620 (1999)
Mitrea, M: Boundary value problems and Hardy spaces associated to the Helmholtz equation in Lipschitz domains. J. Math. Anal. Appl. 202, 819-842 (1996)
Mitrea, M: Boundary value problems for Dirac operators and Maxwell’s equations in nonsmooth domains. Math. Methods Appl. Sci. 25, 1355-1369 (2002)
Kravchenko, VV, Shapiro, M: Integral Representations for Spatial Models of Mathematical Physics. Res. Notes Math., vol. 351. Pitman, London (1996)
Xu, Z: On linear and nonlinear Riemann-Hilbert problems for regular functions with values in Clifford algebras. Chin. Ann. Math., Ser. B 11, 349-358 (1990)
Xu, Z: Helmholtz equations and boundary value problems. In: Partial Differential Equations with Complex Analysis. Pitman Res. Notes Math. Ser., vol. 262, pp. 204-214. Longman, Harlow (1992)
Bu, Y, Du, J: The RH boundary value problem for the k-monogenic functions. J. Math. Anal. Appl. 347, 633-644 (2008)
Gong, Y, Du, J: A kind of Riemann and Hilbert boundary value problem for left monogenic functions in \(\mathbb{R}^{m}\) (\(m\geq2\)). Complex Var. Theory Appl. 49, 303-318 (2004)
Gürlebeck, K, Zhang, Z: Some Riemann boundary value problems in Clifford analysis. Math. Methods Appl. Sci. 33, 287-302 (2010)
Gürlebeck, K, Zhang, Z: Generalized integral representations for functions with values in \(C(V_{3,3})\). Chin. Ann. Math., Ser. B 32, 123-138 (2011)
Gu, L, Du, J, Cai, D: A kind of Riemann boundary value problems for pseudo-harmonic functions in Clifford analysis. Complex Var. Elliptic Equ. 59, 412-426 (2014)
Gu, L, Zhang, Z: Riemann boundary value problem for harmonic functions in Clifford analysis. Math. Nachr. 287, 1001-1012 (2014)
Muskhelishvilli, NI: Singular Integral Equations. Nauka, Moscow (1968)
Lu, J: Boundary Value Problems of Analytic Functions. World Scientific, Singapore (1993)
Brackx, F, Delanghe, R, Sommen, F: Clifford Analysis. Research Notes in Mathematics, vol. 76. Pitman, London (1982)
Delanghe, R, Sommen, F, Souček, V: Clifford Algebras and Spinor-Valued Functions. Kluwer Academic, Dordrecht (1992)
Delanghe, R: On the regular analytic functions with values in a Clifford algebra. Math. Ann. 185, 91-111 (1970)
Delanghe, R: On the singularities of functions with values in a Clifford algebra. Math. Ann. 196, 293-319 (1972)
Zhang, Z: Some properties of operators in Clifford analysis. Complex Var. Elliptic Equ. 52, 455-473 (2007)
Acknowledgements
The authors cordially thank the referees for their careful reading and helpful comments. This work was partially supported by NNSF of China (Nos. 11401287 and 11271175), the AMEP and DYSP of Linyi University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Gu, L., Fu, Z. Boundary value problems for modified Helmholtz equations and applications. Bound Value Probl 2015, 217 (2015). https://doi.org/10.1186/s13661-015-0487-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0487-1