Example
3. Solve
.
3 (b). Use the
boundary values
and
.
Solution 3 (b).
Form the linear operator, the differential equation and the boundary values.
![[Graphics:../Images/GalerkinMod_gr_227.gif]](../Images/GalerkinMod_gr_227.gif)
The first function
will be chosen to be the straight line between the boundary
points.
![[Graphics:../Images/GalerkinMod_gr_230.gif]](../Images/GalerkinMod_gr_230.gif)
The other n function
will be chosen to be zero at the endpoints.
![[Graphics:../Images/GalerkinMod_gr_233.gif]](../Images/GalerkinMod_gr_233.gif)
The residual is formed by substituting
into
.
![[Graphics:../Images/GalerkinMod_gr_237.gif]](../Images/GalerkinMod_gr_237.gif)
Galerkin's requirement is that the inner product of the residual
with
is zero.
Form the equations
for
.
![[Graphics:../Images/GalerkinMod_gr_242.gif]](../Images/GalerkinMod_gr_242.gif)
We must solve for the coefficients
.
![[Graphics:../Images/GalerkinMod_gr_245.gif]](../Images/GalerkinMod_gr_245.gif)
Use
to
form the Galerkin solution.
![[Graphics:../Images/GalerkinMod_gr_248.gif]](../Images/GalerkinMod_gr_248.gif)
![[Graphics:../Images/GalerkinMod_gr_249.gif]](../Images/GalerkinMod_gr_249.gif)
We are done.
Aside. We can use
Mathematica to find the analytic solution. This is
just for fun !
![[Graphics:../Images/GalerkinMod_gr_251.gif]](../Images/GalerkinMod_gr_251.gif)
Plot the analytic solution.
![[Graphics:../Images/GalerkinMod_gr_253.gif]](../Images/GalerkinMod_gr_253.gif)
![[Graphics:../Images/GalerkinMod_gr_254.gif]](../Images/GalerkinMod_gr_254.gif)
Plot both the analytic and Galerkin solution.
![[Graphics:../Images/GalerkinMod_gr_256.gif]](../Images/GalerkinMod_gr_256.gif)
![[Graphics:../Images/GalerkinMod_gr_257.gif]](../Images/GalerkinMod_gr_257.gif)
Check out the difference between the analytic solution and the Galerkin solution.
![[Graphics:../Images/GalerkinMod_gr_259.gif]](../Images/GalerkinMod_gr_259.gif)
![]()
So the Galerkin solution appears to be good.
Warning. We must proceed with caution when using Galerkin's method because the linear system might be ill conditioned.
![[Graphics:../Images/GalerkinMod_gr_262.gif]](../Images/GalerkinMod_gr_262.gif)
The condition number of the above system can be determined by Mathematica.
Fact. Given
the linear system
. If
are
input with machine precision then a bound for the error in the
computed solution
is
given by
where
is machine epsilon for the
computer. The computed
solution
loses
about
decimal
digits of accuracy relative to precision of input.
![[Graphics:../Images/GalerkinMod_gr_274.gif]](../Images/GalerkinMod_gr_274.gif)
Caveat. Mathematica
uses extended precision sixteen digit numbers, the
solution
retains
most of this accuracy.
Aside. We can check out the matrix form for setting up the Galerkin equations. This is just for fun
The boundary values
are
used to form
and
there are
equations to solve
for
.
![[Graphics:../Images/GalerkinMod_gr_282.gif]](../Images/GalerkinMod_gr_282.gif)
Since the linear operator is
we have
which must be entered into the integrals on the right hand side.
for
.
The matrix form of the solution is
![[Graphics:../Images/GalerkinMod_gr_288.gif]](../Images/GalerkinMod_gr_288.gif)
This is the same as we obtained above.
(c) John H. Mathews 2005