I ask about this claim: let $f$ be an entire function satisfying $f(s)=u(s)f(a-s)$. Assume that $s$ and $a-s$ are not zeroes of $f$ and $f (bar)(a-s)=f(s)$ in a region $D$ ($f(bar)$ is the conjugate of $f$). Then the module of $f(s)/f(bar)(a-s)$ is equal to $1$, implying that the module of $u(s)$ is also $1$. The question is: Does this result implies that in fact the function $u(s)$ is constant. Thank you in advance.
$\begingroup$
$\endgroup$
5
-
2$\begingroup$ I do not know what you mean by the conjugate of $f$. I see two options: either it is $s\mapsto \overline{f(s)}$ or it is $\bar f$ with $\bar f(s)=\overline{f(\bar s)}$. In the first case, $f$ must be holomorphic and antiholomorphic, hence constant. In the second case, $f(s)=e^{is}$ and $u(s)=e^{-2is}$ with $a=0$ is a counterexample. $\endgroup$– user1688Commented Nov 4, 2012 at 10:14
-
$\begingroup$ Yes, it is the first case. Thank you very much. $\endgroup$– SafwaneCommented Nov 4, 2012 at 11:43
-
$\begingroup$ Please use TeX in your questions. $\endgroup$– Alexandre EremenkoCommented Nov 4, 2012 at 13:07
-
1$\begingroup$ Where I can find it $\endgroup$– SafwaneCommented Nov 4, 2012 at 13:13
-
$\begingroup$ See the "How to write math" box in the right-lower corner of this page. $\endgroup$– András BátkaiCommented Nov 5, 2012 at 22:07
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
3
Technically, the answer is yes $u(s)=1$.
However, for a quite boring reason (as hinted at in the comment of Xogn Ambandl):
If $\overline{f(a-s)}=f(s)$, then $2 \ \Re{f}(s)$ would be holomorphic in that region, as it is equal to $f(s)+\overline{f(s)}= f(s) + f(a-s)$ a sum of holomorphic functions. Yet, then as a real-valued holomorphic function $\Re{f}(s)$ is constant. And, so $f(s)$ is constant.
Thus, the only functions $f$ fulfilling your assumptions are constant functions, for which what you ask about is clear.
-
$\begingroup$ But I speak about the modulus of u(s). See this link for a similar answer: mathoverflow.net/questions/85351/… Thanks. $\endgroup$– SafwaneCommented Nov 9, 2012 at 15:02
-
1$\begingroup$ What do you mean by you speak about the modulus of u(s), the function u(s) is always equal to 1, what more do you expect to say about it? I tried to explain that the only function f satisfying your condition is a constant function. So f(u)=f(v) for any u,v whatsoever and therefore of course your u(s) is always 1 because in fact f(s) = f(a-s) for f that satisfies the other condition f(s) = f(bar)(a-s). $\endgroup$– user9072Commented Nov 9, 2012 at 17:55
-
1$\begingroup$ You are welcome. $\endgroup$– user9072Commented Nov 9, 2012 at 19:59