1
$\begingroup$

Complex mean value theorem: Let $g$ be a holomorphic function defined on an open convex subset $D_{g}$ of $ℂ$. Let $v$ and $u$ be two distinct points in $D_{g}$. Then there exist $z₁,z₂∈(u,v)$ such that

$Re(g′(z₁))=Re(((g(u)-g(v))/(u-v)))$,

$Im(g′(z₂))=Im(((g(u)-g(v))/(u-v)))$, i.e.,

$g(u)=g(v)+(u-v)(Re(g′(z₁))+iIm(g′(z₂)))$.

In fact, we have $z₁=v+t₁(u-v),t₁∈(0,1)$ and $z₂=v+t₂(u-v),t₂∈(0,1)$ from the proof of this Theorem.

My question is about the uniqueness of $t₁,t₂∈(0,1)$ . The proof of the result indicate only their existence.

1 Answers 1

3

Let's consider $g(z) := z$ for $z \in \mathbb{C}$. We are looking for $z_1,z_2 \in (u,v)$ such that

$\begin{align*} \text{Re} \, g'(z_1)=1 \stackrel{!}{=} \text{Re} \left(\frac{g(u)-g(v)}{u-v}\right) = 1 \tag{1}\\ \text{Im} \, g'(z_2)=0 \stackrel{!}{=} \text{Im} \left(\frac{g(u)-g(v)}{u-v}\right) = 0 \tag{2}\end{align*} $

This shows that all $z_1, z_2 \in (u,v)$ fulfill the given equations.

  • 0
    Yes. thank you very much.2012-12-16