Explicit estimates for solutions of mixed elliptic problems
We deal with the existence of quantitative estimates for solutions of mixed problems to an elliptic second order equation in divergence form with discontinuous coefficient. Our concern is to estimate the solutions with explicit constants, for domains in () of class . The existence of and -estimates is assured for and any (depending on the data), whenever the coefficient is only measurable and bounded. The proof method of the quantitative -estimates is based on the DeGiorgi technique developed by Stampacchia. By using the potential theory, we derive -estimates for different ranges of the exponent depending on that the coefficient is either Dini-continuous or only measurable and bounded. In this process, we establish new existences of Green functions on such domains. The last but not least concern is to unify (whenever possible) the proofs of the estimates to the extreme Dirichlet and Neumann cases of the mixed problem.
Key words and phrases:elliptic equation; -theory; potential theory; regularity
2010 Mathematics Subject Classification:35J25, 35D30, 35B50, 35C15, 35J08, 35B65
The knowledge of the data makes all the difference on the real world applications of boundary value problems. Quantitative estimates are of extremely importance in any other area of science such as engineering, biology, geology, even physics, to mention a few. In the existence theory to the nonlinear elliptic equations, fixed point arguments play a crucial role. The solution may exist such that belongs to a bounded set of a functional space, where the boundedness constant is frequently given in an abstract way. Their derivation is so complicated that it is difficult to express them, or they include unknown ones that are achieved by a contradiction proof, as for instance the Poincaré constant for nonconvex domains. The majority of works consider the same symbol for any constant that varies from line to line along the whole paper (also known as universal constant). In conclusion, the final constant of the boundedness appears completely unknown from the physical point of view. In presence of this, our first concern is to explicit the dependence on the data of the boundedness constant. To this end, first (Section 3.1) we solve in the Dirichlet, mixed and Neumann problems to an elliptic second order equation in divergence form with discontinuous coefficient, and simultaneously we establish the quantitative estimates with explicit constants. Besides in Section 3.2 we derive () estimative constants involving and measure data, via the technique of solutions obtained by limit approximation (SOLA) (cf. [4, 13, 10, 35]).
Dirichlet, Neumann, and mixed problems with respect to uniformly elliptic equation in divergence form is widely investigated in the literature (see [1, 3, 14, 20, 21, 22, 28, 33, 38] and the references therein) when the leading coefficient is a function on the spatial variable, and the boundary values are given by assigned Lebesgue functions. Meanwhile, many results on the regularity for elliptic PDE are appearing [2, 6, 7, 15, 16, 17, 19, 23, 24, 26, 29, 32, 34, 36, 39] (see Section 6 for details). Notwithstanding their estimates seem to be inadequate for physical and technological applications. For this reason, the explicit description of the estimative constants needs to carry out. Since the smoothness of the solution is invalidated by the nonsmoothness of the coefficient and the domain, Section 4 is devoted to the direct derivation of global and local -estimates.
It is known that the information ’The gradient of a quantity belongs to a space with larger than the space dimension’ is extremely useful for the analysis of boundary value problems to nonlinear elliptic equations in divergence form with leading coefficient , where is a known function, usually the temperature function, such as the electrical conductivity in the thermoelectric [9, 8] and thermoelectrochemical  problems. It is also known that one cannot expect in general that the integrability exponent for the gradient of the solution of an elliptic equation exceeds a prescribed number , as long as arbitrary elliptic -coefficients are admissable . Having this in mind, in Section 6 we derive -estimates of weak solutions, which verify the representation formula, of the Dirichlet, Neumann, and mixed problems to an elliptic second order equation in divergence form. The proof is based on the existence of Green kernels, which are described in Section 5, whenever the coefficients are whether continuous or only measurable and bounded (inspired in some techniques from [25, 31, 27]).
2. Statement of the problem
Let be a domain (that is, connected open set) in () of class , and bounded. Its boundary is constituted by two disjoint open -dimensional sets, and , such that . The Dirichlet situation (or equivalently ), and the Neumann situation (or equivalently ) are available.
Let us consider the following boundary value problem, in the sense of distributions,
where is the unit outward normal to the boundary .
Set for any
the Banach space endowed with the seminorm of , taking the Poincaré inequalities (4)-(5) into account, since any bounded Lipschitz domain has the cone property. Here stands for the -Lebesgue measure. Also stands for the Lebesgue measure of a set of . The significance of depends on the kind of the set.
Defining the -norm by
with being anyone of the Poincaré constants
where , and means the integral average over the set of positive measure, the Sobolev and trace inequalities read
Hence further we call (6) the Sobolev inequality, and for the general situation the -Sobolev inequality. Analogously, the trace inequality may be stated. For , and are the critical Sobolev and trace exponents such that correspond, respectively, to and . For , the best constants of the Sobolev and trace inequalities are, respectively, (for smooth functions that decay at infinity, see  and )
We observe that is arbitrary if . Here stands for the gamma function. Set by the volume of the unit ball of , that is, and if is even, and if is odd. Moreover, the relationship holds true, where denotes the area of the unit sphere .
For , from the fundamental theorem of calculus applied to each of the variables separately, it follows that
We emphasize that the above explicit constant is not sharp, since there exists the limit constant .
3. Some -constants ()
The presented results in this Section are valid whether is a matrix or a function such that obeys the measurable and boundedness properties. We emphasize that in the matrix situation , under the Einstein summation convention. Here we restrict to the function situation for the sake of simplicity.
We recall the existence result in the Hilbert space in order to express its explicit constants in the following propositions, namely Propositions 3.1 and 3.2 corresponding to the mixed and the Neumann problems, respectively.
For there exists an extension such that a.e. on . The existence and uniqueness of a weak solution is well-known via the Lax-Milgram Lemma, to the variational problem
for all . Therefore, the required solution is given by .
If , and then .
Taking as a test function in (11), applying the Hölder inequality, and using the lower and upper bounds of , we obtain
For , this inequality reads
Proposition 3.2 (Neumann).
3.2. -solvability ()
The existence of a solution is recalled in the following proposition in accordance to -theory, that is via solutions obtained by limit approximation (SOLA) (cf. [4, 13, 10, 35]), in order to determine the explicit constants.
For each , take
In particular, (14) holds for all ().
Case . From -data theory (see, for instance, ), let us choose
as a test function in (14). Hence it follows that
By the Hölder inequality with exponents and , we have
Let us choose such that which is possible since , that is . Then, gathering the above two inequalities, and inserting (6) for with , we deduce
using the Young inequality , for , , and such that , with , and if .
For , is chosen such that which is possible since , that is . Using the above Young inequality with , we find
Let us choose, for instance, , and . Then, we obtain
where is given by
as . Hence, we find (13) with .
Case . We choose, for ,
as a test function in (14). Since a.e. in , it follows that
Then, we argue as in the above case, concluding (13) with .
For both cases, we can extract a subsequence of still denoted by such that it weakly converges to in , where solves the limit problem (9) for all . ∎
Let on (possibly empty), satisfy a.e. in , and for each , be the Dirac delta function. For any there exists solving
for every . Moreover, we have the following estimate
where the constants , , and are determined in Proposition 3.3.
In this Section, we establish some maximum principles, by recourse to the De Giorgi technique , via the analysis of the decay of the level sets of the solution. We begin by deriving the explicit estimates in the mixed case .
Let . Choosing as a test function in (9), then , and we deduce
where . Using the Hölder inequality, it follows that