- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Journal of Complex Analysis

Volume 2013 (2013), Article ID 486934, 11 pages

http://dx.doi.org/10.1155/2013/486934

## The Method of Fischer-Riesz Equations for Elliptic Boundary Value Problems

Institut für Mathematik, Universität Potsdam, Am Neuen Palais 10, 14469 Potsdam, Germany

Received 22 October 2012; Accepted 30 December 2012

Academic Editor: Vladislav Kravchenko

Copyright © 2013 A. Alsaedy and N. Tarkhanov. 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.

#### Abstract

We develop the method of Fischer-Riesz equations for general boundary value problems elliptic in the sense of Douglis-Nirenberg. To this end we reduce them to a boundary problem for a (possibly overdetermined) first-order system whose classical symbol has a left inverse. For such a problem there is a uniquely determined boundary value problem which is adjoint to the given one with respect to the Green formula. On using a well-elaborated theory of approximation by solutions of the adjoint problem, we find the Cauchy data of solutions of our problem.

#### 1. Introduction

The aim of this paper is to bring together two areas in which integral formulas like Green’s formula for harmonic functions are of great importance. The first area is complex analysis where the method of integral representations was a central tool over the second half of the 20th century, see [1]. And the second area is the theory of elliptic boundary problems where the parametrix method led to the most refined results, such as local principle, -algebras of pseudodifferential boundary value problems [2], and so forth.

The method of Fischer-Riesz equations can be specified within a larger approach which is usually referred to as the boundary element method. By this latter is meant a numerical method of solving boundary value problems which have been formulated as boundary integral equations. It can be applied in many areas of engineering and science including fluid mechanics, acoustics, electromagnetics, and fracture mechanics, see [3–6].

The boundary elements method attempts to use the given boundary conditions and other data of the problem to fit boundary values into the integral equation, rather than values throughout the space defined by a system of partial differential equations. Once this is done, the boundary integral equation can be used again to calculate numerically the solution directly at any desired point in the solution domain. More precisely, from the Cauchy data of the solution on the whole boundary one calculates readily the solution in the domain provided a left fundamental solution of the system is available in an explicit form, see for instance Lemma 10.2.3 in [7].

The idea of the method of Fischer-Riesz equations goes back at least as far as [8]. The paper [9] was given by Picone as an invited address before the Second Austrian Mathematical Congress in Insbruck in 1949. He states in the introduction that he asked Fichera to write a certain part of the report. It is a crystallisation in the form of an abstract theory of some of the methods used by the authors and their associates at the National Institute for Applied Mathematics in Rome in the solution of problems involving differential and integro-differential equations. The method is based on some functional interpretation of the relations of mathematical physics analogous to Green’s formula. The central point of the method is a construction of a suitable sequence of functions which are complete in a Lebesgue space on the boundary and satisfy the formal adjoint system in a neighbourhood of the closure of the domain. In [9] there were no indication to any solution of this problem. In [10] a general process of constructing a necessary complete sequence of functions was elaborated assuming an explicit fundamental solution of the system. However, this paper fell short of providing a function-theoretic description of the method. In [11] the second author published a proof of a theorem of functional analysis that had already been obtained at the end of the 1980s. As it became clear later, this theorem was just an abstract exposition of the Fischer-Riesz equations method mentioned in [10]. In [11] this method was developed for studying the ill-posed Cauchy problem with data on a piece of the boundary for solutions of overdetermined elliptic systems, see also Chapter 11 in [7].

The purpose of the present paper is to develop the method of Fischer-Riesz equations for general boundary value problems for systems of partial differential equations elliptic in the sense of Douglis-Nirenberg [12]. To escape technicalities related to assigning weights we exploit the result of [13] and reduce the system to a (possibly overdetermined) first-order system whose classical symbol has a left inverse away from the zero section of the cotangent bundle. In this way we obtain what is often referred to as the first order system with injective symbol. The advantage of such systems lies in the fact that the Cauchy data of a solution just amount to the restriction of the solution to the boundary of the domain. Moreover, to any first order system there corresponds a unique Green operator which leads to a canonical Green formula for solutions. Any normal boundary conditions for solutions of the source system then reduce to an inhomogeneous linear system in the space of Cauchy data.

In contrast to [11] we elaborate the method of Fischer-Riesz equations for elliptic boundary value problems in Sobolev spaces, for these latter fit well the Fredholm property. If the boundary value problem is Fredholm, then the conditions of solvability obtained by the Fischer-Riesz equations method come to those obtained from the Fredholm theory, that is, the orthogonality to solutions of the homogeneous boundary value problem adjoint relative to the Green formula. The method of Fischer-Riesz equations may then be developed as a tool to get effective approximate solutions, cf. [10].

#### 2. Reduction to a First-Order System

One of the fundamental problems in the theory of partial differential equations is the problem of classifying equations and systems by type. A specific problem associated with the definition of ellipticity is that when a higher-order equation or system is reduced to a first order system, ellipticity may be destroyed. (We manipulate the concept “elliptic” freely. This concept can be given a strong sense only in an operator algebra with symbol map, where by the ellipticity of an operator is meant the invertibility of its symbol.) One approach to this problem was introduced in the paper [12] which gave a definition of ellipticity for systems which involved assigning weights to each of the equations and dependent variables and then defining the principal part of the system in terms of those weights. This concept can also be interpreted in terms of generalised homogeneity based on certain group actions in the spaces of preimages and images, see equality (1.4) in [14]. The advantage of the definition of ellipticity given in [12] is that ellipticity can be preserved, while a higher-order equation or system is reduced to an equivalent first order system. The disadvantage is that the definition is not invariant under nonsingular changes of variables. Therefore, the approach via weights fails to properly recognise elliptic systems. An alternative approach suggested in [13] is to reduce the original equation or system to an overdetermined first order system and then use the classical symbol, which is natural and invariant way for such systems. In [15] this result is strengthened by showing that any determined or overdetermined system with smooth coefficients and injective Douglis-Nirenberg symbol can be reduced to an overdetermined first order system with smooth coefficients and injective classical symbol. This reduction is accomplished by introducing as new dependent variables, the derivatives of some of the original variables, and adjoining equations describing the relations between the new variables and the old or among the new variables. Moreover, any overdetermined first order system with smooth coefficients and injective classical symbol can be converted to a determined second-order systems which is elliptic in the sense of Douglis-Nirenberg or under any reasonable definition of ellipticity. The conversion is accomplished by operating on the original system with an appropriately chosen first-order operator. The conversion to a second order system allows the application of the regularity results of [16]. In fact, second order systems are treated in detail in [16]. Note that the systems of partial differential equations usually still contain hidden integrability conditions. The process of their explicit construction is called completion (to involution). In [17] it is shown that the completion of any determined or overdetermined system with injective Douglis-Nirenberg symbol leads to an equivalent system whose classical symbol has a left inverse. To formulate the main result of [15] more precisely, we extend the concept of ellipticity in the sense of Douglis-Nirenberg to overdetermined systems.

The systems we consider are of the form where are scalar partial differential operators of order on an open set in and . (We will generally use the convention that our source system has dependent variables, equations, and independent variables.)

*Definition 1. * Suppose there are weights and in , such that . With this structure, the principal symbol of (1) is the matrix
for , where is the homogeneous component of degree of the full symbol of .

System (1) is said to have injective symbol in the sense of Douglis-Nirenberg at if has maximal rank (i.e., rank ) for and all .

The numbers and are determined uniquely up to an additive constant. Hence, the weights can be normalised by the condition and . Then satisfy automatically , for if , then , and so all the operators vanish identically. This amounts to saying that the th dependent variable does not enter into the system, which is impossible.

Let and be the group actions in and , respectively, given by where and . Then the principal symbol is homogeneous of degree in the sense that for all . For , one recovers the principal part of considered by I. G. Petrovskii. For and , one obtains the classical principal symbol. The so-called twisted homogeneity of type (4) is of great importance in the calculus of pseudodifferential operators with operator-valued symbols.

The following result is due to [15].

Theorem 2. *Any system (1) with coefficients of class and injective symbol in the sense of Douglis-Nirenberg in can be converted to an equivalent overdetermined first order system whose coefficients are of class , and whose classical symbol is injective. *

*Proof. *As is mentioned in [15], the reduction procedure used here is related to that attributed to Atiyah and Singer. It is probably not optimal in the sense that it may lead to a first order system which is not the smallest possible representation of the original system.

#### 3. Green Formula

From what has been proved in Section 2 it follows that there is no restriction of generality in assuming that is a (possibly overdetermined) first order partial differential operator with injective symbol on an open set . Thus, is of the form where and are -matrices of smooth functions on and with . We require to have maximal rank (i.e., rank ) for all away from the zero section of .

In order to get asymptotic results, it is necessary to put some restrictions on . Our basic assumption is that satisfies the uniqueness condition of the local Cauchy problem in (condition , cf. [7, p. 185]). That is, if is a solution of on a connected open set and vanishes on a nonempty open subset of , then in .

Lemma 3. *If satisfies the condition in , then it has a pseudodifferential left fundamental solution; that is, there is an -matrix of classical pseudodifferential operators of order on , such that on compactly supported distributions in with values in .*

*Proof (see Theorem 4.4.3 of [7]). *By the very construction, has rational symbol; that is, it satisfies the transmission condition with respect to each hypersurface in .

Let be a relatively compact domain with smooth boundary in and any -matrix of smooth functions on the boundary of , such that the rank of is equal to for all . We are interested in the boundary value problem with data on . The most conventional Hilbert space setting of this problem is , hence we choose in and look for a satisfying (7).

Lemma 4. * Let be a -matrix of smooth functions on , such that
**
for all . Then there are unique matrices and of continuous functions on with the property that
**
for all and , where is the surface measure on the boundary. *

As usual, we write for the formal adjoint of the differential operator on the open set .

*Proof. *By assumption, the -matrix
is invertible for all . Write where and are - and -matrices of smooth functions on , respectively. The equalities and amount to and
where stands for the unity -matrix.

Given any and , the Green formula of [7, Section 9.2.2] shows that
where is the principal symbol of evaluated at the point of the complexified cotangent bundle of , being the outward normal unit vector of the boundary at . Substituting into this formula yields (9) with
as desired.

From (13) it follows immediately that the rank of is equal to and the rank of is .

Elliptic boundary value problems (7) require to be even and , in which case also the problem called adjoint to (7) with respect to the Green formula is actually elliptic, cf. [18].

Given any first order partial differential operators with injective symbol on , the composition is a second order elliptic operator in the classical sense. This operator is usually referred to as the Laplacian of . An easy manipulation of Green formula (9) leads to a fairly structural Green formula for the Laplacian .

Theorem 5. *Under the above notation, any functions satisfy the integral equality
*

*Proof. *It suffices to apply (9) twice to the left-hand side of this equality. Cf. Corollary 9.2.12 of [7].

#### 4. Function Spaces

Denote by the Slobodetskii space of functions of fractional smoothness in with values in , that is, the completion of with respect to the norm Obviously, is a Hilbert space. We use the continuous embedding to specify the dual space of via the pairing in . Namely, let be the completion of with respect to the norm

Using these spaces, we are in a position to enlarge the domain of problem (7). To this end, we write for the completion of with respect to the norm

By the trace theorem, the space contains any space with . However, the norm of is not majorised by the norm of .

Suppose and is a sequence in converging to in the norm (18). Then is a Cauchy sequence in , and so it converges to an element . Moreover, the restrictions of to the boundary form a Cauchy sequence in . Hence, the sequence converges in the space to an element . It follows immediately that the closure of the mapping is an isometry of onto a subspace of the Cartesian product . For this reason, each element can be identified with its image in the Cartesian product. We call the (generalised) trace of on the boundary of in spite of the fact that the trace does not depend continuously on .

Lemma 6. *There is a constant , such that
**
for all . *

*Proof. *The proof is based on manipulations of Green formula (9). See Lemma 2.3.1 in [19].

It follows from Lemma 6 that the closure of the mapping for acts continuously from into . Indeed, if and is a sequence in converging to in , then is, by Lemma 6, a Cauchy sequence in . Let be the limit of in . It is immaterial which sequence we choose to define , and so we may set . Substituting into the estimate of Lemma 6 and letting , we deduce that this estimate actually holds for all . Thus, for each in , the element is defined in , and the mapping is continuous in the corresponding norms. A passage to the limit similar to the previous implies that holds for and if and only if the couple satisfy the equation for all . In other words, Green’s formula (9) is still valid for functions .

If then , and so can be approximated by functions of in the -norm. On multiplying by the characteristic function of we get an element of with support in . It follows that is well defined and belongs to the local space . We now show that any can be restored through the data and .

To shorten notation we use the same letter for the Schwartz kernel of the pseudodifferential operator . Recall that stands for a left fundamental solution of , see Lemma 3.

Lemma 7. *For each , it follows that
*

*Proof. *The proof of Lemma 4 shows that formula (21) is actually equivalent to the equality
in the sense of distributions on , where is the surface layer on . This follows in turn from the Green formula and the fact that is a left fundamental solution of in , for
as desired.

#### 5. Operator-Theoretic Foundations

The operator-theoretic foundations of the method of Fischer-Riesz equations are elaborated in [7, Section 11.1]. It goes back at least as far as [9]. In this section we adapt this method for study of boundary value problem (7) in the Hilbert space .

Set where .

Consider the mapping given by , which corresponds to the Cauchy problem for solutions of in with Cauchy data and on . By what mentioned previously, is continuous. In Section 6 we will prove that has closed range.

Denote by the operator that is adjoint to in the sense of Hilbert spaces.

Lemma 8. *The null-space of the operator is separable in the topology induced from . *

*Proof. *This is true by the school fact that any subspace of a separable metric space is separable.

By we denote the space of all infinitely differentiable solutions of the formal adjoint system in a neighbourhood of the closure of .

Lemma 9. *Assume that . Then the couple belongs to . *

*Proof. *One has to show that for all . By the Green formula, we get
as desired.

The subspace of consisting of all elements of the form , where , is separable. Hence, there are many ways to choose a sequence in , such that the system is complete in this subspace.

In Example 12 we will show some explicit sequences with this property. For the moment we fix one of such sequences.

Lemma 10. *As defined above, the system is complete in . *

*Proof. *Let be a continuous linear functional on vanishing on each element of the system . Since is a closed subspace of , the Riesz representation theorem implies the existence of an element , such that the action of on consists in scalar multiplication with the element . In particular,
for all . Since the system is dense in the subspace of consisting of all elements of the form , where , we get
for all . We now use Theorem 13 which says that there exists a function , such that in and , at the boundary of . In other words, . Hence it follows that for all . Thus, , and the standard application of the Hahn-Banach theorem completes the proof.

Write for the orthogonal projection of onto its direct summand . The composition acting from to just amounts to the operator of boundary value problem (7) in the updated setting. More precisely, given any and , find satisfying in and at . The following lemma expresses the most important property of system .

Lemma 11. *The system is complete in if and only if is injective. *

*Proof. *By the Hahn-Banach theorem, is complete in if and only if any continuous linear functional on vanishing on each element of the system is zero. Pick such a functional . By the Riesz representation theorem there is a function , such that for all . So we get
for all . Applying Lemma 10 we deduce that the element belongs to the orthogonal complement of the subspace in . Since the operator has closed range, the orthogonal complement of coincides with the range of . Hence, there is a function satisfying in and , at . If the operator is injective, then whence , and . Conversely, if the functional is different from zero, then is not zero and so fails to be injective, which is precisely the desired conclusion.

After removing the elements which are linear combinations of the previous ones from the system , we get a sequence in , such that the system is linearly independent. Applying then the Gram-Schmidt orthogonalisation to the system in , we obtain a new system in , such that is an orthonormal system in the space . Moreover, is an orthonormal basis in , provided that is injective. Note that the elements of the new system have explicit expressions through the elements of the old system in the form of Gram’s determinants.

*Example 12. *Assume that has real analytic coefficients outside the closure of in . Then a familiar trick with the Laplacian shows that has a left fundamental solution whose Schwartz kernel is real analytic away from the diagonal of . Let be a finite or countable set of points in , such that each connected component of contains at least one point . Then the columns of belong to , and the system is complete in the subspace of formed by elements of the type with .

The proof of this fact actually repeats the reasoning of Example 11.4.14 in [7]. Apparently the system of Example 12 is most convenient for numerical simulations.

#### 6. The Cauchy Problem

The Green formula (9) displays the Cauchy data of at the boundary of with respect to the operator . These are and at . Hence we formulate the Cauchy problem as follows: given any , and , find a function , satisfying in and at .

The Cauchy problem for solutions of systems with injective symbol and data on the whole boundary was intensively studied in the 1960s. This study was motivated to a certain extent by [20]. For a recent account of the theory we refer to [21, 22].

Theorem 13. * Let ,, and be given functions. In order that there might exist a solution to the system in that is subject to boundary conditions (29), it is necessary and sufficient that
**
for all . *

*Proof. Necessity. *If is a solution of the Cauchy problem with data , and , then by the Green formula
for all , as required.* Sufficiency. * We introduce a function in with values in by the Green-type integral as follows:
where . An easy calculation using (13) shows that
on , where
It is clear that is of class if and only if and . Thus, formula (32) reduces to
in .

For each fixed , the columns of the matrix belong to . Hence, (30) implies that vanishes in the complement of .

Set . We next prove that is the desired solution of the Cauchy problem. This is equivalent to saying that , in , and at .

By Lemma 3.2 of [22], the double layer potential in belongs to . Moreover, the volume potential in is of class , which is due to Lemma 6* ibid*. Hence it follows that . Be the function zero, we would be able to deduce the rest of the proof from Theorem 10.3.4 of [7].

In the general case we complete to a fundamental solution at step 0 of a compatibility complex of , cf. Theorem 4.4.3 of [23]. An easy computation using solvability condition (30) yields
in the sense of distributions in . In particular, in .

Since , the jump of the double layer potential under crossing the surface from to just amounts to . This is true even for all distributions on taking their values in , see Theorem 10.1.5 in [7]. For the square integrable densities the jump is understood in an appropriate sense including the -norm.

On the other hand, the volume potential has no jump at the boundary of , for . Summarising, we conclude that , for vanishes in . For a thorough treatment of this equality we refer the reader to Theorem 4.3 of [22].

#### 7. The Fischer-Riesz Equations

Let be an arbitrary sequence in with the property that the system is complete in . Applying the Gram-Schmidt orthogonalisation to the system in , we obtain a new system in , such that the system is orthonormal in the space .

Given any , we denote by the Fourier coefficients of with respect to the system ; that is, for .

Lemma 14. *If , then
**
where . *

*Proof. * Using Lemma 9, we obtain
as desired.

Thus, in order to find the Fourier coefficients of the data on the boundary with respect to the system in , it suffices to know only the data and of problem (7).

Theorem 15. *Let and . In order that there is a , such that in and at , and it is necessary and sufficient that*(1)*, where ,*(2)* for all satisfying at the boundary. *

*Proof. Necessity. * Suppose there is a function satisfying in and at . Then for all , which is due to Lemma 14. Applying the Bessel inequality yields
and (1) is proved. On the other hand, (2) follows immediately from the Green formula, as desired.* Sufficiency. * We now assume that (1) and (2) are satisfied. Condition (1) implies, by the Fischer-Riesz theorem, that there exists a function , such that are the Fourier coefficients of with respect to the orthonormal system in . In other words, we get for all . On substituting formulas for from (1) to these equalities we arrive at the orthogonality relations
for , cf. (30).

Our next goal is to prove that the element is actually orthogonal to all elements of the system in , this latter being complete in . To do this, let us recall how the system has been obtained from the system .

Even if the system is linearly independent in , the system may have elements which are linear combinations of the previous ones in the space . Such elements should be eliminated from the system before applying the Gram-Schmidt orthogonalisation.

For example, suppose that, for some , the equality
is fulfilled with suitable complex numbers . Consider the function
which belongs to . Obviously, lies in and satisfies . It follows that
All the other elements , except for the eliminated ones, are expressed, by the contents of Gram-Schmidt orthogonalisation, as linear combinations of the elements . Thus, any element of the system has a unique expression through the elements of the system in the form
where satisfies at the boundary .

From equalities (41) and (45) and condition (2) of the theorem it follows immediately that
for all . Since the system is complete in , the element belongs to the orthogonal complement of this subspace in . Using the lemma of operator kernel annihilator, we deduce that there exists a function satisfying . In particular, in and at ; that is, is the desired solution of boundary value problem (7).

The convergence of the series in (1) guarantees the stability of boundary value problem (7). Under this condition, the range of the mapping is described in terms of continuous linear functionals on the space , cf. (2), which is impossible in the general case.

Corollary 16. * Under the hypotheses of Theorem 15, if moreover the homogeneous adjoint boundary value problem (14) has no smooth solutions in different from zero, then for problem (7) to have a solution it is necessary and sufficient that
*

*Proof. *This follows immediately from Theorem 15 since condition (2) is automatically fulfilled.

#### 8. Regularisation of Solutions

Note that the proof of Theorem 15 works without the assumption that the operator in is injective. Our next objective will be to construct an approximate solution to boundary value problem (7). To this end it is natural to assume that the homogeneous boundary value problem corresponding to (7) has only zero solution in the space ; that is, the mapping is injective. In this case the orthonormal system is actually complete in the space . The orthonormal bases in of this form are said to be special, cf. [11], [7, Section 11.3].

For , we denote by the -row whose entries are the Fourier coefficients of the columns of the -matrix with respect to the orthonormal basis in . More precisely, we set for .

Lemma 17. * For , the coefficients are infinitely differentiable functions in with values in . *

*Proof. *The assertion is obvious, for the fundamental solution is away from the diagonal of .

Consider the following (Schwartz) kernels defined for and in a neighbourhood of : where .

Lemma 18. * As defined above, the kernels are in and in a neighbourhood of except for the diagonal , and on this set. *

*Proof. *This follows immediately from Lemma 17 and the fact that , as desired.

The sequence provides a very special approximation of the fundamental solution .

Lemma 19. *The sequence converges to zero in the norm of uniformly in on compact subsets of .*

*Proof. * In fact, we get
for each fixed . The right-hand side of this equality is a remainder of the Fourier series of the element with respect to the orthonormal basis in . Hence, it tends to zero in the -norm, as . This proves the first part of the lemma. The second part follows from a general remark on Fourier series, that the mapping of to given by is continuous.

The convergence of the approximations allows one to reconstruct solutions of the class through their data and .

Theorem 20. *Every function can be represented by the integral formula
**
for all . *

*Proof. * Fix a point . Since and differ by a -row of smooth solutions of the system in a neighbourhood of , one can write by the Green formula
for any . From we deduce that . Hence it follows by Lemma 19 that
Thus, letting in (52) establishes the formula.

As mentioned, several problems of mathematical physics formulas for approximate solution like that of Theorem 20 were earlier obtained by Kupradze, see [10]. In the Cauchy problem for solutions of overdetermined elliptic systems with data on an open part of the boundary an analogous formula was derived in [11]. Chapter 11 in [7] contains many explicit applications of the formula of [11]. To the best of our knowledge, Theorem 20 is new for general boundary value problems (7).

#### 9. Solvability of Elliptic Boundary Value Problems

We can now return to the classical setting of boundary value problem (7) which is . Given any , both and are well defined in and , respectively. Hence, the analysis does not require any function spaces of negative smoothness but distributions. More generally, let be a natural number. Given any and in , we look for a satisfying (7). Theorem 15 still applies to establish the existence of a weak solution , if the conditions (1) and (2) are fulfilled. To infer the existence of a classical solution, one needs a regularity theorem for weak solutions in saying that any weak solution is actually a classical one; that is, provided and . This is the case if (7) is an elliptic boundary value problem; that is, is elliptic (), and the pair satisfies the Shapiro-Lopatinskii condition at the boundary of , see Section 10.5 in [19]. For general operators with injective symbol the regularity problem may be reduced to a regularity theorem for weak solutions of in with boundary data and at , see Lemma 4.

Corollary 21. * Suppose a regularity theorem holds for (7). Let and , where . Then, in order that there is a , such that in and at , and it is necessary and sufficient that*(1)*, where ,*(2)* for all satisfying at the boundary. *

*Proof. *It is sufficient to prove the sufficiency of conditions (1) and (2). If the conditions (1) and (2) are satisfied, then there exists a function , such that in and at . Since and , the regularity theorem implies that , as desired.

If (7) is elliptic, then the problem is adjoint to (7) with respect to the Green formula. By the Fredholm property, the space of all satisfying at is finite dimensional. Moreover, the condition (2) alone is sufficient for the existence of a solution to problem (7). Hence it follows that for elliptic boundary value problems the condition (1) is automatically fulfilled. In other words, if boundary value problem (7) is elliptic, then condition (2) is necessary and sufficient for a solution to exist. If moreover each satisfying at the boundary vanishes, then problem (7) is solvable for all data and . Condition (1) is of purely theoretical interest, for there is no efficient way to verify it.

Thus, the regularity problem for weak solutions of (7) is still of primary character in the study of boundary value problems. On the other hand, our approach demonstrates rather strikingly that Theorem 20 is of great importance for numerical simulation.

Corollary 21 applies in particular to boundary value problems for generalised Cauchy-Riemann systems in the space [23–25], see also [18, 26].

#### Acknowledgment

The research of the first author was supported by the German Academic Exchange Service (DAAD).

#### References

- L. A. Aizenberg and A. P. Yuzhakov,
*Integral Representations and Residues in Many-Dimensional Complex Analysis*, Nauka, Novosibirsk, Russia, 1979. - L. Boutet de Monvel, “Boundary problems for pseudo-differential operators,”
*Acta Mathematica*, vol. 126, no. 1-2, pp. 11–51, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. S. Wrobel and M. H. Aliabadi,
*The Boundary Element Method*, John Wiley & Sons, New York, NY, USA, 2002. - J. T. Katsikadelis,
*Boundary Elements Theory and Applications*, Elsevier, Oxford, UK, 2002. - W. C. Gibson,
*The Method of Moments in Electromagnetics*, Chapman & Hall/CRC, London, UK, 2008. View at MathSciNet - G. Beer, I. Smith, and C. Duenser,
*The Boundary Element Method and Programming: For Engineers and Scientists*, Springer, Berlin, Germany, 2008. - N. N. Tarkhanov,
*The Cauchy Problem for Solutions of Elliptic Equations*, vol. 7 of*Mathematical Topics*, Akademie, Berlin, Germany, 1995. View at MathSciNet - M. Picone, “Nuovi metodi per il calcolo delle soluzioni delle equazioni a derivate parziali della fisica matematica,”
*Annales Scientiques de l'Universite Jassy*, vol. 26, pp. 183–232, 1940. View at Zentralblatt MATH · View at MathSciNet - M. Picone and G. Fichera, “Neue funktional-analytische Grundlagen für die Existenzprobleme und Lösungsmethoden von Systemen linearer partieller Differentialgleichungen,”
*Monatshefte für Mathematik*, vol. 54, no. 3, pp. 188–209, 1950. View at Publisher · View at Google Scholar · View at MathSciNet - V. D. Kupradze, “Approximate solution of problems of mathematical physics,”
*Uspekhi Matematicheskikh Nauk*, vol. 22, no. 2, pp. 59–107, 1967. View at Zentralblatt MATH · View at MathSciNet - O. V. Karepov and N. N. Tarkhanov, “The Fischer-Riesz equations method in the ill-posed Cauchy problem for systems with injective symbols,”
*Journal of Inverse and Ill-Posed Problems*, vol. 1, no. 4, pp. 307–330, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Douglis and L. Nirenberg, “Interior estimates for elliptic systems of partial differential equations,”
*Communications on Pure and Applied Mathematics*, vol. 8, pp. 503–538, 1955. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. H. Protter, “Overdetermined first order elliptic systems,” in
*Maximum Principles and Eigenvalue Problems in Partial Differential Equations (Knoxville, TN, 1987)*, P. W. Schaefer, Ed., vol. 175 of*Research Notes in Mathematics*, pp. 68–81, Pitman, New York, NY, USA, 1988. View at Zentralblatt MATH · View at MathSciNet - L. R. Volevič, “Solubility of boundary value problems for general elliptic systems,”
*Matematicheskiĭ Sbornik*, vol. 68, no. 110, pp. 373–416, 1965. View at MathSciNet - C. Cosner, “On the definition of ellipticity for systems of partial differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 158, no. 1, pp. 80–93, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. B. Morrey, “Second-order elliptic systems of differential equations,” in
*Contributions to the Theory of Partial Differential Equations*, vol. 33 of*Annals of Mathematics Studies*, pp. 101–159, Princeton University Press, Princeton, NJ, USA, 1954. View at Zentralblatt MATH · View at MathSciNet - K. Krupchyk, W. M. Seiler, and J. Tuomela, “Overdetermined elliptic systems,”
*Foundations of Computational Mathematics*, vol. 6, no. 3, pp. 309–351, 2006. View at Publisher · View at Google Scholar - M. S. Agranovič, “Boundary value problems for systems of first order pseudodifferential operators,”
*Uspekhi Matematicheskikh Nauk*, vol. 24, no. 1, pp. 61–125, 1969. View at MathSciNet - Y. Roitberg,
*Elliptic Boundary Value Problems in the Spaces of Distributions*, vol. 384 of*Mathematics and Its Applications*, Kluwer Academic, Dordrecht, The Netherlands, 1996. View at MathSciNet - A. P. Calderón, “Boundary value problems for elliptic equations,” in
*Outlines Joint Sympos. Partial Differential Equations (Novosibirsk, 1963)*, pp. 303–304, Academy of Sciences of the USSR Siberian Branch, Moscow, Russia, 1963. View at MathSciNet - L. R. Volevich and A. R. Shirikyan, “Stable and unstable manifolds for nonlinear elliptic equations with a parameter,”
*Transactions of the Moscow Mathematical Society*, vol. 61, pp. 97–138, 2000. View at MathSciNet - I. V. Shestakov and A. A. Shlapunov, “On the Cauchy problem for operators with injective symbols in the spaces of distributions,”
*Journal of Inverse and Ill-Posed Problems*, vol. 19, no. 1, pp. 127–150, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - I. Stern, “Boundary value problems for generalized Cauchy-Riemann systems in the space,” in
*Boundary Value and Initial Value Problems in Complex Analysis: Studies in Complex Analysis and Its Applications to Partial Differential Equations, I (Halle, 1988)*, vol. 256 of*Pitman Research Notes in Mathematics Series*, pp. 159–183, Longman Scientific and Technical, Harlow, UK, 1991. View at Zentralblatt MATH · View at MathSciNet - I. Stern, “On the existence of Fredholm boundary value problems for generalized Cauchy-Riemann systems in the space,”
*Complex Variables: Theory and Application*, vol. 21, no. 1-2, pp. 19–38, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - I. Stern, “Direct methods for generalized Cauchy-Riemann systems in the space,”
*Complex Variables: Theory and Application*, vol. 23, no. 1-2, pp. 73–100, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. O. Friedrichs and P. D. Lax, “Boundary value problems for first order operators,”
*Communications on Pure and Applied Mathematics*, vol. 18, pp. 355–388, 1965. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet