Monday, 5 May 2008

soft question - What happens to the boundary conditions as a PDE is approximated by a lesser order PDE?

The question seems to contain a misprint, as Harald Hanche-Olsen pointed out above. I am assuming that the real situation is as follows: epsilonnabla4u+cnabla2ulambdau=F(x,y), where (x,y)inGamma, with a pair of boundary conditions, say u=u=0, where (x,y)indeltaGamma.



When epsilon is "small" it is natural to assume that solutions of this PDE should be "close" in some sense to solutions of the reduced PDE cnabla2ulambdau=F(x,y).
This is a typical singular perturbation problem (see Van Dyke's "Perturbation methods in fluid mechanics" or any other text on asymptotic expansions that contains a discussion of singular perturbation problems). It is clear that since the order of the original equation has been reduced, one can now only satisfy one boundary condition, not two of the original problem. This basically indicates the presence of a boundary layer. This boundary layer is a solution of another asymptotic limit of the problem, the one for which epsilonnabla4u can no longer be omitted (see the comment by Willie Wong). The problem can generally be non-trivial in 2D; let me just show the idea how this type of problems is solved in 1D.



Consider for xge0
epsilon2u,xxxxc2u,xxlambdau=F(x)quadmboxsubjecttoquadu(0)=u,x(0)=0


(I made some parameter changes to simplify the forthcoming algebra and changed the sign of c2 as it actually makes more sense to pre-tension beam anyway). The "regular" solution ur, as you pointed out, satisfies c2ur,xx+lambdaur=F(x). The boundary layer solution is typically extracted by "zooming" into the vicinity of the boundary by using a coordinate transformation xi=x/epsilonalpha (so that partial/partialx=epsilonalphapartial/partialxi). How do we find alpha? Intuitively, we want to keep the previously vanishing term epsilon2u,xxxx in the equation and the non-trivial answer should balance it with at least one other term of the original equation. If alpha=1/2 then first term is balanced by the third at O(1), but the second term becomes O(epsilon1). Hence, one needs to take alpha=1 to balance the first two terms with the resulting equation
epsilon2u,xixixixic2epsilon2u,xixilambdau=F(x).

Clearly, when epsilon is "small", the solution of this equation is approximated by the solution of boundary layer equation ubl,xixic2ubl=0. What happens next depends on the sign of c2. I shall take c2 to be strictly positive. Then the boundary layer solution is a rapidly decaying exponent ubl=Ublexp(cxi)=Ublexp(cx/epsilon).



Let us now assume that the general solution of our problem is given by sum u=ur+ubl (this is so-called Vishik-Lyusternik method). This means that when you were posing boundary condition u,x(0)=0, you effectively posed
ur,x(0)+ubl,x(0)=0


Since ubl=Ublexp(cx/epsilon), then ubl,x=cUblexp(cx/epsilon)/epsilon=cubl/epsilon. Therefore, we can conclude that
ur,x(0)+ubl,x(0)=ur,x(0)cubl(0)/epsilon=0quadmboxsothatquadubl(0)=epsilonur,x(0)/c.

If we now turn our attention to the original first boundary condition, the same line of argument gives
u(0)=ur(0)+ubl(0)=ur(0)+epsilonur,x(0)/c=0.



The conclusion then is: instead of solving the original fourth-order ODE with clamped boundary conditions, for sufficiently small epsilon one can simply solve the following second order boundary value problem
c2ur,xx+lambdaur=F(x)quadmboxsubjecttothe"effective"conditionquadur(0)+epsilonur,x(0)/c=0.


The resulting solution error will be of the order O(epsilon2) (except in the close vicinity of the boundary where we made error O(epsilon)). Your own suggested answer ur(0)=0 is only accurate to within O(epsilon) everywhere. My explanation is quite loose here, but I hope it should give you the idea of how to tackle this kind of problems.

No comments:

Post a Comment