Abstract
In this article, we consider the Dirichlet problem for nonlinear higher-order equations in upper half plane. Firstly we introduce the solutions of inhomogeneous polyanalytic equation in upper half plane. Then we investigate the properties of relevant integral operators. Lastly we transform the Dirichlet problem for nonlinear higher-order equations in upper half plane into the system of integro-differential equations and we obtain the existence of unique solution using Banach fixed point theorem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Preliminaries
Dirichlet problem is one of the boundary value problems. Dirichlet problem is treated for first-order, model, higher-order and higher-order linear equations in various types of domains by many researchers [3,4,5,6,7,8, 10, 11, 13, 14, 19].
In [2], Schwarz problem for nonlinear higher-order equations in upper half plane is investigated. In the present paper, we will study Dirichlet problem for nonlinear higher-order equations in upper half plane. This paper is organized as follows: In Sect. 2, we need to introduce Pompeiu-type operators defined in the upper half plane. The properties of relevant operators are obtained using T and \(\Pi \) operators [9]. In Sect. 3, we transform the Dirichlet problem for nonlinear higher-order equations in upper half plane into the system of integro-differential equations and we obtain the existence of unique solution using Banach fixed point theorem.
Firstly we give some information about notations and then we state the Dirichlet problem for the inhomogeneous polyanalytic equation in upper half plane [11].
Definition 1
If the set of functions w \(\in \) \(W^{k,1}({\mathbb {H}}, {\mathbb {C}})\) satisfy
where
and
or for some \(\delta >0\)
This means that w holds regularity condition.
Note that \(L_{p, 2}({\mathbb {H}})\), \(p>2\) is the space of complex valued functions defined in \({\mathbb {H}}\) satisfying the following properties [18]:
where
The norm for \(f \in L_{p, 2}({\mathbb {H}})\) is defined by
Theorem 1
[11] Let \({\mathcal {F}}_n\) be the space of functions w in \(W^{n, 1}({\mathbb {H}}, {\mathbb {C}})\). For \(w \in {\mathcal {F}}_n\), the Dirichlet problem for the inhomogeneous polyanalytic equation in the upper half plane \({\mathbb {H}}\),
is uniquely solvable for \(f \in L_{p, 2}({\mathbb {H}}, {\mathbb {C}}), p>2\) satisfying regularity conditions above and
if and only if for \(z \in {\mathbb {H}}\)
for \(0 \le v \le n-1\). The solution is given by
2 The Properties of Integral Operators
We consider the solution of inhomogeneous polyanalytic equation in the upper half plane \({\mathbb {H}}\) (1). Under the homogeneous boundary conditions, assuming \(n=1\), we obtain the integral operator \(T_{{\mathbb {H}}}\):
This operator is extensively studied by Begehr and Hile [9], many properties of this operator are known.
\(T_{{\mathbb {H}}}f\) has generalized derivatives with respect to \({\overline{z}}\) and z:
-
(i)
\(T_{{\mathbb {H}}} f\) has a generalized first order derivative with respect to \({\overline{z}}\),
$$\begin{aligned} \partial _{{\overline{z}}}T_{{\mathbb {H}}}f=f \end{aligned}$$if \(f \in L_{p, 2}({\mathbb {H}})\), \(p>2\).
-
(ii)
The generalized derivative of \(T_{{\mathbb {H}}} f\) with respect to z is
$$\begin{aligned} \partial _{{z}}T_{{\mathbb {H}}}f:=\Pi _{{\mathbb {H}}}f=-\frac{1}{\pi } \int \nolimits _{{\mathbb {H}}}f(\zeta )\frac{d\xi d\eta }{\left( \zeta -z\right) ^{2}}, \ \ z\in {\mathbb {H}}. \end{aligned}$$
We know that \(T_{{\mathbb {H}}}^{k}:=T_{0,k}\) and \(T_{{\mathbb {H}}}^{m}:=T_{m,0}\) are obtained by iteration [9]; that is
\(T_{{\mathbb {H}}}^{s}\), \(s\le k\) are weakly singular operators. Using Arzela-Ascoli theorem we observe that \(T_{{\mathbb {H}}}^{s}\), \(s\le k\) are compact operators [9].
On the other hand,
are Calderon-Zygmund type strongly singular bounded operators. Similar to the operations in Çelebi-Gökgöz [12], we can obtain these properties.
3 Dirichlet Problem for Nonlinear Higher-Order Equations in Upper Half Plane
The boundary value problems for nonlinear elliptic equations have been studied by several researchers, for example, Akal and Begehr [1], Aksoy-Begehr-Çelebi [2], Mshimba [15,16,17], in the book by Wen [20] and others.
In this section we consider the Dirichlet boundary value problem for nonlinear higher-order equations in upper half plane \({\mathbb {H}}\).
Thus we start with elliptic equation
of order n in upper half plane \({\mathbb {H}}\). As in [2] we employ the notations
with restriction \((k, l) \ne (0, n)\). To simplify the notation, we take
Hence Eq. (3) may be written as
To discuss the Dirichlet boundary value problem, we need some assumptions on \(F\left( z,\left\{ w_{k, l}\right\} \right) \) defined in \({\mathbb {H}}\).
Assumptions
-
(i)
The function \(F\left( z,\left\{ w_{k, l}\right\} \right) \) is continuous with respect to all of its variables,
-
(ii)
For multiples \(\left( z,\left\{ w_{k, l}\right\} \right) \) if \(\left\{ w_{k, l}\right\} \in L_p({\mathbb {H}}), p>2\), then \(F\left( z,\left\{ w_{k, l}\right\} \right) \in L_p({\mathbb {H}})\),
-
(iii)
The function \(F\left( z,\left\{ w_{k, l}\right\} \right) \) satisfies the Lipschitz condition
$$\begin{aligned} \left| F\left( z,\left\{ w_{k, l}\right\} \right) -F\left( z,\left\{ w_{k, l}^*\right\} \right) \right| \le \sum _{k+l=0}^n L_{k l}\left| w_{k, l}-w_{k, l}^*\right| \le L \sum _{k+l=0}^n\left| w_{k, l}-w_{k, l}^*\right| \end{aligned}$$where \(L=\max _{k+l \le n} L_{k l},(k, l) \ne (0, n)\) in which \(L_{k l}\) are constants.
Now we state the relevant Dirichlet problem.
“Find a solution \(w\in W^{n,p}({\mathbb {H}})\) with \(2<p<\infty \) of Eq. (3) subject to
is uniquely solvable for \(f \in L_{p, 2}({\mathbb {H}}, {\mathbb {C}}), p>2\) satisfying regularity conditions and
To solve this problem we employ the operators
As in [2] we transform the Dirichlet problem for nonlinear equation into the following system of integro-differential equations:
for \(0\le k+l\le n\), with the restriction \((k,l)\ne (0,n)\) and
It is trivial that \(\phi _{w}\) is a polyanalytic function. Now we may discuss the solvability of the Dirichlet problem. We use the notation given in [2]. Firstly we introduce the function space \(\mathfrak {L}_{\mathfrak {p}} ({\mathbb {H}})\), \(p>2\):
where \(0\le k+l\le n\), \((k,l)\ne (0,n)\). \(\mathfrak {L}_{\mathfrak {p}} ({\mathbb {H}})\) is a Banach space with norm
We introduce an operator Q by
if
where \(\phi _{w}(z)\) is given by Eq. (5). Thus we obtain a system of integro-differential equations. Then the fixed point of Q is the solution of Eq. (3), satisfying the Dirichlet boundary conditions (4) subject to the solvability requirements.
Now we try to show that Q has a fixed point. We take the images of \(\left\{ w_{k,l}\right\} \) and \(\left\{ {\overline{w}}_{k,l}\right\} \) in \(\mathfrak {L}_{\mathfrak {p}} ({\mathbb {H}})\) which are denoted by \(\left\{ W_{k,l}\right\} \) and \(\left\{ {\overline{W}}_{k,l}\right\} \) respectively. Then
and
for \(0\le k+l<n\) and
for \(k+l=n\). Combining (6) and (7) we obtain
where
Thus the operator Q is contractive if \(M<1\). From Banach fixed point theorem we obtain the existence of the unique solution \(w_{k,l}\).
Data Availability
No datasets were generated or analysed during the current study.
References
Akal, M., Begehr, H.: On nonlinear Riemann-Hilbert boundary value problems for second order elliptic systems in the plane. Appl. Anal. 63(3–4), 331–351 (1996). https://doi.org/10.1080/00036819608840512
Aksoy, Ü., Begehr, H., Çelebi, A.O.: Schwarz problem for higher-order complex partial differential equations in the upper half plane. Math. Nachr. 292(6), 1183–1193 (2019). https://doi.org/10.1002/mana.201800028
Aksoy, Ü., Çelebi, A.O.: Dirichlet problem for a generalized inhomogeneous polyharmonic equation in an annular domain. Complex Var. Ellipt. Equ. 57(2–4), 229–241 (2012). https://doi.org/10.1080/17476933.2011.638715
Aksoy, Ü., Çelebi, A.O.: Dirichlet problems for generalized \(n\)-Poisson equation. Oper. Theory Adv. Appl. 205, 129–142 (2010)
Begehr, H., Vaitekhovich, T.: Harmonic Dirichlet problem for some equilateral triangle. Complex Var. Ellipt. Equ. 57, 185–196 (2012). https://doi.org/10.1080/17476933.2011.598932
Begehr, H., Gaertner, E.: Dirichlet problem for the inhomogeneous polyharmonic equation in the upper half plane. Georgian Math J. 14, 33–52 (2007). https://doi.org/10.1515/gmj.2007.33
Begehr, H.: Boundary value problems in complex analysis II. Bol. Asoc. Mat. Venez. 12(2), 217–250 (2005)
Begehr, H.: Boundary value problems in complex analysis I. Bol. Asoc. Mat. Venez. 12(1), 65–85 (2005)
Begehr, H., Hile, G.N.: A hierarchy of integral operators. Rocky Mt. J. Math. 27(3), 669–706 (1997). https://doi.org/10.1216/rmjm/1181071888
Begehr, H.G.W.: Complex Analytic Methods for Partial Differential Equations: An introductory text. World Scientific, Singapore (1994)
Chaudhary, A., Kumar, A.: Boundary value problems in upper half plane. Complex Var. Ellipt. Equ. 54(5), 441–448 (2009). https://doi.org/10.1080/17476930902750840
Çelebi, A.O., Gökgöz, P.A.: Schwarz problem in a ring domain. Appl. Anal. 101(11), 3912–3924 (2022). https://doi.org/10.1080/00036811.2022.2033234
Gaertner, E.: Basic Complex Boundary Value Problems in the Upper Half Plane, PhD thesis, FU Berlin, (2006)
Gökgöz, P.A.: Dirichlet boundary value problem for linear polyanalytic equation in upper half plane. Complex Var. Ellipt. Equ. (2024). https://doi.org/10.1080/17476933.2024.2332317
Mshimba, A.: Mixed boundary value problem for polyanalytic function of order \(n\) in the Sobolev space \(W_{n, p}(D)\). Complex Var. Ellipt. Equ. 47, 1107–1114 (2002). https://doi.org/10.1080/02781070290034539
Mshimba, A.: The generalized Riemann-Hilbert boundary value problem for non-homogeneous polyanalytic differential equation of order \(n\) in the Sobolev space \(W_{n, p}(D)\). Z. Anal. Anwend. 18, 611–624 (1999). https://doi.org/10.4171/ZAA/901
Mshimba, A.S.: On the Riemann boundary value problem for holomorphic functions in the Sobolev space \(W_{1, p}(D)\). Complex Var. Theory Appl. Int. J. 14(1–4), 237–242 (1990). https://doi.org/10.1080/17476939008814423
Vekua, I.N.: Generalized Analytic Functions. Pergamon Press, Oxford (1962)
Wang, Y., Du, J.: Harmonic Dirichlet problem in a ring sector. In: Current Trends in Analysis and Its Applications: Trends in Mathematics. Cham, Switzerland; pp. 67–75. (2015)
Wen, G.C.: Linear and quasilinear complex equations of hyperbolic and mixed type. Taylor and Francis, Milton Park (2002)
Funding
Open access funding provided by the Scientific and Technological Research Council of Türkiye (TÜBİTAK).
Author information
Authors and Affiliations
Contributions
PAG wrote the manuscript text.
Corresponding author
Ethics declarations
Conflict of Interest
The author declares no Conflict of interest.
Additional information
Communicated by Fabrizio Colombo.
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gökgöz, P.A. Dirichlet Problem for Nonlinear Higher-Order Equations in Upper Half Plane. Complex Anal. Oper. Theory 18, 121 (2024). https://doi.org/10.1007/s11785-024-01566-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-024-01566-6