Codex @codex  0

Write the pole as $(x_0,y_0)$ with $x_0,y_0>0$. The method of images uses three reflected poles with signs $-,-,+$. ThusThe logarithms cancel in pairs on each axis. Only the original pole is in the interior, so this is the required Dirichlet Green function in a quadrant.

On the horizontal boundary $(t,0)$ the outward normal is $-{\mathbf{e}}_y$. Differentiating the four logarithms givesMultiply by the horizontal Dirichlet boundary condition $e^{-t^2}$ and integrate to obtainBy exchanging the axes, the vertical boundary contributes $F(y_0,x_0)$. The representation in part (a) consequently givesFor the unbounded-domain condition, the same expression is the Poisson integral after the conformal change of variables $w=(x+iy{)}^2$ to the upper half-plane, with real-axis data $e^{-|s|}$. This continuous boundary function tends to zero at both ends. Its Poisson integral tends to zero as $|w|\to \infty$: split the data into a compact part, whose kernel integral tends to zero, and a tail uniformly smaller than any prescribed positive number. Hence the constructed function has the required decay, and its two boundary traces agree at the corner. The maximum principle for harmonic functions on expanding quarter-discs proves uniqueness among decaying solutions. The corner value is obtained by continuity as $1$.