 Method of matched asymptotic expansions

In mathematics, particularly in solving singularly perturbed differential equations, the method of matched asymptotic expansions is a common approach to finding an accurate approximation to a problem's solution.
Contents
Method overview
In a large class of singularly perturbed problems, the domain may be divided into two subdomains. On one of these, the solution is accurately approximated by an asymptotic series found by treating the problem as a regular perturbation. The other subdomain consists of one or more small areas in which that approximation is inaccurate, generally because the perturbation terms in the problem are not negligible there. These areas are referred to as transition layers, or boundary or interior layers depending on whether they occur at the domain boundary (as is the usual case in applications) or inside the domain.
An approximation in the form of an asymptotic series is obtained in the transition layer(s) by treating that part of the domain as a separate perturbation problem. This approximation is called the "inner solution," and the other is the "outer solution," named for their relationship to the transition layer(s). The outer and inner solutions are then combined through a process called "matching" in such a way that an approximate solution for the whole domain is obtained.^{[1]}^{[2]}^{[3]}
Simple example
Consider the equation
where y is a function of t, y(0) = 0, y(1) = 1, and .
Outer and inner solutions
Since is very small, our first approach is to find the solution to the problem
which is
for some constant A. Applying the boundary condition y(0) = 0, we would have A = 0; applying the boundary condition y(1) = 1, we would have A = e. At least one of the boundary conditions cannot be satisfied. From this we infer that there must be a boundary layer at one of the endpoints of the domain.
Suppose the boundary layer is at t = 0. If we make the rescaling , the problem becomes
which, after multiplying by and taking , is
with solution
for some constants B and C. Since y(0) = 0, we have C = B, so the inner solution is
Matching
Remember that we have assumed the outer solution to be
The idea of matching is for the inner and outer solutions to agree at some value of t near the boundary layer as decreases. For example, if we fix , we have the matching condition
so B = e. Note that instead of , we could have chosen any other power law with 0 < k < 1. To obtain our final, matched solution, valid on the whole domain, one popular method is the uniform method. In this method, we add the inner and outer approximations and subtract their overlapping value, . In the boundary layer, we expect the outer solution to be approximate to the overlap, . Far from the boundary layer, the inner solution should approximate it, . Hence, we want to eliminate this value from the final solution. In our example, . Therefore, the final solution is,
Accuracy
Substituting the matched solution in the problem's differential equation yields
which implies, due to the uniqueness of the solution, that the matched asymptotic solution is identical to the exact solution up to a constant multiple, as it satisfies the original differential equation. This is not necessarily always the case, any remaining terms should go to zero uniformly as . As to the boundary conditions, y(0) = 0 and , which quickly converges to the value given in the problem.
Not only does our solution approximately solve the problem at hand; it closely approximates the problem's exact solution. It happens that this particular problem is easily found to have exact solution
which, as previously noted, has the same form as the approximate solution bar the multiplying constant. Note also that the approximate solution is the first term in a binomial expansion of the exact solution in powers of .
Location of boundary layer
Conveniently, we can see that the boundary layer, where y' and y'' are large, is near t = 0, as we supposed earlier. If we had supposed it to be at the other endpoint and proceeded by making the rescaling , we would have found it impossible to satisfy the resulting matching condition. For many problems, this kind of trial and error is the only way to determine the true location of the boundary layer.^{[1]}
See also
References
 ^ ^{a} ^{b} Verhulst, F. (2005). Methods and Applications of Singular Perturbations: Boundary Layers and Multiple Timescale Dynamics. Springer. ISBN 0387229663.
 ^ Nayfeh, A. H. (2000). Perturbation Methods. Wiley Classics Library. WileyInterscience. ISBN 9780471399179.
 ^ Kevorkian, J.; Cole, J. D. (1996). Multiple scale and singular perturbation methods. Springer. ISBN 0387942025.
Categories: Differential equations
 Asymptotic analysis
Wikimedia Foundation. 2010.
Look at other dictionaries:
Singular perturbation — In mathematics, more precisely in perturbation theory, a singular perturbation problem is a problem containing a small parameter that cannot be approximated by setting the parameter value to zero. This is in contrast to regular perturbation… … Wikipedia
Perturbation theory — This article describes perturbation theory as a general mathematical method. For perturbation theory as applied to quantum mechanics, see perturbation theory (quantum mechanics). Perturbation theory comprises mathematical methods that are used to … Wikipedia
D'Alembert's paradox — In fluid dynamics, d Alembert s paradox (or the hydrodynamic paradox) is a contradiction reached in 1752 by French mathematician Jean le Rond d Alembert.[1] D Alembert proved that – for incompressible and inviscid potential flow – the drag force… … Wikipedia
List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… … Wikipedia
Multiplescale analysis — In mathematics and physics, multiple scale analysis (also called the method of multiple scales) comprises techniques used to construct uniformly valid approximations to the solutions of perturbation problems, both for small as well as large… … Wikipedia
Phase field models — A phase field model is a mathematical model for solving interfacial problems. It has been mainly applied to solidification dynamics, [ [http://arjournals.annualreviews.org/doi/abs/10.1146/annurev.matsci.32.101901.155803 WJ. Boettinger et al.… … Wikipedia