# Equivalence of estimates on domain and its boundary

## TL;DR

This paper establishes a precise equivalence between boundary and domain estimates for the complex Laplacian and Kohn-Laplacian on pseudoconvex domains, extending understanding of boundary-domain relationships in complex analysis.

## Contribution

It proves that certain estimates on the boundary are equivalent to combined estimates on the domain and its complement, using Kohn's method.

## Key findings

- Boundary estimates imply domain estimates for complementary degrees.
- Domain estimates for certain degrees imply boundary estimates.
- The equivalence holds for all degrees between 1 and n-2.

## Abstract

Let $\Omega$ be a pseudoconvex domain in $\mathbb C^n$ with smooth boundary $b\Omega$. We define general estimates $(f\text{-}\mathcal M)^k_{\Omega}$ and $(f\text{-}\mathcal M)^k_{b\Omega}$ on $k$-forms for the complex Laplacian $\Box$ on $\Omega$ and the Kohn-Laplacian $\Box_b$ on $b\Omega$. For $1\le k\le n-2$, we show that $(f\text{-}\mathcal M)^k_{b\Omega}$ holds if and only if $(f\text{-}\mathcal M)^k_{\Omega}$ and $(f\text{-}\mathcal M)^{n-k-1}_{\Omega}$ hold. Our proof relies on Kohn's method in [Ann. of Math. (2), 156(1):213--248, 2002].