Asymptotic expansions with exponential, power, and logarithmic functions for non-autonomous nonlinear differential equations

Abstract

This paper develops further and systematically the asymptotic expansion theory that was initiated by Foias and Saut in (Ann Inst H Poincaré Anal Non Linéaire, 4(1):1–47 1987). We study the long-time dynamics of a large class of dissipative systems of nonlinear ordinary differential equations with time-decaying forcing functions. The nonlinear term can be, but not restricted to, any smooth vector field which, together with its first derivative, vanishes at the origin. The forcing function can be approximated, as time tends to infinity, by a series of functions which are coherent combinations of exponential, power and iterated logarithmic functions. We prove that any decaying solution admits an asymptotic expansion, as time tends to infinity, corresponding to the asymptotic structure of the forcing function. Moreover, these expansions can be generated by more than two base functions and go beyond the polynomial formulation imposed in previous work.

This is a preview of subscription content, access via your institution.

References

  1. 1.

    V. I. Arnol’d. Geometrical methods in the theory of ordinary differential equations, volume 250 of A Series of Comprehensive Studies in Mathematics. Springer-Verlag, New York, second edition, 1988.

  2. 2.

    A. D. Bruno. Local methods in nonlinear differential equations. Springer Series in Soviet Mathematics. Springer-Verlag, Berlin, 1989.

  3. 3.

    D. Cao and L. Hoang. Asymptotic expansions in a general system of decaying functions for solutions of the Navier-Stokes equations. Annali di Matematica Pura ed Applicata, 3(199):1023–1072, 2020.

    MathSciNet  Article  Google Scholar 

  4. 4.

    D. Cao and L. Hoang. Long-time asymptotic expansions for Navier–Stokes equations with power-decaying forces. Proceedings of the Royal Society of Edinburgh: Section A Mathematics, 150(2):569–606, 2020.

    MathSciNet  Article  Google Scholar 

  5. 5.

    E. A. Coddington and N. Levinson. Theory of ordinary differential equations. McGraw-Hill Book Company, Inc., New York-Toronto-London, 1955.

    Google Scholar 

  6. 6.

    C. Foias, L. Hoang, and B. Nicolaenko. On the helicity in 3D-periodic Navier-Stokes equations. I. The non-statistical case. Proc. Lond. Math. Soc. (3), 94(1):53–90, 2007.

    MathSciNet  Article  Google Scholar 

  7. 7.

    C. Foias, L. Hoang, and B. Nicolaenko. On the helicity in 3D-periodic Navier-Stokes equations. II. The statistical case. Comm. Math. Phys., 290(2):679–717, 2009.

    MathSciNet  Article  Google Scholar 

  8. 8.

    C. Foias, L. Hoang, E. Olson, and M. Ziane. On the solutions to the normal form of the Navier-Stokes equations. Indiana Univ. Math. J., 55(2):631–686, 2006.

    MathSciNet  Article  Google Scholar 

  9. 9.

    C. Foias, L. Hoang, E. Olson, and M. Ziane. The normal form of the Navier-Stokes equations in suitable normed spaces. Ann. Inst. H. Poincaré Anal. Non Linéaire, 26(5):1635–1673, 2009.

    MathSciNet  Article  Google Scholar 

  10. 10.

    C. Foias, L. Hoang, and J.-C. Saut. Asymptotic integration of Navier-Stokes equations with potential forces. II. An explicit Poincaré-Dulac normal form. J. Funct. Anal., 260(10):3007–3035, 2011.

    MathSciNet  Article  Google Scholar 

  11. 11.

    C. Foias and J.-C. Saut. On the smoothness of the nonlinear spectral manifolds associated to the Navier–Stokes equations. Indiana Univ. Math. J., 33(6):911–926, 1984.

    MathSciNet  Article  Google Scholar 

  12. 12.

    C. Foias and J.-C. Saut. Linearization and normal form of the Navier-Stokes equations with potential forces. Ann. Inst. H. Poincaré Anal. Non Linéaire, 4(1):1–47, 1987.

    MathSciNet  Article  Google Scholar 

  13. 13.

    C. Foias and J.-C. Saut. Asymptotic integration of Navier-Stokes equations with potential forces. I. Indiana Univ. Math. J., 40(1):305–320, 1991.

    MathSciNet  Article  Google Scholar 

  14. 14.

    J. K. Hale. Ordinary differential equations. Robert E. Krieger Publishing Co. Inc., Huntington, N.Y., second edition, 1980.

    Google Scholar 

  15. 15.

    L. Hoang and A. Ibragimov. Qualitative study of generalized Forchheimer flows with the flux boundary condition. Adv. Differential Equations, 17(5–6):511–556, 2012.

    MathSciNet  MATH  Google Scholar 

  16. 16.

    L. T. Hoang and V. R. Martinez. Asymptotic expansion in Gevrey spaces for solutions of Navier-Stokes equations. Asymptot. Anal., 104(3–4):167–190, 2017.

    MathSciNet  Article  Google Scholar 

  17. 17.

    L. T. Hoang and V. R. Martinez. Asymptotic expansion for solutions of the Navier-Stokes equations with non-potential body forces. J. Math. Anal. Appl., 462(1):84–113, 2018.

    MathSciNet  Article  Google Scholar 

  18. 18.

    L. T. Hoang and E. S. Titi. Asymptotic expansions in time for rotating incompressible viscous fluids. Annales de l’Institut Henri Poincaré. Analyse Non Linéaire, pages 1–29, 2020. in press, https://doi.org/10.1016/j.anihpc.2020.06.005.

  19. 19.

    G. Minea. Investigation of the Foias-Saut normalization in the finite-dimensional case. J. Dynam. Differential Equations, 10(1):189–207, 1998.

    MathSciNet  Article  Google Scholar 

  20. 20.

    J. Murdock. Normal forms and unfoldings for local dynamical systems. Springer Monographs in Mathematics. Springer-Verlag, New York, 2003.

    Google Scholar 

  21. 21.

    Y. Shi. A Foias-Saut type of expansion for dissipative wave equations. Comm. Partial Differential Equations, 25(11-12):2287–2331, 2000.

    MathSciNet  Article  Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Luan Hoang.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

A Appendix

A Appendix

We discuss a particular application of our results to numerical approximations of a nonlinear PDE problem using ODE systems. The presentation below is focused on the ideas without showing technical details.

Consider the Navier–Stokes Eq. (1.3) with a given initial data \(u(0)=u_0\). For \(m\in \mathbb {N}\), let \(P_m\) denote the orthogonal projection to the first m eigenspaces (corresponding to the first m distinct eigenvalues) of the Stokes operator A.

The Galerkin approximation problem is

$$\begin{aligned} \frac{\mathrm{d} u_m}{\mathrm{d}t} + Au_m +B_m(u_m,u_m)=P_m f,\quad u_m(0)=P_m u_0, \end{aligned}$$
(A.1)

where \(B_m(u,u)=P_mB(u,u)\). For each \(m\in \mathbb {N}\), the approximate system (A.1) is an ODE system in a finite-dimensional space, and \(B_m(\cdot ,\cdot )\) is a bilinear form. Thus, the results obtained in previous sections apply.

Consider Type 1, 2, 3 problems as in Sect. 4, that is,

$$\begin{aligned} f(t)\sim \sum _{k=1}^\infty p_k(\phi (t))\psi (t)^{-k}, \end{aligned}$$
(A.2)

where the base functions \(\phi (t)\) and \(\psi (t)\) are given in Definition 4.2.

Then, the solutions u(t) and \(u_m(t)\) have the asymptotic expansions

$$\begin{aligned} u(t)\sim \sum _{k=1}^\infty q_k(\phi (t))\psi (t)^{-k}\text { and } u_m(t)\sim \sum _{k=1}^\infty q_k^{(m)}(\phi (t))\psi (t)^{-k}, \text { respectively.} \end{aligned}$$
(A.3)

The question is whether \(q_k^{(m)}\) converges to \(q_k\) as \(m\rightarrow \infty \) in a certain sense.

First, we roughly have

$$\begin{aligned} B_m(u,u)\rightarrow B(u,u),\ P_m u_0\rightarrow u_0\text { and }P_mf\rightarrow f \text { as }m\rightarrow \infty . \end{aligned}$$
(A.4)

(The normed spaces in which the convergences hold depend on the regularity of u, \(u_0\) and f.)

For Types 2 and 3, the polynomials \(q_k\)’s are independent of the solution u(t), depend only on \(p_k\) and \(B(\cdot ,\cdot )\). Similarly, for each \(m\in \mathbb {N}\), the polynomials \(q_k^{(m)}\)’s are independent of the individual solution \(u_m(t)\), depend only on \(P_mp_k\) and \(P_mB(\cdot ,\cdot )\). With the convergences in (A.4) and explicit formulas (4.57) and (4.58), it is likely that the coefficients of \(q_k^{(m)}\) converge to its corresponding coefficients of \(q_k(t)\), as \(m\rightarrow \infty \).

For Type 1, we consider the case u(t) is a unique, regular solution on \([0,\infty )\). The construction of polynomial \(q_k\), respectively \(q_k^{(m)}\), depends on the long-time values of u(t), respectively \(u_m(t)\). Therefore, determining the convergence of \(q_k^{(m)}\) to \(q_k\), as \(m\rightarrow \infty \), is more subtle than in the case of Types 2 and 3. However, we only consider the convergence for each fixed k, and, in light of many related estimates in previous work such as [8, 9, 11, 13], it may still be possible to prove such a convergence.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Cao, D., Hoang, L. Asymptotic expansions with exponential, power, and logarithmic functions for non-autonomous nonlinear differential equations. J. Evol. Equ. (2020). https://doi.org/10.1007/s00028-020-00622-w

Download citation

Mathematics Subject Classification

  • 34E05
  • 34E10
  • 41A60

Keywords

  • Asymptotic expansions
  • Long-time dynamics
  • Non-autonomous systems
  • Dissipative dynamical systems
  • Perturbations