The analytical properties of the lattice Green function
GH(α1,α2,α3;w)=w(2π)2∫−ππ∫−ππ0.17emnormaldθ1normaldθ2w2−||α1nbsp0.3333emexp(normaliθ1)+α2nbsp0.3333emexp(normaliθ2)+α3nbsp0.3333emexp(−normaliθ2)2
for the fully anisotropic honeycomb lattice are studied, where (α
1, α
2, α
3) are anisotropy parameters with {α
j
∈ (0, ∞): j = 1, 2, 3}, and w = u + iv is a complex variable in a (u, v) plane. This integral defines a single-valued analytic function G
H(α
1, α
2, α
3; w) provided that a cut is made along the real axis from u = −(α
1 + α
2 + α
3) to u = (α
1 + α
2 + α
3). We show that G
H(α
1, α
2, α
3; w) is a solution of a second-order linear differential equation with ten ordinary regular singular points and four apparent singular points. The apparent singularities are removed by constructing a particular differential equation of fourth order. Next, the series solution
GH(α1,α2,α3;w)=1w0.17em∑n=0∞r2nH(α1,α2,α3)w2n,
where |w| > (α
1 + α
2 + α
3), and
r2nH(α1,α2,α3)=1(2π)2∫−ππ∫−ππ||α1nbsp0.3333emexp(normaliθ1)+α2nbsp0.3333emexp(normaliθ2)+α3nbsp0.3333emexp(−normaliθ2)2nnormaldθ1normaldθ2,
is introduced. It is proved that, in general,
satisfies a five-term linear recurrence relation. The asymptotic behaviour of
as n → ∞ is also established. In order to determine the behaviour of G
H(α
1, α
2, α
3; w) along the edges of the cut we define the limit function
limε→0+GH(α1,α2,α3;u±normaliε)≡0.17emGRH(α1,α2,α3;u)0.17em∓0.17emnormaliGIH(α1,α2,α3;u),
where u ∈ [−(α
1 + α
2 + α
3), (α
1 + α
2 + α
3)]. Integral representations are established for
and
. In particular, it is found that
2πGRH(α1,α2,α3;u)=u∫0∞t0.17emJ0(α1t)J0(α2t)J0(α3t)Y0(ut)normaldt,
2πGIH(α1,α2,α3;u)=u∫0∞t0.17emJ0(α1t)J0(α2t)J0(α3t)J0(ut)normaldt,
where J
0(z) and Y
0(z) denote Bessel functions of the first and second kind, respectively, and u ∈ (0, α
1 + α
2 + α
3). It is also demonstrated that the piecewise functions
and
can be sectionally evaluated exactly for all u ∈ (0, α
1 + α
2 + α
3), in terms of complete elliptic integrals of the first kind K(k), where k
2 ≡ k
2(α
1, α
2, α
3, u) is a rational function of (α
1, α
2, α
3) and u. Finally, applications of the results are made to the lattice Green function for the fully anisotropic simple cubic lattice, and to the theory of Pearson random walks in a plane. In particular, various Bessel function integrals are evaluated in order to derive a new exact formula for the mean end-to-end distance
of a general three-step random walk.