122e6822c43347c4.tex
1: \begin{abstract}
2: In this paper we study high order expansions of 
3: chart maps for local finite dimensional unstable manifolds of hyperbolic equilibrium solutions of 
4: scalar parabolic partial differential equations.  Our approach is based on studying an 
5: infinitesimal invariance equation
6: for the chart map that recovers the
7: dynamics on the manifold in terms of a simple conjugacy. We develop formal series
8: solutions for the invariance equation and efficient numerical methods for 
9: computing the series coefficients to any desired finite order.
10: We show, under
11: mild non-resonance conditions, that the formal series expansion   converges in a 
12: small enough neighborhood of the equilibrium. 
13: An a-posteriori computer assisted argument proves
14: convergence in larger neighborhoods.  
15: We implement the method for a spatially inhomogeneous Fisher's equation
16: and numerically compute and validate 
17: high order expansions of some local unstable manifolds for morse 
18: index one and two.  
19: We also provide
20: a computer assisted existence proof of a saddle-to-sink 
21: heteroclinic connecting orbit.    
22: \end{abstract}
23: