1
$\begingroup$

Consider an entire function $f : \mathbb{C} \rightarrow \mathbb{C}$! We search the function $$ g: (a,b) \rightarrow \mathbb{C},$$ which solves the following equation locally: $g'(t)=f(g(t))$ and $g(0)=f(x_0)$.

I can compute the inverse $G$ of $g$, if $f(x_0) \neq 0$, i.e. $$ G(y) = \int\limits_{f(x_0)}^y \frac{d s}{f(s)}.$$

I also known how to compute the Taylor expansion recursively, whose radius of convergence is positive (see below). Also we can give suitable approximations of the solution in terms of Picard iterations. I am not interested in such a solution!

Is there an alternative to this integral expression?

$\endgroup$
3
  • 4
    $\begingroup$ Though f may be entire, the solution won't necessarily be so; take $f(u)=1+u^2$ for instance. $\endgroup$ Nov 15, 2010 at 8:54
  • 2
    $\begingroup$ If $f$ is real valued on the reals and $x_0$ is real your equation reduces to a standard autonomous equation $g'=f(g)$ on $R$. Why do you expect anything better than the standard representation of the solution, which is given precisely by your last formula? $\endgroup$ Nov 15, 2010 at 10:13
  • $\begingroup$ @J.M: That is definitely true, I am not hoping for something entire. This example related to the tangens is a good illustration. @Piero D'Ancona: I hope that $f$ entire, does allow for a better description of the solutions. $\endgroup$
    – Marc Palm
    Nov 15, 2010 at 10:25

3 Answers 3

2
$\begingroup$

It is hard to guess what you are looking for. Take the apparently simpler case where $f$ is a polynomial, say of degree $d$. If $d = 1$ you have an explicit solution in terms of the exponential function (because your $G$ is logarithmic). If $d = 2$ the solution can be written in terms of trigonometric functions. If $d = 3$ you need elliptic functions to express the solution explicitly. As soon as $d$ is greater than $3$, I don't know of any standard naming for the functions you get or any interesting theory of these functions.

$\endgroup$
3
  • 1
    $\begingroup$ I don't think you need elliptic functions yet for $d=3$; you may have been thinking of the DE for Weierstrass: ${y^{\prime}}^2=4y^3-a y-b$ where the derivative is squared. On the other hand, $y^{\prime}=4y^3-a y-b$ requires the solution of a nasty-looking transcendental equation involving sums of logarithms. $\endgroup$ Nov 15, 2010 at 16:20
  • $\begingroup$ Thanks, you're right, J.M., I did forget the square! :-( $\endgroup$ Nov 15, 2010 at 16:56
  • $\begingroup$ I choose this as the correct answer since it comes closest to what I wanted. In the case of an elliptic equation, we get Jacobi's theory of elliptic function. This theory is well understood. If there a nicer expression I will probably find them here. The function $\sqrt{x}$ is "almost entire", hence I accept this argument as an indication! Thanks for this illustrating examples. $\endgroup$
    – Marc Palm
    Nov 17, 2010 at 11:10
7
$\begingroup$

You don't need the Cauchy-Kovalevskaya theorem. Just the analytic inverse function theorem.

$\endgroup$
3
$\begingroup$

The power series for $g$ has a positive radius of convergence; this is a consequence of the Cauchy-Kovalevskaya theorem (which is a statement about PDEs, but an ODE is just a PDE with one variable).

$\endgroup$
1
  • $\begingroup$ @Florian and Michael Renardy: The problem with the radius of convergence is now solved. Since power series are hard to analyse, I am searching for another expression. My problem is not as well posed as I have thought. $\endgroup$
    – Marc Palm
    Nov 15, 2010 at 14:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.