On the Neumann problem for PDE’s with a small parameter and the corresponding diffusion processes

The diffusion process in a region $${G \subset \mathbb R^2}$$ governed by the operator $${\tilde L^\varepsilon = \frac{\,1}{\,2}\, u_{xx} + \frac1 {2\varepsilon}\, u_{zz}}$$ inside the region and undergoing instantaneous co-normal reflection at the boundary is considered. We show that the slow component of this process converges to a diffusion process on a certain graph corresponding to the problem. This allows to find the main term of the asymptotics for the solution of the corresponding Neumann problem in G. The operator $${\tilde L^\varepsilon}$$ is, up to the factor ε− 1, the result of small perturbation of the operator $${\frac{\,1}{\,2}\, u_{zz}}$$. Our approach works for other operators (diffusion processes) in any dimension if the process corresponding to the non-perturbed operator has a first integral, and the ε-process is non-degenerate on non-singular level sets of this first integral.

[1]  William Feller,et al.  Generalized second order differential operators and their lateral conditions , 1957 .

[2]  R. Khasminskii Stochastic Stability of Differential Equations , 1980 .

[3]  M. Freidlin Functional Integration And Partial Differential Equations , 1985 .

[4]  M. Freidlin,et al.  Random Perturbations of Dynamical Systems , 1984 .

[5]  Scattering Solutions in Networks of Thin Fibers: Small Diameter Asymptotics , 2006, math-ph/0609021.

[6]  G. Kallianpur Stochastic differential equations and diffusion processes , 1981 .

[7]  Daniel Grieser,et al.  Thin tubes in mathematical physics, global analysis and spectral geometry , 2008, 0802.2687.

[8]  Mark Freidlin,et al.  Random perturbations of Hamiltonian systems , 1994 .

[9]  M. Freidlin,et al.  Long-Time Behavior of Weakly Coupled Oscillators , 2006 .

[10]  Marius Bochniak Linear elliptic boundary value problems in varying domains , 2003 .

[11]  P. Mandl Analytical treatment of one-dimensional Markov processes , 1968 .

[12]  N. Levinson The First Boundary Value Problem for εΔu + A(x, y)u x + B(x, y)u y + C(x, y)u = D(x, y) for Small ε , 1950 .

[13]  M. Freidlin,et al.  Functional Integration and Partial Differential Equations. (AM-109), Volume 109 , 1985 .

[14]  M. Freidlin,et al.  Necessary and Sufficient Conditions for Weak Convergence of One-Dimensional Markov Processes , 1994 .

[15]  D. Aldous Review: Stewart N. Ethier and Thomas G. Kurtz, Markov processes: Characterization and convergence , 1987 .

[16]  S. Ethier,et al.  Markov Processes: Characterization and Convergence , 2005 .

[17]  Mark Freidlin,et al.  Markov processes and differential equations , 1996 .

[18]  Peter Kuchment,et al.  Analysis on graphs and its applications , 2008 .

[19]  D. Gilbarg,et al.  Elliptic Partial Differential Equa-tions of Second Order , 1977 .

[20]  Mark Freidlin,et al.  Diffusion Processes on Graphs and the Averaging Principle , 1993 .

[21]  R. Khas'minskii,et al.  Principle of Averaging for Parabolic and Elliptic Differential Equations and for Markov Processes with Small Diffusion , 1963 .