Research Article | Open Access
Boundary Galerkin Method of a Skew-Derivative Problem in the Exterior of an Open Arc Based on Chebyshev Polynomials
A problem modeling Hall effect in a semiconductor film from an electrode of arbitrary shape is considered, which is a skew-derivative problem. Boundary Galerkin method for solving the problem in Sobolev spaces is developed firstly. The solution is represented in the form of the combined angular potential and single-layer potential. The final integral equations do not contain hypersingular integrals. Uniqueness and existence of the solution to the equations are proved. The weakly singular and Cauchy singular integral arising in these equations can be computed directly by truncated series of Chebyshev polynomials with their weighting function without approximation. The numerical simulation showing the high accuracy of the scheme is presented.
Hall effect is the production of a voltage difference across a semiconductor, transverse to an electric current in the conductor and a magnetic field perpendicular to the current. It is widely used in industrial automation, detection, and information processing, which is the basic method for the study of semiconductor material properties. In this paper, we concern an electric current in a semiconductor coming from an electrode, which can be modeled by an open arc. A magnetic is orthogonal to the film. The directions of electric current and electric intensity are not the same because of Hall effect. From a mathematical standpoint, the problem is a skew-derivative problem in the exterior of an open arc in a plane.
The boundary integral has been a means of solving problems in the exterior of an open arc. The difficulty of the problem is that the solution is continuous at the tips, but its gradient may have weak singularity. Numerical methods of problems are considered in Hölder space in a series of papers [1–3]. The analysis in  is performed within a Sobolev space setting and a weak solution concept, but no numerical method is presented. These authors construct the solution, via a combination of a single- and a double-layer potential, which can not describe the singularity at the tips directly. Thus, another more difficult problem is introduced, that is, hypersingularity.
In , the author constructs the solution by single-layer potential and nonclassical angular potential [6–10] and proves the existence and uniqueness of the solution. An angular potential can be seen as a double layer potential under certain conditions. It has the same order of singularity as a single-layer potential, which is different from a double-layer potential. This makes the final integral system much simpler. The solution which is a combination of a single-layer and angular potential may have weak singularity at the tips of arc if the density function has the form .
In , a numerical method for solving this problem is first considered. It numerically solved a Fredholm integral equation of the second kind in Hölder space. The method can avoid the hypersingularity caused from the double-layer potential. But due to Cauchy singular integral of the system and the special form of density function, approximate calculation of singular integral can not be avoided. In recent years, the inverse problems for arc have been considered by some researchers. In [12–14], the authors obtain asymptotic analysis in terms of the size of the solutions to scattering problems by cracks. Such asymptotics are useful for solving inverse and imaging problems.
In the present paper, we consider the problem in Sobolev spaces firstly. The equations which consist of a Cauchy integral equation of the first kind with additional condition are derived from summing up a single-layer potential and an angular potential. We discuss the uniqueness and existence of the solution to boundary Galerkin method. The purpose of this paper is to develop an efficient solution method. Due to the properties of Chebyshev polynomials, several researchers [1, 3] use them for solving integral equations. In this paper, we approximate the unknown function by means of truncated series of Chebyshev polynomials with their weighting function. Thus, the numerical solution may have weak singularity at the tips of the arc and the singular integral can be computed directly. The convergence is proved. Some numerical examples are presented in order to test the method by comparison with explicit solutions and the numerical solutions of .
The plan of the paper is as follows: in Section 2, model problem is listed. We introduce our formulation of skew-derivative problem and proceed by establishing the existence and uniqueness of a solution to integral equations. Then in Section 3, we develop a spectral boundary element method for solving the integral equations numerically and discuss some numerical techniques. Section 4 presents several numerical experiments to illustrate the accuracy.
2. Uniqueness and Existence
In this section, we introduce the model problem firstly. Thus the problem is reduced to an integral equation with some additional conditions. Then we establish the uniqueness and existence of the solution to the integral equations in Sobolev spaces, by inversion of the integral operator.
Consider a constant magnetic field which is perpendicular to a plane semiconductor film . An electrode is placed in the unbounded film. The electrode is modeled by an open curve , . Set By we denote the two end points of . Denote the left-hand of by when increases, while the opposite side is called . The outward normal of is denoted by . The tangent direction of is directed into the direction of increasing. Obviously, , where .
The electric-field potential is the solution of the skew-derivative problem as follows: where , is the mobility of the carriers, and is the projection of the magnetic induction onto axis. Suppose is a real constant. The electric current satisfies the equations as follows: where and is a constant. It is easy to see that the direction of current density and the intensity of the electric field do not coincide if . These equations lead to the first formula of (2). The boundary condition on in (2) is deduced by
Problem (2) is considered by . The author establishes the existence of a solution by a combined single-layer potential and angular potential approach in Hölder space and proves uniqueness up to arbitrary constant.
Consider the angular potential introduced (see ): where is defined by From the definition, it is easy to see that an angular potential is a multivalued function. In order to make it single-valued, it is necessary to require the following additional condition (see ): Integrating it by parts, becomes a double-layer potential as follows: where and .
In , the solution of (2) is constructed in the following form: where is an arbitrary constant. is the single-layer potential If in (11) behaves as , where is a continuous function, the solution has singularity at the end-points of , that is, with and .
We put (11) in the boundary condition of (2) and get the following integral equation: where is the angle between the vector and the direction of the normal . If in (11) satisfies (14), it is the solution of problem (2).
First, we extend the arc to a piecewise smooth, simple connected, closed curve and define the following spaces (see ): where denote the usual Sobolev spaces. That is to say, contains functions such that their extension by zero to is in . In , the author characterizes by using the norm where . It is shown that the norms are equivalent.
Now define the dual space of by and the dual space of by . Hence we have the chain Note that also coincides with .
In order to prove the existence and uniqueness of solutions for (8) and (14), we introduce two boundary integral operators which are defined by with . It is easy to see is the limit of normal derivative of angular potential on .
Lemma 2. has a bounded inverse operator.
Proof. Let . It is easy to see and . Let . Obviously, and . There is a homeomorphism from to . Define an operator . Thus is the bounded inverse operator of .
It is known that is positive and bounded below up to a compact perturbation, that is, there exists a compact operator such that where denotes the duality pairing between and . In other words, is a Fredholm operator with zero index. It can be easily proved that the homogeneous equation (14) has only a trivial solution. As noted above, we arrive at the following assertion.
Theorem 3. Equation (22) has a unique solution for any .
3. Spectral Boundary Galerkin Method
We approximate the unknown function in (22) by truncated series of Chebyshev polynomials with weighting function . As mentioned above, the solution may have weak singularity. Let and denote the Chebyshev polynomials of first and second kinds with real values over . Then Chebyshev polynomials are orthogonal with respect to the weighting functions
Next we construct the approximation spaces: Let us show approximation property over the associated Sobolev space.
(1) The space is a closed subspace of .
(2) is dense in .
Proof. Obviously, belongs to . For , , s.t.
According to the Weierstrass approximation theorem, there is an integer such that where is the Bernstein polynomial of order . On the basis of the definition of and , we have Take the transform Obviously, . So there is a polynomial such that Thus The proof is complete.
Obviously, the next lemma follows.
(1) The space is a closed subspace of .
(2) is dense in .
The idea of constructing the finite element space is to describe through the truncated expansion:
By using of the relation (22) and (14) and the finite dimensional subspace introduced above, we can rewrite the spectral Galerkin method as to find , such that It can be shown that Rewrite (37) in the form It is convenient to evaluated integrals in (40) by using the Gauss-Chebyshev integration rule of the first kind with , , and the second kind where , .
For the first integral in (40), it is Cauchy intergal and the following formula is useful:
If , , (8) can be satisfied naturally according to the definition of . We have which is obtained by directly using of the orthogonal relation of Chebyshev polynomials .
Assume that the stiffness matrix constructed by the first term in (40) is denoted by . In the second case, is a diagonal matrix
Finally, we get a linear algebraic system of equations with respect to .
Next, we recover single-layer potential and angular potential by (41):
It is easy to see that we can get approximate electric-field potential by
4. Numerical Examples
In Section 3 we develop a method for finding the numerical solution of the integral equation (22). More precisely, a spectral Galerkin method is used. We reduce it to a linear algebraic system. In this section, we describe the results of the numerical tests mentioned above. We examine the feasibility of the numerical method for solving (22) and compare the numerical solution with these solutions of  for certain function on the right-hand side of the integral equation under the assumption that is a straight line or an arc of the unit circle.
Example 6. Let be a segment of the straight line: and the parameters , . The corresponding exact solution of integral equation (22) can be written as The solution of problem (2) can be expressed by (11). The exact analytical expressions for potentials under the assumption are where , , , .
Now, let us consider the numerical solution at this time. Obviously, The spectral Galerkin approximate solution of is equal to the exact solution.
This situation allows us to test the accuracy of the numerical method of potentials. We choose as the points where we compute the potentials. -errors are listed in Table 1, where the numerical solutions are compared with analytical solutions . Table 1 also contains the -errors of the potentials which are computed by the methods in .
It can be seen that the computation errors of the potentials is on the good control. The errors increase as decreases, because logarithmic function in (50) and in (51) have singularities when is very small.
As shown in Table 1, the numbers of single-potential are superior to those in  when , but inferior to those when . That is because (50) is not as accurate as the approximation formula in  when is very small. But it is adequate enough for our purpose and our formula is easier to implement.
According to Table 1, our results of angular potential have higher accuracy than results of . In , the author subdivides each interval of length into some subintervals uniformly in order to improve the accuracy. The values of on subintervals are computed by interpolation. In this paper, we need to increase so that to decrease the errors. The potential can be evaluated easily without interpolation since the numerical result of is a function. The interpolation procedure may deduced the related accuracy.
The straight-line case is too special to show the accuracy of the method for arbitrary arcs. Therefor we consider further numerical tests on a curved arc.
Example 7. Suppose is an arc of the unit circle If , then the density function can be given by If , the exact density function is The potentials under these two assumptions cannot be given by explicit expressions. The comparison between numerical solution and the analytical solution is not convenient because of the space they belong to. Let , . -errors between and are listed in Tables 2 and 4. We observe excellent agreement between them. The accuracy of increases if increases. But no significant change can be seen whatever increases or not. The numerical solution of  is compared with the analytical solution in Tables 3 and 5. Results in Tables 2 and 4 are smaller than those in Tables 3 and 5. The computational schemes in this paper are stable and efficient.
Let , be the angular potential and single-potential computed by (50) and (51). We use the exact density function to get them. Let , be the angular potential and single-potential used by numerical approximation of the density function.
We compute the potentials in a parallel surface of defined by where . Results of the tests are presented in Tables 6 and 7. Obviously, errors decrease as increases. When , it can be seen that the approximation is satisfactory even when . The simulation of is not as good as the simulation of . The errors when with are almost the same as the errors when under the condition of . But the accuracy for both cases is high, when .
Example 8. In this example, we take the arc and the parameters We compute the single-potential and angular potential on a semicircular arc: see Figures 1 and 2. We choose and to compute the electric-field potential which is shown in Figure 3.
In this paper, we have demonstrated an efficient and highly accurate boundary Galerkin method for a skew-derivative problem. The problem is considered in Sobolev spaces firstly. In our method, approximate calculation of singular integral can be avoided. The density function can be evaluated at any point without interpolation once the series coefficients have been determined. It is direct, simple, and fast.
The work of the first author is supported by the Youth Natural Science Foundation of Heilongjiang (Grant no. QC2011c103).
- S. A. Yang, “A numerical method for scattering from acoustically soft and hard thin bodies in two dimensions,” Journal of Sound and Vibration, vol. 250, no. 5, pp. 773–793, 2002.
- R. Kress and K.-M. Lee, “Integral equation methods for scattering from an impedance crack,” Journal of Computational and Applied Mathematics, vol. 161, no. 1, pp. 161–177, 2003.
- C. Jerez-Hanckes and J. C. Nedelec, “Hybrid Galerkin method for elliptic and wave propagation problems in over planar structures,” in Integral Methods in Science and Engineering, vol. 2, chapter 19, Computational Methods, 2009.
- F. Cakoni and D. Colton, “The linear sampling method for cracks,” Inverse Problems, vol. 19, no. 2, pp. 279–295, 2003.
- P. A. Krutitskii, N. C. Krutitskaya, and G. Y. Malysheva, “A problem related to the hall effect in a semiconductor with an electrode of an arbitrary shape,” Mathematical Problems in Engineering, vol. 5, no. 1, pp. 83–95, 1999.
- P. A. Krutitskiĭ, “The Dirichlet problem for the Helmholtz equation in the exterior of cuts in the plane,” Computational Mathematics and Mathematical Physics, vol. 34, no. 8-9, pp. 1237–1258, 1994.
- P. A. Krutitskiĭ and V. V. Kolybasova, “A generalization of the Neumann problem for the Helmholtz equation outside cuts on the plane,” Differential Equations, vol. 41, no. 9, pp. 1213–1224, 2005.
- P. A. Krutitskiĭ, “On the properties of solutions of the Dirichlet problem for the Helmholtz equation in a two-dimensional domain with cuts,” Differential Equations, vol. 43, no. 9, pp. 1200–1212, 2007.
- P. A. Krutitskiĭ, “A boundary value problem for the Laplace equation outside cuts on the plane with different conditions of the third kind on opposite sides of the cuts,” Differential Equations, vol. 45, no. 1, pp. 86–100, 2009.
- J. Liu, P. A. Krutitskii, and M. Sini, “Numerical solution of the scattering problem for acoustic waves by a two-sided crack in 2-dimensional space,” Journal of Computational Mathematics, vol. 29, no. 2, pp. 141–166, 2011.
- P. A. Krutitskii, D. Y. Kwak, and Y. K. Hyon, “Numerical treatment of a skew-derivative problem for the Laplace equation in the exterior of an open arc,” Journal of Engineering Mathematics, vol. 59, no. 1, pp. 25–60, 2007.
- H. Ammari, J. Garnier, H. Kang, W.-K. Park, and K. Sølna, “Imaging schemes for perfectly conducting cracks,” SIAM Journal on Applied Mathematics, vol. 71, no. 1, pp. 68–91, 2011.
- H. Ammari, H. Kang, and H. Lee, Layer Potential Techniques in Spectral Analysis, vol. 153, American Mathematical Society, Providence, RI, USA, 2009.
- H. Ammari, H. Kang, H. Lee, and W.-K. Park, “Asymptotic imaging of perfectly conducting cracks,” SIAM Journal on Scientific Computing, vol. 32, no. 2, pp. 894–922, 2010.
- W. McLean, Strongly Elliptic Systems and Boundary Integral Equations, Cambridge University Press, Cambridge, UK, 2000.
- G. C. Hsiao and W. L. Wendland, Boundary Integral Equations, vol. 164 of Applied Mathematical Sciences, Springer, Berlin, Germany, 2008.
- R. Li, The Galerkin Method of Boundary Value Problem, Shanghai Scitific and Technical Publishers Press, 1988.
Copyright © 2013 Wei Sun and Fuming Ma. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.