Inertial manifolds for partial differential evolution equations under time-discretization: Existence, convergence, and applications. (English) Zbl 0726.35056

Demengel, Françoise; Ghidaglia, Jean-Michel

J. Math. Anal. Appl. 155, No. 1, 177-225 (1991).

Let H be a separable, infinite-dimensional Hilbert space. Denote by A a linear, closed, unbounded and positive operator in H with compact inverse \(A^{-1}\) and by C a linear, bounded and skew-symmetric operator acting from \(D(A^ s)\) to H for some \(s\geq 0\). Suppose that A and C commute. Finally, let F: D(A\({}^{\alpha})\to D(A^{\alpha -\gamma})\) be a Lipschitz continuous function for some \(\alpha\in R\), \(0\leq \gamma \leq 1/2.\)
The authors consider evolution equations of the form \[ (1)\quad u_ t+Au+Cu+F(u)=0\text{ for } t>0 \] together with the time-discretized version (fractional step method, \(n=0,1,2,...)\) \[ (2)\quad (u^{n+1/2}- u^ n)/h+Au^{n+1}+F(u^ n)=0,\quad (u^{n+1}- u^{n+1/2})/h+C(u^{n+1}+u^{n+1/2})/h=0, \] where h is the time step. The initial condition is \(u(0)=u^ 0\in D(A^{\alpha})\). It is shown that for sufficiently large d (the spectral gap condition on the eigenvalues of A) a Lipschitz continuous inertial manifold M of dimension d for (1) can be constructed and that, in this case, the discretized version (2) also has an inertial manifold \(M_ h\) of the same dimension, provided the time step is sufficiently small. Convergence of \(M_ h\) to M as \(h\to 0\) in the \(\alpha\)-norm together with an error estimate is established.
The theory is applied to two types of equations: to spatially inhomogeneous complex amplitude equations of the Ginzburg-Landau type and to dissipative perturbations of Korteweg-de Vries equations.

Reviewer: R.Redlinger (Karlsruhe)

MSC:

35G10	Initial value problems for linear higher-order PDEs
35K25	Higher-order parabolic equations
34G20	Nonlinear differential equations in abstract spaces
65M06	Finite difference methods for initial value and initial-boundary value problems involving PDEs
35B40	Asymptotic behavior of solutions to PDEs

Keywords:

spectral gap condition; inertial manifold; Ginzburg-Landau; Korteweg-de Vries equations

References:

[1]	Beyn, W. J., On the numerical approximation of phase portraits near stationary points, SIAM J. Numer. Anal., 24, 1095-1113 (1987) · Zbl 0632.65083
[2]	Constantin, P.; Foias, C.; Nicolaenko, B.; Temam, R., Nouveaux résultats sur les variétés inertielles pour les équations différentielles dissipatives, C. R. Acad. Sci. Paris Sér. I Math., 302, 375-378 (1986) · Zbl 0591.35064
[3]	Constantin, P.; Manley, O., Determining modes and fractal dimension of turbulent flows, J. Fluid. Mech., 150, 427-440 (1985) · Zbl 0607.76054
[4]	Conway, E.; Hoff, D.; Smoller, J., Large time behavior of solutions of nonlinear reaction-diffusion equations, SIAM J. Appl. Math., 35, 1-16 (1978) · Zbl 0383.35035
[6]	Doering, C. R.; Elgin, J. N.; Gibbon, J. D.; Holm, D. D., Finite dimensionality in the Laser equations in the good cavity limit, Phys. Lett. A, 129, 310-316 (1988)
[8]	Foias, C.; Manley, O.; Temam, R.; Treve, Y., Asymptotic analysis of the Navier-Stokes equations, Phys. D, 6 (1983) · Zbl 0584.35007
[9]	Foias, C.; Nicolaenko, B.; Sell, G. R.; Temam, R., C. R. Acad. Sci., Paris Sér. I Math., 301, 285-288 (1985) · Zbl 0591.35063
[10]	Foias, C.; Prodi, G., Sur le comportement global des solutions non-stationnaires des équations de Navier-Stokes en dimension 2, (Rend. Sem. Mat. Univ. Padova, 39 (1967)), 1-34 · Zbl 0176.54103
[11]	Foias, C.; Sell, G. R.; Temam, R., C. R. Acad. Sci. Paris I Math., 301, 139-141 (1985) · Zbl 0591.35062
[12]	Foias, C.; Temam, R., Some analytic and geometric properties of the solutions of the evolution Navier-Stokes equations, J. Math. Pures Appl., 58, 339-368 (1979) · Zbl 0454.35073
[14]	Hale, J. K.; Lin, X. B.; Raugel, G., Upper semicontinuity of attractors for approximations of semigroups and partial differential equations, Math. Comp., 50, 89-123 (1988) · Zbl 0666.35013
[15]	Mallet-Paret, J.; Sell, G. R., Inertial manifolds for reaction-diffusion equations in higher space dimensions, (IMA preprint (1987)), Minneapolis · Zbl 0674.35049
[16]	Nicolaenko, B.; Scheurer, B.; Temam, R., Some global dynamical properties of a class of pattern formation equations, (IMA preprint (1988)), Minneapolis · Zbl 0691.35019
[17]	Nirenberg, L., On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa, 13, 116-162 (1959) · Zbl 0088.07601
[18]	Richards, J., On the gaps between numbers which are the sum of two squares, Adv. in Math., 46, 1-2 (1982) · Zbl 0501.10047
[19]	Shub, M., Global Stability of Dynamical Systems (1987), Springer-Verlag: Springer-Verlag New York
[20]	Scheurer, B., Quelques propriétés dynamiques globales des équations de Kuramoto-Sivashinsky et de Cahn-Hilliard, (Ghidaglia, J. M.; Saut, J. C., E.D.P. non linéaires dissipatives et systèmes dynamiques (1988), Hermann: Hermann Paris) · Zbl 0654.58022
[21]	Temam, R., Infinite Dimensional Dynamical System in Mechanics and Physics (1988), Springer-Verlag: Springer-Verlag New York
[22]	Demengel, F.; Ghidaglia, J. M., Discrétisation en temps et variétés inertielles pour des équations d’évolution aux dérivés partielles non linéaires, C. R. Acad. Sci. Paris Sér. I, 307, 453-458 (1988) · Zbl 0666.35049
[23]	Constantin, P.; Foias, C.; Nicolaenko, B.; Temam, R., Spectral barriers and inertial manifolds for dissipative partial differential equations, J. Dynamics and Differential Equations, 1, 45-73 (1989) · Zbl 0701.35024