Show that $Q$ is harmonic

48 Views Asked by At

Let $P : D\subset \mathbb{R}^2 \to \mathbb{R}$ be a harmonic function

show in both cases that $Q$ is harmonic

first case $Q = x\frac{\partial P}{\partial x}+y\frac{\partial P}{\partial y}$ $$ \Delta Q = \frac{\partial^2 Q}{\partial x^2}+\frac{\partial^2 Q}{\partial y^2}$$

$$=\frac{\partial}{\partial x} (\frac{\partial P}{\partial x})+\frac{\partial}{\partial y} (\frac{\partial P}{\partial y}) = \frac{\partial^2 P}{\partial x^2}+\frac{\partial^2 P}{\partial y^2} = \Delta P = 0 \implies Q\; \text{is harmonic}$$ please check my notations I'm not familiar with partial derivatives and I wanna make sure I wrote everything correctly.

second case : $Q = y\frac{\partial P}{\partial x}-x\frac{\partial P}{\partial y}$

$$ \Delta Q = \frac{\partial^2 Q}{\partial x^2}+\frac{\partial^2 Q}{\partial y^2}$$ $$= \frac{\partial}{\partial x} (-\frac{\partial P}{\partial y})+\frac{\partial}{\partial y} (\frac{\partial P}{\partial x}) = -\frac{\partial^2 P}{\partial x \partial y} + \frac{\partial^2 P}{\partial y \partial x} $$ since P is a harmonic function it's twice continuously differentiable which means I can use Schwarz's theorem so $\Delta Q = 0 \implies Q$ is harmonic.

this is my first time dealing with harmonic functions Am I doing it right ? especially the notations.

1

There are 1 best solutions below

4
On

I don't think so, no. Here's an example with $Q$ as in the first case.

$$\frac{\partial}{\partial x}Q= \frac{\partial}{\partial x}\left(x\frac{\partial P}{\partial x}+y\frac{\partial P}{\partial y}\right)= \frac{\partial}{\partial x}\left(x\frac{\partial P}{\partial x}\right)+\frac{\partial}{\partial x}\left(y\frac{\partial P}{\partial y}\right)\\ =\frac{\partial P}{\partial x}+x\frac{\partial^2 P}{\partial x^2}+y\frac{\partial^2 P}{\partial x\partial y}$$

Here, we have used that $(f+g)'=f'+g'$ and that $(fg)'=f'g+fg'$. Do you think you can finish it on your own now, bearing in mind this example and the fact that

$$\frac{\partial^2}{\partial x^2}Q=\frac{\partial}{\partial x}\left(\frac{\partial}{\partial x}Q\right)\text{?}$$