- Research
- Open access
- Published:

# On an effective solution of the Riemann problem for the second-order improperly elliptic equation in the rectangle

*Advances in Difference Equations*
**volume 2013**, Article number: 190 (2013)

## Abstract

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.

## 1 Introduction

Let *D* be a rectangle D=\{(x,y):a<x<b,c<y<d\} in a complex plane with boundary \mathrm{\Gamma}=\partial D. We consider in *D* the equation

where {A}_{k} are complex constants ({A}_{0}\ne 0) such that the characteristic equation

has no real roots (*i.e.*, elliptic equation). Let the roots of (2) {\lambda}_{k} with multiplicities {m}_{k} satisfy the condition \mathrm{\Im}{\lambda}_{k}>0 and the roots {\mu}_{j} with multiplicities {l}_{j} satisfy the condition \mathrm{\Im}{\mu}_{j}<0. We suppose that {\sum}_{k}{m}_{k}>{\sum}_{j}{l}_{k}, so (1) is an improperly elliptic equation. It was shown in [1] that for the equation {u}_{\overline{z}\overline{z}}=0 (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 u\in {C}^{2}(D)\cap {C}^{(1,\alpha )}(D\cup \mathrm{\Gamma}) in the class of two times continuously differentiable in *D* functions which satisfy Hölder condition in D\cup \mathrm{\Gamma} with their first degree derivatives. We suppose that the function *u* satisfies the Riemann-type boundary conditions

Here f\in {C}^{(1,\alpha )}(\mathrm{\Gamma}), g\in {C}^{(\alpha )}(\mathrm{\Gamma}) are the given functions on the boundary, \frac{\partial}{\partial \nu}-differentiation with respect to inner normal to Γ. Problem (3), (4) is well posed [2] and has a solution for arbitrary boundary functions. The corresponding homogeneous problem (when f\equiv g\equiv 0) 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, [9]). 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 ([10], p. 62). Application of this method to complex elliptic equations was considered in [11], 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 u=P+iQ (P=\overline{P}, Q=\overline{Q}), 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

The general solution of equation (3) may be represented in the form [2]:

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 \overline{u} satisfies the equalities

Hence, taking into account identity {\mathrm{\Delta}}^{2}\equiv 16\frac{{\partial}^{4}}{\partial {z}^{2}\phantom{\rule{0.2em}{0ex}}\partial {\overline{z}}^{2}}, we get that the function U\equiv \mathrm{\Re}u is a solution of the Dirichlet problem for the biharmonic equation

which is uniquely solvable [6, 7]. Solving this problem by the grid method, we find approximate values of the function *U* in the grid nodes:

Now we must find ℑ*u*. From (6) we have

So, applying the Laplace operator to both sides of (11), we get

or

The function \phi (z)\equiv \mathrm{\Re}\mathrm{\Phi}(z) 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 \omega =\mathrm{\Im}\mathrm{\Phi}, we have the similar boundary value problem

Here (12) and the Cauchy-Riemann condition {\phi}_{x}={\omega}_{y} 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 \psi =\mathrm{\Re}\mathrm{\Psi}:

Here a function {\psi}_{0} is the already known function {\psi}_{0}=U-\mathrm{\Re}(\overline{z}\mathrm{\Phi}(z)). 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 (N-1)(M-1) equidistant straight lines, parallel to coordinate axes and denote

We want to find the approximate values of unknown function {\{u({x}_{k},{y}_{j})\}}_{k,j=0}^{N,M} (*u* is a solution of problem (3), (4)) in the mesh points ({x}_{k},{y}_{j}). First, we consider problem (9) to determine the function U(x,y)=\mathrm{\Re}u(x,y). Passing to the discrete analogue of the Laplace operator

where {U}_{h}=\{{U}_{k}^{j}\} is a grid function, we replace problem (9) by grid equations

Here

and {\delta}_{h} is a standard grid analogue (forward divided difference) of the operator \frac{\partial}{\partial \nu}, {f}_{h} and {g}_{h} 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 O({h}^{2}) for a biharmonic equation and O(h) for boundary conditions (see [13]). Therefore, from the stability of problem (18), we get the convergence of the grid function to \{U({x}_{k},{y}_{m})\} ([9], p.30, Theorem 2.5). From the last two equations of (18), we get the values of the function {U}_{h} in the points ({x}_{k},{y}_{m}) for k=0,1,N-1,N; m=0,1,\dots ,M and k=0,1,\dots ,N; m=0,1,M-1,M, and we find the values {U}_{k}^{m} 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 [14].

Now, let us consider problem (13). First, replacing the Laplace operator by the grid operator (17), we find the values 0.25{\mathrm{\Delta}}_{h}{U}_{h} in the points {\mathrm{\Gamma}}_{1h}=\{({x}_{k},{y}_{j}):k=1,N-1,j=\overline{1,M-1}\text{or}k=\overline{1,N-1},j=1,M-1\}. It will be values of the grid function {\phi}_{0} 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 {L}_{0} and {L}_{1}, and get

then from the grid boundary conditions

we find values of the grid function {\phi}_{k}^{m} for m=1,N-1 on the sides of {\mathrm{\Gamma}}_{1h} parallel to *OX* axis. Values of {\phi}_{k}^{m} inside {\mathrm{\Gamma}}_{1h} and on the sides {\mathrm{\Gamma}}_{1h} 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

where

To this matrix, the maximum principle may be applied [12]; 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 {L}_{2}. After solution of this problem, we get the function Φ in the form

in the grid points, here {L}_{0}, {L}_{1}, {L}_{2} 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 {L}_{3}.

Summing up, we can say that the previous problem may be reduced to boundary value problems for properly elliptic equations.

## References

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

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors prepared all parts of the paper together. Both authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Babayan, A.O., Raeisian, S.M. On an effective solution of the Riemann problem for the second-order improperly elliptic equation in the rectangle.
*Adv Differ Equ* **2013**, 190 (2013). https://doi.org/10.1186/1687-1847-2013-190

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2013-190