0
$\begingroup$

I'm wondering what the solutions of complex linear difference equations like \begin{equation} f(z+\eta_1)+f(z+\eta_2)+\ldots+f(z+\eta_n)=0,\ \ \ \eta_1 \cdots\eta_n \in \mathbf{C} \end{equation} look like. It seems easy when $\eta_i$ are all integers, but I don't know the general case.

If we cannot get the exact form of solutions, can we get the order?

remark. the order of a meromorphic function is define to be $\rho(f) = \overline{\lim}\frac{\log T(r,f)}{\log r}$, where $T(r,f)$ represents the Nevanlinna characteristic of $f(z)$. If $f(z)$ is an entire function, $\rho(f) = \overline{\lim} \frac{\log\log M(r,f)}{\log r}$ where $M(r,f) = \sup_{|z| < r} f(z)$.

$\endgroup$
2
  • $\begingroup$ Are you looking for complex ANALYTIC (entire) solutions? $\endgroup$ Commented Jan 14, 2023 at 14:14
  • $\begingroup$ I'd like to know all meromorphic solutions, but entire ones are also important $\endgroup$
    – Dawn
    Commented Jan 15, 2023 at 16:19

1 Answer 1

2
$\begingroup$

Look for a solution of the form $f(z)=e^{\lambda z}$. Plugging this to your equation, you obtain that $\lambda$ must be a zero of the entire function $$F(\lambda)=\sum_{j=1}^n e^{\lambda\eta_j}.$$ When there are at least two distinct $\eta_j$, this entire function $F$ has infinitely many zeros $\lambda_k$. Then any finite linear combination $$f(z)=\sum_{k} c_ke^{\lambda_k z}$$ is a solution. Also limits of such functions will be solutions. If $F$ has a multiple root $\lambda_k$ there will be also solutions of the form $P_k(z)e^{\lambda_k z}$, where $P$ is a polynomial.

There is a theorem of Malgrange (Theorem 16.4.1 in Hormander's Analysis of linear partial differential operators) which says that these are all solutions. (Linear combinations of exponentials are dense in the set of all solutions).

Since the coefficients $c_j$ can be arbitrary (subject to the condition that the series converges), you can obtain entire solutions of arbitrarily fast growth.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .