Overstability and resonance
Annales de l'Institut Fourier, Volume 53 (2003) no. 1, pp. 227-264.

We consider a singularity perturbed nonlinear differential equation εu =f(x)u++εP(x,u,ε) which we suppose real analytic for x near some interval [a,b] and small |u|, |ε|. We furthermore suppose that 0 is a turning point, namely that xf(x) is positive if x0. We prove that the existence of nicely behaved (as ϵ0) local (at x=0) or global, real analytic or C solutions is equivalent to the existence of a formal series solution u n (x)ε n with u n analytic at x=0. The main tool of a proof is a new "principle of analytic continuation" for such "overstable" solutions. We apply this result to the second order linear differential equation εy +φ(x,ε)y +ψ(x,ε)y=0 with φ and ψ real analytic for x near some interval [a,b] and small |ε|. We assume that -xφ(x,0) is positive if x0 and that the function ψ 0 :xψ(x,0) has a zero at x=0 of at least the same order as φ 0 φ(x,0). For this equation, we prove that the existence of local or global, real analytic or C solutions tending to a nontrivial solution of the reduced equation φ(x,0)y +ψ(x,0)y=0 is equivalent to the existence of a non trivial formal series solution y ^(x,ε)=y n (x)ε n with y n analytic at x=0. This improves and generalizes a result of C.H. Lin on this so-called " Ackerberg-O’Malley resonance" phenomenon. In the proof, the problem is reduced to the preceding problem for the corresponding Riccati equation In the final section, we construct examples of such second order equations exhibiting resonance such that the formal solution y ^ has a prescribed logarithmic derivative y ^ (0,ε)/y ^(0,ε) at x=0 which is divergent of Gevrey order 1.

On considère l’équation différentielle non linéaire singulièrement perturbée εu =f(x)u+εP(x,u,ε) qu’on suppose réelle et analytique pour x proche de [a,b] et |u|, |ε| asez petits. On suppose que 0 est un point tournant, c’est-à-dire xf(x)>0 si x0. On démontre que l’existence de solutions locales (en x=0) ou globales, analytiques réelles ou C bornées quand ε0 est équivalente à l’existence d’une solution série formelle u n (x)ε n avec u n analytiques en x=0. L’outil principal de la démonstration est un nouveau "principe de prolongement analytique" pour de telles solutions dites surstables. On applique ce résultat à l’équation d’ordre deux εy +φ(x,ε)y +ψ(x,ε)y=0φ et ψ sont analytiques réelles pour x proche de [a,b] et |ε| assez petit. On suppose que -xφ(x,0)>0 si x0 et que la fonction ψ 0 :xψ(x,0) a un zéro en x=0 d’ordre au moins égal à celui de φ 0 :xφ(x,0). On montre que l’existence de solutions locales ou globales, analytiques réelles ou C , tendant vers une solution non triviale de l’équation réduite φ(x,0)y +ψ(x,0)y=0 est équivalente à l’existence d’une solution série formelle non triviale y ^(x,ε)=y n (x)ε n avec y n analytiques en x=0. Ceci améliore et généralise un résultat de C.H. Lin concernant le phénomène de "résonance au sens d’Ackerberg-O’Malley". Dans le dernier paragraphe, on construit des exemples d’ordre deux qui présentent une résonance et tels que la solution formelle y ^ ait une dérivée logarithmique prescrite y ^(0,ε)/y ^(0,ε) en x=0, divergente d’ordre Gevrey 1.

DOI: 10.5802/aif.1943
Classification: 34E
Keywords: resonance, canard solution, overstability, singular perturbation
@article{AIF_2003__53_1_227_0,
     author = {Fruchard, Augustin and Sch\"afke, Reinhard},
     title = {Overstability and resonance},
     journal = {Annales de l'Institut Fourier},
     pages = {227--264},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {53},
     number = {1},
     year = {2003},
     doi = {10.5802/aif.1943},
     zbl = {1037.34047},
     language = {en},
     url = {https://aif.centre-mersenne.org/articles/10.5802/aif.1943/}
}
TY  - JOUR
TI  - Overstability and resonance
JO  - Annales de l'Institut Fourier
PY  - 2003
DA  - 2003///
SP  - 227
EP  - 264
VL  - 53
IS  - 1
PB  - Association des Annales de l’institut Fourier
UR  - https://aif.centre-mersenne.org/articles/10.5802/aif.1943/
UR  - https://zbmath.org/?q=an%3A1037.34047
UR  - https://doi.org/10.5802/aif.1943
DO  - 10.5802/aif.1943
LA  - en
ID  - AIF_2003__53_1_227_0
ER  - 
%0 Journal Article
%T Overstability and resonance
%J Annales de l'Institut Fourier
%D 2003
%P 227-264
%V 53
%N 1
%I Association des Annales de l’institut Fourier
%U https://doi.org/10.5802/aif.1943
%R 10.5802/aif.1943
%G en
%F AIF_2003__53_1_227_0
Fruchard, Augustin; Schäfke, Reinhard. Overstability and resonance. Annales de l'Institut Fourier, Volume 53 (2003) no. 1, pp. 227-264. doi : 10.5802/aif.1943. https://aif.centre-mersenne.org/articles/10.5802/aif.1943/

[1] R.C. Ackerberg; R.E. O'Malley Boundary layer Problems Exhibiting Resonance, Studies in Appl. Math., Tome 49 (1970) no. 3, pp. 277-295 | MR | Zbl

[2] É. BenoÎt Asymptotic expansions of canards with poles. Application to the stationary unidimensional Schrödinger equation, Bull. Belgian Math. Soc., suppl. `Nonstandard Analysis' (1996), pp. 71-90 | MR | Zbl

[3] É. BenoÎt Enlacements de canards, Tome 72 (1990), pp. 63-91 | Numdam | Zbl

[4] É. BenoÎt; J.-L. Callot; F. Diener; M. Diener Chasse au canard, Collect. Math., Tome 31 (1981) no. 1-3, pp. 37-119 | Zbl

[5] É. BenoÎt; A. Fruchard; R. Schäfke; G. Wallet Solutions surstables des équations différentielles complexes lentes-rapides à point tournant, Ann. Fac. Sci. Toulouse, Tome VII (1998) no. 4, pp. 1-32 | Numdam | MR | Zbl

[6] É. BenoÎt; A. Fruchard; R. Schäfke; G. Wallet Overstability : toward a global study, C.R. Acad. Sci. Paris, série I, Tome 326 (1998), pp. 873-878 | MR | Zbl

[7] J.-L. Callot Bifurcation du portrait de phase pour des équations différentielles linéaires du second ordre ayant pour type l'équation d'Hermite (1981) (Thèse de Doctorat d'Etat, Strasbourg)

[8] J.-L. Callot Champs lents-rapides complexes à une dimension lente, Ann. Sci. École Norm. Sup., 4e série, Tome 26 (1993), pp. 149-173 | Numdam | MR | Zbl

[9] M. Canalis-Durand; J.-P. Ramis; R. Schäfke; Y. Sibuya Gevrey solutions of singularly perturbed differential equations, J. reine angew. Math., Tome 518 (2000), pp. 95-129 | DOI | MR | Zbl

[10] L.P. Cook; W. Eckhaus Resonance in a boundary value problem of singular perturbation type, Studies in Appl. Math., Tome 52 (1973), pp. 129-139 | MR | Zbl

[11] P.P.N. de Groen The nature of resonance in a singular perturbation problem of turning point type, SIAM J. Math. Anal., Tome 11 (1980), pp. 1-22 | DOI | MR | Zbl

[12] F. Diener Méthode du plan d'observabilité (1981) (Thèse de Doctorat d'Etat, prépublication IRMA, 7, rue René Descartes, 67084 Strasbourg Cedex (France))

[13] L. Hörmander An introduction to complex analysis in several variables, Elsevier Science B.V., Amsterdam, 1966, revised 1973, 1990

[14] N. Kopell A geometric approach to boundary layer problems exhibiting resonance, SIAM. J. Appl. Math., Tome 37 (1979) no. 2, pp. 436-458 | DOI | MR | Zbl

[15] W.D. Lakin Boundary value problems with a turning point, Studies in Appl. Math., Tome 51 (1972), pp. 261-275 | MR | Zbl

[16] C.H. Lin The sufficiency of Matkowsky-condition in the problem of resonance, Trans. Amer. Math. Soc., Tome 278 (1983) no. 2, pp. 647-670 | DOI | MR | Zbl

[17] B.J. Matkowsky On boundary layer problems exhibiting resonance, SIAM Review, Tome 17 (1975), pp. 82-100 | DOI | MR | Zbl

[18] F.W.J. Olver Sufficient conditions for Ackerberg-O'Malley resonance, SIAM J. Math. Anal., Tome 9 (1978), pp. 328-355 | DOI | MR | Zbl

[19] Y. Sibuya A theorem concerning uniform simplification at a transition point and the problem of resonance, SIAM J. Math. Anal., Tome 12 (1981), pp. 653-668 | DOI | MR | Zbl

[20] W. Wasow Asymptotic expansions for ordinary differential equations, Interscience, New York, 1965 | MR | Zbl

[21] W. Wasow Linear Turning Point Theory, Springer, New York, 1985 | MR | Zbl

Cited by Sources: