Multi-Dimensional Analytic Functions for Laplace Equations and Generalized Cauchy–Riemann Equations

Abstract

A new concept of projective solution is introduced for the multi-dimensional Laplace equations. We project the field point onto a characteristic vector to obtain a projective variable, which can be used to reduce the Laplace equations to a second-order ordinary differential equation with only a leading term multiplied by the squared norm of the characteristic vector. The projective solutions involve characteristic vectors as parameters, which must be complex numbers to satisfy a null equation. Since the projective variable is a complex variable, we can construct the analytic function based on the conventional complex analytic function theory. Both the analytic function and the Cauchy–Riemann equations are generalized for the multi-dimensional Laplace equations. A powerful numerical technique to solve the 3D Laplace equation with high accuracy is available by further developing the Trefftz-type bases. Numerical experiments confirm the accuracy and efficiency of the projective solutions method (PSM).

1. Introduction

We consider a boundary-value problem for the n-dimensional Laplace equation with $n\ge 2$:

$$\Delta u\left(\mathbf{x}\right)=0,\mathbf{x}\in \Omega \subset {\mathbb{R}}^n,$$

(1)

$${u\left(\mathbf{x}\right)|}_{\mathbf{x}\in \Gamma }=g\left(\mathbf{x}\right),$$

(2)

where $\Gamma$ is the smooth boundary of a bounded domain $\Omega$.

Notice that the complex number

$$z=x+iy$$

(3)

can be written as $z=a_{1}x+a_{2}y$ with $a_1=1,a_2=i$, such that $a_1^2+a_2^2=0$. It is known that in terms of z and $\overline{z}=x-iy$, the 2D Laplace equation can be written as

$$4{\displaystyle \frac{{\partial }^{2}u(x,y)}{\partial z\partial \overline{z}}}=0,$$

(4)

such that the general solution is given by

$$u(x,y)=F\left(z\right)+G\left(\overline{z}\right),$$

(5)

where F and G are any differentiable functions.

In a domain $(x,y)\in \Omega$, a complex-valued function $f\left(z\right)$ is said to be analytic if it has a derivative at every point in $\Omega$. A complex function $f\left(z\right)=u(x,y)+iv(x,y)$ is analytic if and only if

$${\displaystyle \frac{\partial u(x,y)}{\partial x}}={\displaystyle \frac{\partial v(x,y)}{\partial y}},{\displaystyle \frac{\partial u(x,y)}{\partial y}}=-{\displaystyle \frac{\partial v(x,y)}{\partial x}},$$

(6)

which are well-known Cauchy–Riemann equations [1]. As a consequence of Equation (6), $\Delta u(x,y)=\Delta v(x,y)=0$; $u(x,y)$ and $v(x,y)$ are harmonic functions for the 2D Laplace equation.

In the complex form, the Cauchy–Riemann equations can be merged into a single equation:

$${\displaystyle \frac{\partial f}{\partial \overline{z}}}={\displaystyle \frac{1}{2}}\left({\displaystyle \frac{\partial f}{\partial x}}+i{\displaystyle \frac{\partial f}{\partial y}}\right)=0.$$

(7)

If $\varphi (x,y)$ and $\psi (x,y)$ are 2D harmonic functions, then it is easy to prove that

$$u(x,y)={\varphi }_x(x,y),v(x,y)=-{\varphi }_y(x,y),$$

(8)

$$u(x,y)={\psi }_y(x,y),v(x,y)={\psi }_x(x,y)$$

(9)

are both the solutions of Equation (6); $\varphi$ and $\psi$ are potential functions for u and v, automatically satisfying the Cauchy–Riemann equations.

The single variable analytic function can be extended to multivariate analytic function [2,3]. Let $f(z_1,\dots ,z_m)$ be a function defined on ${\mathbb{C}}^m$. If $f(z_1,\dots ,z_m)$ is analytic for each $z_j,j=1,\dots ,m$ in the above sense, then $f(z_1,\dots ,z_m)$ is an m-dimensional analytic function. Let $\Omega \subseteq {\mathbb{C}}^m$ be open, and $f:\Omega \to \mathbb{C}$ a ${\mathcal{C}}^1$ function. Write $f\left(z\right)=f(x+iy)$ with $z=(z_1,\dots ,z_m)\leftrightarrow (x,y)=(x_1,\dots ,x_m,y_1,\dots ,y_m)$, and define for $j=1,\dots ,m$:

$${\displaystyle \frac{\partial f}{\partial z_j}}={\displaystyle \frac{1}{2}}\left({\displaystyle \frac{\partial f}{\partial x_j}}-i{\displaystyle \frac{\partial f}{\partial y_j}}\right),$$

(10)

$${\displaystyle \frac{\partial f}{\partial {\overline{z}}_j}}={\displaystyle \frac{1}{2}}\left({\displaystyle \frac{\partial f}{\partial x_j}}+i{\displaystyle \frac{\partial f}{\partial y_j}}\right).$$

(11)

Then, we have the result that f is analytic on $\Omega$ if and only if

$${\displaystyle \frac{\partial f}{\partial {\overline{z}}_j}}=0$$

(12)

for $j=1,\dots ,m$. Equation (12) comprises m-dimensional Cauchy–Riemann equations. Considering the mapping $z=(z_1,\dots ,z_m)\leftrightarrow (x,y)=(x_1,\dots ,x_m,y_1,\dots ,y_m)$, the underlying space of the multivariate analytic function theory is the even-dimensional real space ${\mathbb{R}}^{2m}$ (or ${\mathbb{C}}^m$).

The issue of how to extend the general solution (5) for the n-dimensional Laplace equation is interesting, especially for $n=3$. Moreover, the problem of constructing the analytic function theory and the Cauchy–Riemann equations is a challenging task, if n is not an even number.

If n is an even number, the multivariate complex function theory can be applied to construct the analytic function with $m=n/2$. If n is an odd number, can the single-complex-variable analytic function theory be applied to construct the analytic function and the harmonic function in the space ${\mathbb{R}}^n$? This problem is not yet fully taken into account and addressed in the literature.

In the literature, the four-component $(u_0,u_1,u_2,u_3)$ in the 3D elliptic system was set up by Moisil and Teodorescu [4]:

$$\begin{array}{ccc}\hfill & \hfill & \hfill {\displaystyle \frac{\partial u_1(x_1,x_2,x_3)}{\partial x_1}}+{\displaystyle \frac{\partial u_2(x_1,x_2,x_3)}{\partial x_2}}+{\displaystyle \frac{\partial u_3(x_1,x_2,x_3)}{\partial x_3}}=0,\\ \hfill & \hfill & \hfill {\displaystyle \frac{\partial u_0(x_1,x_2,x_3)}{\partial x_1}}-{\displaystyle \frac{\partial u_2(x_1,x_2,x_3)}{\partial x_3}}+{\displaystyle \frac{\partial u_3(x_1,x_2,x_3)}{\partial x_2}}=0,\\ \hfill & \hfill & \hfill {\displaystyle \frac{\partial u_0(x_1,x_2,x_3)}{\partial x_2}}+{\displaystyle \frac{\partial u_1(x_1,x_2,x_3)}{\partial x_3}}-{\displaystyle \frac{\partial u_3(x_1,x_2,x_3)}{\partial x_1}}=0,\\ \hfill & \hfill & \hfill {\displaystyle \frac{\partial u_0(x_1,x_2,x_3)}{\partial x_3}}-{\displaystyle \frac{\partial u_1(x_1,x_2,x_3)}{\partial x_2}}+{\displaystyle \frac{\partial u_2(x_1,x_2,x_3)}{\partial x_1}}=0.\end{array}$$

(13)

It can be observed that $(u_0,u_1,u_2,u_3)$ are harmonic functions in the 3D space, and so Equation (13) is a generalization of the Cauchy–Riemann equations, which is the Moisil–Teodorescu system [5,6,7,8]. Motivated by this work, there are many different extensions of the Moisil–Teodorescu system based on the theories of quaternion and hypercomplex [9,10,11,12,13,14,15].

For the 3D Laplace equation, a typical analytic process to derive the series solutions in different coordinates’ systems are (i) using the method of separation of variables; (ii) deriving ordinary differential equations (ODEs), which are generally constructed with varying coefficients, like as the Bessel equation and the Legendre equation; (iii) solving the corresponding Sturm–Liouville problem to determine the eigenfunctions and eigenvalues; and finally, (iv) determining the expanding coefficients to match the specified boundary conditions.

In such a traditional method, we may encounter the difficulty that the solution bases are some special functions, which are not the elementary functions. The analytic process would become tedious when the dimension of the Laplace equation is raised. To overcome these difficulties, we will propose a novel method to transform the multi-dimensional Laplace equation to a second-order ODE with a constant coefficient, which can greatly simplify the work to seek the analytic solutions and derive a powerful method with the elementary functions or the compositions of elementary functions as the bases for the series solutions. We will construct new projective-type particular solutions, which are based on the 2D general solutions in Equation (5) derived from the conventional complex analytic function theory, for the n-dimensional Laplace equation, and demonstrate a new aspect of the analytic functions and the Cauchy–Riemann equations for the n-dimensional Laplace equation.

In addition to the Trefftz method [16,17,18], the method of fundamental solutions (MFS) can be used to solve the Laplace equation as a boundary-type meshless method. The MFS has been applied to solve a lot of boundary-value problems of the Laplace equation [19,20,21,22,23,24]. We are going to apply the analytic function theory to derive some useful bases for solving the 2D and 3D Laplace equations.

In the traditional method for solving the 3D Laplace equation, we may encounter the difficulty that the solution bases are certain special functions, such as the spherical harmonic functions, the Bessel functions, and the modified Bessel functions, which need extra computations of these functions. The motivation of the present study is that we will derive very simple bases for the 3D Laplace equation, which consist of the elementary functions, such as the cosine function, sine function, cosine hyperbolic function, sine hyperbolic function, and exponential function. In doing so, we can overcome the difficulty of traditional methods. However, the present method is limited to the linear PDEs with constant coefficients.

Let us consider the n-dimensional second-order linear PDEs with constant coefficients:

$$\sum _{i=1}^n\sum _{j=1}^n{A}_{ij}{\displaystyle \frac{{\partial }^{2}u\left(\mathbf{x}\right)}{\partial x_i\partial x_j}}+\sum _{i=1}^n{B}_i{\displaystyle \frac{\partial u\left(\mathbf{x}\right)}{\partial x_i}}+Cu\left(\mathbf{x}\right)=0,\mathbf{x}\in \Omega \subset {\mathbb{R}}^n,$$

(14)

where $A_{ij}$ is an $n\times n$ symmetric matrix. In the characteristic theory of second-order linear PDEs, the characteristic form [25,26]

$$Q\left(\mathbf{a}\right)={\mathbf{a}}^{\mathrm{T}}\mathbf{A}\mathbf{a}=\sum _{i=1}^n\sum _{j=1}^n{A}_{ij}{a}_i{a}_j$$

(15)

is crucial, where $\mathbf{a}={(a_1,\dots ,a_d)}^{\mathrm{T}}$ with $a_i\in \mathbb{C}$ is the characteristic vector to satisfy the equation $Q\left(\mathbf{a}\right)=0$.

The novelties involved in the paper are as follows:

• The new projective solutions of 2D, 3D, and n-dimensional Laplace equations are evaluated for the first time in the literature.
• A new concept of projective variable is introduced, such that we can transform the Laplace equations to the second-order ODEs with the leading term multiplied by the squared norm of the characteristic vector, which must be a complex form to satisfy the null equation.
• For the n-dimensional Laplace equation, its analytic function theory and the generalized Cauchy–Riemann equations are established using the projection technique and the complex analytic function theory; we provide an alternative way from the multivariate analytic function theory to construct the analytic function with a single complex variable and not limited to an even dimension.
• In terms of analytic functions as the bases, a powerful numerical technique is created to solve the 2D and 3D Laplace equations.
• Owing to its simple bases, the projective solutions method (PSM) outperforms the conventional methods.
• Numerical experiments verify the accuracy and efficiency of the PSM by using the Trefftz-type bases derived from the analytic functions.

We outline the contents sequentially. Section 2 is devoted to a new approach of the 2D Laplace equation by transforming it to a second-order ODE with a constant coefficient preceding to the second-order derivative term, whose value must be zero to satisfy the Laplace equation, such that the characteristic vector must have a complex form. In Section 3, we introduce a new projective variable for the 3D Laplace equation, and different bases in the Cartesian coordinates, cylindrical coordinates, and spherical coordinates are established. The 3D analytic function theory and the projective-type particular solutions are developed in Section 4. The analytic function theory for Equation (1) is developed in Section 5, where the Cauchy–Riemann equations and multi-dimensional analytic functions are generalized. The Trefftz-type bases are constructed in Section 6, and the numerical tests of the 3D Laplace equation are carried out in Section 7. Finally, the conclusions are given in Section 8.

2. New Projective Solutions of the 2D Laplace Equation

Before embarking on the theory to present the analysis of the 3D Laplace equation, a schematic flow diagram is added to clarify the process of the proposed method in Figure 1.

We first construct a new projective solution of Equation (1) with $n=2$ by introducing a new variable:

$$w=a_{1}x+a_{2}y,$$

(16)

where the imaginary pair $(a_1,a_2)$ satisfy

$$a_1^2+a_2^2=0.$$

(17)

We will name the vector $\mathbf{a}={(a_1,a_2)}^{\mathrm{T}}$ a characteristic vector, no matter whether it is real or complex. Hereby, w is a projective variable, because it is obtained by projecting the field point $(x,y)$ onto $(a_1,a_2)$.

Theorem 1.

If w is given by Equation (16), and Equation (17) is satisfied, then

$$u(x,y)=v\left(w\right)$$

(18)

is a projective-type particular solution satisfying Equation (1) with $n=2$, where $v\left(w\right)$ is a twice-differentiable function of w.

Proof of Theorem 1.

It follows from Equation (16) that

$${\displaystyle \frac{\partial w}{\partial x}}=a_1,{\displaystyle \frac{\partial w}{\partial y}}=a_2,$$

(19)

and from Equations (18) and (19) that

$${\displaystyle \frac{{\partial }^{2}u(x,y)}{\partial x^2}}=a_1^2{\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}},{\displaystyle \frac{{\partial }^{2}u(x,y)}{\partial y^2}}=a_2^2{\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}},$$

(20)

where $v\left(w\right)$ is supposed to be a twice-differentiable function of w. Inserting them into Equation (1) with $n=2$ yields

$${\displaystyle \frac{{\partial }^{2}u(x,y)}{\partial x^2}}+{\displaystyle \frac{{\partial }^{2}u(x,y)}{\partial y^2}}=(a_1^2+a_2^2){\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}}.$$

(21)

If Equation (17) is satisfied, then Equation (1) with $n=2$ is proven. Since v can be any twice-differentiable function of w, $u(x,y)=v\left(w\right)$ is a particular solution of Equation (1) with $n=2$. □

It is of the utmost importance that the 2D Laplace equation is transformed to a second-order ODE in Equation (21) with a constant coefficient $a_1^2+a_2^2$ preceding $v^{″}\left(w\right)$. For Equation (21), if we take $v^{″}\left(w\right)=0$, we can also derive the Laplace equation $u_{xx}(x,y)+u_{yy}(x,y)=0$. However, only a linear solution is obtained, which is not interesting. Therefore, for satisfying $u_{xx}(x,y)+u_{yy}(x,y)=0$, we must take $a_1^2+a_2^2=0$ rather than $v^{″}\left(w\right)=0$, and thus $v\left(w\right)$ can be an arbitrary differentiable function of w. Equations (16)–(18) form a particular solution of the 2D Laplace equation. Chen et al. [27] proposed the method of particular solutions for solving the PDEs without considering the homogeneous solution.

Like z in Equation (3), which can be viewed as the projection of the field point $(x,y)$ onto $(1,i)$, w in Equation (16) is a generalization of z; w is obtained by projecting $(x,y)$ onto $(a_1,a_2)$. Therefore, w is called a projective variable. A function $v\left(w\right)$ is called a projective solution if it satisfies the following ODE:

$$(a_1^2+a_2^2){\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}}=0.$$

(22)

Correspondingly, if $u(x,y)$ is given by Equation (18), then $u(x,y)=v\left(w\right)$, where $w=a_{1}x+a_{2}y$ is a particular projective solution of the 2D Laplace equation.

We consider different situations of Equation (17).

(A)

We take $a_2=i$ and then $a_1=1$ by Equation (17), and w in Equation (16) is presented in the polar coordinates by

$$w=x+iy=r\cos \theta +ir\sin \theta =r{e}^{i\theta },$$

(23)

where $r=\sqrt{x^2+y^2}$ and $\theta =\arctan (y/x)$. Since v can be any twice-differentiable function of w, we can take $v\left(w\right)=w^k$, such that

$$u(r,\theta )=w^k=r^k{e}^{ik\theta }.$$

(24)

Taking the real and imaginary parts of u generates the 2D Trefftz bases in the polar coordinates:

$$\{1,r^k\cos \left(k\theta \right),r^k\sin \left(k\theta \right),k=1,\dots \}.$$

(25)

If we take $v\left(w\right)=\ln w$, then

$$\{\ln r,\theta \}$$

(26)

are the fundamental solution and angular solution of the 2D Laplace equation. $\ln r$ and $\theta$ are, respectively, the real and imaginary parts of $\ln w=\ln r{e}^{i\theta }$.

In the polar coordinates $(r,\theta )$, the 2D Laplace equation can be written as

$$\Delta u(r,\theta )={\displaystyle \frac{{\partial }^{2}u(r,\theta )}{\partial r^2}}+{\displaystyle \frac{1}{r}}{\displaystyle \frac{\partial u(r,\theta )}{\partial r}}+{\displaystyle \frac{1}{r^2}}{\displaystyle \frac{{\partial }^{2}u(r,\theta )}{\partial {\theta }^2}}=0.$$

(27)

Both $\ln r$ and $\theta$ are particular solutions of Equation (27). Because $\theta$ is a polar angle, we call $\theta$ an angular solution of the 2D Laplace equation.

(B)

Alternatively, we can take $a_2=ik$ and then $a_1=k$ in view of Equation (17). By means of Equation (16), we have

$$w=kx+iky.$$

(28)

If we take $v\left(w\right)=e^w$, we can derive

$$\{e^{kx}\cos \left(ky\right),e^{kx}\sin \left(ky\right),k=\pm 1,\dots \},$$

(29)

which are rudimentary solutions of Equation (1) with $n=2$. In terms of the basic functions cosh, sinh, cos, and sin, we can express the solution of the 2D Laplace equation by

$$\begin{array}{ccc}\hfill & \hfill & \hfill u(x,y)=a_0+\sum _{k=1}^{m_0}{a}_k^1\cos kx\cosh ky+\sum _{k=1}^{m_0}{a}_k^2\cos kx\sinh ky\\ \hfill & \hfill & \hfill +\sum _{k=1}^{m_0}{a}_k^3\sin kx\cosh ky+\sum _{k=1}^{m_0}{a}_k^4\sin kx\sinh ky+\sum _{k=1}^{m_0}{a}_k^5\cos ky\cosh kx\\ \hfill & \hfill & \hfill +\sum _{k=1}^{m_0}{a}_k^6\cos ky\sinh kx+\sum _{k=1}^{m_0}{a}_k^7\sin ky\cosh kx+\sum _{k=1}^{m_0}{a}_k^8\sin ky\sinh kx,\end{array}$$

(30)

where $m_0$ is the highest order of k.

3. New Projective Solutions of the 3D Laplace Equation

We extend the above results to the 3D Laplace equation by introducing the following projective variable:

$$w=a_{1}x+a_{2}y+a_{3}z,$$

(31)

where the triplet $(a_1,a_2,a_3)$ satisfies

$$a_1^2+a_2^2+a_3^2=0.$$

(32)

Theorem 2.

For the 3D Laplace equation, if the w given by Equations (31) and (32) is satisfied, then

$$u(x,y,z)=v\left(w\right)$$

(33)

is a projective-type particular solution.

Proof of Theorem 2.

It follows from Equation (31) that

$${\displaystyle \frac{\partial w}{\partial x}}=a_1,{\displaystyle \frac{\partial w}{\partial y}}=a_2,{\displaystyle \frac{\partial w}{\partial z}}=a_3,$$

(34)

and from Equations (33) and (34) that

$${\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial x^2}}=a_1^2{\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}},{\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial y^2}}=a_2^2{\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}},{\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial z^2}}=a_3^2{\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}}.$$

(35)

Inserting them into the left-hand side of Equation (1) with $n=3$ yields

$${\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial x^2}}+{\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial y^2}}+{\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial z^2}}=(a_1^2+a_2^2+a_3^2){\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}}.$$

(36)

If Equation (32) is satisfied, then we can prove that $u(x,y,z)$ given by Equation (33) satisfies Equation (1) with $n=3$. □

By the same token, for Equation (36) only a linear solution is obtained if we take $v^{″}\left(w\right)=0$. Therefore, for satisfying the 3D Laplace equation $u_{xx}(x,y,z)+u_{yy}(x,y,z)+u_{zz}(x,y,z)=0$, we must take $a_1^2+a_2^2+a_3^2=0$, and thus $v\left(w\right)$ can be arbitrary twice-differentiable function of w.

Because w in Equation (31) is obtained by projecting $(x,y,z)$ onto $(a_1,a_2,a_3)$, we call it a projective variable. A function $v\left(w\right)$ is called a projective solution if it satisfies the following ODE:

$$(a_1^2+a_2^2+a_3^2){\displaystyle \frac{d^{2}v\left(w\right)}{d{w}^2}}=0.$$

(37)

Correspondingly, if $u(x,y,z)$ is given by Equation (33), then $u(x,y,z)=v\left(w\right)$, where $w=a_{1}x+a_{2}y+a_{3}z$ is a particular projective solution of the 3D Laplace equation.

We discuss Equation (32) by considering different cases.

(A)

First, we take $a_1=ik$ and then by Equation (32),

$$a_2^2+a_3^2=k^2,$$

(38)

which is satisfied by

$$a_2=k\cos {\Phi }_j,a_3=k\sin {\Phi }_j,{\Phi }_j=2\pi j/m,$$

(39)

where ${\Phi }_j$ is a fictitious angle. In the Cartesian coordinates, we have

$$w=ikx+k{d}_1^{j}y+k{d}_2^{j}z,d_1^j=\cos {\Phi }_j,d_2^j=\sin {\Phi }_j$$

(40)

By taking $v\left(w\right)=e^w$, we can generate the following bases:

$$\{\cos \left(kx\right)\exp \left[k(d_1^{j}y+d_2^{j}z)\right],\sin \left(kx\right)\exp \left[k(d_1^{j}y+d_2^{j}z)\right],j=1,\dots ,m,k=1,\dots ,m_0\}.$$

(41)

Thus, the solution $u(x,y,z)$ of the 3D Laplace equation in the Cartesian coordinates can be presented by

$$\begin{array}{cc}\hfill u(x,y,z)=a_0& +\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^1\cos kx\cosh \left[k(d_1^{j}y+d_2^{j}z)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^2\cos kx\sinh \left[k(d_1^{j}y+d_2^{j}z)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^3\sin kx\cosh \left[k(d_1^{j}y+d_2^{j}z)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^4\sin kx\sinh \left[k(d_1^{j}y+d_2^{j}z)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^5\cos ky\cosh \left[k(d_1^{j}z+d_2^{j}x)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^6\cos ky\sinh \left[k(d_1^{j}z+d_2^{j}x)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^7\sin ky\cosh \left[k(d_1^{j}z+d_2^{j}x)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^8\sin ky\sinh \left[k(d_1^{j}z+d_2^{j}x)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^9\cos kz\cosh \left[k(d_1^{j}x+d_2^{j}y)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^{10}\cos kz\sinh \left[k(d_1^{j}x+d_2^{j}y)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^{11}\sin kz\cosh \left[k(d_1^{j}x+d_2^{j}y)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{a}_{jk}^{12}\sin kz\sinh \left[k(d_1^{j}x+d_2^{j}y)\right].\hfill \end{array}$$

(42)

(B)

We take $a_3=k$ and then, by Equation (32),

$$a_1^2+a_2^2=-k^2,$$

(43)

which can be satisfied by

$$a_1=ik\cos {\Phi }_j,a_2=ik\sin {\Phi }_j,{\Phi }_j=2\pi j/m.$$

(44)

In the cylindrical coordinates,

$$w=ikr\cos {\Phi }_j\cos \theta +ikr\sin {\Phi }_j\sin \theta +kz=ikr\cos (\theta -{\Phi }_j)+kz,$$

(45)

and $v\left(w\right)=e^w$ can generate the following bases:

$$\{e^{kz}\cos \left[kr\cos (\theta -{\Phi }_j)\right],e^{kz}\sin \left[kr\cos (\theta -{\Phi }_j)\right],j=1,\dots ,m,k=1,\dots ,m_0\}.$$

(46)

If we take $a_3=ik$,

$$v\left(w\right)=e^w=\exp [kr\cos (\theta -{\Phi }_j)+ikz]$$

(47)

generates the following bases:

$$\{\cos kz\exp \left[kr\cos (\theta -{\Phi }_j)\right],\sin kz\exp \left[kr\cos (\theta -{\Phi }_j)\right],j=1,\dots ,m,k=1,\dots ,m_0\}.$$

(48)

They are all the projective solutions of the 3D Laplace equation in the cylindrical coordinates. Thus, we can express the solution of $u(r,\theta ,z)$ in the cylindrical coordinates $(r,\theta ,z)$ by

$$\begin{array}{cc}\hfill u(r,\theta ,z)=b_0& +\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^1\cosh kz\cos \left[kr\cos (\theta -{\Phi }_j)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^2\cosh kz\sin \left[kr\cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^3\sinh kz\cos \left[kr\cos (\theta -{\Phi }_j)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^4\sinh kz\sin \left[kr\cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^5\cos kz\cosh \left[kr\cos (\theta -{\Phi }_j)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^6\cos kz\sinh \left[kr\cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^7\sin kz\cosh \left[kr\cos (\theta -{\Phi }_j)\right]+\sum _{j=1}^m\sum _{k=1}^{m_0}{b}_{jk}^8\sin kz\sinh \left[kr\cos (\theta -{\Phi }_j)\right].\hfill \end{array}$$

(49)

(C)

If we take $a_1=\sqrt{j^2+k^2}$, $a_2=ij$ and $a_3=ik$,

$$v\left(w\right)=e^w=\exp [\sqrt{j^2+k^2}x+i(jy+kz)]$$

(50)

generates the following bases:

$$\{\exp (\sqrt{j^2+k^2}x)\cos (jy+kz),\exp (\sqrt{j^2+k^2}x)\sin (jy+kz),j=1,\dots ,m,k=1,\dots ,m_0\}.$$

(51)

Thus, we can express the solution $u(x,y,z)$ of 3D Laplace equation by

$$\begin{array}{cc}\hfill u(x,y,z)=c_0& +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^1\exp (\sqrt{j^2+k^2}x)\cos (jy+kz)+\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^2\exp (\sqrt{j^2+k^2}x)\sin (jy+kz)\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^3\exp (\sqrt{j^2+k^2}y)\cos (jz+kx)+\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^4\exp (\sqrt{j^2+k^2}y)\sin (jz+kx)\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^5\exp (\sqrt{j^2+k^2}z)\cos (jx+ky)+\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^6\exp (\sqrt{j^2+k^2}z)\sin (jx+ky).\hfill \end{array}$$

(52)

(D)

In Equation (49), if r is replaced by $r\sin \varphi$ and z replaced by $r\cos \varphi$, we can express the solution of $u(r,\theta ,\varphi )$ in the spherical coordinates $(x=r\sin \varphi \cos \theta ,y=r\sin \varphi \sin \theta ,$$z=r$$\cos \varphi ,0\le \theta <2\pi ,0\le \varphi \le \pi )$ by

$$\begin{array}{cc}\hfill u(r,\theta ,\varphi )=c_0& +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^1\cosh \left(kr\cos \varphi \right)\cos \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^2\cosh \left(kr\cos \varphi \right)\sin \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^3\sinh \left(kr\cos \varphi \right)\cos \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^4\sinh \left(kr\cos \varphi \right)\sin \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^5\cos \left(kr\cos \varphi \right)\cosh \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^6\cos \left(kr\cos \varphi \right)\sinh \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^7\sin \left(kr\cos \varphi \right)\cosh \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right]\hfill \\ & +\sum _{j=1}^m\sum _{k=1}^{m_0}{c}_{jk}^8\sin \left(kr\cos \varphi \right)\sinh \left[kr\sin \varphi \cos (\theta -{\Phi }_j)\right].\hfill \end{array}$$

(53)

Ku et al. [18] employed the multiple-scale Trefftz method to solve the 3D Laplace equation in the cylindrical coordinates $(r,\theta ,z)$ with 18 independent bases involving the Bessel functions and the modified Bessel functions. Equation (49) is simpler than that used in [18]. However, the bases in Equations (42), (49), and (53) are still too complex. In Section 6, we will derive the so-called Trefftz-type bases, which are more compact.

4. Analytic Function and Projective-Type Particular Solutions of the 3D Laplace Equation

Because of Equation (32), among $a_1,a_2,a_3$ there is at least one element being a complex number. If we take $a_3=i$, then it follows from Equations (32) and (31) that

$$a_1^2+a_2^2=1,$$

(54)

$$w=a_{1}x+a_{2}y+iz,\overline{w}=a_{1}x+a_{2}y-iz,$$

(55)

where w is a complex variable, and $\overline{w}$ is a complex conjugate of w.

Theorem 3.

For the 3D Laplace equation, if w and $\overline{w}$ are given by Equation (55), and Equation (54) is satisfied, then

$$u(x,y,z)=F\left(w\right)+G\left(\overline{w}\right)$$

(56)

is a projective-type particular solution of Equation (1) with $n=3$, where F and G are differentiable functions.

Proof of Theorem 3.

By means of Equation (55), we have

$$\begin{array}{ccc}\hfill & \hfill & \hfill {\displaystyle \frac{\partial u}{\partial x}}=a_1{\displaystyle \frac{\partial u}{\partial w}}+a_1{\displaystyle \frac{\partial u}{\partial \overline{w}}},{\displaystyle \frac{\partial u}{\partial y}}=a_2{\displaystyle \frac{\partial u}{\partial w}}+a_2{\displaystyle \frac{\partial u}{\partial \overline{w}}},\\ \hfill & \hfill & \hfill {\displaystyle \frac{\partial u}{\partial z}}=i{\displaystyle \frac{\partial u}{\partial w}}-i{\displaystyle \frac{\partial u}{\partial \overline{w}}},\\ \hfill & \hfill & \hfill {\displaystyle \frac{{\partial }^{2}u}{\partial x^2}}=a_1^2{\displaystyle \frac{{\partial }^{2}u}{\partial w^2}}+a_1^2{\displaystyle \frac{{\partial }^{2}u}{\partial {\overline{w}}^2}}+2a_1^2{\displaystyle \frac{{\partial }^{2}u}{\partial w\partial \overline{w}}},{\displaystyle \frac{{\partial }^{2}u}{\partial y^2}}=a_2^2{\displaystyle \frac{{\partial }^{2}u}{\partial w^2}}+a_2^2{\displaystyle \frac{{\partial }^{2}u}{\partial {\overline{w}}^2}}+2a_2^2{\displaystyle \frac{{\partial }^{2}u}{\partial w\partial \overline{w}}},\\ \hfill & \hfill & \hfill {\displaystyle \frac{{\partial }^{2}u}{\partial z^2}}=-{\displaystyle \frac{{\partial }^{2}u}{\partial w^2}}-{\displaystyle \frac{{\partial }^{2}u}{\partial {\overline{w}}^2}}+2{\displaystyle \frac{{\partial }^{2}u}{\partial w\partial \overline{w}}}.\end{array}$$

(57)

Summing the results, we can obtain

$${\displaystyle \frac{{\partial }^{2}u}{\partial x^2}}+{\displaystyle \frac{{\partial }^{2}u}{\partial y^2}}+{\displaystyle \frac{{\partial }^{2}u}{\partial z^2}}=(a_1^2+a_2^2-1){\displaystyle \frac{{\partial }^{2}u}{\partial w^2}}+(a_1^2+a_2^2-1){\displaystyle \frac{{\partial }^{2}u}{\partial {\overline{w}}^2}}+2(a_1^2+a_2^2+1){\displaystyle \frac{{\partial }^{2}u}{\partial w\partial \overline{w}}}=0.$$

(58)

If Equation (54) is satisfied, then we have

$${\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial x^2}}+{\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial y^2}}+{\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial z^2}}=4{\displaystyle \frac{{\partial }^{2}u(x,y,z)}{\partial w\partial \overline{w}}}=0.$$

(59)

Hence, Equation (56) is proven. □

Equation (59) is an extension of Equation (4) from the 2D Laplace equation to the 3D Laplace equation. To prove the following result, we recast Equation (55) to a complex form:

$$w=\eta +iz,$$

(60)

$$\eta =a_{1}x+a_{2}y,a_1^2+a_2^2=1,$$

(61)

where $\eta$ and z are, respectively, the real and imaginary parts of w in Equation (60). Here, we must take $a_1$ and $a_2$ to be real values, such that $\eta$ is a real variable. In general, we take $a_1=\cos \Phi$ and $a_2=\sin \Phi$, where $\Phi$ is an angle and $(a_1,a_2)$ is a planar direction.

Notice that the single complex variable w in Equation (60) will be used to construct the analytic function, which is different from the multivariate analytic function theory, by using m complex variables $(z_1,\dots ,z_m)$.

Theorem 4.

Let $w=a_{1}x+a_{2}y+iz$ be a complex variable, where $a_1^2+a_2^2=1$ and $a_1,a_2\in \mathbb{R}$. For the 3D Laplace equation, $f\left(w\right)=u(x,y,z)+iv(x,y,z)$ is an analytic function if and only if

$$a_1{\displaystyle \frac{\partial u(x,y,z)}{\partial x}}+a_2{\displaystyle \frac{\partial u(x,y,z)}{\partial y}}={\displaystyle \frac{\partial v(x,y,z)}{\partial z}},$$

(62)

$${\displaystyle \frac{\partial u(x,y,z)}{\partial z}}=-a_1{\displaystyle \frac{\partial v(x,y,z)}{\partial x}}-a_2{\displaystyle \frac{\partial v(x,y,z)}{\partial y}}.$$

(63)

Further, $u(x,y,z)$ and $v(x,y,z)$ are harmonic functions in the 3D space:

$$\Delta u(x,y,z)=0,\Delta v(x,y,z)=0.$$

(64)

Proof of Theorem 4.

By means of Equation (61), we have

$${\displaystyle \frac{\partial u}{\partial x}}=a_1{\displaystyle \frac{\partial u}{\partial \eta }},{\displaystyle \frac{\partial u}{\partial y}}=a_2{\displaystyle \frac{\partial u}{\partial \eta }},$$

(65)

$${\displaystyle \frac{{\partial }^{2}u}{\partial x^2}}=a_1^2{\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}},{\displaystyle \frac{{\partial }^{2}u}{\partial y^2}}=a_2^2{\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}.$$

(66)

Summing the last two equations and using $a_1^2+a_2^2=1$ renders

$${\displaystyle \frac{{\partial }^{2}u}{\partial x^2}}+{\displaystyle \frac{{\partial }^{2}u}{\partial y^2}}=(a_1^2+a_2^2){\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}={\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}.$$

(67)

Thus, we have a 2D like Laplace equation:

$${\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}+{\displaystyle \frac{{\partial }^{2}u}{\partial z^2}}=0.$$

(68)

According to Equation (6), we have the following Cauchy–Riemann equations:

$${\displaystyle \frac{\partial u(x,y,z)}{\partial \eta }}={\displaystyle \frac{\partial v(x,y,z)}{\partial z}},{\displaystyle \frac{\partial u(x,y,z)}{\partial z}}=-{\displaystyle \frac{\partial v(x,y,z)}{\partial \eta }}.$$

(69)

Multiplying the first one in Equation (65) by $a_1$, the second one in Equation (65) by $a_2$, summing the results and using Equation (61), leads to

$${\displaystyle \frac{\partial u(x,y,z)}{\partial \eta }}=a_1{\displaystyle \frac{\partial u(x,y,z)}{\partial x}}+a_2{\displaystyle \frac{\partial u(x,y,z)}{\partial y}}=\mathbf{a}·\nabla u(x,y,z),$$

(70)

where $\nabla ={(\partial /\partial x,\partial /\partial y)}^{\mathrm{T}}$ is a 2D gradient operator. This equation provides a rule how the operator $\partial /\partial \eta$ works, which is a directional derivative of u along the direction $\mathbf{a}={(a_1,a_2)}^{\mathrm{T}}$. Similarly, we can obtain

$${\displaystyle \frac{\partial v(x,y,z)}{\partial \eta }}=a_1{\displaystyle \frac{\partial v(x,y,z)}{\partial x}}+a_2{\displaystyle \frac{\partial v(x,y,z)}{\partial y}}=\mathbf{a}·\nabla v(x,y,z).$$

(71)

Inserting Equations (70) and (71) into Equation (69), we can derive Equations (62) and (63).

Next, we prove Equation (64). Using Equations (63), (70) and (71), and differentiating Equation (62) with respect to $\eta$ yields

$${\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}={\displaystyle \frac{\partial }{\partial \eta }}{\displaystyle \frac{\partial v}{\partial z}}={\displaystyle \frac{\partial }{\partial z}}{\displaystyle \frac{\partial v}{\partial \eta }}=-{\displaystyle \frac{{\partial }^{2}u}{\partial z^2}},$$

(72)

which by Equation (67) leads to the first one in Equation (64). Similarly, differentiating Equation (63) with respect to $\eta$ yields

$$-{\displaystyle \frac{{\partial }^{2}v}{\partial {\eta }^2}}={\displaystyle \frac{\partial }{\partial \eta }}{\displaystyle \frac{\partial u}{\partial z}}={\displaystyle \frac{\partial }{\partial z}}{\displaystyle \frac{\partial u}{\partial \eta }}={\displaystyle \frac{{\partial }^{2}v}{\partial z^2}},$$

(73)

which leads to the second one in Equation (64). □

The 2D potential functions for the 2D Laplace equation as shown in Equations (8) and (9) can be extended to the 3D potential functions for the 3D Laplace equation. If $\varphi (x,y,z)$ and $\psi (x,y,z)$ are harmonic functions, then

$$u(x,y,z)=\mathbf{a}·\nabla \varphi (x,y,z),v(x,y,z)=-{\displaystyle \frac{\partial \varphi (x,y,z)}{\partial z}},$$

(74)

$$u(x,y,z)={\displaystyle \frac{\partial \psi (x,y,z)}{\partial z}},v(x,y,z)=\mathbf{a}·\nabla \psi (x,y,z)$$

(75)

are both the solutions of the system (62) and (63); $\varphi$ and $\psi$ are potential functions for u and v automatically satisfying the Cauchy–Riemann Equations (62) and (63).

Upon comparing the analytic function in Theorem 4 to the multivariate analytic function mentioned in Section 1, the differences are that $f\left(w\right)$ is still a single-complex-variable analytic function, and is different from $f(z_1,\dots ,z_m)$ in the multivariate analytic function; the underlying space in Theorem 4 is ${\mathbb{R}}^3$, not ${\mathbb{R}}^{2m}$ in the multivariate analytic function theory; Equations (62) and (63) are generalized Cauchy–Riemann equations, which are different from Equation (12).

It is interesting that we have proved the generalized Cauchy–Riemann Equations (62) and (63) in ${\mathbb{R}}^3$ for the 3D Laplace equation. Recalling the Moisil–Teodorescu system in Equation (13) as the generalized Cauchy–Riemann equations in ${\mathbb{R}}^3$, it needs four equations and four harmonic functions $(u_0,u_1,u_2,u_3)$ of $(x_1,x_2,x_3)$ in ${\mathbb{R}}^3$. From the algebraic point of view, the presented theory in Theorem 4, using two equations and two harmonic functions $u(x,y,z)$ and $v(x,y,z)$, is more compact than the theory of the Moisil–Teodorescu system [4].

Theorem 5.

For the 3D Laplace equation, the projective-type particular solution is

$$u(x,y,z)=F_1\left(w_1\right)+G_1\left({\overline{w}}_1\right)+F_2\left(w_2\right)+G_2\left({\overline{w}}_2\right)+F_3\left(w_3\right)+G_3\left({\overline{w}}_3\right),$$

(76)

where $F_i$, $G_i,i=1,2,3$ are differentiable functions and

$$w_1=ix+a_{2}y+a_{3}z,{\overline{w}}_1=-ix+a_{2}y+a_{3}z,a_2^2+a_3^2=1,$$

(77)

$$w_2=a_{1}x+iy+a_{3}z,{\overline{w}}_2=a_{1}x-iy+a_{3}z,a_1^2+a_3^2=1,$$

(78)

$$w_3=a_{1}x+a_{2}y+iz,{\overline{w}}_3=a_{1}x+a_{2}y-iz,a_1^2+a_2^2=1.$$

(79)

Proof of Theorem 5.

For $w_3$, the result was proven in Theorem 3. Then, we change the variable to $w_1$ and $w_2$, whose solutions can be derived similarly. □

It is interesting that Equation (76) bears certain similarity to Equation (5). It is a novel projective-type particular solution of the 3D Laplace equation.

As a demonstration of Theorem 4, we take a simple analytic function:

$$f\left(w\right)=w^2={(a_{1}x+a_{2}y+iz)}^2,$$

such that

$$u(x,y,z)=(a_{1}x+a_{2}y)-z^2,v(x,y,z)=2z(a_{1}x+a_{2}y),$$

and $\Delta u=\Delta v=0$ are obvious. By

$$a_1{\displaystyle \frac{\partial u(x,y,z)}{\partial x}}+a_2{\displaystyle \frac{\partial u(x,y,z)}{\partial y}}=2(a_1^2+a_2^2)(a_{1}x+a_{2}y)=2(a_{1}x+a_{2}y),{\displaystyle \frac{\partial v(x,y,z)}{\partial z}}=2(a_{1}x+a_{2}y),$$

it is easy to verify the first Cauchy–Riemann equation in Equation (62). Then, by

$$-a_1{\displaystyle \frac{\partial v(x,y,z)}{\partial x}}-a_2{\displaystyle \frac{\partial v(x,y,z)}{\partial y}}=-2(a_1^2+a_2^2)z=-2z,{\displaystyle \frac{\partial u(x,y,z)}{\partial z}}=-2z,$$

we can verify the second Cauchy–Riemann equation in Equation (63).

5. Analytic Function and Generalized Cauchy–Riemann Equations

Let us extend Theorem 4 to an n-dimensional Laplace equation with $n\ge 2$. Let $(\mathbf{x},x_n)$ be the Cartesian coordinates, where $\mathbf{x}={(x_1,\dots ,x_{n-1})}^{\mathrm{T}}$, and we take

$$\eta =\mathbf{a}·\mathbf{x},\parallel \mathbf{a}\parallel =1,$$

(80)

$$w=\eta +i{x}_n,$$

(81)

$${\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial \eta }}=\mathbf{a}·\nabla u(\mathbf{x},x_n),$$

(82)

where $\mathbf{a}$ is an $(n-1)$-dimensional direction and ∇ is an $(n-1)$-dimensional gradient operator.

Notice that the single complex variable w in Equation (81) will be used to construct the analytic function, which is different from the multivariate analytic function theory by using m complex variables $(z_1,\dots ,z_m)$.

Theorem 6.

Let $w=\mathbf{a}·\mathbf{x}+i{x}_n$ be a complex variable, where $\mathbf{x}={(x_1,\dots ,x_{n-1})}^T$, $\parallel \mathbf{a}\parallel =1$, and $\mathbf{a}\in {\mathbb{R}}^{n-1}$. For the n-dimensional Laplace equation with $n\ge 2$, $f\left(w\right)=u(\mathbf{x},x_n)+iv(\mathbf{x},x_n)$ is an analytic function if and only if

$$\mathbf{a}·\nabla u(\mathbf{x},x_n)={\displaystyle \frac{\partial v(\mathbf{x},x_n)}{\partial x_n}},{\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial x_n}}=-\mathbf{a}·\nabla v(\mathbf{x},x_n).$$

(83)

Moreover, $u(\mathbf{x},x_n)$ and $v(\mathbf{x},x_n)$, satisfying

$$\Delta u(\mathbf{x},x_n)=0,\Delta v(\mathbf{x},x_n)=0,$$

(84)

are harmonic functions in the n-dimensional space.

Proof of Theorem 6.

By means of Equation (80), we have

$${\displaystyle \frac{{\partial }^{2}u}{\partial x_1^2}}=a_1^2{\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}},\dots ,{\displaystyle \frac{{\partial }^{2}u}{\partial x_{n-1}^2}}=a_{n-1}^2{\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}.$$

(85)

Summing these equations yields

$${\displaystyle \frac{{\partial }^{2}u}{\partial x_1^2}}+\cdots +{\displaystyle \frac{{\partial }^{2}u}{\partial x_{n-1}^2}}=(a_1^2+\cdots +a_{n-1}^2){\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}={\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}.$$

(86)

Thus, we obtain a 2D-like Laplace equation:

$${\displaystyle \frac{{\partial }^{2}u}{\partial {\eta }^2}}+{\displaystyle \frac{{\partial }^{2}u}{\partial x_n^2}}=0.$$

According to Equation (6), the corresponding Cauchy–Riemann equations are

$${\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial \eta }}={\displaystyle \frac{\partial v(\mathbf{x},x_n)}{\partial x_n}},{\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial x_n}}=-{\displaystyle \frac{\partial v(\mathbf{x},x_n)}{\partial \eta }}.$$

(87)

With the aid of Equation (82), we can derive Equation (83).

Take the operator $\partial /\partial x_n$ to the second one in Equation (83),

$${\displaystyle \frac{{\partial }^{2}u(\mathbf{x},x_n)}{\partial x_n^2}}=-\mathbf{a}·\nabla {\displaystyle \frac{\partial v(\mathbf{x},x_n)}{\partial x_n}}.$$

(88)

Take the operator $\mathbf{a}·\nabla$ to the first one in Equation (83),

$$\mathbf{a}·\nabla [\mathbf{a}·\nabla u(\mathbf{x},x_n)]=\mathbf{a}·\nabla {\displaystyle \frac{\partial v(\mathbf{x},x_n)}{\partial x_n}},$$

(89)

which by Equation (82) changes to

$$\mathbf{a}·\nabla {\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial \eta }}={\displaystyle \frac{\partial }{\partial \eta }}[\mathbf{a}·\nabla u(\mathbf{x},x_n)]={\displaystyle \frac{{\partial }^{2}u(\mathbf{x},x_n)}{\partial {\eta }^2}}=\mathbf{a}·\nabla {\displaystyle \frac{\partial v(\mathbf{x},x_n)}{\partial x_n}}.$$

(90)

The summation of Equations (88) and (90) leads to

$${\displaystyle \frac{{\partial }^{2}u(\mathbf{x},x_n)}{\partial {\eta }^2}}+{\displaystyle \frac{{\partial }^{2}u(\mathbf{x},x_n)}{\partial x_n^2}}=0;$$

hence, by Equation (86), we prove $\Delta u(\mathbf{x},x_n)=0$.

Acting the operator $\partial /\partial x_n$ on the first one in Equation (83) generates

$${\displaystyle \frac{{\partial }^{2}v(\mathbf{x},x_n)}{\partial x_n^2}}=\mathbf{a}·\nabla {\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial x_n}}.$$

(91)

Take the operator $-\mathbf{a}·\nabla$ to the second one in Equation (83),

$$\mathbf{a}·\nabla [\mathbf{a}·\nabla v(\mathbf{x},x_n)]=-\mathbf{a}·\nabla {\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial x_n}},$$

(92)

which by Equation (82) changes to

$$\mathbf{a}·\nabla {\displaystyle \frac{\partial v(\mathbf{x},x_n)}{\partial \eta }}={\displaystyle \frac{\partial }{\partial \eta }}[\mathbf{a}·\nabla v(\mathbf{x},x_n)]={\displaystyle \frac{{\partial }^{2}v(\mathbf{x},x_n)}{\partial {\eta }^2}}=-\mathbf{a}·\nabla {\displaystyle \frac{\partial u(\mathbf{x},x_n)}{\partial x_n}}.$$

(93)

The summation of Equations (91) and (93) leads to

$$\Delta v(\mathbf{x},x_n)={\displaystyle \frac{{\partial }^{2}v(\mathbf{x},x_n)}{\partial {\eta }^2}}+{\displaystyle \frac{{\partial }^{2}v(\mathbf{x},x_n)}{\partial x_n^2}}=0.$$

This ends the proof. □

Theorem 7.

The analytic function $f\left(w\right)=u(\mathbf{x},x_n)+iv(\mathbf{x},x_n)$ for the n-dimensional Laplace equation satisfies

$${\displaystyle \frac{\partial f}{\partial \overline{w}}}={\displaystyle \frac{1}{2}}\left({\displaystyle \frac{\partial f}{\partial \eta }}+i{\displaystyle \frac{\partial f}{\partial x_n}}\right)=0,$$

(94)

where $\eta =\mathbf{a}·\mathbf{x}=a_1{x}_1+\dots +a_{n-1}{x}_{n-1}$ with $\parallel \mathbf{a}\parallel =1$, $w=\eta +i{x}_n$, and $\overline{w}=\eta -i{x}_n$.

Proof of Theorem 7.

Because of Equation (82), the Cauchy–Riemann equations in Equation (83) can be written as those in Equation (87), which are sufficient and necessary conditions for $f\left(w\right)=u(\mathbf{x},x_n)+iv(\mathbf{x},x_n)$ to be analytic.

By the chain rule, we have

$${\displaystyle \frac{\partial f}{\partial x_n}}=i{\displaystyle \frac{\partial f}{\partial w}}-i{\displaystyle \frac{\partial f}{\partial \overline{w}}},$$

(95)

$${\displaystyle \frac{\partial f}{\partial \eta }}={\displaystyle \frac{\partial f}{\partial w}}+{\displaystyle \frac{\partial f}{\partial \overline{w}}}.$$

(96)

Multiplying Equation (95) by i and summing it to Equation (96) results in

$${\displaystyle \frac{\partial f}{\partial \overline{w}}}={\displaystyle \frac{1}{2}}\left({\displaystyle \frac{\partial f}{\partial \eta }}+i{\displaystyle \frac{\partial f}{\partial x_n}}\right).$$

(97)

Inserting $f\left(w\right)=u(\mathbf{x},x_n)+iv(\mathbf{x},x_n)$ into the second one in Equation (94) leads to

$$\begin{array}{c}{\displaystyle \frac{\partial f}{\partial \eta }}+i{\displaystyle \frac{\partial f}{\partial x_n}}={\displaystyle \frac{\partial u}{\partial \eta }}+i{\displaystyle \frac{\partial v}{\partial \eta }}+i\left({\displaystyle \frac{\partial u}{\partial x_n}}+i{\displaystyle \frac{\partial v}{\partial x_n}}\right)\hfill \\ ={\displaystyle \frac{\partial u}{\partial \eta }}-{\displaystyle \frac{\partial v}{\partial x_n}}+i\left({\displaystyle \frac{\partial v}{\partial \eta }}+{\displaystyle \frac{\partial u}{\partial x_n}}\right),\hfill \end{array}$$

(98)

which with the aid of Equation (87) implies

$${\displaystyle \frac{\partial f}{\partial \eta }}+i{\displaystyle \frac{\partial f}{\partial x_n}}=0.$$

(99)

With the aid of Equations (97) and (99), Equation (94) is proven. □

Equation (94) is an extension of Equation (7). Theorem 7 is interesting in that any differentiable function $f\left(w\right)=u(\mathbf{x},x_n)+iv(\mathbf{x},x_n)$ is an analytic function, where $u(\mathbf{x},x_n)$ and $v(\mathbf{x},x_n)$ satisfy the n-dimensional Laplace equation. The n-dimensional analytic function theory bears a certain similarity to the analytic function theory for complex function. However, the two-dimensional complex function theory is extended here to the n-dimensional complex function theory.

Upon comparing the analytic function in Theorems 6 and 7 to the multivariate analytic function mentioned in Section 1, the differences are that $f\left(w\right)$ is still a single-complex-variable analytic function, and is different from $f(z_1,\dots ,z_m)$ in the multivariate analytic function; the underlying space in Theorems 6 and 7 is ${\mathbb{R}}^n$, not ${\mathbb{R}}^{2m}$ in the multivariate analytic function theory; Equation (83) is a generalized Cauchy–Riemann equation, which is different from Equation (12). Equation (94) holds for the analytic function with a single complex variable, which is not like Equation (12) that holds for m complex variables $(z_1,\dots ,z_m)$. Notice that the presented analytic function theory can be applied to any dimensional space with $n\ge 2$, not limited to the even-dimensional space. They are totally different theories about the analytic function.

Notice that in terms of a linear operator, Equation (83) can be expressed as

$$\mathcal{L}\left(\begin{array}{c}u\\ v\end{array}\right)=\left(\begin{array}{cc}\mathbf{a}·\nabla & -{\displaystyle \frac{\partial }{\partial x_n}}\\ {\displaystyle \frac{\partial }{\partial x_n}}& \mathbf{a}·\nabla \end{array}\right)\left(\begin{array}{c}u\\ v\end{array}\right)=0.$$

(100)

The conjugation of $\mathcal{L}$ is

$$\overline{\mathcal{L}}=\left(\begin{array}{cc}\mathbf{a}·\nabla & {\displaystyle \frac{\partial }{\partial x_n}}\\ -{\displaystyle \frac{\partial }{\partial x_n}}& \mathbf{a}·\nabla \end{array}\right).$$

(101)

Thus, we can derive

$$\mathcal{L}\overline{\mathcal{L}}\left(\begin{array}{c}u\\ v\end{array}\right)=\overline{\mathcal{L}}\mathcal{L}\left(\begin{array}{c}u\\ v\end{array}\right)=\left(\begin{array}{cc}\mathbf{a}·\nabla & {\displaystyle \frac{\partial }{\partial x_n}}\\ -{\displaystyle \frac{\partial }{\partial x_n}}& \mathbf{a}·\nabla \end{array}\right)\left(\begin{array}{cc}\mathbf{a}·\nabla & -{\displaystyle \frac{\partial }{\partial x_n}}\\ {\displaystyle \frac{\partial }{\partial x_n}}& \mathbf{a}·\nabla \end{array}\right)\left(\begin{array}{c}u\\ v\end{array}\right)=\left(\begin{array}{cc}\Delta & 0\\ 0& \Delta \end{array}\right)\left(\begin{array}{c}u\\ v\end{array}\right)=0,$$

(102)

which indicates that u and v are harmonic functions. Indeed, the system (100) is an extension of the Moisil–Teodorescu system to the n-dimensional setting. However, we only need two functions u and v, rather than the four functions $u_0$, $u_1$, $u_2$, and $u_3$ in Equation (13).

An operator $\mathcal{L}$ is said to be a Dirac operator if $\mathcal{L}$ and its conjugate $\overline{\mathcal{L}}$ satisfy Equation (102); that is

$$\overline{\mathcal{L}}\mathcal{L}=\left(\begin{array}{cc}\Delta & 0\\ 0& \Delta \end{array}\right).$$

(103)

Our approach to the Dirac operator is simpler than the Moisil–Teodorescu system [4,5] in terms of saving algebraic manipulations.

6. Trefftz-Type Bases

Before embarking on the numerical experiments of 3D Laplace equation, we extend Equation (25) from the 2D Trefftz bases to the Trefftz-type bases in 3D. For the analytic function as explored in Theorem 5, we can express $w_3^k$ generated from Equation (79) by

$$w_3^k={(a_1^{j}x+a_2^{j}y+iz)}^k={\left(R_3^j\right)}^k[\cos \left(k{\Psi }_j\right)+i\sin \left(k{\Psi }_j\right)],$$

(104)

where

$$R_3^j=\sqrt{{(a_1^{j}x+a_2^{j}y)}^2+z^2},$$

(105)

$${\Psi }_j=\arctan {\displaystyle \frac{z}{a_1^{j}x+a_2^{j}y}},a_1^j=\cos {\Phi }_j,a_2^j=\sin {\Phi }_j,{\Phi }_j={\displaystyle \frac{2j\pi }{m}}.$$

(106)

These can be carried out similarly for $w_1$ and $w_2$. Consequently, we can expand $u(x,y,z)$ for the solution of 3D Laplace equation by the following Trefftz-type bases:

$$\begin{array}{ccc}\hfill & \hfill & \hfill u(x,y,z)=d_0+\sum _{j=1}^m\sum _{k=1}^{m_0}{d}_{jk}^1{\left(R_1^j\right)}^k\cos \left[k\arctan {\displaystyle \frac{x}{\left(y\cos \frac{2j\pi }{m}+z\sin \frac{2j\pi }{m}\right)}}\right]\\ \hfill & \hfill & \hfill +\sum _{j=1}^m\sum _{k=1}^{m_0}{d}_{jk}^2{\left(R_1^j\right)}^k\sin \left[k\arctan {\displaystyle \frac{x}{\left(y\cos \frac{2j\pi }{m}+z\sin \frac{2j\pi }{m}\right)}}\right]\\ \hfill & \hfill & \hfill +\sum _{j=1}^m\sum _{k=1}^{m_0}{d}_{jk}^3{\left(R_2^j\right)}^k\cos \left[k\arctan {\displaystyle \frac{y}{\left(z\cos \frac{2j\pi }{m}+x\sin \frac{2j\pi }{m}\right)}}\right]\\ \hfill & \hfill & \hfill +\sum _{j=1}^m\sum _{k=1}^{m_0}{d}_{jk}^4{\left(R_2^j\right)}^k\sin \left[k\arctan {\displaystyle \frac{y}{\left(z\cos \frac{2j\pi }{m}+x\sin \frac{2j\pi }{m}\right)}}\right]\\ \hfill & \hfill & \hfill +\sum _{j=1}^m\sum _{k=1}^{m_0}{d}_{jk}^5{\left(R_3^j\right)}^k\cos \left[k\arctan {\displaystyle \frac{z}{\left(x\cos \frac{2j\pi }{m}+y\sin \frac{2j\pi }{m}\right)}}\right]\\ \hfill & \hfill & \hfill +\sum _{j=1}^m\sum _{k=1}^{m_0}{d}_{jk}^6{\left(R_3^j\right)}^k\sin \left[k\arctan {\displaystyle \frac{z}{\left(x\cos \frac{2j\pi }{m}+y\sin \frac{2j\pi }{m}\right)}}\right],\end{array}$$

(107)

where

$$\begin{array}{ccc}\hfill & \hfill & \hfill R_1^j=\sqrt{x^2+{\left(y\cos {\displaystyle \frac{2j\pi }{m}}+z\sin {\displaystyle \frac{2j\pi }{m}}\right)}^2},\\ \hfill & \hfill & \hfill R_2^j=\sqrt{y^2+{\left(z\cos {\displaystyle \frac{2j\pi }{m}}+x\sin {\displaystyle \frac{2j\pi }{m}}\right)}^2},\\ \hfill & \hfill & \hfill R_3^j=\sqrt{z^2+{\left(x\cos {\displaystyle \frac{2j\pi }{m}}+y\sin {\displaystyle \frac{2j\pi }{m}}\right)}^2}.\end{array}$$

(108)

Instead of using Equation (49), which is too complicated, we consider w in the cylindrical coordinates:

$$w=a_1^{j}r\cos \theta +a_2^{j}r\sin \theta +iz=r\cos (\theta -{\Phi }_j)+iz,{\Phi }_j={\displaystyle \frac{2j\pi }{m}}.$$

(109)

It follows that

$$w^k=R_j^k(\cos k{\Psi }_j+i\sin k{\Psi }_j),$$

(110)

where

$$R_j=\sqrt{z^2+r^2{\cos }^2(\theta -{\Phi }_j)},{\Psi }_j=\arctan {\displaystyle \frac{z}{r\cos (\theta -{\Phi }_j)}}.$$

(111)

Now, we can expand $u(r,\theta ,z)$ by the Trefftz-type bases in the cylindrical coordinates:

$$\begin{array}{c}\hfill u(r,\theta ,z)=e_0+\sum _{j=1}^m\sum _{k=1}^{m_0}{e}_{jk}^1{R}_j^k\cos \left[k\arctan {\displaystyle \frac{z}{r\cos \left(\theta -\frac{2j\pi }{m}\right)}}\right]\\ \hfill +\sum _{j=1}^m\sum _{k=1}^{m_0}{e}_{jk}^2{R}_j^k\sin \left[k\arctan {\displaystyle \frac{z}{r\cos \left(\theta -\frac{2j\pi }{m}\right)}}\right]+\sum _{k=1}^{m_0}{e}_k^3{r}^k\cos \left(k\theta \right)+\sum _{k=1}^{m_0}{e}_k^4{r}^k\sin \left(k\theta \right),\end{array}$$

(112)

which is much simpler than Equation (49). Notice that for the problem in the cylindrical coordinates, we can add the following terms

$$\sum _{k=1}^{m_0}{d}_k^7{r}^k\cos \left(k\theta \right)+\sum _{k=1}^{m_0}{d}_k^8{r}^k\sin \left(k\theta \right)$$

in Equation (107) to enhance the accuracy.

The classical approach of linear PDEs is usually using the method of separation variables to build up the Trefftz bases. When the linear PDEs are more complex than the Laplace equation and with dimension greater than two $(n\ge 3)$, there exist no simple ways to set up the Trefftz bases. The projective solutions method proposed here is very useful to construct the particular solutions of the projective type for many linear PDEs with $n\ge 3$ and with constant coefficients; it can help us to derive the Trefftz bases in terms of elementary functions, which are more simpler than the method by using the special functions as the bases [18] for solving the 3D Laplace equation in the cylindrical coordinate system.

7. Numerical Experiments

Now, we are in a good position to compare the different types of the bases used in the solution of 3D Laplace equation. Let $\mathbf{x}=(x,y,z)$. We assess the errors of $u\left(\mathbf{x}\right),\mathbf{x}\in \overline{\Omega }$ by the maximum error (ME) and root-mean-square error (RMSE):

$$\mathrm{ME} \mathrm{of}u\left(\mathbf{x}\right):=\underset{\mathbf{x}\in \overline{\Omega }}{\max }|u_e\left(\mathbf{x}\right)-u_N\left(\mathbf{x}\right)|,$$

(113)

$$\mathrm{RMSE} \mathrm{of}u\left(\mathbf{x}\right):=\sqrt{{\displaystyle \frac{1}{N_t}}\sum _{j=1}^{N_t}{[u_e\left({\mathbf{x}}_j\right)-u_N\left({\mathbf{x}}_j\right)]}^2},{\mathbf{x}}_j\in \overline{\Omega },$$

(114)

where $u_e$ denotes the exact solution and $u_N$ the numerical solution, and $N_t$ is the number of tested points.

Example 1.

We consider the following exact solution [28]:

$$u(x,y,z)=xyz+x^2-{\displaystyle \frac{y^2+z^2}{2}},$$

(115)

with the following boundary shape:

$$\Gamma =\left\{\right(x,y,z\left)\right|x=\rho \cos \theta ,y=\rho \sin \theta \sin \varphi ,z=\rho \sin \theta \cos \varphi ,0\le \theta \le 2\pi ,0\le \varphi \le \pi \},$$

(116)

where

$$\rho \left(\theta \right)={\left[\cos \left(3\theta \right)+\sqrt{8-{\sin }^2\left(3\theta \right)}\right]}^{{\displaystyle \frac{1}{3}}}.$$

(117)

We impose the Dirichlet boundary condition for this problem, where $n_q=400$ collocated points are used to satisfy the boundary condition. By using the Cartesian bases in Equation (42), we take $m=5$ and $m_0=3$ with $n=180$ unknown coefficients. The resulting linear system is scaled by $R_0=0.01$, such that all the column norms of the coefficient matrix of the linear system are equal to $R_0$ [29]. The dimension of the coefficient matrix is $n_q\times n$, and we apply the conjugate gradient method (CGM) to solve the resulting normal system with a convergence criterion $\epsilon ={10}^{-11}$. We test the accuracy at 2500 points in the domain. It does not converge within 10,000 steps and the maximum error (ME) in the entire domain is ME = $1.1\times {10}^{-6}$ and the root-mean-square error (RMSE) is RMSE = $3.98\times {10}^{-7}$. The numerical and exact solutions are compared on the curve of $(r=\rho /2,0\le \theta \le 2\pi ,\varphi =\pi /4)$, on which the maximum error is $4.22\times {10}^{-7}$, as shown in Figure 2a by a dashed–dotted line.

Under Equation (107) with $m=5$ and $m_0=3$ and $n=91$ unknown coefficients, the Trefftz-type basis is convergent with 9 steps, and ME = $6.22\times {10}^{-15}$ and RMSE = $1.46\times {10}^{-15}$ are obtained. The local error on the above curve and the maximum error in the entire domain are shown in Figure 2a,b. It can be seen that the Trefftz-type basis is convergent fast and very accurate. Figure 3 plots the error of numerical solution using the Trefftz bases over the plane $(\theta ,\varphi )$. It can be seen that the absolute error of u in the entire domain is of the order ${10}^{-15}$.

Example 2.

We demonstrate a complex 3D Laplacian problem with

$$u(x,y,z)=\cosh z\cos \left(\sqrt{2}x\right)\sinh y+\sinh z\sin \left(\sqrt{2}x\right)\cosh y,$$

(118)

$$\rho (\theta ,\varphi )=1+\sin \left(7\theta \right)\sin \left(6\varphi \right),$$

(119)

$$\Gamma =\left\{\right(x,y,z\left)\right|x=\rho \cos \theta \sin \varphi ,y=\rho \sin \theta \sin \varphi ,z=\rho \cos \varphi ,0\le \theta \le 2\pi ,0\le \varphi \le \pi \}.$$

(120)

We impose the Dirichlet boundary condition for this problem, where $n_q=1225$ collocated points are used to satisfy the boundary condition. Under Equation (107) with $m=5$ and $m_0=15$ and $n=451$ unknown coefficients, the Trefftz-type basis is convergent with 4070 steps. In Figure 4a, the numerical and exact solutions on the curve of $(r=\rho /2,0\le \theta \le 2\pi ,\varphi =\pi /4)$ are compared, which are almost coincident with the maximum error being $3.17\times {10}^{-10}$. In the entire domain, ME = $3.11\times {10}^{-7}$ and RMSE = $7.77\times {10}^{-9}$ are obtained as shown in Figure 4b. Using Equation (42), it does not converge within 10,000 steps and ME = $5.03\times {10}^{-3}$ and RMSE = $1.02\times {10}^{-4}$ are obtained as shown in Figure 4b by a dashed line. Figure 5 plots the error of numerical solution using the Trefftz bases over the plane $(\theta ,\varphi )$.

Example 3.

We consider the following exact solution [18]:

$$u(x,y,z)=z\cos x\cosh y+z\sin x\sinh y,$$

(121)

$$\Gamma =\left\{\right(x,y,z\left)\right|x=\rho \cos \theta ,y=\rho \sin \theta ,0\le \theta \le 2\pi ,0<z<1\},$$

(122)

$$\rho \left(\theta \right)={\left[\cos \left(2\theta \right)+\sqrt{1.1-{\sin }^2\left(2\theta \right)}\right]}^{{\displaystyle \frac{1}{2}}}.$$

(123)

We impose the Dirichlet boundary condition for this problem, where $n_q=1500$ collocated points are used to satisfy the boundary condition. Under Equation (112) with $m=2$ and $m_0=10$, $n=61$ unknown coefficients, and $R_0=0.1$, ME = $3.50\times {10}^{-8}$ and RMSE = $2.29\times {10}^{-9}$ are obtained, as shown in Figure 6 by a solid line. Under Equation (107) with $m=2$ and $m_0=10$, $n=141$ unknown coefficients, and $R_0=0.01$, ME = $2.54\times {10}^{-8}$ and RMSE = $2.35\times {10}^{-9}$ are obtained, as shown in Figure 6 by a dashed line. Both the efficiency and accuracy of the Trefftz-type basis and the cylindrical Trefftz-type basis are better than that in [18]. Figure 7 plots the error of numerical solution using the Trefftz bases over the plane $(\theta ,z)$.

8. Conclusions

The topics treated in the paper were the new projective solutions of 2D, 3D, and n-dimensional Laplace equations. A new concept of projective variable w is introduced, such that we can transform the Laplace equations to the second-order ODEs with the leading term multiplied by the squared-norm of the characteristic vector, which must be a complex vector to satisfy a null equation. Different choices of the characteristic vector may offer many projective solutions as the bases. For the n-dimensional Laplace equation, we have established its analytic function theory, and the generalized Cauchy–Riemann equations were derived for the first time. The solutions of the 3D Laplace equation are easily expanded in terms of these analytic functions as the bases, and a powerful numerical technique was created to solve the 3D Laplace equation. Owing to its simple bases, the projective solutions method (PSM) outperforms the conventional methods. Numerical experiments of the 3D Laplace equation verified the accuracy and efficiency of the PSM by using the Trefftz-type bases for solving the 3D Laplace equation.

The projective variable w is essentially a single complex variable. So we can construct the analytic function $f\left(w\right)$ based on the conventional complex analytic function theory; however, the resultant harmonic functions are defined in the multi-dimensional space, since w is a linear function of the coordinates of the multidimensional space. For the 3D Laplace equation, the presented theory used to construct the analytic function and harmonic function, and to derive the Cauchy–Riemann equations algebraically, outperforms the theory of the Moisil–Teodorescu system and the conventional multivariate complex analytic function theory, which is restricted to the even-dimensional space.