Nonlinear finite elements/Weighted residual methods

From Wikiversity

Jump to: navigation, search

Contents

[edit] Weak Formulation : Weighted Average Methods

Weighted average methods are also often called "Rayleigh-Ritz Methods". The idea is to satisfy the differential equation in an average sense by converting it into an integral equation. The differential equation is multiplied by a weighting function and then averaged over the domain.

If v(t) is a weighting function then the weak form of Equation (1) is

\text{(5)} \qquad { \int^1_0 \left(\frac{du}{dt} + u\right)~v(t)~dt = 0 ~;\qquad u(0) = 1 ~. }

The weighting function v(t) can be any function of the independent variables that is sufficiently well-behaved that the integrals make sense.

Recall that we are looking for an approximate solution. Let us call this approximate solution uh. If we plug the approximate solution into equation (5) we get

\text{(6)} \qquad { \int^1_0 \left(\frac{d}{dt}(u_h) + u_h\right)~v(t)~dt = \int^1_0 R(t)~v(t)~dt = 0 ~; \qquad u_h(0) = 1 ~. }

Since the solution is approximate, the original differential equation will not be satisfied exactly and we will be left with a residual R(t). Weighted average methods try to minimize the residual in a weighted average sense.

Finite element methods are a special type of weighted average method.

[edit] Examples of Weighted Average Methods

Let us assume the trial solution for problem (6) to be

u_h(t) = a_0 + a_1 t + a_2 t^2 + \dots + a_n t^n ~.

After applying the initial condition we get a0 = 1, and the trial solution becomes

u_h(t) = 1 + a_1 t + a_2 t^2 + \dots + a_n t^n ~.

Let us simplify the trial solution further and consider only the first three terms, i.e.,

\text{(7)} \qquad { u_h(t) = 1 + a_1 t + a_2 t^2~. }

Plug in the trial solution (7) into (6). Then, the residual is

\text{(8)} \qquad { R(t) = 1 + a_1(1+t) + a_2(2t + t^2)~. }

If R(t) = 0, then the trial solution is equal to the exact solution. If R(t) \ne 0, we can try to make the residual as close to zero as possible. This can be done by choosing a1 and a2 such that R(t) is a minimum.

[edit] Minimizing R(t): Collocation Method

In the collocation method, we minimize the residual by making it vanish at n points t_1, t_2,\dots, t_n within the domain.

For our problem, the domain of interest is 0 \le t \le 1. Let us pick two points in this domain t1 and t2 such that 0 \le t_1 < t_2 \le 1 (see Figure 1). In this example we choose t1 = 1 / 3 and t2 = 2 / 3.

Figure 1. Discretized domain for Problem 1.

The values of the residual (8) at t1 and t2 are

R(t_1) = 1 + \frac{4}{3} a_1 + \frac{7}{9} a_2 ~; \qquad R(t_2) = 1 + \frac{5}{3} a_1 + \frac{16}{9} a_2 ~.

If we now impose the condition that the residual vanishes at these two points and solve the resulting equations, we get a1 = − 27 / 29 and a2 = 9 / 29. Therefore the approximate solution is

{ u_h(t) = 1 - \frac{27}{29} t + \frac{9}{29} t^2~. }

Figure 2 shows a comparison of this solution with the exact solution.

You can see that the collocation method gives a solution that is close to the exact up to t = 1. However, the same results cannot be used up to t = 2 without re-evaluating the integrals.

If you think in terms of equation (6) you can see that a weighting function v(t) was used to get to the solution. In fact, it is the choice of weighting function that determines whether a method is a collocation method! The weighting function in this case is

v(t) = δ(t − tj)

where tj is a node and δ is the Dirac delta function.

[edit] Minimizing R(t): Subdomain Method

The subdomain method is another way of minimizing the residuals. In this case, instead of letting the residual vanish at unique points, we let the "average" of the residual vanish over each domain. That is, we let,

\frac{1}{\Delta t_i} \int_{\Delta t_i} R(t) dt = 0

where Δti is the subdomain over which averaging is done. From this definition it is clear that the weighting function for the subdomain method is

v(t) = \begin{cases} 1 & \rm{if} \; t \in \Delta t_i, \\ 0 & \rm{otherwise}. \end{cases}

Let us apply the subdomain method to Problem 1. We discretize the domain by choosing one point between 0 and 1 at t = 1 / 2. For the two subdomains (elements) we have,

\frac{1}{\Delta t_1} \int_0^{\frac{1}{2}} R(t) dt = 1 + \frac{5}{4} a_1 + \frac{7}{12} a_2 ~; \qquad\text{and}~\qquad \frac{1}{\Delta t_2} \int_{\frac{1}{2}}^{1} R(t) dt = 1 + \frac{7}{4} a_1 + \frac{25}{12} a_2~.

Setting these residuals to zero and solving for a1 and a2 we get a1 = − 18 / 19 and a2 = 6 / 19. Therefore the approximate solution is

{ u_h(t) = 1 - \frac{18}{19} t + \frac{6}{19} t^2 ~. }

Figure 2 shows a comparison of the exact solution and the subdomain and the collocation solutions.

Figure 2. Subdomain solution versus exact solution for Problem 1.

[edit] Minimizing R(t): Galerkin Method

In this case, instead of writing our trial function as,

u_h(t) = 1 + a_1 t + a_2 t^2 + \dots + a_n t^n

we write it as

u_h(t) = N_0(t) + \sum^n_{i=1} a_i N_i(t)

where N_0, N_1, \dots, N_n are (n + 1) linearly independent functions of t. These are called basis functions, interpolation functions, or shape functions. The first term N0 is left outside the sum because it is associated with part or all of the initial or boundary conditions (i.e., we put everything that can be fixed by initial or boundary conditions into N0).

Then the trial function in equation (7) can be rewritten using basis functions as

uh(t) = N0(t) + a1N1(t) + a2N2(t)

where

\text{(12)} \qquad { N_0(t) = 1 ~,~~ N_1(t) = t ~,~~ \text{and}~~ N_2(t) = t^2~. }
[edit] Important:

In the Galerkin method we choose the basis functions N_i~ (i=1 \dots n) as the weighting functions.

If we use Ni(t) as the weighting functions v(t), equation (6) becomes

\text{(13)} \qquad { \int^1_0 \left(\frac{du_h}{dt} + u_h\right) N_i(t) = 0 \implies \int^1_0 R(t) N_i(t) = 0, \qquad i=1,2~. }

Plugging in the value of R(t) from equation (8) into equation (13) and using the basis functions from (12) we get

\int^1_0 \left[ 1 + a_1(1+t) + a_2(2t + t^2)\right]~t~dt = 0 \quad\text{and}\quad \int^1_0 \left[ 1 + a_1(1+t) + a_2(2t + t^2)\right]~t^2~dt = 0~.

After integrating and solving for a1 and a2 we get a1 = − 32 / 35 and a2 = 2 / 7. Therefore, the Galerkin approximation we seek is

{ u_h(t) = 1 - \frac{32}{35} t + \frac{2}{7} t^2 }~.

Figure 3 shows a comparison of the exact solution with the Galerkin, subdomain, and collocation solutions.

Figure 3. Galerkin solution versus exact solution for Problem 1.

All the approximate solutions diverge from the exact solution beyond t = 1. The solution to this problem is to break up the domain into elements so that the trial solution is a good approximation to the exact solution in each element.

[edit] Minimizing R(t): Least Squares Method

In the least-squares method, we try to minimize the residual in a least-squares sense, that is

\text{(15)} \qquad \int_0^1 \frac{\partial R(t)^2}{\partial a_i}~dt = \int_0^1 2~R(t)~\frac{\partial R(t)}{\partial a_i}~dt = 0 \equiv { \int_0^1 R(t)~\frac{\partial R(t)}{\partial a_i}~dt = 0 }

where ai = (a1,a2). The weighting function for the least squares method is therefore

{ v(t) = \frac{\partial R(t)}{\partial a_i} ~. }

Plugging in the value of R(t) from equation (8) into equation (15) and using the basis functions from (12) we get

\int^1_0 \left[ 1 + a_1(1+t) + a_2(2t + t^2)\right]~(1+t)~dt = 0 \quad\text{and}\quad \int^1_0 \left[ 1 + a_1(1+t) + a_2(2t + t^2)\right]~(2t+t^2)~dt = 0~.

After integrating and solving for a1 and a2 we get a1 = − 576 / 611 and a2 = 190 / 611. Therefore, the least squares approximation we seek is

{ u_h(t) = 1 - \frac{576}{611} t + \frac{190}{611} t^2 }~.

Figure 4 shows a comparison of the exact solution with the Galerkin, subdomain, and collocation solutions.

Figure 4. Least squares solution versus other solutions for Problem 1.
Retrieved from "http://en.wikiversity.org/wiki/Nonlinear_finite_elements/Weighted_residual_methods"