Boundary Value Problems for the Helmholtz Equation for a Half-plane with a Lipschitz Inclusion
E.Lipachev

TL;DR
This paper investigates electromagnetic wave diffraction by a half-plane with a Lipschitz inclusion, establishing solvability and solutions in generalized Sobolev spaces using potential operators and integral equations.
Contribution
It introduces a novel approach to boundary value problems with Lipschitz inclusions, proving solvability and representing solutions via potential operators.
Findings
Proved solvability of Dirichlet and Neumann problems.
Derived solutions using potential type operators.
Reduced boundary problems to second-kind integral equations.
Abstract
This paper considers to the problems of diffraction of electromagnetic waves on a half-plane, which has a finite inclusion in the form of a Lipschitz curve. The diffraction problem formulated as boundary value problem for Helmholtz equations and boundary conditions Dirichlet or Neumann on the boundary, as well as the radiation conditions at infinity. We carry out research on these problems in generalized Sobolev spaces. We use the operators of potential type, that by their properties are analogs of the classical potentials of single and double layers. We proved the solvability of the boundary value problems of Dirichlet and Neumann. We have obtained solutions of boundary value problems in the form of operators of potential type. Boundary problems are reduced to integral equations of the second kind.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDifferential Equations and Boundary Problems · Material Properties and Applications · Differential Equations and Numerical Methods
11institutetext: Kazan Federal University, 35 Kremlyovskaya ul.
Kazan, Russian Federation,
Lipachev
Boundary Value Problems for
the Helmholtz Equation
for a Half-plane
with a Lipschitz Inclusion
Evgeny Lipachev
Abstract
This paper considers to the problems of diffraction of electromagnetic waves on a half-plane, which has a finite inclusion in the form of a Lipschitz curve. The diffraction problem formulated as boundary value problem for Helmholtz equations and boundary conditions Dirichlet or Neumann on the boundary, as well as the radiation conditions at infinity. We carry out research on these problems in generalized Sobolev spaces. We use the operators of potential type, that by their properties are analogs of the classical potentials of single and double layers. We proved the solvability of the boundary value problems of Dirichlet and Neumann. We have obtained solutions of boundary value problems in the form of operators of potential type. Boundary problems are reduced to integral equations of the second kind.
Keywords:
special Lipschitz domains, Helmholtz equation, Dirichlet problem, Neumann problem, Boundary Integral Equations, operator of potential type
1 Introduction
At present, boundary problems on Lipschitz domains have been formed in a special field of research. This is caused both with applications in electrodynamics and other fields, and with the theoretical importance of these studies. An extensive bibliography on this range of issues and the most important the results are given in the articles M.S. Agranovich [1, 2, 3], M. Costabel [4], B. Dahlberg and C. Kenig [5], D. Jerison and C. Kenig [6, 7, 8], M. Mitrea and M. Taylor [9, 10]. A detailed summary of the main results of the theory of boundary value problems on Lipschitz domains can be found in [1], [11], [12]. An essential part of this theory is devoted to boundary integral operators. A summary of the theory of integral operators on Lipschitz Domains is contained in article [4]. Note that this work is the most cited in this field. An important property of the Lipschitz domain is the possibility approximations by infinitely differentiable domains from either side boundaries of this domain (see [1], [13]). Lipschitz domains also satisfy the condition of a uniform cone (see [1, 14]). These properties are used in the present paper to investigate the solvability of boundary value problems of diffraction on an unbounded boundary with a Lipschitz inclusion.
In the papers [15]–[17] we investigated the boundary value problems for the Helmholtz equation in domains with an rough smooth and piecewise smooth boundaries. These studies are based on the use of generalized potentials of single and double layers. In contrast to the classical potentials defined on closed domains, generalized potentials are considered on open curves and on domains with an infinite boundary. In the present paper this technique is extended to the case of a half-plane with a Lipschitz inclusion of finite size.
In the study of boundary value problems on Lipschitz boundaries we are introduced the operators of potential type. These operators are analogues analogues of operators of single and double layers and have properties close to those of the classical potentials of single and double layers, which makes it possible to apply, after necessary refinements, the same reasoning technique as in the classical case (e.g., see [3], [4]).
2 Statement of the problem
A function is called Lipschitz if there exist such that for all .
Let , where is Lipschitz function with finite support. In the terminology of publications [2, 3, 18] this domain is a special Lipschitz domain. In [5] recommender use the notation for bounded Lipschitz domains and for special Lipschitz domains respectively.
The boundary of the domain can be represented in the form
[TABLE]
We note that this is a special case of rough boundary (e.g., see [16], [19], [20]). Let .
We formulate the problem in the following terms. Find a function , such that
[TABLE]
and the Dirichlet boundary condition
[TABLE]
or the Neumann boundary condition
[TABLE]
and the radiation condition at infinity
[TABLE]
where and . Through , denoted by the solution of the diffraction problem on the half-plane ([15, 16, 17]).
Here , , , . Through denoted the Sobolev spaces (e.g., see [1, 21]). Let , denote by
[TABLE]
– trace of the function on the boundary , where
[TABLE]
– Luzin sector. Denote by
[TABLE]
Note that , (e.g., see [18], [22]).
These problems are used as a mathematical model for finding the electromagnetic field resulting from the diffraction of an electromagnetic plane wave in regions with an infinite rough boundary. From a physical point of view, the boundary value problem with condition (2) corresponds to the diffraction problem –polarized electromagnetic wave, and the problem with the condition (3) – the problem of diffraction –polarized wave (e.g., see [23]).
3 Uniqueness of the solution of boundary value problems
To derive Green’s formulas, the Lipschitz domain is approximated by domains with smooth boundaries. According to the results of article [13] (e.g., see [3]) for a Lipschitz domain there is a sequence of domains, , and homeomorphisms, , such that as and for all and all , the normal vectors to coverge pointwise a.e. and in to . For a special Lipschitz domain from the section 2 choose an approximating sequence of domains with condition
[TABLE]
Theorem 3.1
If the condition the boundary value problems (1), (2), (4) have no more than one solution.
Theorem 3.2
If the condition and the boundary value problems (1), (3), (4) have no more than one solution.
Proof
Let be a system of smooth domains approximating the domain . Let , be two solutions of the boundary value problem and .
On the part of the boundary , because , we have
[TABLE]
Further, since
[TABLE]
we have
[TABLE]
Similarly,
[TABLE]
Consider functions such that , . Let be a real number and a circle of radius . In the bounded smooth region we apply the second Green’s formula to the functions :
[TABLE]
In the limit to , we obtain
[TABLE]
Further, in the last formula we pass to the limit with respect to and take into account the limit relations
[TABLE]
[TABLE]
[TABLE]
As a result, we obtain
[TABLE]
Now we pass to the limit with respect to , taking into account the approximation properties of a Lipschitz domain by smooth domains.
[TABLE]
Because the , then the left-hand side of the equality (5) takes the form
[TABLE]
As a consequence of the boundary conditions of the boundary value problem, the right-hand side of equation (5) is [math].
Since , , we have
[TABLE]
From the last relation we conclude that is satisfied in region and, as a consequence, we obtain .
4 Existence of solutions of boundary value problems
One method of solving boundary value problems of diffraction is the method of integral equations (e.g., see [24], [25]). In the classical theory, boundary value problems are considered on bounded domains with a sufficiently smooth boundary, the potentials of the single and double layers are used, as well as the technique of Green’s formulas. In the case of a deterioration of the properties of the boundary, it is required to refine the definitions of the potentials and the conditions for the applicability of the Green’s formulas. In the study of boundary value problems for the Helmholtz equation on rough boundaries, we used generalized potentials ([15]–[17]). In the case of Lipschitz boundaries, the extension of the concept of a potential is called a potential type operator. We note that in the case of Lipschitz domains the properties of operators of potential type are analogous to those of classical potentials of a single and double layers, in particular, formulas for the jump of values on the boundary.
As shown in my works [15]–[17] in the case of an rough boundary from class , , under the conditions , the boundary value problem has a unique solution and for the solution we have the representation
[TABLE]
[TABLE]
– in the case of the problem with the condition (2) on the boundary and
[TABLE]
– in the case of condition (3) on the boundary. The function is a solution of the integral equation
[TABLE]
– in the case of condition (2) on the boundary and
[TABLE]
– in the case of condition (3) on the boundary.
These formulas use functions
[TABLE]
, , , , – the length of the irregular part of the boundary . Through denotes the Hankel function of the first kind of order zero (e.g., see [26]).
In the case of a special Lipschitz domain , we consider the operators
[TABLE]
[TABLE]
Here is the unit normal vector at the point directed to the region . This vector is defined for almost all .
For we define
[TABLE]
From the results of [13] (e.g., see [25]) the following statements.
Lemma 1
If , , then there is the direct value of the normal derivative of the operator (10)
[TABLE]
Here the limit is understood in the sense of convergence in or pointwise convergence for almost all .
The normal derivative for almost all has nontangential limits on the side , which are expressed by formulas
[TABLE]
Lemma 2
If , , then almost everywhere on there exists the limit
[TABLE]
This limit is called the direct value of the operator .
Lemma 3
If , , then almost everywhere on the boundary has nontangential limits on the side , and the following equalities hold:
[TABLE]
For the operators (10), (11), the basic potentials are satisfied (e.g., see [1, 2, 3]). Therefore, we can consider them analogues of the potentials of a single and a double layer. These operators are called operators of the potential type.
The following propositions hold (e.g., see [4, 6, 7, 8, 9])
[TABLE]
[TABLE]
[TABLE]
Let be a system of smooth domains approximating the Lipschitz domain . We denote by the sequence of solutions of boundary value problems in smooth domains . This sequence can be adjusted so that .
In each smooth domain we consider the boundary value problem
[TABLE]
[TABLE]
and, in addition, we require that the function satisfy the radiation conditions (4).
Note that the value of the function on is defined by virtue of the fact that .
For a given boundary value problem, the solvability conditions are satisfied; therefore, for each there exists a classical solution of this problem.
But, as a function of in also satisfies the conditions of the boundary value problem, then, by the uniqueness, we get
[TABLE]
Note also that on the general section boundary areas and we have
[TABLE]
– in the case of the Dirichlet problem and
[TABLE]
– in the case of the Neumann problem.
For each finite set of solutions of the boundary value problems in the domains can perform such adjustment, starting from the value and reducing to index [math]. As a result, reasoning by induction, we obtain the sequence of functions satisfying the following conditions.
(i) For each , function at all points of the domain is a solution of the Helmholtz equation.
(ii) If , then .
(iii) In the case of the Dirichlet problem, and – in the case of the Neumann problem.
(iv) In the domain , the function can be represented as a generalized potential with a density found as a solution of the integral equation (8) or (9).
Thus, we obtain a sequence of functions . Let us show that this sequence is fundamental in . Let be a real number, we define the domain
Consider in the two functions and of this sequence and for definiteness, assume that .
As shown, the functions and coincide in domain , and hence in we have
[TABLE]
We write the last relation, using the representation of solutions of boundary value problems in the form of potentials (6) and (7).
In the case of the Dirichlet problem, we have
[TABLE]
In the case of the Neumann problem, we have
[TABLE]
Since the function is defined as in domain and in the domain ( with ), we can consider the potential on the boundary with a density . Then the following relations hold:
[TABLE]
[TABLE]
[TABLE]
Hence, from the last relation and from (15) we obtain
[TABLE]
[TABLE]
Similarly, in the case of the Neumann problem, we have
[TABLE]
[TABLE]
The right-hand sides of the last relations for tend to [math], since , approach . From these relations and the properties of approximation by smooth domains, convergence of the sequence of functions follows. We denote by , the limits of the sequence of densities in the case of the Dirichlet and Neumann problem, respectively.
We show that the functions , satisfy the conditions of the boundary value problem.
The use of the trace operator to the function and the operator to the function , by Lemmas 1 and 3, leads to the relations
[TABLE]
The latter relations are understood in the sense of the nontangential limit of functions whose values on have the same values as or (depending on the boundary condition). Therefore, we arrive at the conclusion that the relations
[TABLE]
As a result, we conclude that the following theorems hold.
Theorem 4.1
Under condition , the sequence of the solutions of integral equations (8) converges in a space to a function such that the function
[TABLE]
is a solution of the boundary value problem with the Dirichlet condition on the boundary. We denote by the solution of the Dirichlet problem on the half-plane, and is the potential type operator defined by (11).
Theorem 4.2
Under conditions and , the sequence of the solutions of the integral equations (9) converges to a function in the space such that the function
[TABLE]
is a solution of the boundary value problem with the Neumann condition on the boundary. We denote by the solution of the Neumann boundary value problem on the half-plane, and is the potential type operator defined by (10).
Theorem 4.3
There exists a unique solution of the boundary value problems under consideration, and the representations hold
[TABLE]
[TABLE]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Agranovich, M.S.: Sobolev Spaces, Their Generalizations, and Elliptic Problems in Smooth and Lipschitz Domains. Springer International Publishing Switzerland (2015), doi: 10.1007/978-3-319-14648-5
- 2[2] Agranovich, M.S.: Spectral problems for second-order strongly elliptic systems in smooth and non-smooth domains. Russ. Math. Surv. 57 (5), pp. 847–920 (2003)
- 3[3] Agranovich, M.S., Mennicken, R.: Spectral boundary value problems for the Helmholtz equation with spectral parameter in boundary conditions on a non-smooth surface. Sb. Math. 190 (1), pp. 29–69 (1999)
- 4[4] Costabel, M.: Boundary Integral Operators on Lipschitz Domains: Elementary Results. SIAM Journal on Mathematical Analysis. 19 (3), pp. 613–626 (1988), doi: 10.1137/0519043
- 5[5] Dahlberg, B.E.J., Kenig, C.: Harmonic Analysis and Partial Differential Equations. Göteborg, Dept. of Math. Chalmers University of Technology and the University of Göteborg (1985/1996)
- 6[6] Jerison, D., Kenig, C.: The Neumann problem on Lipschitz domains. Bull. Amer. Math. Soc. 4, pp. 203–207 (1981)
- 7[7] Jerison, D., Kenig, C.: The Dirichlet problem in non-smooth domains. Ann. of Math. 113, pp. 367–382 (1981)
- 8[8] Jerison, D., Kenig, C.: The inhomogeneous Dirichlet problem in Lipschitz domains. J. Funct. Anal. 130, pp. 161–219 (1995)
