Section 5

Differentiability of Functions. Harmonic Functions

[19/37%]
Show
LaTeX
Problem 5.1

Find all points z=x+iyz = x+i y at which the following functions are differentiable:

?
(1)

Im(z)\mathrm{Im}\left(z\right);

(2)

∣zˉ∣2\left|\bar{z}\right|^{2};

(3)

x2−iy2x^{2}-i y^{2};

(4)

x2−y2−2ixyx^{2}-y^{2}-2 i x y;

(5)

x−y+i(x+y)x-y+i(x+y);

(6)

zRe(z)z \mathrm{Re}\left(z\right).

Problem 5.2

Prove that for any natural value nn the function znz^{n} is differentiable in the entire complex plane and that (zn)′=nzn−1\left(z^{n}\right)^{\prime } = n z^{n-1}.

?
Problem 5.3

Prove that every polynomial in zz is a differentiable function in the entire complex plane, and every rational function is differentiable at every point where the denominator does not vanish.

?
Problem 5.4

Define the function eze^{z} for any complex value z=x+iyz = x+i y by the equality ez=ex(cos⁡y+isin⁡y)e^{z} = e^{x}(\cos y+i \sin y). Prove that the function eze^{z} is differentiable for any zz and the equality (ez)′=ez\left(e^{z}\right)^{\prime } = e^{z} holds.

?
Problem 5.5

Define the functions sh⁡z,ch⁡z,sin⁡z,cos⁡z\operatorname {sh} z, \operatorname {ch} z, \sin z, \cos z by the equalities

sh⁡z=12(ez−e−z),ch⁡z=12(ez+e−z),sin⁡z=12i(eiz−e−iz),cos⁡z=12(eiz+e−iz). \begin{aligned} \operatorname {sh} z & = \frac{1}{2}\left(e^{z}-e^{-z}\right), & \operatorname {ch} z & = \frac{1}{2}\left(e^{z}+e^{-z}\right), \\ \sin z & = \frac{1}{2 i}\left(e^{i z}-e^{-i z}\right), & \cos z & = \frac{1}{2}\left(e^{i z}+e^{-i z}\right). \end{aligned}

Prove that

?
(1)

(sh⁡z)′=ch⁡z(\operatorname {sh} z)^{\prime } = \operatorname {ch} z;

(2)

(ch⁡z)′=sh⁡z(\operatorname {ch} z)^{\prime } = \operatorname {sh} z;

(3)

(sin⁡z)′=cos⁡z(\sin z)^{\prime } = \cos z;

(4)

(cos⁡z)′=−sin⁡z(\cos z)^{\prime } = -\sin z.

Problem 5.6

Determine at which points z∈Cz \in \mathbb {C} the functions are differentiable, and find their derivatives:

?
(1)

esh⁡ze^{\operatorname {sh} z};

(2)

cos⁡(2ez)\cos \left(2 e^{z}\right);

(3)

sin⁡zsh⁡z+icos⁡zch⁡z\sin z \operatorname {sh} z+i \cos z \operatorname {ch} z;

(4)

ezz\frac{e^{z}}{z};

(5)

zez\frac{z}{e^{z}};

(6)

sin⁡z1+z2\frac{\sin z}{1+z^{2}}.

Problem 5.7

Determine where the functions are differentiable, and find their derivatives:

?
(1)

tg⁡z\operatorname {tg} z;

(2)

ctg⁡z\operatorname {ctg} z;

(3)

ez+2ez−2\frac{e^{z}+2}{e^{z}-2};

(4)

1tg⁡z+ctg⁡z\frac{1}{\operatorname {tg} z+\operatorname {ctg} z};

(5)

(ez+e−z)−3\left(e^{z}+e^{-z}\right)^{-3};

(6)

sin⁡zsin⁡z−cos⁡z\frac{\sin z}{\sin z-\cos z}.

Problem 5.8

Let the function

f(z)=u(x,y)+iv(x,y) f(z) = u(x, y)+i v(x, y)

be differentiable at the point z0=x0+iy0z_{0} = x_{0}+i y_{0}. Prove the validity of the formulas:

?
(1)

f′(z0)=∂v∂y(x0,y0)−i∂u∂y(x0,y0)f^{\prime }\left(z_{0}\right) = \frac{\partial v}{\partial y}\left(x_{0}, y_{0}\right)-i \frac{\partial u}{\partial y}\left(x_{0}, y_{0}\right);

(2)

f′(z0)=∂u∂x(x0,y0)−i∂u∂y(x0,y0)f^{\prime }\left(z_{0}\right) = \frac{\partial u}{\partial x}\left(x_{0}, y_{0}\right)-i \frac{\partial u}{\partial y}\left(x_{0}, y_{0}\right);

(3)

f′(z0)=∂v∂x(x0,y0)+i∂v∂x(x0,y0)f^{\prime }\left(z_{0}\right) = \frac{\partial v}{\partial x}\left(x_{0}, y_{0}\right)+i \frac{\partial v}{\partial x}\left(x_{0}, y_{0}\right).

Problem 5.9

Let the function f(z)=u(x,y)+iv(x,y)f(z) = u(x, y)+i v(x, y) be differentiable in a domain G⊂CG \subset \mathbb {C}, and let one of the functions

?
(1)

u(x,y)u(x, y);

(2)

v(x,y)v(x, y);

(3)

r(x,y)=∣f(z)∣r(x, y) = \left|f(z)\right|;

(4)

φ(x,y)=arg⁡f(z)\varphi (x, y) = \arg f(z) retain a constant value in the domain GG. Prove that f(z)≡f(z) \equiv const.

Problem 5.10

Let u,vu, v be a pair of conjugate harmonic functions in a domain GG, and let ξ,η\xi , \eta be a pair of conjugate harmonic functions in a domain DD. Let, for every z=x+iy∈Gz = x+i y \in G, the value u(x,y)+iv(x,y)u(x, y)+i v(x, y) belong to the domain DD. Prove that the pair of functions U,VU, V of the form

U(x,y)=ξ(u(x,y),v(x,y))V(x,y)=η(u(x,y),v(x,y)) \begin{aligned} U(x, y) & = \xi (u(x, y), v(x, y)) \\ V(x, y) & = \eta (u(x, y), v(x, y)) \end{aligned}

forms a pair of conjugate harmonic functions in the domain GG.

?
Problem 5.11

Let u,vu, v be a pair of conjugate harmonic functions in a domain GG, and let the functions uu and vv not vanish simultaneously at any point of the domain GG. Prove that the function

U(x,y)=ln⁡[u2(x,y)+v2(x,y)] U(x, y) = \ln \left[u^{2}(x, y)+v^{2}(x, y)\right]

is harmonic in the domain GG.

?
Problem 5.12

Let u,v1u, v_{1} and u,v2u, v_{2} be two pairs of conjugate harmonic functions in a domain GG with the same first function uu. Prove that v1(x,y)−v2(x,y)≡v_{1}(x, y)-v_{2}(x, y) \equiv const.

?
Problem 5.13

In the following problems, one of the pair of conjugate harmonic functions uu or vv is given. Find the second function of the pair.

?
(1)

u=xyu = x y;

(2)

u=x2−y2+2xyu = x^{2}-y^{2}+2 x y;

(3)

v=ysin⁡xch⁡y+xsh⁡ycos⁡xv = y \sin x \operatorname {ch} y+x \operatorname {sh} y \cos x;

(4)

u=rφcos⁡φ+rln⁡rsin⁡φ(z=x+iy=reiφ)u = r \varphi \cos \varphi +r \ln r \sin \varphi \quad \left(z = x+i y = r e^{i \varphi }\right).

Problem 5.14

Find all harmonic functions of the form

?
(1)

u=φ(x2+y2)u = \varphi \left(x^{2}+y^{2}\right);

(2)

u=φ(x2−y2)u = \varphi \left(x^{2}-y^{2}\right);

(3)

u=φ(yx)u = \varphi \left(\frac{y}{x}\right);

(4)

u=φ(x2+y2x)u = \varphi \left(\frac{x^{2}+y^{2}}{x}\right).

Problem 5.15

Let P(x,y)P(x, y) be a polynomial in xx and yy with complex coefficients. Denote

P∗(z,zˉ)=P(z+zˉ2,z−zˉ2i) P^{*}(z, \bar{z}) = P\left(\frac{z+\bar{z}}{2}, \frac{z-\bar{z}}{2 i}\right)

Prove that

?
(1)

the functions u(x,y)=Re(P(x,y)),v(x,y)=Im(P(x,y))u(x, y) = \mathrm{Re}\left(P(x, y)\right), v(x, y) = \mathrm{Im}\left(P(x, y)\right) satisfy the Cauchy--Riemann conditions if and only if the polynomial P∗(z,zˉ)P^{*}(z, \bar{z}) does not depend on zˉ;\bar{z} ;

(2)

the polynomial P(x,y)P(x, y) satisfies Laplace's equation ΔP=0\Delta P = 0 if and only if the polynomial P∗(z,zˉ)P^{*}(z, \bar{z}) can be represented in the form Q1(z)+Q2(zˉ)Q_{1}(z)+Q_{2}(\bar{z}), where Q1Q_{1} and Q2Q_{2} are polynomials.

Problem 5.16

Let P(z)P(z) be a polynomial. Set

u(x,y)=Re(P(x+iy));v(x,y)=Im(P(x+iy)). \begin{aligned} & u(x, y) = \mathrm{Re}\left(P(x+i y)\right) ; \\ & v(x, y) = \mathrm{Im}\left(P(x+i y)\right). \end{aligned}

Prove that the formulas hold

?
(1)

P(z)=2u(z2,z2i)−P(0)‾P(z) = 2 u\left(\frac{z}{2}, \frac{z}{2 i}\right)-\overline{P(0)};

(2)

P(z)=2iv(z2,z2i)+P(0)‾P(z) = 2 i v\left(\frac{z}{2}, \frac{z}{2 i}\right)+\overline{P(0)}.

Problem 5.17

Recover the regular function f(z)f(z) from the condition

?
(1)

Re(f(z))=x3−6x2y−3xy2+2y3,f(0)=i\mathrm{Re}\left(f(z)\right) = x^{3}-6 x^{2} y-3 x y^{2}+2 y^{3}, f(0) = i;

(2)

Re(f(z))=xsin⁡xch⁡y−ysh⁡ycos⁡x,f(0)=0\mathrm{Re}\left(f(z)\right) = x \sin x \operatorname {ch} y-y \operatorname {sh} y \cos x, \quad f(0) = 0;

(3)

Im(f(z))=ych⁡xcos⁡y+xsin⁡ysh⁡x,f(0)=1\mathrm{Im}\left(f(z)\right) = y \operatorname {ch} x \cos y+x \sin y \operatorname {sh} x, f(0) = 1;

(4)

Im(f(z))=ycos⁡xch⁡y−xsin⁡xsh⁡y,f(0)=2\mathrm{Im}\left(f(z)\right) = y \cos x \operatorname {ch} y-x \sin x \operatorname {sh} y, f(0) = 2;

(5)

Im(f(z))=xsin⁡ych⁡x+ysh⁡xcos⁡y,f(0)=0\mathrm{Im}\left(f(z)\right) = x \sin y \operatorname {ch} x+y \operatorname {sh} x \cos y, f(0) = 0;

(6)

Re(f(z))=xexcos⁡y−(y+1)exsin⁡y,f(0)=i\mathrm{Re}\left(f(z)\right) = x e^{x} \cos y-(y+1) e^{x} \sin y, \quad f(0) = i;

(7)

∣f(z)∣=(x2+y2)ex\left|f(z)\right| = \left(x^{2}+y^{2}\right) e^{x};

(8)

arg⁡f(z)=2xy\arg f(z) = 2 x y;

(9)

∣f(z)∣=rer2cos⁡2φ(z=reiφ)\left|f(z)\right| = r e^{r^{2} \cos 2 \varphi } \quad \left(z = r e^{i \varphi }\right);

(10)

arg⁡f(z)=φ+rsin⁡φ(z=reiφ)\arg f(z) = \varphi +r \sin \varphi \left(z = r e^{i \varphi }\right).

Problem 5.18

Let the functions f(z)f(z) and g(z)g(z) be regular in some domain GG. Prove that the sum f(z)+g(z)‾f(z)+\overline{g(z)} is real throughout the domain GG if and only if f(z)=g(z)+Cf(z) = g(z)+C, where CC is a real constant.

?
Problem 5.19

Let the functions f(z)f(z) and g(z)g(z) be regular in some domain GG, and g(z)≢0g(z) \not\equiv 0. Prove that the product f(z)g(z)‾f(z) \overline{g(z)} is real (nonnegative) throughout the domain GG if and only if f(z)=Cg(z)f(z) = C g(z), where CC is a real (nonnegative) constant.

?