0
$\begingroup$

I have the following equation:

$f(s)=g(s)f(s)$

holds for all complex number $s$.

I am little confused about this case: If $f(s)≠0$ then I can deduce directely that $g(s)=1$ as the unique case. However, when $f(s)=0$ for one and isolated $s$ (root) then $g(s)$ would be any function. This is the point. Is this case have some relations with the analytic continuation principle.

  • 0
    Do you want $f(s)$ and $g(s)$ both to be analytic?2012-12-30

1 Answers 1

1

Claim: If $f(s)$ and $h(s)$ are both entire functions, then $f(s) h(s) = 0 \implies f(s) = 0 \,\,\,\,\, \forall s$ or $h(s) = 0 \,\,\,\,\, \forall s$.

Proof If $f(s) = 0$, $\forall s$ is not true, then there is a $s_1 \in \mathbb{C}$ such that $f(s_1) \neq 0$. Now since $f(s)$ is analytic, there exists a open $\epsilon$-ball around $s_1$ such that $f(s) \neq 0$ for all $s\in B(s_1, \epsilon)$. Since $f(s)h(s) = 0$, we have that $h(s) = 0$ for all $s\in B(s_1, \epsilon)$. Now we have $h$ to be analytic and $h(s) = 0$, in an $\epsilon$ ball. Hence, by analytic continuation, we have $h(s) = 0$ for all $s \in \mathbb{C}$.

In your problem, take $h(s)$ as $g(s) - 1$.

  • 0
    @RH1 The answer above is general, it doesn't matter if $s$ is a isolated root or not.2012-12-30