Intereting Posts

Is every topological manifold completely metrizable?
Connectedness of the $S^2$ sphere
This sentence is false
Lost on rational and Jordan forms
Range scaling problem
Borel Measures: Atomic Decomposition
When to use the contrapositive to prove a statment
Philosophy or meaning of adjoint functors
Is a probability of 0 or 1 given information up to time t unchanged by information thereafter?
Prove that $(p+q)^m \leq p^m+q^m$
Where has this common generalization of nets and filters been written down?
Finding Galois group of $x^6 – 3x^3 + 2$
What is wrong in this proof: That $\mathbb{R}$ has measure zero
Extension of uniformly continuous function
Inequality of numerical integration $\int _0^\infty x^{-x}\,dx$.

For which pairs of lines $L_1$, $L_2$ do there exist real functions, harmonic in the whole plane, that are $0$ at all points of $L_1 \cup L_2$ without vanishing identically?

Note: This is self-study — not homework.

My thoughts:

- Prove that the composition of differentiable functions is differentiable.
- Analytic continuation of Dirichlet function
- If there is a branch of $\sqrt{z}$ on an open set $U$ with $0 \notin U,$ then there is also a branch of $arg$ $z.$
- Determining holomorphicity
- Picard's Little Theorem Proofs
- Why do we negate the imaginary part when conjugating?

I tried to exploit certain configurations of $L_1$ and $L_2$ and apply the reflection principle to show that the function vanishes on a closed curve and hence everywhere, but I wasn’t successful.

OK, I think I have a working argument. Let $u$ be a real harmonic function that vanishes on two lines $L_1$ and $L_2$. Apply the necessary translation and/or rotation to make $L_1$ match $y = 0$ and the intersection point (if any) match (0, 0). This will translate/rotate the set of zeros of $u$, but it won’t remove or introduce new zeros. The resulting function will remain real and harmonic.

If $L_1$ and $L_2$ are parallel, then $L_2$ is of the form $y = a$ and, by a direct computation of the Laplacian, the following function satisfies the requirements:

$$u(x, y) = e^x \sin\left(\frac{2\pi y}{a}\right)$$

If $L_1$ and $L_2$ intersect at an angle $\theta = 2\pi\frac{p}{q}$ where $p, q \in \Bbb N, q \ne 0$, the following function satisfies the requirements:

$$u(x, y) = \prod_{k=0}^{q-1}\left(y-x \tan\left(2\pi k \frac{p}{q}\right)\right)$$

Otherwise, $L_1$ and $L_2$ intersect at an angle $\theta = 2 \pi s$ where $s \not \in \Bbb Q$. By the Schwarz reflection principle, the function also vanishes on $\overline L_2$. With repeated rotations and applications of the reflection principle, we find that a rotation of the function has zeros in the following set:

$$y = x \tan(2 \pi s n), \ n \in \Bbb N$$

But the set is dense because $s \not \in \Bbb Q$. Hence the function is identically zero.

**My question:** Any mistakes in my argument? Is there an easier way?

- Behavior of holomorphic functions on the boundary of the unit disk
- $|e^a-e^b| \leq |a-b|$
- Applications of the Residue Theorem to the Evaluation of Integrals and Sums
- Integral $\int_0^\infty\sin{(x^4)} dx$
- Singularity at infinity of a function entire
- Are there any continuous functions from the real line onto the complex plane?
- Residue of $f(z) = \frac{z}{1-\cos(z)}$ at $z=0$
- Every power series expansion for an entire function converges everywhere
- Finding closed forms for $\sum n z^{n}$ and $\sum n^{2} z^{n}$
- inequality involving complex exponential

The idea to use the reflection principle is good. When a harmonic function vanishes on a line (say, the real axis),

redefining it in the lower half-plane as $\tilde (x,y)=-u(x,-y)$ also yields a harmonic function. Since $u=\tilde u$

in the upper half-plane, we conclude that $u\equiv \tilde u$, that is, $u(x,y)\equiv -u(x,-y)$. The same applies

to reflections about other lines.

As a corollary: if a harmonic function vanishes on two lines $L_1$ and $L_2$, then it also vanished on the line

$L_3$ that is obtained by reflecting $L_1$ about $L_2$. The process of reflection can be repeated.

If the angle between $L_1$ and $L_2$ is *not* a rational multiple of $\pi$, then repeated reflections produce

a *dense* set of lines on which the function vanishes. Therefore, it vanishes identically.

If the angle between $L_1$ and $L_2$ is a rational multiple of $\pi$, say $m\pi/n$, then such harmonic function exists, and can be obtained from

the holomorphic function $z^n$.

- A question on elementary number theory
- Standard Deviation Annualized
- If $X$ is affine reduced, show that $f\neq 0 \Rightarrow \overline {D(f)} = \operatorname {Supp} f$
- Closed form of $\int_{0}^{\infty} \frac{\tanh(x)\,\tanh(2x)}{x^2}\;dx$
- Limit of difference of two square roots
- organize 5 subjects in 6 periods
- Analogue of Baer criterion for testing projectiveness of modules
- Confused about models of ZFC and passage of book
- How do I find the basis of this eigen space?
- Subspace generated by permutations of a vector in a vector space
- A coin is ﬂipped 8 times: number of various outcomes
- Is there a fundamental theorem of calculus for improper integrals?
- Find all positive integers $n$ for which $1 + 5a_n.a_{n + 1}$ is a perfect square.
- Category theory, a branch of abstract algebra?
- Is the real number structure unique?