Nonlinear finite elements/Weighted residual methods

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)}\underset{0}{\overset{1}{\int }}(\frac{du}{dt}+u)v(t)dt=0;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 $u_h$. If we plug the approximate solution into equation (5) we get

$\text{(6)}\underset{0}{\overset{1}{\int }}(\frac{d}{dt}(u_h)+u_h)v(t)dt=\underset{0}{\overset{1}{\int }}R(t)v(t)dt=0;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.

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 $a_0=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)}{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)}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 $a_1$ and $a_2$ such that $R(t)$ is a minimum.

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 $t_1$ and $t_2$ such that $0\le t_1<t_2\le 1$ (see Figure 1). In this example we choose $t_1=1/3$ and $t_2=2/3$.

File:FEcoll.jpg Figure 1. Discretized domain for Problem 1.

The values of the residual (8) at $t_1$ and $t_2$ are

$R(t_1)=1+\frac{4}{3}{a}_1+\frac{7}{9}{a}_2;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 $a_1=-27/29$ and $a_2=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)=\delta (t-t_j)$

where $t_j$ is a node and $\delta$ is the Dirac delta function.

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}{\mathrm{\Delta }{t}_i}\underset{\mathrm{\Delta }{t}_i}{\int }R(t)dt=0$

where $\mathrm{\Delta }{t}_i$ 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{array}{cc}1& \mathrm{i}\mathrm{f}\mathrm{t}\mathrm{\in }\mathrm{\Delta }{\mathrm{t}}_{\mathrm{i}},\\ 0& \mathrm{o}\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{w}\mathrm{i}\mathrm{s}\mathrm{e}\mathrm{.}\end{array}$

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}{\mathrm{\Delta }{t}_1}\underset{0}{\overset{\frac{1}{2}}{\int }}R(t)dt=1+\frac{5}{4}{a}_1+\frac{7}{12}{a}_2;\text{and}\frac{1}{\mathrm{\Delta }{t}_2}\underset{\frac{1}{2}}{\overset{1}{\int }}R(t)dt=1+\frac{7}{4}{a}_1+\frac{25}{12}{a}_2.$

Setting these residuals to zero and solving for $a_1$ and $a_2$ we get $a_1=-18/19$ and $a_2=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.

File:CollSubExact.jpg Figure 2. Subdomain solution versus exact solution for Problem 1.

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 _{i=1}^n{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 $N_0$ 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 $N_0$).

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

$u_h(t)=N_0(t)+a_1{N}_1(t)+a_2{N}_2(t)$

where

$\text{(12)}{N}_0(t)=1,N_1(t)=t,\text{and}{N}_2(t)=t^2.$

Important:

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

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

$\text{(13)}\underset{0}{\overset{1}{\int }}(\frac{d{u}_h}{dt}+u_h)N_i(t)=0⟹\underset{0}{\overset{1}{\int }}R(t)N_i(t)=0,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

$\underset{0}{\overset{1}{\int }}[1+a_1(1+t)+a_2(2t+t^2)]tdt=0\text{and}\underset{0}{\overset{1}{\int }}[1+a_1(1+t)+a_2(2t+t^2)]t^{2}dt=0.$

After integrating and solving for $a_1$ and $a_2$ we get $a_1=-32/35$ and $a_2=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.

File:AllWResExact.jpg 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.

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)}\underset{0}{\overset{1}{\int }}\frac{\partial R(t{)}^2}{\partial a_i}dt=\underset{0}{\overset{1}{\int }}2R(t)\frac{\partial R(t)}{\partial a_i}dt=0\equiv \underset{0}{\overset{1}{\int }}R(t)\frac{\partial R(t)}{\partial a_i}dt=0$

where $a_i=(a_1,a_2)$. 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

$\underset{0}{\overset{1}{\int }}[1+a_1(1+t)+a_2(2t+t^2)](1+t)dt=0\text{and}\underset{0}{\overset{1}{\int }}[1+a_1(1+t)+a_2(2t+t^2)](2t+t^2)dt=0.$

After integrating and solving for $a_1$ and $a_2$ we get $a_1=-576/611$ and $a_2=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.

File:PlotWRSols.png Figure 4. Least squares solution versus other solutions for Problem 1.