Open Access

A remark on the Dirichlet problem in a half-plane

Journal of Inequalities and Applications20142014:497

https://doi.org/10.1186/1029-242X-2014-497

Received: 21 September 2014

Accepted: 27 November 2014

Published: 12 December 2014

Abstract

In this paper, we prove that if the positive part u + ( z ) of a harmonic function u ( z ) in a half-plane satisfies a slowly growing condition, then its negative part u ( z ) can also be dominated by a similarly growing condition. Further, a solution of the Dirichlet problem in a half-plane for a fast growing continuous boundary function is constructed by the generalized Dirichlet integral with this boundary function.

Keywords

harmonic functionDirichlet problemhalf-plane

1 Introduction and main theorem

Let R be the set of all real numbers and let C denote the complex plane with points z = x + i y , where x , y R . The boundary and closure of an open set Ω are denoted by Ω and Ω ¯ , respectively. The upper half-plane is the set C + : = { z = x + i y C : y > 0 } , whose boundary is C + = R .

We use the standard notations u + = max { u , 0 } , u = min { u , 0 } , and [ d ] is the integer part of the positive real number d. For positive functions h 1 and h 2 , we say that h 1 h 2 if h 1 M h 2 for some positive constant M.

Given a continuous function f in C + , we say that h is a solution of the (classical) Dirichlet problem in C + with f, if Δ h = 0 in C + and lim z C + , z t h ( z ) = f ( t ) for every t C + .

The classical Poisson kernel in C + is defined by
P ( z , t ) = y π | z t | 2 ,

where z = x + i y C + and t R .

It is well known (see [1]) that the Poisson kernel P ( z , t ) is harmonic for z C { t } and has the expansion
P ( z , t ) = 1 π Im k = 0 z k t k + 1 ,
which converges for | z | < | t | . We define a modified Cauchy kernel of z C + by
C m ( z , t ) = { 1 π 1 t z when  | t | 1 , 1 π 1 t z 1 π k = 0 m z k t k + 1 when  | t | > 1 ,

where m is a nonnegative integer.

To solve the Dirichlet problem in C + , as in [2], we use the modified Poisson kernel defined by
P m ( z , t ) = Im C m ( z , t ) = { P ( z , t ) when  | t | 1 , P ( z , t ) 1 π Im k = 0 m z k t k + 1 when  | t | > 1 .

We remark that the modified Poisson kernel P m ( z , t ) is harmonic in C + . About modified Poisson kernel in a cone, we refer readers to papers by I Miyamoto, H Yoshida, L Qiao and GT Deng (e.g. see [311]).

Put
U ( f ) ( z ) = P ( z , t ) f ( t ) d t and U m ( f ) ( z ) = P m ( z , t ) f ( t ) d t ,

where f ( t ) is a continuous function in C + .

For any positive real number α, We denote by A α the space of all measurable functions f ( x + i y ) in C + satisfying
C + y | f ( x + i y ) | 1 + | x + i y | α + 2 d x d y <
(1.1)
and by B α the set of all measurable functions g ( x ) in C + such that
| g ( x ) | 1 + | x | α d x < .
(1.2)

We also denote by D α the set of all continuous functions u ( x + i y ) in C ¯ + , harmonic in C + with u + ( x + i y ) A α and u + ( x ) B α .

About the solution of the Dirichlet problem with continuous data in C + , we refer readers to the following result (see [12, 13]).

Theorem A Let u be a real-valued function harmonic in C + and continuous in C ¯ + . If u ( z ) B 2 , then there exists a constant d 1 such that u ( z ) = d 1 y + U ( u ) ( z ) for all z = x + i y C + .

Inspired by Theorem A, we first prove the following.

Theorem 1 If α 2 and u D α , then u B α .

Then we are concerned with the growth property of U m ( f ) ( z ) at infinity in C + .

Theorem 2 If α 2 m < α 1 and f D α , then
lim | z | , z C + y | z | α U m ( f ) ( z ) = 0 .
(1.3)
We say that u is of order λ if
λ = lim sup r log ( sup H B ( r ) | u | ) log r .

If λ < , then u is said to be of finite order. See Hayman-Kennedy [[14], Definition 4.1].

Our next aim is to give solutions of the Dirichlet problem for harmonic functions of infinite order in C + . For this purpose, we define a nondecreasing and continuously differentiable function ρ ( R ) 1 on the interval [ 0 , + ) . We assume further that
ϵ 0 = lim sup R ρ ( R ) R log R ρ ( R ) < 1 .
(1.4)
Remark For any ϵ ( 0 < ϵ < 1 ϵ 0 ), there exists a sufficiently large positive number R such that r > R , by (1.4) we have
ρ ( r ) < ρ ( e ) ( ln r ) ϵ 0 + ϵ .
Let E ( ρ , β ) be the set of continuous functions f in C + such that
| f ( t ) | 1 + | t | ρ ( | t | ) + β + 1 d t < ,
(1.5)

where β is a positive real number.

Theorem 3 If f E ( ρ , β ) , then the integral U [ ρ ( | t | ) + β ] ( f ) ( x ) is a solution of the Dirichlet problem in C + with f.

The following result immediately follows from Theorem 2 (the case α = m + 2 ) and Theorem 3 (the case [ ρ ( | t | ) + β ] = m ).

Corollary 1 If f is a continuous function in C + satisfying
| f ( t ) | 1 + | t | m + 2 d t < ,
then U m ( f ) ( z ) is a solution of the Dirichlet problem in C + with f satisfying
lim | z | , z C + | z | m 1 U m ( f ) ( z ) = 0 .

For harmonic functions of finite order in C + , we have the following integral representations.

Corollary 2 Let u D α ( α 2 ) and let m be an integer such that m + 2 < α m + 3 .
  1. (I)

    If α = 2 , then U ( u ) ( z ) is a harmonic function in C + and can be continuously extended to C ¯ + such that u ( z ) = U ( u ) ( z ) for z C + . There exists a constant d 2 such that u ( z ) = d 2 y + U ( u ) ( z ) for all z C + .

     
  2. (II)

    If α > 2 , then U m ( u ) ( z ) is a harmonic function in C + and can be continuously extended to C ¯ + such that u ( z ) = U m ( u ) ( z ) for z C + . There exists a harmonic polynomial Q m ( u ) ( z ) of degree at most m 1 which vanishes in C + such that u ( z ) = U m ( u ) ( z ) + Q m ( u ) ( z ) for all z C + .

     

Finally, we prove the following.

Theorem 4 Let u be a real-valued function harmonic in C + and continuous in C ¯ + . If u E ( ρ , β ) , then we have
u ( z ) = U [ ρ ( | t | ) + β ] ( u ) ( z ) + Im Π ( z )

for all z C ¯ + , where Π ( z ) is an entire function in C + and vanishes continuously in C + .

2 Main lemmas

The Carleman formula refers to holomorphic functions in C + (see [15, 16]).

Lemma 1 If R > 1 and u ( z ) ( z = x + i y ) is a harmonic function in C + with continuous boundary in C + , then we have
m ( R ) + 1 2 π 1 R ( 1 x 2 1 R 2 ) g ( x ) d x = m + ( R ) + 1 2 π 1 R ( 1 x 2 1 R 2 ) g + ( x ) d x d 3 d 4 R 2 ,
where
m ± ( R ) = 1 π R 0 π u ± ( R e i θ ) sin θ d θ , g ± ( x ) = u ± ( x ) + u ± ( x ) , d 3 = 1 2 π 0 π ( u ( R e i θ ) + u ( R e i θ ) n ) sin θ d θ
and
d 4 = 1 2 π 0 π ( u ( R e i θ ) u ( R e i θ ) n ) sin θ d θ .
Lemma 2 For any z = x + i y C + , | z | > 1 , and t R , we have
| C m ( z , t ) | y 1 | z | m + 1 | t | m 1 ,
(2.1)
where 1 < | t | 2 | z | ,
| C m ( z , t ) | | z | m + 1 | t | m 2 ,
(2.2)
where | t | > max { 1 , 2 | z | } ,
| C m ( z , t ) | y 1 ,
(2.3)

where | t | 1 .

Proof If t R and 1 < | t | 2 | z | , we have | t z | y , which gives
| C m ( z , t ) | = 1 π | 1 t z 1 ( z t ) m + 1 t z | = 1 π | z t | m + 1 | t z | | z | m + 1 y | t | m + 1 .
If | t | > max { 1 , 2 | z | } , we obtain
| C m ( z , t ) | = 1 π | k = m + 1 z k t k + 1 | k = m + 1 | z | k | t | k + 1 | z | m + 1 | t | m + 2 .
If t R and | t | 1 , then we also have | t z | y , which yields
| C m ( z , t ) | y 1 .

Thus this lemma is proved. □

Lemma 3 (see [[17], Theorem 10])

Let h ( z ) be a harmonic function in C + such that h ( z ) vanishes continuously in C + . If
lim | z | , z C + | z | m 1 h + ( z ) = 0 ,

then h ( z ) = Q m ( h ) ( z ) in C + , where Q m ( h ) is a polynomial of ( x , y ) C + of degree less than m and even with respect to the variable y.

3 Proof of Theorem 1

We distinguish the following two cases.

Case 1. α = 2 .

If R > 2 , Lemma 1 gives
m ( R ) + 3 4 1 < x < R / 2 g ( x ) x 2 d x m ( R ) + 1 < x < R g ( x ) ( 1 x 2 1 R 2 ) d x m + ( R ) + 1 < x < R g + ( x ) x 2 d x + | d 3 | + | d 4 | .
(3.1)
Since u C 2 , we obtain
1 m + ( R ) R d R { z C + : | z | > 1 } y | f ( x + i y ) | | x + i y | 4 d x d y z C + y | f ( x + i y ) | 1 + | x + i y | 4 d x d y <
from (1.1) and hence
lim inf R m + ( R ) = 0 .
(3.2)
Then from (1.2), (3.1), and (3.2) we have
lim inf R 1 < x < R / 2 g ( x ) x 2 d x < ,
which gives
1 g ( x ) 1 + x 2 d x < .

Thus u B 2 from | u | = u + + u .

Case 2. α > 2 .

Since u C α , we see from (1.1) that
1 m + ( R ) R α 1 d R { z C + : | z | > 1 } y | f ( x + i y ) | | x + i y | α + 2 d x d y z C + y | f ( x + i y ) | 1 + | x + i y | α + 2 d x d y < ,
(3.3)
and we see from (1.2) that
1 1 R α 1 1 R g + ( x ) ( 1 x 2 1 R 2 ) d x d R = 1 g + ( x ) x 1 R α 1 ( 1 x 2 1 R 2 ) d R d x 1 g + ( x ) x α d x < .
(3.4)
We have from (3.3), (3.4), and Lemma 1
1 g ( x ) x 1 R α 1 ( 1 x 2 1 R 2 ) d R d x 2 π 1 m + ( R ) R α 1 d R 2 π 1 1 R α 1 ( d 3 + d 4 R 2 ) d R + 1 1 R α 1 1 R g + ( x ) ( 1 x 2 1 R 2 ) d x d R < .
Set
I ( α ) = lim x x α x 1 R α 1 ( 1 x 2 1 R 2 ) d R .
We have
I ( α ) = 2 α ( α 2 )
from the L’Hospital’s rule and hence we have
x α x 1 R α 1 ( 1 x 2 1 R 2 ) d R .
So
1 g ( x ) x α d x 1 g ( x ) x 1 R α 1 ( 1 x 2 1 R 2 ) d R d x < .

Then u B α from | u | = u + + u . We complete the proof of Theorem 1.

4 Proof of Theorem 2

For any ϵ > 0 , there exists R ϵ > 2 such that
| t | R ϵ | f ( t ) | 1 + | t | α d t < ϵ
(4.1)
from Theorem 1. For any fixed z C + and 2 | z | > R ϵ , we write
U m ( f ) ( x ) = i = 1 4 V i ( x ) ,
where
V 1 ( x ) = 0 | t | < 1 P m ( z , t ) f ( t ) d t , V 2 ( x ) = 1 < | t | R ϵ P m ( z , t ) f ( t ) d t , V 3 ( x ) = R ϵ < | t | 2 | z | P m ( z , t ) f ( t ) d t and V 4 ( x ) = | t | > 2 | z | P m ( z , t ) f ( t ) d t .
By (2.1), (2.2), (2.3), and (4.1), we have the following estimates:
| V 1 ( z ) | y 1 0 | t | < 1 | f ( t ) | d t | V 1 ( z ) | y 1 ,
(4.2)
| V 2 ( z ) | y 1 | z | m + 1 1 < | t | R ϵ | t | m 1 | f ( t ) | d t | V 2 ( z ) | R ϵ α m 1 y 1 | z | m + 1 1 < | t | R ϵ | t | α | f ( y ) | d x | V 2 ( z ) | R ϵ α m 1 y 1 | z | m + 1 ,
(4.3)
| V 3 ( z ) | | z | m + 1 y 1 R ϵ < | t | 2 | z | t m 1 | f ( t ) | d t | V 3 ( z ) | ϵ y 1 | z | α ,
(4.4)
| V 4 ( z ) | | z | m + 1 | t | > 2 | z | | t | m 2 | f ( t ) | d t | V 4 ( z ) | | z | α 1 | t | > 2 | z | | t | α | f ( t ) | d t | V 4 ( z ) | ϵ | z | α 1 .
(4.5)

Combining (4.2)-(4.5), (1.3) holds. Thus we complete the proof of Theorem 2.

5 Proof of Theorem 3

Take a number r satisfying r > R 1 , where R 1 is a sufficiently large positive number. For any ϵ ( 0 < ϵ < 1 ϵ 0 ), we have
ρ ( r ) < ρ ( e ) ( ln r ) ( ϵ 0 + ϵ )
from the remark, which shows that there exists a positive constant M ( r ) dependent only on r such that
k β / 2 r ρ ( k + 1 ) + β + 1 M ( r )
(5.1)

for any k > k r = [ 2 r ] + 1 .

For any z C + and | z | r , we have | t | 2 | z | and
k = k r k | t | < k + 1 | z | [ ρ ( | t | ) + β ] + 1 | t | [ ρ ( | t | ) + β ] + 2 | f ( t ) | d t k = k r r ρ ( k + 1 ) + β + 1 k β / 2 k | t | < k + 1 2 | f ( t ) | 1 + | t | ρ ( | t | ) + β / 2 + 1 d t M ( r ) | t | k r | f ( t ) | 1 + | t | ρ ( | t | ) + β / 2 + 1 d t <

from (1.5), (2.2), and (5.1). Thus U [ ρ ( | t | ) + β ] ( f ) ( z ) is finite for any z C + . P [ ρ ( | t | ) + β ] ( z , t ) is a harmonic function of z C + for any fixed t C + . U [ ρ ( | t | ) + β ] ( f ) ( z ) is also a harmonic function of z C + .

Now we shall prove the boundary behavior of U [ ρ ( | t | ) + β ] ( f ) ( z ) . For any fixed z C + , we can choose a number R 2 such that R 2 > | z | + 1 . We write
U [ ρ ( | t | ) + β ] ( f ) ( z ) = X ( z ) Y ( z ) + Z ( z ) ,
where
X ( z ) = | t | R 2 P ( z , t ) f ( t ) d t , Y ( z ) = Im k = 0 [ ρ ( | t | ) + β ] 1 < | t | R 2 z k π t k + 1 f ( t ) d t , Z ( z ) = | t | > R 2 P [ ρ ( | t | + β ) ] ( z , t ) f ( t ) d t .

Since X ( z ) is the Poisson integral of f ( t ) χ [ R 2 , R 2 ] ( t ) , it tends to f ( z ) as z z . Clearly, Y ( z ) vanishes in C + . Further, Z ( z ) = O ( y ) , which tends to zero as z z . Thus the function U [ ρ ( | t | ) + β ] ( f ) ( z ) can be continuously extended to C ¯ + such that U [ ρ ( | t | ) + β ] ( f ) ( z ) = f ( z ) for any z C + . Then Theorem 3 is proved.

6 Proof of Corollary 2

We prove (II). Consider the function u ( z ) U m ( u ) ( z ) . Then it follows from Corollary 1 that this is harmonic in C + and vanishes continuously in C + . Since
0 ( u ( z ) U m ( u ) ( z ) ) + u + ( z ) + U m ( u ) ( z )
(6.1)
for any z C + and
lim inf | z | | z | m 1 u + ( z ) = 0
(6.2)
from (1.1), for every z C + we have
u ( z ) = U m ( u ) ( z ) + Q m ( u ) ( z )

from (6.1), (6.2), Corollary 1, and Lemma 3, where Q m ( u ) is a polynomial in C + of degree at most m 1 and even with respect to the variable y. From this we evidently obtain (II).

If u C 2 , then u C α for α > 2 . (II) shows that there exists a constant d 5 such that
u ( z ) = d 5 y + U 1 ( u ) ( z ) .
Put
d 2 = d 5 1 π t 1 f ( t ) | t | 2 d t .

It immediately follows that u ( z ) = d 2 y + U ( u ) ( z ) for every z = x + i y C + , which is the conclusion of (I). Thus we complete the proof of Corollary 2.

7 Proof of Theorem 4

Consider the function u ( z ) U [ ρ ( | t | ) + β ] ( u ) ( z ) , which is harmonic in C + , can be continuously extended to C ¯ + and vanishes in C + .

The Schwarz reflection principle [[12], p.68] applied to u ( z ) U [ ρ ( | t | ) + β ] ( u ) ( z ) shows that there exists a harmonic function Π ( z ) in C + satisfying Π ( z ¯ ) = Π ( z ) ¯ such that Im Π ( z ) = u ( z ) U [ ρ ( | t | ) + β ] ( u ) ( z ) for z C ¯ + . Thus u ( z ) = U [ ρ ( | t | ) + β ] ( u ) ( z ) + Im Π ( z ) for all z C ¯ + , where Π ( z ) is an entire function in C + and vanishes continuously in C + . Thus we complete the proof of Theorem 4.

Declarations

Acknowledgements

The authors are very thankful to the anonymous referees for their valuable comments and constructive suggestions, which helped to improve the quality of the paper. This work is supported by the Academy of Finland Grant No. 176512.

Authors’ Affiliations

(1)
School of Mathematics and Information Science, Henan University of Economics and Law
(2)
Matematiska Institutionen, Stockholms Universitet

References

  1. Ransford T: Potential Theory in the Complex Plane. Cambridge University Press, Cambridge; 1995.View ArticleMATHGoogle Scholar
  2. Finkelstein M, Scheinberg S: Kernels for solving problems of Dirichlet type in a half-plane. Adv. Math. 1975,18(1):108–113. 10.1016/0001-8708(75)90004-3MathSciNetView ArticleMATHGoogle Scholar
  3. Miyamoto I: A type of uniqueness of solutions for the Dirichlet problem on a cylinder. Tohoku Math. J. 1996,48(2):267–292. 10.2748/tmj/1178225381MathSciNetView ArticleMATHGoogle Scholar
  4. Miyamoto I, Yoshida H: Two criteria of Wiener type for minimally thin sets and rarefied sets in a cone. J. Math. Soc. Jpn. 2002,54(3):487–512. 10.2969/jmsj/1191593906MathSciNetView ArticleMATHGoogle Scholar
  5. Qiao L, Deng GT: The Riesz decomposition theorem for superharmonic functions in a cone and its application. Sci. Sin., Math. 2012,42(8):763–774. (in Chinese) 10.1360/012011-1018View ArticleGoogle Scholar
  6. Qiao L: Integral representations for harmonic functions of infinite order in a cone. Results Math. 2012,61(3):63–74.MathSciNetView ArticleMATHGoogle Scholar
  7. Qiao L, Pan GS: Integral representations of generalized harmonic functions. Taiwan. J. Math. 2013,17(5):1503–1521.MathSciNetMATHGoogle Scholar
  8. Qiao L, Deng GT: The Dirichlet problem in a generalized strip. Sci. Sin., Math. 2013,43(8):781–792. (in Chinese) 10.1360/012012-536View ArticleGoogle Scholar
  9. Qiao L, Deng GT: A lower bound of harmonic functions in a cone and its application. Sci. Sin., Math. 2014,44(6):671–684. (in Chinese) 10.1360/N012013-00108View ArticleGoogle Scholar
  10. Qiao L, Deng GT: Minimally thin sets at infinity with respect to the Schrödinger operator. Sci. Sin., Math. 2014,44(12):1247–1256. (in Chinese) 10.1360/N012013-00176MathSciNetView ArticleGoogle Scholar
  11. Qiao L, Ren YD: Integral representations for the solutions of infinite order of the stationary Schrödinger equation in a cone. Monatshefte Math. 2014,173(4):593–603. 10.1007/s00605-013-0506-1MathSciNetView ArticleMATHGoogle Scholar
  12. Axler S, Bourdon P, Ramey W: Harmonic Function Theory. 2nd edition. Springer, New York; 1992.View ArticleMATHGoogle Scholar
  13. Stein EM: Harmonic Analysis. Princeton University Press, Princeton; 1993.Google Scholar
  14. Hayman WK, Kennedy PB 1. In Subharmonic Functions. Academic Press, London; 1976.Google Scholar
  15. Carleman T: Über die Approximation analytischer Funktionen durch lineare Aggregate von vorgegebenen Potenzen. Ark. Mat. Astron. Fys. 1923, 17: 1–30.MATHGoogle Scholar
  16. Nevanlinna R: Über die Eigenschaften meromorpher Funktionen in einem Winkelraum. Acta Soc. Sci. Fenn. 1925,50(12):1–45.MathSciNetMATHGoogle Scholar
  17. Kuran Ü:Study of superharmonic functions in R n + 3 by a passage to R n + 3 . Proc. Lond. Math. Soc. 1970, 20: 276–302.MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Zhao and Yamada Jr.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.