On Green functions for Dirichlet sub-Laplacians on H-type groups

TL;DR

This paper constructs explicit Green functions for Dirichlet problems of sub-Laplacians on unbounded domains in H-type groups, providing solutions for various boundary conditions and geometries.

Contribution

It introduces explicit Green functions for sub-Laplacians on H-type groups and solves Dirichlet problems in several unbounded domains with non-zero boundary data.

Findings

Explicit Green functions for Dirichlet problems on H-type groups

Solutions for boundary value problems in half-space, quadrant, and strip domains

Methodology applicable to unbounded domains in sub-Riemannian geometry

Abstract

We construct Green functions of Dirichlet boundary value problems for sub-Laplacians on certain unbounded domains of a prototype Heisenberg-type group (prototype H-type group, in short). We also present solutions in an explicit form of the Dirichlet problem for the sub-Laplacian with non-zero boundary datum on half-space, quadrant-space, etc, as well as in a strip.

Equations

$$\bigg{\{}\begin{matrix}\mathcal{L}u=f\quad{\rm in}\;D,\\ u=\phi\quad{\rm on}\;\partial D.\end{matrix}$$

$$\{x\in \partial D|X_k(x)\in T_x(\partial D),k=1,...,m\},$$

$$(x,t)\circ (y,\tau )=\left(\begin{array}{c}{x}_k+y_k,k=1,...,m\\ t_k+{\tau }_k+\frac{1}{2}⟨A^{(k)}x,y⟩,k=1,...,n\end{array}\right)$$

$$X_j=\frac{\partial }{\partial x_j}+\frac{1}{2}\sum _{k=1}^n\left(\sum _{i=1}^m{a}_{j,i}^k{x}_i\right)\frac{\partial }{\partial t_k},$$

$$\mathcal{L}=\sum _{j=1}^m{X}_j^2={\Delta }_x+\frac{1}{4}|x{|}^2{\Delta }_t+\sum _{k=1}^n⟨A^{(k)}x,{\nabla }_x⟩\frac{\partial }{\partial t_k},$$

$$m=\dim ({\varrho }^{\perp }),n=\dim (\varrho ).$$

$$v:\mathbb{G}\to {\varrho }^{\perp },v(\xi ):=\sum _{j=1}^m⟨{\exp }_{\mathbb{G}}^{-1}(\xi ),X_j⟩X_j,$$

$$z:\mathbb{G}\to \varrho ,z(\xi ):=\sum _{j=1}^n⟨{\exp }_{\mathbb{G}}^{-1}(\xi ),Z_j⟩Z_j,$$

$$\xi =\exp (v(\xi )+z(\xi )),v(\xi )\in {\varrho }^{\perp },z(\xi )\in \varrho ,$$

$$|v(\xi )|=|x|,|z(\xi )|=|t|.$$

$$\Gamma (\xi ):=c{\left(|x{|}^4+16|t{|}^2\right)}^{(2-Q)/4}$$

$$\mathcal{L}{\Gamma }_{\zeta }=-{\delta }_{\zeta },$$

$$G_D(\xi ,\zeta )=\Gamma ({\zeta }^{-1}\circ \xi )-h_{\zeta }(\xi ),$$

$$G_D(\xi ,\zeta )=0,\xi \in \partial D.$$

$$\mathcal{L}{h}_{\zeta }(\xi )=0\mathrm{in}D,$$

$${\int }_D(u\mathcal{L}v-v\mathcal{L}u)d\nu ={\int }_{\partial D}(u⟨\tilde{\nabla }v,d\nu ⟩-v⟨\tilde{\nabla }u,d\nu ⟩),$$

$$\tilde{\nabla }u=\sum _{k=1}^m\left(X_{k}u\right)X_k.$$

$${\mathbb{G}}^{‡}=\{\xi =(x_1,\dots ,x_m,t_1,\dots ,t_n)|x_1,\dots ,x_l>0\},$$

$${\zeta }_{x_k}:=(y_1,\dots ,-y_k,\dots ,y_m,{\tau }_1,...,{\tau }_n)$$

$${\zeta }_{x_k{x}_s}:=(y_1,\dots ,-y_k,\dots ,-y_s,\dots ,y_m,{\tau }_1,...,{\tau }_n)$$

$$\Gamma (({\zeta }_{(2,3)}{)}^{-1}\circ \xi )=\Gamma (({\zeta }_{x_1{x}_2}{)}^{-1}\circ \xi )+\Gamma (({\zeta }_{x_1{x}_3}{)}^{-1}\circ \xi )+\Gamma (({\zeta }_{x_3{x}_2}{)}^{-1}\circ \xi ),$$

$$\Gamma (({\zeta }_{(3,3)}{)}^{-1}\circ \xi )=\Gamma (({\zeta }_{x_1{x}_2{x}_3}{)}^{-1}\circ \xi ).$$

$$G_{{\mathbb{G}}^{‡}}(\xi ,\zeta )=\Gamma ({\zeta }^{-1}\circ \xi )+\sum _{j=1}^l(-1{)}^j\Gamma (({\zeta }_{(j,l)}{)}^{-1}\circ \xi )$$

$$\mathcal{L}\Gamma (({\zeta }_{(j,l)}{)}^{-1}\circ \xi )=-{\delta }_{{\zeta }_{(j,l)}}=0\text{ in }{\mathbb{G}}^{‡},$$

$$d(\xi ,\zeta ):={\left(\Gamma ({\zeta }^{-1}\circ \xi )\right)}^{\frac{1}{2-Q}}$$

$$G_{{\mathbb{G}}^{‡}}(\xi ,\zeta )=0,\xi \in \partial {\mathbb{G}}^{‡}.$$

$${ϝ}_{\alpha }(D)=\{f:D\to \mathbb{C}:\underset{\stackrel{\xi ,\zeta \in D}{\xi \ne \zeta }}{\sup }\frac{|f(\xi )-f(\zeta )|}{[d(\xi ,\zeta ){]}^{\alpha }}<\infty \},$$

$$\bigg{\{}\begin{matrix}\mathcal{L}u=f\quad{\rm in}\;\mathbb{G}^{\ddagger},\\ u=\phi\quad{\rm on}\;\partial\mathbb{G}^{\ddagger}.\end{matrix}$$

$$u(\xi )={\int }_{{\mathbb{G}}^{‡}}{G}_{{\mathbb{G}}^{‡}}(\xi ,\zeta )f(\zeta )d\nu (\zeta )-{\int }_{\partial {\mathbb{G}}^{‡}}\varphi (\zeta )⟨\tilde{\nabla }{G}_{{\mathbb{G}}^{‡}}(\xi ,\zeta ),d\nu (\zeta )⟩,\xi \in {\mathbb{G}}^{‡},$$

$$\tilde{\nabla }{G}_{{\mathbb{G}}^{‡}}=\sum _{k=1}^m\left(X_k{G}_{{\mathbb{G}}^{‡}}\right)X_k.$$

Full text

The authors were supported in parts by the EPSRC grant EP/K039407/1 and by the Leverhulme Grant RPG-2014-02, as well as by the MESRK grant 5127/GF4. No new data was collected or generated during the course of this research.

1. Introduction

Prototype $H$-type groups are an important class of homogeneous stratified Lie groups of step two since any (abstract) $H$-type group is naturally isomorphic to a prototype $H$-type group. The abelian group $(\mathbb{R}^{d};+)$ and the Heisenberg group $\mathbb{H}^{d}$ are examples of the prototype $H$-type groups. We denote a prototype $H$-type group by $\mathbb{G}$ and by $\mathcal{L}$ a sub-Laplacian on $\mathbb{G}$. We consider a smooth open set $D\subset\mathbb{G}$ with boundary $\partial D$, and study the Dirichlet problem for its sub-Laplacian

[TABLE]

In Euclidean (elliptic) case the boundary value problem (1.1) for suitable essential class of functions $f,\phi$ (say, $f\in C^{\alpha}(D),\,\alpha>0,$ and $\phi\in C(\partial D)$) has a classical solution, that is, a solution in $C^{2}(D)\cap C^{1}(\overline{D})$. In general, this fact fails completely for the hypoelliptic boundary value problem (1.1). The example of D. Jerison [Je81] (see also [CGH08, Section 4]) shows that even if the domain $D$ and the boundary datum $\phi$ (with $f\equiv 0$) are real analytic in the Heisenberg group $\mathbb{H}^{d}$, then the solution of the Dirichlet problem (1.1) may be not better than Hölder continuous near a characteristic boundary point, that is, the solution is not classical. We recall that the characteristic set (related to vector fields $\{X_{1},...,X_{m}\}$) of $D$ is the set

[TABLE]

$T_{x}(\partial D)$ being the tangent space to $\partial D$ at the point $x$. Here vector fields $X_{1},...,X_{m}$ with their commutators span the Lie algebra of $\mathbb{G}$. See Section 2 for more details.

The main aim of this short note is to give an answer to the question: Is there a class of domains in which the Dirichlet boundary value problem (1.1) is explicitly solvable in the classical sense?

This question is inspired by M. Kac’s question: Is there any boundary value problem for the Laplacian which is explicitly solvable in the classical sense for any smooth domain?

An answer to M. Kac’s question was given in our recent paper [RS16a] for the Heisenberg group and in [RS17b] for general homogeneous stratified Lie groups. The boundary conditions appearing there are, however, nonlocal and the corresponding boundary value problem can be called Kac’s boundary value problem. It is interesting to note that the explicit solutions in these papers have been constructed for Kac’s boundary value problem for the sub-Laplacian equally well also in the presence of characteristic points on the boundary.

However, the above D. Jerison’s example hints that one should seek for an answer to our question concerning the Dirichlet problem (1.1) among domains without characteristic points. Even ball-like bounded domains of non-Abelian $H$-type groups have non-empty collection (set) of characteristic points. For example, any bounded domain of class $C^{1}$ in the Heisenberg group $\mathbb{H}^{d}$, whose boundary is homeomorphic to the $2d$-dimensional sphere $\mathbb{S}^{2d}$, has non-empty characteristic set (see, for example, [DGN06]). In general, this implies that domains, which we are looking for, should be unbounded. On the other hand, to give an explicit representation of a solution we also need to construct Green functions for these domains, so the domains need to have sufficiently rich symmetry. Thus, in this note we show that the boundary value problem (1.1) is explicitly solvable in the classical sense in such domains as half-spaces, quadrant-spaces and so on. Our analysis is based on the Euclidean ideas combined with further results on $H$-type groups (and on more general groups) obtained by Kohn-Nirenberg [KN65], Folland [Fol75] and Kaplan [Kap80]. We also should note that this short paper is partially motivated by the recent work [DKM16] in which the authors construct a Green function for the Neumann sub-Laplacian on the Koranyi ball of the Heisenberg group.

We refer to [GL03], [GN88], [GW92], [LU97], [RS16b] and [WN16] as well as to references therein for more general Green function analysis of second order subelliptic (and weighted degenerate) operators.

We also refer to [FR16] for a general point of view on $H$-type groups from the perspective of general stratified/graded/homogeneous/nilpotent Lie groups. For functional inequalities on stratified Lie groups and further literature review we can refer to [RS17a].

In Section 2 we very briefly review the main concepts of (prototype) $H$-type groups and fix the notation. In Section 3 we construct Green functions and give representation formulae for solutions.

2. Preliminaries

Following Bonfiglioli, Lanconelli and Uguzzoni [BLU07] we briefly recall the main notions concerning prototype $H$-type groups. We adopt the notation from [BLU07] and refer to it for further details.

Definition 2.1**.**

The space $\mathbb{R}^{m+n}$ equipped with the group law

[TABLE]

and with the dilation $\delta_{\lambda}(x,t)=(\lambda x,\lambda^{2}t)$ is called a prototype $H$-type group. Here $A^{(k)}$ is an $m\times m$ skew-symmetric orthogonal matrix, such that, $A^{(k)}A^{(l)}+A^{(l)}A^{(k)}=0$ for all $k,l\in\{1,...,n\}$ with $k\neq l$.

Throughout this paper we use the notation $\mathbb{G}$ for a prototype $H$-type group $(\mathbb{R}^{m+n},\delta_{\lambda},\circ)$. Note that any (abstract) $H$-type group is naturally isomorphic to a prototype $H$-group (see [BLU07, Theorem 18.2.1]). It can be directly checked that the group operation $\circ$ defines a step two nilpotent Lie group in which the inverse of $(x,t)$ is $(-x,-t)$, that is, the identity is the origin. It can be also verified that the vector field in the Lie algebra $\mathfrak{g}$ of $\mathbb{G}$ that agrees at the origin with $\frac{\partial}{\partial x_{j}},\;j=1,...,m$, is given by

[TABLE]

where $a^{k}_{j,i}$ is the $(j,i)$ element of the matrix $A^{(k)}$. The vector fields $X_{1},...,X_{m}$ with their commutators span the whole $\mathfrak{g}$. Thus, the sub-Laplacian on $\mathbb{G}$ is given by

[TABLE]

where $\Delta$ and $\nabla$ are the Euclidean Laplacian and the Euclidean gradient, respectively. It is not restrictive to suppose that, if $\varrho$ is the center of $\mathfrak{g}$, $\varrho^{\perp}$ is the orthogonal complement of $\varrho$ and

[TABLE]

We have that the homogeneous dimension of the group is $Q=m+2n.$ We note that since for $H$-type groups we have $m\geq 2$ and $n\geq 1$, we actually always have $Q\geq 4$.

Now using a generic coordinate $\xi\equiv(x,t),\,x\in\mathbb{R}^{m},\,t\in\mathbb{R}^{n}$, let us introduce the following functions on $\mathbb{G}$:

[TABLE]

where $\{X_{1},...,X_{m}\}$ is an orthogonal basis of $\varrho^{\perp}$,

[TABLE]

where $\{Z_{1},...,Z_{n}\}$ is an orthogonal basis of $\varrho.$ Thus, by the definition of $v$ and $z$, for any $\xi\in\mathbb{G}$, one has

[TABLE]

and a direct calculation shows (see, e.g. [BLU07, Proof of Remark 18.3.3]) that

[TABLE]

It simplifies A. Kaplan’s theorem in the following form

Theorem 2.2**.**

There exists a positive constant $c$ such that

[TABLE]

is the fundamental solution of the sub-Laplacian, that is,

[TABLE]

where $\Gamma_{\zeta}(\xi)=\Gamma(\zeta^{-1}\circ\xi)$ and $\delta_{\zeta}$ is the Dirac distribution at $\zeta\equiv(y,\tau)\in\mathbb{G}$.

Note that more general result for abstract $H$-type groups was established by A. Kaplan in [Kap80]. Now the Green function for the Dirichlet sub-Laplacian in $D$ is defined by the formula

[TABLE]

with

[TABLE]

Here, $h_{\zeta}(\xi)$ is a harmonic function, that is,

[TABLE]

having as boundary values (in the Perron-Wiener-Brelot sense) the fundamental solution with pole at $\zeta\in D$.

Let $\partial D$ be the boundary of a smooth domain $D$ in $\mathbb{G}$, $d\nu$ the volume element on $\mathbb{G}$, and $\langle X_{j},d\nu\rangle$ the natural pairing between vector fields and differential forms. We also recall that the standard Lebesque measure on $\mathbb{R}^{m+n}$ is the Haar measure for $\mathbb{G}$ (see, e.g. [FR16, Proposition 1.6.6]).

The following version of Green’s second formula will be useful for our analysis. It goes back to the integration by parts formula in [CGH08] but the following form (given in [RS17b, Proposition 3.10]) will be useful for us here.

Proposition 2.3** (Green’s second formula).**

Let $u,v\in C^{2}(D)\bigcap C^{1}(\overline{D}).$ Then

[TABLE]

where $\mathcal{L}$ is the sub-Laplacian on $\mathbb{G}$ and

[TABLE]

By classical arguments one verifies that the above Green’s second formula is valid for the Green function (and the fundamental solution). See [RS17b] for futher discussion, but also [CGH08, Section 7]. The relation between the $(n-1)$-form under the integral in the right-hand side of (2.9) and the perimeter and surface measures on $\partial D$ has been discussed in [RS17b].

3. Green functions and representations of solutions

In this section we construct, by using the classical method of reflection, Green functions of Dirichlet boundary value problems for sub-Laplacians on $l$-wedge like and $l$-strip like unbounded domains of a prototype $H$-type group. We also present solutions in an explicit form of the Dirichlet problem for the sub-Laplacian with non-zero boundary datum on those domains. Of course, the results are well known in the abelian cases.

3.1. Green functions and representations of solutions in $l$-wedge like spaces.

Let $\mathbb{G}^{\ddagger}$ be the $l$-wedge like space

[TABLE]

for some $1\leq l\leq m$. Let the point $\zeta=(y,\tau)=(y_{1},y_{2},\ldots,y_{m},\tau_{1},\ldots,\tau_{n})$ lie in this $l$-wedge like space, $y_{1}>0,\ldots,y_{l}>0$. The point

[TABLE]

is said to be symmetric for the point $\zeta$ with respect to the hyperplane $x_{k}=0.$ Similarly, the point

[TABLE]

is said to be symmetric for the point $\zeta_{x_{k}}$ with respect to the hyperplane $x_{s}=0$ and so on. It is clear that the symmetry indices are invariant under permutations. We will also need the notation $\Gamma((\zeta_{(j,l)})^{-1}\circ\xi),\;j\leq l,$ which means sum of the functions $\Gamma((\zeta_{(j,l)})^{-1}\circ\xi),\;j\leq l,$ over all possible $(j,l)$ combination symmetry arguments: here in order to reduce the number of subindices we write $(\zeta_{(j,l)})^{-1}\circ\xi$ for $\zeta^{-1}_{x_{k_{1}}\ldots x_{k_{j}}}\circ\xi$. For example, if $l=3,\,j=2,$ then

[TABLE]

and if $l=3,\,j=3,$ then

[TABLE]

We have

Proposition 3.1**.**

The function

[TABLE]

is the Green function for the Dirichlet sub-Laplacian in $\mathbb{G}^{\ddagger}$.

Proof of Proposition 3.1.

Since by definition $\zeta_{(j,l)}\not\in\mathbb{G}^{\ddagger},\,j=1,\ldots,l,$ it follows from (2.5) that

[TABLE]

for any $\xi\in\mathbb{G}^{\ddagger}$ and $j=1,\ldots,l$. Thus, the function $\sum_{j=1}^{l}(-1)^{j}\Gamma((\zeta_{(j,l)})^{-1}\circ\xi)$ satisfies the condition (2.8), i.e. it is harmonic in $\mathbb{G}^{\ddagger}$. Now it is left to check the boundary condition for the domain $\mathbb{G}^{\ddagger}$, that is, the function $G_{\mathbb{G}^{\ddagger}}$ should become zero at $x_{1}=0$ and at infinity. Recall that

[TABLE]

is an actual distance on $\mathbb{G}$ (see, e.g. [Cy81]). Now it is easy to see that the $d$-distance from any point of the hyperplane $x_{k}=0$ to the points $\zeta$ and $\zeta_{x_{k}}$ is the same, that is, $G_{\mathbb{G}^{\ddagger}}$ satisfies the Dirichlet condition at the hyperplanes $x_{1}=0,\ldots,x_{l}=0$ and it is also clear (by the construction) that the function $G_{\mathbb{G}^{\ddagger}}$ is zero at the infinity. It proves that

[TABLE]

∎

Now we consider a smooth open set $D\subset\mathbb{G}$ with boundary $\partial D$, and study the Dirichlet problem for the sub-Laplacian $\mathcal{L}$ in $D$.

For $0<\alpha<1$, Folland and Stein (see [FS74] and see also [Fol75]) defined the anisotropic Hölder spaces $\digamma_{\alpha}(D),$ $D\subset\mathbb{G},$ by

[TABLE]

where $d$ is defined by the formula (3.2) in our case. For $k\in\mathbb{N}$ and $0<\alpha<1$, one defines $\digamma_{k+\alpha}(D)$ as the space of all $f:D\to\mathbb{C}$ such that all $X_{j}$-derivatives of $f$ of order $k$ belong to $\digamma_{\alpha}(D)$. A bounded function $f$ is called $\alpha$-Hölder continuous in $D\subset\mathbb{G}$ if $f\in\digamma_{\alpha}(D)$.

Let $f\in\digamma_{\alpha}(\mathbb{G}^{\ddagger}),\;0<\alpha<1,\;{\rm supp}\,f\subset\mathbb{G}^{\ddagger},$ and $\phi\in C^{\infty}(\partial\mathbb{G}^{\ddagger}),\;{\rm supp}\,\phi\subset\{x_{1}=0\}\bigcup\ldots\bigcup\{x_{l}=0\}.$ Consider the Dirichlet problem for the sub-Laplacian

[TABLE]

Theorem 3.2**.**

Let $f\in\digamma_{\alpha}(\mathbb{G}^{\ddagger}),\;0<\alpha<1,\;{\rm supp}\,f\subset\mathbb{G}^{\ddagger},$ and $\phi\in C^{\infty}(\partial\mathbb{G}^{\ddagger})$. Then the boundary value problem (3.12) has a unique solution $u\in C^{2}(\mathbb{G}^{\ddagger})\cap C^{1}(\overline{\mathbb{G}^{\ddagger}})$ and it can be represented by the formula

[TABLE]

where $\mathcal{\widetilde{\nabla}}$ is defined by (2.10), in particular,

[TABLE]

Proof of Theorem 3.2.

Let $u\in C^{2}(\mathbb{G}^{\ddagger})\cap C^{1}(\overline{\mathbb{G}^{\ddagger}})$ and assume that $u$ tends to zero at infinity. The Green’s second formula (2.9) is in bounded domains, but it is still applicable for functions, with necessary decay rates at infinity, in unbounded domains. It can be shown by the standard argument using quasi-balls with radii $R\longrightarrow\infty.$ Thus, if we apply Green’s second formula (2.9) to the function $u$ with $v(\zeta)=G_{\mathbb{G}^{\ddagger}}(\xi,\zeta)$, we shall obtain

[TABLE]

Here we have used the properties of the Green function

[TABLE]

and, by construction the function $G_{\mathbb{G}^{\ddagger}}$ is symmetric, that is, $G_{\mathbb{G}^{\ddagger}}(\xi,\zeta)=G_{\mathbb{G}^{\ddagger}}(\zeta,\xi)$ in $\mathbb{G}^{\ddagger}$, so

[TABLE]

where $\delta_{\xi}$ is the Dirac distribution at $\xi\in\mathbb{G}^{\ddagger}$. Now we need to show that the function defined by (3.13) belongs to $C^{2}(\mathbb{G}^{\ddagger})\cap C^{1}(\overline{\mathbb{G}^{\ddagger}})$. Since $f\in\digamma_{\alpha}(\mathbb{G}^{\ddagger}),\;{\rm supp}\,f\subset\mathbb{G}^{\ddagger},$ the volume potential (the first term of the right hand side in (3.13)) belongs to $C^{2}(\overline{\mathbb{G}^{\ddagger}})$ by Folland’s theorem (see [Fol75, Theorem 6.1], see also [FS74]). Hörmander’s hypoellipticity theorem (see [Ho67]) guarantees that every harmonic function is $C^{\infty}$, hence the Dirichlet double layer potential (the second term of the right hand side in (3.13)) is in $C^{2}(\mathbb{G}^{\ddagger})$. On the other hand, since $\phi\in C^{\infty}(\partial\mathbb{G}^{\ddagger}),\;{\rm supp}\,\phi\subset\{x_{1}=0,\ldots,x_{l}=0\}$ and the boundary hyperplanes $\{x_{1}=0\},\ldots,\{x_{l}=0\}$ have no characteristic points (see [GV00, Section 8] for more discussions on the non-characteristic hyperplanes in $\mathbb{G}$) the Dirichlet double layer potential is continuous on the boundary by the Kohn-Nirenberg theorem (see [CGH08, Theorem 3.12], which is a consequence of [KN65, Theorem 4], see also [De71]-[De72]). ∎

Remark 3.3**.**

One may consider $\mathbb{G}^{\ddagger}_{a},\,a=(a_{1},\ldots,a_{l})\in\mathbb{R}^{l},$ $l$-wedge like space $\{\xi=(x_{1},\ldots,x_{m},t_{1},\ldots,t_{n})|\;x_{1}>a_{1},\ldots,x_{l}>a_{l}\}$, but in this $l$-wedge like space the Green function $G_{\mathbb{G}^{\ddagger}_{a}}$ has the same formula as the formula (3.1) in which the symmetry points are chosen, in this case, with respect to the hyperplanes $\{x_{1}=a_{1}\},\ldots,\{x_{l}=a_{l}\}$. Of course, an analogue of Theorem 3.2 will be obtained by the same argument.

Let us demonstrate some simple cases of Theorem 3.2 and Proposition 3.1 with different (simpler) notations. First, as above we construct a Green function for the Dirichlet sub-Laplacian in a half-space on $\mathbb{G}$. Let $\mathbb{G}^{+}$ be the half-space

[TABLE]

Let the point $\zeta=(y,\tau)=(y_{1},y_{2},...,y_{m},\tau_{1},...,\tau_{n})$ lie in this half-space, $y_{1}>0$. The point

[TABLE]

is said to be symmetric for the point $\zeta$ with respect to the hyperplane $x_{1}=0.$ We have the following direct consequence of Proposition 3.1.

Corollary 3.4**.**

The function

[TABLE]

is the Green function for the Dirichlet sub-Laplacian in $\mathbb{G}^{+}$.

Let $f\in\digamma_{\alpha}(\mathbb{G}^{+}),\;{\rm supp}\,f\subset\mathbb{G}^{+},$ and $\phi\in C^{\infty}(\partial\mathbb{G}^{+}),\;{\rm supp}\,\phi\subset\{x_{1}=0\}.$ Consider the Dirichlet problem for the sub-Laplacian

[TABLE]

In this case Theorem 3.2 can be restated in the following form.

Corollary 3.5**.**

The boundary value problem (3.6) has a unique solution $u\in C^{2}(\mathbb{G}^{+})\cap C^{1}(\overline{\mathbb{G}^{+}})$ and it can be represented by the formula

[TABLE]

where

[TABLE]

Now we construct a Green function for the Dirichlet sub-Laplacian in a quadrant-space on $\mathbb{G}$. Let $\mathbb{G}^{\oplus}$ be the quadrant-space

[TABLE]

Let the point $\zeta=(y,\tau)=(y_{1},y_{2},...,y_{m},\tau_{1},...,\tau_{n})$ lie in this quadrant-space, $y_{1}>0,\,y_{2}>0$. Denote by

[TABLE]

and

[TABLE]

the symmetric points for $\zeta$ with respect to the hyperplanes $x_{1}=0$ and $x_{2}=0$, respectively. The point

[TABLE]

is the symmetric point for $\zeta^{*}$ with respect to the hyperplane $x_{2}=0$ and the symmetric point for $\overline{\zeta}$ with respect to the hyperplane $x_{1}=0$.

We have the following another direct consequence of Proposition 3.1.

Corollary 3.6**.**

The function

[TABLE]

is the Green function for the Dirichlet sub-Laplacian in $\mathbb{G}^{\oplus}$.

3.2. Green functions and representations of solutions in $l$-strip spaces.

Let $\mathbb{G}^{\models}$ be the $l$-strip like space

[TABLE]

for some $1\leq l\leq m$. Let the point $\zeta=(y,\tau)=(y_{1},\ldots,y_{m},\tau_{1},\ldots,\tau_{n})$ lie in this $l$-strip space, $a>y_{l}>0$. We will use the notations

[TABLE]

and

[TABLE]

for all $j=0,1,2,\ldots.$ Following familiar pattern as above we obtain

Proposition 3.7**.**

The function

[TABLE]

is the Green function for the Dirichlet sub-Laplacian in $\mathbb{G}^{\models}$.

Proof of Proposition 3.7.

It is evident that the first additive component in the $j=0$ term of (3.9), i.e. the term $\Gamma(\zeta^{-1}_{+,0}\circ\xi)$ represents the fundamental solution and all the other terms are subharmonic functions in $\mathbb{G}^{\models}$. Let us check that traces of (3.9) vanish on hyperplanes $x_{l}=0$ and $x_{l}=a$. If $x_{l}=0$, then (3.9) gives

[TABLE]

If $x_{l}=a$, then (3.9) gives

[TABLE]

Here the first term ($j=0$ term) of the first sum is canceled with the first term ($j=1$ term) of the second sum and the second terms of the first sum is canceled with the second term of the second sum and so on, that is, the first two sums give zero. Similarly, the first term of the third sum is canceled with the first term of the last sum and the second term of the the third sum is canceled with the second term of the last sum and on on, that is, the last two sums also give zero. As a result, the trace vanishes at $x_{l}=a$. ∎

Let $f\in\digamma_{\alpha}(\mathbb{G}^{\models}),\;0<\alpha<1,\;{\rm supp}\,f\subset\mathbb{G}^{\models},$ and $\phi\in C^{\infty}(\partial\mathbb{G}^{\models}),\;{\rm supp}\,\phi\subset\{x_{l}=0\}\bigcup\{x_{l}=a\}.$ Consider the Dirichlet problem for the sub-Laplacian

[TABLE]

Theorem 3.8**.**

Let $f\in\digamma_{\alpha}(\mathbb{G}^{\models}),\;0<\alpha<1,\;{\rm supp}\,f\subset\mathbb{G}^{\models},$ and $\phi\in C^{\infty}(\partial\mathbb{G}^{\models})$. Then the boundary value problem (3.12) has a unique solution $u\in C^{2}(\mathbb{G}^{\models})\cap C^{1}(\overline{\mathbb{G}^{\models}})$ and it can be represented by the formula

[TABLE]

where $\mathcal{\widetilde{\nabla}}$ is defined by (2.10), in particular,

[TABLE]

Proof of Theorem 3.8.

Similar to proof of Theorem 3.2. ∎