Math 660-Lecture 15: Finite element spaces (I)

Similar documents
Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1

Lecture 10 Polynomial interpolation

Chapter 4: Interpolation and Approximation. October 28, 2005

Scientific Computing WS 2017/2018. Lecture 18. Jürgen Fuhrmann Lecture 18 Slide 1

LECTURE 5, FRIDAY

A very short introduction to the Finite Element Method

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

Finite Elements. Colin Cotter. January 18, Colin Cotter FEM

On an Approximation Result for Piecewise Polynomial Functions. O. Karakashian

Numerical Solutions to Partial Differential Equations

Lecture Note 3: Polynomial Interpolation. Xiaoqun Zhang Shanghai Jiao Tong University

PDE & FEM TERMINOLOGY. BASIC PRINCIPLES OF FEM.

Mixed Hybrid Finite Element Method: an introduction

Chapter 1: The Finite Element Method

Chapter 3 Conforming Finite Element Methods 3.1 Foundations Ritz-Galerkin Method

X. Numerical Methods

1 Discretizing BVP with Finite Element Methods.

Cubic Splines MATH 375. J. Robert Buchanan. Fall Department of Mathematics. J. Robert Buchanan Cubic Splines

Numerical methods for PDEs FEM convergence, error estimates, piecewise polynomials

Introduction to Computer Graphics. Modeling (1) April 13, 2017 Kenshi Takayama

Applied/Numerical Analysis Qualifying Exam

Lecture Note 3: Interpolation and Polynomial Approximation. Xiaoqun Zhang Shanghai Jiao Tong University

ASYMPTOTICALLY EXACT A POSTERIORI ESTIMATORS FOR THE POINTWISE GRADIENT ERROR ON EACH ELEMENT IN IRREGULAR MESHES. PART II: THE PIECEWISE LINEAR CASE

An a posteriori error estimate and a Comparison Theorem for the nonconforming P 1 element

Department of Mathematics, University of Wisconsin-Madison Math 114 Worksheet Sections (4.1),

INTRODUCTION TO FINITE ELEMENT METHODS

Orthogonality of hat functions in Sobolev spaces

Linear Systems. Math A Bianca Santoro. September 23, 2016

Simple Examples on Rectangular Domains

Numerical methods for PDEs FEM convergence, error estimates, piecewise polynomials

Numerical Methods for Partial Differential Equations

- Well-characterized problems, min-max relations, approximate certificates. - LP problems in the standard form, primal and dual linear programs

A sharp upper bound on the approximation order of smooth bivariate pp functions C. de Boor and R.Q. Jia

[2] (a) Develop and describe the piecewise linear Galerkin finite element approximation of,

1. Let a(x) > 0, and assume that u and u h are the solutions of the Dirichlet problem:

A P4 BUBBLE ENRICHED P3 DIVERGENCE-FREE FINITE ELEMENT ON TRIANGULAR GRIDS

Elliptic Curves and Public Key Cryptography

Global polynomial interpolants suffer from the Runge Phenomenon if the data sites (nodes) are not chosen correctly.

Math From Scratch Lesson 37: Roots of Cubic Equations

Grade 11/12 Math Circles Elliptic Curves Dr. Carmen Bruni November 4, 2015

Axioms of Adaptivity (AoA) in Lecture 3 (sufficient for optimal convergence rates)

A posteriori error estimation for elliptic problems

Elliptic Curves. Dr. Carmen Bruni. November 4th, University of Waterloo

MATH 115, SUMMER 2012 LECTURE 12

3.3 Limits and Infinity

The Closed Form Reproducing Polynomial Particle Shape Functions for Meshfree Particle Methods

Tetrahedral C m Interpolation by Rational Functions

CS 450 Numerical Analysis. Chapter 8: Numerical Integration and Differentiation

POLYNOMIAL EXPRESSIONS PART 1

Chapter 5 A priori error estimates for nonconforming finite element approximations 5.1 Strang s first lemma

Updated: January 16, 2016 Calculus II 7.4. Math 230. Calculus II. Brian Veitch Fall 2015 Northern Illinois University

LECTURE 16 GAUSS QUADRATURE In general for Newton-Cotes (equispaced interpolation points/ data points/ integration points/ nodes).

New class of finite element methods: weak Galerkin methods

VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN

Cubic Splines; Bézier Curves

Local properties of plane algebraic curves

FEniCS Course. Lecture 0: Introduction to FEM. Contributors Anders Logg, Kent-Andre Mardal

A note on accurate and efficient higher order Galerkin time stepping schemes for the nonstationary Stokes equations

Lecture VI: Projective varieties

Scientific Computing: Numerical Integration

1. Find the domain of the following functions. Write your answer using interval notation. (9 pts.)

3.1 Interpolation and the Lagrange Polynomial

Math 203A, Solution Set 6.

Lecture Notes: African Institute of Mathematics Senegal, January Topic Title: A short introduction to numerical methods for elliptic PDEs

There is a unique function s(x) that has the required properties. It turns out to also satisfy

arxiv: v1 [math.na] 29 Feb 2016

DISCRETE MAXIMUM PRINCIPLES in THE FINITE ELEMENT SIMULATIONS

Section 0.2 & 0.3 Worksheet. Types of Functions

NONCONFORMING MIXED ELEMENTS FOR ELASTICITY

Lecture 9 Approximations of Laplace s Equation, Finite Element Method. Mathématiques appliquées (MATH0504-1) B. Dewals, C.

FEM Convergence for PDEs with Point Sources in 2-D and 3-D

Question 1: The graphs of y = p(x) are given in following figure, for some Polynomials p(x). Find the number of zeroes of p(x), in each case.

Lecture 1 INF-MAT : Chapter 2. Examples of Linear Systems

Interpolation Theory

1. (25 points) Consider the region bounded by the curves x 2 = y 3 and y = 1. (a) Sketch both curves and shade in the region. x 2 = y 3.

A Finite Element Method Using Singular Functions for Poisson Equations: Mixed Boundary Conditions

Cauchy s Theorem (rigorous) In this lecture, we will study a rigorous proof of Cauchy s Theorem. We start by considering the case of a triangle.

LECTURE-13 : GENERALIZED CAUCHY S THEOREM

BMT 2018 Team Test Solutions March 18, 2018

Constructions with ruler and compass.

Commuting nilpotent matrices and pairs of partitions

Downloaded from

Section A.6. Solving Equations. Math Precalculus I. Solving Equations Section A.6

MATH 20B MIDTERM #2 REVIEW

A WEAK GALERKIN MIXED FINITE ELEMENT METHOD FOR BIHARMONIC EQUATIONS

Interpolation and Approximation

A PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS

Finite Elements. Colin Cotter. January 15, Colin Cotter FEM

Lecturer: Shuchi Chawla Topic: Inapproximability Date: 4/27/2007

Numerical Integration for Multivariable. October Abstract. We consider the numerical integration of functions with point singularities over

8.3 Numerical Quadrature, Continued

Finite Element Method for Ordinary Differential Equations

1. Introduction. The Stokes problem seeks unknown functions u and p satisfying

Math 115 Spring 11 Written Homework 10 Solutions

Math 40510, Algebraic Geometry

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

SPLINE INTERPOLATION

Scientific Computing I

General Form: y = a n x n + a n 1 x n a 2 x 2 + a 1 x + a 0

MA 323 Geometric Modelling Course Notes: Day 07 Parabolic Arcs

Transcription:

Math 660-Lecture 15: Finite element spaces (I) (Chapter 3, 4.2, 4.3) Before we introduce the concrete spaces, let s first of all introduce the following important lemma. Theorem 1. Let V h consists of piecewise polynomials. Then, V h H 1 (Ω) V h C 0 ( Ω) and V h H 2 (Ω) V h C 1 ( Ω) Here C 0 simply means continuous functions. Here, one only needs to show that H 1 C 0. The piecewise polynomial and continuous condition obviously implies in H 1 (if not continuous, the weak derivative will be infinity at the interface. Such distributions are not in L 2.) For H 1 C 0, similarly, if not continuous, the weak derivative doesn t exist. Remark: Consider an open set Ω with smooth boundary. For general Sobolev spaces, if p > n, then Wp k C k [n/p] 1,γ where 0 γ < 1. For n = 1, the continuity can be ensured if p = n. Hence, H 2 = W2 2 for n = 2 is in C 0,γ for any γ < 1 but not C 1 in general. H 1 = W2 1 doesn t imply C0 and there are counterexamples. However, if we talk about piecewise polynomials, the above theorem is true. 1 1D spaces Consider the interval Ω = [a, b] and a subdivision (triangulation) T h = {[x j, x j+1 ]} and K = [x j, x j+1 ]. Define P r (K) = {v : v is a polynomial with degree r on K} Consider the linear function P 1 (K). P 1 (K) can be determined uniquely by the values at the node. Hence, if we make up a finite element space V h such that each function in V h when restricted on K belongs to P 1 (K), then V h is C 0 ([a, b]) and therefore in H 1. Consider P 2 (K). It has three coefficients. Then, it s impossible to construct C 1 functions on the whole Ω since there will be four requirements. The function on each K can be determined by the values at the endpoints and the value at the midpoint. Functions generated in such a way is still in H 1 (Ω). Using P 3 (K) functions, we can construct a finite element space V h C 1 (Ω) and thus in H 2 (Ω). 1

See the pictures on P81. Example: solve the 1d problem u (x) = f with u(0) = u (0) = u(1) = u (1) = 0. Solution. We first of all get the weak formulation. Multiply a test function v and integrate: 1 0 f(x)v(x)dx = u vdx = u v 1 0 u v dx = (u v u v ) 1 0+ u v dx First of all, for the integral u v dx to make sense, we need both u and v to be in H 2. Secondly, if we require v H0 2 H2 (which means v, v both vanish at the endpoints), then we don t have the boundary terms. Hence, a suitable weak formulation is: Find u H0 2 ([0, 1]) such that 1 a(u, v) = u v dx = f(x)v(x)dx, v H0 1. 0 Now considering using Galerkin s FEM. We need a finite element space to be in H 2. If we use piecewise polynomials, then the functions should be in C 1. From what we just studied, clearly, we should use P 3 (K). Then, for node x j, we need two functions: φ j and ϕ j such that (1). φ j (x i ) = δ ij, φ j (x i) = 0; (2). ϕ j (x i ) = 0 and ϕ j (x i) = δ ij. Each of them are cubic on the interval. The finite element space is then V h = { j a j φ j + j b j ϕ j } These basis functions can be constructed using Hermite interpolation. You ll finish this in HW3. 2 2D spaces: Triangular elements Ω R 2 and T h = {K} is a collection of triangles for the triangulation. P r (K) = {v v is a polynomial of deg r on K}. Lemma 1. dim(p r ) = C 2 r+2 = (r+2)(r+1) 2 2

Proof. the basis is x i 1 xj 2. 0 i + j r. Consider we divide r units into 3 distinct groups. Let s say the number of the units in the first group is i and number of units in the second group is j. Clearly, one such division corresponds to uniquely an (i, j) pair. The number of such divisions are equivalent to choosing two from r +2 positions and the chosen two positions will be the partition boundary. 2.1 Examples of finite element spaces Consider the following finite element space: V h = {v is defined on Ω : v K P 1 (K)} Since dim(p 1 (K)) = 3, then there are 3 degrees of freedom. a i, 1 i 3 be the vertices of K. Then, we claim: Let Theorem 2. Given α i, 1 i 3, there is uniquely a function v P 1 (K) such that v(a i ) = α i. In other words, the function on K is uniquely determined by its values at the vertices. Proof. The number of unknowns (dimension, which is 3) equals the number of conditions given. Hence, we have a 3 by 3 linear system. For such a system, the solution exists uniquely is equivalent to saying the homogeneous solution is trivial. In other words, it suffices to show that if v = C 1 + C 2 x 1 + C 3 x 2 is zero on a i, then v = 0. The line a 1 a 2 has an equation of the form d 1 x 1 + d 2 x 2 + d 3 = 0. Since v vanishes on this edge, we must have v = C(x)(d 1 x 1 + d 2 x 2 + d 3 ). The degree of v is at most 1, and therefore C(x) = C. Further, a 3 is not on the line, we must have d 1 a 3 1 + d 2a 3 2 + d 3 0. Hence, C = 0. Let s consider constructing the basis functions of V h. By the theorem just proved, we need to specify the values at the nodes only. Let λ i P 1 (K) and λ i (a j ) = δ ij. λ 1 = µ(d 1 x 1 + d 2 x 2 + d 3 ) where d 1 x 1 +... is the equation of a 2 a 3. Then, µ is determined uniquely by the condition λ 1 (a 1 ) = 1. Now, suppose we are given v(a i ). We define the finite element space to be 3 V h = {v : v K = v(a i )λ i }. i=1 3

Theorem 3. V h C 0 (Ω). By this definition, w V h is continuous at the nodes. Consider one edge e. Suppose e is the intersection between K 1 and K 2. On e, we define g = w K1 w K2. g = c 1 x 1 + c 2 x 2 + c 3 is linear on e. It is zero at the endpoints. Then, it must be zero on the whole line containing e since it is linear. (g itself may not be a zero function.) Hence, w is continuous at the edge. Consider V h = {v : v K P 2 (K), K T h } The dimension of P 2 (K) is 6. Let a ij = 1 2 (ai + a j ) be the midpoint of a i and a j. Then, we have Theorem 4. v P 2 (K) is uniquely determined by the values at a i, 1 i 3 and a ij, i < j. Proof. Again, the unknowns (dimension) equals the conditions. suffices to show that if v vanishes at these points, then it s zero. First of all, it vanishes on a 1 a 2 because a 1D quadratic function is zero if it s zero on three points. Then, v a 1 a 2 = h(x)λ 3 where λ 3 is the basis function in the previous example (linear function and is only 1 at a 3 ). Since v is quadratic, h is linear. Since v also vanishes on a 1 a 3, then h vanishes on a 1 a 3. Hence, h = Cλ 2. v = Cλ 2 λ 3. Finally, v also vanishes on a 23, then C has to be zero. Clearly, λ i (2λ i 1) is a quadratic function that is only 1 at a i and vanishes at the other five points. 4λ i λ j is the quadratic function that is 1 only at a ij. Hence, in general, It v K = 3 v(a i )λ i (2λ i 1) + v(a ij )4λ i λ j i<j i=1 Then, we actually only have V h C 0 (Ω). V h is not in C 1. P 2 (K) is not enough for us to make C 1 functions. To have C 1 functions, we actually need P 5 (K). dim(p 5 (K)) = 21. Theorem 5. v P 5 (K) is uniquely determined by D α v(a i ), α 2 and v(a ij )/ n. 4

Proof. Let s show that if on K, for v these values are zero, then v = 0. On a 2 a 3, noting first that v = v/ s = 2 v/ s 2 = 0 at a 2 and a 3 (where s is the arc length of a 2 a 3 ), we conclude that v = 0 on this edge since there are 6 conditions for a five degree 1D polynomial. Secondly, g = v/ n as a function on a 2 a 3 is a polynomial of degree at most 4. g(a 23 ) = 0 by the given condition. g = g/ s = 0 at a 2 and a 3 by the fact that D α v = 0. Hence g = v/ n should be zero. (we have used 10 conditions). Then, we must have that v = λ 2 1 h. Similarly, λ2 2, λ2 3 can divide v as well. These polynomials don t have common factors. Then, λ 2 1 λ2 2 λ2 3 can divide v. Since v is of only 5 degree, we must have v = 0. Using what we have proved, we can construct V h = {v : v K P 5 (K)} such that if w V h, then w has continuous D α w at the vertices and continuous w/ n at the midpoints. Then, we can show that w is C 1 on one edge. Then, V h C 1 (Ω). 5