Error estimates for nearly degenerate finite elements


 Hannah Walters
 1 years ago
 Views:
Transcription
1 Error estimates for nearly degenerate finite elements Pierre Jamet In RAIRO: Analyse Numérique, Vol 10, No 3, March 1976, p Abstract We study a property which is satisfied by most commonly used finite elements and which can improve the interpolation error estimates in Sobolev spaces W m,p. This new estimate does not prohibit elements to be almost degenerate (nearly flat). 1 Introduction When using the finite element method to solve a partial differential equation on R n, the first step is the discretization the domain, commonly known as triangulation even when the elements used are not triangles. This discretization must meet certain to provide a satisfactory error estimate; conditions of regularity by Ciarlet and Raviart [5] and conditions of uniformity by Strang [10] are obtained by the standard error interpolation on a each element. Differrent authors have studied the interpolation error corresponding to various types of finite elements and deduced conditions of regularity for the triangulation (Zlamal [14], Bramble and Zlamal [4], Strang [10], Strang and Fix [11]); the most general results are given in Ciarlet and Raviart [5] [6]. The simplest case is that of straight elements, i.e. elements are the images by an affine transformation F of the element of reference. In this case Ciarlet and Raviart [5] established an estimate of the form: ( ) h k+1 u Πu m,p,k = O, (1.1) p where u is a function of sufficient regularity, Πu is the interpolant on element K, m,p,k is the norm on the Sobolev space W m,p (K), h is the diameter of K, ρ is the maximum diameter of a sphere contained in K and k is an integer determining the spaces of polynomials used for interpolation. From estimate (1.1), deduce that: u Πu m,p,k = O(h k+1 m ) (1.2) holds under the assumption that all elements K of the triangulation satisfy a condition of the form: ρ α > 0, (1.3) h 1
2 where α is an arbitrary constant. Condition (1.3) requires that elements K should not be too skinny; in the particular case of triangular elements, the angles of the triangle should not be too small. In this paper, we will show that for some finite elements used in practice, condition (1.3) can be weakened. We make an estimate of the form: u Πu m,p,k = O(h k+1 m /(cosθ) m ), (1.4) where θ is an angle between 0 and π which can approach π if all edges of K are almost 2 2 parallel to the same hyperplane. From (1.4), one deduces the condition: θ θ 0 < π 2 (1.5) This condition is weaker than (1.3) as it does not prohibit elements to be nearly flat. Thus, in the case of triangular elements, θ is equal to half of the largest angle of the triangle; for example, for an isosceles triangle that has an arbitrarily small angles and two angles near π, θ π and condition (1.5) is satisfied. An estimate identical to (1.4) was established by 2 4 Synge [12] in the case of linear interpolation on a triangle with k = 1, m = 1, and p =. For curved elements produced by the same reference element by means of a nonaffine transformation F, it is also possible to weaken the regularity conditions given by Strange and Fix [11] and Ciarlet and Raviart [6]. Similarly, for some quadrilateral elements, we can allow quadrilaterals to degenerate into triangles as the length of one side goes to zero or an angle that tends to π. The study of these elements will be considered in a future paper. First, we define some notation (which is identical to that used by Ciarlet and Raviart [5]). Second, we prove results for a general linear operator Π possessing certain properties; the essential property is contained in the hypothesis H.2; although it is satisfied by most common finite elements, it seems to have been unnoticed. The main result is stated in Theorem 2.2; Theorem 2.3 is a variant. In the third section, we will apply these results to interpolation operators corresponding to various examples of finite elements. Notation : ξ = the Euclidean norm of vector ξ R n. (ξ 1, ξ 2 ) = the dot products of vectors ξ 1, ξ 2 R n. For a sufficiently regular function u defined on domain Ω R n : Du = the Fréchet derivative of order 1, D m u = the Fréchet derivative of order m, D m u (ξ 1, ξ 2,..., ξ m ) = the directional derivative of order m relative to the vectors ξ 1, ξ 2,..., ξ m, D m u(x) (ξ 1, ξ 2,..., ξ m ) = the value at point x Ω in the derivative above, D m u = max{ D m u(x) (ξ 1, ξ 2,..., ξ m ) ; x s = 1, 1 s m}. u p,ω = the norm of u in L p (Ω). u m,p,ω = D m u p,ω = ( D m u p) 1 p is the seminorm in the Sobolev space W m,p (Ω), 1 p <. 2
3 ( m ) u m,p,ω = i=0 Di u p 1 p p,ω is a norm equivalent to the usual norm in W m,p (Ω). In the case p =, these last two definitions are modified in the usual fashion. L(X, Y) denotes the set of continuous, linear functions from normed space X into normed space Y. P k denotes the set of polynomials of n variables of degree k. 2 General Results Let ˆΩ be a bounded domain in R n and let Ω is any equivalent domain, i.e. there exists is an invertible affine transformation F such that: Ω = F(ˆΩ) = {x R n ; x = F(ˆx), ˆx ˆΩ} (2.1) Transformation F can be written in the form: F(ˆx) = Bˆx+b where B is an n n invertible matrixand b is an nvector. Consider the following result (Lemma 2 in Ciarlet and Raviart [5]): B hˆρ (2.2) where h is the diameter of Ω, ˆρ is the diameter of the largest sphere contained in ˆΩ, and B is the norm on B induced by the vector Euclidean norm. Any function u defined on Ω corresponds uniquely to a function û defined on ˆΩ by the canonical relationship: û(ˆx) = u(x). Let u W l,p (Ω), integer l 0, and l p, the û W l,p (ˆΩ) and (equation (4.15) in Ciarlet and Raviart [5]): û l,p,ˆω B l det B 1 p u l,p,ω. (2.3) Estimates (2.2) and (2.3) will be used later. Let k, l, and m be three positive integers and consider an operator Π L(W l,p (Ω), W m,p (Ω)) with l p that satisfies the following two hypotheses: Πu = u, for all u P k. (H.1) There exists a set of vectors {ξ s } m (not necessarily distinct) such that D m Πu (ξ 1,..., ξ m ) = 0 (H.2) for all functions u such that D m u (ξ 1,..., ξ m ) = 0. Without loss of generality, we assume that the vectors ξ s are unit vectors. The operator Π corresponds to an equivalent operator ˆΠ L(W l,p (ˆΩ), W m,p (ˆΩ)) defined through the canonical relationship, ˆΠû(ˆx) = Πu(x). If Π satisfies properties H.1 and H.2, then ˆΠ satisfies the analogous properties with vectors ξ s replaced by ˆξ s = B 1 ξ s. 3
4 Next we show some preliminary lemmas. In what follows we will assume that the Ω satisfies the cone property (c.f. Courant and Hilbert [7], Agmon [2], Lions [8]), which is a very general property can always be verified in practical examples. All of the proofs will be given in the case of finite p; the p = case is similar but requires some modifications. Lemma 2.1. Let Ω be a bounded domain in R n satisfying the cone property and let ξ be an arbitrary vector. For any v W l,p (Ω), l 1, there exists a function u W l,p (Ω) such that Du (ξ) = v and u l,p,ω C v l,p,ω where C is a contains which only depends on Ω and l. Proof. We will show u r,p,ω C v l,p,ω for 0 r l. For simplicity, we consider only the particular case r = 1, n = 2, and p. The extension of the proof to the general case is immediate and merely complicates the notation. We choose rectangular coordinates x 1 and x 2 such that the x 1 axis is parallel to the vector ξ and Ω is contained in the square G = {(x 1, x 2 ); 0 x 1 h, 0 x 2 h} where h is the diameter of Ω. Following Lions [8] and the fact that the domain satisfies the cone property, we can extend the definition of v to all of R 2 by a continuous extension operator from W l,p (Ω) into W l,p (R 2 ). Denoting the extension with the same notation v, we have v 1,p,G v l,p,r 2 C 1 v l,p,ω where the constant C 1 only depends on Ω, l, and p. It follows that it is sufficient to prove Lemma 2.1 for the square G instead of Ω. Let v be an arbitrary function in C (Ḡ) and set: u(x 1, x 2 ) = x1 0 v(s, x 2 )ds. The function u satisfies Du (ξ) = u x 1 = v. So u x 1 = v p,g v l,p,g. (2.4) p,g Moreover: Applying Hölder s inequality: u x1 (x 1, x 2 ) = x 2 0 v x 2 (s, x 2 )ds. u h ( (x 1, x 2 ) x 2 v h (x 1, x 2 ) x 2 dx 1 h 1 q v (x 1, x 2 ) x 2 dx ) 1 p, for 1 p + 1 q = 1. Then deduce that h 0 u (x 1, x 2 ) x 2 p dx 2 h p q v x 2 p p,g, 4
5 and by integrating in x 1 : u x 2 h v p,g x 2 h v l,p,g. (2.5) p,g Using (2.4) and (2.5) conclude that: u 1,p,G 2max{1, h} v l,p,g. Through a density argument, this inequality extends to any function v W l,p (G) which completes the proof. Lemma 2.2. Let Ω be a bounded domain in R n satisfying the cone property. Let l and m be two positive integers and let {ξ s } m be a set of unit vectors which are not necessarily distinct. For all v W l,p (Ω), there exists a function u W l,p (Ω) such that: D m u (ξ 1,...,ξ m ) = v and u l,p,ω C v l,p,ω, (2.6) where C is a constant which depends only on Ω, m, and l. Proof. Proof is by induction using Lemma 2.1. By Lemma 2.1, there exists u 1 W l,p (Ω) such that Du 1 (ξ 1 ) = v and u 1 l,p,ω C v l,p,ω. Then, there exists u 2 W l,p (Ω) such that Du 2 (ξ 2 ) = u 1 and u 2 l,p,ω C u 1 l,p,ω. This function u 2 satisfies: Du 2 (ξ 1, ξ 2 ) = Du 1 (ξ 1 ) = v and u 2 l,p,ω C 2 v l,p,ω. Continuing inductively, we find function u = u m that satisfies the conditions in Lemma 2.2 wtih C = C m where C is the constant in Lemma 2.1. Lemma 2.3. Let Π L(W l,p (Ω), W m,p (Ω)) be an operator satisfying hypotheses H.1 and H.2. Then there exists a unique operator Q L(W l,p (Ω), L p (Ω)) such that D m Πu (ξ 1,...,ξ m ) = Q(D m u (ξ 1,...,ξ m )), (2.7) for all u W l+m,p (Ω). Moreover, this operator satisfies: Proof. Consider the following spaces: Qv = v, for all v P k m. (2.8) S 1 (l, p, Ω, ξ 1,...,ξ m ) = {u u W l,p (Ω), D m u (ξ 1,...,ξ m ) W l,p (Ω)} S 2 (l, p, Ω, ξ 1,...,ξ m ) = {u u W l,p (Ω), D m u (ξ 1,...,ξ m ) = 0} S(l, p, Ω, ξ 1,...,ξ m ) = S 1 (l, p, Ω, ξ 1,...,ξ m )/S 2 (l, p, Ω, ξ 1,..., ξ m ), with the W l,p (Ω) norm for the first two and the quotient norm for the third. 5
6 It follows from Lemma 2.2 that the relationship (2.6) defines a onetoone continuous mapping from W l,p (Ω) into S(l, p, Ω, ξ 1,...,ξ m ). Let v be a function in W l,p (Ω) and let u be its image in S(l, p, Ω, ξ 1,...,ξ m ). As a result of hypothesis H.2, the operator Π maps u to a unique element of S(l, p, Ω, ξ 1,..., ξ m ) and therefore D m Πu (ξ 1,...,ξ m ) is determined uniquely in L p (Ω). This correspondence: v D m Πu (ξ 1,..., ξ m ) defines a linear, continuous operator from W l,p (Ω) into L p (Ω) which satisfies property (2.7). The uniqueness of this operator is immediate. Finally, (2.8) is a result of hypothesis H.1. Now we ll use Lemma 2.3 to demonstrate the following theorem which is similar to theorem 5 of Ciarlet and Raviart [5]. Theorem 2.1. Suppose k m and let Π L(W k+1 m,p (Ω), W m,p (Ω)) be an operator which satisfies hypotheses H.1 and H.2. Then, for any u W k+1,p (Ω), D m u (ξ 1,...,ξ m ) D m Πu (ξ 1,...,ξ m ) p,ω Ch k+1 m u k+1,p,ω (2.9) where C is a constant which depends only on Ω, Π, k, m, and p (i.e. C is the same for all equivalent domains Ω and equivalent operators Π). Proof. Applying Lemma 2.3 above and Lemma 7 of Ciarlet and Raviart [5] (extending the BrambleHilbert lemma [3]) in the reference ˆΩ yields: D m û (ˆξ 1,..., ˆξ m ) D m Πû (ˆξ 1,..., ˆξ m ) = (Î ˆQ)(D m û (ˆξ 1,..., ˆξ m )) (2.10) p,ˆω p,ˆω Ĉ Î ˆQ D m û (ˆξ 1,..., ˆξ m ), k+1 m,p,ˆω where Î denotes the canonical injection from W k+1 m,p (ˆΩ) into L p (Ω), Î ˆQ denotes the norm of the operator Î ˆQ in L(W k+1 m,p (ˆΩ), L p (ˆΩ)), and Ĉ is a constant. But, for any function w defined on Ω and any x Ω, we have: D m ŵ(ˆx) (ˆξ 1,..., ˆξ m ) = D m w(x) (ξ 1,...,ξ m ). Hence, taking w = u Πu: D m û (ˆξ 1,..., ˆξ m ) D m Πû (ˆξ 1,..., ˆξ m ) p,ˆω = det B 1 p D m u (ξ 1,...,ξ m ) D m Πu (ξ 1,...,ξ m ) p,ω (2.11) and also, by applying (2.3) to the function D m u (ξ 1,...,ξ m ): D m û (ˆξ 1,..., ˆξ m ) B k+1 m det B 1 p D m u (ξ 1,...,ξ m ) k+1 m,p,ω (2.12) k+1 m,p,ˆω 6
7 Hence, by combining (2.10), (2.11), and (2.12) and applying (2.2): D m u (ξ 1,...,ξ m ) D m Πu (ξ 1,...,ξ m ) p,ω Ĉ Î ˆQ B k+1 m D m u (ξ 1,...,ξ m ) k+1 m,p,ω Ĉ Î ˆQ ( ) k+1 m h u ˆρ k+1,p,ω (2.13) and this completes proof of the theorem. We will now consider a set E n = {e s } n of linearly independent unit vectors. Let ξ be any unit vector in R n. We can write: ξ = α s e s (2.14) Let θ s, 0 θ s π 2, be the angle between the vector ξ and the line containing e s and let: Lemma 2.4. For any unit vector ξ R n, we have: Equality occurs for vectors ξ when θ s = θ for all s. θ(e n ) = max ξ R n min e s E n {θ s }. (2.15) α s 1 cosθ, where θ = θ(e n). (2.16) Proof. Seek the maximum of φ(α 1,...,α n ) = n α s subject to the constraint: ( ) ξ 2 = α s e s, α r e r = Ψ(α 1,..., α n ) = 1. r=1 At the point where the maximum is realized, there exists a Lagrange multiplier (λ, µ) such that: φ λ gradφ + µ gradψ = 0, i.e. : λ φ α s + µ Ψ α s = 0, for s = 1, 2,..., n. However, α s = 1 and Ψ α s = 2(ξ, e s ) = 2 cosθs, where θ s is the angle between vectors ξ and e s (so 0 θs π; θs equals θ s or π θ s ). Thus, at a maximum of φ, we must have: (ξ, e s ) = cos θs = γ, 1 γ 1, γ independent of s. The maximum of φ is always positive since the sign of φ changes when we replace ξ with ξ; so taking the scalar product with (2.14) we obtain: 1 = α s (ξ, e s ) = γφ(α 1,...,α n ), 7
8 which implies γ must be positive. One can then ask for γ = cos θ with 0 < θ < π 2. We then get: θ s = θ for s = 1, 2,..., n and: α s = 1 cos θ. (2.17) The absolute maximum of the function φ is the largest angle θ such that there is a vector ξ for which θ s = θ for all s; this angle is given by: θ = max min θs. ξ s The lemma follows from the fact that for all vectors ξ, we can write ξ = n α se s, where e s = ±e s, αs = ±α s 0 and therefore n α s = n α s. Then the maximum of n α s is equal to the maximum of n α s for the set of vectors e s = ±e s, s = 1, 2,..., n. This maximum is given by (2.17) with angle θ replaced by the angle θ defined by (2.15) which is independent of direction of vectors e s or e s. Theorem 2.2. Let E n be a basis for R n and let Π L(W k+1 m,p (Ω), W m,p (Ω)), with k m be an operator which satisfies hypotheses H.1 and H.2 for all sets of vectors {ξ s } m (E n ) m. Then for all u W k+1,p (Ω), we have: u Πu m,p,ω C hk+1 m (cosθ) m u k+1,p,ω, (2.18) where C is a constant that depends only upon ˆΩ, ˆΠ, k, m, and p, and where θ = θ(e n ) is an angle which depends only on the set E n and is given by (2.15). Proof. Write E n = {e q,...,e n } and suppose the vectors e 1,..., e n have unit length. Let {ǫ r } m r=0 be m arbitrary unit vectors. We can write ǫ r = n α r,se s. Consider the interpolation error : w = u = Πu. We see that: D m w (ǫ 1,...,ǫ m ) = α 1,s1,..., α m,sm D m w (e s1,...,e sm ). Thus: D m w (ǫ 1,...,ǫ m ) p,ω s 1,...,s m=1 s 1,...,s m=1 α 1,s1 α m,sm D m w (e s1,...,e sm ) pω ( ) ( ) α 1,s α m,s max 1 s1...s Dm w (e s1,..., e sm ) pω m n C hk+1 m (cosθ) m u k+1,p,ω, using Lemma 2.4 and Theorem 2.1. Because the vectors ǫ r were arbitrary, we obtain (2.18). 8
9 We will now prove a variant of Theorem 2.2: we will weaken the assumption of continuity of the operator Π, but we must assume more regularity on the function u. We will use the following lemma which is a variant of Lemma 7 in CiarletRaviart [5] and can be proved is very similar fashion. Lemma 2.5. Let Ω be an open bounded set in R n with a continuous boundary. Let l p and k, l, m be integers which are 0 with k+l k+1 m. Let Π L(W k+l,p (Ω), W m,p (Ω)) such that Πu = u for all u P k. Then there exists a constant C depending upon n, k, l, p and Ω such that for all u W k+l,p (Ω): u Πu m,p,ω C I Π l u k+s,p,ω, (2.19) where I is the identity function and I Π denotes the norm of the operator I Π in L(W k+l,p (Ω), W m,p (Ω)). Theorem 2.3. Let Π L(W k+l,p (Ω), W m,p (Ω)) with l 1 be an operator which satisfies the hypotheses for Theorem 2.2. Then for all u W k+l,p (Ω), we have: u Πu m,p,ω C hk+1 m (cosθ) m l 1 u k+1+r,p,ω. (2.20) Proof. Similar to Theorem 2.2. The operator Q in Lemma 2.3 is now continuous from W k+l,p (Ω) into L p (Ω). At equation (2.12) in the proof of Theorem 2.1, we apply Lemma 2.5 and everything else is unchanged. r=0 3 Applications We will successively consider several examples of finite elements that satisfy the conditions for applying Theorems 2.2 and 2.3, and then a counterexample. EXAMPLE 1 Let K be a nondegenerate nsimplex with vertices A 1, A 2,..., A n+1 and let λ 1, λ 2,...,λ n+1 denote the corresponding barycentric coordinates. Let k be a positive integer and let Σ be the set of points where each coordinate λ j is a multiple of 1. Now we consider the operator k Π which maps any continuous function u into the polynomial of degree less than k which equals u at all points in Σ. (For existence and uniqueness of this polynomial, see Nicolaides [9].) Let E N be a set of n(n+1)/2 unit vectors heading in the direction of the edges and with arbitrary orientation and let E n be a subset of E N which forms a basis for R n. We will show that the operator Π satisfies the hypothesis H.2 for any set of vectors {ξ s } m (E n) m. 9
10 Set E n = {e s } n and use that basis to define a coordinate system from any origin. For any function u, we can write: D m u (ξ 1,...,ξ m ) = α u where α = (α 1,...,α n ) is a multiindex with α = n j=1 α j = m, α j 0 and α u = α 1 ( y 1 ) αn u. α 1 αn ( y n ) Lemma 3.1. Let u be a function with α u = 0, then u can be written in the form: u = α j 1 (y j ) s f j,s (y j), (3.1) j=1 s=0 where y j = (y 1,...,y j 1, y j+1,...,y n ) and f j,s (y j) is an arbitrary function of y j. Proof. Straightforward, via successive integration. Now suppose that we have chosen the origin of the coordinate system at a vertex of nsimplex K and we chose the direction of vectors e s so that K is contained in the region: y j 0 for all j. Let h j denote the length of the side of K which is parallel to vector e j and let z j = y j h j. Substituting for new coordinates z j, the n=simplex K is contained in the hypercube: 0 z j 1, j = 1, 2,..., n. Consider the sequence of polynomials q s,k defined by: { q 0,k (t) = 1 q s,k (t) = s 1 i=0 ( ) t i k for s = 1, 2,..., k. (3.2) Since these polynomials are linearly independent, any single variable polynomial of degree less than k can be expressed as a linear combination of polynomials q s,k. We can write (3.1) in the form: u = j=1 α j 1 s=0 where q j, s are arbitrary functions of z j = y j h j. Lemma 3.2. Let u be a function of the form Then Πu has the form: q s,k (z j )g j,s (z j), (3.3) u = q s,k (z j )g j,s (z j ), 0 k. (3.4) Πu = q s,k (z j )gj,s (z j ), 0 k, (3.5) where g j,s(z j) si a polynomial of degree (k s) in variables z 1,..., z j 1, z j+1,...,z + n which interpolates the function g j,s at points of Σ located in the hyperplane z j = s k. 10
11 Proof. It is sufficient to check that functions (3.4) and (3.5) take the same value at all points of Σ. But in each of the hyperplans z j = i with 0 i s 1, we have u = Πu = 0. Now k consider a point P Σ which lies in the hyperplane z j = i ; the projection P of this point k onto the hyperplane z j = s parallel to vector e k j is also in Σ; thus, by the definition of gj,s, we have: gj,s(p) = gj,s(p ) = g j,s (P ) = g j,s (P), and it follows that Πu(P) = u(p). Using Lemma 3.1 and 3.2, we immediately deduce that: Corollary 1. Let α be an arbitrary multiindex 0 (sic.). If u is a function such that α u = 0, then the interpolant Πu satisfies: α Πu = 0. Now we can apply Theorem 2.2 and 2.3. Using the Sobolev embedding theorem, we obtain the following result. Theorem 3.1. Let Π be the interpolation operator considered above and let E n be the set of vectors in the direction of the N edges of the nsimplex K. Then: 1. If k + 1 m > n (or if k + 1 m 0 if p = ), estimate (2.18) is satisfied for any p function u W k+1,p (Ω), with θ = min En E N {θ(e n )}. 2. If l is a positive integer and k + l m > n, estimate (2.20) holds for any function p u W k+l,p (Ω). REMARK : Estimate (2.18) (or (2.20)) shows that the approximation is good provided that the angle θ is not too close to π, i.e. the directions of the edges are not too close to the same 2 hyperplane. On the other hand, there is not restriction on the flattening of nsimplex K, i.e. there is no restriction on h, where ρ is the diameter of the sphere inscribed in K. ρ In the particular case of n = 2, Theorem 3.1 gives θ = 1 { α 2 max {α, π α} max 2, π }, 3 where α is the largest angle in triangle in K. (This reasoning also shows that we can also take θ = α 2 ). When using the finite element method, we require that the angles α i of all triangles in the triangulation satisfy a condition of the form: α i γ < π (3.6) where γ is a fixed angle. Condition (3.6) is less restrictive than the condition of Zlamal [14] of the form: 0 < β α i, (3.7) for a fixed angle β. Indeed, (3.7) implies (3.6) with γ = π 2β (as long as β π 3 ). However, condition (3.6) does not exclude triangles K with an angle (a single angle) which 11
12 is arbitrarily small; the utilization of such triangles is obviously limited by the rounding errors of the computer used. EXAMPLE 2 Let {A s } n s=0 be a set of points in R n such that the vectors A 0 A s are linearly independent and let K be the parallelepiped: K = { P : A 0 P = s=0 } λ s A 0 A s, 0 λ s 1. Let k be a positive integer and let Σ be a set of points in K with coordinates λ s all equal a nonnegative integer multiple of 1. k Let Q k be the set of polynomials of degree less than nk in the variables λ s and with degree less than k in each variable. Now consider the operator Π which maps any continuous function u on K into a polynomial Πu Q k which interpolates u at the points in Σ. (The existence and uniqueness of this polynomial are well known.) Let E n be the set of vectors A 0 A s. It is easy to show using Lemma 3.1 that the operator Π satisfies hypothesis H.2 for any set of vectors {ξ s } m (E n) m and any positive integer m (the proof is similar to Example 1). In the following examples, K is a parallelogram constructed from two vectors A 0 A 1 and A 0 A 2. Our goal is to verify hypotheses H.1 and H.2 and these properties are invariant affine transformation, so we can assume that K is the unit square in the plane (x, y) (which is to confuse K with the reference element ˆK). The vertices are then the points : A 0 = (0, 0), A 1 = (1, 0), A 2 = (0, 1), A 3 = (1, 1). EXAMPLE 3 For any function u C 2 (K), let Πu be the polynomial in Q 3 such that for each vertex A s : Πu(A s ) = u(a s ), Πu(A x s) = u(a x s), Πu(A y s) = u(a y s), 2 Πu(A x y s) = 2 u(a x y s). (Hermite interpolation). It is simple to verify, using Lemma 3.1, that operator Π satisfies hypothesis H.2 for m 3 = k and ξ s { A 0 A 1, A 0 A 2 }. The following examples belong to the family of serendipity elements of Zienkiewicz [13] and based on the following property of polynomials in P 3. Let 0 < d < 1 and consider the points: A 4 = (0, d), A 5 = (d, 0), A 6 = (d, 1), A 7 = (d, 1), A 8 = (d, d). Lemma 3.3. For all polynomials u P 3, there exists a linear relationship between values of u at points in A s, 0 x 8. More precisely, we have: 7 u(a 8 ) = α s u(a s ), (3.9) s=0 12
13 with a 0 = (1 d) 2, α 1 = α 2 = d(1 d), α 3 = d 2, α 4 = α 5 = 1 d, α 6 = α 7 = d. Proof. Let u be any polynomial in P 3 and let a 1, a 2,...,a 10 be its coefficients. Let a denote the vector : a = (a 1, a 2,...,a 10 ). For each point A s, we have u(a s ) = L s (a), where L s (a) is a linear function of a. We will show that the support of functionals L s (α) are linearly dependent and calculate coefficients α such that: L 8 (a) 7 α s L s (a). (3.10) s=0 By identifying the coefficients of each component a in (3.10), we get a system of 10 equations for 7 unknowns α s. In fact, this system is solved easily and we find the values listed in Lemma 3.3. Corollary. Any polynomial u P 3 satisfies the relationship: 2 u x y (A 0) = u(a 0 )+u(a 1 )+u(a 2 ) u(a 3 ) u x (A 0) u y (A 0)+ u y (A 1)+ u x (A 2). (3.11) Proof. After division by d 2, the relationship (3.9) can be written as: u 0 + u 1 + u 2 u 3 u 4 u 0 d u 5 u 0 d u 6 u 1 d + u 7 u 2 d The relation (3.11) results by taking the limit as d goes to zero. u 8 u 4 u 5 + u 0 d 2 = 0. Lemma 3.6. Relations (3.9) and (3.11) are satisfied by polynomials x 3 y and xy 3. Proof. Immediate. EXAMPLE 4 Let K be the unit square with vertices A 0, A 1, A 2, and A 3, and let A 4, A 5,...,A 8, are the points defined as in Lemma 3.3 with d = 1. Π is the operator which interpolates any 2 function u C(K) at points A 0, A 1,...,A 7 with a polynomial in Q 2 which satisfies (3.9), i.e. a polynomial in Q 2 P 3. (See Zienkienvicz [13]). It is simple to verify that the operator Π satisfies hypothesis H.2 for m 2 = k and ξ s = { A 0 A 1, A 0 A 2 }. EXAMPLE 5 Let K be the unit square with vertices A 0, A 1, A 2, and A 3. Let 0 < d < 1 and consider the set of points Σ for which each coordinate is 0, d, 1 d, or 1. Let K denote the boundary 13
14 of K and let Σ 1 = Σ K, Σ 2 = Σ Σ 1. Operator Π maps any function u C(K) to its interpolant Πu which is a polynomial in Q 3 which equals u at points in Σ 1 and satisfies relationship (3.9) at points in Σ 2 (or similar relations deduced from a circular permutation of the vertices). It follow from the Lemma 3.5 and 3.6 that Πu is a polynomial of the form: p 3 (x, y) + a 11 x 3 y + a 12 xy 3, where p 3 is an arbitrary polynomial in P 3. Then we can verify that operator Π satisfies hypothesis H.2 for m 3 = k and ξ s = { A 0 A 1, A 0 A 2 }. Particular Cases : 1) d = 1 case. 3 This gives a classic element of Zienkiewicz [13]. 2) Limiting case at d = 0. This gives an element of Adini [1]. This gives a Hermite interpolant: the values of the function and its first derivative at the four vertices are used; this corresponds to the element in Example 3 in which by second derivatives 2 u have been eliminated through relation x y (3.11). COUNTEREXAMPLE  The triangular serendipity element (see [13]). In the (x, y) plane, let triangle K have vertices A 1 = (0, 0), A 2 = (d, 0) and A 3 = (0, 1), where d is any positive number. Let A be the centroid of the triangle and let A ij = 1 3 (2A i + A j ), 1 i 3, 1 j 3. Consider operator Π which maps any continuous function u on K to a polynomial of degree 3 which equals u at points A ij and satisfies the relationship: Πu(A) = Πu(A i ) i=1 3 i, j = 1 i j Πu(A ij ) Consider the function u(x, y) = y 3. We have: u(a) = u(a 13 ) = u(a 23 ) = Πu(A 13 ) = Πu(A 2 3) = 1, and Πu(A) = Hypothesis H.2 does not hold. Moreover, as d 0, the derivative Πu tends to infinity x like 1 u but we have = 0! d x References [1] Adini A. and Clough R. W., Analysis of plate bending by the finite element method, N.S.F. report G. 7337, [2] Agmon S., Lecture on elliptic boundary value problems, Van Nostrand,
15 [3] Bramble J. H. and Hilbert S. R., Estimation of linear functions on Sobolev spaces wth application to Fourier transforms and spline interpolation, S.I.A.M. J. Numer. Anal., 7, , [4] Bramble J. H. and Zlamal M., Triangular elements in the finite element method, Math. Comp., 24, , [5] Ciarlet P. G. and Raviart P.A., General Lagrange and Hermite interpolation in R n with applications to finite element methods, Arch. Rat. Mech. Anal., 46, , [6] Ciarlet P. G. and Raviart P.A., Interpolation theorem over curved elements, with applicatios to the finite element methods,, Comp. Meth. Appl. Mech. Eng., 1, , [7] Courant R. and Hilbert D., Methods of mathematical physics. Vol. 2, Interscience publishers, [8] Lions J. L., Probléms aux limits dans les èquations aux dérivées partielles, Presses de l Université de Montréal, [9] Nicolaides R. A., On a class of finite elements generated by Lagrange interpolation, S.I.A.M. J. Numer. Anal., 10, , [10] Strang G., Approximation in the finite element method, Numer. Math., 19, 81 98, [11] Strang G. and Fix G. An analysis of the finite element method, Prentic Hall, [12] Synge J. L., The hypercircle in mathematical physics, Cambridge University Press, [13] Zienkienvicz O. C., The finite element method in engineering science, McGrawHill, [14] Zlamal M., On the finite element method, Numer. Math., 12, ,
We call this set an ndimensional parallelogram (with one vertex 0). We also refer to the vectors x 1,..., x n as the edges of P.
Volumes of parallelograms 1 Chapter 8 Volumes of parallelograms In the present short chapter we are going to discuss the elementary geometrical objects which we call parallelograms. These are going to
More informationTHEORY OF SIMPLEX METHOD
Chapter THEORY OF SIMPLEX METHOD Mathematical Programming Problems A mathematical programming problem is an optimization problem of finding the values of the unknown variables x, x,, x n that maximize
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationModern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh
Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh Peter Richtárik Week 3 Randomized Coordinate Descent With Arbitrary Sampling January 27, 2016 1 / 30 The Problem
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More information1.3. DOT PRODUCT 19. 6. If θ is the angle (between 0 and π) between two nonzero vectors u and v,
1.3. DOT PRODUCT 19 1.3 Dot Product 1.3.1 Definitions and Properties The dot product is the first way to multiply two vectors. The definition we will give below may appear arbitrary. But it is not. It
More informationMATHEMATICAL BACKGROUND
Chapter 1 MATHEMATICAL BACKGROUND This chapter discusses the mathematics that is necessary for the development of the theory of linear programming. We are particularly interested in the solutions of a
More informationVectors, Gradient, Divergence and Curl.
Vectors, Gradient, Divergence and Curl. 1 Introduction A vector is determined by its length and direction. They are usually denoted with letters with arrows on the top a or in bold letter a. We will use
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationv w is orthogonal to both v and w. the three vectors v, w and v w form a righthanded set of vectors.
3. Cross product Definition 3.1. Let v and w be two vectors in R 3. The cross product of v and w, denoted v w, is the vector defined as follows: the length of v w is the area of the parallelogram with
More informationHøgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver
Høgskolen i Narvik Sivilingeniørutdanningen STE637 ELEMENTMETODER Oppgaver Klasse: 4.ID, 4.IT Ekstern Professor: Gregory A. Chechkin email: chechkin@mech.math.msu.su Narvik 6 PART I Task. Consider twopoint
More informationReview Sheet for Test 1
Review Sheet for Test 1 Math 26100 2 6 2004 These problems are provided to help you study. The presence of a problem on this handout does not imply that there will be a similar problem on the test. And
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationMath 4310 Handout  Quotient Vector Spaces
Math 4310 Handout  Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More information(Refer Slide Time 1.50)
Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 2 Lecture #11 Induction Today we shall consider proof
More informationSolutions for Review Problems
olutions for Review Problems 1. Let be the triangle with vertices A (,, ), B (4,, 1) and C (,, 1). (a) Find the cosine of the angle BAC at vertex A. (b) Find the area of the triangle ABC. (c) Find a vector
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationLinear algebra and the geometry of quadratic equations. Similarity transformations and orthogonal matrices
MATH 30 Differential Equations Spring 006 Linear algebra and the geometry of quadratic equations Similarity transformations and orthogonal matrices First, some things to recall from linear algebra Two
More informationLecture L3  Vectors, Matrices and Coordinate Transformations
S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3  Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between
More informationMean Value Coordinates
Mean Value Coordinates Michael S. Floater Abstract: We derive a generalization of barycentric coordinates which allows a vertex in a planar triangulation to be expressed as a convex combination of its
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More information9 Multiplication of Vectors: The Scalar or Dot Product
Arkansas Tech University MATH 934: Calculus III Dr. Marcel B Finan 9 Multiplication of Vectors: The Scalar or Dot Product Up to this point we have defined what vectors are and discussed basic notation
More informationSection 3 Sequences and Limits, Continued.
Section 3 Sequences and Limits, Continued. Lemma 3.6 Let {a n } n N be a convergent sequence for which a n 0 for all n N and it α 0. Then there exists N N such that for all n N. α a n 3 α In particular
More informationα = u v. In other words, Orthogonal Projection
Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v
More informationCalculus and the centroid of a triangle
Calculus and the centroid of a triangle The goal of this document is to verify the following physical assertion, which is presented immediately after the proof of Theorem I I I.4.1: If X is the solid triangular
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationLinear Algebra Notes for Marsden and Tromba Vector Calculus
Linear Algebra Notes for Marsden and Tromba Vector Calculus ndimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of
More informationStochastic Inventory Control
Chapter 3 Stochastic Inventory Control 1 In this chapter, we consider in much greater details certain dynamic inventory control problems of the type already encountered in section 1.3. In addition to the
More informationAdaptive Online Gradient Descent
Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationSubsets of Euclidean domains possessing a unique division algorithm
Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness
More informationv 1 v 3 u v = (( 1)4 (3)2, [1(4) ( 2)2], 1(3) ( 2)( 1)) = ( 10, 8, 1) (d) u (v w) = (u w)v (u v)w (Relationship between dot and cross product)
0.1 Cross Product The dot product of two vectors is a scalar, a number in R. Next we will define the cross product of two vectors in 3space. This time the outcome will be a vector in 3space. Definition
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationProblem 1 (10 pts) Find the radius of convergence and interval of convergence of the series
1 Problem 1 (10 pts) Find the radius of convergence and interval of convergence of the series a n n=1 n(x + 2) n 5 n 1. n(x + 2)n Solution: Do the ratio test for the absolute convergence. Let a n =. Then,
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationSolutions to Homework 10
Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x
More informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationFactoring Patterns in the Gaussian Plane
Factoring Patterns in the Gaussian Plane Steve Phelps Introduction This paper describes discoveries made at the Park City Mathematics Institute, 00, as well as some proofs. Before the summer I understood
More informationPROVING STATEMENTS IN LINEAR ALGEBRA
Mathematics V2010y Linear Algebra Spring 2007 PROVING STATEMENTS IN LINEAR ALGEBRA Linear algebra is different from calculus: you cannot understand it properly without some simple proofs. Knowing statements
More informationMATH 425, PRACTICE FINAL EXAM SOLUTIONS.
MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator
More informationA PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of RouHuai Wang
A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of RouHuai Wang 1. Introduction In this note we consider semistable
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More informationMoving Least Squares Approximation
Chapter 7 Moving Least Squares Approimation An alternative to radial basis function interpolation and approimation is the socalled moving least squares method. As we will see below, in this method the
More informationx1 x 2 x 3 y 1 y 2 y 3 x 1 y 2 x 2 y 1 0.
Cross product 1 Chapter 7 Cross product We are getting ready to study integration in several variables. Until now we have been doing only differential calculus. One outcome of this study will be our ability
More informationIntroduction to Support Vector Machines. Colin Campbell, Bristol University
Introduction to Support Vector Machines Colin Campbell, Bristol University 1 Outline of talk. Part 1. An Introduction to SVMs 1.1. SVMs for binary classification. 1.2. Soft margins and multiclass classification.
More informationUnified Lecture # 4 Vectors
Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,
More information1 Completeness of a Set of Eigenfunctions. Lecturer: Naoki Saito Scribe: Alexander Sheynis/Allen Xue. May 3, 2007. 1.1 The Neumann Boundary Condition
MAT 280: Laplacian Eigenfunctions: Theory, Applications, and Computations Lecture 11: Laplacian Eigenvalue Problems for General Domains III. Completeness of a Set of Eigenfunctions and the Justification
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationSection 4.4 Inner Product Spaces
Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer
More informationA characterization of trace zero symmetric nonnegative 5x5 matrices
A characterization of trace zero symmetric nonnegative 5x5 matrices Oren Spector June 1, 009 Abstract The problem of determining necessary and sufficient conditions for a set of real numbers to be the
More informationMath 115A HW4 Solutions University of California, Los Angeles. 5 2i 6 + 4i. (5 2i)7i (6 + 4i)( 3 + i) = 35i + 14 ( 22 6i) = 36 + 41i.
Math 5A HW4 Solutions September 5, 202 University of California, Los Angeles Problem 4..3b Calculate the determinant, 5 2i 6 + 4i 3 + i 7i Solution: The textbook s instructions give us, (5 2i)7i (6 + 4i)(
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationRecall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula:
Chapter 7 Div, grad, and curl 7.1 The operator and the gradient: Recall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula: ( ϕ ϕ =, ϕ,..., ϕ. (7.1 x 1
More informationSEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov
Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices
More informationLargest FixedAspect, AxisAligned Rectangle
Largest FixedAspect, AxisAligned Rectangle David Eberly Geometric Tools, LLC http://www.geometrictools.com/ Copyright c 19982016. All Rights Reserved. Created: February 21, 2004 Last Modified: February
More informationON A MIXED SUMDIFFERENCE EQUATION OF VOLTERRAFREDHOLM TYPE. 1. Introduction
SARAJEVO JOURNAL OF MATHEMATICS Vol.5 (17) (2009), 55 62 ON A MIXED SUMDIFFERENCE EQUATION OF VOLTERRAFREDHOLM TYPE B.. PACHPATTE Abstract. The main objective of this paper is to study some basic properties
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationDeterminants, Areas and Volumes
Determinants, Areas and Volumes Theodore Voronov Part 2 Areas and Volumes The area of a twodimensional object such as a region of the plane and the volume of a threedimensional object such as a solid
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000
More informationThe Goldberg Rao Algorithm for the Maximum Flow Problem
The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }
More informationLecture 5  Triangular Factorizations & Operation Counts
LU Factorization Lecture 5  Triangular Factorizations & Operation Counts We have seen that the process of GE essentially factors a matrix A into LU Now we want to see how this factorization allows us
More informationMath 55: Discrete Mathematics
Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What
More informationA mixed FEM for the quadcurl eigenvalue problem
Noname manuscript No. (will be inserted by the editor) A mixed FEM for the quadcurl eigenvalue problem Jiguang Sun Received: date / Accepted: date Abstract The quadcurl problem arises in the study of
More informationFINITE DIFFERENCE METHODS
FINITE DIFFERENCE METHODS LONG CHEN Te best known metods, finite difference, consists of replacing eac derivative by a difference quotient in te classic formulation. It is simple to code and economic to
More informationAn Additive NeumannNeumann Method for Mortar Finite Element for 4th Order Problems
An Additive eumanneumann Method for Mortar Finite Element for 4th Order Problems Leszek Marcinkowski Department of Mathematics, University of Warsaw, Banacha 2, 02097 Warszawa, Poland, Leszek.Marcinkowski@mimuw.edu.pl
More information1 VECTOR SPACES AND SUBSPACES
1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such
More informationContinuity of the Perron Root
Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationMATH 590: Meshfree Methods
MATH 590: Meshfree Methods Chapter 7: Conditionally Positive Definite Functions Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2010 fasshauer@iit.edu MATH 590 Chapter
More informationCHAPTER IV NORMED LINEAR SPACES AND BANACH SPACES
CHAPTER IV NORMED LINEAR SPACES AND BANACH SPACES DEFINITION A Banach space is a real normed linear space that is a complete metric space in the metric defined by its norm. A complex Banach space is a
More informationThe Australian Journal of Mathematical Analysis and Applications
The Australian Journal of Mathematical Analysis and Applications Volume 7, Issue, Article 11, pp. 114, 011 SOME HOMOGENEOUS CYCLIC INEQUALITIES OF THREE VARIABLES OF DEGREE THREE AND FOUR TETSUYA ANDO
More informationMath 241, Exam 1 Information.
Math 241, Exam 1 Information. 9/24/12, LC 310, 11:1512:05. Exam 1 will be based on: Sections 12.112.5, 14.114.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)
More informationLecture 3. Mathematical Induction
Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion
More informationDot product and vector projections (Sect. 12.3) There are two main ways to introduce the dot product
Dot product and vector projections (Sect. 12.3) Two definitions for the dot product. Geometric definition of dot product. Orthogonal vectors. Dot product and orthogonal projections. Properties of the dot
More information1. Introduction. O. MALI, A. MUZALEVSKIY, and D. PAULY
Russ. J. Numer. Anal. Math. Modelling, Vol. 28, No. 6, pp. 577 596 (2013) DOI 10.1515/ rnam20130032 c de Gruyter 2013 Conforming and nonconforming functional a posteriori error estimates for elliptic
More informationMICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 00029939(XX)00000 MICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI
More informationGeometry of Linear Programming
Chapter 2 Geometry of Linear Programming The intent of this chapter is to provide a geometric interpretation of linear programming problems. To conceive fundamental concepts and validity of different algorithms
More informationGeometrical Characterization of RNoperators between Locally Convex Vector Spaces
Geometrical Characterization of RNoperators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationSolutions to old Exam 1 problems
Solutions to old Exam 1 problems Hi students! I am putting this old version of my review for the first midterm review, place and time to be announced. Check for updates on the web site as to which sections
More informationBy W.E. Diewert. July, Linear programming problems are important for a number of reasons:
APPLIED ECONOMICS By W.E. Diewert. July, 3. Chapter : Linear Programming. Introduction The theory of linear programming provides a good introduction to the study of constrained maximization (and minimization)
More information5 VECTOR GEOMETRY. 5.0 Introduction. Objectives. Activity 1
5 VECTOR GEOMETRY Chapter 5 Vector Geometry Objectives After studying this chapter you should be able to find and use the vector equation of a straight line; be able to find the equation of a plane in
More informationLinear Algebra I. Ronald van Luijk, 2012
Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.
More informationLecture 4: BK inequality 27th August and 6th September, 2007
CSL866: Percolation and Random Graphs IIT Delhi Amitabha Bagchi Scribe: Arindam Pal Lecture 4: BK inequality 27th August and 6th September, 2007 4. Preliminaries The FKG inequality allows us to lower bound
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationThe determinant of a skewsymmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14
4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationOn the representability of the biuniform matroid
On the representability of the biuniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every biuniform matroid is representable over all sufficiently large
More informationLinear Span and Bases
MAT067 University of California, Davis Winter 2007 Linear Span and Bases Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (January 23, 2007) Intuition probably tells you that the plane R 2 is of dimension
More informationExplicit inverses of some tridiagonal matrices
Linear Algebra and its Applications 325 (2001) 7 21 wwwelseviercom/locate/laa Explicit inverses of some tridiagonal matrices CM da Fonseca, J Petronilho Depto de Matematica, Faculdade de Ciencias e Technologia,
More informationA QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS
A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors
More information15.062 Data Mining: Algorithms and Applications Matrix Math Review
.6 Data Mining: Algorithms and Applications Matrix Math Review The purpose of this document is to give a brief review of selected linear algebra concepts that will be useful for the course and to develop
More information