Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

As one may know, a dynamical system can be defined with a monoid or a group action on a set, usually a manifold or similar kind of space with extra structure, which is called the phase space or state space of the dynamical system. The monoid or group doing the acting is what I call the time space of the dynamical system, and is usually the naturals, integers, or reals. Often, one may require the evolution map to be continuous, differentiable, etc.

But has anyone studied a generalization in which we allow the time space to be something more general & exotic, a multidimensional space like $\mathbb{R}^n$, $\mathbb{C}$ (viewed as "2-dimensional" by considering it to be like $\mathbb{R}^2$), etc.? I'm especially curious about the case where the time space is $\mathbb{C}$ and the phase space is $\mathbb{C}^n$ or another complex manifold and the map is required to be holomorphic in both its arguments, as that holomorphism provides a natural linkage between the two dimensions that lets us think of the complex time as a single 2-dimensional time as opposed to two real times (any dynamical system with a timespace of $\mathbb{R}^n$ can be decomposed into a bunch of mutually-commutative evolution maps with timespaces of $\mathbb{R}$). My questions are:

  1. Is it true that the only dynamical system with phase-space $\mathbb{C}$ and time-space $\mathbb{C}$ where the evolution map is required to be holomorphic in both its arguments (the time and point to evolve) is the linear one given by $$\phi^t(z) = e^{ut} z + K \frac{1 - e^{ut}}{1 - e^u}, K, u \in \mathbb{C}$$ ? I suspect so, because an injective entire function is linear (in the sense of a “linear equation” not necessarily a “linear map”), and $\phi^{-t}$ must be the inverse of $\phi^t$. Thus, $\phi^t$ must have the form $a(t) z + b(t)$ with $a: \mathbb{C} \rightarrow \mathbb{C}$, $b: \mathbb{C} \rightarrow \mathbb{C}$. Am I right?

  2. Are there any interesting (e.g. with complicated, even chaotic behavior) dynamical systems of this kind on $\mathbb{C}^n$? On more sophisticated complex manifolds? (for the phase space, that is) If so, can you provide an example? Or does the holomorphism requirement essentially rule this out? EDIT: I provide one below.

  3. There is something else here, an interesting observation I made. Consider the above complex-time, holomorphic dynamical system. We can investigate the two prime behaviors represented by the real and imaginary times. We'll just set u = 1, K = 0 for here.

In “real time”, the dynamics looks like an “explosion” in the plane: all points “blast” away from z = 0 at exponentially increasing velocity.

In “imaginary time”, the result is cyclic motion, swirling around $z = 0$ with constant angular velocity that depends only on the distance of the point from $z = 0$.

But if we trace the contours of these two evolutions, formed from different points on the plane, and then superimpose them, we have contours intersecting in what looks like contours from a contour graph of the image of the complex plane under the function $\exp(z)$! Conversely, we could say it looks like a countour plot of $\log(z)$ with a cut along a ray from $0$. So, somehow “naturally” related to the dynamical system $\phi^t(z) = \exp(t) z$ is the function $\exp(z)$ (or, perhaps, $\log(z)$).

plot of evoluton countours for first CTHDS

Note that my plotting facilities are unfortunately pretty limited, so I can't give really nice graphs with lots of contours, just a few selected ones taken from evolutions of various points in both real and imag times.

But we have another case. To see this, we must turn our attention away from a phase space given by the complex plane to one given by the Riemann sphere, $\hat{\mathbb{C}}$. In this case, we still have the dynamical system as above, but we have an additional class of dynamical systems given by the “Moebius transformations”, which include the above linear-function dynamical systems as a special case. One example is $$\phi^t(z) = \frac{(1 + e^{i\pi t}) z + (1 – e^{i\pi t})}{(1 – e^{i\pi t})z + (1 + e^{i\pi t})}$$. It is easy to check that this is indeed a Moebius transformation of the Riemann sphere. This map is holomorphic everywhere on the Riemann sphere. Note that for integer step t, the unit-step map is the reciprocal map.

Now we consider the contour lines of the real and imaginary evolution, as before. They look like this:

plot of evolution contours for second CTHDS

(Physics buffs may notice that the real evolution (concentric circles) reminds one of the lines of a magnetic field of a magnetic dipole (like a bar magnet), while the imaginary evolution (arcs joining at points) looks like the lines of an electric field of an electric dipole.)

Again, notice how the lines meet at right angles. It looks again like the image of the plane (or the Riemann sphere, perhaps?) under some function which may be holomorphic, though I'm not sure what that function is in this case. Is this the case? Is there such a function, with a special relation to this CTHDS in the same way as $\exp$ (or $\log$) is to the other?

But in any case, it appears that for a complex-time holomorphic dynamical system, or CTHDS, there exists an associated natural function. What is the significance of this function/map? How does it relate to the CTHDS? If you give me a CTHDS that I don't have a closed form for, can I find its natural map?

share|improve this question
1  
You may want to read Bryant's answer to my question: ``mathoverflow.net/questions/85881/…;. He gives a specific example of a complex ODE in 2 dependent variables (1 complex time variable) whose typical orbit is dense in ${\mathbb C}^2$. This behaviour is generic and there is a small industry around understanding it. dense –  Richard Montgomery Aug 23 '12 at 20:57
add comment

3 Answers

I will address the case of $C$-action (as time). In the case when the phase space is also $C$, you are right, there are only Moebius transformations, which can be loxodromic (elliptic, hyperbolic) or parabolic. That is up to conjugacy by an arbitrary Moebius transformation you have $z\mapsto e^{\alpha t}z$ and $z\mapsto z+t$, where $t$ is your complex "time".

In the case when the phase space is $C^n$, we have a lot of possibilities. There is a hudge (infinite-dimensional) continuous group of analytic bijective transformations of $C^n$ onto itself. You can take any complex 1-parametric subgroup of this group. For $n=2$, there is a very nice paper of Milnor on this group.

Edit: Friedland, Shmuel; Milnor, John Dynamical properties of plane polynomial automorphisms. Ergodic Theory Dynam. Systems 9 (1989), no. 1, 67–99.

share|improve this answer
    
Wow... what is that paper? –  mike3 Aug 22 '12 at 22:09
add comment

This is more a comment than an answer but it's too long for a comment.

In ergodic theory (as opposed to dynamical systems), systems in which the acting group is not the integers or the reals have been widely studied, both for their own intrinsic interest and because of deep and striking applications to number theory and other areas. For example, the proof by Einsiedler, Katok, Lindenstrauss that the set of exceptions to Littlewood's conjecture has zero Hausdorff dimension uses an ergodic-theoretic result on higher rank group actions.

As soon as the acting group has higher rank (even in the simplest case, i.e. $\mathbb{Z}^2$), the study of their ergodic theoretic properties becomes dramatically more complicated, even if the phase space is as simple as possible (the circle). A famous example is Furstenberg's $\times 2\times 3$ problem: what are the measures which are simultaneously invariant under $x\to 2x \bmod 1$ and $x\to 3x\bmod 1$? (this corresponds to the action of $\mathbb{N}^2$ on $[0,1]$ given by $(a,b)\cdot x=2^a 3^b x\bmod 1$). It is suspected that there are very few invariant measures, which illustrates a general (conjectured or proved) phenomenon: higher rank dynamical systems tend to have few invariant measures, all of them with some algebraic structure. Indeed, Einsiedler, Katok and Lindenstrauss use such a rigidity result.

The book by Einsiedler and Ward "Ergodic thory (with a view towards number theory)" is an excellent reference for this general topic.

share|improve this answer
1  
I don't agree with your last paragraph (or I misunderstood it). When one looks at maps holomorphic also in the time parameter, he is not considering the multiplicative structure of $\mathbb{C}$, rather he is viewing $\mathbb{C}$ as a $1$-dimensional complex Lie group (rather than just an abstract group) acting holomorphically on the phase space which is a complex manifold. I think it could the "right" thing to do in many cases, for example in the case of holomorphic ODEs –  Qfwfq Aug 20 '12 at 14:19
    
@Pablo, when the acting group is complex Lie group (and it acts in holomrphic manner), one param. groups are actually 2-dimensional real Lie groups. Because you've discussed homogeneous dynamics, for example the unipotent action in say $\Gamma\backslash SL_{2}(\mathbb{C})$ is a 1-dimensional complex action which can be identified with a 2-dimensional real action (by looking at $SO(3,1)$ and action of 2-dimensional horoballs etc.). –  Asaf Aug 20 '12 at 14:54
    
Qfwfq and Asaf - Good points, I have deleted my last paragraph. –  Pablo Shmerkin Aug 21 '12 at 6:42
add comment

I have seen talks about this, though somewhat over my head. But, yes absolutely, people do research such things. A. Katok is one name that comes to mind here. See this paper: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.2082

They consider actions of $\mathbb{Z}^k$ and $\mathbb{R}^k$ that generalize the usual time-like case of $\mathbb{Z}$ and $\mathbb{R}$.

B. Kalinin and V. Sadovskaya also work in this area, seeing their talks was how I was exposed to this field: http://www.southalabama.edu/mathstat/personal_pages/sadovska/Research/tns.pdf

A lot of the work I've been exposed to is about classifying such systems up to a conjugacy, and in particular they consider Anosov systems and see if they can find conjugacies in the general case to canonical examples.

This is not my expertise, though, so I can't say what this says about the $\mathbb{C}$ case you're interested in. But at least I can say, yes, indeed there is work in the higher-dimensional case.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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