Research Article

# Probabilistic Aspects of Lagrange 3D-Interpolational

Kamal Al-Dawoud

ABSTRACT

In this study, the problem of polynomial 3D interpolation on finite elements is studied and probabilistic aspects of finite-element approximation on three-dimensional models is presented. The theorems for new probabilistic properties of basis functions are proved.

 Services Related Articles in ASCI Similar Articles in this Journal Search in Google Scholar View Citation Report Citation Science Alert

 How to cite this article: Kamal Al-Dawoud , 2008. Probabilistic Aspects of Lagrange 3D-Interpolational. Journal of Applied Sciences, 8: 181-184. DOI: 10.3923/jas.2008.181.184 URL: https://scialert.net/abstract/?doi=jas.2008.181.184

INTRODUCTION

An application of geometrical probability (Kamal Al-Dawoud and Khomchenko, 2007) for constructing polynomials basic functions essentially simplifies problems of approximation in finite-elements method (Norrie and de Vries, 1978; Oden, 1972). In this paper the probabilistic aspects of finite-element approximation on three-dimensional models are presented. Special attention is given to a simplex (a tetrahedron, 4 units) and multiplex (a cube, 8 units). Usually nodal parameters are more favorably to choose on vertexes of an element, as vertexes are the general for more number of elements, than units on edges or lateral sides. Such choice reduces the general number of central parameters of system elements and reduces the size of a global matrix of the linear algebraic equations system (Norrie and de Vries, 1978).

Simplex models (Oden, 1972) are concerned with using linear polynomials in finite-elements. They were among the first used in (FEM) in 1956 (Turner, Clough, Martin and Topp), in 1957 (Synge), in 1962 (Gallagher, Padlog and Bijlaard). Finite-elements in the form of a cube have quickly won popularity in three-dimensional problems, where one cube took the same volume, as 6 tetrahedrons. Let's notice, that irregular splitting of the area into tetrahedrons is difficult for carrying out even with the help of a Computer (Strang and Fix, 1973). Three-linear approximation on a cubic element for the first time was used in 1963. (Melosh), then in 1966 (Key), in 1967 (Zienkiewicz and Cheung), in 1969 (Oden).

Kolmogorov's model of random wanderings on a three-dimensional grid allows schematizing random wanderings with random start and absorbing units in vertexes of a finite-element. Computer experiments give the basis to assume, that the transitive probabilities have properties of stability and are independent of the form of the trajectory and the number of steps. The establishment of the specified properties allows ignoring a history of random wanderings and stimulates searches of the simplified single-step scheme, which appreciably accelerate calculations in Monte Carlo methods. The economical schemes of random transitions are the result of minimizing the number of steps. In this study, it is theoretically proved that the transitive probability invariant concerning the form of a route depends only on coordinates of a starting-point and vertex of an element (finish-point). In the optimum scheme, the particle for one step on a start-line route reaches vertex of an element. Interpolations function of three arguments is a mathematical expectation of nodal values. From the mechanical point of view, transitive probabilities show, how to distribute a single mass on vertexes of an element, which barycentric appeared in a reselected point.

FORMULATION AND SOLUTION

On Fig. 1, the three-dimensional simplex-a tetrahedron with 4 nodes is represented. This element has equipment with 4 basic functions. In research problems of scalar fields in each node, there is one degree of freedom (for example, temperature). Traditional algebraic procedure of designing polynomial a interpolation is reduced to the definition of 4 parameters αi in a general view polynomial:

 (1)

The source information contains 16 numbers: coordinates of nodes and nodal temperatures . For determining αi using systems of linear algebraic equations 4x4, where k-th equation of system is given by:

 (2)

The system (2) has the unique solution as its determinant Δ is not zero:

 Fig. 1: Tetrahedron (4 nodes)

 (3)

Where, V is the volume of tetrahedron.

Procedure of designing of a polynomial actually ends of substitution of parameters αi in Eq. 1. However, in most cases a polynomial (1) can be written in the form of Lagrange. For this element in (1) it is necessary to rearrange so that each element contains a multiplier fk:

 (4)

Where:

The determinant Δk produced from a determinant (3) replacement in k-th row of coordinates of vertex Πk by coordinates of the current point M(x, y, z). It is easy to notice, that basis Lagrange {Nk} will consist of barycentric coordinates of a three-dimensional simplex, which have the following properties:

 (5)

Where:

δki = Kronecker's symbol

Property (5) represents special interest, as it has a precise probabilistic sense. To each nodal value of function fk is matched a corresponding probability Nk. Thus, we can write the law of distribution of probabilities for the function of a random point M (x, y, z):

Now it is clear that interpolation polynomials value (4) in any point of a simplex is determined by the formula of expectation. Feature of the resulted table, where selective values are fixed and a random factor is present at the second row. Functions of a random point Nk (x, y, z) are interpreted as transitive probabilities of a wandering particle, from a random point M (x, y, z), to vertexes of a tetrahedron Πk.

On Fig. 1, arrows are shown the routes of random transitions. Thus, in a tetrahedron the single-step 4-routing scheme of random transitions with random start and absorption in vertexes is realized. In terms of Monte Carlo method, formula (4) is the average compensation for an output of particles in vertex. It means construction of interpolation polynomials is reduced to the definition of transitive probabilities. On a simplex Nk are easily defined geometrically through relations of volumes of two tetrahedrons with the general side. For example:

On Fig. 1, the side bound is hatched.

Interpolation on a cube: On Fig. 2, the standard cube with the sizes 2x2x2 is represented. The origin coordinates coincides with barycentric cube. Algebraic procedure of constructing interpolation polynomials begins with the general expression containing 8 parameters (by number of nodes):

 (6)

Coefficients are defined from the system of linear equations 8x8 using 32 numbers (coordinate of vertexes Πk and a degree of freedom . Now the k-th system equation is given by:

 Fig. 2: Regular hexahedron (cube, 8 nodes)

 (7)

The determinant of system Eq. 7 is not zero, which provides uniqueness of the solution. Substitution of αi in Eq. 6 and corresponding transformations results in a polynomial Lagrange form:

 (8)

In the special literature on (FEM) (Norrie and de Vries, 1978; Strang and Fix, 1973; Oden, 1972), local coordinates on a standard cube are designated through ξ, η, ς. The mean-values of nodes (expectation) in formula (8) and the law of distribution of probabilities for the function of a random point M is:

In multiplex Fig. 2, a single-step 8-routing scheme of random transitions with random start point M and absorbing node in vertexes Πk is realized.

In multiplex transition probabilities are also defined geometrically. It excludes necessity of drawing up and the resolution of the system of equations 8x8. Firstly, through the current point M (x, y, z) it is necessary to carry out three planes, parallel to coordinate planes. Thus the cube is divided into 8 rectangular parallelepipeds. Now, for defining Nk, it is necessary to find relative volume of a parallelepiped, opposite to node k. For example:

 (9)

Other functions Nk are defined similarly or from N1 using consecutive transformation of parallel route carried on 2 units along one of coordinate directions (Fig. 2). Properties (5) are easy to check up, as in this model.

A lot of interesting properties of posteriori transitive probabilities nk/n are found out in computer experiments with random wanderings in multiplex on nodes of an orthogonal spaces grid. Here n-the general number of particles, starting from control node, nk - (number of the particles absorbing vertex Πk). In the experiments, the Kolmogorov's classical model with a 6-routing pattern and equally probability transitions on each step is used. An output of a particle on side multiplex wanderings turns into two-dimensional, at an output on an edge-in one-dimensional and come to an end in one of two vertexes Πk, belonging to the given edge. First of all it is necessary to specify convergence in probability:

nk/n→Nk at n→∞

Experiments have confirmed independence of transitive probability of the form of a route and number of steps from start to finish. There are no bases to doubt about the result of experiments. However we shall try to prove the following theorem theoretically using probabilistic representations.

Theorem 1: For a particle, starting from any point of M multiplex, the probability of absorbing vertex Πk is invariantly concerning the form of a trajectory and also coincides with corresponding function Nk-three-linear interpolation.

Proof: On Fig. 2, different routes from a point M (x, y, z) in vertex Π1 (-1;-1;-1) are demonstrated. Each broken line consists of three straight-line segments, parallel to coordinate axes. On any route, the particle for 3 steps reaches vertex Π1. On the first step, the particle goes to one of three edges containing vertex Π1, on the second step, the particle goes to one of two edges containing vertex Π1, on the third step, the particle is absorbed by vertex Π1. For the particles absorbed by other vertexes, the situation is similar. To prove this theorem, it is enough to consider one of six possible routes from M to Π1, for example:

M→A1→B→Π1

The probability of transition M→A1 is defined geometrically and is:

The probability of transition M→B2 provided, that a route passes through A1, is:

Finally, the probability of transition M→Π1 through points A1 and B2, is:

that coincides with the formula (9).

By changing trajectory from M to Π1 in the formula (9) and by changing only the order of factors all 3! Variants give the same results.

Remarks:

 • Each side of a cube (Fig. 2) is two-dimensional multiplex with bilinear basis (Kamal Al-Dawoud and Khomchenko, 2007). Therefore in view of results (Kamal Al-Dawoud and Khomchenko, 2007) it is possible to offer the two-step-by-step scheme of wanderings with the same transitive probability (9). For methods of Monte Carlo: the more shorter a history of wanderings, the more effective is computing algorithm. This explained increased interest in single-step scheme. • Simplicity and content of models Kolmogorov with orthogonal trajectories allow constructing the three-dimensional scheme of wanderings as a superposition of three one-dimensional wanderings. However, multi-step wanderings on a grid are long-term and practically useless.

Theorem 2: The probability of transition of a particle from random start in vertex Πk multiplex is a harmonic function both on Laplace test and on Privalov's test.

Proof: The differential test of harmonic function, suggested by Laplace, is:

Δnk (x, y, z) = 0

Where:

The integral test of harmonic, suggested by Privalov, is the mean-value integral by element:

 (10)

Simple consideration shows, that Nk (x, y, z) satisfies Laplace equation and the rules mean-value. Notice, that in formula (10) multiplier 1/8 before triple integral is a density of uniform distribution of a random point in multiplex. Therefore, Privalov's test gives expectation of function of a random point. This result has exactly probability meaning and is formulated as the following theorem.

Theorem 3: Expectation of transitive probability Nk (x, y, z) on all random trajectories in multiplex is equal to probability of transition of a particle from barycentric to vertex.

For proof it is enough to refer to formula (10).

Remark: Surprisingly, the function Nk (x, y, z), containing members of the second and third degree, supposes exact integration using a simplified approached formula with a unique node in barycentric of an element.

CONCLUSION

New probability properties of basic functions Lagrange 3D-interpolation are established. It stimulates attempts to distribute probability approaches on polynomials of the higher orders in one-dimensional, two-dimensional and three-dimensional finite elements. Special interest is represented with penal routes with negative transitive probabilities. Such generalization of models of random wanderings will need correct and grounded formulations.

REFERENCES
1:  Al-Dawoud, K. and A.N. Khomchenko, 2007. Construction of Lagrange interpolational polynomials using geometrical probability. Umm Al-Qura Univ. J. Sci. Med. Eng., 19: 153-163.

2:  Norrie, D.H. and G. de Vries, 1978. An Introduction to Finite Element Analysis. Academic Press, New York.

3:  Oden, J.T., 1972. Finite Elements of Nonlinear Continua. McGraw-Hill, New York.

4:  Strang, G. and G.J. Fix, 1973. An Analysis of the Finite Element Method. Englewood Cliffs, Prentice-Hall, New York.