- Research
- Open access
- Published:

# On the Wiener criterion in higher dimensions

*Boundary Value Problems*
**volume 2017**, Article number: 174 (2017)

## Abstract

The Wiener criterion is a sufficient and necessary condition for the solvability of the Dirichlet problem. However, its geometric interpretation is not clear. In the case that the domain satisfies an exterior spine condition, the requirement for the spine is clear in dimension 3. In this note, we intend to obtain the condition that the exterior spine should satisfy in higher dimensions.

## 1 Introduction

The Laplace equation arises widely in physics and engineering and is a classical prototype of partial differential equations. Consider the following Dirichlet problem for the Laplace equation:

where \(\Omega\subset R^{n}\) is a bounded domain and *g* is a continuous function on *∂*Ω.

In 1851, Riemann [1] proposed the famous Dirichlet principle, which states that there always exists a harmonic function continuous up to the boundary and coinciding with *g* on the boundary. However, Lebesgue [2] constructed a bounded domain on which the Dirichlet problem is not always solvable in 1912. By Perron’s method [3, 4], there always exists a harmonic function *u* in Ω with respect to *g*. If \(x_{0}\in\partial\Omega \) is a regular point (see [4, p.25] for the definition), then *u* is continuous up to \(x_{0}\). Hence, the solvability of (1.1) reduces to the problem whether the boundary points are regular. In 1924, Wiener [5] provided a sufficient and necessary condition for the regularity of \(x_{0}\). This is the famous Wiener criterion, which solves the Dirichlet problem completely.

However, the geometric interpretation of Wiener criterion is not clear, and it is not easy to verify whether a domain satisfies the Wiener criterion at some boundary point. One of the interesting cases is that the boundary of the domain near some boundary point is constructed by a spine. Precisely, suppose that for a proper coordinate system, \(0\in \partial\Omega\), and there exist \(0< r_{0}<1\) and a continuous nondecreasing function \(\varphi:R\rightarrow R\) with \(\varphi(0)=0\) such that

where \(B_{r}\) denotes the open ball in \(R^{n}\) with radius *r* and center 0, \(x=(x_{1},\ldots,x_{n})\in R^{n}\) and \(x'=(x_{1},\ldots,x_{n-1})\). If ‘=’ is replaced by ‘⊂’ in (1.2), we call that Ω satisfies the exterior spine condition with *φ* at 0.

It is natural to ask what condition *φ* should satisfy to guarantee that 0 is a regular point. It is well known that if \(\varphi (r)\geq Cr\) for some positive constant *C*, i.e., the domain satisfies the exterior cone condition, then 0 is a regular point (see [6] and [4, Problem 2.12]). In this note, we will consider the weaker condition and always assume that

In the dimension \(n=3\), if Ω satisfies (1.2), it is well known that 0 is a regular point if and only if *φ* satisfies (see Theorem 5.2 and the following example in [7])

What condition *φ* should satisfy in higher dimensions is not known. Besides, the following boundary regularity results are well known. Suppose that *g* is identically zero on a portion of the boundary near 0. If \(\varphi(r)\geq Cr^{1/2}\), which implies that Ω satisfies the exterior sphere condition, then the solution is Lipschitz continuous at 0. If \(\varphi(r)\geq Cr\), i.e., Ω satisfies the exterior cone condition, then the solution is Hölder continuous at 0. A natural question is whether the condition \(\varphi (r) \geq Cr^{a}\) for some constant *C* and \(a>1\) can guarantee the continuity (even Hölder continuity) of the solution at 0. The geometric meaning of this condition is that Ω satisfies the exterior Hölder spine condition. It should be pointed out that for the dimension \(n=3\), the continuity of the solution in this case is guaranteed (see (1.4)).

This note is devoted to deriving the sufficient and necessary condition for *φ* in a higher dimension and answer the above question.

First, we recall the Wiener criterion. For any bounded domain \(\Omega \subset R^{n}\), its capacity is defined by (see Section 2.9 in [4] and Section 19 of Chapter XI in [7])

where

and \(C_{0}^{1}(R^{n})\) denotes the set of functions having continuous derivatives and compact support in \(R^{n}\).

Suppose that \(0\in\partial\Omega\) and \(0<\lambda<r_{0}\) is a constant. Let

The Wiener criterion states that 0 is a regular point if and only if the series

diverges (see Section 2.9 in [4], Section 19 of Chapter XI in [7] and Theorem 5.2 in [7]).

Our main result is the following theorem.

### Theorem 1.1

*Suppose that*
\(n\geq4\), \(0\in\partial\Omega\)
*and* (1.2) *is satisfied*. *Then* 0 *is a regular point with respect to* (1.1) *if and only if*
*φ*
*satisfies*

An immediate consequence is the following.

### Corollary 1.2

*Let*
\(n\geq4\)
*and*
\(0\in\partial\Omega\). *Suppose that* Ω *satisfies the exterior spine condition with*
*φ*
*at* 0 *and* (1.6) *holds*.

*Then* 0 *is a regular point with respect to* (1.1).

### Remark 1.3

*From* (1.6), *the special dimensions*
\(n=2,3\)
*should be noted*. *In addition*, *for*
\(n\geq4\)
*and*
\(a>1\), \(\varphi(r) \geq Cr^{a}\)
*is not enough to guarantee that* 0 *is a regular point*, *which is an essential difference to dimensions* 2 *and* 3.

## 2 Proof of Theorem 1.1

Now, we give the proof of Theorem 1.1.

### Proof

We use ellipsoids to approximate \(\Omega_{j}\) and hence to estimate \(C_{j}\). Clearly, \(\Omega_{j}\) is contained in an ellipsoid \(E_{j}\) with semi-axes \(2\lambda^{j}\) and \(2\varphi(\lambda^{j})\) (\(n-1\) repeats), and \(\Omega_{j}\) contains an ellipsoid \(\tilde{E}_{j}\) with semi-axes \(\lambda^{j+1}\) and \(\varphi(\lambda^{j+1})/2\) (\(n-1\) repeats). The capacity for this kind ellipsoid *E* is (see (125) in [8])

where *β* and *γ* are semi-axes of *E* with \(\beta>\gamma\) and \(\mu=1-\gamma^{2}/\beta^{2}\). Next, let

Then \(I_{m,k}\) has the following reduction formula for \(k\neq1\) (see (155) in [8]):

We say that \(A\simeq B\) if \(A_{1}A\leq B \leq A_{2} A\), where \(A_{1}\) and \(A_{2}\) are constants depending only on the dimension *n*. If \(1-\mu\ll 1\), then

Substitute \(m=n-3\) and \(k=n-2\) and, by noting for \(k=1\) (see [9, Section 442.10])

we have

Therefore, substituting into (2.1) leads to

Let \(E=E_{j}\) with \(\beta=2\lambda^{j}\) and \(\gamma=2\varphi(\lambda^{j})\), then \(1-\mu\ll1\) for sufficient large *j* (recall (1.3)) and hence

Similarly, let \(E=\tilde{E}_{j}\) with \(\beta=\lambda^{j+1}\) and \(\gamma =\varphi(\lambda^{j+1})/2\), then

Note that

is equivalent to

Hence, (1.5) holds if and only if

whose integral representation is exactly (1.6). Therefore, 0 is a regular point if and only if (1.6) holds and hence Theorem 1.1 is completed. □

## 3 Conclusion

Let Ω be a bounded domain in \(R^{n}\) and \(x_{0}\in\partial\Omega \). The Wiener criterion provides a necessary and sufficient condition on Ω to solve the Dirichlet problem of the Laplace equation (i.e., (1.1)). However, its geometric meaning is not clear and it is not easy to verify whether a domain satisfies the Wiener criterion at some boundary point. One interesting case is that Ω is constructed by a spine near \(x_{0}\) (see (1.2)). It is natural to ask what condition the spine should satisfy to guarantee that \(x_{0}\) is a regular point. When the dimension \(n=2\) or 3, the results are well known. In this paper, we consider \(n>3\) and prove that \(x_{0}\) is a regular point with respect to the Dirichlet problem if and only if the spine satisfies (1.6).

## References

Brezis, H, Browder, F: Partial differential equations in the 20th century. Adv. Math.

**135**(1), 76-144 (1998). doi:10.1006/aima.1997.1713Lebesgue, H: Sur des cas d’impossibilite du probleme de Dirichlet ordinaire. C.R. Seances Soc. Math. France

**17**(1912)Perron, O: Eine neue Behandlung der ersten Randwertaufgabe für \(\Delta u=0\). Math. Z.

**18**(1), 42-54 (1923). doi:10.1007/BF01192395Gilbarg, D, Trudinger, NS: Elliptic Partial Differential Equations of Second Order. Classics in Mathematics. Springer, Berlin (2001)

Wiener, N: The Dirichlet problem. J. Math. Phys.

**3**(3), 127-146 (1924)Miller, K: Barriers on cones for uniformly elliptic operators. Ann. Mat. Pura Appl. (4)

**76**, 93-105 (1967). doi:10.1007/BF02412230Kellogg, OD: Foundations of Potential Theory. Die Grundlehren der Mathematischen Wissenschaften, vol. 31. Springer, Berlin (1929). Reprint from the first edition of 1929

Tee, GJ: Surface area and capacity of ellipsoids in

*n*dimensions. N.Z. J. Math.**34**(2), 165-198 (2005)Dwight, HB: Tables of Integrals and Other Mathematical Data, 3rd edn. Macmillan Co., New York (1957)

## Availability of data and materials

Not applicable.

## Funding

This research is supported by NSFC 11671316.

## Author information

### Authors and Affiliations

### Contributions

All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Ethics approval and consent to participate

Not applicable.

### Competing interests

The author declares that they have no competing interests.

### Consent for publication

Not applicable.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Ismaeel, T. On the Wiener criterion in higher dimensions.
*Bound Value Probl* **2017**, 174 (2017). https://doi.org/10.1186/s13661-017-0907-5

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-017-0907-5