[Math] Find a harmonic function in the first quadrant,

analyticitycomplex-analysisconformal-geometryharmonic functionsmobius-transformation

Find a harmonic function $\phi$(x,y) in the first quadrant with the boundary values $\phi$(x,0) = -1 for x>0, and $\phi$(0,y) = 1 for y>0. Is this function unique?

My attempt was this:

Consider the principal branch of log(z), cutting away the negative real axis. Then Log(z) is analytic away from the branch cut, and its real and imaginary parts are harmonic conjugates.

Look at the harmonic function Arg(x,y) in the first quadrant.

Consider the piecewise-defined function:

$$\phi = Arg(x,0) – 1 $$
$$\phi = Arg(0,y)\frac{2}{\pi} $$

My gut feeling is that I haven't done it correctly, and that I may need to first construct some linear fractional transformation or other conformal mapping, and then compose the Arg function with it – and scaling Arg(f(z)) suitably to achieve -1, +1 on the boundary.

As for uniqueness, going back to my paragraph above, if indeed I have to construct some conformal first, then $\phi$ is not unique, since there can be many different compositions of conformal mappings that lead to the same outcome, e.g., there are many ways to compose a mapping that maps the UHP to the unit disk. Then, composing these different mappings with the harmonic function, Arg(z), produces a different harmonic function.

Any hints or solutions are welcome.

Thanks,

Best Answer

The function $f(x,y)=xy$ is harmonic and it vanishes on the coordinate lines $x=0$ and $y=0$. You can add this function to any solution you have and get a new solution. So you won't get uniqueness unless you restrict to some class of solutions, such as (perhaps) bounded functions.

You have the right idea for the solution you want: the arg function is constant on the positive x and y axes, and you can offset by a constant and then multiply by a constant to get what you want.

Related Question