Nonregular Boundary Value Problem for the Cauchy-Riemann Operator

Show more

1. Introduction

Most first order linear differential operators of geometric origin are Dirac operators. Dirac operators on Riemannian manifolds are of fundamental importance in differential geometry. A $\left(\mathcal{l}\times k\right)$ -matrix D of first order scalar differential operators with constant coefficients in ${\mathbb{R}}^{n}$ is said to be a Dirac type operator, if ${D}^{\ast}D=-{E}_{k}\Delta $, where ${E}_{k}$ is the identity $\left(k\times k\right)$ -matrix, $\Delta $ the (non-positive) Laplace operator in ${\mathbb{R}}^{n}$, and ${D}^{\ast}$ is the formal adjoint of D. As usual, we denote by ${\sigma}^{1}\left(D\right)\left(\xi \right)$ the principal symbol of D. The rank of this matrix is equal to k for all $\xi \in {\mathbb{R}}^{n}\backslash \left\{0\right\}$. It follows that every Dirac type operator is overdetermined elliptic. For $\mathcal{l}=k$, such operators are called elliptic in the classical literature.

In this paper, we firstly restrict our discussion to a boundary value problem related to the Cauchy-Riemann operator, which is a Dirac type operator. A similar work has been done by [1] for the Fueter-operator, but using a cohomology-method. When studying a boundary value problem, we usually look for conditions which guarantee that the solution exists, is unique and depends continuously on the problem data. Let $\mathcal{X}\u22d0{\mathbb{R}}^{2}$ be a domain with smooth boundary. Given functions $f\mathrm{:}\mathcal{X}\to {\mathbb{R}}^{2}$ and ${u}_{\mathrm{1,0}}\mathrm{:}\partial \mathcal{X}\to {\mathbb{R}}^{2}$, find a solution u to $Du\mathrm{=}f\left(x\mathrm{,}u\right)$ in $\mathcal{X}$, whose first component coincides with ${u}_{\mathrm{1,0}}$ on the boundary of $\mathcal{X}$, and where D is the Cauchy-Riemann operator.

It is important to point out that no attempt has been made here to develop any general theory. The Atiyah-Patodi-Singer index theorem drew mathematicians’ attention to the so-called spectral boundary conditions for Dirac operators, thus highlighting an idea of Calderón (1963). For an excellent exposition of spectral elliptic boundary problems for Dirac operators, we refer to [2].

The scheme of the article can be declined in the following way: In Section 2, we show that boundary value problem related to the Cauchy-Riemann operator in the plane satisfies the Lopatinskii condition. The paragraph Section 3 is devoted to proving a necessary condition to the existence of a solution to our problem being our main result. To this end, finding a compatible complex to $Du=f\left(x,u\right)$ in $\mathcal{X}$ and ${u}_{1}={u}_{1,0}$ on the boundary of $\mathcal{X}$ will be highlighted in Section 4. Before coming to some generalisations in Section 6, the corresponding Hodge theory to our problem will be handled in Section 5.

2. A Classical Problem

Suppose $\mathcal{X}$ is a bounded domain with smooth boundary in the complex plane $\u2102$. Identifying $\u2102$ with ${\mathbb{R}}^{2}$ under the complex structure $z={x}_{1}+i{x}_{2}$, we consider the inhomogeneous system

$\begin{array}{l}{\partial}_{1}{u}_{1}-{\partial}_{2}{u}_{2}={f}_{1},\\ {\partial}_{2}{u}_{1}+{\partial}_{1}{u}_{2}={f}_{2}\end{array}$ (2.1)

for an unknown function $u={u}_{1}+i{u}_{2}$ in $\mathcal{X}$, satisfying the boundary condition

${u}_{1}{\upharpoonright}_{\partial \mathcal{X}}={u}_{\mathrm{1,0}}\mathrm{,}$ (2.2)

where $f={f}_{1}+i{f}_{2}$ and ${u}_{\mathrm{1,0}}$ are prescribed functions in $\mathcal{X}$ and on $\partial \mathcal{X}$, respectively. Note that (2.1) just amounts to the inhomogeneous Cauchy-Riemann system in the plane.

When assuming $f\in {H}^{s-1}\left(\mathcal{X}\right)$ and ${u}_{\mathrm{1,0}}\in {H}^{s-1/2}\left(\partial \mathcal{X}\right)$ and looking for a solution $u\in {H}^{s}\left(\mathcal{X}\right)$, one easily verifies that this boundary value problem is Fredholm for each $s\in \mathbb{N}$. Since the Fredholm property is actually equivalent to the ellipticity, we may deduce that the problem (2.1), (2.2) fulfills the Lopatinskii condition. However, these arguments are opposite to what the Lopatinskii condition is aimed at. We present a direct proof.

Theorem 2.1. *The boundary value problem *(2.1),* *(2.2)* satisfies the Lopatinskii condition.*

*Proof.* The Lopatinskii condition is local, and so it suffices to verify it in a small neighbourhood of any point
${x}_{0}\in \partial \mathcal{X}$. Since the boundary of
$\mathcal{X}$ is smooth, there is a conformal mapping of
$B\left({x}_{0}\mathrm{,}\epsilon \right)\cap \stackrel{\xaf}{\mathcal{X}}$, with
$\epsilon >0$ small enough, to the upper half-plane
$\left\{x\in {\mathbb{R}}^{2}\mathrm{:}{x}_{2}\ge 0\right\}$, such that the curve
$B\left({x}_{0}\mathrm{,}\epsilon \right)\cap \partial \mathcal{X}$ is mapped into the
${x}_{1}$ -axis, which is due to the Riemann theorem. Moreover, the Cauchy-Riemann system survives under conformal mappings. Hence, we can assume without restriction of generality that
$\mathcal{X}$ is the upper half-plane. For each fixed
${x}_{2}\ge 0$, we apply the Fourier transformation in
${x}_{1}$ to both Equation (2.1) and boundary condition (2.2). This gives

$\begin{array}{l}\left(i{\xi}_{1}\right){\stackrel{^}{u}}_{1}\left({\xi}_{1}\mathrm{,}{x}_{2}\right)-{\partial}_{2}{\stackrel{^}{u}}_{2}\left({\xi}_{1}\mathrm{,}{x}_{2}\right)={\stackrel{^}{f}}_{1}\left({\xi}_{1}\mathrm{,}{x}_{2}\right)\mathrm{,}\\ {\partial}_{2}{\stackrel{^}{u}}_{1}\left({\xi}_{1}\mathrm{,}{x}_{2}\right)+\left(i{\xi}_{1}\right){\stackrel{^}{u}}_{2}\left({\xi}_{1}\mathrm{,}{x}_{2}\right)={\stackrel{^}{f}}_{2}\left({\xi}_{1}\mathrm{,}{x}_{2}\right)\end{array}$ (2.3)

for all ${x}_{2}>0$ as well as an initial condition ${\stackrel{^}{u}}_{1}\left({\xi}_{1}\mathrm{,0}\right)={\stackrel{^}{u}}_{\mathrm{1,0}}\left({\xi}_{1}\right)$, the “hat” meaning Fourier transformation in ${x}_{1}$. From this we read off the boundary symbol of our problem, namely

${\sigma}_{\partial}(\cdot )\left({x}_{1}\mathrm{,}{\xi}_{1}\right)\mathrm{:}\mathcal{S}\left({\mathbb{R}}_{\ge 0}\mathrm{,}{\u2102}^{2}\right)\to \begin{array}{c}\mathcal{S}\left({\mathbb{R}}_{\ge 0}\mathrm{,}{\u2102}^{2}\right)\\ \oplus \\ \u2102\end{array}$ (2.4)

where $\mathcal{S}\left({\mathbb{R}}_{\ge 0}\mathrm{,}{\u2102}^{2}\right)$ is the space of all rapidly decreasing functions on the half-axis $\left\{{x}_{2}\in \mathbb{R}\mathrm{:}{x}_{2}\ge 0\right\}$ with values in ${\u2102}^{2}$, and

${\sigma}_{\partial}(\cdot )\left({x}_{1}\mathrm{,}{\xi}_{1}\right)v=\left(\begin{array}{c}{\partial}_{2}v-Av\\ {v}_{1}\left(0\right)\end{array}\right)$ (2.5)

with $A=\left(\begin{array}{cc}0& -i{\xi}_{1}\\ i{\xi}_{1}& 0\end{array}\right)$.

The Lopatinskii condition just amounts to saying that (2.4) is a bijective mapping for all ${\xi}_{1}\in \mathbb{R}\backslash \left\{0\right\}$. There is no loss of generality in assuming that ${\xi}_{1}>0$. The general solution of the homogeneous system ${\partial}_{2}v-Av=0$ for ${x}_{2}>0$ with initial condition ${v}_{1}\left(0\right)={v}_{1,0}$ has the form

$\begin{array}{l}{v}_{1}\left({x}_{2}\right)={v}_{1,0}\mathrm{cosh}\left({\xi}_{1}{x}_{2}\right)-i{c}_{2}\mathrm{sinh}\left({\xi}_{1}{x}_{2}\right),\\ {v}_{2}\left({x}_{2}\right)=i{v}_{1,0}\mathrm{sinh}\left({\xi}_{1}{x}_{2}\right)+{c}_{2}\mathrm{cosh}\left({\xi}_{1}{x}_{2}\right),\end{array}$ (2.6)

${c}_{2}$ being an arbitrary constant. If we require a solution in $\mathcal{S}\left({\mathbb{R}}_{\ge 0}\mathrm{,}{\u2102}^{2}\right)$, we have the only choice for the constant ${c}_{2}$, namely ${c}_{2}=-i{v}_{1,0}$. This proves the injectivity of (2.4).

To show that (2.4) is surjective for ${\xi}_{1}>0$, we fix $g\in \mathcal{S}\left({\mathbb{R}}_{\ge 0}\mathrm{,}{\u2102}^{2}\right)$. An easy computation shows that

$\begin{array}{c}v\left({x}_{2}\right)={v}_{1,0}\mathrm{exp}\left(-{\xi}_{1}{x}_{2}\right)\left(\begin{array}{c}1\\ -i\end{array}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{\displaystyle {\int}_{0}^{{x}_{2}}}\left(\begin{array}{cc}\mathrm{cosh}{\xi}_{1}\left({x}_{2}-\vartheta \right)& -i\mathrm{sinh}{\xi}_{1}\left({x}_{2}-\vartheta \right)\\ i\mathrm{sinh}{\xi}_{1}\left({x}_{2}-\vartheta \right)& \mathrm{cosh}{\xi}_{1}\left({x}_{2}-\vartheta \right)\end{array}\right)g\left(\vartheta \right)\text{d}\vartheta \\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{c}_{2}\left(\begin{array}{c}-i\mathrm{sinh}\left({\xi}_{1}{x}_{2}\right)\\ \mathrm{cosh}\left({\xi}_{1}{x}_{2}\right)\end{array}\right)\end{array}$ (2.7)

is a general solution to the system ${\partial}_{2}v-Av=g$ for ${x}_{2}>0$ with initial data ${v}_{1}\left(0\right)={v}_{1,0}$. This solution is parametrised by a constant ${c}_{2}$ and it fails to belong to $\mathcal{S}\left({\mathbb{R}}_{\ge 0}\mathrm{,}{\u2102}^{2}\right)$ for an arbitrary choice of ${c}_{2}$. However, there is a unique constant ${c}_{2}$ for which it is the case. Indeed, the sum of the last two terms on the right-hand side of (2.7) is

$\begin{array}{l}\frac{1}{2}\left({\displaystyle {\int}_{0}^{{x}_{2}}}\mathrm{exp}{\xi}_{1}\left({x}_{2}-\vartheta \right)\left(i{g}_{1}\left(\vartheta \right)+{g}_{2}\left(\vartheta \right)\right)\text{d}\vartheta +{c}_{2}\mathrm{exp}\left({\xi}_{1}{x}_{2}\right)\right)\left(\begin{array}{c}-i\\ 1\end{array}\right)\text{}\\ +\frac{1}{2}\left({\displaystyle {\int}_{0}^{{x}_{2}}}\mathrm{exp}\left(-{\xi}_{1}\left({x}_{2}-\vartheta \right)\right)\left(-i{g}_{1}\left(\vartheta \right)+{g}_{2}\left(\vartheta \right)\right)\text{d}\vartheta +{c}_{2}\mathrm{exp}\left(-{\xi}_{1}{x}_{2}\right)\right)\left(\begin{array}{c}i\\ 1\end{array}\right),\end{array}$

as is easy to verify. Choose ${c}_{2}$ in such a way that the first term would vanish at infinity, i.e.

${c}_{2}=-{\displaystyle {\int}_{0}^{\infty}}exp\left(-{\xi}_{1}\vartheta \right)\left(i{g}_{1}\left(\vartheta \right)+{g}_{2}\left(\vartheta \right)\right)\text{d}\vartheta \mathrm{.}$ (2.8)

Then it becomes

$-\frac{1}{2}{\displaystyle {\int}_{{x}_{2}}^{\infty}}exp{\xi}_{1}\left({x}_{2}-\vartheta \right)\left(i{g}_{1}\left(\vartheta \right)+{g}_{2}\left(\vartheta \right)\right)\text{d}\vartheta \left(\begin{array}{c}-i\\ 1\end{array}\right)\mathrm{,}$

which is a rapidly decreasing function of ${x}_{2}\in {\mathbb{R}}_{\ge 0}$. Since the second term is rapidly decreasing, the surjectivity follows. ¨

The proof of Theorem 2.1 shows that the verification of the Lopatinskii condition is actually as hard as the construction of a parametrix to the boundary value problem.

3. Existence of Solution

Let D be the Cauchy-Riemann operator with constant coefficients in ${\mathbb{R}}^{2}$, thus satisfying ${D}^{\ast}D=-{E}_{2}\Delta $.

Suppose $\mathcal{X}$ is a bounded domain with smooth boundary in ${\mathbb{R}}^{2}$ and f a given function on $\mathcal{X}$ with values in ${\mathbb{R}}^{2}$ of Sobolev class ${H}^{s-1}\left(\mathcal{X}\mathrm{,}{\mathbb{R}}^{2}\right)$, s being a natural number. We will write ${H}^{s}\left(\mathcal{X}\right)$ for ${H}^{s}\left(\mathcal{X}\mathrm{,}{\mathbb{R}}^{2}\right)$ if no confusion can arise. Consider the inhomogeneous nonlinear Dirac type equation $Du=f\left(x\mathrm{,}u\right)$ for an unknown function $u\in {H}^{s}\left(\mathcal{X}\mathrm{,}{\mathbb{R}}^{2}\right)$.

The operator D is elliptic, and so all generalised solutions of $Du=f\left(x\mathrm{,}u\right)$ are in fact locally in the space ${H}^{s}\left(\mathcal{X}\mathrm{,}{\mathbb{R}}^{2}\right)$. We interpret a solution u as a column of Sobolev functions on $\mathcal{X}$, i.e.

$u=\left(\begin{array}{c}{u}_{1}\\ {u}_{2}\end{array}\right)\mathrm{,}$

where ${u}_{1}$ is a function on $\mathcal{X}$ with real values and ${u}_{2}$ takes its values in $\mathbb{R}$.

The determination of a solution u of $Du=f\left(x\mathrm{,}u\right)$ by means of its “scalar” component ${u}_{1}\in {H}^{s}\left(\mathcal{X}\right)$ is a problem going back to the classical result of the reconstruction of a holomorphic function from its real part. It is studied in [3], cf. Section 1.2.5. We strengthen this problem in the following way. Let ${u}_{\mathrm{1,0}}\in {H}^{s-1/2}\left(\partial \mathcal{X}\right)$ be a prescribed function on the boundary of $\mathcal{X}$. Find a solution u to $Du=f\left(x\mathrm{,}u\right)$ in $\mathcal{X}$, such that ${u}_{1}={u}_{\mathrm{1,0}}$ on $\partial \mathcal{X}$.

We first find a necessary condition for the solvability of this problem. For convenience of reference we designate it as

$\begin{array}{l}Du=f\left(x\mathrm{,}u\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{in}\text{\hspace{0.05em}}\text{\hspace{0.17em}}\mathcal{X}\mathrm{,}\\ {u}_{1}={u}_{\mathrm{1,0}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{on}\text{\hspace{0.17em}}\partial \mathcal{X}\mathrm{,}\end{array}$ (3.1)

cf. (2.1), (2.2). Note that in one dimension (3.1) is precisely the Cauchy problem for the Dirac type equation $Du=f\left(x\mathrm{,}u\right)$.

Write $D=\left({D}_{1}\mathrm{,}{D}_{2}\right)$, where ${D}_{1}$ is the first column of the matrix D and ${D}_{2}$ the complementary-matrix of D. Since

${D}^{\ast}D=\left(\begin{array}{c}{D}_{1}^{\ast}\\ {D}_{2}^{\ast}\end{array}\right)\left({D}_{1},{D}_{2}\right)=\left(\begin{array}{cc}{D}_{1}^{\ast}{D}_{1}& {D}_{1}^{\ast}{D}_{2}\\ {D}_{2}^{\ast}{D}_{1}& {D}_{2}^{\ast}{D}_{2}\end{array}\right)=-{E}_{2}\Delta ,$

it follows that

$\begin{array}{l}{D}_{1}^{\ast}{D}_{1}=-\Delta ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{D}_{1}^{\ast}{D}_{2}=0,\\ {D}_{2}^{\ast}{D}_{1}=0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{D}_{2}^{\ast}{D}_{2}=-\Delta .\end{array}$ (3.2)

The first and the last equalities of (3.2) imply that both ${D}_{1}$ and ${D}_{2}$ are Dirac type operators.

Lemma 3.1. *For a function
$u\in {H}^{s}\left(\mathcal{X}\right)$ to be a solution of *(3.1)* it is necessary that
${u}_{1}$ satisfy*

$\begin{array}{l}-\Delta {u}_{1}={D}_{1}^{\ast}f\left(x,u\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{in}\text{\hspace{0.17em}}\mathcal{X},\\ {u}_{1}={u}_{1,0}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{on}\text{\hspace{0.17em}}\partial \mathcal{X}.\end{array}$ (3.3)

*Proof.* The equality
$Du=f\left(x\mathrm{,}u\right)$ is obviously equivalent to the equality
${D}_{1}{u}_{1}+{D}_{2}{u}_{2}=f\left(x\mathrm{,}u\right)$ in
$\mathcal{X}$. Applying the operator
${D}_{1}^{\ast}$ to both sides of the latter equality, we obtain, by (3.2),

${D}_{1}^{\ast}{D}_{1}{u}_{1}={D}_{1}^{\ast}f\left(x,u\right)-{D}_{1}^{\ast}{D}_{2}{u}_{2}={D}_{1}^{\ast}f\left(x,u\right),$

and this is precisely the assertion of the lemma.

Hence, ${u}_{1}$ should be a solution of the Dirichlet problem (3.3) in $\mathcal{X}$ with given data ${D}_{1}^{\ast}f$ and ${u}_{\mathrm{1,0}}$. Since the Dirichlet problem is uniquely solvable, we will assume from now on that the function ${u}_{1}\in {H}^{s}\left(\mathcal{X}\right)$ is determined from (3.3). We are thus left with the task of finding the remaining components ${u}_{2}$ of u, namely to solving ${D}_{2}{u}_{2}=f\left(x\mathrm{,}u\right)-{D}_{1}{u}_{1}$ in the domain of $\mathcal{X}$.

To this end, we consider in Section 4 the elliptic complex related to our Cauchy-Riemann operator

4. A Compatibility Complex

Let us state our lemma.

Lemma 4.1. *The differential operators
${D}_{2}^{\mathrm{*}}$ and
${D}_{1}$ fit together to form an elliptic complex over
$\mathcal{X}$ *

$0\to {C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)\stackrel{{D}_{2}}{\to}{C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)\stackrel{{D}_{1}^{\ast}}{\to}{C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)\to 0.$ (4.1)

*Proof.* The Laplacian
${\Delta}^{0}$ of (4.1) at step 0 is elliptic, for

${\Delta}^{0}={D}_{2}^{\ast}{D}_{2}=-E\Delta $

according to (3.2).

Since D is a square matrix of scalar differential operators with constant coefficients, we deduce that

$-E\Delta =D{D}^{\ast}=\left({D}_{1},{D}_{2}\right)\left(\begin{array}{c}{D}_{1}^{\ast}\\ {D}_{2}^{\ast}\end{array}\right)={D}_{1}{D}_{1}^{\ast}+{D}_{2}{D}_{2}^{\ast}.$

Hence it follows that the Laplacian ${\Delta}^{1}={D}_{1}{D}_{1}^{\ast}+{D}_{2}{D}_{2}^{\ast}$ of complex (4.1) at step 1 is elliptic.

Finally, the Laplacian ${\Delta}^{2}$ of (4.1) at step 2 is elliptic, for

${\Delta}^{2}={D}_{1}^{\ast}{D}_{1}=-\Delta $

by (3.2). ¨

5. Hodge Theory

The Hodge theory is a very important technical tool for solving partial differential equations, in particular for solving Neumann problems.

In this section, we define two very important spaces before considering a “weak version” of the Neumann problem for our elliptic complex (6.2), namely

${N}^{1}\left(\mathcal{X}\right)=\left\{u\in {\u2102}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)\mathrm{:}n\left(u\right)=n\left({D}_{1}^{\ast}u\right)=0\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{on}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\partial \mathcal{X}\right\}$

and

${H}^{1}\left(\mathcal{X}\right)=\left\{u\in {\u2102}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)\mathrm{:}n\left(u\right)=0\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{on}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\partial \mathcal{X}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.05em}}{D}_{1}^{\ast}u={D}_{2}^{\ast}u=0\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{in}\text{\hspace{0.17em}}\mathcal{X}\right\}$

The spaces ${N}^{1}\left(\mathcal{X}\right)$ and ${H}^{1}\left(\mathcal{X}\right)$ are called Neumann and Harmonic spaces, respectively.

By $n\left(u\right)$ and $n\left({D}_{1}^{\ast}\right)$ are meant the Cauchy data of u on $\partial \mathcal{X}$, with respect to the differential operators ${D}_{2}^{\ast}$, and ${D}_{1}$, respectively, cf. Section 3.2.2 in [3].

Moreover, we precise that for all $u\in {C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)$, $n\left(u\right)=0$ $\iff $ ${\left({\sigma}^{1}\left({D}_{2}\right)\left(\nu \right)\right)}^{\ast}u=0$ on $\partial \mathcal{X}$, and $n\left({D}_{1}^{\ast}u\right)=0$ $\iff $ $\left({\sigma}^{1}\left({D}_{1}\right)\left(\nu \right)\right)u=0$ on $\partial \mathcal{X}$, where $\nu \left(x\right)$ is the outward normal vector of the boundary of $\mathcal{X}$ at a point $x\in \partial \mathcal{X}$.

The Neumann problem for complex (6.2) on the manifold $\stackrel{\xaf}{\mathcal{X}}$ in the ${C}^{\infty}$ setting consists in the following:

(NP): Let be $f\left(x\mathrm{,}u\right)$ in ${C}^{\infty}\left(\mathcal{X}\right)$. Find a $u\in {N}^{1}\left(\mathcal{X}\right)$ to ${\Delta}^{1}u=f\left(x,u\right)$

(Solvability): We say that the Neumann problem related to our complex is solvable at step-1, if:

(1) ${H}^{1}\left(\mathcal{X}\right)$ is of finite dimension

(2) The equation ${\Delta}^{1}u=f\left(x,u\right)$ has a solution $u\in {N}^{1}\left(\mathcal{X}\right)$ for each $f\left(x\mathrm{,}u\right)\in {C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)$ with $f\perp {H}^{1}(\; X\; )$

It is a well known result that Neumann problems are solvable for certain classes of manifolds $\mathcal{X}$, namely for manifolds which are strictly pseudoconvex with respect to the considered complex.

We now state the Hodge theory theorem related to our complex

Theorem 5.1. *Let
$\mathcal{X}$ be a strict pseudoconvex domain. There exist continuous operator
$H\mathrm{:}{C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)\to {H}^{1}\left(\mathcal{X}\right)$ and
$N\mathrm{:}{C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)\to {N}^{1}\left(\mathcal{X}\right)$ such that*

(1) $f=Hf+{D}_{2}{D}_{2}^{\ast}Nf+{D}_{1}{D}_{1}^{\ast}Nf$ for each $f\in {C}^{\infty}(\; X\; \xaf\; )$

(2) If $f\in {C}^{\infty}\left(\stackrel{\xaf}{\mathcal{X}}\right)$ and ${D}_{1}^{\ast}f=0$, then ${D}_{1}^{\ast}Nf=0$

*Proof.* cf. [4]

In Section 3, we were left with the task of finding the remaining components ${u}_{2}$ of u, namely to solving

${D}_{2}{u}_{2}=f\left(x\mathrm{,}u\right)-{D}_{1}{u}_{1}$ (5.1)

in the domain of $\mathcal{X}$.

We now derive a sufficient condition for the solvability of (5.1)

Theorem 5.2. *For Equation *(5.1)* to be solvable*,* it is sufficient that*

$\left(f\mathrm{,}h\right)-{\displaystyle {\int}_{\partial \mathcal{X}}}\left(t\left({u}_{1}\right)\mathrm{,}n\left(h\right)\right)\text{d}s=0$

for each $h\in {H}^{1}\left(\mathcal{X}\right)$, where $t\left(u\right)$ and $n\left(h\right)$ are called the Dirichlet and Neumann data, respectively, cf. [5], and ds is the surface measure.

*Proof.* Using the Green formula cf. Section 3.2.2 in [5], we obtain that for
$h\in {H}^{1}(\; X\; )$

$\left(f\mathrm{,}h\right)-{\displaystyle {\int}_{\partial \mathcal{X}}}\left(t\left({u}_{1}\right)\mathrm{,}n\left(h\right)\right)\text{d}s=0\iff \left(f\mathrm{,}h\right)-\left({u}_{1}\mathrm{,}{D}_{1}^{\ast}h\right)-{\displaystyle {\int}_{\partial \mathcal{X}}}\left(t\left({u}_{1}\right)\mathrm{,}n\left(h\right)\right)\text{d}s=0$

Setting $F=f\left(x\mathrm{,}u\right)-{D}_{1}{u}_{1}$, and from the Hodge theory, we readily get that $HF=0$ allowing to choose ${u}_{2}$ as. ¨

6. Some Generalisations

Let D be a general Dirac operator in given by a -matrix. Write

where A is the first column of the matrix D and C the complementary -matrix of scalar differential operators.

Since

it follows that

(6.1)

We are now in a position to state the generalised lemma which is one of our results.

Lemma 6.1. *The differential operators A and C fit together to form an elliptic complex over *

(6.2)

*Proof.* The Laplacian of (6.2) at step 0 is elliptic, for

according to (6.1).

Since D is a square matrix of scalar differential operators with constant coefficients, we deduce that

Hence it follows that the Laplacian of complex (6.2) at step 1 is elliptic.

Finally, the Laplacian of (6.2) at step 2 is elliptic, for

by (6.1). ¨

7. Conclusion

In this paper, we proposed a method solving a nonregular boundary value problem for the Cauchy-Riemann operator in. Nonregular in the sense, that only the component is given on the whole boundary of our domain. We even proposed an exolicit solution to our problem. The next work will be to build an explicit formula for the Laplacian of (6.2) allowing us to construct a fundamental solution of convolution type for the complex (6.2). It is precisely a homotopy formula for the complex (6.2).

References

[1] Palamodov, V. and Tarkhanov, N. (2009) Nonregular Boundary Problems for Elliptic Systems. Advances in Applied Clifford Algebras, 19, 427-440.

https://doi.org/10.1007/s00006-009-0159-2

[2] Booss-Bavnbek, B. and Wojciechowski, K. (1993) Elliptic Boundary Problems for Dirac Operators. Birkhäuser, Basel.

https://doi.org/10.1007/978-1-4612-0337-7

[3] Tarkhanov, N. (1995) Complexes of Differential Operators. Kluwer Academic Publishers, Dordrecht, NL.

https://doi.org/10.1007/978-94-011-0327-5

[4] Ly, I. and Tarkhanov, N. (2010) Local Boundary Problem for Dirac Type Operators, Siberian Mathematical Journal, 51, 847-859.

https://doi.org/10.1007/s11202-010-0085-5

[5] Tarkhanov, N. (1995) The Cauchy Problem for Solutions of Elliptic Equations. Academie Verlag, Berlin.