Abstract
In this paper, \(C^k\)-estimates are obtained for the Henkin solution operator of the Cauchy–Riemann system
on a class of certain smoothly bounded, convex domains of infinite type in \(\mathbb {C}^n\), where \(\varphi \) is a \(\bar{\partial }\)-closed (0, q)-differential form. It is proved that the Henkin solution of the \(\bar{\partial }\)-equation admits a suitable Hölder gain.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(z=(z_1,\ldots ,z_n)\) be the standard coordinates in the complex Euclidean space \(\mathbb {C}^n\), where \(z_j=x_j+ix_{n+j}\), for \(x_j\in \mathbb {R}\), \(j=1,\ldots ,n\) and \(i=\sqrt{-1}\). We define the following Wirtinger derivatives
and their duals are \(\mathrm{d}\bar{z}_j=\mathrm{d}x_j-i\mathrm{d}x_{n+j}.\)
Let \(\Omega \subset \mathbb {C}^n\) be a bounded domain with smooth boundary \(b\Omega \). Let \(C(\Omega )\) denote the class of continuous functions on \(\Omega \) which endowed with the compact-open topology. We set
where \(\alpha =(\alpha _1,\ldots ,\alpha _{2n})\in (\mathbb {N} \cup \{0\})^{2n}\) is a multi-index of length 2n. We also define \(C^k(\Omega )\) to be the set of those functions \(u:\Omega \rightarrow \mathbb {C}\) such that for each \(\alpha \in (\mathbb {N}\cup \{0\})^{2n}\) with \(|\alpha |\le k\), the derivative \(D^{\alpha }u\) exists and belongs to \(C(\Omega )\).
Let \(\varphi \) be a (0, q)-differential form on \(\Omega \). Write \(\varphi \) as
where \(J=(j_1,\ldots ,j_q)\) is a multi-index of length \(|J|=q\), and \(\mathrm{d}\bar{z}^J=d\bar{z}_{j_1}\wedge \cdots \wedge \mathrm{d}\bar{z}_{j_q}\). The Cauchy–Riemann complex \(\bar{\partial }\) on (0, q)-differential forms is defined by
where \(\varphi _J\in C^1(\Omega )\) for all \(|J|=q\), and
Thus \(\bar{\partial } \varphi \) is a \((0,q+1)\)-differential form on \(\Omega \). For a given (0, q)-differential form \(\varphi \) with coefficients in \(C(\Omega )\), the Cauchy–Riemann equation is the problem of looking for a \((0,q-1)\)-differential form u with coefficients in \(C^1(\Omega )\) so that
Researchers have been interested in the interaction between the functional-regularity properties of u and the geometric properties on \(b\Omega \). In particular, the study of \(C^k\)-regularity has been an attractive topic in the area of partial differential equations in several complex variables. The interaction also provides many significant tools to studying of complex geometry.
In this purpose, there are two variously main methods to studying the \(\bar{\partial }\)-problem. The first one is called to be the Hilbert \(L^2\)-method introduced by Kohn. The Kohn methods are based on abstract \(L^2\)-technique in the theory of pseudo-differential operators developed by Hörmander. Ones of the main results are obtained from Kohn methods are sub-elliptic estimates. We refer the reader to Chapter 1 to Chapter 10 of the monograph [6] by Chen and Shaw. However, these methods do not allow us to estimate solutions for the \(\bar{\partial }\)-problem in other norms, such as supremum norm, Hölder norms, and \(C^k\)-norms. In 1968–1969, Henkin and Ramirez introduced another method to solving the \(\bar{\partial }\)-equations with supremum norm estimates on strongly pseudoconvex domains. All information about Henkin–Ramirez methods as well as their applications can be found in the bedside book in several complex variables [25] by Range. The main purpose of the present paper is to provide the \(C^k\)-regularity for the \(\bar{\partial }\)-equation by the Henkin–Ramirez method.
Definition 1.1
Let \(\Omega \) be an open subset of \(\mathbb {R}^{2n}\) with smooth boundary.
-
(1)
For each \(u\in C^k(\Omega )\), the \(C^k\)-norm of u is defined as
$$\begin{aligned} \Vert u\Vert _{C^k(\Omega )}=\sum _{\alpha :|\alpha |=k}\sup _{x\in \Omega }|D^{\alpha }u(x)|. \end{aligned}$$ -
(2)
For \(q=0,1,\ldots ,n\), \(C^k_{(0,q)}(\Omega )\) is the class of (0, q)-differential forms with coefficients belonging to \((C^k(\Omega ),\Vert .\Vert _{C^k(\Omega )})\). For each \(\varphi =\sum _{|J|=q} \varphi _J\mathrm{d}\bar{z}_J\in C^k_{(0,q)}(\Omega )\), we define
$$\begin{aligned} \Vert \varphi \Vert _{C^k_{(0,q)}(\Omega )}=\sum _{|J|=q}\Vert \varphi _J\Vert _{C^k(\Omega )}. \end{aligned}$$ -
(3)
Let f be an increasing, positive function such that \(\displaystyle \lim _{t\rightarrow +\infty }f(t)=+\infty \). A function u is called to belong \(\Lambda ^f_k(\Omega )\) if \(u\in C^k(\Omega )\) and
$$\begin{aligned} \Vert u\Vert _{\Lambda ^f_k(\Omega )}=\Vert u\Vert _{C^k(\Omega )}+\sum _{\alpha :|\alpha |=k} \sup _{\begin{array}{c} {x,y\in \Omega }\\ {x\ne y} \end{array}}f(|x-y|^{-1})| D^{\alpha }u(x)-D^{\alpha }u(y)|<+\infty . \end{aligned}$$ -
(4)
For \(q=0,1,\ldots \), \(\Lambda ^{k,f}_{(0,q)}(\Omega )\) is the class of (0, q)-differential forms with coefficients belong to \((\Lambda ^f_k(\Omega ),\Vert .\Vert ^f_{\Lambda ^f_k(\Omega ))}\). For each \(\varphi =\sum _{|J|=q}\varphi _J\mathrm{d}\bar{z}_J\in \Lambda ^{k,f}_{(0,q)}(\Omega )\), we define
$$\begin{aligned} \Vert \varphi \Vert _{\Lambda ^{k,f}_{(0,q)}(\Omega )}=\sum _{|J|=q}\Vert \varphi _J\Vert _{\Lambda ^f_k(\Omega )}. \end{aligned}$$
It is clear that if \(f(t)=t^{\alpha }\), for \(0< \alpha < 1\), the space \(\Lambda ^{t^{\alpha }}_k(\Omega )\), \(\Lambda ^{k,t^{\alpha }}_{(0,q)}(\Omega )\) coincide to the classical Hölder spaces of order \(k+\alpha \) for functions and for (0, q)-differential forms, respectively.
In 1974, Siu [31] obtained uniform estimates for the derivatives in the \(\bar{\partial }\)-problem when \(\Omega \) is a strictly pseudoconvex domain in \(\mathbb {C}^n\) with \(C^N\)-boundary \(b\Omega \) for \(N\ge 4\). In particular, let \(\varphi \in C^k_{(0,1)}(\Omega )\) be a \(\bar{\partial }\)-closed differential form for \(k\le N-4\), he proved that the Henkin–Ramirez solution \(u=\mathcal {T}_q\varphi \in \Lambda ^{t^{1/2}}_k(\Omega )\) and
uniformly.
In 1980, Saito [28], Lieb and Range [21] established sharper and better estimates which are improvements of Siu’s result above. Furthermore, in the later paper, the authors used a continuation result of Seeley [29] to modify the Henkin–Ramirez solution.
In 1987, Ryczaj [27] considered the \(\bar{\partial }\)-equation for a certain class of non-strictly pseudoconvex domains in \(\mathbb {C}^n\):
The result obtained is that: for \(k\ge 1\) and \(0<\theta <\frac{1}{\max 2m_k}\), there is a constant \(C_{k,\theta }>0\) such that if \(\varphi \in C^k_{(0,q)}(\Omega )\) is continuous on \(b\Omega \) and \(\bar{\partial }\varphi =0\), the Henkin–Ramirez solution \(u=\mathcal {T}_q\varphi \in \Lambda ^{k,t^{\theta }}_{(0,q-1)}(\Omega )\) and
More generally, let \(\Omega \subset \mathbb {C}^n\) be a bounded convex domain with smooth boundary of finite type m in the sense of Catlin [3]. Assume that \(\varphi \in C^k_{(0,q)}(\bar{\Omega })\) is a \(\bar{\partial }\)-closed differential form. In [1], Alexandre has constructed a special integral solution of Henkin–Ramirez type \(u\in \Lambda ^{k, t^{1/m}}_{(0,q-1)}(\bar{\Omega })\) such that
In particular, the author obtains new estimates for the normal derivatives of the defining function and link them to the \(\varepsilon \)-extremal basis constructed by McNeal [20] on convex domains of finite type in the sense of Catlin.
Naturally, a question to ask is: when \(\Omega \) no longer satisfies the finite-type condition, does the \(C^k\)-regularity hold? When \(n=2\) and \(k=0\), there are few papers relating to this question. In particular, in [32], the author obtained the sup-norm estimate of Henkin–Ramirez operators on smoothly bounded convex domains of the form
where \(\psi \) is a real function satisfying some conditions. Notice that \(\Omega ^{\infty }\) is infinite type in any sense. In [24], Range proved that there is no solution u of the \(\bar{\partial }\) equation on \(\Omega ^{\infty }\) which belongs to \(\Lambda _{t^{\alpha }}(\Omega ^{\infty })\), for any \(0<\alpha <1.\) One of interesting models is when \(\psi (t)=\exp (-1/t^{\alpha })\) for \(0<t\ll 1\) and \(0<\alpha <1/2\), this is the case of infinite type at 0. Then, in 2013, Khanh [17] has proved new Hölder estimates for Henkin–Ramirez solutions on these domains. However, until now, we do not have any positive result for this problem when \(n\ge 3\) or \(k\ge 1\). The main result of this paper provides a suitable answer in a certain class of convex domains of infinite type in some sense.
Theorem 1.2
(Main theorem) Let \(\Omega \subset \mathbb {C}^n\) be a smoothly bounded, admissibly decoupled, convex domain with \(n\ge 2\). Assume that \(\Omega \) admits the F-type at all boundary points for some function F (see Definition 2.2). For \(k\ge 0\) and \(1\le q\le n-1\), let \(\varphi \in C^k_{(0,q)}(\Omega )\) be a \(\bar{\partial }\)-closed differential form on \(\Omega \).
-
(1)
If \(n=2\), there exists a function \(u\in \Lambda ^f_k(\Omega )\) so that \(\bar{\partial } u=\varphi \) and
$$\begin{aligned} \Vert u\Vert _{\Lambda ^{f}_k(\Omega )}\le C_{k}\Vert \varphi \Vert _{C^{k}_{(0,1)}(\Omega )}, \end{aligned}$$where
$$\begin{aligned} \displaystyle f(d^{-1})=\left( \int _0^d\frac{\sqrt{F^*(t)}}{t}\mathrm{d}t\right) ^{-1}. \end{aligned}$$ -
(2)
If \(n\ge 3\), there exists a \((0,q-1)\)-differential form \(u\in \Lambda ^{k,f}_{(0,q-1)}(\Omega )\) so that \(\bar{\partial } u=\varphi \) and
$$\begin{aligned} \Vert u\Vert _{\Lambda ^{k,f}_{(0,q-1)}(\Omega )}\le C_{k,s,n}\Vert \varphi \Vert _{C^{k}_{(0,q)}(\Omega )}, \end{aligned}$$for every \(0\le s\le n-3\) and where
$$\begin{aligned} f(d^{-1})=\left( \int _0^d\frac{(-\ln t)^{n-s-2}\sqrt{F^*(t)}}{t}\mathrm{d}t\right) ^{-1}. \end{aligned}$$
Here \(F^*\) is the inverse function of F.
The structure of this paper is as follows. Section 2 deals with preliminary results relating to the notion of a domain admitting an F-type. Section 3 is concerned with some certain examples to illustrate the notion of F-type. In Sect. 4, the formula of higher derivatives of Henkin–Ramirez solution is provided. The proof of Main Theorem is given in Sect. 5.
2 Preliminaries
Let \(\Omega \) be a bounded convex domain in \(\mathbb {C}^n\) (\(n\ge 2\)) with smooth boundary \(b\Omega \). Let \(\rho \) be a defining function for \(\Omega \) so that \(\Omega =\{z\in \mathbb {C}^n:\rho (z)<0\}\) and \(b\Omega =\{z\in \mathbb {C}^n: \rho (z)=0\}\), \(\nabla \rho \ne 0\) on \(b\Omega \). The convexity means
for every \( a=(a_1,\ldots ,a_{2n})\in \mathbb {R}^{2n}\) with \(\displaystyle \sum \nolimits _{j=1}^{2n}a_j\frac{\partial \rho }{\partial x_j}(\zeta )=0\) on \(b\Omega \).
Let us define, for \(\zeta \in b\Omega \) and \(z\in \Omega \):
The convexity of \(\Omega \) implies
and so \(\varPhi (\zeta ,z)\ne 0\) as well, for all \(\zeta \in b\Omega \) and \(z\in \Omega \).
Moreover, as a consequence of the definition, we also have:
Lemma 2.1
There are positive constants \(\delta , c\) such that for all boundary points \(\zeta \in b\Omega \cap B(P,\delta )\), the followings are satisfied:
-
(1)
\(\varPhi (\zeta ,.)\) is holomorphic in \(z\in B(\zeta ,\delta )\);
-
(2)
\(\varPhi (\zeta ,\zeta )=0\), and \(d_z\varPhi |_{z=\zeta }\ne 0\);
-
(3)
\(\rho (z)>0\) for all z with \(\varPhi (\zeta ,z)=0\) and \(0<|z-\zeta |<c\).
By multiplying \(\rho \) and \(\varPhi \) by suitable non-zero functions of \(\zeta \), one may assume more
-
(4)
\(|\partial \rho (\zeta )|=1\), and \(\partial \rho (\zeta )=d_z\varPhi |_{z=\zeta }\).
It is well known that there are some pseudoconvex domains not admitting any holomorphic support function \(\varPhi (\cdot ,\cdot )\), even of finite type. This phenomenon was established by Kohn and Nirenberg in [18]. Thus, as a first step, we should study any new ideas that would help to increase our understanding the \(\bar{\partial }\)-equations on convex domains of infinite type.
We recall a geometric condition which plays an important role in our analysis.
Definition 2.2
(see [12] or [10, 11] for the case \(n=2\)) The function \(F:[0,\infty )\rightarrow [0,\infty )\) is called a type in \(\mathbb {C}^n\) if the following conditions are satisfied:
-
(1)
F is smooth and increasing;
-
(2)
\(F(0)=0\);
-
(3)
For all \(k\in \{0,\ldots ,n-2\}\),
$$\begin{aligned} \int _0^{d}(-\ln F(r^2))^{n-k-1}\mathrm{d}r<\infty , \end{aligned}$$for some small \(d>0\);
-
(4)
\(\displaystyle \dfrac{F(r)}{r}\) is non-decreasing.
The function F with the properties above is supposed to be given throughout this paper. Then, a (bounded convex, smooth) domain \(\Omega \) in \(\mathbb {C}^n\) is said to be admitting an F-type at the boundary point \(P\in b\Omega \) if there are positive constants \(c,c'\) such that for all \(\zeta \in b\Omega \cap B(P,c')\) we have
for all \(z\in B(\zeta ,c)\) with \(\varPhi (\zeta ,z)=0\).
Here and in what follows, the notations \(\lesssim \) and \(\gtrsim \) denote inequalities up to a positive constant, and \(\approx \) means the combination of \(\lesssim \) and \(\gtrsim \).
For each \(z\in \Omega \), let \(P\in b\Omega \) so that dist(\(z,b\Omega \)) \(=|z-P|\). We may assume that \(\left| \dfrac{\partial \rho }{\partial \zeta _n}(\zeta )\right| \ge 1\) for \(\zeta \in b\Omega \cap B(z,c)\). For \(k=1,\ldots ,n-1\), we define
and choose \(L_n\) be the unit normal vector field of type (0, 1) on \(b\Omega \cap B(z,c)\).
Definition 2.3
\(\Omega \) is called to be an admissibly decoupled domain if
for all \(\zeta \in b\Omega \cap B(z,c)\) and \(1\le i,j\le n\), where \(\delta _{ij}\) is the Kronecker delta.
It is mentioned that in case \(n=2\), or in case domains whose the Levi form of the boundary has at most one degenerate eigenvalue at all boundary points, the appearance of \(\sum _{k=1}^n \frac{\partial ^2\rho }{\partial \zeta _k\partial \bar{\zeta }_k}(\zeta )|z_k-\zeta _k|^2\) and the admissibly decoupled condition are not necessary.
In the proof of the Main Theorem, we shall apply Stoke’s Theorem, so we need a continuation of \(\varPhi (\zeta ,z)\) inside \(\Omega \), that is
where \(z,\zeta \in \bar{\Omega }\). The following is the main contribution in our analysis:
Lemma 2.4
Let \(\Omega \subset \mathbb {C}^n\) be a smoothly bounded, convex domain admitting an F-type at \(P\in b\Omega \). Then there is a positive constant c such that the support function \(\varPhi (\zeta ,z)\) satisfies the following estimate:
for every \(\zeta \in b\Omega \cap B(P,c)\), and \(z\in {\Omega }\), \(|z-\zeta |<c\).
Proof
This Lemma was first proved by Range in [23, 24] for \(F(t)=t^m\) and by the present author for F-type functions in [12]. We recall the proof here for convenience. Let \(\delta , c\) and \(\rho (z)\), \(\varPhi (\zeta ,z)\) be as above, and let \((w',w_n)=(w_1,\ldots ,w_{n-1},w_n)\). For any \(\zeta \in b\Omega \cap B(P,\delta )\), we define the holomorphic map \(\psi _{\zeta }:z\mapsto w=(w',w_n)=(z'-\zeta ', \varPhi (\zeta ,z))\). The Jacobian matrix of \(\psi _{\zeta }\) at \(\zeta \) is unitary since (4) in Lemma 2.1. Hence, the inverse map \(\psi _{\zeta }^{-1}\) exists and can be assumed that its Jacobian matrix is uniformly bounded. As an immediate result, \(|\psi _{\zeta }(z)-\psi _{\zeta }(Z)|\approx |z-Z|\) for all \(z,Z\in B(\zeta ,c)\). We define \(\rho _{\zeta }(w',w_n):=\rho (\psi _{\zeta }^{-1}(w',w_n))\); then \(\rho _{\zeta }\) is a defining function for \(\psi _{\zeta }(\Omega \cap B(\zeta ,c))\).
By the property (3) in Lemma 2.1 and the F-type condition, after shrinking c enough, for some d small, we obtain
where \(a_k=\dfrac{\partial ^2\rho }{\partial \zeta _k \partial \bar{\zeta }_k}(\zeta )\). Therefore, by Taylor’s theorem, for any \(|w|<d\), we have
where the last inequality follows from \(\partial _{w}\rho _{\zeta }(0)=dw_n\) and \(o(1)\rightarrow 0\) when \(|w|\rightarrow 0\). Here, the convergence is uniform in \(\zeta \)-variables, since the fact that o(1) in our case only depends on the modulus of continuity of the first-order partial derivatives of \(\rho _{\zeta }(w',w_n)\). So, let \(0<d^*<d\) be so small such that \(o(1)|w_n|\le |{\text {Re}}w_n|+|{\text {Im}}w_n|\) for every \(|w|\le d^*\). Hence, the above inequality implies that
for \(|w|<d^*\). This implies
The last step is to convert \(\rho _{\zeta }(w)\) to \(\rho (z)\). To do this, we choose \(c^*<c\) so small such that \(\psi _{\zeta }(B(\zeta ,c^*))\subset B(0,d^*)\). Then, using the Taylor’s formula and the fact that F is smooth, we have
so we obtain
Replace the left-hand side by \(C|\varPhi |\), for \(C>0\) large enough, the following holds
This completes the proof. \(\square \)
Remark 2.5
This proof also implies that
for \(|\zeta -z|<c\). Then we have
for \(|\zeta -z|<c\) and \(\rho (z)\le \rho (\zeta )\).
Moreover, it is not difficult to show that:
Corollary 2.6
Let \(\Omega \subset \mathbb {C}^n\) be a smoothly bounded, convex domain admitting an F-type at all boundary points. The following inequality holds
for \(|z|+|\zeta |<1\), \(|\zeta -z|<c\) and \(\rho (z)\le \rho (\zeta )\).
3 Examples
In this section, we provide some examples to illustrate the notion of F-type. Firstly, we begin with some convex domains of finite type in the sense of Range (see [23, 24]).
3.1 Domain of Finite Type
Example 3.1
([25, p. 195]) Let \(\Omega \subset \mathbb {C}^2\) be a bounded strictly convex domain with its smooth, strictly plurisubharmonic defining function \(\rho \). For every \(P\in b\Omega \), there exist positive constants \(c', c\) and C such that for all \(\zeta \in \overline{\Omega }\cap B(P,c')\) we have
where \(|\zeta -z|<c\).
Hence, when \(\zeta \in b{\Omega } \cap B(P,c')\), \(z\in \{|\zeta -z|<c\}\) and \(\varPhi (\zeta ,z)=0\), we have
with \(F(t)=t\). So \(\Omega \) is of F-type.
Example 3.2
([24, Corollary 5.4]) Let us consider the following complex ellipsoid
Then there exist constants \(c, C>0\) such that
for \(\zeta \in \bar{\Omega }\), \(z\in \Omega \) with \(|\zeta -z|<c\), and \(m=\max \{m_j\}\). Thus \(\Omega \) is a convex domain admitting an F-type, with \(F(t)=t^m\).
Example 3.3
([22, Proposition 1]) Let \(\Omega \subset \mathbb {C}^2\) be a convex domain with real-analytic boundary, i.e., \(\rho \) is a real-analytic function. Then, there exist constants \(c, C>0\) and a positive integer m such that
for \(\zeta \in \bar{\Omega }\), \(z\in \Omega \) with \(|\zeta -z|<c\). Therefore \(\Omega \) is a domain admitting an F-type, with \(F(t)=t^m\).
Example 3.4
Assume that \(\Omega \) denote a bounded domain of the type
where all functions \(\rho _j\) are assumed to be real-analytic in \([0,a_j]\) such that
-
(1)
\(\rho _j'(t)\ge 0, \rho _j'(t)+2t\rho _j''(t)\ge 0\) for \(0\le t\le a_j\);
-
(2)
\(\rho '_j(0)=\rho _j(0)=0\) and \(\rho _j(a_j)>1\).
In [2], Bruna and del Castillo obtained that there exists a positive integer m such that
and
Therefore \(\Omega \) is a smoothly bounded, admissibly decoupled, convex domain admitting an F-type, with \(F(t)=t^m\).
3.2 Domains of Infinite Type
In this subsection, we consider a large class of certain convex domains of infinite type in \(\mathbb {C}^n\).
Example 3.5
where \(0<\alpha _k<\dfrac{1}{2(n-1)}\). We are going to prove that \(\Omega ^{\infty }\) is a domain admitting F-type with \(F(t)=\exp \left( 1-\dfrac{1}{t^s}\right) \), \(0<s<\dfrac{1}{2(n-1)}\).
When \(n=2\), in [32], Verdera proved that \(\Omega ^{\infty }\) is a convex domain admitting F-type with \(F(t)=\exp \left( 1-\dfrac{1}{t^s}\right) \) for \(0<s<1/2\).
Lemma 3.6
Let \(0<s<\dfrac{1}{2}\), and \(g:[0,1]\rightarrow \mathbb {R}\) be defined by \(g(t)=\exp \left( 1-\dfrac{1}{t^{s}}\right) \). There exists a constant \(\eta =\eta (s)>0\), and the following inequality holds:
where \(\zeta ,v\in \mathbb {C}\), \(|\zeta |+|v|<\eta \).
Proof
We may assume that \(\zeta ,v\ne 0\), and then write \(\zeta =r\exp (i\theta )\), \(v=R\exp (i\beta )\) and \(v\zeta ^{-1}=\mu \exp (i\gamma )\). Let us fix r, R and \(\theta \). Then, let \(\beta \) vary; the left-hand side of (3.1) equals to
Since r is fixed,
Because \(0<t\le 1\), \(g'(t)>0\) and there is \(0<\tau <1\) such that \(g''(t)>0\) for all \(0<t<\tau \). Therefore, without loss of generality, it may be assumed that \(r<\sqrt{\tau }\) which satisfies
Notice that \(F'(\gamma )=0\) if and only if \(\gamma =0,\pi \) or \(\cos \gamma =-\mu /2\). We consider \(\mu \) in two cases.
-
(1)
If \(\mu <2\), then \(\cos \gamma >-1\), and so F attains its absolute minimum value at \(\gamma \) with \(\cos \gamma =-\mu /2\). At such \(\gamma \),
$$\begin{aligned} F(\pi )=g'(r^2)R^2>g'(R^2/4)R^2. \end{aligned}$$ -
(2)
If \(\mu \ge 2\), F attains its absolute minimum value at \(\gamma =\pi \), and
$$\begin{aligned} F(\pi )=g(r^2+R(R-2r))-g(r^2)+2rRg'(r^2). \end{aligned}$$Now let R vary, \(F(\pi )\) is a function of R. Firstly, if \(2r\le R\le 4r\), \(F(\pi )\) attains its absolute minimum at \(R=2r\). Then at this R,
$$\begin{aligned} F(\pi )=4g'(r^2)r^2\ge g'(NR^2)NR^2\quad (N=1/16\ \text {for instance}). \end{aligned}$$Secondly, if \(R>4r\), then \(R-2r>R/2\). Hence, at such R, and for \(R^2/16<t<R^2/2\) we have
$$\begin{aligned} F(\pi )\ge & {} g\left( r^2+\frac{R^2}{2}\right) -g(r^2)+2rRg'(r^2)\\\ge & {} g\left( r^2+\frac{R^2}{2}\right) -g(r^2)\\\ge & {} g\left( \frac{R^2}{2}\right) -g\left( \frac{R^2}{16}\right) \\= & {} \frac{7}{16}R^2g'(t). \end{aligned}$$Finally, if \(\tau >R^2/2\), \(g'(t)\ge g'(R^2/16)\). Since F is minimized at \(\gamma =\pi \), taking the infimum over \(0\le \gamma \le 2\pi \), we have
$$\begin{aligned} \inf _{0\le \gamma \le 2\pi }F(\gamma )\ge g'(NR^2)NR^2, \quad \text {for}\ r,R<\sqrt{\tau }. \end{aligned}$$Note that \(g''(t)>0\) for all \(0<t<\tau \), so \(g(t)\le tg'(t)\) for \(0<t<\tau \). Applying this to the above inequality, the desired estimate is obtained.
In case \(n=2\), Lemma 3.6 is all that we need to prove the main theorem. However, in case \(n\ge 3\), we need more sharp right-hand side.
Lemma 3.7
Let \(\alpha , g\) and \(\eta \) be defined as in Lemma 3.6. Then we have
where \(\zeta ,v\in \mathbb {C}\), \(|\zeta |+|v|<\eta \).
Proof
By Taylor’s series expansion, the left-hand side of (3.2) agrees with Taylor polynomial
Firstly, if \(\alpha +\beta =2\), by an elementary calculus, we deduce that
Secondly, when \(|\alpha |+|\beta |\ge 3\), we consider \(|v|\le a|\zeta |\) for some \(0<a<1\). Then, (3.3) implies that
for \(|v|\le a|\zeta |\) and for a sufficiently small a.
Otherwise, if \(|v|>a|z|\), then
Thus, it follows from Lemma 3.6 that
Hence, gathering results, we obtain the desired inequality. \(\square \)
Corollary 3.8
For \(\zeta \in b\Omega ^{\infty }\), there are constants \(c>0\) and \(0<s<\dfrac{1}{2(n-1)}\) such that we have
for \(|z-\zeta |<c\) and \(z\in (T_{\zeta }(\Omega ^{\infty }))^{\mathbb {C}}\)—the complex tangent space to \(b\Omega ^{\infty }\) at \(\zeta .\)
Proof
Firstly, we have
Secondly, it follows from (3.2) that
Finally, for some small \(c>0\), if \(\zeta \in b\Omega ^{\infty }\cap B(P,c)\) we have
for all \(z\in B(\zeta ,c)\) with \(\varPhi (\zeta ,z)=0\). That means \(\Omega ^{\infty }\) is a domain admitting F-type with \(F(t)=\exp \left( 1-\dfrac{1}{t^s}\right) \), \(0<s<\dfrac{1}{2(n-1)}\). \(\square \)
Next we compute the integral
for \(0<d<1\), where \(F(t)=\exp \left( 1-\dfrac{1}{t^{\alpha }}\right) \), \(0<\alpha <\dfrac{1}{2(n-1)}.\) Since \(F^*(t)=\dfrac{1}{t(1-\ln t)^{\frac{1}{\alpha }}}\), we have
Since \(0<\alpha <\dfrac{1}{2(n-1)}\),
Immediately we have
This gives
where f is defined in Main Theorem. Therefore, as a consequence of Main Theorem, we have
Corollary 3.9
Let \(\varphi \in C^k_{(0,q)}(\Omega ^{\infty })\) be a \(\bar{\partial }\)-closed differential form on \(\Omega ^{\infty }\) with \(k\ge 0\) and \(1\le q\le n-1\).
-
(1)
If \(n=2\), there exists a function \(u\in \Lambda ^f_k(\Omega ^{\infty })\) so that \(\bar{\partial } u=\varphi \) and
$$\begin{aligned} \Vert u\Vert _{\Lambda ^{f}_k(\Omega ^{\infty })}\le C_{k}\Vert \varphi \Vert _{C^{k}_{(0,1)} (\Omega ^{\infty })}, \end{aligned}$$where
$$\begin{aligned} \displaystyle f(d)=\left( \frac{1}{2\alpha }-1\right) (1+|\ln d|)^{\frac{1}{2\alpha }-1}. \end{aligned}$$ -
(2)
If \(n\ge 3\), there exists a \((0,q-1)\)-differential form \(u\in \Lambda ^{k,f}_{(0,q-1)}(\Omega ^{\infty })\) so that \(\bar{\partial } u=\varphi \) and
$$\begin{aligned} \Vert u\Vert _{\Lambda ^{k,f}_{(0,q-1)}(\Omega ^{\infty })} \le C_{k,s,n}\Vert \varphi \Vert _{C^{k}_{(0,q)}(\Omega ^{\infty })}, \end{aligned}$$for every \(0\le s\le n-3\) and where
$$\begin{aligned} f(d)=\displaystyle \dfrac{(1+|\ln d|)^{\frac{1}{2\alpha }+1+s-n}}{\displaystyle \sum \nolimits _{j=0}^{n-s-2}\frac{(-1)^{j+1}}{n-s-1-j-\frac{1}{2\alpha }}\begin{pmatrix} n-s-2\\ j \end{pmatrix}(1+|\ln d|)^{-j}}. \end{aligned}$$
Example 3.10
By the same arguments above with some minor modifications, it is not difficult to show that
where \(\alpha _k>2\), is a convex domain admitting F-type with \(F(t^2)=2\exp \left( -\dfrac{1}{t|\ln t|^{\alpha }}\right) \), \(\alpha =\max _{k}\alpha _k\).
4 Higher Derivatives of Henkin–Ramirez Solution on Convex Domains
As mentioned in Sect. 1, we briefly recall the construction of Henkin–Ramirez solution operators for the \(\bar{\partial }\)-equation in \(\Omega \).
For \(1\le j\le n\), and \(\lambda \in [0,1]\) we define
Assume that there exists a small \(\delta _0>0\) such that for all \(|\delta |\le \delta _0\), domains \(\{z:\rho (z)<\delta \}\) are convex. Let G be an open neighborhood of \(\bar{\Omega }\) such that the closure \(\bar{G}\subset \{z:\rho (z)<\delta _0\}\), and we set \(K=\bar{G}\setminus \Omega \).
Since \(\omega =(\omega _1,\ldots ,\omega _n)\) is well defined on \(K\times \Omega \times [0,1]\), for \(q=0,1,\ldots ,n-1\), we set
where \(\bar{\partial }_{\zeta ,\lambda }=\bar{\partial }_{\zeta } +d_{\lambda }\). Notice that
The following lemma is a multi-dimensional version of the Cauchy–Pompeiu formula in one complex variable.
Lemma 4.1
(Bochner–Martinelli–Koppelman formula) ([26, Lemma 2.4]) Let \(B_{q}(\zeta ,z)=K_q(\zeta ,z,0)\). For \(\varphi \in C^1_{(0,q)}(\bar{\Omega })\) and \(z\in \Omega \), we have
The Henkin–Ramirez solution operator for the \(\bar{\partial }\)-problem is given in the following lemma.
Lemma 4.2
[26, Sect. 2] For \(\varphi \in C_{(0,q)}(\bar{\Omega })\), \(1\le q\le n\), and \(z\in \Omega \) define
Then, if \(\varphi \in C^1_{(0,q)}(\bar{\Omega })\) is \(\bar{\partial }\)-closed, then
on \(\Omega \).
In order to apply Stoke’s theorem to \(\mathcal {T}_q\varphi \), we must modify \(\mathcal {T}_q\) as I. Lieb and R.M. Range have done in [21]. To do so, we need a Seeley type operator (see [29] for details). We denote by \(C^k_c(W)\) the space of \(C^k(W)\)-functions from \(W\rightarrow \mathbb {C}\) with compact support.
Lemma 4.3
(Seeley extension) If \(\Omega \subset \mathbb {R}^N\) is an open set with smooth boundary and G is a neighborhood of \(\bar{\Omega }\). Then there exists a linear operator \(E:C^0(\bar{\Omega })\rightarrow C^0_c(G)\), such that
-
(1)
\(Eu|_{\bar{\Omega }}=u\);
-
(2)
for \(k=0,1,\ldots ,\) if \(u\in C^k(\bar{\Omega })\), then \(Eu\in C^k_c(G)\);
-
(3)
for \(k=0,1,\ldots \), there exists a constant \(C_k\) so that
$$\begin{aligned} \Vert Eu\Vert _{C^k(G)}\le C_k\Vert u\Vert _{C^k(\Omega )}. \end{aligned}$$
Let \(\varphi =\sum _{I}\varphi _I\mathrm{d}\bar{z}^I\) be a (0, q)-differential form on \(\Omega \). We also write \(E\varphi =\sum _{I}E\varphi _Id \bar{z}^I\) as the extension of \(\varphi \). Then the Henkin–Ramirez solution operator for the \(\bar{\partial }\)-equation is extended to G as follows.
Definition 4.4
For \(1\le q\le n\), \(\varphi \in C_{(0,q)}(\bar{\Omega })\), and \(z\in \Omega \), we define
Lemma 4.5
[27, Lemma 3.2] If \(\varphi \in C^1_{(0,q)}(\bar{\Omega })\), \(\bar{\partial } \varphi =0\) on \(\Omega \), then
for \(z\in \Omega \). In this case, we have
Proof
Firstly, since
and \(\bar{\partial }_z\mathcal {T}_q\varphi =\varphi \), and \((\bar{\partial })^2=0\), we obtain
Secondly, since \(\bar{\partial }_z(E\varphi (\zeta )\wedge K_{q-2}(\zeta ,z,\lambda ))=-E\varphi (\zeta )\wedge \bar{\partial }_{\zeta ,\lambda }K_{q-1}(\zeta ,z,\lambda )\) we have
The fact \(b(K\times [0,1])=(bG\times [0,1])\cup (K\times \{1\})\setminus (b\Omega \times [0,1])\setminus (K\times \{0\})\) implies
Hence the desired identity follows immediately. \(\square \)
The second integral over \(\displaystyle \int \nolimits _{G}E\varphi (\zeta )\wedge B_{q-1}(\zeta ,z)\) is not significant in our analysis since this operator is bounded from \(C^{k}_{(0,q)}(\bar{\Omega })\) into \(\Lambda ^{k,f}_{(0,q)}(\Omega )\) for all \(0< f(t)\lesssim t\). The problematic subject is the first integral
since K contains the boundary \(b\Omega \).
Next, we will write down the operator \(\mathcal {T}\varphi \) into a linear combination of simple terms. The definition of \(K_{q}\) implies that \(K_{q-1}\) is a linear combination of the terms
Then, taking the wedge product by \(\bar{\partial } E\varphi \) and integrating over \(\lambda \in [0,1]\), the second integrals involving terms of second terms equal to zero. Hence, \(\mathcal {T}\varphi (z)\) is a linear combination of the terms
From the definition of \(\varPhi \), we have
and so
Since \(\nabla \rho \ne 0\) on \(b\Omega \), for each \(\zeta _0\in b\Omega \), there exists an index \(\nu _{\zeta _0}\) such that
The compactness of K implies that there are a finite covering \(\{U_j\}_{j=1}^m\) of K and \(a>0\) such that for every j there is \(\nu _j\) with
Let \(\{\chi _j\}_{j=1}^m\subset C^{\infty }(K)\) be a partition of unity of K with corresponding to the finite covering \(\{U_j\}_{j=1}^m\), so
Since
for all \(0\le s\le n-2\), it is sufficient to estimate for every j and J, \(0\le s\le n-2,\)
where \(\bar{\partial }E\varphi (\zeta )=\sum _{|J|=q+1}\phi _J (\zeta )\mathrm{d}\bar{\zeta }^J\), and \(2\le |\alpha |\le k+1\) due to Lemma 5.1. Since \(\phi _J=0\) on \(\Omega \) and \(\phi _J\in C^{k-1}_c(G)\), \(\chi _j\phi _J\in C^{k-1}_c(U_j)\) and \(\chi _j\phi _J=0\) on \(U_j\cap \Omega \).
For convenience, we assume \(\left| \dfrac{\partial \widetilde{\varPhi }}{\partial \zeta _{\nu }}\right| \ge a\) on \(U\times U\). We try to express the long integral (4.2) explicitly. Since \(\Omega \) is admissibly decoupled, it is enough to consider the following integrals, for each \(z\in U\) and \(2\le |\alpha |\le k+1,\, 0\le s\le n-2\),
Lemma 4.6
(Converting derivative lemma) Assume
Then for each \(z\in U\) and \(2\le |\alpha |\le k+1\), the integral
is a linear combination of the following terms
where
and \(0\le |\beta |\le |\alpha |-2\), \(\kappa (\zeta )\) is a smooth, bounded function, \(m=0,1,2\), and \(N_j(\zeta ,z)\)’s are products of j-factors of the form \((\zeta _j-z_j)\) or \((\bar{z}_j-\bar{\zeta }_j)\) with
Proof
This lemma is proved in [27, Proposition 3.1]. \(\square \)
Since
for all \(|z|<1\),
5 Proof of the Main Theorem
In case \(F(t)=t^m\), we use the Hardy–Littlewood Lemma to obtain standard Hölder estimates. However, since the F-type function F in this paper is more general, we must apply the following result which was proved in [17].
Lemma 5.1
(General Hardy–Littlewood lemma) Let \(\Omega \) be a smoothly bounded domain in \(\mathbb {R}^N\) and let \(\rho \) be a defining function of \(\Omega \). Let \(G:\mathbb {R}^+\rightarrow \mathbb {R}^+\) be an increasing function such that \(\displaystyle \frac{G(t)}{t}\) is decreasing and \(\displaystyle \int _0^d\frac{G(t)}{t}\mathrm{d}t<\infty \) for \(d>0\) small enough. If \(u\in C^1(\Omega )\) such that
then
uniformly in \(x,y\in \Omega \), \(x\ne y\), and where \(\displaystyle f(d^{-1}):=\left( \int _0^{d}\frac{G(t)}{t}\mathrm{d}t\right) ^{-1}\).
Let \(U\subset G\) be a member of \(\{U_j\}\), where \(\{U_j\}\) is defined in the previous section.
Lemma 5.2
If \(v\in C^{k-1}_c(U)\), \(v=0\) on \(\Omega \cap U\), then
where \(m=0,1,2\), \((k-1-|\beta |)-(p+m)\ge -2\), \(|\beta |\le k-1\), and for small \(t>0\)
Proof
Since \(v(\zeta )=0\) for \(\zeta \in U\cap \Omega \), by Mean Value Theorem, we have
This implies
Therefore, it is sufficient to show that
Since the second estimate (\(n=2\)) is proved similarly and simpler than the first one, we omit its proof here. This means we must show that
if \(n\ge 3\), for \(0\le s\le n-3\), and \(M=1,2,3.\)
Recalling that (4.4) holds on \(K\cap U\), by Corollary 2.6 we have
where \(\rho (\zeta )>0\) since \(\zeta \in K\cap U\), \(-\rho (z)=|\rho (z)|\) since \(z\in \Omega \cap U\).
Hence, all of integrals of the form (5.1) are bounded from above by
Moreover, since \(\Omega \) is bounded and \(\rho \) is smooth, \(|\widetilde{\varPhi }(\zeta ,z)|\lesssim |\zeta -z|\). This gives that
Next, in order to estimate \(I_1\), we localize the domain \(\Omega \cap U\) by the so-called the Henkin coordinates see ([14, p. 608]).
Lemma 5.3
(Henkin coordinates) There is a neighborhood W of \(b\Omega \) such that if \(z\in W\) and
then the function \((x_1,\ldots ,x_{2n-2},y,t)\) form a set of real coordinates in some neighborhood of z, where
Applying the Henkin coordinates to \(I_1\), with \((x,y,t)=(x_1,\ldots ,x_{2n-2},y,t)\), we obtain
Notice that
Therefore, using polar coordinates for each \((x_{2j-1},x_{2j})\), we get
Using the spherical coordinates \(r=|x''|\) in \(\mathbb {R}^{2s+2}\), we obtain immediately the following estimate
Now, the last integral is estimated inspired by the techniques by Khanh in [17]. We split it into two parts
It is clear that the “easy part” is bounded from above by \(\dfrac{\sqrt{F^*(|\rho (z)|)}}{|\rho (z)|}\).
For the “diff. part”, if \(r\ge \sqrt{F^*(|\rho (z)|)}\), then
Then we have
Therefore,
Combining all results, we have
Therefore the proof of the lemma is complete. \(\square \)
Proposition 5.4
Let \(\varphi \in C^k_{(0,q)}(\Omega )\) be a \(\bar{\partial }\)-closed differential form with \(k\ge 1\). Then,
-
(1)
if \(n=2\), we have
$$\begin{aligned} \Vert S_q\varphi \Vert _{\Lambda ^{k,f}_{(0,q-1)}(\Omega )} \lesssim \Vert \varphi \Vert _{C^{k}_{(0,q)}(\Omega )}, \end{aligned}$$where
$$\begin{aligned} \displaystyle f(d^{-1})=\left( \int _0^d \frac{\sqrt{F^*(t)}}{t}\mathrm{d}t\right) ^{-1}. \end{aligned}$$ -
(2)
if \(n\ge 3\), we have
$$\begin{aligned} \Vert S_q\varphi \Vert _{\Lambda ^{k,f}_{(0,q-1)}(\Omega )} \lesssim \Vert \varphi \Vert _{C^{k}_{(0,q)}(\Omega )}, \end{aligned}$$where
$$\begin{aligned} f(d^{-1})=\left( \int _0^d\frac{(-\ln t)^{n-s-2} \sqrt{F^*(t)}}{t}\mathrm{d}t\right) ^{-1}. \end{aligned}$$
Proof
Let U be the open set in Lemma 5.2. We show that the assertions (1) and (2) hold on \(\Omega \cap U\). Therefore, by the estimates in Lemma 5.2, it suffices to check that \(\sqrt{F^*(t)}\) and \((-\ln t)^{n-s-2}\sqrt{F^*(t)}\) satisfy all conditions in General Hardy–Littlewood Lemma for \(t>0\) small. When \(n=2\), the proof is more easy than the case \(n\ge 3\). The fact \((-\ln t)^{n-s-2}\sqrt{F^*(t)}\) is decreasing is trivial. Moreover,
Since \(\dfrac{F(t)}{t}\) is increasing, \(tF'(t)\ge F(t)\). Therefore, for small \(t>0\),
and so
is also decreasing. Finally, we show that
Let \(t=F(y^2)\), we have
Since \((-\ln (F(t^2))^{n-s-1}\) is decreasing when \(0\le t\le \delta \), for \(0<\delta <c\) small enough, we have
uniformly in \(0\le \eta \le \delta \). Hence, \(\sqrt{F^*(t)}(-\ln t)^{n-s-1}<\infty \), for all \(0\le t \le \sqrt{F^*(\delta )}\), and \(\displaystyle \lim _{t\rightarrow 0}t(-\ln F(t^2))^{n-s-1}=0\). These imply
On \(\Omega \setminus U\), the proof the these estimates are trivial. Indeed, for every small \(\delta >0\), since \(\{z:\rho (z)<\delta \}\) is convex, \(\widetilde{\varPhi }(\zeta ,z)\ne 0\) on \(K\times (\Omega \setminus U)\). Hence \(|\widetilde{\varPhi }(\zeta ,z)|\ge a>0\) on the compact set \(K\times (\Omega \setminus U)\). Shrinking \(a>0\) if necessary, we can assume that \(|\zeta -z|>a>0\) for all \((\zeta ,z)\in K\times (\Omega \setminus U).\) That means \(S_q\varphi (z)\) is not singular for \(z\in \Omega \setminus U\). \(\square \)
Remark 5.5
In the proof of Lemma 5.2, if we follow the same technique in [24] or [27], then we do certainly obtain \(t^{-\alpha (n-s-2)}\dfrac{F^*(t)}{t}\) for \(0<\alpha \ll 1\), \(0\le s\le n-3\). Then we also need that \(t^{-\alpha (n-s-2)}F^*(t)\) is increasing for some \(\alpha \) since the general Hardy–Littlewood lemma requires. However, this requirement holds if and only if \(F(t)\approx t^m\), for some \(m\in \mathbb {Z}^+\). Then we obtain the results by R. M. Range in [24] or by J. Ryczaj in [27].
Proposition 5.6
-
(1)
If \(n=2\), we have \( \Vert S_q\varphi \Vert _{\Lambda ^{0,f}_{(0,q-1)} (\Omega )}\lesssim \Vert \varphi \Vert _{L^{\infty }_{(0,q)}(\Omega )}\), for any \(\bar{\partial }\)-closed differential form \(\varphi \in C_{(0,q)}(\bar{\Omega })\), where
$$\begin{aligned} \displaystyle f(d^{-1})=\left( \int _0^d\frac{\sqrt{F^*(t)}}{t}\mathrm{d}t\right) ^{-1}. \end{aligned}$$ -
(2)
If \(n\ge 3\), for every \(0\le s\le n-3\), we have \(\Vert S_q\varphi \Vert _{\Lambda ^{0,f}_{(0,q-1)}(\Omega )} \lesssim \Vert \varphi \Vert _{L^{\infty }_{(0,q)}(\Omega )}\), for any \(\bar{\partial }\)-closed differential form \(\varphi \in C_{(0,q)}(\bar{\Omega })\), where
$$\begin{aligned} f(d^{-1})=\left( \int _0^d\frac{(-\ln t)^{n-s-2}\sqrt{F^*(t)}}{t}\mathrm{d}t\right) ^{-1}. \end{aligned}$$
Proof
Since \(\varphi \in C_{(0,q)}(\bar{\Omega })\), we make use of them form of \(S_q\varphi \) given by the definition 4.4. Moreover,
In both of cases, we always have \(\Vert \mathcal {T}_q \varphi \Vert _{\Lambda ^{0,f}_{(0,q-1)}(\Omega )}\lesssim \Vert \varphi \Vert _{L^{\infty }_{(0,q)}(\Omega )},\) see [12, Main Theorem]. Hence it is enough to show that for \(q>1\) we have
Moreover, this estimate is a consequence of the fact: for \(v\in C_0(U_j)\) and \(z\in U_j\), the following estimate holds:
where
It is clear that by applying the same technique in the proof of Lemma 5.2 we can easily obtain the estimate (5.4). Hence we have completed the proof of the proposition. \(\square \)
Proof of Main Theorem
Let \(|\alpha |=k\), and let v and V be the coefficients of \(D^{\alpha }S_q\varphi \) and \(D^{\alpha }S_qE\varphi \), respectively, where \(E\varphi \) is the extension of \(\varphi \) on G by Lemma 4.3. For all \(z,w\in \Omega \), from Proposition 5.6, we have
This completes the proof of Main theorem. \(\square \)
References
Alexandre, W.: \(C^k\)-estimates for the \(\bar{\partial }\)-equation on convex domains of finite type. Math. Z. 252(3), 473–496 (2006)
Bruna, J., del Castillo, J.: Hölder and \(L^p\)-estimates for the \(\bar{\partial }\)-equation in some convex domains with real-analytic boundary. Math. Ann. 269, 527–539 (1984)
Catlin, D.: Necessary conditions for subellipticity of the \(\bar{\partial }\)-Neumann problem. Ann. Math. 117(1), 147–171 (1983)
Chen, Z., Krantz, S.G., Ma, D.: Optimal \(L^p\) estimates for the \(\bar{\partial }\)-equation on complex ellipsoids in \(\mathbb{C}^n\). Manuscr. Math. 80(2), 131–149 (1993)
Cumenge, A.: Sharp estimates for \(\bar{\partial }\) on convex domains of finite type. Ark. Mat. 39(1)(2), 1–25 (2001)
Chen, S.C., Shaw, M.C.: Partial Differential Equations in Several Complex Variables. AMS/IP Studies in Advanced Mathematics. American Mathematical Society, Providence (2001)
Diederich, K., FornÆss, J.E., Wiegerinck, J.: Sharp Hölder estimates for \(\bar{\partial }\) on ellipsoids. Manuscr. Math. 56(4), 399–417 (1986)
Fornaess, J.E., Lee, L., Zhang, Y.: On supnorm estimates for \(\bar{\partial }\) on infinite type convex domains in \(\mathbb{C}^2\). J. Geom. Anal. 21, 495–512 (2011)
Grauert, H., Lieb, I.: Das Ramirezsche Integral und die Lösung der Gleichung \(\bar{\partial } f=\alpha \) im Bereich der beschränkten Formen. Rice Univ. Stud. 56, 29–50 (1970)
Ha, L.K.: Zero varieties for the Nevanlinna class in weakly pseudoconvex domains maximal type \(F\) in \(\mathbb{C}^2\). Ann. Glob. Anal. Geom. 51(4), 327–346 (2017)
Ha, L.K.: On the global Lipschitz continuity of the Bergman projection on a class of convex domains of infinite type in \(\mathbb{C}^2\). Colloq. Math. 150(2), 187–205 (2017)
Ha, L.K.: Hölder and \(L^p\) Estimates for the \(\bar{\partial }\) equation in a class of convex domains of infinite type in \(\mathbb{C}^n\). Monatsh. Math. (2019). https://doi.org/10.1007/s00605-019-01327-0
Ha, L.K., Khanh, T.V., Raich, A.: \(L^p\)-estimates for the \(\bar{\partial }\)-equation on a class of infinite type domains. Int. J. Math. 25, 1450106 (2014). [15pages]
Henkin, G.M.: Integral representations of holomorphic functions in strictly pseudoconvex domains and some applications. Math. USSR Sbornik 7(4), 616–797 (1969)
Henkin, G.M.: Integral representations of functions in strictly pseudoconvex domains and applications to the \(\bar{\partial }\)-problem. Math. USSR Sbornik 11(22), 273–281 (1970)
Kerzman, N.: Hölder and \(L^p\) estimates for solutions of \(\bar{\partial } u=f\) in strongly pseudoconvex domains. Commun. Pure Appl. Math. 24, 301–379 (1971)
Khanh, T.V.: Supnorm and \(f\)-Hölder estimates for \(\bar{\partial }\) on convex domains of general type in \(\mathbb{C}^2\). J. Math. Anal. Appl. 430, 522–531 (2013)
Kohn, J.J., Nirenberg, L.: A pseudoconvex domain not admitting a holomorphic support function. Math. Ann. 201, 265–268 (1973)
Krantz, S.G.: Optimal Lipschitz and \(L^p\) regularity for the equation \(\bar{\partial } u=f\) on strongly pseudo-convex domains. Math. Ann. 219, 233–260 (1976)
McNeal, J.D.: Convex domains of finite type. J. Funct. Anal. 108, 361–373 (1992)
Lieb, I., Range, M.: Lösungsoperatoren für den Cauchy-Riemann-Komplex mit \(C^k\)-Abschätzungen. Math. Ann. 253(2), 145–164 (1980)
Range, R.M.: Hölder estimates for \(\bar{\partial }\) on convex domains in \(\mathbb{C}^2\) with real analytic boundary. Proc. Symp. Pure Math. 30, 31–33 (1977)
Range, R.M.: The Carathéodory metric and holomorphic maps on a class of weakly pseudoconvex domains. Pac. J. Math. 78(1), 173–189 (1978)
Range, R.M.: On the Hölder estimates for \(\bar{\partial } u=f\) on weakly pseudoconvex domains. In: Proceedings of International Conferences, Cortona, Italy, 1976-1977, pp. 247–267. Scuola Normale Superiore di Pisa (1978)
Range, R.M.: Holomorphic Functions and Integral Representations in Several Complex Variables. Springer, Berlin (1986)
Range, M., Siu, Y.-T.: Uniform estimates for the \(\bar{\partial }\)-equation on domains with piecewise smooth strictly pseudoconvex boundaries. Math. Ann. 206, 325–354 (1973)
Ryczaj, J.: \(C^k\)-estimates for the Cauchy-Riemann equations on certain weakly pseudoconvex domains. Colloq. Math. 52(2), 289–304 (1987)
Saito, T.: Hölder estimates on higher derivatives of the solution for \(\bar{\partial }\)-equation with \(C^k\)-data in strongly pseudoconvex domain. J. Math. Soc. Jpn. 32(2), 213–231 (1980)
Seeley, R.T.: Extension of \(C^{\infty }\)-functions defined in a half space. Proc. Am. Soc. 15, 625–626 (1964)
Sibony, N.: Un exemple de domaine pseudoconvexe régulier où l’équation \(\bar{\partial }\) n’admet pas de solution bornée pour f bornée. Invent. Math. 62(2), 235–242 (1980/81)
Siu, Y.-T.: The \(\bar{\partial }\) problem with uniform bounds on derivatives. Math. Ann 207, 163–176 (1974)
Verdera, J.: \(L^{\infty }\)-continuity of Henkin operators solving \(\bar{\partial }\) in certain weakly pseudoconvex domains of \({\mathbb{C}}^2\). Proc. R. Soc. Edinb. 99, 25–33 (1984)
Acknowledgements
The author would like to thank the referees for useful remarks and comments that led to the improvement of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research is funded by Vietnam National University HoChiMinh City (VNU-HCM) under Grant Number B2019-18-01. Some parts of the paper were completed during a scientific stay of the author at the Vietnam Institute for Advanced Study in Mathematics (VIASM), whose hospitality is gratefully appreciated.
Rights and permissions
About this article
Cite this article
Ha, L.K. \(C^k\)-Estimates for \(\bar{\partial }\)-Equation on Certain Convex Domains of Infinite Type in \(\mathbb {C}^n\). J Geom Anal 31, 2058–2087 (2021). https://doi.org/10.1007/s12220-019-00332-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-019-00332-x
Keywords
- \(\bar{\partial }\)
- Henkin solution
- Henkin operator
- Hölder estimates for \(\bar{\partial }\)
- Infinite-type domains