1. Inverse problems in the theory of singular perturbations
- Author
-
R. Schäfke, Institut de Recherche Mathématique Avancée (IRMA), Université Louis Pasteur - Strasbourg I-Centre National de la Recherche Scientifique (CNRS), and Schäfke, Reinhard
- Subjects
Statistics and Probability ,Pure mathematics ,Series (mathematics) ,Differential equation ,Applied Mathematics ,General Mathematics ,Existential quantification ,Mathematical analysis ,34M ,[MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA] ,Inverse problem ,Resonance (particle physics) ,[MATH.MATH-CA] Mathematics [math]/Classical Analysis and ODEs [math.CA] ,differential equation ,inverse problem ,singular perturbation ,Linear equation ,Mathematics - Abstract
First, in joint work with S. Bodine of the University of Puget Sound, Tacoma, Washington, USA, we consider the second-order differential equation e2 y''=(1+e2 ψ(x, e))y with a small parameter e, where ψ is analytic and even with respect to e. It is well known that it has two formal solutions of the form y±(x,e)=e±x/eh±(x,e), where h±(x,e) is a formal series in powers of e whose coefficients are functions of x. It has been shown that one (resp. both) of these solutions are 1-summable in certain directions if ψ satisfies certain conditions, in particular concerning its x-domain. We show that these conditions are essentially necessary for 1-summability of one (resp. both) of the above formal solutions. In the proof, we solve a certain inverse problem: constructing a differential equation corresponding to a certain Stokes phenomenon. The second part of the paper presents joint work with Augustin Fruchard of the University of La Rochelle, France, concerning inverse problems for the general (analytic) linear equations e r y' = A(x,e) y in the neighborhood of a nonturning point and for second-order (analytic) equations e y'' - 2xy'-g(x,e) y=0 exhibiting resonance in the sense of Ackerberg-O'Malley, i.e., satisfying the Matkowsky condition: there exists a nontrivial formal solution $$\hat y\left( {x{\text{, }}\varepsilon } \right) = \sum {y_n } \left( x \right)\varepsilon ^n $$ such that the coefficients have no poles at x=0.
- Published
- 2003