- Open Access
On an effective solution of the Riemann problem for the second-order improperly elliptic equation in the rectangle
Advances in Difference Equationsvolume 2013, Article number: 190 (2013)
In this paper we present the numerical method for the solution of the Riemann problem for the second-order improperly elliptic equation. First, we reduce this problem to boundary value problems for properly elliptic equations, and after that we solve these problems by the grid method.
MSC:35G45, 35G15, 35J25, 35J57, 65N06, 65N20.
Let D be a rectangle in a complex plane with boundary . We consider in D the equation
where are complex constants () such that the characteristic equation
has no real roots (i.e., elliptic equation). Let the roots of (2) with multiplicities satisfy the condition and the roots with multiplicities satisfy the condition . We suppose that , so (1) is an improperly elliptic equation. It was shown in  that for the equation (now known as a Bitzadze equation) the corresponding Dirichlet problem is not correct. It was shown later ([2–4]) that for arbitrary improperly elliptic equation (1) all of the classical boundary value problems are not correct (we say that the problem is correct if the corresponding homogeneous problem has a finite number of linearly independent solutions and the inhomogeneous problem is solvable if and only if the finite number of linearly independent conditions for the boundary functions are satisfied). Therefore another kind of boundary conditions must be introduced. In the works [5–8], different types of boundary conditions, whose number depends on the number of the roots of (2) with positive and negative imaginary parts, were introduced. In this paper we consider in D the Bitzadze equation
We seek the unknown function in the class of two times continuously differentiable in D functions which satisfy Hölder condition in with their first degree derivatives. We suppose that the function u satisfies the Riemann-type boundary conditions
Here , are the given functions on the boundary, -differentiation with respect to inner normal to Γ. Problem (3), (4) is well posed  and has a solution for arbitrary boundary functions. The corresponding homogeneous problem (when ) has four linearly independent pure imaginary solutions
Therefore, the realization of the grid method for the solution of problem (3)-(4) is connected with some difficulties. The grid method (or finite-difference method) is an effective and widely applicable method for the solution of boundary value problems for elliptic equations with real coefficients (see, for example, ). But even in this case, it is necessary to do some modifications for the solution of the Neumann problem, because in this case we must get around difficulties connected with non-uniqueness of the solution (, p. 62). Application of this method to complex elliptic equations was considered in , but only for properly elliptic equations (linear and non-linear). In this paper we suggest a scheme of the realization of the grid method for the solution of problem (3)-(4). If, denoting (, ), we consider equation (3) as a system of the real partial differential equations,
then straightforward finite-difference realization of this system
reduces to ill-conditioned linear system with zeroes on the main diagonal, so we introduce another variant of the solution.
2 Description of the algorithm of solution
where Φ, Ψ are arbitrary analytic functions in D. Therefore, problem (3)-(4) reduces to determination of the analytic functions Φ, Ψ by the condition (4). For this goal, we mention that if the function u is a solution of problem (3)-(4), then the complex conjugate function satisfies the equalities
Hence, taking into account identity , we get that the function is a solution of the Dirichlet problem for the biharmonic equation
Now we must find ℑu. From (6) we have
So, applying the Laplace operator to both sides of (11), we get
The function is harmonic in D; therefore, adding equalities (12) on the boundary of D, we get the following problem with angled derivative for the Laplace equation:
Solving this problem, we get the function φ - the real part of Φ. To determine the imaginary part of Φ, the function , we have the similar boundary value problem
Here (12) and the Cauchy-Riemann condition were used. Solving the problems (13) and (14), we find the function Φ. Now, we use (11) to determine the function Ψ. This function is also analytic in D; therefore, we have the Dirichlet problem for the Laplace equation to determine the real part of this function :
Here a function is the already known function . After determining the function ψ, we get the boundary value problem, analogous to (13), to determine the imaginary part of the function Ψ.
Thus, the main idea of this algorithm is to reduce the previous problem for an improperly elliptic equation to the boundary value problems for properly elliptic equations (in our case, to boundary value problems for biharmonic and Laplace equations). In the next section we describe the realization of this algorithm by the grid method.
3 Solution of problem (3), (4) by the grid method
Without loss of generality, we may suppose that a, b, c, d are rational numbers. In this case we can divide the rectangle D by equidistant straight lines, parallel to coordinate axes and denote
We want to find the approximate values of unknown function (u is a solution of problem (3), (4)) in the mesh points . First, we consider problem (9) to determine the function . Passing to the discrete analogue of the Laplace operator
where is a grid function, we replace problem (9) by grid equations
and is a standard grid analogue (forward divided difference) of the operator , and are values of the functions f and g in boundary points of the grid. This problem approximates problem (9), and the rate of approximation is for a biharmonic equation and for boundary conditions (see ). Therefore, from the stability of problem (18), we get the convergence of the grid function to (, p.30, Theorem 2.5). From the last two equations of (18), we get the values of the function in the points for ; and ; , and we find the values in interior nodes from the linear system with a symmetric pentadiagonal matrix. Hence, we get the stability of (18) from the positive definiteness of the main matrix of this system, and an algorithm for the solution of this system may be found in .
Now, let us consider problem (13). First, replacing the Laplace operator by the grid operator (17), we find the values in the points . It will be values of the grid function in the boundary condition (13). Problem (13) is always solvable and the corresponding homogeneous problem has two linearly independent solutions. Therefore, if we get two arbitrary constants and , and get
then from the grid boundary conditions
we find values of the grid function for on the sides of parallel to OX axis. Values of inside and on the sides parallel to OY axis will be found from the system of linear equations. The main matrix of this system may be reduced to the block tridiagonal form
To this matrix, the maximum principle may be applied ; therefore this system is uniquely solvable. Then we must solve problem (14). We get the problem analogous to (13), and here we must get one more real constant . After solution of this problem, we get the function Φ in the form
in the grid points, here , , are the real constants. And at the final step, we must find the function Ψ. First, we solve the Dirichlet problem for the Laplace equation to determine the real part of Ψ, and then we determine the imaginary part of Ψ solving the problem analogous to (13). Here we get the last arbitrary constant .
Summing up, we can say that the previous problem may be reduced to boundary value problems for properly elliptic equations.
Bitzadze AV: On a uniqueness of the Dirichlet problem for elliptic partial differential equations. Usp. Mat. Nauk 1948, 3(6(28)):211-212. (in Russian)
Bitzadze AV: Boundary Value Problems for Elliptic Equations of Second Order. Nauka, Moscow; 1966. (in Russian), Engl. Transl. North-Holland, Amsterdam (1968)
Tovmasyan NE: Non-Regular Differential Equations and Calculations of Electromagnetic Fields. World Scientific, Singapore; 1998.
Wendland WL: Elliptic Systems in the Plane. Pitman, London; 1979.
Bikchantaev JA: The boundary value problem for the homogeneous elliptic equation with constant coefficients. Izv. Vysš. Učebn. Zaved., Mat. 1975, 6(157):56-61. (in Russian)
Begehr H: Boundary value problems in complex analysis. I. Bol. Asoc. Mat. Venez. 2005, 12(1):65-85.
Begehr H: Boundary value problems in complex analysis. II. Bol. Asoc. Mat. Venez. 2005, 12(2):217-250.
Soldatov AP: The method of theory of functions for the boundary value problems on the plane 1. Smooth case. Izv. Akad. Nauk SSSR, Ser. Mat. 1991, 55(5):1070-1100. (in Russian)
Grossmann C, Roos H-G, Stynes M: Numerical Treatment of Partial Differential Equations. Springer, Berlin; 2007.
Marchuk GI: Methods of Computational Mathematics. Nauka, Moscow; 1989. (in Russian)
Wen GC: Approximate Methods and Numerical Analysis for Elliptic Complex Equations. Gordon and Breach, Amsterdam; 1999.
Samarskij AA: Theory of Difference Schemes. Dekker, New York; 2001.
Collatz L: The Numerical Treatment of Differential Equations. Springer, Berlin; 1966.
Koulaei MH, Toutounian F: Factored sparse approximate inverse of block tridiagonal and block pentadiagonal matrices. Appl. Math. Comput. 2007, 184: 223-234. 10.1016/j.amc.2006.05.204
The authors declare that they have no competing interests.
Both authors prepared all parts of the paper together. Both authors read and approved the final manuscript.