Asymptotic Expansion for a Differential Equation with a Small Parameter

  • Thread starter Thread starter haywood
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on deriving the leading order match asymptotic expansion for the differential equation εy'' = f(x) - y', where ε is a small parameter. An asymptotic expansion is defined through a sequence of scale functions φ₁, φ₂, ..., which satisfy the condition φₙ = o(φₘ) as ε approaches zero. The procedure involves finding an outer solution by setting ε = 0 and determining the inner solution near the boundary layer at x = 0, followed by matching both solutions in an overlap region.

PREREQUISITES
  • Understanding of asymptotic analysis and expansions
  • Familiarity with differential equations and boundary value problems
  • Knowledge of scale functions and their properties
  • Basic calculus, particularly integration techniques
NEXT STEPS
  • Study the method of matched asymptotic expansions in detail
  • Learn about boundary layer theory in differential equations
  • Explore the properties of scale functions in asymptotic analysis
  • Investigate specific examples of asymptotic expansions in applied mathematics
USEFUL FOR

Mathematicians, physicists, and engineers working on differential equations, particularly those dealing with small parameters and asymptotic methods.

haywood
Messages
4
Reaction score
0
What would be the leading order match asymptotic expansion for the following differential equation?
[tex]\epsilon y'' = f(x) - y'[/tex]where f(x) is continuous, [tex]\epsilon<<1[/tex]
and y(0) = 0, y(1) = 1

Thanks in advance,
A.Haywood
 
Physics news on Phys.org
First, what is an "asymptotic expansion", both in general and for this particular problem? Then what is meant by a "leading order match"?
 
Firstly, thank you for your response.
To the best of my knowledge, an asymptotic expansion is in general defined this way:

1. First, an asymptotic sequence is formed from functions called scale, or gauge, or basis functions, denoted [tex]\phi_{1}\phi_{2},...[/tex]. These functions are well-ordered, which means that [tex]\phi_{n}=o(\phi_{m})[/tex] as some [tex]\epsilon[/tex] (epsilon)gets really really small for all m and n that satisfy m<n

2. Now, if [tex]\phi_{1}\phi_{2},...[/tex] is an asymptotic sequence, then f(epsilon) has an asymptotic expansion to n terms, with respect to this sequence, if and only if

[tex]f = {^m}\sum_{k=1} a_{k}\phi_{k}(\epsilon)+o(\phi_{m})[/tex] for m=1,...,n as epsilon gets really really small towards like 0. The [tex]a_{k}[/tex] are independent of [tex]\epsilon[/tex].

Finally, all this enables us to write f~[tex]a_{1}\phi_{1}(\epsilon)+a_{2}\phi_{2}(\epsilon)+...+a_{n}\phi_{n}(\epsilon)[/tex] as [tex]\epsilon\rightarrow 0[/tex]. Here, the ~ denotes asymptotic.


Whew! Now, for this particular problem... I think the procedure is to find the outer solution away from the boundary layer (reduce given original equation by setting [tex]\epsilon[/tex] = 0), and then the inner solution near the boundary layer (in this case near x=0) and then push both towards each other into an overlap region in which they are supposed to match!

I have started on the outer problem thus far:
y' = f(x) so y(x) = [tex]\int f(x)dx[/tex] and now what do I do with this integral?

Thanks again!
A.Haywood
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
6
Views
2K
Replies
2
Views
2K
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K